2.61/1.91
2.61/1.91 AbsCon 2
2.61/1.93
3.19/2.19 Instance
3.19/2.19 name=instance-4391141-1568388872, framework=COP, bounds=-infty..+infty
3.19/2.19
3.19/2.19 Loading variables...
3.48/2.25 Loading constraints...
4.52/2.54
4.52/2.54 Domains
4.52/2.54 nTypes=1, nValues=314721, sizes=[561#561]
4.52/2.54 Variables
4.52/2.54 count=561, degrees=[1#5,2#208,3#104,4#48...62#1,66#1,78#1,100#1]
4.52/2.54 Objectives
4.52/2.54 way=min, type=ObjMaximumLE
4.52/2.54 Constraints
4.52/2.54 count=1629, nSpecific=1629, arities=[2#1628,561#1]
4.52/2.54 distribution=[NE#1628,ObjMaximumLE#1]
4.52/2.54 wck=0.658, cpu=2.505, mem=74M83
4.52/2.55 Solver SolverBacktrack being built...
4.52/2.55
4.52/2.58
4.52/2.58 Solver
4.52/2.58 guaranteedGAC=true
4.52/2.58 wck=0.7, cpu=2.546, mem=91M269
4.52/2.59
4.52/2.59 Preprocessing
4.52/2.59 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.52/2.59 wck=0.008, cpu=2.556, mem=91M269
4.52/2.59
4.89/2.64 o 14
4.89/2.65 num=0, depth=562..560, filters=1061, ccks=1629, wck=0.073, mem=91M269
4.89/2.65 decisions=561, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=14
4.89/2.65
4.89/2.69 num=1, depth=499..510, filters=2263, ccks=1629, wck=0.11, mem=96M554
4.89/2.69 decisions=1104, wrong=22, backtracks=11, failedAssignments=11, nogoods=1, foundSolutions=1, bestBound=14
4.89/2.69
4.89/2.70 o 13
5.22/2.70 num=2, depth=562..560, filters=3318, ccks=3258, wck=0.117, mem=96M554
5.22/2.70 decisions=1664, wrong=22, backtracks=11, failedAssignments=11, nogoods=1, foundSolutions=2, bestBound=13
5.22/2.70
5.22/2.71 o 12
5.22/2.71 num=3, depth=562..560, filters=4374, ccks=4887, wck=0.131, mem=96M554
5.22/2.71 decisions=2223, wrong=22, backtracks=11, failedAssignments=11, nogoods=1, foundSolutions=3, bestBound=12
5.22/2.71
5.22/2.72 num=4, depth=441..452, filters=5912, ccks=4887, wck=0.143, mem=96M554
5.22/2.72 decisions=2708, wrong=44, backtracks=22, failedAssignments=22, nogoods=2, foundSolutions=3, bestBound=12
5.22/2.72
5.22/2.73 num=5, depth=372..383, filters=7003, ccks=4887, wck=0.152, mem=96M554
5.22/2.73 decisions=3124, wrong=66, backtracks=33, failedAssignments=33, nogoods=3, foundSolutions=3, bestBound=12
5.22/2.73
5.22/2.74 num=6, depth=344..356, filters=8875, ccks=4887, wck=0.16, mem=96M554
5.22/2.74 decisions=3516, wrong=90, backtracks=45, failedAssignments=45, nogoods=4, foundSolutions=3, bestBound=12
5.22/2.74
5.22/2.75 num=7, depth=370..383, filters=9936, ccks=4887, wck=0.166, mem=96M554
5.22/2.75 decisions=3938, wrong=116, backtracks=58, failedAssignments=58, nogoods=5, foundSolutions=3, bestBound=12
5.22/2.75
5.22/2.75 num=8, depth=304..318, filters=11016, ccks=4887, wck=0.171, mem=96M554
5.22/2.75 decisions=4298, wrong=144, backtracks=72, failedAssignments=72, nogoods=6, foundSolutions=3, bestBound=12
5.22/2.75
5.22/2.76 num=9, depth=340..356, filters=12089, ccks=4887, wck=0.176, mem=96M554
5.22/2.76 decisions=4702, wrong=176, backtracks=88, failedAssignments=88, nogoods=7, foundSolutions=3, bestBound=12
5.22/2.76
5.22/2.76 num=10, depth=301..318, filters=13187, ccks=4887, wck=0.181, mem=96M554
5.22/2.76 decisions=5071, wrong=210, backtracks=105, failedAssignments=105, nogoods=8, foundSolutions=3, bestBound=12
5.22/2.76
5.22/2.77 num=11, depth=337..356, filters=14339, ccks=4887, wck=0.186, mem=96M554
5.22/2.77 decisions=5484, wrong=248, backtracks=124, failedAssignments=124, nogoods=9, foundSolutions=3, bestBound=12
5.22/2.77
5.22/2.77 num=12, depth=278..290, filters=16332, ccks=4887, wck=0.191, mem=99M197
5.22/2.77 decisions=5846, wrong=290, backtracks=148, failedAssignments=145, nogoods=12, foundSolutions=3, bestBound=12
5.22/2.77
5.22/2.78 num=13, depth=295..318, filters=17414, ccks=4887, wck=0.195, mem=99M197
5.22/2.78 decisions=6233, wrong=336, backtracks=171, failedAssignments=168, nogoods=13, foundSolutions=3, bestBound=12
5.22/2.78
5.22/2.78 num=14, depth=276..290, filters=19511, ccks=4887, wck=0.2, mem=99M197
5.22/2.78 decisions=6609, wrong=386, backtracks=201, failedAssignments=193, nogoods=14, foundSolutions=3, bestBound=12
5.22/2.78
5.22/2.78 num=15, depth=290..318, filters=20717, ccks=4887, wck=0.204, mem=99M197
5.22/2.78 decisions=7011, wrong=442, backtracks=229, failedAssignments=221, nogoods=15, foundSolutions=3, bestBound=12
5.22/2.78
5.22/2.79 num=16, depth=252..283, filters=23489, ccks=4887, wck=0.208, mem=99M197
5.22/2.79 decisions=7387, wrong=504, backtracks=260, failedAssignments=252, nogoods=16, foundSolutions=3, bestBound=12
5.22/2.79
5.22/2.79 num=17, depth=256..290, filters=26437, ccks=4887, wck=0.212, mem=99M197
5.22/2.79 decisions=7779, wrong=572, backtracks=294, failedAssignments=286, nogoods=17, foundSolutions=3, bestBound=12
5.22/2.79
5.22/2.80 num=18, depth=246..283, filters=27708, ccks=4887, wck=0.215, mem=99M197
5.22/2.80 decisions=8173, wrong=646, backtracks=331, failedAssignments=323, nogoods=18, foundSolutions=3, bestBound=12
5.22/2.80
5.53/2.80 num=19, depth=249..290, filters=31293, ccks=4887, wck=0.219, mem=99M197
5.53/2.80 decisions=8586, wrong=728, backtracks=372, failedAssignments=364, nogoods=19, foundSolutions=3, bestBound=12
5.53/2.80
5.53/2.80 num=20, depth=151..196, filters=32572, ccks=4887, wck=0.222, mem=99M197
5.53/2.80 decisions=8917, wrong=818, backtracks=417, failedAssignments=409, nogoods=20, foundSolutions=3, bestBound=12
5.53/2.80
5.53/2.81 num=21, depth=233..283, filters=35408, ccks=4887, wck=0.226, mem=99M197
5.53/2.81 decisions=9350, wrong=918, backtracks=467, failedAssignments=459, nogoods=21, foundSolutions=3, bestBound=12
5.53/2.81
5.53/2.81 num=22, depth=235..290, filters=39864, ccks=4887, wck=0.23, mem=99M197
5.53/2.81 decisions=9805, wrong=1028, backtracks=522, failedAssignments=514, nogoods=22, foundSolutions=3, bestBound=12
5.53/2.81
5.53/2.81 num=23, depth=135..196, filters=41217, ccks=4887, wck=0.233, mem=99M197
5.53/2.81 decisions=10184, wrong=1150, backtracks=583, failedAssignments=575, nogoods=23, foundSolutions=3, bestBound=12
5.53/2.81
5.53/2.82 num=24, depth=216..283, filters=44391, ccks=4887, wck=0.237, mem=99M197
5.53/2.82 decisions=10668, wrong=1284, backtracks=650, failedAssignments=642, nogoods=24, foundSolutions=3, bestBound=12
5.53/2.82
5.53/2.82 num=25, depth=64..122, filters=46939, ccks=4887, wck=0.24, mem=99M197
5.53/2.82 decisions=11028, wrong=1432, backtracks=731, failedAssignments=716, nogoods=26, foundSolutions=3, bestBound=12
5.53/2.82
5.53/2.82 num=26, depth=202..283, filters=50777, ccks=4887, wck=0.243, mem=99M197
5.53/2.82 decisions=11554, wrong=1594, backtracks=812, failedAssignments=797, nogoods=27, foundSolutions=3, bestBound=12
5.53/2.82
5.53/2.83 num=27, depth=59..122, filters=53611, ccks=4887, wck=0.246, mem=99M197
5.53/2.83 decisions=11969, wrong=1772, backtracks=913, failedAssignments=886, nogoods=29, foundSolutions=3, bestBound=12
5.53/2.83
5.53/2.83 num=28, depth=192..283, filters=57682, ccks=4887, wck=0.251, mem=99M197
5.53/2.83 decisions=12553, wrong=1968, backtracks=1013, failedAssignments=984, nogoods=32, foundSolutions=3, bestBound=12
5.53/2.83
5.53/2.83 num=29, depth=7..73, filters=64480, ccks=4887, wck=0.254, mem=99M197
5.53/2.83 decisions=12993, wrong=2184, backtracks=1123, failedAssignments=1092, nogoods=36, foundSolutions=3, bestBound=12
5.53/2.83
5.53/2.84 num=30, depth=106..196, filters=67511, ccks=4887, wck=0.258, mem=99M197
5.53/2.84 decisions=13575, wrong=2422, backtracks=1256, failedAssignments=1211, nogoods=37, foundSolutions=3, bestBound=12
5.53/2.84
5.53/2.84 num=31, depth=7..122, filters=72466, ccks=4887, wck=0.261, mem=99M197
5.53/2.84 decisions=14107, wrong=2684, backtracks=1388, failedAssignments=1342, nogoods=39, foundSolutions=3, bestBound=12
5.53/2.84
5.53/2.85 num=32, depth=176..283, filters=78072, ccks=4887, wck=0.266, mem=99M197
5.53/2.85 decisions=14859, wrong=2972, backtracks=1550, failedAssignments=1486, nogoods=40, foundSolutions=3, bestBound=12
5.53/2.85
5.53/2.85 num=33, depth=7..122, filters=84717, ccks=4887, wck=0.27, mem=99M197
5.53/2.85 decisions=15500, wrong=3288, backtracks=1709, failedAssignments=1644, nogoods=45, foundSolutions=3, bestBound=12
5.53/2.85
5.53/2.85 num=34, depth=22..196, filters=86942, ccks=4887, wck=0.273, mem=99M197
5.53/2.85 decisions=16218, wrong=3636, backtracks=1883, failedAssignments=1818, nogoods=46, foundSolutions=3, bestBound=12
5.53/2.85
5.53/2.86 num=35, depth=6..10, filters=109668, ccks=4887, wck=0.284, mem=99M197
5.53/2.86 decisions=16990, wrong=4018, backtracks=2078, failedAssignments=2009, nogoods=51, foundSolutions=3, bestBound=12
5.53/2.86
5.53/2.87 num=36, depth=7..196, filters=114620, ccks=4887, wck=0.288, mem=99M197
5.53/2.87 decisions=17842, wrong=4440, backtracks=2290, failedAssignments=2220, nogoods=55, foundSolutions=3, bestBound=12
5.53/2.87
5.53/2.88 num=37, depth=6..10, filters=137253, ccks=4887, wck=0.298, mem=99M197
5.53/2.88 decisions=18779, wrong=4904, backtracks=2531, failedAssignments=2452, nogoods=63, foundSolutions=3, bestBound=12
5.53/2.88
5.53/2.89 num=38, depth=6..10, filters=154189, ccks=4887, wck=0.306, mem=99M197
5.53/2.89 decisions=19807, wrong=5414, backtracks=2793, failedAssignments=2707, nogoods=70, foundSolutions=3, bestBound=12
5.53/2.89
5.84/2.90 num=39, depth=6..10, filters=181891, ccks=4887, wck=0.318, mem=99M197
5.84/2.90 decisions=20940, wrong=5976, backtracks=3082, failedAssignments=2988, nogoods=76, foundSolutions=3, bestBound=12
5.84/2.90
5.84/2.91 num=40, depth=6..10, filters=208647, ccks=4887, wck=0.33, mem=99M197
5.84/2.91 decisions=22183, wrong=6594, backtracks=3396, failedAssignments=3297, nogoods=82, foundSolutions=3, bestBound=12
5.84/2.91
5.84/2.92 num=41, depth=6..10, filters=239766, ccks=4887, wck=0.343, mem=99M197
5.84/2.92 decisions=23551, wrong=7274, backtracks=3749, failedAssignments=3637, nogoods=89, foundSolutions=3, bestBound=12
5.84/2.92
5.84/2.93 num=42, depth=6..10, filters=262062, ccks=4887, wck=0.353, mem=99M197
5.84/2.93 decisions=25055, wrong=8022, backtracks=4130, failedAssignments=4011, nogoods=99, foundSolutions=3, bestBound=12
5.84/2.93
5.84/2.95 num=43, depth=6..10, filters=314872, ccks=4887, wck=0.373, mem=99M197
5.84/2.95 decisions=26708, wrong=8844, backtracks=4546, failedAssignments=4422, nogoods=107, foundSolutions=3, bestBound=12
5.84/2.95
5.84/2.96 num=44, depth=6..10, filters=340189, ccks=4887, wck=0.384, mem=99M197
5.84/2.96 decisions=28524, wrong=9748, backtracks=5011, failedAssignments=4874, nogoods=120, foundSolutions=3, bestBound=12
5.84/2.96
5.84/2.99 num=45, depth=6..10, filters=398128, ccks=4887, wck=0.406, mem=99M197
5.84/2.99 decisions=30519, wrong=10742, backtracks=5514, failedAssignments=5371, nogoods=130, foundSolutions=3, bestBound=12
5.84/2.99
5.84/3.00 num=46, depth=5..10, filters=430744, ccks=4887, wck=0.419, mem=99M197
5.84/3.00 decisions=32714, wrong=11836, backtracks=6077, failedAssignments=5918, nogoods=132, foundSolutions=3, bestBound=12
5.84/3.00
6.08/3.03 num=47, depth=5..10, filters=510707, ccks=4887, wck=0.448, mem=99M197
6.08/3.03 decisions=35130, wrong=13040, backtracks=6685, failedAssignments=6520, nogoods=141, foundSolutions=3, bestBound=12
6.08/3.03
6.08/3.05 num=48, depth=5..10, filters=577928, ccks=4887, wck=0.471, mem=99M197
6.08/3.05 decisions=37786, wrong=14364, backtracks=7359, failedAssignments=7182, nogoods=145, foundSolutions=3, bestBound=12
6.08/3.05
6.08/3.07 num=49, depth=5..10, filters=639251, ccks=4887, wck=0.495, mem=99M197
6.08/3.07 decisions=40705, wrong=15820, backtracks=8108, failedAssignments=7910, nogoods=157, foundSolutions=3, bestBound=12
6.08/3.07
6.20/3.12 num=50, depth=5..10, filters=761343, ccks=4887, wck=0.539, mem=99M197
6.20/3.12 decisions=43918, wrong=17422, backtracks=8936, failedAssignments=8711, nogoods=165, foundSolutions=3, bestBound=12
6.20/3.12
6.20/3.13 num=51, depth=5..10, filters=784326, ccks=4887, wck=0.549, mem=99M197
6.20/3.13 decisions=47451, wrong=19184, backtracks=9842, failedAssignments=9592, nogoods=172, foundSolutions=3, bestBound=12
6.20/3.13
6.20/3.17 num=52, depth=5..10, filters=890593, ccks=4887, wck=0.587, mem=99M197
6.20/3.17 decisions=51339, wrong=21124, backtracks=10837, failedAssignments=10562, nogoods=180, foundSolutions=3, bestBound=12
6.20/3.17
6.30/3.20 num=53, depth=5..10, filters=979376, ccks=4887, wck=0.62, mem=99M197
6.30/3.20 decisions=55615, wrong=23258, backtracks=11933, failedAssignments=11629, nogoods=190, foundSolutions=3, bestBound=12
6.30/3.20
6.30/3.24 num=54, depth=5..10, filters=1083559, ccks=4887, wck=0.659, mem=99M197
6.30/3.24 decisions=60316, wrong=25604, backtracks=13141, failedAssignments=12802, nogoods=194, foundSolutions=3, bestBound=12
6.30/3.24
6.30/3.27 num=55, depth=5..10, filters=1147321, ccks=4887, wck=0.687, mem=99M197
6.30/3.27 decisions=65489, wrong=28186, backtracks=14463, failedAssignments=14093, nogoods=205, foundSolutions=3, bestBound=12
6.30/3.27
6.40/3.34 num=56, depth=5..10, filters=1357234, ccks=4887, wck=0.755, mem=99M197
6.40/3.34 decisions=71177, wrong=31026, backtracks=15923, failedAssignments=15513, nogoods=215, foundSolutions=3, bestBound=12
6.40/3.34
6.40/3.39 num=57, depth=5..10, filters=1499263, ccks=4887, wck=0.809, mem=99M197
6.40/3.39 decisions=77431, wrong=34150, backtracks=17541, failedAssignments=17075, nogoods=228, foundSolutions=3, bestBound=12
6.40/3.39
6.50/3.43 num=58, depth=5..10, filters=1614141, ccks=4887, wck=0.85, mem=99M197
6.50/3.43 decisions=84310, wrong=37586, backtracks=19313, failedAssignments=18793, nogoods=239, foundSolutions=3, bestBound=12
6.50/3.43
6.60/3.52 num=59, depth=5..10, filters=1880393, ccks=4887, wck=0.944, mem=101M839
6.60/3.52 decisions=91879, wrong=41366, backtracks=21247, failedAssignments=20683, nogoods=254, foundSolutions=3, bestBound=12
6.60/3.52
6.60/3.57 num=60, depth=5..10, filters=1990505, ccks=4887, wck=0.989, mem=101M839
6.60/3.57 decisions=100203, wrong=45524, backtracks=23395, failedAssignments=22762, nogoods=269, foundSolutions=3, bestBound=12
6.60/3.57
6.70/3.69 num=61, depth=5..10, filters=2335996, ccks=4887, wck=1.108, mem=101M839
6.70/3.69 decisions=109360, wrong=50098, backtracks=25746, failedAssignments=25049, nogoods=281, foundSolutions=3, bestBound=12
6.70/3.69
6.81/3.75 num=62, depth=5..10, filters=2486526, ccks=4887, wck=1.167, mem=101M839
6.81/3.75 decisions=119433, wrong=55130, backtracks=28341, failedAssignments=27565, nogoods=291, foundSolutions=3, bestBound=12
6.81/3.75
6.91/3.85 num=63, depth=5..10, filters=2767444, ccks=4887, wck=1.268, mem=101M839
6.91/3.85 decisions=130513, wrong=60666, backtracks=31204, failedAssignments=30333, nogoods=307, foundSolutions=3, bestBound=12
6.91/3.85
7.01/4.00 num=64, depth=5..10, filters=3211456, ccks=4887, wck=1.418, mem=101M839
7.01/4.00 decisions=142698, wrong=66754, backtracks=34336, failedAssignments=33377, nogoods=324, foundSolutions=3, bestBound=12
7.01/4.00
7.12/4.09 num=65, depth=5..10, filters=3444487, ccks=4887, wck=1.509, mem=101M839
7.12/4.09 decisions=156101, wrong=73452, backtracks=37787, failedAssignments=36726, nogoods=337, foundSolutions=3, bestBound=12
7.12/4.09
7.31/4.24 num=66, depth=5..10, filters=3886441, ccks=4887, wck=1.662, mem=101M839
7.31/4.24 decisions=170844, wrong=80820, backtracks=41591, failedAssignments=40410, nogoods=352, foundSolutions=3, bestBound=12
7.31/4.24
7.41/4.35 num=67, depth=5..10, filters=4160309, ccks=4887, wck=1.766, mem=101M839
7.41/4.35 decisions=187060, wrong=88924, backtracks=45753, failedAssignments=44462, nogoods=365, foundSolutions=3, bestBound=12
7.41/4.35
7.53/4.48 num=68, depth=4..10, filters=4540686, ccks=4887, wck=1.903, mem=101M839
7.53/4.48 decisions=204897, wrong=97838, backtracks=50347, failedAssignments=48919, nogoods=373, foundSolutions=3, bestBound=12
7.53/4.48
7.74/4.68 num=69, depth=4..10, filters=5141105, ccks=4887, wck=2.1, mem=101M839
7.74/4.68 decisions=224518, wrong=107644, backtracks=55416, failedAssignments=53822, nogoods=383, foundSolutions=3, bestBound=12
7.74/4.68
7.94/4.86 num=70, depth=4..10, filters=5643499, ccks=4887, wck=2.278, mem=101M839
7.94/4.86 decisions=246103, wrong=118432, backtracks=60974, failedAssignments=59216, nogoods=391, foundSolutions=3, bestBound=12
7.94/4.86
8.15/5.06 num=71, depth=4..10, filters=6198171, ccks=4887, wck=2.481, mem=101M839
8.15/5.06 decisions=269842, wrong=130298, backtracks=67110, failedAssignments=65149, nogoods=404, foundSolutions=3, bestBound=12
8.15/5.06
8.34/5.26 num=72, depth=4..10, filters=6773665, ccks=4887, wck=2.684, mem=104M482
8.34/5.26 decisions=295955, wrong=143350, backtracks=73847, failedAssignments=71675, nogoods=420, foundSolutions=3, bestBound=12
8.34/5.26
8.64/5.52 num=73, depth=4..10, filters=7512798, ccks=4887, wck=2.945, mem=104M482
8.64/5.52 decisions=324679, wrong=157708, backtracks=81292, failedAssignments=78854, nogoods=438, foundSolutions=3, bestBound=12
8.64/5.52
8.84/5.76 num=74, depth=4..10, filters=8169860, ccks=4887, wck=3.182, mem=104M482
8.84/5.76 decisions=356275, wrong=173502, backtracks=89469, failedAssignments=86751, nogoods=451, foundSolutions=3, bestBound=12
8.84/5.76
9.04/6.00 num=75, depth=4..10, filters=8843406, ccks=4887, wck=3.423, mem=104M482
9.04/6.00 decisions=391031, wrong=190876, backtracks=98446, failedAssignments=95438, nogoods=463, foundSolutions=3, bestBound=12
9.04/6.00
9.54/6.46 num=76, depth=4..10, filters=10253757, ccks=4887, wck=3.883, mem=104M482
9.54/6.46 decisions=429258, wrong=209986, backtracks=108330, failedAssignments=104993, nogoods=477, foundSolutions=3, bestBound=12
9.54/6.46
9.94/6.82 num=77, depth=4..10, filters=11284081, ccks=4887, wck=4.238, mem=104M482
9.94/6.82 decisions=471310, wrong=231008, backtracks=119179, failedAssignments=115504, nogoods=495, foundSolutions=3, bestBound=12
9.94/6.82
10.04/7.00 num=78, depth=4..10, filters=11732933, ccks=4887, wck=4.422, mem=107M124
10.04/7.00 decisions=517566, wrong=254132, backtracks=131134, failedAssignments=127066, nogoods=509, foundSolutions=3, bestBound=12
10.04/7.00
10.65/7.58 num=79, depth=4..10, filters=13449555, ccks=4887, wck=5.005, mem=107M124
10.65/7.58 decisions=568447, wrong=279568, backtracks=144311, failedAssignments=139784, nogoods=520, foundSolutions=3, bestBound=12
10.65/7.58
11.26/8.13 num=80, depth=4..10, filters=15016733, ccks=4887, wck=5.554, mem=107M124
11.26/8.13 decisions=624415, wrong=307548, backtracks=158773, failedAssignments=153774, nogoods=535, foundSolutions=3, bestBound=12
11.26/8.13
11.65/8.57 num=81, depth=4..10, filters=16210789, ccks=4887, wck=5.993, mem=107M124
11.65/8.57 decisions=685979, wrong=338326, backtracks=174714, failedAssignments=169163, nogoods=548, foundSolutions=3, bestBound=12
11.65/8.57
12.35/9.20 num=82, depth=4..10, filters=17984881, ccks=4887, wck=6.621, mem=109M767
12.35/9.20 decisions=753699, wrong=372182, backtracks=192254, failedAssignments=186091, nogoods=561, foundSolutions=3, bestBound=12
12.35/9.20
13.05/9.95 num=83, depth=4..10, filters=20090273, ccks=4887, wck=7.369, mem=109M767
13.05/9.95 decisions=828192, wrong=409424, backtracks=211475, failedAssignments=204712, nogoods=578, foundSolutions=3, bestBound=12
13.05/9.95
13.65/10.59 num=84, depth=4..10, filters=21869700, ccks=4887, wck=8.015, mem=112M409
13.65/10.59 decisions=910136, wrong=450392, backtracks=232628, failedAssignments=225196, nogoods=600, foundSolutions=3, bestBound=12
13.65/10.59
14.55/11.43 num=85, depth=4..10, filters=24255775, ccks=4887, wck=8.852, mem=112M409
14.55/11.43 decisions=1000270, wrong=495456, backtracks=255943, failedAssignments=247728, nogoods=616, foundSolutions=3, bestBound=12
14.55/11.43
15.35/12.26 num=86, depth=4..10, filters=26621784, ccks=4887, wck=9.68, mem=112M409
15.35/12.26 decisions=1099417, wrong=545026, backtracks=281650, failedAssignments=272513, nogoods=637, foundSolutions=3, bestBound=12
15.35/12.26
16.16/13.07 num=87, depth=4..10, filters=28971950, ccks=4887, wck=10.491, mem=115M52
16.16/13.07 decisions=1208480, wrong=599554, backtracks=309962, failedAssignments=299777, nogoods=652, foundSolutions=3, bestBound=12
16.16/13.07
17.26/14.17 num=88, depth=4..10, filters=32108424, ccks=4887, wck=11.595, mem=117M694
17.26/14.17 decisions=1328447, wrong=659534, backtracks=341067, failedAssignments=329767, nogoods=673, foundSolutions=3, bestBound=12
17.26/14.17
18.45/15.39 num=89, depth=3..10, filters=35643846, ccks=4887, wck=12.812, mem=117M694
18.45/15.39 decisions=1460410, wrong=725512, backtracks=375302, failedAssignments=362756, nogoods=693, foundSolutions=3, bestBound=12
18.45/15.39
19.55/16.46 num=90, depth=3..10, filters=38533799, ccks=4887, wck=13.883, mem=120M336
19.55/16.46 decisions=1605570, wrong=798088, backtracks=412965, failedAssignments=399044, nogoods=712, foundSolutions=3, bestBound=12
19.55/16.46
21.17/18.10 num=91, depth=3..10, filters=43222552, ccks=4887, wck=15.522, mem=122M979
21.17/18.10 decisions=1765246, wrong=877922, backtracks=454370, failedAssignments=438961, nogoods=724, foundSolutions=3, bestBound=12
21.17/18.10
22.77/19.69 num=92, depth=3..10, filters=47875169, ccks=4887, wck=17.111, mem=122M979
22.77/19.69 decisions=1940891, wrong=965740, backtracks=499902, failedAssignments=482870, nogoods=743, foundSolutions=3, bestBound=12
22.77/19.69
24.47/21.31 num=93, depth=3..10, filters=52382111, ccks=4887, wck=18.726, mem=125M621
24.47/21.31 decisions=2134098, wrong=1062340, backtracks=550097, failedAssignments=531170, nogoods=756, foundSolutions=3, bestBound=12
24.47/21.31
26.37/23.28 num=94, depth=3..10, filters=57919331, ccks=4887, wck=20.701, mem=128M264
26.37/23.28 decisions=2346626, wrong=1168600, backtracks=605447, failedAssignments=584300, nogoods=776, foundSolutions=3, bestBound=12
26.37/23.28
27.66/24.51 num=95, depth=3..10, filters=61008899, ccks=4887, wck=21.935, mem=130M906
27.66/24.51 decisions=2580405, wrong=1285486, backtracks=666127, failedAssignments=642743, nogoods=801, foundSolutions=3, bestBound=12
27.66/24.51
30.48/27.36 num=96, depth=3..10, filters=69692581, ccks=4887, wck=24.777, mem=136M191
30.48/27.36 decisions=2837561, wrong=1414060, backtracks=733110, failedAssignments=707030, nogoods=813, foundSolutions=3, bestBound=12
30.48/27.36
33.58/30.45 num=97, depth=3..10, filters=78150977, ccks=4887, wck=27.875, mem=138M833
33.58/30.45 decisions=3120433, wrong=1555492, backtracks=806658, failedAssignments=777746, nogoods=832, foundSolutions=3, bestBound=12
33.58/30.45
36.88/33.77 num=98, depth=3..10, filters=87656885, ccks=4887, wck=31.192, mem=141M476
36.88/33.77 decisions=3431589, wrong=1711066, backtracks=887556, failedAssignments=855533, nogoods=849, foundSolutions=3, bestBound=12
36.88/33.77
39.63/36.44 num=99, depth=3..10, filters=95010327, ccks=4887, wck=33.861, mem=34M431
39.63/36.44 decisions=3773861, wrong=1882198, backtracks=976480, failedAssignments=941099, nogoods=866, foundSolutions=3, bestBound=12
39.63/36.44
43.13/39.90 num=100, depth=3..10, filters=105124262, ccks=4887, wck=37.318, mem=39M610
43.13/39.90 decisions=4150360, wrong=2070444, backtracks=1074438, failedAssignments=1035222, nogoods=876, foundSolutions=3, bestBound=12
43.13/39.90
45.74/42.55 num=101, depth=3..10, filters=112772201, ccks=4887, wck=39.969, mem=44M789
45.74/42.55 decisions=4564508, wrong=2277514, backtracks=1182219, failedAssignments=1138757, nogoods=897, foundSolutions=3, bestBound=12
45.74/42.55
50.84/47.64 num=102, depth=3..10, filters=128395513, ccks=4887, wck=45.06, mem=49M968
50.84/47.64 decisions=5020073, wrong=2505292, backtracks=1300616, failedAssignments=1252646, nogoods=913, foundSolutions=3, bestBound=12
50.84/47.64
55.55/52.36 num=103, depth=3..10, filters=142351373, ccks=4887, wck=49.776, mem=57M737
55.55/52.36 decisions=5521193, wrong=2755848, backtracks=1430842, failedAssignments=1377924, nogoods=931, foundSolutions=3, bestBound=12
55.55/52.36
59.75/56.54 num=104, depth=3..10, filters=154018725, ccks=4887, wck=53.96, mem=62M916
59.75/56.54 decisions=6072425, wrong=3031460, backtracks=1574351, failedAssignments=1515730, nogoods=949, foundSolutions=3, bestBound=12
59.75/56.54
64.36/61.16 num=105, depth=3..10, filters=167429352, ccks=4887, wck=58.577, mem=70M684
64.36/61.16 decisions=6678776, wrong=3334632, backtracks=1732504, failedAssignments=1667316, nogoods=965, foundSolutions=3, bestBound=12
64.36/61.16
69.45/66.23 num=106, depth=3..10, filters=182287585, ccks=4887, wck=63.648, mem=78M453
69.45/66.23 decisions=7345763, wrong=3668122, backtracks=1905674, failedAssignments=1834061, nogoods=988, foundSolutions=3, bestBound=12
69.45/66.23
77.05/73.87 num=107, depth=3..10, filters=204991237, ccks=4887, wck=71.294, mem=88M811
77.05/73.87 decisions=8079447, wrong=4034960, backtracks=2096926, failedAssignments=2017480, nogoods=1011, foundSolutions=3, bestBound=12
77.05/73.87
84.85/81.64 num=108, depth=3..10, filters=228115936, ccks=4887, wck=79.056, mem=99M169
84.85/81.64 decisions=8886499, wrong=4438482, backtracks=2307198, failedAssignments=2219241, nogoods=1030, foundSolutions=3, bestBound=12
84.85/81.64
92.55/89.39 num=109, depth=3..10, filters=250930664, ccks=4887, wck=86.809, mem=109M527
92.55/89.39 decisions=9774259, wrong=4882358, backtracks=2538249, failedAssignments=2441179, nogoods=1050, foundSolutions=3, bestBound=12
92.55/89.39
102.56/99.34 num=110, depth=3..10, filters=280175534, ccks=4887, wck=96.76, mem=122M474
102.56/99.34 decisions=10750791, wrong=5370620, backtracks=2792674, failedAssignments=2685310, nogoods=1074, foundSolutions=3, bestBound=12
102.56/99.34
109.87/106.65 num=111, depth=2..10, filters=301004728, ccks=4887, wck=104.072, mem=135M422
109.87/106.65 decisions=11824980, wrong=5907710, backtracks=3072597, failedAssignments=2953855, nogoods=1092, foundSolutions=3, bestBound=12
109.87/106.65
118.57/115.38 num=112, depth=2..10, filters=326389967, ccks=4887, wck=112.8, mem=149M690
118.57/115.38 decisions=13006583, wrong=6498508, backtracks=3380305, failedAssignments=3249254, nogoods=1112, foundSolutions=3, bestBound=12
118.57/115.38
132.11/128.81 num=113, depth=2..10, filters=367073435, ccks=4887, wck=126.235, mem=34M498
132.11/128.81 decisions=14306346, wrong=7148386, backtracks=3719252, failedAssignments=3574193, nogoods=1132, foundSolutions=3, bestBound=12
132.11/128.81
140.56/137.25 num=114, depth=2..10, filters=391109890, ccks=4887, wck=134.673, mem=52M689
140.56/137.25 decisions=15736086, wrong=7863252, backtracks=4091997, failedAssignments=3931626, nogoods=1152, foundSolutions=3, bestBound=12
140.56/137.25
151.66/148.33 num=115, depth=2..10, filters=423942279, ccks=4887, wck=145.75, mem=70M881
151.66/148.33 decisions=17308797, wrong=8649604, backtracks=4501041, failedAssignments=4324802, nogoods=1173, foundSolutions=3, bestBound=12
151.66/148.33
169.37/166.03 num=116, depth=2..10, filters=477981533, ccks=4887, wck=163.452, mem=91M671
169.37/166.03 decisions=19038781, wrong=9514592, backtracks=4951446, failedAssignments=4757296, nogoods=1189, foundSolutions=3, bestBound=12
169.37/166.03
178.77/175.47 num=117, depth=2..10, filters=503281368, ccks=4887, wck=172.887, mem=115M60
178.77/175.47 decisions=20941766, wrong=10466080, backtracks=5447104, failedAssignments=5233040, nogoods=1213, foundSolutions=3, bestBound=12
178.77/175.47
198.77/195.46 num=118, depth=2..10, filters=563933267, ccks=4887, wck=192.882, mem=141M47
198.77/195.46 decisions=23035045, wrong=11512716, backtracks=5991899, failedAssignments=5756358, nogoods=1241, foundSolutions=3, bestBound=12
198.77/195.46
221.83/218.45 num=119, depth=2..10, filters=633281243, ccks=4887, wck=215.872, mem=37M127
221.83/218.45 decisions=25337654, wrong=12664016, backtracks=6592210, failedAssignments=6332008, nogoods=1259, foundSolutions=3, bestBound=12
221.83/218.45
247.54/244.12 num=120, depth=2..10, filters=709972873, ccks=4887, wck=241.541, mem=68M496
247.54/244.12 decisions=27870523, wrong=13930446, backtracks=7251688, failedAssignments=6965223, nogoods=1278, foundSolutions=3, bestBound=12
247.54/244.12
272.45/269.10 num=121, depth=2..10, filters=784021170, ccks=4887, wck=266.519, mem=102M478
272.45/269.10 decisions=30656676, wrong=15323518, backtracks=7977308, failedAssignments=7661759, nogoods=1296, foundSolutions=3, bestBound=12
272.45/269.10
299.56/296.19 num=122, depth=2..10, filters=866541801, ccks=4887, wck=293.611, mem=139M75
299.56/296.19 decisions=33721443, wrong=16855898, backtracks=8775343, failedAssignments=8427949, nogoods=1321, foundSolutions=3, bestBound=12
299.56/296.19
328.10/324.63 num=123, depth=2..10, filters=952086818, ccks=4887, wck=322.051, mem=49M975
328.10/324.63 decisions=37092687, wrong=18541516, backtracks=9654521, failedAssignments=9270758, nogoods=1337, foundSolutions=3, bestBound=12
328.10/324.63
352.71/349.23 num=124, depth=2..10, filters=1020265788, ccks=4887, wck=346.648, mem=93M875
352.71/349.23 decisions=40801053, wrong=20395696, backtracks=10622001, failedAssignments=10197848, nogoods=1365, foundSolutions=3, bestBound=12
352.71/349.23
392.72/389.23 num=125, depth=2..10, filters=1142851370, ccks=4887, wck=386.655, mem=145M521
392.72/389.23 decisions=44880256, wrong=22435294, backtracks=11685138, failedAssignments=11217647, nogoods=1388, foundSolutions=3, bestBound=12
392.72/389.23
439.48/435.96 num=126, depth=2..10, filters=1279977758, ccks=4887, wck=433.379, mem=70M136
439.48/435.96 decisions=49367380, wrong=24678852, backtracks=12854166, failedAssignments=12339426, nogoods=1417, foundSolutions=3, bestBound=12
439.48/435.96
473.89/470.38 num=127, depth=2..10, filters=1375605879, ccks=4887, wck=467.801, mem=131M262
473.89/470.38 decisions=54303215, wrong=27146766, backtracks=14139991, failedAssignments=13573383, nogoods=1437, foundSolutions=3, bestBound=12
473.89/470.38
516.45/512.83 num=128, depth=2..10, filters=1502072645, ccks=4887, wck=510.25, mem=69M602
516.45/512.83 decisions=59732635, wrong=29861472, backtracks=15555014, failedAssignments=14930736, nogoods=1457, foundSolutions=3, bestBound=12
516.45/512.83
578.16/574.55 num=129, depth=2..10, filters=1693112258, ccks=4887, wck=571.969, mem=142M368
578.16/574.55 decisions=65704995, wrong=32847648, backtracks=17111670, failedAssignments=16423824, nogoods=1480, foundSolutions=3, bestBound=12
578.16/574.55
645.41/641.78 num=130, depth=2..10, filters=1892768150, ccks=4887, wck=639.196, mem=96M133
645.41/641.78 decisions=72274590, wrong=36132441, backtracks=18824750, failedAssignments=18066221, nogoods=1505, foundSolutions=3, bestBound=12
645.41/641.78
708.49/704.77 num=131, depth=2..10, filters=2074451024, ccks=4887, wck=702.187, mem=61M88
708.49/704.77 decisions=79501146, wrong=39745715, backtracks=20707487, failedAssignments=19872858, nogoods=1533, foundSolutions=3, bestBound=12
708.49/704.77
765.73/761.92 num=132, depth=2..10, filters=2234243931, ccks=4887, wck=759.338, mem=36M710
765.73/761.92 decisions=87450347, wrong=43720311, backtracks=22780411, failedAssignments=21860159, nogoods=1559, foundSolutions=3, bestBound=12
765.73/761.92
848.17/844.39 num=133, depth=2..10, filters=2485703797, ccks=4887, wck=841.809, mem=144M206
848.17/844.39 decisions=96194479, wrong=48092373, backtracks=25060889, failedAssignments=24046190, nogoods=1593, foundSolutions=3, bestBound=12
848.17/844.39
947.63/943.78 num=134, depth=2..10, filters=2783110964, ccks=4887, wck=941.202, mem=142M785
947.63/943.78 decisions=105813023, wrong=52901641, backtracks=27567232, failedAssignments=26450824, nogoods=1625, foundSolutions=3, bestBound=12
947.63/943.78
1024.33/1020.32 num=135, depth=2..10, filters=2995856415, ccks=4887, wck=1017.738, mem=38M803
1024.33/1020.32 decisions=116393420, wrong=58191835, backtracks=30328072, failedAssignments=29095921, nogoods=1652, foundSolutions=3, bestBound=12
1024.33/1020.32
1117.90/1113.90 num=136, depth=1..10, filters=3273992790, ccks=4887, wck=1111.316, mem=65M934
1117.90/1113.90 decisions=128031855, wrong=64011049, backtracks=33367243, failedAssignments=32005528, nogoods=1675, foundSolutions=3, bestBound=12
1117.90/1113.90
1248.16/1244.01 num=137, depth=1..10, filters=3666785196, ccks=4887, wck=1241.432, mem=110M129
1248.16/1244.01 decisions=140834134, wrong=70412185, backtracks=36707191, failedAssignments=35206096, nogoods=1700, foundSolutions=3, bestBound=12
1248.16/1244.01
1357.05/1352.86 num=138, depth=1..10, filters=3975717032, ccks=4887, wck=1350.277, mem=63M404
1357.05/1352.86 decisions=154916630, wrong=77453429, backtracks=40381857, failedAssignments=38726721, nogoods=1726, foundSolutions=3, bestBound=12
1357.05/1352.86
1487.98/1483.71 num=139, depth=1..10, filters=4371404255, ccks=4887, wck=1481.127, mem=37M211
1487.98/1483.71 decisions=170407385, wrong=85198803, backtracks=44421499, failedAssignments=42599408, nogoods=1753, foundSolutions=3, bestBound=12
1487.98/1483.71
1639.84/1635.52 num=140, depth=1..10, filters=4813518877, ccks=4887, wck=1632.936, mem=39M169
1639.84/1635.52 decisions=187447208, wrong=93718711, backtracks=48867649, failedAssignments=46859364, nogoods=1791, foundSolutions=3, bestBound=12
1639.84/1635.52
1794.08/1789.75 num=141, depth=1..10, filters=5253044517, ccks=4887, wck=1787.168, mem=66M806
1794.08/1789.75 decisions=206190991, wrong=103090599, backtracks=53765022, failedAssignments=51545316, nogoods=1817, foundSolutions=3, bestBound=12
1794.08/1789.75
1970.82/1966.49 num=142, depth=1..10, filters=5766996171, ccks=4887, wck=1963.914, mem=122M398
1970.82/1966.49 decisions=226809187, wrong=113399693, backtracks=59139000, failedAssignments=56699863, nogoods=1839, foundSolutions=3, bestBound=12
1970.82/1966.49
2208.81/2204.30 num=143, depth=1..10, filters=6476665018, ccks=4887, wck=2201.725, mem=113M845
2208.81/2204.30 decisions=249489202, wrong=124739697, backtracks=65060884, failedAssignments=62369865, nogoods=1865, foundSolutions=3, bestBound=12
2208.81/2204.30
2400.00/2395.40
2400.00/2395.40 v <instantiation id='sol3' type='solution' cost='12'> <list> x[] </list> <values> 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 1 1 2 0 1 0 0 0 0 1 0 0 0 0 1 0 2 0 3 0 0 0 0 4 0 3 0 0 2 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 1 0 0 0 2 0 0 0 0 1 2 0 0 0 0 5 0 0 0 3 0 0 0 0 0 0 1 0 1 0 0 6 0 1 0 0 0 0 0 0 0 0 0 3 0 0 4 2 3 0 3 1 0 0 0 4 1 4 1 0 7 5 0 0 1 3 0 1 0 1 2 0 0 1 8 0 0 0 0 2 2 1 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 4 4 4 0 0 5 1 1 0 3 1 0 0 1 0 0 3 5 0 0 4 0 0 0 0 3 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 6 0 0 2 0 0 0 1 0 2 0 0 0 0 0 5 1 1 6 2 2 0 0 7 1 1 0 0 0 0 1 0 7 3 0 0 1 2 0 0 0 7 4 0 0 0 0 0 4 0 0 1 0 1 0 0 5 0 0 2 0 0 1 0 1 0 2 0 1 2 4 0 0 1 0 0 1 3 0 0 0 0 0 0 0 0 5 1 1 0 0 9 7 0 0 0 5 1 0 0 0 8 0 0 5 6 0 1 0 5 1 0 1 2 0 0 0 4 2 2 0 2 0 6 6 7 0 0 1 0 1 1 2 0 4 0 0 6 0 0 2 0 0 8 0 2 1 2 2 1 0 0 0 7 2 0 9 2 0 0 0 2 2 0 8 0 8 1 0 0 0 1 9 0 1 0 1 0 4 1 5 6 3 1 0 1 0 0 0 5 1 0 0 0 0 0 0 0 0 0 0 4 0 6 1 1 1 3 10 1 0 0 0 2 0 0 0 0 3 0 1 1 1 0 1 0 0 1 1 2 0 1 1 1 0 4 3 0 2 5 0 10 0 2 1 1 0 9 8 0 0 1 10 4 8 0 1 0 7 0 2 2 1 3 3 0 9 3 3 1 1 0 1 7 1 1 0 2 0 0 1 2 11 2 1 0 1 1 0 0 0 0 0 0 4 0 0 2 5 0 0 11 1 0 3 12 0 2 0 3 7 0 0 1 4 0 9 0 </values> </instantiation>
2400.00/2395.40 s SATISFIABLE
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14161 MiB free)
memory of node 1: 16384 MiB (13819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391141-1568388872/watcher-4391141-1568388872 -o /tmp/evaluation-result-4391141-1568388872/solver-4391141-1568388872 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568388592-14518 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391141-1568388872.xml -cm
running on 4 cores: 0,2,4,6
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=14825, runsolver pid=14822
[startup+0.100129 s]*
/proc/loadavg: 2.21 1.71 1.70 5/229 14840
/proc/meminfo: memFree=28636440/32770624 swapFree=66998528/67108860
[pid=14825] ppid=14822 vsize=10659884 memory=28548 CPUtime=0.13 cores=0,2,4,6
/proc/14825/stat : 14825 (java) S 14822 14825 12443 0 -1 1077944320 5585 0 0 0 12 1 0 0 20 0 15 0 415156043 10915721216 7137 33554432000 4194304 4196468 140724913762512 140724913745056 140468431789815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
/proc/14825/statm: 2664971 7137 2902 1 0 2627468 0
[pid=14825/tid=14827] ppid=14822 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/14825/task/14827/stat : 14827 (java) R 14822 14825 12443 0 -1 4202560 3305 0 0 0 8 1 0 0 20 0 15 0 415156043 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468436018832 140468417483224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14828] ppid=14822 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14828/stat : 14828 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468384410640 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14829] ppid=14822 vsize=10659884 memory=139828566521472 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14829/stat : 14829 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468383358096 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14830] ppid=14822 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14830/stat : 14830 (java) S 14822 14825 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468036492048 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14831] ppid=14822 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14831/stat : 14831 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468035439504 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14832] ppid=14822 vsize=10659884 memory=139828566521472 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14832/stat : 14832 (java) S 14822 14825 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415156045 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468006787312 140468431800962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14833] ppid=14822 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14833/stat : 14833 (java) S 14822 14825 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415156046 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468005733536 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14834] ppid=14822 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14834/stat : 14834 (java) S 14822 14825 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415156046 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468004680432 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14835] ppid=14822 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14835/stat : 14835 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415156048 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468003629008 140468431808411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14836] ppid=14822 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14836/stat : 14836 (java) S 14822 14825 12443 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 15 0 415156048 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468002577136 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14837] ppid=14822 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14837/stat : 14837 (java) S 14822 14825 12443 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 415156048 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468001524592 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14838] ppid=14822 vsize=10659884 memory=139828566521472 CPUtime=0.02 cores=0,2,4,6
/proc/14825/task/14838/stat : 14838 (java) R 14822 14825 12443 0 -1 4202560 404 0 0 0 2 0 0 0 20 0 15 0 415156048 10915721216 7137 33554432000 4194304 4196468 140724913762512 140468000467448 140468410925286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14839] ppid=14822 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14839/stat : 14839 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415156049 10915721216 7137 33554432000 4194304 4196468 140724913762512 140467999419232 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14840] ppid=14822 vsize=10659884 memory=139828566521472 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14840/stat : 14840 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156049 10915721216 7137 33554432000 4194304 4196468 140724913762512 140467998366256 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28548 KiB
[startup+0.210751 s]*
/proc/loadavg: 2.21 1.71 1.70 3/229 14840
/proc/meminfo: memFree=28629696/32770624 swapFree=66998528/67108860
[pid=14825] ppid=14822 vsize=10659884 memory=35120 CPUtime=0.33 cores=0,2,4,6
/proc/14825/stat : 14825 (java) S 14822 14825 12443 0 -1 1077944320 6898 0 0 0 31 2 0 0 20 0 15 0 415156043 10915721216 8780 33554432000 4194304 4196468 140724913762512 140724913745056 140468431789815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
/proc/14825/statm: 2664971 8780 2989 1 0 2627468 0
[pid=14825/tid=14827] ppid=14822 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/14825/task/14827/stat : 14827 (java) R 14822 14825 12443 0 -1 4202560 3876 0 0 0 19 1 0 0 20 0 15 0 415156043 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468436027984 140468431811741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14828] ppid=14822 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14828/stat : 14828 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468384410640 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14829] ppid=14822 vsize=10659884 memory=139828569593693 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14829/stat : 14829 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468383358096 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14830] ppid=14822 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14830/stat : 14830 (java) S 14822 14825 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468036492048 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14831] ppid=14822 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14831/stat : 14831 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468035439504 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14832] ppid=14822 vsize=10659884 memory=139828566521472 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14832/stat : 14832 (java) S 14822 14825 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415156045 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468006787312 140468431800962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14833] ppid=14822 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14833/stat : 14833 (java) S 14822 14825 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415156046 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468005733536 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14834] ppid=14822 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14834/stat : 14834 (java) S 14822 14825 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415156046 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468004680432 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14835] ppid=14822 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14835/stat : 14835 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415156048 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468003629008 140468431808411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14836] ppid=14822 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14825/task/14836/stat : 14836 (java) S 14822 14825 12443 0 -1 1077944384 609 0 0 0 3 0 0 0 20 0 15 0 415156048 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468002577136 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14837] ppid=14822 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/14825/task/14837/stat : 14837 (java) S 14822 14825 12443 0 -1 1077944384 340 0 0 0 3 0 0 0 20 0 15 0 415156048 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468001524592 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14838] ppid=14822 vsize=10659884 memory=139828566521472 CPUtime=0.05 cores=0,2,4,6
/proc/14825/task/14838/stat : 14838 (java) S 14822 14825 12443 0 -1 1077944384 714 0 0 0 5 0 0 0 20 0 15 0 415156048 10915721216 8780 33554432000 4194304 4196468 140724913762512 140468000471536 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14839] ppid=14822 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14839/stat : 14839 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415156049 10915721216 8780 33554432000 4194304 4196468 140724913762512 140467999419232 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14840] ppid=14822 vsize=10659884 memory=139828566521472 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14840/stat : 14840 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156049 10915721216 8780 33554432000 4194304 4196468 140724913762512 140467998366256 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35120 KiB
[startup+0.310172 s]*
/proc/loadavg: 2.21 1.71 1.70 3/229 14840
/proc/meminfo: memFree=28621352/32770624 swapFree=66998528/67108860
[pid=14825] ppid=14822 vsize=10659884 memory=40492 CPUtime=0.47 cores=0,2,4,6
/proc/14825/stat : 14825 (java) S 14822 14825 12443 0 -1 1077944320 9420 0 0 0 43 4 0 0 20 0 15 0 415156043 10915721216 10123 33554432000 4194304 4196468 140724913762512 140724913745056 140468431789815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
/proc/14825/statm: 2664971 10123 3002 1 0 2627468 0
[pid=14825/tid=14827] ppid=14822 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/14825/task/14827/stat : 14827 (java) R 14822 14825 12443 0 -1 4202560 6317 0 0 0 27 3 0 0 20 0 15 0 415156043 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468436022224 140468431811741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14828] ppid=14822 vsize=10659884 memory=1946931 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14828/stat : 14828 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468384410640 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14829] ppid=14822 vsize=10659884 memory=139828569593661 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14829/stat : 14829 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468383358096 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14830] ppid=14822 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14830/stat : 14830 (java) S 14822 14825 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468036492048 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14831] ppid=14822 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14831/stat : 14831 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468035439504 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14832] ppid=14822 vsize=10659884 memory=139828566521472 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14832/stat : 14832 (java) S 14822 14825 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415156045 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468006787312 140468431800962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14833] ppid=14822 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14833/stat : 14833 (java) S 14822 14825 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415156046 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468005733536 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14834] ppid=14822 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14834/stat : 14834 (java) S 14822 14825 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415156046 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468004680432 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14835] ppid=14822 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14835/stat : 14835 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415156048 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468003629008 140468431808411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14836] ppid=14822 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14825/task/14836/stat : 14836 (java) S 14822 14825 12443 0 -1 1077944384 650 0 0 0 4 0 0 0 20 0 15 0 415156048 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468002577136 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14837] ppid=14822 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/14825/task/14837/stat : 14837 (java) S 14822 14825 12443 0 -1 1077944384 355 0 0 0 3 0 0 0 20 0 15 0 415156048 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468001524592 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14838] ppid=14822 vsize=10659884 memory=139828566521472 CPUtime=0.07 cores=0,2,4,6
/proc/14825/task/14838/stat : 14838 (java) S 14822 14825 12443 0 -1 1077944384 741 0 0 0 7 0 0 0 20 0 15 0 415156048 10915721216 10123 33554432000 4194304 4196468 140724913762512 140468000471536 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14839] ppid=14822 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14839/stat : 14839 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415156049 10915721216 10123 33554432000 4194304 4196468 140724913762512 140467999419232 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14840] ppid=14822 vsize=10659884 memory=139828566521472 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14840/stat : 14840 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156049 10915721216 10123 33554432000 4194304 4196468 140724913762512 140467998366256 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40492 KiB
[startup+0.70074 s]
/proc/loadavg: 2.21 1.71 1.70 3/229 14840
/proc/meminfo: memFree=28612572/32770624 swapFree=66998528/67108860
[pid=14825] ppid=14822 vsize=10661932 memory=64156 CPUtime=1.11 cores=0,2,4,6
/proc/14825/stat : 14825 (java) S 14822 14825 12443 0 -1 1077944320 13126 0 0 0 105 6 0 0 20 0 15 0 415156043 10917818368 16039 33554432000 4194304 4196468 140724913762512 140724913745056 140468431789815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
/proc/14825/statm: 2665483 16039 3071 1 0 2627980 0
[pid=14825/tid=14827] ppid=14822 vsize=10661932 memory=21884 CPUtime=0.68 cores=0,2,4,6
/proc/14825/task/14827/stat : 14827 (java) R 14822 14825 12443 0 -1 4202560 8876 0 0 0 64 4 0 0 20 0 15 0 415156043 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468436021840 140468431811741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14828] ppid=14822 vsize=10661932 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14828/stat : 14828 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468384410640 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14829] ppid=14822 vsize=10661932 memory=524 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14829/stat : 14829 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468383358096 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14830] ppid=14822 vsize=10661932 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14830/stat : 14830 (java) S 14822 14825 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415156044 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468036492048 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14831] ppid=14822 vsize=10661932 memory=928 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14831/stat : 14831 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468035439504 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14832] ppid=14822 vsize=10661932 memory=3536 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14832/stat : 14832 (java) S 14822 14825 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415156045 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468006787312 140468431800962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14833] ppid=14822 vsize=10661932 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14833/stat : 14833 (java) S 14822 14825 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415156046 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468005733536 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14834] ppid=14822 vsize=10661932 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14834/stat : 14834 (java) S 14822 14825 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415156046 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468004680432 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14835] ppid=14822 vsize=10661932 memory=816 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14835/stat : 14835 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415156048 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468003629008 140468431808411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14836] ppid=14822 vsize=10661932 memory=6153431502485415268 CPUtime=0.11 cores=0,2,4,6
/proc/14825/task/14836/stat : 14836 (java) S 14822 14825 12443 0 -1 1077944384 1018 0 0 0 11 0 0 0 20 0 15 0 415156048 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468002577136 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14837] ppid=14822 vsize=10661932 memory=7453282923461503316 CPUtime=0.1 cores=0,2,4,6
/proc/14825/task/14837/stat : 14837 (java) R 14822 14825 12443 0 -1 4202560 634 0 0 0 10 0 0 0 20 0 15 0 415156048 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468001506144 140468415328936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14838] ppid=14822 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=0,2,4,6
/proc/14825/task/14838/stat : 14838 (java) S 14822 14825 12443 0 -1 1077944384 1240 0 0 0 18 0 0 0 20 0 15 0 415156048 10917818368 16039 33554432000 4194304 4196468 140724913762512 140468000471536 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14839] ppid=14822 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14839/stat : 14839 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415156049 10917818368 16039 33554432000 4194304 4196468 140724913762512 140467999419232 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14840] ppid=14822 vsize=10661932 memory=7738707418567895914 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14840/stat : 14840 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156049 10917818368 16039 33554432000 4194304 4196468 140724913762512 140467998366256 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64156 KiB
[startup+1.50071 s]
/proc/loadavg: 2.21 1.71 1.70 3/230 14842
/proc/meminfo: memFree=28595400/32770624 swapFree=66998528/67108860
[pid=14825] ppid=14822 vsize=10663980 memory=76108 CPUtime=2.01 cores=0,2,4,6
/proc/14825/stat : 14825 (java) S 14822 14825 12443 0 -1 1077944320 18680 0 0 0 194 7 0 0 20 0 15 0 415156043 10919915520 19027 33554432000 4194304 4196468 140724913762512 140724913745056 140468431789815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
/proc/14825/statm: 2665995 19027 3097 1 0 2628492 0
[pid=14825/tid=14827] ppid=14822 vsize=10663980 memory=6378026435766 CPUtime=1.48 cores=0,2,4,6
/proc/14825/task/14827/stat : 14827 (java) R 14822 14825 12443 0 -1 4202560 13021 0 0 0 142 6 0 0 20 0 15 0 415156043 10919915520 19027 33554432000 4194304 4196468 140724913762512 140468436015696 140468415870302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14828] ppid=14822 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14828/stat : 14828 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10919915520 19027 33554432000 4194304 4196468 140724913762512 140468384410640 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14829] ppid=14822 vsize=10663980 memory=16100368647981698 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14829/stat : 14829 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10919915520 19027 33554432000 4194304 4196468 140724913762512 140468383358096 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14830] ppid=14822 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14830/stat : 14830 (java) S 14822 14825 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415156044 10919915520 19027 33554432000 4194304 4196468 140724913762512 140468036492048 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14831] ppid=14822 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14831/stat : 14831 (java) S 14822 14825 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415156044 10919915520 19027 33554432000 4194304 4196468 140724913762512 140468035439504 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14832] ppid=14822 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14832/stat : 14832 (java) S 14822 14825 12443 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 415156045 10919915520 19027 33554432000 4194304 4196468 140724913762512 140468006787312 140468431800962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
################
# More data... #
################
/proc/14825/task/14831/stat : 14831 (java) S 14822 14825 12443 0 -1 1077944384 5537 0 0 0 21 2 0 0 20 0 16 0 415156044 11006283776 71782 33554432000 4194304 4196468 140724913762512 140468035439504 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14832] ppid=14822 vsize=10748324 memory=287128 CPUtime=0.07 cores=0,2,4,6
/proc/14825/task/14832/stat : 14832 (java) S 14822 14825 12443 0 -1 1077944384 6812 0 0 0 5 2 0 0 20 0 16 0 415156045 11006283776 71782 33554432000 4194304 4196468 140724913762512 140468006787312 140468431800962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14833] ppid=14822 vsize=10748324 memory=287128 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14833/stat : 14833 (java) S 14822 14825 12443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415156046 11006283776 71782 33554432000 4194304 4196468 140724913762512 140468005733600 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14834] ppid=14822 vsize=10748324 memory=287128 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14834/stat : 14834 (java) S 14822 14825 12443 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 415156046 11006283776 71782 33554432000 4194304 4196468 140724913762512 140468004680448 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14835] ppid=14822 vsize=10748324 memory=287128 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14835/stat : 14835 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415156048 11006283776 71782 33554432000 4194304 4196468 140724913762512 140468003629008 140468431808411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14836] ppid=14822 vsize=10748324 memory=287128 CPUtime=1.24 cores=0,2,4,6
/proc/14825/task/14836/stat : 14836 (java) S 14822 14825 12443 0 -1 1077944384 6557 0 0 0 123 1 0 0 20 0 16 0 415156048 11006283776 71782 33554432000 4194304 4196468 140724913762512 140468002577136 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14837] ppid=14822 vsize=10748324 memory=287128 CPUtime=1.22 cores=0,2,4,6
/proc/14825/task/14837/stat : 14837 (java) S 14822 14825 12443 0 -1 1077944384 4631 0 0 0 121 1 0 0 20 0 16 0 415156048 11006283776 71782 33554432000 4194304 4196468 140724913762512 140468001524592 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14838] ppid=14822 vsize=10748324 memory=287128 CPUtime=0.81 cores=0,2,4,6
/proc/14825/task/14838/stat : 14838 (java) S 14822 14825 12443 0 -1 1077944384 7835 0 0 0 79 2 0 0 20 0 16 0 415156048 11006283776 71782 33554432000 4194304 4196468 140724913762512 140468000471536 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14839] ppid=14822 vsize=10748324 memory=203548566981533 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14839/stat : 14839 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415156049 11006283776 71782 33554432000 4194304 4196468 140724913762512 140467999419232 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14840] ppid=14822 vsize=10748324 memory=3467972225942434880 CPUtime=0.59 cores=0,2,4,6
/proc/14825/task/14840/stat : 14840 (java) S 14822 14825 12443 0 -1 1077944384 1487 0 0 0 27 32 0 0 20 0 16 0 415156049 11006283776 71782 33554432000 4194304 4196468 140724913762512 140467998366256 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14843] ppid=14822 vsize=10748324 memory=3624 CPUtime=2259.96 cores=0,2,4,6
/proc/14825/task/14843/stat : 14843 (java) R 14822 14825 12443 0 -1 4202560 19578 0 0 0 225990 6 0 0 20 0 16 0 415156234 11006283776 71782 33554432000 4194304 4196468 140724913762512 140467981414272 140468416362237 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
Current children cumulated CPU time: 2266.83 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 287128 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.93 1.88 3/230 15158
/proc/meminfo: memFree=28460824/32770624 swapFree=66998528/67108860
[pid=14825] ppid=14822 vsize=10748324 memory=283024 CPUtime=2326.86 cores=0,2,4,6
/proc/14825/stat : 14825 (java) S 14822 14825 12443 0 -1 1077944320 86627 0 0 0 232633 53 0 0 20 0 16 0 415156043 11006283776 70756 33554432000 4194304 4196468 140724913762512 140724913745056 140468431789815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
/proc/14825/statm: 2687081 70756 3373 1 0 2647217 0
[pid=14825/tid=14827] ppid=14822 vsize=10748324 memory=283024 CPUtime=1.89 cores=0,2,4,6
/proc/14825/task/14827/stat : 14827 (java) S 14822 14825 12443 0 -1 1077944384 15318 0 0 0 182 7 0 0 20 0 16 0 415156043 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468436032688 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14828] ppid=14822 vsize=10748324 memory=283024 CPUtime=0.24 cores=0,2,4,6
/proc/14825/task/14828/stat : 14828 (java) S 14822 14825 12443 0 -1 1077944384 5245 0 0 0 22 2 0 0 20 0 16 0 415156044 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468384410640 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14829] ppid=14822 vsize=10748324 memory=283024 CPUtime=0.24 cores=0,2,4,6
/proc/14825/task/14829/stat : 14829 (java) S 14822 14825 12443 0 -1 1077944384 7144 0 0 0 23 1 0 0 20 0 16 0 415156044 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468383358096 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14830] ppid=14822 vsize=10748324 memory=283024 CPUtime=0.24 cores=0,2,4,6
/proc/14825/task/14830/stat : 14830 (java) S 14822 14825 12443 0 -1 1077944384 4718 0 0 0 23 1 0 0 20 0 16 0 415156044 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468036492048 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14831] ppid=14822 vsize=10748324 memory=283024 CPUtime=0.23 cores=0,2,4,6
/proc/14825/task/14831/stat : 14831 (java) S 14822 14825 12443 0 -1 1077944384 5544 0 0 0 21 2 0 0 20 0 16 0 415156044 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468035439504 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14832] ppid=14822 vsize=10748324 memory=283024 CPUtime=0.07 cores=0,2,4,6
/proc/14825/task/14832/stat : 14832 (java) S 14822 14825 12443 0 -1 1077944384 6995 0 0 0 5 2 0 0 20 0 16 0 415156045 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468006787312 140468431800962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14833] ppid=14822 vsize=10748324 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14833/stat : 14833 (java) S 14822 14825 12443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415156046 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468005733600 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14834] ppid=14822 vsize=10748324 memory=283024 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14834/stat : 14834 (java) S 14822 14825 12443 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 415156046 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468004680448 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14835] ppid=14822 vsize=10748324 memory=283024 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14835/stat : 14835 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415156048 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468003629008 140468431808411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14836] ppid=14822 vsize=10748324 memory=283024 CPUtime=1.24 cores=0,2,4,6
/proc/14825/task/14836/stat : 14836 (java) S 14822 14825 12443 0 -1 1077944384 6559 0 0 0 123 1 0 0 20 0 16 0 415156048 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468002577136 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14837] ppid=14822 vsize=10748324 memory=1568 CPUtime=1.23 cores=0,2,4,6
/proc/14825/task/14837/stat : 14837 (java) S 14822 14825 12443 0 -1 1077944384 4634 0 0 0 122 1 0 0 20 0 16 0 415156048 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468001524592 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14838] ppid=14822 vsize=10748324 memory=283024 CPUtime=0.81 cores=0,2,4,6
/proc/14825/task/14838/stat : 14838 (java) S 14822 14825 12443 0 -1 1077944384 7837 0 0 0 79 2 0 0 20 0 16 0 415156048 11006283776 70756 33554432000 4194304 4196468 140724913762512 140468000471536 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14839] ppid=14822 vsize=10748324 memory=283024 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14839/stat : 14839 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415156049 11006283776 70756 33554432000 4194304 4196468 140724913762512 140467999419232 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14840] ppid=14822 vsize=10748324 memory=40012 CPUtime=0.61 cores=0,2,4,6
/proc/14825/task/14840/stat : 14840 (java) S 14822 14825 12443 0 -1 1077944384 1517 0 0 0 28 33 0 0 20 0 16 0 415156049 11006283776 70756 33554432000 4194304 4196468 140724913762512 140467998366256 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14843] ppid=14822 vsize=10748324 memory=988 CPUtime=2319.96 cores=0,2,4,6
/proc/14825/task/14843/stat : 14843 (java) R 14822 14825 12443 0 -1 4202560 19667 0 0 0 231990 6 0 0 20 0 16 0 415156234 11006283776 70756 33554432000 4194304 4196468 140724913762512 140467981414272 140468070536137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
Current children cumulated CPU time: 2326.86 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 283024 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.94 1.89 3/230 15162
/proc/meminfo: memFree=28460840/32770624 swapFree=66998528/67108860
[pid=14825] ppid=14822 vsize=10748324 memory=279944 CPUtime=2386.9 cores=0,2,4,6
/proc/14825/stat : 14825 (java) S 14822 14825 12443 0 -1 1077944320 87274 0 0 0 238635 55 0 0 20 0 16 0 415156043 11006283776 69986 33554432000 4194304 4196468 140724913762512 140724913745056 140468431789815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
/proc/14825/statm: 2687081 69986 3373 1 0 2647217 0
[pid=14825/tid=14827] ppid=14822 vsize=10748324 memory=164 CPUtime=1.89 cores=0,2,4,6
/proc/14825/task/14827/stat : 14827 (java) S 14822 14825 12443 0 -1 1077944384 15318 0 0 0 182 7 0 0 20 0 16 0 415156043 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468436032688 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14828] ppid=14822 vsize=10748324 memory=279944 CPUtime=0.24 cores=0,2,4,6
/proc/14825/task/14828/stat : 14828 (java) S 14822 14825 12443 0 -1 1077944384 5253 0 0 0 22 2 0 0 20 0 16 0 415156044 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468384410640 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14829] ppid=14822 vsize=10748324 memory=283024 CPUtime=0.24 cores=0,2,4,6
/proc/14825/task/14829/stat : 14829 (java) S 14822 14825 12443 0 -1 1077944384 7153 0 0 0 23 1 0 0 20 0 16 0 415156044 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468383358096 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14830] ppid=14822 vsize=10748324 memory=279944 CPUtime=0.24 cores=0,2,4,6
/proc/14825/task/14830/stat : 14830 (java) S 14822 14825 12443 0 -1 1077944384 4720 0 0 0 23 1 0 0 20 0 16 0 415156044 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468036492048 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14831] ppid=14822 vsize=10748324 memory=279944 CPUtime=0.24 cores=0,2,4,6
/proc/14825/task/14831/stat : 14831 (java) S 14822 14825 12443 0 -1 1077944384 5868 0 0 0 22 2 0 0 20 0 16 0 415156044 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468035439504 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14832] ppid=14822 vsize=10748324 memory=279944 CPUtime=0.08 cores=0,2,4,6
/proc/14825/task/14832/stat : 14832 (java) S 14822 14825 12443 0 -1 1077944384 7178 0 0 0 5 3 0 0 20 0 16 0 415156045 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468006787312 140468431800962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14833] ppid=14822 vsize=10748324 memory=279944 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14833/stat : 14833 (java) S 14822 14825 12443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415156046 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468005733600 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14834] ppid=14822 vsize=10748324 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14834/stat : 14834 (java) S 14822 14825 12443 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 415156046 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468004680448 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14835] ppid=14822 vsize=10748324 memory=279944 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14835/stat : 14835 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415156048 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468003629008 140468431808411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14836] ppid=14822 vsize=10748324 memory=1056 CPUtime=1.24 cores=0,2,4,6
/proc/14825/task/14836/stat : 14836 (java) S 14822 14825 12443 0 -1 1077944384 6561 0 0 0 123 1 0 0 20 0 16 0 415156048 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468002577136 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14837] ppid=14822 vsize=10748324 memory=3624 CPUtime=1.23 cores=0,2,4,6
/proc/14825/task/14837/stat : 14837 (java) S 14822 14825 12443 0 -1 1077944384 4637 0 0 0 122 1 0 0 20 0 16 0 415156048 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468001524592 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14838] ppid=14822 vsize=10748324 memory=40012 CPUtime=0.81 cores=0,2,4,6
/proc/14825/task/14838/stat : 14838 (java) S 14822 14825 12443 0 -1 1077944384 7839 0 0 0 79 2 0 0 20 0 16 0 415156048 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468000471536 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14839] ppid=14822 vsize=10748324 memory=283024 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14839/stat : 14839 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415156049 11006283776 69986 33554432000 4194304 4196468 140724913762512 140467999419232 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14840] ppid=14822 vsize=10748324 memory=620 CPUtime=0.64 cores=0,2,4,6
/proc/14825/task/14840/stat : 14840 (java) S 14822 14825 12443 0 -1 1077944384 1547 0 0 0 29 35 0 0 20 0 16 0 415156049 11006283776 69986 33554432000 4194304 4196468 140724913762512 140467998366256 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14843] ppid=14822 vsize=10748324 memory=3624 CPUtime=2379.95 cores=0,2,4,6
/proc/14825/task/14843/stat : 14843 (java) R 14822 14825 12443 0 -1 4202560 19751 0 0 0 237989 6 0 0 20 0 16 0 415156234 11006283776 69986 33554432000 4194304 4196468 140724913762512 140467981414272 140468070711982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
Current children cumulated CPU time: 2386.9 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2395.4 s]
/proc/loadavg: 2.00 1.95 1.89 3/230 15165
/proc/meminfo: memFree=28459972/32770624 swapFree=66998528/67108860
[pid=14825] ppid=14822 vsize=10748324 memory=279944 CPUtime=2400 cores=0,2,4,6
/proc/14825/stat : 14825 (java) S 14822 14825 12443 0 -1 1077944320 87282 0 0 0 239945 55 0 0 20 0 16 0 415156043 11006283776 69986 33554432000 4194304 4196468 140724913762512 140724913745056 140468431789815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
/proc/14825/statm: 2687081 69986 3373 1 0 2647217 0
[pid=14825/tid=14827] ppid=14822 vsize=10748324 memory=6791534058613427641 CPUtime=1.89 cores=0,2,4,6
/proc/14825/task/14827/stat : 14827 (java) S 14822 14825 12443 0 -1 1077944384 15318 0 0 0 182 7 0 0 20 0 16 0 415156043 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468436032688 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14828] ppid=14822 vsize=10748324 memory=14068 CPUtime=0.24 cores=0,2,4,6
/proc/14825/task/14828/stat : 14828 (java) S 14822 14825 12443 0 -1 1077944384 5253 0 0 0 22 2 0 0 20 0 16 0 415156044 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468384410640 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14829] ppid=14822 vsize=10748324 memory=524 CPUtime=0.24 cores=0,2,4,6
/proc/14825/task/14829/stat : 14829 (java) S 14822 14825 12443 0 -1 1077944384 7153 0 0 0 23 1 0 0 20 0 16 0 415156044 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468383358096 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14830] ppid=14822 vsize=10748324 memory=1568 CPUtime=0.24 cores=0,2,4,6
/proc/14825/task/14830/stat : 14830 (java) S 14822 14825 12443 0 -1 1077944384 4720 0 0 0 23 1 0 0 20 0 16 0 415156044 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468036492048 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14831] ppid=14822 vsize=10748324 memory=928 CPUtime=0.24 cores=0,2,4,6
/proc/14825/task/14831/stat : 14831 (java) S 14822 14825 12443 0 -1 1077944384 5868 0 0 0 22 2 0 0 20 0 16 0 415156044 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468035439504 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14832] ppid=14822 vsize=10748324 memory=3536 CPUtime=0.08 cores=0,2,4,6
/proc/14825/task/14832/stat : 14832 (java) S 14822 14825 12443 0 -1 1077944384 7178 0 0 0 5 3 0 0 20 0 16 0 415156045 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468006787312 140468431800962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14833] ppid=14822 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14833/stat : 14833 (java) S 14822 14825 12443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415156046 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468005733600 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14834] ppid=14822 vsize=10748324 memory=2668 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14834/stat : 14834 (java) S 14822 14825 12443 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 415156046 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468004680448 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14835] ppid=14822 vsize=10748324 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14835/stat : 14835 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415156048 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468003629008 140468431808411 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14836] ppid=14822 vsize=10748324 memory=279944 CPUtime=1.24 cores=0,2,4,6
/proc/14825/task/14836/stat : 14836 (java) S 14822 14825 12443 0 -1 1077944384 6561 0 0 0 123 1 0 0 20 0 16 0 415156048 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468002577136 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14837] ppid=14822 vsize=10748324 memory=279944 CPUtime=1.23 cores=0,2,4,6
/proc/14825/task/14837/stat : 14837 (java) S 14822 14825 12443 0 -1 1077944384 4637 0 0 0 122 1 0 0 20 0 16 0 415156048 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468001524592 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14838] ppid=14822 vsize=10748324 memory=1408 CPUtime=0.81 cores=0,2,4,6
/proc/14825/task/14838/stat : 14838 (java) S 14822 14825 12443 0 -1 1077944384 7839 0 0 0 79 2 0 0 20 0 16 0 415156048 11006283776 69986 33554432000 4194304 4196468 140724913762512 140468000471536 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14839] ppid=14822 vsize=10748324 memory=620 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14839/stat : 14839 (java) S 14822 14825 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415156049 11006283776 69986 33554432000 4194304 4196468 140724913762512 140467999419232 140468431800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14840] ppid=14822 vsize=10748324 memory=1712 CPUtime=0.64 cores=0,2,4,6
/proc/14825/task/14840/stat : 14840 (java) S 14822 14825 12443 0 -1 1077944384 1549 0 0 0 29 35 0 0 20 0 16 0 415156049 11006283776 69986 33554432000 4194304 4196468 140724913762512 140467998366256 140468431800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
[pid=14825/tid=14843] ppid=14822 vsize=10748324 memory=1052 CPUtime=2393.05 cores=0,2,4,6
/proc/14825/task/14843/stat : 14843 (java) R 14822 14825 12443 0 -1 4202560 19757 0 0 0 239299 6 0 0 20 0 16 0 415156234 11006283776 69986 33554432000 4194304 4196468 140724913762512 140467981414272 140468070739997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37117952 140724913771531 140724913771634 140724913771634 140724913774543 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2395.41 s]
# the end of solver process 14825 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.47 s, system=0.559051 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2395.41
CPU time (s): 2400.03
CPU user time (s): 2399.47
CPU system time (s): 0.559051
CPU usage (%): 100.193
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 300980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.47
system time used= 0.559051
maximum resident set size= 300980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55087
involuntary context switches= 2515
# summary of solver processes directly reported to runsolver:
# pid: 14825
# total CPU time (s): 2400.03
# total CPU user time (s): 2399.47
# total CPU system time (s): 0.559051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9334 second user time and 18.7498 second system time
The end