2.38/1.90
2.38/1.90 AbsCon 2
2.63/1.91
3.92/2.34 Instance
3.92/2.34 name=instance-4391346-1568388839, framework=COP, bounds=-infty..+infty
3.92/2.34
3.92/2.34 Loading variables...
3.92/2.39 Loading constraints...
5.95/3.07
5.95/3.07 Domains
5.95/3.07 nTypes=1, nValues=202500, sizes=[450#450]
5.95/3.07 Variables
5.95/3.07 count=450, degrees=[3#4,4#9,5#12,6#13...98#1,99#1,107#1,129#1]
5.95/3.07 Objectives
5.95/3.07 way=min, type=ObjMaximumLE
5.95/3.07 Constraints
5.95/3.07 count=8261, nSpecific=8261, arities=[2#8260,450#1]
5.95/3.07 distribution=[NE#8260,ObjMaximumLE#1]
5.95/3.07 wck=1.205, cpu=3.028, mem=113M965
5.95/3.08 Solver SolverBacktrack being built...
5.95/3.08
6.29/3.12
6.29/3.12 Solver
6.29/3.12 guaranteedGAC=true
6.29/3.12 wck=1.258, cpu=3.078, mem=127M955
6.29/3.13
6.29/3.13 Preprocessing
6.29/3.13 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
6.29/3.13 wck=0.009, cpu=3.089, mem=127M955
6.29/3.13
6.29/3.19 o 27
6.61/3.21 num=0, depth=451..449, filters=4727, ccks=8261, wck=0.085, mem=130M545
6.61/3.21 decisions=450, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=27
6.61/3.21
6.61/3.24 o 26
6.61/3.24 num=1, depth=451..449, filters=9389, ccks=16522, wck=0.117, mem=133M135
6.61/3.24 decisions=894, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=26
6.61/3.24
6.61/3.26 num=2, depth=363..368, filters=14569, ccks=16522, wck=0.134, mem=133M135
6.61/3.26 decisions=1298, wrong=20, backtracks=9, failedAssignments=11, nogoods=3, foundSolutions=2, bestBound=26
6.61/3.26
6.61/3.28 o 25
6.61/3.28 num=3, depth=382..449, filters=19255, ccks=24783, wck=0.154, mem=133M135
6.61/3.28 decisions=1736, wrong=21, backtracks=9, failedAssignments=12, nogoods=4, foundSolutions=3, bestBound=25
6.61/3.28
6.61/3.29 num=4, depth=357..366, filters=24625, ccks=24783, wck=0.17, mem=133M135
6.61/3.29 decisions=2141, wrong=45, backtracks=22, failedAssignments=24, nogoods=5, foundSolutions=3, bestBound=25
6.61/3.29
6.91/3.31 num=5, depth=359..367, filters=30389, ccks=24783, wck=0.183, mem=133M135
6.91/3.31 decisions=2546, wrong=66, backtracks=33, failedAssignments=35, nogoods=7, foundSolutions=3, bestBound=25
6.91/3.31
6.91/3.32 num=6, depth=345..357, filters=35598, ccks=24783, wck=0.195, mem=133M135
6.91/3.32 decisions=2939, wrong=90, backtracks=45, failedAssignments=47, nogoods=8, foundSolutions=3, bestBound=25
6.91/3.32
6.91/3.33 num=7, depth=365..370, filters=40570, ccks=24783, wck=0.207, mem=133M135
6.91/3.33 decisions=3352, wrong=114, backtracks=58, failedAssignments=60, nogoods=9, foundSolutions=3, bestBound=25
6.91/3.33
6.91/3.34 num=8, depth=348..359, filters=45723, ccks=24783, wck=0.219, mem=133M135
6.91/3.34 decisions=3757, wrong=142, backtracks=72, failedAssignments=74, nogoods=11, foundSolutions=3, bestBound=25
6.91/3.34
6.91/3.35 num=9, depth=362..373, filters=50804, ccks=24783, wck=0.231, mem=133M135
6.91/3.35 decisions=4183, wrong=174, backtracks=88, failedAssignments=90, nogoods=13, foundSolutions=3, bestBound=25
6.91/3.35
6.91/3.37 num=10, depth=343..360, filters=55920, ccks=24783, wck=0.243, mem=133M135
6.91/3.37 decisions=4594, wrong=208, backtracks=105, failedAssignments=107, nogoods=14, foundSolutions=3, bestBound=25
6.91/3.37
6.91/3.38 o 24
6.91/3.38 num=11, depth=348..449, filters=61887, ccks=33044, wck=0.257, mem=133M135
6.91/3.38 decisions=5083, wrong=243, backtracks=123, failedAssignments=125, nogoods=15, foundSolutions=4, bestBound=24
6.91/3.38
6.91/3.39 num=12, depth=320..333, filters=67711, ccks=33044, wck=0.271, mem=133M135
6.91/3.39 decisions=5487, wrong=285, backtracks=144, failedAssignments=146, nogoods=17, foundSolutions=4, bestBound=24
6.91/3.39
7.03/3.41 num=13, depth=310..321, filters=72435, ccks=33044, wck=0.283, mem=133M135
7.03/3.41 decisions=5841, wrong=307, backtracks=155, failedAssignments=157, nogoods=18, foundSolutions=4, bestBound=24
7.03/3.41
7.03/3.42 num=14, depth=269..281, filters=77241, ccks=33044, wck=0.295, mem=133M135
7.03/3.42 decisions=6158, wrong=331, backtracks=167, failedAssignments=169, nogoods=19, foundSolutions=4, bestBound=24
7.03/3.42
7.03/3.43 num=15, depth=308..321, filters=81820, ccks=33044, wck=0.307, mem=133M135
7.03/3.43 decisions=6518, wrong=357, backtracks=180, failedAssignments=182, nogoods=20, foundSolutions=4, bestBound=24
7.03/3.43
7.03/3.44 num=16, depth=250..262, filters=86296, ccks=33044, wck=0.318, mem=133M135
7.03/3.44 decisions=6824, wrong=385, backtracks=194, failedAssignments=196, nogoods=22, foundSolutions=4, bestBound=24
7.03/3.44
7.03/3.45 num=17, depth=265..281, filters=90961, ccks=33044, wck=0.33, mem=133M135
7.03/3.45 decisions=7153, wrong=417, backtracks=210, failedAssignments=212, nogoods=23, foundSolutions=4, bestBound=24
7.03/3.45
7.03/3.47 num=18, depth=249..262, filters=95530, ccks=33044, wck=0.342, mem=133M135
7.03/3.47 decisions=7470, wrong=451, backtracks=228, failedAssignments=229, nogoods=25, foundSolutions=4, bestBound=24
7.03/3.47
7.03/3.48 num=19, depth=262..281, filters=100240, ccks=33044, wck=0.354, mem=133M135
7.03/3.48 decisions=7808, wrong=489, backtracks=247, failedAssignments=248, nogoods=26, foundSolutions=4, bestBound=24
7.03/3.48
7.03/3.49 num=20, depth=242..252, filters=104896, ccks=33044, wck=0.364, mem=133M135
7.03/3.49 decisions=8134, wrong=531, backtracks=273, failedAssignments=269, nogoods=27, foundSolutions=4, bestBound=24
7.03/3.49
7.27/3.50 num=21, depth=245..262, filters=109865, ccks=33044, wck=0.375, mem=133M135
7.27/3.50 decisions=8471, wrong=577, backtracks=298, failedAssignments=292, nogoods=29, foundSolutions=4, bestBound=24
7.27/3.50
7.27/3.51 num=22, depth=241..252, filters=114572, ccks=33044, wck=0.385, mem=135M725
7.27/3.51 decisions=8812, wrong=627, backtracks=329, failedAssignments=317, nogoods=31, foundSolutions=4, bestBound=24
7.27/3.51
7.27/3.52 num=23, depth=243..262, filters=119421, ccks=33044, wck=0.395, mem=135M725
7.27/3.52 decisions=9167, wrong=683, backtracks=361, failedAssignments=345, nogoods=32, foundSolutions=4, bestBound=24
7.27/3.52
7.27/3.53 num=24, depth=218..249, filters=124388, ccks=33044, wck=0.405, mem=135M725
7.27/3.53 decisions=9509, wrong=745, backtracks=392, failedAssignments=376, nogoods=33, foundSolutions=4, bestBound=24
7.27/3.53
7.27/3.54 num=25, depth=218..252, filters=129142, ccks=33044, wck=0.415, mem=135M725
7.27/3.54 decisions=9863, wrong=813, backtracks=426, failedAssignments=410, nogoods=34, foundSolutions=4, bestBound=24
7.27/3.54
7.27/3.55 num=26, depth=212..249, filters=134529, ccks=33044, wck=0.425, mem=135M725
7.27/3.55 decisions=10223, wrong=887, backtracks=463, failedAssignments=447, nogoods=35, foundSolutions=4, bestBound=24
7.27/3.55
7.27/3.56 num=27, depth=211..252, filters=139290, ccks=33044, wck=0.435, mem=135M725
7.27/3.56 decisions=10598, wrong=969, backtracks=504, failedAssignments=488, nogoods=36, foundSolutions=4, bestBound=24
7.27/3.56
7.27/3.57 num=28, depth=178..193, filters=149205, ccks=33044, wck=0.448, mem=135M725
7.27/3.57 decisions=10957, wrong=1059, backtracks=561, failedAssignments=533, nogoods=40, foundSolutions=4, bestBound=24
7.27/3.57
7.27/3.58 num=29, depth=199..249, filters=154936, ccks=33044, wck=0.458, mem=135M725
7.27/3.58 decisions=11356, wrong=1159, backtracks=611, failedAssignments=583, nogoods=41, foundSolutions=4, bestBound=24
7.27/3.58
7.27/3.59 num=30, depth=197..252, filters=160015, ccks=33044, wck=0.469, mem=135M725
7.27/3.59 decisions=11773, wrong=1269, backtracks=666, failedAssignments=638, nogoods=42, foundSolutions=4, bestBound=24
7.27/3.59
7.38/3.61 num=31, depth=177..193, filters=172372, ccks=33044, wck=0.483, mem=135M725
7.38/3.61 decisions=12195, wrong=1391, backtracks=739, failedAssignments=699, nogoods=46, foundSolutions=4, bestBound=24
7.38/3.61
7.38/3.62 num=32, depth=157..193, filters=181022, ccks=33044, wck=0.495, mem=135M725
7.38/3.62 decisions=12621, wrong=1525, backtracks=811, failedAssignments=766, nogoods=50, foundSolutions=4, bestBound=24
7.38/3.62
7.38/3.63 num=33, depth=144..165, filters=193015, ccks=33044, wck=0.508, mem=135M725
7.38/3.63 decisions=13062, wrong=1673, backtracks=891, failedAssignments=840, nogoods=56, foundSolutions=4, bestBound=24
7.38/3.63
7.38/3.64 num=34, depth=168..249, filters=200110, ccks=33044, wck=0.518, mem=135M725
7.38/3.64 decisions=13554, wrong=1835, backtracks=972, failedAssignments=921, nogoods=57, foundSolutions=4, bestBound=24
7.38/3.64
7.38/3.66 num=35, depth=127..154, filters=215478, ccks=33044, wck=0.536, mem=135M725
7.38/3.66 decisions=14038, wrong=2013, backtracks=1073, failedAssignments=1010, nogoods=62, foundSolutions=4, bestBound=24
7.38/3.66
7.38/3.68 num=36, depth=111..148, filters=232688, ccks=33044, wck=0.555, mem=135M725
7.38/3.68 decisions=14541, wrong=2209, backtracks=1201, failedAssignments=1108, nogoods=63, foundSolutions=4, bestBound=24
7.38/3.68
7.38/3.69 num=37, depth=142..249, filters=241168, ccks=33044, wck=0.566, mem=135M725
7.38/3.69 decisions=15115, wrong=2425, backtracks=1309, failedAssignments=1216, nogoods=65, foundSolutions=4, bestBound=24
7.38/3.69
7.48/3.71 num=38, depth=98..143, filters=261894, ccks=33044, wck=0.583, mem=135M725
7.48/3.71 decisions=15689, wrong=2663, backtracks=1431, failedAssignments=1335, nogoods=70, foundSolutions=4, bestBound=24
7.48/3.71
7.48/3.73 num=39, depth=70..131, filters=287042, ccks=33044, wck=0.608, mem=135M725
7.48/3.73 decisions=16283, wrong=2925, backtracks=1596, failedAssignments=1466, nogoods=72, foundSolutions=4, bestBound=24
7.48/3.73
7.48/3.75 num=40, depth=28..106, filters=316468, ccks=33044, wck=0.626, mem=135M725
7.48/3.75 decisions=16888, wrong=3213, backtracks=1767, failedAssignments=1610, nogoods=78, foundSolutions=4, bestBound=24
7.48/3.75
7.48/3.76 num=41, depth=117..249, filters=330527, ccks=33044, wck=0.641, mem=135M725
7.48/3.76 decisions=17637, wrong=3529, backtracks=1937, failedAssignments=1768, nogoods=80, foundSolutions=4, bestBound=24
7.48/3.76
7.48/3.79 num=42, depth=55..131, filters=370135, ccks=33044, wck=0.671, mem=135M725
7.48/3.79 decisions=18388, wrong=3877, backtracks=2158, failedAssignments=1942, nogoods=82, foundSolutions=4, bestBound=24
7.48/3.79
7.58/3.81 num=43, depth=98..165, filters=398821, ccks=33044, wck=0.691, mem=135M725
7.58/3.81 decisions=19250, wrong=4259, backtracks=2377, failedAssignments=2133, nogoods=87, foundSolutions=4, bestBound=24
7.58/3.81
7.58/3.84 num=44, depth=23..106, filters=432545, ccks=33044, wck=0.713, mem=135M725
7.58/3.84 decisions=20120, wrong=4681, backtracks=2591, failedAssignments=2344, nogoods=91, foundSolutions=4, bestBound=24
7.58/3.84
7.58/3.87 num=45, depth=74..160, filters=477652, ccks=33044, wck=0.747, mem=135M725
7.58/3.87 decisions=21122, wrong=5145, backtracks=2895, failedAssignments=2576, nogoods=93, foundSolutions=4, bestBound=24
7.58/3.87
7.58/3.90 num=46, depth=93..249, filters=500783, ccks=33044, wck=0.772, mem=135M725
7.58/3.90 decisions=22235, wrong=5655, backtracks=3198, failedAssignments=2831, nogoods=96, foundSolutions=4, bestBound=24
7.58/3.90
7.70/3.93 num=47, depth=58..160, filters=547419, ccks=33044, wck=0.811, mem=135M725
7.70/3.93 decisions=23417, wrong=6217, backtracks=3567, failedAssignments=3112, nogoods=99, foundSolutions=4, bestBound=24
7.70/3.93
7.70/3.98 num=48, depth=18..104, filters=625300, ccks=33044, wck=0.859, mem=135M725
7.70/3.98 decisions=24672, wrong=6835, backtracks=3911, failedAssignments=3421, nogoods=103, foundSolutions=4, bestBound=24
7.70/3.98
7.81/4.02 num=49, depth=76..249, filters=663229, ccks=33044, wck=0.893, mem=135M725
7.81/4.02 decisions=26108, wrong=7515, backtracks=4333, failedAssignments=3761, nogoods=106, foundSolutions=4, bestBound=24
7.81/4.02
7.81/4.06 num=50, depth=18..148, filters=740141, ccks=33044, wck=0.939, mem=135M725
7.81/4.06 decisions=27625, wrong=8263, backtracks=4717, failedAssignments=4135, nogoods=113, foundSolutions=4, bestBound=24
7.81/4.06
7.92/4.12 num=51, depth=18..154, filters=815702, ccks=33044, wck=0.998, mem=135M725
7.92/4.12 decisions=29290, wrong=9085, backtracks=5213, failedAssignments=4546, nogoods=119, foundSolutions=4, bestBound=24
7.92/4.12
7.92/4.17 num=52, depth=18..160, filters=895888, ccks=33044, wck=1.048, mem=135M725
7.92/4.17 decisions=31117, wrong=9989, backtracks=5703, failedAssignments=4998, nogoods=126, foundSolutions=4, bestBound=24
7.92/4.17
8.01/4.24 num=53, depth=18..131, filters=1017013, ccks=33044, wck=1.117, mem=135M725
8.01/4.24 decisions=33126, wrong=10983, backtracks=6216, failedAssignments=5495, nogoods=134, foundSolutions=4, bestBound=24
8.01/4.24
8.01/4.30 num=54, depth=18..143, filters=1114051, ccks=33044, wck=1.173, mem=135M725
8.01/4.30 decisions=35334, wrong=12077, backtracks=6772, failedAssignments=6042, nogoods=146, foundSolutions=4, bestBound=24
8.01/4.30
8.11/4.37 num=55, depth=18..131, filters=1246952, ccks=33044, wck=1.249, mem=135M725
8.11/4.37 decisions=37762, wrong=13281, backtracks=7385, failedAssignments=6644, nogoods=158, foundSolutions=4, bestBound=24
8.11/4.37
8.21/4.46 num=56, depth=17..22, filters=1397556, ccks=33044, wck=1.337, mem=135M725
8.21/4.46 decisions=40431, wrong=14605, backtracks=8065, failedAssignments=7306, nogoods=168, foundSolutions=4, bestBound=24
8.21/4.46
8.51/4.71 num=57, depth=17..23, filters=1555206, ccks=33044, wck=1.431, mem=135M725
8.51/4.71 decisions=43362, wrong=16061, backtracks=8811, failedAssignments=8034, nogoods=171, foundSolutions=4, bestBound=24
8.51/4.71
8.51/4.71 num=58, depth=17..22, filters=1718358, ccks=33044, wck=1.529, mem=135M725
8.51/4.71 decisions=46586, wrong=17663, backtracks=9644, failedAssignments=8835, nogoods=178, foundSolutions=4, bestBound=24
8.51/4.71
8.51/4.77 num=59, depth=17..57, filters=1923433, ccks=33044, wck=1.65, mem=135M725
8.51/4.77 decisions=50131, wrong=19425, backtracks=10543, failedAssignments=9716, nogoods=187, foundSolutions=4, bestBound=24
8.51/4.77
8.71/4.93 num=60, depth=17..23, filters=2175757, ccks=33044, wck=1.802, mem=135M725
8.71/4.93 decisions=54031, wrong=21365, backtracks=11544, failedAssignments=10686, nogoods=196, foundSolutions=4, bestBound=24
8.71/4.93
8.82/5.05 num=61, depth=17..22, filters=2401624, ccks=33044, wck=1.929, mem=135M725
8.82/5.05 decisions=58318, wrong=23499, backtracks=12643, failedAssignments=11753, nogoods=201, foundSolutions=4, bestBound=24
8.82/5.05
8.92/5.19 num=62, depth=17..22, filters=2639499, ccks=33044, wck=2.068, mem=135M725
8.92/5.19 decisions=63029, wrong=25845, backtracks=13855, failedAssignments=12926, nogoods=208, foundSolutions=4, bestBound=24
8.92/5.19
9.12/5.39 num=63, depth=17..22, filters=2957163, ccks=33044, wck=2.264, mem=138M315
9.12/5.39 decisions=68213, wrong=28427, backtracks=15189, failedAssignments=14217, nogoods=218, foundSolutions=4, bestBound=24
9.12/5.39
9.32/5.55 num=64, depth=17..22, filters=3242702, ccks=33044, wck=2.424, mem=138M315
9.32/5.55 decisions=73912, wrong=31267, backtracks=16649, failedAssignments=15637, nogoods=233, foundSolutions=4, bestBound=24
9.32/5.55
9.52/5.76 num=65, depth=17..22, filters=3596475, ccks=33044, wck=2.642, mem=138M315
9.52/5.76 decisions=80181, wrong=34391, backtracks=18260, failedAssignments=17199, nogoods=243, foundSolutions=4, bestBound=24
9.52/5.76
9.72/5.99 num=66, depth=17..22, filters=3965385, ccks=33044, wck=2.864, mem=138M315
9.72/5.99 decisions=87074, wrong=37827, backtracks=20035, failedAssignments=18917, nogoods=257, foundSolutions=4, bestBound=24
9.72/5.99
10.02/6.25 num=67, depth=17..22, filters=4407870, ccks=33044, wck=3.127, mem=138M315
10.02/6.25 decisions=94654, wrong=41607, backtracks=21983, failedAssignments=20807, nogoods=267, foundSolutions=4, bestBound=24
10.02/6.25
10.22/6.47 num=68, depth=17..22, filters=4804927, ccks=33044, wck=3.349, mem=138M315
10.22/6.47 decisions=102990, wrong=45765, backtracks=24135, failedAssignments=22886, nogoods=280, foundSolutions=4, bestBound=24
10.22/6.47
10.55/6.76 num=69, depth=17..22, filters=5313095, ccks=33044, wck=3.637, mem=138M315
10.55/6.76 decisions=112159, wrong=50339, backtracks=26488, failedAssignments=25173, nogoods=291, foundSolutions=4, bestBound=24
10.55/6.76
10.96/7.13 num=70, depth=17..22, filters=5926216, ccks=33044, wck=4.004, mem=138M315
10.96/7.13 decisions=122243, wrong=55371, backtracks=29074, failedAssignments=27689, nogoods=304, foundSolutions=4, bestBound=24
10.96/7.13
11.25/7.47 num=71, depth=17..22, filters=6510043, ccks=33044, wck=4.343, mem=138M315
11.25/7.47 decisions=133336, wrong=60907, backtracks=31920, failedAssignments=30457, nogoods=315, foundSolutions=4, bestBound=24
11.25/7.47
11.75/7.92 num=72, depth=17..22, filters=7259746, ccks=33044, wck=4.794, mem=138M315
11.75/7.92 decisions=145532, wrong=66995, backtracks=35059, failedAssignments=33501, nogoods=332, foundSolutions=4, bestBound=24
11.75/7.92
12.15/8.31 num=73, depth=17..22, filters=7971312, ccks=33044, wck=5.19, mem=140M904
12.15/8.31 decisions=158948, wrong=73693, backtracks=38516, failedAssignments=36850, nogoods=347, foundSolutions=4, bestBound=24
12.15/8.31
12.65/8.89 num=74, depth=17..22, filters=8905332, ccks=33044, wck=5.762, mem=140M904
12.65/8.89 decisions=173703, wrong=81061, backtracks=42309, failedAssignments=40534, nogoods=359, foundSolutions=4, bestBound=24
12.65/8.89
13.19/9.33 num=75, depth=16..22, filters=9680318, ccks=33044, wck=6.21, mem=140M904
13.19/9.33 decisions=189932, wrong=89165, backtracks=46466, failedAssignments=44586, nogoods=362, foundSolutions=4, bestBound=24
13.19/9.33
13.72/9.88 num=76, depth=16..22, filters=10650155, ccks=33044, wck=6.759, mem=140M904
13.72/9.88 decisions=207780, wrong=98079, backtracks=51077, failedAssignments=49043, nogoods=375, foundSolutions=4, bestBound=24
13.72/9.88
14.43/10.56 num=77, depth=16..22, filters=11853855, ccks=33044, wck=7.437, mem=140M904
14.43/10.56 decisions=227412, wrong=107885, backtracks=56144, failedAssignments=53946, nogoods=390, foundSolutions=4, bestBound=24
14.43/10.56
15.13/11.26 num=78, depth=16..22, filters=13047537, ccks=33044, wck=8.133, mem=143M494
15.13/11.26 decisions=249009, wrong=118673, backtracks=61753, failedAssignments=59340, nogoods=399, foundSolutions=4, bestBound=24
15.13/11.26
15.83/11.91 num=79, depth=16..22, filters=14114052, ccks=33044, wck=8.787, mem=143M494
15.83/11.91 decisions=272761, wrong=130539, backtracks=67907, failedAssignments=65273, nogoods=411, foundSolutions=4, bestBound=24
15.83/11.91
16.63/12.78 num=80, depth=16..22, filters=15604505, ccks=33044, wck=9.659, mem=143M494
16.63/12.78 decisions=298886, wrong=143591, backtracks=74666, failedAssignments=71799, nogoods=425, foundSolutions=4, bestBound=24
16.63/12.78
17.53/13.68 num=81, depth=16..22, filters=17233116, ccks=33044, wck=10.559, mem=146M83
17.53/13.68 decisions=327622, wrong=157949, backtracks=82116, failedAssignments=78978, nogoods=430, foundSolutions=4, bestBound=24
17.53/13.68
18.53/14.68 num=82, depth=16..22, filters=18934654, ccks=33044, wck=11.554, mem=146M83
18.53/14.68 decisions=359230, wrong=173743, backtracks=90262, failedAssignments=86875, nogoods=441, foundSolutions=4, bestBound=24
18.53/14.68
19.83/15.93 num=83, depth=16..22, filters=21075858, ccks=33044, wck=12.807, mem=146M83
19.83/15.93 decisions=393998, wrong=191117, backtracks=99244, failedAssignments=95562, nogoods=454, foundSolutions=4, bestBound=24
19.83/15.93
21.13/17.21 num=84, depth=16..22, filters=23329035, ccks=33044, wck=14.089, mem=148M673
21.13/17.21 decisions=432239, wrong=210227, backtracks=109124, failedAssignments=105117, nogoods=463, foundSolutions=4, bestBound=24
21.13/17.21
22.44/18.56 num=85, depth=16..22, filters=25582738, ccks=33044, wck=15.437, mem=148M673
22.44/18.56 decisions=474303, wrong=231249, backtracks=120021, failedAssignments=115628, nogoods=477, foundSolutions=4, bestBound=24
22.44/18.56
23.84/20.00 num=86, depth=16..22, filters=27990030, ccks=33044, wck=16.873, mem=151M262
23.84/20.00 decisions=520572, wrong=254373, backtracks=131987, failedAssignments=127190, nogoods=486, foundSolutions=4, bestBound=24
23.84/20.00
25.14/21.24 num=87, depth=16..22, filters=30208267, ccks=33044, wck=18.113, mem=151M262
25.14/21.24 decisions=571464, wrong=279809, backtracks=145155, failedAssignments=139908, nogoods=503, foundSolutions=4, bestBound=24
25.14/21.24
27.34/23.43 num=88, depth=16..22, filters=34045420, ccks=33044, wck=20.312, mem=153M852
27.34/23.43 decisions=627445, wrong=307789, backtracks=159639, failedAssignments=153898, nogoods=514, foundSolutions=4, bestBound=24
27.34/23.43
29.34/25.45 num=89, depth=16..22, filters=37528151, ccks=33044, wck=22.329, mem=154M125
29.34/25.45 decisions=689022, wrong=338567, backtracks=175588, failedAssignments=169287, nogoods=526, foundSolutions=4, bestBound=24
29.34/25.45
31.38/27.45 num=90, depth=16..22, filters=41171736, ccks=33044, wck=24.331, mem=36M247
31.38/27.45 decisions=756755, wrong=372423, backtracks=193094, failedAssignments=186215, nogoods=541, foundSolutions=4, bestBound=24
31.38/27.45
34.09/30.13 num=91, depth=16..22, filters=45784158, ccks=33044, wck=27.011, mem=38M846
34.09/30.13 decisions=831260, wrong=409665, backtracks=212400, failedAssignments=204836, nogoods=556, foundSolutions=4, bestBound=24
34.09/30.13
36.18/32.24 num=92, depth=16..22, filters=49802934, ccks=33044, wck=29.116, mem=41M444
36.18/32.24 decisions=913217, wrong=450633, backtracks=233606, failedAssignments=225320, nogoods=573, foundSolutions=4, bestBound=24
36.18/32.24
38.88/34.94 num=93, depth=16..22, filters=54999562, ccks=33044, wck=31.821, mem=44M43
38.88/34.94 decisions=1003365, wrong=495697, backtracks=256916, failedAssignments=247852, nogoods=594, foundSolutions=4, bestBound=24
38.88/34.94
41.69/37.70 num=94, depth=16..22, filters=60398108, ccks=33044, wck=34.58, mem=46M642
41.69/37.70 decisions=1102525, wrong=545267, backtracks=282574, failedAssignments=272637, nogoods=611, foundSolutions=4, bestBound=24
41.69/37.70
45.00/41.08 num=95, depth=16..22, filters=66569716, ccks=33044, wck=37.96, mem=49M241
45.00/41.08 decisions=1211602, wrong=599795, backtracks=310793, failedAssignments=299901, nogoods=627, foundSolutions=4, bestBound=24
45.00/41.08
48.89/45.00 num=96, depth=15..22, filters=74379340, ccks=33044, wck=41.874, mem=51M839
48.89/45.00 decisions=1331582, wrong=659775, backtracks=341909, failedAssignments=329891, nogoods=640, foundSolutions=4, bestBound=24
48.89/45.00
52.49/48.56 num=97, depth=15..22, filters=81451852, ccks=33044, wck=45.438, mem=57M37
52.49/48.56 decisions=1463559, wrong=725753, backtracks=376117, failedAssignments=362880, nogoods=650, foundSolutions=4, bestBound=24
52.49/48.56
57.39/53.43 num=98, depth=15..22, filters=90136490, ccks=33044, wck=50.306, mem=62M235
57.39/53.43 decisions=1608730, wrong=798329, backtracks=413801, failedAssignments=399168, nogoods=661, foundSolutions=4, bestBound=24
57.39/53.43
61.19/57.22 num=99, depth=15..22, filters=97280314, ccks=33044, wck=54.093, mem=64M833
61.19/57.22 decisions=1768418, wrong=878163, backtracks=455262, failedAssignments=439085, nogoods=675, foundSolutions=4, bestBound=24
61.19/57.22
66.69/62.75 num=100, depth=15..22, filters=107846122, ccks=33044, wck=59.63, mem=70M31
66.69/62.75 decisions=1944074, wrong=965981, backtracks=500974, failedAssignments=482994, nogoods=692, foundSolutions=4, bestBound=24
66.69/62.75
73.89/69.90 num=101, depth=15..22, filters=120595169, ccks=33044, wck=66.781, mem=75M228
73.89/69.90 decisions=2137294, wrong=1062581, backtracks=551094, failedAssignments=531294, nogoods=714, foundSolutions=4, bestBound=24
73.89/69.90
79.89/75.99 num=102, depth=15..22, filters=132278764, ccks=33044, wck=72.862, mem=83M25
79.89/75.99 decisions=2349835, wrong=1168841, backtracks=606328, failedAssignments=584424, nogoods=733, foundSolutions=4, bestBound=24
79.89/75.99
86.50/82.51 num=103, depth=15..22, filters=144884973, ccks=33044, wck=79.383, mem=88M222
86.50/82.51 decisions=2583626, wrong=1285727, backtracks=667009, failedAssignments=642867, nogoods=747, foundSolutions=4, bestBound=24
86.50/82.51
95.00/91.03 num=104, depth=15..22, filters=160507908, ccks=33044, wck=87.904, mem=96M18
95.00/91.03 decisions=2840792, wrong=1414301, backtracks=733803, failedAssignments=707154, nogoods=767, foundSolutions=4, bestBound=24
95.00/91.03
103.30/99.34 num=105, depth=15..22, filters=175940301, ccks=33044, wck=96.215, mem=103M814
103.30/99.34 decisions=3123677, wrong=1555733, backtracks=807344, failedAssignments=777870, nogoods=784, foundSolutions=4, bestBound=24
103.30/99.34
112.70/108.71 num=106, depth=15..22, filters=193724876, ccks=33044, wck=105.589, mem=111M611
112.70/108.71 decisions=3434844, wrong=1711307, backtracks=888243, failedAssignments=855657, nogoods=804, foundSolutions=4, bestBound=24
112.70/108.71
123.60/119.65 num=107, depth=15..22, filters=215019940, ccks=33044, wck=116.529, mem=122M6
123.60/119.65 decisions=3777128, wrong=1882439, backtracks=977212, failedAssignments=941223, nogoods=821, foundSolutions=4, bestBound=24
123.60/119.65
138.70/134.75 num=108, depth=15..22, filters=242432379, ccks=33044, wck=131.624, mem=132M401
138.70/134.75 decisions=4153639, wrong=2070685, backtracks=1075071, failedAssignments=1035346, nogoods=838, foundSolutions=4, bestBound=24
138.70/134.75
149.41/145.42 num=109, depth=15..22, filters=262252713, ccks=33044, wck=142.295, mem=145M394
149.41/145.42 decisions=4567799, wrong=2277755, backtracks=1182642, failedAssignments=1138881, nogoods=858, foundSolutions=4, bestBound=24
149.41/145.42
160.71/156.75 num=110, depth=15..22, filters=284402628, ccks=33044, wck=153.626, mem=158M388
160.71/156.75 decisions=5023375, wrong=2505533, backtracks=1300881, failedAssignments=1252770, nogoods=884, foundSolutions=4, bestBound=24
160.71/156.75
178.46/174.42 num=111, depth=15..22, filters=316517368, ccks=33044, wck=171.296, mem=41M554
178.46/174.42 decisions=5524508, wrong=2756089, backtracks=1431163, failedAssignments=1378048, nogoods=900, foundSolutions=4, bestBound=24
178.46/174.42
194.46/190.42 num=112, depth=15..22, filters=347020236, ccks=33044, wck=187.294, mem=57M202
194.46/190.42 decisions=6075751, wrong=3031701, backtracks=1574509, failedAssignments=1515854, nogoods=920, foundSolutions=4, bestBound=24
194.46/190.42
213.97/209.91 num=113, depth=15..22, filters=382004231, ccks=33044, wck=206.788, mem=72M850
213.97/209.91 decisions=6682113, wrong=3334873, backtracks=1731997, failedAssignments=1667440, nogoods=948, foundSolutions=4, bestBound=24
213.97/209.91
235.47/231.41 num=114, depth=15..22, filters=422046922, ccks=33044, wck=228.288, mem=91M107
235.47/231.41 decisions=7349114, wrong=3668363, backtracks=1905586, failedAssignments=1834185, nogoods=965, foundSolutions=4, bestBound=24
235.47/231.41
257.67/253.65 num=115, depth=15..22, filters=466763472, ccks=33044, wck=250.524, mem=111M971
257.67/253.65 decisions=8082810, wrong=4035201, backtracks=2096364, failedAssignments=2017604, nogoods=992, foundSolutions=4, bestBound=24
257.67/253.65
281.09/277.03 num=116, depth=15..22, filters=511026429, ccks=33044, wck=273.907, mem=135M443
281.09/277.03 decisions=8889871, wrong=4438723, backtracks=2305981, failedAssignments=2219365, nogoods=1022, foundSolutions=4, bestBound=24
281.09/277.03
306.48/302.48 num=117, depth=15..22, filters=557535330, ccks=33044, wck=299.353, mem=161M523
306.48/302.48 decisions=9777643, wrong=4882599, backtracks=2536875, failedAssignments=2441303, nogoods=1042, foundSolutions=4, bestBound=24
306.48/302.48
341.23/337.17 num=118, depth=15..22, filters=624543521, ccks=33044, wck=334.05, mem=56M977
341.23/337.17 decisions=10754187, wrong=5370861, backtracks=2791084, failedAssignments=2685434, nogoods=1064, foundSolutions=4, bestBound=24
341.23/337.17
371.84/367.76 num=119, depth=15..22, filters=682481556, ccks=33044, wck=364.641, mem=87M919
371.84/367.76 decisions=11828387, wrong=5907951, backtracks=3070677, failedAssignments=2953979, nogoods=1093, foundSolutions=4, bestBound=24
371.84/367.76
414.04/409.94 num=120, depth=14..22, filters=761917247, ccks=33044, wck=406.816, mem=121M439
414.04/409.94 decisions=13010003, wrong=6498749, backtracks=3378520, failedAssignments=3249378, nogoods=1104, foundSolutions=4, bestBound=24
414.04/409.94
454.16/450.02 num=121, depth=14..22, filters=838393028, ccks=33044, wck=446.894, mem=157M538
454.16/450.02 decisions=14309779, wrong=7148627, backtracks=3717312, failedAssignments=3574317, nogoods=1125, foundSolutions=4, bestBound=24
454.16/450.02
493.50/489.37 num=122, depth=14..22, filters=914675115, ccks=33044, wck=486.246, mem=66M882
493.50/489.37 decisions=15739530, wrong=7863493, backtracks=4089973, failedAssignments=3931750, nogoods=1150, foundSolutions=4, bestBound=24
493.50/489.37
545.52/541.36 num=123, depth=14..22, filters=1015115883, ccks=33044, wck=538.237, mem=112M682
545.52/541.36 decisions=17312255, wrong=8649845, backtracks=4500142, failedAssignments=4324926, nogoods=1169, foundSolutions=4, bestBound=24
545.52/541.36
598.72/594.51 num=124, depth=14..22, filters=1114520087, ccks=33044, wck=591.386, mem=161M27
598.72/594.51 decisions=19042250, wrong=9514833, backtracks=4950787, failedAssignments=4757420, nogoods=1188, foundSolutions=4, bestBound=24
598.72/594.51
671.48/667.24 num=125, depth=14..22, filters=1242528548, ccks=33044, wck=664.116, mem=86M438
671.48/667.24 decisions=20945245, wrong=10466321, backtracks=5445973, failedAssignments=5233164, nogoods=1215, foundSolutions=4, bestBound=24
671.48/667.24
729.78/725.50 num=126, depth=14..22, filters=1356938995, ccks=33044, wck=722.375, mem=146M620
729.78/725.50 decisions=23038537, wrong=11512957, backtracks=5991958, failedAssignments=5756482, nogoods=1232, foundSolutions=4, bestBound=24
729.78/725.50
796.74/792.45 num=127, depth=14..22, filters=1481887479, ccks=33044, wck=789.323, mem=85M683
796.74/792.45 decisions=25341157, wrong=12664257, backtracks=6593384, failedAssignments=6332132, nogoods=1246, foundSolutions=4, bestBound=24
796.74/792.45
890.67/886.33 num=128, depth=14..22, filters=1662720697, ccks=33044, wck=883.208, mem=157M281
890.67/886.33 decisions=27874035, wrong=13930687, backtracks=7253730, failedAssignments=6965347, nogoods=1266, foundSolutions=4, bestBound=24
890.67/886.33
964.10/959.73 num=129, depth=14..22, filters=1807028577, ccks=33044, wck=956.602, mem=111M606
964.10/959.73 decisions=30660199, wrong=15323759, backtracks=7978950, failedAssignments=7661883, nogoods=1284, foundSolutions=4, bestBound=24
964.10/959.73
1056.44/1052.10 num=130, depth=14..22, filters=1979226743, ccks=33044, wck=1048.973, mem=76M844
1056.44/1052.10 decisions=33724980, wrong=16856139, backtracks=8777013, failedAssignments=8428073, nogoods=1303, foundSolutions=4, bestBound=24
1056.44/1052.10
1174.18/1169.79 num=131, depth=14..22, filters=2204547124, ccks=33044, wck=1166.663, mem=52M756
1174.18/1169.79 decisions=37096235, wrong=18541757, backtracks=9655837, failedAssignments=9270882, nogoods=1324, foundSolutions=4, bestBound=24
1174.18/1169.79
1278.31/1273.82 num=132, depth=14..22, filters=2401235831, ccks=33044, wck=1270.697, mem=38M547
1278.31/1273.82 decisions=40804615, wrong=20395937, backtracks=10622773, failedAssignments=10197972, nogoods=1345, foundSolutions=4, bestBound=24
1278.31/1273.82
1419.56/1415.02 num=133, depth=14..22, filters=2669115956, ccks=33044, wck=1411.899, mem=38M477
1419.56/1415.02 decisions=44883829, wrong=22435535, backtracks=11685631, failedAssignments=11217771, nogoods=1374, foundSolutions=4, bestBound=24
1419.56/1415.02
1564.48/1559.98 num=134, depth=14..22, filters=2937224582, ccks=33044, wck=1556.853, mem=49M745
1564.48/1559.98 decisions=49370966, wrong=24679093, backtracks=12855566, failedAssignments=12339550, nogoods=1396, foundSolutions=4, bestBound=24
1564.48/1559.98
1735.93/1731.30 num=135, depth=14..22, filters=3253369839, ccks=33044, wck=1728.177, mem=76M317
1735.93/1731.30 decisions=54306812, wrong=27147007, backtracks=14141484, failedAssignments=13573507, nogoods=1423, foundSolutions=4, bestBound=24
1735.93/1731.30
1889.77/1885.19 num=136, depth=14..22, filters=3550202208, ccks=33044, wck=1882.069, mem=117M556
1889.77/1885.19 decisions=59736245, wrong=29861713, backtracks=15559101, failedAssignments=14930860, nogoods=1451, foundSolutions=4, bestBound=24
1889.77/1885.19
2071.84/2067.17 num=137, depth=14..22, filters=3892331145, ccks=33044, wck=2064.047, mem=68M594
2071.84/2067.17 decisions=65708616, wrong=32847889, backtracks=17116339, failedAssignments=16423948, nogoods=1474, foundSolutions=4, bestBound=24
2071.84/2067.17
2288.18/2283.49 num=138, depth=14..22, filters=4280604269, ccks=33044, wck=2280.362, mem=42M772
2288.18/2283.49 decisions=72278224, wrong=36132683, backtracks=18830786, failedAssignments=18066345, nogoods=1491, foundSolutions=4, bestBound=24
2288.18/2283.49
2400.09/2395.30
2400.09/2395.30 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>
2400.09/2395.30 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 (15399 MiB free)
memory of node 1: 16384 MiB (15726 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391346-1568388839/watcher-4391346-1568388839 -o /tmp/evaluation-result-4391346-1568388839/solver-4391346-1568388839 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568388789-29049 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391346-1568388839.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread7.x86_64
,
Starting watchdog thread7.x86_64
,
29068, runsolver pid=29065
Current StackSize limit: 8192 KiB
[startup+0.100742 s]*
/proc/loadavg: 0.95 1.02 1.36 4/232 29107
/proc/meminfo: memFree=31841120/32770624 swapFree=67009268/67108860
[pid=29068] ppid=29065 vsize=10659884 memory=28624 CPUtime=0.13 cores=1,3,5,7
/proc/29068/stat : 29068 (java) S 29065 29068 26870 0 -1 1077944320 5678 0 0 0 12 1 0 0 20 0 15 0 414806576 10915721216 7156 33554432000 4194304 4196468 140727486173952 140727486156496 139684454457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
/proc/29068/statm: 2664971 7156 2901 1 0 2627468 0
[pid=29068/tid=29070] ppid=29065 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/29068/task/29070/stat : 29070 (java) R 29065 29068 26870 0 -1 4202560 3393 0 0 0 8 1 0 0 20 0 15 0 414806577 10915721216 7156 33554432000 4194304 4196468 140727486173952 139684458686472 139684090865368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29071] ppid=29065 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29071/stat : 29071 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 7156 33554432000 4194304 4196468 140727486173952 139684417563280 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29072] ppid=29065 vsize=10659884 memory=140520135247488 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29072/stat : 29072 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 7156 33554432000 4194304 4196468 140727486173952 139684060256784 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29073] ppid=29065 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29073/stat : 29073 (java) S 29065 29068 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 7156 33554432000 4194304 4196468 140727486173952 139684059203984 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29074] ppid=29065 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29074/stat : 29074 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 7156 33554432000 4194304 4196468 140727486173952 139684058151184 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29079] ppid=29065 vsize=10659884 memory=140520135247488 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29079/stat : 29079 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806579 10915721216 7156 33554432000 4194304 4196468 140727486173952 139683946294128 139684454468226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29082] ppid=29065 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29082/stat : 29082 (java) S 29065 29068 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414806579 10915721216 7156 33554432000 4194304 4196468 140727486173952 139683945240096 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29087] ppid=29065 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29087/stat : 29087 (java) S 29065 29068 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414806580 10915721216 7156 33554432000 4194304 4196468 140727486173952 139683944187248 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29094] ppid=29065 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29094/stat : 29094 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414806582 10915721216 7156 33554432000 4194304 4196468 140727486173952 139683943135568 139684454475675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29095] ppid=29065 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29095/stat : 29095 (java) S 29065 29068 26870 0 -1 1077944384 368 0 0 0 0 0 0 0 20 0 15 0 414806582 10915721216 7156 33554432000 4194304 4196468 140727486173952 139683942082928 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29096] ppid=29065 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29096/stat : 29096 (java) S 29065 29068 26870 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 15 0 414806582 10915721216 7156 33554432000 4194304 4196468 140727486173952 139683941030128 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29097] ppid=29065 vsize=10659884 memory=140520135247488 CPUtime=0.02 cores=1,3,5,7
/proc/29068/task/29097/stat : 29097 (java) R 29065 29068 26870 0 -1 4202560 380 0 0 0 2 0 0 0 20 0 15 0 414806582 10915721216 7156 33554432000 4194304 4196468 140727486173952 139683939974072 139684447562761 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29098] ppid=29065 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29098/stat : 29098 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414806582 10915721216 7156 33554432000 4194304 4196468 140727486173952 139683938924768 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29100] ppid=29065 vsize=10659884 memory=140520135247488 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29100/stat : 29100 (java) R 29065 29068 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414806582 10915721216 7156 33554432000 4194304 4196468 140727486173952 139683937873072 139684454468226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28624 KiB
[startup+0.21102 s]*
/proc/loadavg: 0.95 1.02 1.36 3/232 29107
/proc/meminfo: memFree=31821732/32770624 swapFree=67009268/67108860
[pid=29068] ppid=29065 vsize=10659884 memory=35576 CPUtime=0.33 cores=1,3,5,7
/proc/29068/stat : 29068 (java) S 29065 29068 26870 0 -1 1077944320 6977 0 0 0 31 2 0 0 20 0 15 0 414806576 10915721216 8894 33554432000 4194304 4196468 140727486173952 140727486156496 139684454457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
/proc/29068/statm: 2664971 8894 2990 1 0 2627468 0
[pid=29068/tid=29070] ppid=29065 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/29068/task/29070/stat : 29070 (java) R 29065 29068 26870 0 -1 4202560 3916 0 0 0 19 1 0 0 20 0 15 0 414806577 10915721216 8894 33554432000 4194304 4196468 140727486173952 139684458683440 139684454479005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29071] ppid=29065 vsize=10659884 memory=288293255295270935 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29071/stat : 29071 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 8894 33554432000 4194304 4196468 140727486173952 139684417563280 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29072] ppid=29065 vsize=10659884 memory=140520136996714 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29072/stat : 29072 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 8894 33554432000 4194304 4196468 140727486173952 139684060256784 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29073] ppid=29065 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29073/stat : 29073 (java) S 29065 29068 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 8894 33554432000 4194304 4196468 140727486173952 139684059203984 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29074] ppid=29065 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29074/stat : 29074 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 8894 33554432000 4194304 4196468 140727486173952 139684058151184 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29079] ppid=29065 vsize=10659884 memory=140520135247488 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29079/stat : 29079 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806579 10915721216 8894 33554432000 4194304 4196468 140727486173952 139683946294128 139684454468226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29082] ppid=29065 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29082/stat : 29082 (java) S 29065 29068 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414806579 10915721216 8894 33554432000 4194304 4196468 140727486173952 139683945240096 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29087] ppid=29065 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29087/stat : 29087 (java) S 29065 29068 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414806580 10915721216 8894 33554432000 4194304 4196468 140727486173952 139683944187248 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29094] ppid=29065 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29094/stat : 29094 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414806582 10915721216 8894 33554432000 4194304 4196468 140727486173952 139683943135568 139684454475675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29095] ppid=29065 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29068/task/29095/stat : 29095 (java) S 29065 29068 26870 0 -1 1077944384 638 0 0 0 3 0 0 0 20 0 15 0 414806582 10915721216 8894 33554432000 4194304 4196468 140727486173952 139683942082928 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29096] ppid=29065 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/29068/task/29096/stat : 29096 (java) S 29065 29068 26870 0 -1 1077944384 396 0 0 0 3 0 0 0 20 0 15 0 414806582 10915721216 8894 33554432000 4194304 4196468 140727486173952 139683941030128 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29097] ppid=29065 vsize=10659884 memory=140520135247488 CPUtime=0.05 cores=1,3,5,7
/proc/29068/task/29097/stat : 29097 (java) S 29065 29068 26870 0 -1 1077944384 667 0 0 0 5 0 0 0 20 0 15 0 414806582 10915721216 8894 33554432000 4194304 4196468 140727486173952 139683939977328 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29098] ppid=29065 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29098/stat : 29098 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414806582 10915721216 8894 33554432000 4194304 4196468 140727486173952 139683938924768 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29100] ppid=29065 vsize=10659884 memory=140520135247488 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29100/stat : 29100 (java) S 29065 29068 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414806582 10915721216 8894 33554432000 4194304 4196468 140727486173952 139683937873072 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35576 KiB
[startup+0.310274 s]*
/proc/loadavg: 0.95 1.02 1.36 5/232 29107
/proc/meminfo: memFree=31813924/32770624 swapFree=67009268/67108860
[pid=29068] ppid=29065 vsize=10659884 memory=40700 CPUtime=0.47 cores=1,3,5,7
/proc/29068/stat : 29068 (java) S 29065 29068 26870 0 -1 1077944320 9496 0 0 0 44 3 0 0 20 0 15 0 414806576 10915721216 10175 33554432000 4194304 4196468 140727486173952 140727486156496 139684454457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
/proc/29068/statm: 2664971 10175 3002 1 0 2627468 0
[pid=29068/tid=29070] ppid=29065 vsize=10659884 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/29068/task/29070/stat : 29070 (java) R 29065 29068 26870 0 -1 4202560 6375 0 0 0 27 3 0 0 20 0 15 0 414806577 10915721216 10175 33554432000 4194304 4196468 140727486173952 139684458677968 139684438537566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29071] ppid=29065 vsize=10659884 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29071/stat : 29071 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 10175 33554432000 4194304 4196468 140727486173952 139684417563280 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29072] ppid=29065 vsize=10659884 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29072/stat : 29072 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 10175 33554432000 4194304 4196468 140727486173952 139684060256784 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29073] ppid=29065 vsize=10659884 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29073/stat : 29073 (java) S 29065 29068 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 10175 33554432000 4194304 4196468 140727486173952 139684059203984 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29074] ppid=29065 vsize=10659884 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29074/stat : 29074 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10915721216 10175 33554432000 4194304 4196468 140727486173952 139684058151184 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29079] ppid=29065 vsize=10659884 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29079/stat : 29079 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806579 10915721216 10175 33554432000 4194304 4196468 140727486173952 139683946294128 139684454468226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29082] ppid=29065 vsize=10659884 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29082/stat : 29082 (java) S 29065 29068 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414806579 10915721216 10175 33554432000 4194304 4196468 140727486173952 139683945240096 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29087] ppid=29065 vsize=10659884 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29087/stat : 29087 (java) S 29065 29068 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414806580 10915721216 10175 33554432000 4194304 4196468 140727486173952 139683944187248 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29094] ppid=29065 vsize=10659884 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29094/stat : 29094 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414806582 10915721216 10175 33554432000 4194304 4196468 140727486173952 139683943135568 139684454475675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29095] ppid=29065 vsize=10659884 memory=-9001728533042062950 CPUtime=0.03 cores=1,3,5,7
/proc/29068/task/29095/stat : 29095 (java) S 29065 29068 26870 0 -1 1077944384 646 0 0 0 3 0 0 0 20 0 15 0 414806582 10915721216 10175 33554432000 4194304 4196468 140727486173952 139683942082928 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29096] ppid=29065 vsize=10659884 memory=-8813974798734826869 CPUtime=0.04 cores=1,3,5,7
/proc/29068/task/29096/stat : 29096 (java) S 29065 29068 26870 0 -1 1077944384 438 0 0 0 4 0 0 0 20 0 15 0 414806582 10915721216 10175 33554432000 4194304 4196468 140727486173952 139683941030128 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29097] ppid=29065 vsize=10659884 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/29068/task/29097/stat : 29097 (java) S 29065 29068 26870 0 -1 1077944384 690 0 0 0 8 0 0 0 20 0 15 0 414806582 10915721216 10175 33554432000 4194304 4196468 140727486173952 139683939977328 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29098] ppid=29065 vsize=10659884 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29098/stat : 29098 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414806582 10915721216 10175 33554432000 4194304 4196468 140727486173952 139683938924768 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29100] ppid=29065 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29100/stat : 29100 (java) S 29065 29068 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414806582 10915721216 10175 33554432000 4194304 4196468 140727486173952 139683937873072 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40700 KiB
[startup+0.700779 s]
/proc/loadavg: 0.95 1.02 1.36 3/232 29107
/proc/meminfo: memFree=31792668/32770624 swapFree=67009268/67108860
[pid=29068] ppid=29065 vsize=10661932 memory=63844 CPUtime=1.1 cores=1,3,5,7
/proc/29068/stat : 29068 (java) S 29065 29068 26870 0 -1 1077944320 13048 0 0 0 105 5 0 0 20 0 15 0 414806576 10917818368 15961 33554432000 4194304 4196468 140727486173952 140727486156496 139684454457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
/proc/29068/statm: 2665483 15961 3074 1 0 2627980 0
[pid=29068/tid=29070] ppid=29065 vsize=10661932 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/29068/task/29070/stat : 29070 (java) R 29065 29068 26870 0 -1 4202560 8928 0 0 0 64 4 0 0 20 0 15 0 414806577 10917818368 15961 33554432000 4194304 4196468 140727486173952 139684458680016 139684437643909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29071] ppid=29065 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29071/stat : 29071 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10917818368 15961 33554432000 4194304 4196468 140727486173952 139684417563280 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29072] ppid=29065 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29072/stat : 29072 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10917818368 15961 33554432000 4194304 4196468 140727486173952 139684060256784 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29073] ppid=29065 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29073/stat : 29073 (java) S 29065 29068 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414806577 10917818368 15961 33554432000 4194304 4196468 140727486173952 139684059203984 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29074] ppid=29065 vsize=10661932 memory=6558415062229 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29074/stat : 29074 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10917818368 15961 33554432000 4194304 4196468 140727486173952 139684058151184 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29079] ppid=29065 vsize=10661932 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29079/stat : 29079 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806579 10917818368 15961 33554432000 4194304 4196468 140727486173952 139683946294128 139684454468226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29082] ppid=29065 vsize=10661932 memory=13568193369213571 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29082/stat : 29082 (java) S 29065 29068 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414806579 10917818368 15961 33554432000 4194304 4196468 140727486173952 139683945240096 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29087] ppid=29065 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29087/stat : 29087 (java) S 29065 29068 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414806580 10917818368 15961 33554432000 4194304 4196468 140727486173952 139683944187248 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29094] ppid=29065 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29094/stat : 29094 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414806582 10917818368 15961 33554432000 4194304 4196468 140727486173952 139683943135568 139684454475675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29095] ppid=29065 vsize=10661932 memory=6656426216303648864 CPUtime=0.09 cores=1,3,5,7
/proc/29068/task/29095/stat : 29095 (java) S 29065 29068 26870 0 -1 1077944384 966 0 0 0 9 0 0 0 20 0 15 0 414806582 10917818368 15961 33554432000 4194304 4196468 140727486173952 139683942082928 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29096] ppid=29065 vsize=10661932 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29068/task/29096/stat : 29096 (java) R 29065 29068 26870 0 -1 4202560 676 0 0 0 12 0 0 0 20 0 15 0 414806582 10917818368 15961 33554432000 4194304 4196468 140727486173952 139683941030128 139684438363239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29097] ppid=29065 vsize=10661932 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/29068/task/29097/stat : 29097 (java) S 29065 29068 26870 0 -1 1077944384 1118 0 0 0 19 0 0 0 20 0 15 0 414806582 10917818368 15961 33554432000 4194304 4196468 140727486173952 139683939977328 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29098] ppid=29065 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29098/stat : 29098 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414806582 10917818368 15961 33554432000 4194304 4196468 140727486173952 139683938924768 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29100] ppid=29065 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29100/stat : 29100 (java) S 29065 29068 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414806582 10917818368 15961 33554432000 4194304 4196468 140727486173952 139683937873072 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63844 KiB
[startup+1.50075 s]
/proc/loadavg: 0.95 1.02 1.36 3/232 29107
/proc/meminfo: memFree=31760688/32770624 swapFree=67009268/67108860
[pid=29068] ppid=29065 vsize=10663980 memory=75776 CPUtime=2 cores=1,3,5,7
/proc/29068/stat : 29068 (java) S 29065 29068 26870 0 -1 1077944320 18597 0 0 0 194 6 0 0 20 0 15 0 414806576 10919915520 18944 33554432000 4194304 4196468 140727486173952 140727486156496 139684454457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
/proc/29068/statm: 2665995 18944 3097 1 0 2628492 0
[pid=29068/tid=29070] ppid=29065 vsize=10663980 memory=7679937539659563795 CPUtime=1.48 cores=1,3,5,7
/proc/29068/task/29070/stat : 29070 (java) R 29065 29068 26870 0 -1 4202560 13070 0 0 0 143 5 0 0 20 0 15 0 414806577 10919915520 18944 33554432000 4194304 4196468 140727486173952 139684458689104 139684438537566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29071] ppid=29065 vsize=10663980 memory=8243951626286884179 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29071/stat : 29071 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10919915520 18944 33554432000 4194304 4196468 140727486173952 139684417563280 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29072] ppid=29065 vsize=10663980 memory=7810763844726514514 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29072/stat : 29072 (java) S 29065 29068 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414806577 10919915520 18944 33554432000 4194304 4196468 140727486173952 139684060256784 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29073] ppid=29065 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29073/stat : 29073 (java) S 29065 29068 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414806577 10919915520 18944 33554432000 4194304 4196468 140727486173952 139684059203984 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29074] ppid=29065 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/29068/task/29074/stat : 29074 (java) S 29065 29068 26870 0 -1 1077944384 4721 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684058151184 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29079] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.05 cores=1,3,5,7
/proc/29068/task/29079/stat : 29079 (java) S 29065 29068 26870 0 -1 1077944384 4797 0 0 0 4 1 0 0 20 0 16 0 414806579 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683946294128 139684454468226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29082] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29082/stat : 29082 (java) S 29065 29068 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414806579 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683945240160 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29087] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29087/stat : 29087 (java) S 29065 29068 26870 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414806580 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683944187264 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29094] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29094/stat : 29094 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683943135568 139684454475675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29095] ppid=29065 vsize=10748324 memory=293168 CPUtime=1.5 cores=1,3,5,7
/proc/29068/task/29095/stat : 29095 (java) S 29065 29068 26870 0 -1 1077944384 3878 0 0 0 149 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683942082928 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29096] ppid=29065 vsize=10748324 memory=293168 CPUtime=1.6 cores=1,3,5,7
/proc/29068/task/29096/stat : 29096 (java) S 29065 29068 26870 0 -1 1077944384 4376 0 0 0 159 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683941030128 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29097] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.82 cores=1,3,5,7
/proc/29068/task/29097/stat : 29097 (java) S 29065 29068 26870 0 -1 1077944384 6731 0 0 0 81 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683939977328 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29098] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29098/stat : 29098 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683938924768 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29100] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.45 cores=1,3,5,7
/proc/29068/task/29100/stat : 29100 (java) S 29065 29068 26870 0 -1 1077944384 1311 0 0 0 18 27 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683937873072 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29108] ppid=29065 vsize=10748324 memory=293168 CPUtime=2319.96 cores=1,3,5,7
/proc/29068/task/29108/stat : 29108 (java) R 29065 29068 26870 0 -1 4202560 17598 0 0 0 231992 4 0 0 20 0 16 0 414806766 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683920912208 139684098847708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
Current children cumulated CPU time: 2327.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 293168 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/236 29507
/proc/meminfo: memFree=31181176/32770624 swapFree=67009300/67108860
[pid=29068] ppid=29065 vsize=10748324 memory=293168 CPUtime=2387.09 cores=1,3,5,7
/proc/29068/stat : 29068 (java) S 29065 29068 26870 0 -1 1077944320 65579 0 0 0 238664 45 0 0 20 0 16 0 414806576 11006283776 73292 33554432000 4194304 4196468 140727486173952 140727486156496 139684454457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
/proc/29068/statm: 2687081 73292 3383 1 0 2647217 0
[pid=29068/tid=29070] ppid=29065 vsize=10748324 memory=293168 CPUtime=1.87 cores=1,3,5,7
/proc/29068/task/29070/stat : 29070 (java) S 29065 29068 26870 0 -1 1077944384 15342 0 0 0 181 6 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684458699952 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29071] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29071/stat : 29071 (java) S 29065 29068 26870 0 -1 1077944384 2387 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684417563280 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29072] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29072/stat : 29072 (java) S 29065 29068 26870 0 -1 1077944384 1540 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684060256784 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29073] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29073/stat : 29073 (java) S 29065 29068 26870 0 -1 1077944384 1330 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684059203984 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29074] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29074/stat : 29074 (java) S 29065 29068 26870 0 -1 1077944384 4721 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684058151184 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29079] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.05 cores=1,3,5,7
/proc/29068/task/29079/stat : 29079 (java) S 29065 29068 26870 0 -1 1077944384 4804 0 0 0 4 1 0 0 20 0 16 0 414806579 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683946294128 139684454468226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29082] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29082/stat : 29082 (java) S 29065 29068 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414806579 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683945240160 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29087] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29087/stat : 29087 (java) S 29065 29068 26870 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414806580 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683944187264 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29094] ppid=29065 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29094/stat : 29094 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683943135568 139684454475675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29095] ppid=29065 vsize=10748324 memory=293168 CPUtime=1.5 cores=1,3,5,7
/proc/29068/task/29095/stat : 29095 (java) S 29065 29068 26870 0 -1 1077944384 3880 0 0 0 149 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683942082928 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29096] ppid=29065 vsize=10748324 memory=293168 CPUtime=1.6 cores=1,3,5,7
/proc/29068/task/29096/stat : 29096 (java) S 29065 29068 26870 0 -1 1077944384 4378 0 0 0 159 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683941030128 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29097] ppid=29065 vsize=10748324 memory=3484 CPUtime=0.82 cores=1,3,5,7
/proc/29068/task/29097/stat : 29097 (java) S 29065 29068 26870 0 -1 1077944384 6734 0 0 0 81 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683939977328 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29098] ppid=29065 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29098/stat : 29098 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683938924768 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29100] ppid=29065 vsize=10748324 memory=8500 CPUtime=0.45 cores=1,3,5,7
/proc/29068/task/29100/stat : 29100 (java) S 29065 29068 26870 0 -1 1077944384 1341 0 0 0 18 27 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683937873072 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29108] ppid=29065 vsize=10748324 memory=293168 CPUtime=2379.95 cores=1,3,5,7
/proc/29068/task/29108/stat : 29108 (java) R 29065 29068 26870 0 -1 4202560 17691 0 0 0 237991 4 0 0 20 0 16 0 414806766 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683920912208 139684099008547 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
Current children cumulated CPU time: 2387.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 293168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2395.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/235 29507
/proc/meminfo: memFree=31180812/32770624 swapFree=67009300/67108860
[pid=29068] ppid=29065 vsize=10748324 memory=293168 CPUtime=2400.09 cores=1,3,5,7
/proc/29068/stat : 29068 (java) S 29065 29068 26870 0 -1 1077944320 65658 0 0 0 239964 45 0 0 20 0 16 0 414806576 11006283776 73292 33554432000 4194304 4196468 140727486173952 140727486156496 139684454457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
/proc/29068/statm: 2687081 73292 3383 1 0 2647217 0
[pid=29068/tid=29070] ppid=29065 vsize=10748324 memory=0 CPUtime=1.87 cores=1,3,5,7
/proc/29068/task/29070/stat : 29070 (java) S 29065 29068 26870 0 -1 1077944384 15342 0 0 0 181 6 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684458699952 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29071] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29071/stat : 29071 (java) S 29065 29068 26870 0 -1 1077944384 2387 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684417563280 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29072] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29072/stat : 29072 (java) S 29065 29068 26870 0 -1 1077944384 1540 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684060256784 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29073] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29073/stat : 29073 (java) S 29065 29068 26870 0 -1 1077944384 1330 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684059203984 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29074] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29074/stat : 29074 (java) S 29065 29068 26870 0 -1 1077944384 4721 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684058151184 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29079] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.05 cores=1,3,5,7
/proc/29068/task/29079/stat : 29079 (java) S 29065 29068 26870 0 -1 1077944384 4811 0 0 0 4 1 0 0 20 0 16 0 414806579 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683946294128 139684454468226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29082] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29082/stat : 29082 (java) S 29065 29068 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414806579 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683945240160 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29087] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29087/stat : 29087 (java) S 29065 29068 26870 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414806580 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683944187264 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29094] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29094/stat : 29094 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683943135568 139684454475675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29095] ppid=29065 vsize=10748324 memory=7682475212697334586 CPUtime=1.5 cores=1,3,5,7
/proc/29068/task/29095/stat : 29095 (java) S 29065 29068 26870 0 -1 1077944384 3882 0 0 0 149 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683942082928 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29096] ppid=29065 vsize=10748324 memory=293168 CPUtime=1.6 cores=1,3,5,7
/proc/29068/task/29096/stat : 29096 (java) S 29065 29068 26870 0 -1 1077944384 4380 0 0 0 159 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683941030128 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29097] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.82 cores=1,3,5,7
/proc/29068/task/29097/stat : 29097 (java) S 29065 29068 26870 0 -1 1077944384 6737 0 0 0 81 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683939977328 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29098] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29098/stat : 29098 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683938924768 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29100] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.46 cores=1,3,5,7
/proc/29068/task/29100/stat : 29100 (java) S 29065 29068 26870 0 -1 1077944384 1368 0 0 0 18 28 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683937873072 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29108] ppid=29065 vsize=10748324 memory=293168 CPUtime=2392.95 cores=1,3,5,7
/proc/29068/task/29108/stat : 29108 (java) R 29065 29068 26870 0 -1 4202560 17729 0 0 0 239291 4 0 0 20 0 16 0 414806766 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683920912208 139684098847866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 293168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2395.31 s]
# the end of solver process 29068 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.66 s, system=0.46002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2395.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/235 29507
/proc/meminfo: memFree=31180812/32770624 swapFree=67009300/67108860
[pid=29068] ppid=29065 vsize=10748324 memory=293168 CPUtime=2400.09 cores=1,3,5,7
/proc/29068/stat : 29068 (java) S 29065 29068 26870 0 -1 1077944320 65658 0 0 0 239964 45 0 0 20 0 16 0 414806576 11006283776 73292 33554432000 4194304 4196468 140727486173952 140727486156496 139684454457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
/proc/29068/statm: 2687081 73292 3383 1 0 2647217 0
[pid=29068/tid=29070] ppid=29065 vsize=10748324 memory=0 CPUtime=1.87 cores=1,3,5,7
/proc/29068/task/29070/stat : 29070 (java) S 29065 29068 26870 0 -1 1077944384 15342 0 0 0 181 6 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684458699952 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29071] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29071/stat : 29071 (java) S 29065 29068 26870 0 -1 1077944384 2387 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684417563280 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29072] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29072/stat : 29072 (java) S 29065 29068 26870 0 -1 1077944384 1540 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684060256784 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29073] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29073/stat : 29073 (java) S 29065 29068 26870 0 -1 1077944384 1330 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684059203984 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29074] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.18 cores=1,3,5,7
/proc/29068/task/29074/stat : 29074 (java) S 29065 29068 26870 0 -1 1077944384 4721 0 0 0 16 2 0 0 20 0 16 0 414806577 11006283776 73292 33554432000 4194304 4196468 140727486173952 139684058151184 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29079] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.05 cores=1,3,5,7
/proc/29068/task/29079/stat : 29079 (java) S 29065 29068 26870 0 -1 1077944384 4811 0 0 0 4 1 0 0 20 0 16 0 414806579 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683946294128 139684454468226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29082] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29082/stat : 29082 (java) S 29065 29068 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414806579 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683945240160 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29087] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29087/stat : 29087 (java) S 29065 29068 26870 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414806580 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683944187264 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29094] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29094/stat : 29094 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683943135568 139684454475675 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29095] ppid=29065 vsize=10748324 memory=7682475212697334586 CPUtime=1.5 cores=1,3,5,7
/proc/29068/task/29095/stat : 29095 (java) S 29065 29068 26870 0 -1 1077944384 3882 0 0 0 149 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683942082928 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29096] ppid=29065 vsize=10748324 memory=293168 CPUtime=1.6 cores=1,3,5,7
/proc/29068/task/29096/stat : 29096 (java) S 29065 29068 26870 0 -1 1077944384 4380 0 0 0 159 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683941030128 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29097] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.82 cores=1,3,5,7
/proc/29068/task/29097/stat : 29097 (java) S 29065 29068 26870 0 -1 1077944384 6737 0 0 0 81 1 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683939977328 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29098] ppid=29065 vsize=10748324 memory=293168 CPUtime=0 cores=1,3,5,7
/proc/29068/task/29098/stat : 29098 (java) S 29065 29068 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683938924768 139684454467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29100] ppid=29065 vsize=10748324 memory=293168 CPUtime=0.46 cores=1,3,5,7
/proc/29068/task/29100/stat : 29100 (java) S 29065 29068 26870 0 -1 1077944384 1368 0 0 0 18 28 0 0 20 0 16 0 414806582 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683937873072 139684454468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
[pid=29068/tid=29108] ppid=29065 vsize=10748324 memory=293168 CPUtime=2392.95 cores=1,3,5,7
/proc/29068/task/29108/stat : 29108 (java) R 29065 29068 26870 0 -1 4202560 17729 0 0 0 239291 4 0 0 20 0 16 0 414806766 11006283776 73292 33554432000 4194304 4196468 140727486173952 139683920912208 139684098847866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7249920 140727486182411 140727486182514 140727486182514 140727486185423 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 293168 KiB
Child status: 143
Real time (s): 2395.31
CPU time (s): 2400.12
CPU user time (s): 2399.66
CPU system time (s): 0.46002
CPU usage (%): 100.201
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 299816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.66
system time used= 0.46002
maximum resident set size= 302032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55208
involuntary context switches= 2132
# summary of solver processes directly reported to runsolver:
# pid: 29068
# total CPU time (s): 2400.12
# total CPU user time (s): 2399.66
# total CPU system time (s): 0.46002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5953 second user time and 19.55 second system time
The end