2.57/2.49
2.57/2.49 AbsCon 2
2.65/2.51
3.63/2.84 Instance
3.63/2.84 name=instance-4391059-1568380517, framework=COP, bounds=-infty..+infty
3.63/2.84
3.63/2.84 Loading variables...
3.63/2.89 Loading constraints...
5.19/3.34
5.19/3.34 Domains
5.19/3.34 nTypes=1, nValues=44521, sizes=[211#211]
5.19/3.34 Variables
5.19/3.34 count=211, degrees=[1#85,29#1,30#1,31#1...109#1,110#11,111#1,112#1]
5.19/3.34 Objectives
5.19/3.34 way=min, type=ObjMaximumLE
5.19/3.34 Constraints
5.19/3.34 count=4101, nSpecific=4101, arities=[2#4100,211#1]
5.19/3.34 distribution=[NE#4100,ObjMaximumLE#1]
5.19/3.34 wck=0.874, cpu=2.703, mem=126M926
5.19/3.34 Solver SolverBacktrack being built...
5.19/3.34
5.19/3.37
5.19/3.37 Solver
5.19/3.37 guaranteedGAC=true
5.19/3.37 wck=0.912, cpu=2.739, mem=137M569
5.19/3.38
5.19/3.38 Preprocessing
5.19/3.38 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.19/3.38 wck=0.004, cpu=2.745, mem=137M569
5.19/3.38
5.49/3.42 o 48
5.49/3.43 num=0, depth=212..210, filters=3564, ccks=4101, wck=0.061, mem=137M569
5.49/3.43 decisions=211, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=48
5.49/3.43
5.49/3.46 num=1, depth=191..195, filters=7320, ccks=4101, wck=0.086, mem=140M211
5.49/3.46 decisions=446, wrong=22, backtracks=11, failedAssignments=11, nogoods=3, foundSolutions=1, bestBound=48
5.49/3.46
5.49/3.48 num=2, depth=153..164, filters=11336, ccks=4101, wck=0.101, mem=140M211
5.49/3.48 decisions=643, wrong=44, backtracks=22, failedAssignments=22, nogoods=4, foundSolutions=1, bestBound=48
5.49/3.48
5.49/3.49 num=3, depth=187..192, filters=15129, ccks=4101, wck=0.119, mem=140M211
5.49/3.49 decisions=878, wrong=68, backtracks=37, failedAssignments=34, nogoods=5, foundSolutions=1, bestBound=48
5.49/3.49
5.80/3.51 num=4, depth=152..165, filters=19048, ccks=4101, wck=0.133, mem=140M211
5.80/3.51 decisions=1082, wrong=94, backtracks=50, failedAssignments=47, nogoods=6, foundSolutions=1, bestBound=48
5.80/3.51
5.80/3.52 num=5, depth=178..192, filters=22784, ccks=4101, wck=0.145, mem=140M211
5.80/3.52 decisions=1316, wrong=122, backtracks=64, failedAssignments=61, nogoods=7, foundSolutions=1, bestBound=48
5.80/3.52
5.80/3.53 num=6, depth=149..165, filters=26800, ccks=4101, wck=0.156, mem=140M211
5.80/3.53 decisions=1529, wrong=154, backtracks=80, failedAssignments=77, nogoods=8, foundSolutions=1, bestBound=48
5.80/3.53
5.80/3.54 num=7, depth=133..144, filters=31832, ccks=4101, wck=0.168, mem=140M211
5.80/3.54 decisions=1730, wrong=188, backtracks=99, failedAssignments=94, nogoods=10, foundSolutions=1, bestBound=48
5.80/3.54
5.80/3.55 num=8, depth=125..137, filters=37235, ccks=4101, wck=0.18, mem=140M211
5.80/3.55 decisions=1931, wrong=226, backtracks=121, failedAssignments=113, nogoods=11, foundSolutions=1, bestBound=48
5.80/3.55
5.80/3.56 num=9, depth=144..165, filters=41433, ccks=4101, wck=0.191, mem=140M211
5.80/3.56 decisions=2159, wrong=268, backtracks=142, failedAssignments=134, nogoods=12, foundSolutions=1, bestBound=48
5.80/3.56
5.80/3.58 num=10, depth=124..137, filters=48036, ccks=4101, wck=0.203, mem=140M211
5.80/3.58 decisions=2375, wrong=314, backtracks=169, failedAssignments=157, nogoods=14, foundSolutions=1, bestBound=48
5.80/3.58
5.80/3.59 num=11, depth=142..165, filters=52580, ccks=4101, wck=0.214, mem=140M211
5.80/3.59 decisions=2617, wrong=364, backtracks=194, failedAssignments=182, nogoods=16, foundSolutions=1, bestBound=48
5.80/3.59
5.97/3.60 num=12, depth=122..137, filters=59833, ccks=4101, wck=0.227, mem=140M211
5.97/3.60 decisions=2851, wrong=420, backtracks=228, failedAssignments=210, nogoods=17, foundSolutions=1, bestBound=48
5.97/3.60
5.97/3.61 num=13, depth=108..130, filters=66334, ccks=4101, wck=0.239, mem=140M211
5.97/3.61 decisions=3083, wrong=482, backtracks=262, failedAssignments=241, nogoods=20, foundSolutions=1, bestBound=48
5.97/3.61
5.97/3.62 num=14, depth=139..165, filters=71561, ccks=4101, wck=0.25, mem=140M211
5.97/3.62 decisions=3358, wrong=550, backtracks=299, failedAssignments=275, nogoods=22, foundSolutions=1, bestBound=48
5.97/3.62
5.97/3.64 num=15, depth=106..130, filters=80281, ccks=4101, wck=0.263, mem=140M211
5.97/3.64 decisions=3612, wrong=624, backtracks=341, failedAssignments=312, nogoods=25, foundSolutions=1, bestBound=48
5.97/3.64
5.97/3.65 num=16, depth=125..144, filters=88248, ccks=4101, wck=0.276, mem=140M211
5.97/3.65 decisions=3901, wrong=706, backtracks=392, failedAssignments=353, nogoods=27, foundSolutions=1, bestBound=48
5.97/3.65
5.97/3.66 num=17, depth=103..130, filters=98159, ccks=4101, wck=0.29, mem=140M211
5.97/3.66 decisions=4184, wrong=796, backtracks=445, failedAssignments=398, nogoods=29, foundSolutions=1, bestBound=48
5.97/3.66
5.97/3.68 num=18, depth=122..144, filters=107060, ccks=4101, wck=0.304, mem=140M211
5.97/3.68 decisions=4506, wrong=896, backtracks=508, failedAssignments=448, nogoods=31, foundSolutions=1, bestBound=48
5.97/3.68
5.97/3.69 num=19, depth=95..113, filters=118342, ccks=4101, wck=0.319, mem=140M211
5.97/3.69 decisions=4823, wrong=1006, backtracks=564, failedAssignments=503, nogoods=35, foundSolutions=1, bestBound=48
5.97/3.69
6.09/3.71 num=20, depth=118..144, filters=128509, ccks=4101, wck=0.335, mem=140M211
6.09/3.71 decisions=5185, wrong=1128, backtracks=642, failedAssignments=564, nogoods=36, foundSolutions=1, bestBound=48
6.09/3.71
6.09/3.73 num=21, depth=89..98, filters=142387, ccks=4101, wck=0.353, mem=140M211
6.09/3.73 decisions=5544, wrong=1262, backtracks=711, failedAssignments=631, nogoods=41, foundSolutions=1, bestBound=48
6.09/3.73
6.09/3.74 num=22, depth=107..137, filters=156364, ccks=4101, wck=0.37, mem=140M211
6.09/3.74 decisions=5947, wrong=1410, backtracks=806, failedAssignments=705, nogoods=43, foundSolutions=1, bestBound=48
6.09/3.74
6.09/3.76 num=23, depth=89..130, filters=170422, ccks=4101, wck=0.387, mem=140M211
6.09/3.76 decisions=6362, wrong=1572, backtracks=890, failedAssignments=786, nogoods=47, foundSolutions=1, bestBound=48
6.09/3.76
6.09/3.78 num=24, depth=89..100, filters=188069, ccks=4101, wck=0.407, mem=140M211
6.09/3.78 decisions=6808, wrong=1750, backtracks=986, failedAssignments=875, nogoods=55, foundSolutions=1, bestBound=48
6.09/3.78
6.21/3.80 num=25, depth=91..137, filters=206378, ccks=4101, wck=0.427, mem=140M211
6.21/3.80 decisions=7292, wrong=1946, backtracks=1104, failedAssignments=973, nogoods=61, foundSolutions=1, bestBound=48
6.21/3.80
6.21/3.82 num=26, depth=88..92, filters=227301, ccks=4101, wck=0.452, mem=140M211
6.21/3.82 decisions=7815, wrong=2162, backtracks=1213, failedAssignments=1081, nogoods=66, foundSolutions=1, bestBound=48
6.21/3.82
6.21/3.85 num=27, depth=92..137, filters=243506, ccks=4101, wck=0.474, mem=140M211
6.21/3.85 decisions=8383, wrong=2400, backtracks=1368, failedAssignments=1200, nogoods=68, foundSolutions=1, bestBound=48
6.21/3.85
6.21/3.87 num=28, depth=88..93, filters=267145, ccks=4101, wck=0.5, mem=140M211
6.21/3.87 decisions=8998, wrong=2662, backtracks=1502, failedAssignments=1331, nogoods=75, foundSolutions=1, bestBound=48
6.21/3.87
6.36/3.90 num=29, depth=88..92, filters=294349, ccks=4101, wck=0.527, mem=140M211
6.36/3.90 decisions=9663, wrong=2950, backtracks=1647, failedAssignments=1475, nogoods=80, foundSolutions=1, bestBound=48
6.36/3.90
6.36/3.92 num=30, depth=83..130, filters=318059, ccks=4101, wck=0.55, mem=140M211
6.36/3.92 decisions=10378, wrong=3266, backtracks=1807, failedAssignments=1633, nogoods=82, foundSolutions=1, bestBound=48
6.36/3.92
6.36/3.95 num=31, depth=78..92, filters=348724, ccks=4101, wck=0.58, mem=140M211
6.36/3.95 decisions=11152, wrong=3614, backtracks=1991, failedAssignments=1807, nogoods=84, foundSolutions=1, bestBound=48
6.36/3.95
6.36/3.98 num=32, depth=75..92, filters=382082, ccks=4101, wck=0.611, mem=140M211
6.36/3.98 decisions=11992, wrong=3996, backtracks=2192, failedAssignments=1998, nogoods=90, foundSolutions=1, bestBound=48
6.36/3.98
6.48/4.02 num=33, depth=72..92, filters=417689, ccks=4101, wck=0.646, mem=140M211
6.48/4.02 decisions=12910, wrong=4418, backtracks=2410, failedAssignments=2209, nogoods=96, foundSolutions=1, bestBound=48
6.48/4.02
6.48/4.06 num=34, depth=67..92, filters=460756, ccks=4101, wck=0.683, mem=140M211
6.48/4.06 decisions=13907, wrong=4882, backtracks=2653, failedAssignments=2441, nogoods=101, foundSolutions=1, bestBound=48
6.48/4.06
6.48/4.09 num=35, depth=68..100, filters=502277, ccks=4101, wck=0.721, mem=140M211
6.48/4.09 decisions=14995, wrong=5392, backtracks=2920, failedAssignments=2696, nogoods=104, foundSolutions=1, bestBound=48
6.48/4.09
6.60/4.14 num=36, depth=65..99, filters=552845, ccks=4101, wck=0.764, mem=140M211
6.60/4.14 decisions=16187, wrong=5954, backtracks=3212, failedAssignments=2977, nogoods=111, foundSolutions=1, bestBound=48
6.60/4.14
6.60/4.19 num=37, depth=60..75, filters=606802, ccks=4101, wck=0.813, mem=140M211
6.60/4.19 decisions=17485, wrong=6572, backtracks=3527, failedAssignments=3286, nogoods=118, foundSolutions=1, bestBound=48
6.60/4.19
6.70/4.24 num=38, depth=50..92, filters=672396, ccks=4101, wck=0.865, mem=140M211
6.70/4.24 decisions=18896, wrong=7252, backtracks=3881, failedAssignments=3626, nogoods=125, foundSolutions=1, bestBound=48
6.70/4.24
6.80/4.31 num=39, depth=42..73, filters=760007, ccks=4101, wck=0.936, mem=140M211
6.80/4.31 decisions=20436, wrong=8000, backtracks=4287, failedAssignments=4000, nogoods=135, foundSolutions=1, bestBound=48
6.80/4.31
6.80/4.38 num=40, depth=42..82, filters=855054, ccks=4101, wck=1.008, mem=140M211
6.80/4.38 decisions=22124, wrong=8822, backtracks=4726, failedAssignments=4411, nogoods=146, foundSolutions=1, bestBound=48
6.80/4.38
6.92/4.47 num=41, depth=42..92, filters=962279, ccks=4101, wck=1.093, mem=140M211
6.92/4.47 decisions=23976, wrong=9726, backtracks=5213, failedAssignments=4863, nogoods=153, foundSolutions=1, bestBound=48
6.92/4.47
7.03/4.53 num=42, depth=61..99, filters=1046856, ccks=4101, wck=1.158, mem=140M211
7.03/4.53 decisions=26026, wrong=10720, backtracks=5713, failedAssignments=5360, nogoods=157, foundSolutions=1, bestBound=48
7.03/4.53
7.13/4.64 num=43, depth=42..92, filters=1184873, ccks=4101, wck=1.266, mem=140M211
7.13/4.64 decisions=28257, wrong=11814, backtracks=6276, failedAssignments=5907, nogoods=169, foundSolutions=1, bestBound=48
7.13/4.64
7.24/4.74 num=44, depth=42..84, filters=1323027, ccks=4101, wck=1.372, mem=140M211
7.24/4.74 decisions=30711, wrong=13018, backtracks=6915, failedAssignments=6509, nogoods=173, foundSolutions=1, bestBound=48
7.24/4.74
7.34/4.86 num=45, depth=41..92, filters=1482624, ccks=4101, wck=1.486, mem=140M211
7.34/4.86 decisions=33402, wrong=14342, backtracks=7596, failedAssignments=7171, nogoods=178, foundSolutions=1, bestBound=48
7.34/4.86
7.44/4.97 num=46, depth=41..46, filters=1642625, ccks=4101, wck=1.602, mem=140M211
7.44/4.97 decisions=36358, wrong=15798, backtracks=8336, failedAssignments=7899, nogoods=187, foundSolutions=1, bestBound=48
7.44/4.97
7.64/5.13 num=47, depth=41..46, filters=1841230, ccks=4101, wck=1.753, mem=140M211
7.64/5.13 decisions=39606, wrong=17400, backtracks=9153, failedAssignments=8700, nogoods=194, foundSolutions=1, bestBound=48
7.64/5.13
7.74/5.29 num=48, depth=41..46, filters=2055974, ccks=4101, wck=1.915, mem=140M211
7.74/5.29 decisions=43175, wrong=19162, backtracks=10052, failedAssignments=9581, nogoods=203, foundSolutions=1, bestBound=48
7.74/5.29
7.94/5.43 num=49, depth=41..71, filters=2260070, ccks=4101, wck=2.055, mem=140M211
7.94/5.43 decisions=47099, wrong=21102, backtracks=11045, failedAssignments=10551, nogoods=214, foundSolutions=1, bestBound=48
7.94/5.43
8.14/5.60 num=50, depth=41..84, filters=2493201, ccks=4101, wck=2.227, mem=140M211
8.14/5.60 decisions=51412, wrong=23236, backtracks=12138, failedAssignments=11618, nogoods=226, foundSolutions=1, bestBound=48
8.14/5.60
8.34/5.80 num=51, depth=41..46, filters=2774297, ccks=4101, wck=2.431, mem=140M211
8.34/5.80 decisions=56149, wrong=25582, backtracks=13345, failedAssignments=12791, nogoods=235, foundSolutions=1, bestBound=48
8.34/5.80
8.54/6.03 num=52, depth=41..46, filters=3111868, ccks=4101, wck=2.662, mem=140M211
8.54/6.03 decisions=61358, wrong=28164, backtracks=14670, failedAssignments=14082, nogoods=243, foundSolutions=1, bestBound=48
8.54/6.03
8.84/6.30 num=53, depth=41..46, filters=3467692, ccks=4101, wck=2.927, mem=142M778
8.84/6.30 decisions=67083, wrong=31004, backtracks=16118, failedAssignments=15502, nogoods=257, foundSolutions=1, bestBound=48
8.84/6.30
9.04/6.54 num=54, depth=41..78, filters=3837309, ccks=4101, wck=3.17, mem=142M778
9.04/6.54 decisions=73375, wrong=34128, backtracks=17719, failedAssignments=17064, nogoods=270, foundSolutions=1, bestBound=48
9.04/6.54
9.34/6.87 num=55, depth=41..46, filters=4283510, ccks=4101, wck=3.495, mem=142M778
9.34/6.87 decisions=80292, wrong=37564, backtracks=19483, failedAssignments=18782, nogoods=279, foundSolutions=1, bestBound=48
9.34/6.87
9.65/7.18 num=56, depth=41..46, filters=4720592, ccks=4101, wck=3.81, mem=142M778
9.65/7.18 decisions=87897, wrong=41344, backtracks=21424, failedAssignments=20672, nogoods=291, foundSolutions=1, bestBound=48
9.65/7.18
10.04/7.54 num=57, depth=41..46, filters=5224379, ccks=4101, wck=4.163, mem=142M778
10.04/7.54 decisions=96258, wrong=45502, backtracks=23552, failedAssignments=22751, nogoods=303, foundSolutions=1, bestBound=48
10.04/7.54
10.34/7.89 num=58, depth=41..69, filters=5741608, ccks=4101, wck=4.512, mem=142M778
10.34/7.89 decisions=105450, wrong=50076, backtracks=25904, failedAssignments=25038, nogoods=310, foundSolutions=1, bestBound=48
10.34/7.89
10.75/8.26 num=59, depth=41..46, filters=6345572, ccks=4101, wck=4.89, mem=142M778
10.75/8.26 decisions=115559, wrong=55108, backtracks=28484, failedAssignments=27554, nogoods=317, foundSolutions=1, bestBound=48
10.75/8.26
11.18/8.69 num=60, depth=41..92, filters=7001177, ccks=4101, wck=5.321, mem=142M778
11.18/8.69 decisions=126676, wrong=60644, backtracks=31316, failedAssignments=30322, nogoods=332, foundSolutions=1, bestBound=48
11.18/8.69
11.78/9.21 num=61, depth=41..46, filters=7735355, ccks=4101, wck=5.842, mem=142M778
11.78/9.21 decisions=138897, wrong=66732, backtracks=34448, failedAssignments=33366, nogoods=342, foundSolutions=1, bestBound=48
11.78/9.21
12.28/9.77 num=62, depth=41..95, filters=8567419, ccks=4101, wck=6.399, mem=142M778
12.28/9.77 decisions=152337, wrong=73430, backtracks=37891, failedAssignments=36715, nogoods=357, foundSolutions=1, bestBound=48
12.28/9.77
12.88/10.39 num=63, depth=41..46, filters=9458388, ccks=4101, wck=7.015, mem=142M778
12.88/10.39 decisions=167117, wrong=80798, backtracks=41680, failedAssignments=40399, nogoods=370, foundSolutions=1, bestBound=48
12.88/10.39
13.59/11.11 num=64, depth=40..46, filters=10459602, ccks=4101, wck=7.732, mem=142M778
13.59/11.11 decisions=183369, wrong=88902, backtracks=45875, failedAssignments=44451, nogoods=382, foundSolutions=1, bestBound=48
13.59/11.11
14.40/11.83 num=65, depth=40..46, filters=11552660, ccks=4101, wck=8.461, mem=142M778
14.40/11.83 decisions=201240, wrong=97816, backtracks=50454, failedAssignments=48908, nogoods=393, foundSolutions=1, bestBound=48
14.40/11.83
15.31/12.74 num=66, depth=40..46, filters=12869519, ccks=4101, wck=9.372, mem=142M778
15.31/12.74 decisions=220897, wrong=107622, backtracks=55511, failedAssignments=53811, nogoods=400, foundSolutions=1, bestBound=48
15.31/12.74
16.16/13.50 num=67, depth=40..46, filters=14015861, ccks=4101, wck=10.11, mem=142M778
16.16/13.50 decisions=242518, wrong=118410, backtracks=61050, failedAssignments=59205, nogoods=408, foundSolutions=1, bestBound=48
16.16/13.50
16.96/14.37 num=68, depth=40..46, filters=15528900, ccks=4101, wck=10.995, mem=27M554
16.96/14.37 decisions=266295, wrong=130276, backtracks=67180, failedAssignments=65138, nogoods=421, foundSolutions=1, bestBound=48
16.96/14.37
17.86/15.27 num=69, depth=40..46, filters=17183699, ccks=4101, wck=11.899, mem=27M554
17.86/15.27 decisions=292443, wrong=143328, backtracks=73883, failedAssignments=71664, nogoods=437, foundSolutions=1, bestBound=48
17.86/15.27
18.77/16.12 num=70, depth=40..46, filters=18828157, ccks=4101, wck=12.743, mem=27M554
18.77/16.12 decisions=321203, wrong=157686, backtracks=81291, failedAssignments=78843, nogoods=447, foundSolutions=1, bestBound=48
18.77/16.12
19.87/17.24 num=71, depth=40..46, filters=20908008, ccks=4101, wck=13.866, mem=27M554
19.87/17.24 decisions=352834, wrong=173480, backtracks=89454, failedAssignments=86740, nogoods=452, foundSolutions=1, bestBound=48
19.87/17.24
21.17/18.57 num=72, depth=40..46, filters=23203578, ccks=4101, wck=15.194, mem=27M554
21.17/18.57 decisions=387625, wrong=190854, backtracks=98397, failedAssignments=95427, nogoods=461, foundSolutions=1, bestBound=48
21.17/18.57
22.47/19.81 num=73, depth=40..46, filters=25433046, ccks=4101, wck=16.441, mem=27M554
22.47/19.81 decisions=425889, wrong=209964, backtracks=108248, failedAssignments=104982, nogoods=469, foundSolutions=1, bestBound=48
22.47/19.81
23.87/21.20 num=74, depth=40..46, filters=27883616, ccks=4101, wck=17.825, mem=30M170
23.87/21.20 decisions=467978, wrong=230986, backtracks=119110, failedAssignments=115493, nogoods=487, foundSolutions=1, bestBound=48
23.87/21.20
25.57/22.92 num=75, depth=40..46, filters=30998500, ccks=4101, wck=19.543, mem=30M170
25.57/22.92 decisions=514270, wrong=254110, backtracks=131065, failedAssignments=127055, nogoods=500, foundSolutions=1, bestBound=48
25.57/22.92
27.27/24.68 num=76, depth=40..46, filters=34135214, ccks=4101, wck=21.308, mem=30M170
27.27/24.68 decisions=565187, wrong=279546, backtracks=144167, failedAssignments=139773, nogoods=517, foundSolutions=1, bestBound=48
27.27/24.68
29.37/26.70 num=77, depth=40..46, filters=37845227, ccks=4101, wck=23.325, mem=30M170
29.37/26.70 decisions=621192, wrong=307526, backtracks=158637, failedAssignments=153763, nogoods=527, foundSolutions=1, bestBound=48
29.37/26.70
30.87/28.29 num=78, depth=40..46, filters=40970677, ccks=4101, wck=24.922, mem=32M786
30.87/28.29 decisions=682793, wrong=338304, backtracks=174541, failedAssignments=169152, nogoods=536, foundSolutions=1, bestBound=48
30.87/28.29
33.17/30.50 num=79, depth=40..46, filters=44990960, ccks=4101, wck=27.124, mem=32M786
33.17/30.50 decisions=750548, wrong=372160, backtracks=192054, failedAssignments=186080, nogoods=548, foundSolutions=1, bestBound=48
33.17/30.50
35.78/33.11 num=80, depth=40..46, filters=49636861, ccks=4101, wck=29.735, mem=32M786
35.78/33.11 decisions=825074, wrong=409402, backtracks=211308, failedAssignments=204701, nogoods=566, foundSolutions=1, bestBound=48
35.78/33.11
38.28/35.66 num=81, depth=40..46, filters=54601303, ccks=4101, wck=32.29, mem=35M402
38.28/35.66 decisions=907053, wrong=450370, backtracks=232470, failedAssignments=225185, nogoods=584, foundSolutions=1, bestBound=48
38.28/35.66
41.68/39.01 num=82, depth=40..46, filters=60383118, ccks=4101, wck=35.64, mem=35M402
41.68/39.01 decisions=997223, wrong=495434, backtracks=255716, failedAssignments=247717, nogoods=606, foundSolutions=1, bestBound=48
41.68/39.01
45.18/42.53 num=83, depth=40..46, filters=66923406, ccks=4101, wck=39.154, mem=38M18
45.18/42.53 decisions=1096407, wrong=545004, backtracks=281349, failedAssignments=272502, nogoods=626, foundSolutions=1, bestBound=48
45.18/42.53
48.69/46.07 num=84, depth=40..46, filters=73737446, ccks=4101, wck=42.7, mem=38M18
48.69/46.07 decisions=1205508, wrong=599532, backtracks=309501, failedAssignments=299766, nogoods=641, foundSolutions=1, bestBound=48
48.69/46.07
53.28/50.68 num=85, depth=40..46, filters=82047816, ccks=4101, wck=47.312, mem=40M634
53.28/50.68 decisions=1325512, wrong=659512, backtracks=340497, failedAssignments=329756, nogoods=657, foundSolutions=1, bestBound=48
53.28/50.68
57.28/54.68 num=86, depth=39..46, filters=89513977, ccks=4101, wck=51.31, mem=40M634
57.28/54.68 decisions=1457513, wrong=725490, backtracks=374669, failedAssignments=362745, nogoods=667, foundSolutions=1, bestBound=48
57.28/54.68
62.40/59.73 num=87, depth=39..46, filters=98835246, ccks=4101, wck=56.358, mem=43M250
62.40/59.73 decisions=1602709, wrong=798066, backtracks=412286, failedAssignments=399033, nogoods=682, foundSolutions=1, bestBound=48
62.40/59.73
68.40/65.76 num=88, depth=39..46, filters=109247759, ccks=4101, wck=62.39, mem=45M866
68.40/65.76 decisions=1762421, wrong=877900, backtracks=453656, failedAssignments=438950, nogoods=697, foundSolutions=1, bestBound=48
68.40/65.76
75.10/72.49 num=89, depth=39..46, filters=120901729, ccks=4101, wck=69.117, mem=48M482
75.10/72.49 decisions=1938102, wrong=965718, backtracks=499104, failedAssignments=482859, nogoods=709, foundSolutions=1, bestBound=48
75.10/72.49
81.31/78.66 num=90, depth=39..46, filters=132561567, ccks=4101, wck=75.287, mem=51M98
81.31/78.66 decisions=2131347, wrong=1062318, backtracks=549135, failedAssignments=531159, nogoods=721, foundSolutions=1, bestBound=48
81.31/78.66
86.71/84.09 num=91, depth=39..46, filters=143328106, ccks=4101, wck=80.715, mem=53M714
86.71/84.09 decisions=2343909, wrong=1168578, backtracks=604250, failedAssignments=584289, nogoods=741, foundSolutions=1, bestBound=48
86.71/84.09
93.90/91.29 num=92, depth=39..46, filters=157026063, ccks=4101, wck=87.919, mem=56M330
93.90/91.29 decisions=2577725, wrong=1285464, backtracks=664849, failedAssignments=642732, nogoods=764, foundSolutions=1, bestBound=48
93.90/91.29
102.30/99.69 num=93, depth=39..46, filters=172785352, ccks=4101, wck=96.314, mem=58M946
102.30/99.69 decisions=2834915, wrong=1414038, backtracks=731550, failedAssignments=707019, nogoods=782, foundSolutions=1, bestBound=48
102.30/99.69
112.30/109.68 num=94, depth=39..46, filters=191452387, ccks=4101, wck=106.311, mem=61M562
112.30/109.68 decisions=3117824, wrong=1555470, backtracks=804967, failedAssignments=777735, nogoods=792, foundSolutions=1, bestBound=48
112.30/109.68
124.42/121.76 num=95, depth=39..46, filters=212126934, ccks=4101, wck=118.386, mem=66M794
124.42/121.76 decisions=3429016, wrong=1711044, backtracks=885685, failedAssignments=855522, nogoods=808, foundSolutions=1, bestBound=48
124.42/121.76
137.32/134.64 num=96, depth=39..46, filters=235373165, ccks=4101, wck=131.264, mem=69M410
137.32/134.64 decisions=3771325, wrong=1882176, backtracks=974508, failedAssignments=941088, nogoods=821, foundSolutions=1, bestBound=48
137.32/134.64
150.21/147.56 num=97, depth=39..46, filters=259429168, ccks=4101, wck=144.186, mem=74M642
150.21/147.56 decisions=4147860, wrong=2070422, backtracks=1072172, failedAssignments=1035211, nogoods=832, foundSolutions=1, bestBound=48
150.21/147.56
164.52/161.86 num=98, depth=39..46, filters=285803864, ccks=4101, wck=158.492, mem=79M873
164.52/161.86 decisions=4562044, wrong=2277492, backtracks=1179643, failedAssignments=1138746, nogoods=852, foundSolutions=1, bestBound=48
164.52/161.86
182.33/179.69 num=99, depth=39..46, filters=316110832, ccks=4101, wck=176.318, mem=85M105
182.33/179.69 decisions=5017644, wrong=2505270, backtracks=1297790, failedAssignments=1252635, nogoods=874, foundSolutions=1, bestBound=48
182.33/179.69
199.64/196.95 num=100, depth=39..46, filters=347334784, ccks=4101, wck=193.581, mem=90M337
199.64/196.95 decisions=5518800, wrong=2755826, backtracks=1427850, failedAssignments=1377913, nogoods=888, foundSolutions=1, bestBound=48
199.64/196.95
218.85/216.18 num=101, depth=39..46, filters=383350298, ccks=4101, wck=212.808, mem=98M185
218.85/216.18 decisions=6070068, wrong=3031438, backtracks=1570988, failedAssignments=1515719, nogoods=910, foundSolutions=1, bestBound=48
218.85/216.18
237.15/234.49 num=102, depth=39..46, filters=419464389, ccks=4101, wck=231.112, mem=106M33
237.15/234.49 decisions=6676455, wrong=3334610, backtracks=1728466, failedAssignments=1667305, nogoods=934, foundSolutions=1, bestBound=48
237.15/234.49
260.16/257.48 num=103, depth=39..46, filters=464175226, ccks=4101, wck=254.103, mem=113M881
260.16/257.48 decisions=7343479, wrong=3668100, backtracks=1901525, failedAssignments=1834050, nogoods=955, foundSolutions=1, bestBound=48
260.16/257.48
286.06/283.35 num=104, depth=39..46, filters=510881425, ccks=4101, wck=279.975, mem=121M729
286.06/283.35 decisions=8077198, wrong=4034938, backtracks=2091908, failedAssignments=2017469, nogoods=976, foundSolutions=1, bestBound=48
286.06/283.35
313.16/310.44 num=105, depth=39..46, filters=562437114, ccks=4101, wck=307.072, mem=132M193
313.16/310.44 decisions=8884285, wrong=4438460, backtracks=2301474, failedAssignments=2219230, nogoods=1003, foundSolutions=1, bestBound=48
313.16/310.44
347.36/344.62 num=106, depth=39..46, filters=622458856, ccks=4101, wck=341.243, mem=142M657
347.36/344.62 decisions=9772081, wrong=4882336, backtracks=2531947, failedAssignments=2441168, nogoods=1026, foundSolutions=1, bestBound=48
347.36/344.62
380.47/377.74 num=107, depth=39..46, filters=682753947, ccks=4101, wck=374.363, mem=155M737
380.47/377.74 decisions=10748649, wrong=5370598, backtracks=2785421, failedAssignments=2685299, nogoods=1054, foundSolutions=1, bestBound=48
380.47/377.74
414.11/411.37 num=108, depth=39..46, filters=747257067, ccks=4101, wck=407.998, mem=38M171
414.11/411.37 decisions=11822872, wrong=5907688, backtracks=3064441, failedAssignments=2953844, nogoods=1080, foundSolutions=1, bestBound=48
414.11/411.37
459.42/456.63 num=109, depth=38..46, filters=831083472, ccks=4101, wck=453.252, mem=51M297
459.42/456.63 decisions=13004512, wrong=6498486, backtracks=3371885, failedAssignments=3249243, nogoods=1099, foundSolutions=1, bestBound=48
459.42/456.63
505.93/503.17 num=110, depth=38..46, filters=919346981, ccks=4101, wck=499.797, mem=67M48
505.93/503.17 decisions=14304313, wrong=7148364, backtracks=3709887, failedAssignments=3574182, nogoods=1117, foundSolutions=1, bestBound=48
505.93/503.17
564.43/561.67 num=111, depth=38..46, filters=1023707623, ccks=4101, wck=558.299, mem=85M425
564.43/561.67 decisions=15734090, wrong=7863230, backtracks=4081814, failedAssignments=3931615, nogoods=1130, foundSolutions=1, bestBound=48
564.43/561.67
622.25/619.49 num=112, depth=38..46, filters=1132202524, ccks=4101, wck=616.117, mem=103M801
622.25/619.49 decisions=17306837, wrong=8649582, backtracks=4490744, failedAssignments=4324791, nogoods=1154, foundSolutions=1, bestBound=48
622.25/619.49
673.55/670.76 num=113, depth=38..46, filters=1229423314, ccks=4101, wck=667.388, mem=124M803
673.55/670.76 decisions=19036856, wrong=9514570, backtracks=4940994, failedAssignments=4757285, nogoods=1174, foundSolutions=1, bestBound=48
673.55/670.76
736.27/733.42 num=114, depth=38..46, filters=1346741322, ccks=4101, wck=730.048, mem=149M752
736.27/733.42 decisions=20939876, wrong=10466058, backtracks=5436364, failedAssignments=5233029, nogoods=1194, foundSolutions=1, bestBound=48
736.27/733.42
813.02/810.18 num=115, depth=38..46, filters=1485068734, ccks=4101, wck=806.81, mem=43M390
813.02/810.18 decisions=23033193, wrong=11512694, backtracks=5981280, failedAssignments=5756347, nogoods=1219, foundSolutions=1, bestBound=48
813.02/810.18
900.52/897.67 num=116, depth=38..46, filters=1647905203, ccks=4101, wck=894.297, mem=72M232
900.52/897.67 decisions=25335836, wrong=12663994, backtracks=6580725, failedAssignments=6331997, nogoods=1239, foundSolutions=1, bestBound=48
900.52/897.67
991.05/988.19 num=117, depth=38..46, filters=1808936669, ccks=4101, wck=984.821, mem=103M696
991.05/988.19 decisions=27868741, wrong=13930424, backtracks=7239987, failedAssignments=6965212, nogoods=1259, foundSolutions=1, bestBound=48
991.05/988.19
1101.56/1098.66 num=118, depth=38..46, filters=2006114557, ccks=4101, wck=1095.289, mem=137M782
1101.56/1098.66 decisions=30654928, wrong=15323496, backtracks=7966569, failedAssignments=7661748, nogoods=1284, foundSolutions=1, bestBound=48
1101.56/1098.66
1191.50/1188.54 num=119, depth=38..46, filters=2184585141, ccks=4101, wck=1185.171, mem=43M205
1191.50/1188.54 decisions=33719733, wrong=16855876, backtracks=8765272, failedAssignments=8427938, nogoods=1302, foundSolutions=1, bestBound=48
1191.50/1188.54
1309.13/1306.11 num=120, depth=38..46, filters=2406214534, ccks=4101, wck=1302.741, mem=84M604
1309.13/1306.11 decisions=37091013, wrong=18541494, backtracks=9643779, failedAssignments=9270747, nogoods=1314, foundSolutions=1, bestBound=48
1309.13/1306.11
1437.65/1434.62 num=121, depth=38..46, filters=2653573078, ccks=4101, wck=1431.25, mem=128M590
1437.65/1434.62 decisions=40799417, wrong=20395674, backtracks=10610024, failedAssignments=10197837, nogoods=1338, foundSolutions=1, bestBound=48
1437.65/1434.62
1596.60/1593.55 num=122, depth=38..46, filters=2929810814, ccks=4101, wck=1590.173, mem=50M644
1596.60/1593.55 decisions=44878657, wrong=22435272, backtracks=11673084, failedAssignments=11217636, nogoods=1349, foundSolutions=1, bestBound=48
1596.60/1593.55
1737.62/1734.53 num=123, depth=38..46, filters=3200725846, ccks=4101, wck=1731.153, mem=104M198
1737.62/1734.53 decisions=49365817, wrong=24678830, backtracks=12842573, failedAssignments=12339415, nogoods=1372, foundSolutions=1, bestBound=48
1737.62/1734.53
1933.18/1930.03 num=124, depth=38..46, filters=3558418029, ccks=4101, wck=1926.653, mem=37M699
1933.18/1930.03 decisions=54301689, wrong=27146744, backtracks=14128669, failedAssignments=13573372, nogoods=1396, foundSolutions=1, bestBound=48
1933.18/1930.03
2134.61/2131.48 num=125, depth=38..46, filters=3935961387, ccks=4101, wck=2128.102, mem=102M991
2134.61/2131.48 decisions=59731146, wrong=29861450, backtracks=15543876, failedAssignments=14930725, nogoods=1418, foundSolutions=1, bestBound=48
2134.61/2131.48
2352.47/2349.22 num=126, depth=38..46, filters=4325846762, ccks=4101, wck=2345.842, mem=49M838
2352.47/2349.22 decisions=65703541, wrong=32847626, backtracks=17098998, failedAssignments=16423813, nogoods=1446, foundSolutions=1, bestBound=48
2352.47/2349.22
2520.01/2516.70
2520.01/2516.70 v <instantiation id='sol1' type='solution' cost='48'> <list> x[] </list> <values> 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 0 0 17 0 0 0 0 18 0 19 0 20 0 18 21 0 0 22 0 0 23 0 16 21 0 24 24 25 26 16 17 18 19 20 21 22 23 27 28 29 30 31 32 33 34 35 24 36 0 25 37 0 26 27 38 0 39 0 40 0 0 16 0 16 0 0 0 0 0 28 0 0 41 0 0 0 0 0 0 25 24 0 0 0 0 0 0 24 0 0 42 0 26 0 0 24 0 0 25 0 24 24 0 0 0 0 43 44 44 0 0 22 22 0 0 25 0 0 0 0 0 0 0 0 0 44 45 44 44 45 21 0 16 0 0 0 0 0 16 0 45 44 44 46 46 44 44 20 20 20 20 0 0 0 0 0 16 45 0 46 0 21 0 47 47 48 47 46 16 16 0 0 45 45 21 0 0 24 </values> </instantiation>
2520.01/2516.70 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 (15268 MiB free)
memory of node 1: 16384 MiB (15422 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391059-1568380517/watcher-4391059-1568380517 -o /tmp/evaluation-result-4391059-1568380517/solver-4391059-1568380517 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568376800-8552 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391059-1568380517.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8579, runsolver pid=8575
[startup+0.100163 s]*
/proc/loadavg: 0.00 0.01 0.05 1/201 8585
/proc/meminfo: memFree=31421612/32770624 swapFree=66922024/67108860
[pid=8579] ppid=8575 vsize=111596 memory=5604 CPUtime=0 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8575 8579 8521 0 -1 1077944320 1725 0 0 0 0 0 0 0 20 0 2 0 414307737 114274304 1401 33554432000 4194304 4196468 140728838560320 140728838542864 139843512205047 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
/proc/8579/statm: 27899 1401 1062 1 0 16810 0
[pid=8579/tid=8585] ppid=8575 vsize=111596 memory=7100839852556125036 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) D 8575 8579 8521 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 414307743 114274304 1401 33554432000 4194304 4196468 140728838560320 139843516444904 139843504883061 0 4 0 16784584 18446744072101547556 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5604 KiB
[startup+0.210152 s]*
/proc/loadavg: 0.00 0.01 0.05 2/215 8599
/proc/meminfo: memFree=31400188/32770624 swapFree=66922024/67108860
[pid=8579] ppid=8575 vsize=10260324 memory=21864 CPUtime=0.04 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8575 8579 8521 0 -1 1077944320 4367 0 0 0 3 1 0 0 20 0 9 0 414307737 10506571776 5466 33554432000 4194304 4196468 140728838560320 140728838542864 139843512205047 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
/proc/8579/statm: 2565081 5466 2188 1 0 2527622 0
[pid=8579/tid=8585] ppid=8575 vsize=10260324 memory=7022364594140610616 CPUtime=0.04 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) R 8575 8579 8521 0 -1 4202560 3018 0 0 0 3 1 0 0 20 0 9 0 414307743 10506571776 5466 33554432000 4194304 4196468 140728838560320 139843516440440 139843512226973 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8586] ppid=8575 vsize=10260324 memory=365 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8575 8579 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414307751 10506571776 5466 33554432000 4194304 4196468 140728838560320 139843118750480 139843512215253 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8587] ppid=8575 vsize=10260324 memory=139982420543750 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8575 8579 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414307751 10506571776 5466 33554432000 4194304 4196468 140728838560320 139843117697936 139843512215253 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8588] ppid=8575 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8575 8579 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414307751 10506571776 5466 33554432000 4194304 4196468 140728838560320 139843116645392 139843512215253 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8589] ppid=8575 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8575 8579 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414307751 10506571776 5466 33554432000 4194304 4196468 140728838560320 139843115592848 139843512215253 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8594] ppid=8575 vsize=10260324 memory=139982420534912 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8594/stat : 8594 (java) S 8575 8579 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414307753 10506571776 5466 33554432000 4194304 4196468 140728838560320 139842816534512 139843512216194 0 0 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8597] ppid=8575 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8597/stat : 8597 (java) S 8575 8579 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414307753 10506571776 5466 33554432000 4194304 4196468 140728838560320 139842815480736 139843512215253 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8599] ppid=8575 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8599/stat : 8599 (java) S 8575 8579 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414307753 10506571776 5466 33554432000 4194304 4196468 140728838560320 139842814428144 139843512215253 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 21864 KiB
[startup+0.31021 s]*
/proc/loadavg: 0.00 0.01 0.05 2/226 8610
/proc/meminfo: memFree=31398592/32770624 swapFree=66922024/67108860
[pid=8579] ppid=8575 vsize=10593144 memory=23984 CPUtime=0.05 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8575 8579 8521 0 -1 1077944320 4969 0 0 0 4 1 0 0 20 0 14 0 414307737 10847379456 5996 33554432000 4194304 4196468 140728838560320 140728838542864 139843512205047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
/proc/8579/statm: 2648286 5996 2603 1 0 2610827 0
[pid=8579/tid=8585] ppid=8575 vsize=10593144 memory=8317482817917895235 CPUtime=0.05 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) D 8575 8579 8521 0 -1 1077944384 3100 0 0 0 4 1 0 0 20 0 14 0 414307743 10847379456 5996 33554432000 4194304 4196468 140728838560320 139843516442528 139843512227069 0 4 0 16800975 18446744072101547556 0 0 -1 0 0 0 1 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8586] ppid=8575 vsize=10593144 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8575 8579 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 414307751 10847379456 5996 33554432000 4194304 4196468 140728838560320 139843118750480 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8587] ppid=8575 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8575 8579 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 414307751 10847379456 5996 33554432000 4194304 4196468 140728838560320 139843117697936 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8588] ppid=8575 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8575 8579 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 414307751 10847379456 5996 33554432000 4194304 4196468 140728838560320 139843116645392 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8589] ppid=8575 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8575 8579 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 414307751 10847379456 5996 33554432000 4194304 4196468 140728838560320 139843115592848 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8594] ppid=8575 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8594/stat : 8594 (java) S 8575 8579 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 414307753 10847379456 5996 33554432000 4194304 4196468 140728838560320 139842816534512 139843512216194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8597] ppid=8575 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8597/stat : 8597 (java) S 8575 8579 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 414307753 10847379456 5996 33554432000 4194304 4196468 140728838560320 139842815480736 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8599] ppid=8575 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8599/stat : 8599 (java) S 8575 8579 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 414307753 10847379456 5996 33554432000 4194304 4196468 140728838560320 139842814428144 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8605] ppid=8575 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8605/stat : 8605 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414307762 10847379456 5996 33554432000 4194304 4196468 140728838560320 139842813376720 139843512223643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8606] ppid=8575 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8606/stat : 8606 (java) S 8575 8579 8521 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 14 0 414307762 10847379456 5996 33554432000 4194304 4196468 140728838560320 139842812324336 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8607] ppid=8575 vsize=10593144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8607/stat : 8607 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414307762 10847379456 5996 33554432000 4194304 4196468 140728838560320 139842811271792 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8608] ppid=8575 vsize=10593144 memory=139982420534912 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8608/stat : 8608 (java) S 8575 8579 8521 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 414307762 10847379456 5996 33554432000 4194304 4196468 140728838560320 139842810219248 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8609] ppid=8575 vsize=10593144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8609/stat : 8609 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414307763 10847379456 5996 33554432000 4194304 4196468 140728838560320 139842809166944 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10593144 KiB
Current children cumulated memory: 23984 KiB
[startup+0.700714 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 8611
/proc/meminfo: memFree=31377712/32770624 swapFree=66922024/67108860
[pid=8579] ppid=8575 vsize=10659884 memory=48228 CPUtime=0.7 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8575 8579 8521 0 -1 1077944320 11183 0 0 0 65 5 0 0 20 0 15 0 414307737 10915721216 12057 33554432000 4194304 4196468 140728838560320 140728838542864 139843512205047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
/proc/8579/statm: 2664971 12057 3057 1 0 2627468 0
[pid=8579/tid=8585] ppid=8575 vsize=10659884 memory=-1 CPUtime=0.4 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) R 8575 8579 8521 0 -1 4202560 7467 0 0 0 37 3 0 0 20 0 15 0 414307743 10915721216 12057 33554432000 4194304 4196468 140728838560320 139843516437008 139843492480754 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8586] ppid=8575 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8575 8579 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414307751 10915721216 12057 33554432000 4194304 4196468 140728838560320 139843118750480 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8587] ppid=8575 vsize=10659884 memory=279964624617712 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8575 8579 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414307751 10915721216 12057 33554432000 4194304 4196468 140728838560320 139843117697936 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8588] ppid=8575 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8575 8579 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414307751 10915721216 12057 33554432000 4194304 4196468 140728838560320 139843116645392 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8589] ppid=8575 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8575 8579 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414307751 10915721216 12057 33554432000 4194304 4196468 140728838560320 139843115592848 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8594] ppid=8575 vsize=10659884 memory=4715433313220523562 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8594/stat : 8594 (java) S 8575 8579 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414307753 10915721216 12057 33554432000 4194304 4196468 140728838560320 139842816534512 139843512216194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8597] ppid=8575 vsize=10659884 memory=8514726395714825349 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8597/stat : 8597 (java) S 8575 8579 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414307753 10915721216 12057 33554432000 4194304 4196468 140728838560320 139842815480736 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8599] ppid=8575 vsize=10659884 memory=4713745541279610410 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8599/stat : 8599 (java) S 8575 8579 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414307753 10915721216 12057 33554432000 4194304 4196468 140728838560320 139842814428144 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8605] ppid=8575 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8605/stat : 8605 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414307762 10915721216 12057 33554432000 4194304 4196468 140728838560320 139842813376720 139843512223643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8606] ppid=8575 vsize=10659884 memory=2276 CPUtime=0.06 cores=0,2,4,6
/proc/8579/task/8606/stat : 8606 (java) S 8575 8579 8521 0 -1 1077944384 830 0 0 0 6 0 0 0 20 0 15 0 414307762 10915721216 12057 33554432000 4194304 4196468 140728838560320 139842812324336 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8607] ppid=8575 vsize=10659884 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8579/task/8607/stat : 8607 (java) S 8575 8579 8521 0 -1 1077944384 673 0 0 0 8 0 0 0 20 0 15 0 414307762 10915721216 12057 33554432000 4194304 4196468 140728838560320 139842811271792 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8608] ppid=8575 vsize=10659884 memory=2120 CPUtime=0.12 cores=0,2,4,6
/proc/8579/task/8608/stat : 8608 (java) R 8575 8579 8521 0 -1 4202560 853 0 0 0 12 0 0 0 20 0 15 0 414307762 10915721216 12057 33554432000 4194304 4196468 140728838560320 139842810219248 139843491339543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8609] ppid=8575 vsize=10659884 memory=12020 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8609/stat : 8609 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414307763 10915721216 12057 33554432000 4194304 4196468 140728838560320 139842809166944 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8611] ppid=8575 vsize=10659884 memory=496 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8611/stat : 8611 (java) S 8575 8579 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414307769 10915721216 12064 33554432000 4194304 4196468 140728838560320 139842808113456 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 48228 KiB
[startup+1.50077 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 8611
/proc/meminfo: memFree=31322080/32770624 swapFree=66922024/67108860
[pid=8579] ppid=8575 vsize=10663980 memory=70584 CPUtime=1.67 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8575 8579 8521 0 -1 1077944320 15308 0 0 0 160 7 0 0 20 0 15 0 414307737 10919915520 17646 33554432000 4194304 4196468 140728838560320 140728838542864 139843512205047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
/proc/8579/statm: 2665995 17646 3079 1 0 2628492 0
[pid=8579/tid=8585] ppid=8575 vsize=10663980 memory=4529 CPUtime=1.2 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) R 8575 8579 8521 0 -1 4202560 10928 0 0 0 115 5 0 0 20 0 15 0 414307743 10919915520 17646 33554432000 4194304 4196468 140728838560320 139843516430928 139843492481872 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8586] ppid=8575 vsize=10663980 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8575 8579 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414307751 10919915520 17646 33554432000 4194304 4196468 140728838560320 139843118750480 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8587] ppid=8575 vsize=10663980 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8575 8579 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414307751 10919915520 17646 33554432000 4194304 4196468 140728838560320 139843117697936 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8588] ppid=8575 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8575 8579 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414307751 10919915520 17646 33554432000 4194304 4196468 140728838560320 139843116645392 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8589] ppid=8575 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8575 8579 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414307751 10919915520 17646 33554432000 4194304 4196468 140728838560320 139843115592848 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8594] ppid=8575 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8594/stat : 8594 (java) S 8575 8579 8521 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414307753 10919915520 17646 33554432000 4194304 4196468 140728838560320 139842816534512 139843512216194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8597] ppid=8575 vsize=10663980 memory=19324 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8597/stat : 8597 (java) S 8575 8579 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414307753 10919915520 17646 33554432000 4194304 4196468 140728838560320 139842815480736 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8599] ppid=8575 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8599/stat : 8599 (java) S 8575 8579 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414307753 10919915520 17646 33554432000 4194304 4196468 140728838560320 139842814428144 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8605] ppid=8575 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8605/stat : 8605 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414307762 10919915520 17646 33554432000 4194304 4196468 140728838560320 139842813376720 139843512223643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8606] ppid=8575 vsize=10663980 memory=3545373626125065847 CPUtime=0.1 cores=0,2,4,6
/proc/8579/task/8606/stat : 8606 (java) S 8575 8579 8521 0 -1 1077944384 844 0 0 0 10 0 0 0 20 0 15 0 414307762 10919915520 17646 33554432000 4194304 4196468 140728838560320 139842812324336 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8607] ppid=8575 vsize=10663980 memory=7368008160208777825 CPUtime=0.14 cores=0,2,4,6
/proc/8579/task/8607/stat : 8607 (java) S 8575 8579 8521 0 -1 1077944384 1151 0 0 0 14 0 0 0 20 0 15 0 414307762 10919915520 17646 33554432000 4194304 4196468 140728838560320 139842811271792 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8608] ppid=8575 vsize=10663980 memory=6656426216303648864 CPUtime=0.19 cores=0,2,4,6
/proc/8579/task/8608/stat : 8608 (java) S 8575 8579 8521 0 -1 1077944384 1021 0 0 0 19 0 0 0 20 0 15 0 414307762 10919915520 17646 33554432000 4194304 4196468 140728838560320 139842810219248 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8609] ppid=8575 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8609/stat : 8609 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414307763 10919915520 17646 33554432000 4194304 4196468 140728838560320 139842809166944 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8611] ppid=8575 vsize=10663980 memory=279964624617712 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8611/stat : 8611 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414307769 10919915520 17646 33554432000 4194304 4196468 140728838560320 139842808113456 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 70584 KiB
[startup+3.11045 s]
/proc/loadavg: 0.16 0.05 0.06 6/229 8613
/proc/meminfo: memFree=31126468/32770624 swapFree=66922024/67108860
[pid=8579] ppid=8575 vsize=10746276 memory=165272 CPUtime=4.66 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8575 8579 8521 0 -1 1077944320 24194 0 4 0 452 14 0 0 20 0 16 0 414307737 11004186624 41318 33554432000 4194304 4196468 140728838560320 140728838542864 139843512205047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
/proc/8579/statm: 2686569 41318 3348 1 0 2646705 0
[pid=8579/tid=8585] ppid=8575 vsize=10746276 memory=176810918691605 CPUtime=1.87 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) S 8575 8579 8521 0 -1 1077944384 13881 0 4 0 180 7 0 0 20 0 16 0 414307743 11004186624 41318 33554432000 4194304 4196468 140728838560320 139843516447920 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8586] ppid=8575 vsize=10746276 memory=3580 CPUtime=0.01 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8575 8579 8521 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 16 0 414307751 11004186624 41318 33554432000 4194304 4196468 140728838560320 139843118750480 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8587] ppid=8575 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8575 8579 8521 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414307751 11004186624 41318 33554432000 4194304 4196468 140728838560320 139843117697936 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8588] ppid=8575 vsize=10746276 memory=139982312317536 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8575 8579 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 414307751 11004186624 41318 33554432000 4194304 4196468 140728838560320 139843116645392 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8589] ppid=8575 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8575 8579 8521 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414307751 11004186624 41318 33554432000 4194304 4196468 140728838560320 139843115592848 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8594] ppid=8575 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8579/task/8594/stat : 8594 (java) S 8575 8579 8521 0 -1 1077944384 672 0 0 0 1 0 0 0 20 0 16 0 414307753 11004186624 41318 33554432000 4194304 4196468 140728838560320 139842816534512 139843512216194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8597] ppid=8575 vsize=10746276 memory=300668262675407919 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8597/stat : 8597 (java) S 8575 8579 8521 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414307753 11004186624 41318 33554432000 4194304 4196468 140728838560320 139842815480800 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
################
# More data... #
################
/proc/8579/task/8589/stat : 8589 (java) S 8575 8579 8521 0 -1 1077944384 1011 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843115592848 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8594] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.05 cores=0,2,4,6
/proc/8579/task/8594/stat : 8594 (java) S 8575 8579 8521 0 -1 1077944384 2385 0 0 0 3 2 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842816534512 139843512216194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8597] ppid=8575 vsize=10748324 memory=271104 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8597/stat : 8597 (java) S 8575 8579 8521 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842815480800 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8599] ppid=8575 vsize=10748324 memory=271104 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8599/stat : 8599 (java) S 8575 8579 8521 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842814428160 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8605] ppid=8575 vsize=10748324 memory=271104 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8605/stat : 8605 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842813376720 139843512223643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8606] ppid=8575 vsize=10748324 memory=2016 CPUtime=1.17 cores=0,2,4,6
/proc/8579/task/8606/stat : 8606 (java) S 8575 8579 8521 0 -1 1077944384 3744 0 0 0 116 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842812324336 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8607] ppid=8575 vsize=10748324 memory=271104 CPUtime=1.28 cores=0,2,4,6
/proc/8579/task/8607/stat : 8607 (java) S 8575 8579 8521 0 -1 1077944384 6071 0 0 0 127 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842811271792 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8608] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.81 cores=0,2,4,6
/proc/8579/task/8608/stat : 8608 (java) S 8575 8579 8521 0 -1 1077944384 7495 0 0 0 80 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842810219248 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8609] ppid=8575 vsize=10748324 memory=271104 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8609/stat : 8609 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414307763 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842809166944 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8611] ppid=8575 vsize=10748324 memory=988 CPUtime=0.74 cores=0,2,4,6
/proc/8579/task/8611/stat : 8611 (java) S 8575 8579 8521 0 -1 1077944384 1185 0 0 0 35 39 0 0 20 0 16 0 414307769 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842808113456 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8613] ppid=8575 vsize=10748324 memory=271104 CPUtime=2439.21 cores=0,2,4,6
/proc/8579/task/8613/stat : 8613 (java) R 8575 8579 8521 0 -1 4202560 17652 0 0 0 243915 6 0 0 20 0 16 0 414307986 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842147884240 139843153059270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
Current children cumulated CPU time: 2445.6 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 271104 KiB
[startup+2502.3 s]
/proc/loadavg: 1.90 1.89 1.78 3/228 8919
/proc/meminfo: memFree=30974736/32770624 swapFree=66922064/67108860
[pid=8579] ppid=8575 vsize=10748324 memory=271104 CPUtime=2505.61 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8575 8579 8521 0 -1 1077944320 58824 0 4 0 250518 43 0 0 20 0 16 0 414307737 11006283776 67776 33554432000 4194304 4196468 140728838560320 140728838542864 139843512205047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
/proc/8579/statm: 2687081 67776 3373 1 0 2647217 0
[pid=8579/tid=8585] ppid=8575 vsize=10748324 memory=271104 CPUtime=1.87 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) S 8575 8579 8521 0 -1 1077944384 13881 0 4 0 180 7 0 0 20 0 16 0 414307743 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843516447920 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8586] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8575 8579 8521 0 -1 1077944384 1654 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843118750480 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8587] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8575 8579 8521 0 -1 1077944384 1253 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843117697936 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8588] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8575 8579 8521 0 -1 1077944384 951 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843116645392 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8589] ppid=8575 vsize=10748324 memory=3580 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8575 8579 8521 0 -1 1077944384 1011 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843115592848 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8594] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.05 cores=0,2,4,6
/proc/8579/task/8594/stat : 8594 (java) S 8575 8579 8521 0 -1 1077944384 2391 0 0 0 3 2 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842816534512 139843512216194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8597] ppid=8575 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8597/stat : 8597 (java) S 8575 8579 8521 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842815480800 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8599] ppid=8575 vsize=10748324 memory=271104 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8599/stat : 8599 (java) S 8575 8579 8521 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842814428160 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8605] ppid=8575 vsize=10748324 memory=271104 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8605/stat : 8605 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842813376720 139843512223643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8606] ppid=8575 vsize=10748324 memory=271104 CPUtime=1.17 cores=0,2,4,6
/proc/8579/task/8606/stat : 8606 (java) S 8575 8579 8521 0 -1 1077944384 3750 0 0 0 116 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842812324336 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8607] ppid=8575 vsize=10748324 memory=271104 CPUtime=1.28 cores=0,2,4,6
/proc/8579/task/8607/stat : 8607 (java) S 8575 8579 8521 0 -1 1077944384 6075 0 0 0 127 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842811271792 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8608] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.81 cores=0,2,4,6
/proc/8579/task/8608/stat : 8608 (java) S 8575 8579 8521 0 -1 1077944384 7497 0 0 0 80 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842810219248 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8609] ppid=8575 vsize=10748324 memory=271104 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8609/stat : 8609 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414307763 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842809166944 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8611] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.76 cores=0,2,4,6
/proc/8579/task/8611/stat : 8611 (java) S 8575 8579 8521 0 -1 1077944384 1216 0 0 0 36 40 0 0 20 0 16 0 414307769 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842808113456 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8613] ppid=8575 vsize=10748324 memory=6080235982264156256 CPUtime=2499.2 cores=0,2,4,6
/proc/8579/task/8613/stat : 8613 (java) R 8575 8579 8521 0 -1 4202560 17703 0 0 0 249914 6 0 0 20 0 16 0 414307986 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842147884240 139843153113146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
Current children cumulated CPU time: 2505.61 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 271104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.7 s]
/proc/loadavg: 1.84 1.87 1.78 3/228 8919
/proc/meminfo: memFree=30975208/32770624 swapFree=66922064/67108860
[pid=8579] ppid=8575 vsize=10748324 memory=271104 CPUtime=2520.01 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8575 8579 8521 0 -1 1077944320 58826 0 4 0 251958 43 0 0 20 0 16 0 414307737 11006283776 67776 33554432000 4194304 4196468 140728838560320 140728838542864 139843512205047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
/proc/8579/statm: 2687081 67776 3373 1 0 2647217 0
[pid=8579/tid=8585] ppid=8575 vsize=10748324 memory=8040 CPUtime=1.87 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) S 8575 8579 8521 0 -1 1077944384 13881 0 4 0 180 7 0 0 20 0 16 0 414307743 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843516447920 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8586] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8575 8579 8521 0 -1 1077944384 1654 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843118750480 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8587] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8575 8579 8521 0 -1 1077944384 1253 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843117697936 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8588] ppid=8575 vsize=10748324 memory=984 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8575 8579 8521 0 -1 1077944384 951 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843116645392 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8589] ppid=8575 vsize=10748324 memory=3580 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8575 8579 8521 0 -1 1077944384 1011 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843115592848 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8594] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.06 cores=0,2,4,6
/proc/8579/task/8594/stat : 8594 (java) S 8575 8579 8521 0 -1 1077944384 2391 0 0 0 3 3 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842816534512 139843512216194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8597] ppid=8575 vsize=10748324 memory=271104 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8597/stat : 8597 (java) S 8575 8579 8521 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842815480800 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8599] ppid=8575 vsize=10748324 memory=984 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8599/stat : 8599 (java) S 8575 8579 8521 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842814428160 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8605] ppid=8575 vsize=10748324 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8605/stat : 8605 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842813376720 139843512223643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8606] ppid=8575 vsize=10748324 memory=4872558044660077418 CPUtime=1.17 cores=0,2,4,6
/proc/8579/task/8606/stat : 8606 (java) S 8575 8579 8521 0 -1 1077944384 3750 0 0 0 116 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842812324336 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8607] ppid=8575 vsize=10748324 memory=14012 CPUtime=1.28 cores=0,2,4,6
/proc/8579/task/8607/stat : 8607 (java) S 8575 8579 8521 0 -1 1077944384 6075 0 0 0 127 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842811271792 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8608] ppid=8575 vsize=10748324 memory=3717 CPUtime=0.81 cores=0,2,4,6
/proc/8579/task/8608/stat : 8608 (java) S 8575 8579 8521 0 -1 1077944384 7497 0 0 0 80 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842810219248 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8609] ppid=8575 vsize=10748324 memory=187 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8609/stat : 8609 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414307763 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842809166944 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8611] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.76 cores=0,2,4,6
/proc/8579/task/8611/stat : 8611 (java) S 8575 8579 8521 0 -1 1077944384 1216 0 0 0 36 40 0 0 20 0 16 0 414307769 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842808113456 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8613] ppid=8575 vsize=10748324 memory=271104 CPUtime=2513.6 cores=0,2,4,6
/proc/8579/task/8613/stat : 8613 (java) R 8575 8579 8521 0 -1 4202560 17705 0 0 0 251354 6 0 0 20 0 16 0 414307986 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842147884240 139843153058478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 271104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.71 s]
# the end of solver process 8579 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.6 s, system=0.43702 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2516.7 s]
/proc/loadavg: 1.84 1.87 1.78 3/228 8919
/proc/meminfo: memFree=30975208/32770624 swapFree=66922064/67108860
[pid=8579] ppid=8575 vsize=10748324 memory=271104 CPUtime=2520.01 cores=0,2,4,6
/proc/8579/stat : 8579 (java) S 8575 8579 8521 0 -1 1077944320 58826 0 4 0 251958 43 0 0 20 0 16 0 414307737 11006283776 67776 33554432000 4194304 4196468 140728838560320 140728838542864 139843512205047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
/proc/8579/statm: 2687081 67776 3373 1 0 2647217 0
[pid=8579/tid=8585] ppid=8575 vsize=10748324 memory=8040 CPUtime=1.87 cores=0,2,4,6
/proc/8579/task/8585/stat : 8585 (java) S 8575 8579 8521 0 -1 1077944384 13881 0 4 0 180 7 0 0 20 0 16 0 414307743 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843516447920 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8586] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8586/stat : 8586 (java) S 8575 8579 8521 0 -1 1077944384 1654 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843118750480 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8587] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8587/stat : 8587 (java) S 8575 8579 8521 0 -1 1077944384 1253 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843117697936 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8588] ppid=8575 vsize=10748324 memory=984 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8588/stat : 8588 (java) S 8575 8579 8521 0 -1 1077944384 951 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843116645392 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8589] ppid=8575 vsize=10748324 memory=3580 CPUtime=0.09 cores=0,2,4,6
/proc/8579/task/8589/stat : 8589 (java) S 8575 8579 8521 0 -1 1077944384 1011 0 0 0 8 1 0 0 20 0 16 0 414307751 11006283776 67776 33554432000 4194304 4196468 140728838560320 139843115592848 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8594] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.06 cores=0,2,4,6
/proc/8579/task/8594/stat : 8594 (java) S 8575 8579 8521 0 -1 1077944384 2391 0 0 0 3 3 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842816534512 139843512216194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8597] ppid=8575 vsize=10748324 memory=271104 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8597/stat : 8597 (java) S 8575 8579 8521 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842815480800 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8599] ppid=8575 vsize=10748324 memory=984 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8599/stat : 8599 (java) S 8575 8579 8521 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 414307753 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842814428160 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8605] ppid=8575 vsize=10748324 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8605/stat : 8605 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842813376720 139843512223643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8606] ppid=8575 vsize=10748324 memory=4872558044660077418 CPUtime=1.17 cores=0,2,4,6
/proc/8579/task/8606/stat : 8606 (java) S 8575 8579 8521 0 -1 1077944384 3750 0 0 0 116 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842812324336 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8607] ppid=8575 vsize=10748324 memory=14012 CPUtime=1.28 cores=0,2,4,6
/proc/8579/task/8607/stat : 8607 (java) S 8575 8579 8521 0 -1 1077944384 6075 0 0 0 127 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842811271792 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8608] ppid=8575 vsize=10748324 memory=3717 CPUtime=0.81 cores=0,2,4,6
/proc/8579/task/8608/stat : 8608 (java) S 8575 8579 8521 0 -1 1077944384 7497 0 0 0 80 1 0 0 20 0 16 0 414307762 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842810219248 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8609] ppid=8575 vsize=10748324 memory=187 CPUtime=0 cores=0,2,4,6
/proc/8579/task/8609/stat : 8609 (java) S 8575 8579 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414307763 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842809166944 139843512215253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8611] ppid=8575 vsize=10748324 memory=271104 CPUtime=0.76 cores=0,2,4,6
/proc/8579/task/8611/stat : 8611 (java) S 8575 8579 8521 0 -1 1077944384 1216 0 0 0 36 40 0 0 20 0 16 0 414307769 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842808113456 139843512216194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
[pid=8579/tid=8613] ppid=8575 vsize=10748324 memory=271104 CPUtime=2513.6 cores=0,2,4,6
/proc/8579/task/8613/stat : 8613 (java) R 8575 8579 8521 0 -1 4202560 17705 0 0 0 251354 6 0 0 20 0 16 0 414307986 11006283776 67776 33554432000 4194304 4196468 140728838560320 139842147884240 139843153058478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728838562827 140728838562930 140728838562930 140728838565839 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 271104 KiB
Child status: 143
Real time (s): 2516.71
CPU time (s): 2520.04
CPU user time (s): 2519.6
CPU system time (s): 0.43702
CPU usage (%): 100.132
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 275220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.6
system time used= 0.43702
maximum resident set size= 275220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59369
page faults= 4
swaps= 0
block input operations= 5488
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57696
involuntary context switches= 2231
# summary of solver processes directly reported to runsolver:
# pid: 8579
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.6
# total CPU system time (s): 0.43702
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0917 second user time and 22.3516 second system time
The end