2.39/1.89
2.39/1.89 AbsCon 2
2.64/1.91
3.19/2.16 Instance
3.19/2.16 name=instance-4390637-1568383900, framework=CSP
3.19/2.16
3.19/2.16 Loading variables...
3.19/2.19 Loading constraints...
3.84/2.36
3.84/2.36 Domains
3.84/2.36 nTypes=4, nValues=2088, sizes=[1#2,7#28,14#27,28#54]
3.84/2.36 Variables
3.84/2.36 count=111, degrees=[2#29,3#26,27#1,29#18,30#9,55#1,56#27]
3.84/2.36 Constraints
3.84/2.36 count=1261, arities=[2#1261]
3.84/2.36 distribution=[CtrExtensionV-Bits#1261]
3.84/2.36 nExtStructures=(88,shared:1173), nCftStructures=(88,shared:1173)
3.84/2.36 wck=0.488, cpu=2.317, mem=39M724
3.84/2.36 Solver SolverBacktrack being built...
3.84/2.36
3.84/2.38
3.84/2.38 Solver
3.84/2.38 guaranteedGAC=true
3.84/2.38 wck=0.519, cpu=2.347, mem=50M367
3.84/2.39
3.84/2.39 Preprocessing
3.84/2.39 filters=150, revisions=(2284,useless=2116), nACremovedValues=280, nTotalRemovedValues=280, inconcistency=false
3.84/2.39 wck=0.008, cpu=2.356, mem=50M367
3.84/2.39
4.23/2.41 num=0, depth=25..31, filters=962, revisions=(11762,useless=10782), wck=0.021, mem=50M367
4.23/2.41 decisions=65, wrong=20, backtracks=11, failedAssignments=10, nogoods=2
4.23/2.41
4.23/2.41 num=1, depth=26..37, filters=1642, revisions=(19964,useless=18304), wck=0.027, mem=50M367
4.23/2.41 decisions=135, wrong=42, backtracks=22, failedAssignments=21, nogoods=3
4.23/2.41
4.23/2.42 num=2, depth=18..25, filters=2312, revisions=(29914,useless=27584), wck=0.034, mem=50M367
4.23/2.42 decisions=201, wrong=66, backtracks=36, failedAssignments=33, nogoods=4
4.23/2.42
4.23/2.44 num=3, depth=24..37, filters=2940, revisions=(38431,useless=35473), wck=0.052, mem=50M367
4.23/2.44 decisions=277, wrong=92, backtracks=49, failedAssignments=46, nogoods=5
4.23/2.44
4.23/2.44 num=4, depth=10..24, filters=3739, revisions=(48129,useless=44372), wck=0.057, mem=50M367
4.23/2.44 decisions=343, wrong=120, backtracks=63, failedAssignments=60, nogoods=6
4.23/2.44
4.23/2.45 num=5, depth=17..33, filters=4481, revisions=(58140,useless=53641), wck=0.064, mem=50M367
4.23/2.45 decisions=424, wrong=152, backtracks=79, failedAssignments=76, nogoods=7
4.23/2.45
4.23/2.45 num=6, depth=13..35, filters=5461, revisions=(70985,useless=65499), wck=0.071, mem=50M367
4.23/2.45 decisions=521, wrong=186, backtracks=96, failedAssignments=93, nogoods=9
4.23/2.45
4.23/2.46 num=7, depth=22..30, filters=6116, revisions=(83234,useless=77091), wck=0.078, mem=50M367
4.23/2.46 decisions=619, wrong=224, backtracks=119, failedAssignments=112, nogoods=12
4.23/2.46
4.23/2.47 num=8, depth=12..19, filters=6760, revisions=(93561,useless=86770), wck=0.084, mem=50M367
4.23/2.47 decisions=694, wrong=255, backtracks=130, failedAssignments=133, nogoods=18
4.23/2.47
4.23/2.48 num=9, depth=14..31, filters=7401, revisions=(105019,useless=97587), wck=0.091, mem=50M367
4.23/2.48 decisions=810, wrong=301, backtracks=157, failedAssignments=156, nogoods=21
4.23/2.48
4.23/2.48 num=10, depth=14..26, filters=8241, revisions=(119509,useless=111234), wck=0.099, mem=53M9
4.23/2.48 decisions=924, wrong=350, backtracks=185, failedAssignments=181, nogoods=25
4.23/2.48
4.23/2.49 num=11, depth=11..16, filters=9342, revisions=(135958,useless=126572), wck=0.107, mem=53M9
4.23/2.49 decisions=1030, wrong=397, backtracks=207, failedAssignments=209, nogoods=28
4.23/2.49
4.53/2.50 num=12, depth=15..26, filters=10333, revisions=(151661,useless=141282), wck=0.115, mem=53M9
4.53/2.50 decisions=1150, wrong=449, backtracks=231, failedAssignments=240, nogoods=36
4.53/2.50
4.53/2.51 num=13, depth=10..15, filters=11844, revisions=(172497,useless=160593), wck=0.125, mem=53M9
4.53/2.51 decisions=1275, wrong=506, backtracks=259, failedAssignments=274, nogoods=41
4.53/2.51
4.53/2.52 num=14, depth=13..19, filters=13886, revisions=(198327,useless=184374), wck=0.137, mem=53M9
4.53/2.52 decisions=1417, wrong=569, backtracks=289, failedAssignments=311, nogoods=47
4.53/2.52
4.53/2.53 num=15, depth=10..18, filters=15190, revisions=(220027,useless=204761), wck=0.147, mem=53M9
4.53/2.53 decisions=1579, wrong=642, backtracks=330, failedAssignments=352, nogoods=51
4.53/2.53
4.53/2.54 num=16, depth=13..18, filters=17559, revisions=(247165,useless=229493), wck=0.16, mem=53M9
4.53/2.54 decisions=1726, wrong=708, backtracks=354, failedAssignments=397, nogoods=57
4.53/2.54
4.53/2.56 num=17, depth=13..19, filters=19771, revisions=(275302,useless=255387), wck=0.172, mem=53M9
4.53/2.56 decisions=1901, wrong=789, backtracks=390, failedAssignments=447, nogoods=60
4.53/2.56
4.53/2.57 num=18, depth=11..16, filters=22869, revisions=(311532,useless=288485), wck=0.189, mem=53M9
4.53/2.57 decisions=2116, wrong=890, backtracks=439, failedAssignments=502, nogoods=63
4.53/2.57
4.53/2.59 num=19, depth=13..19, filters=26262, revisions=(349464,useless=322976), wck=0.206, mem=53M9
4.53/2.59 decisions=2335, wrong=992, backtracks=485, failedAssignments=563, nogoods=69
4.53/2.59
4.84/2.61 num=20, depth=15..21, filters=30456, revisions=(393785,useless=363056), wck=0.227, mem=53M9
4.84/2.61 decisions=2573, wrong=1103, backtracks=536, failedAssignments=630, nogoods=73
4.84/2.61
4.84/2.63 num=21, depth=13..17, filters=34713, revisions=(436378,useless=401349), wck=0.246, mem=53M9
4.84/2.63 decisions=2813, wrong=1216, backtracks=580, failedAssignments=704, nogoods=80
4.84/2.63
4.84/2.65 num=22, depth=13..20, filters=37719, revisions=(475871,useless=437812), wck=0.263, mem=53M9
4.84/2.65 decisions=3104, wrong=1354, backtracks=643, failedAssignments=785, nogoods=90
4.84/2.65
4.84/2.67 num=23, depth=13..18, filters=42725, revisions=(527162,useless=484024), wck=0.285, mem=53M9
4.84/2.67 decisions=3403, wrong=1495, backtracks=702, failedAssignments=874, nogoods=99
4.84/2.67
4.84/2.69 num=24, depth=14..19, filters=47894, revisions=(587165,useless=538767), wck=0.311, mem=55M651
4.84/2.69 decisions=3766, wrong=1668, backtracks=786, failedAssignments=972, nogoods=104
4.84/2.69
5.14/2.72 num=25, depth=14..21, filters=53708, revisions=(647290,useless=593001), wck=0.337, mem=55M651
5.14/2.72 decisions=4112, wrong=1833, backtracks=853, failedAssignments=1080, nogoods=107
5.14/2.72
5.14/2.75 num=26, depth=14..20, filters=60100, revisions=(714896,useless=654138), wck=0.366, mem=55M651
5.14/2.75 decisions=4504, wrong=2021, backtracks=932, failedAssignments=1199, nogoods=119
5.14/2.75
5.14/2.78 num=27, depth=12..19, filters=68319, revisions=(795495,useless=726353), wck=0.4, mem=55M651
5.14/2.78 decisions=4939, wrong=2231, backtracks=1023, failedAssignments=1330, nogoods=123
5.14/2.78
5.44/2.82 num=28, depth=15..21, filters=76673, revisions=(876048,useless=798387), wck=0.434, mem=55M651
5.44/2.82 decisions=5377, wrong=2442, backtracks=1103, failedAssignments=1474, nogoods=127
5.44/2.82
5.44/2.86 num=29, depth=14..20, filters=84988, revisions=(960409,useless=874317), wck=0.468, mem=55M651
5.44/2.86 decisions=5889, wrong=2691, backtracks=1207, failedAssignments=1632, nogoods=144
5.44/2.86
5.44/2.89 num=30, depth=15..21, filters=94910, revisions=(1056280,useless=960071), wck=0.505, mem=58M294
5.44/2.89 decisions=6435, wrong=2956, backtracks=1320, failedAssignments=1806, nogoods=147
5.44/2.89
5.74/2.93 num=31, depth=13..20, filters=103824, revisions=(1155722,useless=1050447), wck=0.542, mem=58M294
5.74/2.93 decisions=7064, wrong=3263, backtracks=1459, failedAssignments=1997, nogoods=153
5.74/2.93
5.74/2.97 num=32, depth=13..21, filters=115710, revisions=(1272231,useless=1154901), wck=0.585, mem=58M294
5.74/2.97 decisions=7737, wrong=3592, backtracks=1601, failedAssignments=2208, nogoods=158
5.74/2.97
6.07/3.01 num=33, depth=15..21, filters=125561, revisions=(1378697,useless=1251407), wck=0.624, mem=58M294
6.07/3.01 decisions=8445, wrong=3938, backtracks=1742, failedAssignments=2440, nogoods=168
6.07/3.01
6.07/3.06 num=34, depth=12..19, filters=140243, revisions=(1524328,useless=1382125), wck=0.676, mem=60M936
6.07/3.06 decisions=9267, wrong=4342, backtracks=1910, failedAssignments=2695, nogoods=174
6.07/3.06
6.29/3.11 num=35, depth=15..21, filters=154201, revisions=(1669507,useless=1513206), wck=0.726, mem=60M936
6.29/3.11 decisions=10171, wrong=4786, backtracks=2105, failedAssignments=2976, nogoods=186
6.29/3.11
6.29/3.17 num=36, depth=12..20, filters=172198, revisions=(1840392,useless=1665786), wck=0.784, mem=60M936
6.29/3.17 decisions=11147, wrong=5267, backtracks=2312, failedAssignments=3285, nogoods=193
6.29/3.17
6.38/3.23 num=37, depth=15..21, filters=190818, revisions=(2027829,useless=1834273), wck=0.848, mem=63M579
6.38/3.23 decisions=12260, wrong=5815, backtracks=2556, failedAssignments=3625, nogoods=205
6.38/3.23
6.49/3.30 num=38, depth=12..19, filters=211984, revisions=(2223598,useless=2008487), wck=0.915, mem=63M579
6.49/3.30 decisions=13399, wrong=6378, backtracks=2800, failedAssignments=3999, nogoods=228
6.49/3.30
6.49/3.38 num=39, depth=16..24, filters=232645, revisions=(2455864,useless=2219855), wck=0.993, mem=66M221
6.49/3.38 decisions=14873, wrong=7106, backtracks=3165, failedAssignments=4410, nogoods=240
6.49/3.38
6.60/3.46 num=40, depth=13..21, filters=258169, revisions=(2712266,useless=2450375), wck=1.077, mem=66M221
6.60/3.46 decisions=16369, wrong=7847, backtracks=3513, failedAssignments=4862, nogoods=249
6.60/3.46
6.70/3.54 num=41, depth=16..23, filters=281520, revisions=(2959654,useless=2674093), wck=1.159, mem=68M864
6.70/3.54 decisions=17973, wrong=8640, backtracks=3876, failedAssignments=5359, nogoods=259
6.70/3.54
6.82/3.62 num=42, depth=13..21, filters=300410, revisions=(3211021,useless=2906462), wck=1.24, mem=68M864
6.82/3.62 decisions=19983, wrong=9636, backtracks=4369, failedAssignments=5906, nogoods=269
6.82/3.62
6.93/3.73 num=43, depth=16..22, filters=332355, revisions=(3525910,useless=3188893), wck=1.345, mem=71M506
6.93/3.73 decisions=21926, wrong=10598, backtracks=4784, failedAssignments=6508, nogoods=295
6.93/3.73
7.04/3.85 num=44, depth=13..20, filters=369444, revisions=(3882932,useless=3508333), wck=1.462, mem=71M506
7.04/3.85 decisions=24008, wrong=11631, backtracks=5229, failedAssignments=7170, nogoods=318
7.04/3.85
7.14/3.96 num=45, depth=13..20, filters=403453, revisions=(4243967,useless=3834712), wck=1.58, mem=74M149
7.14/3.96 decisions=26372, wrong=12805, backtracks=5734, failedAssignments=7898, nogoods=328
7.14/3.96
7.35/4.11 num=46, depth=12..20, filters=447920, revisions=(4683379,useless=4228989), wck=1.724, mem=76M791
7.35/4.11 decisions=28969, wrong=14096, backtracks=6322, failedAssignments=8699, nogoods=351
7.35/4.11
7.44/4.25 num=47, depth=14..23, filters=487958, revisions=(5130367,useless=4635535), wck=1.868, mem=79M433
7.44/4.25 decisions=31895, wrong=15550, backtracks=7038, failedAssignments=9580, nogoods=361
7.44/4.25
7.64/4.41 num=48, depth=12..20, filters=535094, revisions=(5626150,useless=5083637), wck=2.028, mem=82M76
7.64/4.41 decisions=35121, wrong=17156, backtracks=7814, failedAssignments=10550, nogoods=369
7.64/4.41
7.84/4.61 num=49, depth=16..23, filters=600312, revisions=(6226473,useless=5617664), wck=2.228, mem=84M718
7.84/4.61 decisions=38439, wrong=18806, backtracks=8498, failedAssignments=11617, nogoods=394
7.84/4.61
8.04/4.81 num=50, depth=11..21, filters=656997, revisions=(6835678,useless=6169576), wck=2.425, mem=87M361
8.04/4.81 decisions=42417, wrong=20787, backtracks=9452, failedAssignments=12790, nogoods=402
8.04/4.81
8.25/5.02 num=51, depth=12..20, filters=716463, revisions=(7493456,useless=6767187), wck=2.638, mem=90M3
8.25/5.02 decisions=46827, wrong=22985, backtracks=10549, failedAssignments=14081, nogoods=435
8.25/5.02
8.45/5.26 num=52, depth=12..21, filters=790573, revisions=(8222047,useless=7420694), wck=2.875, mem=95M288
8.45/5.26 decisions=51418, wrong=25273, backtracks=11607, failedAssignments=15501, nogoods=444
8.45/5.26
8.75/5.52 num=53, depth=12..21, filters=869526, revisions=(9026352,useless=8145209), wck=3.136, mem=97M931
8.75/5.52 decisions=56462, wrong=27787, backtracks=12786, failedAssignments=17063, nogoods=457
8.75/5.52
9.05/5.83 num=54, depth=14..22, filters=968258, revisions=(9987959,useless=9006515), wck=3.45, mem=105M858
9.05/5.83 decisions=62044, wrong=30570, backtracks=14089, failedAssignments=18781, nogoods=483
9.05/5.83
9.37/6.18 num=55, depth=12..21, filters=1078772, revisions=(11063576,useless=9970176), wck=3.801, mem=111M143
9.37/6.18 decisions=68158, wrong=33620, backtracks=15510, failedAssignments=20671, nogoods=508
9.37/6.18
9.76/6.56 num=56, depth=14..22, filters=1196888, revisions=(12207949,useless=10994452), wck=4.174, mem=116M428
9.76/6.56 decisions=74795, wrong=36930, backtracks=16989, failedAssignments=22750, nogoods=536
9.76/6.56
10.18/6.98 num=57, depth=12..21, filters=1322496, revisions=(13479107,useless=12138210), wck=4.597, mem=124M355
10.18/6.98 decisions=82335, wrong=40693, backtracks=18848, failedAssignments=25037, nogoods=556
10.18/6.98
10.68/7.42 num=58, depth=11..20, filters=1448389, revisions=(14808928,useless=13340924), wck=5.032, mem=129M640
10.68/7.42 decisions=90634, wrong=44835, backtracks=20839, failedAssignments=27553, nogoods=569
10.68/7.42
11.18/7.93 num=59, depth=11..20, filters=1606761, revisions=(16357608,useless=14728964), wck=5.549, mem=137M567
11.18/7.93 decisions=99564, wrong=49293, backtracks=22891, failedAssignments=30321, nogoods=576
11.18/7.93
11.73/8.47 num=60, depth=14..22, filters=1763017, revisions=(17979463,useless=16191557), wck=6.09, mem=26M401
11.73/8.47 decisions=109541, wrong=54272, backtracks=25236, failedAssignments=33365, nogoods=597
11.73/8.47
12.38/9.04 num=61, depth=11..21, filters=1934059, revisions=(19769781,useless=17809021), wck=6.658, mem=34M169
12.38/9.04 decisions=120648, wrong=59820, backtracks=27964, failedAssignments=36714, nogoods=604
12.38/9.04
12.97/9.66 num=62, depth=13..22, filters=2123654, revisions=(21716123,useless=19562842), wck=7.278, mem=44M528
12.97/9.66 decisions=132668, wrong=65822, backtracks=30791, failedAssignments=40398, nogoods=623
12.97/9.66
13.67/10.30 num=63, depth=11..20, filters=2321577, revisions=(23735015,useless=21381354), wck=7.914, mem=54M886
13.67/10.30 decisions=145426, wrong=72195, backtracks=33553, failedAssignments=44450, nogoods=651
13.67/10.30
14.38/11.07 num=64, depth=12..21, filters=2569899, revisions=(26160865,useless=23555122), wck=8.682, mem=67M834
14.38/11.07 decisions=159552, wrong=79250, backtracks=36759, failedAssignments=48907, nogoods=663
14.38/11.07
15.28/11.90 num=65, depth=11..21, filters=2832124, revisions=(28831683,useless=25960547), wck=9.521, mem=80M781
15.28/11.90 decisions=175575, wrong=87254, backtracks=40679, failedAssignments=53810, nogoods=680
15.28/11.90
16.11/12.79 num=66, depth=11..21, filters=3106459, revisions=(31638423,useless=28489591), wck=10.411, mem=96M319
16.11/12.79 decisions=193350, wrong=96135, backtracks=44887, failedAssignments=59204, nogoods=695
16.11/12.79
17.24/13.81 num=67, depth=10..20, filters=3430294, revisions=(34805825,useless=31328151), wck=11.426, mem=114M446
17.24/13.81 decisions=212181, wrong=105544, backtracks=49028, failedAssignments=65137, nogoods=710
17.24/13.81
18.24/14.84 num=68, depth=12..22, filters=3748677, revisions=(38058611,useless=34257859), wck=12.461, mem=132M573
18.24/14.84 decisions=233453, wrong=116173, backtracks=53862, failedAssignments=71663, nogoods=746
18.24/14.84
19.45/16.01 num=69, depth=10..20, filters=4086505, revisions=(41820746,useless=37679046), wck=13.63, mem=148M110
19.45/16.01 decisions=257955, wrong=128416, backtracks=59920, failedAssignments=78842, nogoods=760
19.45/16.01
20.77/17.31 num=70, depth=11..20, filters=4466429, revisions=(45855120,useless=41329903), wck=14.924, mem=34M270
20.77/17.31 decisions=283842, wrong=141353, backtracks=66118, failedAssignments=86739, nogoods=785
20.77/17.31
22.27/18.81 num=71, depth=11..22, filters=4953826, revisions=(50463366,useless=45443282), wck=16.429, mem=60M351
22.27/18.81 decisions=310999, wrong=154924, backtracks=72013, failedAssignments=95426, nogoods=797
22.27/18.81
23.87/20.45 num=72, depth=10..20, filters=5446234, revisions=(55443660,useless=49924702), wck=18.066, mem=89M39
23.87/20.45 decisions=342238, wrong=170536, backtracks=79163, failedAssignments=104981, nogoods=822
23.87/20.45
25.58/22.20 num=73, depth=11..21, filters=5946628, revisions=(60829401,useless=54803921), wck=19.813, mem=112M512
25.58/22.20 decisions=377852, wrong=188336, backtracks=87942, failedAssignments=115492, nogoods=836
25.58/22.20
27.49/24.09 num=74, depth=9..21, filters=6501386, revisions=(66656741,useless=60069016), wck=21.703, mem=143M809
27.49/24.09 decisions=414819, wrong=206813, backtracks=96111, failedAssignments=127054, nogoods=853
27.49/24.09
29.84/26.31 num=75, depth=10..21, filters=7155705, revisions=(73686446,useless=66437436), wck=23.926, mem=43M177
29.84/26.31 decisions=457815, wrong=228305, backtracks=106889, failedAssignments=139772, nogoods=862
29.84/26.31
32.07/28.51 num=76, depth=10..21, filters=7795250, revisions=(80795422,useless=72898206), wck=26.128, mem=74M473
32.07/28.51 decisions=505186, wrong=251983, backtracks=118407, failedAssignments=153762, nogoods=887
32.07/28.51
34.77/31.25 num=77, depth=10..22, filters=8660951, revisions=(89530221,useless=80756883), wck=28.867, mem=118M286
34.77/31.25 decisions=556016, wrong=277390, backtracks=130930, failedAssignments=169151, nogoods=895
34.77/31.25
37.58/34.07 num=78, depth=11..21, filters=9561263, revisions=(98542189,useless=88855837), wck=31.69, mem=168M359
37.58/34.07 decisions=610460, wrong=304605, backtracks=143298, failedAssignments=186079, nogoods=912
37.58/34.07
40.61/37.06 num=79, depth=10..22, filters=10436124, revisions=(108049570,useless=97478940), wck=34.679, mem=52M42
40.61/37.06 decisions=672985, wrong=335861, backtracks=158771, failedAssignments=204700, nogoods=940
40.61/37.06
44.10/40.56 num=80, depth=10..21, filters=11488022, revisions=(119224671,useless=107590488), wck=38.175, mem=104M339
44.10/40.56 decisions=741703, wrong=370214, backtracks=175734, failedAssignments=225184, nogoods=971
44.10/40.56
47.72/44.12 num=81, depth=10..21, filters=12521572, revisions=(130712439,useless=118033590), wck=41.741, mem=153M560
47.72/44.12 decisions=817403, wrong=408056, backtracks=194480, failedAssignments=247716, nogoods=991
47.72/44.12
52.04/48.48 num=82, depth=10..22, filters=13916942, revisions=(144539517,useless=130446666), wck=46.095, mem=72M611
52.04/48.48 decisions=898263, wrong=448478, backtracks=213496, failedAssignments=272501, nogoods=1012
52.04/48.48
56.54/52.94 num=83, depth=9..21, filters=15238604, revisions=(158637401,useless=143208002), wck=50.555, mem=139M42
56.54/52.94 decisions=989311, wrong=493996, backtracks=235208, failedAssignments=299765, nogoods=1026
56.54/52.94
61.88/58.27 num=84, depth=10..22, filters=16815763, revisions=(175465954,useless=158443433), wck=55.887, mem=62M873
61.88/58.27 decisions=1091361, wrong=545014, backtracks=261462, failedAssignments=329755, nogoods=1048
61.88/58.27
67.58/63.94 num=85, depth=10..21, filters=18474003, revisions=(193008463,useless=174308775), wck=61.559, mem=146M63
67.58/63.94 decisions=1201342, wrong=599997, backtracks=288472, failedAssignments=362744, nogoods=1068
67.58/63.94
73.73/70.04 num=86, depth=8..22, filters=20292081, revisions=(211972104,useless=191433940), wck=67.652, mem=97M244
73.73/70.04 decisions=1321379, wrong=660010, backtracks=316361, failedAssignments=399032, nogoods=1101
73.73/70.04
80.23/76.53 num=87, depth=10..22, filters=22225435, revisions=(232536245,useless=210043068), wck=74.151, mem=44M266
80.23/76.53 decisions=1455539, wrong=727083, backtracks=349371, failedAssignments=438949, nogoods=1119
80.23/76.53
87.23/83.59 num=88, depth=9..22, filters=24139831, revisions=(254626767,useless=230193717), wck=81.209, mem=141M855
87.23/83.59 decisions=1606182, wrong=802396, backtracks=386461, failedAssignments=482858, nogoods=1154
87.23/83.59
95.44/91.70 num=89, depth=9..22, filters=26502992, revisions=(280685979,useless=253866557), wck=89.318, mem=108M795
95.44/91.70 decisions=1767991, wrong=883295, backtracks=427715, failedAssignments=531158, nogoods=1184
95.44/91.70
104.55/100.83 num=90, depth=10..22, filters=29372411, revisions=(309785665,useless=280058162), wck=98.444, mem=118M201
104.55/100.83 decisions=1942657, wrong=970621, backtracks=469691, failedAssignments=584288, nogoods=1213
104.55/100.83
114.56/110.89 num=91, depth=9..21, filters=32456097, revisions=(341574523,useless=308725768), wck=108.505, mem=146M213
114.56/110.89 decisions=2135884, wrong=1067227, backtracks=514972, failedAssignments=642731, nogoods=1239
114.56/110.89
125.48/121.72 num=92, depth=10..22, filters=35793477, revisions=(376021340,useless=339791573), wck=119.333, mem=47M677
125.48/121.72 decisions=2345050, wrong=1171803, backtracks=564509, failedAssignments=707018, nogoods=1265
125.48/121.72
137.90/134.15 num=93, depth=8..20, filters=39564301, revisions=(414629341,useless=374578855), wck=131.771, mem=112M3
137.90/134.15 decisions=2573828, wrong=1286185, backtracks=617078, failedAssignments=777734, nogoods=1276
137.90/134.15
150.82/147.10 num=94, depth=9..22, filters=43321281, revisions=(455754665,useless=411907925), wck=144.713, mem=33M919
150.82/147.10 decisions=2837022, wrong=1417775, backtracks=683785, failedAssignments=855521, nogoods=1293
150.82/147.10
165.12/161.33 num=95, depth=10..22, filters=47669512, revisions=(501052380,useless=452797172), wck=158.95, mem=134M795
165.12/161.33 decisions=3123737, wrong=1561126, backtracks=752069, failedAssignments=941087, nogoods=1330
165.12/161.33
180.84/177.08 num=96, depth=9..22, filters=52114897, revisions=(551292653,useless=498553254), wck=174.7, mem=97M680
180.84/177.08 decisions=3449930, wrong=1724216, backtracks=837195, failedAssignments=1035210, nogoods=1361
180.84/177.08
198.05/194.25 num=97, depth=9..21, filters=56994646, revisions=(606623327,useless=548962806), wck=191.87, mem=91M8
198.05/194.25 decisions=3805698, wrong=1902094, backtracks=929635, failedAssignments=1138745, nogoods=1399
198.05/194.25
217.41/213.50 num=98, depth=9..22, filters=62594715, revisions=(668226987,useless=604908002), wck=211.115, mem=127M495
217.41/213.50 decisions=4184888, wrong=2091683, backtracks=1022790, failedAssignments=1252634, nogoods=1449
217.41/213.50
239.03/235.19 num=99, depth=8..21, filters=69198616, revisions=(737202465,useless=667203839), wck=232.81, mem=127M437
239.03/235.19 decisions=4602582, wrong=2300523, backtracks=1123945, failedAssignments=1377912, nogoods=1466
239.03/235.19
263.35/259.42 num=100, depth=9..22, filters=76773103, revisions=(814053858,useless=736383349), wck=257.038, mem=94M900
263.35/259.42 decisions=5057937, wrong=2528193, backtracks=1232771, failedAssignments=1515718, nogoods=1474
263.35/259.42
288.29/284.30 num=101, depth=8..21, filters=83944389, revisions=(893409366,useless=808491733), wck=281.919, mem=37M235
288.29/284.30 decisions=5558291, wrong=2778364, backtracks=1353222, failedAssignments=1667304, nogoods=1502
288.29/284.30
316.62/312.61 num=102, depth=9..22, filters=92600542, revisions=(983354913,useless=889668062), wck=310.223, mem=99M709
316.62/312.61 decisions=6118095, wrong=3058260, backtracks=1487021, failedAssignments=1834049, nogoods=1533
316.62/312.61
343.17/339.13 num=103, depth=8..21, filters=101872814, revisions=(1082060565,useless=978996087), wck=336.744, mem=58M63
343.17/339.13 decisions=6730252, wrong=3364332, backtracks=1634893, failedAssignments=2017468, nogoods=1557
343.17/339.13
370.27/366.24 num=104, depth=8..22, filters=111701503, revisions=(1190726458,useless=1077734896), wck=363.852, mem=78M17
370.27/366.24 decisions=7423722, wrong=3711060, backtracks=1811690, failedAssignments=2219229, nogoods=1588
370.27/366.24
401.58/397.54 num=105, depth=8..23, filters=123420865, revisions=(1316074332,useless=1191238821), wck=395.16, mem=101M600
401.58/397.54 decisions=8177403, wrong=4087894, backtracks=2003547, failedAssignments=2441167, nogoods=1602
401.58/397.54
434.00/429.99 num=106, depth=9..22, filters=135387856, revisions=(1445857272,useless=1308921114), wck=427.607, mem=34M334
434.00/429.99 decisions=8994658, wrong=4496514, backtracks=2205819, failedAssignments=2685298, nogoods=1619
434.00/429.99
469.23/465.13 num=107, depth=8..22, filters=148327430, revisions=(1592267674,useless=1442271229), wck=462.745, mem=61M229
469.23/465.13 decisions=9924329, wrong=4961343, backtracks=2448366, failedAssignments=2953843, nogoods=1644
469.23/465.13
507.84/503.79 num=108, depth=9..22, filters=163461354, revisions=(1752263419,useless=1586954494), wck=501.402, mem=89M918
507.84/503.79 decisions=10904829, wrong=5451586, backtracks=2689191, failedAssignments=3249242, nogoods=1654
507.84/503.79
549.96/545.80 num=109, depth=8..22, filters=178898863, revisions=(1926149597,useless=1745257435), wck=543.413, mem=32M439
549.96/545.80 decisions=12002688, wrong=6000510, backtracks=2965986, failedAssignments=3574181, nogoods=1690
549.96/545.80
597.18/593.04 num=110, depth=9..22, filters=197473884, revisions=(2122082192,useless=1922397061), wck=590.657, mem=66M109
597.18/593.04 decisions=13198417, wrong=6598367, backtracks=3260352, failedAssignments=3931614, nogoods=1729
597.18/593.04
645.70/641.50 num=111, depth=7..22, filters=214777272, revisions=(2324729326,useless=2107561529), wck=639.12, mem=105M95
645.70/641.50 decisions=14516309, wrong=7257307, backtracks=3583526, failedAssignments=4324790, nogoods=1750
645.70/641.50
702.14/697.99 num=112, depth=9..22, filters=236758620, revisions=(2558514789,useless=2319118516), wck=695.602, mem=58M580
702.14/697.99 decisions=15961130, wrong=7979711, backtracks=3941429, failedAssignments=4757284, nogoods=1781
702.14/697.99
766.66/762.41 num=113, depth=7..22, filters=261609556, revisions=(2823821739,useless=2559291936), wck=760.025, mem=105M860
766.66/762.41 decisions=17566416, wrong=8782347, backtracks=4340521, failedAssignments=5233028, nogoods=1797
766.66/762.41
834.31/830.06 num=114, depth=7..23, filters=286617893, revisions=(3102963733,useless=2813166163), wck=827.679, mem=68M521
834.31/830.06 decisions=19303827, wrong=9651046, backtracks=4765099, failedAssignments=5756346, nogoods=1817
834.31/830.06
911.03/906.73 num=115, depth=8..22, filters=315227602, revisions=(3420650262,useless=3101972872), wck=904.344, mem=40M608
911.03/906.73 decisions=21301131, wrong=10649691, backtracks=5295057, failedAssignments=6331996, nogoods=1840
911.03/906.73
992.27/987.99 num=116, depth=7..22, filters=344434036, revisions=(3761052163,useless=3412934304), wck=985.604, mem=103M847
992.27/987.99 decisions=23494759, wrong=11746500, backtracks=5873727, failedAssignments=6965211, nogoods=1858
992.27/987.99
1079.72/1075.39 num=117, depth=8..23, filters=376197577, revisions=(4123022074,useless=3742845880), wck=1073.007, mem=89M400
1079.72/1075.39 decisions=25899602, wrong=12948915, backtracks=6495380, failedAssignments=7661747, nogoods=1886
1079.72/1075.39
1180.17/1175.77 num=118, depth=8..23, filters=413609469, revisions=(4541109711,useless=4123181675), wck=1173.386, mem=81M860
1180.17/1175.77 decisions=28518763, wrong=14258489, backtracks=7175844, failedAssignments=8427937, nogoods=1908
1180.17/1175.77
1289.83/1285.38 num=119, depth=8..23, filters=453584206, revisions=(4997085202,useless=4538844688), wck=1282.998, mem=82M784
1289.83/1285.38 decisions=31430295, wrong=15714248, backtracks=7942791, failedAssignments=9270746, nogoods=1931
1289.83/1285.38
1410.18/1405.61 num=120, depth=7..22, filters=496958684, revisions=(5495977691,useless=4994010579), wck=1403.225, mem=96M636
1410.18/1405.61 decisions=34682375, wrong=17340282, backtracks=8805076, failedAssignments=10197836, nogoods=1949
1410.18/1405.61
1540.56/1535.96 num=121, depth=7..23, filters=545378853, revisions=(6033638624,useless=5482760735), wck=1533.572, mem=36M147
1540.56/1535.96 decisions=38169047, wrong=19083611, backtracks=9690127, failedAssignments=11217635, nogoods=1974
1540.56/1535.96
1687.34/1682.60 num=122, depth=8..23, filters=600416063, revisions=(6638660578,useless=6032106330), wck=1680.22, mem=67M510
1687.34/1682.60 decisions=41988659, wrong=20993411, backtracks=10639376, failedAssignments=12339414, nogoods=2016
1687.34/1682.60
1849.22/1844.49 num=123, depth=7..22, filters=659314469, revisions=(7315021408,useless=6649065969), wck=1842.107, mem=35M897
1849.22/1844.49 decisions=46266217, wrong=23132184, backtracks=11772515, failedAssignments=13573371, nogoods=2046
1849.22/1844.49
2024.19/2019.38 num=124, depth=7..23, filters=723430582, revisions=(8036221413,useless=7305538955), wck=2016.993, mem=94M376
2024.19/2019.38 decisions=50944888, wrong=25471513, backtracks=12973147, failedAssignments=14930724, nogoods=2076
2024.19/2019.38
2221.58/2216.64 num=125, depth=8..22, filters=799360394, revisions=(8853849348,useless=8046397129), wck=2214.261, mem=87M374
2221.58/2216.64 decisions=55933882, wrong=27966003, backtracks=14219998, failedAssignments=16423812, nogoods=2103
2221.58/2216.64
2435.98/2430.99 num=126, depth=7..22, filters=876597738, revisions=(9740499496,useless=8855154109), wck=2428.606, mem=26M503
2435.98/2430.99 decisions=61612391, wrong=30805252, backtracks=15682277, failedAssignments=18066209, nogoods=2132
2435.98/2430.99
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15306 MiB free)
memory of node 1: 16384 MiB (15283 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390637-1568383900/watcher-4390637-1568383900 -o /tmp/evaluation-result-4390637-1568383900/solver-4390637-1568383900 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568380473-26152 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390637-1568383900.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27008, runsolver pid=27005
[startup+0.100059 s]*
/proc/loadavg: 2.52 2.14 2.00 4/231 27023
/proc/meminfo: memFree=31308964/32770624 swapFree=66918568/67108860
[pid=27008] ppid=27005 vsize=10659884 memory=27956 CPUtime=0.13 cores=0,2,4,6
/proc/27008/stat : 27008 (java) S 27005 27008 26121 0 -1 1077944320 5488 0 0 0 13 0 0 0 20 0 15 0 414327884 10915721216 6989 33554432000 4194304 4196468 140723196404000 140723196386544 140121816768247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
/proc/27008/statm: 2664971 6989 2912 1 0 2627468 0
[pid=27008/tid=27010] ppid=27005 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/27008/task/27010/stat : 27010 (java) R 27005 27008 26121 0 -1 4202560 3204 0 0 0 9 0 0 0 20 0 15 0 414327885 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121820996688 140121816780182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27011] ppid=27005 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27011/stat : 27011 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121769389200 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27012] ppid=27005 vsize=10659884 memory=140603273582208 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27012/stat : 27012 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121768336400 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27013] ppid=27005 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27013/stat : 27013 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121767283600 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27014] ppid=27005 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27014/stat : 27014 (java) S 27005 27008 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121766230800 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27015] ppid=27005 vsize=10659884 memory=140603273582208 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27015/stat : 27015 (java) S 27005 27008 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327887 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121375955312 140121816779394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27016] ppid=27005 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27016/stat : 27016 (java) S 27005 27008 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327887 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121374901280 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27017] ppid=27005 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27017/stat : 27017 (java) S 27005 27008 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327887 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121373848432 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27018] ppid=27005 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27018/stat : 27018 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327890 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121372796752 140121816786843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27019] ppid=27005 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27019/stat : 27019 (java) S 27005 27008 26121 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 414327890 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121371745136 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27020] ppid=27005 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27020/stat : 27020 (java) S 27005 27008 26121 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 414327890 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121370692336 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27021] ppid=27005 vsize=10659884 memory=140603273582208 CPUtime=0.02 cores=0,2,4,6
/proc/27008/task/27021/stat : 27021 (java) R 27005 27008 26121 0 -1 4202560 413 0 0 0 2 0 0 0 20 0 15 0 414327890 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121369636216 140121800848734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27022] ppid=27005 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27022/stat : 27022 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327890 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121368586976 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27023] ppid=27005 vsize=10659884 memory=140603273582208 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27023/stat : 27023 (java) R 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327890 10915721216 6989 33554432000 4194304 4196468 140723196404000 140121367534256 140121816779394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27956 KiB
[startup+0.210942 s]*
/proc/loadavg: 2.52 2.14 2.00 3/231 27023
/proc/meminfo: memFree=31301180/32770624 swapFree=66918568/67108860
[pid=27008] ppid=27005 vsize=10659884 memory=35108 CPUtime=0.33 cores=0,2,4,6
/proc/27008/stat : 27008 (java) S 27005 27008 26121 0 -1 1077944320 6922 0 0 0 32 1 0 0 20 0 15 0 414327884 10915721216 8777 33554432000 4194304 4196468 140723196404000 140723196386544 140121816768247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
/proc/27008/statm: 2664971 8777 2989 1 0 2627468 0
[pid=27008/tid=27010] ppid=27005 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27010/stat : 27010 (java) R 27005 27008 26121 0 -1 4202560 3855 0 0 0 19 0 0 0 20 0 15 0 414327885 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121820994608 140121816790173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27011] ppid=27005 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27011/stat : 27011 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121769389200 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27012] ppid=27005 vsize=10659884 memory=288370979425293952 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27012/stat : 27012 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121768336400 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27013] ppid=27005 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27013/stat : 27013 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121767283600 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27014] ppid=27005 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27014/stat : 27014 (java) S 27005 27008 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121766230800 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27015] ppid=27005 vsize=10659884 memory=140603273582208 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27015/stat : 27015 (java) S 27005 27008 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327887 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121375955312 140121816779394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27016] ppid=27005 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27016/stat : 27016 (java) S 27005 27008 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327887 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121374901280 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27017] ppid=27005 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27017/stat : 27017 (java) S 27005 27008 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327887 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121373848432 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27018] ppid=27005 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27018/stat : 27018 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327890 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121372796752 140121816786843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27019] ppid=27005 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27008/task/27019/stat : 27019 (java) S 27005 27008 26121 0 -1 1077944384 710 0 0 0 3 0 0 0 20 0 15 0 414327890 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121371745136 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27020] ppid=27005 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27008/task/27020/stat : 27020 (java) S 27005 27008 26121 0 -1 1077944384 291 0 0 0 2 0 0 0 20 0 15 0 414327890 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121370692336 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27021] ppid=27005 vsize=10659884 memory=140603273582208 CPUtime=0.05 cores=0,2,4,6
/proc/27008/task/27021/stat : 27021 (java) S 27005 27008 26121 0 -1 1077944384 708 0 0 0 5 0 0 0 20 0 15 0 414327890 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121369639536 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27022] ppid=27005 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27022/stat : 27022 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327890 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121368586976 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27023] ppid=27005 vsize=10659884 memory=140603273582208 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27023/stat : 27023 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327890 10915721216 8777 33554432000 4194304 4196468 140723196404000 140121367534256 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35108 KiB
[startup+0.310324 s]*
/proc/loadavg: 2.52 2.14 2.00 5/231 27023
/proc/meminfo: memFree=31293844/32770624 swapFree=66918568/67108860
[pid=27008] ppid=27005 vsize=10659884 memory=40492 CPUtime=0.47 cores=0,2,4,6
/proc/27008/stat : 27008 (java) S 27005 27008 26121 0 -1 1077944320 9455 0 0 0 45 2 0 0 20 0 15 0 414327884 10915721216 10123 33554432000 4194304 4196468 140723196404000 140723196386544 140121816768247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
/proc/27008/statm: 2664971 10123 3002 1 0 2627468 0
[pid=27008/tid=27010] ppid=27005 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/27008/task/27010/stat : 27010 (java) R 27005 27008 26121 0 -1 4202560 6320 0 0 0 28 2 0 0 20 0 15 0 414327885 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121820989136 140121816780182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27011] ppid=27005 vsize=10659884 memory=2810766 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27011/stat : 27011 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121769389200 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27012] ppid=27005 vsize=10659884 memory=288370979425293952 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27012/stat : 27012 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121768336400 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27013] ppid=27005 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27013/stat : 27013 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121767283600 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27014] ppid=27005 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27014/stat : 27014 (java) S 27005 27008 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327885 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121766230800 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27015] ppid=27005 vsize=10659884 memory=140603273582208 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27015/stat : 27015 (java) S 27005 27008 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327887 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121375955312 140121816779394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27016] ppid=27005 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27016/stat : 27016 (java) S 27005 27008 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327887 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121374901280 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27017] ppid=27005 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27017/stat : 27017 (java) S 27005 27008 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327887 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121373848432 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27018] ppid=27005 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27018/stat : 27018 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327890 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121372796752 140121816786843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27019] ppid=27005 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27008/task/27019/stat : 27019 (java) R 27005 27008 26121 0 -1 4202560 720 0 0 0 4 0 0 0 20 0 15 0 414327890 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121371745136 140121816780182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27020] ppid=27005 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27008/task/27020/stat : 27020 (java) R 27005 27008 26121 0 -1 1077944384 326 0 0 0 3 0 0 0 20 0 15 0 414327890 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121370692336 140121816779394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27021] ppid=27005 vsize=10659884 memory=140603273582208 CPUtime=0.08 cores=0,2,4,6
/proc/27008/task/27021/stat : 27021 (java) R 27005 27008 26121 0 -1 4202560 731 0 0 0 8 0 0 0 20 0 15 0 414327890 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121369639536 140121816789594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27022] ppid=27005 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27022/stat : 27022 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327890 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121368586976 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27023] ppid=27005 vsize=10659884 memory=140603273582208 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27023/stat : 27023 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327890 10915721216 10123 33554432000 4194304 4196468 140723196404000 140121367534256 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40492 KiB
[startup+0.70106 s]
/proc/loadavg: 2.52 2.14 2.00 3/231 27023
/proc/meminfo: memFree=31285320/32770624 swapFree=66918568/67108860
[pid=27008] ppid=27005 vsize=10661932 memory=63012 CPUtime=1.12 cores=0,2,4,6
/proc/27008/stat : 27008 (java) S 27005 27008 26121 0 -1 1077944320 12847 0 0 0 107 5 0 0 20 0 15 0 414327884 10917818368 15753 33554432000 4194304 4196468 140723196404000 140723196386544 140121816768247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
/proc/27008/statm: 2665483 15753 3074 1 0 2627980 0
[pid=27008/tid=27010] ppid=27005 vsize=10661932 memory=4481 CPUtime=0.67 cores=0,2,4,6
/proc/27008/task/27010/stat : 27010 (java) R 27005 27008 26121 0 -1 4202560 8876 0 0 0 64 3 0 0 20 0 15 0 414327885 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121820994224 140121796590848 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27011] ppid=27005 vsize=10661932 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27011/stat : 27011 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121769389200 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27012] ppid=27005 vsize=10661932 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27012/stat : 27012 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121768336400 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27013] ppid=27005 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27013/stat : 27013 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121767283600 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27014] ppid=27005 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27014/stat : 27014 (java) S 27005 27008 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327885 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121766230800 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27015] ppid=27005 vsize=10661932 memory=256631677943014 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27015/stat : 27015 (java) S 27005 27008 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327887 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121375955312 140121816779394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27016] ppid=27005 vsize=10661932 memory=3545796572287874281 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27016/stat : 27016 (java) S 27005 27008 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327887 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121374901280 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27017] ppid=27005 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27017/stat : 27017 (java) S 27005 27008 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327887 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121373848432 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27018] ppid=27005 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27018/stat : 27018 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327890 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121372796752 140121816786843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27019] ppid=27005 vsize=10661932 memory=281206272846752 CPUtime=0.12 cores=0,2,4,6
/proc/27008/task/27019/stat : 27019 (java) R 27005 27008 26121 0 -1 4202560 988 0 0 0 12 0 0 0 20 0 15 0 414327890 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121371745136 140121816782134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27020] ppid=27005 vsize=10661932 memory=19153 CPUtime=0.1 cores=0,2,4,6
/proc/27008/task/27020/stat : 27020 (java) S 27005 27008 26121 0 -1 1077944384 628 0 0 0 10 0 0 0 20 0 15 0 414327890 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121370692336 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27021] ppid=27005 vsize=10661932 memory=281206272819440 CPUtime=0.18 cores=0,2,4,6
/proc/27008/task/27021/stat : 27021 (java) S 27005 27008 26121 0 -1 1077944384 997 0 0 0 18 0 0 0 20 0 15 0 414327890 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121369639536 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27022] ppid=27005 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27022/stat : 27022 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327890 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121368586976 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27023] ppid=27005 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27023/stat : 27023 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327890 10917818368 15753 33554432000 4194304 4196468 140723196404000 140121367534256 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63012 KiB
[startup+1.50072 s]
/proc/loadavg: 2.52 2.14 2.00 3/231 27023
/proc/meminfo: memFree=31268924/32770624 swapFree=66918568/67108860
[pid=27008] ppid=27005 vsize=10663980 memory=75264 CPUtime=2.01 cores=0,2,4,6
/proc/27008/stat : 27008 (java) S 27005 27008 26121 0 -1 1077944320 18392 0 0 0 196 5 0 0 20 0 15 0 414327884 10919915520 18816 33554432000 4194304 4196468 140723196404000 140723196386544 140121816768247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
/proc/27008/statm: 2665995 18816 3095 1 0 2628492 0
[pid=27008/tid=27010] ppid=27005 vsize=10663980 memory=281206273696416 CPUtime=1.48 cores=0,2,4,6
/proc/27008/task/27010/stat : 27010 (java) R 27005 27008 26121 0 -1 4202560 13111 0 0 0 144 4 0 0 20 0 15 0 414327885 10919915520 18816 33554432000 4194304 4196468 140723196404000 140121820994224 140121797045072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27011] ppid=27005 vsize=10663980 memory=281206272869296 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27011/stat : 27011 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10919915520 18816 33554432000 4194304 4196468 140723196404000 140121769389200 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27012] ppid=27005 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27012/stat : 27012 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10919915520 18816 33554432000 4194304 4196468 140723196404000 140121768336400 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27013] ppid=27005 vsize=10663980 memory=2811011 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27013/stat : 27013 (java) S 27005 27008 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327885 10919915520 18816 33554432000 4194304 4196468 140723196404000 140121767283600 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27014] ppid=27005 vsize=10663980 memory=2812297 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27014/stat : 27014 (java) S 27005 27008 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327885 10919915520 18816 33554432000 4194304 4196468 140723196404000 140121766230800 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27015] ppid=27005 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27015/stat : 27015 (java) S 27005 27008 26121 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 414327887 10919915520 18816 33554432000 4194304 4196468 140723196404000 140121375955312 140121816779394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
################
# More data... #
################
/proc/27008/task/27014/stat : 27014 (java) S 27005 27008 26121 0 -1 1077944384 3855 0 0 0 17 2 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121766230800 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27015] ppid=27005 vsize=10748324 memory=215388 CPUtime=0.1 cores=0,2,4,6
/proc/27008/task/27015/stat : 27015 (java) S 27005 27008 26121 0 -1 1077944384 5038 0 0 0 7 3 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121375955312 140121816779394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27016] ppid=27005 vsize=10748324 memory=215400 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27016/stat : 27016 (java) S 27005 27008 26121 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121374901344 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27017] ppid=27005 vsize=10748324 memory=215400 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27017/stat : 27017 (java) S 27005 27008 26121 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121373848448 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27018] ppid=27005 vsize=10748324 memory=215388 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27018/stat : 27018 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121372796752 140121816786843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27019] ppid=27005 vsize=10748324 memory=215400 CPUtime=1.4 cores=0,2,4,6
/proc/27008/task/27019/stat : 27019 (java) S 27005 27008 26121 0 -1 1077944384 9491 0 0 0 138 2 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121371745136 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27020] ppid=27005 vsize=10748324 memory=215400 CPUtime=1.4 cores=0,2,4,6
/proc/27008/task/27020/stat : 27020 (java) S 27005 27008 26121 0 -1 1077944384 10687 0 0 0 139 1 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121370692336 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27021] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.73 cores=0,2,4,6
/proc/27008/task/27021/stat : 27021 (java) S 27005 27008 26121 0 -1 1077944384 8069 0 0 0 71 2 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121369639536 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27022] ppid=27005 vsize=10748324 memory=215400 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27022/stat : 27022 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121368586976 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27023] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.69 cores=0,2,4,6
/proc/27008/task/27023/stat : 27023 (java) S 27005 27008 26121 0 -1 1077944384 751 0 0 0 32 37 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121367534256 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27024] ppid=27005 vsize=10748324 memory=4104 CPUtime=2440.34 cores=0,2,4,6
/proc/27008/task/27024/stat : 27024 (java) R 27005 27008 26121 0 -1 4202560 14200 0 0 0 244031 3 0 0 20 0 16 0 414328074 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121283337552 140121453322573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
Current children cumulated CPU time: 2447.4 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 215400 KiB
[startup+2502.3 s]
/proc/loadavg: 1.98 1.84 1.83 3/231 27332
/proc/meminfo: memFree=29760300/32770624 swapFree=66918624/67108860
[pid=27008] ppid=27005 vsize=10748324 memory=215400 CPUtime=2507.43 cores=0,2,4,6
/proc/27008/stat : 27008 (java) S 27005 27008 26121 0 -1 1077944320 79664 0 0 0 250695 48 0 0 20 0 16 0 414327884 11006283776 53850 33554432000 4194304 4196468 140723196404000 140723196386544 140121816768247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
/proc/27008/statm: 2687081 53850 3371 1 0 2647217 0
[pid=27008/tid=27010] ppid=27005 vsize=10748324 memory=215400 CPUtime=1.87 cores=0,2,4,6
/proc/27008/task/27010/stat : 27010 (java) S 27005 27008 26121 0 -1 1077944384 15377 0 0 0 182 5 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121821011120 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27011] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27011/stat : 27011 (java) S 27005 27008 26121 0 -1 1077944384 2245 0 0 0 18 1 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121769389200 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27012] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27012/stat : 27012 (java) S 27005 27008 26121 0 -1 1077944384 5612 0 0 0 17 2 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121768336400 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27013] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27013/stat : 27013 (java) S 27005 27008 26121 0 -1 1077944384 2893 0 0 0 17 2 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121767283600 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27014] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27014/stat : 27014 (java) S 27005 27008 26121 0 -1 1077944384 3855 0 0 0 17 2 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121766230800 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27015] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.1 cores=0,2,4,6
/proc/27008/task/27015/stat : 27015 (java) S 27005 27008 26121 0 -1 1077944384 5038 0 0 0 7 3 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121375955312 140121816779394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27016] ppid=27005 vsize=10748324 memory=215400 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27016/stat : 27016 (java) S 27005 27008 26121 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121374901344 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27017] ppid=27005 vsize=10748324 memory=215400 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27017/stat : 27017 (java) S 27005 27008 26121 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121373848448 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27018] ppid=27005 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27018/stat : 27018 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121372796752 140121816786843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27019] ppid=27005 vsize=10748324 memory=215400 CPUtime=1.4 cores=0,2,4,6
/proc/27008/task/27019/stat : 27019 (java) S 27005 27008 26121 0 -1 1077944384 9491 0 0 0 138 2 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121371745136 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27020] ppid=27005 vsize=10748324 memory=215400 CPUtime=1.4 cores=0,2,4,6
/proc/27008/task/27020/stat : 27020 (java) S 27005 27008 26121 0 -1 1077944384 10687 0 0 0 139 1 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121370692336 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27021] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.73 cores=0,2,4,6
/proc/27008/task/27021/stat : 27021 (java) S 27005 27008 26121 0 -1 1077944384 8069 0 0 0 71 2 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121369639536 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27022] ppid=27005 vsize=10748324 memory=215400 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27022/stat : 27022 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121368586976 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27023] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.71 cores=0,2,4,6
/proc/27008/task/27023/stat : 27023 (java) S 27005 27008 26121 0 -1 1077944384 755 0 0 0 33 38 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121367534256 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27024] ppid=27005 vsize=10748324 memory=2012 CPUtime=2500.34 cores=0,2,4,6
/proc/27008/task/27024/stat : 27024 (java) R 27005 27008 26121 0 -1 4202560 14210 0 0 0 250031 3 0 0 20 0 16 0 414328074 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121283337552 140121452636575 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
Current children cumulated CPU time: 2507.43 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 215400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.9 s]
/proc/loadavg: 1.98 1.84 1.83 3/230 27332
/proc/meminfo: memFree=29760068/32770624 swapFree=66918624/67108860
[pid=27008] ppid=27005 vsize=10748324 memory=215400 CPUtime=2520.03 cores=0,2,4,6
/proc/27008/stat : 27008 (java) S 27005 27008 26121 0 -1 1077944320 79666 0 0 0 251955 48 0 0 20 0 16 0 414327884 11006283776 53850 33554432000 4194304 4196468 140723196404000 140723196386544 140121816768247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
/proc/27008/statm: 2687081 53850 3371 1 0 2647217 0
[pid=27008/tid=27010] ppid=27005 vsize=10748324 memory=215400 CPUtime=1.87 cores=0,2,4,6
/proc/27008/task/27010/stat : 27010 (java) S 27005 27008 26121 0 -1 1077944384 15377 0 0 0 182 5 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121821011120 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27011] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27011/stat : 27011 (java) S 27005 27008 26121 0 -1 1077944384 2245 0 0 0 18 1 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121769389200 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27012] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27012/stat : 27012 (java) S 27005 27008 26121 0 -1 1077944384 5612 0 0 0 17 2 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121768336400 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27013] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27013/stat : 27013 (java) S 27005 27008 26121 0 -1 1077944384 2893 0 0 0 17 2 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121767283600 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27014] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27014/stat : 27014 (java) S 27005 27008 26121 0 -1 1077944384 3855 0 0 0 17 2 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121766230800 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27015] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.1 cores=0,2,4,6
/proc/27008/task/27015/stat : 27015 (java) S 27005 27008 26121 0 -1 1077944384 5038 0 0 0 7 3 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121375955312 140121816779394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27016] ppid=27005 vsize=10748324 memory=916 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27016/stat : 27016 (java) S 27005 27008 26121 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121374901344 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27017] ppid=27005 vsize=10748324 memory=215400 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27017/stat : 27017 (java) S 27005 27008 26121 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121373848448 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27018] ppid=27005 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27018/stat : 27018 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121372796752 140121816786843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27019] ppid=27005 vsize=10748324 memory=215400 CPUtime=1.4 cores=0,2,4,6
/proc/27008/task/27019/stat : 27019 (java) S 27005 27008 26121 0 -1 1077944384 9491 0 0 0 138 2 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121371745136 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27020] ppid=27005 vsize=10748324 memory=215400 CPUtime=1.4 cores=0,2,4,6
/proc/27008/task/27020/stat : 27020 (java) S 27005 27008 26121 0 -1 1077944384 10687 0 0 0 139 1 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121370692336 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27021] ppid=27005 vsize=10748324 memory=1580 CPUtime=0.73 cores=0,2,4,6
/proc/27008/task/27021/stat : 27021 (java) S 27005 27008 26121 0 -1 1077944384 8069 0 0 0 71 2 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121369639536 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27022] ppid=27005 vsize=10748324 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27022/stat : 27022 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121368586976 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27023] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.72 cores=0,2,4,6
/proc/27008/task/27023/stat : 27023 (java) S 27005 27008 26121 0 -1 1077944384 757 0 0 0 34 38 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121367534256 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27024] ppid=27005 vsize=10748324 memory=1704 CPUtime=2512.94 cores=0,2,4,6
/proc/27008/task/27024/stat : 27024 (java) R 27005 27008 26121 0 -1 4202560 14210 0 0 0 251291 3 0 0 20 0 16 0 414328074 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121283337552 140121452636681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 215400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.91 s]
# the end of solver process 27008 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.57 s, system=0.488141 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.9 s]
/proc/loadavg: 1.98 1.84 1.83 3/230 27332
/proc/meminfo: memFree=29760068/32770624 swapFree=66918624/67108860
[pid=27008] ppid=27005 vsize=10748324 memory=215400 CPUtime=2520.03 cores=0,2,4,6
/proc/27008/stat : 27008 (java) S 27005 27008 26121 0 -1 1077944320 79666 0 0 0 251955 48 0 0 20 0 16 0 414327884 11006283776 53850 33554432000 4194304 4196468 140723196404000 140723196386544 140121816768247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
/proc/27008/statm: 2687081 53850 3371 1 0 2647217 0
[pid=27008/tid=27010] ppid=27005 vsize=10748324 memory=215400 CPUtime=1.87 cores=0,2,4,6
/proc/27008/task/27010/stat : 27010 (java) S 27005 27008 26121 0 -1 1077944384 15377 0 0 0 182 5 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121821011120 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27011] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27011/stat : 27011 (java) S 27005 27008 26121 0 -1 1077944384 2245 0 0 0 18 1 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121769389200 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27012] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27012/stat : 27012 (java) S 27005 27008 26121 0 -1 1077944384 5612 0 0 0 17 2 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121768336400 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27013] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27013/stat : 27013 (java) S 27005 27008 26121 0 -1 1077944384 2893 0 0 0 17 2 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121767283600 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27014] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.19 cores=0,2,4,6
/proc/27008/task/27014/stat : 27014 (java) S 27005 27008 26121 0 -1 1077944384 3855 0 0 0 17 2 0 0 20 0 16 0 414327885 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121766230800 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27015] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.1 cores=0,2,4,6
/proc/27008/task/27015/stat : 27015 (java) S 27005 27008 26121 0 -1 1077944384 5038 0 0 0 7 3 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121375955312 140121816779394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27016] ppid=27005 vsize=10748324 memory=916 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27016/stat : 27016 (java) S 27005 27008 26121 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121374901344 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27017] ppid=27005 vsize=10748324 memory=215400 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27017/stat : 27017 (java) S 27005 27008 26121 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414327887 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121373848448 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27018] ppid=27005 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27018/stat : 27018 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121372796752 140121816786843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27019] ppid=27005 vsize=10748324 memory=215400 CPUtime=1.4 cores=0,2,4,6
/proc/27008/task/27019/stat : 27019 (java) S 27005 27008 26121 0 -1 1077944384 9491 0 0 0 138 2 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121371745136 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27020] ppid=27005 vsize=10748324 memory=215400 CPUtime=1.4 cores=0,2,4,6
/proc/27008/task/27020/stat : 27020 (java) S 27005 27008 26121 0 -1 1077944384 10687 0 0 0 139 1 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121370692336 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27021] ppid=27005 vsize=10748324 memory=1580 CPUtime=0.73 cores=0,2,4,6
/proc/27008/task/27021/stat : 27021 (java) S 27005 27008 26121 0 -1 1077944384 8069 0 0 0 71 2 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121369639536 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27022] ppid=27005 vsize=10748324 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/27008/task/27022/stat : 27022 (java) S 27005 27008 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121368586976 140121816778453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27023] ppid=27005 vsize=10748324 memory=215400 CPUtime=0.72 cores=0,2,4,6
/proc/27008/task/27023/stat : 27023 (java) S 27005 27008 26121 0 -1 1077944384 757 0 0 0 34 38 0 0 20 0 16 0 414327890 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121367534256 140121816779394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
[pid=27008/tid=27024] ppid=27005 vsize=10748324 memory=1704 CPUtime=2512.94 cores=0,2,4,6
/proc/27008/task/27024/stat : 27024 (java) R 27005 27008 26121 0 -1 4202560 14210 0 0 0 251291 3 0 0 20 0 16 0 414328074 11006283776 53850 33554432000 4194304 4196468 140723196404000 140121283337552 140121452636681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6856704 140723196412939 140723196413042 140723196413042 140723196415951 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 215400 KiB
Child status: 143
Real time (s): 2514.91
CPU time (s): 2520.05
CPU user time (s): 2519.57
CPU system time (s): 0.488141
CPU usage (%): 100.205
Max. virtual memory (cumulated for all children) (KiB): 10750300
Max. memory (cumulated for all children) (KiB): 286416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.488141
maximum resident set size= 287472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79937
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58325
involuntary context switches= 2364
# summary of solver processes directly reported to runsolver:
# pid: 27008
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.57
# total CPU system time (s): 0.488141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.934 second user time and 19.2852 second system time
The end