2.52/2.80
2.52/2.80 AbsCon 2
2.58/2.81
3.21/3.09 Instance
3.21/3.09 name=instance-4391039-1568380515, framework=COP, bounds=-infty..+infty
3.21/3.09
3.21/3.09 Loading variables...
3.52/3.19 Loading constraints...
5.01/3.67
5.01/3.67 Domains
5.01/3.67 nTypes=17, nValues=499035, sizes=[13#30,14#90,15#330,1059#465]
5.01/3.67 Variables
5.01/3.67 count=915, degrees=[2#240,3#450,29#225]
5.01/3.67 Objectives
5.01/3.67 way=min, type=ObjMaximumLE
5.01/3.67 Constraints
5.01/3.67 count=2281, nSpecific=1816, arities=[1#15,2#1800,3#225,15#16,17#225]
5.01/3.67 distribution=[AllDifferent#15,CtrExtensionSmart-TableSmart#1575,CtrExtensionV-Bits#225,CtrIntension#240,ElementVariable#225,ObjMaximumLE#1]
5.01/3.67 tables=[2#1575], nTotalTuples=3150
5.01/3.67 nExtStructures=(1590,shared:210), nIntStructures=(45,shared:195), nCftStructures=(15,shared:210,unbuilt:2056)
5.01/3.67 wck=0.904, cpu=2.662, mem=140M200
5.61/3.82 Solver SolverBacktrack being built...
5.61/3.82
5.61/3.86
5.61/3.86 Solver
5.61/3.86 guaranteedGAC=false
5.61/3.86 wck=1.095, cpu=2.802, mem=160M67
5.84/3.97
5.84/3.97 Preprocessing
5.84/3.97 filters=15, revisions=(15,useless=0), ccks=15885, nACremovedValues=11133, nTotalRemovedValues=11133, inconcistency=false
5.84/3.97 wck=0.11, cpu=2.914, mem=167M992
5.84/3.97
7.71/4.64 num=0, depth=92..92, filters=3056, revisions=(1246,useless=157), ccks=314072, wck=0.776, mem=187M707
7.71/4.64 decisions=112, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
7.71/4.64 nFilterCalls=11854, avgTableProportion=0.4651172599966256, avgTableSize=0.9302345199932512
7.71/4.64
8.12/4.87 num=1, depth=0..33, filters=4390, revisions=(1575,useless=241), ccks=430232, wck=1.007, mem=287M523
8.12/4.87 decisions=165, wrong=21, backtracks=2, failedAssignments=21, nogoods=13
8.12/4.87 nFilterCalls=15212, avgTableProportion=0.4643044964501709, avgTableSize=0.9286089929003418
8.12/4.87
8.24/4.96 num=2, depth=0..4, filters=4513, revisions=(1659,useless=244), ccks=1179516, wck=1.099, mem=292M514
8.24/4.96 decisions=193, wrong=33, backtracks=2, failedAssignments=33, nogoods=20
8.24/4.96 nFilterCalls=15548, avgTableProportion=0.4650758940056599, avgTableSize=0.9301517880113198
8.24/4.96
8.35/5.10 num=3, depth=0..5, filters=4670, revisions=(1773,useless=257), ccks=2530215, wck=1.236, mem=302M495
8.35/5.10 decisions=224, wrong=46, backtracks=2, failedAssignments=46, nogoods=29
8.35/5.10 nFilterCalls=16066, avgTableProportion=0.46620191709199554, avgTableSize=0.9324038341839911
8.35/5.10
8.78/5.45 num=4, depth=0..35, filters=5843, revisions=(2143,useless=328), ccks=4468394, wck=1.584, mem=397M320
8.78/5.45 decisions=283, wrong=60, backtracks=6, failedAssignments=60, nogoods=31
8.78/5.45 nFilterCalls=19458, avgTableProportion=0.4658238256758146, avgTableSize=0.9316476513516292
8.78/5.45
9.05/5.62 num=5, depth=0..11, filters=6049, revisions=(2289,useless=346), ccks=5906774, wck=1.758, mem=172M646
9.05/5.62 decisions=326, wrong=76, backtracks=6, failedAssignments=76, nogoods=42
9.05/5.62 nFilterCalls=20130, avgTableProportion=0.46669150521609537, avgTableSize=0.9333830104321907
9.05/5.62
9.23/5.70 num=6, depth=0..3, filters=6146, revisions=(2358,useless=348), ccks=6679226, wck=1.84, mem=177M612
9.23/5.70 decisions=363, wrong=93, backtracks=6, failedAssignments=93, nogoods=49
9.23/5.70 nFilterCalls=20340, avgTableProportion=0.4670353982300885, avgTableSize=0.934070796460177
9.23/5.70
9.54/6.08 num=7, depth=30..36, filters=7253, revisions=(2743,useless=389), ccks=9311983, wck=2.22, mem=262M41
9.54/6.08 decisions=431, wrong=112, backtracks=12, failedAssignments=112, nogoods=51
9.54/6.08 nFilterCalls=23886, avgTableProportion=0.46721929163526754, avgTableSize=0.9344385832705351
9.54/6.08
9.64/6.12 num=8, depth=0..3, filters=7365, revisions=(2839,useless=391), ccks=9567375, wck=2.255, mem=267M7
9.64/6.12 decisions=476, wrong=133, backtracks=12, failedAssignments=133, nogoods=62
9.64/6.12 nFilterCalls=24033, avgTableProportion=0.4674197977780552, avgTableSize=0.9348395955561104
9.64/6.12
10.04/6.52 num=9, depth=24..38, filters=8359, revisions=(3106,useless=420), ccks=12356488, wck=2.661, mem=351M436
10.04/6.52 decisions=559, wrong=156, backtracks=13, failedAssignments=156, nogoods=75
10.04/6.52 nFilterCalls=27679, avgTableProportion=0.46799017305538493, avgTableSize=0.9359803461107699
10.04/6.52
10.57/6.90 num=10, depth=0..38, filters=9452, revisions=(3408,useless=470), ccks=14696462, wck=3.042, mem=189M511
10.57/6.90 decisions=645, wrong=181, backtracks=15, failedAssignments=181, nogoods=77
10.57/6.90 nFilterCalls=31295, avgTableProportion=0.46838153059594184, avgTableSize=0.9367630611918837
10.57/6.90
10.81/7.18 num=11, depth=0..39, filters=10509, revisions=(3650,useless=482), ccks=15955671, wck=3.316, mem=275M79
10.81/7.18 decisions=739, wrong=209, backtracks=16, failedAssignments=209, nogoods=94
10.81/7.18 nFilterCalls=34925, avgTableProportion=0.46871868289191126, avgTableSize=0.9374373657838225
10.81/7.18
11.21/7.50 num=12, depth=39..41, filters=11631, revisions=(3956,useless=505), ccks=17918256, wck=3.637, mem=357M652
11.21/7.50 decisions=840, wrong=240, backtracks=18, failedAssignments=240, nogoods=112
11.21/7.50 nFilterCalls=38505, avgTableProportion=0.4691468640436307, avgTableSize=0.9382937280872614
11.21/7.50
11.21/7.52 num=13, depth=0..4, filters=11804, revisions=(4131,useless=512), ccks=18048640, wck=3.658, mem=357M652
11.21/7.52 decisions=910, wrong=274, backtracks=20, failedAssignments=274, nogoods=119
11.21/7.52 nFilterCalls=38533, avgTableProportion=0.4691692834713103, avgTableSize=0.9383385669426206
11.21/7.52
11.62/7.96 num=14, depth=39..40, filters=13094, revisions=(4429,useless=555), ccks=21270520, wck=4.094, mem=440M224
11.62/7.96 decisions=1024, wrong=311, backtracks=20, failedAssignments=311, nogoods=156
11.62/7.96 nFilterCalls=42937, avgTableProportion=0.46946689335538117, avgTableSize=0.9389337867107623
11.62/7.96
11.88/8.15 num=15, depth=0..10, filters=13393, revisions=(4706,useless=563), ccks=23370929, wck=4.287, mem=440M224
11.88/8.15 decisions=1112, wrong=352, backtracks=24, failedAssignments=352, nogoods=157
11.88/8.15 nFilterCalls=43196, avgTableProportion=0.46964996758959165, avgTableSize=0.9392999351791833
11.88/8.15
12.28/8.55 num=16, depth=38..38, filters=14947, revisions=(4982,useless=580), ccks=26242704, wck=4.688, mem=513M621
12.28/8.55 decisions=1240, wrong=397, backtracks=24, failedAssignments=397, nogoods=202
12.28/8.55 nFilterCalls=47834, avgTableProportion=0.47026173851235525, avgTableSize=0.9405234770247105
12.28/8.55
12.82/9.05 num=17, depth=40..42, filters=15878, revisions=(5327,useless=600), ccks=30323572, wck=5.192, mem=587M19
12.82/9.05 decisions=1380, wrong=447, backtracks=26, failedAssignments=447, nogoods=249
12.82/9.05 nFilterCalls=51588, avgTableProportion=0.47104946886872917, avgTableSize=0.9420989377374583
12.82/9.05
13.12/9.40 num=18, depth=0..25, filters=16537, revisions=(5753,useless=688), ccks=33448725, wck=5.534, mem=613M662
13.12/9.40 decisions=1515, wrong=502, backtracks=26, failedAssignments=502, nogoods=302
13.12/9.40 nFilterCalls=54280, avgTableProportion=0.4717114959469418, avgTableSize=0.9434229918938836
13.12/9.40
13.37/9.59 num=19, depth=0..8, filters=16916, revisions=(6066,useless=698), ccks=35315246, wck=5.732, mem=161M636
13.37/9.59 decisions=1640, wrong=563, backtracks=31, failedAssignments=563, nogoods=311
13.37/9.59 nFilterCalls=54826, avgTableProportion=0.4719932148980411, avgTableSize=0.9439864297960822
13.37/9.59
13.77/9.95 num=20, depth=17..17, filters=17280, revisions=(6445,useless=767), ccks=39193973, wck=6.088, mem=170M805
13.77/9.95 decisions=1791, wrong=630, backtracks=31, failedAssignments=630, nogoods=378
13.77/9.95 nFilterCalls=55372, avgTableProportion=0.4722693780249946, avgTableSize=0.9445387560499892
13.77/9.95
14.17/10.31 num=21, depth=0..20, filters=17757, revisions=(6876,useless=845), ccks=42933284, wck=6.45, mem=189M142
14.17/10.31 decisions=1959, wrong=704, backtracks=31, failedAssignments=704, nogoods=448
14.17/10.31 nFilterCalls=56464, avgTableProportion=0.4728056814961746, avgTableSize=0.9456113629923492
14.17/10.31
14.48/10.66 num=22, depth=0..11, filters=18189, revisions=(7288,useless=856), ccks=46823565, wck=6.796, mem=198M310
14.48/10.66 decisions=2124, wrong=785, backtracks=39, failedAssignments=785, nogoods=457
14.48/10.66 nFilterCalls=56758, avgTableProportion=0.4729465449804433, avgTableSize=0.9458930899608866
14.48/10.66
15.08/11.25 num=23, depth=26..26, filters=20155, revisions=(7569,useless=870), ccks=52948548, wck=7.393, mem=227M763
15.08/11.25 decisions=2328, wrong=874, backtracks=39, failedAssignments=874, nogoods=546
15.08/11.25 nFilterCalls=61515, avgTableProportion=0.47503048037064133, avgTableSize=0.9500609607412827
15.08/11.25
16.08/12.24 num=24, depth=5..41, filters=21498, revisions=(8299,useless=914), ccks=62784934, wck=8.38, mem=291M943
16.08/12.24 decisions=2563, wrong=972, backtracks=50, failedAssignments=972, nogoods=573
16.08/12.24 nFilterCalls=66029, avgTableProportion=0.4759575338109013, avgTableSize=0.9519150676218026
16.08/12.24
16.41/12.58 num=25, depth=0..4, filters=22098, revisions=(8869,useless=939), ccks=66420585, wck=8.72, mem=310M280
16.41/12.58 decisions=2781, wrong=1080, backtracks=59, failedAssignments=1080, nogoods=580
16.41/12.58 nFilterCalls=66449, avgTableProportion=0.4761094975093681, avgTableSize=0.9522189950187362
16.41/12.58
17.21/13.38 num=26, depth=39..41, filters=23121, revisions=(9312,useless=954), ccks=74106233, wck=9.517, mem=374M459
17.21/13.38 decisions=3058, wrong=1199, backtracks=61, failedAssignments=1199, nogoods=696
17.21/13.38 nFilterCalls=70662, avgTableProportion=0.4770598058362345, avgTableSize=0.954119611672469
17.21/13.38
18.41/14.59 num=27, depth=0..27, filters=24735, revisions=(10124,useless=998), ccks=87501991, wck=10.725, mem=401M965
18.41/14.59 decisions=3347, wrong=1330, backtracks=70, failedAssignments=1330, nogoods=728
18.41/14.59 nFilterCalls=74322, avgTableProportion=0.47815586232878554, avgTableSize=0.9563117246575711
18.41/14.59
19.82/15.91 num=28, depth=6..43, filters=26181, revisions=(10894,useless=1045), ccks=101149420, wck=12.045, mem=475M313
19.82/15.91 decisions=3675, wrong=1474, backtracks=82, failedAssignments=1474, nogoods=814
19.82/15.91 nFilterCalls=79307, avgTableProportion=0.4788228025268892, avgTableSize=0.9576456050537784
19.82/15.91
20.32/16.49 num=29, depth=0..13, filters=26968, revisions=(11643,useless=1069), ccks=107569569, wck=12.629, mem=484M482
20.32/16.49 decisions=3993, wrong=1632, backtracks=93, failedAssignments=1632, nogoods=816
20.32/16.49 nFilterCalls=79902, avgTableProportion=0.4789805011138645, avgTableSize=0.957961002227729
20.32/16.49
21.46/17.54 num=30, depth=22..40, filters=28788, revisions=(12385,useless=1117), ccks=116664399, wck=13.675, mem=612M841
21.46/17.54 decisions=4378, wrong=1806, backtracks=99, failedAssignments=1806, nogoods=951
21.46/17.54 nFilterCalls=88528, avgTableProportion=0.4793116302186879, avgTableSize=0.9586232604373758
21.46/17.54
21.88/17.99 num=31, depth=0..15, filters=29778, revisions=(13312,useless=1146), ccks=121280212, wck=14.124, mem=168M713
21.88/17.99 decisions=4767, wrong=1997, backtracks=112, failedAssignments=1997, nogoods=965
21.88/17.99 nFilterCalls=89347, avgTableProportion=0.4794900780104536, avgTableSize=0.9589801560209072
21.88/17.99
23.09/19.17 num=32, depth=21..40, filters=31377, revisions=(14071,useless=1181), ccks=133037348, wck=15.309, mem=233M364
23.09/19.17 decisions=5226, wrong=2208, backtracks=120, failedAssignments=2208, nogoods=1129
23.09/19.17 nFilterCalls=95968, avgTableProportion=0.4801704734911637, avgTableSize=0.9603409469823274
23.09/19.17
23.78/19.85 num=33, depth=0..21, filters=32718, revisions=(15235,useless=1222), ccks=139962013, wck=15.988, mem=281M853
23.78/19.85 decisions=5708, wrong=2440, backtracks=137, failedAssignments=2440, nogoods=1155
23.78/19.85 nFilterCalls=97942, avgTableProportion=0.48048334728716996, avgTableSize=0.9609666945743399
23.78/19.85
25.00/21.05 num=34, depth=22..40, filters=34403, revisions=(16075,useless=1266), ccks=151842582, wck=17.187, mem=346M504
25.00/21.05 decisions=6255, wrong=2695, backtracks=145, failedAssignments=2695, nogoods=1371
25.00/21.05 nFilterCalls=104900, avgTableProportion=0.48131077216396567, avgTableSize=0.9626215443279313
25.00/21.05
25.89/22.00 num=35, depth=0..21, filters=36013, revisions=(17461,useless=1305), ccks=161798642, wck=18.139, mem=378M830
25.89/22.00 decisions=6836, wrong=2976, backtracks=166, failedAssignments=2976, nogoods=1406
25.89/22.00 nFilterCalls=107266, avgTableProportion=0.48165774802826616, avgTableSize=0.9633154960565323
25.89/22.00
27.32/23.35 num=36, depth=22..40, filters=41437, revisions=(18190,useless=1434), ccks=174892483, wck=19.49, mem=459M645
27.32/23.35 decisions=7494, wrong=3285, backtracks=173, failedAssignments=3285, nogoods=1660
27.32/23.35 nFilterCalls=121673, avgTableProportion=0.4834063432314482, avgTableSize=0.9668126864628964
27.32/23.35
27.93/23.91 num=37, depth=0..21, filters=43118, revisions=(19713,useless=1490), ccks=180311151, wck=20.052, mem=491M970
27.93/23.91 decisions=8178, wrong=3625, backtracks=202, failedAssignments=3625, nogoods=1727
27.93/23.91 nFilterCalls=123493, avgTableProportion=0.48365089519244003, avgTableSize=0.9673017903848801
27.93/23.91
29.76/25.75 num=38, depth=23..192, filters=53973, revisions=(21914,useless=1873), ccks=194531763, wck=21.889, mem=750M577
29.76/25.75 decisions=9118, wrong=3999, backtracks=207, failedAssignments=3999, nogoods=2086
29.76/25.75 nFilterCalls=150157, avgTableProportion=0.47892206157555095, avgTableSize=0.9578441231511019
29.76/25.75
30.99/27.00 num=39, depth=0..43, filters=55905, revisions=(22789,useless=1909), ccks=206670925, wck=23.136, mem=815M228
30.99/27.00 decisions=9983, wrong=4410, backtracks=209, failedAssignments=4410, nogoods=2489
30.99/27.00 nFilterCalls=161602, avgTableProportion=0.47847489511268426, avgTableSize=0.9569497902253685
30.99/27.00
33.14/29.02 num=40, depth=0..148, filters=61127, revisions=(24930,useless=2201), ccks=223780770, wck=25.155, mem=250M112
33.14/29.02 decisions=11035, wrong=4862, backtracks=211, failedAssignments=4862, nogoods=2523
33.14/29.02 nFilterCalls=176885, avgTableProportion=0.47502049354100123, avgTableSize=0.9500409870820025
33.14/29.02
34.53/30.50 num=41, depth=0..46, filters=63261, revisions=(26163,useless=2457), ccks=238881192, wck=26.638, mem=298M684
34.53/30.50 decisions=12075, wrong=5359, backtracks=213, failedAssignments=5359, nogoods=3003
34.53/30.50 nFilterCalls=189291, avgTableProportion=0.476079158544252, avgTableSize=0.952158317088504
34.53/30.50
36.65/32.43 num=42, depth=0..20, filters=66151, revisions=(28586,useless=2556), ccks=259092184, wck=28.565, mem=398M59
36.65/32.43 decisions=13175, wrong=5906, backtracks=263, failedAssignments=5906, nogoods=3102
36.65/32.43 nFilterCalls=194100, avgTableProportion=0.47663575476558473, avgTableSize=0.9532715095311695
36.65/32.43
38.05/33.85 num=43, depth=40..40, filters=68852, revisions=(30754,useless=3184), ccks=273037264, wck=29.984, mem=430M440
38.05/33.85 decisions=14419, wrong=6508, backtracks=263, failedAssignments=6508, nogoods=3704
38.05/33.85 nFilterCalls=207212, avgTableProportion=0.4773323938768025, avgTableSize=0.954664787753605
38.05/33.85
40.40/36.18 num=44, depth=21..152, filters=78203, revisions=(34363,useless=4012), ccks=286582224, wck=32.317, mem=948M544
40.40/36.18 decisions=15885, wrong=7170, backtracks=281, failedAssignments=7170, nogoods=4274
40.40/36.18 nFilterCalls=251846, avgTableProportion=0.4762096678128698, avgTableSize=0.9524193356257395
40.40/36.18
42.51/38.28 num=45, depth=0..43, filters=82817, revisions=(38035,useless=4158), ccks=308060364, wck=34.417, mem=243M347
42.51/38.28 decisions=17367, wrong=7898, backtracks=335, failedAssignments=7898, nogoods=4303
42.51/38.28 nFilterCalls=260560, avgTableProportion=0.4764507215228738, avgTableSize=0.9529014430457476
42.51/38.28
44.11/39.84 num=46, depth=34..46, filters=86890, revisions=(40857,useless=4956), ccks=320398580, wck=35.982, mem=445M631
44.11/39.84 decisions=19015, wrong=8699, backtracks=335, failedAssignments=8699, nogoods=5104
44.11/39.84 nFilterCalls=282722, avgTableProportion=0.47594103041149965, avgTableSize=0.9518820608229993
44.11/39.84
48.01/43.73 num=47, depth=0..42, filters=101862, revisions=(44361,useless=5355), ccks=346760764, wck=39.868, mem=940M104
48.01/43.73 decisions=20818, wrong=9580, backtracks=361, failedAssignments=9580, nogoods=5776
48.01/43.73 nFilterCalls=380420, avgTableProportion=0.48195678460648755, avgTableSize=0.9639135692129751
48.01/43.73
49.80/45.53 num=48, depth=39..39, filters=106224, revisions=(47692,useless=6352), ccks=361138003, wck=41.67, mem=1142M389
49.80/45.53 decisions=22797, wrong=10550, backtracks=361, failedAssignments=10550, nogoods=6746
49.80/45.53 nFilterCalls=403334, avgTableProportion=0.4815314354852306, avgTableSize=0.9630628709704612
49.80/45.53
51.82/47.53 num=49, depth=0..30, filters=111029, revisions=(51491,useless=7328), ccks=377576554, wck=43.673, mem=244M81
51.82/47.53 decisions=24960, wrong=11617, backtracks=376, failedAssignments=11617, nogoods=6769
51.82/47.53 nFilterCalls=425668, avgTableProportion=0.4810298166646306, avgTableSize=0.9620596333292613
51.82/47.53
54.13/49.86 num=50, depth=0..49, filters=115589, revisions=(54158,useless=7419), ccks=400122168, wck=46.001, mem=356M581
54.13/49.86 decisions=27355, wrong=12790, backtracks=398, failedAssignments=12790, nogoods=7769
54.13/49.86 nFilterCalls=447081, avgTableProportion=0.4812069848640403, avgTableSize=0.9624139697280806
54.13/49.86
55.83/51.51 num=51, depth=38..39, filters=120927, revisions=(58477,useless=8739), ccks=411747295, wck=47.65, mem=581M581
55.83/51.51 decisions=29975, wrong=14081, backtracks=399, failedAssignments=14081, nogoods=8081
55.83/51.51 nFilterCalls=474746, avgTableProportion=0.4793405315684598, avgTableSize=0.9586810631369196
55.83/51.51
57.44/53.14 num=52, depth=0..43, filters=125639, revisions=(60590,useless=8792), ccks=424173666, wck=49.281, mem=806M581
57.44/53.14 decisions=32857, wrong=15501, backtracks=405, failedAssignments=15501, nogoods=8553
57.44/53.14 nFilterCalls=504910, avgTableProportion=0.4772404983066289, avgTableSize=0.9544809966132578
57.44/53.14
60.52/56.11 num=53, depth=0..141, filters=135346, revisions=(67144,useless=11286), ccks=448889682, wck=52.25, mem=1211M580
60.52/56.11 decisions=36122, wrong=17064, backtracks=436, failedAssignments=17063, nogoods=9241
60.52/56.11 nFilterCalls=543993, avgTableProportion=0.4659104069353834, avgTableSize=0.9318208138707668
60.52/56.11
63.26/58.84 num=54, depth=0..142, filters=151818, revisions=(78658,useless=13071), ccks=472565804, wck=54.975, mem=360M924
63.26/58.84 decisions=39666, wrong=18782, backtracks=630, failedAssignments=18781, nogoods=9272
63.26/58.84 nFilterCalls=562892, avgTableProportion=0.4649080107729369, avgTableSize=0.9298160215458738
63.26/58.84
66.28/61.81 num=55, depth=0..48, filters=160027, revisions=(86668,useless=14179), ccks=500942077, wck=57.945, mem=537M488
66.28/61.81 decisions=43494, wrong=20672, backtracks=713, failedAssignments=20671, nogoods=10281
66.28/61.81 nFilterCalls=573576, avgTableProportion=0.4653428665076642, avgTableSize=0.9306857330153284
66.28/61.81
67.92/63.47 num=56, depth=0..54, filters=165526, revisions=(93538,useless=16298), ccks=515017938, wck=59.605, mem=684M624
67.92/63.47 decisions=47704, wrong=22751, backtracks=716, failedAssignments=22750, nogoods=10608
67.92/63.47 nFilterCalls=579755, avgTableProportion=0.4654776586661607, avgTableSize=0.9309553173323214
67.92/63.47
71.32/66.89 num=57, depth=0..143, filters=177679, revisions=(101410,useless=16734), ccks=544893920, wck=63.033, mem=1037M751
71.32/66.89 decisions=52363, wrong=25038, backtracks=870, failedAssignments=25037, nogoods=10996
71.32/66.89 nFilterCalls=604032, avgTableProportion=0.4650043375185421, avgTableSize=0.9300086750370842
71.32/66.89
74.02/69.52 num=58, depth=27..143, filters=190559, revisions=(107709,useless=18302), ccks=563439325, wck=65.663, mem=1420M305
74.02/69.52 decisions=57482, wrong=27554, backtracks=946, failedAssignments=27553, nogoods=11893
74.02/69.52 nFilterCalls=646557, avgTableProportion=0.4606987473648882, avgTableSize=0.9213974947297764
74.02/69.52
76.92/72.48 num=59, depth=0..32, filters=199038, revisions=(117628,useless=20598), ccks=591172476, wck=68.623, mem=1567M441
76.92/72.48 decisions=63046, wrong=30322, backtracks=1009, failedAssignments=30321, nogoods=12467
76.92/72.48 nFilterCalls=653621, avgTableProportion=0.4610768319867324, avgTableSize=0.9221536639734648
76.92/72.48
82.23/77.76 num=60, depth=0..159, filters=211817, revisions=(127165,useless=21955), ccks=642488193, wck=73.899, mem=465M948
82.23/77.76 decisions=69292, wrong=33366, backtracks=1117, failedAssignments=33365, nogoods=13365
82.23/77.76 nFilterCalls=679040, avgTableProportion=0.45982416352497646, avgTableSize=0.9196483270499529
82.23/77.76
85.84/81.30 num=61, depth=0..160, filters=227065, revisions=(137342,useless=24491), ccks=671815540, wck=77.443, mem=860M366
85.84/81.30 decisions=76111, wrong=36715, backtracks=1247, failedAssignments=36714, nogoods=14612
85.84/81.30 nFilterCalls=718100, avgTableProportion=0.45567051942626374, avgTableSize=0.9113410388525275
85.84/81.30
90.06/85.52 num=62, depth=0..163, filters=245864, revisions=(151984,useless=30555), ccks=703075027, wck=81.655, mem=1480M166
90.06/85.52 decisions=83601, wrong=40399, backtracks=1387, failedAssignments=40398, nogoods=15164
90.06/85.52 nFilterCalls=794130, avgTableProportion=0.44678138340070267, avgTableSize=0.8935627668014053
90.06/85.52
96.69/92.13 num=63, depth=0..166, filters=267331, revisions=(167851,useless=33998), ccks=758351224, wck=88.267, mem=777M658
96.69/92.13 decisions=91870, wrong=44451, backtracks=1535, failedAssignments=44450, nogoods=16316
96.69/92.13 nFilterCalls=880251, avgTableProportion=0.43821023776172935, avgTableSize=0.8764204755234587
96.69/92.13
103.99/99.47 num=64, depth=0..178, filters=310027, revisions=(194511,useless=43226), ccks=799069923, wck=95.607, mem=1242M276
103.99/99.47 decisions=100985, wrong=48931, backtracks=1896, failedAssignments=48907, nogoods=17143
103.99/99.47 nFilterCalls=1016930, avgTableProportion=0.43604967893561997, avgTableSize=0.8720993578712399
103.99/99.47
112.72/108.12 num=65, depth=0..127, filters=337190, revisions=(213094,useless=44287), ccks=881735791, wck=104.254, mem=529M426
112.72/108.12 decisions=110915, wrong=53834, backtracks=2168, failedAssignments=53810, nogoods=17543
112.72/108.12 nFilterCalls=1091380, avgTableProportion=0.4321354615257747, avgTableSize=0.8642709230515494
112.72/108.12
117.66/113.07 num=66, depth=0..84, filters=358636, revisions=(230487,useless=49793), ccks=913265859, wck=109.204, mem=1296M64
117.66/113.07 decisions=121779, wrong=59228, backtracks=2185, failedAssignments=59204, nogoods=17690
117.66/113.07 nFilterCalls=1206851, avgTableProportion=0.422588621130529, avgTableSize=0.845177242261058
117.66/113.07
123.17/118.57 num=67, depth=0..78, filters=382256, revisions=(250296,useless=55427), ccks=948839612, wck=114.707, mem=798M448
123.17/118.57 decisions=133716, wrong=65161, backtracks=2244, failedAssignments=65137, nogoods=17796
123.17/118.57 nFilterCalls=1320927, avgTableProportion=0.41665436469994177, avgTableSize=0.8333087293998835
123.17/118.57
129.58/125.00 num=68, depth=0..177, filters=418032, revisions=(279243,useless=69800), ccks=993100124, wck=121.137, mem=839M686
129.58/125.00 decisions=146942, wrong=71687, backtracks=2616, failedAssignments=71663, nogoods=18044
129.58/125.00 nFilterCalls=1448524, avgTableProportion=0.4070550436168127, avgTableSize=0.8141100872336254
129.58/125.00
136.09/131.40 num=69, depth=0..180, filters=451342, revisions=(306472,useless=82821), ccks=1034422428, wck=127.538, mem=1029M161
136.09/131.40 decisions=161473, wrong=78866, backtracks=2909, failedAssignments=78842, nogoods=18376
136.09/131.40 nFilterCalls=1600214, avgTableProportion=0.39779304518020714, avgTableSize=0.7955860903604143
136.09/131.40
148.41/143.78 num=70, depth=0..96, filters=496364, revisions=(338618,useless=89273), ccks=1142585730, wck=139.921, mem=1035M18
148.41/143.78 decisions=177354, wrong=86763, backtracks=3224, failedAssignments=86739, nogoods=18861
148.41/143.78 nFilterCalls=1751237, avgTableProportion=0.3951475442787013, avgTableSize=0.7902950885574026
148.41/143.78
155.06/150.30 num=71, depth=0..73, filters=519616, revisions=(367909,useless=96951), ccks=1199722534, wck=146.44, mem=359M322
155.06/150.30 decisions=194794, wrong=95450, backtracks=3360, failedAssignments=95426, nogoods=19969
155.06/150.30 nFilterCalls=1765177, avgTableProportion=0.39592403481350597, avgTableSize=0.7918480696270119
155.06/150.30
167.00/162.21 num=72, depth=0..107, filters=554780, revisions=(388148,useless=97851), ccks=1303707231, wck=158.351, mem=447M573
167.00/162.21 decisions=214001, wrong=105005, backtracks=3553, failedAssignments=104981, nogoods=20753
167.00/162.21 nFilterCalls=1951676, avgTableProportion=0.39041393141074643, avgTableSize=0.7808278628214929
167.00/162.21
174.82/170.05 num=73, depth=0..179, filters=582300, revisions=(405871,useless=98999), ccks=1368347476, wck=166.186, mem=233M640
174.82/170.05 decisions=235180, wrong=115516, backtracks=3698, failedAssignments=115492, nogoods=21767
174.82/170.05 nFilterCalls=2051072, avgTableProportion=0.38980128440152273, avgTableSize=0.7796025688030455
174.82/170.05
183.13/178.33 num=74, depth=60..74, filters=624300, revisions=(441909,useless=110562), ccks=1404212602, wck=174.466, mem=620M558
183.13/178.33 decisions=258364, wrong=127078, backtracks=3713, failedAssignments=127054, nogoods=22018
183.13/178.33 nFilterCalls=2275269, avgTableProportion=0.3922503229288493, avgTableSize=0.7845006458576986
183.13/178.33
195.07/190.25 num=75, depth=0..188, filters=671909, revisions=(466201,useless=114452), ccks=1485636165, wck=186.385, mem=239M114
195.07/190.25 decisions=283975, wrong=139796, backtracks=3928, failedAssignments=139772, nogoods=22525
195.07/190.25 nFilterCalls=2540895, avgTableProportion=0.3845768912135291, avgTableSize=0.7691537824270582
195.07/190.25
207.92/203.09 num=76, depth=66..187, filters=727134, revisions=(501425,useless=123693), ccks=1561191873, wck=199.226, mem=635M300
207.92/203.09 decisions=312118, wrong=153786, backtracks=4050, failedAssignments=153762, nogoods=22855
207.92/203.09 nFilterCalls=2884363, avgTableProportion=0.37148808939790173, avgTableSize=0.7429761787958035
207.92/203.09
221.86/217.00 num=77, depth=0..163, filters=782455, revisions=(547197,useless=139247), ccks=1646393656, wck=213.142, mem=761M813
221.86/217.00 decisions=343036, wrong=169175, backtracks=4184, failedAssignments=169151, nogoods=23635
221.86/217.00 nFilterCalls=3160304, avgTableProportion=0.3729642781200796, avgTableSize=0.7459285562401592
221.86/217.00
233.11/228.12 num=78, depth=73..188, filters=834764, revisions=(574429,useless=143284), ccks=1714831023, wck=224.255, mem=463M419
233.11/228.12 decisions=377053, wrong=186103, backtracks=4347, failedAssignments=186079, nogoods=23770
233.11/228.12 nFilterCalls=3507021, avgTableProportion=0.36502504547306674, avgTableSize=0.7300500909461335
233.11/228.12
249.13/244.12 num=79, depth=0..114, filters=880026, revisions=(632431,useless=159421), ccks=1859245268, wck=240.257, mem=171M954
249.13/244.12 decisions=414393, wrong=204724, backtracks=4548, failedAssignments=204700, nogoods=24443
249.13/244.12 nFilterCalls=3538243, avgTableProportion=0.3660052461066128, avgTableSize=0.7320104922132256
249.13/244.12
266.95/261.89 num=80, depth=0..149, filters=973473, revisions=(695297,useless=179931), ccks=1916979556, wck=258.032, mem=362M184
266.95/261.89 decisions=455465, wrong=225208, backtracks=4622, failedAssignments=225184, nogoods=25116
266.95/261.89 nFilterCalls=4121727, avgTableProportion=0.3675697104635994, avgTableSize=0.7351394209271988
266.95/261.89
283.50/278.31 num=81, depth=0..189, filters=1034269, revisions=(762745,useless=199564), ccks=2053662248, wck=274.445, mem=282M653
283.50/278.31 decisions=500712, wrong=247741, backtracks=4910, failedAssignments=247716, nogoods=26587
283.50/278.31 nFilterCalls=4229076, avgTableProportion=0.36814720284052593, avgTableSize=0.7362944056810519
283.50/278.31
298.45/293.27 num=82, depth=0..178, filters=1105303, revisions=(838089,useless=220961), ccks=2174253140, wck=289.406, mem=361M476
298.45/293.27 decisions=550455, wrong=272526, backtracks=5347, failedAssignments=272501, nogoods=27445
298.45/293.27 nFilterCalls=4414110, avgTableProportion=0.368690630727372, avgTableSize=0.737381261454744
298.45/293.27
335.88/330.59 num=83, depth=0..181, filters=1200849, revisions=(932199,useless=246556), ccks=2525364097, wck=326.725, mem=294M940
335.88/330.59 decisions=605124, wrong=299790, backtracks=6190, failedAssignments=299765, nogoods=28364
335.88/330.59 nFilterCalls=4678675, avgTableProportion=0.36941206645043734, avgTableSize=0.7388241329008747
335.88/330.59
973.46/966.82 num=84, depth=0..150, filters=1670461, revisions=(1192926,useless=356284), ccks=9461919925, wck=962.96, mem=187M987
973.46/966.82 decisions=665225, wrong=329780, backtracks=14050, failedAssignments=329755, nogoods=28645
973.46/966.82 nFilterCalls=7460740, avgTableProportion=0.399790972477261, avgTableSize=0.799581944954522
973.46/966.82
995.82/989.03 num=85, depth=0..139, filters=1772748, revisions=(1293899,useless=388077), ccks=9594714064, wck=985.166, mem=209M115
995.82/989.03 decisions=731330, wrong=362769, backtracks=14158, failedAssignments=362744, nogoods=29427
995.82/989.03 nFilterCalls=7865311, avgTableProportion=0.4018291202979768, avgTableSize=0.8036582405959536
995.82/989.03
1015.25/1008.35 num=86, depth=0..151, filters=1879357, revisions=(1413694,useless=425464), ccks=9729744743, wck=1004.486, mem=197M926
1015.25/1008.35 decisions=804015, wrong=399057, backtracks=14564, failedAssignments=399032, nogoods=30075
1015.25/1008.35 nFilterCalls=8083926, avgTableProportion=0.4032428673889395, avgTableSize=0.806485734777879
1015.25/1008.35
1037.04/1029.92 num=87, depth=0..146, filters=2016069, revisions=(1536746,useless=465554), ccks=9829032383, wck=1026.06, mem=198M72
1037.04/1029.92 decisions=883935, wrong=438974, backtracks=14672, failedAssignments=438949, nogoods=30701
1037.04/1029.92 nFilterCalls=8783940, avgTableProportion=0.4001090057536823, avgTableSize=0.8002180115073646
1037.04/1029.92
1153.70/1145.72 num=88, depth=0..151, filters=2541806, revisions=(1742800,useless=536802), ccks=10580802991, wck=1141.858, mem=178M297
1153.70/1145.72 decisions=971919, wrong=482891, backtracks=15535, failedAssignments=482858, nogoods=31563
1153.70/1145.72 nFilterCalls=11864210, avgTableProportion=0.4083501556361528, avgTableSize=0.8167003112723056
1153.70/1145.72
1174.21/1166.10 num=89, depth=0..270, filters=2794485, revisions=(1924139,useless=613374), ccks=10670059939, wck=1162.242, mem=258M55
1174.21/1166.10 decisions=1068913, wrong=531255, backtracks=17103, failedAssignments=531158, nogoods=32403
1174.21/1166.10 nFilterCalls=12711585, avgTableProportion=0.3879413936184984, avgTableSize=0.7758827872369968
1174.21/1166.10
1206.45/1198.09 num=90, depth=0..275, filters=3008037, revisions=(2133078,useless=687460), ccks=10897401069, wck=1194.229, mem=189M430
1206.45/1198.09 decisions=1175445, wrong=584385, backtracks=17829, failedAssignments=584288, nogoods=33446
1206.45/1198.09 nFilterCalls=13307119, avgTableProportion=0.3849117528745328, avgTableSize=0.7698235057490656
1206.45/1198.09
1234.25/1225.65 num=91, depth=0..270, filters=3299180, revisions=(2356852,useless=771581), ccks=11046106950, wck=1221.79, mem=229M414
1234.25/1225.65 decisions=1292581, wrong=642834, backtracks=20761, failedAssignments=642731, nogoods=33862
1234.25/1225.65 nFilterCalls=14258196, avgTableProportion=0.37220024188193235, avgTableSize=0.7444004837638647
1234.25/1225.65
1313.08/1304.28 num=92, depth=0..143, filters=3459668, revisions=(2476165,useless=793002), ccks=11769010571, wck=1300.414, mem=193M993
1313.08/1304.28 decisions=1421292, wrong=707121, backtracks=22233, failedAssignments=707018, nogoods=35108
1313.08/1304.28 nFilterCalls=14720538, avgTableProportion=0.3746309068323454, avgTableSize=0.7492618136646908
1313.08/1304.28
1367.15/1357.90 num=93, depth=0..145, filters=3699950, revisions=(2710570,useless=864860), ccks=12105538307, wck=1354.035, mem=196M303
1367.15/1357.90 decisions=1562804, wrong=777837, backtracks=22843, failedAssignments=777734, nogoods=35246
1367.15/1357.90 nFilterCalls=15547110, avgTableProportion=0.37752984316699373, avgTableSize=0.7550596863339875
1367.15/1357.90
1404.86/1395.44 num=94, depth=0..292, filters=3867882, revisions=(2943913,useless=953474), ccks=12390653490, wck=1391.583, mem=229M443
1404.86/1395.44 decisions=1718667, wrong=855624, backtracks=23317, failedAssignments=855521, nogoods=35597
1404.86/1395.44 nFilterCalls=15762213, avgTableProportion=0.3771384766847143, avgTableSize=0.7542769533694286
1404.86/1395.44
1433.13/1423.57 num=95, depth=0..306, filters=4035503, revisions=(3187894,useless=1039504), ccks=12602115479, wck=1419.712, mem=201M316
1433.13/1423.57 decisions=1890102, wrong=941190, backtracks=23999, failedAssignments=941087, nogoods=36104
1433.13/1423.57 nFilterCalls=15853706, avgTableProportion=0.3770853956797231, avgTableSize=0.7541707913594462
1433.13/1423.57
1533.55/1522.72 num=96, depth=0..312, filters=4677086, revisions=(3625759,useless=1218323), ccks=13019594864, wck=1518.855, mem=226M564
1533.55/1522.72 decisions=2078635, wrong=1035313, backtracks=35727, failedAssignments=1035210, nogoods=37123
1533.55/1522.72 nFilterCalls=18860108, avgTableProportion=0.3795139190083111, avgTableSize=0.7590278380166222
1533.55/1522.72
1632.58/1621.24 num=97, depth=0..229, filters=5002783, revisions=(3808358,useless=1247202), ccks=13793459364, wck=1617.376, mem=198M457
1632.58/1621.24 decisions=2285812, wrong=1138849, backtracks=37048, failedAssignments=1138745, nogoods=38125
1632.58/1621.24 nFilterCalls=20758908, avgTableProportion=0.3771391057756988, avgTableSize=0.7542782115513976
1632.58/1621.24
1733.57/1720.83 num=98, depth=118..216, filters=6974243, revisions=(4366766,useless=1535677), ccks=14142156502, wck=1716.969, mem=194M86
1733.57/1720.83 decisions=2515119, wrong=1253424, backtracks=38400, failedAssignments=1252634, nogoods=38331
1733.57/1720.83 nFilterCalls=28246804, avgTableProportion=0.3434874260465007, avgTableSize=0.6869748520930014
1733.57/1720.83
1792.95/1779.77 num=99, depth=0..214, filters=7389045, revisions=(4694834,useless=1638121), ccks=14311565654, wck=1775.909, mem=219M492
1792.95/1779.77 decisions=2765790, wrong=1378702, backtracks=38639, failedAssignments=1377912, nogoods=39187
1792.95/1779.77 nFilterCalls=30595491, avgTableProportion=0.3454508541797875, avgTableSize=0.690901708359575
1792.95/1779.77
2065.33/2051.12 num=100, depth=0..197, filters=7974778, revisions=(5177863,useless=1822352), ccks=16851785985, wck=2047.255, mem=178M304
2065.33/2051.12 decisions=3041596, wrong=1516508, backtracks=43564, failedAssignments=1515718, nogoods=39929
2065.33/2051.12 nFilterCalls=33163510, avgTableProportion=0.34391879810068354, avgTableSize=0.6878375962013671
2065.33/2051.12
2145.97/2131.26 num=101, depth=0..282, filters=8450524, revisions=(5670786,useless=1953560), ccks=17392005444, wck=2127.403, mem=186M233
2145.97/2131.26 decisions=3344927, wrong=1668094, backtracks=47933, failedAssignments=1667304, nogoods=40624
2145.97/2131.26 nFilterCalls=34336218, avgTableProportion=0.3419826406041574, avgTableSize=0.6839652812083148
2145.97/2131.26
2267.83/2251.58 num=102, depth=0..154, filters=9145949, revisions=(6181060,useless=2123628), ccks=17738264942, wck=2247.716, mem=176M812
2267.83/2251.58 decisions=3678562, wrong=1834839, backtracks=48216, failedAssignments=1834049, nogoods=40921
2267.83/2251.58 nFilterCalls=38430209, avgTableProportion=0.3443377057876526, avgTableSize=0.6886754115753052
2267.83/2251.58
2344.57/2327.69 num=103, depth=0..245, filters=9590345, revisions=(6464246,useless=2174319), ccks=18134413081, wck=2323.829, mem=183M244
2344.57/2327.69 decisions=4045454, wrong=2018261, backtracks=49118, failedAssignments=2017468, nogoods=41400
2344.57/2327.69 nFilterCalls=40832118, avgTableProportion=0.3451838574721987, avgTableSize=0.6903677149443974
2344.57/2327.69
2487.07/2469.26 num=104, depth=83..305, filters=10275923, revisions=(7022933,useless=2354498), ccks=18972288744, wck=2465.402, mem=182M521
2487.07/2469.26 decisions=4449204, wrong=2220022, backtracks=50127, failedAssignments=2219229, nogoods=42590
2487.07/2469.26 nFilterCalls=44109431, avgTableProportion=0.346018462582299, avgTableSize=0.692036925164598
2487.07/2469.26
2520.08/2501.80
2520.08/2501.80 s UNKNOWN
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 (15023 MiB free)
memory of node 1: 16384 MiB (15356 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391039-1568380515/watcher-4391039-1568380515 -o /tmp/evaluation-result-4391039-1568380515/solver-4391039-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568380477-29949 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391039-1568380515.xml -cm
running on 4 cores: 1,3,5,7
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=29974, runsolver pid=29971
[startup+0.100131 s]*
/proc/loadavg: 0.00 0.01 0.05 1/199 29979
/proc/meminfo: memFree=31109088/32770624 swapFree=66940840/67108860
[pid=29974] ppid=29971 vsize=10648 memory=660 CPUtime=0 cores=1,3,5,7
/proc/29974/stat : 29974 (java) D 29971 29974 29917 0 -1 1077944320 310 0 0 0 0 0 0 0 20 0 1 0 414290216 10903552 165 33554432000 4194304 4196468 140733697160672 140733697138872 139855619152400 0 0 4096 0 18446744072101592612 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
/proc/29974/statm: 2662 165 132 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 10648 KiB
Current children cumulated memory: 660 KiB
[startup+0.209336 s]*
/proc/loadavg: 0.00 0.01 0.05 1/201 29981
/proc/meminfo: memFree=31108164/32770624 swapFree=66940840/67108860
[pid=29974] ppid=29971 vsize=111596 memory=5604 CPUtime=0 cores=1,3,5,7
/proc/29974/stat : 29974 (java) S 29971 29974 29917 0 -1 1077944320 1725 0 0 0 0 0 0 0 20 0 2 0 414290216 114274304 1401 33554432000 4194304 4196468 140733697160672 140733697143216 139855626473207 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
/proc/29974/statm: 27899 1401 1062 1 0 16810 0
[pid=29974/tid=29980] ppid=29971 vsize=111596 memory=4871374705135476842 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29980/stat : 29980 (java) D 29971 29974 29917 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 414290231 114274304 1401 33554432000 4194304 4196468 140733697160672 139855630713064 139855619151221 0 4 0 16784584 18446744072101592612 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5604 KiB
[startup+0.309372 s]*
/proc/loadavg: 0.00 0.01 0.05 3/209 29989
/proc/meminfo: memFree=31088136/32770624 swapFree=66940840/67108860
[pid=29974] ppid=29971 vsize=10260324 memory=19664 CPUtime=0.02 cores=1,3,5,7
/proc/29974/stat : 29974 (java) S 29971 29974 29917 0 -1 1077944320 3765 0 0 0 2 0 0 0 20 0 9 0 414290216 10506571776 4916 33554432000 4194304 4196468 140733697160672 140733697143216 139855626473207 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
/proc/29974/statm: 2565081 4916 2107 1 0 2527622 0
[pid=29974/tid=29980] ppid=29971 vsize=10260324 memory=4026531858 CPUtime=0.01 cores=1,3,5,7
/proc/29974/task/29980/stat : 29980 (java) S 29971 29974 29917 0 -1 1077944384 2411 0 0 0 1 0 0 0 20 0 9 0 414290231 10506571776 4916 33554432000 4194304 4196468 140733697160672 139855630708592 139855619169789 0 4 0 16784584 18446744071581020693 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29982] ppid=29971 vsize=10260324 memory=1943298 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29982/stat : 29982 (java) S 29971 29974 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414290245 10506571776 4916 33554432000 4194304 4196468 140733697160672 139855552547216 139855626483413 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29983] ppid=29971 vsize=10260324 memory=4121552895755503264 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29983/stat : 29983 (java) S 29971 29974 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414290245 10506571776 4916 33554432000 4194304 4196468 140733697160672 139855551494416 139855626483413 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29984] ppid=29971 vsize=10260324 memory=288293289789228345 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29984/stat : 29984 (java) S 29971 29974 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414290245 10506571776 4916 33554432000 4194304 4196468 140733697160672 139855550442128 139855626483413 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29985] ppid=29971 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29985/stat : 29985 (java) S 29971 29974 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414290245 10506571776 4916 33554432000 4194304 4196468 140733697160672 139855549389328 139855626483413 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29990] ppid=29971 vsize=10260324 memory=140000389318272 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29990/stat : 29990 (java) S 29971 29974 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414290248 10506571776 4916 33554432000 4194304 4196468 140733697160672 139854983662192 139855626484354 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29992] ppid=29971 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29992/stat : 29992 (java) S 29971 29974 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414290248 10506571776 4916 33554432000 4194304 4196468 140733697160672 139854982608160 139855626483413 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29994] ppid=29971 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29994/stat : 29994 (java) S 29971 29974 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414290248 10506571776 4916 33554432000 4194304 4196468 140733697160672 139854981555888 139855626483413 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 19664 KiB
[startup+0.700728 s]
/proc/loadavg: 0.00 0.01 0.05 1/225 30005
/proc/meminfo: memFree=31085840/32770624 swapFree=66940840/67108860
[pid=29974] ppid=29971 vsize=10659884 memory=34608 CPUtime=0.24 cores=1,3,5,7
/proc/29974/stat : 29974 (java) S 29971 29974 29917 0 -1 1077944320 6252 0 0 0 22 2 0 0 20 0 15 0 414290216 10915721216 8652 33554432000 4194304 4196468 140733697160672 140733697143216 139855626473207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
/proc/29974/statm: 2664971 8652 2931 1 0 2627468 0
[pid=29974/tid=29980] ppid=29971 vsize=10659884 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/29974/task/29980/stat : 29980 (java) R 29971 29974 29917 0 -1 4202560 3448 0 0 0 14 1 0 0 20 0 15 0 414290231 10915721216 8652 33554432000 4194304 4196468 140733697160672 139855630699568 139855626495133 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29982] ppid=29971 vsize=10659884 memory=2388 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29982/stat : 29982 (java) S 29971 29974 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414290245 10915721216 8652 33554432000 4194304 4196468 140733697160672 139855552547216 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29983] ppid=29971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29983/stat : 29983 (java) S 29971 29974 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414290245 10915721216 8652 33554432000 4194304 4196468 140733697160672 139855551494416 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29984] ppid=29971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29984/stat : 29984 (java) S 29971 29974 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414290245 10915721216 8652 33554432000 4194304 4196468 140733697160672 139855550442128 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29985] ppid=29971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29985/stat : 29985 (java) S 29971 29974 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414290245 10915721216 8652 33554432000 4194304 4196468 140733697160672 139855549389328 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29990] ppid=29971 vsize=10659884 memory=624 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29990/stat : 29990 (java) S 29971 29974 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414290248 10915721216 8652 33554432000 4194304 4196468 140733697160672 139854983662192 139855626484354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29992] ppid=29971 vsize=10659884 memory=3996 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29992/stat : 29992 (java) S 29971 29974 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414290248 10915721216 8652 33554432000 4194304 4196468 140733697160672 139854982608160 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29994] ppid=29971 vsize=10659884 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29994/stat : 29994 (java) S 29971 29974 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414290248 10915721216 8652 33554432000 4194304 4196468 140733697160672 139854981555824 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29996] ppid=29971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29996/stat : 29996 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414290265 10915721216 8652 33554432000 4194304 4196468 140733697160672 139854980504144 139855626491803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29997] ppid=29971 vsize=10659884 memory=8996 CPUtime=0.01 cores=1,3,5,7
/proc/29974/task/29997/stat : 29997 (java) S 29971 29974 29917 0 -1 1077944384 536 0 0 0 1 0 0 0 20 0 15 0 414290265 10915721216 8652 33554432000 4194304 4196468 140733697160672 139854979450992 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29998] ppid=29971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29998/stat : 29998 (java) S 29971 29974 29917 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 414290265 10915721216 8652 33554432000 4194304 4196468 140733697160672 139854978398192 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29999] ppid=29971 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/29974/task/29999/stat : 29999 (java) S 29971 29974 29917 0 -1 1077944384 710 0 0 0 5 0 0 0 20 0 15 0 414290265 10915721216 8652 33554432000 4194304 4196468 140733697160672 139854977345904 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30000] ppid=29971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/30000/stat : 30000 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414290265 10915721216 8652 33554432000 4194304 4196468 140733697160672 139854976293344 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34608 KiB
[startup+1.50077 s]
/proc/loadavg: 0.00 0.01 0.05 5/227 30007
/proc/meminfo: memFree=31035896/32770624 swapFree=66940840/67108860
[pid=29974] ppid=29971 vsize=10661932 memory=68556 CPUtime=1.38 cores=1,3,5,7
/proc/29974/stat : 29974 (java) S 29971 29974 29917 0 -1 1077944320 13164 0 0 0 133 5 0 0 20 0 15 0 414290216 10917818368 17139 33554432000 4194304 4196468 140733697160672 140733697143216 139855626473207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
/proc/29974/statm: 2665483 17139 3073 1 0 2627980 0
[pid=29974/tid=29980] ppid=29971 vsize=10661932 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/29974/task/29980/stat : 29980 (java) R 29971 29974 29917 0 -1 4202560 8951 0 0 0 90 4 0 0 20 0 15 0 414290231 10917818368 17139 33554432000 4194304 4196468 140733697160672 139855630701072 139855610553694 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29982] ppid=29971 vsize=10661932 memory=4121552895596567632 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29982/stat : 29982 (java) S 29971 29974 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414290245 10917818368 17139 33554432000 4194304 4196468 140733697160672 139855552547216 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29983] ppid=29971 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29983/stat : 29983 (java) S 29971 29974 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414290245 10917818368 17139 33554432000 4194304 4196468 140733697160672 139855551494416 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29984] ppid=29971 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29984/stat : 29984 (java) S 29971 29974 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414290245 10917818368 17139 33554432000 4194304 4196468 140733697160672 139855550442128 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29985] ppid=29971 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29985/stat : 29985 (java) S 29971 29974 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414290245 10917818368 17139 33554432000 4194304 4196468 140733697160672 139855549389328 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29990] ppid=29971 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29990/stat : 29990 (java) S 29971 29974 29917 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414290248 10917818368 17139 33554432000 4194304 4196468 140733697160672 139854983662192 139855626484354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29992] ppid=29971 vsize=10661932 memory=13 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29992/stat : 29992 (java) S 29971 29974 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414290248 10917818368 17139 33554432000 4194304 4196468 140733697160672 139854982608160 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29994] ppid=29971 vsize=10661932 memory=9 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29994/stat : 29994 (java) S 29971 29974 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414290248 10917818368 17139 33554432000 4194304 4196468 140733697160672 139854981555824 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29996] ppid=29971 vsize=10661932 memory=18 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29996/stat : 29996 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414290265 10917818368 17139 33554432000 4194304 4196468 140733697160672 139854980504144 139855626491803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29997] ppid=29971 vsize=10661932 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/29974/task/29997/stat : 29997 (java) S 29971 29974 29917 0 -1 1077944384 994 0 0 0 13 0 0 0 20 0 15 0 414290265 10917818368 17139 33554432000 4194304 4196468 140733697160672 139854979450992 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29998] ppid=29971 vsize=10661932 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29974/task/29998/stat : 29998 (java) S 29971 29974 29917 0 -1 1077944384 642 0 0 0 9 0 0 0 20 0 15 0 414290265 10917818368 17139 33554432000 4194304 4196468 140733697160672 139854978398192 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29999] ppid=29971 vsize=10661932 memory=1988 CPUtime=0.18 cores=1,3,5,7
/proc/29974/task/29999/stat : 29999 (java) S 29971 29974 29917 0 -1 1077944384 1216 0 0 0 18 0 0 0 20 0 15 0 414290265 10917818368 17139 33554432000 4194304 4196468 140733697160672 139854977345904 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30000] ppid=29971 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/29974/task/30000/stat : 30000 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414290265 10917818368 17139 33554432000 4194304 4196468 140733697160672 139854976293344 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30006] ppid=29971 vsize=10661932 memory=7090143983960547920 CPUtime=0 cores=1,3,5,7
/proc/29974/task/30006/stat : 30006 (java) S 29971 29974 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414290272 10917818368 17139 33554432000 4194304 4196468 140733697160672 139854975241136 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 68556 KiB
[startup+3.11112 s]
/proc/loadavg: 0.16 0.05 0.06 9/229 30009
/proc/meminfo: memFree=30818376/32770624 swapFree=66940840/67108860
[pid=29974] ppid=29971 vsize=10746276 memory=161876 CPUtime=3.52 cores=1,3,5,7
/proc/29974/stat : 29974 (java) S 29971 29974 29917 0 -1 1077944320 26739 0 5 0 341 11 0 0 20 0 16 0 414290216 11004186624 40469 33554432000 4194304 4196468 140733697160672 140733697143216 139855626473207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
/proc/29974/statm: 2686569 40469 3345 1 0 2646705 0
[pid=29974/tid=29980] ppid=29971 vsize=10746276 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/29974/task/29980/stat : 29980 (java) S 29971 29974 29917 0 -1 1077944384 14525 0 5 0 179 6 0 0 20 0 16 0 414290231 11004186624 40469 33554432000 4194304 4196468 140733697160672 139855630716080 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29982] ppid=29971 vsize=10746276 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29982/stat : 29982 (java) S 29971 29974 29917 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 414290245 11004186624 40469 33554432000 4194304 4196468 140733697160672 139855552547216 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29983] ppid=29971 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29983/stat : 29983 (java) S 29971 29974 29917 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414290245 11004186624 40469 33554432000 4194304 4196468 140733697160672 139855551494416 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29984] ppid=29971 vsize=10746276 memory=1943560 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29984/stat : 29984 (java) S 29971 29974 29917 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 16 0 414290245 11004186624 40469 33554432000 4194304 4196468 140733697160672 139855550442128 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29985] ppid=29971 vsize=10746276 memory=1944736 CPUtime=0.01 cores=1,3,5,7
/proc/29974/task/29985/stat : 29985 (java) S 29971 29974 29917 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 414290245 11004186624 40469 33554432000 4194304 4196468 140733697160672 139855549389328 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29990] ppid=29971 vsize=10746276 memory=288230574492221466 CPUtime=0.01 cores=1,3,5,7
/proc/29974/task/29990/stat : 29990 (java) S 29971 29974 29917 0 -1 1077944384 979 0 0 0 1 0 0 0 20 0 16 0 414290248 11004186624 40469 33554432000 4194304 4196468 140733697160672 139854983662192 139855626484354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29992] ppid=29971 vsize=10746276 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29992/stat : 29992 (java) S 29971 29974 29917 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414290248 11004186624 40469 33554432000 4194304 4196468 140733697160672 139854982608224 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29994] ppid=29971 vsize=10746276 memory=14698482732632482 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29994/stat : 29994 (java) S 29971 29974 29917 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414290248 11004186624 40469 33554432000 4194304 4196468 140733697160672 139854981555840 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29996] ppid=29971 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29996/stat : 29996 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414290265 11004186624 40469 33554432000 4194304 4196468 140733697160672 139854980504144 139855626491803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29997] ppid=29971 vsize=10746276 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/29974/task/29997/stat : 29997 (java) R 29971 29974 29917 0 -1 4202560 3125 0 0 0 44 0 0 0 20 0 16 0 414290265 11004186624 40469 33554432000 4194304 4196468 140733697160672 139854979442320 139855626485142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29998] ppid=29971 vsize=10746276 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/29974/task/29998/stat : 29998 (java) R 29971 29974 29917 0 -1 4202560 2898 0 0 0 45 0 0 0 20 0 16 0 414290265 11004186624 40469 33554432000 4194304 4196468 140733697160672 139854978382856 139855605706000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29999] ppid=29971 vsize=10746276 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/29974/task/29999/stat : 29999 (java) R 29971 29974 29917 0 -1 4202560 2554 0 0 0 41 0 0 0 20 0 16 0 414290265 11004186624 40469 33554432000 4194304 4196468 140733697160672 139854977339200 139855626494554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30000] ppid=29971 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/30000/stat : 30000 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414290265 11004186624 40469 33554432000 4194304 4196468 140733697160672 139854976293344 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30006] ppid=29971 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29974/task/30006/stat : 30006 (java) S 29971 29974 29917 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 414290272 11004186624 40469 33554432000 4194304 4196468 140733697160672 139854975241136 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30008] ppid=29971 vsize=10746276 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/29974/task/30008/stat : 30008 (java) R 29971 29974 29917 0 -1 1077944384 1012 0 0 0 24 0 0 0 20 0 16 0 414290496 11004186624 40469 33554432000 4194304 4196468 140733697160672 139854958576912 139855626483413 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
Current children cumulated CPU time: 3.52 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 161876 KiB
[startup+6.30072 s]
/proc/loadavg: 0.16 0.05 0.06 6/229 30009
/proc/meminfo: memFree=28266528/32770624 swapFree=66940840/67108860
[pid=29974] ppid=29971 vsize=10748324 memory=507052 CPUtime=9.83 cores=1,3,5,7
/proc/29974/stat : 29974 (java) S 29971 29974 29917 0 -1 1077944320 33055 0 5 0 947 36 0 0 20 0 16 0 414290216 11006283776 126763 33554432000 4194304 4196468 140733697160672 140733697143216 139855626473207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
/proc/29974/statm: 2687081 126763 3371 1 0 2647217 0
[pid=29974/tid=29980] ppid=29971 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/29974/task/29980/stat : 29980 (java) S 29971 29974 29917 0 -1 1077944384 14525 0 5 0 179 6 0 0 20 0 16 0 414290231 11006283776 126763 33554432000 4194304 4196468 140733697160672 139855630716080 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
################
# More data... #
################
/proc/29974/task/29985/stat : 29985 (java) S 29971 29974 29917 0 -1 1077944384 12572 0 0 0 404 21 0 0 20 0 16 0 414290245 11006283776 256795 33554432000 4194304 4196468 140733697160672 139855549389328 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29990] ppid=29971 vsize=10748324 memory=1027180 CPUtime=2.43 cores=1,3,5,7
/proc/29974/task/29990/stat : 29990 (java) S 29971 29974 29917 0 -1 1077944384 13419 0 0 0 225 18 0 0 20 0 16 0 414290248 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854983662192 139855626484354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29992] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29992/stat : 29992 (java) S 29971 29974 29917 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414290248 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854982608224 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29994] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29994/stat : 29994 (java) S 29971 29974 29917 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414290248 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854981555840 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29996] ppid=29971 vsize=10748324 memory=280000462099808 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29996/stat : 29996 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854980504144 139855626491803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29997] ppid=29971 vsize=10748324 memory=1027180 CPUtime=2.18 cores=1,3,5,7
/proc/29974/task/29997/stat : 29997 (java) S 29971 29974 29917 0 -1 1077944384 13467 0 0 0 216 2 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854979450992 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29998] ppid=29971 vsize=10748324 memory=1027180 CPUtime=2.06 cores=1,3,5,7
/proc/29974/task/29998/stat : 29998 (java) S 29971 29974 29917 0 -1 1077944384 13275 0 0 0 205 1 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854978398192 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29999] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0.99 cores=1,3,5,7
/proc/29974/task/29999/stat : 29999 (java) S 29971 29974 29917 0 -1 1077944384 12027 0 0 0 97 2 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854977345904 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30000] ppid=29971 vsize=10748324 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/29974/task/30000/stat : 30000 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854976293344 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30006] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0.9 cores=1,3,5,7
/proc/29974/task/30006/stat : 30006 (java) S 29971 29974 29917 0 -1 1077944384 1566 0 0 0 41 49 0 0 20 0 16 0 414290272 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854975241136 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30008] ppid=29971 vsize=10748324 memory=1027180 CPUtime=2311.75 cores=1,3,5,7
/proc/29974/task/30008/stat : 30008 (java) R 29971 29974 29917 0 -1 4202560 43880 0 0 0 231143 32 0 0 20 0 16 0 414290496 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854958579440 139855234981592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
Current children cumulated CPU time: 2339.23 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1027180 KiB
[startup+2382.3 s]
/proc/loadavg: 1.70 1.69 1.59 3/230 30304
/proc/meminfo: memFree=29826968/32770624 swapFree=66940844/67108860
[pid=29974] ppid=29971 vsize=10748324 memory=1027180 CPUtime=2399.6 cores=1,3,5,7
/proc/29974/stat : 29974 (java) S 29971 29974 29917 0 -1 1077944320 163462 0 5 0 239784 176 0 0 20 0 16 0 414290216 11006283776 256795 33554432000 4194304 4196468 140733697160672 140733697143216 139855626473207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
/proc/29974/statm: 2687081 256795 3378 1 0 2647217 0
[pid=29974/tid=29980] ppid=29971 vsize=10748324 memory=1027180 CPUtime=1.85 cores=1,3,5,7
/proc/29974/task/29980/stat : 29980 (java) S 29971 29974 29917 0 -1 1077944384 14525 0 5 0 179 6 0 0 20 0 16 0 414290231 11006283776 256795 33554432000 4194304 4196468 140733697160672 139855630716080 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29982] ppid=29971 vsize=10748324 memory=1027180 CPUtime=4.34 cores=1,3,5,7
/proc/29974/task/29982/stat : 29982 (java) S 29971 29974 29917 0 -1 1077944384 9931 0 0 0 411 23 0 0 20 0 16 0 414290245 11006283776 256795 33554432000 4194304 4196468 140733697160672 139855552547216 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29983] ppid=29971 vsize=10748324 memory=1027180 CPUtime=4.35 cores=1,3,5,7
/proc/29974/task/29983/stat : 29983 (java) S 29971 29974 29917 0 -1 1077944384 9831 0 0 0 417 18 0 0 20 0 16 0 414290245 11006283776 256795 33554432000 4194304 4196468 140733697160672 139855551494416 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29984] ppid=29971 vsize=10748324 memory=1027180 CPUtime=4.36 cores=1,3,5,7
/proc/29974/task/29984/stat : 29984 (java) S 29971 29974 29917 0 -1 1077944384 16633 0 0 0 416 20 0 0 20 0 16 0 414290245 11006283776 256795 33554432000 4194304 4196468 140733697160672 139855550442128 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29985] ppid=29971 vsize=10748324 memory=1027180 CPUtime=4.37 cores=1,3,5,7
/proc/29974/task/29985/stat : 29985 (java) S 29971 29974 29917 0 -1 1077944384 12741 0 0 0 416 21 0 0 20 0 16 0 414290245 11006283776 256795 33554432000 4194304 4196468 140733697160672 139855549389328 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29990] ppid=29971 vsize=10748324 memory=1027180 CPUtime=2.5 cores=1,3,5,7
/proc/29974/task/29990/stat : 29990 (java) S 29971 29974 29917 0 -1 1077944384 13608 0 0 0 231 19 0 0 20 0 16 0 414290248 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854983662192 139855626484354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29992] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29992/stat : 29992 (java) S 29971 29974 29917 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414290248 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854982608224 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29994] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29994/stat : 29994 (java) S 29971 29974 29917 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414290248 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854981555840 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29996] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29996/stat : 29996 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854980504144 139855626491803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29997] ppid=29971 vsize=10748324 memory=6791534058613427641 CPUtime=2.18 cores=1,3,5,7
/proc/29974/task/29997/stat : 29997 (java) S 29971 29974 29917 0 -1 1077944384 13469 0 0 0 216 2 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854979450992 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29998] ppid=29971 vsize=10748324 memory=1027180 CPUtime=2.06 cores=1,3,5,7
/proc/29974/task/29998/stat : 29998 (java) S 29971 29974 29917 0 -1 1077944384 13277 0 0 0 205 1 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854978398192 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29999] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0.99 cores=1,3,5,7
/proc/29974/task/29999/stat : 29999 (java) S 29971 29974 29917 0 -1 1077944384 12029 0 0 0 97 2 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854977345904 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30000] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0 cores=1,3,5,7
/proc/29974/task/30000/stat : 30000 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854976293344 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30006] ppid=29971 vsize=10748324 memory=39072 CPUtime=0.93 cores=1,3,5,7
/proc/29974/task/30006/stat : 30006 (java) S 29971 29974 29917 0 -1 1077944384 1581 0 0 0 43 50 0 0 20 0 16 0 414290272 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854975241136 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30008] ppid=29971 vsize=10748324 memory=3620 CPUtime=2371.54 cores=1,3,5,7
/proc/29974/task/30008/stat : 30008 (java) R 29971 29974 29917 0 -1 4202560 44440 0 0 0 237122 32 0 0 20 0 16 0 414290496 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854958579440 139855234300410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
Current children cumulated CPU time: 2399.6 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1027180 KiB
[startup+2442.3 s]
/proc/loadavg: 1.78 1.72 1.60 3/229 30309
/proc/meminfo: memFree=29827228/32770624 swapFree=66940844/67108860
[pid=29974] ppid=29971 vsize=10748324 memory=1027180 CPUtime=2460.11 cores=1,3,5,7
/proc/29974/stat : 29974 (java) S 29971 29974 29917 0 -1 1077944320 164619 0 5 0 245831 180 0 0 20 0 16 0 414290216 11006283776 256795 33554432000 4194304 4196468 140733697160672 140733697143216 139855626473207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
/proc/29974/statm: 2687081 256795 3378 1 0 2647217 0
[pid=29974/tid=29980] ppid=29971 vsize=10748324 memory=1027180 CPUtime=1.85 cores=1,3,5,7
/proc/29974/task/29980/stat : 29980 (java) S 29971 29974 29917 0 -1 1077944384 14525 0 5 0 179 6 0 0 20 0 16 0 414290231 11006283776 256795 33554432000 4194304 4196468 140733697160672 139855630716080 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29982] ppid=29971 vsize=10748324 memory=1027180 CPUtime=4.51 cores=1,3,5,7
/proc/29974/task/29982/stat : 29982 (java) S 29971 29974 29917 0 -1 1077944384 10264 0 0 0 427 24 0 0 20 0 16 0 414290245 11006283776 256795 33554432000 4194304 4196468 140733697160672 139855552547216 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29983] ppid=29971 vsize=10748324 memory=1027180 CPUtime=4.53 cores=1,3,5,7
/proc/29974/task/29983/stat : 29983 (java) S 29971 29974 29917 0 -1 1077944384 9903 0 0 0 434 19 0 0 20 0 16 0 414290245 11006283776 256795 33554432000 4194304 4196468 140733697160672 139855551494416 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29984] ppid=29971 vsize=10748324 memory=1027180 CPUtime=4.54 cores=1,3,5,7
/proc/29974/task/29984/stat : 29984 (java) S 29971 29974 29917 0 -1 1077944384 16772 0 0 0 433 21 0 0 20 0 16 0 414290245 11006283776 256795 33554432000 4194304 4196468 140733697160672 139855550442128 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29985] ppid=29971 vsize=10748324 memory=1027180 CPUtime=4.55 cores=1,3,5,7
/proc/29974/task/29985/stat : 29985 (java) S 29971 29974 29917 0 -1 1077944384 12793 0 0 0 433 22 0 0 20 0 16 0 414290245 11006283776 256795 33554432000 4194304 4196468 140733697160672 139855549389328 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29990] ppid=29971 vsize=10748324 memory=1027180 CPUtime=2.62 cores=1,3,5,7
/proc/29974/task/29990/stat : 29990 (java) S 29971 29974 29917 0 -1 1077944384 13800 0 0 0 242 20 0 0 20 0 16 0 414290248 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854983662192 139855626484354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29992] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29992/stat : 29992 (java) S 29971 29974 29917 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414290248 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854982608224 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29994] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29994/stat : 29994 (java) S 29971 29974 29917 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414290248 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854981555840 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29996] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29996/stat : 29996 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854980504144 139855626491803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29997] ppid=29971 vsize=10748324 memory=1027180 CPUtime=2.19 cores=1,3,5,7
/proc/29974/task/29997/stat : 29997 (java) S 29971 29974 29917 0 -1 1077944384 13471 0 0 0 217 2 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854979450992 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29998] ppid=29971 vsize=10748324 memory=0 CPUtime=2.06 cores=1,3,5,7
/proc/29974/task/29998/stat : 29998 (java) S 29971 29974 29917 0 -1 1077944384 13279 0 0 0 205 1 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854978398192 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29999] ppid=29971 vsize=10748324 memory=39072 CPUtime=0.99 cores=1,3,5,7
/proc/29974/task/29999/stat : 29999 (java) S 29971 29974 29917 0 -1 1077944384 12031 0 0 0 97 2 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854977345904 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30000] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0 cores=1,3,5,7
/proc/29974/task/30000/stat : 30000 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414290265 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854976293344 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30006] ppid=29971 vsize=10748324 memory=1027180 CPUtime=0.95 cores=1,3,5,7
/proc/29974/task/30006/stat : 30006 (java) S 29971 29974 29917 0 -1 1077944384 1598 0 0 0 44 51 0 0 20 0 16 0 414290272 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854975241136 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30008] ppid=29971 vsize=10748324 memory=1027180 CPUtime=2431.2 cores=1,3,5,7
/proc/29974/task/30008/stat : 30008 (java) R 29971 29974 29917 0 -1 4202560 44786 0 0 0 243088 32 0 0 20 0 16 0 414290496 11006283776 256795 33554432000 4194304 4196468 140733697160672 139854958579040 139855233967172 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
Current children cumulated CPU time: 2460.11 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1027180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2501.8 s]
/proc/loadavg: 1.74 1.72 1.61 3/229 30315
/proc/meminfo: memFree=29830224/32770624 swapFree=66940844/67108860
[pid=29974] ppid=29971 vsize=10748324 memory=1023072 CPUtime=2520.08 cores=1,3,5,7
/proc/29974/stat : 29974 (java) S 29971 29974 29917 0 -1 1077944320 165533 0 5 0 251824 184 0 0 20 0 16 0 414290216 11006283776 255768 33554432000 4194304 4196468 140733697160672 140733697143216 139855626473207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
/proc/29974/statm: 2687081 255768 3378 1 0 2647217 0
[pid=29974/tid=29980] ppid=29971 vsize=10748324 memory=780 CPUtime=1.85 cores=1,3,5,7
/proc/29974/task/29980/stat : 29980 (java) S 29971 29974 29917 0 -1 1077944384 14525 0 5 0 179 6 0 0 20 0 16 0 414290231 11006283776 255768 33554432000 4194304 4196468 140733697160672 139855630716080 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29982] ppid=29971 vsize=10748324 memory=5972 CPUtime=4.68 cores=1,3,5,7
/proc/29974/task/29982/stat : 29982 (java) S 29971 29974 29917 0 -1 1077944384 10564 0 0 0 443 25 0 0 20 0 16 0 414290245 11006283776 255768 33554432000 4194304 4196468 140733697160672 139855552547216 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29983] ppid=29971 vsize=10748324 memory=6791534058613427641 CPUtime=4.68 cores=1,3,5,7
/proc/29974/task/29983/stat : 29983 (java) S 29971 29974 29917 0 -1 1077944384 9921 0 0 0 449 19 0 0 20 0 16 0 414290245 11006283776 255768 33554432000 4194304 4196468 140733697160672 139855551494416 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29984] ppid=29971 vsize=10748324 memory=1556 CPUtime=4.71 cores=1,3,5,7
/proc/29974/task/29984/stat : 29984 (java) S 29971 29974 29917 0 -1 1077944384 16802 0 0 0 449 22 0 0 20 0 16 0 414290245 11006283776 255768 33554432000 4194304 4196468 140733697160672 139855550442128 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29985] ppid=29971 vsize=10748324 memory=532 CPUtime=4.71 cores=1,3,5,7
/proc/29974/task/29985/stat : 29985 (java) S 29971 29974 29917 0 -1 1077944384 12796 0 0 0 449 22 0 0 20 0 16 0 414290245 11006283776 255768 33554432000 4194304 4196468 140733697160672 139855549389328 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29990] ppid=29971 vsize=10748324 memory=928 CPUtime=2.72 cores=1,3,5,7
/proc/29974/task/29990/stat : 29990 (java) S 29971 29974 29917 0 -1 1077944384 13825 0 0 0 251 21 0 0 20 0 16 0 414290248 11006283776 255768 33554432000 4194304 4196468 140733697160672 139854983662192 139855626484354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29992] ppid=29971 vsize=10748324 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29992/stat : 29992 (java) S 29971 29974 29917 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414290248 11006283776 255768 33554432000 4194304 4196468 140733697160672 139854982608224 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29994] ppid=29971 vsize=10748324 memory=1023072 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29994/stat : 29994 (java) S 29971 29974 29917 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414290248 11006283776 255768 33554432000 4194304 4196468 140733697160672 139854981555840 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29996] ppid=29971 vsize=10748324 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/29974/task/29996/stat : 29996 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414290265 11006283776 255768 33554432000 4194304 4196468 140733697160672 139854980504144 139855626491803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29997] ppid=29971 vsize=10748324 memory=1436 CPUtime=2.19 cores=1,3,5,7
/proc/29974/task/29997/stat : 29997 (java) S 29971 29974 29917 0 -1 1077944384 13473 0 0 0 217 2 0 0 20 0 16 0 414290265 11006283776 255768 33554432000 4194304 4196468 140733697160672 139854979450992 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29998] ppid=29971 vsize=10748324 memory=3620 CPUtime=2.06 cores=1,3,5,7
/proc/29974/task/29998/stat : 29998 (java) S 29971 29974 29917 0 -1 1077944384 13282 0 0 0 205 1 0 0 20 0 16 0 414290265 11006283776 255768 33554432000 4194304 4196468 140733697160672 139854978398192 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=29999] ppid=29971 vsize=10748324 memory=288230574492221466 CPUtime=0.99 cores=1,3,5,7
/proc/29974/task/29999/stat : 29999 (java) S 29971 29974 29917 0 -1 1077944384 12033 0 0 0 97 2 0 0 20 0 16 0 414290265 11006283776 255768 33554432000 4194304 4196468 140733697160672 139854977345904 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30000] ppid=29971 vsize=10748324 memory=304274691181510966 CPUtime=0 cores=1,3,5,7
/proc/29974/task/30000/stat : 30000 (java) S 29971 29974 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414290265 11006283776 255768 33554432000 4194304 4196468 140733697160672 139854976293344 139855626483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30006] ppid=29971 vsize=10748324 memory=14698482732632482 CPUtime=0.98 cores=1,3,5,7
/proc/29974/task/30006/stat : 30006 (java) S 29971 29974 29917 0 -1 1077944384 1626 0 0 0 45 53 0 0 20 0 16 0 414290272 11006283776 255768 33554432000 4194304 4196468 140733697160672 139854975241136 139855626484354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
[pid=29974/tid=30008] ppid=29971 vsize=10748324 memory=2304 CPUtime=2490.41 cores=1,3,5,7
/proc/29974/task/30008/stat : 30008 (java) R 29971 29974 29917 0 -1 4202560 45289 0 0 0 249008 33 0 0 20 0 16 0 414290496 11006283776 255768 33554432000 4194304 4196468 140733697160672 139854958579328 139855233967744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140733697168395 140733697168498 140733697168498 140733697171407 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1023072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2501.81 s]
# the end of solver process 29974 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.25 s, system=1.85277 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2501.81
CPU time (s): 2520.11
CPU user time (s): 2518.25
CPU system time (s): 1.85277
CPU usage (%): 100.731
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1693056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.25
system time used= 1.85277
maximum resident set size= 1695776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166005
page faults= 5
swaps= 0
block input operations= 15808
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116215
involuntary context switches= 5393
# summary of solver processes directly reported to runsolver:
# pid: 29974
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.25
# total CPU system time (s): 1.85277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4687 second user time and 22.6652 second system time
The end