2.37/1.88
2.37/1.88 AbsCon 2
2.62/1.90
3.25/2.15 Instance
3.25/2.15 name=instance-4391339-1568388080, framework=COP, bounds=-infty..+infty
3.25/2.15
3.25/2.15 Loading variables...
3.58/2.24 Loading constraints...
5.06/2.72
5.06/2.72 Domains
5.06/2.72 nTypes=17, nValues=499035, sizes=[13#30,14#90,15#330,1059#465]
5.06/2.72 Variables
5.06/2.72 count=915, degrees=[2#240,3#450,29#225]
5.06/2.72 Objectives
5.06/2.72 way=min, type=ObjMaximumLE
5.06/2.72 Constraints
5.06/2.72 count=2281, nSpecific=1816, arities=[1#15,2#1800,3#225,15#16,17#225]
5.06/2.72 distribution=[AllDifferent#15,CtrExtensionSmart-TableSmart#1575,CtrExtensionV-Bits#225,CtrIntension#240,ElementVariable#225,ObjMaximumLE#1]
5.06/2.72 tables=[2#1575], nTotalTuples=3150
5.06/2.72 nExtStructures=(1590,shared:210), nIntStructures=(45,shared:195), nCftStructures=(15,shared:210,unbuilt:2056)
5.06/2.72 wck=0.861, cpu=2.667, mem=140M200
5.43/2.87 Solver SolverBacktrack being built...
5.43/2.87
5.68/2.91
5.68/2.91 Solver
5.68/2.91 guaranteedGAC=false
5.68/2.91 wck=1.055, cpu=2.81, mem=160M66
5.96/3.02
5.96/3.02 Preprocessing
5.96/3.02 filters=15, revisions=(15,useless=0), ccks=15885, nACremovedValues=11133, nTotalRemovedValues=11133, inconcistency=false
5.96/3.02 wck=0.113, cpu=2.924, mem=167M991
5.96/3.02
7.85/3.75 num=0, depth=92..92, filters=3056, revisions=(1246,useless=157), ccks=314072, wck=0.843, mem=186M774
7.85/3.75 decisions=112, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
7.85/3.75 nFilterCalls=11854, avgTableProportion=0.4651172599966256, avgTableSize=0.9302345199932512
7.85/3.75
8.31/3.97 num=1, depth=0..33, filters=4390, revisions=(1575,useless=241), ccks=430232, wck=1.066, mem=284M478
8.31/3.97 decisions=165, wrong=21, backtracks=2, failedAssignments=21, nogoods=13
8.31/3.97 nFilterCalls=15212, avgTableProportion=0.4643044964501709, avgTableSize=0.9286089929003418
8.31/3.97
8.52/4.07 num=2, depth=0..4, filters=4513, revisions=(1659,useless=244), ccks=1179516, wck=1.161, mem=289M363
8.52/4.07 decisions=193, wrong=33, backtracks=2, failedAssignments=33, nogoods=20
8.52/4.07 nFilterCalls=15548, avgTableProportion=0.4650758940056599, avgTableSize=0.9301517880113198
8.52/4.07
8.72/4.21 num=3, depth=0..5, filters=4670, revisions=(1773,useless=257), ccks=2530215, wck=1.3, mem=299M133
8.72/4.21 decisions=224, wrong=46, backtracks=2, failedAssignments=46, nogoods=29
8.72/4.21 nFilterCalls=16066, avgTableProportion=0.46620191709199554, avgTableSize=0.9324038341839911
8.72/4.21
9.06/4.57 num=4, depth=0..35, filters=5843, revisions=(2143,useless=328), ccks=4468394, wck=1.658, mem=391M952
9.06/4.57 decisions=283, wrong=60, backtracks=6, failedAssignments=60, nogoods=31
9.06/4.57 nFilterCalls=19458, avgTableProportion=0.4658238256758146, avgTableSize=0.9316476513516292
9.06/4.57
9.39/4.74 num=5, depth=0..11, filters=6049, revisions=(2289,useless=346), ccks=5906774, wck=1.834, mem=172M47
9.39/4.74 decisions=326, wrong=76, backtracks=6, failedAssignments=76, nogoods=42
9.39/4.74 nFilterCalls=20130, avgTableProportion=0.46669150521609537, avgTableSize=0.9333830104321907
9.39/4.74
9.49/4.82 num=6, depth=0..3, filters=6146, revisions=(2358,useless=348), ccks=6679226, wck=1.916, mem=176M902
9.49/4.82 decisions=363, wrong=93, backtracks=6, failedAssignments=93, nogoods=49
9.49/4.82 nFilterCalls=20340, avgTableProportion=0.4670353982300885, avgTableSize=0.934070796460177
9.49/4.82
9.89/5.21 num=7, depth=30..36, filters=7253, revisions=(2743,useless=389), ccks=9311983, wck=2.306, mem=259M437
9.89/5.21 decisions=431, wrong=112, backtracks=12, failedAssignments=112, nogoods=51
9.89/5.21 nFilterCalls=23886, avgTableProportion=0.46721929163526754, avgTableSize=0.9344385832705351
9.89/5.21
9.89/5.25 num=8, depth=0..3, filters=7365, revisions=(2839,useless=391), ccks=9567375, wck=2.341, mem=264M292
9.89/5.25 decisions=476, wrong=133, backtracks=12, failedAssignments=133, nogoods=62
9.89/5.25 nFilterCalls=24033, avgTableProportion=0.4674197977780552, avgTableSize=0.9348395955561104
9.89/5.25
10.31/5.67 num=9, depth=24..38, filters=8359, revisions=(3106,useless=420), ccks=12356488, wck=2.758, mem=351M682
10.31/5.67 decisions=559, wrong=156, backtracks=13, failedAssignments=156, nogoods=75
10.31/5.67 nFilterCalls=27679, avgTableProportion=0.46799017305538493, avgTableSize=0.9359803461107699
10.31/5.67
10.81/6.06 num=10, depth=0..38, filters=9452, revisions=(3408,useless=470), ccks=14696462, wck=3.147, mem=187M579
10.81/6.06 decisions=645, wrong=181, backtracks=15, failedAssignments=181, nogoods=77
10.81/6.06 nFilterCalls=31295, avgTableProportion=0.46838153059594184, avgTableSize=0.9367630611918837
10.81/6.06
11.14/6.34 num=11, depth=0..39, filters=10509, revisions=(3650,useless=482), ccks=15955671, wck=3.43, mem=277M710
11.14/6.34 decisions=739, wrong=209, backtracks=16, failedAssignments=209, nogoods=94
11.14/6.34 nFilterCalls=34925, avgTableProportion=0.46871868289191126, avgTableSize=0.9374373657838225
11.14/6.34
11.45/6.67 num=12, depth=39..41, filters=11631, revisions=(3956,useless=505), ccks=17918256, wck=3.759, mem=356M260
11.45/6.67 decisions=840, wrong=240, backtracks=18, failedAssignments=240, nogoods=112
11.45/6.67 nFilterCalls=38505, avgTableProportion=0.4691468640436307, avgTableSize=0.9382937280872614
11.45/6.67
11.45/6.69 num=13, depth=0..4, filters=11804, revisions=(4131,useless=512), ccks=18048640, wck=3.78, mem=364M988
11.45/6.69 decisions=910, wrong=274, backtracks=20, failedAssignments=274, nogoods=119
11.45/6.69 nFilterCalls=38533, avgTableProportion=0.4691692834713103, avgTableSize=0.9383385669426206
11.45/6.69
11.98/7.13 num=14, depth=39..40, filters=13094, revisions=(4429,useless=555), ccks=21270520, wck=4.219, mem=434M810
11.98/7.13 decisions=1024, wrong=311, backtracks=20, failedAssignments=311, nogoods=156
11.98/7.13 nFilterCalls=42937, avgTableProportion=0.46946689335538117, avgTableSize=0.9389337867107623
11.98/7.13
12.17/7.32 num=15, depth=0..10, filters=13393, revisions=(4706,useless=563), ccks=23370929, wck=4.413, mem=443M538
12.17/7.32 decisions=1112, wrong=352, backtracks=24, failedAssignments=352, nogoods=157
12.17/7.32 nFilterCalls=43196, avgTableProportion=0.46964996758959165, avgTableSize=0.9392999351791833
12.17/7.32
12.60/7.73 num=16, depth=38..38, filters=14947, revisions=(4982,useless=580), ccks=26242704, wck=4.821, mem=513M360
12.60/7.73 decisions=1240, wrong=397, backtracks=24, failedAssignments=397, nogoods=202
12.60/7.73 nFilterCalls=47834, avgTableProportion=0.47026173851235525, avgTableSize=0.9405234770247105
12.60/7.73
13.11/8.24 num=17, depth=40..42, filters=15878, revisions=(5327,useless=600), ccks=30323572, wck=5.333, mem=583M183
13.11/8.24 decisions=1380, wrong=447, backtracks=26, failedAssignments=447, nogoods=249
13.11/8.24 nFilterCalls=51588, avgTableProportion=0.47104946886872917, avgTableSize=0.9420989377374583
13.11/8.24
13.56/8.60 num=18, depth=0..25, filters=16537, revisions=(5753,useless=688), ccks=33448725, wck=5.694, mem=180M342
13.56/8.60 decisions=1515, wrong=502, backtracks=26, failedAssignments=502, nogoods=302
13.56/8.60 nFilterCalls=54280, avgTableProportion=0.4717114959469418, avgTableSize=0.9434229918938836
13.56/8.60
13.67/8.78 num=19, depth=0..8, filters=16916, revisions=(6066,useless=698), ccks=35315246, wck=5.876, mem=189M67
13.67/8.78 decisions=1640, wrong=563, backtracks=31, failedAssignments=563, nogoods=311
13.67/8.78 nFilterCalls=54826, avgTableProportion=0.4719932148980411, avgTableSize=0.9439864297960822
13.67/8.78
14.08/9.14 num=20, depth=17..17, filters=17280, revisions=(6445,useless=767), ccks=39193973, wck=6.237, mem=197M792
14.08/9.14 decisions=1791, wrong=630, backtracks=31, failedAssignments=630, nogoods=378
14.08/9.14 nFilterCalls=55372, avgTableProportion=0.4722693780249946, avgTableSize=0.9445387560499892
14.08/9.14
14.47/9.51 num=21, depth=0..20, filters=17757, revisions=(6876,useless=845), ccks=42933284, wck=6.602, mem=206M517
14.47/9.51 decisions=1959, wrong=704, backtracks=31, failedAssignments=704, nogoods=448
14.47/9.51 nFilterCalls=56464, avgTableProportion=0.4728056814961746, avgTableSize=0.9456113629923492
14.47/9.51
14.77/9.86 num=22, depth=0..11, filters=18189, revisions=(7288,useless=856), ccks=46823565, wck=6.951, mem=215M242
14.77/9.86 decisions=2124, wrong=785, backtracks=39, failedAssignments=785, nogoods=457
14.77/9.86 nFilterCalls=56758, avgTableProportion=0.4729465449804433, avgTableSize=0.9458930899608866
14.77/9.86
15.37/10.46 num=23, depth=26..26, filters=20155, revisions=(7569,useless=870), ccks=52948548, wck=7.553, mem=241M416
15.37/10.46 decisions=2328, wrong=874, backtracks=39, failedAssignments=874, nogoods=546
15.37/10.46 nFilterCalls=61515, avgTableProportion=0.47503048037064133, avgTableSize=0.9500609607412827
15.37/10.46
16.38/11.46 num=24, depth=5..41, filters=21498, revisions=(8299,useless=914), ccks=62784934, wck=8.553, mem=311M216
16.38/11.46 decisions=2563, wrong=972, backtracks=50, failedAssignments=972, nogoods=573
16.38/11.46 nFilterCalls=66029, avgTableProportion=0.4759575338109013, avgTableSize=0.9519150676218026
16.38/11.46
16.83/11.81 num=25, depth=0..4, filters=22098, revisions=(8869,useless=939), ccks=66420585, wck=8.897, mem=319M941
16.83/11.81 decisions=2781, wrong=1080, backtracks=59, failedAssignments=1080, nogoods=580
16.83/11.81 nFilterCalls=66449, avgTableProportion=0.4761094975093681, avgTableSize=0.9522189950187362
16.83/11.81
17.63/12.61 num=26, depth=39..41, filters=23121, revisions=(9312,useless=954), ccks=74106233, wck=9.704, mem=381M15
17.63/12.61 decisions=3058, wrong=1199, backtracks=61, failedAssignments=1199, nogoods=696
17.63/12.61 nFilterCalls=70662, avgTableProportion=0.4770598058362345, avgTableSize=0.954119611672469
17.63/12.61
18.83/13.83 num=27, depth=0..27, filters=24735, revisions=(10124,useless=998), ccks=87501991, wck=10.924, mem=407M190
18.83/13.83 decisions=3347, wrong=1330, backtracks=70, failedAssignments=1330, nogoods=728
18.83/13.83 nFilterCalls=74322, avgTableProportion=0.47815586232878554, avgTableSize=0.9563117246575711
18.83/13.83
20.14/15.17 num=28, depth=6..43, filters=26181, revisions=(10894,useless=1045), ccks=101149420, wck=12.264, mem=476M989
20.14/15.17 decisions=3675, wrong=1474, backtracks=82, failedAssignments=1474, nogoods=814
20.14/15.17 nFilterCalls=79307, avgTableProportion=0.4788228025268892, avgTableSize=0.9576456050537784
20.14/15.17
20.73/15.76 num=29, depth=0..13, filters=26968, revisions=(11643,useless=1069), ccks=107569569, wck=12.855, mem=494M439
20.73/15.76 decisions=3993, wrong=1632, backtracks=93, failedAssignments=1632, nogoods=816
20.73/15.76 nFilterCalls=79902, avgTableProportion=0.4789805011138645, avgTableSize=0.957961002227729
20.73/15.76
21.89/16.84 num=30, depth=22..40, filters=28788, revisions=(12385,useless=1117), ccks=116664399, wck=13.927, mem=167M206
21.89/16.84 decisions=4378, wrong=1806, backtracks=99, failedAssignments=1806, nogoods=951
21.89/16.84 nFilterCalls=88528, avgTableProportion=0.4793116302186879, avgTableSize=0.9586232604373758
21.89/16.84
22.29/17.29 num=31, depth=0..15, filters=29778, revisions=(13312,useless=1146), ccks=121280212, wck=14.377, mem=182M17
22.29/17.29 decisions=4767, wrong=1997, backtracks=112, failedAssignments=1997, nogoods=965
22.29/17.29 nFilterCalls=89347, avgTableProportion=0.4794900780104536, avgTableSize=0.9589801560209072
22.29/17.29
23.49/18.49 num=32, depth=21..40, filters=31377, revisions=(14071,useless=1181), ccks=133037348, wck=15.58, mem=256M70
23.49/18.49 decisions=5226, wrong=2208, backtracks=120, failedAssignments=2208, nogoods=1129
23.49/18.49 nFilterCalls=95968, avgTableProportion=0.4801704734911637, avgTableSize=0.9603409469823274
23.49/18.49
24.20/19.18 num=33, depth=0..21, filters=32718, revisions=(15235,useless=1222), ccks=139962013, wck=16.267, mem=285M692
24.20/19.18 decisions=5708, wrong=2440, backtracks=137, failedAssignments=2440, nogoods=1155
24.20/19.18 nFilterCalls=97942, avgTableProportion=0.48048334728716996, avgTableSize=0.9609666945743399
24.20/19.18
25.41/20.39 num=34, depth=22..40, filters=34403, revisions=(16075,useless=1266), ccks=151842582, wck=17.481, mem=359M746
25.41/20.39 decisions=6255, wrong=2695, backtracks=145, failedAssignments=2695, nogoods=1371
25.41/20.39 nFilterCalls=104900, avgTableProportion=0.48131077216396567, avgTableSize=0.9626215443279313
25.41/20.39
26.41/21.36 num=35, depth=0..21, filters=36013, revisions=(17461,useless=1305), ccks=161798642, wck=18.448, mem=389M367
26.41/21.36 decisions=6836, wrong=2976, backtracks=166, failedAssignments=2976, nogoods=1406
26.41/21.36 nFilterCalls=107266, avgTableProportion=0.48165774802826616, avgTableSize=0.9633154960565323
26.41/21.36
27.81/22.72 num=36, depth=22..40, filters=41437, revisions=(18190,useless=1434), ccks=174892483, wck=19.811, mem=448M610
27.81/22.72 decisions=7494, wrong=3285, backtracks=173, failedAssignments=3285, nogoods=1660
27.81/22.72 nFilterCalls=121673, avgTableProportion=0.4834063432314482, avgTableSize=0.9668126864628964
27.81/22.72
28.31/23.29 num=37, depth=0..21, filters=43118, revisions=(19713,useless=1490), ccks=180311151, wck=20.381, mem=493M43
28.31/23.29 decisions=8178, wrong=3625, backtracks=202, failedAssignments=3625, nogoods=1727
28.31/23.29 nFilterCalls=123493, avgTableProportion=0.48365089519244003, avgTableSize=0.9673017903848801
28.31/23.29
30.27/25.17 num=38, depth=23..192, filters=53973, revisions=(21914,useless=1873), ccks=194531763, wck=22.258, mem=759M636
30.27/25.17 decisions=9118, wrong=3999, backtracks=207, failedAssignments=3999, nogoods=2086
30.27/25.17 nFilterCalls=150157, avgTableProportion=0.47892206157555095, avgTableSize=0.9578441231511019
30.27/25.17
31.62/26.42 num=39, depth=0..43, filters=55905, revisions=(22789,useless=1909), ccks=206670925, wck=23.515, mem=804M69
31.62/26.42 decisions=9983, wrong=4410, backtracks=209, failedAssignments=4410, nogoods=2489
31.62/26.42 nFilterCalls=161602, avgTableProportion=0.47847489511268426, avgTableSize=0.9569497902253685
31.62/26.42
33.63/28.47 num=40, depth=0..148, filters=61127, revisions=(24930,useless=2201), ccks=223780770, wck=25.562, mem=301M238
33.63/28.47 decisions=11035, wrong=4862, backtracks=211, failedAssignments=4862, nogoods=2523
33.63/28.47 nFilterCalls=176885, avgTableProportion=0.47502049354100123, avgTableSize=0.9500409870820025
33.63/28.47
35.14/29.97 num=41, depth=0..46, filters=63261, revisions=(26163,useless=2457), ccks=238881192, wck=27.061, mem=360M592
35.14/29.97 decisions=12075, wrong=5359, backtracks=213, failedAssignments=5359, nogoods=3003
35.14/29.97 nFilterCalls=189291, avgTableProportion=0.476079158544252, avgTableSize=0.952158317088504
35.14/29.97
37.25/31.93 num=42, depth=0..20, filters=66151, revisions=(28586,useless=2556), ccks=259092184, wck=29.019, mem=436M828
37.25/31.93 decisions=13175, wrong=5906, backtracks=263, failedAssignments=5906, nogoods=3102
37.25/31.93 nFilterCalls=194100, avgTableProportion=0.47663575476558473, avgTableSize=0.9532715095311695
37.25/31.93
38.66/33.37 num=43, depth=40..40, filters=68852, revisions=(30754,useless=3184), ccks=273037264, wck=30.463, mem=466M505
38.66/33.37 decisions=14419, wrong=6508, backtracks=263, failedAssignments=6508, nogoods=3704
38.66/33.37 nFilterCalls=207212, avgTableProportion=0.4773323938768025, avgTableSize=0.954664787753605
38.66/33.37
41.11/35.76 num=44, depth=21..152, filters=78203, revisions=(34363,useless=4012), ccks=286582224, wck=32.855, mem=232M761
41.11/35.76 decisions=15885, wrong=7170, backtracks=281, failedAssignments=7170, nogoods=4274
41.11/35.76 nFilterCalls=251846, avgTableProportion=0.4762096678128698, avgTableSize=0.9524193356257395
41.11/35.76
43.21/37.89 num=45, depth=0..43, filters=82817, revisions=(38035,useless=4158), ccks=308060364, wck=34.984, mem=332M265
43.21/37.89 decisions=17367, wrong=7898, backtracks=335, failedAssignments=7898, nogoods=4303
43.21/37.89 nFilterCalls=260560, avgTableProportion=0.4764507215228738, avgTableSize=0.9529014430457476
43.21/37.89
44.91/39.50 num=46, depth=34..46, filters=86890, revisions=(40857,useless=4956), ccks=320398580, wck=36.59, mem=531M274
44.91/39.50 decisions=19015, wrong=8699, backtracks=335, failedAssignments=8699, nogoods=5104
44.91/39.50 nFilterCalls=282722, avgTableProportion=0.47594103041149965, avgTableSize=0.9518820608229993
44.91/39.50
48.81/43.46 num=47, depth=0..42, filters=101862, revisions=(44361,useless=5355), ccks=346760764, wck=40.551, mem=1028M797
48.81/43.46 decisions=20818, wrong=9580, backtracks=361, failedAssignments=9580, nogoods=5776
48.81/43.46 nFilterCalls=380420, avgTableProportion=0.48195678460648755, avgTableSize=0.9639135692129751
48.81/43.46
50.73/45.31 num=48, depth=39..39, filters=106224, revisions=(47692,useless=6352), ccks=361138003, wck=42.399, mem=213M459
50.73/45.31 decisions=22797, wrong=10550, backtracks=361, failedAssignments=10550, nogoods=6746
50.73/45.31 nFilterCalls=403334, avgTableProportion=0.4815314354852306, avgTableSize=0.9630628709704612
50.73/45.31
52.73/47.33 num=49, depth=0..30, filters=111029, revisions=(51491,useless=7328), ccks=377576554, wck=44.421, mem=412M692
52.73/47.33 decisions=24960, wrong=11617, backtracks=376, failedAssignments=11617, nogoods=6769
52.73/47.33 nFilterCalls=425668, avgTableProportion=0.4810298166646306, avgTableSize=0.9620596333292613
52.73/47.33
55.03/49.68 num=50, depth=0..49, filters=115589, revisions=(54158,useless=7419), ccks=400122168, wck=46.773, mem=532M232
55.03/49.68 decisions=27355, wrong=12790, backtracks=398, failedAssignments=12790, nogoods=7769
55.03/49.68 nFilterCalls=447081, avgTableProportion=0.4812069848640403, avgTableSize=0.9624139697280806
55.03/49.68
56.73/51.39 num=51, depth=38..39, filters=120927, revisions=(58477,useless=8739), ccks=411747295, wck=48.485, mem=731M465
56.73/51.39 decisions=29975, wrong=14081, backtracks=399, failedAssignments=14081, nogoods=8081
56.73/51.39 nFilterCalls=474746, avgTableProportion=0.4793405315684598, avgTableSize=0.9586810631369196
56.73/51.39
58.44/53.06 num=52, depth=0..43, filters=125639, revisions=(60590,useless=8792), ccks=424173666, wck=50.148, mem=950M622
58.44/53.06 decisions=32857, wrong=15501, backtracks=405, failedAssignments=15501, nogoods=8553
58.44/53.06 nFilterCalls=504910, avgTableProportion=0.4772404983066289, avgTableSize=0.9544809966132578
58.44/53.06
61.51/56.10 num=53, depth=0..141, filters=135346, revisions=(67144,useless=11286), ccks=448889682, wck=53.192, mem=355M162
61.51/56.10 decisions=36122, wrong=17064, backtracks=436, failedAssignments=17063, nogoods=9241
61.51/56.10 nFilterCalls=543993, avgTableProportion=0.4659104069353834, avgTableSize=0.9318208138707668
61.51/56.10
64.34/58.86 num=54, depth=0..142, filters=151818, revisions=(78658,useless=13071), ccks=472565804, wck=55.956, mem=606M61
64.34/58.86 decisions=39666, wrong=18782, backtracks=630, failedAssignments=18781, nogoods=9272
64.34/58.86 nFilterCalls=562892, avgTableProportion=0.4649080107729369, avgTableSize=0.9298160215458738
64.34/58.86
67.37/61.87 num=55, depth=0..48, filters=160027, revisions=(86668,useless=14179), ccks=500942077, wck=58.964, mem=781M690
67.37/61.87 decisions=43494, wrong=20672, backtracks=713, failedAssignments=20671, nogoods=10281
67.37/61.87 nFilterCalls=573576, avgTableProportion=0.4653428665076642, avgTableSize=0.9306857330153284
67.37/61.87
69.12/63.58 num=56, depth=0..54, filters=165526, revisions=(93538,useless=16298), ccks=515017938, wck=60.671, mem=882M49
69.12/63.58 decisions=47704, wrong=22751, backtracks=716, failedAssignments=22750, nogoods=10608
69.12/63.58 nFilterCalls=579755, avgTableProportion=0.4654776586661607, avgTableSize=0.9309553173323214
69.12/63.58
72.62/67.07 num=57, depth=0..143, filters=177679, revisions=(101410,useless=16734), ccks=544893920, wck=64.16, mem=1208M217
72.62/67.07 decisions=52363, wrong=25038, backtracks=870, failedAssignments=25037, nogoods=10996
72.62/67.07 nFilterCalls=604032, avgTableProportion=0.4650043375185421, avgTableSize=0.9300086750370842
72.62/67.07
75.33/69.76 num=58, depth=27..143, filters=190559, revisions=(107709,useless=18302), ccks=563439325, wck=66.848, mem=323M666
75.33/69.76 decisions=57482, wrong=27554, backtracks=946, failedAssignments=27553, nogoods=11893
75.33/69.76 nFilterCalls=646557, avgTableProportion=0.4606987473648882, avgTableSize=0.9213974947297764
75.33/69.76
78.33/72.76 num=59, depth=0..32, filters=199038, revisions=(117628,useless=20598), ccks=591172476, wck=69.857, mem=443M884
78.33/72.76 decisions=63046, wrong=30322, backtracks=1009, failedAssignments=30321, nogoods=12467
78.33/72.76 nFilterCalls=653621, avgTableProportion=0.4610768319867324, avgTableSize=0.9221536639734648
78.33/72.76
83.64/78.10 num=60, depth=0..159, filters=211817, revisions=(127165,useless=21955), ccks=642488193, wck=75.196, mem=780M495
83.64/78.10 decisions=69292, wrong=33366, backtracks=1117, failedAssignments=33365, nogoods=13365
83.64/78.10 nFilterCalls=679040, avgTableProportion=0.45982416352497646, avgTableSize=0.9196483270499529
83.64/78.10
87.33/81.71 num=61, depth=0..160, filters=227065, revisions=(137342,useless=24491), ccks=671815540, wck=78.801, mem=1165M193
87.33/81.71 decisions=76111, wrong=36715, backtracks=1247, failedAssignments=36714, nogoods=14612
87.33/81.71 nFilterCalls=718100, avgTableProportion=0.45567051942626374, avgTableSize=0.9113410388525275
87.33/81.71
91.59/86.00 num=62, depth=0..163, filters=245864, revisions=(151984,useless=30555), ccks=703075027, wck=83.09, mem=571M874
91.59/86.00 decisions=83601, wrong=40399, backtracks=1387, failedAssignments=40398, nogoods=15164
91.59/86.00 nFilterCalls=794130, avgTableProportion=0.44678138340070267, avgTableSize=0.8935627668014053
91.59/86.00
98.29/92.68 num=63, depth=0..166, filters=267331, revisions=(167851,useless=33998), ccks=758351224, wck=89.767, mem=1240M179
98.29/92.68 decisions=91870, wrong=44451, backtracks=1535, failedAssignments=44450, nogoods=16316
98.29/92.68 nFilterCalls=880251, avgTableProportion=0.43821023776172935, avgTableSize=0.8764204755234587
98.29/92.68
105.92/100.21 num=64, depth=0..178, filters=310027, revisions=(194511,useless=43226), ccks=799069923, wck=97.3, mem=793M69
105.92/100.21 decisions=100985, wrong=48931, backtracks=1896, failedAssignments=48907, nogoods=17143
105.92/100.21 nFilterCalls=1016930, avgTableProportion=0.43604967893561997, avgTableSize=0.8720993578712399
105.92/100.21
114.64/108.96 num=65, depth=0..127, filters=337190, revisions=(213094,useless=44287), ccks=881735791, wck=106.052, mem=280M156
114.64/108.96 decisions=110915, wrong=53834, backtracks=2168, failedAssignments=53810, nogoods=17543
114.64/108.96 nFilterCalls=1091380, avgTableProportion=0.4321354615257747, avgTableSize=0.8642709230515494
114.64/108.96
119.79/114.01 num=66, depth=0..84, filters=358636, revisions=(230487,useless=49793), ccks=913265859, wck=111.102, mem=990M926
119.79/114.01 decisions=121779, wrong=59228, backtracks=2185, failedAssignments=59204, nogoods=17690
119.79/114.01 nFilterCalls=1206851, avgTableProportion=0.422588621130529, avgTableSize=0.845177242261058
119.79/114.01
125.41/119.63 num=67, depth=0..78, filters=382256, revisions=(250296,useless=55427), ccks=948839612, wck=116.726, mem=645M553
125.41/119.63 decisions=133716, wrong=65161, backtracks=2244, failedAssignments=65137, nogoods=17796
125.41/119.63 nFilterCalls=1320927, avgTableProportion=0.41665436469994177, avgTableSize=0.8333087293998835
125.41/119.63
132.02/126.22 num=68, depth=0..177, filters=418032, revisions=(279243,useless=69800), ccks=993100124, wck=123.314, mem=868M977
132.02/126.22 decisions=146942, wrong=71687, backtracks=2616, failedAssignments=71663, nogoods=18044
132.02/126.22 nFilterCalls=1448524, avgTableProportion=0.4070550436168127, avgTableSize=0.8141100872336254
132.02/126.22
138.54/132.78 num=69, depth=0..180, filters=451342, revisions=(306472,useless=82821), ccks=1034422428, wck=129.874, mem=331M117
138.54/132.78 decisions=161473, wrong=78866, backtracks=2909, failedAssignments=78842, nogoods=18376
138.54/132.78 nFilterCalls=1600214, avgTableProportion=0.39779304518020714, avgTableSize=0.7955860903604143
138.54/132.78
151.17/145.35 num=70, depth=0..96, filters=496364, revisions=(338618,useless=89273), ccks=1142585730, wck=142.445, mem=490M99
151.17/145.35 decisions=177354, wrong=86763, backtracks=3224, failedAssignments=86739, nogoods=18861
151.17/145.35 nFilterCalls=1751237, avgTableProportion=0.3951475442787013, avgTableSize=0.7902950885574026
151.17/145.35
157.91/152.01 num=71, depth=0..73, filters=519616, revisions=(367909,useless=96951), ccks=1199722534, wck=149.105, mem=738M450
157.91/152.01 decisions=194794, wrong=95450, backtracks=3360, failedAssignments=95426, nogoods=19969
157.91/152.01 nFilterCalls=1765177, avgTableProportion=0.39592403481350597, avgTableSize=0.7918480696270119
157.91/152.01
169.97/164.10 num=72, depth=0..107, filters=554780, revisions=(388148,useless=97851), ccks=1303707231, wck=161.196, mem=190M33
169.97/164.10 decisions=214001, wrong=105005, backtracks=3553, failedAssignments=104981, nogoods=20753
169.97/164.10 nFilterCalls=1951676, avgTableProportion=0.39041393141074643, avgTableSize=0.7808278628214929
169.97/164.10
178.07/172.15 num=73, depth=0..179, filters=582300, revisions=(405871,useless=98999), ccks=1368347476, wck=169.239, mem=908M574
178.07/172.15 decisions=235180, wrong=115516, backtracks=3698, failedAssignments=115492, nogoods=21767
178.07/172.15 nFilterCalls=2051072, avgTableProportion=0.38980128440152273, avgTableSize=0.7796025688030455
178.07/172.15
186.59/180.69 num=74, depth=60..74, filters=624300, revisions=(441909,useless=110562), ccks=1404212602, wck=177.782, mem=584M862
186.59/180.69 decisions=258364, wrong=127078, backtracks=3713, failedAssignments=127054, nogoods=22018
186.59/180.69 nFilterCalls=2275269, avgTableProportion=0.3922503229288493, avgTableSize=0.7845006458576986
186.59/180.69
198.95/193.00 num=75, depth=0..188, filters=671909, revisions=(466201,useless=114452), ccks=1485636165, wck=190.087, mem=665M695
198.95/193.00 decisions=283975, wrong=139796, backtracks=3928, failedAssignments=139772, nogoods=22525
198.95/193.00 nFilterCalls=2540895, avgTableProportion=0.3845768912135291, avgTableSize=0.7691537824270582
198.95/193.00
212.30/206.24 num=76, depth=66..187, filters=727134, revisions=(501425,useless=123693), ccks=1561191873, wck=203.329, mem=276M908
212.30/206.24 decisions=312118, wrong=153786, backtracks=4050, failedAssignments=153762, nogoods=22855
212.30/206.24 nFilterCalls=2884363, avgTableProportion=0.37148808939790173, avgTableSize=0.7429761787958035
212.30/206.24
226.65/220.59 num=77, depth=0..163, filters=782455, revisions=(547197,useless=139247), ccks=1646393656, wck=217.68, mem=418M376
226.65/220.59 decisions=343036, wrong=169175, backtracks=4184, failedAssignments=169151, nogoods=23635
226.65/220.59 nFilterCalls=3160304, avgTableProportion=0.3729642781200796, avgTableSize=0.7459285562401592
226.65/220.59
238.20/232.03 num=78, depth=73..188, filters=834764, revisions=(574429,useless=143284), ccks=1714831023, wck=229.126, mem=260M6
238.20/232.03 decisions=377053, wrong=186103, backtracks=4347, failedAssignments=186079, nogoods=23770
238.20/232.03 nFilterCalls=3507021, avgTableProportion=0.36502504547306674, avgTableSize=0.7300500909461335
238.20/232.03
254.51/248.33 num=79, depth=0..114, filters=880026, revisions=(632431,useless=159421), ccks=1859245268, wck=245.417, mem=308M258
254.51/248.33 decisions=414393, wrong=204724, backtracks=4548, failedAssignments=204700, nogoods=24443
254.51/248.33 nFilterCalls=3538243, avgTableProportion=0.3660052461066128, avgTableSize=0.7320104922132256
254.51/248.33
273.26/266.97 num=80, depth=0..149, filters=973473, revisions=(695297,useless=179931), ccks=1916979556, wck=264.059, mem=273M346
273.26/266.97 decisions=455465, wrong=225208, backtracks=4622, failedAssignments=225184, nogoods=25116
273.26/266.97 nFilterCalls=4121727, avgTableProportion=0.3675697104635994, avgTableSize=0.7351394209271988
273.26/266.97
290.12/283.80 num=81, depth=0..189, filters=1034269, revisions=(762745,useless=199564), ccks=2053662248, wck=280.888, mem=176M30
290.12/283.80 decisions=500712, wrong=247741, backtracks=4910, failedAssignments=247716, nogoods=26587
290.12/283.80 nFilterCalls=4229076, avgTableProportion=0.36814720284052593, avgTableSize=0.7362944056810519
290.12/283.80
305.71/299.21 num=82, depth=0..178, filters=1105303, revisions=(838089,useless=220961), ccks=2174253140, wck=296.303, mem=194M597
305.71/299.21 decisions=550455, wrong=272526, backtracks=5347, failedAssignments=272501, nogoods=27445
305.71/299.21 nFilterCalls=4414110, avgTableProportion=0.368690630727372, avgTableSize=0.737381261454744
305.71/299.21
344.35/337.72 num=83, depth=0..181, filters=1200849, revisions=(932199,useless=246556), ccks=2525364097, wck=334.812, mem=225M998
344.35/337.72 decisions=605124, wrong=299790, backtracks=6190, failedAssignments=299765, nogoods=28364
344.35/337.72 nFilterCalls=4678675, avgTableProportion=0.36941206645043734, avgTableSize=0.7388241329008747
344.35/337.72
1014.22/1006.39 num=84, depth=0..150, filters=1670461, revisions=(1192926,useless=356284), ccks=9461919925, wck=1003.481, mem=174M338
1014.22/1006.39 decisions=665225, wrong=329780, backtracks=14050, failedAssignments=329755, nogoods=28645
1014.22/1006.39 nFilterCalls=7460740, avgTableProportion=0.399790972477261, avgTableSize=0.799581944954522
1014.22/1006.39
1037.49/1029.45 num=85, depth=0..139, filters=1772748, revisions=(1293899,useless=388077), ccks=9594714064, wck=1026.539, mem=205M932
1037.49/1029.45 decisions=731330, wrong=362769, backtracks=14158, failedAssignments=362744, nogoods=29427
1037.49/1029.45 nFilterCalls=7865311, avgTableProportion=0.4018291202979768, avgTableSize=0.8036582405959536
1037.49/1029.45
1057.71/1049.50 num=86, depth=0..151, filters=1879357, revisions=(1413694,useless=425464), ccks=9729744743, wck=1046.591, mem=297M893
1057.71/1049.50 decisions=804015, wrong=399057, backtracks=14564, failedAssignments=399032, nogoods=30075
1057.71/1049.50 nFilterCalls=8083926, avgTableProportion=0.4032428673889395, avgTableSize=0.806485734777879
1057.71/1049.50
1080.37/1072.02 num=87, depth=0..146, filters=2016069, revisions=(1536746,useless=465554), ccks=9829032383, wck=1069.112, mem=173M117
1080.37/1072.02 decisions=883935, wrong=438974, backtracks=14672, failedAssignments=438949, nogoods=30701
1080.37/1072.02 nFilterCalls=8783940, avgTableProportion=0.4001090057536823, avgTableSize=0.8002180115073646
1080.37/1072.02
1201.29/1192.06 num=88, depth=0..151, filters=2541806, revisions=(1742800,useless=536802), ccks=10580802991, wck=1189.149, mem=170M64
1201.29/1192.06 decisions=971919, wrong=482891, backtracks=15535, failedAssignments=482858, nogoods=31563
1201.29/1192.06 nFilterCalls=11864210, avgTableProportion=0.4083501556361528, avgTableSize=0.8167003112723056
1201.29/1192.06
1222.61/1213.14 num=89, depth=0..270, filters=2794485, revisions=(1924139,useless=613374), ccks=10670059939, wck=1210.228, mem=244M310
1222.61/1213.14 decisions=1068913, wrong=531255, backtracks=17103, failedAssignments=531158, nogoods=32403
1222.61/1213.14 nFilterCalls=12711585, avgTableProportion=0.3879413936184984, avgTableSize=0.7758827872369968
1222.61/1213.14
1255.74/1246.06 num=90, depth=0..275, filters=3008037, revisions=(2133078,useless=687460), ccks=10897401069, wck=1243.155, mem=261M819
1255.74/1246.06 decisions=1175445, wrong=584385, backtracks=17829, failedAssignments=584288, nogoods=33446
1255.74/1246.06 nFilterCalls=13307119, avgTableProportion=0.3849117528745328, avgTableSize=0.7698235057490656
1255.74/1246.06
1283.94/1274.09 num=91, depth=0..270, filters=3299180, revisions=(2356852,useless=771581), ccks=11046106950, wck=1271.184, mem=192M889
1283.94/1274.09 decisions=1292581, wrong=642834, backtracks=20761, failedAssignments=642731, nogoods=33862
1283.94/1274.09 nFilterCalls=14258196, avgTableProportion=0.37220024188193235, avgTableSize=0.7444004837638647
1283.94/1274.09
1363.68/1353.55 num=92, depth=0..143, filters=3459668, revisions=(2476165,useless=793002), ccks=11769010571, wck=1350.639, mem=199M784
1363.68/1353.55 decisions=1421292, wrong=707121, backtracks=22233, failedAssignments=707018, nogoods=35108
1363.68/1353.55 nFilterCalls=14720538, avgTableProportion=0.3746309068323454, avgTableSize=0.7492618136646908
1363.68/1353.55
1419.20/1408.77 num=93, depth=0..145, filters=3699950, revisions=(2710570,useless=864860), ccks=12105538307, wck=1405.857, mem=199M642
1419.20/1408.77 decisions=1562804, wrong=777837, backtracks=22843, failedAssignments=777734, nogoods=35246
1419.20/1408.77 nFilterCalls=15547110, avgTableProportion=0.37752984316699373, avgTableSize=0.7550596863339875
1419.20/1408.77
1457.58/1446.93 num=94, depth=0..292, filters=3867882, revisions=(2943913,useless=953474), ccks=12390653490, wck=1444.024, mem=193M443
1457.58/1446.93 decisions=1718667, wrong=855624, backtracks=23317, failedAssignments=855521, nogoods=35597
1457.58/1446.93 nFilterCalls=15762213, avgTableProportion=0.3771384766847143, avgTableSize=0.7542769533694286
1457.58/1446.93
1485.99/1475.25 num=95, depth=0..306, filters=4035503, revisions=(3187894,useless=1039504), ccks=12602115479, wck=1472.34, mem=171M360
1485.99/1475.25 decisions=1890102, wrong=941190, backtracks=23999, failedAssignments=941087, nogoods=36104
1485.99/1475.25 nFilterCalls=15853706, avgTableProportion=0.3770853956797231, avgTableSize=0.7541707913594462
1485.99/1475.25
1589.68/1577.63 num=96, depth=0..312, filters=4677086, revisions=(3625759,useless=1218323), ccks=13019594864, wck=1574.718, mem=215M862
1589.68/1577.63 decisions=2078635, wrong=1035313, backtracks=35727, failedAssignments=1035210, nogoods=37123
1589.68/1577.63 nFilterCalls=18860108, avgTableProportion=0.3795139190083111, avgTableSize=0.7590278380166222
1589.68/1577.63
1689.32/1676.75 num=97, depth=0..229, filters=5002783, revisions=(3808358,useless=1247202), ccks=13793459364, wck=1673.841, mem=222M293
1689.32/1676.75 decisions=2285812, wrong=1138849, backtracks=37048, failedAssignments=1138745, nogoods=38125
1689.32/1676.75 nFilterCalls=20758908, avgTableProportion=0.3771391057756988, avgTableSize=0.7542782115513976
1689.32/1676.75
1794.55/1780.49 num=98, depth=118..216, filters=6974243, revisions=(4366766,useless=1535677), ccks=14142156502, wck=1777.585, mem=217M465
1794.55/1780.49 decisions=2515119, wrong=1253424, backtracks=38400, failedAssignments=1252634, nogoods=38331
1794.55/1780.49 nFilterCalls=28246804, avgTableProportion=0.3434874260465007, avgTableSize=0.6869748520930014
1794.55/1780.49
1854.41/1839.87 num=99, depth=0..214, filters=7389045, revisions=(4694834,useless=1638121), ccks=14311565654, wck=1836.966, mem=176M556
1854.41/1839.87 decisions=2765790, wrong=1378702, backtracks=38639, failedAssignments=1377912, nogoods=39187
1854.41/1839.87 nFilterCalls=30595491, avgTableProportion=0.3454508541797875, avgTableSize=0.690901708359575
1854.41/1839.87
2129.02/2113.59 num=100, depth=0..197, filters=7974778, revisions=(5177863,useless=1822352), ccks=16851785985, wck=2110.678, mem=178M193
2129.02/2113.59 decisions=3041596, wrong=1516508, backtracks=43564, failedAssignments=1515718, nogoods=39929
2129.02/2113.59 nFilterCalls=33163510, avgTableProportion=0.34391879810068354, avgTableSize=0.6878375962013671
2129.02/2113.59
2211.49/2195.52 num=101, depth=0..282, filters=8450524, revisions=(5670786,useless=1953560), ccks=17392005444, wck=2192.607, mem=189M477
2211.49/2195.52 decisions=3344927, wrong=1668094, backtracks=47933, failedAssignments=1667304, nogoods=40624
2211.49/2195.52 nFilterCalls=34336218, avgTableProportion=0.3419826406041574, avgTableSize=0.6839652812083148
2211.49/2195.52
2337.66/2320.21 num=102, depth=0..154, filters=9145949, revisions=(6181060,useless=2123628), ccks=17738264942, wck=2317.297, mem=191M850
2337.66/2320.21 decisions=3678562, wrong=1834839, backtracks=48216, failedAssignments=1834049, nogoods=40921
2337.66/2320.21 nFilterCalls=38430209, avgTableProportion=0.3443377057876526, avgTableSize=0.6886754115753052
2337.66/2320.21
2400.03/2382.11
2400.03/2382.11 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 (10971 MiB free)
memory of node 1: 16384 MiB (15348 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391339-1568388080/watcher-4391339-1568388080 -o /tmp/evaluation-result-4391339-1568388080/solver-4391339-1568388080 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568383863-3870 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391339-1568388080.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=3895, runsolver pid=3891
Current StackSize limit: 8192 KiB
[startup+0.104302 s]*
/proc/loadavg: 1.50 1.79 1.80 7/227 3928
/proc/meminfo: memFree=26919656/32770624 swapFree=66977616/67108860
[pid=3895] ppid=3891 vsize=10659884 memory=28328 CPUtime=0.14 cores=1,3,5,7
/proc/3895/stat : 3895 (java) S 3891 3895 2180 0 -1 1077944320 5539 0 0 0 13 1 0 0 20 0 15 0 415065276 10915721216 7082 33554432000 4194304 4196468 140733175540352 140733175522896 140572355854071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
/proc/3895/statm: 2664971 7082 2917 1 0 2627468 0
[pid=3895/tid=3901] ppid=3891 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/3895/task/3901/stat : 3901 (java) R 3891 3895 2180 0 -1 4202560 3270 0 0 0 9 0 0 0 20 0 15 0 415065276 10915721216 7280 33554432000 4194304 4196468 140733175540352 140572360083464 140572348091198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3903] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3903/stat : 3903 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 7346 33554432000 4194304 4196468 140733175540352 140572281927952 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3904] ppid=3891 vsize=10659884 memory=140234958282097 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3904/stat : 3904 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 7346 33554432000 4194304 4196468 140733175540352 140572280875408 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3905] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3905/stat : 3905 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 7346 33554432000 4194304 4196468 140733175540352 140572279822864 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3906] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3906/stat : 3906 (java) S 3891 3895 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 7346 33554432000 4194304 4196468 140733175540352 140572278770320 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3911] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3911/stat : 3911 (java) S 3891 3895 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065278 10915721216 7346 33554432000 4194304 4196468 140733175540352 140571713530352 140572355865218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3913] ppid=3891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3913/stat : 3913 (java) S 3891 3895 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 7346 33554432000 4194304 4196468 140733175540352 140571712476576 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3915] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3915/stat : 3915 (java) S 3891 3895 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 7346 33554432000 4194304 4196468 140733175540352 140571711423984 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3917] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3917/stat : 3917 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065281 10915721216 7412 33554432000 4194304 4196468 140733175540352 140571710372560 140572355872667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3918] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3918/stat : 3918 (java) R 3891 3895 2180 0 -1 4202560 404 0 0 0 0 0 0 0 20 0 15 0 415065281 10915721216 7412 33554432000 4194304 4196468 140733175540352 140571709300168 140572348143404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3919] ppid=3891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3919/stat : 3919 (java) S 3891 3895 2180 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 415065281 10915721216 7412 33554432000 4194304 4196468 140733175540352 140571708266608 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3920] ppid=3891 vsize=10659884 memory=140234955445888 CPUtime=0.02 cores=1,3,5,7
/proc/3895/task/3920/stat : 3920 (java) R 3891 3895 2180 0 -1 4202560 625 0 0 0 2 0 0 0 20 0 15 0 415065281 10915721216 7412 33554432000 4194304 4196468 140733175540352 140571707210120 140572348950907 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3925] ppid=3891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3925/stat : 3925 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 7412 33554432000 4194304 4196468 140733175540352 140571706161760 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3927] ppid=3891 vsize=10659884 memory=140234955445888 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3927/stat : 3927 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 7412 33554432000 4194304 4196468 140733175540352 140571705109296 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28328 KiB
[startup+0.210832 s]*
/proc/loadavg: 1.50 1.79 1.80 3/227 3928
/proc/meminfo: memFree=26905300/32770624 swapFree=66977616/67108860
[pid=3895] ppid=3891 vsize=10659884 memory=35192 CPUtime=0.32 cores=1,3,5,7
/proc/3895/stat : 3895 (java) S 3891 3895 2180 0 -1 1077944320 6897 0 0 0 30 2 0 0 20 0 15 0 415065276 10915721216 8798 33554432000 4194304 4196468 140733175540352 140733175522896 140572355854071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
/proc/3895/statm: 2664971 8798 2991 1 0 2627468 0
[pid=3895/tid=3901] ppid=3891 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3895/task/3901/stat : 3901 (java) R 3891 3895 2180 0 -1 4202560 3872 0 0 0 18 1 0 0 20 0 15 0 415065276 10915721216 8798 33554432000 4194304 4196468 140733175540352 140572360086112 140572312480937 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3903] ppid=3891 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3903/stat : 3903 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 8798 33554432000 4194304 4196468 140733175540352 140572281927952 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3904] ppid=3891 vsize=10659884 memory=3545933513003390624 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3904/stat : 3904 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 8798 33554432000 4194304 4196468 140733175540352 140572280875408 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3905] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3905/stat : 3905 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 8798 33554432000 4194304 4196468 140733175540352 140572279822864 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3906] ppid=3891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3906/stat : 3906 (java) S 3891 3895 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 8798 33554432000 4194304 4196468 140733175540352 140572278770320 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3911] ppid=3891 vsize=10659884 memory=140234955445888 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3911/stat : 3911 (java) S 3891 3895 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065278 10915721216 8798 33554432000 4194304 4196468 140733175540352 140571713530352 140572355865218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3913] ppid=3891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3913/stat : 3913 (java) S 3891 3895 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 8798 33554432000 4194304 4196468 140733175540352 140571712476576 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3915] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3915/stat : 3915 (java) S 3891 3895 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 8798 33554432000 4194304 4196468 140733175540352 140571711423984 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3917] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3917/stat : 3917 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065281 10915721216 8798 33554432000 4194304 4196468 140733175540352 140571710372560 140572355872667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3918] ppid=3891 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3895/task/3918/stat : 3918 (java) S 3891 3895 2180 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 15 0 415065281 10915721216 8798 33554432000 4194304 4196468 140733175540352 140571709319152 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3919] ppid=3891 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/3895/task/3919/stat : 3919 (java) S 3891 3895 2180 0 -1 1077944384 395 0 0 0 3 0 0 0 20 0 15 0 415065281 10915721216 8798 33554432000 4194304 4196468 140733175540352 140571708266608 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3920] ppid=3891 vsize=10659884 memory=140234955445888 CPUtime=0.05 cores=1,3,5,7
/proc/3895/task/3920/stat : 3920 (java) S 3891 3895 2180 0 -1 1077944384 729 0 0 0 5 0 0 0 20 0 15 0 415065281 10915721216 8798 33554432000 4194304 4196468 140733175540352 140571707214064 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3925] ppid=3891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3925/stat : 3925 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 8798 33554432000 4194304 4196468 140733175540352 140571706161760 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3927] ppid=3891 vsize=10659884 memory=140234955445888 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3927/stat : 3927 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 8798 33554432000 4194304 4196468 140733175540352 140571705109296 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35192 KiB
[startup+0.31016 s]*
/proc/loadavg: 1.50 1.79 1.80 3/227 3928
/proc/meminfo: memFree=26892680/32770624 swapFree=66977616/67108860
[pid=3895] ppid=3891 vsize=10660908 memory=41032 CPUtime=0.45 cores=1,3,5,7
/proc/3895/stat : 3895 (java) S 3891 3895 2180 0 -1 1077944320 9389 0 0 0 42 3 0 0 20 0 15 0 415065276 10916769792 10258 33554432000 4194304 4196468 140733175540352 140733175522896 140572355854071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
/proc/3895/statm: 2665227 10258 3003 1 0 2627724 0
[pid=3895/tid=3901] ppid=3891 vsize=10659884 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/3895/task/3901/stat : 3901 (java) R 3891 3895 2180 0 -1 4202560 6297 0 0 0 27 2 0 0 20 0 15 0 415065276 10915721216 10061 33554432000 4194304 4196468 140733175540352 140572360074960 140572355875997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3903] ppid=3891 vsize=10659884 memory=4296865450 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3903/stat : 3903 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 10061 33554432000 4194304 4196468 140733175540352 140572281927952 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3904] ppid=3891 vsize=10659884 memory=3691178994737632928 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3904/stat : 3904 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 10061 33554432000 4194304 4196468 140733175540352 140572280875408 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3905] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3905/stat : 3905 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 10061 33554432000 4194304 4196468 140733175540352 140572279822864 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3906] ppid=3891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3906/stat : 3906 (java) S 3891 3895 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065277 10915721216 10061 33554432000 4194304 4196468 140733175540352 140572278770320 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3911] ppid=3891 vsize=10659884 memory=140234955445888 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3911/stat : 3911 (java) S 3891 3895 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065278 10915721216 10061 33554432000 4194304 4196468 140733175540352 140571713530352 140572355865218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3913] ppid=3891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3913/stat : 3913 (java) S 3891 3895 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 10061 33554432000 4194304 4196468 140733175540352 140571712476576 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3915] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3915/stat : 3915 (java) S 3891 3895 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415065279 10915721216 10061 33554432000 4194304 4196468 140733175540352 140571711423984 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3917] ppid=3891 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3917/stat : 3917 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065281 10915721216 10061 33554432000 4194304 4196468 140733175540352 140571710372560 140572355872667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3918] ppid=3891 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3895/task/3918/stat : 3918 (java) S 3891 3895 2180 0 -1 1077944384 576 0 0 0 4 0 0 0 20 0 15 0 415065281 10915721216 10061 33554432000 4194304 4196468 140733175540352 140571709319152 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3919] ppid=3891 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/3895/task/3919/stat : 3919 (java) S 3891 3895 2180 0 -1 1077944384 409 0 0 0 3 0 0 0 20 0 15 0 415065281 10915721216 10061 33554432000 4194304 4196468 140733175540352 140571708266608 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3920] ppid=3891 vsize=10659884 memory=140234955445888 CPUtime=0.07 cores=1,3,5,7
/proc/3895/task/3920/stat : 3920 (java) S 3891 3895 2180 0 -1 1077944384 751 0 0 0 7 0 0 0 20 0 15 0 415065281 10915721216 10061 33554432000 4194304 4196468 140733175540352 140571707214064 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3925] ppid=3891 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3925/stat : 3925 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 10061 33554432000 4194304 4196468 140733175540352 140571706161760 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3927] ppid=3891 vsize=10659884 memory=140234955445888 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3927/stat : 3927 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065282 10915721216 10061 33554432000 4194304 4196468 140733175540352 140571705109296 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10660908 KiB
Current children cumulated memory: 41032 KiB
[startup+0.700767 s]
/proc/loadavg: 1.50 1.79 1.80 3/227 3928
/proc/meminfo: memFree=26873928/32770624 swapFree=66977616/67108860
[pid=3895] ppid=3891 vsize=10661932 memory=61888 CPUtime=1.07 cores=1,3,5,7
/proc/3895/stat : 3895 (java) S 3891 3895 2180 0 -1 1077944320 12669 0 0 0 101 6 0 0 20 0 15 0 415065276 10917818368 15472 33554432000 4194304 4196468 140733175540352 140733175522896 140572355854071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
/proc/3895/statm: 2665483 15472 3063 1 0 2627980 0
[pid=3895/tid=3901] ppid=3891 vsize=10661932 memory=280469686337248 CPUtime=0.66 cores=1,3,5,7
/proc/3895/task/3901/stat : 3901 (java) R 3891 3895 2180 0 -1 4202560 8848 0 0 0 62 4 0 0 20 0 15 0 415065276 10917818368 15472 33554432000 4194304 4196468 140733175540352 140572360086096 140572339934558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3903] ppid=3891 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3903/stat : 3903 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10917818368 15472 33554432000 4194304 4196468 140733175540352 140572281927952 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3904] ppid=3891 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3904/stat : 3904 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10917818368 15472 33554432000 4194304 4196468 140733175540352 140572280875408 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3905] ppid=3891 vsize=10661932 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3905/stat : 3905 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10917818368 15472 33554432000 4194304 4196468 140733175540352 140572279822864 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3906] ppid=3891 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3906/stat : 3906 (java) S 3891 3895 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065277 10917818368 15472 33554432000 4194304 4196468 140733175540352 140572278770320 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3911] ppid=3891 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3911/stat : 3911 (java) S 3891 3895 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065278 10917818368 15472 33554432000 4194304 4196468 140733175540352 140571713530352 140572355865218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3913] ppid=3891 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3913/stat : 3913 (java) S 3891 3895 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415065279 10917818368 15472 33554432000 4194304 4196468 140733175540352 140571712476576 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3915] ppid=3891 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3915/stat : 3915 (java) S 3891 3895 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415065279 10917818368 15472 33554432000 4194304 4196468 140733175540352 140571711423984 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3917] ppid=3891 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3917/stat : 3917 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065281 10917818368 15472 33554432000 4194304 4196468 140733175540352 140571710372560 140572355872667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3918] ppid=3891 vsize=10661932 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3895/task/3918/stat : 3918 (java) S 3891 3895 2180 0 -1 1077944384 667 0 0 0 9 0 0 0 20 0 15 0 415065281 10917818368 15472 33554432000 4194304 4196468 140733175540352 140571709319152 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3919] ppid=3891 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3895/task/3919/stat : 3919 (java) S 3891 3895 2180 0 -1 1077944384 655 0 0 0 10 0 0 0 20 0 15 0 415065281 10917818368 15472 33554432000 4194304 4196468 140733175540352 140571708266608 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3920] ppid=3891 vsize=10661932 memory=4 CPUtime=0.18 cores=1,3,5,7
/proc/3895/task/3920/stat : 3920 (java) S 3891 3895 2180 0 -1 1077944384 1142 0 0 0 18 0 0 0 20 0 15 0 415065281 10917818368 15472 33554432000 4194304 4196468 140733175540352 140571707214064 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3925] ppid=3891 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3925/stat : 3925 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415065282 10917818368 15472 33554432000 4194304 4196468 140733175540352 140571706161760 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3927] ppid=3891 vsize=10661932 memory=78 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3927/stat : 3927 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065282 10917818368 15472 33554432000 4194304 4196468 140733175540352 140571705109296 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61888 KiB
[startup+1.50078 s]
/proc/loadavg: 1.50 1.79 1.80 3/227 3928
/proc/meminfo: memFree=26840644/32770624 swapFree=66977616/67108860
[pid=3895] ppid=3891 vsize=10663980 memory=74944 CPUtime=1.98 cores=1,3,5,7
/proc/3895/stat : 3895 (java) S 3891 3895 2180 0 -1 1077944320 18374 0 0 0 191 7 0 0 20 0 15 0 415065276 10919915520 18736 33554432000 4194304 4196468 140733175540352 140733175522896 140572355854071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
/proc/3895/statm: 2665995 18736 3094 1 0 2628492 0
[pid=3895/tid=3901] ppid=3891 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/3895/task/3901/stat : 3901 (java) R 3891 3895 2180 0 -1 4202560 12991 0 0 0 141 6 0 0 20 0 15 0 415065276 10919915520 18736 33554432000 4194304 4196468 140733175540352 140572360086096 140572339040901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3903] ppid=3891 vsize=10663980 memory=2439541424727 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3903/stat : 3903 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10919915520 18736 33554432000 4194304 4196468 140733175540352 140572281927952 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3904] ppid=3891 vsize=10663980 memory=988 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3904/stat : 3904 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10919915520 18736 33554432000 4194304 4196468 140733175540352 140572280875408 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3905] ppid=3891 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3905/stat : 3905 (java) S 3891 3895 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415065277 10919915520 18736 33554432000 4194304 4196468 140733175540352 140572279822864 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3906] ppid=3891 vsize=10663980 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3906/stat : 3906 (java) S 3891 3895 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415065277 10919915520 18736 33554432000 4194304 4196468 140733175540352 140572278770320 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3911] ppid=3891 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3911/stat : 3911 (java) S 3891 3895 2180 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 415065278 10919915520 18736 33554432000 4194304 4196468 140733175540352 140571713530352 140572355865218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
################
# More data... #
################
/proc/3895/task/3906/stat : 3906 (java) S 3891 3895 2180 0 -1 1077944384 7612 0 0 0 364 17 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572278770320 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3911] ppid=3891 vsize=10748324 memory=777696 CPUtime=1.96 cores=1,3,5,7
/proc/3895/task/3911/stat : 3911 (java) S 3891 3895 2180 0 -1 1077944384 11236 0 0 0 181 15 0 0 20 0 16 0 415065278 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571713530352 140572355865218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3913] ppid=3891 vsize=10748324 memory=224399 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3913/stat : 3913 (java) S 3891 3895 2180 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571712476640 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3915] ppid=3891 vsize=10748324 memory=777696 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3915/stat : 3915 (java) S 3891 3895 2180 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571711424000 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3917] ppid=3891 vsize=10748324 memory=777696 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3917/stat : 3917 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571710372560 140572355872667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3918] ppid=3891 vsize=10748324 memory=2612 CPUtime=2.33 cores=1,3,5,7
/proc/3895/task/3918/stat : 3918 (java) S 3891 3895 2180 0 -1 1077944384 13365 0 0 0 231 2 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571709319152 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3919] ppid=3891 vsize=10748324 memory=42116 CPUtime=2.02 cores=1,3,5,7
/proc/3895/task/3919/stat : 3919 (java) S 3891 3895 2180 0 -1 1077944384 11761 0 0 0 201 1 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571708266608 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3920] ppid=3891 vsize=10748324 memory=1056 CPUtime=1.02 cores=1,3,5,7
/proc/3895/task/3920/stat : 3920 (java) S 3891 3895 2180 0 -1 1077944384 12269 0 0 0 100 2 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571707214064 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3925] ppid=3891 vsize=10748324 memory=777696 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3925/stat : 3925 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065282 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571706161760 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3927] ppid=3891 vsize=10748324 memory=777696 CPUtime=0.81 cores=1,3,5,7
/proc/3895/task/3927/stat : 3927 (java) S 3891 3895 2180 0 -1 1077944384 1678 0 0 0 36 45 0 0 20 0 16 0 415065282 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571705109296 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3929] ppid=3891 vsize=10748324 memory=777696 CPUtime=2253.7 cores=1,3,5,7
/proc/3895/task/3929/stat : 3929 (java) R 3891 3895 2180 0 -1 4202560 39900 0 0 0 225343 27 0 0 20 0 16 0 415065464 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571688157008 140571957084410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
Current children cumulated CPU time: 2279.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 777696 KiB
[startup+2322.3 s]
/proc/loadavg: 1.61 1.48 1.53 3/228 4218
/proc/meminfo: memFree=25931356/32770624 swapFree=66977616/67108860
[pid=3895] ppid=3891 vsize=10748324 memory=777696 CPUtime=2339.76 cores=1,3,5,7
/proc/3895/stat : 3895 (java) S 3891 3895 2180 0 -1 1077944320 145263 0 0 0 233809 167 0 0 20 0 16 0 415065276 11006283776 194424 33554432000 4194304 4196468 140733175540352 140733175522896 140572355854071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
/proc/3895/statm: 2687081 194424 3378 1 0 2647217 0
[pid=3895/tid=3901] ppid=3891 vsize=10748324 memory=777696 CPUtime=1.85 cores=1,3,5,7
/proc/3895/task/3901/stat : 3901 (java) S 3891 3895 2180 0 -1 1077944384 15264 0 0 0 178 7 0 0 20 0 16 0 415065276 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572360096944 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3903] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.06 cores=1,3,5,7
/proc/3895/task/3903/stat : 3903 (java) S 3891 3895 2180 0 -1 1077944384 11025 0 0 0 385 21 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572281927952 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3904] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.06 cores=1,3,5,7
/proc/3895/task/3904/stat : 3904 (java) S 3891 3895 2180 0 -1 1077944384 9647 0 0 0 386 20 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572280875408 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3905] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.04 cores=1,3,5,7
/proc/3895/task/3905/stat : 3905 (java) S 3891 3895 2180 0 -1 1077944384 9128 0 0 0 385 19 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572279822864 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3906] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.06 cores=1,3,5,7
/proc/3895/task/3906/stat : 3906 (java) S 3891 3895 2180 0 -1 1077944384 7684 0 0 0 388 18 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572278770320 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3911] ppid=3891 vsize=10748324 memory=777696 CPUtime=2.11 cores=1,3,5,7
/proc/3895/task/3911/stat : 3911 (java) S 3891 3895 2180 0 -1 1077944384 11426 0 0 0 195 16 0 0 20 0 16 0 415065278 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571713530352 140572355865218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3913] ppid=3891 vsize=10748324 memory=777696 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3913/stat : 3913 (java) S 3891 3895 2180 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571712476640 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3915] ppid=3891 vsize=10748324 memory=777696 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3915/stat : 3915 (java) S 3891 3895 2180 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571711424000 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3917] ppid=3891 vsize=10748324 memory=84 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3917/stat : 3917 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571710372560 140572355872667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3918] ppid=3891 vsize=10748324 memory=777696 CPUtime=2.33 cores=1,3,5,7
/proc/3895/task/3918/stat : 3918 (java) S 3891 3895 2180 0 -1 1077944384 13367 0 0 0 231 2 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571709319152 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3919] ppid=3891 vsize=10748324 memory=777696 CPUtime=2.02 cores=1,3,5,7
/proc/3895/task/3919/stat : 3919 (java) S 3891 3895 2180 0 -1 1077944384 11763 0 0 0 201 1 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571708266608 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3920] ppid=3891 vsize=10748324 memory=39956 CPUtime=1.02 cores=1,3,5,7
/proc/3895/task/3920/stat : 3920 (java) S 3891 3895 2180 0 -1 1077944384 12371 0 0 0 100 2 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571707214064 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3925] ppid=3891 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3925/stat : 3925 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065282 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571706161760 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3927] ppid=3891 vsize=10748324 memory=777696 CPUtime=0.85 cores=1,3,5,7
/proc/3895/task/3927/stat : 3927 (java) S 3891 3895 2180 0 -1 1077944384 1686 0 0 0 38 47 0 0 20 0 16 0 415065282 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571705109296 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3929] ppid=3891 vsize=10748324 memory=14012 CPUtime=2313.25 cores=1,3,5,7
/proc/3895/task/3929/stat : 3929 (java) R 3891 3895 2180 0 -1 4202560 40505 0 0 0 231297 28 0 0 20 0 16 0 415065464 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571688153664 140571956656516 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
Current children cumulated CPU time: 2339.76 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 777696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2382.11 s]
/proc/loadavg: 1.13 1.37 1.49 3/229 4230
/proc/meminfo: memFree=25931028/32770624 swapFree=66977616/67108860
[pid=3895] ppid=3891 vsize=10748324 memory=777696 CPUtime=2400.03 cores=1,3,5,7
/proc/3895/stat : 3895 (java) S 3891 3895 2180 0 -1 1077944320 146411 0 0 0 239833 170 0 0 20 0 16 0 415065276 11006283776 194424 33554432000 4194304 4196468 140733175540352 140733175522896 140572355854071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
/proc/3895/statm: 2687081 194424 3378 1 0 2647217 0
[pid=3895/tid=3901] ppid=3891 vsize=10748324 memory=777696 CPUtime=1.85 cores=1,3,5,7
/proc/3895/task/3901/stat : 3901 (java) S 3891 3895 2180 0 -1 1077944384 15264 0 0 0 178 7 0 0 20 0 16 0 415065276 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572360096944 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3903] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.22 cores=1,3,5,7
/proc/3895/task/3903/stat : 3903 (java) S 3891 3895 2180 0 -1 1077944384 11120 0 0 0 400 22 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572281927952 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3904] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.21 cores=1,3,5,7
/proc/3895/task/3904/stat : 3904 (java) S 3891 3895 2180 0 -1 1077944384 9960 0 0 0 401 20 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572280875408 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3905] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.19 cores=1,3,5,7
/proc/3895/task/3905/stat : 3905 (java) S 3891 3895 2180 0 -1 1077944384 9254 0 0 0 400 19 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572279822864 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3906] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.22 cores=1,3,5,7
/proc/3895/task/3906/stat : 3906 (java) S 3891 3895 2180 0 -1 1077944384 7803 0 0 0 404 18 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572278770320 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3911] ppid=3891 vsize=10748324 memory=777696 CPUtime=2.19 cores=1,3,5,7
/proc/3895/task/3911/stat : 3911 (java) S 3891 3895 2180 0 -1 1077944384 11606 0 0 0 202 17 0 0 20 0 16 0 415065278 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571713530352 140572355865218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3913] ppid=3891 vsize=10748324 memory=777696 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3913/stat : 3913 (java) S 3891 3895 2180 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571712476640 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3915] ppid=3891 vsize=10748324 memory=777696 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3915/stat : 3915 (java) S 3891 3895 2180 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571711424000 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3917] ppid=3891 vsize=10748324 memory=777696 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3917/stat : 3917 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571710372560 140572355872667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3918] ppid=3891 vsize=10748324 memory=777696 CPUtime=2.33 cores=1,3,5,7
/proc/3895/task/3918/stat : 3918 (java) S 3891 3895 2180 0 -1 1077944384 13369 0 0 0 231 2 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571709319152 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3919] ppid=3891 vsize=10748324 memory=777696 CPUtime=2.02 cores=1,3,5,7
/proc/3895/task/3919/stat : 3919 (java) S 3891 3895 2180 0 -1 1077944384 11765 0 0 0 201 1 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571708266608 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3920] ppid=3891 vsize=10748324 memory=777696 CPUtime=1.02 cores=1,3,5,7
/proc/3895/task/3920/stat : 3920 (java) S 3891 3895 2180 0 -1 1077944384 12373 0 0 0 100 2 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571707214064 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3925] ppid=3891 vsize=10748324 memory=39964 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3925/stat : 3925 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065282 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571706161760 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3927] ppid=3891 vsize=10748324 memory=777696 CPUtime=0.86 cores=1,3,5,7
/proc/3895/task/3927/stat : 3927 (java) S 3891 3895 2180 0 -1 1077944384 1718 0 0 0 38 48 0 0 20 0 16 0 415065282 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571705109296 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3929] ppid=3891 vsize=10748324 memory=777696 CPUtime=2372.78 cores=1,3,5,7
/proc/3895/task/3929/stat : 3929 (java) R 3891 3895 2180 0 -1 4202560 40782 0 0 0 237250 28 0 0 20 0 16 0 415065464 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571688157008 140571957290023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 777696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2382.12 s]
# the end of solver process 3895 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.35 s, system=1.70759 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2382.11 s]
/proc/loadavg: 1.13 1.37 1.49 3/229 4230
/proc/meminfo: memFree=25931028/32770624 swapFree=66977616/67108860
[pid=3895] ppid=3891 vsize=10748324 memory=777696 CPUtime=2400.03 cores=1,3,5,7
/proc/3895/stat : 3895 (java) S 3891 3895 2180 0 -1 1077944320 146411 0 0 0 239833 170 0 0 20 0 16 0 415065276 11006283776 194424 33554432000 4194304 4196468 140733175540352 140733175522896 140572355854071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
/proc/3895/statm: 2687081 194424 3378 1 0 2647217 0
[pid=3895/tid=3901] ppid=3891 vsize=10748324 memory=777696 CPUtime=1.85 cores=1,3,5,7
/proc/3895/task/3901/stat : 3901 (java) S 3891 3895 2180 0 -1 1077944384 15264 0 0 0 178 7 0 0 20 0 16 0 415065276 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572360096944 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3903] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.22 cores=1,3,5,7
/proc/3895/task/3903/stat : 3903 (java) S 3891 3895 2180 0 -1 1077944384 11120 0 0 0 400 22 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572281927952 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3904] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.21 cores=1,3,5,7
/proc/3895/task/3904/stat : 3904 (java) S 3891 3895 2180 0 -1 1077944384 9960 0 0 0 401 20 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572280875408 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3905] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.19 cores=1,3,5,7
/proc/3895/task/3905/stat : 3905 (java) S 3891 3895 2180 0 -1 1077944384 9254 0 0 0 400 19 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572279822864 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3906] ppid=3891 vsize=10748324 memory=777696 CPUtime=4.22 cores=1,3,5,7
/proc/3895/task/3906/stat : 3906 (java) S 3891 3895 2180 0 -1 1077944384 7803 0 0 0 404 18 0 0 20 0 16 0 415065277 11006283776 194424 33554432000 4194304 4196468 140733175540352 140572278770320 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3911] ppid=3891 vsize=10748324 memory=777696 CPUtime=2.19 cores=1,3,5,7
/proc/3895/task/3911/stat : 3911 (java) S 3891 3895 2180 0 -1 1077944384 11606 0 0 0 202 17 0 0 20 0 16 0 415065278 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571713530352 140572355865218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3913] ppid=3891 vsize=10748324 memory=777696 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3913/stat : 3913 (java) S 3891 3895 2180 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571712476640 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3915] ppid=3891 vsize=10748324 memory=777696 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3915/stat : 3915 (java) S 3891 3895 2180 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415065279 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571711424000 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3917] ppid=3891 vsize=10748324 memory=777696 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3917/stat : 3917 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571710372560 140572355872667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3918] ppid=3891 vsize=10748324 memory=777696 CPUtime=2.33 cores=1,3,5,7
/proc/3895/task/3918/stat : 3918 (java) S 3891 3895 2180 0 -1 1077944384 13369 0 0 0 231 2 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571709319152 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3919] ppid=3891 vsize=10748324 memory=777696 CPUtime=2.02 cores=1,3,5,7
/proc/3895/task/3919/stat : 3919 (java) S 3891 3895 2180 0 -1 1077944384 11765 0 0 0 201 1 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571708266608 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3920] ppid=3891 vsize=10748324 memory=777696 CPUtime=1.02 cores=1,3,5,7
/proc/3895/task/3920/stat : 3920 (java) S 3891 3895 2180 0 -1 1077944384 12373 0 0 0 100 2 0 0 20 0 16 0 415065281 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571707214064 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3925] ppid=3891 vsize=10748324 memory=39964 CPUtime=0 cores=1,3,5,7
/proc/3895/task/3925/stat : 3925 (java) S 3891 3895 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415065282 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571706161760 140572355864277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3927] ppid=3891 vsize=10748324 memory=777696 CPUtime=0.86 cores=1,3,5,7
/proc/3895/task/3927/stat : 3927 (java) S 3891 3895 2180 0 -1 1077944384 1718 0 0 0 38 48 0 0 20 0 16 0 415065282 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571705109296 140572355865218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
[pid=3895/tid=3929] ppid=3891 vsize=10748324 memory=777696 CPUtime=2372.78 cores=1,3,5,7
/proc/3895/task/3929/stat : 3929 (java) R 3891 3895 2180 0 -1 4202560 40782 0 0 0 237250 28 0 0 20 0 16 0 415065464 11006283776 194424 33554432000 4194304 4196468 140733175540352 140571688157008 140571957290023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140733175546891 140733175546994 140733175546994 140733175549903 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 777696 KiB
Child status: 143
Real time (s): 2382.12
CPU time (s): 2400.05
CPU user time (s): 2398.35
CPU system time (s): 1.70759
CPU usage (%): 100.753
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1475116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.35
system time used= 1.70759
maximum resident set size= 1476280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146803
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106082
involuntary context switches= 4089
# summary of solver processes directly reported to runsolver:
# pid: 3895
# total CPU time (s): 2400.05
# total CPU user time (s): 2398.35
# total CPU system time (s): 1.70759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.196 second user time and 23.423 second system time
The end