User time (seconds): 979.43
	System time (seconds): 17.21
	Maximum resident set size (kbytes): 10070148
	User time (seconds): 1089.37
	System time (seconds): 26.23
	Maximum resident set size (kbytes): 11840776
	User time (seconds): 1375.68
	System time (seconds): 27.31
	Maximum resident set size (kbytes): 11738628
	User time (seconds): 1335.52
	System time (seconds): 30.78
	Maximum resident set size (kbytes): 11324524
	User time (seconds): 885.26
	System time (seconds): 24.35
	Maximum resident set size (kbytes): 9918992
	User time (seconds): 204.03
	System time (seconds): 19.12
	Maximum resident set size (kbytes): 9086264
	User time (seconds): 37.80
	System time (seconds): 21.38
	Maximum resident set size (kbytes): 9099796
	User time (seconds): 29.50
	System time (seconds): 18.27
	Maximum resident set size (kbytes): 9087244
	User time (seconds): 20.55
	System time (seconds): 22.63
	Maximum resident set size (kbytes): 9102680
	User time (seconds): 18.95
	System time (seconds): 21.52
	Maximum resident set size (kbytes): 9091056
	User time (seconds): 16.97
	System time (seconds): 23.35
	Maximum resident set size (kbytes): 9106800
	User time (seconds): 57.38
	System time (seconds): 19.83
	Maximum resident set size (kbytes): 9109256
	User time (seconds): 112.85
	System time (seconds): 18.20
	Maximum resident set size (kbytes): 9106652
	User time (seconds): 164.49
	System time (seconds): 17.73
	Maximum resident set size (kbytes): 9099632
	User time (seconds): 225.09
	System time (seconds): 21.85
	Maximum resident set size (kbytes): 9095744
	User time (seconds): 206.09
	System time (seconds): 21.67
	Maximum resident set size (kbytes): 9103636
	User time (seconds): 236.01
	System time (seconds): 25.56
	Maximum resident set size (kbytes): 9091348
	User time (seconds): 253.18
	System time (seconds): 18.82
	Maximum resident set size (kbytes): 9097744
	User time (seconds): 265.22
	System time (seconds): 20.87
	Maximum resident set size (kbytes): 9105544
	User time (seconds): 262.05
	System time (seconds): 18.56
	Maximum resident set size (kbytes): 9106896
	User time (seconds): 302.06
	System time (seconds): 22.45
	Maximum resident set size (kbytes): 9084592
	User time (seconds): 354.02
	System time (seconds): 22.95
	Maximum resident set size (kbytes): 9080136
	User time (seconds): 253.05
	System time (seconds): 20.53
	Maximum resident set size (kbytes): 9091480
	User time (seconds): 277.56
	System time (seconds): 22.12
	Maximum resident set size (kbytes): 9086000
	User time (seconds): 32.25
	System time (seconds): 19.96
	Maximum resident set size (kbytes): 7337628
	User time (seconds): 32.95
	System time (seconds): 16.73
	Maximum resident set size (kbytes): 7358800
	User time (seconds): 33.04
	System time (seconds): 16.78
	Maximum resident set size (kbytes): 7404280
	User time (seconds): 32.86
	System time (seconds): 17.60
	Maximum resident set size (kbytes): 7404440
	User time (seconds): 32.54
	System time (seconds): 16.60
	Maximum resident set size (kbytes): 7419772
	User time (seconds): 33.81
	System time (seconds): 15.22
	Maximum resident set size (kbytes): 7431152
	User time (seconds): 35.19
	System time (seconds): 16.43
	Maximum resident set size (kbytes): 7419060
	User time (seconds): 33.21
	System time (seconds): 16.74
	Maximum resident set size (kbytes): 7376556
	User time (seconds): 33.20
	System time (seconds): 15.74
	Maximum resident set size (kbytes): 7331136
	User time (seconds): 32.46
	System time (seconds): 18.06
	Maximum resident set size (kbytes): 7330776
	User time (seconds): 33.30
	System time (seconds): 12.26
	Maximum resident set size (kbytes): 7342228
	User time (seconds): 33.64
	System time (seconds): 17.21
	Maximum resident set size (kbytes): 7369604
	User time (seconds): 33.56
	System time (seconds): 15.60
	Maximum resident set size (kbytes): 7377884
	User time (seconds): 33.68
	System time (seconds): 17.24
	Maximum resident set size (kbytes): 7375192
	User time (seconds): 33.63
	System time (seconds): 16.72
	Maximum resident set size (kbytes): 7381624
	User time (seconds): 33.90
	System time (seconds): 15.93
	Maximum resident set size (kbytes): 7389660
	User time (seconds): 34.29
	System time (seconds): 16.67
	Maximum resident set size (kbytes): 7417300
	User time (seconds): 35.13
	System time (seconds): 16.84
	Maximum resident set size (kbytes): 7447468
	User time (seconds): 35.49
	System time (seconds): 15.01
	Maximum resident set size (kbytes): 7474024
	User time (seconds): 36.16
	System time (seconds): 16.35
	Maximum resident set size (kbytes): 7517120
	User time (seconds): 36.57
	System time (seconds): 15.70
	Maximum resident set size (kbytes): 7553956
	User time (seconds): 39.61
	System time (seconds): 17.61
	Maximum resident set size (kbytes): 7551672
	User time (seconds): 41.74
	System time (seconds): 16.07
	Maximum resident set size (kbytes): 7544392
	User time (seconds): 35.65
	System time (seconds): 15.10
	Maximum resident set size (kbytes): 7553140
	User time (seconds): 36.09
	System time (seconds): 16.08
	Maximum resident set size (kbytes): 7543952
	User time (seconds): 36.08
	System time (seconds): 19.12
	Maximum resident set size (kbytes): 7545040
	User time (seconds): 35.70
	System time (seconds): 17.04
	Maximum resident set size (kbytes): 7528712
	User time (seconds): 35.54
	System time (seconds): 16.09
	Maximum resident set size (kbytes): 7504768
	User time (seconds): 34.11
	System time (seconds): 15.24
	Maximum resident set size (kbytes): 7513888
	User time (seconds): 34.33
	System time (seconds): 16.56
	Maximum resident set size (kbytes): 7517840
	User time (seconds): 34.35
	System time (seconds): 12.88
	Maximum resident set size (kbytes): 7558056
	User time (seconds): 38.31
	System time (seconds): 18.07
	Maximum resident set size (kbytes): 7535072
	User time (seconds): 36.50
	System time (seconds): 16.41
	Maximum resident set size (kbytes): 7586240
	User time (seconds): 36.94
	System time (seconds): 15.32
	Maximum resident set size (kbytes): 7636232
	User time (seconds): 38.04
	System time (seconds): 17.34
	Maximum resident set size (kbytes): 7721176
	User time (seconds): 37.87
	System time (seconds): 17.28
	Maximum resident set size (kbytes): 7796340
	User time (seconds): 37.45
	System time (seconds): 17.50
	Maximum resident set size (kbytes): 7814712
	User time (seconds): 37.31
	System time (seconds): 16.24
	Maximum resident set size (kbytes): 7810292
	User time (seconds): 36.99
	System time (seconds): 16.34
	Maximum resident set size (kbytes): 7838420
	User time (seconds): 37.23
	System time (seconds): 18.22
	Maximum resident set size (kbytes): 7857400
	User time (seconds): 37.34
	System time (seconds): 16.40
	Maximum resident set size (kbytes): 7883092
	User time (seconds): 37.94
	System time (seconds): 16.76
	Maximum resident set size (kbytes): 7910096
	User time (seconds): 38.84
	System time (seconds): 14.22
	Maximum resident set size (kbytes): 7965616
	User time (seconds): 38.17
	System time (seconds): 13.25
	Maximum resident set size (kbytes): 7971176
	User time (seconds): 38.64
	System time (seconds): 15.47
	Maximum resident set size (kbytes): 7988512
	User time (seconds): 39.75
	System time (seconds): 17.63
	Maximum resident set size (kbytes): 8031496
	User time (seconds): 40.75
	System time (seconds): 16.08
	Maximum resident set size (kbytes): 8158116
	User time (seconds): 41.81
	System time (seconds): 17.12
	Maximum resident set size (kbytes): 8234140
	User time (seconds): 44.67
	System time (seconds): 17.34
	Maximum resident set size (kbytes): 8305128
	User time (seconds): 45.15
	System time (seconds): 18.00
	Maximum resident set size (kbytes): 8324868
	User time (seconds): 43.15
	System time (seconds): 14.37
	Maximum resident set size (kbytes): 8346044
	User time (seconds): 45.10
	System time (seconds): 15.07
	Maximum resident set size (kbytes): 8291280
	User time (seconds): 43.24
	System time (seconds): 16.23
	Maximum resident set size (kbytes): 8306540
	User time (seconds): 44.99
	System time (seconds): 16.42
	Maximum resident set size (kbytes): 8311076
	User time (seconds): 45.33
	System time (seconds): 10.67
	Maximum resident set size (kbytes): 8369808
	User time (seconds): 43.85
	System time (seconds): 17.53
	Maximum resident set size (kbytes): 8345000
	User time (seconds): 45.28
	System time (seconds): 15.58
	Maximum resident set size (kbytes): 8352080
	User time (seconds): 43.78
	System time (seconds): 15.26
	Maximum resident set size (kbytes): 8299736
	User time (seconds): 44.13
	System time (seconds): 16.04
	Maximum resident set size (kbytes): 8316200
	User time (seconds): 43.14
	System time (seconds): 15.87
	Maximum resident set size (kbytes): 8311000
	User time (seconds): 43.76
	System time (seconds): 19.38
	Maximum resident set size (kbytes): 8296908
	User time (seconds): 42.81
	System time (seconds): 16.75
	Maximum resident set size (kbytes): 8323676
	User time (seconds): 41.43
	System time (seconds): 13.92
	Maximum resident set size (kbytes): 8312288
	User time (seconds): 40.36
	System time (seconds): 12.10
	Maximum resident set size (kbytes): 8320656
	User time (seconds): 41.89
	System time (seconds): 12.31
	Maximum resident set size (kbytes): 8321004
	User time (seconds): 41.73
	System time (seconds): 14.88
	Maximum resident set size (kbytes): 8291220
	User time (seconds): 41.77
	System time (seconds): 19.81
	Maximum resident set size (kbytes): 8230452
	User time (seconds): 41.77
	System time (seconds): 15.12
	Maximum resident set size (kbytes): 8233344
	User time (seconds): 42.17
	System time (seconds): 15.67
	Maximum resident set size (kbytes): 8237512
	User time (seconds): 43.91
	System time (seconds): 16.12
	Maximum resident set size (kbytes): 8230900
	User time (seconds): 41.96
	System time (seconds): 15.00
	Maximum resident set size (kbytes): 8264296
	User time (seconds): 41.17
	System time (seconds): 11.31
	Maximum resident set size (kbytes): 8286432
	User time (seconds): 41.47
	System time (seconds): 14.36
	Maximum resident set size (kbytes): 8268088
	User time (seconds): 40.96
	System time (seconds): 13.78
	Maximum resident set size (kbytes): 8296076
	User time (seconds): 42.49
	System time (seconds): 13.23
	Maximum resident set size (kbytes): 8268148
	User time (seconds): 40.97
	System time (seconds): 15.27
	Maximum resident set size (kbytes): 8254312
	User time (seconds): 40.73
	System time (seconds): 14.63
	Maximum resident set size (kbytes): 8195548
	User time (seconds): 41.40
	System time (seconds): 22.76
	Maximum resident set size (kbytes): 8160180
	User time (seconds): 40.58
	System time (seconds): 16.82
	Maximum resident set size (kbytes): 8076172
	User time (seconds): 40.54
	System time (seconds): 14.60
	Maximum resident set size (kbytes): 8016928
	User time (seconds): 39.45
	System time (seconds): 15.47
	Maximum resident set size (kbytes): 7897760
	User time (seconds): 37.08
	System time (seconds): 16.41
	Maximum resident set size (kbytes): 7707028
	User time (seconds): 36.90
	System time (seconds): 14.84
	Maximum resident set size (kbytes): 7661528
	User time (seconds): 35.43
	System time (seconds): 16.53
	Maximum resident set size (kbytes): 7625944
	User time (seconds): 36.51
	System time (seconds): 18.72
	Maximum resident set size (kbytes): 7604720
	User time (seconds): 35.05
	System time (seconds): 16.99
	Maximum resident set size (kbytes): 7586568
	User time (seconds): 35.02
	System time (seconds): 17.15
	Maximum resident set size (kbytes): 7575264
	User time (seconds): 34.82
	System time (seconds): 14.79
	Maximum resident set size (kbytes): 7568052
	User time (seconds): 35.93
	System time (seconds): 20.94
	Maximum resident set size (kbytes): 7583216
	User time (seconds): 35.16
	System time (seconds): 18.85
	Maximum resident set size (kbytes): 7589412
	User time (seconds): 33.87
	System time (seconds): 15.33
	Maximum resident set size (kbytes): 7508916
	User time (seconds): 32.72
	System time (seconds): 13.62
	Maximum resident set size (kbytes): 7456988
	User time (seconds): 33.41
	System time (seconds): 18.80
	Maximum resident set size (kbytes): 7442508
	User time (seconds): 32.72
	System time (seconds): 16.74
	Maximum resident set size (kbytes): 7451340
	User time (seconds): 32.63
	System time (seconds): 15.48
	Maximum resident set size (kbytes): 7431052
	User time (seconds): 32.98
	System time (seconds): 16.92
	Maximum resident set size (kbytes): 7393740
	User time (seconds): 31.60
	System time (seconds): 15.92
	Maximum resident set size (kbytes): 7361792
	User time (seconds): 31.17
	System time (seconds): 18.75
	Maximum resident set size (kbytes): 7294192
	User time (seconds): 30.48
	System time (seconds): 16.54
	Maximum resident set size (kbytes): 7249172
	User time (seconds): 29.30
	System time (seconds): 17.96
	Maximum resident set size (kbytes): 7194396
	User time (seconds): 29.06
	System time (seconds): 15.54
	Maximum resident set size (kbytes): 7137028
	User time (seconds): 28.54
	System time (seconds): 17.18
	Maximum resident set size (kbytes): 7065440
	User time (seconds): 28.07
	System time (seconds): 14.99
	Maximum resident set size (kbytes): 7043604
	User time (seconds): 28.11
	System time (seconds): 13.83
	Maximum resident set size (kbytes): 7039016
	User time (seconds): 27.83
	System time (seconds): 17.42
	Maximum resident set size (kbytes): 7026792
	User time (seconds): 27.65
	System time (seconds): 16.81
	Maximum resident set size (kbytes): 7006448
	User time (seconds): 30.42
	System time (seconds): 19.04
	Maximum resident set size (kbytes): 6978124
	User time (seconds): 29.26
	System time (seconds): 16.79
	Maximum resident set size (kbytes): 6953036
	User time (seconds): 28.21
	System time (seconds): 16.12
	Maximum resident set size (kbytes): 6935968
	User time (seconds): 28.75
	System time (seconds): 17.49
	Maximum resident set size (kbytes): 6911248
	User time (seconds): 26.61
	System time (seconds): 18.92
	Maximum resident set size (kbytes): 6887348
	User time (seconds): 28.40
	System time (seconds): 15.80
	Maximum resident set size (kbytes): 6849528
	User time (seconds): 26.78
	System time (seconds): 20.00
	Maximum resident set size (kbytes): 6820316
	User time (seconds): 25.63
	System time (seconds): 17.63
	Maximum resident set size (kbytes): 6786324
	User time (seconds): 25.77
	System time (seconds): 15.97
	Maximum resident set size (kbytes): 6760916
	User time (seconds): 25.39
	System time (seconds): 14.44
	Maximum resident set size (kbytes): 6765356
	User time (seconds): 25.49
	System time (seconds): 15.72
	Maximum resident set size (kbytes): 6710748
	User time (seconds): 25.16
	System time (seconds): 15.12
	Maximum resident set size (kbytes): 6741728
	User time (seconds): 24.21
	System time (seconds): 15.06
	Maximum resident set size (kbytes): 6702620
	User time (seconds): 24.32
	System time (seconds): 15.70
	Maximum resident set size (kbytes): 6664828
	User time (seconds): 23.00
	System time (seconds): 12.89
	Maximum resident set size (kbytes): 6596024
	User time (seconds): 22.55
	System time (seconds): 13.27
	Maximum resident set size (kbytes): 6543480
	User time (seconds): 20.70
	System time (seconds): 11.18
	Maximum resident set size (kbytes): 6505616
	User time (seconds): 20.01
	System time (seconds): 10.74
	Maximum resident set size (kbytes): 6429784
	User time (seconds): 20.23
	System time (seconds): 11.29
	Maximum resident set size (kbytes): 6376696
	User time (seconds): 20.24
	System time (seconds): 12.16
	Maximum resident set size (kbytes): 6342672
	User time (seconds): 18.95
	System time (seconds): 11.40
	Maximum resident set size (kbytes): 6336536
	User time (seconds): 18.91
	System time (seconds): 12.41
	Maximum resident set size (kbytes): 6342688
	User time (seconds): 19.06
	System time (seconds): 14.91
	Maximum resident set size (kbytes): 6328372
	User time (seconds): 18.44
	System time (seconds): 11.27
	Maximum resident set size (kbytes): 6350512
	User time (seconds): 19.77
	System time (seconds): 13.84
	Maximum resident set size (kbytes): 6322076
	User time (seconds): 17.30
	System time (seconds): 13.71
	Maximum resident set size (kbytes): 6320136
	User time (seconds): 15.80
	System time (seconds): 13.73
	Maximum resident set size (kbytes): 6321440
	User time (seconds): 14.31
	System time (seconds): 14.97
	Maximum resident set size (kbytes): 6334488
	User time (seconds): 12.79
	System time (seconds): 13.41
	Maximum resident set size (kbytes): 6324120
	User time (seconds): 9.82
	System time (seconds): 15.77
	Maximum resident set size (kbytes): 6336552
	User time (seconds): 4.95
	System time (seconds): 9.70
	Maximum resident set size (kbytes): 3753408