2.42/1.89
2.42/1.89 AbsCon 2
2.64/1.91
4.89/2.61 Instance
4.89/2.61 name=instance-4390588-1568381366, framework=CSP
4.89/2.61
4.89/2.61 Loading variables...
4.89/2.66 Loading constraints...
11.06/4.90
11.06/4.90 Domains
11.06/4.90 nTypes=1, nValues=2592, sizes=[9#288]
11.06/4.90 Variables
11.06/4.90 count=288, degrees=[216#2,217#76,218#210]
11.06/4.90 Constraints
11.06/4.90 count=15486, nSpecific=78, arities=[1#72,4#15336,8#71,72#4,144#3]
11.06/4.90 distribution=[CardinalityConstant#4,CtrIntension#15408,LexicographicLe#74]
11.06/4.90 nIntStructures=(10,shared:15398), nCftStructures=(1,shared:15335,unbuilt:150)
11.06/4.90 wck=3.034, cpu=4.708, mem=263M474
11.39/4.91 Solver SolverBacktrack being built...
11.39/4.91
11.39/4.96
11.39/4.96 Solver
11.39/4.96 guaranteedGAC=true
11.39/4.96 wck=3.106, cpu=4.777, mem=286M934
11.76/5.08
11.76/5.08 Preprocessing
11.76/5.08 filters=73, revisions=(15408,useless=15343), ccks=137285, nACremovedValues=576, nTotalRemovedValues=576, inconcistency=false
11.76/5.08 wck=0.111, cpu=4.89, mem=294M664
11.76/5.08
12.34/5.25 num=0, depth=59..64, filters=439, revisions=(85433,useless=85068), ccks=339379, wck=0.283, mem=294M664
12.34/5.25 decisions=94, wrong=17, backtracks=8, failedAssignments=10, nogoods=3
12.34/5.25
12.34/5.27 num=1, depth=1..5, filters=558, revisions=(95100,useless=94650), ccks=363228, wck=0.309, mem=294M664
12.34/5.27 decisions=127, wrong=31, backtracks=11, failedAssignments=21, nogoods=13
12.34/5.27
12.65/5.30 num=2, depth=0..2, filters=705, revisions=(104551,useless=103998), ccks=384892, wck=0.334, mem=294M664
12.65/5.30 decisions=160, wrong=47, backtracks=15, failedAssignments=33, nogoods=17
12.65/5.30
13.27/5.51 num=3, depth=0..90, filters=1399, revisions=(214083,useless=212912), ccks=614095, wck=0.546, mem=302M394
13.27/5.51 decisions=281, wrong=65, backtracks=21, failedAssignments=46, nogoods=23
13.27/5.51
13.27/5.56 num=4, depth=1..16, filters=1611, revisions=(233713,useless=232399), ccks=651811, wck=0.594, mem=306M285
13.27/5.56 decisions=327, wrong=82, backtracks=24, failedAssignments=60, nogoods=36
13.27/5.56
14.18/5.85 num=5, depth=0..107, filters=2530, revisions=(374682,useless=372547), ccks=885270, wck=0.884, mem=306M285
14.18/5.85 decisions=469, wrong=102, backtracks=29, failedAssignments=76, nogoods=48
14.18/5.85
14.82/6.01 num=6, depth=1..58, filters=3019, revisions=(443123,useless=440578), ccks=983905, wck=1.04, mem=314M15
14.82/6.01 decisions=560, wrong=120, backtracks=30, failedAssignments=93, nogoods=65
14.82/6.01
14.82/6.05 num=7, depth=0..13, filters=3328, revisions=(467205,useless=464445), ccks=1025392, wck=1.086, mem=314M15
14.82/6.05 decisions=622, wrong=151, backtracks=43, failedAssignments=112, nogoods=65
14.82/6.05
15.40/6.21 num=8, depth=0..95, filters=4066, revisions=(589279,useless=585880), ccks=1232083, wck=1.245, mem=314M15
15.40/6.21 decisions=761, wrong=175, backtracks=46, failedAssignments=133, nogoods=82
15.40/6.21
15.94/6.43 num=9, depth=3..129, filters=5511, revisions=(803930,useless=799249), ccks=1562888, wck=1.464, mem=321M745
15.94/6.43 decisions=947, wrong=208, backtracks=56, failedAssignments=156, nogoods=94
15.94/6.43
15.94/6.47 num=10, depth=0..26, filters=5926, revisions=(845858,useless=840882), ccks=1631527, wck=1.508, mem=321M745
15.94/6.47 decisions=1035, wrong=240, backtracks=63, failedAssignments=181, nogoods=114
15.94/6.47
16.23/6.69 num=11, depth=0..120, filters=7399, revisions=(1103207,useless=1096909), ccks=1901331, wck=1.72, mem=321M745
16.23/6.69 decisions=1241, wrong=287, backtracks=87, failedAssignments=209, nogoods=127
16.23/6.69
16.44/6.89 num=12, depth=6..125, filters=8899, revisions=(1354681,useless=1347039), ccks=2146167, wck=1.922, mem=329M475
16.44/6.89 decisions=1436, wrong=328, backtracks=101, failedAssignments=240, nogoods=138
16.44/6.89
16.85/7.16 num=13, depth=6..116, filters=11149, revisions=(1717204,useless=1707453), ccks=2465167, wck=2.19, mem=337M205
16.85/7.16 decisions=1658, wrong=384, backtracks=128, failedAssignments=274, nogoods=152
16.85/7.16
17.15/7.44 num=14, depth=12..120, filters=13577, revisions=(2113501,useless=2101504), ccks=2832814, wck=2.47, mem=337M205
17.15/7.44 decisions=1900, wrong=451, backtracks=165, failedAssignments=311, nogoods=168
17.15/7.44
17.27/7.55 num=15, depth=10..46, filters=14681, revisions=(2239808,useless=2227010), ccks=3000972, wck=2.582, mem=344M936
17.27/7.55 decisions=2053, wrong=511, backtracks=184, failedAssignments=352, nogoods=174
17.27/7.55
17.47/7.79 num=16, depth=2..114, filters=17395, revisions=(2602826,useless=2587499), ccks=3350665, wck=2.827, mem=352M666
17.47/7.79 decisions=2292, wrong=580, backtracks=210, failedAssignments=397, nogoods=190
17.47/7.79
17.67/7.97 num=17, depth=2..68, filters=19049, revisions=(2812001,useless=2795358), ccks=3623316, wck=3.006, mem=352M666
17.67/7.97 decisions=2503, wrong=663, backtracks=247, failedAssignments=447, nogoods=207
17.67/7.97
17.98/8.24 num=18, depth=0..115, filters=21397, revisions=(3200966,useless=3182263), ccks=3970762, wck=3.279, mem=360M396
17.98/8.24 decisions=2767, wrong=740, backtracks=275, failedAssignments=502, nogoods=234
17.98/8.24
18.23/8.48 num=19, depth=0..102, filters=23916, revisions=(3542677,useless=3521630), ccks=4304504, wck=3.516, mem=368M126
18.23/8.48 decisions=3081, wrong=850, backtracks=324, failedAssignments=563, nogoods=253
18.23/8.48
18.53/8.79 num=20, depth=6..113, filters=27029, revisions=(4026218,useless=4002250), ccks=4722736, wck=3.825, mem=368M126
18.53/8.79 decisions=3419, wrong=969, backtracks=385, failedAssignments=630, nogoods=277
18.53/8.79
18.75/8.98 num=21, depth=9..86, filters=29400, revisions=(4269298,useless=4243408), ccks=5026655, wck=4.013, mem=375M856
18.75/8.98 decisions=3697, wrong=1072, backtracks=415, failedAssignments=704, nogoods=290
18.75/8.98
19.15/9.32 num=22, depth=0..116, filters=32626, revisions=(4838516,useless=4809716), ccks=5425750, wck=4.357, mem=383M586
19.15/9.32 decisions=4038, wrong=1188, backtracks=463, failedAssignments=785, nogoods=310
19.15/9.32
19.25/9.47 num=23, depth=13..33, filters=34317, revisions=(5009854,useless=4979828), ccks=5716266, wck=4.5, mem=383M586
19.25/9.47 decisions=4331, wrong=1323, backtracks=511, failedAssignments=874, nogoods=329
19.25/9.47
19.48/9.69 num=24, depth=1..69, filters=36967, revisions=(5295171,useless=5263085), ccks=6110461, wck=4.721, mem=391M316
19.48/9.69 decisions=4696, wrong=1478, backtracks=570, failedAssignments=972, nogoods=352
19.48/9.69
20.10/10.11 num=25, depth=0..117, filters=41763, revisions=(6023327,useless=5986934), ccks=6619813, wck=5.149, mem=399M47
20.10/10.11 decisions=5138, wrong=1646, backtracks=648, failedAssignments=1080, nogoods=375
20.10/10.11
20.45/10.45 num=26, depth=1..120, filters=45822, revisions=(6558482,useless=6518496), ccks=7080846, wck=5.487, mem=406M777
20.45/10.45 decisions=5580, wrong=1812, backtracks=700, failedAssignments=1199, nogoods=411
20.45/10.45
20.85/10.85 num=27, depth=5..110, filters=50357, revisions=(7140924,useless=7097105), ccks=7806679, wck=5.883, mem=422M237
20.85/10.85 decisions=6072, wrong=2007, backtracks=768, failedAssignments=1330, nogoods=438
20.85/10.85
21.15/11.14 num=28, depth=1..90, filters=53344, revisions=(7619339,useless=7573342), ccks=8234971, wck=6.179, mem=429M967
21.15/11.14 decisions=6536, wrong=2198, backtracks=816, failedAssignments=1474, nogoods=454
21.15/11.14
21.35/11.37 num=29, depth=0..43, filters=56648, revisions=(7937643,useless=7889187), ccks=8657246, wck=6.407, mem=437M697
21.35/11.37 decisions=6942, wrong=2390, backtracks=850, failedAssignments=1632, nogoods=459
21.35/11.37
21.68/11.63 num=30, depth=0..33, filters=59679, revisions=(8284391,useless=8233850), ccks=9314791, wck=6.666, mem=445M428
21.68/11.63 decisions=7437, wrong=2622, backtracks=920, failedAssignments=1806, nogoods=475
21.68/11.63
22.27/12.03 num=31, depth=0..33, filters=64148, revisions=(8747453,useless=8693745), ccks=10018040, wck=7.06, mem=111M470
22.27/12.03 decisions=7982, wrong=2882, backtracks=990, failedAssignments=1997, nogoods=506
22.27/12.03
22.47/12.28 num=32, depth=0..34, filters=67669, revisions=(9100492,useless=9044297), ccks=10659949, wck=7.314, mem=119M146
22.47/12.28 decisions=8513, wrong=3137, backtracks=1041, failedAssignments=2208, nogoods=533
22.47/12.28
22.79/12.56 num=33, depth=0..33, filters=71604, revisions=(9497996,useless=9439014), ccks=11375678, wck=7.597, mem=126M821
22.79/12.56 decisions=9119, wrong=3432, backtracks=1117, failedAssignments=2440, nogoods=553
22.79/12.56
23.19/12.93 num=34, depth=0..29, filters=76426, revisions=(10022288,useless=9959794), ccks=12369004, wck=7.962, mem=149M848
23.19/12.93 decisions=9840, wrong=3784, backtracks=1234, failedAssignments=2695, nogoods=565
23.19/12.93
23.60/13.36 num=35, depth=0..25, filters=82319, revisions=(10649550,useless=10582839), ccks=13495664, wck=8.392, mem=165M199
23.60/13.36 decisions=10663, wrong=4189, backtracks=1375, failedAssignments=2976, nogoods=585
23.60/13.36
24.13/13.82 num=36, depth=0..24, filters=88863, revisions=(11307318,useless=11235626), ccks=14691674, wck=8.851, mem=180M550
24.13/13.82 decisions=11585, wrong=4644, backtracks=1538, failedAssignments=3285, nogoods=598
24.13/13.82
24.54/14.29 num=37, depth=0..24, filters=95449, revisions=(11972486,useless=11895860), ccks=15951481, wck=9.325, mem=203M577
24.54/14.29 decisions=12549, wrong=5118, backtracks=1707, failedAssignments=3625, nogoods=614
24.54/14.29
25.28/14.91 num=38, depth=0..24, filters=103385, revisions=(12856118,useless=12773803), ccks=17601056, wck=9.947, mem=234M280
25.28/14.91 decisions=13693, wrong=5683, backtracks=1914, failedAssignments=3999, nogoods=636
25.28/14.91
25.82/15.47 num=39, depth=0..25, filters=110925, revisions=(13656777,useless=13568820), ccks=19204787, wck=10.508, mem=257M306
25.82/15.47 decisions=14842, wrong=6249, backtracks=2118, failedAssignments=4410, nogoods=660
25.82/15.47
26.53/16.14 num=40, depth=0..26, filters=120415, revisions=(14602454,useless=14507236), ccks=20958781, wck=11.172, mem=288M9
26.53/16.14 decisions=16143, wrong=6891, backtracks=2368, failedAssignments=4862, nogoods=680
26.53/16.14
27.23/16.88 num=41, depth=0..24, filters=130905, revisions=(15672246,useless=15569102), ccks=22957892, wck=11.917, mem=318M711
27.23/16.88 decisions=17650, wrong=7639, backtracks=2657, failedAssignments=5359, nogoods=693
27.23/16.88
28.13/17.77 num=42, depth=0..23, filters=144442, revisions=(16937248,useless=16823478), ccks=25168261, wck=12.804, mem=349M413
28.13/17.77 decisions=19487, wrong=8551, backtracks=3094, failedAssignments=5906, nogoods=705
28.13/17.77
29.13/18.78 num=43, depth=4..22, filters=159030, revisions=(18373340,useless=18248187), ccks=27639256, wck=13.816, mem=395M467
29.13/18.78 decisions=21437, wrong=9520, backtracks=3563, failedAssignments=6508, nogoods=714
29.13/18.78
30.44/20.07 num=44, depth=0..23, filters=177454, revisions=(20224784,useless=20084968), ccks=30820322, wck=15.104, mem=441M520
30.44/20.07 decisions=23753, wrong=10674, backtracks=4179, failedAssignments=7170, nogoods=724
30.44/20.07
31.93/21.50 num=45, depth=6..21, filters=199649, revisions=(22231437,useless=22073742), ccks=33850271, wck=16.533, mem=492M816
31.93/21.50 decisions=26459, wrong=12020, backtracks=4946, failedAssignments=7898, nogoods=736
31.93/21.50
33.56/23.07 num=46, depth=6..21, filters=222187, revisions=(24424840,useless=24249042), ccks=37724291, wck=18.101, mem=172M982
33.56/23.07 decisions=29258, wrong=13414, backtracks=5689, failedAssignments=8699, nogoods=746
33.56/23.07
35.45/24.92 num=47, depth=0..21, filters=251979, revisions=(27057477,useless=26857480), ccks=41762469, wck=19.956, mem=241M998
35.45/24.92 decisions=32537, wrong=15048, backtracks=6624, failedAssignments=9580, nogoods=756
35.45/24.92
37.25/26.74 num=48, depth=2..18, filters=281992, revisions=(29659285,useless=29434789), ccks=45970940, wck=21.774, mem=297M210
37.25/26.74 decisions=35968, wrong=16758, backtracks=7555, failedAssignments=10550, nogoods=764
37.25/26.74
39.15/28.61 num=49, depth=0..15, filters=314115, revisions=(32365259,useless=32114589), ccks=50268769, wck=23.641, mem=366M225
39.15/28.61 decisions=39630, wrong=18585, backtracks=8513, failedAssignments=11617, nogoods=770
39.15/28.61
41.46/30.95 num=50, depth=0..15, filters=352358, revisions=(35676408,useless=35394811), ccks=55428199, wck=25.987, mem=462M847
41.46/30.95 decisions=43921, wrong=20727, backtracks=9745, failedAssignments=12790, nogoods=776
41.46/30.95
44.16/33.60 num=51, depth=3..16, filters=396466, revisions=(39423161,useless=39105371), ccks=60890075, wck=28.637, mem=545M666
44.16/33.60 decisions=48714, wrong=23122, backtracks=11145, failedAssignments=14081, nogoods=781
44.16/33.60
46.66/36.15 num=52, depth=2..15, filters=440808, revisions=(43025438,useless=42671723), ccks=66252702, wck=31.189, mem=628M484
46.66/36.15 decisions=53629, wrong=25576, backtracks=12504, failedAssignments=15501, nogoods=791
46.66/36.15
49.67/39.13 num=53, depth=0..111, filters=485562, revisions=(47166804,useless=46777012), ccks=72638866, wck=34.167, mem=738M909
49.67/39.13 decisions=58835, wrong=28128, backtracks=13903, failedAssignments=17063, nogoods=831
49.67/39.13
54.36/43.75 num=54, depth=2..120, filters=546799, revisions=(56023426,useless=55579059), ccks=79233425, wck=38.783, mem=145M545
54.36/43.75 decisions=64862, wrong=31092, backtracks=15614, failedAssignments=18781, nogoods=882
54.36/43.75
59.77/49.13 num=55, depth=2..119, filters=622108, revisions=(66985781,useless=66473802), ccks=87510179, wck=44.161, mem=284M3
59.77/49.13 decisions=71488, wrong=34357, backtracks=17511, failedAssignments=20671, nogoods=925
59.77/49.13
64.77/54.14 num=56, depth=2..94, filters=680630, revisions=(76147527,useless=75585344), ccks=98992336, wck=49.179, mem=463M998
64.77/54.14 decisions=79069, wrong=38109, backtracks=19783, failedAssignments=22750, nogoods=963
64.77/54.14
70.46/59.83 num=57, depth=2..82, filters=745548, revisions=(86825689,useless=86206795), ccks=113986263, wck=54.866, mem=713M222
70.46/59.83 decisions=87486, wrong=42286, backtracks=22319, failedAssignments=25037, nogoods=1009
70.46/59.83
77.14/66.46 num=58, depth=2..86, filters=817776, revisions=(98643929,useless=97963534), ccks=131653584, wck=61.498, mem=299M849
77.14/66.46 decisions=96983, wrong=47001, backtracks=25176, failedAssignments=27553, nogoods=1059
77.14/66.46
84.45/73.77 num=59, depth=3..90, filters=895769, revisions=(112039896,useless=111291685), ccks=151871900, wck=68.803, mem=613M90
84.45/73.77 decisions=107788, wrong=52370, backtracks=28519, failedAssignments=30321, nogoods=1115
84.45/73.77
93.06/82.37 num=60, depth=1..87, filters=988514, revisions=(127771820,useless=126943486), ccks=175085867, wck=77.404, mem=1004M641
93.06/82.37 decisions=120183, wrong=58533, backtracks=32608, failedAssignments=33365, nogoods=1167
93.06/82.37
101.38/90.67 num=61, depth=1..85, filters=1085533, revisions=(142668116,useless=141756035), ccks=196872428, wck=85.704, mem=358M978
101.38/90.67 decisions=132587, wrong=64703, backtracks=36343, failedAssignments=36714, nogoods=1222
101.38/90.67
109.68/98.94 num=62, depth=1..84, filters=1175938, revisions=(157644113,useless=156654300), ccks=219363531, wck=93.97, mem=731M436
109.68/98.94 decisions=145613, wrong=71183, backtracks=40168, failedAssignments=40398, nogoods=1271
109.68/98.94
119.21/108.44 num=63, depth=2..90, filters=1280314, revisions=(175614680,useless=174532970), ccks=245806789, wck=103.472, mem=182M584
119.21/108.44 decisions=160598, wrong=78642, backtracks=44677, failedAssignments=44450, nogoods=1304
119.21/108.44
130.74/119.91 num=64, depth=2..88, filters=1398670, revisions=(197661680,useless=196476553), ccks=277531150, wck=114.941, mem=678M884
130.74/119.91 decisions=178284, wrong=87450, backtracks=50316, failedAssignments=48907, nogoods=1344
130.74/119.91
142.65/131.88 num=65, depth=2..85, filters=1520658, revisions=(219563754,useless=218279156), ccks=308284388, wck=126.915, mem=1175M183
142.65/131.88 decisions=195886, wrong=96215, backtracks=55258, failedAssignments=53810, nogoods=1389
142.65/131.88
155.48/144.60 num=66, depth=1..89, filters=1663739, revisions=(241778659,useless=240372268), ccks=342376622, wck=139.633, mem=417M870
155.48/144.60 decisions=215116, wrong=105797, backtracks=61120, failedAssignments=59204, nogoods=1436
155.48/144.60
168.49/157.67 num=67, depth=4..88, filters=1816114, revisions=(265704509,useless=264170895), ccks=377951902, wck=152.705, mem=992M848
168.49/157.67 decisions=236361, wrong=116384, backtracks=67296, failedAssignments=65137, nogoods=1488
168.49/157.67
185.93/175.08 num=68, depth=2..90, filters=2016801, revisions=(296651529,useless=294944728), ccks=424002031, wck=170.116, mem=429M727
185.93/175.08 decisions=261058, wrong=128697, backtracks=74902, failedAssignments=71663, nogoods=1533
185.93/175.08
199.64/188.72 num=69, depth=2..90, filters=2172505, revisions=(320413156,useless=318577726), ccks=461097488, wck=183.758, mem=1030M541
199.64/188.72 decisions=285103, wrong=140682, backtracks=81282, failedAssignments=78842, nogoods=1577
199.64/188.72
218.67/207.74 num=70, depth=3..90, filters=2367057, revisions=(356106002,useless=354103159), ccks=514911301, wck=202.775, mem=631M871
218.67/207.74 decisions=315529, wrong=155861, backtracks=90690, failedAssignments=86739, nogoods=1624
218.67/207.74
241.30/230.31 num=71, depth=2..94, filters=2613112, revisions=(396589889,useless=394377673), ccks=576010414, wck=225.345, mem=425M983
241.30/230.31 decisions=349266, wrong=172695, backtracks=101368, failedAssignments=95426, nogoods=1667
241.30/230.31
264.42/253.44 num=72, depth=2..88, filters=2862696, revisions=(439237956,useless=436811213), ccks=642171847, wck=248.473, mem=324M552
264.42/253.44 decisions=385272, wrong=190664, backtracks=112313, failedAssignments=104981, nogoods=1724
264.42/253.44
289.55/278.50 num=73, depth=3..94, filters=3127018, revisions=(485741143,useless=483089105), ccks=712367287, wck=273.532, mem=357M676
289.55/278.50 decisions=423383, wrong=209686, backtracks=123783, failedAssignments=115492, nogoods=1771
289.55/278.50
310.20/299.18 num=74, depth=5..88, filters=3394713, revisions=(525253678,useless=522391061), ccks=763964918, wck=294.214, mem=124M533
310.20/299.18 decisions=459097, wrong=227506, backtracks=131992, failedAssignments=127054, nogoods=1794
310.20/299.18
342.32/331.28 num=75, depth=1..89, filters=3737227, revisions=(584735729,useless=581585844), ccks=850719684, wck=326.312, mem=512M78
342.32/331.28 decisions=509883, wrong=252863, backtracks=147979, failedAssignments=139772, nogoods=1835
342.32/331.28
373.76/362.64 num=76, depth=1..93, filters=4081359, revisions=(642703310,useless=639266116), ccks=935401584, wck=357.675, mem=905M487
373.76/362.64 decisions=561171, wrong=278471, backtracks=163053, failedAssignments=153762, nogoods=1877
373.76/362.64
415.92/404.77 num=77, depth=1..94, filters=4540026, revisions=(721872469,useless=718040132), ccks=1048300241, wck=399.808, mem=894M389
415.92/404.77 decisions=622707, wrong=309203, backtracks=183171, failedAssignments=169151, nogoods=1925
415.92/404.77
444.37/433.19 num=78, depth=2..87, filters=4901184, revisions=(773924457,useless=769797200), ccks=1118767506, wck=428.228, mem=342M325
444.37/433.19 decisions=674573, wrong=335102, backtracks=195101, failedAssignments=186079, nogoods=1963
444.37/433.19
486.92/475.67 num=79, depth=4..92, filters=5369747, revisions=(854365468,useless=849844308), ccks=1234991509, wck=470.7, mem=661M396
486.92/475.67 decisions=744989, wrong=370275, backtracks=216341, failedAssignments=204700, nogoods=2002
486.92/475.67
537.09/525.70 num=80, depth=4..91, filters=5918231, revisions=(950649297,useless=945664859), ccks=1367697070, wck=520.737, mem=679M304
537.09/525.70 decisions=821828, wrong=408660, backtracks=239488, failedAssignments=225184, nogoods=2051
537.09/525.70
575.35/563.95 num=81, depth=9..82, filters=6423848, revisions=(1027149538,useless=1021762469), ccks=1455255674, wck=558.984, mem=209M547
575.35/563.95 decisions=891048, wrong=443235, backtracks=254520, failedAssignments=247716, nogoods=2081
575.35/563.95
633.65/622.15 num=82, depth=5..96, filters=7091701, revisions=(1133304469,useless=1127343192), ccks=1620195816, wck=617.187, mem=143M623
633.65/622.15 decisions=983202, wrong=489276, backtracks=281818, failedAssignments=272501, nogoods=2123
633.65/622.15
709.56/697.96 num=83, depth=7..94, filters=7869257, revisions=(1282577361,useless=1275924354), ccks=1836917439, wck=692.996, mem=134M695
709.56/697.96 decisions=1098042, wrong=546657, backtracks=320899, failedAssignments=299765, nogoods=2163
709.56/697.96
753.33/741.60 num=84, depth=11..90, filters=8500663, revisions=(1361121141,useless=1353963045), ccks=1939898274, wck=736.634, mem=364M326
753.33/741.60 decisions=1185272, wrong=590254, backtracks=337060, failedAssignments=329755, nogoods=2174
753.33/741.60
845.32/833.40 num=85, depth=0..93, filters=9436705, revisions=(1534446413,useless=1526485438), ccks=2192376872, wck=828.434, mem=291M385
845.32/833.40 decisions=1317897, wrong=656528, backtracks=379735, failedAssignments=362744, nogoods=2213
845.32/833.40
927.48/915.32 num=86, depth=2..95, filters=10318350, revisions=(1693124443,useless=1684425278), ccks=2419995795, wck=910.359, mem=176M204
927.48/915.32 decisions=1453457, wrong=724270, backtracks=420347, failedAssignments=399032, nogoods=2238
927.48/915.32
992.63/980.23 num=87, depth=2..93, filters=11177872, revisions=(1817179156,useless=1807816821), ccks=2582525171, wck=975.262, mem=135M19
992.63/980.23 decisions=1573651, wrong=784329, backtracks=445767, failedAssignments=438949, nogoods=2267
992.63/980.23
1100.52/1087.54 num=88, depth=5..94, filters=12311199, revisions=(2018935996,useless=2008641763), ccks=2868422012, wck=1082.573, mem=141M94
1100.52/1087.54 decisions=1736092, wrong=865511, backtracks=493984, failedAssignments=482858, nogoods=2307
1100.52/1087.54
1229.14/1215.19 num=89, depth=5..91, filters=13591225, revisions=(2265687681,useless=2254273775), ccks=3227017157, wck=1210.223, mem=154M997
1229.14/1215.19 decisions=1925359, wrong=960107, backtracks=554022, failedAssignments=531158, nogoods=2348
1229.14/1215.19
1315.03/1300.39 num=90, depth=4..85, filters=14690120, revisions=(2433439802,useless=2421151864), ccks=3420425015, wck=1295.427, mem=128M291
1315.03/1300.39 decisions=2081582, wrong=1038184, backtracks=585895, failedAssignments=584288, nogoods=2377
1315.03/1300.39
1473.24/1457.34 num=91, depth=2..93, filters=16334422, revisions=(2736309626,useless=2722609437), ccks=3850354216, wck=1452.375, mem=144M367
1473.24/1457.34 decisions=2307586, wrong=1151150, backtracks=657235, failedAssignments=642731, nogoods=2425
1473.24/1457.34
1633.67/1616.54 num=92, depth=3..89, filters=18032930, revisions=(3039104219,useless=3023950424), ccks=4275462563, wck=1611.573, mem=141M183
1633.67/1616.54 decisions=2546221, wrong=1270436, backtracks=729138, failedAssignments=707018, nogoods=2471
1633.67/1616.54
1841.31/1822.69 num=93, depth=1..93, filters=20266199, revisions=(3430077080,useless=3412952924), ccks=4805808956, wck=1817.72, mem=120M886
1841.31/1822.69 decisions=2823916, wrong=1409247, backtracks=818104, failedAssignments=777734, nogoods=2523
1841.31/1822.69
2066.96/2046.52 num=94, depth=2..97, filters=22642549, revisions=(3857572745,useless=3838322285), ccks=5432336124, wck=2041.556, mem=142M302
2066.96/2046.52 decisions=3140524, wrong=1567516, backtracks=924913, failedAssignments=855521, nogoods=2581
2066.96/2046.52
2217.54/2195.90 num=95, depth=1..89, filters=24497817, revisions=(4134773302,useless=4114006553), ccks=5799864401, wck=2190.936, mem=129M492
2217.54/2195.90 decisions=3404863, wrong=1699649, backtracks=986751, failedAssignments=941087, nogoods=2627
2217.54/2195.90
2469.85/2446.34 num=96, depth=3..92, filters=27067471, revisions=(4615773603,useless=4592783844), ccks=6474905728, wck=2441.374, mem=134M856
2469.85/2446.34 decisions=3772162, wrong=1883266, backtracks=1106376, failedAssignments=1035210, nogoods=2678
2469.85/2446.34
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 (8931 MiB free)
memory of node 1: 16384 MiB (13961 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390588-1568381366/watcher-4390588-1568381366 -o /tmp/evaluation-result-4390588-1568381366/solver-4390588-1568381366 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10797 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390588-1568381366.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11847, runsolver pid=11844
[startup+0.100149 s]*
/proc/loadavg: 1.61 1.68 1.13 4/228 11862
/proc/meminfo: memFree=23428400/32770624 swapFree=66939832/67108860
[pid=11847] ppid=11844 vsize=10659884 memory=27764 CPUtime=0.14 cores=1,3,5,7
/proc/11847/stat : 11847 (java) S 11844 11847 10765 0 -1 1077944320 5933 0 0 0 13 1 0 0 20 0 15 0 414051515 10915721216 6941 33554432000 4194304 4196468 140728151308736 140728151291280 140450564071159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
/proc/11847/statm: 2664971 6941 2911 1 0 2627468 0
[pid=11847/tid=11849] ppid=11844 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/11847/task/11849/stat : 11849 (java) R 11844 11847 10765 0 -1 4202560 3275 0 0 0 8 1 0 0 20 0 15 0 414051515 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450568300264 140450548151646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11850] ppid=11844 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11850/stat : 11850 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450170595600 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11851] ppid=11844 vsize=10659884 memory=140656611632768 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11851/stat : 11851 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450169543056 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11852] ppid=11844 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11852/stat : 11852 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450168490512 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11853] ppid=11844 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11853/stat : 11853 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450167437968 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11854] ppid=11844 vsize=10659884 memory=140656611632768 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11854/stat : 11854 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051517 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450055821808 140450564082306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11855] ppid=11844 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11855/stat : 11855 (java) S 11844 11847 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414051518 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450054768032 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11856] ppid=11844 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11856/stat : 11856 (java) S 11844 11847 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414051518 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450053715440 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11857] ppid=11844 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11857/stat : 11857 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414051520 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450052664016 140450564089755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11858] ppid=11844 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11847/task/11858/stat : 11858 (java) S 11844 11847 10765 0 -1 1077944384 599 0 0 0 1 0 0 0 20 0 15 0 414051520 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450051610608 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11859] ppid=11844 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11859/stat : 11859 (java) S 11844 11847 10765 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 414051520 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450050558064 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11860] ppid=11844 vsize=10659884 memory=140656611632768 CPUtime=0.02 cores=1,3,5,7
/proc/11847/task/11860/stat : 11860 (java) R 11844 11847 10765 0 -1 4202560 622 0 0 0 2 0 0 0 20 0 15 0 414051520 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450049502392 140450564083094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11861] ppid=11844 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11861/stat : 11861 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414051521 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450048453216 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11862] ppid=11844 vsize=10659884 memory=140656611632768 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11862/stat : 11862 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051521 10915721216 6941 33554432000 4194304 4196468 140728151308736 140450047400752 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27764 KiB
[startup+0.211123 s]*
/proc/loadavg: 1.61 1.68 1.13 3/228 11862
/proc/meminfo: memFree=23420648/32770624 swapFree=66939832/67108860
[pid=11847] ppid=11844 vsize=10659884 memory=33608 CPUtime=0.33 cores=1,3,5,7
/proc/11847/stat : 11847 (java) S 11844 11847 10765 0 -1 1077944320 7048 0 0 0 31 2 0 0 20 0 15 0 414051515 10915721216 8402 33554432000 4194304 4196468 140728151308736 140728151291280 140450564071159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
/proc/11847/statm: 2664971 8402 2989 1 0 2627468 0
[pid=11847/tid=11849] ppid=11844 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/11847/task/11849/stat : 11849 (java) R 11844 11847 10765 0 -1 4202560 3941 0 0 0 19 1 0 0 20 0 15 0 414051515 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450568303248 140450564093085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11850] ppid=11844 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11850/stat : 11850 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450170595600 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11851] ppid=11844 vsize=10659884 memory=3617151493223949984 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11851/stat : 11851 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450169543056 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11852] ppid=11844 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11852/stat : 11852 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450168490512 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11853] ppid=11844 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11853/stat : 11853 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450167437968 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11854] ppid=11844 vsize=10659884 memory=140656611632768 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11854/stat : 11854 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051517 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450055821808 140450564082306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11855] ppid=11844 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11855/stat : 11855 (java) S 11844 11847 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414051518 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450054768032 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11856] ppid=11844 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11856/stat : 11856 (java) S 11844 11847 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414051518 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450053715440 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11857] ppid=11844 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11857/stat : 11857 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414051520 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450052664016 140450564089755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11858] ppid=11844 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11847/task/11858/stat : 11858 (java) S 11844 11847 10765 0 -1 1077944384 706 0 0 0 3 0 0 0 20 0 15 0 414051520 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450051610608 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11859] ppid=11844 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11847/task/11859/stat : 11859 (java) S 11844 11847 10765 0 -1 1077944384 317 0 0 0 3 0 0 0 20 0 15 0 414051520 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450050558064 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11860] ppid=11844 vsize=10659884 memory=140656611632768 CPUtime=0.05 cores=1,3,5,7
/proc/11847/task/11860/stat : 11860 (java) S 11844 11847 10765 0 -1 1077944384 724 0 0 0 5 0 0 0 20 0 15 0 414051520 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450049505520 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11861] ppid=11844 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11861/stat : 11861 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414051521 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450048453216 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11862] ppid=11844 vsize=10659884 memory=140656611632768 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11862/stat : 11862 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051521 10915721216 8402 33554432000 4194304 4196468 140728151308736 140450047400752 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 33608 KiB
[startup+0.310213 s]*
/proc/loadavg: 1.61 1.68 1.13 3/228 11862
/proc/meminfo: memFree=23411788/32770624 swapFree=66939832/67108860
[pid=11847] ppid=11844 vsize=10659884 memory=39312 CPUtime=0.48 cores=1,3,5,7
/proc/11847/stat : 11847 (java) S 11844 11847 10765 0 -1 1077944320 9650 0 0 0 44 4 0 0 20 0 15 0 414051515 10915721216 9828 33554432000 4194304 4196468 140728151308736 140728151291280 140450564071159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
/proc/11847/statm: 2664971 9828 3030 1 0 2627468 0
[pid=11847/tid=11849] ppid=11844 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/11847/task/11849/stat : 11849 (java) R 11844 11847 10765 0 -1 4202560 6400 0 0 0 27 3 0 0 20 0 15 0 414051515 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450568303568 140450564093085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11850] ppid=11844 vsize=10659884 memory=10528 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11850/stat : 11850 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450170595600 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11851] ppid=11844 vsize=10659884 memory=3834167600756237984 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11851/stat : 11851 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450169543056 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11852] ppid=11844 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11852/stat : 11852 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450168490512 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11853] ppid=11844 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11853/stat : 11853 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051516 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450167437968 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11854] ppid=11844 vsize=10659884 memory=140656611632768 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11854/stat : 11854 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051517 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450055821808 140450564082306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11855] ppid=11844 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11855/stat : 11855 (java) S 11844 11847 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414051518 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450054768032 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11856] ppid=11844 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11856/stat : 11856 (java) S 11844 11847 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414051518 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450053715440 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11857] ppid=11844 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11857/stat : 11857 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414051520 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450052664016 140450564089755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11858] ppid=11844 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11847/task/11858/stat : 11858 (java) S 11844 11847 10765 0 -1 1077944384 767 0 0 0 4 0 0 0 20 0 15 0 414051520 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450051610608 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11859] ppid=11844 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/11847/task/11859/stat : 11859 (java) S 11844 11847 10765 0 -1 1077944384 336 0 0 0 4 0 0 0 20 0 15 0 414051520 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450050558064 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11860] ppid=11844 vsize=10659884 memory=140656611632768 CPUtime=0.08 cores=1,3,5,7
/proc/11847/task/11860/stat : 11860 (java) S 11844 11847 10765 0 -1 1077944384 790 0 0 0 8 0 0 0 20 0 15 0 414051520 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450049505520 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11861] ppid=11844 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11861/stat : 11861 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414051521 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450048453216 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11862] ppid=11844 vsize=10659884 memory=140656611632768 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11862/stat : 11862 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051521 10915721216 9828 33554432000 4194304 4196468 140728151308736 140450047400752 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39312 KiB
[startup+0.701168 s]
/proc/loadavg: 1.61 1.68 1.13 3/228 11862
/proc/meminfo: memFree=23402908/32770624 swapFree=66939832/67108860
[pid=11847] ppid=11844 vsize=10661932 memory=63160 CPUtime=1.11 cores=1,3,5,7
/proc/11847/stat : 11847 (java) S 11844 11847 10765 0 -1 1077944320 13387 0 0 0 105 6 0 0 20 0 15 0 414051515 10917818368 15790 33554432000 4194304 4196468 140728151308736 140728151291280 140450564071159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
/proc/11847/statm: 2665483 15790 3070 1 0 2627980 0
[pid=11847/tid=11849] ppid=11844 vsize=10661932 memory=14056 CPUtime=0.68 cores=1,3,5,7
/proc/11847/task/11849/stat : 11849 (java) R 11844 11847 10765 0 -1 4202560 8942 0 0 0 64 4 0 0 20 0 15 0 414051515 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450568303296 140450564093085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11850] ppid=11844 vsize=10661932 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11850/stat : 11850 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051516 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450170595600 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11851] ppid=11844 vsize=10661932 memory=520 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11851/stat : 11851 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051516 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450169543056 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11852] ppid=11844 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11852/stat : 11852 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051516 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450168490512 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11853] ppid=11844 vsize=10661932 memory=924 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11853/stat : 11853 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051516 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450167437968 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11854] ppid=11844 vsize=10661932 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11854/stat : 11854 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051517 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450055821808 140450564082306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11855] ppid=11844 vsize=10661932 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11855/stat : 11855 (java) S 11844 11847 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414051518 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450054768032 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11856] ppid=11844 vsize=10661932 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11856/stat : 11856 (java) S 11844 11847 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414051518 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450053715440 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11857] ppid=11844 vsize=10661932 memory=812 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11857/stat : 11857 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414051520 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450052664016 140450564089755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11858] ppid=11844 vsize=10661932 memory=7086240636179272035 CPUtime=0.12 cores=1,3,5,7
/proc/11847/task/11858/stat : 11858 (java) R 11844 11847 10765 0 -1 4202560 1107 0 0 0 12 0 0 0 20 0 15 0 414051520 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450051610608 140450564083094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11859] ppid=11844 vsize=10661932 memory=7453282923444726100 CPUtime=0.09 cores=1,3,5,7
/proc/11847/task/11859/stat : 11859 (java) S 11844 11847 10765 0 -1 1077944384 637 0 0 0 9 0 0 0 20 0 15 0 414051520 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450050558064 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11860] ppid=11844 vsize=10661932 memory=7223879631928058176 CPUtime=0.19 cores=1,3,5,7
/proc/11847/task/11860/stat : 11860 (java) S 11844 11847 10765 0 -1 1077944384 1341 0 0 0 19 0 0 0 20 0 15 0 414051520 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450049505520 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11861] ppid=11844 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11861/stat : 11861 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414051521 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450048453216 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11862] ppid=11844 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11862/stat : 11862 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051521 10917818368 15790 33554432000 4194304 4196468 140728151308736 140450047400752 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63160 KiB
[startup+1.50075 s]
/proc/loadavg: 1.61 1.68 1.13 3/228 11862
/proc/meminfo: memFree=23387088/32770624 swapFree=66939832/67108860
[pid=11847] ppid=11844 vsize=10663980 memory=75196 CPUtime=2 cores=1,3,5,7
/proc/11847/stat : 11847 (java) S 11844 11847 10765 0 -1 1077944320 19218 0 0 0 194 6 0 0 20 0 15 0 414051515 10919915520 18799 33554432000 4194304 4196468 140728151308736 140728151291280 140450564071159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
/proc/11847/statm: 2665995 18799 3091 1 0 2628492 0
[pid=11847/tid=11849] ppid=11844 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=1,3,5,7
/proc/11847/task/11849/stat : 11849 (java) R 11844 11847 10765 0 -1 4202560 13354 0 0 0 143 5 0 0 20 0 15 0 414051515 10919915520 18799 33554432000 4194304 4196468 140728151308736 140450568303184 140450564093085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11850] ppid=11844 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11850/stat : 11850 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051516 10919915520 18799 33554432000 4194304 4196468 140728151308736 140450170595600 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11851] ppid=11844 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11851/stat : 11851 (java) S 11844 11847 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414051516 10919915520 18799 33554432000 4194304 4196468 140728151308736 140450169543056 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11852] ppid=11844 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11852/stat : 11852 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051516 10919915520 18799 33554432000 4194304 4196468 140728151308736 140450168490512 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11853] ppid=11844 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11853/stat : 11853 (java) S 11844 11847 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414051516 10919915520 18799 33554432000 4194304 4196468 140728151308736 140450167437968 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11854] ppid=11844 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11854/stat : 11854 (java) S 11844 11847 10765 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 414051517 10919915520 18799 33554432000 4194304 4196468 140728151308736 140450055821808 140450564082306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
################
# More data... #
################
/proc/11847/task/11853/stat : 11853 (java) S 11844 11847 10765 0 -1 1077944384 14061 0 0 0 378 16 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450167437968 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11854] ppid=11844 vsize=10748324 memory=1434860 CPUtime=0.89 cores=1,3,5,7
/proc/11847/task/11854/stat : 11854 (java) S 11844 11847 10765 0 -1 1077944384 15937 0 0 0 78 11 0 0 20 0 16 0 414051517 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450055821808 140450564082306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11855] ppid=11844 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11855/stat : 11855 (java) S 11844 11847 10765 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414051518 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450054768096 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11856] ppid=11844 vsize=10748324 memory=1434860 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11856/stat : 11856 (java) S 11844 11847 10765 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414051518 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450053715456 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11857] ppid=11844 vsize=10748324 memory=1434860 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11857/stat : 11857 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450052664016 140450564089755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11858] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.68 cores=1,3,5,7
/proc/11847/task/11858/stat : 11858 (java) S 11844 11847 10765 0 -1 1077944384 23145 0 0 0 465 3 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450051610608 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11859] ppid=11844 vsize=10748324 memory=3504 CPUtime=4.32 cores=1,3,5,7
/proc/11847/task/11859/stat : 11859 (java) S 11844 11847 10765 0 -1 1077944384 17076 0 0 0 430 2 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450050558064 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11860] ppid=11844 vsize=10748324 memory=39556 CPUtime=1.1 cores=1,3,5,7
/proc/11847/task/11860/stat : 11860 (java) S 11844 11847 10765 0 -1 1077944384 15416 0 0 0 107 3 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450049505520 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11861] ppid=11844 vsize=10748324 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11861/stat : 11861 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414051521 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450048453216 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11862] ppid=11844 vsize=10748324 memory=1760 CPUtime=1.38 cores=1,3,5,7
/proc/11847/task/11862/stat : 11862 (java) S 11844 11847 10765 0 -1 1077944384 2139 0 0 0 62 76 0 0 20 0 16 0 414051521 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450047400752 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11863] ppid=11844 vsize=10748324 memory=6791534058613427641 CPUtime=2375.41 cores=1,3,5,7
/proc/11847/task/11863/stat : 11863 (java) R 11844 11847 10765 0 -1 4202560 40614 0 0 0 237516 25 0 0 20 0 16 0 414051704 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450030513968 140450203825196 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
Current children cumulated CPU time: 2405.38 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1434860 KiB
[startup+2442.3 s]
/proc/loadavg: 1.78 1.73 1.63 3/229 12187
/proc/meminfo: memFree=22322612/32770624 swapFree=66939832/67108860
[pid=11847] ppid=11844 vsize=10748324 memory=1434860 CPUtime=2465.83 cores=1,3,5,7
/proc/11847/stat : 11847 (java) S 11844 11847 10765 0 -1 1077944320 177529 0 0 0 246410 173 0 0 20 0 16 0 414051515 11006283776 358715 33554432000 4194304 4196468 140728151308736 140728151291280 140450564071159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
/proc/11847/statm: 2687081 358715 3390 1 0 2647217 0
[pid=11847/tid=11849] ppid=11844 vsize=10748324 memory=1434860 CPUtime=1.87 cores=1,3,5,7
/proc/11847/task/11849/stat : 11849 (java) S 11844 11847 10765 0 -1 1077944384 15639 0 0 0 181 6 0 0 20 0 16 0 414051515 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450568314032 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11850] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.05 cores=1,3,5,7
/proc/11847/task/11850/stat : 11850 (java) S 11844 11847 10765 0 -1 1077944384 8132 0 0 0 391 14 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450170595600 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11851] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.03 cores=1,3,5,7
/proc/11847/task/11851/stat : 11851 (java) S 11844 11847 10765 0 -1 1077944384 9778 0 0 0 390 13 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450169543056 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11852] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.03 cores=1,3,5,7
/proc/11847/task/11852/stat : 11852 (java) S 11844 11847 10765 0 -1 1077944384 13317 0 0 0 389 14 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450168490512 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11853] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.08 cores=1,3,5,7
/proc/11847/task/11853/stat : 11853 (java) S 11844 11847 10765 0 -1 1077944384 14086 0 0 0 392 16 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450167437968 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11854] ppid=11844 vsize=10748324 memory=1434860 CPUtime=0.91 cores=1,3,5,7
/proc/11847/task/11854/stat : 11854 (java) S 11844 11847 10765 0 -1 1077944384 16311 0 0 0 80 11 0 0 20 0 16 0 414051517 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450055821808 140450564082306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11855] ppid=11844 vsize=10748324 memory=1434860 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11855/stat : 11855 (java) S 11844 11847 10765 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414051518 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450054768096 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11856] ppid=11844 vsize=10748324 memory=1434860 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11856/stat : 11856 (java) S 11844 11847 10765 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414051518 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450053715456 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11857] ppid=11844 vsize=10748324 memory=1434860 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11857/stat : 11857 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450052664016 140450564089755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11858] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.68 cores=1,3,5,7
/proc/11847/task/11858/stat : 11858 (java) S 11844 11847 10765 0 -1 1077944384 23149 0 0 0 465 3 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450051610608 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11859] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.32 cores=1,3,5,7
/proc/11847/task/11859/stat : 11859 (java) S 11844 11847 10765 0 -1 1077944384 17080 0 0 0 430 2 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450050558064 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11860] ppid=11844 vsize=10748324 memory=1434860 CPUtime=1.1 cores=1,3,5,7
/proc/11847/task/11860/stat : 11860 (java) S 11844 11847 10765 0 -1 1077944384 15420 0 0 0 107 3 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450049505520 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11861] ppid=11844 vsize=10748324 memory=1434860 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11861/stat : 11861 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414051521 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450048453216 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11862] ppid=11844 vsize=10748324 memory=1434860 CPUtime=1.41 cores=1,3,5,7
/proc/11847/task/11862/stat : 11862 (java) S 11844 11847 10765 0 -1 1077944384 2169 0 0 0 63 78 0 0 20 0 16 0 414051521 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450047400752 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11863] ppid=11844 vsize=10748324 memory=1434860 CPUtime=2435.23 cores=1,3,5,7
/proc/11847/task/11863/stat : 11863 (java) R 11844 11847 10765 0 -1 4202560 41018 0 0 0 243497 26 0 0 20 0 16 0 414051704 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450030513968 140450205762625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
Current children cumulated CPU time: 2465.83 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1434860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.11 s]
/proc/loadavg: 1.87 1.76 1.65 3/232 12202
/proc/meminfo: memFree=22321928/32770624 swapFree=66939832/67108860
[pid=11847] ppid=11844 vsize=10748324 memory=1434860 CPUtime=2520.05 cores=1,3,5,7
/proc/11847/stat : 11847 (java) S 11844 11847 10765 0 -1 1077944320 178826 0 0 0 251830 175 0 0 20 0 16 0 414051515 11006283776 358715 33554432000 4194304 4196468 140728151308736 140728151291280 140450564071159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
/proc/11847/statm: 2687081 358715 3390 1 0 2647217 0
[pid=11847/tid=11849] ppid=11844 vsize=10748324 memory=1434860 CPUtime=1.87 cores=1,3,5,7
/proc/11847/task/11849/stat : 11849 (java) S 11844 11847 10765 0 -1 1077944384 15639 0 0 0 181 6 0 0 20 0 16 0 414051515 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450568314032 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11850] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.2 cores=1,3,5,7
/proc/11847/task/11850/stat : 11850 (java) S 11844 11847 10765 0 -1 1077944384 8190 0 0 0 405 15 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450170595600 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11851] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.16 cores=1,3,5,7
/proc/11847/task/11851/stat : 11851 (java) S 11844 11847 10765 0 -1 1077944384 9798 0 0 0 403 13 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450169543056 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11852] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.17 cores=1,3,5,7
/proc/11847/task/11852/stat : 11852 (java) S 11844 11847 10765 0 -1 1077944384 13405 0 0 0 402 15 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450168490512 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11853] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.2 cores=1,3,5,7
/proc/11847/task/11853/stat : 11853 (java) S 11844 11847 10765 0 -1 1077944384 14359 0 0 0 404 16 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450167437968 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11854] ppid=11844 vsize=10748324 memory=6628 CPUtime=0.95 cores=1,3,5,7
/proc/11847/task/11854/stat : 11854 (java) S 11844 11847 10765 0 -1 1077944384 16500 0 0 0 83 12 0 0 20 0 16 0 414051517 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450055821808 140450564082306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11855] ppid=11844 vsize=10748324 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11855/stat : 11855 (java) S 11844 11847 10765 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414051518 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450054768096 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11856] ppid=11844 vsize=10748324 memory=1434860 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11856/stat : 11856 (java) S 11844 11847 10765 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414051518 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450053715456 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11857] ppid=11844 vsize=10748324 memory=520 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11857/stat : 11857 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450052664016 140450564089755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11858] ppid=11844 vsize=10748324 memory=988 CPUtime=4.68 cores=1,3,5,7
/proc/11847/task/11858/stat : 11858 (java) S 11844 11847 10765 0 -1 1077944384 23151 0 0 0 465 3 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450051610608 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11859] ppid=11844 vsize=10748324 memory=2008 CPUtime=4.32 cores=1,3,5,7
/proc/11847/task/11859/stat : 11859 (java) S 11844 11847 10765 0 -1 1077944384 17082 0 0 0 430 2 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450050558064 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11860] ppid=11844 vsize=10748324 memory=1434860 CPUtime=1.1 cores=1,3,5,7
/proc/11847/task/11860/stat : 11860 (java) S 11844 11847 10765 0 -1 1077944384 15611 0 0 0 107 3 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450049505520 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11861] ppid=11844 vsize=10748324 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11861/stat : 11861 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414051521 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450048453216 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11862] ppid=11844 vsize=10748324 memory=1434860 CPUtime=1.44 cores=1,3,5,7
/proc/11847/task/11862/stat : 11862 (java) S 11844 11847 10765 0 -1 1077944384 2186 0 0 0 65 79 0 0 20 0 16 0 414051521 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450047400752 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11863] ppid=11844 vsize=10748324 memory=1434860 CPUtime=2488.87 cores=1,3,5,7
/proc/11847/task/11863/stat : 11863 (java) R 11844 11847 10765 0 -1 4202560 41475 0 0 0 248861 26 0 0 20 0 16 0 414051704 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450030513968 140450203825726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1434860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.12 s]
# the end of solver process 11847 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.32 s, system=1.76491 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2496.11 s]
/proc/loadavg: 1.87 1.76 1.65 3/232 12202
/proc/meminfo: memFree=22321928/32770624 swapFree=66939832/67108860
[pid=11847] ppid=11844 vsize=10748324 memory=1434860 CPUtime=2520.05 cores=1,3,5,7
/proc/11847/stat : 11847 (java) S 11844 11847 10765 0 -1 1077944320 178826 0 0 0 251830 175 0 0 20 0 16 0 414051515 11006283776 358715 33554432000 4194304 4196468 140728151308736 140728151291280 140450564071159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
/proc/11847/statm: 2687081 358715 3390 1 0 2647217 0
[pid=11847/tid=11849] ppid=11844 vsize=10748324 memory=1434860 CPUtime=1.87 cores=1,3,5,7
/proc/11847/task/11849/stat : 11849 (java) S 11844 11847 10765 0 -1 1077944384 15639 0 0 0 181 6 0 0 20 0 16 0 414051515 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450568314032 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11850] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.2 cores=1,3,5,7
/proc/11847/task/11850/stat : 11850 (java) S 11844 11847 10765 0 -1 1077944384 8190 0 0 0 405 15 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450170595600 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11851] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.16 cores=1,3,5,7
/proc/11847/task/11851/stat : 11851 (java) S 11844 11847 10765 0 -1 1077944384 9798 0 0 0 403 13 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450169543056 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11852] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.17 cores=1,3,5,7
/proc/11847/task/11852/stat : 11852 (java) S 11844 11847 10765 0 -1 1077944384 13405 0 0 0 402 15 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450168490512 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11853] ppid=11844 vsize=10748324 memory=1434860 CPUtime=4.2 cores=1,3,5,7
/proc/11847/task/11853/stat : 11853 (java) S 11844 11847 10765 0 -1 1077944384 14359 0 0 0 404 16 0 0 20 0 16 0 414051516 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450167437968 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11854] ppid=11844 vsize=10748324 memory=6628 CPUtime=0.95 cores=1,3,5,7
/proc/11847/task/11854/stat : 11854 (java) S 11844 11847 10765 0 -1 1077944384 16500 0 0 0 83 12 0 0 20 0 16 0 414051517 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450055821808 140450564082306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11855] ppid=11844 vsize=10748324 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11855/stat : 11855 (java) S 11844 11847 10765 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414051518 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450054768096 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11856] ppid=11844 vsize=10748324 memory=1434860 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11856/stat : 11856 (java) S 11844 11847 10765 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414051518 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450053715456 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11857] ppid=11844 vsize=10748324 memory=520 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11857/stat : 11857 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450052664016 140450564089755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11858] ppid=11844 vsize=10748324 memory=988 CPUtime=4.68 cores=1,3,5,7
/proc/11847/task/11858/stat : 11858 (java) S 11844 11847 10765 0 -1 1077944384 23151 0 0 0 465 3 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450051610608 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11859] ppid=11844 vsize=10748324 memory=2008 CPUtime=4.32 cores=1,3,5,7
/proc/11847/task/11859/stat : 11859 (java) S 11844 11847 10765 0 -1 1077944384 17082 0 0 0 430 2 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450050558064 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11860] ppid=11844 vsize=10748324 memory=1434860 CPUtime=1.1 cores=1,3,5,7
/proc/11847/task/11860/stat : 11860 (java) S 11844 11847 10765 0 -1 1077944384 15611 0 0 0 107 3 0 0 20 0 16 0 414051520 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450049505520 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11861] ppid=11844 vsize=10748324 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/11847/task/11861/stat : 11861 (java) S 11844 11847 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414051521 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450048453216 140450564081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11862] ppid=11844 vsize=10748324 memory=1434860 CPUtime=1.44 cores=1,3,5,7
/proc/11847/task/11862/stat : 11862 (java) S 11844 11847 10765 0 -1 1077944384 2186 0 0 0 65 79 0 0 20 0 16 0 414051521 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450047400752 140450564082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
[pid=11847/tid=11863] ppid=11844 vsize=10748324 memory=1434860 CPUtime=2488.87 cores=1,3,5,7
/proc/11847/task/11863/stat : 11863 (java) R 11844 11847 10765 0 -1 4202560 41475 0 0 0 248861 26 0 0 20 0 16 0 414051704 11006283776 358715 33554432000 4194304 4196468 140728151308736 140450030513968 140450203825726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38170624 140728151315467 140728151315570 140728151315570 140728151318479 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1434860 KiB
Child status: 143
Real time (s): 2496.12
CPU time (s): 2520.08
CPU user time (s): 2518.32
CPU system time (s): 1.76491
CPU usage (%): 100.96
Max. virtual memory (cumulated for all children) (KiB): 10751300
Max. memory (cumulated for all children) (KiB): 1509316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.32
system time used= 1.76491
maximum resident set size= 1511364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77865
involuntary context switches= 1398
# summary of solver processes directly reported to runsolver:
# pid: 11847
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.32
# total CPU system time (s): 1.76491
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5366 second user time and 23.1288 second system time
The end