2.62/2.62
2.62/2.62 AbsCon 2
2.62/2.65
4.07/3.13 Instance
4.07/3.13 name=instance-4391046-1568380516, framework=COP, bounds=-infty..+infty
4.07/3.13
4.07/3.13 Loading variables...
4.07/3.18 Loading constraints...
6.02/3.86
6.02/3.86 Domains
6.02/3.86 nTypes=1, nValues=202500, sizes=[450#450]
6.02/3.86 Variables
6.02/3.86 count=450, degrees=[3#4,4#9,5#12,6#13...98#1,99#1,107#1,129#1]
6.02/3.86 Objectives
6.02/3.86 way=min, type=ObjMaximumLE
6.02/3.86 Constraints
6.02/3.86 count=8261, nSpecific=8261, arities=[2#8260,450#1]
6.02/3.86 distribution=[NE#8260,ObjMaximumLE#1]
6.02/3.86 wck=1.298, cpu=3.013, mem=112M374
6.02/3.87 Solver SolverBacktrack being built...
6.02/3.87
6.35/3.91
6.35/3.91 Solver
6.35/3.91 guaranteedGAC=true
6.35/3.91 wck=1.345, cpu=3.057, mem=124M612
6.35/3.92
6.35/3.92 Preprocessing
6.35/3.92 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
6.35/3.92 wck=0.009, cpu=3.068, mem=127M228
6.35/3.92
6.35/3.98 o 27
6.35/3.99 num=0, depth=451..449, filters=4727, ccks=8261, wck=0.086, mem=127M228
6.35/3.99 decisions=450, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=27
6.35/3.99
6.74/4.02 o 26
6.74/4.03 num=1, depth=451..449, filters=9389, ccks=16522, wck=0.121, mem=129M844
6.74/4.03 decisions=894, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=26
6.74/4.03
6.74/4.04 num=2, depth=363..368, filters=14569, ccks=16522, wck=0.138, mem=129M844
6.74/4.04 decisions=1298, wrong=20, backtracks=9, failedAssignments=11, nogoods=3, foundSolutions=2, bestBound=26
6.74/4.04
6.74/4.07 o 25
6.74/4.07 num=3, depth=382..449, filters=19255, ccks=24783, wck=0.163, mem=129M844
6.74/4.07 decisions=1736, wrong=21, backtracks=9, failedAssignments=12, nogoods=4, foundSolutions=3, bestBound=25
6.74/4.07
6.74/4.09 num=4, depth=357..366, filters=24625, ccks=24783, wck=0.179, mem=129M844
6.74/4.09 decisions=2141, wrong=45, backtracks=22, failedAssignments=24, nogoods=5, foundSolutions=3, bestBound=25
6.74/4.09
6.74/4.10 num=5, depth=359..367, filters=30389, ccks=24783, wck=0.194, mem=129M844
6.74/4.10 decisions=2546, wrong=66, backtracks=33, failedAssignments=35, nogoods=7, foundSolutions=3, bestBound=25
6.74/4.10
7.02/4.11 num=6, depth=345..357, filters=35598, ccks=24783, wck=0.208, mem=129M844
7.02/4.11 decisions=2939, wrong=90, backtracks=45, failedAssignments=47, nogoods=8, foundSolutions=3, bestBound=25
7.02/4.11
7.02/4.13 num=7, depth=365..370, filters=40570, ccks=24783, wck=0.22, mem=129M844
7.02/4.13 decisions=3352, wrong=114, backtracks=58, failedAssignments=60, nogoods=9, foundSolutions=3, bestBound=25
7.02/4.13
7.02/4.14 num=8, depth=348..359, filters=45723, ccks=24783, wck=0.231, mem=129M844
7.02/4.14 decisions=3757, wrong=142, backtracks=72, failedAssignments=74, nogoods=11, foundSolutions=3, bestBound=25
7.02/4.14
7.02/4.15 num=9, depth=362..373, filters=50804, ccks=24783, wck=0.243, mem=129M844
7.02/4.15 decisions=4183, wrong=174, backtracks=88, failedAssignments=90, nogoods=13, foundSolutions=3, bestBound=25
7.02/4.15
7.02/4.16 num=10, depth=343..360, filters=55920, ccks=24783, wck=0.254, mem=129M844
7.02/4.16 decisions=4594, wrong=208, backtracks=105, failedAssignments=107, nogoods=14, foundSolutions=3, bestBound=25
7.02/4.16
7.02/4.17 o 24
7.02/4.17 num=11, depth=348..449, filters=61887, ccks=33044, wck=0.268, mem=132M462
7.02/4.17 decisions=5083, wrong=243, backtracks=123, failedAssignments=125, nogoods=15, foundSolutions=4, bestBound=24
7.02/4.17
7.02/4.19 num=12, depth=320..333, filters=67711, ccks=33044, wck=0.281, mem=132M462
7.02/4.19 decisions=5487, wrong=285, backtracks=144, failedAssignments=146, nogoods=17, foundSolutions=4, bestBound=24
7.02/4.19
7.14/4.20 num=13, depth=310..321, filters=72435, ccks=33044, wck=0.293, mem=132M462
7.14/4.20 decisions=5841, wrong=307, backtracks=155, failedAssignments=157, nogoods=18, foundSolutions=4, bestBound=24
7.14/4.20
7.14/4.21 num=14, depth=269..281, filters=77241, ccks=33044, wck=0.305, mem=132M462
7.14/4.21 decisions=6158, wrong=331, backtracks=167, failedAssignments=169, nogoods=19, foundSolutions=4, bestBound=24
7.14/4.21
7.14/4.22 num=15, depth=308..321, filters=81820, ccks=33044, wck=0.316, mem=132M462
7.14/4.22 decisions=6518, wrong=357, backtracks=180, failedAssignments=182, nogoods=20, foundSolutions=4, bestBound=24
7.14/4.22
7.14/4.24 num=16, depth=250..262, filters=86296, ccks=33044, wck=0.326, mem=132M462
7.14/4.24 decisions=6824, wrong=385, backtracks=194, failedAssignments=196, nogoods=22, foundSolutions=4, bestBound=24
7.14/4.24
7.14/4.24 num=17, depth=265..281, filters=90961, ccks=33044, wck=0.337, mem=132M462
7.14/4.24 decisions=7153, wrong=417, backtracks=210, failedAssignments=212, nogoods=23, foundSolutions=4, bestBound=24
7.14/4.24
7.14/4.25 num=18, depth=249..262, filters=95530, ccks=33044, wck=0.348, mem=132M462
7.14/4.25 decisions=7470, wrong=451, backtracks=228, failedAssignments=229, nogoods=25, foundSolutions=4, bestBound=24
7.14/4.25
7.14/4.27 num=19, depth=262..281, filters=100240, ccks=33044, wck=0.359, mem=132M462
7.14/4.27 decisions=7808, wrong=489, backtracks=247, failedAssignments=248, nogoods=26, foundSolutions=4, bestBound=24
7.14/4.27
7.14/4.28 num=20, depth=242..252, filters=104896, ccks=33044, wck=0.369, mem=132M462
7.14/4.28 decisions=8134, wrong=531, backtracks=273, failedAssignments=269, nogoods=27, foundSolutions=4, bestBound=24
7.14/4.28
7.14/4.29 num=21, depth=245..262, filters=109865, ccks=33044, wck=0.381, mem=132M462
7.14/4.29 decisions=8471, wrong=577, backtracks=298, failedAssignments=292, nogoods=29, foundSolutions=4, bestBound=24
7.14/4.29
7.38/4.30 num=22, depth=241..252, filters=114572, ccks=33044, wck=0.391, mem=132M462
7.38/4.30 decisions=8812, wrong=627, backtracks=329, failedAssignments=317, nogoods=31, foundSolutions=4, bestBound=24
7.38/4.30
7.38/4.31 num=23, depth=243..262, filters=119421, ccks=33044, wck=0.401, mem=132M462
7.38/4.31 decisions=9167, wrong=683, backtracks=361, failedAssignments=345, nogoods=32, foundSolutions=4, bestBound=24
7.38/4.31
7.38/4.32 num=24, depth=218..249, filters=124388, ccks=33044, wck=0.411, mem=132M462
7.38/4.32 decisions=9509, wrong=745, backtracks=392, failedAssignments=376, nogoods=33, foundSolutions=4, bestBound=24
7.38/4.32
7.38/4.33 num=25, depth=218..252, filters=129142, ccks=33044, wck=0.421, mem=132M462
7.38/4.33 decisions=9863, wrong=813, backtracks=426, failedAssignments=410, nogoods=34, foundSolutions=4, bestBound=24
7.38/4.33
7.38/4.34 num=26, depth=212..249, filters=134529, ccks=33044, wck=0.431, mem=132M462
7.38/4.34 decisions=10223, wrong=887, backtracks=463, failedAssignments=447, nogoods=35, foundSolutions=4, bestBound=24
7.38/4.34
7.38/4.35 num=27, depth=211..252, filters=139290, ccks=33044, wck=0.441, mem=132M462
7.38/4.35 decisions=10598, wrong=969, backtracks=504, failedAssignments=488, nogoods=36, foundSolutions=4, bestBound=24
7.38/4.35
7.38/4.36 num=28, depth=178..193, filters=149205, ccks=33044, wck=0.453, mem=132M462
7.38/4.36 decisions=10957, wrong=1059, backtracks=561, failedAssignments=533, nogoods=40, foundSolutions=4, bestBound=24
7.38/4.36
7.38/4.37 num=29, depth=199..249, filters=154936, ccks=33044, wck=0.463, mem=132M462
7.38/4.37 decisions=11356, wrong=1159, backtracks=611, failedAssignments=583, nogoods=41, foundSolutions=4, bestBound=24
7.38/4.37
7.38/4.38 num=30, depth=197..252, filters=160015, ccks=33044, wck=0.472, mem=132M462
7.38/4.38 decisions=11773, wrong=1269, backtracks=666, failedAssignments=638, nogoods=42, foundSolutions=4, bestBound=24
7.38/4.38
7.38/4.39 num=31, depth=177..193, filters=172372, ccks=33044, wck=0.486, mem=132M462
7.38/4.39 decisions=12195, wrong=1391, backtracks=739, failedAssignments=699, nogoods=46, foundSolutions=4, bestBound=24
7.38/4.39
7.49/4.40 num=32, depth=157..193, filters=181022, ccks=33044, wck=0.498, mem=132M462
7.49/4.40 decisions=12621, wrong=1525, backtracks=811, failedAssignments=766, nogoods=50, foundSolutions=4, bestBound=24
7.49/4.40
7.49/4.42 num=33, depth=144..165, filters=193015, ccks=33044, wck=0.51, mem=132M462
7.49/4.42 decisions=13062, wrong=1673, backtracks=891, failedAssignments=840, nogoods=56, foundSolutions=4, bestBound=24
7.49/4.42
7.49/4.43 num=34, depth=168..249, filters=200110, ccks=33044, wck=0.52, mem=132M462
7.49/4.43 decisions=13554, wrong=1835, backtracks=972, failedAssignments=921, nogoods=57, foundSolutions=4, bestBound=24
7.49/4.43
7.49/4.44 num=35, depth=127..154, filters=215478, ccks=33044, wck=0.537, mem=132M462
7.49/4.44 decisions=14038, wrong=2013, backtracks=1073, failedAssignments=1010, nogoods=62, foundSolutions=4, bestBound=24
7.49/4.44
7.49/4.46 num=36, depth=111..148, filters=232688, ccks=33044, wck=0.555, mem=132M462
7.49/4.46 decisions=14541, wrong=2209, backtracks=1201, failedAssignments=1108, nogoods=63, foundSolutions=4, bestBound=24
7.49/4.46
7.49/4.47 num=37, depth=142..249, filters=241168, ccks=33044, wck=0.566, mem=132M462
7.49/4.47 decisions=15115, wrong=2425, backtracks=1309, failedAssignments=1216, nogoods=65, foundSolutions=4, bestBound=24
7.49/4.47
7.49/4.49 num=38, depth=98..143, filters=261894, ccks=33044, wck=0.583, mem=132M462
7.49/4.49 decisions=15689, wrong=2663, backtracks=1431, failedAssignments=1335, nogoods=70, foundSolutions=4, bestBound=24
7.49/4.49
7.59/4.51 num=39, depth=70..131, filters=287042, ccks=33044, wck=0.606, mem=132M462
7.59/4.51 decisions=16283, wrong=2925, backtracks=1596, failedAssignments=1466, nogoods=72, foundSolutions=4, bestBound=24
7.59/4.51
7.59/4.53 num=40, depth=28..106, filters=316468, ccks=33044, wck=0.623, mem=132M462
7.59/4.53 decisions=16888, wrong=3213, backtracks=1767, failedAssignments=1610, nogoods=78, foundSolutions=4, bestBound=24
7.59/4.53
7.59/4.54 num=41, depth=117..249, filters=330527, ccks=33044, wck=0.638, mem=132M462
7.59/4.54 decisions=17637, wrong=3529, backtracks=1937, failedAssignments=1768, nogoods=80, foundSolutions=4, bestBound=24
7.59/4.54
7.59/4.57 num=42, depth=55..131, filters=370135, ccks=33044, wck=0.667, mem=132M462
7.59/4.57 decisions=18388, wrong=3877, backtracks=2158, failedAssignments=1942, nogoods=82, foundSolutions=4, bestBound=24
7.59/4.57
7.59/4.59 num=43, depth=98..165, filters=398821, ccks=33044, wck=0.685, mem=132M462
7.59/4.59 decisions=19250, wrong=4259, backtracks=2377, failedAssignments=2133, nogoods=87, foundSolutions=4, bestBound=24
7.59/4.59
7.69/4.61 num=44, depth=23..106, filters=432545, ccks=33044, wck=0.707, mem=132M462
7.69/4.61 decisions=20120, wrong=4681, backtracks=2591, failedAssignments=2344, nogoods=91, foundSolutions=4, bestBound=24
7.69/4.61
7.69/4.65 num=45, depth=74..160, filters=477652, ccks=33044, wck=0.74, mem=132M462
7.69/4.65 decisions=21122, wrong=5145, backtracks=2895, failedAssignments=2576, nogoods=93, foundSolutions=4, bestBound=24
7.69/4.65
7.69/4.67 num=46, depth=93..249, filters=500783, ccks=33044, wck=0.763, mem=132M462
7.69/4.67 decisions=22235, wrong=5655, backtracks=3198, failedAssignments=2831, nogoods=96, foundSolutions=4, bestBound=24
7.69/4.67
7.81/4.71 num=47, depth=58..160, filters=547419, ccks=33044, wck=0.801, mem=132M462
7.81/4.71 decisions=23417, wrong=6217, backtracks=3567, failedAssignments=3112, nogoods=99, foundSolutions=4, bestBound=24
7.81/4.71
7.81/4.75 num=48, depth=18..104, filters=625300, ccks=33044, wck=0.847, mem=132M462
7.81/4.75 decisions=24672, wrong=6835, backtracks=3911, failedAssignments=3421, nogoods=103, foundSolutions=4, bestBound=24
7.81/4.75
7.81/4.79 num=49, depth=76..249, filters=663229, ccks=33044, wck=0.879, mem=132M462
7.81/4.79 decisions=26108, wrong=7515, backtracks=4333, failedAssignments=3761, nogoods=106, foundSolutions=4, bestBound=24
7.81/4.79
7.91/4.83 num=50, depth=18..148, filters=740141, ccks=33044, wck=0.923, mem=132M462
7.91/4.83 decisions=27625, wrong=8263, backtracks=4717, failedAssignments=4135, nogoods=113, foundSolutions=4, bestBound=24
7.91/4.83
7.91/4.89 num=51, depth=18..154, filters=815702, ccks=33044, wck=0.98, mem=132M462
7.91/4.89 decisions=29290, wrong=9085, backtracks=5213, failedAssignments=4546, nogoods=119, foundSolutions=4, bestBound=24
7.91/4.89
8.02/4.93 num=52, depth=18..160, filters=895888, ccks=33044, wck=1.028, mem=132M462
8.02/4.93 decisions=31117, wrong=9989, backtracks=5703, failedAssignments=4998, nogoods=126, foundSolutions=4, bestBound=24
8.02/4.93
8.02/5.00 num=53, depth=18..131, filters=1017013, ccks=33044, wck=1.095, mem=132M462
8.02/5.00 decisions=33126, wrong=10983, backtracks=6216, failedAssignments=5495, nogoods=134, foundSolutions=4, bestBound=24
8.02/5.00
8.14/5.06 num=54, depth=18..143, filters=1114051, ccks=33044, wck=1.149, mem=132M462
8.14/5.06 decisions=35334, wrong=12077, backtracks=6772, failedAssignments=6042, nogoods=146, foundSolutions=4, bestBound=24
8.14/5.06
8.24/5.13 num=55, depth=18..131, filters=1246952, ccks=33044, wck=1.223, mem=132M462
8.24/5.13 decisions=37762, wrong=13281, backtracks=7385, failedAssignments=6644, nogoods=158, foundSolutions=4, bestBound=24
8.24/5.13
8.33/5.21 num=56, depth=17..22, filters=1397556, ccks=33044, wck=1.308, mem=132M462
8.33/5.21 decisions=40431, wrong=14605, backtracks=8065, failedAssignments=7306, nogoods=168, foundSolutions=4, bestBound=24
8.33/5.21
8.43/5.31 num=57, depth=17..23, filters=1555206, ccks=33044, wck=1.399, mem=132M462
8.43/5.31 decisions=43362, wrong=16061, backtracks=8811, failedAssignments=8034, nogoods=171, foundSolutions=4, bestBound=24
8.43/5.31
8.53/5.40 num=58, depth=17..22, filters=1718358, ccks=33044, wck=1.494, mem=132M462
8.53/5.40 decisions=46586, wrong=17663, backtracks=9644, failedAssignments=8835, nogoods=178, foundSolutions=4, bestBound=24
8.53/5.40
8.63/5.52 num=59, depth=17..57, filters=1923433, ccks=33044, wck=1.611, mem=135M78
8.63/5.52 decisions=50131, wrong=19425, backtracks=10543, failedAssignments=9716, nogoods=187, foundSolutions=4, bestBound=24
8.63/5.52
8.73/5.67 num=60, depth=17..23, filters=2175757, ccks=33044, wck=1.759, mem=135M78
8.73/5.67 decisions=54031, wrong=21365, backtracks=11544, failedAssignments=10686, nogoods=196, foundSolutions=4, bestBound=24
8.73/5.67
8.83/5.79 num=61, depth=17..22, filters=2401624, ccks=33044, wck=1.882, mem=135M78
8.83/5.79 decisions=58318, wrong=23499, backtracks=12643, failedAssignments=11753, nogoods=201, foundSolutions=4, bestBound=24
8.83/5.79
9.03/5.92 num=62, depth=17..22, filters=2639499, ccks=33044, wck=2.015, mem=135M78
9.03/5.92 decisions=63029, wrong=25845, backtracks=13855, failedAssignments=12926, nogoods=208, foundSolutions=4, bestBound=24
9.03/5.92
9.24/6.11 num=63, depth=17..22, filters=2957163, ccks=33044, wck=2.205, mem=135M78
9.24/6.11 decisions=68213, wrong=28427, backtracks=15189, failedAssignments=14217, nogoods=218, foundSolutions=4, bestBound=24
9.24/6.11
9.33/6.27 num=64, depth=17..22, filters=3242702, ccks=33044, wck=2.36, mem=135M78
9.33/6.27 decisions=73912, wrong=31267, backtracks=16649, failedAssignments=15637, nogoods=233, foundSolutions=4, bestBound=24
9.33/6.27
9.54/6.48 num=65, depth=17..22, filters=3596475, ccks=33044, wck=2.571, mem=135M78
9.54/6.48 decisions=80181, wrong=34391, backtracks=18260, failedAssignments=17199, nogoods=243, foundSolutions=4, bestBound=24
9.54/6.48
9.74/6.69 num=66, depth=17..22, filters=3965385, ccks=33044, wck=2.786, mem=135M78
9.74/6.69 decisions=87074, wrong=37827, backtracks=20035, failedAssignments=18917, nogoods=257, foundSolutions=4, bestBound=24
9.74/6.69
10.04/6.95 num=67, depth=17..22, filters=4407870, ccks=33044, wck=3.042, mem=135M78
10.04/6.95 decisions=94654, wrong=41607, backtracks=21983, failedAssignments=20807, nogoods=267, foundSolutions=4, bestBound=24
10.04/6.95
10.25/7.16 num=68, depth=17..22, filters=4804927, ccks=33044, wck=3.256, mem=135M78
10.25/7.16 decisions=102990, wrong=45765, backtracks=24135, failedAssignments=22886, nogoods=280, foundSolutions=4, bestBound=24
10.25/7.16
10.58/7.44 num=69, depth=17..22, filters=5313095, ccks=33044, wck=3.534, mem=135M78
10.58/7.44 decisions=112159, wrong=50339, backtracks=26488, failedAssignments=25173, nogoods=291, foundSolutions=4, bestBound=24
10.58/7.44
10.88/7.79 num=70, depth=17..22, filters=5926216, ccks=33044, wck=3.886, mem=135M78
10.88/7.79 decisions=122243, wrong=55371, backtracks=29074, failedAssignments=27689, nogoods=304, foundSolutions=4, bestBound=24
10.88/7.79
11.29/8.12 num=71, depth=17..22, filters=6510043, ccks=33044, wck=4.212, mem=137M694
11.29/8.12 decisions=133336, wrong=60907, backtracks=31920, failedAssignments=30457, nogoods=315, foundSolutions=4, bestBound=24
11.29/8.12
11.68/8.55 num=72, depth=17..22, filters=7259746, ccks=33044, wck=4.646, mem=137M694
11.68/8.55 decisions=145532, wrong=66995, backtracks=35059, failedAssignments=33501, nogoods=332, foundSolutions=4, bestBound=24
11.68/8.55
12.08/8.93 num=73, depth=17..22, filters=7971312, ccks=33044, wck=5.026, mem=137M694
12.08/8.93 decisions=158948, wrong=73693, backtracks=38516, failedAssignments=36850, nogoods=347, foundSolutions=4, bestBound=24
12.08/8.93
12.58/9.49 num=74, depth=17..22, filters=8905332, ccks=33044, wck=5.579, mem=137M694
12.58/9.49 decisions=173703, wrong=81061, backtracks=42309, failedAssignments=40534, nogoods=359, foundSolutions=4, bestBound=24
12.58/9.49
13.12/9.92 num=75, depth=16..22, filters=9680318, ccks=33044, wck=6.009, mem=137M694
13.12/9.92 decisions=189932, wrong=89165, backtracks=46466, failedAssignments=44586, nogoods=362, foundSolutions=4, bestBound=24
13.12/9.92
13.65/10.44 num=76, depth=16..22, filters=10650155, ccks=33044, wck=6.536, mem=137M694
13.65/10.44 decisions=207780, wrong=98079, backtracks=51077, failedAssignments=49043, nogoods=375, foundSolutions=4, bestBound=24
13.65/10.44
14.26/11.10 num=77, depth=16..22, filters=11853855, ccks=33044, wck=7.192, mem=140M309
14.26/11.10 decisions=227412, wrong=107885, backtracks=56144, failedAssignments=53946, nogoods=390, foundSolutions=4, bestBound=24
14.26/11.10
14.95/11.77 num=78, depth=16..22, filters=13047537, ccks=33044, wck=7.862, mem=140M309
14.95/11.77 decisions=249009, wrong=118673, backtracks=61753, failedAssignments=59340, nogoods=399, foundSolutions=4, bestBound=24
14.95/11.77
15.65/12.40 num=79, depth=16..22, filters=14114052, ccks=33044, wck=8.491, mem=140M309
15.65/12.40 decisions=272761, wrong=130539, backtracks=67907, failedAssignments=65273, nogoods=411, foundSolutions=4, bestBound=24
15.65/12.40
16.45/13.24 num=80, depth=16..22, filters=15604505, ccks=33044, wck=9.333, mem=140M309
16.45/13.24 decisions=298886, wrong=143591, backtracks=74666, failedAssignments=71799, nogoods=425, foundSolutions=4, bestBound=24
16.45/13.24
17.36/14.11 num=81, depth=16..22, filters=17233116, ccks=33044, wck=10.201, mem=142M925
17.36/14.11 decisions=327622, wrong=157949, backtracks=82116, failedAssignments=78978, nogoods=430, foundSolutions=4, bestBound=24
17.36/14.11
18.26/15.07 num=82, depth=16..22, filters=18934654, ccks=33044, wck=11.163, mem=142M925
18.26/15.07 decisions=359230, wrong=173743, backtracks=90262, failedAssignments=86875, nogoods=441, foundSolutions=4, bestBound=24
18.26/15.07
19.45/16.28 num=83, depth=16..22, filters=21075858, ccks=33044, wck=12.374, mem=142M925
19.45/16.28 decisions=393998, wrong=191117, backtracks=99244, failedAssignments=95562, nogoods=454, foundSolutions=4, bestBound=24
19.45/16.28
20.75/17.52 num=84, depth=16..22, filters=23329035, ccks=33044, wck=13.611, mem=145M541
20.75/17.52 decisions=432239, wrong=210227, backtracks=109124, failedAssignments=105117, nogoods=463, foundSolutions=4, bestBound=24
20.75/17.52
22.05/18.82 num=85, depth=16..22, filters=25582738, ccks=33044, wck=14.912, mem=145M541
22.05/18.82 decisions=474303, wrong=231249, backtracks=120021, failedAssignments=115628, nogoods=477, foundSolutions=4, bestBound=24
22.05/18.82
23.45/20.20 num=86, depth=16..22, filters=27990030, ccks=33044, wck=16.296, mem=148M157
23.45/20.20 decisions=520572, wrong=254373, backtracks=131987, failedAssignments=127190, nogoods=486, foundSolutions=4, bestBound=24
23.45/20.20
24.55/21.39 num=87, depth=16..22, filters=30208267, ccks=33044, wck=17.486, mem=148M157
24.55/21.39 decisions=571464, wrong=279809, backtracks=145155, failedAssignments=139908, nogoods=503, foundSolutions=4, bestBound=24
24.55/21.39
26.75/23.51 num=88, depth=16..22, filters=34045420, ccks=33044, wck=19.605, mem=150M773
26.75/23.51 decisions=627445, wrong=307789, backtracks=159639, failedAssignments=153898, nogoods=514, foundSolutions=4, bestBound=24
26.75/23.51
28.65/25.46 num=89, depth=16..22, filters=37528151, ccks=33044, wck=21.55, mem=153M389
28.65/25.46 decisions=689022, wrong=338567, backtracks=175588, failedAssignments=169287, nogoods=526, foundSolutions=4, bestBound=24
28.65/25.46
30.76/27.51 num=90, depth=16..22, filters=41171736, ccks=33044, wck=23.608, mem=153M389
30.76/27.51 decisions=756755, wrong=372423, backtracks=193094, failedAssignments=186215, nogoods=541, foundSolutions=4, bestBound=24
30.76/27.51
33.50/30.21 num=91, depth=16..22, filters=45784158, ccks=33044, wck=26.303, mem=36M244
33.50/30.21 decisions=831260, wrong=409665, backtracks=212400, failedAssignments=204836, nogoods=556, foundSolutions=4, bestBound=24
33.50/30.21
35.50/32.25 num=92, depth=16..22, filters=49802934, ccks=33044, wck=28.34, mem=38M859
35.50/32.25 decisions=913217, wrong=450633, backtracks=233606, failedAssignments=225320, nogoods=573, foundSolutions=4, bestBound=24
35.50/32.25
38.10/34.87 num=93, depth=16..22, filters=54999562, ccks=33044, wck=30.961, mem=41M475
38.10/34.87 decisions=1003365, wrong=495697, backtracks=256916, failedAssignments=247852, nogoods=594, foundSolutions=4, bestBound=24
38.10/34.87
40.80/37.53 num=94, depth=16..22, filters=60398108, ccks=33044, wck=33.628, mem=44M91
40.80/37.53 decisions=1102525, wrong=545267, backtracks=282574, failedAssignments=272637, nogoods=611, foundSolutions=4, bestBound=24
40.80/37.53
44.10/40.81 num=95, depth=16..22, filters=66569716, ccks=33044, wck=36.904, mem=46M706
44.10/40.81 decisions=1211602, wrong=599795, backtracks=310793, failedAssignments=299901, nogoods=627, foundSolutions=4, bestBound=24
44.10/40.81
47.90/44.60 num=96, depth=15..22, filters=74379340, ccks=33044, wck=40.691, mem=49M322
47.90/44.60 decisions=1331582, wrong=659775, backtracks=341909, failedAssignments=329891, nogoods=640, foundSolutions=4, bestBound=24
47.90/44.60
51.31/48.05 num=97, depth=15..22, filters=81451852, ccks=33044, wck=44.144, mem=54M553
51.31/48.05 decisions=1463559, wrong=725753, backtracks=376117, failedAssignments=362880, nogoods=650, foundSolutions=4, bestBound=24
51.31/48.05
56.01/52.77 num=98, depth=15..22, filters=90136490, ccks=33044, wck=48.867, mem=57M169
56.01/52.77 decisions=1608730, wrong=798329, backtracks=413801, failedAssignments=399168, nogoods=661, foundSolutions=4, bestBound=24
56.01/52.77
59.71/56.43 num=99, depth=15..22, filters=97280314, ccks=33044, wck=52.527, mem=62M400
59.71/56.43 decisions=1768418, wrong=878163, backtracks=455262, failedAssignments=439085, nogoods=675, foundSolutions=4, bestBound=24
59.71/56.43
65.11/61.80 num=100, depth=15..22, filters=107846122, ccks=33044, wck=57.895, mem=67M632
65.11/61.80 decisions=1944074, wrong=965981, backtracks=500974, failedAssignments=482994, nogoods=692, foundSolutions=4, bestBound=24
65.11/61.80
72.01/68.74 num=101, depth=15..22, filters=120595169, ccks=33044, wck=64.836, mem=72M863
72.01/68.74 decisions=2137294, wrong=1062581, backtracks=551094, failedAssignments=531294, nogoods=714, foundSolutions=4, bestBound=24
72.01/68.74
77.91/74.61 num=102, depth=15..22, filters=132278764, ccks=33044, wck=70.707, mem=78M95
77.91/74.61 decisions=2349835, wrong=1168841, backtracks=606328, failedAssignments=584424, nogoods=733, foundSolutions=4, bestBound=24
77.91/74.61
84.21/80.92 num=103, depth=15..22, filters=144884973, ccks=33044, wck=77.009, mem=85M942
84.21/80.92 decisions=2583626, wrong=1285727, backtracks=667009, failedAssignments=642867, nogoods=747, foundSolutions=4, bestBound=24
84.21/80.92
92.42/89.18 num=104, depth=15..22, filters=160507908, ccks=33044, wck=85.269, mem=93M789
92.42/89.18 decisions=2840792, wrong=1414301, backtracks=733803, failedAssignments=707154, nogoods=767, foundSolutions=4, bestBound=24
92.42/89.18
100.51/97.22 num=105, depth=15..22, filters=175940301, ccks=33044, wck=93.317, mem=101M636
100.51/97.22 decisions=3123677, wrong=1555733, backtracks=807344, failedAssignments=777870, nogoods=784, foundSolutions=4, bestBound=24
100.51/97.22
109.52/106.29 num=106, depth=15..22, filters=193724876, ccks=33044, wck=102.387, mem=109M483
109.52/106.29 decisions=3434844, wrong=1711307, backtracks=888243, failedAssignments=855657, nogoods=804, foundSolutions=4, bestBound=24
109.52/106.29
120.12/116.90 num=107, depth=15..22, filters=215019940, ccks=33044, wck=112.989, mem=119M945
120.12/116.90 decisions=3777128, wrong=1882439, backtracks=977212, failedAssignments=941223, nogoods=821, foundSolutions=4, bestBound=24
120.12/116.90
134.82/131.55 num=108, depth=15..22, filters=242432379, ccks=33044, wck=127.643, mem=130M408
134.82/131.55 decisions=4153639, wrong=2070685, backtracks=1075071, failedAssignments=1035346, nogoods=838, foundSolutions=4, bestBound=24
134.82/131.55
145.12/141.87 num=109, depth=15..22, filters=262252713, ccks=33044, wck=137.967, mem=140M871
145.12/141.87 decisions=4567799, wrong=2277755, backtracks=1182642, failedAssignments=1138881, nogoods=858, foundSolutions=4, bestBound=24
145.12/141.87
156.14/152.84 num=110, depth=15..22, filters=284402628, ccks=33044, wck=148.929, mem=153M949
156.14/152.84 decisions=5023375, wrong=2505533, backtracks=1300881, failedAssignments=1252770, nogoods=884, foundSolutions=4, bestBound=24
156.14/152.84
173.29/170.00 num=111, depth=15..22, filters=316517368, ccks=33044, wck=166.095, mem=38M956
173.29/170.00 decisions=5524508, wrong=2756089, backtracks=1431163, failedAssignments=1378048, nogoods=900, foundSolutions=4, bestBound=24
173.29/170.00
188.90/185.52 num=112, depth=15..22, filters=347020236, ccks=33044, wck=181.614, mem=54M670
188.90/185.52 decisions=6075751, wrong=3031701, backtracks=1574509, failedAssignments=1515854, nogoods=920, foundSolutions=4, bestBound=24
188.90/185.52
207.90/204.53 num=113, depth=15..22, filters=382004231, ccks=33044, wck=200.625, mem=70M384
207.90/204.53 decisions=6682113, wrong=3334873, backtracks=1731997, failedAssignments=1667440, nogoods=948, foundSolutions=4, bestBound=24
207.90/204.53
228.70/225.39 num=114, depth=15..22, filters=422046922, ccks=33044, wck=221.484, mem=88M718
228.70/225.39 decisions=7349114, wrong=3668363, backtracks=1905586, failedAssignments=1834185, nogoods=965, foundSolutions=4, bestBound=24
228.70/225.39
250.31/246.99 num=115, depth=15..22, filters=466763472, ccks=33044, wck=243.078, mem=109M670
250.31/246.99 decisions=8082810, wrong=4035201, backtracks=2096364, failedAssignments=2017604, nogoods=992, foundSolutions=4, bestBound=24
250.31/246.99
272.91/269.57 num=116, depth=15..22, filters=511026429, ccks=33044, wck=265.662, mem=133M241
272.91/269.57 decisions=8889871, wrong=4438723, backtracks=2305981, failedAssignments=2219365, nogoods=1022, foundSolutions=4, bestBound=24
272.91/269.57
297.72/294.36 num=117, depth=15..22, filters=557535330, ccks=33044, wck=290.457, mem=159M431
297.72/294.36 decisions=9777643, wrong=4882599, backtracks=2536875, failedAssignments=2441303, nogoods=1042, foundSolutions=4, bestBound=24
297.72/294.36
331.57/328.13 num=118, depth=15..22, filters=624543521, ccks=33044, wck=324.226, mem=54M435
331.57/328.13 decisions=10754187, wrong=5370861, backtracks=2791084, failedAssignments=2685434, nogoods=1064, foundSolutions=4, bestBound=24
331.57/328.13
361.26/357.81 num=119, depth=15..22, filters=682481556, ccks=33044, wck=353.902, mem=82M875
361.26/357.81 decisions=11828387, wrong=5907951, backtracks=3070677, failedAssignments=2953979, nogoods=1093, foundSolutions=4, bestBound=24
361.26/357.81
402.28/398.82 num=120, depth=14..22, filters=761917247, ccks=33044, wck=394.913, mem=116M487
402.28/398.82 decisions=13010003, wrong=6498749, backtracks=3378520, failedAssignments=3249378, nogoods=1104, foundSolutions=4, bestBound=24
402.28/398.82
441.28/437.88 num=121, depth=14..22, filters=838393028, ccks=33044, wck=433.978, mem=155M270
441.28/437.88 decisions=14309779, wrong=7148627, backtracks=3717312, failedAssignments=3574317, nogoods=1125, foundSolutions=4, bestBound=24
441.28/437.88
479.44/475.97 num=122, depth=14..22, filters=914675115, ccks=33044, wck=472.067, mem=64M379
479.44/475.97 decisions=15739530, wrong=7863493, backtracks=4089973, failedAssignments=3931750, nogoods=1150, foundSolutions=4, bestBound=24
479.44/475.97
529.85/526.38 num=123, depth=14..22, filters=1015115883, ccks=33044, wck=522.471, mem=110M260
529.85/526.38 decisions=17312255, wrong=8649845, backtracks=4500142, failedAssignments=4324926, nogoods=1169, foundSolutions=4, bestBound=24
529.85/526.38
581.45/577.93 num=124, depth=14..22, filters=1114520087, ccks=33044, wck=574.027, mem=158M691
581.45/577.93 decisions=19042250, wrong=9514833, backtracks=4950787, failedAssignments=4757420, nogoods=1188, foundSolutions=4, bestBound=24
581.45/577.93
652.11/648.53 num=125, depth=14..22, filters=1242528548, ccks=33044, wck=644.621, mem=84M41
652.11/648.53 decisions=20945245, wrong=10466321, backtracks=5445973, failedAssignments=5233164, nogoods=1215, foundSolutions=4, bestBound=24
652.11/648.53
708.62/705.06 num=126, depth=14..22, filters=1356938995, ccks=33044, wck=701.155, mem=144M293
708.62/705.06 decisions=23038537, wrong=11512957, backtracks=5991958, failedAssignments=5756482, nogoods=1232, foundSolutions=4, bestBound=24
708.62/705.06
773.47/769.83 num=127, depth=14..22, filters=1481887479, ccks=33044, wck=765.921, mem=83M223
773.47/769.83 decisions=25341157, wrong=12664257, backtracks=6593384, failedAssignments=6332132, nogoods=1246, foundSolutions=4, bestBound=24
773.47/769.83
864.71/861.08 num=128, depth=14..22, filters=1662720697, ccks=33044, wck=857.178, mem=154M874
864.71/861.08 decisions=27874035, wrong=13930687, backtracks=7253730, failedAssignments=6965347, nogoods=1266, foundSolutions=4, bestBound=24
864.71/861.08
936.95/933.28 num=129, depth=14..22, filters=1807028577, ccks=33044, wck=929.377, mem=109M496
936.95/933.28 decisions=30660199, wrong=15323759, backtracks=7978950, failedAssignments=7661883, nogoods=1284, foundSolutions=4, bestBound=24
936.95/933.28
1029.47/1025.76 num=130, depth=14..22, filters=1979226743, ccks=33044, wck=1021.852, mem=74M776
1029.47/1025.76 decisions=33724980, wrong=16856139, backtracks=8777013, failedAssignments=8428073, nogoods=1303, foundSolutions=4, bestBound=24
1029.47/1025.76
1149.91/1146.18 num=131, depth=14..22, filters=2204547124, ccks=33044, wck=1142.276, mem=50M668
1149.91/1146.18 decisions=37096235, wrong=18541757, backtracks=9655837, failedAssignments=9270882, nogoods=1324, foundSolutions=4, bestBound=24
1149.91/1146.18
1256.43/1252.61 num=132, depth=14..22, filters=2401235831, ccks=33044, wck=1248.706, mem=36M520
1256.43/1252.61 decisions=40804615, wrong=20395937, backtracks=10622773, failedAssignments=10197972, nogoods=1345, foundSolutions=4, bestBound=24
1256.43/1252.61
1401.37/1397.50 num=133, depth=14..22, filters=2669115956, ccks=33044, wck=1393.593, mem=36M464
1401.37/1397.50 decisions=44883829, wrong=22435535, backtracks=11685631, failedAssignments=11217771, nogoods=1374, foundSolutions=4, bestBound=24
1401.37/1397.50
1548.50/1544.65 num=134, depth=14..22, filters=2937224582, ccks=33044, wck=1540.738, mem=47M756
1548.50/1544.65 decisions=49370966, wrong=24679093, backtracks=12855566, failedAssignments=12339550, nogoods=1396, foundSolutions=4, bestBound=24
1548.50/1544.65
1722.25/1718.32 num=135, depth=14..22, filters=3253369839, ccks=33044, wck=1714.416, mem=74M392
1722.25/1718.32 decisions=54306812, wrong=27147007, backtracks=14141484, failedAssignments=13573507, nogoods=1423, foundSolutions=4, bestBound=24
1722.25/1718.32
1879.28/1875.30 num=136, depth=14..22, filters=3550202208, ccks=33044, wck=1871.394, mem=115M671
1879.28/1875.30 decisions=59736245, wrong=29861713, backtracks=15559101, failedAssignments=14930860, nogoods=1451, foundSolutions=4, bestBound=24
1879.28/1875.30
2061.83/2057.87 num=137, depth=14..22, filters=3892331145, ccks=33044, wck=2053.962, mem=66M500
2061.83/2057.87 decisions=65708616, wrong=32847889, backtracks=17116339, failedAssignments=16423948, nogoods=1474, foundSolutions=4, bestBound=24
2061.83/2057.87
2271.67/2267.69 num=138, depth=14..22, filters=4280604269, ccks=33044, wck=2263.786, mem=38M624
2271.67/2267.69 decisions=72278224, wrong=36132683, backtracks=18830786, failedAssignments=18066345, nogoods=1491, foundSolutions=4, bestBound=24
2271.67/2267.69
2516.52/2512.42 num=139, depth=14..22, filters=4740632448, ccks=33044, wck=2508.517, mem=38M531
2516.52/2512.42 decisions=79504792, wrong=39745957, backtracks=20715756, failedAssignments=19872982, nogoods=1516, foundSolutions=4, bestBound=24
2516.52/2512.42
2520.02/2515.90
2520.02/2515.90 v <instantiation id='sol4' type='solution' cost='24'> <list> x[] </list> <values> 0 1 0 1 2 0 2 2 0 2 2 3 0 0 0 3 1 1 3 3 0 3 1 0 1 4 0 5 1 2 2 0 0 4 0 2 3 1 6 1 0 0 4 0 0 3 0 0 2 3 4 1 4 7 2 2 3 5 0 3 8 1 1 4 2 0 5 0 5 3 5 2 5 6 3 3 7 6 7 1 1 6 2 6 7 4 0 8 1 9 6 7 4 7 0 4 9 4 8 7 10 9 8 5 11 9 1 2 5 4 1 9 10 4 5 2 0 7 0 0 2 10 6 1 0 12 13 6 11 1 8 10 5 1 1 3 1 8 5 5 10 9 7 5 2 2 12 0 3 10 0 4 4 0 1 1 4 13 6 11 5 0 7 3 0 2 1 0 5 13 12 12 14 6 3 4 12 11 2 1 7 7 8 1 8 7 7 10 2 9 8 10 0 0 6 11 13 8 14 14 10 11 9 15 7 16 5 6 1 15 0 16 4 0 0 14 9 17 15 15 16 3 9 2 0 2 12 12 13 18 5 1 12 5 1 18 9 7 8 3 14 19 0 0 15 17 6 9 18 1 4 3 2 19 10 13 20 10 11 13 14 0 11 14 16 12 1 13 20 9 2 0 4 13 18 2 16 1 2 3 17 19 4 5 1 10 17 8 17 20 18 16 13 12 0 6 20 5 1 14 9 21 1 1 5 17 21 12 17 13 22 19 15 0 13 0 21 20 20 11 21 0 0 0 9 8 9 11 0 11 12 21 23 14 11 23 18 3 24 23 2 22 17 14 13 22 19 18 15 0 10 21 2 0 11 24 7 5 2 7 23 1 1 22 1 1 6 24 17 12 11 16 0 0 22 0 17 24 19 20 22 21 18 21 23 9 0 4 3 23 3 17 0 3 11 9 0 2 0 24 19 22 1 13 16 8 23 1 24 2 0 0 0 22 7 12 8 24 20 1 8 14 19 1 22 14 10 23 19 9 1 3 23 1 10 0 15 4 1 20 13 22 24 24 5 18 2 2 1 15 </values> </instantiation>
2520.02/2515.90 s SATISFIABLE
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 (15417 MiB free)
memory of node 1: 16384 MiB (15744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391046-1568380516/watcher-4391046-1568380516 -o /tmp/evaluation-result-4391046-1568380516/solver-4391046-1568380516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568380467-26902 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391046-1568380516.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=26929, runsolver pid=26924
[startup+0.100295 s]*
/proc/loadavg: 0.00 0.01 0.05 3/207 26934
/proc/meminfo: memFree=31907436/32770624 swapFree=67009196/67108860
[pid=26929] ppid=26924 vsize=8350772 memory=7756 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (java) S 26924 26929 26870 0 -1 1077944320 2294 0 0 0 0 0 0 0 20 0 2 0 413974394 8551190528 1939 33554432000 4194304 4196468 140730231267264 140730231249808 139759347601143 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
/proc/26929/statm: 2087693 1939 1188 1 0 2076604 0
[pid=26929/tid=26934] ppid=26924 vsize=9937760 memory=8514726395714820750 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26934/stat : 26934 (java) R 26924 26929 26870 0 -1 4202560 1036 0 0 0 0 0 0 0 20 0 6 0 413974398 10176266240 2000 33554432000 4194304 4196468 140730231267264 139759351842920 139759327821504 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26939] ppid=26924 vsize=9937920 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26939/stat : 26939 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 413974405 10176430080 2000 33554432000 4194304 4196468 140730231267264 139759310707728 139759347611349 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26940] ppid=26924 vsize=9937920 memory=140691883116160 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26940/stat : 26940 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 413974405 10176430080 2000 33554432000 4194304 4196468 140730231267264 139758953749648 139759347611349 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26941] ppid=26924 vsize=9938756 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26941/stat : 26941 (java) S 26924 26929 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 413974405 10177286144 2000 33554432000 4194304 4196468 140730231267264 139758952696592 139759347611349 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26942] ppid=26924 vsize=9938756 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26942/stat : 26942 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 413974405 10177286144 2065 33554432000 4194304 4196468 140730231267264 139758951644048 139759347611349 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 8350772 KiB
Current children cumulated memory: 7756 KiB
[startup+0.210467 s]*
/proc/loadavg: 0.00 0.01 0.05 2/221 26948
/proc/meminfo: memFree=31884448/32770624 swapFree=67009196/67108860
[pid=26929] ppid=26924 vsize=10260324 memory=22000 CPUtime=0.04 cores=1,3,5,7
/proc/26929/stat : 26929 (java) S 26924 26929 26870 0 -1 1077944320 4406 0 0 0 3 1 0 0 20 0 9 0 413974394 10506571776 5500 33554432000 4194304 4196468 140730231267264 140730231249808 139759347601143 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
/proc/26929/statm: 2565081 5500 2188 1 0 2527622 0
[pid=26929/tid=26934] ppid=26924 vsize=10260324 memory=8514726395714820750 CPUtime=0.03 cores=1,3,5,7
/proc/26929/task/26934/stat : 26934 (java) D 26924 26929 26870 0 -1 1077944384 3053 0 0 0 3 0 0 0 20 0 9 0 413974398 10506571776 5500 33554432000 4194304 4196468 140730231267264 139759351836184 139759340279157 0 4 0 16800971 18446744072101637668 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26939] ppid=26924 vsize=10260324 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26939/stat : 26939 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413974405 10506571776 5500 33554432000 4194304 4196468 140730231267264 139759310707728 139759347611349 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26940] ppid=26924 vsize=10260324 memory=140691883116160 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26940/stat : 26940 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413974405 10506571776 5500 33554432000 4194304 4196468 140730231267264 139758953749648 139759347611349 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26941] ppid=26924 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26941/stat : 26941 (java) S 26924 26929 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413974405 10506571776 5500 33554432000 4194304 4196468 140730231267264 139758952696592 139759347611349 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26942] ppid=26924 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26942/stat : 26942 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413974405 10506571776 5500 33554432000 4194304 4196468 140730231267264 139758951644048 139759347611349 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26943] ppid=26924 vsize=10260324 memory=140691883116160 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26943/stat : 26943 (java) S 26924 26929 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413974407 10506571776 5500 33554432000 4194304 4196468 140730231267264 139758838733040 139759347612290 0 0 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26945] ppid=26924 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26945/stat : 26945 (java) S 26924 26929 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 413974407 10506571776 5500 33554432000 4194304 4196468 140730231267264 139758837679264 139759347611349 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26947] ppid=26924 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26947/stat : 26947 (java) S 26924 26929 26870 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 9 0 413974407 10506571776 5500 33554432000 4194304 4196468 140730231267264 139758836626160 139759347611349 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 22000 KiB
[startup+0.310918 s]*
/proc/loadavg: 0.00 0.01 0.05 4/233 26960
/proc/meminfo: memFree=31877764/32770624 swapFree=67009196/67108860
[pid=26929] ppid=26924 vsize=10659884 memory=27780 CPUtime=0.13 cores=1,3,5,7
/proc/26929/stat : 26929 (java) S 26924 26929 26870 0 -1 1077944320 5493 0 0 0 11 2 0 0 20 0 15 0 413974394 10915721216 6945 33554432000 4194304 4196468 140730231267264 140730231249808 139759347601143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
/proc/26929/statm: 2664971 6945 2814 1 0 2627468 0
[pid=26929/tid=26934] ppid=26924 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/26929/task/26934/stat : 26934 (java) R 26924 26929 26870 0 -1 4202560 3373 0 0 0 8 1 0 0 20 0 15 0 413974398 10915721216 6945 33554432000 4194304 4196468 140730231267264 139759351832272 139759347613078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26939] ppid=26924 vsize=10659884 memory=5792869726567804975 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26939/stat : 26939 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974405 10915721216 6945 33554432000 4194304 4196468 140730231267264 139759310707728 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26940] ppid=26924 vsize=10659884 memory=140691883116160 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26940/stat : 26940 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974405 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758953749648 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26941] ppid=26924 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26941/stat : 26941 (java) S 26924 26929 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974405 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758952696592 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26942] ppid=26924 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26942/stat : 26942 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974405 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758951644048 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26943] ppid=26924 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26943/stat : 26943 (java) S 26924 26929 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974407 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758838733040 139759347612290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26945] ppid=26924 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26945/stat : 26945 (java) S 26924 26929 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413974407 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758837679264 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26947] ppid=26924 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26947/stat : 26947 (java) S 26924 26929 26870 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 413974407 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758836626160 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26949] ppid=26924 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26949/stat : 26949 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974418 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758835574736 139759347619739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26950] ppid=26924 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26950/stat : 26950 (java) S 26924 26929 26870 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 413974418 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758834522864 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26951] ppid=26924 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26951/stat : 26951 (java) S 26924 26929 26870 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 413974418 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758833470320 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26952] ppid=26924 vsize=10659884 memory=140691883116160 CPUtime=0.02 cores=1,3,5,7
/proc/26929/task/26952/stat : 26952 (java) R 26924 26929 26870 0 -1 4202560 326 0 0 0 2 0 0 0 20 0 15 0 413974418 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758832417264 139759339838270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26953] ppid=26924 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26953/stat : 26953 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974418 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758831364960 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26959] ppid=26924 vsize=10659884 memory=140691883116160 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26959/stat : 26959 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974422 10915721216 6945 33554432000 4194304 4196468 140730231267264 139758830311984 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27780 KiB
[startup+0.700622 s]
/proc/loadavg: 0.00 0.01 0.05 1/233 26960
/proc/meminfo: memFree=31860592/32770624 swapFree=67009196/67108860
[pid=26929] ppid=26924 vsize=10659884 memory=40564 CPUtime=0.53 cores=1,3,5,7
/proc/26929/stat : 26929 (java) S 26924 26929 26870 0 -1 1077944320 10370 0 1 0 49 4 0 0 20 0 15 0 413974394 10915721216 10141 33554432000 4194304 4196468 140730231267264 140730231249808 139759347601143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
/proc/26929/statm: 2664971 10141 3007 1 0 2627468 0
[pid=26929/tid=26934] ppid=26924 vsize=10659884 memory=7373607976938258535 CPUtime=0.33 cores=1,3,5,7
/proc/26929/task/26934/stat : 26934 (java) R 26924 26929 26870 0 -1 4202560 7049 0 0 0 30 3 0 0 20 0 15 0 413974398 10915721216 10141 33554432000 4194304 4196468 140730231267264 139759351823776 139759347623069 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26939] ppid=26924 vsize=10659884 memory=140691883115041 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26939/stat : 26939 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974405 10915721216 10141 33554432000 4194304 4196468 140730231267264 139759310707728 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26940] ppid=26924 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26940/stat : 26940 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974405 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758953749648 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26941] ppid=26924 vsize=10659884 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26941/stat : 26941 (java) S 26924 26929 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974405 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758952696592 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26942] ppid=26924 vsize=10659884 memory=58 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26942/stat : 26942 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974405 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758951644048 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26943] ppid=26924 vsize=10659884 memory=8242257093008242997 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26943/stat : 26943 (java) S 26924 26929 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974407 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758838733040 139759347612290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26945] ppid=26924 vsize=10659884 memory=281383440809184 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26945/stat : 26945 (java) S 26924 26929 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413974407 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758837679264 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26947] ppid=26924 vsize=10659884 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26947/stat : 26947 (java) S 26924 26929 26870 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 413974407 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758836626160 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26949] ppid=26924 vsize=10659884 memory=13568193369213571 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26949/stat : 26949 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974418 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758835574736 139759347619739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26950] ppid=26924 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26929/task/26950/stat : 26950 (java) S 26924 26929 26870 0 -1 1077944384 418 0 0 0 3 0 0 0 20 0 15 0 413974418 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758834522864 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26951] ppid=26924 vsize=10659884 memory=6944656592455097440 CPUtime=0.06 cores=1,3,5,7
/proc/26929/task/26951/stat : 26951 (java) S 26924 26929 26870 0 -1 1077944384 819 0 1 0 6 0 0 0 20 0 15 0 413974418 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758833470320 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26952] ppid=26924 vsize=10659884 memory=6656426216303648864 CPUtime=0.09 cores=1,3,5,7
/proc/26929/task/26952/stat : 26952 (java) R 26924 26929 26870 0 -1 4202560 724 0 0 0 9 0 0 0 20 0 15 0 413974418 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758832417264 139759331644773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26953] ppid=26924 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26953/stat : 26953 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974418 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758831364960 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26959] ppid=26924 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26959/stat : 26959 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974422 10915721216 10141 33554432000 4194304 4196468 140730231267264 139758830311984 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40564 KiB
[startup+1.50073 s]
/proc/loadavg: 0.00 0.01 0.05 4/233 26960
/proc/meminfo: memFree=31814364/32770624 swapFree=67009196/67108860
[pid=26929] ppid=26924 vsize=10663980 memory=67860 CPUtime=1.57 cores=1,3,5,7
/proc/26929/stat : 26929 (java) S 26924 26929 26870 0 -1 1077944320 16354 0 1 0 151 6 0 0 20 0 15 0 413974394 10919915520 16965 33554432000 4194304 4196468 140730231267264 140730231249808 139759347601143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
/proc/26929/statm: 2665995 16965 3083 1 0 2628492 0
[pid=26929/tid=26934] ppid=26924 vsize=10663980 memory=66764 CPUtime=1.12 cores=1,3,5,7
/proc/26929/task/26934/stat : 26934 (java) R 26924 26929 26870 0 -1 4202560 11771 0 0 0 107 5 0 0 20 0 15 0 413974398 10919915520 16965 33554432000 4194304 4196468 140730231267264 139759351829008 139759327873344 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26939] ppid=26924 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26939/stat : 26939 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974405 10919915520 16965 33554432000 4194304 4196468 140730231267264 139759310707728 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26940] ppid=26924 vsize=10663980 memory=281383440411440 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26940/stat : 26940 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974405 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758953749648 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26941] ppid=26924 vsize=10663980 memory=3470698889641157184 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26941/stat : 26941 (java) S 26924 26929 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974405 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758952696592 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26942] ppid=26924 vsize=10663980 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26942/stat : 26942 (java) S 26924 26929 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974405 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758951644048 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26943] ppid=26924 vsize=10663980 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26943/stat : 26943 (java) S 26924 26929 26870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 413974407 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758838733040 139759347612290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26945] ppid=26924 vsize=10663980 memory=-8388677020596316723 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26945/stat : 26945 (java) S 26924 26929 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413974407 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758837679264 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26947] ppid=26924 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26947/stat : 26947 (java) S 26924 26929 26870 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 413974407 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758836626160 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26949] ppid=26924 vsize=10663980 memory=-7662142094119126430 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26949/stat : 26949 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974418 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758835574736 139759347619739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26950] ppid=26924 vsize=10663980 memory=-7522837582236181595 CPUtime=0.13 cores=1,3,5,7
/proc/26929/task/26950/stat : 26950 (java) S 26924 26929 26870 0 -1 1077944384 1137 0 0 0 13 0 0 0 20 0 15 0 413974418 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758834522864 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26951] ppid=26924 vsize=10663980 memory=6944613755495348631 CPUtime=0.12 cores=1,3,5,7
/proc/26929/task/26951/stat : 26951 (java) S 26924 26929 26870 0 -1 1077944384 1069 0 1 0 12 0 0 0 20 0 15 0 413974418 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758833470320 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26952] ppid=26924 vsize=10663980 memory=281383440326936 CPUtime=0.18 cores=1,3,5,7
/proc/26929/task/26952/stat : 26952 (java) S 26924 26929 26870 0 -1 1077944384 1002 0 0 0 18 0 0 0 20 0 15 0 413974418 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758832417264 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26953] ppid=26924 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26953/stat : 26953 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974418 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758831364960 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26959] ppid=26924 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26959/stat : 26959 (java) S 26924 26929 26870 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 413974422 10919915520 16965 33554432000 4194304 4196468 140730231267264 139758830311984 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 67860 KiB
[startup+3.11081 s]
/proc/loadavg: 0.00 0.01 0.05 11/235 26962
/proc/meminfo: memFree=31614100/32770624 swapFree=67009196/67108860
[pid=26929] ppid=26924 vsize=10746276 memory=153448 CPUtime=4.07 cores=1,3,5,7
/proc/26929/stat : 26929 (java) S 26924 26929 26870 0 -1 1077944320 25506 0 6 0 396 11 0 0 20 0 16 0 413974394 11004186624 38362 33554432000 4194304 4196468 140730231267264 140730231249808 139759347601143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
/proc/26929/statm: 2686569 38362 3342 1 0 2646705 0
[pid=26929/tid=26934] ppid=26924 vsize=10746276 memory=4420 CPUtime=1.87 cores=1,3,5,7
/proc/26929/task/26934/stat : 26934 (java) S 26924 26929 26870 0 -1 1077944384 15382 0 5 0 180 7 0 0 20 0 16 0 413974398 11004186624 38362 33554432000 4194304 4196468 140730231267264 139759351844016 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26939] ppid=26924 vsize=10746276 memory=225 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26939/stat : 26939 (java) S 26924 26929 26870 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 413974405 11004186624 38362 33554432000 4194304 4196468 140730231267264 139759310707728 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
################
# More data... #
################
/proc/26929/task/26942/stat : 26942 (java) S 26924 26929 26870 0 -1 1077944384 2047 0 0 0 13 3 0 0 20 0 16 0 413974405 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758951644048 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26943] ppid=26924 vsize=10748324 memory=290744 CPUtime=0.05 cores=1,3,5,7
/proc/26929/task/26943/stat : 26943 (java) S 26924 26929 26870 0 -1 1077944384 4451 0 0 0 4 1 0 0 20 0 16 0 413974407 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758838733040 139759347612290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26945] ppid=26924 vsize=10748324 memory=290744 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26945/stat : 26945 (java) S 26924 26929 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 413974407 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758837679328 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26947] ppid=26924 vsize=10748324 memory=290744 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26947/stat : 26947 (java) S 26924 26929 26870 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 413974407 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758836626176 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26949] ppid=26924 vsize=10748324 memory=290744 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26949/stat : 26949 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974418 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758835574736 139759347619739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26950] ppid=26924 vsize=10748324 memory=290744 CPUtime=1.61 cores=1,3,5,7
/proc/26929/task/26950/stat : 26950 (java) S 26924 26929 26870 0 -1 1077944384 4131 0 0 0 160 1 0 0 20 0 16 0 413974418 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758834522864 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26951] ppid=26924 vsize=10748324 memory=7236229500900889449 CPUtime=1.62 cores=1,3,5,7
/proc/26929/task/26951/stat : 26951 (java) S 26924 26929 26870 0 -1 1077944384 5180 0 1 0 161 1 0 0 20 0 16 0 413974418 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758833470320 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26952] ppid=26924 vsize=10748324 memory=290744 CPUtime=0.83 cores=1,3,5,7
/proc/26929/task/26952/stat : 26952 (java) S 26924 26929 26870 0 -1 1077944384 6943 0 0 0 81 2 0 0 20 0 16 0 413974418 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758832417264 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26953] ppid=26924 vsize=10748324 memory=290744 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26953/stat : 26953 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974418 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758831364960 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26959] ppid=26924 vsize=10748324 memory=290744 CPUtime=0.47 cores=1,3,5,7
/proc/26929/task/26959/stat : 26959 (java) S 26924 26929 26870 0 -1 1077944384 1517 0 0 0 18 29 0 0 20 0 16 0 413974422 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758830311984 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26961] ppid=26924 vsize=10748324 memory=290744 CPUtime=2439.2 cores=1,3,5,7
/proc/26929/task/26961/stat : 26961 (java) R 26924 26929 26870 0 -1 4202560 17460 0 0 0 243916 4 0 0 20 0 16 0 413974655 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758813650656 139758992454990 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
Current children cumulated CPU time: 2446.41 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 290744 KiB
[startup+2502.3 s]
/proc/loadavg: 1.79 1.78 1.68 3/234 27658
/proc/meminfo: memFree=31377792/32770624 swapFree=67009224/67108860
[pid=26929] ppid=26924 vsize=10748324 memory=290744 CPUtime=2506.41 cores=1,3,5,7
/proc/26929/stat : 26929 (java) S 26924 26929 26870 0 -1 1077944320 67853 0 6 0 250589 52 0 0 20 0 16 0 413974394 11006283776 72686 33554432000 4194304 4196468 140730231267264 140730231249808 139759347601143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
/proc/26929/statm: 2687081 72686 3379 1 0 2647217 0
[pid=26929/tid=26934] ppid=26924 vsize=10748324 memory=290744 CPUtime=1.87 cores=1,3,5,7
/proc/26929/task/26934/stat : 26934 (java) S 26924 26929 26870 0 -1 1077944384 15382 0 5 0 180 7 0 0 20 0 16 0 413974398 11006283776 72686 33554432000 4194304 4196468 140730231267264 139759351844016 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26939] ppid=26924 vsize=10748324 memory=290744 CPUtime=0.16 cores=1,3,5,7
/proc/26929/task/26939/stat : 26939 (java) S 26924 26929 26870 0 -1 1077944384 3394 0 0 0 13 3 0 0 20 0 16 0 413974405 11006283776 72686 33554432000 4194304 4196468 140730231267264 139759310707728 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26940] ppid=26924 vsize=10748324 memory=290744 CPUtime=0.17 cores=1,3,5,7
/proc/26929/task/26940/stat : 26940 (java) S 26924 26929 26870 0 -1 1077944384 2186 0 0 0 14 3 0 0 20 0 16 0 413974405 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758953749648 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26941] ppid=26924 vsize=10748324 memory=732 CPUtime=0.17 cores=1,3,5,7
/proc/26929/task/26941/stat : 26941 (java) S 26924 26929 26870 0 -1 1077944384 3594 0 0 0 14 3 0 0 20 0 16 0 413974405 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758952696592 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26942] ppid=26924 vsize=10748324 memory=290744 CPUtime=0.16 cores=1,3,5,7
/proc/26929/task/26942/stat : 26942 (java) S 26924 26929 26870 0 -1 1077944384 2047 0 0 0 13 3 0 0 20 0 16 0 413974405 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758951644048 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26943] ppid=26924 vsize=10748324 memory=290744 CPUtime=0.05 cores=1,3,5,7
/proc/26929/task/26943/stat : 26943 (java) S 26924 26929 26870 0 -1 1077944384 4457 0 0 0 4 1 0 0 20 0 16 0 413974407 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758838733040 139759347612290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26945] ppid=26924 vsize=10748324 memory=290744 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26945/stat : 26945 (java) S 26924 26929 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 413974407 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758837679328 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26947] ppid=26924 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26947/stat : 26947 (java) S 26924 26929 26870 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 413974407 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758836626176 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26949] ppid=26924 vsize=10748324 memory=8500 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26949/stat : 26949 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974418 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758835574736 139759347619739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26950] ppid=26924 vsize=10748324 memory=1696 CPUtime=1.61 cores=1,3,5,7
/proc/26929/task/26950/stat : 26950 (java) S 26924 26929 26870 0 -1 1077944384 4133 0 0 0 160 1 0 0 20 0 16 0 413974418 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758834522864 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26951] ppid=26924 vsize=10748324 memory=290744 CPUtime=1.62 cores=1,3,5,7
/proc/26929/task/26951/stat : 26951 (java) S 26924 26929 26870 0 -1 1077944384 5182 0 1 0 161 1 0 0 20 0 16 0 413974418 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758833470320 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26952] ppid=26924 vsize=10748324 memory=5728 CPUtime=0.83 cores=1,3,5,7
/proc/26929/task/26952/stat : 26952 (java) S 26924 26929 26870 0 -1 1077944384 6946 0 0 0 81 2 0 0 20 0 16 0 413974418 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758832417264 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26953] ppid=26924 vsize=10748324 memory=290744 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26953/stat : 26953 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974418 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758831364960 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26959] ppid=26924 vsize=10748324 memory=3472 CPUtime=0.48 cores=1,3,5,7
/proc/26929/task/26959/stat : 26959 (java) S 26924 26929 26870 0 -1 1077944384 1545 0 0 0 19 29 0 0 20 0 16 0 413974422 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758830311984 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26961] ppid=26924 vsize=10748324 memory=290744 CPUtime=2499.2 cores=1,3,5,7
/proc/26929/task/26961/stat : 26961 (java) R 26924 26929 26870 0 -1 4202560 17554 0 0 0 249916 4 0 0 20 0 16 0 413974655 11006283776 72686 33554432000 4194304 4196468 140730231267264 139758813650656 139758992836878 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
Current children cumulated CPU time: 2506.41 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 290744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.9 s]
/proc/loadavg: 1.68 1.76 1.68 3/235 27660
/proc/meminfo: memFree=31380964/32770624 swapFree=67009224/67108860
[pid=26929] ppid=26924 vsize=10748324 memory=287152 CPUtime=2520.02 cores=1,3,5,7
/proc/26929/stat : 26929 (java) S 26924 26929 26870 0 -1 1077944320 68682 0 6 0 251950 52 0 0 20 0 16 0 413974394 11006283776 71788 33554432000 4194304 4196468 140730231267264 140730231249808 139759347601143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
/proc/26929/statm: 2687081 71788 3379 1 0 2647217 0
[pid=26929/tid=26934] ppid=26924 vsize=10748324 memory=287152 CPUtime=1.87 cores=1,3,5,7
/proc/26929/task/26934/stat : 26934 (java) S 26924 26929 26870 0 -1 1077944384 15382 0 5 0 180 7 0 0 20 0 16 0 413974398 11006283776 71788 33554432000 4194304 4196468 140730231267264 139759351844016 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26939] ppid=26924 vsize=10748324 memory=287152 CPUtime=0.16 cores=1,3,5,7
/proc/26929/task/26939/stat : 26939 (java) S 26924 26929 26870 0 -1 1077944384 3662 0 0 0 13 3 0 0 20 0 16 0 413974405 11006283776 71788 33554432000 4194304 4196468 140730231267264 139759310707728 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26940] ppid=26924 vsize=10748324 memory=732 CPUtime=0.17 cores=1,3,5,7
/proc/26929/task/26940/stat : 26940 (java) S 26924 26929 26870 0 -1 1077944384 2227 0 0 0 14 3 0 0 20 0 16 0 413974405 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758953749648 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26941] ppid=26924 vsize=10748324 memory=287152 CPUtime=0.17 cores=1,3,5,7
/proc/26929/task/26941/stat : 26941 (java) S 26924 26929 26870 0 -1 1077944384 3604 0 0 0 14 3 0 0 20 0 16 0 413974405 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758952696592 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26942] ppid=26924 vsize=10748324 memory=290744 CPUtime=0.17 cores=1,3,5,7
/proc/26929/task/26942/stat : 26942 (java) S 26924 26929 26870 0 -1 1077944384 2078 0 0 0 14 3 0 0 20 0 16 0 413974405 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758951644048 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26943] ppid=26924 vsize=10748324 memory=287152 CPUtime=0.05 cores=1,3,5,7
/proc/26929/task/26943/stat : 26943 (java) S 26924 26929 26870 0 -1 1077944384 4602 0 0 0 4 1 0 0 20 0 16 0 413974407 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758838733040 139759347612290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26945] ppid=26924 vsize=10748324 memory=287152 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26945/stat : 26945 (java) S 26924 26929 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 413974407 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758837679328 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26947] ppid=26924 vsize=10748324 memory=658 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26947/stat : 26947 (java) S 26924 26929 26870 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 413974407 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758836626176 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26949] ppid=26924 vsize=10748324 memory=1166 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26949/stat : 26949 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974418 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758835574736 139759347619739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26950] ppid=26924 vsize=10748324 memory=287152 CPUtime=1.61 cores=1,3,5,7
/proc/26929/task/26950/stat : 26950 (java) S 26924 26929 26870 0 -1 1077944384 4135 0 0 0 160 1 0 0 20 0 16 0 413974418 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758834522864 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26951] ppid=26924 vsize=10748324 memory=287152 CPUtime=1.62 cores=1,3,5,7
/proc/26929/task/26951/stat : 26951 (java) S 26924 26929 26870 0 -1 1077944384 5184 0 1 0 161 1 0 0 20 0 16 0 413974418 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758833470320 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26952] ppid=26924 vsize=10748324 memory=287152 CPUtime=0.83 cores=1,3,5,7
/proc/26929/task/26952/stat : 26952 (java) S 26924 26929 26870 0 -1 1077944384 7029 0 0 0 81 2 0 0 20 0 16 0 413974418 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758832417264 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26953] ppid=26924 vsize=10748324 memory=287152 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26953/stat : 26953 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974418 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758831364960 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26959] ppid=26924 vsize=10748324 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/26929/task/26959/stat : 26959 (java) S 26924 26929 26870 0 -1 1077944384 1549 0 0 0 19 30 0 0 20 0 16 0 413974422 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758830311984 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26961] ppid=26924 vsize=10748324 memory=290744 CPUtime=2512.79 cores=1,3,5,7
/proc/26929/task/26961/stat : 26961 (java) R 26924 26929 26870 0 -1 4202560 17797 0 0 0 251275 4 0 0 20 0 16 0 413974655 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758813647792 139758992455078 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 287152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.91 s]
# the end of solver process 26929 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.52 s, system=0.531018 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.9 s]
/proc/loadavg: 1.68 1.76 1.68 3/235 27660
/proc/meminfo: memFree=31380964/32770624 swapFree=67009224/67108860
[pid=26929] ppid=26924 vsize=10748324 memory=287152 CPUtime=2520.02 cores=1,3,5,7
/proc/26929/stat : 26929 (java) S 26924 26929 26870 0 -1 1077944320 68682 0 6 0 251950 52 0 0 20 0 16 0 413974394 11006283776 71788 33554432000 4194304 4196468 140730231267264 140730231249808 139759347601143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
/proc/26929/statm: 2687081 71788 3379 1 0 2647217 0
[pid=26929/tid=26934] ppid=26924 vsize=10748324 memory=287152 CPUtime=1.87 cores=1,3,5,7
/proc/26929/task/26934/stat : 26934 (java) S 26924 26929 26870 0 -1 1077944384 15382 0 5 0 180 7 0 0 20 0 16 0 413974398 11006283776 71788 33554432000 4194304 4196468 140730231267264 139759351844016 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26939] ppid=26924 vsize=10748324 memory=287152 CPUtime=0.16 cores=1,3,5,7
/proc/26929/task/26939/stat : 26939 (java) S 26924 26929 26870 0 -1 1077944384 3662 0 0 0 13 3 0 0 20 0 16 0 413974405 11006283776 71788 33554432000 4194304 4196468 140730231267264 139759310707728 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26940] ppid=26924 vsize=10748324 memory=732 CPUtime=0.17 cores=1,3,5,7
/proc/26929/task/26940/stat : 26940 (java) S 26924 26929 26870 0 -1 1077944384 2227 0 0 0 14 3 0 0 20 0 16 0 413974405 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758953749648 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26941] ppid=26924 vsize=10748324 memory=287152 CPUtime=0.17 cores=1,3,5,7
/proc/26929/task/26941/stat : 26941 (java) S 26924 26929 26870 0 -1 1077944384 3604 0 0 0 14 3 0 0 20 0 16 0 413974405 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758952696592 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26942] ppid=26924 vsize=10748324 memory=290744 CPUtime=0.17 cores=1,3,5,7
/proc/26929/task/26942/stat : 26942 (java) S 26924 26929 26870 0 -1 1077944384 2078 0 0 0 14 3 0 0 20 0 16 0 413974405 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758951644048 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26943] ppid=26924 vsize=10748324 memory=287152 CPUtime=0.05 cores=1,3,5,7
/proc/26929/task/26943/stat : 26943 (java) S 26924 26929 26870 0 -1 1077944384 4602 0 0 0 4 1 0 0 20 0 16 0 413974407 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758838733040 139759347612290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26945] ppid=26924 vsize=10748324 memory=287152 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26945/stat : 26945 (java) S 26924 26929 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 413974407 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758837679328 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26947] ppid=26924 vsize=10748324 memory=658 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26947/stat : 26947 (java) S 26924 26929 26870 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 413974407 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758836626176 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26949] ppid=26924 vsize=10748324 memory=1166 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26949/stat : 26949 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974418 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758835574736 139759347619739 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26950] ppid=26924 vsize=10748324 memory=287152 CPUtime=1.61 cores=1,3,5,7
/proc/26929/task/26950/stat : 26950 (java) S 26924 26929 26870 0 -1 1077944384 4135 0 0 0 160 1 0 0 20 0 16 0 413974418 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758834522864 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26951] ppid=26924 vsize=10748324 memory=287152 CPUtime=1.62 cores=1,3,5,7
/proc/26929/task/26951/stat : 26951 (java) S 26924 26929 26870 0 -1 1077944384 5184 0 1 0 161 1 0 0 20 0 16 0 413974418 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758833470320 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26952] ppid=26924 vsize=10748324 memory=287152 CPUtime=0.83 cores=1,3,5,7
/proc/26929/task/26952/stat : 26952 (java) S 26924 26929 26870 0 -1 1077944384 7029 0 0 0 81 2 0 0 20 0 16 0 413974418 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758832417264 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26953] ppid=26924 vsize=10748324 memory=287152 CPUtime=0 cores=1,3,5,7
/proc/26929/task/26953/stat : 26953 (java) S 26924 26929 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974418 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758831364960 139759347611349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26959] ppid=26924 vsize=10748324 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/26929/task/26959/stat : 26959 (java) S 26924 26929 26870 0 -1 1077944384 1549 0 0 0 19 30 0 0 20 0 16 0 413974422 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758830311984 139759347612290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
[pid=26929/tid=26961] ppid=26924 vsize=10748324 memory=290744 CPUtime=2512.79 cores=1,3,5,7
/proc/26929/task/26961/stat : 26961 (java) R 26924 26929 26870 0 -1 4202560 17797 0 0 0 251275 4 0 0 20 0 16 0 413974655 11006283776 71788 33554432000 4194304 4196468 140730231267264 139758813647792 139758992455078 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 19124224 140730231272459 140730231272562 140730231272562 140730231275471 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 287152 KiB
Child status: 143
Real time (s): 2515.91
CPU time (s): 2520.05
CPU user time (s): 2519.52
CPU system time (s): 0.531018
CPU usage (%): 100.164
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 307592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.52
system time used= 0.531018
maximum resident set size= 309128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68940
page faults= 6
swaps= 0
block input operations= 29048
block output operations= 1936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58086
involuntary context switches= 1267
# summary of solver processes directly reported to runsolver:
# pid: 26929
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.52
# total CPU system time (s): 0.531018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9239 second user time and 21.7579 second system time
The end