2.58/1.91
2.58/1.91 AbsCon 2
2.58/1.93
2.85/2.06 Instance
2.85/2.06 name=instance-4391273-1568388883, framework=COP, bounds=-infty..+infty
2.85/2.06
2.85/2.06 Loading variables...
2.85/2.09 Loading constraints...
3.07/2.19
3.07/2.19 Domains
3.07/2.19 nTypes=1, nValues=6241, sizes=[79#79]
3.07/2.19 Variables
3.07/2.19 count=79, degrees=[4#13,5#65,14#1]
3.07/2.19 Objectives
3.07/2.19 way=min, type=ObjMaximumLE
3.07/2.19 Constraints
3.07/2.19 count=157, nSpecific=157, arities=[2#156,79#1]
3.07/2.19 distribution=[NE#156,ObjMaximumLE#1]
3.07/2.19 wck=0.306, cpu=2.149, mem=23M870
3.07/2.19 Solver SolverBacktrack being built...
3.07/2.19
3.32/2.21
3.32/2.21 Solver
3.32/2.21 guaranteedGAC=true
3.32/2.21 wck=0.333, cpu=2.174, mem=34M512
3.32/2.22
3.32/2.22 Preprocessing
3.32/2.22 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.32/2.22 wck=0.001, cpu=2.176, mem=34M512
3.32/2.22
3.32/2.22 o 3
3.32/2.23 num=0, depth=80..78, filters=96, ccks=157, wck=0.014, mem=34M512
3.32/2.23 decisions=79, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=3
3.32/2.23
3.32/2.23 num=1, depth=31..38, filters=476, ccks=157, wck=0.02, mem=34M512
3.32/2.23 decisions=152, wrong=20, backtracks=11, failedAssignments=11, nogoods=4, foundSolutions=1, bestBound=3
3.32/2.23
3.32/2.24 num=2, depth=14..23, filters=790, ccks=157, wck=0.022, mem=34M512
3.32/2.24 decisions=204, wrong=39, backtracks=22, failedAssignments=22, nogoods=5, foundSolutions=1, bestBound=3
3.32/2.24
3.32/2.24 num=3, depth=14..28, filters=1423, ccks=157, wck=0.024, mem=34M512
3.32/2.24 decisions=272, wrong=62, backtracks=38, failedAssignments=34, nogoods=7, foundSolutions=1, bestBound=3
3.32/2.24
3.32/2.24 num=4, depth=19..24, filters=1826, ccks=157, wck=0.026, mem=34M512
3.32/2.24 decisions=343, wrong=86, backtracks=56, failedAssignments=47, nogoods=12, foundSolutions=1, bestBound=3
3.32/2.24
3.32/2.24 num=5, depth=14..23, filters=2281, ccks=157, wck=0.027, mem=34M512
3.32/2.24 decisions=411, wrong=111, backtracks=72, failedAssignments=61, nogoods=15, foundSolutions=1, bestBound=3
3.32/2.24
3.32/2.24 num=6, depth=11..24, filters=2821, ccks=157, wck=0.029, mem=34M512
3.32/2.24 decisions=489, wrong=141, backtracks=93, failedAssignments=77, nogoods=19, foundSolutions=1, bestBound=3
3.32/2.24
3.32/2.25 num=7, depth=17..24, filters=3340, ccks=157, wck=0.031, mem=34M512
3.32/2.25 decisions=576, wrong=174, backtracks=111, failedAssignments=94, nogoods=22, foundSolutions=1, bestBound=3
3.32/2.25
3.32/2.25 num=8, depth=14..28, filters=3978, ccks=157, wck=0.033, mem=34M512
3.32/2.25 decisions=662, wrong=207, backtracks=130, failedAssignments=113, nogoods=26, foundSolutions=1, bestBound=3
3.32/2.25
3.32/2.26 num=9, depth=14..21, filters=5200, ccks=157, wck=0.035, mem=34M512
3.32/2.26 decisions=757, wrong=246, backtracks=153, failedAssignments=134, nogoods=29, foundSolutions=1, bestBound=3
3.32/2.26
3.32/2.26 num=10, depth=15..22, filters=6069, ccks=157, wck=0.037, mem=34M512
3.32/2.26 decisions=857, wrong=288, backtracks=185, failedAssignments=157, nogoods=33, foundSolutions=1, bestBound=3
3.32/2.26
3.32/2.26 num=11, depth=10..23, filters=6790, ccks=157, wck=0.039, mem=34M512
3.32/2.26 decisions=961, wrong=333, backtracks=218, failedAssignments=182, nogoods=36, foundSolutions=1, bestBound=3
3.32/2.26
3.32/2.26 num=12, depth=13..20, filters=7989, ccks=157, wck=0.041, mem=34M512
3.32/2.26 decisions=1080, wrong=385, backtracks=253, failedAssignments=210, nogoods=40, foundSolutions=1, bestBound=3
3.32/2.26
3.32/2.26 num=13, depth=13..25, filters=8919, ccks=157, wck=0.043, mem=34M512
3.32/2.26 decisions=1211, wrong=443, backtracks=290, failedAssignments=241, nogoods=46, foundSolutions=1, bestBound=3
3.32/2.26
3.32/2.26 num=14, depth=15..23, filters=10157, ccks=157, wck=0.045, mem=34M512
3.32/2.26 decisions=1356, wrong=507, backtracks=334, failedAssignments=275, nogoods=52, foundSolutions=1, bestBound=3
3.32/2.26
3.32/2.26 num=15, depth=10..20, filters=11630, ccks=157, wck=0.047, mem=34M512
3.32/2.26 decisions=1514, wrong=581, backtracks=381, failedAssignments=312, nogoods=57, foundSolutions=1, bestBound=3
3.32/2.26
3.32/2.26 num=16, depth=18..27, filters=12650, ccks=157, wck=0.049, mem=34M512
3.32/2.26 decisions=1686, wrong=657, backtracks=431, failedAssignments=353, nogoods=60, foundSolutions=1, bestBound=3
3.32/2.26
3.32/2.28 num=17, depth=12..23, filters=14255, ccks=157, wck=0.051, mem=34M512
3.32/2.28 decisions=1878, wrong=746, backtracks=489, failedAssignments=398, nogoods=66, foundSolutions=1, bestBound=3
3.32/2.28
3.32/2.28 num=18, depth=15..24, filters=15817, ccks=157, wck=0.065, mem=34M512
3.32/2.28 decisions=2068, wrong=833, backtracks=548, failedAssignments=448, nogoods=71, foundSolutions=1, bestBound=3
3.32/2.28
3.32/2.28 num=19, depth=14..23, filters=18070, ccks=157, wck=0.067, mem=34M512
3.32/2.28 decisions=2289, wrong=936, backtracks=621, failedAssignments=503, nogoods=75, foundSolutions=1, bestBound=3
3.32/2.28
3.32/2.28 num=20, depth=14..28, filters=20930, ccks=157, wck=0.07, mem=34M512
3.32/2.28 decisions=2537, wrong=1050, backtracks=691, failedAssignments=564, nogoods=79, foundSolutions=1, bestBound=3
3.32/2.28
3.32/2.29 num=21, depth=10..22, filters=23299, ccks=157, wck=0.073, mem=34M512
3.32/2.29 decisions=2780, wrong=1165, backtracks=756, failedAssignments=631, nogoods=85, foundSolutions=1, bestBound=3
3.32/2.29
3.32/2.29 num=22, depth=14..27, filters=25327, ccks=157, wck=0.075, mem=34M512
3.32/2.29 decisions=3046, wrong=1291, backtracks=821, failedAssignments=705, nogoods=88, foundSolutions=1, bestBound=3
3.32/2.29
3.32/2.29 num=23, depth=16..25, filters=28078, ccks=157, wck=0.077, mem=34M512
3.32/2.29 decisions=3347, wrong=1432, backtracks=912, failedAssignments=786, nogoods=94, foundSolutions=1, bestBound=3
3.32/2.29
3.32/2.29 num=24, depth=16..25, filters=30846, ccks=157, wck=0.079, mem=34M512
3.32/2.29 decisions=3695, wrong=1596, backtracks=1022, failedAssignments=875, nogoods=98, foundSolutions=1, bestBound=3
3.32/2.29
3.32/2.30 num=25, depth=16..25, filters=34231, ccks=157, wck=0.081, mem=34M512
3.32/2.30 decisions=4117, wrong=1798, backtracks=1163, failedAssignments=973, nogoods=100, foundSolutions=1, bestBound=3
3.32/2.30
3.64/2.30 num=26, depth=18..27, filters=37296, ccks=157, wck=0.083, mem=34M512
3.64/2.30 decisions=4502, wrong=1981, backtracks=1285, failedAssignments=1081, nogoods=107, foundSolutions=1, bestBound=3
3.64/2.30
3.64/2.30 num=27, depth=21..29, filters=40975, ccks=157, wck=0.085, mem=34M512
3.64/2.30 decisions=4988, wrong=2212, backtracks=1443, failedAssignments=1200, nogoods=112, foundSolutions=1, bestBound=3
3.64/2.30
3.64/2.30 num=28, depth=9..28, filters=46064, ccks=157, wck=0.088, mem=34M512
3.64/2.30 decisions=5486, wrong=2451, backtracks=1602, failedAssignments=1331, nogoods=117, foundSolutions=1, bestBound=3
3.64/2.30
3.64/2.30 num=29, depth=15..24, filters=50298, ccks=157, wck=0.09, mem=34M512
3.64/2.30 decisions=6024, wrong=2711, backtracks=1773, failedAssignments=1475, nogoods=124, foundSolutions=1, bestBound=3
3.64/2.30
3.64/2.31 num=30, depth=17..29, filters=55160, ccks=157, wck=0.093, mem=34M512
3.64/2.31 decisions=6648, wrong=3011, backtracks=1990, failedAssignments=1633, nogoods=128, foundSolutions=1, bestBound=3
3.64/2.31
3.64/2.31 num=31, depth=22..34, filters=60314, ccks=157, wck=0.096, mem=34M512
3.64/2.31 decisions=7370, wrong=3360, backtracks=2222, failedAssignments=1807, nogoods=133, foundSolutions=1, bestBound=3
3.64/2.31
3.64/2.31 num=32, depth=12..24, filters=65606, ccks=157, wck=0.099, mem=34M512
3.64/2.31 decisions=8074, wrong=3705, backtracks=2464, failedAssignments=1998, nogoods=136, foundSolutions=1, bestBound=3
3.64/2.31
3.64/2.32 num=33, depth=13..27, filters=71706, ccks=157, wck=0.102, mem=34M512
3.64/2.32 decisions=8822, wrong=4071, backtracks=2696, failedAssignments=2209, nogoods=144, foundSolutions=1, bestBound=3
3.64/2.32
3.64/2.32 num=34, depth=15..27, filters=80421, ccks=157, wck=0.107, mem=34M512
3.64/2.32 decisions=9681, wrong=4491, backtracks=2978, failedAssignments=2441, nogoods=149, foundSolutions=1, bestBound=3
3.64/2.32
3.64/2.33 num=35, depth=15..27, filters=89681, ccks=157, wck=0.111, mem=34M512
3.64/2.33 decisions=10685, wrong=4983, backtracks=3308, failedAssignments=2696, nogoods=156, foundSolutions=1, bestBound=3
3.64/2.33
3.64/2.33 num=36, depth=18..32, filters=98791, ccks=157, wck=0.116, mem=37M154
3.64/2.33 decisions=11751, wrong=5507, backtracks=3658, failedAssignments=2977, nogoods=162, foundSolutions=1, bestBound=3
3.64/2.33
3.64/2.33 num=37, depth=12..25, filters=106897, ccks=157, wck=0.12, mem=37M154
3.64/2.33 decisions=12900, wrong=6073, backtracks=4027, failedAssignments=3286, nogoods=170, foundSolutions=1, bestBound=3
3.64/2.33
3.64/2.34 num=38, depth=10..26, filters=117606, ccks=157, wck=0.126, mem=37M154
3.64/2.34 decisions=14153, wrong=6693, backtracks=4459, failedAssignments=3626, nogoods=174, foundSolutions=1, bestBound=3
3.64/2.34
3.64/2.35 num=39, depth=13..28, filters=129511, ccks=157, wck=0.131, mem=37M154
3.64/2.35 decisions=15586, wrong=7401, backtracks=4923, failedAssignments=4000, nogoods=176, foundSolutions=1, bestBound=3
3.64/2.35
3.64/2.35 num=40, depth=16..29, filters=143043, ccks=157, wck=0.136, mem=37M154
3.64/2.35 decisions=17075, wrong=8137, backtracks=5426, failedAssignments=4411, nogoods=179, foundSolutions=1, bestBound=3
3.64/2.35
3.64/2.36 num=41, depth=10..27, filters=156332, ccks=157, wck=0.142, mem=37M154
3.64/2.36 decisions=18639, wrong=8911, backtracks=5910, failedAssignments=4863, nogoods=187, foundSolutions=1, bestBound=3
3.64/2.36
3.64/2.36 num=42, depth=19..36, filters=176297, ccks=157, wck=0.149, mem=37M154
3.64/2.36 decisions=20499, wrong=9831, backtracks=6492, failedAssignments=5360, nogoods=193, foundSolutions=1, bestBound=3
3.64/2.36
3.64/2.37 num=43, depth=9..24, filters=191475, ccks=157, wck=0.155, mem=37M154
3.64/2.37 decisions=22486, wrong=10819, backtracks=7151, failedAssignments=5907, nogoods=205, foundSolutions=1, bestBound=3
3.64/2.37
3.64/2.38 num=44, depth=9..26, filters=209126, ccks=157, wck=0.162, mem=37M154
3.64/2.38 decisions=24770, wrong=11951, backtracks=7915, failedAssignments=6509, nogoods=211, foundSolutions=1, bestBound=3
3.64/2.38
3.64/2.38 num=45, depth=12..30, filters=233429, ccks=157, wck=0.17, mem=37M154
3.64/2.38 decisions=27191, wrong=13154, backtracks=8705, failedAssignments=7171, nogoods=218, foundSolutions=1, bestBound=3
3.64/2.38
3.64/2.39 num=46, depth=13..27, filters=252884, ccks=157, wck=0.178, mem=37M154
3.64/2.39 decisions=29705, wrong=14403, backtracks=9511, failedAssignments=7899, nogoods=226, foundSolutions=1, bestBound=3
3.64/2.39
3.64/2.40 num=47, depth=18..33, filters=276438, ccks=157, wck=0.186, mem=37M154
3.64/2.40 decisions=32681, wrong=15879, backtracks=10468, failedAssignments=8700, nogoods=231, foundSolutions=1, bestBound=3
3.64/2.40
3.97/2.41 num=48, depth=13..28, filters=299314, ccks=157, wck=0.194, mem=37M154
3.97/2.41 decisions=35967, wrong=17514, backtracks=11577, failedAssignments=9581, nogoods=236, foundSolutions=1, bestBound=3
3.97/2.41
3.97/2.42 num=49, depth=17..34, filters=330792, ccks=157, wck=0.204, mem=37M154
3.97/2.42 decisions=39628, wrong=19334, backtracks=12867, failedAssignments=10551, nogoods=243, foundSolutions=1, bestBound=3
3.97/2.42
3.97/2.43 num=50, depth=15..30, filters=364152, ccks=157, wck=0.214, mem=37M154
3.97/2.43 decisions=43432, wrong=21228, backtracks=14125, failedAssignments=11618, nogoods=249, foundSolutions=1, bestBound=3
3.97/2.43
3.97/2.44 num=51, depth=17..34, filters=399900, ccks=157, wck=0.226, mem=37M154
3.97/2.44 decisions=47773, wrong=23388, backtracks=15576, failedAssignments=12791, nogoods=259, foundSolutions=1, bestBound=3
3.97/2.44
3.97/2.45 num=52, depth=14..29, filters=439731, ccks=157, wck=0.239, mem=37M154
3.97/2.45 decisions=52593, wrong=25790, backtracks=17166, failedAssignments=14082, nogoods=267, foundSolutions=1, bestBound=3
3.97/2.45
3.97/2.47 num=53, depth=11..31, filters=488374, ccks=157, wck=0.253, mem=37M154
3.97/2.47 decisions=57815, wrong=28392, backtracks=18948, failedAssignments=15502, nogoods=274, foundSolutions=1, bestBound=3
3.97/2.47
3.97/2.48 num=54, depth=18..34, filters=549900, ccks=157, wck=0.27, mem=37M154
3.97/2.48 decisions=63792, wrong=31370, backtracks=20910, failedAssignments=17064, nogoods=284, foundSolutions=1, bestBound=3
3.97/2.48
4.23/2.50 num=55, depth=12..30, filters=609611, ccks=157, wck=0.286, mem=37M154
4.23/2.50 decisions=69929, wrong=34430, backtracks=22906, failedAssignments=18782, nogoods=290, foundSolutions=1, bestBound=3
4.23/2.50
4.23/2.52 num=56, depth=16..33, filters=681036, ccks=157, wck=0.306, mem=37M154
4.23/2.52 decisions=77062, wrong=37985, backtracks=25290, failedAssignments=20672, nogoods=295, foundSolutions=1, bestBound=3
4.23/2.52
4.23/2.54 num=57, depth=11..28, filters=749061, ccks=157, wck=0.325, mem=37M154
4.23/2.54 decisions=84822, wrong=41857, backtracks=27955, failedAssignments=22751, nogoods=299, foundSolutions=1, bestBound=3
4.23/2.54
4.23/2.56 num=58, depth=10..28, filters=819445, ccks=157, wck=0.345, mem=37M154
4.23/2.56 decisions=93190, wrong=46033, backtracks=30762, failedAssignments=25038, nogoods=307, foundSolutions=1, bestBound=3
4.23/2.56
4.23/2.59 num=59, depth=17..33, filters=898328, ccks=157, wck=0.371, mem=37M154
4.23/2.59 decisions=102525, wrong=50690, backtracks=33899, failedAssignments=27554, nogoods=313, foundSolutions=1, bestBound=3
4.23/2.59
4.38/2.62 num=60, depth=11..29, filters=987611, ccks=157, wck=0.404, mem=37M154
4.38/2.62 decisions=112850, wrong=55841, backtracks=37251, failedAssignments=30322, nogoods=319, foundSolutions=1, bestBound=3
4.38/2.62
4.38/2.65 num=61, depth=15..32, filters=1076317, ccks=157, wck=0.434, mem=39M797
4.38/2.65 decisions=124119, wrong=61464, backtracks=41106, failedAssignments=33366, nogoods=326, foundSolutions=1, bestBound=3
4.38/2.65
4.38/2.68 num=62, depth=12..31, filters=1181643, ccks=157, wck=0.469, mem=39M797
4.38/2.68 decisions=136532, wrong=67662, backtracks=45128, failedAssignments=36715, nogoods=336, foundSolutions=1, bestBound=3
4.38/2.68
4.50/2.72 num=63, depth=14..32, filters=1302226, ccks=157, wck=0.509, mem=39M797
4.50/2.72 decisions=150257, wrong=74513, backtracks=49782, failedAssignments=40399, nogoods=344, foundSolutions=1, bestBound=3
4.50/2.72
4.50/2.77 num=64, depth=14..30, filters=1451769, ccks=157, wck=0.557, mem=39M797
4.50/2.77 decisions=165126, wrong=81937, backtracks=54541, failedAssignments=44451, nogoods=351, foundSolutions=1, bestBound=3
4.50/2.77
4.61/2.82 num=65, depth=10..29, filters=1582920, ccks=157, wck=0.602, mem=39M797
4.61/2.82 decisions=181061, wrong=89895, backtracks=59612, failedAssignments=48908, nogoods=358, foundSolutions=1, bestBound=3
4.61/2.82
4.61/2.87 num=66, depth=10..31, filters=1757474, ccks=157, wck=0.658, mem=39M797
4.61/2.87 decisions=198800, wrong=98757, backtracks=65451, failedAssignments=53811, nogoods=366, foundSolutions=1, bestBound=3
4.61/2.87
4.72/2.93 num=67, depth=9..31, filters=1937190, ccks=157, wck=0.716, mem=39M797
4.72/2.93 decisions=218509, wrong=108606, backtracks=72004, failedAssignments=59205, nogoods=375, foundSolutions=1, bestBound=3
4.72/2.93
4.72/2.99 num=68, depth=9..28, filters=2124844, ccks=157, wck=0.779, mem=39M797
4.72/2.99 decisions=240103, wrong=119396, backtracks=79074, failedAssignments=65138, nogoods=382, foundSolutions=1, bestBound=3
4.72/2.99
4.84/3.06 num=69, depth=11..30, filters=2337518, ccks=157, wck=0.847, mem=39M797
4.84/3.06 decisions=263384, wrong=131028, backtracks=86862, failedAssignments=71664, nogoods=396, foundSolutions=1, bestBound=3
4.84/3.06
4.94/3.14 num=70, depth=13..31, filters=2557546, ccks=157, wck=0.922, mem=42M439
4.94/3.14 decisions=289843, wrong=144246, backtracks=95650, failedAssignments=78843, nogoods=403, foundSolutions=1, bestBound=3
4.94/3.14
5.03/3.22 num=71, depth=17..36, filters=2815007, ccks=157, wck=1.01, mem=42M439
5.03/3.22 decisions=318749, wrong=158687, backtracks=105499, failedAssignments=86740, nogoods=415, foundSolutions=1, bestBound=3
5.03/3.22
5.14/3.32 num=72, depth=12..32, filters=3093924, ccks=157, wck=1.107, mem=42M439
5.14/3.32 decisions=350917, wrong=174763, backtracks=116088, failedAssignments=95427, nogoods=427, foundSolutions=1, bestBound=3
5.14/3.32
5.24/3.42 num=73, depth=11..31, filters=3405604, ccks=157, wck=1.21, mem=42M439
5.24/3.42 decisions=386351, wrong=192472, backtracks=127745, failedAssignments=104982, nogoods=437, foundSolutions=1, bestBound=3
5.24/3.42
5.34/3.54 num=74, depth=15..38, filters=3730702, ccks=157, wck=1.324, mem=42M439
5.34/3.54 decisions=424609, wrong=211591, backtracks=140547, failedAssignments=115493, nogoods=448, foundSolutions=1, bestBound=3
5.34/3.54
5.44/3.66 num=75, depth=16..36, filters=4099417, ccks=157, wck=1.446, mem=45M82
5.44/3.66 decisions=466978, wrong=232764, backtracks=154476, failedAssignments=127055, nogoods=462, foundSolutions=1, bestBound=3
5.44/3.66
5.64/3.81 num=76, depth=13..35, filters=4498973, ccks=157, wck=1.593, mem=45M82
5.64/3.81 decisions=514070, wrong=256300, backtracks=169948, failedAssignments=139773, nogoods=474, foundSolutions=1, bestBound=3
5.64/3.81
5.74/3.95 num=77, depth=8..34, filters=4936618, ccks=157, wck=1.738, mem=45M82
5.74/3.95 decisions=563567, wrong=281043, backtracks=185905, failedAssignments=153763, nogoods=483, foundSolutions=1, bestBound=3
5.74/3.95
5.95/4.12 num=78, depth=13..33, filters=5447358, ccks=157, wck=1.907, mem=45M82
5.95/4.12 decisions=620118, wrong=309305, backtracks=204545, failedAssignments=169152, nogoods=490, foundSolutions=1, bestBound=3
5.95/4.12
6.14/4.31 num=79, depth=10..33, filters=6003600, ccks=157, wck=2.093, mem=47M724
6.14/4.31 decisions=682323, wrong=340400, backtracks=224871, failedAssignments=186080, nogoods=499, foundSolutions=1, bestBound=3
6.14/4.31
6.34/4.51 num=80, depth=15..36, filters=6577060, ccks=157, wck=2.293, mem=47M724
6.34/4.51 decisions=750638, wrong=374548, backtracks=247338, failedAssignments=204701, nogoods=504, foundSolutions=1, bestBound=3
6.34/4.51
6.54/4.72 num=81, depth=11..33, filters=7206363, ccks=157, wck=2.51, mem=50M367
6.54/4.72 decisions=824513, wrong=411477, backtracks=271295, failedAssignments=225185, nogoods=514, foundSolutions=1, bestBound=3
6.54/4.72
6.74/4.98 num=82, depth=13..34, filters=7894565, ccks=157, wck=2.769, mem=50M367
6.74/4.98 decisions=908251, wrong=453338, backtracks=298694, failedAssignments=247717, nogoods=522, foundSolutions=1, bestBound=3
6.74/4.98
7.04/5.25 num=83, depth=11..33, filters=8695556, ccks=157, wck=3.033, mem=50M367
7.04/5.25 decisions=996747, wrong=497577, backtracks=328102, failedAssignments=272502, nogoods=530, foundSolutions=1, bestBound=3
7.04/5.25
7.34/5.54 num=84, depth=13..33, filters=9591339, ccks=157, wck=3.33, mem=53M9
7.34/5.54 decisions=1097969, wrong=548179, backtracks=362093, failedAssignments=299766, nogoods=541, foundSolutions=1, bestBound=3
7.34/5.54
7.66/5.85 num=85, depth=13..36, filters=10458338, ccks=157, wck=3.633, mem=55M651
7.66/5.85 decisions=1206596, wrong=602481, backtracks=397123, failedAssignments=329756, nogoods=548, foundSolutions=1, bestBound=3
7.66/5.85
8.06/6.24 num=86, depth=9..34, filters=11571492, ccks=157, wck=4.023, mem=55M651
8.06/6.24 decisions=1326924, wrong=662636, backtracks=437188, failedAssignments=362745, nogoods=558, foundSolutions=1, bestBound=3
8.06/6.24
8.46/6.63 num=87, depth=12..36, filters=12668914, ccks=157, wck=4.417, mem=58M294
8.46/6.63 decisions=1459647, wrong=728988, backtracks=481091, failedAssignments=399033, nogoods=566, foundSolutions=1, bestBound=3
8.46/6.63
8.87/7.05 num=88, depth=6..30, filters=13861884, ccks=157, wck=4.837, mem=60M936
8.87/7.05 decisions=1606168, wrong=802243, backtracks=529285, failedAssignments=438950, nogoods=581, foundSolutions=1, bestBound=3
8.87/7.05
9.36/7.57 num=89, depth=11..34, filters=15247583, ccks=157, wck=5.358, mem=63M579
9.36/7.57 decisions=1770363, wrong=884329, backtracks=584870, failedAssignments=482859, nogoods=590, foundSolutions=1, bestBound=3
9.36/7.57
9.97/8.14 num=90, depth=11..33, filters=16919906, ccks=157, wck=5.929, mem=66M221
9.97/8.14 decisions=1949845, wrong=974061, backtracks=646476, failedAssignments=531159, nogoods=603, foundSolutions=1, bestBound=3
9.97/8.14
10.56/8.76 num=91, depth=11..34, filters=18646482, ccks=157, wck=6.548, mem=68M864
10.56/8.76 decisions=2146238, wrong=1072251, backtracks=712414, failedAssignments=584289, nogoods=614, foundSolutions=1, bestBound=3
10.56/8.76
11.26/9.42 num=92, depth=10..32, filters=20499590, ccks=157, wck=7.201, mem=71M506
11.26/9.42 decisions=2358829, wrong=1178538, backtracks=782336, failedAssignments=642732, nogoods=626, foundSolutions=1, bestBound=3
11.26/9.42
11.97/10.14 num=93, depth=11..35, filters=22476375, ccks=157, wck=7.922, mem=74M148
11.97/10.14 decisions=2595300, wrong=1296765, backtracks=860457, failedAssignments=707019, nogoods=639, foundSolutions=1, bestBound=3
11.97/10.14
12.76/10.94 num=94, depth=5..34, filters=24769798, ccks=157, wck=8.73, mem=79M433
12.76/10.94 decisions=2859382, wrong=1428796, backtracks=945720, failedAssignments=777735, nogoods=645, foundSolutions=1, bestBound=3
12.76/10.94
13.66/11.89 num=95, depth=11..35, filters=27204136, ccks=157, wck=9.671, mem=82M76
13.66/11.89 decisions=3149304, wrong=1573749, backtracks=1042790, failedAssignments=855522, nogoods=656, foundSolutions=1, bestBound=3
13.66/11.89
14.66/12.88 num=96, depth=9..34, filters=29951888, ccks=157, wck=10.665, mem=87M361
14.66/12.88 decisions=3468138, wrong=1733155, backtracks=1148263, failedAssignments=941088, nogoods=663, foundSolutions=1, bestBound=3
14.66/12.88
15.76/13.98 num=97, depth=9..34, filters=32851504, ccks=157, wck=11.764, mem=92M645
15.76/13.98 decisions=3818709, wrong=1908433, backtracks=1264192, failedAssignments=1035211, nogoods=671, foundSolutions=1, bestBound=3
15.76/13.98
17.06/15.24 num=98, depth=7..34, filters=36418710, ccks=157, wck=13.027, mem=97M930
17.06/15.24 decisions=4203015, wrong=2100578, backtracks=1391677, failedAssignments=1138746, nogoods=682, foundSolutions=1, bestBound=3
17.06/15.24
18.36/16.59 num=99, depth=7..35, filters=40189065, ccks=157, wck=14.373, mem=103M215
18.36/16.59 decisions=4627603, wrong=2312866, backtracks=1530738, failedAssignments=1252635, nogoods=691, foundSolutions=1, bestBound=3
18.36/16.59
19.87/18.05 num=100, depth=9..36, filters=44197848, ccks=157, wck=15.835, mem=111M143
19.87/18.05 decisions=5091198, wrong=2544654, backtracks=1686697, failedAssignments=1377913, nogoods=702, foundSolutions=1, bestBound=3
19.87/18.05
21.46/19.63 num=101, depth=7..35, filters=48565071, ccks=157, wck=17.42, mem=119M70
21.46/19.63 decisions=5599693, wrong=2798896, backtracks=1854680, failedAssignments=1515719, nogoods=718, foundSolutions=1, bestBound=3
21.46/19.63
23.37/21.52 num=102, depth=10..36, filters=53358324, ccks=157, wck=19.309, mem=126M997
23.37/21.52 decisions=6160873, wrong=3079476, backtracks=2043000, failedAssignments=1667305, nogoods=730, foundSolutions=1, bestBound=3
23.37/21.52
25.37/23.55 num=103, depth=4..31, filters=58925085, ccks=157, wck=21.336, mem=134M924
25.37/23.55 decisions=6775225, wrong=3386647, backtracks=2248318, failedAssignments=1834050, nogoods=739, foundSolutions=1, bestBound=3
25.37/23.55
27.50/25.64 num=104, depth=9..37, filters=64576609, ccks=157, wck=23.423, mem=22M544
27.50/25.64 decisions=7451381, wrong=3724717, backtracks=2472592, failedAssignments=2017469, nogoods=752, foundSolutions=1, bestBound=3
27.50/25.64
29.80/27.97 num=105, depth=8..35, filters=71219663, ccks=157, wck=25.755, mem=33M8
29.80/27.97 decisions=8195840, wrong=4096937, backtracks=2714763, failedAssignments=2219230, nogoods=766, foundSolutions=1, bestBound=3
29.80/27.97
32.40/30.55 num=106, depth=9..37, filters=78468969, ccks=157, wck=28.337, mem=46M88
32.40/30.55 decisions=9020738, wrong=4509377, backtracks=2991752, failedAssignments=2441168, nogoods=774, foundSolutions=1, bestBound=3
32.40/30.55
35.30/33.41 num=107, depth=8..37, filters=86370107, ccks=157, wck=31.194, mem=59M168
35.30/33.41 decisions=9912245, wrong=4955118, backtracks=3285972, failedAssignments=2685299, nogoods=783, foundSolutions=1, bestBound=3
35.30/33.41
38.60/36.75 num=108, depth=8..35, filters=94861885, ccks=157, wck=34.532, mem=72M248
38.60/36.75 decisions=10913354, wrong=5455664, backtracks=3616346, failedAssignments=2953844, nogoods=799, foundSolutions=1, bestBound=3
38.60/36.75
42.10/40.26 num=109, depth=6..34, filters=104689721, ccks=157, wck=38.046, mem=87M944
42.10/40.26 decisions=11996798, wrong=5997377, backtracks=3976747, failedAssignments=3249243, nogoods=814, foundSolutions=1, bestBound=3
42.10/40.26
46.01/44.13 num=110, depth=9..36, filters=115018674, ccks=157, wck=41.916, mem=106M256
46.01/44.13 decisions=13192980, wrong=6595458, backtracks=4376182, failedAssignments=3574182, nogoods=821, foundSolutions=1, bestBound=3
46.01/44.13
50.20/48.34 num=111, depth=6..35, filters=126514054, ccks=157, wck=46.127, mem=124M568
50.20/48.34 decisions=14522850, wrong=7260387, backtracks=4813009, failedAssignments=3931615, nogoods=838, foundSolutions=1, bestBound=3
50.20/48.34
55.01/53.18 num=112, depth=8..35, filters=138585336, ccks=157, wck=50.962, mem=145M496
55.01/53.18 decisions=15996435, wrong=7997172, backtracks=5303223, failedAssignments=4324791, nogoods=846, foundSolutions=1, bestBound=3
55.01/53.18
60.33/58.43 num=113, depth=7..34, filters=152875482, ccks=157, wck=56.219, mem=38M346
60.33/58.43 decisions=17606393, wrong=8802142, backtracks=5847530, failedAssignments=4757285, nogoods=855, foundSolutions=1, bestBound=3
60.33/58.43
66.14/64.29 num=114, depth=8..35, filters=167512306, ccks=157, wck=62.08, mem=63M294
66.14/64.29 decisions=19380123, wrong=9688999, backtracks=6436970, failedAssignments=5233029, nogoods=871, foundSolutions=1, bestBound=3
66.14/64.29
72.57/70.66 num=115, depth=5..39, filters=184885782, ccks=157, wck=68.449, mem=92M172
72.57/70.66 decisions=21314334, wrong=10656096, backtracks=7073917, failedAssignments=5756347, nogoods=881, foundSolutions=1, bestBound=3
72.57/70.66
79.68/77.71 num=116, depth=5..35, filters=203771869, ccks=157, wck=75.491, mem=123M675
79.68/77.71 decisions=23448438, wrong=11723140, backtracks=7784020, failedAssignments=6331997, nogoods=895, foundSolutions=1, bestBound=3
79.68/77.71
87.81/85.87 num=117, depth=4..33, filters=223895662, ccks=157, wck=83.659, mem=25M213
87.81/85.87 decisions=25823818, wrong=12910824, backtracks=8575615, failedAssignments=6965212, nogoods=907, foundSolutions=1, bestBound=3
87.81/85.87
96.81/94.85 num=118, depth=6..36, filters=246046455, ccks=157, wck=92.637, mem=61M921
96.81/94.85 decisions=28428081, wrong=14212947, backtracks=9449963, failedAssignments=7661748, nogoods=920, foundSolutions=1, bestBound=3
96.81/94.85
106.82/104.80 num=119, depth=6..33, filters=270645870, ccks=157, wck=102.588, mem=103M873
106.82/104.80 decisions=31292157, wrong=15644977, backtracks=10408172, failedAssignments=8427938, nogoods=936, foundSolutions=1, bestBound=3
106.82/104.80
117.32/115.36 num=120, depth=5..34, filters=298115842, ccks=157, wck=113.145, mem=151M69
117.32/115.36 decisions=34410062, wrong=17203921, backtracks=11456348, failedAssignments=9270747, nogoods=947, foundSolutions=1, bestBound=3
117.32/115.36
129.06/127.03 num=121, depth=4..34, filters=328644960, ccks=157, wck=124.818, mem=66M543
129.06/127.03 decisions=37877733, wrong=18937751, backtracks=12611303, failedAssignments=10197837, nogoods=968, foundSolutions=1, bestBound=3
129.06/127.03
142.26/140.21 num=122, depth=6..36, filters=362394830, ccks=157, wck=137.998, mem=123M466
142.26/140.21 decisions=41668549, wrong=20833151, backtracks=13882967, failedAssignments=11217636, nogoods=987, foundSolutions=1, bestBound=3
142.26/140.21
156.39/154.38 num=123, depth=4..35, filters=399099439, ccks=157, wck=152.17, mem=53M63
156.39/154.38 decisions=45830226, wrong=22913984, backtracks=15266990, failedAssignments=12339415, nogoods=999, foundSolutions=1, bestBound=3
156.39/154.38
172.50/170.48 num=124, depth=4..36, filters=440200397, ccks=157, wck=168.267, mem=119M368
172.50/170.48 decisions=50410764, wrong=25204246, backtracks=16798129, failedAssignments=13573372, nogoods=1014, foundSolutions=1, bestBound=3
172.50/170.48
189.73/187.60 num=125, depth=4..36, filters=485348072, ccks=157, wck=185.384, mem=65M179
189.73/187.60 decisions=55442536, wrong=27720125, backtracks=18473114, failedAssignments=14930725, nogoods=1026, foundSolutions=1, bestBound=3
189.73/187.60
208.93/206.81 num=126, depth=4..35, filters=533975517, ccks=157, wck=204.596, mem=143M28
208.93/206.81 decisions=60967260, wrong=30482482, backtracks=20313404, failedAssignments=16423813, nogoods=1044, foundSolutions=1, bestBound=3
208.93/206.81
229.47/227.39 num=127, depth=3..34, filters=587862490, ccks=157, wck=225.176, mem=106M445
229.47/227.39 decisions=67069852, wrong=33533770, backtracks=22341755, failedAssignments=18066210, nogoods=1063, foundSolutions=1, bestBound=3
229.47/227.39
253.22/251.03 num=128, depth=3..33, filters=647632323, ccks=157, wck=248.815, mem=80M781
253.22/251.03 decisions=73795671, wrong=36896676, backtracks=24586043, failedAssignments=19872847, nogoods=1089, foundSolutions=1, bestBound=3
253.22/251.03
280.05/277.87 num=129, depth=3..36, filters=712353745, ccks=157, wck=275.654, mem=65M383
280.05/277.87 decisions=81231651, wrong=40614656, backtracks=27078110, failedAssignments=21860148, nogoods=1098, foundSolutions=1, bestBound=3
280.05/277.87
309.67/307.41 num=130, depth=2..34, filters=781865495, ccks=157, wck=305.196, mem=64M762
309.67/307.41 decisions=89404780, wrong=44701213, backtracks=29808540, failedAssignments=24046179, nogoods=1115, foundSolutions=1, bestBound=3
309.67/307.41
341.48/339.29 num=131, depth=1..34, filters=859492998, ccks=157, wck=337.08, mem=75M815
341.48/339.29 decisions=98362055, wrong=49179843, backtracks=32830039, failedAssignments=26450813, nogoods=1132, foundSolutions=1, bestBound=3
341.48/339.29
376.99/374.77 num=132, depth=1..36, filters=942796655, ccks=157, wck=372.552, mem=102M642
376.99/374.77 decisions=108170805, wrong=54084215, backtracks=36131375, failedAssignments=29095910, nogoods=1146, foundSolutions=1, bestBound=3
376.99/374.77
416.22/413.93 num=133, depth=1..34, filters=1039781392, ccks=157, wck=411.718, mem=31M160
416.22/413.93 decisions=118950511, wrong=59474062, backtracks=39739277, failedAssignments=32005517, nogoods=1159, foundSolutions=1, bestBound=3
416.22/413.93
461.23/459.00 num=134, depth=0..32, filters=1149733915, ccks=157, wck=456.785, mem=92M624
461.23/459.00 decisions=130858177, wrong=65427889, backtracks=43755329, failedAssignments=35206085, nogoods=1172, foundSolutions=1, bestBound=3
461.23/459.00
490.36/488.01
490.36/488.01 New Bounds: 3..2
490.36/488.01 num=135, depth=0..35, filters=1221175410, ccks=157, wck=485.797, mem=93M819
490.36/488.01 decisions=138554023, wrong=69275813, backtracks=46344808, failedAssignments=37275536, foundSolutions=1, bestBound=3
490.36/488.01
490.36/488.01 Global
490.36/488.01 filters=1221175410, ccks=157
490.36/488.01 Stop=FULL_EXPLORATION, wrong=69275813, bestBound=3, bestBoundWck=0.341, bestBoundCpu=2.182, foundSolutions=1, firstSolCpu=2.182
490.36/488.01 wck=486.131, cpu=487.859, mem=93M819
490.36/488.01
490.36/488.01 v <instantiation id='sol1' type='solution' cost='3'> <list> x[] </list> <values> 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 3 </values> </instantiation>
490.36/488.01 s OPTIMUM FOUND
490.36/488.01
490.36/488.01 d WRONG_DECISIONS 69275813
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 (9370 MiB free)
memory of node 1: 16384 MiB (13959 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391273-1568388883/watcher-4391273-1568388883 -o /tmp/evaluation-result-4391273-1568388883/solver-4391273-1568388883 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568388843-13119 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391273-1568388883.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13138, runsolver pid=13135
[startup+0.100114 s]*
/proc/loadavg: 1.02 1.45 1.75 4/229 13177
/proc/meminfo: memFree=23862392/32770624 swapFree=66939836/67108860
[pid=13138] ppid=13135 vsize=10659884 memory=29180 CPUtime=0.14 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13135 13138 10765 0 -1 1077944320 5793 0 0 0 13 1 0 0 20 0 15 0 414803207 10915721216 7295 33554432000 4194304 4196468 140728944416016 140728944398560 140118496988919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
/proc/13138/statm: 2664971 7295 2902 1 0 2627468 0
[pid=13138/tid=13141] ppid=13135 vsize=10659884 memory=7822038051842263955 CPUtime=0.09 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) R 13135 13138 10765 0 -1 4202560 3206 0 0 0 9 0 0 0 20 0 15 0 414803207 10915721216 7295 33554432000 4194304 4196468 140728944416016 140118501219360 140118497010266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13145] ppid=13135 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 7295 33554432000 4194304 4196468 140728944416016 140118423063440 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13146] ppid=13135 vsize=10659884 memory=140203666830976 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 7295 33554432000 4194304 4196468 140728944416016 140118422010640 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13147] ppid=13135 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 7295 33554432000 4194304 4196468 140728944416016 140118420958352 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13148] ppid=13135 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13135 13138 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 7295 33554432000 4194304 4196468 140728944416016 140118419905552 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13155] ppid=13135 vsize=10659884 memory=140203666830976 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13135 13138 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414803209 10915721216 7295 33554432000 4194304 4196468 140728944416016 140117532567664 140118497000066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13157] ppid=13135 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13135 13138 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414803209 10915721216 7295 33554432000 4194304 4196468 140728944416016 140117531513632 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13158] ppid=13135 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13158/stat : 13158 (java) S 13135 13138 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414803210 10915721216 7295 33554432000 4194304 4196468 140728944416016 140117530461296 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13165] ppid=13135 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13165/stat : 13165 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414803212 10915721216 7295 33554432000 4194304 4196468 140728944416016 140117529409616 140118497007515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13166] ppid=13135 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13166/stat : 13166 (java) S 13135 13138 10765 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 15 0 414803212 10915721216 7295 33554432000 4194304 4196468 140728944416016 140117528357488 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13167] ppid=13135 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13167/stat : 13167 (java) S 13135 13138 10765 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 414803212 10915721216 7295 33554432000 4194304 4196468 140728944416016 140117527304688 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13168] ppid=13135 vsize=10659884 memory=140203666830976 CPUtime=0.02 cores=1,3,5,7
/proc/13138/task/13168/stat : 13168 (java) R 13135 13138 10765 0 -1 4202560 572 0 0 0 2 0 0 0 20 0 15 0 414803212 10915721216 7295 33554432000 4194304 4196468 140728944416016 140117526248952 140118497010266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13170] ppid=13135 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13170/stat : 13170 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414803212 10915721216 7295 33554432000 4194304 4196468 140728944416016 140117525199840 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13171] ppid=13135 vsize=10659884 memory=140203666830976 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13171/stat : 13171 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803212 10915721216 7295 33554432000 4194304 4196468 140728944416016 140117524146608 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29180 KiB
[startup+0.211706 s]*
/proc/loadavg: 1.02 1.45 1.75 3/229 13177
/proc/meminfo: memFree=23841116/32770624 swapFree=66939836/67108860
[pid=13138] ppid=13135 vsize=10659884 memory=34820 CPUtime=0.32 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13135 13138 10765 0 -1 1077944320 6820 0 0 0 30 2 0 0 20 0 15 0 414803207 10915721216 8705 33554432000 4194304 4196468 140728944416016 140728944398560 140118496988919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
/proc/13138/statm: 2664971 8705 2990 1 0 2627468 0
[pid=13138/tid=13141] ppid=13135 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) R 13135 13138 10765 0 -1 4202560 3870 0 0 0 18 1 0 0 20 0 15 0 414803207 10915721216 8705 33554432000 4194304 4196468 140728944416016 140118501220960 140118453590563 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13145] ppid=13135 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 8705 33554432000 4194304 4196468 140728944416016 140118423063440 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13146] ppid=13135 vsize=10659884 memory=3978279045942343328 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 8705 33554432000 4194304 4196468 140728944416016 140118422010640 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13147] ppid=13135 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 8705 33554432000 4194304 4196468 140728944416016 140118420958352 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13148] ppid=13135 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13135 13138 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 8705 33554432000 4194304 4196468 140728944416016 140118419905552 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13155] ppid=13135 vsize=10659884 memory=140203666830976 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13135 13138 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414803209 10915721216 8705 33554432000 4194304 4196468 140728944416016 140117532567664 140118497000066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13157] ppid=13135 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13135 13138 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414803209 10915721216 8705 33554432000 4194304 4196468 140728944416016 140117531513632 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13158] ppid=13135 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13158/stat : 13158 (java) S 13135 13138 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414803210 10915721216 8705 33554432000 4194304 4196468 140728944416016 140117530461296 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13165] ppid=13135 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13165/stat : 13165 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414803212 10915721216 8705 33554432000 4194304 4196468 140728944416016 140117529409616 140118497007515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13166] ppid=13135 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13138/task/13166/stat : 13166 (java) S 13135 13138 10765 0 -1 1077944384 599 0 0 0 2 0 0 0 20 0 15 0 414803212 10915721216 8705 33554432000 4194304 4196468 140728944416016 140117528357488 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13167] ppid=13135 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13138/task/13167/stat : 13167 (java) S 13135 13138 10765 0 -1 1077944384 383 0 0 0 3 0 0 0 20 0 15 0 414803212 10915721216 8705 33554432000 4194304 4196468 140728944416016 140117527304688 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13168] ppid=13135 vsize=10659884 memory=140203666830976 CPUtime=0.05 cores=1,3,5,7
/proc/13138/task/13168/stat : 13168 (java) S 13135 13138 10765 0 -1 1077944384 610 0 0 0 5 0 0 0 20 0 15 0 414803212 10915721216 8705 33554432000 4194304 4196468 140728944416016 140117526252400 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13170] ppid=13135 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13170/stat : 13170 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414803212 10915721216 8705 33554432000 4194304 4196468 140728944416016 140117525199840 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13171] ppid=13135 vsize=10659884 memory=140203666830976 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13171/stat : 13171 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803212 10915721216 8705 33554432000 4194304 4196468 140728944416016 140117524146608 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34820 KiB
[startup+0.310155 s]*
/proc/loadavg: 1.02 1.45 1.75 3/229 13177
/proc/meminfo: memFree=23836360/32770624 swapFree=66939836/67108860
[pid=13138] ppid=13135 vsize=10659884 memory=39940 CPUtime=0.45 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13135 13138 10765 0 -1 1077944320 9362 0 0 0 42 3 0 0 20 0 15 0 414803207 10915721216 9985 33554432000 4194304 4196468 140728944416016 140728944398560 140118496988919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
/proc/13138/statm: 2664971 9985 3002 1 0 2627468 0
[pid=13138/tid=13141] ppid=13135 vsize=10659884 memory=280407140657056 CPUtime=0.29 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) R 13135 13138 10765 0 -1 4202560 6318 0 0 0 27 2 0 0 20 0 15 0 414803207 10915721216 9985 33554432000 4194304 4196468 140728944416016 140118501209808 140118481069406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13145] ppid=13135 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 9985 33554432000 4194304 4196468 140728944416016 140118423063440 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13146] ppid=13135 vsize=10659884 memory=280407237159504 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 9985 33554432000 4194304 4196468 140728944416016 140118422010640 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13147] ppid=13135 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 9985 33554432000 4194304 4196468 140728944416016 140118420958352 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13148] ppid=13135 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13135 13138 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414803208 10915721216 9985 33554432000 4194304 4196468 140728944416016 140118419905552 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13155] ppid=13135 vsize=10659884 memory=140203666830976 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13135 13138 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414803209 10915721216 9985 33554432000 4194304 4196468 140728944416016 140117532567664 140118497000066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13157] ppid=13135 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13135 13138 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414803209 10915721216 9985 33554432000 4194304 4196468 140728944416016 140117531513632 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13158] ppid=13135 vsize=10659884 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13158/stat : 13158 (java) S 13135 13138 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414803210 10915721216 9985 33554432000 4194304 4196468 140728944416016 140117530461296 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13165] ppid=13135 vsize=10659884 memory=69604 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13165/stat : 13165 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414803212 10915721216 9985 33554432000 4194304 4196468 140728944416016 140117529409616 140118497007515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13166] ppid=13135 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13138/task/13166/stat : 13166 (java) S 13135 13138 10765 0 -1 1077944384 607 0 0 0 3 0 0 0 20 0 15 0 414803212 10915721216 9985 33554432000 4194304 4196468 140728944416016 140117528357488 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13167] ppid=13135 vsize=10659884 memory=140203570349327 CPUtime=0.04 cores=1,3,5,7
/proc/13138/task/13167/stat : 13167 (java) S 13135 13138 10765 0 -1 1077944384 436 0 0 0 4 0 0 0 20 0 15 0 414803212 10915721216 9985 33554432000 4194304 4196468 140728944416016 140117527304688 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13168] ppid=13135 vsize=10659884 memory=280407237189472 CPUtime=0.07 cores=1,3,5,7
/proc/13138/task/13168/stat : 13168 (java) S 13135 13138 10765 0 -1 1077944384 649 0 0 0 7 0 0 0 20 0 15 0 414803212 10915721216 9985 33554432000 4194304 4196468 140728944416016 140117526252400 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13170] ppid=13135 vsize=10659884 memory=140203570353935 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13170/stat : 13170 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414803212 10915721216 9985 33554432000 4194304 4196468 140728944416016 140117525199840 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13171] ppid=13135 vsize=10659884 memory=140203666830989 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13171/stat : 13171 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803212 10915721216 9985 33554432000 4194304 4196468 140728944416016 140117524146608 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39940 KiB
[startup+0.700735 s]
/proc/loadavg: 1.02 1.45 1.75 4/229 13177
/proc/meminfo: memFree=23813896/32770624 swapFree=66939836/67108860
[pid=13138] ppid=13135 vsize=10661932 memory=62228 CPUtime=1.07 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13135 13138 10765 0 -1 1077944320 12672 0 0 0 102 5 0 0 20 0 15 0 414803207 10917818368 15557 33554432000 4194304 4196468 140728944416016 140728944398560 140118496988919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
/proc/13138/statm: 2665483 15557 3064 1 0 2627980 0
[pid=13138/tid=13141] ppid=13135 vsize=10661932 memory=196703865030332 CPUtime=0.67 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) R 13135 13138 10765 0 -1 4202560 8880 0 0 0 63 4 0 0 20 0 15 0 414803207 10917818368 15560 33554432000 4194304 4196468 140728944416016 140118501212000 140118481032549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13145] ppid=13135 vsize=10661932 memory=3042316 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10917818368 15560 33554432000 4194304 4196468 140728944416016 140118423063440 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13146] ppid=13135 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10917818368 15560 33554432000 4194304 4196468 140728944416016 140118422010640 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13147] ppid=13135 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10917818368 15560 33554432000 4194304 4196468 140728944416016 140118420958352 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13148] ppid=13135 vsize=10661932 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13135 13138 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414803208 10917818368 15560 33554432000 4194304 4196468 140728944416016 140118419905552 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13155] ppid=13135 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13135 13138 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414803209 10917818368 15560 33554432000 4194304 4196468 140728944416016 140117532567664 140118497000066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13157] ppid=13135 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13135 13138 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414803209 10917818368 15560 33554432000 4194304 4196468 140728944416016 140117531513632 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13158] ppid=13135 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13158/stat : 13158 (java) S 13135 13138 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414803210 10917818368 15560 33554432000 4194304 4196468 140728944416016 140117530461296 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13165] ppid=13135 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13165/stat : 13165 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414803212 10917818368 15560 33554432000 4194304 4196468 140728944416016 140117529409616 140118497007515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13166] ppid=13135 vsize=10661932 memory=-1664385933527490352 CPUtime=0.08 cores=1,3,5,7
/proc/13138/task/13166/stat : 13166 (java) R 13135 13138 10765 0 -1 4202560 744 0 0 0 8 0 0 0 20 0 15 0 414803212 10917818368 15560 33554432000 4194304 4196468 140728944416016 140117528357488 140118497010266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13167] ppid=13135 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13167/stat : 13167 (java) S 13135 13138 10765 0 -1 1077944384 696 0 0 0 11 0 0 0 20 0 15 0 414803212 10917818368 15560 33554432000 4194304 4196468 140728944416016 140117527304688 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13168] ppid=13135 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/13138/task/13168/stat : 13168 (java) S 13135 13138 10765 0 -1 1077944384 995 0 0 0 18 0 0 0 20 0 15 0 414803212 10917818368 15560 33554432000 4194304 4196468 140728944416016 140117526252400 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13170] ppid=13135 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13170/stat : 13170 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414803212 10917818368 15560 33554432000 4194304 4196468 140728944416016 140117525199840 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13171] ppid=13135 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13171/stat : 13171 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803212 10917818368 15560 33554432000 4194304 4196468 140728944416016 140117524146608 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62228 KiB
[startup+1.50075 s]
/proc/loadavg: 1.02 1.45 1.75 3/229 13177
/proc/meminfo: memFree=23780920/32770624 swapFree=66939836/67108860
[pid=13138] ppid=13135 vsize=10663980 memory=74856 CPUtime=1.97 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13135 13138 10765 0 -1 1077944320 18279 0 0 0 191 6 0 0 20 0 15 0 414803207 10919915520 18714 33554432000 4194304 4196468 140728944416016 140728944398560 140118496988919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
/proc/13138/statm: 2665995 18714 3096 1 0 2628492 0
[pid=13138/tid=13141] ppid=13135 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) R 13135 13138 10765 0 -1 4202560 13057 0 0 0 142 5 0 0 20 0 15 0 414803207 10919915520 18714 33554432000 4194304 4196468 140728944416016 140118501214800 140118482682371 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13145] ppid=13135 vsize=10663980 memory=196703865299212 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10919915520 18714 33554432000 4194304 4196468 140728944416016 140118423063440 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13146] ppid=13135 vsize=10663980 memory=3042316 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10919915520 18714 33554432000 4194304 4196468 140728944416016 140118422010640 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13147] ppid=13135 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13135 13138 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414803208 10919915520 18714 33554432000 4194304 4196468 140728944416016 140118420958352 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13148] ppid=13135 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13135 13138 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414803208 10919915520 18714 33554432000 4194304 4196468 140728944416016 140118419905552 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13155] ppid=13135 vsize=10663980 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13135 13138 10765 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 414803209 10919915520 18714 33554432000 4194304 4196468 140728944416016 140117532567664 140118497000066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
################
# More data... #
################
[startup+486.401 s]
/proc/loadavg: 1.71 1.76 1.80 3/230 13774
/proc/meminfo: memFree=23460460/32770624 swapFree=66939836/67108860
[pid=13138] ppid=13135 vsize=10746276 memory=242940 CPUtime=488.75 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13135 13138 10765 0 -1 1077944320 49525 0 0 0 48854 21 0 0 20 0 16 0 414803207 11004186624 60735 33554432000 4194304 4196468 140728944416016 140728944398560 140118496988919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
/proc/13138/statm: 2686569 60735 3368 1 0 2646705 0
[pid=13138/tid=13141] ppid=13135 vsize=10746276 memory=0 CPUtime=1.89 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) S 13135 13138 10765 0 -1 1077944384 15370 0 0 0 182 7 0 0 20 0 16 0 414803207 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118501231792 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13145] ppid=13135 vsize=10746276 memory=-7313218805096079717 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 10765 0 -1 1077944384 1784 0 0 0 11 0 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118423063440 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13146] ppid=13135 vsize=10746276 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 10765 0 -1 1077944384 1525 0 0 0 10 0 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118422010640 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13147] ppid=13135 vsize=10746276 memory=2732 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13135 13138 10765 0 -1 1077944384 712 0 0 0 10 1 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118420958352 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13148] ppid=13135 vsize=10746276 memory=2304 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13135 13138 10765 0 -1 1077944384 3074 0 0 0 10 1 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118419905552 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13155] ppid=13135 vsize=10746276 memory=3504 CPUtime=0.02 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13135 13138 10765 0 -1 1077944384 2772 0 0 0 2 0 0 0 20 0 16 0 414803209 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117532567664 140118497000066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13157] ppid=13135 vsize=10746276 memory=39684 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13135 13138 10765 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414803209 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117531513696 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13158] ppid=13135 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13158/stat : 13158 (java) S 13135 13138 10765 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414803210 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117530461312 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13165] ppid=13135 vsize=10746276 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13165/stat : 13165 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117529409616 140118497007515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13166] ppid=13135 vsize=10746276 memory=4164 CPUtime=0.6 cores=1,3,5,7
/proc/13138/task/13166/stat : 13166 (java) S 13135 13138 10765 0 -1 1077944384 2160 0 0 0 60 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117528357488 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13167] ppid=13135 vsize=10746276 memory=1548 CPUtime=0.74 cores=1,3,5,7
/proc/13138/task/13167/stat : 13167 (java) S 13135 13138 10765 0 -1 1077944384 2786 0 0 0 74 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117527304688 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13168] ppid=13135 vsize=10746276 memory=1728 CPUtime=0.55 cores=1,3,5,7
/proc/13138/task/13168/stat : 13168 (java) S 13135 13138 10765 0 -1 1077944384 6999 0 0 0 54 1 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117526252400 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13170] ppid=13135 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13170/stat : 13170 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117525199840 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13171] ppid=13135 vsize=10746276 memory=1548 CPUtime=0.08 cores=1,3,5,7
/proc/13138/task/13171/stat : 13171 (java) S 13135 13138 10765 0 -1 1077944384 505 0 0 0 3 5 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117524146608 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13178] ppid=13135 vsize=10746276 memory=1728 CPUtime=484.33 cores=1,3,5,7
/proc/13138/task/13178/stat : 13178 (java) R 13135 13138 10765 0 -1 4202560 10398 0 0 0 48430 3 0 0 20 0 16 0 414803398 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117507374592 140118096101469 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
Current children cumulated CPU time: 488.75 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 242940 KiB
[startup+487.201 s]
/proc/loadavg: 1.71 1.76 1.80 3/230 13774
/proc/meminfo: memFree=23460828/32770624 swapFree=66939836/67108860
[pid=13138] ppid=13135 vsize=10746276 memory=242940 CPUtime=489.55 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13135 13138 10765 0 -1 1077944320 49528 0 0 0 48934 21 0 0 20 0 16 0 414803207 11004186624 60735 33554432000 4194304 4196468 140728944416016 140728944398560 140118496988919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
/proc/13138/statm: 2686569 60735 3368 1 0 2646705 0
[pid=13138/tid=13141] ppid=13135 vsize=10746276 memory=280407142595440 CPUtime=1.89 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) S 13135 13138 10765 0 -1 1077944384 15370 0 0 0 182 7 0 0 20 0 16 0 414803207 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118501231792 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13145] ppid=13135 vsize=10746276 memory=280407142595504 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 10765 0 -1 1077944384 1784 0 0 0 11 0 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118423063440 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13146] ppid=13135 vsize=10746276 memory=280407142595568 CPUtime=0.1 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 10765 0 -1 1077944384 1525 0 0 0 10 0 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118422010640 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13147] ppid=13135 vsize=10746276 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13135 13138 10765 0 -1 1077944384 712 0 0 0 10 1 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118420958352 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13148] ppid=13135 vsize=10746276 memory=39684 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13135 13138 10765 0 -1 1077944384 3074 0 0 0 10 1 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118419905552 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13155] ppid=13135 vsize=10746276 memory=988 CPUtime=0.02 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13135 13138 10765 0 -1 1077944384 2772 0 0 0 2 0 0 0 20 0 16 0 414803209 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117532567664 140118497000066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13157] ppid=13135 vsize=10746276 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13135 13138 10765 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414803209 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117531513696 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13158] ppid=13135 vsize=10746276 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13158/stat : 13158 (java) S 13135 13138 10765 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414803210 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117530461312 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13165] ppid=13135 vsize=10746276 memory=21968 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13165/stat : 13165 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117529409616 140118497007515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13166] ppid=13135 vsize=10746276 memory=14056 CPUtime=0.6 cores=1,3,5,7
/proc/13138/task/13166/stat : 13166 (java) S 13135 13138 10765 0 -1 1077944384 2160 0 0 0 60 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117528357488 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13167] ppid=13135 vsize=10746276 memory=2116 CPUtime=0.74 cores=1,3,5,7
/proc/13138/task/13167/stat : 13167 (java) S 13135 13138 10765 0 -1 1077944384 2786 0 0 0 74 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117527304688 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13168] ppid=13135 vsize=10746276 memory=164 CPUtime=0.55 cores=1,3,5,7
/proc/13138/task/13168/stat : 13168 (java) S 13135 13138 10765 0 -1 1077944384 6999 0 0 0 54 1 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117526252400 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13170] ppid=13135 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13170/stat : 13170 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117525199840 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13171] ppid=13135 vsize=10746276 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/13138/task/13171/stat : 13171 (java) S 13135 13138 10765 0 -1 1077944384 507 0 0 0 3 5 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117524146608 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13178] ppid=13135 vsize=10746276 memory=0 CPUtime=485.13 cores=1,3,5,7
/proc/13138/task/13178/stat : 13178 (java) R 13135 13138 10765 0 -1 4202560 10399 0 0 0 48510 3 0 0 20 0 16 0 414803398 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117507374592 140118095809404 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
Current children cumulated CPU time: 489.55 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 242940 KiB
[startup+487.601 s]
/proc/loadavg: 1.71 1.76 1.80 3/230 13774
/proc/meminfo: memFree=23460828/32770624 swapFree=66939836/67108860
[pid=13138] ppid=13135 vsize=10746276 memory=242940 CPUtime=489.95 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13135 13138 10765 0 -1 1077944320 49529 0 0 0 48974 21 0 0 20 0 16 0 414803207 11004186624 60735 33554432000 4194304 4196468 140728944416016 140728944398560 140118496988919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
/proc/13138/statm: 2686569 60735 3368 1 0 2646705 0
[pid=13138/tid=13141] ppid=13135 vsize=10746276 memory=668 CPUtime=1.89 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) S 13135 13138 10765 0 -1 1077944384 15370 0 0 0 182 7 0 0 20 0 16 0 414803207 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118501231792 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13145] ppid=13135 vsize=10746276 memory=1256 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 10765 0 -1 1077944384 1784 0 0 0 11 0 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118423063440 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13146] ppid=13135 vsize=10746276 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 10765 0 -1 1077944384 1525 0 0 0 10 0 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118422010640 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13147] ppid=13135 vsize=10746276 memory=2008 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13135 13138 10765 0 -1 1077944384 712 0 0 0 10 1 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118420958352 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13148] ppid=13135 vsize=10746276 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13135 13138 10765 0 -1 1077944384 3074 0 0 0 10 1 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118419905552 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13155] ppid=13135 vsize=10746276 memory=196615012902567 CPUtime=0.02 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13135 13138 10765 0 -1 1077944384 2772 0 0 0 2 0 0 0 20 0 16 0 414803209 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117532567664 140118497000066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13157] ppid=13135 vsize=10746276 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13135 13138 10765 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414803209 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117531513696 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13158] ppid=13135 vsize=10746276 memory=39684 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13158/stat : 13158 (java) S 13135 13138 10765 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414803210 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117530461312 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13165] ppid=13135 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13165/stat : 13165 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117529409616 140118497007515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13166] ppid=13135 vsize=10746276 memory=2008 CPUtime=0.6 cores=1,3,5,7
/proc/13138/task/13166/stat : 13166 (java) S 13135 13138 10765 0 -1 1077944384 2160 0 0 0 60 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117528357488 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13167] ppid=13135 vsize=10746276 memory=1436 CPUtime=0.74 cores=1,3,5,7
/proc/13138/task/13167/stat : 13167 (java) S 13135 13138 10765 0 -1 1077944384 2786 0 0 0 74 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117527304688 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13168] ppid=13135 vsize=10746276 memory=776 CPUtime=0.55 cores=1,3,5,7
/proc/13138/task/13168/stat : 13168 (java) S 13135 13138 10765 0 -1 1077944384 6999 0 0 0 54 1 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117526252400 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13170] ppid=13135 vsize=10746276 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13170/stat : 13170 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117525199840 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13171] ppid=13135 vsize=10746276 memory=668 CPUtime=0.08 cores=1,3,5,7
/proc/13138/task/13171/stat : 13171 (java) S 13135 13138 10765 0 -1 1077944384 507 0 0 0 3 5 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117524146608 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13178] ppid=13135 vsize=10746276 memory=1256 CPUtime=485.53 cores=1,3,5,7
/proc/13138/task/13178/stat : 13178 (java) R 13135 13138 10765 0 -1 4202560 10400 0 0 0 48550 3 0 0 20 0 16 0 414803398 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117507374592 140118095944888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
Current children cumulated CPU time: 489.95 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 242940 KiB
[startup+488.001 s]*
/proc/loadavg: 1.65 1.75 1.79 3/230 13774
/proc/meminfo: memFree=23460828/32770624 swapFree=66939836/67108860
[pid=13138] ppid=13135 vsize=10746276 memory=242940 CPUtime=490.36 cores=1,3,5,7
/proc/13138/stat : 13138 (java) S 13135 13138 10765 0 -1 1077944320 49529 0 0 0 49015 21 0 0 20 0 16 0 414803207 11004186624 60735 33554432000 4194304 4196468 140728944416016 140728944398560 140118496988919 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
/proc/13138/statm: 2686569 60735 3368 1 0 2646705 0
[pid=13138/tid=13141] ppid=13135 vsize=10746276 memory=1760 CPUtime=1.89 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (java) S 13135 13138 10765 0 -1 1077944384 15370 0 0 0 182 7 0 0 20 0 16 0 414803207 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118501231792 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13145] ppid=13135 vsize=10746276 memory=4872558044660077418 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13145/stat : 13145 (java) S 13135 13138 10765 0 -1 1077944384 1784 0 0 0 11 0 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118423063440 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13146] ppid=13135 vsize=10746276 memory=808 CPUtime=0.1 cores=1,3,5,7
/proc/13138/task/13146/stat : 13146 (java) S 13135 13138 10765 0 -1 1077944384 1525 0 0 0 10 0 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118422010640 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13147] ppid=13135 vsize=10746276 memory=1804 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13147/stat : 13147 (java) S 13135 13138 10765 0 -1 1077944384 712 0 0 0 10 1 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118420958352 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13148] ppid=13135 vsize=10746276 memory=920 CPUtime=0.11 cores=1,3,5,7
/proc/13138/task/13148/stat : 13148 (java) S 13135 13138 10765 0 -1 1077944384 3074 0 0 0 10 1 0 0 20 0 16 0 414803208 11004186624 60735 33554432000 4194304 4196468 140728944416016 140118419905552 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13155] ppid=13135 vsize=10746276 memory=3852 CPUtime=0.02 cores=1,3,5,7
/proc/13138/task/13155/stat : 13155 (java) S 13135 13138 10765 0 -1 1077944384 2772 0 0 0 2 0 0 0 20 0 16 0 414803209 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117532567664 140118497000066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13157] ppid=13135 vsize=10746276 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13157/stat : 13157 (java) S 13135 13138 10765 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414803209 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117531513696 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13158] ppid=13135 vsize=10746276 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13158/stat : 13158 (java) S 13135 13138 10765 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414803210 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117530461312 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13165] ppid=13135 vsize=10746276 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13165/stat : 13165 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117529409616 140118497007515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13166] ppid=13135 vsize=10746276 memory=2732 CPUtime=0.6 cores=1,3,5,7
/proc/13138/task/13166/stat : 13166 (java) S 13135 13138 10765 0 -1 1077944384 2160 0 0 0 60 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117528357488 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13167] ppid=13135 vsize=10746276 memory=2304 CPUtime=0.74 cores=1,3,5,7
/proc/13138/task/13167/stat : 13167 (java) S 13135 13138 10765 0 -1 1077944384 2786 0 0 0 74 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117527304688 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13168] ppid=13135 vsize=10746276 memory=1408 CPUtime=0.55 cores=1,3,5,7
/proc/13138/task/13168/stat : 13168 (java) S 13135 13138 10765 0 -1 1077944384 6999 0 0 0 54 1 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117526252400 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13170] ppid=13135 vsize=10746276 memory=3184 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13170/stat : 13170 (java) S 13135 13138 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117525199840 140118496999125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13171] ppid=13135 vsize=10746276 memory=242424 CPUtime=0.08 cores=1,3,5,7
/proc/13138/task/13171/stat : 13171 (java) S 13135 13138 10765 0 -1 1077944384 507 0 0 0 3 5 0 0 20 0 16 0 414803212 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117524146608 140118497000066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
[pid=13138/tid=13178] ppid=13135 vsize=10746276 memory=242940 CPUtime=485.94 cores=1,3,5,7
/proc/13138/task/13178/stat : 13178 (java) R 13135 13138 10765 0 -1 4202560 10400 0 0 0 48591 3 0 0 20 0 16 0 414803398 11004186624 60735 33554432000 4194304 4196468 140728944416016 140117507374592 140118095870144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27983872 140728944423947 140728944424050 140728944424050 140728944426959 0
Current children cumulated CPU time: 490.36 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 242940 KiB
Child status: 0
Real time (s): 488.023
CPU time (s): 490.381
CPU user time (s): 490.162
CPU system time (s): 0.219061
CPU usage (%): 100.483
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 247236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 490.162
system time used= 0.219061
maximum resident set size= 247236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13344
involuntary context switches= 208
# summary of solver processes directly reported to runsolver:
# pid: 13138
# total CPU time (s): 490.381
# total CPU user time (s): 490.162
# total CPU system time (s): 0.219061
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.4378 second user time and 4.4726 second system time
The end