User time (seconds): 98.11
	System time (seconds): 26.98
	Maximum resident set size (kbytes): 14284164
	User time (seconds): 117.05
	System time (seconds): 35.03
	Maximum resident set size (kbytes): 16664416
	User time (seconds): 114.03
	System time (seconds): 26.68
	Maximum resident set size (kbytes): 16758936
	User time (seconds): 69.10
	System time (seconds): 22.21
	Maximum resident set size (kbytes): 12966928
	User time (seconds): 21.90
	System time (seconds): 21.26
	Maximum resident set size (kbytes): 10295340
	User time (seconds): 20.64
	System time (seconds): 24.03
	Maximum resident set size (kbytes): 10280992
	User time (seconds): 20.95
	System time (seconds): 22.23
	Maximum resident set size (kbytes): 10285084
	User time (seconds): 20.48
	System time (seconds): 25.33
	Maximum resident set size (kbytes): 10278920
	User time (seconds): 25.12
	System time (seconds): 27.03
	Maximum resident set size (kbytes): 10280984
	User time (seconds): 23.77
	System time (seconds): 21.93
	Maximum resident set size (kbytes): 10285152
	User time (seconds): 18.14
	System time (seconds): 19.82
	Maximum resident set size (kbytes): 10289188
	User time (seconds): 16.93
	System time (seconds): 17.33
	Maximum resident set size (kbytes): 10274832
	User time (seconds): 23.01
	System time (seconds): 19.55
	Maximum resident set size (kbytes): 10278932
	User time (seconds): 34.10
	System time (seconds): 19.57
	Maximum resident set size (kbytes): 10540964
	User time (seconds): 46.07
	System time (seconds): 23.77
	Maximum resident set size (kbytes): 11621064
	User time (seconds): 53.23
	System time (seconds): 26.50
	Maximum resident set size (kbytes): 12161100
	User time (seconds): 55.77
	System time (seconds): 23.38
	Maximum resident set size (kbytes): 12379548
	User time (seconds): 55.56
	System time (seconds): 28.62
	Maximum resident set size (kbytes): 12511060
	User time (seconds): 56.83
	System time (seconds): 28.10
	Maximum resident set size (kbytes): 12604064
	User time (seconds): 58.22
	System time (seconds): 28.03
	Maximum resident set size (kbytes): 12696356
	User time (seconds): 58.27
	System time (seconds): 26.08
	Maximum resident set size (kbytes): 12753652
	User time (seconds): 58.35
	System time (seconds): 28.12
	Maximum resident set size (kbytes): 12722324
	User time (seconds): 58.12
	System time (seconds): 26.24
	Maximum resident set size (kbytes): 12707028
	User time (seconds): 56.09
	System time (seconds): 31.89
	Maximum resident set size (kbytes): 12606784
	User time (seconds): 54.75
	System time (seconds): 27.29
	Maximum resident set size (kbytes): 12528644
	User time (seconds): 54.44
	System time (seconds): 30.03
	Maximum resident set size (kbytes): 12492300
	User time (seconds): 55.14
	System time (seconds): 24.92
	Maximum resident set size (kbytes): 12449828
	User time (seconds): 53.19
	System time (seconds): 25.61
	Maximum resident set size (kbytes): 12363032
	User time (seconds): 51.44
	System time (seconds): 25.84
	Maximum resident set size (kbytes): 12293932
	User time (seconds): 51.74
	System time (seconds): 25.67
	Maximum resident set size (kbytes): 12254180
	User time (seconds): 51.21
	System time (seconds): 23.33
	Maximum resident set size (kbytes): 12265152
	User time (seconds): 52.12
	System time (seconds): 27.99
	Maximum resident set size (kbytes): 12304720
	User time (seconds): 51.69
	System time (seconds): 23.69
	Maximum resident set size (kbytes): 12378980
	User time (seconds): 53.44
	System time (seconds): 27.08
	Maximum resident set size (kbytes): 12446108
	User time (seconds): 53.94
	System time (seconds): 27.99
	Maximum resident set size (kbytes): 12466196
	User time (seconds): 53.19
	System time (seconds): 27.58
	Maximum resident set size (kbytes): 12487428
	User time (seconds): 54.30
	System time (seconds): 25.64
	Maximum resident set size (kbytes): 12458488
	User time (seconds): 52.90
	System time (seconds): 25.72
	Maximum resident set size (kbytes): 12404552
	User time (seconds): 52.16
	System time (seconds): 25.19
	Maximum resident set size (kbytes): 12299496
	User time (seconds): 51.44
	System time (seconds): 26.26
	Maximum resident set size (kbytes): 12212724
	User time (seconds): 51.12
	System time (seconds): 26.75
	Maximum resident set size (kbytes): 12132832
	User time (seconds): 49.58
	System time (seconds): 24.94
	Maximum resident set size (kbytes): 12054052
	User time (seconds): 48.89
	System time (seconds): 27.12
	Maximum resident set size (kbytes): 11996636
	User time (seconds): 49.81
	System time (seconds): 26.46
	Maximum resident set size (kbytes): 11942164
	User time (seconds): 51.05
	System time (seconds): 25.38
	Maximum resident set size (kbytes): 11847716
	User time (seconds): 48.49
	System time (seconds): 24.54
	Maximum resident set size (kbytes): 11737976
	User time (seconds): 45.58
	System time (seconds): 23.67
	Maximum resident set size (kbytes): 11632692
	User time (seconds): 46.01
	System time (seconds): 25.99
	Maximum resident set size (kbytes): 11651752
	User time (seconds): 47.73
	System time (seconds): 24.17
	Maximum resident set size (kbytes): 11772448
	User time (seconds): 48.56
	System time (seconds): 24.95
	Maximum resident set size (kbytes): 11856564
	User time (seconds): 49.52
	System time (seconds): 24.37
	Maximum resident set size (kbytes): 11832140
	User time (seconds): 48.39
	System time (seconds): 25.66
	Maximum resident set size (kbytes): 11817032
	User time (seconds): 49.13
	System time (seconds): 23.33
	Maximum resident set size (kbytes): 11844772
	User time (seconds): 46.76
	System time (seconds): 19.88
	Maximum resident set size (kbytes): 11888344
	User time (seconds): 47.58
	System time (seconds): 22.56
	Maximum resident set size (kbytes): 11921480
	User time (seconds): 49.05
	System time (seconds): 26.66
	Maximum resident set size (kbytes): 11943016
	User time (seconds): 49.94
	System time (seconds): 22.88
	Maximum resident set size (kbytes): 11995400
	User time (seconds): 49.29
	System time (seconds): 25.06
	Maximum resident set size (kbytes): 11963816
	User time (seconds): 48.43
	System time (seconds): 23.51
	Maximum resident set size (kbytes): 11915424
	User time (seconds): 49.23
	System time (seconds): 22.24
	Maximum resident set size (kbytes): 11931044
	User time (seconds): 48.50
	System time (seconds): 24.64
	Maximum resident set size (kbytes): 11977996
	User time (seconds): 49.46
	System time (seconds): 27.62
	Maximum resident set size (kbytes): 12047116
	User time (seconds): 49.97
	System time (seconds): 26.66
	Maximum resident set size (kbytes): 12181900
	User time (seconds): 51.23
	System time (seconds): 22.18
	Maximum resident set size (kbytes): 12227804
	User time (seconds): 50.46
	System time (seconds): 25.23
	Maximum resident set size (kbytes): 12256932
	User time (seconds): 50.98
	System time (seconds): 27.53
	Maximum resident set size (kbytes): 12238532
	User time (seconds): 49.96
	System time (seconds): 29.08
	Maximum resident set size (kbytes): 12246804
	User time (seconds): 50.30
	System time (seconds): 23.53
	Maximum resident set size (kbytes): 12231808
	User time (seconds): 51.33
	System time (seconds): 27.12
	Maximum resident set size (kbytes): 12202464
	User time (seconds): 51.96
	System time (seconds): 26.82
	Maximum resident set size (kbytes): 12214760
	User time (seconds): 52.81
	System time (seconds): 24.16
	Maximum resident set size (kbytes): 12273912
	User time (seconds): 52.21
	System time (seconds): 29.84
	Maximum resident set size (kbytes): 12347820
	User time (seconds): 53.15
	System time (seconds): 24.27
	Maximum resident set size (kbytes): 12421964
	User time (seconds): 56.79
	System time (seconds): 26.02
	Maximum resident set size (kbytes): 12463560
	User time (seconds): 52.94
	System time (seconds): 26.82
	Maximum resident set size (kbytes): 12467216
	User time (seconds): 53.15
	System time (seconds): 26.05
	Maximum resident set size (kbytes): 12482396
	User time (seconds): 55.14
	System time (seconds): 30.53
	Maximum resident set size (kbytes): 12552956
	User time (seconds): 54.09
	System time (seconds): 27.43
	Maximum resident set size (kbytes): 12609928
	User time (seconds): 53.93
	System time (seconds): 24.90
	Maximum resident set size (kbytes): 12590176
	User time (seconds): 54.68
	System time (seconds): 26.00
	Maximum resident set size (kbytes): 12595952
	User time (seconds): 53.42
	System time (seconds): 21.31
	Maximum resident set size (kbytes): 12481408
	User time (seconds): 51.30
	System time (seconds): 21.96
	Maximum resident set size (kbytes): 12395456
	User time (seconds): 49.77
	System time (seconds): 23.61
	Maximum resident set size (kbytes): 12281904
	User time (seconds): 48.38
	System time (seconds): 24.84
	Maximum resident set size (kbytes): 12147312
	User time (seconds): 48.04
	System time (seconds): 27.87
	Maximum resident set size (kbytes): 12104616
	User time (seconds): 48.07
	System time (seconds): 25.50
	Maximum resident set size (kbytes): 12130512
	User time (seconds): 48.76
	System time (seconds): 31.64
	Maximum resident set size (kbytes): 12144904
	User time (seconds): 48.73
	System time (seconds): 27.77
	Maximum resident set size (kbytes): 12140160
	User time (seconds): 49.60
	System time (seconds): 25.20
	Maximum resident set size (kbytes): 12090000
	User time (seconds): 48.96
	System time (seconds): 25.14
	Maximum resident set size (kbytes): 12051660
	User time (seconds): 47.40
	System time (seconds): 26.19
	Maximum resident set size (kbytes): 11998316
	User time (seconds): 47.04
	System time (seconds): 25.80
	Maximum resident set size (kbytes): 11956456
	User time (seconds): 48.42
	System time (seconds): 26.12
	Maximum resident set size (kbytes): 11967572
	User time (seconds): 48.34
	System time (seconds): 26.73
	Maximum resident set size (kbytes): 12039172
	User time (seconds): 48.91
	System time (seconds): 24.86
	Maximum resident set size (kbytes): 12081872
	User time (seconds): 49.25
	System time (seconds): 25.10
	Maximum resident set size (kbytes): 12110488
	User time (seconds): 51.47
	System time (seconds): 24.06
	Maximum resident set size (kbytes): 12089592
	User time (seconds): 48.49
	System time (seconds): 25.04
	Maximum resident set size (kbytes): 12121680
	User time (seconds): 48.85
	System time (seconds): 26.29
	Maximum resident set size (kbytes): 12103716
	User time (seconds): 47.93
	System time (seconds): 23.88
	Maximum resident set size (kbytes): 12015556
	User time (seconds): 47.56
	System time (seconds): 27.22
	Maximum resident set size (kbytes): 12014644
	User time (seconds): 48.54
	System time (seconds): 24.89
	Maximum resident set size (kbytes): 12085492
	User time (seconds): 49.18
	System time (seconds): 25.48
	Maximum resident set size (kbytes): 12224560
	User time (seconds): 50.60
	System time (seconds): 26.39
	Maximum resident set size (kbytes): 12253064
	User time (seconds): 51.65
	System time (seconds): 24.95
	Maximum resident set size (kbytes): 12204972
	User time (seconds): 53.41
	System time (seconds): 25.16
	Maximum resident set size (kbytes): 12248984
	User time (seconds): 53.41
	System time (seconds): 24.65
	Maximum resident set size (kbytes): 12424308
	User time (seconds): 55.00
	System time (seconds): 25.68
	Maximum resident set size (kbytes): 12575384
	User time (seconds): 57.21
	System time (seconds): 28.92
	Maximum resident set size (kbytes): 12697756
	User time (seconds): 58.74
	System time (seconds): 20.51
	Maximum resident set size (kbytes): 12818732
	User time (seconds): 59.39
	System time (seconds): 26.61
	Maximum resident set size (kbytes): 12915460
	User time (seconds): 58.95
	System time (seconds): 22.94
	Maximum resident set size (kbytes): 12943776
	User time (seconds): 56.90
	System time (seconds): 24.15
	Maximum resident set size (kbytes): 12865980
	User time (seconds): 56.45
	System time (seconds): 26.63
	Maximum resident set size (kbytes): 12850536
	User time (seconds): 57.73
	System time (seconds): 26.17
	Maximum resident set size (kbytes): 12865900
	User time (seconds): 58.46
	System time (seconds): 28.62
	Maximum resident set size (kbytes): 12850328
	User time (seconds): 57.72
	System time (seconds): 24.82
	Maximum resident set size (kbytes): 12860776
	User time (seconds): 58.22
	System time (seconds): 27.35
	Maximum resident set size (kbytes): 12884768
	User time (seconds): 58.21
	System time (seconds): 26.61
	Maximum resident set size (kbytes): 12869828
	User time (seconds): 57.93
	System time (seconds): 27.10
	Maximum resident set size (kbytes): 12797740
	User time (seconds): 54.83
	System time (seconds): 23.82
	Maximum resident set size (kbytes): 12628064
	User time (seconds): 52.30
	System time (seconds): 24.54
	Maximum resident set size (kbytes): 12340896
	User time (seconds): 49.01
	System time (seconds): 24.67
	Maximum resident set size (kbytes): 12008724
	User time (seconds): 46.50
	System time (seconds): 25.21
	Maximum resident set size (kbytes): 11759576
	User time (seconds): 43.30
	System time (seconds): 22.59
	Maximum resident set size (kbytes): 11488920
	User time (seconds): 40.68
	System time (seconds): 25.33
	Maximum resident set size (kbytes): 11225848
	User time (seconds): 36.17
	System time (seconds): 26.66
	Maximum resident set size (kbytes): 10709896
	User time (seconds): 29.93
	System time (seconds): 21.34
	Maximum resident set size (kbytes): 10268708
	User time (seconds): 22.68
	System time (seconds): 24.55
	Maximum resident set size (kbytes): 10262560
	User time (seconds): 18.18
	System time (seconds): 22.57
	Maximum resident set size (kbytes): 10285096
	User time (seconds): 16.77
	System time (seconds): 22.60
	Maximum resident set size (kbytes): 10291256
	User time (seconds): 15.43
	System time (seconds): 21.33
	Maximum resident set size (kbytes): 10287140
	User time (seconds): 13.94
	System time (seconds): 22.52
	Maximum resident set size (kbytes): 10272804
	User time (seconds): 16.21
	System time (seconds): 23.65
	Maximum resident set size (kbytes): 10278940
	User time (seconds): 18.95
	System time (seconds): 20.38
	Maximum resident set size (kbytes): 10283044
	User time (seconds): 23.29
	System time (seconds): 21.44
	Maximum resident set size (kbytes): 10266652
	User time (seconds): 21.70
	System time (seconds): 23.25
	Maximum resident set size (kbytes): 10287152
	User time (seconds): 20.70
	System time (seconds): 23.69
	Maximum resident set size (kbytes): 10278964
	User time (seconds): 22.56
	System time (seconds): 23.87
	Maximum resident set size (kbytes): 10303512
	User time (seconds): 47.97
	System time (seconds): 21.62
	Maximum resident set size (kbytes): 11356916
	User time (seconds): 58.71
	System time (seconds): 20.91
	Maximum resident set size (kbytes): 9649808