2.38/1.89
2.38/1.89 AbsCon 2
2.63/1.91
3.29/2.18 Instance
3.29/2.18 name=instance-4391172-1568391451, framework=COP, bounds=-infty..+infty
3.29/2.18
3.29/2.18 Loading variables...
3.60/2.22 Loading constraints...
5.58/2.84
5.58/2.84 Domains
5.58/2.84 nTypes=1, nValues=6561, sizes=[81#81]
5.58/2.84 Variables
5.58/2.84 count=81, degrees=[67#4,68#28,69#49]
5.58/2.84 Objectives
5.58/2.84 way=min, type=ObjMaximumLE
5.58/2.84 Constraints
5.58/2.84 count=1313, nSpecific=17, arities=[4#1296,18#16,81#1]
5.58/2.84 distribution=[CtrIntension#1296,LexicographicLe#16,ObjMaximumLE#1]
5.58/2.84 nIntStructures=(1,shared:1295)
5.58/2.84 wck=0.971, cpu=2.789, mem=81M789
5.58/2.84 Solver SolverBacktrack being built...
5.58/2.84
5.58/2.87
5.58/2.87 Solver
5.58/2.87 guaranteedGAC=false
5.58/2.87 wck=1.003, cpu=2.82, mem=94M968
5.58/2.87
5.58/2.87 Preprocessing
5.58/2.87 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.58/2.87 wck=0.003, cpu=2.824, mem=94M968
5.58/2.87
6.49/3.24 o 8
6.49/3.25 num=0, depth=82..80, filters=204, revisions=(14580,useless=14376), ccks=848389, wck=0.381, mem=97M557
6.49/3.25 decisions=81, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=8
6.49/3.25
6.49/3.29 o 7
6.49/3.30 num=1, depth=69..80, filters=398, revisions=(29134,useless=28745), ccks=872064, wck=0.428, mem=97M557
6.49/3.30 decisions=163, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=2, bestBound=7
6.49/3.30
6.72/3.31 o 6
6.72/3.32 num=2, depth=82..80, filters=555, revisions=(43257,useless=42717), ccks=901910, wck=0.45, mem=97M557
6.72/3.32 decisions=242, wrong=2, backtracks=0, failedAssignments=2, nogoods=2, foundSolutions=3, bestBound=6
6.72/3.32
6.72/3.33 o 5
6.72/3.33 num=3, depth=53..80, filters=710, revisions=(57164,useless=56477), ccks=920727, wck=0.465, mem=97M557
6.72/3.33 decisions=324, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=4, bestBound=5
6.72/3.33
6.72/3.35 o 4
6.72/3.35 num=4, depth=82..80, filters=826, revisions=(70559,useless=69768), ccks=943135, wck=0.481, mem=97M557
6.72/3.35 decisions=402, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=5, bestBound=4
6.72/3.35
6.72/3.36 o 3
6.72/3.36 num=5, depth=82..80, filters=936, revisions=(83842,useless=82951), ccks=955148, wck=0.492, mem=97M557
6.72/3.36 decisions=471, wrong=4, backtracks=0, failedAssignments=4, nogoods=4, foundSolutions=6, bestBound=3
6.72/3.36
6.72/3.37 num=6, depth=10..37, filters=1164, revisions=(100209,useless=99174), ccks=969070, wck=0.503, mem=97M557
6.72/3.37 decisions=541, wrong=23, backtracks=10, failedAssignments=15, nogoods=8, foundSolutions=6, bestBound=3
6.72/3.37
6.72/3.38 num=7, depth=14..18, filters=1288, revisions=(108552,useless=107434), ccks=975526, wck=0.51, mem=97M557
6.72/3.38 decisions=577, wrong=34, backtracks=18, failedAssignments=26, nogoods=10, foundSolutions=6, bestBound=3
6.72/3.38
6.72/3.39 num=8, depth=16..38, filters=1601, revisions=(129125,useless=127752), ccks=991239, wck=0.523, mem=97M557
6.72/3.39 decisions=642, wrong=52, backtracks=29, failedAssignments=38, nogoods=14, foundSolutions=6, bestBound=3
6.72/3.39
7.04/3.40 num=9, depth=11..16, filters=1808, revisions=(141771,useless=140242), ccks=1001908, wck=0.532, mem=97M557
7.04/3.40 decisions=689, wrong=70, backtracks=38, failedAssignments=51, nogoods=20, foundSolutions=6, bestBound=3
7.04/3.40
7.04/3.41 num=10, depth=5..30, filters=1962, revisions=(153587,useless=151946), ccks=1010662, wck=0.54, mem=97M557
7.04/3.41 decisions=737, wrong=85, backtracks=50, failedAssignments=65, nogoods=23, foundSolutions=6, bestBound=3
7.04/3.41
7.04/3.41 num=11, depth=2..20, filters=2238, revisions=(167025,useless=165203), ccks=1021399, wck=0.548, mem=97M557
7.04/3.41 decisions=780, wrong=101, backtracks=60, failedAssignments=81, nogoods=25, foundSolutions=6, bestBound=3
7.04/3.41
7.04/3.42 num=12, depth=14..17, filters=2507, revisions=(179402,useless=177370), ccks=1029981, wck=0.555, mem=97M557
7.04/3.42 decisions=828, wrong=118, backtracks=70, failedAssignments=98, nogoods=29, foundSolutions=6, bestBound=3
7.04/3.42
7.04/3.43 num=13, depth=3..21, filters=2694, revisions=(193506,useless=191329), ccks=1044488, wck=0.565, mem=97M557
7.04/3.43 decisions=885, wrong=139, backtracks=83, failedAssignments=117, nogoods=34, foundSolutions=6, bestBound=3
7.04/3.43
7.04/3.44 num=14, depth=4..41, filters=2845, revisions=(209448,useless=207159), ccks=1056299, wck=0.575, mem=97M557
7.04/3.44 decisions=955, wrong=160, backtracks=107, failedAssignments=138, nogoods=37, foundSolutions=6, bestBound=3
7.04/3.44
7.04/3.45 num=15, depth=9..32, filters=3030, revisions=(223212,useless=220797), ccks=1067196, wck=0.584, mem=97M557
7.04/3.45 decisions=1017, wrong=184, backtracks=131, failedAssignments=161, nogoods=39, foundSolutions=6, bestBound=3
7.04/3.45
7.04/3.46 num=16, depth=16..27, filters=3310, revisions=(241614,useless=238985), ccks=1081333, wck=0.595, mem=97M557
7.04/3.46 decisions=1087, wrong=210, backtracks=144, failedAssignments=186, nogoods=47, foundSolutions=6, bestBound=3
7.04/3.46
7.04/3.48 num=17, depth=9..53, filters=3759, revisions=(275554,useless=272533), ccks=1102597, wck=0.612, mem=97M557
7.04/3.48 decisions=1192, wrong=244, backtracks=179, failedAssignments=214, nogoods=52, foundSolutions=6, bestBound=3
7.04/3.48
7.04/3.49 num=18, depth=10..25, filters=4227, revisions=(303540,useless=300117), ccks=1123188, wck=0.627, mem=97M557
7.04/3.49 decisions=1286, wrong=283, backtracks=202, failedAssignments=245, nogoods=58, foundSolutions=6, bestBound=3
7.04/3.49
7.33/3.51 num=19, depth=17..54, filters=4625, revisions=(339317,useless=335543), ccks=1142643, wck=0.644, mem=97M557
7.33/3.51 decisions=1390, wrong=320, backtracks=268, failedAssignments=279, nogoods=65, foundSolutions=6, bestBound=3
7.33/3.51
7.33/3.52 num=20, depth=21..41, filters=4932, revisions=(365632,useless=361591), ccks=1157150, wck=0.656, mem=97M557
7.33/3.52 decisions=1491, wrong=358, backtracks=299, failedAssignments=316, nogoods=72, foundSolutions=6, bestBound=3
7.33/3.52
7.33/3.54 num=21, depth=5..46, filters=5408, revisions=(399093,useless=394651), ccks=1178236, wck=0.674, mem=97M557
7.33/3.54 decisions=1604, wrong=406, backtracks=348, failedAssignments=357, nogoods=79, foundSolutions=6, bestBound=3
7.33/3.54
7.33/3.56 num=22, depth=9..51, filters=5967, revisions=(436222,useless=431345), ccks=1203795, wck=0.693, mem=97M557
7.33/3.56 decisions=1742, wrong=461, backtracks=408, failedAssignments=402, nogoods=86, foundSolutions=6, bestBound=3
7.33/3.56
7.33/3.58 num=23, depth=12..29, filters=6782, revisions=(488653,useless=483129), ccks=1236533, wck=0.717, mem=97M557
7.33/3.58 decisions=1877, wrong=518, backtracks=452, failedAssignments=452, nogoods=93, foundSolutions=6, bestBound=3
7.33/3.58
7.53/3.60 num=24, depth=8..33, filters=7232, revisions=(521634,useless=515773), ccks=1266173, wck=0.735, mem=97M557
7.53/3.60 decisions=2014, wrong=573, backtracks=480, failedAssignments=507, nogoods=98, foundSolutions=6, bestBound=3
7.53/3.60
7.53/3.62 num=25, depth=12..45, filters=7794, revisions=(563268,useless=556955), ccks=1294552, wck=0.754, mem=97M557
7.53/3.62 decisions=2172, wrong=641, backtracks=536, failedAssignments=568, nogoods=102, foundSolutions=6, bestBound=3
7.53/3.62
7.53/3.64 num=26, depth=2..32, filters=8729, revisions=(615514,useless=608511), ccks=1327063, wck=0.777, mem=97M557
7.53/3.64 decisions=2349, wrong=718, backtracks=596, failedAssignments=635, nogoods=111, foundSolutions=6, bestBound=3
7.53/3.64
7.53/3.67 num=27, depth=12..34, filters=9544, revisions=(672875,useless=665129), ccks=1360835, wck=0.801, mem=97M557
7.53/3.67 decisions=2534, wrong=800, backtracks=679, failedAssignments=709, nogoods=117, foundSolutions=6, bestBound=3
7.53/3.67
7.53/3.69 num=28, depth=16..42, filters=10335, revisions=(732118,useless=723672), ccks=1394952, wck=0.825, mem=97M557
7.53/3.69 decisions=2724, wrong=884, backtracks=766, failedAssignments=790, nogoods=124, foundSolutions=6, bestBound=3
7.53/3.69
7.67/3.72 num=29, depth=6..42, filters=11270, revisions=(792474,useless=783321), ccks=1433896, wck=0.851, mem=97M557
7.67/3.72 decisions=2936, wrong=979, backtracks=847, failedAssignments=879, nogoods=131, foundSolutions=6, bestBound=3
7.67/3.72
7.67/3.75 num=30, depth=12..53, filters=12578, revisions=(884092,useless=874010), ccks=1490790, wck=0.888, mem=97M557
7.67/3.75 decisions=3228, wrong=1110, backtracks=961, failedAssignments=977, nogoods=139, foundSolutions=6, bestBound=3
7.67/3.75
7.67/3.77 num=31, depth=3..24, filters=13298, revisions=(926424,useless=915816), ccks=1522207, wck=0.908, mem=97M557
7.67/3.77 decisions=3457, wrong=1219, backtracks=1036, failedAssignments=1085, nogoods=147, foundSolutions=6, bestBound=3
7.67/3.77
7.77/3.82 num=32, depth=3..31, filters=15201, revisions=(1038316,useless=1026167), ccks=1595856, wck=0.955, mem=97M557
7.77/3.82 decisions=3802, wrong=1383, backtracks=1159, failedAssignments=1204, nogoods=149, foundSolutions=6, bestBound=3
7.77/3.82
7.77/3.86 num=33, depth=9..42, filters=16522, revisions=(1130705,useless=1117334), ccks=1648796, wck=0.991, mem=97M557
7.77/3.86 decisions=4118, wrong=1527, backtracks=1291, failedAssignments=1335, nogoods=161, foundSolutions=6, bestBound=3
7.77/3.86
7.77/3.88 num=34, depth=4..21, filters=17875, revisions=(1191512,useless=1177005), ccks=1685762, wck=1.015, mem=100M147
7.77/3.88 decisions=4430, wrong=1681, backtracks=1395, failedAssignments=1479, nogoods=163, foundSolutions=6, bestBound=3
7.77/3.88
7.87/3.91 num=35, depth=6..30, filters=19356, revisions=(1275161,useless=1259550), ccks=1733988, wck=1.049, mem=100M147
7.87/3.91 decisions=4779, wrong=1847, backtracks=1538, failedAssignments=1637, nogoods=167, foundSolutions=6, bestBound=3
7.87/3.91
7.87/3.96 num=36, depth=1..44, filters=21229, revisions=(1393745,useless=1376452), ccks=1805791, wck=1.096, mem=100M147
7.87/3.96 decisions=5192, wrong=2042, backtracks=1721, failedAssignments=1811, nogoods=178, foundSolutions=6, bestBound=3
7.87/3.96
7.99/4.02 num=37, depth=5..47, filters=23846, revisions=(1545657,useless=1526066), ccks=1897238, wck=1.158, mem=100M147
7.99/4.02 decisions=5661, wrong=2267, backtracks=1928, failedAssignments=2002, nogoods=186, foundSolutions=6, bestBound=3
7.99/4.02
7.99/4.09 num=38, depth=8..45, filters=25954, revisions=(1692867,useless=1671473), ccks=1987785, wck=1.22, mem=100M147
7.99/4.09 decisions=6198, wrong=2524, backtracks=2162, failedAssignments=2213, nogoods=201, foundSolutions=6, bestBound=3
7.99/4.09
8.18/4.15 num=39, depth=10..42, filters=28065, revisions=(1839402,useless=1816246), ccks=2077024, wck=1.28, mem=100M147
8.18/4.15 decisions=6738, wrong=2779, backtracks=2377, failedAssignments=2445, nogoods=216, foundSolutions=6, bestBound=3
8.18/4.15
8.31/4.20 num=40, depth=3..27, filters=30335, revisions=(1962309,useless=1937375), ccks=2151773, wck=1.331, mem=100M147
8.31/4.20 decisions=7277, wrong=3043, backtracks=2573, failedAssignments=2700, nogoods=223, foundSolutions=6, bestBound=3
8.31/4.20
8.31/4.26 num=41, depth=4..43, filters=32760, revisions=(2111854,useless=2085327), ccks=2239560, wck=1.391, mem=100M147
8.31/4.26 decisions=7934, wrong=3367, backtracks=2839, failedAssignments=2981, nogoods=231, foundSolutions=6, bestBound=3
8.31/4.26
8.46/4.35 num=42, depth=5..54, filters=36275, revisions=(2359885,useless=2330083), ccks=2379902, wck=1.484, mem=100M147
8.46/4.35 decisions=8695, wrong=3735, backtracks=3282, failedAssignments=3290, nogoods=240, foundSolutions=6, bestBound=3
8.46/4.35
8.56/4.48 num=43, depth=23..45, filters=41489, revisions=(2707818,useless=2674451), ccks=2582779, wck=1.618, mem=100M147
8.56/4.48 decisions=9645, wrong=4194, backtracks=3689, failedAssignments=3630, nogoods=244, foundSolutions=6, bestBound=3
8.56/4.48
8.76/4.61 num=44, depth=3..29, filters=46708, revisions=(2982799,useless=2945417), ccks=2790686, wck=1.743, mem=100M147
8.76/4.61 decisions=10655, wrong=4694, backtracks=4050, failedAssignments=4004, nogoods=260, foundSolutions=6, bestBound=3
8.76/4.61
8.86/4.73 num=45, depth=8..37, filters=51334, revisions=(3290514,useless=3249267), ccks=2964118, wck=1.86, mem=100M147
8.86/4.73 decisions=11601, wrong=5157, backtracks=4490, failedAssignments=4415, nogoods=270, foundSolutions=6, bestBound=3
8.86/4.73
8.96/4.84 num=46, depth=2..36, filters=56180, revisions=(3559945,useless=3514984), ccks=3144884, wck=1.974, mem=100M147
8.96/4.84 decisions=12672, wrong=5689, backtracks=4947, failedAssignments=4867, nogoods=280, foundSolutions=6, bestBound=3
8.96/4.84
9.06/4.96 num=47, depth=4..41, filters=61212, revisions=(3836525,useless=3787563), ccks=3331256, wck=2.091, mem=100M147
9.06/4.96 decisions=13798, wrong=6247, backtracks=5421, failedAssignments=5364, nogoods=289, foundSolutions=6, bestBound=3
9.06/4.96
9.18/5.07 num=48, depth=2..46, filters=65548, revisions=(4112073,useless=4059614), ccks=3508226, wck=2.203, mem=100M147
9.18/5.07 decisions=15012, wrong=6842, backtracks=5956, failedAssignments=5911, nogoods=296, foundSolutions=6, bestBound=3
9.18/5.07
9.28/5.19 num=49, depth=11..51, filters=69507, revisions=(4468468,useless=4412258), ccks=3680332, wck=2.323, mem=100M147
9.28/5.19 decisions=16318, wrong=7481, backtracks=6931, failedAssignments=6513, nogoods=307, foundSolutions=6, bestBound=3
9.28/5.19
9.48/5.33 num=50, depth=12..48, filters=75168, revisions=(4903705,useless=4842217), ccks=3877287, wck=2.463, mem=102M737
9.48/5.33 decisions=17807, wrong=8212, backtracks=7929, failedAssignments=7175, nogoods=311, foundSolutions=6, bestBound=3
9.48/5.33
9.68/5.50 num=51, depth=2..47, filters=81547, revisions=(5314298,useless=5247562), ccks=4148014, wck=2.632, mem=102M737
9.68/5.50 decisions=19409, wrong=9001, backtracks=8655, failedAssignments=7903, nogoods=320, foundSolutions=6, bestBound=3
9.68/5.50
9.88/5.73 num=52, depth=14..48, filters=90442, revisions=(5897386,useless=5823643), ccks=4498153, wck=2.86, mem=102M737
9.88/5.73 decisions=21368, wrong=9971, backtracks=9460, failedAssignments=8704, nogoods=325, foundSolutions=6, bestBound=3
9.88/5.73
10.20/6.01 num=53, depth=7..59, filters=102272, revisions=(6678258,useless=6593735), ccks=4925234, wck=3.148, mem=102M737
10.20/6.01 decisions=23547, wrong=11048, backtracks=10624, failedAssignments=9585, nogoods=337, foundSolutions=6, bestBound=3
10.20/6.01
10.39/6.24 num=54, depth=15..60, filters=110501, revisions=(7393442,useless=7301269), ccks=5237747, wck=3.376, mem=102M737
10.39/6.24 decisions=25655, wrong=12088, backtracks=12418, failedAssignments=10555, nogoods=347, foundSolutions=6, bestBound=3
10.39/6.24
10.60/6.49 num=55, depth=2..30, filters=121629, revisions=(7992951,useless=7891842), ccks=5645103, wck=3.628, mem=102M737
10.60/6.49 decisions=28137, wrong=13326, backtracks=13380, failedAssignments=11622, nogoods=360, foundSolutions=6, bestBound=3
10.60/6.49
11.00/6.85 num=56, depth=2..42, filters=138276, revisions=(8945386,useless=8829791), ccks=6191851, wck=3.987, mem=105M326
11.00/6.85 decisions=31148, wrong=14824, backtracks=14588, failedAssignments=12795, nogoods=372, foundSolutions=6, bestBound=3
11.00/6.85
11.40/7.28 num=57, depth=15..64, filters=155868, revisions=(10097295,useless=9966956), ccks=6824163, wck=4.411, mem=105M326
11.40/7.28 decisions=34305, wrong=16390, backtracks=16255, failedAssignments=14086, nogoods=386, foundSolutions=6, bestBound=3
11.40/7.28
11.90/7.73 num=58, depth=7..55, filters=174339, revisions=(11265048,useless=11118522), ccks=7526035, wck=4.862, mem=105M326
11.90/7.73 decisions=38027, wrong=18244, backtracks=17965, failedAssignments=15506, nogoods=408, foundSolutions=6, bestBound=3
11.90/7.73
12.40/8.20 num=59, depth=6..50, filters=193492, revisions=(12462344,useless=12300467), ccks=8273005, wck=5.338, mem=105M326
12.40/8.20 decisions=41678, wrong=20064, backtracks=19546, failedAssignments=17068, nogoods=417, foundSolutions=6, bestBound=3
12.40/8.20
12.70/8.54 num=60, depth=4..43, filters=207988, revisions=(13331968,useless=13158513), ccks=8792222, wck=5.676, mem=105M326
12.70/8.54 decisions=45546, wrong=21992, backtracks=21174, failedAssignments=18786, nogoods=435, foundSolutions=6, bestBound=3
12.70/8.54
13.10/8.99 num=61, depth=11..45, filters=226471, revisions=(14580801,useless=14390852), ccks=9467215, wck=6.126, mem=107M916
13.10/8.99 decisions=49698, wrong=24058, backtracks=23214, failedAssignments=20676, nogoods=451, foundSolutions=6, bestBound=3
13.10/8.99
13.60/9.42 num=62, depth=1..36, filters=246816, revisions=(15860120,useless=15652677), ccks=10069600, wck=6.557, mem=107M916
13.60/9.42 decisions=54021, wrong=26214, backtracks=25324, failedAssignments=22755, nogoods=465, foundSolutions=6, bestBound=3
13.60/9.42
14.31/10.19 num=63, depth=10..47, filters=277486, revisions=(17700372,useless=17468566), ccks=11298644, wck=7.322, mem=107M916
14.31/10.19 decisions=59747, wrong=29068, backtracks=27590, failedAssignments=25042, nogoods=478, foundSolutions=6, bestBound=3
14.31/10.19
14.90/10.79 num=64, depth=2..32, filters=306444, revisions=(19219891,useless=18965602), ccks=12217635, wck=7.923, mem=110M505
14.90/10.79 decisions=65558, wrong=31968, backtracks=29687, failedAssignments=27558, nogoods=497, foundSolutions=6, bestBound=3
14.90/10.79
15.66/11.47 num=65, depth=6..44, filters=333835, revisions=(20949768,useless=20671264), ccks=13276906, wck=8.605, mem=110M505
15.66/11.47 decisions=72153, wrong=35257, backtracks=32406, failedAssignments=30326, nogoods=511, foundSolutions=6, bestBound=3
15.66/11.47
16.56/12.30 num=66, depth=4..38, filters=372492, revisions=(23310894,useless=22996160), ccks=14489806, wck=9.435, mem=113M95
16.56/12.30 decisions=79215, wrong=38778, backtracks=35280, failedAssignments=33370, nogoods=526, foundSolutions=6, bestBound=3
16.56/12.30
17.37/13.15 num=67, depth=1..48, filters=407741, revisions=(25424250,useless=25080924), ccks=15815700, wck=10.28, mem=113M95
17.37/13.15 decisions=87264, wrong=42796, backtracks=38643, failedAssignments=36719, nogoods=548, foundSolutions=6, bestBound=3
17.37/13.15
18.29/14.08 num=68, depth=1..45, filters=444273, revisions=(27727238,useless=27356511), ccks=17265458, wck=11.213, mem=115M684
18.29/14.08 decisions=95785, wrong=47043, backtracks=42548, failedAssignments=40403, nogoods=560, foundSolutions=6, bestBound=3
18.29/14.08
19.39/15.14 num=69, depth=4..52, filters=488537, revisions=(30425939,useless=30018721), ccks=18952810, wck=12.278, mem=115M684
19.39/15.14 decisions=105072, wrong=51677, backtracks=46321, failedAssignments=44455, nogoods=573, foundSolutions=6, bestBound=3
19.39/15.14
20.39/16.17 num=70, depth=5..44, filters=529077, revisions=(32826189,useless=32387958), ccks=20624375, wck=13.303, mem=118M274
20.39/16.17 decisions=115339, wrong=56805, backtracks=50578, failedAssignments=48912, nogoods=583, foundSolutions=6, bestBound=3
20.39/16.17
21.81/17.50 num=71, depth=4..56, filters=585103, revisions=(36570434,useless=36084120), ccks=22566582, wck=14.635, mem=120M864
21.81/17.50 decisions=126944, wrong=62597, backtracks=56864, failedAssignments=53815, nogoods=599, foundSolutions=6, bestBound=3
21.81/17.50
23.01/18.76 num=72, depth=1..55, filters=635664, revisions=(40038083,useless=39507796), ccks=24470891, wck=15.892, mem=120M864
23.01/18.76 decisions=139198, wrong=68714, backtracks=63001, failedAssignments=59209, nogoods=610, foundSolutions=6, bestBound=3
23.01/18.76
24.33/20.03 num=73, depth=6..53, filters=684005, revisions=(43275960,useless=42706674), ccks=26481362, wck=17.161, mem=123M453
24.33/20.03 decisions=152304, wrong=75258, backtracks=69372, failedAssignments=65142, nogoods=626, foundSolutions=6, bestBound=3
24.33/20.03
25.92/21.68 num=74, depth=6..53, filters=758380, revisions=(47862115,useless=47226323), ccks=28961768, wck=18.812, mem=126M43
25.92/21.68 decisions=168145, wrong=83168, backtracks=76099, failedAssignments=71668, nogoods=644, foundSolutions=6, bestBound=3
25.92/21.68
27.82/23.50 num=75, depth=8..53, filters=835735, revisions=(52652970,useless=51950260), ccks=31798815, wck=20.637, mem=128M632
27.82/23.50 decisions=185232, wrong=91697, backtracks=85177, failedAssignments=78847, nogoods=660, foundSolutions=6, bestBound=3
27.82/23.50
29.33/25.04 o 2
29.33/25.04 num=76, depth=8..80, filters=903244, revisions=(57137006,useless=56370542), ccks=34063764, wck=22.178, mem=131M222
29.33/25.04 decisions=198233, wrong=98187, backtracks=92451, failedAssignments=83935, nogoods=680, foundSolutions=7, bestBound=2
29.33/25.04
30.45/26.12
30.45/26.12 New Bounds: 2..1
30.45/26.12 num=77, depth=0..19, filters=962460, revisions=(59798790,useless=58992172), ccks=35752212, wck=23.253, mem=133M811
30.45/26.12 decisions=209275, wrong=103709, backtracks=96747, failedAssignments=88306, foundSolutions=7, bestBound=2
30.45/26.12
30.45/26.12 Global
30.45/26.12 filters=962460, revisions=(59798790,useless=58992172), ccks=35752212
30.45/26.12 Stop=FULL_EXPLORATION, wrong=103709, bestBound=2, bestBoundWck=23.181, bestBoundCpu=24.996, foundSolutions=7, firstSolCpu=3.192
30.45/26.12 wck=24.257, cpu=26.072, mem=133M811
30.45/26.12
30.45/26.12 v <instantiation id='sol7' type='solution' cost='2'> <list> x[][] </list> <values> 0 0 0 0 1 2 2 2 2 0 1 1 2 1 0 0 1 2 1 1 2 0 2 0 2 0 1 1 2 0 1 0 0 2 1 0 1 2 1 2 2 2 1 0 0 1 2 2 0 1 1 0 2 0 2 0 1 2 0 1 0 2 1 2 0 2 1 1 2 1 0 1 2 1 0 1 2 1 0 0 2 </values> </instantiation>
30.45/26.12 s OPTIMUM FOUND
30.45/26.12
30.45/26.12 d WRONG_DECISIONS 103709
30.45/26.12 d NUMBER_SOLUTIONS 7
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 (15301 MiB free)
memory of node 1: 16384 MiB (13960 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391172-1568391451/watcher-4391172-1568391451 -o /tmp/evaluation-result-4391172-1568391451/solver-4391172-1568391451 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27766 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391172-1568391451.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=28617, runsolver pid=28614
[startup+0.100124 s]*
/proc/loadavg: 1.95 1.78 1.72 4/230 28632
/proc/meminfo: memFree=29947996/32770624 swapFree=66918708/67108860
[pid=28617] ppid=28614 vsize=10659884 memory=29628 CPUtime=0.14 cores=0,2,4,6
/proc/28617/stat : 28617 (java) S 28614 28617 26121 0 -1 1077944320 5927 0 0 0 13 1 0 0 20 0 15 0 415083016 10915721216 7407 33554432000 4194304 4196468 140720662326864 140720662309408 140225978937079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
/proc/28617/statm: 2664971 7407 2910 1 0 2627468 0
[pid=28617/tid=28619] ppid=28614 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/28617/task/28619/stat : 28619 (java) R 28614 28617 26121 0 -1 4202560 3330 0 0 0 9 0 0 0 20 0 15 0 415083016 10915721216 7407 33554432000 4194304 4196468 140720662326864 140225983166040 140225978949014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28620] ppid=28614 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28620/stat : 28620 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 7407 33554432000 4194304 4196468 140720662326864 140225920941072 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28621] ppid=28614 vsize=10659884 memory=140664668350080 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28621/stat : 28621 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 7407 33554432000 4194304 4196468 140720662326864 140225919888528 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28622] ppid=28614 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28622/stat : 28622 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 7407 33554432000 4194304 4196468 140720662326864 140225918835472 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28623] ppid=28614 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28623/stat : 28623 (java) S 28614 28617 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 7407 33554432000 4194304 4196468 140720662326864 140225582783376 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28624] ppid=28614 vsize=10659884 memory=140664668350080 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28624/stat : 28624 (java) S 28614 28617 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415083018 10915721216 7407 33554432000 4194304 4196468 140720662326864 140225538103536 140225978948226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28625] ppid=28614 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28625/stat : 28625 (java) S 28614 28617 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415083019 10915721216 7473 33554432000 4194304 4196468 140720662326864 140225537049760 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28626] ppid=28614 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28626/stat : 28626 (java) S 28614 28617 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415083019 10915721216 7473 33554432000 4194304 4196468 140720662326864 140225535996656 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28627] ppid=28614 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28627/stat : 28627 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415083021 10915721216 7473 33554432000 4194304 4196468 140720662326864 140225534945232 140225978955675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28628] ppid=28614 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28628/stat : 28628 (java) R 28614 28617 26121 0 -1 4202560 396 0 0 0 0 0 0 0 20 0 15 0 415083021 10915721216 7473 33554432000 4194304 4196468 140720662326864 140225533874360 140225964044096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28629] ppid=28614 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28629/stat : 28629 (java) R 28614 28617 26121 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 415083021 10915721216 7473 33554432000 4194304 4196468 140720662326864 140225532840816 140225978948226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28630] ppid=28614 vsize=10659884 memory=140664668350080 CPUtime=0.02 cores=0,2,4,6
/proc/28617/task/28630/stat : 28630 (java) R 28614 28617 26121 0 -1 4202560 579 0 0 0 2 0 0 0 20 0 15 0 415083021 10915721216 7473 33554432000 4194304 4196468 140720662326864 140225531784568 140225958335743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28631] ppid=28614 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28631/stat : 28631 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415083021 10915721216 7473 33554432000 4194304 4196468 140720662326864 140225530735456 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28632] ppid=28614 vsize=10659884 memory=140664668350080 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28632/stat : 28632 (java) R 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083022 10915721216 7473 33554432000 4194304 4196468 140720662326864 140225529682480 140225978948226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29628 KiB
[startup+0.210839 s]*
/proc/loadavg: 1.95 1.78 1.72 5/230 28632
/proc/meminfo: memFree=29937860/32770624 swapFree=66918708/67108860
[pid=28617] ppid=28614 vsize=10659884 memory=37252 CPUtime=0.33 cores=0,2,4,6
/proc/28617/stat : 28617 (java) S 28614 28617 26121 0 -1 1077944320 9035 0 0 0 31 2 0 0 20 0 15 0 415083016 10915721216 9313 33554432000 4194304 4196468 140720662326864 140720662309408 140225978937079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
/proc/28617/statm: 2664971 9313 2989 1 0 2627468 0
[pid=28617/tid=28619] ppid=28614 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28617/task/28619/stat : 28619 (java) R 28614 28617 26121 0 -1 4202560 6094 0 0 0 18 2 0 0 20 0 15 0 415083016 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225983168272 140225978959005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28620] ppid=28614 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28620/stat : 28620 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225920941072 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28621] ppid=28614 vsize=10659884 memory=288371040820061824 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28621/stat : 28621 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225919888528 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28622] ppid=28614 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28622/stat : 28622 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225918835472 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28623] ppid=28614 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28623/stat : 28623 (java) S 28614 28617 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225582783376 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28624] ppid=28614 vsize=10659884 memory=140664668350080 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28624/stat : 28624 (java) S 28614 28617 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415083018 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225538103536 140225978948226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28625] ppid=28614 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28625/stat : 28625 (java) S 28614 28617 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415083019 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225537049760 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28626] ppid=28614 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28626/stat : 28626 (java) S 28614 28617 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415083019 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225535996656 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28627] ppid=28614 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28627/stat : 28627 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415083021 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225534945232 140225978955675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28628] ppid=28614 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28617/task/28628/stat : 28628 (java) S 28614 28617 26121 0 -1 1077944384 608 0 0 0 3 0 0 0 20 0 15 0 415083021 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225533893360 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28629] ppid=28614 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28617/task/28629/stat : 28629 (java) S 28614 28617 26121 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 415083021 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225532840816 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28630] ppid=28614 vsize=10659884 memory=140664668350080 CPUtime=0.05 cores=0,2,4,6
/proc/28617/task/28630/stat : 28630 (java) S 28614 28617 26121 0 -1 1077944384 625 0 0 0 5 0 0 0 20 0 15 0 415083021 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225531787760 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28631] ppid=28614 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28631/stat : 28631 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415083021 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225530735456 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28632] ppid=28614 vsize=10659884 memory=140664668350080 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28632/stat : 28632 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083022 10915721216 9313 33554432000 4194304 4196468 140720662326864 140225529682480 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37252 KiB
[startup+0.310205 s]*
/proc/loadavg: 1.95 1.78 1.72 3/230 28632
/proc/meminfo: memFree=29935552/32770624 swapFree=66918708/67108860
[pid=28617] ppid=28614 vsize=10659884 memory=40056 CPUtime=0.48 cores=0,2,4,6
/proc/28617/stat : 28617 (java) S 28614 28617 26121 0 -1 1077944320 9247 0 0 0 45 3 0 0 20 0 15 0 415083016 10915721216 10014 33554432000 4194304 4196468 140720662326864 140720662309408 140225978937079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
/proc/28617/statm: 2664971 10014 3002 1 0 2627468 0
[pid=28617/tid=28619] ppid=28614 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/28617/task/28619/stat : 28619 (java) R 28614 28617 26121 0 -1 4202560 6219 0 0 0 28 2 0 0 20 0 15 0 415083016 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225983172864 140225978959005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28620] ppid=28614 vsize=10659884 memory=2810766 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28620/stat : 28620 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225920941072 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28621] ppid=28614 vsize=10659884 memory=288371040820061824 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28621/stat : 28621 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225919888528 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28622] ppid=28614 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28622/stat : 28622 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225918835472 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28623] ppid=28614 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28623/stat : 28623 (java) S 28614 28617 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415083017 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225582783376 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28624] ppid=28614 vsize=10659884 memory=140664668350080 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28624/stat : 28624 (java) S 28614 28617 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415083018 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225538103536 140225978948226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28625] ppid=28614 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28625/stat : 28625 (java) S 28614 28617 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415083019 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225537049760 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28626] ppid=28614 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28626/stat : 28626 (java) S 28614 28617 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415083019 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225535996656 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28627] ppid=28614 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28627/stat : 28627 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415083021 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225534945232 140225978955675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28628] ppid=28614 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28617/task/28628/stat : 28628 (java) S 28614 28617 26121 0 -1 1077944384 649 0 0 0 4 0 0 0 20 0 15 0 415083021 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225533893360 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28629] ppid=28614 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28617/task/28629/stat : 28629 (java) S 28614 28617 26121 0 -1 1077944384 358 0 0 0 3 0 0 0 20 0 15 0 415083021 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225532840816 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28630] ppid=28614 vsize=10659884 memory=140664668350080 CPUtime=0.08 cores=0,2,4,6
/proc/28617/task/28630/stat : 28630 (java) R 28614 28617 26121 0 -1 4202560 663 0 0 0 8 0 0 0 20 0 15 0 415083021 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225531787760 140225978958426 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28631] ppid=28614 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28631/stat : 28631 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415083021 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225530735456 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28632] ppid=28614 vsize=10659884 memory=140664668350080 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28632/stat : 28632 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083022 10915721216 10014 33554432000 4194304 4196468 140720662326864 140225529682480 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40056 KiB
[startup+0.700783 s]
/proc/loadavg: 1.95 1.78 1.72 3/230 28632
/proc/meminfo: memFree=29925308/32770624 swapFree=66918708/67108860
[pid=28617] ppid=28614 vsize=10661932 memory=63192 CPUtime=1.11 cores=0,2,4,6
/proc/28617/stat : 28617 (java) S 28614 28617 26121 0 -1 1077944320 12874 0 0 0 106 5 0 0 20 0 15 0 415083016 10917818368 15798 33554432000 4194304 4196468 140720662326864 140720662309408 140225978937079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
/proc/28617/statm: 2665483 15798 3061 1 0 2627980 0
[pid=28617/tid=28619] ppid=28614 vsize=10661932 memory=4481 CPUtime=0.68 cores=0,2,4,6
/proc/28617/task/28619/stat : 28619 (java) R 28614 28617 26121 0 -1 4202560 8755 0 0 0 64 4 0 0 20 0 15 0 415083016 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225983169104 140225963017566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28620] ppid=28614 vsize=10661932 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28620/stat : 28620 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225920941072 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28621] ppid=28614 vsize=10661932 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28621/stat : 28621 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225919888528 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28622] ppid=28614 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28622/stat : 28622 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225918835472 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28623] ppid=28614 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28623/stat : 28623 (java) S 28614 28617 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415083017 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225582783376 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28624] ppid=28614 vsize=10661932 memory=263603684934447 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28624/stat : 28624 (java) S 28614 28617 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415083018 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225538103536 140225978948226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28625] ppid=28614 vsize=10661932 memory=3545796572287875304 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28625/stat : 28625 (java) S 28614 28617 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415083019 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225537049760 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28626] ppid=28614 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28626/stat : 28626 (java) S 28614 28617 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415083019 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225535996656 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28627] ppid=28614 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28627/stat : 28627 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415083021 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225534945232 140225978955675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28628] ppid=28614 vsize=10661932 memory=281329082067872 CPUtime=0.11 cores=0,2,4,6
/proc/28617/task/28628/stat : 28628 (java) S 28614 28617 26121 0 -1 1077944384 890 0 0 0 11 0 0 0 20 0 15 0 415083021 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225533893360 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28629] ppid=28614 vsize=10661932 memory=19153 CPUtime=0.1 cores=0,2,4,6
/proc/28617/task/28629/stat : 28629 (java) S 28614 28617 26121 0 -1 1077944384 704 0 0 0 10 0 0 0 20 0 15 0 415083021 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225532840816 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28630] ppid=28614 vsize=10661932 memory=281329082040560 CPUtime=0.19 cores=0,2,4,6
/proc/28617/task/28630/stat : 28630 (java) S 28614 28617 26121 0 -1 1077944384 1168 0 0 0 19 0 0 0 20 0 15 0 415083021 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225531787760 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28631] ppid=28614 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28631/stat : 28631 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415083021 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225530735456 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28632] ppid=28614 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28632/stat : 28632 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083022 10917818368 15862 33554432000 4194304 4196468 140720662326864 140225529682480 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63192 KiB
[startup+1.50082 s]
/proc/loadavg: 1.95 1.78 1.72 3/230 28632
/proc/meminfo: memFree=29909660/32770624 swapFree=66918708/67108860
[pid=28617] ppid=28614 vsize=10663980 memory=75480 CPUtime=2.01 cores=0,2,4,6
/proc/28617/stat : 28617 (java) S 28614 28617 26121 0 -1 1077944320 18432 0 0 0 195 6 0 0 20 0 15 0 415083016 10919915520 18870 33554432000 4194304 4196468 140720662326864 140720662309408 140225978937079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
/proc/28617/statm: 2665995 18870 3097 1 0 2628492 0
[pid=28617/tid=28619] ppid=28614 vsize=10663980 memory=281329082917536 CPUtime=1.48 cores=0,2,4,6
/proc/28617/task/28619/stat : 28619 (java) R 28614 28617 26121 0 -1 4202560 12996 0 0 0 143 5 0 0 20 0 15 0 415083016 10919915520 18870 33554432000 4194304 4196468 140720662326864 140225983169104 140225978959005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28620] ppid=28614 vsize=10663980 memory=281329082090416 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28620/stat : 28620 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10919915520 18870 33554432000 4194304 4196468 140720662326864 140225920941072 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28621] ppid=28614 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28621/stat : 28621 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10919915520 18870 33554432000 4194304 4196468 140720662326864 140225919888528 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28622] ppid=28614 vsize=10663980 memory=2811011 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28622/stat : 28622 (java) S 28614 28617 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415083017 10919915520 18870 33554432000 4194304 4196468 140720662326864 140225918835472 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28623] ppid=28614 vsize=10663980 memory=2812297 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28623/stat : 28623 (java) S 28614 28617 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415083017 10919915520 18870 33554432000 4194304 4196468 140720662326864 140225582783376 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28624] ppid=28614 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28624/stat : 28624 (java) S 28614 28617 26121 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 415083018 10919915520 18870 33554432000 4194304 4196468 140720662326864 140225538103536 140225978948226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
################
# More data... #
################
[pid=28617/tid=28620] ppid=28614 vsize=10748324 memory=258288 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28620/stat : 28620 (java) S 28614 28617 26121 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225920941072 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28621] ppid=28614 vsize=10748324 memory=14699582244260396 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28621/stat : 28621 (java) S 28614 28617 26121 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225919888528 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28622] ppid=28614 vsize=10748324 memory=3616 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28622/stat : 28622 (java) S 28614 28617 26121 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225918835472 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28623] ppid=28614 vsize=10748324 memory=171 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28623/stat : 28623 (java) S 28614 28617 26121 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225582783376 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28624] ppid=28614 vsize=10748324 memory=172 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28624/stat : 28624 (java) S 28614 28617 26121 0 -1 1077944384 1360 0 0 0 1 0 0 0 20 0 16 0 415083018 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225538103536 140225978948226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28625] ppid=28614 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28625/stat : 28625 (java) S 28614 28617 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415083019 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225537049824 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28626] ppid=28614 vsize=10748324 memory=4321 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28626/stat : 28626 (java) S 28614 28617 26121 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415083019 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225535996672 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28627] ppid=28614 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28627/stat : 28627 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225534945232 140225978955675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28628] ppid=28614 vsize=10748324 memory=1560 CPUtime=1.71 cores=0,2,4,6
/proc/28617/task/28628/stat : 28628 (java) S 28614 28617 26121 0 -1 1077944384 5443 0 0 0 170 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225533893360 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28629] ppid=28614 vsize=10748324 memory=21504 CPUtime=1.72 cores=0,2,4,6
/proc/28617/task/28629/stat : 28629 (java) S 28614 28617 26121 0 -1 1077944384 3552 0 0 0 171 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225532840816 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28630] ppid=28614 vsize=10748324 memory=988 CPUtime=0.81 cores=0,2,4,6
/proc/28617/task/28630/stat : 28630 (java) S 28614 28617 26121 0 -1 1077944384 5156 0 0 0 80 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225531787760 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28631] ppid=28614 vsize=10748324 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28631/stat : 28631 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225530735456 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28632] ppid=28614 vsize=10748324 memory=68 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28632/stat : 28632 (java) S 28614 28617 26121 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 16 0 415083022 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225529682480 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28634] ppid=28614 vsize=10748324 memory=8242257093008374069 CPUtime=23.55 cores=0,2,4,6
/proc/28617/task/28634/stat : 28634 (java) R 28614 28617 26121 0 -1 4202560 6456 0 0 0 2353 2 0 0 20 0 16 0 415083205 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225445466800 140225606858598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
Current children cumulated CPU time: 29.84 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 258324 KiB
[startup+26.1317 s]
# the end of solver process 28617 was just reported to runsolver
# cumulated CPU time of all completed processes: user=30.299 s, system=0.181695 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6009 s]
/proc/loadavg: 1.85 1.77 1.72 3/231 28634
/proc/meminfo: memFree=29718300/32770624 swapFree=66918708/67108860
[pid=28617] ppid=28614 vsize=10748324 memory=258324 CPUtime=29.94 cores=0,2,4,6
/proc/28617/stat : 28617 (java) S 28614 28617 26121 0 -1 1077944320 39322 0 0 0 2977 17 0 0 20 0 16 0 415083016 11006283776 64581 33554432000 4194304 4196468 140720662326864 140720662309408 140225978937079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
/proc/28617/statm: 2687081 64581 3365 1 0 2647217 0
[pid=28617/tid=28619] ppid=28614 vsize=10748324 memory=6791534058613427641 CPUtime=1.88 cores=0,2,4,6
/proc/28617/task/28619/stat : 28619 (java) S 28614 28617 26121 0 -1 1077944384 15274 0 0 0 181 7 0 0 20 0 16 0 415083016 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225983179952 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28620] ppid=28614 vsize=10748324 memory=1560 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28620/stat : 28620 (java) S 28614 28617 26121 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225920941072 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28621] ppid=28614 vsize=10748324 memory=1172 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28621/stat : 28621 (java) S 28614 28617 26121 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225919888528 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28622] ppid=28614 vsize=10748324 memory=14008 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28622/stat : 28622 (java) S 28614 28617 26121 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225918835472 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28623] ppid=28614 vsize=10748324 memory=17828 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28623/stat : 28623 (java) S 28614 28617 26121 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225582783376 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28624] ppid=28614 vsize=10748324 memory=258260 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28624/stat : 28624 (java) S 28614 28617 26121 0 -1 1077944384 1360 0 0 0 1 0 0 0 20 0 16 0 415083018 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225538103536 140225978948226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28625] ppid=28614 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28625/stat : 28625 (java) S 28614 28617 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415083019 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225537049824 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28626] ppid=28614 vsize=10748324 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28626/stat : 28626 (java) S 28614 28617 26121 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415083019 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225535996672 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28627] ppid=28614 vsize=10748324 memory=3016 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28627/stat : 28627 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225534945232 140225978955675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28628] ppid=28614 vsize=10748324 memory=1603932 CPUtime=1.71 cores=0,2,4,6
/proc/28617/task/28628/stat : 28628 (java) S 28614 28617 26121 0 -1 1077944384 5443 0 0 0 170 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225533893360 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28629] ppid=28614 vsize=10748324 memory=1408 CPUtime=1.72 cores=0,2,4,6
/proc/28617/task/28629/stat : 28629 (java) S 28614 28617 26121 0 -1 1077944384 3552 0 0 0 171 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225532840816 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28630] ppid=28614 vsize=10748324 memory=2636 CPUtime=0.81 cores=0,2,4,6
/proc/28617/task/28630/stat : 28630 (java) S 28614 28617 26121 0 -1 1077944384 5156 0 0 0 80 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225531787760 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28631] ppid=28614 vsize=10748324 memory=258228 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28631/stat : 28631 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225530735456 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28632] ppid=28614 vsize=10748324 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28632/stat : 28632 (java) S 28614 28617 26121 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 16 0 415083022 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225529682480 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28634] ppid=28614 vsize=10748324 memory=188 CPUtime=23.65 cores=0,2,4,6
/proc/28617/task/28634/stat : 28634 (java) R 28614 28617 26121 0 -1 4202560 6456 0 0 0 2363 2 0 0 20 0 16 0 415083205 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225445466800 140225607549019 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
Current children cumulated CPU time: 29.94 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 258324 KiB
[startup+26.0007 s]*
/proc/loadavg: 1.85 1.77 1.72 3/231 28634
/proc/meminfo: memFree=29718456/32770624 swapFree=66918708/67108860
[pid=28617] ppid=28614 vsize=10748324 memory=258324 CPUtime=30.35 cores=0,2,4,6
/proc/28617/stat : 28617 (java) S 28614 28617 26121 0 -1 1077944320 39322 0 0 0 3018 17 0 0 20 0 16 0 415083016 11006283776 64581 33554432000 4194304 4196468 140720662326864 140720662309408 140225978937079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
/proc/28617/statm: 2687081 64581 3365 1 0 2647217 0
[pid=28617/tid=28619] ppid=28614 vsize=10748324 memory=8317482817917895235 CPUtime=1.88 cores=0,2,4,6
/proc/28617/task/28619/stat : 28619 (java) S 28614 28617 26121 0 -1 1077944384 15274 0 0 0 181 7 0 0 20 0 16 0 415083016 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225983179952 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28620] ppid=28614 vsize=10748324 memory=4004 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28620/stat : 28620 (java) S 28614 28617 26121 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225920941072 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28621] ppid=28614 vsize=10748324 memory=2828 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28621/stat : 28621 (java) S 28614 28617 26121 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225919888528 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28622] ppid=28614 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28622/stat : 28622 (java) S 28614 28617 26121 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225918835472 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28623] ppid=28614 vsize=10748324 memory=4126316290023845779 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28623/stat : 28623 (java) S 28614 28617 26121 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225582783376 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28624] ppid=28614 vsize=10748324 memory=2828 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28624/stat : 28624 (java) S 28614 28617 26121 0 -1 1077944384 1360 0 0 0 1 0 0 0 20 0 16 0 415083018 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225538103536 140225978948226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28625] ppid=28614 vsize=10748324 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28625/stat : 28625 (java) S 28614 28617 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415083019 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225537049824 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28626] ppid=28614 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28626/stat : 28626 (java) S 28614 28617 26121 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415083019 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225535996672 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28627] ppid=28614 vsize=10748324 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28627/stat : 28627 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225534945232 140225978955675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28628] ppid=28614 vsize=10748324 memory=14008 CPUtime=1.71 cores=0,2,4,6
/proc/28617/task/28628/stat : 28628 (java) S 28614 28617 26121 0 -1 1077944384 5443 0 0 0 170 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225533893360 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28629] ppid=28614 vsize=10748324 memory=14072 CPUtime=1.72 cores=0,2,4,6
/proc/28617/task/28629/stat : 28629 (java) S 28614 28617 26121 0 -1 1077944384 3552 0 0 0 171 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225532840816 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28630] ppid=28614 vsize=10748324 memory=2116 CPUtime=0.81 cores=0,2,4,6
/proc/28617/task/28630/stat : 28630 (java) S 28614 28617 26121 0 -1 1077944384 5156 0 0 0 80 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225531787760 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28631] ppid=28614 vsize=10748324 memory=17828 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28631/stat : 28631 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225530735456 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28632] ppid=28614 vsize=10748324 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28632/stat : 28632 (java) S 28614 28617 26121 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 16 0 415083022 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225529682480 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28634] ppid=28614 vsize=10748324 memory=6944656592455359580 CPUtime=24.06 cores=0,2,4,6
/proc/28617/task/28634/stat : 28634 (java) R 28614 28617 26121 0 -1 4202560 6456 0 0 0 2404 2 0 0 20 0 16 0 415083205 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225445467560 140225607189376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
Current children cumulated CPU time: 30.35 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 258324 KiB
[startup+26.1101 s]
/proc/loadavg: 1.85 1.77 1.72 3/231 28634
/proc/meminfo: memFree=29718456/32770624 swapFree=66918708/67108860
[pid=28617] ppid=28614 vsize=10748324 memory=258324 CPUtime=30.45 cores=0,2,4,6
/proc/28617/stat : 28617 (java) S 28614 28617 26121 0 -1 1077944320 39322 0 0 0 3028 17 0 0 20 0 16 0 415083016 11006283776 64581 33554432000 4194304 4196468 140720662326864 140720662309408 140225978937079 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
/proc/28617/statm: 2687081 64581 3365 1 0 2647217 0
[pid=28617/tid=28619] ppid=28614 vsize=10748324 memory=258324 CPUtime=1.88 cores=0,2,4,6
/proc/28617/task/28619/stat : 28619 (java) S 28614 28617 26121 0 -1 1077944384 15274 0 0 0 181 7 0 0 20 0 16 0 415083016 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225983179952 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28620] ppid=28614 vsize=10748324 memory=258324 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28620/stat : 28620 (java) S 28614 28617 26121 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225920941072 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28621] ppid=28614 vsize=10748324 memory=14699582244260396 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28621/stat : 28621 (java) S 28614 28617 26121 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225919888528 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28622] ppid=28614 vsize=10748324 memory=3616 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28622/stat : 28622 (java) S 28614 28617 26121 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225918835472 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28623] ppid=28614 vsize=10748324 memory=171 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28623/stat : 28623 (java) S 28614 28617 26121 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 16 0 415083017 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225582783376 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28624] ppid=28614 vsize=10748324 memory=172 CPUtime=0.01 cores=0,2,4,6
/proc/28617/task/28624/stat : 28624 (java) S 28614 28617 26121 0 -1 1077944384 1360 0 0 0 1 0 0 0 20 0 16 0 415083018 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225538103536 140225978948226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28625] ppid=28614 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28625/stat : 28625 (java) S 28614 28617 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415083019 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225537049824 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28626] ppid=28614 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28626/stat : 28626 (java) S 28614 28617 26121 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415083019 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225535996672 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28627] ppid=28614 vsize=10748324 memory=68 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28627/stat : 28627 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225534945232 140225978955675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28628] ppid=28614 vsize=10748324 memory=8242257093008374069 CPUtime=1.71 cores=0,2,4,6
/proc/28617/task/28628/stat : 28628 (java) S 28614 28617 26121 0 -1 1077944384 5443 0 0 0 170 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225533893360 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28629] ppid=28614 vsize=10748324 memory=0 CPUtime=1.72 cores=0,2,4,6
/proc/28617/task/28629/stat : 28629 (java) S 28614 28617 26121 0 -1 1077944384 3552 0 0 0 171 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225532840816 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28630] ppid=28614 vsize=10748324 memory=4321 CPUtime=0.81 cores=0,2,4,6
/proc/28617/task/28630/stat : 28630 (java) S 28614 28617 26121 0 -1 1077944384 5156 0 0 0 80 1 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225531787760 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28631] ppid=28614 vsize=10748324 memory=21504 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28631/stat : 28631 (java) S 28614 28617 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415083021 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225530735456 140225978947285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28632] ppid=28614 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/28617/task/28632/stat : 28632 (java) S 28614 28617 26121 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 16 0 415083022 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225529682480 140225978948226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
[pid=28617/tid=28634] ppid=28614 vsize=10748324 memory=2012 CPUtime=24.16 cores=0,2,4,6
/proc/28617/task/28634/stat : 28634 (java) R 28614 28617 26121 0 -1 4202560 6456 0 0 0 2414 2 0 0 20 0 16 0 415083205 11006283776 64581 33554432000 4194304 4196468 140720662326864 140225445467560 140225606333767 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26415104 140720662328331 140720662328434 140720662328434 140720662331343 0
Current children cumulated CPU time: 30.45 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 258324 KiB
Child status: 0
Real time (s): 26.1318
CPU time (s): 30.4807
CPU user time (s): 30.299
CPU system time (s): 0.181695
CPU usage (%): 116.642
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 258324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.299
system time used= 0.181695
maximum resident set size= 258812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40193
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3333
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 28617
# total CPU time (s): 30.4807
# total CPU user time (s): 30.299
# total CPU system time (s): 0.181695
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.179791 second user time and 0.282571 second system time
The end