Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | SAT (TO) | 18 | 2400.21 | 2394.54 |
Name | BinPacking/ BinPacking-mdd-fu/BinPacking-mdd-fu0120-05.xml |
MD5SUM | 9ef2b094cdda1b830103df1ca446c40b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 2400.21 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 470 |
Number of constraints | 70 |
Number of domains | 2 |
Minimum domain size | 62 |
Maximum domain size | 68 |
Distribution of domain sizes | [{"size":62,"count":469},{"size":68,"count":1}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":402},{"degree":4,"count":67}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 469 |
Distribution of constraint arities | [{"arity":7,"count":67},{"arity":68,"count":1},{"arity":469,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"mdd","count":67},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
2.43/1.87 2.43/1.87 AbsCon 2 2.43/1.89 3.59/2.33 Instance 3.59/2.33 name=instance-4391292-1568391026, framework=COP, bounds=-infty..+infty 3.59/2.33 3.59/2.33 Loading variables... 3.93/2.48 Loading constraints... 6.42/3.63 6.42/3.63 Domains 6.42/3.63 nTypes=2, nValues=29146, sizes=[62#469,68#1] 6.42/3.63 Variables 6.42/3.63 count=470, degrees=[2#1,3#12,4#392,5#65] 6.42/3.63 Objectives 6.42/3.63 way=max, type=ObjVarGE 6.42/3.63 Constraints 6.42/3.63 count=136, nSpecific=136, arities=[1#1,7#67,14#66,68#1,469#1] 6.42/3.63 distribution=[CardinalityConstant#1,CtrExtensionMDD-MDD#67,ExactlyKVariable#1,LexicographicLe#66,ObjVarGE#1] 6.42/3.63 nExtStructures=(67,shared:0) 6.42/3.63 wck=1.785, cpu=3.552, mem=195M551 6.42/3.64 Solver SolverBacktrack being built... 6.42/3.64 6.42/3.67 6.42/3.67 Solver 6.42/3.67 guaranteedGAC=true 6.42/3.67 wck=1.83, cpu=3.596, mem=212M128 7.28/4.02 7.28/4.02 Preprocessing 7.28/4.02 filters=67, nACremovedValues=18760, nTotalRemovedValues=18760, inconcistency=false 7.28/4.02 wck=0.346, cpu=3.944, mem=224M993 7.28/4.02 7.81/4.39 num=0, depth=1..1, filters=292, wck=0.718, mem=224M993 7.81/4.39 decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10 7.81/4.39 8.73/5.17 num=1, depth=0..0, filters=919, wck=1.498, mem=224M993 8.73/5.17 decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10 8.73/5.17 9.44/5.89 num=2, depth=0..0, filters=1629, wck=2.219, mem=224M993 9.44/5.89 decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10 9.44/5.89 10.86/7.27 num=3, depth=0..0, filters=2680, wck=3.597, mem=224M993 10.86/7.27 decisions=93, wrong=46, backtracks=0, failedAssignments=46, nogoods=10 10.86/7.27 11.88/8.22 num=4, depth=0..0, filters=3434, wck=4.552, mem=224M993 11.88/8.22 decisions=121, wrong=60, backtracks=0, failedAssignments=60, nogoods=10 11.88/8.22 13.48/9.72 num=5, depth=0..128, filters=4463, wck=6.048, mem=224M993 13.48/9.72 decisions=280, wrong=76, backtracks=0, failedAssignments=76, nogoods=15 13.48/9.72 14.98/11.20 num=6, depth=0..0, filters=5927, wck=7.534, mem=224M993 14.98/11.20 decisions=314, wrong=93, backtracks=0, failedAssignments=93, nogoods=15 14.98/11.20 17.72/13.92 num=7, depth=0..0, filters=8198, wck=10.247, mem=224M993 17.72/13.92 decisions=352, wrong=112, backtracks=0, failedAssignments=112, nogoods=15 17.72/13.92 19.64/15.87 num=8, depth=0..81, filters=9707, wck=12.199, mem=224M993 19.64/15.87 decisions=475, wrong=133, backtracks=0, failedAssignments=133, nogoods=24 19.64/15.87 20.35/16.51 num=9, depth=0..95, filters=10137, wck=12.838, mem=224M993 20.35/16.51 decisions=615, wrong=156, backtracks=0, failedAssignments=156, nogoods=34 20.35/16.51 20.97/17.13 num=10, depth=0..95, filters=10603, wck=13.458, mem=224M993 20.97/17.13 decisions=759, wrong=181, backtracks=0, failedAssignments=181, nogoods=49 20.97/17.13 21.81/17.95 num=11, depth=0..143, filters=11151, wck=14.284, mem=224M993 21.81/17.95 decisions=954, wrong=209, backtracks=0, failedAssignments=209, nogoods=73 21.81/17.95 23.96/20.10 num=12, depth=0..0, filters=13015, wck=16.426, mem=224M993 23.96/20.10 decisions=1016, wrong=240, backtracks=0, failedAssignments=240, nogoods=73 23.96/20.10 25.99/22.10 num=13, depth=0..143, filters=14489, wck=18.427, mem=224M993 25.99/22.10 decisions=1226, wrong=274, backtracks=0, failedAssignments=274, nogoods=91 25.99/22.10 29.02/25.01 num=14, depth=0..0, filters=17088, wck=21.34, mem=224M993 29.02/25.01 decisions=1300, wrong=311, backtracks=0, failedAssignments=311, nogoods=91 29.02/25.01 30.43/26.45 num=15, depth=0..136, filters=18211, wck=22.776, mem=224M993 30.43/26.45 decisions=1514, wrong=352, backtracks=0, failedAssignments=352, nogoods=126 30.43/26.45 32.06/28.04 num=16, depth=0..118, filters=19557, wck=24.369, mem=224M993 32.06/28.04 decisions=1719, wrong=397, backtracks=0, failedAssignments=397, nogoods=158 32.06/28.04 32.76/28.78 num=17, depth=39..167, filters=20012, wck=25.106, mem=224M993 32.76/28.78 decisions=1980, wrong=449, backtracks=2, failedAssignments=447, nogoods=186 32.76/28.78 34.78/30.75 num=18, depth=0..171, filters=21882, wck=27.078, mem=224M993 34.78/30.75 decisions=2258, wrong=504, backtracks=2, failedAssignments=502, nogoods=211 34.78/30.75 35.69/31.68 num=19, depth=47..210, filters=22796, wck=28.012, mem=224M993 35.69/31.68 decisions=2601, wrong=575, backtracks=16, failedAssignments=563, nogoods=255 35.69/31.68 36.82/32.75 num=20, depth=21..186, filters=23680, wck=29.082, mem=229M282 36.82/32.75 decisions=2916, wrong=644, backtracks=19, failedAssignments=630, nogoods=282 36.82/32.75 39.74/35.65 num=21, depth=0..146, filters=26373, wck=31.981, mem=229M282 39.74/35.65 decisions=3221, wrong=730, backtracks=33, failedAssignments=704, nogoods=319 39.74/35.65 40.75/36.67 num=22, depth=32..162, filters=27110, wck=33.002, mem=229M282 40.75/36.67 decisions=3544, wrong=815, backtracks=39, failedAssignments=785, nogoods=362 40.75/36.67 42.45/38.33 num=23, depth=19..177, filters=28569, wck=34.66, mem=229M282 42.45/38.33 decisions=3939, wrong=927, backtracks=70, failedAssignments=874, nogoods=393 42.45/38.33 44.58/40.41 num=24, depth=0..117, filters=30610, wck=36.738, mem=229M282 44.58/40.41 decisions=4318, wrong=1064, backtracks=123, failedAssignments=972, nogoods=428 44.58/40.41 46.38/42.20 num=25, depth=11..227, filters=32971, wck=38.533, mem=229M282 46.38/42.20 decisions=4839, wrong=1220, backtracks=185, failedAssignments=1080, nogoods=461 46.38/42.20 47.38/43.26 o 13 47.38/43.26 num=26, depth=12..469, filters=33646, ccks=136, wck=39.593, mem=229M282 47.38/43.26 decisions=5161, wrong=1260, backtracks=185, failedAssignments=1120, nogoods=501, foundSolutions=1, bestBound=13 47.38/43.26 49.13/44.92 o 14 49.13/44.92 num=27, depth=11..469, filters=35526, ccks=272, wck=41.248, mem=229M282 49.13/44.92 decisions=5723, wrong=1417, backtracks=251, failedAssignments=1229, nogoods=537, foundSolutions=2, bestBound=14 49.13/44.92 49.25/45.09 num=28, depth=9..17, filters=35664, ccks=272, wck=41.424, mem=229M282 49.25/45.09 decisions=5760, wrong=1428, backtracks=251, failedAssignments=1240, nogoods=548, foundSolutions=2, bestBound=14 49.25/45.09 49.44/45.28 num=29, depth=0..36, filters=35795, ccks=272, wck=41.612, mem=229M282 49.44/45.28 decisions=5815, wrong=1439, backtracks=251, failedAssignments=1251, nogoods=557, foundSolutions=2, bestBound=14 49.44/45.28 49.65/45.49 num=30, depth=0..43, filters=35944, ccks=272, wck=41.822, mem=229M282 49.65/45.49 decisions=5879, wrong=1451, backtracks=251, failedAssignments=1263, nogoods=565, foundSolutions=2, bestBound=14 49.65/45.49 50.26/46.04 num=31, depth=0..189, filters=36127, ccks=272, wck=42.375, mem=229M282 50.26/46.04 decisions=6092, wrong=1464, backtracks=251, failedAssignments=1276, nogoods=574, foundSolutions=2, bestBound=14 50.26/46.04 50.88/46.67 num=32, depth=5..193, filters=36475, ccks=272, wck=43.003, mem=229M282 50.88/46.67 decisions=6318, wrong=1484, backtracks=257, failedAssignments=1290, nogoods=578, foundSolutions=2, bestBound=14 50.88/46.67 51.52/47.22 num=33, depth=4..190, filters=36677, ccks=272, wck=43.553, mem=229M282 51.52/47.22 decisions=6533, wrong=1500, backtracks=257, failedAssignments=1306, nogoods=594, foundSolutions=2, bestBound=14 51.52/47.22 52.04/47.79 num=34, depth=5..200, filters=36877, ccks=272, wck=44.116, mem=229M282 52.04/47.79 decisions=6759, wrong=1517, backtracks=257, failedAssignments=1323, nogoods=611, foundSolutions=2, bestBound=14 52.04/47.79 52.64/48.34 num=35, depth=5..201, filters=37070, ccks=272, wck=44.674, mem=229M282 52.64/48.34 decisions=6988, wrong=1536, backtracks=257, failedAssignments=1342, nogoods=630, foundSolutions=2, bestBound=14 52.64/48.34 53.24/48.94 num=36, depth=5..201, filters=37351, ccks=272, wck=45.272, mem=229M282 53.24/48.94 decisions=7228, wrong=1563, backtracks=263, failedAssignments=1363, nogoods=648, foundSolutions=2, bestBound=14 53.24/48.94 53.95/49.60 num=37, depth=9..195, filters=37728, ccks=272, wck=45.929, mem=229M282 53.95/49.60 decisions=7473, wrong=1591, backtracks=268, failedAssignments=1386, nogoods=665, foundSolutions=2, bestBound=14 53.95/49.60 54.55/50.27 num=38, depth=3..200, filters=38063, ccks=272, wck=46.599, mem=229M282 54.55/50.27 decisions=7720, wrong=1623, backtracks=275, failedAssignments=1411, nogoods=686, foundSolutions=2, bestBound=14 54.55/50.27 55.22/50.83 num=39, depth=11..136, filters=38530, ccks=272, wck=47.163, mem=229M282 55.22/50.83 decisions=7918, wrong=1661, backtracks=285, failedAssignments=1439, nogoods=697, foundSolutions=2, bestBound=14 55.22/50.83 55.82/51.48 num=40, depth=2..193, filters=38865, ccks=272, wck=47.809, mem=229M282 55.82/51.48 decisions=8166, wrong=1694, backtracks=287, failedAssignments=1470, nogoods=727, foundSolutions=2, bestBound=14 55.82/51.48 56.43/52.07 num=41, depth=2..137, filters=39368, ccks=272, wck=48.403, mem=229M282 56.43/52.07 decisions=8371, wrong=1737, backtracks=296, failedAssignments=1504, nogoods=746, foundSolutions=2, bestBound=14 56.43/52.07 57.12/52.77 num=42, depth=3..189, filters=39821, ccks=272, wck=49.1, mem=229M282 57.12/52.77 decisions=8643, wrong=1787, backtracks=309, failedAssignments=1541, nogoods=762, foundSolutions=2, bestBound=14 57.12/52.77 57.95/53.57 num=43, depth=3..194, filters=40389, ccks=272, wck=49.902, mem=229M282 57.95/53.57 decisions=8929, wrong=1837, backtracks=318, failedAssignments=1582, nogoods=789, foundSolutions=2, bestBound=14 57.95/53.57 59.06/54.65 num=44, depth=0..141, filters=41237, ccks=272, wck=50.976, mem=229M282 59.06/54.65 decisions=9171, wrong=1893, backtracks=334, failedAssignments=1627, nogoods=814, foundSolutions=2, bestBound=14 59.06/54.65 59.96/55.58 num=45, depth=1..191, filters=41937, ccks=272, wck=51.908, mem=229M282 59.96/55.58 decisions=9479, wrong=1957, backtracks=355, failedAssignments=1677, nogoods=839, foundSolutions=2, bestBound=14 59.96/55.58 61.06/56.61 num=46, depth=1..207, filters=42958, ccks=272, wck=52.94, mem=229M282 61.06/56.61 decisions=9826, wrong=2034, backtracks=380, failedAssignments=1732, nogoods=865, foundSolutions=2, bestBound=14 61.06/56.61 62.16/57.70 num=47, depth=3..216, filters=43915, ccks=272, wck=54.034, mem=229M282 62.16/57.70 decisions=10184, wrong=2118, backtracks=405, failedAssignments=1793, nogoods=889, foundSolutions=2, bestBound=14 62.16/57.70 63.36/58.99 o 15 63.36/58.99 num=48, depth=1..469, filters=45054, ccks=408, wck=55.319, mem=229M282 63.36/58.99 decisions=10578, wrong=2197, backtracks=420, failedAssignments=1858, nogoods=935, foundSolutions=3, bestBound=15 63.36/58.99 64.79/60.31 num=49, depth=1..213, filters=46098, ccks=408, wck=56.638, mem=229M282 64.79/60.31 decisions=11001, wrong=2309, backtracks=460, failedAssignments=1932, nogoods=958, foundSolutions=3, bestBound=15 64.79/60.31 64.89/60.41 num=50, depth=3..22, filters=46186, ccks=408, wck=56.742, mem=229M282 64.89/60.41 decisions=11039, wrong=2320, backtracks=460, failedAssignments=1943, nogoods=969, foundSolutions=3, bestBound=15 64.89/60.41 64.99/60.54 num=51, depth=0..21, filters=46299, ccks=408, wck=56.869, mem=229M282 64.99/60.54 decisions=11080, wrong=2332, backtracks=460, failedAssignments=1955, nogoods=979, foundSolutions=3, bestBound=15 64.99/60.54 65.70/61.22 num=52, depth=0..205, filters=46612, ccks=408, wck=57.551, mem=229M282 65.70/61.22 decisions=11317, wrong=2351, backtracks=466, failedAssignments=1968, nogoods=982, foundSolutions=3, bestBound=15 65.70/61.22 66.41/61.93 num=53, depth=8..203, filters=47008, ccks=408, wck=58.264, mem=229M282 66.41/61.93 decisions=11555, wrong=2371, backtracks=472, failedAssignments=1982, nogoods=988, foundSolutions=3, bestBound=15 66.41/61.93 66.82/62.36 num=54, depth=7..63, filters=47406, ccks=408, wck=58.689, mem=229M282 66.82/62.36 decisions=11658, wrong=2394, backtracks=479, failedAssignments=1998, nogoods=995, foundSolutions=3, bestBound=15 66.82/62.36 67.92/63.47 num=55, depth=10..162, filters=48102, ccks=408, wck=59.8, mem=229M282 67.92/63.47 decisions=11851, wrong=2411, backtracks=479, failedAssignments=2015, nogoods=1012, foundSolutions=3, bestBound=15 67.92/63.47 68.92/64.45 num=56, depth=51..60, filters=48832, ccks=408, wck=60.782, mem=229M282 68.92/64.45 decisions=11961, wrong=2436, backtracks=485, failedAssignments=2034, nogoods=1028, foundSolutions=3, bestBound=15 68.92/64.45 69.72/65.29 num=57, depth=10..193, filters=49372, ccks=408, wck=61.623, mem=229M282 69.72/65.29 decisions=12192, wrong=2457, backtracks=485, failedAssignments=2055, nogoods=1049, foundSolutions=3, bestBound=15 69.72/65.29 70.16/65.68 num=58, depth=5..71, filters=49723, ccks=408, wck=62.009, mem=229M282 70.16/65.68 decisions=12313, wrong=2484, backtracks=490, failedAssignments=2078, nogoods=1069, foundSolutions=3, bestBound=15 70.16/65.68 71.06/66.55 num=59, depth=2..199, filters=50331, ccks=408, wck=62.879, mem=229M282 71.06/66.55 decisions=12556, wrong=2509, backtracks=490, failedAssignments=2103, nogoods=1094, foundSolutions=3, bestBound=15 71.06/66.55 71.96/67.46 num=60, depth=2..211, filters=51020, ccks=408, wck=63.791, mem=229M282 71.96/67.46 decisions=12819, wrong=2539, backtracks=492, failedAssignments=2131, nogoods=1120, foundSolutions=3, bestBound=15 71.96/67.46 72.78/68.29 num=61, depth=2..217, filters=51545, ccks=408, wck=64.625, mem=229M282 72.78/68.29 decisions=13103, wrong=2577, backtracks=505, failedAssignments=2162, nogoods=1139, foundSolutions=3, bestBound=15 72.78/68.29 73.88/69.30 num=62, depth=2..214, filters=52245, ccks=408, wck=65.63, mem=229M282 73.88/69.30 decisions=13408, wrong=2629, backtracks=526, failedAssignments=2196, nogoods=1153, foundSolutions=3, bestBound=15 73.88/69.30 74.78/70.27 num=63, depth=2..208, filters=52925, ccks=408, wck=66.597, mem=229M282 74.78/70.27 decisions=13703, wrong=2677, backtracks=542, failedAssignments=2233, nogoods=1167, foundSolutions=3, bestBound=15 74.78/70.27 75.88/71.30 num=64, depth=2..215, filters=53759, ccks=408, wck=67.631, mem=229M282 75.88/71.30 decisions=14006, wrong=2729, backtracks=563, failedAssignments=2274, nogoods=1185, foundSolutions=3, bestBound=15 75.88/71.30 76.69/72.14 o 16 76.69/72.14 num=65, depth=3..469, filters=54188, ccks=544, wck=68.473, mem=229M282 76.69/72.14 decisions=14334, wrong=2768, backtracks=565, failedAssignments=2311, nogoods=1222, foundSolutions=4, bestBound=16 76.69/72.14 77.89/73.28 num=66, depth=1..202, filters=55132, ccks=544, wck=69.614, mem=229M282 77.89/73.28 decisions=14687, wrong=2849, backtracks=596, failedAssignments=2361, nogoods=1243, foundSolutions=4, bestBound=16 77.89/73.28 78.19/73.58 num=67, depth=53..59, filters=55311, ccks=544, wck=69.912, mem=229M282 78.19/73.58 decisions=14771, wrong=2862, backtracks=600, failedAssignments=2372, nogoods=1252, foundSolutions=4, bestBound=16 78.19/73.58 78.80/74.15 num=68, depth=4..196, filters=55507, ccks=544, wck=70.479, mem=229M282 78.80/74.15 decisions=14987, wrong=2876, backtracks=602, failedAssignments=2384, nogoods=1263, foundSolutions=4, bestBound=16 78.80/74.15 79.29/74.68 num=69, depth=4..195, filters=55674, ccks=544, wck=71.014, mem=229M282 79.29/74.68 decisions=15201, wrong=2889, backtracks=602, failedAssignments=2397, nogoods=1276, foundSolutions=4, bestBound=16 79.29/74.68 79.99/75.31 num=70, depth=4..198, filters=55947, ccks=544, wck=71.636, mem=229M282 79.99/75.31 decisions=15428, wrong=2908, backtracks=607, failedAssignments=2411, nogoods=1283, foundSolutions=4, bestBound=16 79.99/75.31 80.49/75.86 num=71, depth=1..192, filters=56134, ccks=544, wck=72.194, mem=229M282 80.49/75.86 decisions=15645, wrong=2924, backtracks=607, failedAssignments=2427, nogoods=1299, foundSolutions=4, bestBound=16 80.49/75.86 80.80/76.15 num=72, depth=5..57, filters=56317, ccks=544, wck=72.481, mem=229M282 80.80/76.15 decisions=15736, wrong=2942, backtracks=608, failedAssignments=2444, nogoods=1305, foundSolutions=4, bestBound=16 80.80/76.15 81.49/76.82 num=73, depth=1..195, filters=56670, ccks=544, wck=73.15, mem=229M282 81.49/76.82 decisions=15973, wrong=2966, backtracks=613, failedAssignments=2463, nogoods=1318, foundSolutions=4, bestBound=16 81.49/76.82 82.19/77.50 num=74, depth=5..196, filters=57057, ccks=544, wck=73.827, mem=229M282 82.19/77.50 decisions=16214, wrong=2993, backtracks=619, failedAssignments=2484, nogoods=1330, foundSolutions=4, bestBound=16 82.19/77.50 82.90/78.21 num=75, depth=1..199, filters=57433, ccks=544, wck=74.54, mem=229M282 82.90/78.21 decisions=16463, wrong=3024, backtracks=627, failedAssignments=2507, nogoods=1346, foundSolutions=4, bestBound=16 82.90/78.21 83.50/78.87 num=76, depth=2..201, filters=57763, ccks=544, wck=75.2, mem=229M282 83.50/78.87 decisions=16714, wrong=3054, backtracks=632, failedAssignments=2532, nogoods=1354, foundSolutions=4, bestBound=16 83.50/78.87 84.30/79.63 num=77, depth=3..199, filters=58291, ccks=544, wck=75.961, mem=229M282 84.30/79.63 decisions=16977, wrong=3092, backtracks=642, failedAssignments=2560, nogoods=1366, foundSolutions=4, bestBound=16 84.30/79.63 85.10/80.43 num=78, depth=1..196, filters=58858, ccks=544, wck=76.76, mem=229M282 85.10/80.43 decisions=17252, wrong=3133, backtracks=652, failedAssignments=2591, nogoods=1384, foundSolutions=4, bestBound=16 85.10/80.43 86.00/81.34 num=79, depth=1..194, filters=59598, ccks=544, wck=77.673, mem=229M282 86.00/81.34 decisions=17540, wrong=3185, backtracks=670, failedAssignments=2625, nogoods=1395, foundSolutions=4, bestBound=16 86.00/81.34 86.90/82.21 num=80, depth=7..203, filters=60193, ccks=544, wck=78.542, mem=229M282 86.90/82.21 decisions=17838, wrong=3237, backtracks=685, failedAssignments=2662, nogoods=1406, foundSolutions=4, bestBound=16 86.90/82.21 87.90/83.21 num=81, depth=3..210, filters=60951, ccks=544, wck=79.537, mem=229M282 87.90/83.21 decisions=18155, wrong=3295, backtracks=702, failedAssignments=2703, nogoods=1425, foundSolutions=4, bestBound=16 87.90/83.21 88.71/84.07 num=82, depth=48..56, filters=61755, ccks=544, wck=80.403, mem=229M282 88.71/84.07 decisions=18321, wrong=3352, backtracks=716, failedAssignments=2748, nogoods=1444, foundSolutions=4, bestBound=16 88.71/84.07 89.81/85.15 num=83, depth=1..190, filters=62680, ccks=544, wck=81.476, mem=229M282 89.81/85.15 decisions=18638, wrong=3420, backtracks=734, failedAssignments=2798, nogoods=1474, foundSolutions=4, bestBound=16 89.81/85.15 90.90/86.27 num=84, depth=4..180, filters=63825, ccks=544, wck=82.6, mem=229M282 90.90/86.27 decisions=18975, wrong=3499, backtracks=758, failedAssignments=2853, nogoods=1488, foundSolutions=4, bestBound=16 90.90/86.27 92.00/87.36 num=85, depth=62..73, filters=65425, ccks=544, wck=83.69, mem=229M282 92.00/87.36 decisions=19225, wrong=3590, backtracks=789, failedAssignments=2914, nogoods=1508, foundSolutions=4, bestBound=16 92.00/87.36 93.01/88.32 num=86, depth=1..177, filters=66229, ccks=544, wck=84.65, mem=229M282 93.01/88.32 decisions=19535, wrong=3663, backtracks=795, failedAssignments=2981, nogoods=1552, foundSolutions=4, bestBound=16 93.01/88.32 94.01/89.36 num=87, depth=1..208, filters=67150, ccks=544, wck=85.686, mem=229M282 94.01/89.36 decisions=19892, wrong=3744, backtracks=802, failedAssignments=3055, nogoods=1606, foundSolutions=4, bestBound=16 94.01/89.36 95.31/90.62 num=88, depth=1..210, filters=68403, ccks=544, wck=86.95, mem=229M282 95.31/90.62 decisions=20301, wrong=3856, backtracks=833, failedAssignments=3136, nogoods=1633, foundSolutions=4, bestBound=16 95.31/90.62 96.21/91.55 o 17 96.21/91.55 num=89, depth=1..469, filters=69188, ccks=680, wck=87.883, mem=229M282 96.21/91.55 decisions=20645, wrong=3913, backtracks=838, failedAssignments=3188, nogoods=1683, foundSolutions=5, bestBound=17 96.21/91.55 97.53/92.86 num=90, depth=1..195, filters=70817, ccks=680, wck=89.194, mem=229M282 97.53/92.86 decisions=21075, wrong=4033, backtracks=861, failedAssignments=3286, nogoods=1737, foundSolutions=5, bestBound=17 97.53/92.86 97.84/93.19 num=91, depth=2..72, filters=71090, ccks=680, wck=89.522, mem=229M282 97.84/93.19 decisions=21170, wrong=4045, backtracks=862, failedAssignments=3297, nogoods=1748, foundSolutions=5, bestBound=17 97.84/93.19 97.93/93.30 num=92, depth=1..12, filters=71199, ccks=680, wck=89.626, mem=229M282 97.93/93.30 decisions=21199, wrong=4057, backtracks=862, failedAssignments=3309, nogoods=1760, foundSolutions=5, bestBound=17 97.93/93.30 98.03/93.39 num=93, depth=0..12, filters=71295, ccks=680, wck=89.723, mem=229M282 98.03/93.39 decisions=21230, wrong=4070, backtracks=862, failedAssignments=3322, nogoods=1771, foundSolutions=5, bestBound=17 98.03/93.39 98.43/93.79 num=94, depth=0..134, filters=71445, ccks=680, wck=90.12, mem=229M282 98.43/93.79 decisions=21385, wrong=4084, backtracks=862, failedAssignments=3336, nogoods=1784, foundSolutions=5, bestBound=17 98.43/93.79 98.93/94.27 num=95, depth=1..131, filters=71740, ccks=680, wck=90.603, mem=229M282 98.93/94.27 decisions=21548, wrong=4102, backtracks=865, failedAssignments=3352, nogoods=1791, foundSolutions=5, bestBound=17 98.93/94.27 99.43/94.75 num=96, depth=1..130, filters=72029, ccks=680, wck=91.085, mem=229M282 99.43/94.75 decisions=21710, wrong=4119, backtracks=865, failedAssignments=3369, nogoods=1808, foundSolutions=5, bestBound=17 99.43/94.75 100.23/95.57 num=97, depth=0..51, filters=72694, ccks=680, wck=91.899, mem=229M282 100.23/95.57 decisions=21798, wrong=4140, backtracks=867, failedAssignments=3388, nogoods=1825, foundSolutions=5, bestBound=17 100.23/95.57 100.84/96.19 num=98, depth=2..133, filters=73266, ccks=680, wck=92.518, mem=229M282 100.84/96.19 decisions=21985, wrong=4169, backtracks=875, failedAssignments=3409, nogoods=1836, foundSolutions=5, bestBound=17 100.84/96.19 101.53/96.89 num=99, depth=2..131, filters=73916, ccks=680, wck=93.22, mem=229M282 101.53/96.89 decisions=22182, wrong=4203, backtracks=886, failedAssignments=3432, nogoods=1844, foundSolutions=5, bestBound=17 101.53/96.89 102.33/97.63 num=100, depth=3..149, filters=74537, ccks=680, wck=93.958, mem=229M282 102.33/97.63 decisions=22390, wrong=4234, backtracks=892, failedAssignments=3457, nogoods=1855, foundSolutions=5, bestBound=17 102.33/97.63 103.33/98.64 num=101, depth=3..149, filters=75428, ccks=680, wck=94.966, mem=229M282 103.33/98.64 decisions=22636, wrong=4284, backtracks=914, failedAssignments=3485, nogoods=1859, foundSolutions=5, bestBound=17 103.33/98.64 104.03/99.39 num=102, depth=1..151, filters=75894, ccks=680, wck=95.72, mem=233M570 104.03/99.39 decisions=22846, wrong=4317, backtracks=916, failedAssignments=3516, nogoods=1879, foundSolutions=5, bestBound=17 104.03/99.39 104.94/100.21 num=103, depth=1..165, filters=76575, ccks=680, wck=96.537, mem=233M570 104.94/100.21 decisions=23089, wrong=4364, backtracks=931, failedAssignments=3550, nogoods=1902, foundSolutions=5, bestBound=17 104.94/100.21 106.07/101.33 num=104, depth=1..151, filters=77524, ccks=680, wck=97.659, mem=233M570 106.07/101.33 decisions=23348, wrong=4423, backtracks=953, failedAssignments=3587, nogoods=1919, foundSolutions=5, bestBound=17 106.07/101.33 107.37/102.69 num=105, depth=150..165, filters=78787, ccks=680, wck=99.019, mem=233M570 107.37/102.69 decisions=23633, wrong=4488, backtracks=980, failedAssignments=3628, nogoods=1925, foundSolutions=5, bestBound=17 107.37/102.69 108.57/103.87 num=106, depth=1..161, filters=79778, ccks=680, wck=100.203, mem=233M570 108.57/103.87 decisions=23892, wrong=4539, backtracks=987, failedAssignments=3673, nogoods=1943, foundSolutions=5, bestBound=17 108.57/103.87 109.57/104.86 num=107, depth=2..170, filters=80574, ccks=680, wck=101.187, mem=233M570 109.57/104.86 decisions=24171, wrong=4598, backtracks=997, failedAssignments=3723, nogoods=1972, foundSolutions=5, bestBound=17 109.57/104.86 110.69/105.93 num=108, depth=1..57, filters=81476, ccks=680, wck=102.262, mem=233M570 110.69/105.93 decisions=24354, wrong=4662, backtracks=1006, failedAssignments=3778, nogoods=1999, foundSolutions=5, bestBound=17 110.69/105.93 112.41/107.67 num=109, depth=1..168, filters=83510, ccks=680, wck=103.999, mem=233M570 112.41/107.67 decisions=24794, wrong=4801, backtracks=1084, failedAssignments=3839, nogoods=2010, foundSolutions=5, bestBound=17 112.41/107.67 114.02/109.29 num=110, depth=2..173, filters=85972, ccks=680, wck=105.615, mem=233M570 114.02/109.29 decisions=25185, wrong=4914, backtracks=1130, failedAssignments=3906, nogoods=2024, foundSolutions=5, bestBound=17 114.02/109.29 115.62/110.84 num=111, depth=1..171, filters=87339, ccks=680, wck=107.17, mem=233M570 115.62/110.84 decisions=25522, wrong=5002, backtracks=1146, failedAssignments=3980, nogoods=2046, foundSolutions=5, bestBound=17 115.62/110.84 117.52/112.74 num=112, depth=2..183, filters=89566, ccks=680, wck=109.067, mem=233M570 117.52/112.74 decisions=26009, wrong=5159, backtracks=1223, failedAssignments=4061, nogoods=2059, foundSolutions=5, bestBound=17 117.52/112.74 119.12/114.38 num=113, depth=3..178, filters=91487, ccks=680, wck=110.706, mem=233M570 119.12/114.38 decisions=26402, wrong=5270, backtracks=1251, failedAssignments=4150, nogoods=2070, foundSolutions=5, bestBound=17 119.12/114.38 120.84/116.05 num=114, depth=3..166, filters=92984, ccks=680, wck=112.376, mem=233M570 120.84/116.05 decisions=26853, wrong=5422, backtracks=1321, failedAssignments=4248, nogoods=2080, foundSolutions=5, bestBound=17 120.84/116.05 122.33/117.50 num=115, depth=78..88, filters=95406, ccks=680, wck=113.829, mem=233M570 122.33/117.50 decisions=27294, wrong=5603, backtracks=1394, failedAssignments=4356, nogoods=2086, foundSolutions=5, bestBound=17 122.33/117.50 124.84/120.05 num=116, depth=5..184, filters=98831, ccks=680, wck=116.378, mem=233M570 124.84/120.05 decisions=27877, wrong=5809, backtracks=1491, failedAssignments=4475, nogoods=2098, foundSolutions=5, bestBound=17 124.84/120.05 129.03/124.20 num=117, depth=2..128, filters=101957, ccks=680, wck=120.528, mem=233M570 129.03/124.20 decisions=28461, wrong=6041, backtracks=1612, failedAssignments=4606, nogoods=2166, foundSolutions=5, bestBound=17 129.03/124.20 130.84/126.06 num=118, depth=2..169, filters=103838, ccks=680, wck=122.392, mem=233M570 130.84/126.06 decisions=28992, wrong=6228, backtracks=1685, failedAssignments=4750, nogoods=2195, foundSolutions=5, bestBound=17 130.84/126.06 131.95/127.14 o 18 131.95/127.14 num=119, depth=2..469, filters=104700, ccks=816, wck=123.475, mem=233M570 131.95/127.14 decisions=29318, wrong=6279, backtracks=1705, failedAssignments=4781, nogoods=2211, foundSolutions=6, bestBound=18 131.95/127.14 136.36/131.56 num=120, depth=157..194, filters=109470, ccks=816, wck=127.887, mem=233M570 136.36/131.56 decisions=30329, wrong=6693, backtracks=1981, failedAssignments=4955, nogoods=2219, foundSolutions=6, bestBound=18 136.36/131.56 136.87/132.09 num=121, depth=2..181, filters=109675, ccks=816, wck=128.421, mem=233M570 136.87/132.09 decisions=30530, wrong=6704, backtracks=1981, failedAssignments=4966, nogoods=2230, foundSolutions=6, bestBound=18 136.87/132.09 137.46/132.64 num=122, depth=1..180, filters=109920, ccks=816, wck=128.969, mem=233M570 137.46/132.64 decisions=30735, wrong=6719, backtracks=1984, failedAssignments=4978, nogoods=2240, foundSolutions=6, bestBound=18 137.46/132.64 137.97/133.15 num=123, depth=2..176, filters=110114, ccks=816, wck=129.483, mem=233M570 137.97/133.15 decisions=30937, wrong=6737, backtracks=1989, failedAssignments=4991, nogoods=2247, foundSolutions=6, bestBound=18 137.97/133.15 138.36/133.58 num=124, depth=1..115, filters=110403, ccks=816, wck=129.908, mem=233M570 138.36/133.58 decisions=31082, wrong=6754, backtracks=1992, failedAssignments=5005, nogoods=2258, foundSolutions=6, bestBound=18 138.36/133.58 138.97/134.16 num=125, depth=2..177, filters=110683, ccks=816, wck=130.493, mem=233M570 138.97/134.16 decisions=31296, wrong=6777, backtracks=1999, failedAssignments=5021, nogoods=2265, foundSolutions=6, bestBound=18 138.97/134.16 139.67/134.87 num=126, depth=3..173, filters=111158, ccks=816, wck=131.196, mem=233M570 139.67/134.87 decisions=31520, wrong=6804, backtracks=2009, failedAssignments=5038, nogoods=2271, foundSolutions=6, bestBound=18 139.67/134.87 140.27/135.49 num=127, depth=2..184, filters=111480, ccks=816, wck=131.821, mem=233M570 140.27/135.49 decisions=31747, wrong=6831, backtracks=2017, failedAssignments=5057, nogoods=2279, foundSolutions=6, bestBound=18 140.27/135.49 140.77/135.99 num=128, depth=95..111, filters=111929, ccks=816, wck=132.322, mem=233M570 140.77/135.99 decisions=31905, wrong=6857, backtracks=2022, failedAssignments=5078, nogoods=2290, foundSolutions=6, bestBound=18 140.77/135.99 141.27/136.45 num=129, depth=81..102, filters=112394, ccks=816, wck=132.776, mem=233M570 141.27/136.45 decisions=32054, wrong=6881, backtracks=2023, failedAssignments=5101, nogoods=2306, foundSolutions=6, bestBound=18 141.27/136.45 141.77/136.92 num=130, depth=60..66, filters=112977, ccks=816, wck=133.25, mem=233M570 141.77/136.92 decisions=32197, wrong=6921, backtracks=2038, failedAssignments=5126, nogoods=2312, foundSolutions=6, bestBound=18 141.77/136.92 142.47/137.66 num=131, depth=3..184, filters=113512, ccks=816, wck=133.988, mem=233M570 142.47/137.66 decisions=32448, wrong=6962, backtracks=2051, failedAssignments=5154, nogoods=2319, foundSolutions=6, bestBound=18 142.47/137.66 143.17/138.39 num=132, depth=2..163, filters=114249, ccks=816, wck=134.719, mem=233M570 143.17/138.39 decisions=32709, wrong=7016, backtracks=2082, failedAssignments=5185, nogoods=2330, foundSolutions=6, bestBound=18 143.17/138.39 143.88/139.09 num=133, depth=2..166, filters=114704, ccks=816, wck=135.423, mem=233M570 143.88/139.09 decisions=32962, wrong=7062, backtracks=2101, failedAssignments=5219, nogoods=2341, foundSolutions=6, bestBound=18 143.88/139.09 144.78/139.99 num=134, depth=1..181, filters=115466, ccks=816, wck=136.319, mem=233M570 144.78/139.99 decisions=33233, wrong=7111, backtracks=2113, failedAssignments=5256, nogoods=2361, foundSolutions=6, bestBound=18 144.78/139.99 145.58/140.77 num=135, depth=1..170, filters=116093, ccks=816, wck=137.103, mem=233M570 145.58/140.77 decisions=33512, wrong=7169, backtracks=2146, failedAssignments=5297, nogoods=2373, foundSolutions=6, bestBound=18 145.58/140.77 146.69/141.80 num=136, depth=168..185, filters=116934, ccks=816, wck=138.129, mem=233M570 146.69/141.80 decisions=33830, wrong=7239, backtracks=2179, failedAssignments=5342, nogoods=2383, foundSolutions=6, bestBound=18 146.69/141.80 147.59/142.79 num=137, depth=3..199, filters=117798, ccks=816, wck=139.12, mem=233M570 147.59/142.79 decisions=34157, wrong=7313, backtracks=2203, failedAssignments=5392, nogoods=2388, foundSolutions=6, bestBound=18 147.59/142.79 148.39/143.51 num=138, depth=85..113, filters=118646, ccks=816, wck=139.837, mem=233M570 148.39/143.51 decisions=34403, wrong=7387, backtracks=2222, failedAssignments=5447, nogoods=2400, foundSolutions=6, bestBound=18 148.39/143.51 149.90/145.01 num=139, depth=68..77, filters=120938, ccks=816, wck=141.339, mem=233M570 149.90/145.01 decisions=34683, wrong=7490, backtracks=2264, failedAssignments=5508, nogoods=2415, foundSolutions=6, bestBound=18 149.90/145.01 151.40/146.55 num=140, depth=1..153, filters=123281, ccks=816, wck=142.882, mem=233M570 151.40/146.55 decisions=35049, wrong=7600, backtracks=2307, failedAssignments=5575, nogoods=2428, foundSolutions=6, bestBound=18 151.40/146.55 153.01/148.17 num=141, depth=1..168, filters=125770, ccks=816, wck=144.504, mem=233M570 153.01/148.17 decisions=35444, wrong=7717, backtracks=2350, failedAssignments=5649, nogoods=2438, foundSolutions=6, bestBound=18 153.01/148.17 154.80/149.92 num=142, depth=2..183, filters=127778, ccks=816, wck=146.25, mem=233M570 154.80/149.92 decisions=35835, wrong=7824, backtracks=2377, failedAssignments=5730, nogoods=2457, foundSolutions=6, bestBound=18 154.80/149.92 156.30/151.44 num=143, depth=2..183, filters=129360, ccks=816, wck=147.766, mem=233M570 156.30/151.44 decisions=36213, wrong=7924, backtracks=2389, failedAssignments=5819, nogoods=2467, foundSolutions=6, bestBound=18 156.30/151.44 158.60/153.78 num=144, depth=175..182, filters=131808, ccks=816, wck=150.108, mem=233M570 158.60/153.78 decisions=36684, wrong=8070, backtracks=2439, failedAssignments=5917, nogoods=2474, foundSolutions=6, bestBound=18 158.60/153.78 160.20/155.36 num=145, depth=2..191, filters=133403, ccks=816, wck=151.687, mem=233M570 160.20/155.36 decisions=37274, wrong=8279, backtracks=2562, failedAssignments=6025, nogoods=2498, foundSolutions=6, bestBound=18 160.20/155.36 163.20/158.32 num=146, depth=64..71, filters=137040, ccks=816, wck=154.652, mem=233M570 163.20/158.32 decisions=37697, wrong=8456, backtracks=2623, failedAssignments=6144, nogoods=2510, foundSolutions=6, bestBound=18 163.20/158.32 165.21/160.34 num=147, depth=2..214, filters=139395, ccks=816, wck=156.671, mem=233M570 165.21/160.34 decisions=38283, wrong=8648, backtracks=2689, failedAssignments=6275, nogoods=2541, foundSolutions=6, bestBound=18 165.21/160.34 167.61/162.70 num=148, depth=1..192, filters=142313, ccks=816, wck=159.033, mem=233M570 167.61/162.70 decisions=38896, wrong=8864, backtracks=2769, failedAssignments=6419, nogoods=2589, foundSolutions=6, bestBound=18 167.61/162.70 169.61/164.71 num=149, depth=57..63, filters=144760, ccks=816, wck=161.04, mem=233M570 169.61/164.71 decisions=39340, wrong=9056, backtracks=2808, failedAssignments=6577, nogoods=2602, foundSolutions=6, bestBound=18 169.61/164.71 172.11/167.27 num=150, depth=3..163, filters=147734, ccks=816, wck=163.597, mem=233M570 172.11/167.27 decisions=39955, wrong=9284, backtracks=2872, failedAssignments=6751, nogoods=2632, foundSolutions=6, bestBound=18 172.11/167.27 175.02/170.19 num=151, depth=2..184, filters=151415, ccks=816, wck=166.518, mem=233M570 175.02/170.19 decisions=40722, wrong=9583, backtracks=3046, failedAssignments=6942, nogoods=2661, foundSolutions=6, bestBound=18 175.02/170.19 178.32/173.40 num=152, depth=161..177, filters=155927, ccks=816, wck=169.731, mem=233M570 178.32/173.40 decisions=41546, wrong=9907, backtracks=3159, failedAssignments=7153, nogoods=2675, foundSolutions=6, bestBound=18 178.32/173.40 181.32/176.45 num=153, depth=4..169, filters=159951, ccks=816, wck=172.775, mem=233M570 181.32/176.45 decisions=42381, wrong=10248, backtracks=3268, failedAssignments=7385, nogoods=2689, foundSolutions=6, bestBound=18 181.32/176.45 184.32/179.42 num=154, depth=1..180, filters=163546, ccks=816, wck=175.747, mem=233M570 184.32/179.42 decisions=43200, wrong=10582, backtracks=3355, failedAssignments=7640, nogoods=2722, foundSolutions=6, bestBound=18 184.32/179.42 187.32/182.48 num=155, depth=59..72, filters=167591, ccks=816, wck=178.81, mem=233M570 187.32/182.48 decisions=44020, wrong=10958, backtracks=3454, failedAssignments=7921, nogoods=2752, foundSolutions=6, bestBound=18 187.32/182.48 191.73/186.88 num=156, depth=1..179, filters=171804, ccks=816, wck=183.21, mem=233M570 191.73/186.88 decisions=44995, wrong=11364, backtracks=3607, failedAssignments=8230, nogoods=2793, foundSolutions=6, bestBound=18 191.73/186.88 196.83/191.92 num=157, depth=1..182, filters=178807, ccks=816, wck=188.25, mem=233M570 196.83/191.92 decisions=46142, wrong=11850, backtracks=3773, failedAssignments=8570, nogoods=2818, foundSolutions=6, bestBound=18 196.83/191.92 202.73/197.81 num=158, depth=1..177, filters=186608, ccks=816, wck=194.141, mem=233M570 202.73/197.81 decisions=47470, wrong=12432, backtracks=4025, failedAssignments=8944, nogoods=2852, foundSolutions=6, bestBound=18 202.73/197.81 206.83/201.93 num=159, depth=38..56, filters=191459, ccks=816, wck=198.262, mem=233M570 206.83/201.93 decisions=48471, wrong=12908, backtracks=4093, failedAssignments=9355, nogoods=2887, foundSolutions=6, bestBound=18 206.83/201.93 210.23/205.35 num=160, depth=4..144, filters=195276, ccks=816, wck=201.676, mem=233M570 210.23/205.35 decisions=49558, wrong=13384, backtracks=4141, failedAssignments=9807, nogoods=2958, foundSolutions=6, bestBound=18 210.23/205.35 217.33/212.43 num=161, depth=1..179, filters=205275, ccks=816, wck=208.763, mem=233M570 217.33/212.43 decisions=51367, wrong=14217, backtracks=4490, failedAssignments=10304, nogoods=2976, foundSolutions=6, bestBound=18 217.33/212.43 225.35/220.47 num=162, depth=3..187, filters=216716, ccks=816, wck=216.796, mem=233M570 225.35/220.47 decisions=53332, wrong=15120, backtracks=4846, failedAssignments=10851, nogoods=2984, foundSolutions=6, bestBound=18 225.35/220.47 232.85/227.92 num=163, depth=1..186, filters=227077, ccks=816, wck=224.245, mem=233M570 232.85/227.92 decisions=55170, wrong=15966, backtracks=5113, failedAssignments=11453, nogoods=3008, foundSolutions=6, bestBound=18 232.85/227.92 242.85/237.96 num=164, depth=47..61, filters=239238, ccks=816, wck=234.294, mem=233M570 242.85/237.96 decisions=57156, wrong=16933, backtracks=5561, failedAssignments=12115, nogoods=3017, foundSolutions=6, bestBound=18 242.85/237.96 252.97/248.08 num=165, depth=2..210, filters=254085, ccks=816, wck=244.407, mem=233M570 252.97/248.08 decisions=59565, wrong=18048, backtracks=5962, failedAssignments=12843, nogoods=3035, foundSolutions=6, bestBound=18 252.97/248.08 260.47/255.55 num=166, depth=51..71, filters=261865, ccks=816, wck=251.879, mem=233M570 260.47/255.55 decisions=61557, wrong=19013, backtracks=6190, failedAssignments=13644, nogoods=3056, foundSolutions=6, bestBound=18 260.47/255.55 271.57/266.69 num=167, depth=1..176, filters=275046, ccks=816, wck=263.023, mem=233M570 271.57/266.69 decisions=64472, wrong=20389, backtracks=6809, failedAssignments=14525, nogoods=3090, foundSolutions=6, bestBound=18 271.57/266.69 283.77/278.85 num=168, depth=133..163, filters=289847, ccks=816, wck=275.181, mem=233M570 283.77/278.85 decisions=67643, wrong=21898, backtracks=7580, failedAssignments=15495, nogoods=3125, foundSolutions=6, bestBound=18 283.77/278.85 294.27/289.37 num=169, depth=1..85, filters=303785, ccks=816, wck=285.703, mem=233M570 294.27/289.37 decisions=71232, wrong=23656, backtracks=8502, failedAssignments=16562, nogoods=3149, foundSolutions=6, bestBound=18 294.27/289.37 307.58/302.64 num=170, depth=1..103, filters=323612, ccks=816, wck=298.972, mem=233M570 307.58/302.64 decisions=76345, wrong=26166, backtracks=9987, failedAssignments=17735, nogoods=3175, foundSolutions=6, bestBound=18 307.58/302.64 320.99/316.02 num=171, depth=1..133, filters=340018, ccks=816, wck=312.345, mem=233M570 320.99/316.02 decisions=80647, wrong=28258, backtracks=11186, failedAssignments=19026, nogoods=3201, foundSolutions=6, bestBound=18 320.99/316.02 335.59/330.65 num=172, depth=3..150, filters=357481, ccks=816, wck=326.977, mem=233M570 335.59/330.65 decisions=85291, wrong=30510, backtracks=12026, failedAssignments=20446, nogoods=3217, foundSolutions=6, bestBound=18 335.59/330.65 365.51/360.50 num=173, depth=46..66, filters=384105, ccks=816, wck=356.834, mem=233M570 365.51/360.50 decisions=90294, wrong=32983, backtracks=13239, failedAssignments=22008, nogoods=3260, foundSolutions=6, bestBound=18 365.51/360.50 382.82/377.83 num=174, depth=1..161, filters=404969, ccks=816, wck=374.156, mem=233M570 382.82/377.83 decisions=96364, wrong=35945, backtracks=14814, failedAssignments=23726, nogoods=3280, foundSolutions=6, bestBound=18 382.82/377.83 406.13/401.13 num=175, depth=2..180, filters=436442, ccks=816, wck=397.456, mem=233M570 406.13/401.13 decisions=103021, wrong=39199, backtracks=16694, failedAssignments=25616, nogoods=3326, foundSolutions=6, bestBound=18 406.13/401.13 434.96/429.90 num=176, depth=3..187, filters=472641, ccks=816, wck=426.233, mem=233M570 434.96/429.90 decisions=110454, wrong=42839, backtracks=18563, failedAssignments=27695, nogoods=3363, foundSolutions=6, bestBound=18 434.96/429.90 465.57/460.54 num=177, depth=1..184, filters=510654, ccks=816, wck=456.875, mem=233M570 465.57/460.54 decisions=119903, wrong=47490, backtracks=21316, failedAssignments=29982, nogoods=3369, foundSolutions=6, bestBound=18 465.57/460.54 504.67/499.69 num=178, depth=55..76, filters=554543, ccks=816, wck=496.019, mem=233M570 504.67/499.69 decisions=126724, wrong=50868, backtracks=22313, failedAssignments=32498, nogoods=3402, foundSolutions=6, bestBound=18 504.67/499.69 543.49/538.40 num=179, depth=2..208, filters=608023, ccks=816, wck=534.733, mem=237M859 543.49/538.40 decisions=135296, wrong=55072, backtracks=24125, failedAssignments=35266, nogoods=3447, foundSolutions=6, bestBound=18 543.49/538.40 578.90/573.80 num=180, depth=1..168, filters=660505, ccks=816, wck=570.129, mem=237M859 578.90/573.80 decisions=144743, wrong=59720, backtracks=26440, failedAssignments=38310, nogoods=3500, foundSolutions=6, bestBound=18 578.90/573.80 624.22/619.12 num=181, depth=2..198, filters=729227, ccks=816, wck=615.449, mem=237M859 624.22/619.12 decisions=154650, wrong=64588, backtracks=28105, failedAssignments=41659, nogoods=3528, foundSolutions=6, bestBound=18 624.22/619.12 682.52/677.45 num=182, depth=1..185, filters=804945, ccks=816, wck=673.777, mem=237M859 682.52/677.45 decisions=165015, wrong=69692, backtracks=29721, failedAssignments=45343, nogoods=3545, foundSolutions=6, bestBound=18 682.52/677.45 750.04/744.91 num=183, depth=3..158, filters=894557, ccks=816, wck=741.242, mem=237M859 750.04/744.91 decisions=178442, wrong=76337, backtracks=32771, failedAssignments=49395, nogoods=3567, foundSolutions=6, bestBound=18 750.04/744.91 778.16/773.02 num=184, depth=116..144, filters=934165, ccks=816, wck=769.354, mem=237M859 778.16/773.02 decisions=189587, wrong=81842, backtracks=34121, failedAssignments=53852, nogoods=3635, foundSolutions=6, bestBound=18 778.16/773.02 832.17/827.08 num=185, depth=2..175, filters=1009273, ccks=816, wck=823.41, mem=237M859 832.17/827.08 decisions=201718, wrong=87837, backtracks=35445, failedAssignments=58755, nogoods=3677, foundSolutions=6, bestBound=18 832.17/827.08 901.58/896.42 num=186, depth=156..191, filters=1106653, ccks=816, wck=892.748, mem=237M859 901.58/896.42 decisions=217040, wrong=95415, backtracks=38579, failedAssignments=64149, nogoods=3709, foundSolutions=6, bestBound=18 901.58/896.42 952.20/947.05 num=187, depth=3..187, filters=1170088, ccks=816, wck=943.383, mem=237M859 952.20/947.05 decisions=231438, wrong=102530, backtracks=40033, failedAssignments=70082, nogoods=3814, foundSolutions=6, bestBound=18 952.20/947.05 1032.81/1027.63 num=188, depth=159..198, filters=1292058, ccks=816, wck=1023.965, mem=237M859 1032.81/1027.63 decisions=251133, wrong=112296, backtracks=44117, failedAssignments=76608, nogoods=3855, foundSolutions=6, bestBound=18 1032.81/1027.63 1119.74/1114.58 num=189, depth=133..174, filters=1413374, ccks=816, wck=1110.909, mem=237M859 1119.74/1114.58 decisions=272590, wrong=122949, backtracks=48618, failedAssignments=83787, nogoods=3898, foundSolutions=6, bestBound=18 1119.74/1114.58 1235.18/1229.98 num=190, depth=2..143, filters=1589909, ccks=816, wck=1226.312, mem=237M859 1235.18/1229.98 decisions=296884, wrong=135032, backtracks=54035, failedAssignments=91684, nogoods=3925, foundSolutions=6, bestBound=18 1235.18/1229.98 1336.41/1331.11 num=191, depth=1..179, filters=1736462, ccks=816, wck=1327.439, mem=237M859 1336.41/1331.11 decisions=321314, wrong=147176, backtracks=58799, failedAssignments=100371, nogoods=3982, foundSolutions=6, bestBound=18 1336.41/1331.11 1466.63/1461.31 num=192, depth=60..76, filters=1934808, ccks=816, wck=1457.637, mem=237M859 1466.63/1461.31 decisions=351915, wrong=162444, backtracks=65519, failedAssignments=109926, nogoods=3992, foundSolutions=6, bestBound=18 1466.63/1461.31 1617.87/1612.53 num=193, depth=2..189, filters=2179676, ccks=816, wck=1608.858, mem=237M859 1617.87/1612.53 decisions=384358, wrong=178581, backtracks=73247, failedAssignments=120437, nogoods=4018, foundSolutions=6, bestBound=18 1617.87/1612.53 1795.43/1790.07 num=194, depth=1..178, filters=2437717, ccks=816, wck=1786.404, mem=242M147 1795.43/1790.07 decisions=417579, wrong=195115, backtracks=81397, failedAssignments=131999, nogoods=4031, foundSolutions=6, bestBound=18 1795.43/1790.07 1995.58/1990.18 num=195, depth=2..198, filters=2745799, ccks=816, wck=1986.513, mem=242M147 1995.58/1990.18 decisions=452816, wrong=212654, backtracks=89604, failedAssignments=144717, nogoods=4091, foundSolutions=6, bestBound=18 1995.58/1990.18 2200.54/2195.01 num=196, depth=1..159, filters=3067786, ccks=816, wck=2191.344, mem=242M147 2200.54/2195.01 decisions=491666, wrong=232005, backtracks=99748, failedAssignments=158707, nogoods=4132, foundSolutions=6, bestBound=18 2200.54/2195.01 2302.35/2296.83 num=197, depth=2..155, filters=3186620, ccks=816, wck=2293.162, mem=242M147 2302.35/2296.83 decisions=528654, wrong=250425, backtracks=103712, failedAssignments=174096, nogoods=4219, foundSolutions=6, bestBound=18 2302.35/2296.83 2400.08/2394.53 2400.08/2394.53 v <instantiation id='sol6' type='solution' cost='18'> <list> x b[][] </list> <values> 18 100 48 0 0 0 0 0 100 48 0 0 0 0 0 99 50 0 0 0 0 0 98 51 0 0 0 0 0 97 53 0 0 0 0 0 97 53 0 0 0 0 0 97 53 0 0 0 0 0 97 52 0 0 0 0 0 95 32 20 0 0 0 0 94 56 0 0 0 0 0 92 58 0 0 0 0 0 92 56 0 0 0 0 0 91 38 21 0 0 0 0 91 34 0 0 0 0 0 91 32 0 0 0 0 0 90 58 0 0 0 0 0 88 37 24 0 0 0 0 88 32 26 0 0 0 0 88 31 27 0 0 0 0 87 60 0 0 0 0 0 87 36 25 0 0 0 0 85 37 27 0 0 0 0 84 39 27 0 0 0 0 84 36 21 0 0 0 0 84 34 26 0 0 0 0 83 62 0 0 0 0 0 82 64 0 0 0 0 0 82 60 0 0 0 0 0 82 60 0 0 0 0 0 81 66 0 0 0 0 0 80 70 0 0 0 0 0 80 67 0 0 0 0 0 79 67 0 0 0 0 0 79 67 0 0 0 0 0 78 72 0 0 0 0 0 78 72 0 0 0 0 0 78 70 0 0 0 0 0 78 69 0 0 0 0 0 78 68 0 0 0 0 0 77 42 31 0 0 0 0 75 72 0 0 0 0 0 56 47 46 0 0 0 0 56 46 44 0 0 0 0 55 45 24 23 0 0 0 55 44 44 0 0 0 0 54 34 32 30 0 0 0 48 47 45 0 0 0 0 42 41 21 20 0 0 0 41 40 39 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation> 2400.08/2394.53 s SATISFIABLE
OK 18
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 (13886 MiB free) memory of node 1: 16384 MiB (14200 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391292-1568391026/watcher-4391292-1568391026 -o /tmp/evaluation-result-4391292-1568391026/solver-4391292-1568391026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568388592-14519 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391292-1568391026.xml -cm running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=15121, runsolver pid=15118 Current StackSize limit: 8192 KiB [startup+0.102238 s]* /proc/loadavg: 1.91 1.86 1.86 4/228 15136 /proc/meminfo: memFree=28744156/32770624 swapFree=66998528/67108860 [pid=15121] ppid=15118 vsize=10659884 memory=29160 CPUtime=0.15 cores=1,3,5,7 /proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 5861 0 0 0 14 1 0 0 20 0 15 0 415371446 10915721216 7290 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 /proc/15121/statm: 2664971 7290 2902 1 0 2627468 0 [pid=15121/tid=15123] ppid=15118 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7 /proc/15121/task/15123/stat : 15123 (java) R 15118 15121 12443 0 -1 4202560 3249 0 0 0 9 0 0 0 20 0 15 0 415371446 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302866312288 140302862093718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15124] ppid=15118 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15125] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15126] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15127] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15128] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15129] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302352368800 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15130] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302351315696 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15131] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15132] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15132/stat : 15132 (java) R 15118 15121 12443 0 -1 4202560 584 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302349212400 140302843438800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15133] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15133/stat : 15133 (java) R 15118 15121 12443 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15134] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0.02 cores=1,3,5,7 /proc/15121/task/15134/stat : 15134 (java) R 15118 15121 12443 0 -1 4202560 588 0 0 0 2 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302347103352 140302841216281 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15135] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15136] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 7356 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 Current children cumulated CPU time: 0.15 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 29160 KiB [startup+0.210807 s]* /proc/loadavg: 1.91 1.86 1.86 3/228 15136 /proc/meminfo: memFree=28737148/32770624 swapFree=66998528/67108860 [pid=15121] ppid=15118 vsize=10659884 memory=35084 CPUtime=0.33 cores=1,3,5,7 /proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 6875 0 0 0 32 1 0 0 20 0 15 0 415371446 10915721216 8771 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 /proc/15121/statm: 2664971 8771 2989 1 0 2627468 0 [pid=15121/tid=15123] ppid=15118 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/15121/task/15123/stat : 15123 (java) R 15118 15121 12443 0 -1 4202560 3909 0 0 0 20 0 0 0 20 0 15 0 415371446 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302866313392 140302862103709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15124] ppid=15118 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15125] ppid=15118 vsize=10659884 memory=139772891175756 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15126] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15127] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15128] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15129] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302352368800 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15130] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302351315696 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15131] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15132] ppid=15118 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 801 0 0 0 3 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15133] ppid=15118 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 173 0 0 0 2 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15134] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0.05 cores=1,3,5,7 /proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 633 0 0 0 5 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15135] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15136] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 8771 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 35084 KiB [startup+0.316368 s]* /proc/loadavg: 1.91 1.86 1.86 4/228 15136 /proc/meminfo: memFree=28729560/32770624 swapFree=66998528/67108860 [pid=15121] ppid=15118 vsize=10659884 memory=40500 CPUtime=0.48 cores=1,3,5,7 /proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 9447 0 0 0 46 2 0 0 20 0 15 0 415371446 10915721216 10125 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 /proc/15121/statm: 2664971 10125 3002 1 0 2627468 0 [pid=15121/tid=15123] ppid=15118 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7 /proc/15121/task/15123/stat : 15123 (java) R 15118 15121 12443 0 -1 4202560 6395 0 0 0 29 1 0 0 20 0 15 0 415371446 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302866304464 140302862103709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15124] ppid=15118 vsize=10659884 memory=1946931 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15125] ppid=15118 vsize=10659884 memory=139772891174823 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15126] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15127] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371447 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15128] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15129] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302352368800 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15130] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415371449 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302351315696 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15131] ppid=15118 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15132] ppid=15118 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7 /proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 840 0 0 0 5 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15133] ppid=15118 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7 /proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 181 0 0 0 3 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15134] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0.08 cores=1,3,5,7 /proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 675 0 0 0 8 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15135] ppid=15118 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15136] ppid=15118 vsize=10659884 memory=139772888102528 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371452 10915721216 10125 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40500 KiB [startup+0.702359 s] /proc/loadavg: 1.91 1.86 1.86 4/228 15136 /proc/meminfo: memFree=28720384/32770624 swapFree=66998528/67108860 [pid=15121] ppid=15118 vsize=10661932 memory=63964 CPUtime=1.11 cores=1,3,5,7 /proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 13105 0 0 0 107 4 0 0 20 0 15 0 415371446 10917818368 15991 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 /proc/15121/statm: 2665483 15991 3061 1 0 2627980 0 [pid=15121/tid=15123] ppid=15118 vsize=10661932 memory=21912 CPUtime=0.68 cores=1,3,5,7 /proc/15121/task/15123/stat : 15123 (java) R 15118 15121 12443 0 -1 4202560 8930 0 0 0 65 3 0 0 20 0 15 0 415371446 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302866313808 140302845268621 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15124] ppid=15118 vsize=10661932 memory=14068 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15125] ppid=15118 vsize=10661932 memory=524 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15126] ppid=15118 vsize=10661932 memory=1568 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15127] ppid=15118 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371447 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15128] ppid=15118 vsize=10661932 memory=3536 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371449 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15129] ppid=15118 vsize=10661932 memory=1976 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415371449 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302352368800 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15130] ppid=15118 vsize=10661932 memory=2408 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415371449 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302351315696 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15131] ppid=15118 vsize=10661932 memory=816 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15132] ppid=15118 vsize=10661932 memory=6153431502485415268 CPUtime=0.11 cores=1,3,5,7 /proc/15121/task/15132/stat : 15132 (java) R 15118 15121 12443 0 -1 4202560 1161 0 0 0 11 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302349198656 140302841775481 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15133] ppid=15118 vsize=10661932 memory=7453282923461503316 CPUtime=0.1 cores=1,3,5,7 /proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 537 0 0 0 10 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15134] ppid=15118 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7 /proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 1118 0 0 0 18 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15135] ppid=15118 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15136] ppid=15118 vsize=10661932 memory=7738707418567895914 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371452 10917818368 15991 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 63964 KiB [startup+1.50077 s] /proc/loadavg: 1.91 1.86 1.86 3/228 15136 /proc/meminfo: memFree=28704688/32770624 swapFree=66998528/67108860 [pid=15121] ppid=15118 vsize=10663980 memory=75876 CPUtime=2.01 cores=1,3,5,7 /proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 18707 0 0 0 195 6 0 0 20 0 15 0 415371446 10919915520 18969 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 /proc/15121/statm: 2665995 18969 3094 1 0 2628492 0 [pid=15121/tid=15123] ppid=15118 vsize=10663980 memory=6378026435766 CPUtime=1.48 cores=1,3,5,7 /proc/15121/task/15123/stat : 15123 (java) R 15118 15121 12443 0 -1 4202560 13198 0 0 0 144 4 0 0 20 0 15 0 415371446 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302866307664 140302843645347 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15124] ppid=15118 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15125] ppid=15118 vsize=10663980 memory=16100368647981698 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15126] ppid=15118 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415371447 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15127] ppid=15118 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415371447 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15128] ppid=15118 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 415371449 10919915520 18969 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 ################ # More data... # ################ /proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15128] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7 /proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 1882 0 0 0 2 2 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15129] ppid=15118 vsize=10748324 memory=346872 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302352368864 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15130] ppid=15118 vsize=10748324 memory=346872 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302351315712 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15131] ppid=15118 vsize=10748324 memory=344824 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15132] ppid=15118 vsize=10748324 memory=0 CPUtime=2.26 cores=1,3,5,7 /proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 15278 0 0 0 224 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15133] ppid=15118 vsize=10748324 memory=346872 CPUtime=1.76 cores=1,3,5,7 /proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 11817 0 0 0 174 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15134] ppid=15118 vsize=10748324 memory=1404 CPUtime=0.79 cores=1,3,5,7 /proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 10770 0 0 0 77 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15135] ppid=15118 vsize=10748324 memory=40064 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15136] ppid=15118 vsize=10748324 memory=988 CPUtime=0.53 cores=1,3,5,7 /proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1644 0 0 0 22 31 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15137] ppid=15118 vsize=10748324 memory=3536 CPUtime=2320.38 cores=1,3,5,7 /proc/15121/task/15137/stat : 15137 (java) R 15118 15121 12443 0 -1 4202560 21389 0 0 0 232032 6 0 0 20 0 16 0 415371633 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302328331824 140302506151370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 Current children cumulated CPU time: 2327.86 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 346872 KiB [startup+2382.3 s] /proc/loadavg: 1.97 1.94 1.95 3/229 15436 /proc/meminfo: memFree=27359140/32770624 swapFree=66998528/67108860 [pid=15121] ppid=15118 vsize=10748324 memory=346872 CPUtime=2387.87 cores=1,3,5,7 /proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 80000 0 0 0 238735 52 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 /proc/15121/statm: 2687081 86718 3373 1 0 2647217 0 [pid=15121/tid=15123] ppid=15118 vsize=10748324 memory=346872 CPUtime=1.85 cores=1,3,5,7 /proc/15121/task/15123/stat : 15123 (java) S 15118 15121 12443 0 -1 1077944384 15437 0 0 0 180 5 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302866324656 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15124] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7 /proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15125] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7 /proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15126] ppid=15118 vsize=10748324 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 139 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15127] ppid=15118 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7 /proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15128] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7 /proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 1883 0 0 0 2 2 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15129] ppid=15118 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302352368864 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15130] ppid=15118 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302351315712 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15131] ppid=15118 vsize=10748324 memory=40064 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15132] ppid=15118 vsize=10748324 memory=988 CPUtime=2.26 cores=1,3,5,7 /proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 15280 0 0 0 224 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15133] ppid=15118 vsize=10748324 memory=2024 CPUtime=1.76 cores=1,3,5,7 /proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 11819 0 0 0 174 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15134] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.79 cores=1,3,5,7 /proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 10772 0 0 0 77 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15135] ppid=15118 vsize=10748324 memory=346872 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15136] ppid=15118 vsize=10748324 memory=5908 CPUtime=0.54 cores=1,3,5,7 /proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1650 0 0 0 23 31 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15137] ppid=15118 vsize=10748324 memory=14012 CPUtime=2380.39 cores=1,3,5,7 /proc/15121/task/15137/stat : 15137 (java) R 15118 15121 12443 0 -1 4202560 21459 0 0 0 238033 6 0 0 20 0 16 0 415371633 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302328331824 140302505766161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 Current children cumulated CPU time: 2387.87 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 346872 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2394.5 s] /proc/loadavg: 1.98 1.95 1.95 3/229 15436 /proc/meminfo: memFree=27359440/32770624 swapFree=66998528/67108860 [pid=15121] ppid=15118 vsize=10748324 memory=346872 CPUtime=2400.08 cores=1,3,5,7 /proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 80002 0 0 0 239956 52 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 /proc/15121/statm: 2687081 86718 3373 1 0 2647217 0 [pid=15121/tid=15123] ppid=15118 vsize=10748324 memory=346872 CPUtime=1.85 cores=1,3,5,7 /proc/15121/task/15123/stat : 15123 (java) S 15118 15121 12443 0 -1 1077944384 15437 0 0 0 180 5 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302866324656 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15124] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7 /proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15125] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7 /proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15126] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7 /proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 139 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15127] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7 /proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15128] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7 /proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 1883 0 0 0 2 2 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15129] ppid=15118 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302352368864 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15130] ppid=15118 vsize=10748324 memory=2024 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302351315712 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15131] ppid=15118 vsize=10748324 memory=1428 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15132] ppid=15118 vsize=10748324 memory=346872 CPUtime=2.26 cores=1,3,5,7 /proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 15280 0 0 0 224 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15133] ppid=15118 vsize=10748324 memory=1764 CPUtime=1.76 cores=1,3,5,7 /proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 11819 0 0 0 174 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15134] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.79 cores=1,3,5,7 /proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 10772 0 0 0 77 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15135] ppid=15118 vsize=10748324 memory=1204 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15136] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.54 cores=1,3,5,7 /proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1652 0 0 0 23 31 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15137] ppid=15118 vsize=10748324 memory=3624 CPUtime=2392.59 cores=1,3,5,7 /proc/15121/task/15137/stat : 15137 (java) R 15118 15121 12443 0 -1 4202560 21459 0 0 0 239253 6 0 0 20 0 16 0 415371633 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302328331824 140302505766161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 346872 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2394.54 s] # the end of solver process 15121 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.64 s, system=0.563071 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2394.5 s] /proc/loadavg: 1.98 1.95 1.95 3/229 15436 /proc/meminfo: memFree=27359440/32770624 swapFree=66998528/67108860 [pid=15121] ppid=15118 vsize=10748324 memory=346872 CPUtime=2400.08 cores=1,3,5,7 /proc/15121/stat : 15121 (java) S 15118 15121 12443 0 -1 1077944320 80002 0 0 0 239956 52 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140737284540832 140302862081783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 /proc/15121/statm: 2687081 86718 3373 1 0 2647217 0 [pid=15121/tid=15123] ppid=15118 vsize=10748324 memory=346872 CPUtime=1.85 cores=1,3,5,7 /proc/15121/task/15123/stat : 15123 (java) S 15118 15121 12443 0 -1 1077944384 15437 0 0 0 180 5 0 0 20 0 16 0 415371446 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302866324656 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15124] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7 /proc/15121/task/15124/stat : 15124 (java) S 15118 15121 12443 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302468439056 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15125] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7 /proc/15121/task/15125/stat : 15125 (java) S 15118 15121 12443 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302467386512 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15126] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.03 cores=1,3,5,7 /proc/15121/task/15126/stat : 15126 (java) S 15118 15121 12443 0 -1 1077944384 139 0 0 0 2 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302466333456 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15127] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7 /proc/15121/task/15127/stat : 15127 (java) S 15118 15121 12443 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 16 0 415371447 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302465280912 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15128] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.04 cores=1,3,5,7 /proc/15121/task/15128/stat : 15128 (java) S 15118 15121 12443 0 -1 1077944384 1883 0 0 0 2 2 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302353422576 140302862092930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15129] ppid=15118 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15129/stat : 15129 (java) S 15118 15121 12443 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302352368864 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15130] ppid=15118 vsize=10748324 memory=2024 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15130/stat : 15130 (java) S 15118 15121 12443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415371449 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302351315712 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15131] ppid=15118 vsize=10748324 memory=1428 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15131/stat : 15131 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302350264272 140302862100379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15132] ppid=15118 vsize=10748324 memory=346872 CPUtime=2.26 cores=1,3,5,7 /proc/15121/task/15132/stat : 15132 (java) S 15118 15121 12443 0 -1 1077944384 15280 0 0 0 224 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302349212400 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15133] ppid=15118 vsize=10748324 memory=1764 CPUtime=1.76 cores=1,3,5,7 /proc/15121/task/15133/stat : 15133 (java) S 15118 15121 12443 0 -1 1077944384 11819 0 0 0 174 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302348159856 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15134] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.79 cores=1,3,5,7 /proc/15121/task/15134/stat : 15134 (java) S 15118 15121 12443 0 -1 1077944384 10772 0 0 0 77 2 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302347106800 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15135] ppid=15118 vsize=10748324 memory=1204 CPUtime=0 cores=1,3,5,7 /proc/15121/task/15135/stat : 15135 (java) S 15118 15121 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302346054496 140302862091989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15136] ppid=15118 vsize=10748324 memory=346872 CPUtime=0.54 cores=1,3,5,7 /proc/15121/task/15136/stat : 15136 (java) S 15118 15121 12443 0 -1 1077944384 1652 0 0 0 23 31 0 0 20 0 16 0 415371452 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302345001520 140302862092930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 [pid=15121/tid=15137] ppid=15118 vsize=10748324 memory=3624 CPUtime=2392.59 cores=1,3,5,7 /proc/15121/task/15137/stat : 15137 (java) R 15118 15121 12443 0 -1 4202560 21459 0 0 0 239253 6 0 0 20 0 16 0 415371633 11006283776 86718 33554432000 4194304 4196468 140737284558288 140302328331824 140302505766161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24100864 140737284559883 140737284559986 140737284559986 140737284562895 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 346872 KiB Child status: 143 Real time (s): 2394.54 CPU time (s): 2400.21 CPU user time (s): 2399.64 CPU system time (s): 0.563071 CPU usage (%): 100.237 Max. virtual memory (cumulated for all children) (KiB): 10748324 Max. memory (cumulated for all children) (KiB): 346872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.64 system time used= 0.563071 maximum resident set size= 386748 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81354 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1656 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55686 involuntary context switches= 674 # summary of solver processes directly reported to runsolver: # pid: 15121 # total CPU time (s): 2400.21 # total CPU user time (s): 2399.64 # total CPU system time (s): 0.563071 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.6893 second user time and 21.7337 second system time The end
Begin job on node127 at 2019-09-13 18:09:46 IDJOB=4391292 IDBENCH=138293 IDSOLVER=2833 FILE ID=node127/4391292-1568391026 RUNJOBID= node127-1568388592-14519 PBS_JOBID= 21701837 Free space on /tmp= 61300 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-fu/BinPacking-mdd-fu0120-05.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391292-1568391026/watcher-4391292-1568391026 -o /tmp/evaluation-result-4391292-1568391026/solver-4391292-1568391026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568388592-14519 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391292-1568391026.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9ef2b094cdda1b830103df1ca446c40b RANDOM SEED=1936120293 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28760948 kB MemAvailable: 31593804 kB Buffers: 159948 kB Cached: 2938268 kB SwapCached: 6772 kB Active: 2064988 kB Inactive: 1322796 kB Active(anon): 282712 kB Inactive(anon): 48320 kB Active(file): 1782276 kB Inactive(file): 1274476 kB Unevictable: 109300 kB Mlocked: 109300 kB SwapTotal: 67108860 kB SwapFree: 66998528 kB Dirty: 8592 kB Writeback: 0 kB AnonPages: 393548 kB Mapped: 56688 kB Shmem: 32700 kB Slab: 214308 kB SReclaimable: 183876 kB SUnreclaim: 30432 kB KernelStack: 3712 kB PageTables: 6324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1237592 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 323584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61292 MiB End job on node127 at 2019-09-13 18:49:40