2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.90
3.23/2.15 Instance
3.23/2.15 name=instance-4390687-1568383839, framework=CSP
3.23/2.15
3.23/2.15 Loading variables...
3.23/2.18 Loading constraints...
3.85/2.33
3.85/2.33 Domains
3.85/2.33 nTypes=4, nValues=2088, sizes=[1#2,7#28,14#27,28#54]
3.85/2.33 Variables
3.85/2.33 count=111, degrees=[2#29,3#26,27#1,29#18,30#9,55#1,56#27]
3.85/2.33 Constraints
3.85/2.33 count=1261, arities=[2#1261]
3.85/2.33 distribution=[CtrExtensionV-Bits#1261]
3.85/2.33 nExtStructures=(88,shared:1173), nCftStructures=(88,shared:1173)
3.85/2.33 wck=0.484, cpu=2.29, mem=39M724
3.85/2.34 Solver SolverBacktrack being built...
3.85/2.34
3.85/2.37
3.85/2.37 Solver
3.85/2.37 guaranteedGAC=true
3.85/2.37 wck=0.515, cpu=2.32, mem=50M366
3.85/2.37
3.85/2.37 Preprocessing
3.85/2.37 filters=150, revisions=(2246,useless=2078), nACremovedValues=280, nTotalRemovedValues=280, inconcistency=false
3.85/2.37 wck=0.008, cpu=2.33, mem=50M366
3.85/2.37
3.85/2.39 num=0, depth=25..31, filters=960, revisions=(11656,useless=10678), wck=0.022, mem=50M366
3.85/2.39 decisions=65, wrong=20, backtracks=11, failedAssignments=10, nogoods=2
3.85/2.39
3.85/2.39 num=1, depth=27..38, filters=1640, revisions=(19808,useless=18150), wck=0.028, mem=50M366
3.85/2.39 decisions=136, wrong=42, backtracks=22, failedAssignments=21, nogoods=3
3.85/2.39
4.15/2.40 num=2, depth=18..25, filters=2308, revisions=(29731,useless=27405), wck=0.034, mem=50M366
4.15/2.40 decisions=202, wrong=66, backtracks=36, failedAssignments=33, nogoods=4
4.15/2.40
4.15/2.42 num=3, depth=25..38, filters=2936, revisions=(38184,useless=35230), wck=0.052, mem=50M366
4.15/2.42 decisions=279, wrong=92, backtracks=49, failedAssignments=46, nogoods=5
4.15/2.42
4.15/2.42 num=4, depth=10..24, filters=3735, revisions=(47901,useless=44148), wck=0.058, mem=50M366
4.15/2.42 decisions=345, wrong=120, backtracks=63, failedAssignments=60, nogoods=6
4.15/2.42
4.15/2.43 num=5, depth=17..33, filters=4476, revisions=(57882,useless=53388), wck=0.064, mem=50M366
4.15/2.43 decisions=426, wrong=152, backtracks=79, failedAssignments=76, nogoods=7
4.15/2.43
4.15/2.44 num=6, depth=13..38, filters=5443, revisions=(70534,useless=65066), wck=0.072, mem=50M366
4.15/2.44 decisions=525, wrong=186, backtracks=96, failedAssignments=93, nogoods=9
4.15/2.44
4.15/2.45 num=7, depth=12..25, filters=6217, revisions=(83218,useless=76968), wck=0.08, mem=50M366
4.15/2.45 decisions=622, wrong=224, backtracks=117, failedAssignments=112, nogoods=12
4.15/2.45
4.15/2.45 num=8, depth=13..21, filters=6918, revisions=(96032,useless=89079), wck=0.088, mem=50M366
4.15/2.45 decisions=719, wrong=266, backtracks=142, failedAssignments=133, nogoods=15
4.15/2.45
4.15/2.46 num=9, depth=13..38, filters=7518, revisions=(106745,useless=99184), wck=0.094, mem=50M366
4.15/2.46 decisions=846, wrong=312, backtracks=165, failedAssignments=156, nogoods=18
4.15/2.46
4.15/2.47 num=10, depth=13..18, filters=8746, revisions=(123818,useless=115022), wck=0.101, mem=53M9
4.15/2.47 decisions=947, wrong=354, backtracks=183, failedAssignments=181, nogoods=23
4.15/2.47
4.15/2.47 num=11, depth=17..39, filters=9361, revisions=(135428,useless=126017), wck=0.106, mem=53M9
4.15/2.47 decisions=1078, wrong=410, backtracks=211, failedAssignments=209, nogoods=25
4.15/2.47
4.15/2.48 num=12, depth=11..17, filters=10475, revisions=(152707,useless=142180), wck=0.113, mem=53M9
4.15/2.48 decisions=1196, wrong=463, backtracks=234, failedAssignments=240, nogoods=27
4.15/2.48
4.15/2.49 num=13, depth=13..18, filters=12022, revisions=(172729,useless=160641), wck=0.121, mem=53M9
4.15/2.49 decisions=1313, wrong=514, backtracks=255, failedAssignments=274, nogoods=32
4.15/2.49
4.15/2.49 num=14, depth=8..21, filters=13551, revisions=(194544,useless=180904), wck=0.13, mem=53M9
4.15/2.49 decisions=1461, wrong=581, backtracks=289, failedAssignments=311, nogoods=37
4.15/2.49
4.46/2.50 num=15, depth=13..20, filters=15381, revisions=(220132,useless=204649), wck=0.14, mem=53M9
4.46/2.50 decisions=1624, wrong=654, backtracks=330, failedAssignments=352, nogoods=45
4.46/2.50
4.46/2.51 num=16, depth=12..19, filters=17226, revisions=(246010,useless=228673), wck=0.149, mem=53M9
4.46/2.51 decisions=1800, wrong=734, backtracks=369, failedAssignments=397, nogoods=48
4.46/2.51
4.46/2.53 num=17, depth=13..17, filters=20146, revisions=(277837,useless=257543), wck=0.161, mem=53M9
4.46/2.53 decisions=1975, wrong=814, backtracks=404, failedAssignments=447, nogoods=54
4.46/2.53
4.46/2.54 num=18, depth=11..17, filters=22810, revisions=(306741,useless=283757), wck=0.172, mem=53M9
4.46/2.54 decisions=2143, wrong=891, backtracks=431, failedAssignments=502, nogoods=58
4.46/2.54
4.46/2.55 num=19, depth=13..17, filters=25815, revisions=(338641,useless=312618), wck=0.183, mem=53M9
4.46/2.55 decisions=2329, wrong=977, backtracks=460, failedAssignments=563, nogoods=63
4.46/2.55
4.46/2.56 num=20, depth=12..19, filters=29203, revisions=(379768,useless=350325), wck=0.198, mem=53M9
4.46/2.56 decisions=2574, wrong=1093, backtracks=516, failedAssignments=630, nogoods=71
4.46/2.56
4.46/2.58 num=21, depth=15..19, filters=33213, revisions=(419804,useless=386283), wck=0.213, mem=53M9
4.46/2.58 decisions=2811, wrong=1204, backtracks=555, failedAssignments=704, nogoods=86
4.46/2.58
4.46/2.60 num=22, depth=14..20, filters=37948, revisions=(470934,useless=432573), wck=0.231, mem=53M9
4.46/2.60 decisions=3110, wrong=1346, backtracks=628, failedAssignments=785, nogoods=93
4.46/2.60
4.61/2.61 num=23, depth=13..19, filters=41150, revisions=(513866,useless=472289), wck=0.246, mem=53M9
4.61/2.61 decisions=3439, wrong=1503, backtracks=705, failedAssignments=874, nogoods=101
4.61/2.61
4.61/2.63 num=24, depth=13..20, filters=46353, revisions=(571846,useless=524951), wck=0.266, mem=53M9
4.61/2.63 decisions=3788, wrong=1670, backtracks=792, failedAssignments=972, nogoods=106
4.61/2.63
4.61/2.65 num=25, depth=14..21, filters=51896, revisions=(632822,useless=580289), wck=0.287, mem=55M651
4.61/2.65 decisions=4164, wrong=1850, backtracks=878, failedAssignments=1080, nogoods=113
4.61/2.65
4.61/2.67 num=26, depth=14..20, filters=57467, revisions=(699319,useless=641155), wck=0.31, mem=55M651
4.61/2.67 decisions=4592, wrong=2056, backtracks=986, failedAssignments=1199, nogoods=122
4.61/2.67
4.71/2.70 num=27, depth=13..19, filters=63454, revisions=(764261,useless=700008), wck=0.333, mem=55M651
4.71/2.70 decisions=5008, wrong=2256, backtracks=1071, failedAssignments=1330, nogoods=138
4.71/2.70
4.71/2.73 num=28, depth=14..20, filters=71429, revisions=(844002,useless=771633), wck=0.361, mem=55M651
4.71/2.73 decisions=5465, wrong=2477, backtracks=1162, failedAssignments=1474, nogoods=159
4.71/2.73
4.71/2.76 num=29, depth=14..21, filters=80180, revisions=(936453,useless=855247), wck=0.392, mem=55M651
4.71/2.76 decisions=6038, wrong=2756, backtracks=1309, failedAssignments=1632, nogoods=167
4.71/2.76
4.71/2.79 num=30, depth=14..21, filters=88360, revisions=(1021353,useless=931750), wck=0.422, mem=55M651
4.71/2.79 decisions=6565, wrong=3011, backtracks=1401, failedAssignments=1806, nogoods=176
4.71/2.79
4.82/2.83 num=31, depth=14..21, filters=99749, revisions=(1133302,useless=1032125), wck=0.461, mem=58M294
4.82/2.83 decisions=7170, wrong=3306, backtracks=1522, failedAssignments=1997, nogoods=193
4.82/2.83
4.82/2.87 num=32, depth=15..21, filters=112731, revisions=(1254389,useless=1139966), wck=0.502, mem=58M294
4.82/2.87 decisions=7828, wrong=3627, backtracks=1656, failedAssignments=2208, nogoods=210
4.82/2.87
4.92/2.91 num=33, depth=12..19, filters=124589, revisions=(1377038,useless=1250584), wck=0.545, mem=58M294
4.92/2.91 decisions=8592, wrong=4002, backtracks=1833, failedAssignments=2440, nogoods=224
4.92/2.91
4.92/2.96 num=34, depth=13..18, filters=139663, revisions=(1520252,useless=1378513), wck=0.594, mem=60M936
4.92/2.96 decisions=9405, wrong=4402, backtracks=1997, failedAssignments=2695, nogoods=234
4.92/2.96
5.11/3.01 num=35, depth=14..21, filters=154843, revisions=(1671241,useless=1514080), wck=0.648, mem=60M936
5.11/3.01 decisions=10324, wrong=4852, backtracks=2186, failedAssignments=2976, nogoods=243
5.11/3.01
5.11/3.06 num=36, depth=12..20, filters=168298, revisions=(1825345,useless=1654568), wck=0.699, mem=60M936
5.11/3.06 decisions=11406, wrong=5386, backtracks=2442, failedAssignments=3285, nogoods=262
5.11/3.06
5.28/3.13 num=37, depth=12..17, filters=187615, revisions=(2008011,useless=1817670), wck=0.761, mem=63M579
5.28/3.13 decisions=12438, wrong=5895, backtracks=2635, failedAssignments=3625, nogoods=275
5.28/3.13
5.28/3.19 num=38, depth=14..20, filters=205442, revisions=(2191772,useless=1983224), wck=0.823, mem=63M579
5.28/3.19 decisions=13578, wrong=6457, backtracks=2870, failedAssignments=3999, nogoods=295
5.28/3.19
5.38/3.26 num=39, depth=13..20, filters=227749, revisions=(2417228,useless=2186090), wck=0.897, mem=63M579
5.38/3.26 decisions=14919, wrong=7121, backtracks=3190, failedAssignments=4410, nogoods=298
5.38/3.26
5.49/3.34 num=40, depth=14..20, filters=252066, revisions=(2659567,useless=2403799), wck=0.976, mem=66M221
5.49/3.34 decisions=16363, wrong=7835, backtracks=3503, failedAssignments=4862, nogoods=320
5.49/3.34
5.59/3.43 num=41, depth=12..19, filters=283280, revisions=(2932576,useless=2645014), wck=1.067, mem=68M864
5.59/3.43 decisions=17860, wrong=8577, backtracks=3785, failedAssignments=5359, nogoods=342
5.59/3.43
5.70/3.53 num=42, depth=16..22, filters=313448, revisions=(3221797,useless=2903489), wck=1.162, mem=68M864
5.70/3.53 decisions=19541, wrong=9409, backtracks=4118, failedAssignments=5906, nogoods=363
5.70/3.53
5.80/3.63 num=43, depth=14..21, filters=344038, revisions=(3527184,useless=3177812), wck=1.262, mem=71M506
5.80/3.63 decisions=21524, wrong=10392, backtracks=4559, failedAssignments=6508, nogoods=386
5.80/3.63
5.90/3.74 num=44, depth=14..22, filters=379449, revisions=(3875314,useless=3490029), wck=1.374, mem=74M148
5.90/3.74 decisions=23604, wrong=11424, backtracks=5004, failedAssignments=7170, nogoods=395
5.90/3.74
6.00/3.87 num=45, depth=12..19, filters=421551, revisions=(4282139,useless=3854048), wck=1.509, mem=76M791
6.00/3.87 decisions=25964, wrong=12597, backtracks=5535, failedAssignments=7898, nogoods=405
6.00/3.87
6.10/4.00 num=46, depth=10..20, filters=458048, revisions=(4665633,useless=4200536), wck=1.634, mem=76M791
6.10/4.00 decisions=28607, wrong=13912, backtracks=6136, failedAssignments=8699, nogoods=410
6.10/4.00
6.36/4.16 num=47, depth=12..19, filters=506921, revisions=(5160253,useless=4645626), wck=1.799, mem=79M433
6.36/4.16 decisions=31523, wrong=15363, backtracks=6812, failedAssignments=9580, nogoods=428
6.36/4.16
6.55/4.34 num=48, depth=13..21, filters=563263, revisions=(5698258,useless=5126209), wck=1.977, mem=84M718
6.55/4.34 decisions=34616, wrong=16901, backtracks=7486, failedAssignments=10550, nogoods=434
6.55/4.34
6.75/4.54 num=49, depth=12..21, filters=624520, revisions=(6303682,useless=5669526), wck=2.173, mem=87M361
6.75/4.54 decisions=38020, wrong=18597, backtracks=8279, failedAssignments=11617, nogoods=442
6.75/4.54
6.95/4.73 num=50, depth=12..20, filters=684562, revisions=(6910899,useless=6215971), wck=2.37, mem=90M3
6.95/4.73 decisions=41723, wrong=20441, backtracks=9112, failedAssignments=12790, nogoods=448
6.95/4.73
7.16/4.96 num=51, depth=11..21, filters=750923, revisions=(7591101,useless=6828951), wck=2.593, mem=92M645
7.16/4.96 decisions=46030, wrong=22587, backtracks=10122, failedAssignments=14081, nogoods=455
7.16/4.96
7.46/5.20 num=52, depth=15..23, filters=825270, revisions=(8324361,useless=7486586), wck=2.838, mem=97M930
7.46/5.20 decisions=50609, wrong=24868, backtracks=11149, failedAssignments=15501, nogoods=474
7.46/5.20
7.66/5.46 num=53, depth=12..21, filters=902417, revisions=(9130763,useless=8214947), wck=3.099, mem=100M573
7.66/5.46 decisions=55903, wrong=27507, backtracks=12474, failedAssignments=17063, nogoods=483
7.66/5.46
7.95/5.77 num=54, depth=11..20, filters=992702, revisions=(10061070,useless=9053847), wck=3.403, mem=105M858
7.95/5.77 decisions=61481, wrong=30289, backtracks=13738, failedAssignments=18781, nogoods=488
7.95/5.77
8.38/6.11 num=55, depth=13..22, filters=1095429, revisions=(11095053,useless=9983628), wck=3.743, mem=111M143
8.38/6.11 decisions=67649, wrong=33364, backtracks=15204, failedAssignments=20671, nogoods=506
8.38/6.11
8.74/6.46 num=56, depth=13..21, filters=1200782, revisions=(12171517,useless=10953283), wck=4.098, mem=119M70
8.74/6.46 decisions=74343, wrong=36704, backtracks=16776, failedAssignments=22750, nogoods=534
8.74/6.46
9.16/6.83 num=57, depth=12..21, filters=1306807, revisions=(13306451,useless=11981042), wck=4.464, mem=121M712
9.16/6.83 decisions=81969, wrong=40510, backtracks=18649, failedAssignments=25037, nogoods=551
9.16/6.83
9.56/7.27 num=58, depth=11..19, filters=1440999, revisions=(14625720,useless=13164401), wck=4.903, mem=129M640
9.56/7.27 decisions=90037, wrong=44537, backtracks=20455, failedAssignments=27553, nogoods=573
9.56/7.27
10.07/7.73 num=59, depth=12..21, filters=1574203, revisions=(16083269,useless=14487630), wck=5.369, mem=137M567
10.07/7.73 decisions=99386, wrong=49204, backtracks=22880, failedAssignments=30321, nogoods=600
10.07/7.73
10.57/8.23 num=60, depth=11..20, filters=1714535, revisions=(17630593,useless=15893163), wck=5.864, mem=142M778
10.57/8.23 decisions=109338, wrong=54172, backtracks=25278, failedAssignments=33365, nogoods=610
10.57/8.23
11.21/8.82 num=61, depth=12..21, filters=1905781, revisions=(19474755,useless=17543168), wck=6.452, mem=31M580
11.21/8.82 decisions=119930, wrong=59461, backtracks=27669, failedAssignments=36714, nogoods=619
11.21/8.82
11.81/9.43 num=62, depth=11..21, filters=2094374, revisions=(21468506,useless=19346220), wck=7.066, mem=41M938
11.81/9.43 decisions=132176, wrong=65577, backtracks=30646, failedAssignments=40398, nogoods=638
11.81/9.43
12.52/10.11 num=63, depth=11..21, filters=2311194, revisions=(23676295,useless=21334151), wck=7.746, mem=52M296
12.52/10.11 decisions=145558, wrong=72262, backtracks=33904, failedAssignments=44450, nogoods=648
12.52/10.11
13.21/10.83 num=64, depth=13..22, filters=2550367, revisions=(25991965,useless=23406699), wck=8.467, mem=65M244
13.21/10.83 decisions=159698, wrong=79325, backtracks=37066, failedAssignments=48907, nogoods=665
13.21/10.83
14.01/11.62 num=65, depth=10..21, filters=2792806, revisions=(28540672,useless=25709965), wck=9.253, mem=78M192
14.01/11.62 decisions=175970, wrong=87454, backtracks=40950, failedAssignments=53810, nogoods=688
14.01/11.62
14.83/12.47 num=66, depth=10..20, filters=3054664, revisions=(31282058,useless=28186518), wck=10.108, mem=91M140
14.83/12.47 decisions=193600, wrong=96262, backtracks=45003, failedAssignments=59204, nogoods=709
14.83/12.47
15.84/13.41 num=67, depth=11..22, filters=3346410, revisions=(34365064,useless=30974911), wck=11.049, mem=106M677
15.84/13.41 decisions=213141, wrong=106025, backtracks=49801, failedAssignments=65137, nogoods=731
15.84/13.41
16.84/14.50 num=68, depth=11..21, filters=3682586, revisions=(37877964,useless=34147765), wck=12.132, mem=122M215
16.84/14.50 decisions=234959, wrong=116927, backtracks=55108, failedAssignments=71663, nogoods=753
16.84/14.50
18.04/15.65 num=69, depth=11..21, filters=4026995, revisions=(41667802,useless=37589806), wck=13.288, mem=140M342
18.04/15.65 decisions=259288, wrong=129084, backtracks=61277, failedAssignments=78842, nogoods=772
18.04/15.65
19.38/16.97 num=70, depth=10..21, filters=4419204, revisions=(45896028,useless=41421701), wck=14.601, mem=29M54
19.38/16.97 decisions=286277, wrong=142571, backtracks=67877, failedAssignments=86739, nogoods=788
19.38/16.97
20.88/18.43 num=71, depth=11..21, filters=4872750, revisions=(50669327,useless=45736117), wck=16.066, mem=49M918
20.88/18.43 decisions=315684, wrong=157266, backtracks=75350, failedAssignments=95426, nogoods=802
20.88/18.43
22.28/19.86 num=72, depth=9..21, filters=5301778, revisions=(55320158,useless=49950842), wck=17.498, mem=73M391
22.28/19.86 decisions=346049, wrong=172442, backtracks=82007, failedAssignments=104981, nogoods=818
22.28/19.86
23.98/21.55 num=73, depth=11..21, filters=5819304, revisions=(60813700,useless=54920804), wck=19.185, mem=99M472
23.98/21.55 decisions=380951, wrong=189886, backtracks=90487, failedAssignments=115492, nogoods=845
23.98/21.55
25.88/23.46 num=74, depth=10..22, filters=6393900, revisions=(67095993,useless=60622673), wck=21.093, mem=128M161
25.88/23.46 decisions=420078, wrong=209443, backtracks=100124, failedAssignments=127054, nogoods=879
25.88/23.46
28.01/25.58 num=75, depth=11..21, filters=7080921, revisions=(73925306,useless=66754445), wck=23.215, mem=30M597
28.01/25.58 decisions=460845, wrong=229820, backtracks=109474, failedAssignments=139772, nogoods=889
28.01/25.58
30.31/27.87 num=76, depth=10..21, filters=7771248, revisions=(81409879,useless=73540876), wck=25.505, mem=67M902
30.31/27.87 decisions=507702, wrong=253242, backtracks=120830, failedAssignments=153762, nogoods=909
30.31/27.87
32.91/30.41 num=77, depth=11..21, filters=8595481, revisions=(89645940,useless=80941098), wck=28.05, mem=108M316
32.91/30.41 decisions=557282, wrong=278025, backtracks=132432, failedAssignments=169151, nogoods=929
32.91/30.41
35.71/33.23 num=78, depth=10..21, filters=9456926, revisions=(98772847,useless=89195674), wck=30.869, mem=154M947
35.71/33.23 decisions=614054, wrong=306405, backtracks=146275, failedAssignments=186079, nogoods=944
35.71/33.23
38.84/36.31 num=79, depth=11..21, filters=10441332, revisions=(108703938,useless=98128789), wck=33.948, mem=48M770
38.84/36.31 decisions=674054, wrong=336398, backtracks=160252, failedAssignments=204700, nogoods=961
38.84/36.31
42.15/39.65 num=80, depth=9..21, filters=11473965, revisions=(119486489,useless=107865503), wck=37.285, mem=100M712
42.15/39.65 decisions=739413, wrong=369070, backtracks=175022, failedAssignments=225184, nogoods=976
42.15/39.65
45.75/43.23 num=81, depth=11..21, filters=12563471, revisions=(131163622,useless=118441495), wck=40.863, mem=155M711
45.75/43.23 decisions=814121, wrong=406417, backtracks=193388, failedAssignments=247716, nogoods=1008
45.75/43.23
49.88/47.33 num=82, depth=10..22, filters=13805013, revisions=(144454249,useless=130477139), wck=44.967, mem=60M389
49.88/47.33 decisions=896770, wrong=447734, backtracks=213980, failedAssignments=272501, nogoods=1029
49.88/47.33
54.18/51.66 num=83, depth=10..22, filters=15100253, revisions=(158408372,useless=143121945), wck=49.291, mem=126M590
54.18/51.66 decisions=985896, wrong=492290, backtracks=235565, failedAssignments=299765, nogoods=1046
54.18/51.66
59.43/56.89 num=84, depth=10..22, filters=16693181, revisions=(175381704,useless=158485918), wck=54.528, mem=50M876
59.43/56.89 decisions=1087976, wrong=543323, backtracks=262191, failedAssignments=329755, nogoods=1060
59.43/56.89
64.83/62.22 num=85, depth=10..22, filters=18276996, revisions=(192631965,useless=174134847), wck=59.856, mem=127M852
64.83/62.22 decisions=1201095, wrong=599876, backtracks=290874, failedAssignments=362744, nogoods=1084
64.83/62.22
70.77/68.12 num=86, depth=10..21, filters=20043688, revisions=(212010638,useless=191729583), wck=65.761, mem=64M963
70.77/68.12 decisions=1321788, wrong=660216, backtracks=321376, failedAssignments=399032, nogoods=1108
70.77/68.12
77.37/74.70 num=87, depth=9..22, filters=22014242, revisions=(233400549,useless=211128817), wck=72.339, mem=158M104
77.37/74.70 decisions=1458106, wrong=728368, backtracks=355881, failedAssignments=438949, nogoods=1120
77.37/74.70
84.90/82.23 num=88, depth=10..21, filters=24437590, revisions=(257734719,useless=233004441), wck=79.865, mem=141M415
84.90/82.23 decisions=1600075, wrong=799346, backtracks=389258, failedAssignments=482858, nogoods=1127
84.90/82.23
93.11/90.43 num=89, depth=9..21, filters=26937351, revisions=(284098289,useless=256839869), wck=88.064, mem=119M597
93.11/90.43 decisions=1762725, wrong=880664, backtracks=429888, failedAssignments=531158, nogoods=1142
93.11/90.43
101.83/99.14 num=90, depth=9..22, filters=29476241, revisions=(312588273,useless=282766985), wck=96.771, mem=95M732
101.83/99.14 decisions=1945336, wrong=971964, backtracks=477520, failedAssignments=584288, nogoods=1181
101.83/99.14
111.53/108.89 num=91, depth=10..21, filters=32549438, revisions=(344223903,useless=311290433), wck=106.524, mem=116M331
111.53/108.89 decisions=2136090, wrong=1067334, backtracks=522968, failedAssignments=642731, nogoods=1199
111.53/108.89
122.04/119.30 num=92, depth=9..22, filters=35570268, revisions=(378311135,useless=342330634), wck=116.938, mem=117M546
122.04/119.30 decisions=2359275, wrong=1178919, backtracks=581216, failedAssignments=707018, nogoods=1217
122.04/119.30
133.95/131.25 num=93, depth=9..22, filters=39155050, revisions=(417125542,useless=377525035), wck=128.881, mem=23M860
133.95/131.25 decisions=2601327, wrong=1299939, backtracks=642061, failedAssignments=777734, nogoods=1229
133.95/131.25
147.18/144.44 num=94, depth=9..21, filters=43176911, revisions=(460362655,useless=416701266), wck=142.078, mem=85M1
147.18/144.44 decisions=2865208, wrong=1431873, backtracks=709115, failedAssignments=855521, nogoods=1257
147.18/144.44
161.49/158.75 num=95, depth=9..22, filters=47458931, revisions=(506764288,useless=458775764), wck=156.383, mem=43M564
161.49/158.75 decisions=3154745, wrong=1576633, backtracks=781816, failedAssignments=941087, nogoods=1278
161.49/158.75
176.51/173.78 num=96, depth=8..21, filters=51808422, revisions=(555848306,useless=503462930), wck=171.414, mem=132M848
176.51/173.78 decisions=3468811, wrong=1733660, backtracks=859235, failedAssignments=1035210, nogoods=1296
176.51/173.78
194.63/191.87 num=97, depth=8..21, filters=57383743, revisions=(613647269,useless=555619130), wck=189.503, mem=60M847
194.63/191.87 decisions=3811064, wrong=1904780, backtracks=941592, failedAssignments=1138745, nogoods=1310
194.63/191.87
213.67/210.83 num=98, depth=10..22, filters=63059996, revisions=(674514619,useless=610743182), wck=208.468, mem=111M728
213.67/210.83 decisions=4190421, wrong=2094452, backtracks=1036137, failedAssignments=1252634, nogoods=1343
213.67/210.83
234.68/231.80 num=99, depth=8..21, filters=69310829, revisions=(741090948,useless=671000849), wck=229.436, mem=110M154
234.68/231.80 decisions=4609301, wrong=2303886, backtracks=1135791, failedAssignments=1377912, nogoods=1374
234.68/231.80
257.02/254.11 num=100, depth=9..22, filters=75804766, revisions=(813442631,useless=736789206), wck=251.75, mem=98M63
257.02/254.11 decisions=5076445, wrong=2537451, backtracks=1253891, failedAssignments=1515718, nogoods=1394
257.02/254.11
282.52/279.69 num=101, depth=8..22, filters=83318819, revisions=(895813664,useless=811572528), wck=277.322, mem=49M150
282.52/279.69 decisions=5593101, wrong=2795772, backtracks=1385302, failedAssignments=1667304, nogoods=1433
282.52/279.69
309.86/306.90 num=102, depth=9..22, filters=91292061, revisions=(983731739,useless=891435810), wck=304.54, mem=53M655
309.86/306.90 decisions=6158583, wrong=3078506, backtracks=1527656, failedAssignments=1834049, nogoods=1462
309.86/306.90
340.29/337.40 num=103, depth=7..22, filters=100180738, revisions=(1081078045,useless=979797978), wck=335.031, mem=46M597
340.29/337.40 decisions=6784202, wrong=3391310, backtracks=1682513, failedAssignments=2017468, nogoods=1484
340.29/337.40
374.92/371.92 num=104, depth=8..22, filters=110286979, revisions=(1193338473,useless=1081857920), wck=369.56, mem=91M829
374.92/371.92 decisions=7478949, wrong=3738678, backtracks=1862842, failedAssignments=2219229, nogoods=1519
374.92/371.92
412.49/409.45 num=105, depth=9..22, filters=121540832, revisions=(1314254329,useless=1191400467), wck=407.083, mem=76M170
412.49/409.45 decisions=8230106, wrong=4114250, backtracks=2053151, failedAssignments=2441167, nogoods=1550
412.49/409.45
452.13/449.03 num=106, depth=8..22, filters=132926565, revisions=(1442384364,useless=1308040200), wck=446.668, mem=83M967
452.13/449.03 decisions=9059379, wrong=4528880, backtracks=2261031, failedAssignments=2685298, nogoods=1578
452.13/449.03
497.28/494.15 num=107, depth=8..22, filters=145480423, revisions=(1589171967,useless=1442180222), wck=491.79, mem=56M719
497.28/494.15 decisions=10014417, wrong=5006392, backtracks=2517817, failedAssignments=2953843, nogoods=1604
497.28/494.15
545.34/542.19 num=108, depth=8..22, filters=159074426, revisions=(1746183812,useless=1585478490), wck=539.823, mem=68M777
545.34/542.19 decisions=11037888, wrong=5518120, backtracks=2788187, failedAssignments=3249242, nogoods=1631
545.34/542.19
600.50/597.30 num=109, depth=8..22, filters=175094212, revisions=(1925635094,useless=1748765431), wck=594.932, mem=67M762
600.50/597.30 decisions=12157550, wrong=6077943, backtracks=3078216, failedAssignments=3574181, nogoods=1664
600.50/597.30
662.81/659.40 num=110, depth=9..22, filters=194213036, revisions=(2125147110,useless=1928929878), wck=657.038, mem=28M383
662.81/659.40 decisions=13353495, wrong=6675908, backtracks=3373389, failedAssignments=3931614, nogoods=1687
662.81/659.40
727.91/724.44 num=111, depth=8..22, filters=213091321, revisions=(2335876992,useless=2120594147), wck=722.078, mem=62M969
727.91/724.44 decisions=14673002, wrong=7335655, backtracks=3704527, failedAssignments=4324790, nogoods=1707
727.91/724.44
800.34/796.77 num=112, depth=9..22, filters=234497209, revisions=(2569149334,useless=2332228804), wck=794.402, mem=40M304
800.34/796.77 decisions=16148555, wrong=8073424, backtracks=4079813, failedAssignments=4757284, nogoods=1741
800.34/796.77
879.96/876.24 num=113, depth=8..22, filters=256801851, revisions=(2827510199,useless=2568091530), wck=873.873, mem=24M128
879.96/876.24 decisions=17785854, wrong=8892067, backtracks=4506467, failedAssignments=5233028, nogoods=1777
879.96/876.24
967.10/963.22 num=114, depth=8..22, filters=281691729, revisions=(3109854877,useless=2825313810), wck=960.852, mem=44M674
967.10/963.22 decisions=19586953, wrong=9792611, backtracks=4973052, failedAssignments=5756346, nogoods=1810
967.10/963.22
1062.86/1058.82 num=115, depth=8..22, filters=309408873, revisions=(3418078690,useless=3105538369), wck=1056.458, mem=36M58
1062.86/1058.82 decisions=21560207, wrong=10779230, backtracks=5477910, failedAssignments=6331996, nogoods=1831
1062.86/1058.82
1167.92/1163.73 num=116, depth=8..22, filters=339708745, revisions=(3757703276,useless=3414605897), wck=1161.364, mem=74M972
1167.92/1163.73 decisions=23754831, wrong=11876536, backtracks=6039151, failedAssignments=6965211, nogoods=1891
1167.92/1163.73
1288.02/1283.61 num=117, depth=7..22, filters=375514949, revisions=(4141081551,useless=3761787220), wck=1281.249, mem=59M884
1288.02/1283.61 decisions=26096239, wrong=13047233, backtracks=6616551, failedAssignments=7661747, nogoods=1911
1288.02/1283.61
1418.76/1414.19 num=118, depth=8..22, filters=415085442, revisions=(4560107187,useless=4140787352), wck=1411.825, mem=76M109
1418.76/1414.19 decisions=28656524, wrong=14327370, backtracks=7252551, failedAssignments=8427937, nogoods=1928
1418.76/1414.19
1559.57/1554.77 num=119, depth=7..22, filters=455179392, revisions=(5016105761,useless=4556311182), wck=1552.408, mem=52M381
1559.57/1554.77 decisions=31509745, wrong=15753974, backtracks=7981507, failedAssignments=9270746, nogoods=1943
1559.57/1554.77
1712.89/1707.87 num=120, depth=8..23, filters=498382485, revisions=(5512706279,useless=5009309168), wck=1705.509, mem=64M286
1712.89/1707.87 decisions=34727579, wrong=17362883, backtracks=8818387, failedAssignments=10197836, nogoods=1971
1712.89/1707.87
1885.96/1880.62 num=121, depth=8..22, filters=548198084, revisions=(6071995048,useless=5518300467), wck=1878.253, mem=74M31
1885.96/1880.62 decisions=38231912, wrong=19115043, backtracks=9722750, failedAssignments=11217635, nogoods=2008
1885.96/1880.62
2061.43/2055.89 num=122, depth=6..22, filters=595744306, revisions=(6641161015,useless=6039399102), wck=2053.521, mem=71M887
2061.43/2055.89 decisions=42018291, wrong=21008227, backtracks=10659675, failedAssignments=12339414, nogoods=2023
2061.43/2055.89
2270.76/2264.80 num=123, depth=7..22, filters=656908060, revisions=(7312043386,useless=6648461404), wck=2262.432, mem=58M952
2270.76/2264.80 decisions=46210411, wrong=23104281, backtracks=11704663, failedAssignments=13573371, nogoods=2062
2270.76/2264.80
2501.45/2495.20 num=124, depth=8..22, filters=725500752, revisions=(8053639693,useless=7320697011), wck=2492.831, mem=75M177
2501.45/2495.20 decisions=50823774, wrong=25410954, backtracks=12854735, failedAssignments=14930724, nogoods=2093
2501.45/2495.20
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 (14772 MiB free)
memory of node 1: 16384 MiB (14951 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390687-1568383839/watcher-4390687-1568383839 -o /tmp/evaluation-result-4390687-1568383839/solver-4390687-1568383839 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568376840-4290 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390687-1568383839.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5526, runsolver pid=5523
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.95 1.99 2.18 4/227 5541
/proc/meminfo: memFree=30421776/32770624 swapFree=66997132/67108860
[pid=5526] ppid=5523 vsize=10659884 memory=28584 CPUtime=0.14 cores=0,2,4,6
/proc/5526/stat : 5526 (java) S 5523 5526 4259 0 -1 1077944320 5660 0 0 0 13 1 0 0 20 0 15 0 414638593 10915721216 7146 33554432000 4194304 4196468 140724292070384 140724292052928 139878218546935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
/proc/5526/statm: 2664971 7146 2873 1 0 2627468 0
[pid=5526/tid=5528] ppid=5523 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/5526/task/5528/stat : 5528 (java) R 5523 5526 4259 0 -1 4202560 3319 0 0 0 9 0 0 0 20 0 15 0 414638594 10915721216 7212 33554432000 4194304 4196468 140724292070384 139878222775336 139878210784062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5529] ppid=5523 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5529/stat : 5529 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 7212 33554432000 4194304 4196468 140724292070384 139878160550288 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5530] ppid=5523 vsize=10659884 memory=140182012499584 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5530/stat : 5530 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 7212 33554432000 4194304 4196468 140724292070384 139877824649488 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5531] ppid=5523 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5531/stat : 5531 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 7212 33554432000 4194304 4196468 140724292070384 139877823597200 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5532] ppid=5523 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5532/stat : 5532 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 7212 33554432000 4194304 4196468 140724292070384 139877822544400 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5533] ppid=5523 vsize=10659884 memory=140182012499584 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5533/stat : 5533 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638596 10915721216 7212 33554432000 4194304 4196468 140724292070384 139877777730160 139878218558082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5534] ppid=5523 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5534/stat : 5534 (java) S 5523 5526 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414638596 10915721216 7212 33554432000 4194304 4196468 140724292070384 139877776676128 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5535] ppid=5523 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5535/stat : 5535 (java) S 5523 5526 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414638596 10915721216 7212 33554432000 4194304 4196468 140724292070384 139877775623792 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5536] ppid=5523 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5536/stat : 5536 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414638599 10915721216 7212 33554432000 4194304 4196468 140724292070384 139877774572112 139878218565531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5537] ppid=5523 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5537/stat : 5537 (java) S 5523 5526 4259 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 15 0 414638599 10915721216 7212 33554432000 4194304 4196468 140724292070384 139877773518960 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5538] ppid=5523 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5538/stat : 5538 (java) S 5523 5526 4259 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 414638599 10915721216 7212 33554432000 4194304 4196468 140724292070384 139877772466160 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5539] ppid=5523 vsize=10659884 memory=140182012499584 CPUtime=0.02 cores=0,2,4,6
/proc/5526/task/5539/stat : 5539 (java) R 5523 5526 4259 0 -1 4202560 524 0 0 0 2 0 0 0 20 0 15 0 414638599 10915721216 7212 33554432000 4194304 4196468 140724292070384 139877771410376 139878197513832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5540] ppid=5523 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5540/stat : 5540 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414638599 10915721216 7278 33554432000 4194304 4196468 140724292070384 139877770361312 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5541] ppid=5523 vsize=10659884 memory=140182012499584 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5541/stat : 5541 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638599 10915721216 7278 33554432000 4194304 4196468 140724292070384 139877769309104 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28584 KiB
[startup+0.211094 s]*
/proc/loadavg: 1.95 1.99 2.18 3/227 5541
/proc/meminfo: memFree=30411024/32770624 swapFree=66997132/67108860
[pid=5526] ppid=5523 vsize=10659884 memory=37300 CPUtime=0.32 cores=0,2,4,6
/proc/5526/stat : 5526 (java) S 5523 5526 4259 0 -1 1077944320 9100 0 0 0 30 2 0 0 20 0 15 0 414638593 10915721216 9325 33554432000 4194304 4196468 140724292070384 140724292052928 139878218546935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
/proc/5526/statm: 2664971 9325 2989 1 0 2627468 0
[pid=5526/tid=5528] ppid=5523 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/5526/task/5528/stat : 5528 (java) R 5523 5526 4259 0 -1 4202560 6104 0 0 0 18 1 0 0 20 0 15 0 414638594 10915721216 9325 33554432000 4194304 4196468 140724292070384 139878222779024 139878218568861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5529] ppid=5523 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5529/stat : 5529 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 9325 33554432000 4194304 4196468 140724292070384 139878160550288 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5530] ppid=5523 vsize=10659884 memory=140182015333768 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5530/stat : 5530 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877824649488 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5531] ppid=5523 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5531/stat : 5531 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877823597200 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5532] ppid=5523 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5532/stat : 5532 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877822544400 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5533] ppid=5523 vsize=10659884 memory=140182012499584 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5533/stat : 5533 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638596 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877777730160 139878218558082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5534] ppid=5523 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5534/stat : 5534 (java) S 5523 5526 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414638596 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877776676128 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5535] ppid=5523 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5535/stat : 5535 (java) S 5523 5526 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414638596 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877775623792 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5536] ppid=5523 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5536/stat : 5536 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414638599 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877774572112 139878218565531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5537] ppid=5523 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5526/task/5537/stat : 5537 (java) S 5523 5526 4259 0 -1 1077944384 828 0 0 0 3 0 0 0 20 0 15 0 414638599 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877773518960 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5538] ppid=5523 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5526/task/5538/stat : 5538 (java) S 5523 5526 4259 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 15 0 414638599 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877772466160 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5539] ppid=5523 vsize=10659884 memory=140182012499584 CPUtime=0.05 cores=0,2,4,6
/proc/5526/task/5539/stat : 5539 (java) S 5523 5526 4259 0 -1 1077944384 688 0 0 0 5 0 0 0 20 0 15 0 414638599 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877771413872 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5540] ppid=5523 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5540/stat : 5540 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414638599 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877770361312 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5541] ppid=5523 vsize=10659884 memory=140182012499584 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5541/stat : 5541 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638599 10915721216 9325 33554432000 4194304 4196468 140724292070384 139877769309104 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37300 KiB
[startup+0.309972 s]*
/proc/loadavg: 1.95 1.99 2.18 4/227 5541
/proc/meminfo: memFree=30409212/32770624 swapFree=66997132/67108860
[pid=5526] ppid=5523 vsize=10659884 memory=40124 CPUtime=0.46 cores=0,2,4,6
/proc/5526/stat : 5526 (java) S 5523 5526 4259 0 -1 1077944320 9293 0 0 0 43 3 0 0 20 0 15 0 414638593 10915721216 10031 33554432000 4194304 4196468 140724292070384 140724292052928 139878218546935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
/proc/5526/statm: 2664971 10031 3039 1 0 2627468 0
[pid=5526/tid=5528] ppid=5523 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/5526/task/5528/stat : 5528 (java) R 5523 5526 4259 0 -1 4202560 6230 0 0 0 28 2 0 0 20 0 15 0 414638594 10915721216 10093 33554432000 4194304 4196468 140724292070384 139878222785920 139878218568861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5529] ppid=5523 vsize=10659884 memory=2669794 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5529/stat : 5529 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 10093 33554432000 4194304 4196468 140724292070384 139878160550288 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5530] ppid=5523 vsize=10659884 memory=140182015169458 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5530/stat : 5530 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877824649488 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5531] ppid=5523 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5531/stat : 5531 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877823597200 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5532] ppid=5523 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5532/stat : 5532 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638594 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877822544400 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5533] ppid=5523 vsize=10659884 memory=140182012499584 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5533/stat : 5533 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638596 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877777730160 139878218558082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5534] ppid=5523 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5534/stat : 5534 (java) S 5523 5526 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414638596 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877776676128 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5535] ppid=5523 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5535/stat : 5535 (java) S 5523 5526 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414638596 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877775623792 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5536] ppid=5523 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5536/stat : 5536 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414638599 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877774572112 139878218565531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5537] ppid=5523 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5526/task/5537/stat : 5537 (java) S 5523 5526 4259 0 -1 1077944384 861 0 0 0 5 0 0 0 20 0 15 0 414638599 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877773518960 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5538] ppid=5523 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5526/task/5538/stat : 5538 (java) S 5523 5526 4259 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 15 0 414638599 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877772466160 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5539] ppid=5523 vsize=10659884 memory=140182012499584 CPUtime=0.07 cores=0,2,4,6
/proc/5526/task/5539/stat : 5539 (java) R 5523 5526 4259 0 -1 4202560 709 0 0 0 7 0 0 0 20 0 15 0 414638599 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877771413872 139878197174145 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5540] ppid=5523 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5540/stat : 5540 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414638599 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877770361312 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5541] ppid=5523 vsize=10659884 memory=140182012499584 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5541/stat : 5541 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638599 10915721216 10093 33554432000 4194304 4196468 140724292070384 139877769309104 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40124 KiB
[startup+0.700681 s]
/proc/loadavg: 1.95 1.99 2.18 3/227 5541
/proc/meminfo: memFree=30399116/32770624 swapFree=66997132/67108860
[pid=5526] ppid=5523 vsize=10661932 memory=62980 CPUtime=1.12 cores=0,2,4,6
/proc/5526/stat : 5526 (java) S 5523 5526 4259 0 -1 1077944320 12768 0 0 0 107 5 0 0 20 0 15 0 414638593 10917818368 15745 33554432000 4194304 4196468 140724292070384 140724292052928 139878218546935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
/proc/5526/statm: 2665483 15745 3070 1 0 2627980 0
[pid=5526/tid=5528] ppid=5523 vsize=10661932 memory=9792 CPUtime=0.67 cores=0,2,4,6
/proc/5526/task/5528/stat : 5528 (java) R 5523 5526 4259 0 -1 4202560 8779 0 0 0 64 3 0 0 20 0 15 0 414638594 10917818368 15745 33554432000 4194304 4196468 140724292070384 139878222769872 139878202627422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5529] ppid=5523 vsize=10661932 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5529/stat : 5529 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638594 10917818368 15745 33554432000 4194304 4196468 140724292070384 139878160550288 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5530] ppid=5523 vsize=10661932 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5530/stat : 5530 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638594 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877824649488 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5531] ppid=5523 vsize=10661932 memory=500 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5531/stat : 5531 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638594 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877823597200 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5532] ppid=5523 vsize=10661932 memory=928 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5532/stat : 5532 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638594 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877822544400 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5533] ppid=5523 vsize=10661932 memory=1528 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5533/stat : 5533 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638596 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877777730160 139878218558082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5534] ppid=5523 vsize=10661932 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5534/stat : 5534 (java) S 5523 5526 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414638596 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877776676128 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5535] ppid=5523 vsize=10661932 memory=876 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5535/stat : 5535 (java) S 5523 5526 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414638596 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877775623792 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5536] ppid=5523 vsize=10661932 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5536/stat : 5536 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414638599 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877774572112 139878218565531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5537] ppid=5523 vsize=10661932 memory=7086240636179075427 CPUtime=0.11 cores=0,2,4,6
/proc/5526/task/5537/stat : 5537 (java) S 5523 5526 4259 0 -1 1077944384 1023 0 0 0 11 0 0 0 20 0 15 0 414638599 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877773518960 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5538] ppid=5523 vsize=10661932 memory=7453282923427948884 CPUtime=0.12 cores=0,2,4,6
/proc/5526/task/5538/stat : 5538 (java) R 5523 5526 4259 0 -1 4202560 461 0 0 0 12 0 0 0 20 0 15 0 414638599 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877772466160 139878203740624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5539] ppid=5523 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=0,2,4,6
/proc/5526/task/5539/stat : 5539 (java) S 5523 5526 4259 0 -1 1077944384 1145 0 0 0 18 0 0 0 20 0 15 0 414638599 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877771413872 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5540] ppid=5523 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5540/stat : 5540 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414638599 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877770361312 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5541] ppid=5523 vsize=10661932 memory=6441959910864939369 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5541/stat : 5541 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638599 10917818368 15745 33554432000 4194304 4196468 140724292070384 139877769309104 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62980 KiB
[startup+1.50075 s]
/proc/loadavg: 1.95 1.99 2.18 3/227 5541
/proc/meminfo: memFree=30382240/32770624 swapFree=66997132/67108860
[pid=5526] ppid=5523 vsize=10663980 memory=74880 CPUtime=2.02 cores=0,2,4,6
/proc/5526/stat : 5526 (java) S 5523 5526 4259 0 -1 1077944320 18343 0 0 0 196 6 0 0 20 0 15 0 414638593 10919915520 18720 33554432000 4194304 4196468 140724292070384 140724292052928 139878218546935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
/proc/5526/statm: 2665995 18720 3094 1 0 2628492 0
[pid=5526/tid=5528] ppid=5523 vsize=10663980 memory=163945948228604 CPUtime=1.47 cores=0,2,4,6
/proc/5526/task/5528/stat : 5528 (java) R 5523 5526 4259 0 -1 4202560 12985 0 0 0 143 4 0 0 20 0 15 0 414638594 10919915520 18720 33554432000 4194304 4196468 140724292070384 139878222778240 139878202627422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5529] ppid=5523 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5529/stat : 5529 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638594 10919915520 18720 33554432000 4194304 4196468 140724292070384 139878160550288 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5530] ppid=5523 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5530/stat : 5530 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638594 10919915520 18720 33554432000 4194304 4196468 140724292070384 139877824649488 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5531] ppid=5523 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5531/stat : 5531 (java) S 5523 5526 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414638594 10919915520 18720 33554432000 4194304 4196468 140724292070384 139877823597200 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5532] ppid=5523 vsize=10663980 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5532/stat : 5532 (java) S 5523 5526 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414638594 10919915520 18720 33554432000 4194304 4196468 140724292070384 139877822544400 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5533] ppid=5523 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5533/stat : 5533 (java) S 5523 5526 4259 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 414638596 10919915520 18720 33554432000 4194304 4196468 140724292070384 139877777730160 139878218558082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
################
# More data... #
################
/proc/5526/task/5532/stat : 5532 (java) S 5523 5526 4259 0 -1 1077944384 3788 0 0 0 113 4 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877822544400 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5533] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.46 cores=0,2,4,6
/proc/5526/task/5533/stat : 5533 (java) S 5523 5526 4259 0 -1 1077944384 5662 0 0 0 42 4 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877777730160 139878218558082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5534] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5534/stat : 5534 (java) S 5523 5526 4259 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877776676192 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5535] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5535/stat : 5535 (java) S 5523 5526 4259 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877775623808 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5536] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5536/stat : 5536 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877774572112 139878218565531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5537] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.93 cores=0,2,4,6
/proc/5526/task/5537/stat : 5537 (java) S 5523 5526 4259 0 -1 1077944384 5436 0 0 0 93 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877773518960 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5538] ppid=5523 vsize=10748324 memory=3624 CPUtime=0.88 cores=0,2,4,6
/proc/5526/task/5538/stat : 5538 (java) S 5523 5526 4259 0 -1 1077944384 5349 0 0 0 87 1 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877772466160 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5539] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.69 cores=0,2,4,6
/proc/5526/task/5539/stat : 5539 (java) S 5523 5526 4259 0 -1 1077944384 8268 0 0 0 68 1 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877771413872 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5540] ppid=5523 vsize=10748324 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5540/stat : 5540 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877770361312 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5541] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.57 cores=0,2,4,6
/proc/5526/task/5541/stat : 5541 (java) S 5523 5526 4259 0 -1 1077944384 1018 0 0 0 22 35 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877769309104 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5542] ppid=5523 vsize=10748324 memory=948 CPUtime=2438.37 cores=0,2,4,6
/proc/5526/task/5542/stat : 5542 (java) R 5523 5526 4259 0 -1 4202560 16083 0 0 0 243832 5 0 0 20 0 16 0 414638782 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877758598752 139877847206414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
Current children cumulated CPU time: 2448.56 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195104 KiB
[startup+2502.3 s]
/proc/loadavg: 1.54 1.61 1.74 3/229 5932
/proc/meminfo: memFree=30246688/32770624 swapFree=66997152/67108860
[pid=5526] ppid=5523 vsize=10748324 memory=195104 CPUtime=2508.65 cores=0,2,4,6
/proc/5526/stat : 5526 (java) S 5523 5526 4259 0 -1 1077944320 76858 0 0 0 250806 59 0 0 20 0 16 0 414638593 11006283776 48776 33554432000 4194304 4196468 140724292070384 140724292052928 139878218546935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
/proc/5526/statm: 2687081 48776 3370 1 0 2647217 0
[pid=5526/tid=5528] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.85 cores=0,2,4,6
/proc/5526/task/5528/stat : 5528 (java) S 5523 5526 4259 0 -1 1077944384 15234 0 0 0 179 6 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139878222789808 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5529] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.2 cores=0,2,4,6
/proc/5526/task/5529/stat : 5529 (java) S 5523 5526 4259 0 -1 1077944384 4689 0 0 0 117 3 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139878160550288 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5530] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.2 cores=0,2,4,6
/proc/5526/task/5530/stat : 5530 (java) S 5523 5526 4259 0 -1 1077944384 3335 0 0 0 118 2 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877824649488 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5531] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.2 cores=0,2,4,6
/proc/5526/task/5531/stat : 5531 (java) S 5523 5526 4259 0 -1 1077944384 5641 0 0 0 117 3 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877823597200 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5532] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.2 cores=0,2,4,6
/proc/5526/task/5532/stat : 5532 (java) S 5523 5526 4259 0 -1 1077944384 4037 0 0 0 116 4 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877822544400 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5533] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.47 cores=0,2,4,6
/proc/5526/task/5533/stat : 5533 (java) S 5523 5526 4259 0 -1 1077944384 5757 0 0 0 43 4 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877777730160 139878218558082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5534] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5534/stat : 5534 (java) S 5523 5526 4259 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877776676192 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5535] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5535/stat : 5535 (java) S 5523 5526 4259 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877775623808 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5536] ppid=5523 vsize=10748324 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5536/stat : 5536 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877774572112 139878218565531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5537] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.93 cores=0,2,4,6
/proc/5526/task/5537/stat : 5537 (java) S 5523 5526 4259 0 -1 1077944384 5438 0 0 0 93 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877773518960 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5538] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.88 cores=0,2,4,6
/proc/5526/task/5538/stat : 5538 (java) S 5523 5526 4259 0 -1 1077944384 5351 0 0 0 87 1 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877772466160 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5539] ppid=5523 vsize=10748324 memory=772 CPUtime=0.69 cores=0,2,4,6
/proc/5526/task/5539/stat : 5539 (java) S 5523 5526 4259 0 -1 1077944384 8428 0 0 0 68 1 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877771413872 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5540] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5540/stat : 5540 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877770361312 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5541] ppid=5523 vsize=10748324 memory=25260 CPUtime=0.58 cores=0,2,4,6
/proc/5526/task/5541/stat : 5541 (java) S 5523 5526 4259 0 -1 1077944384 1046 0 0 0 22 36 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877769309104 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5542] ppid=5523 vsize=10748324 memory=195104 CPUtime=2498.32 cores=0,2,4,6
/proc/5526/task/5542/stat : 5542 (java) R 5523 5526 4259 0 -1 4202560 16465 0 0 0 249827 5 0 0 20 0 16 0 414638782 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877758598752 139877847207093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
Current children cumulated CPU time: 2508.65 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.7 s]
/proc/loadavg: 1.61 1.63 1.75 3/229 5932
/proc/meminfo: memFree=30246828/32770624 swapFree=66997152/67108860
[pid=5526] ppid=5523 vsize=10748324 memory=195104 CPUtime=2520.07 cores=0,2,4,6
/proc/5526/stat : 5526 (java) S 5523 5526 4259 0 -1 1077944320 76861 0 0 0 251948 59 0 0 20 0 16 0 414638593 11006283776 48776 33554432000 4194304 4196468 140724292070384 140724292052928 139878218546935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
/proc/5526/statm: 2687081 48776 3370 1 0 2647217 0
[pid=5526/tid=5528] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.85 cores=0,2,4,6
/proc/5526/task/5528/stat : 5528 (java) S 5523 5526 4259 0 -1 1077944384 15234 0 0 0 179 6 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139878222789808 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5529] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.21 cores=0,2,4,6
/proc/5526/task/5529/stat : 5529 (java) S 5523 5526 4259 0 -1 1077944384 4689 0 0 0 118 3 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139878160550288 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5530] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.2 cores=0,2,4,6
/proc/5526/task/5530/stat : 5530 (java) S 5523 5526 4259 0 -1 1077944384 3335 0 0 0 118 2 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877824649488 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5531] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.21 cores=0,2,4,6
/proc/5526/task/5531/stat : 5531 (java) S 5523 5526 4259 0 -1 1077944384 5641 0 0 0 118 3 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877823597200 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5532] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.2 cores=0,2,4,6
/proc/5526/task/5532/stat : 5532 (java) S 5523 5526 4259 0 -1 1077944384 4037 0 0 0 116 4 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877822544400 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5533] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.47 cores=0,2,4,6
/proc/5526/task/5533/stat : 5533 (java) S 5523 5526 4259 0 -1 1077944384 5757 0 0 0 43 4 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877777730160 139878218558082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5534] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5534/stat : 5534 (java) S 5523 5526 4259 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877776676192 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5535] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5535/stat : 5535 (java) S 5523 5526 4259 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877775623808 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5536] ppid=5523 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5536/stat : 5536 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877774572112 139878218565531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5537] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.93 cores=0,2,4,6
/proc/5526/task/5537/stat : 5537 (java) S 5523 5526 4259 0 -1 1077944384 5438 0 0 0 93 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877773518960 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5538] ppid=5523 vsize=10748324 memory=25260 CPUtime=0.88 cores=0,2,4,6
/proc/5526/task/5538/stat : 5538 (java) S 5523 5526 4259 0 -1 1077944384 5351 0 0 0 87 1 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877772466160 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5539] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.69 cores=0,2,4,6
/proc/5526/task/5539/stat : 5539 (java) S 5523 5526 4259 0 -1 1077944384 8428 0 0 0 68 1 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877771413872 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5540] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5540/stat : 5540 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877770361312 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5541] ppid=5523 vsize=10748324 memory=4008 CPUtime=0.58 cores=0,2,4,6
/proc/5526/task/5541/stat : 5541 (java) S 5523 5526 4259 0 -1 1077944384 1046 0 0 0 22 36 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877769309104 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5542] ppid=5523 vsize=10748324 memory=948 CPUtime=2509.71 cores=0,2,4,6
/proc/5526/task/5542/stat : 5542 (java) R 5523 5526 4259 0 -1 4202560 16468 0 0 0 250966 5 0 0 20 0 16 0 414638782 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877758598864 139877847207287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.71 s]
# the end of solver process 5526 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.49 s, system=0.597094 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.7 s]
/proc/loadavg: 1.61 1.63 1.75 3/229 5932
/proc/meminfo: memFree=30246828/32770624 swapFree=66997152/67108860
[pid=5526] ppid=5523 vsize=10748324 memory=195104 CPUtime=2520.07 cores=0,2,4,6
/proc/5526/stat : 5526 (java) S 5523 5526 4259 0 -1 1077944320 76861 0 0 0 251948 59 0 0 20 0 16 0 414638593 11006283776 48776 33554432000 4194304 4196468 140724292070384 140724292052928 139878218546935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
/proc/5526/statm: 2687081 48776 3370 1 0 2647217 0
[pid=5526/tid=5528] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.85 cores=0,2,4,6
/proc/5526/task/5528/stat : 5528 (java) S 5523 5526 4259 0 -1 1077944384 15234 0 0 0 179 6 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139878222789808 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5529] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.21 cores=0,2,4,6
/proc/5526/task/5529/stat : 5529 (java) S 5523 5526 4259 0 -1 1077944384 4689 0 0 0 118 3 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139878160550288 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5530] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.2 cores=0,2,4,6
/proc/5526/task/5530/stat : 5530 (java) S 5523 5526 4259 0 -1 1077944384 3335 0 0 0 118 2 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877824649488 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5531] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.21 cores=0,2,4,6
/proc/5526/task/5531/stat : 5531 (java) S 5523 5526 4259 0 -1 1077944384 5641 0 0 0 118 3 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877823597200 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5532] ppid=5523 vsize=10748324 memory=195104 CPUtime=1.2 cores=0,2,4,6
/proc/5526/task/5532/stat : 5532 (java) S 5523 5526 4259 0 -1 1077944384 4037 0 0 0 116 4 0 0 20 0 16 0 414638594 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877822544400 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5533] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.47 cores=0,2,4,6
/proc/5526/task/5533/stat : 5533 (java) S 5523 5526 4259 0 -1 1077944384 5757 0 0 0 43 4 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877777730160 139878218558082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5534] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5534/stat : 5534 (java) S 5523 5526 4259 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877776676192 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5535] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5535/stat : 5535 (java) S 5523 5526 4259 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414638596 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877775623808 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5536] ppid=5523 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5536/stat : 5536 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877774572112 139878218565531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5537] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.93 cores=0,2,4,6
/proc/5526/task/5537/stat : 5537 (java) S 5523 5526 4259 0 -1 1077944384 5438 0 0 0 93 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877773518960 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5538] ppid=5523 vsize=10748324 memory=25260 CPUtime=0.88 cores=0,2,4,6
/proc/5526/task/5538/stat : 5538 (java) S 5523 5526 4259 0 -1 1077944384 5351 0 0 0 87 1 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877772466160 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5539] ppid=5523 vsize=10748324 memory=195104 CPUtime=0.69 cores=0,2,4,6
/proc/5526/task/5539/stat : 5539 (java) S 5523 5526 4259 0 -1 1077944384 8428 0 0 0 68 1 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877771413872 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5540] ppid=5523 vsize=10748324 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/5526/task/5540/stat : 5540 (java) S 5523 5526 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877770361312 139878218557141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5541] ppid=5523 vsize=10748324 memory=4008 CPUtime=0.58 cores=0,2,4,6
/proc/5526/task/5541/stat : 5541 (java) S 5523 5526 4259 0 -1 1077944384 1046 0 0 0 22 36 0 0 20 0 16 0 414638599 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877769309104 139878218558082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
[pid=5526/tid=5542] ppid=5523 vsize=10748324 memory=948 CPUtime=2509.71 cores=0,2,4,6
/proc/5526/task/5542/stat : 5542 (java) R 5523 5526 4259 0 -1 4202560 16468 0 0 0 250966 5 0 0 20 0 16 0 414638782 11006283776 48776 33554432000 4194304 4196468 140724292070384 139877758598864 139877847207287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16330752 140724292076555 140724292076658 140724292076658 140724292079567 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195104 KiB
Child status: 143
Real time (s): 2513.71
CPU time (s): 2520.09
CPU user time (s): 2519.49
CPU system time (s): 0.597094
CPU usage (%): 100.254
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 267892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.49
system time used= 0.597094
maximum resident set size= 267892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77074
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66729
involuntary context switches= 4277
# summary of solver processes directly reported to runsolver:
# pid: 5526
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.49
# total CPU system time (s): 0.597094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9591 second user time and 21.82 second system time
The end