User time (seconds): 12.54
	System time (seconds): 18.58
	Maximum resident set size (kbytes): 9711684
	User time (seconds): 16.36
	System time (seconds): 18.28
	Maximum resident set size (kbytes): 9719872
	User time (seconds): 25.35
	System time (seconds): 19.13
	Maximum resident set size (kbytes): 9736316
	User time (seconds): 35.85
	System time (seconds): 18.38
	Maximum resident set size (kbytes): 9697340
	User time (seconds): 44.91
	System time (seconds): 18.88
	Maximum resident set size (kbytes): 10172656
	User time (seconds): 54.77
	System time (seconds): 19.74
	Maximum resident set size (kbytes): 10847516
	User time (seconds): 62.55
	System time (seconds): 21.54
	Maximum resident set size (kbytes): 11452424
	User time (seconds): 72.04
	System time (seconds): 23.36
	Maximum resident set size (kbytes): 12001404
	User time (seconds): 77.83
	System time (seconds): 24.03
	Maximum resident set size (kbytes): 12634520
	User time (seconds): 83.65
	System time (seconds): 19.78
	Maximum resident set size (kbytes): 13119124
	User time (seconds): 95.07
	System time (seconds): 24.52
	Maximum resident set size (kbytes): 13563948
	User time (seconds): 104.72
	System time (seconds): 22.96
	Maximum resident set size (kbytes): 14172216
	User time (seconds): 109.60
	System time (seconds): 23.10
	Maximum resident set size (kbytes): 14671852
	User time (seconds): 114.36
	System time (seconds): 21.73
	Maximum resident set size (kbytes): 14937748
	User time (seconds): 119.46
	System time (seconds): 21.27
	Maximum resident set size (kbytes): 15171272
	User time (seconds): 119.06
	System time (seconds): 21.65
	Maximum resident set size (kbytes): 15272100
	User time (seconds): 117.30
	System time (seconds): 21.37
	Maximum resident set size (kbytes): 15357068
	User time (seconds): 121.03
	System time (seconds): 20.12
	Maximum resident set size (kbytes): 15472748
	User time (seconds): 124.59
	System time (seconds): 21.03
	Maximum resident set size (kbytes): 15525796
	User time (seconds): 126.75
	System time (seconds): 23.67
	Maximum resident set size (kbytes): 15552116
	User time (seconds): 121.28
	System time (seconds): 21.21
	Maximum resident set size (kbytes): 15546688
	User time (seconds): 121.05
	System time (seconds): 20.86
	Maximum resident set size (kbytes): 15494960
	User time (seconds): 121.33
	System time (seconds): 20.15
	Maximum resident set size (kbytes): 15466944
	User time (seconds): 115.26
	System time (seconds): 21.06
	Maximum resident set size (kbytes): 15469912
	User time (seconds): 120.56
	System time (seconds): 24.00
	Maximum resident set size (kbytes): 15505968
	User time (seconds): 117.09
	System time (seconds): 21.75
	Maximum resident set size (kbytes): 15518360
	User time (seconds): 117.88
	System time (seconds): 22.15
	Maximum resident set size (kbytes): 15469344
	User time (seconds): 118.33
	System time (seconds): 21.82
	Maximum resident set size (kbytes): 15463732
	User time (seconds): 121.54
	System time (seconds): 20.98
	Maximum resident set size (kbytes): 15495388
	User time (seconds): 119.42
	System time (seconds): 19.46
	Maximum resident set size (kbytes): 15581024
	User time (seconds): 118.22
	System time (seconds): 23.50
	Maximum resident set size (kbytes): 15625612
	User time (seconds): 120.65
	System time (seconds): 22.14
	Maximum resident set size (kbytes): 15708800
	User time (seconds): 120.14
	System time (seconds): 25.43
	Maximum resident set size (kbytes): 15754220
	User time (seconds): 122.18
	System time (seconds): 23.22
	Maximum resident set size (kbytes): 15785384
	User time (seconds): 126.21
	System time (seconds): 26.37
	Maximum resident set size (kbytes): 15802696
	User time (seconds): 123.32
	System time (seconds): 22.37
	Maximum resident set size (kbytes): 15803404
	User time (seconds): 122.46
	System time (seconds): 24.19
	Maximum resident set size (kbytes): 15746096
	User time (seconds): 118.74
	System time (seconds): 20.56
	Maximum resident set size (kbytes): 15706180
	User time (seconds): 117.54
	System time (seconds): 23.87
	Maximum resident set size (kbytes): 15660000
	User time (seconds): 115.17
	System time (seconds): 19.07
	Maximum resident set size (kbytes): 15630836
	User time (seconds): 113.22
	System time (seconds): 22.50
	Maximum resident set size (kbytes): 15605292
	User time (seconds): 117.84
	System time (seconds): 23.15
	Maximum resident set size (kbytes): 15619580
	User time (seconds): 123.08
	System time (seconds): 27.17
	Maximum resident set size (kbytes): 15712316
	User time (seconds): 119.37
	System time (seconds): 22.96
	Maximum resident set size (kbytes): 15834148
	User time (seconds): 119.27
	System time (seconds): 20.56
	Maximum resident set size (kbytes): 15927996
	User time (seconds): 120.19
	System time (seconds): 21.14
	Maximum resident set size (kbytes): 15880996
	User time (seconds): 121.74
	System time (seconds): 22.95
	Maximum resident set size (kbytes): 15863824
	User time (seconds): 119.07
	System time (seconds): 22.56
	Maximum resident set size (kbytes): 15830832
	User time (seconds): 117.93
	System time (seconds): 20.62
	Maximum resident set size (kbytes): 15827140
	User time (seconds): 120.58
	System time (seconds): 22.01
	Maximum resident set size (kbytes): 15919100
	User time (seconds): 119.69
	System time (seconds): 24.12
	Maximum resident set size (kbytes): 15981512
	User time (seconds): 123.65
	System time (seconds): 24.45
	Maximum resident set size (kbytes): 16038416
	User time (seconds): 121.33
	System time (seconds): 19.46
	Maximum resident set size (kbytes): 16021828
	User time (seconds): 122.28
	System time (seconds): 22.93
	Maximum resident set size (kbytes): 15961668
	User time (seconds): 121.31
	System time (seconds): 21.67
	Maximum resident set size (kbytes): 15917168
	User time (seconds): 123.99
	System time (seconds): 22.99
	Maximum resident set size (kbytes): 15873500
	User time (seconds): 117.75
	System time (seconds): 18.54
	Maximum resident set size (kbytes): 15871448
	User time (seconds): 128.24
	System time (seconds): 22.63
	Maximum resident set size (kbytes): 15901256
	User time (seconds): 119.69
	System time (seconds): 20.15
	Maximum resident set size (kbytes): 15959244
	User time (seconds): 123.68
	System time (seconds): 23.97
	Maximum resident set size (kbytes): 16007208
	User time (seconds): 124.73
	System time (seconds): 20.68
	Maximum resident set size (kbytes): 16013184
	User time (seconds): 126.16
	System time (seconds): 25.60
	Maximum resident set size (kbytes): 16009608
	User time (seconds): 127.74
	System time (seconds): 26.93
	Maximum resident set size (kbytes): 16029576
	User time (seconds): 123.52
	System time (seconds): 22.85
	Maximum resident set size (kbytes): 16066736
	User time (seconds): 121.73
	System time (seconds): 20.27
	Maximum resident set size (kbytes): 16087028
	User time (seconds): 123.91
	System time (seconds): 20.36
	Maximum resident set size (kbytes): 16054616
	User time (seconds): 125.83
	System time (seconds): 22.65
	Maximum resident set size (kbytes): 15993840
	User time (seconds): 125.96
	System time (seconds): 22.40
	Maximum resident set size (kbytes): 15893864
	User time (seconds): 120.72
	System time (seconds): 20.45
	Maximum resident set size (kbytes): 15771976
	User time (seconds): 120.17
	System time (seconds): 21.49
	Maximum resident set size (kbytes): 15634052
	User time (seconds): 117.67
	System time (seconds): 23.97
	Maximum resident set size (kbytes): 15510528
	User time (seconds): 116.80
	System time (seconds): 22.86
	Maximum resident set size (kbytes): 15392440
	User time (seconds): 110.84
	System time (seconds): 21.46
	Maximum resident set size (kbytes): 15157064
	User time (seconds): 109.64
	System time (seconds): 18.60
	Maximum resident set size (kbytes): 14975824
	User time (seconds): 118.74
	System time (seconds): 24.20
	Maximum resident set size (kbytes): 14921612
	User time (seconds): 108.84
	System time (seconds): 22.70
	Maximum resident set size (kbytes): 14940908
	User time (seconds): 113.42
	System time (seconds): 24.80
	Maximum resident set size (kbytes): 14892940
	User time (seconds): 109.80
	System time (seconds): 22.27
	Maximum resident set size (kbytes): 14827168
	User time (seconds): 111.03
	System time (seconds): 22.59
	Maximum resident set size (kbytes): 14738620
	User time (seconds): 107.93
	System time (seconds): 22.63
	Maximum resident set size (kbytes): 14663940
	User time (seconds): 106.76
	System time (seconds): 21.83
	Maximum resident set size (kbytes): 14548476
	User time (seconds): 101.74
	System time (seconds): 23.04
	Maximum resident set size (kbytes): 14463696
	User time (seconds): 105.04
	System time (seconds): 27.70
	Maximum resident set size (kbytes): 14408576
	User time (seconds): 99.89
	System time (seconds): 19.59
	Maximum resident set size (kbytes): 14469032
	User time (seconds): 105.51
	System time (seconds): 21.16
	Maximum resident set size (kbytes): 14532468
	User time (seconds): 107.68
	System time (seconds): 21.74
	Maximum resident set size (kbytes): 14576472
	User time (seconds): 109.88
	System time (seconds): 21.58
	Maximum resident set size (kbytes): 14520208
	User time (seconds): 102.52
	System time (seconds): 26.11
	Maximum resident set size (kbytes): 14450596
	User time (seconds): 97.81
	System time (seconds): 22.78
	Maximum resident set size (kbytes): 14505824
	User time (seconds): 105.86
	System time (seconds): 22.95
	Maximum resident set size (kbytes): 14735900
	User time (seconds): 107.15
	System time (seconds): 22.59
	Maximum resident set size (kbytes): 14944332
	User time (seconds): 105.82
	System time (seconds): 19.52
	Maximum resident set size (kbytes): 15079080
	User time (seconds): 107.19
	System time (seconds): 19.74
	Maximum resident set size (kbytes): 15138884
	User time (seconds): 108.58
	System time (seconds): 22.72
	Maximum resident set size (kbytes): 15216640
	User time (seconds): 109.23
	System time (seconds): 19.13
	Maximum resident set size (kbytes): 15250020
	User time (seconds): 109.03
	System time (seconds): 22.50
	Maximum resident set size (kbytes): 15298048
	User time (seconds): 110.16
	System time (seconds): 21.97
	Maximum resident set size (kbytes): 15337128
	User time (seconds): 110.47
	System time (seconds): 19.95
	Maximum resident set size (kbytes): 15445136
	User time (seconds): 111.88
	System time (seconds): 18.69
	Maximum resident set size (kbytes): 15537796
	User time (seconds): 120.37
	System time (seconds): 22.55
	Maximum resident set size (kbytes): 15615796
	User time (seconds): 116.09
	System time (seconds): 21.42
	Maximum resident set size (kbytes): 15718688
	User time (seconds): 124.41
	System time (seconds): 21.27
	Maximum resident set size (kbytes): 15811312
	User time (seconds): 120.45
	System time (seconds): 22.39
	Maximum resident set size (kbytes): 15929608
	User time (seconds): 122.03
	System time (seconds): 20.93
	Maximum resident set size (kbytes): 16040620
	User time (seconds): 126.46
	System time (seconds): 23.97
	Maximum resident set size (kbytes): 16084168
	User time (seconds): 124.50
	System time (seconds): 22.07
	Maximum resident set size (kbytes): 16186876
	User time (seconds): 124.38
	System time (seconds): 22.96
	Maximum resident set size (kbytes): 16281932
	User time (seconds): 124.63
	System time (seconds): 20.68
	Maximum resident set size (kbytes): 16351084
	User time (seconds): 126.93
	System time (seconds): 23.79
	Maximum resident set size (kbytes): 16412932
	User time (seconds): 128.21
	System time (seconds): 23.21
	Maximum resident set size (kbytes): 16464628
	User time (seconds): 128.00
	System time (seconds): 23.69
	Maximum resident set size (kbytes): 16477780
	User time (seconds): 125.52
	System time (seconds): 22.04
	Maximum resident set size (kbytes): 16471696
	User time (seconds): 125.53
	System time (seconds): 23.02
	Maximum resident set size (kbytes): 16448788
	User time (seconds): 125.44
	System time (seconds): 25.66
	Maximum resident set size (kbytes): 16457844
	User time (seconds): 130.63
	System time (seconds): 21.46
	Maximum resident set size (kbytes): 16467160
	User time (seconds): 130.06
	System time (seconds): 21.19
	Maximum resident set size (kbytes): 16455428
	User time (seconds): 127.09
	System time (seconds): 23.44
	Maximum resident set size (kbytes): 16350640
	User time (seconds): 125.17
	System time (seconds): 24.78
	Maximum resident set size (kbytes): 16324316
	User time (seconds): 124.25
	System time (seconds): 23.73
	Maximum resident set size (kbytes): 16300368
	User time (seconds): 126.22
	System time (seconds): 21.04
	Maximum resident set size (kbytes): 16229584
	User time (seconds): 124.41
	System time (seconds): 21.53
	Maximum resident set size (kbytes): 16169868
	User time (seconds): 129.14
	System time (seconds): 24.69
	Maximum resident set size (kbytes): 16201280
	User time (seconds): 128.48
	System time (seconds): 20.91
	Maximum resident set size (kbytes): 16180172
	User time (seconds): 127.07
	System time (seconds): 21.49
	Maximum resident set size (kbytes): 16171412
	User time (seconds): 126.66
	System time (seconds): 21.65
	Maximum resident set size (kbytes): 16086996
	User time (seconds): 126.28
	System time (seconds): 23.00
	Maximum resident set size (kbytes): 15946692
	User time (seconds): 129.99
	System time (seconds): 25.04
	Maximum resident set size (kbytes): 15777232
	User time (seconds): 124.67
	System time (seconds): 26.15
	Maximum resident set size (kbytes): 15431796
	User time (seconds): 117.29
	System time (seconds): 21.76
	Maximum resident set size (kbytes): 14993012
	User time (seconds): 101.61
	System time (seconds): 19.48
	Maximum resident set size (kbytes): 14217484
	User time (seconds): 91.28
	System time (seconds): 22.18
	Maximum resident set size (kbytes): 13334248
	User time (seconds): 78.12
	System time (seconds): 26.55
	Maximum resident set size (kbytes): 12339052
	User time (seconds): 60.04
	System time (seconds): 20.46
	Maximum resident set size (kbytes): 11314320
	User time (seconds): 32.32
	System time (seconds): 14.83
	Maximum resident set size (kbytes): 7381048