Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | SAT (TO) | 12 | 2400.05 | 2391.61 |
Name | Opd/Opd-sum-large/ Opd-04-350-100.xml |
MD5SUM | 05a37308653f1418d8a9d31e27700b02 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 10.3495 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1401 |
Number of constraints | 11 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 342 |
Distribution of domain sizes | [{"size":2,"count":1400},{"size":342,"count":1}] |
Minimum variable degree | 5 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":5,"count":1400},{"degree":7,"count":1}] |
Minimum constraint arity | 350 |
Maximum constraint arity | 1400 |
Distribution of constraint arities | [{"arity":350,"count":4},{"arity":701,"count":6},{"arity":1400,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":10}] |
Optimization problem | YES |
Type of objective | min VAR |
2.39/1.87 2.39/1.87 AbsCon 2 2.39/1.89 2.91/2.04 Instance 2.91/2.04 name=instance-4391211-1568388932, framework=COP, bounds=-infty..+infty 2.91/2.04 2.91/2.04 Loading variables... 3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73de9552 3.18/2.14 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1681c188 3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2985598e 3.18/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@341277b8 3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28fd4a5a 3.18/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28fd4a5a 3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28fd4a5a 3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c65c1c2 3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c65c1c2 3.18/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c97e81 3.49/2.24 3.49/2.24 3.49/2.24 Domains 3.49/2.24 nTypes=2, nValues=3142, sizes=[2#1400,342#1] 3.49/2.24 Variables 3.49/2.24 count=1401, degrees=[6#4,7#701,8#696] 3.49/2.24 Objectives 3.49/2.24 way=min, type=ObjVarLE 3.49/2.24 Constraints 3.49/2.24 count=363, nSpecific=363, arities=[1#1,8#349,350#4,700#3,701#6] 3.49/2.24 distribution=[LexicographicLe#352,ObjVarLE#1,SumScalarBooleanLEVar#6,SumSimpleEQ#4] 3.49/2.24 wck=0.394, cpu=2.193, mem=37M85 3.49/2.25 Solver SolverBacktrack being built... 3.49/2.25 3.49/2.28 3.49/2.28 Solver 3.49/2.28 guaranteedGAC=true 3.49/2.28 wck=0.441, cpu=2.238, mem=50M375 3.79/2.31 3.79/2.31 Preprocessing 3.79/2.31 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.79/2.31 wck=0.022, cpu=2.262, mem=50M375 3.79/2.31 4.02/2.42 num=0, depth=491..501, filters=264, wck=0.136, mem=50M375 4.02/2.42 decisions=545, wrong=27, backtracks=26, failedAssignments=10, nogoods=1 4.02/2.42 4.32/2.50 num=1, depth=1..235, filters=2128, wck=0.22, mem=50M375 4.32/2.50 decisions=792, wrong=38, backtracks=26, failedAssignments=21, nogoods=12 4.32/2.50 4.32/2.57 o 100 4.32/2.57 num=2, depth=6..1400, filters=2902, ccks=363, wck=0.287, mem=53M17 4.32/2.57 decisions=1021, wrong=40, backtracks=26, failedAssignments=23, nogoods=14, foundSolutions=1, bestBound=100 4.32/2.57 4.65/2.65 o 96 4.65/2.65 num=3, depth=12..1400, filters=4983, ccks=726, wck=0.366, mem=53M17 4.65/2.65 decisions=1292, wrong=47, backtracks=26, failedAssignments=30, nogoods=21, foundSolutions=2, bestBound=96 4.65/2.65 4.65/2.70 num=4, depth=24..160, filters=6249, ccks=726, wck=0.411, mem=53M17 4.65/2.70 decisions=1467, wrong=59, backtracks=28, failedAssignments=41, nogoods=31, foundSolutions=2, bestBound=96 4.65/2.70 5.23/2.80 num=5, depth=1..34, filters=11418, ccks=726, wck=0.514, mem=53M17 5.23/2.80 decisions=1532, wrong=82, backtracks=42, failedAssignments=52, nogoods=33, foundSolutions=2, bestBound=96 5.23/2.80 5.23/2.82 num=6, depth=0..48, filters=13032, ccks=726, wck=0.539, mem=53M17 5.23/2.82 decisions=1600, wrong=97, backtracks=50, failedAssignments=64, nogoods=39, foundSolutions=2, bestBound=96 5.23/2.82 5.23/2.85 num=7, depth=6..93, filters=15066, ccks=726, wck=0.568, mem=53M17 5.23/2.85 decisions=1722, wrong=118, backtracks=60, failedAssignments=77, nogoods=45, foundSolutions=2, bestBound=96 5.23/2.85 5.23/2.87 num=8, depth=8..52, filters=16253, ccks=726, wck=0.587, mem=53M17 5.23/2.87 decisions=1796, wrong=135, backtracks=66, failedAssignments=91, nogoods=56, foundSolutions=2, bestBound=96 5.23/2.87 5.23/2.89 o 88 5.23/2.89 num=9, depth=22..1400, filters=17142, ccks=1089, wck=0.606, mem=53M17 5.23/2.89 decisions=1835, wrong=139, backtracks=66, failedAssignments=95, nogoods=60, foundSolutions=3, bestBound=88 5.23/2.89 5.43/2.93 num=10, depth=14..28, filters=18961, ccks=1089, wck=0.641, mem=55M660 5.43/2.93 decisions=1913, wrong=170, backtracks=92, failedAssignments=112, nogoods=62, foundSolutions=3, bestBound=88 5.43/2.93 5.43/2.95 num=11, depth=8..16, filters=20522, ccks=1089, wck=0.664, mem=55M660 5.43/2.95 decisions=1955, wrong=187, backtracks=105, failedAssignments=123, nogoods=63, foundSolutions=3, bestBound=88 5.43/2.95 5.43/2.97 num=12, depth=5..85, filters=21508, ccks=1089, wck=0.682, mem=55M660 5.43/2.97 decisions=2056, wrong=200, backtracks=107, failedAssignments=135, nogoods=74, foundSolutions=3, bestBound=88 5.43/2.97 5.43/2.99 num=13, depth=10..18, filters=23103, ccks=1089, wck=0.704, mem=55M660 5.43/2.99 decisions=2111, wrong=222, backtracks=120, failedAssignments=148, nogoods=76, foundSolutions=3, bestBound=88 5.43/2.99 5.64/3.05 num=14, depth=5..56, filters=26598, ccks=1089, wck=0.765, mem=55M660 5.64/3.05 decisions=2223, wrong=259, backtracks=144, failedAssignments=162, nogoods=82, foundSolutions=3, bestBound=88 5.64/3.05 5.64/3.08 num=15, depth=12..33, filters=29263, ccks=1089, wck=0.799, mem=55M660 5.64/3.08 decisions=2302, wrong=285, backtracks=155, failedAssignments=178, nogoods=89, foundSolutions=3, bestBound=88 5.64/3.08 5.64/3.10 num=16, depth=12..33, filters=30347, ccks=1089, wck=0.815, mem=55M660 5.64/3.10 decisions=2360, wrong=303, backtracks=161, failedAssignments=195, nogoods=101, foundSolutions=3, bestBound=88 5.64/3.10 5.76/3.12 num=17, depth=16..35, filters=31655, ccks=1089, wck=0.834, mem=55M660 5.76/3.12 decisions=2438, wrong=329, backtracks=182, failedAssignments=214, nogoods=106, foundSolutions=3, bestBound=88 5.76/3.12 5.76/3.14 o 86 5.76/3.14 num=18, depth=12..1400, filters=32788, ccks=1452, wck=0.855, mem=55M660 5.76/3.14 decisions=2504, wrong=348, backtracks=182, failedAssignments=233, nogoods=125, foundSolutions=4, bestBound=86 5.76/3.14 5.76/3.17 num=19, depth=20..47, filters=34216, ccks=1452, wck=0.881, mem=55M660 5.76/3.17 decisions=2586, wrong=377, backtracks=202, failedAssignments=256, nogoods=133, foundSolutions=4, bestBound=86 5.76/3.17 5.76/3.18 o 72 5.76/3.19 num=20, depth=14..1400, filters=35240, ccks=1815, wck=0.9, mem=55M660 5.76/3.19 decisions=2634, wrong=383, backtracks=202, failedAssignments=262, nogoods=139, foundSolutions=5, bestBound=72 5.76/3.19 5.98/3.21 o 71 5.98/3.21 num=21, depth=16..1400, filters=36302, ccks=2178, wck=0.926, mem=55M660 5.98/3.21 decisions=2702, wrong=391, backtracks=202, failedAssignments=270, nogoods=147, foundSolutions=6, bestBound=71 5.98/3.21 5.98/3.23 num=22, depth=15..42, filters=37415, ccks=2178, wck=0.949, mem=58M302 5.98/3.23 decisions=2767, wrong=408, backtracks=208, failedAssignments=281, nogoods=153, foundSolutions=6, bestBound=71 5.98/3.23 5.98/3.25 num=23, depth=13..45, filters=38512, ccks=2178, wck=0.966, mem=58M302 5.98/3.25 decisions=2827, wrong=421, backtracks=211, failedAssignments=292, nogoods=162, foundSolutions=6, bestBound=71 5.98/3.25 5.98/3.27 num=24, depth=15..37, filters=39518, ccks=2178, wck=0.981, mem=58M302 5.98/3.27 decisions=2886, wrong=438, backtracks=216, failedAssignments=304, nogoods=170, foundSolutions=6, bestBound=71 5.98/3.27 5.98/3.28 num=25, depth=12..38, filters=40454, ccks=2178, wck=0.996, mem=58M302 5.98/3.28 decisions=2938, wrong=451, backtracks=216, failedAssignments=317, nogoods=183, foundSolutions=6, bestBound=71 5.98/3.28 6.24/3.30 num=26, depth=25..44, filters=41653, ccks=2178, wck=1.017, mem=58M302 6.24/3.30 decisions=3022, wrong=474, backtracks=225, failedAssignments=331, nogoods=190, foundSolutions=6, bestBound=71 6.24/3.30 6.24/3.32 num=27, depth=15..36, filters=42517, ccks=2178, wck=1.031, mem=58M302 6.24/3.32 decisions=3082, wrong=493, backtracks=234, failedAssignments=347, nogoods=198, foundSolutions=6, bestBound=71 6.24/3.32 6.24/3.34 num=28, depth=22..40, filters=44161, ccks=2178, wck=1.058, mem=58M302 6.24/3.34 decisions=3176, wrong=529, backtracks=261, failedAssignments=364, nogoods=199, foundSolutions=6, bestBound=71 6.24/3.34 6.24/3.36 num=29, depth=9..49, filters=45200, ccks=2178, wck=1.074, mem=58M302 6.24/3.36 decisions=3247, wrong=549, backtracks=262, failedAssignments=383, nogoods=218, foundSolutions=6, bestBound=71 6.24/3.36 6.24/3.38 num=30, depth=19..51, filters=46457, ccks=2178, wck=1.093, mem=58M302 6.24/3.38 decisions=3340, wrong=577, backtracks=280, failedAssignments=404, nogoods=227, foundSolutions=6, bestBound=71 6.24/3.38 6.24/3.39 o 70 6.24/3.40 num=31, depth=18..1400, filters=47447, ccks=2541, wck=1.111, mem=58M302 6.24/3.40 decisions=3384, wrong=586, backtracks=282, failedAssignments=411, nogoods=233, foundSolutions=7, bestBound=70 6.24/3.40 6.38/3.43 num=32, depth=13..30, filters=49260, ccks=2541, wck=1.141, mem=58M302 6.38/3.43 decisions=3485, wrong=625, backtracks=311, failedAssignments=436, nogoods=241, foundSolutions=7, bestBound=70 6.38/3.43 6.38/3.45 num=33, depth=15..40, filters=50317, ccks=2541, wck=1.161, mem=58M302 6.38/3.45 decisions=3555, wrong=646, backtracks=327, failedAssignments=447, nogoods=243, foundSolutions=7, bestBound=70 6.38/3.45 6.38/3.46 num=34, depth=17..32, filters=51246, ccks=2541, wck=1.174, mem=58M302 6.38/3.46 decisions=3603, wrong=660, backtracks=334, failedAssignments=459, nogoods=249, foundSolutions=7, bestBound=70 6.38/3.46 6.38/3.47 num=35, depth=10..31, filters=52001, ccks=2541, wck=1.186, mem=58M302 6.38/3.47 decisions=3648, wrong=673, backtracks=334, failedAssignments=472, nogoods=262, foundSolutions=7, bestBound=70 6.38/3.47 6.38/3.50 num=36, depth=12..30, filters=53887, ccks=2541, wck=1.211, mem=58M302 6.38/3.50 decisions=3731, wrong=702, backtracks=356, failedAssignments=486, nogoods=267, foundSolutions=7, bestBound=70 6.38/3.50 6.49/3.52 num=37, depth=13..30, filters=56170, ccks=2541, wck=1.24, mem=58M302 6.49/3.52 decisions=3824, wrong=738, backtracks=385, failedAssignments=502, nogoods=271, foundSolutions=7, bestBound=70 6.49/3.52 6.49/3.54 num=38, depth=22..37, filters=57076, ccks=2541, wck=1.255, mem=58M302 6.49/3.54 decisions=3887, wrong=757, backtracks=394, failedAssignments=519, nogoods=281, foundSolutions=7, bestBound=70 6.49/3.54 6.49/3.56 num=39, depth=19..36, filters=58132, ccks=2541, wck=1.274, mem=58M302 6.49/3.56 decisions=3963, wrong=781, backtracks=415, failedAssignments=538, nogoods=284, foundSolutions=7, bestBound=70 6.49/3.56 6.49/3.57 num=40, depth=19..33, filters=58983, ccks=2541, wck=1.288, mem=58M302 6.49/3.57 decisions=4037, wrong=806, backtracks=434, failedAssignments=559, nogoods=289, foundSolutions=7, bestBound=70 6.49/3.57 6.59/3.60 num=41, depth=13..35, filters=60972, ccks=2541, wck=1.314, mem=58M302 6.59/3.60 decisions=4133, wrong=841, backtracks=455, failedAssignments=582, nogoods=300, foundSolutions=7, bestBound=70 6.59/3.60 6.59/3.63 num=42, depth=9..45, filters=63538, ccks=2541, wck=1.348, mem=58M302 6.59/3.63 decisions=4244, wrong=885, backtracks=490, failedAssignments=607, nogoods=309, foundSolutions=7, bestBound=70 6.59/3.63 6.59/3.66 num=43, depth=9..33, filters=65661, ccks=2541, wck=1.379, mem=58M302 6.59/3.66 decisions=4357, wrong=932, backtracks=525, failedAssignments=635, nogoods=314, foundSolutions=7, bestBound=70 6.59/3.66 6.69/3.70 num=44, depth=3..28, filters=68874, ccks=2541, wck=1.418, mem=60M945 6.69/3.70 decisions=4471, wrong=982, backtracks=561, failedAssignments=666, nogoods=320, foundSolutions=7, bestBound=70 6.69/3.70 6.69/3.72 o 19 6.69/3.72 num=45, depth=3..1400, filters=70459, ccks=2904, wck=1.44, mem=60M945 6.69/3.72 decisions=4541, wrong=992, backtracks=561, failedAssignments=676, nogoods=330, foundSolutions=8, bestBound=19 6.69/3.72 6.69/3.75 num=46, depth=3..70, filters=72115, ccks=2904, wck=1.465, mem=60M945 6.69/3.75 decisions=4698, wrong=1043, backtracks=604, failedAssignments=713, nogoods=340, foundSolutions=8, bestBound=19 6.69/3.75 6.69/3.77 num=47, depth=3..66, filters=73559, ccks=2904, wck=1.484, mem=60M945 6.69/3.77 decisions=4789, wrong=1062, backtracks=612, failedAssignments=724, nogoods=346, foundSolutions=8, bestBound=19 6.69/3.77 6.69/3.78 num=48, depth=4..45, filters=74621, ccks=2904, wck=1.498, mem=60M945 6.69/3.78 decisions=4847, wrong=1074, backtracks=612, failedAssignments=736, nogoods=358, foundSolutions=8, bestBound=19 6.69/3.78 6.79/3.80 num=49, depth=4..26, filters=76052, ccks=2904, wck=1.517, mem=60M945 6.79/3.80 decisions=4906, wrong=1094, backtracks=621, failedAssignments=749, nogoods=366, foundSolutions=8, bestBound=19 6.79/3.80 6.79/3.83 num=50, depth=4..27, filters=78144, ccks=2904, wck=1.549, mem=60M945 6.79/3.83 decisions=4986, wrong=1129, backtracks=644, failedAssignments=763, nogoods=370, foundSolutions=8, bestBound=19 6.79/3.83 6.79/3.85 num=51, depth=4..30, filters=79751, ccks=2904, wck=1.57, mem=60M945 6.79/3.85 decisions=5063, wrong=1156, backtracks=659, failedAssignments=779, nogoods=378, foundSolutions=8, bestBound=19 6.79/3.85 6.79/3.87 num=52, depth=4..20, filters=80562, ccks=2904, wck=1.581, mem=60M945 6.79/3.87 decisions=5128, wrong=1184, backtracks=682, failedAssignments=796, nogoods=381, foundSolutions=8, bestBound=19 6.79/3.87 6.79/3.88 num=53, depth=4..57, filters=81643, ccks=2904, wck=1.595, mem=60M945 6.79/3.88 decisions=5228, wrong=1212, backtracks=700, failedAssignments=815, nogoods=391, foundSolutions=8, bestBound=19 6.79/3.88 6.79/3.89 num=54, depth=4..74, filters=82774, ccks=2904, wck=1.61, mem=60M945 6.79/3.89 decisions=5324, wrong=1233, backtracks=700, failedAssignments=836, nogoods=412, foundSolutions=8, bestBound=19 6.79/3.89 6.89/3.91 o 18 6.89/3.91 num=55, depth=4..1400, filters=83873, ccks=3267, wck=1.627, mem=60M945 6.89/3.91 decisions=5396, wrong=1244, backtracks=700, failedAssignments=847, nogoods=423, foundSolutions=9, bestBound=18 6.89/3.91 6.89/3.93 o 17 6.89/3.93 num=56, depth=7..1400, filters=84868, ccks=3630, wck=1.646, mem=60M945 6.89/3.93 decisions=5442, wrong=1250, backtracks=703, failedAssignments=850, nogoods=425, foundSolutions=10, bestBound=17 6.89/3.93 6.89/3.96 o 16 6.89/3.96 num=57, depth=2..1400, filters=86402, ccks=3993, wck=1.672, mem=63M587 6.89/3.96 decisions=5499, wrong=1260, backtracks=709, failedAssignments=854, nogoods=428, foundSolutions=11, bestBound=16 6.89/3.96 6.89/3.98 num=58, depth=4..33, filters=87767, ccks=3993, wck=1.693, mem=63M587 6.89/3.98 decisions=5568, wrong=1281, backtracks=719, failedAssignments=865, nogoods=435, foundSolutions=11, bestBound=16 6.89/3.98 6.89/4.00 num=59, depth=2..22, filters=89476, ccks=3993, wck=1.717, mem=63M587 6.89/4.00 decisions=5631, wrong=1304, backtracks=732, failedAssignments=876, nogoods=441, foundSolutions=11, bestBound=16 6.89/4.00 7.02/4.02 num=60, depth=1..14, filters=90912, ccks=3993, wck=1.738, mem=63M587 7.02/4.02 decisions=5680, wrong=1327, backtracks=751, failedAssignments=888, nogoods=443, foundSolutions=11, bestBound=16 7.02/4.02 7.02/4.05 num=61, depth=0..12, filters=92846, ccks=3993, wck=1.762, mem=63M587 7.02/4.05 decisions=5747, wrong=1357, backtracks=773, failedAssignments=901, nogoods=446, foundSolutions=11, bestBound=16 7.02/4.05 7.02/4.06 num=62, depth=2..27, filters=93833, ccks=3993, wck=1.774, mem=63M587 7.02/4.06 decisions=5792, wrong=1372, backtracks=781, failedAssignments=915, nogoods=453, foundSolutions=11, bestBound=16 7.02/4.06 7.02/4.07 o 15 7.02/4.07 num=63, depth=7..1400, filters=94756, ccks=4356, wck=1.788, mem=63M587 7.02/4.07 decisions=5847, wrong=1380, backtracks=781, failedAssignments=923, nogoods=461, foundSolutions=12, bestBound=15 7.02/4.07 7.02/4.09 num=64, depth=9..50, filters=95877, ccks=4356, wck=1.807, mem=63M587 7.02/4.09 decisions=5936, wrong=1401, backtracks=798, failedAssignments=940, nogoods=465, foundSolutions=12, bestBound=15 7.02/4.09 7.12/4.11 num=65, depth=11..56, filters=97004, ccks=4356, wck=1.822, mem=63M587 7.12/4.11 decisions=6011, wrong=1415, backtracks=801, failedAssignments=951, nogoods=475, foundSolutions=12, bestBound=15 7.12/4.11 7.12/4.12 num=66, depth=26..37, filters=97719, ccks=4356, wck=1.831, mem=63M587 7.12/4.12 decisions=6073, wrong=1433, backtracks=819, failedAssignments=963, nogoods=476, foundSolutions=12, bestBound=15 7.12/4.12 7.12/4.13 num=67, depth=11..33, filters=98684, ccks=4356, wck=1.845, mem=63M587 7.12/4.13 decisions=6142, wrong=1455, backtracks=829, failedAssignments=976, nogoods=484, foundSolutions=12, bestBound=15 7.12/4.13 7.12/4.15 num=68, depth=6..20, filters=99911, ccks=4356, wck=1.862, mem=63M587 7.12/4.15 decisions=6214, wrong=1485, backtracks=846, failedAssignments=990, nogoods=489, foundSolutions=12, bestBound=15 7.12/4.15 7.12/4.18 num=69, depth=2..39, filters=101843, ccks=4356, wck=1.892, mem=63M587 7.12/4.18 decisions=6304, wrong=1515, backtracks=865, failedAssignments=1006, nogoods=499, foundSolutions=12, bestBound=15 7.12/4.18 7.22/4.20 num=70, depth=3..25, filters=103140, ccks=4356, wck=1.913, mem=63M587 7.22/4.20 decisions=6402, wrong=1558, backtracks=894, failedAssignments=1023, nogoods=503, foundSolutions=12, bestBound=15 7.22/4.20 7.22/4.22 num=71, depth=14..27, filters=104312, ccks=4356, wck=1.933, mem=63M587 7.22/4.22 decisions=6521, wrong=1606, backtracks=931, failedAssignments=1042, nogoods=508, foundSolutions=12, bestBound=15 7.22/4.22 7.22/4.24 num=72, depth=6..75, filters=105889, ccks=4356, wck=1.954, mem=63M587 7.22/4.24 decisions=6637, wrong=1637, backtracks=946, failedAssignments=1063, nogoods=523, foundSolutions=12, bestBound=15 7.22/4.24 7.22/4.25 num=73, depth=6..59, filters=106969, ccks=4356, wck=1.97, mem=63M587 7.22/4.25 decisions=6751, wrong=1670, backtracks=968, failedAssignments=1086, nogoods=534, foundSolutions=12, bestBound=15 7.22/4.25 7.22/4.27 num=74, depth=5..66, filters=108436, ccks=4356, wck=1.99, mem=63M587 7.22/4.27 decisions=6873, wrong=1706, backtracks=991, failedAssignments=1111, nogoods=543, foundSolutions=12, bestBound=15 7.22/4.27 7.34/4.30 num=75, depth=5..70, filters=110281, ccks=4356, wck=2.014, mem=63M587 7.34/4.30 decisions=7008, wrong=1747, backtracks=1017, failedAssignments=1139, nogoods=555, foundSolutions=12, bestBound=15 7.34/4.30 7.34/4.32 num=76, depth=6..52, filters=111773, ccks=4356, wck=2.035, mem=63M587 7.34/4.32 decisions=7130, wrong=1789, backtracks=1047, failedAssignments=1170, nogoods=567, foundSolutions=12, bestBound=15 7.34/4.32 7.34/4.36 num=77, depth=3..54, filters=114671, ccks=4356, wck=2.073, mem=63M587 7.34/4.36 decisions=7284, wrong=1854, backtracks=1097, failedAssignments=1204, nogoods=577, foundSolutions=12, bestBound=15 7.34/4.36 7.34/4.38 num=78, depth=3..59, filters=116064, ccks=4356, wck=2.096, mem=66M230 7.34/4.38 decisions=7415, wrong=1905, backtracks=1112, failedAssignments=1241, nogoods=608, foundSolutions=12, bestBound=15 7.34/4.38 7.44/4.40 num=79, depth=3..31, filters=117595, ccks=4356, wck=2.12, mem=66M230 7.44/4.40 decisions=7604, wrong=1988, backtracks=1184, failedAssignments=1282, nogoods=616, foundSolutions=12, bestBound=15 7.44/4.40 7.44/4.43 num=80, depth=3..59, filters=119243, ccks=4356, wck=2.143, mem=66M230 7.44/4.43 decisions=7763, wrong=2046, backtracks=1219, failedAssignments=1327, nogoods=633, foundSolutions=12, bestBound=15 7.44/4.43 7.44/4.49 num=81, depth=5..28, filters=122946, ccks=4356, wck=2.207, mem=66M230 7.44/4.49 decisions=8056, wrong=2186, backtracks=1345, failedAssignments=1377, nogoods=639, foundSolutions=12, bestBound=15 7.44/4.49 7.54/4.54 num=82, depth=4..38, filters=126223, ccks=4356, wck=2.252, mem=66M230 7.54/4.54 decisions=8327, wrong=2307, backtracks=1454, failedAssignments=1432, nogoods=645, foundSolutions=12, bestBound=15 7.54/4.54 7.54/4.57 o 14 7.54/4.58 num=83, depth=3..1400, filters=129041, ccks=4719, wck=2.291, mem=66M230 7.54/4.58 decisions=8488, wrong=2373, backtracks=1501, failedAssignments=1470, nogoods=663, foundSolutions=13, bestBound=14 7.54/4.58 7.65/4.63 num=84, depth=3..62, filters=132847, ccks=4719, wck=2.342, mem=66M230 7.65/4.63 decisions=8735, wrong=2481, backtracks=1585, failedAssignments=1537, nogoods=682, foundSolutions=13, bestBound=14 7.65/4.63 7.65/4.64 num=85, depth=4..55, filters=134061, ccks=4719, wck=2.357, mem=66M230 7.65/4.64 decisions=8804, wrong=2494, backtracks=1589, failedAssignments=1548, nogoods=691, foundSolutions=13, bestBound=14 7.65/4.64 7.65/4.66 num=86, depth=4..48, filters=135252, ccks=4719, wck=2.372, mem=66M230 7.65/4.66 decisions=8868, wrong=2509, backtracks=1594, failedAssignments=1560, nogoods=701, foundSolutions=13, bestBound=14 7.65/4.66 7.65/4.68 num=87, depth=4..50, filters=136816, ccks=4719, wck=2.391, mem=66M230 7.65/4.68 decisions=8950, wrong=2532, backtracks=1606, failedAssignments=1573, nogoods=711, foundSolutions=13, bestBound=14 7.65/4.68 7.65/4.69 num=88, depth=5..59, filters=138321, ccks=4719, wck=2.409, mem=66M230 7.65/4.69 decisions=9024, wrong=2546, backtracks=1606, failedAssignments=1587, nogoods=725, foundSolutions=13, bestBound=14 7.65/4.69 7.76/4.72 num=89, depth=6..44, filters=140843, ccks=4719, wck=2.439, mem=66M230 7.76/4.72 decisions=9123, wrong=2577, backtracks=1624, failedAssignments=1603, nogoods=733, foundSolutions=13, bestBound=14 7.76/4.72 7.76/4.74 num=90, depth=7..76, filters=142240, ccks=4719, wck=2.457, mem=66M230 7.76/4.74 decisions=9223, wrong=2596, backtracks=1628, failedAssignments=1620, nogoods=748, foundSolutions=13, bestBound=14 7.76/4.74 7.76/4.77 num=91, depth=20..60, filters=144365, ccks=4719, wck=2.482, mem=66M230 7.76/4.77 decisions=9325, wrong=2623, backtracks=1639, failedAssignments=1639, nogoods=761, foundSolutions=13, bestBound=14 7.76/4.77 7.76/4.79 num=92, depth=8..56, filters=145913, ccks=4719, wck=2.501, mem=66M230 7.76/4.79 decisions=9417, wrong=2652, backtracks=1651, failedAssignments=1660, nogoods=777, foundSolutions=13, bestBound=14 7.76/4.79 7.86/4.80 num=93, depth=11..51, filters=147181, ccks=4719, wck=2.518, mem=66M230 7.86/4.80 decisions=9521, wrong=2687, backtracks=1673, failedAssignments=1683, nogoods=786, foundSolutions=13, bestBound=14 7.86/4.80 7.86/4.83 num=94, depth=8..40, filters=149430, ccks=4719, wck=2.546, mem=66M230 7.86/4.83 decisions=9635, wrong=2732, backtracks=1702, failedAssignments=1708, nogoods=793, foundSolutions=13, bestBound=14 7.86/4.83 7.86/4.85 num=95, depth=9..65, filters=151181, ccks=4719, wck=2.57, mem=68M872 7.86/4.85 decisions=9759, wrong=2772, backtracks=1716, failedAssignments=1736, nogoods=815, foundSolutions=13, bestBound=14 7.86/4.85 7.86/4.89 num=96, depth=9..36, filters=153667, ccks=4719, wck=2.602, mem=68M872 7.86/4.89 decisions=9917, wrong=2837, backtracks=1763, failedAssignments=1767, nogoods=820, foundSolutions=13, bestBound=14 7.86/4.89 7.96/4.92 num=97, depth=7..27, filters=155603, ccks=4719, wck=2.633, mem=68M872 7.96/4.92 decisions=10123, wrong=2932, backtracks=1838, failedAssignments=1801, nogoods=828, foundSolutions=13, bestBound=14 7.96/4.92 7.96/4.95 num=98, depth=2..27, filters=157970, ccks=4719, wck=2.668, mem=68M872 7.96/4.95 decisions=10348, wrong=3038, backtracks=1927, failedAssignments=1838, nogoods=835, foundSolutions=13, bestBound=14 7.96/4.95 7.96/4.98 num=99, depth=4..39, filters=160250, ccks=4719, wck=2.695, mem=68M872 7.96/4.98 decisions=10505, wrong=3105, backtracks=1973, failedAssignments=1879, nogoods=851, foundSolutions=13, bestBound=14 7.96/4.98 8.07/5.01 num=100, depth=5..40, filters=162354, ccks=4719, wck=2.721, mem=68M872 8.07/5.01 decisions=10682, wrong=3180, backtracks=2031, failedAssignments=1924, nogoods=863, foundSolutions=13, bestBound=14 8.07/5.01 8.07/5.05 num=101, depth=6..56, filters=165740, ccks=4719, wck=2.761, mem=68M872 8.07/5.05 decisions=10892, wrong=3268, backtracks=2093, failedAssignments=1974, nogoods=877, foundSolutions=13, bestBound=14 8.07/5.05 8.17/5.12 num=102, depth=5..61, filters=171794, ccks=4719, wck=2.832, mem=68M872 8.17/5.12 decisions=11249, wrong=3430, backtracks=2225, failedAssignments=2029, nogoods=889, foundSolutions=13, bestBound=14 8.17/5.12 8.30/5.20 num=103, depth=2..56, filters=178452, ccks=4719, wck=2.914, mem=68M872 8.30/5.20 decisions=11636, wrong=3609, backtracks=2365, failedAssignments=2090, nogoods=896, foundSolutions=13, bestBound=14 8.30/5.20 8.30/5.25 num=104, depth=3..51, filters=181665, ccks=4719, wck=2.962, mem=68M872 8.30/5.25 decisions=11894, wrong=3723, backtracks=2457, failedAssignments=2157, nogoods=905, foundSolutions=13, bestBound=14 8.30/5.25 8.44/5.31 num=105, depth=5..68, filters=186501, ccks=4719, wck=3.022, mem=68M872 8.44/5.31 decisions=12321, wrong=3917, backtracks=2611, failedAssignments=2231, nogoods=922, foundSolutions=13, bestBound=14 8.44/5.31 8.44/5.36 num=106, depth=3..57, filters=190024, ccks=4719, wck=3.075, mem=68M872 8.44/5.36 decisions=12678, wrong=4089, backtracks=2729, failedAssignments=2312, nogoods=927, foundSolutions=13, bestBound=14 8.44/5.36 8.56/5.42 num=107, depth=10..65, filters=194933, ccks=4719, wck=3.134, mem=68M872 8.56/5.42 decisions=13162, wrong=4311, backtracks=2918, failedAssignments=2401, nogoods=935, foundSolutions=13, bestBound=14 8.56/5.42 8.70/5.51 num=108, depth=15..63, filters=202365, ccks=4719, wck=3.222, mem=71M515 8.70/5.51 decisions=13849, wrong=4635, backtracks=3203, failedAssignments=2499, nogoods=940, foundSolutions=13, bestBound=14 8.70/5.51 8.70/5.57 num=109, depth=9..75, filters=208112, ccks=4719, wck=3.29, mem=71M515 8.70/5.57 decisions=14369, wrong=4870, backtracks=3391, failedAssignments=2607, nogoods=956, foundSolutions=13, bestBound=14 8.70/5.57 8.80/5.65 num=110, depth=12..67, filters=214349, ccks=4719, wck=3.362, mem=71M515 8.80/5.65 decisions=14860, wrong=5095, backtracks=3588, failedAssignments=2726, nogoods=967, foundSolutions=13, bestBound=14 8.80/5.65 8.90/5.70 num=111, depth=8..72, filters=218746, ccks=4719, wck=3.419, mem=71M515 8.90/5.70 decisions=15428, wrong=5364, backtracks=3808, failedAssignments=2857, nogoods=977, foundSolutions=13, bestBound=14 8.90/5.70 8.90/5.74 num=112, depth=17..64, filters=221887, ccks=4719, wck=3.46, mem=71M515 8.90/5.74 decisions=15921, wrong=5592, backtracks=4011, failedAssignments=3001, nogoods=986, foundSolutions=13, bestBound=14 8.90/5.74 8.90/5.78 num=113, depth=18..117, filters=224530, ccks=4719, wck=3.499, mem=71M515 8.90/5.78 decisions=16522, wrong=5847, backtracks=4240, failedAssignments=3159, nogoods=1001, foundSolutions=13, bestBound=14 8.90/5.78 9.00/5.84 num=114, depth=89..114, filters=229328, ccks=4719, wck=3.56, mem=74M157 9.00/5.84 decisions=17096, wrong=6088, backtracks=4454, failedAssignments=3333, nogoods=1019, foundSolutions=13, bestBound=14 9.00/5.84 9.00/5.89 num=115, depth=114..142, filters=232000, ccks=4719, wck=3.607, mem=74M157 9.00/5.89 decisions=17761, wrong=6359, backtracks=4710, failedAssignments=3524, nogoods=1032, foundSolutions=13, bestBound=14 9.00/5.89 9.40/6.21 num=116, depth=207..247, filters=255966, ccks=4719, wck=3.928, mem=74M157 9.40/6.21 decisions=19280, wrong=7004, backtracks=5287, failedAssignments=3735, nogoods=1038, foundSolutions=13, bestBound=14 9.40/6.21 9.60/6.44 num=117, depth=23..90, filters=270052, ccks=4719, wck=4.155, mem=76M800 9.60/6.44 decisions=20620, wrong=7661, backtracks=5798, failedAssignments=3967, nogoods=1042, foundSolutions=13, bestBound=14 9.60/6.44 9.90/6.72 num=118, depth=9..50, filters=288638, ccks=4719, wck=4.436, mem=76M800 9.90/6.72 decisions=22206, wrong=8439, backtracks=6435, failedAssignments=4222, nogoods=1050, foundSolutions=13, bestBound=14 9.90/6.72 10.21/7.02 num=119, depth=11..68, filters=308211, ccks=4719, wck=4.736, mem=76M800 10.21/7.02 decisions=23930, wrong=9289, backtracks=7166, failedAssignments=4503, nogoods=1052, foundSolutions=13, bestBound=14 10.21/7.02 10.40/7.27 num=120, depth=13..60, filters=324463, ccks=4719, wck=4.983, mem=79M442 10.40/7.27 decisions=25402, wrong=10015, backtracks=7798, failedAssignments=4812, nogoods=1060, foundSolutions=13, bestBound=14 10.40/7.27 10.70/7.52 num=121, depth=0..53, filters=340890, ccks=4719, wck=5.234, mem=79M442 10.70/7.52 decisions=26862, wrong=10730, backtracks=8423, failedAssignments=5152, nogoods=1065, foundSolutions=13, bestBound=14 10.70/7.52 10.80/7.68 num=122, depth=20..59, filters=352558, ccks=4719, wck=5.397, mem=79M442 10.80/7.68 decisions=28532, wrong=11554, backtracks=9168, failedAssignments=5526, nogoods=1067, foundSolutions=13, bestBound=14 10.80/7.68 11.11/7.94 num=123, depth=3..89, filters=368418, ccks=4719, wck=5.655, mem=82M85 11.11/7.94 decisions=30313, wrong=12432, backtracks=9895, failedAssignments=5937, nogoods=1082, foundSolutions=13, bestBound=14 11.11/7.94 11.32/8.14 num=124, depth=6..55, filters=381196, ccks=4719, wck=5.857, mem=82M85 11.32/8.14 decisions=32136, wrong=13328, backtracks=10715, failedAssignments=6389, nogoods=1092, foundSolutions=13, bestBound=14 11.32/8.14 11.71/8.54 num=125, depth=5..85, filters=405395, ccks=4719, wck=6.258, mem=84M727 11.71/8.54 decisions=34652, wrong=14577, backtracks=11774, failedAssignments=6886, nogoods=1100, foundSolutions=13, bestBound=14 11.71/8.54 11.92/8.73 num=126, depth=2..78, filters=416428, ccks=4719, wck=6.441, mem=87M369 11.92/8.73 decisions=36614, wrong=15532, backtracks=12663, failedAssignments=7433, nogoods=1121, foundSolutions=13, bestBound=14 11.92/8.73 12.12/8.90 num=127, depth=1..74, filters=429327, ccks=4719, wck=6.618, mem=87M369 12.12/8.90 decisions=38786, wrong=16605, backtracks=13617, failedAssignments=8035, nogoods=1136, foundSolutions=13, bestBound=14 12.12/8.90 12.12/8.94 o 13 12.12/8.95 num=128, depth=1..1400, filters=432196, ccks=5082, wck=6.661, mem=87M369 12.12/8.95 decisions=39120, wrong=16748, backtracks=13728, failedAssignments=8114, nogoods=1157, foundSolutions=14, bestBound=13 12.12/8.95 12.23/9.02 o 12 12.23/9.02 num=129, depth=1..1400, filters=437210, ccks=5445, wck=6.732, mem=90M12 12.23/9.02 decisions=39695, wrong=17009, backtracks=13950, failedAssignments=8233, nogoods=1181, foundSolutions=15, bestBound=12 12.23/9.02 12.23/9.03 num=130, depth=1..11, filters=437912, ccks=5445, wck=6.747, mem=90M12 12.23/9.03 decisions=39746, wrong=17032, backtracks=13964, failedAssignments=8244, nogoods=1184, foundSolutions=15, bestBound=12 12.23/9.03 12.23/9.05 num=131, depth=2..15, filters=438948, ccks=5445, wck=6.762, mem=90M12 12.23/9.05 decisions=39802, wrong=17059, backtracks=13980, failedAssignments=8255, nogoods=1189, foundSolutions=15, bestBound=12 12.23/9.05 12.23/9.06 num=132, depth=1..82, filters=439621, ccks=5445, wck=6.775, mem=90M12 12.23/9.06 decisions=39925, wrong=17083, backtracks=13994, failedAssignments=8267, nogoods=1198, foundSolutions=15, bestBound=12 12.23/9.06 12.23/9.08 num=133, depth=1..68, filters=440633, ccks=5445, wck=6.791, mem=90M12 12.23/9.08 decisions=40031, wrong=17105, backtracks=14005, failedAssignments=8280, nogoods=1205, foundSolutions=15, bestBound=12 12.23/9.08 12.23/9.10 num=134, depth=1..19, filters=441738, ccks=5445, wck=6.811, mem=90M12 12.23/9.10 decisions=40089, wrong=17132, backtracks=14021, failedAssignments=8294, nogoods=1211, foundSolutions=15, bestBound=12 12.23/9.10 12.34/9.11 num=135, depth=58..82, filters=442688, ccks=5445, wck=6.828, mem=90M12 12.34/9.11 decisions=40213, wrong=17165, backtracks=14045, failedAssignments=8310, nogoods=1212, foundSolutions=15, bestBound=12 12.34/9.11 12.34/9.13 num=136, depth=1..33, filters=444251, ccks=5445, wck=6.85, mem=90M12 12.34/9.13 decisions=40310, wrong=17199, backtracks=14071, failedAssignments=8327, nogoods=1217, foundSolutions=15, bestBound=12 12.34/9.13 12.34/9.15 num=137, depth=1..60, filters=445011, ccks=5445, wck=6.863, mem=90M12 12.34/9.15 decisions=40414, wrong=17228, backtracks=14084, failedAssignments=8346, nogoods=1233, foundSolutions=15, bestBound=12 12.34/9.15 12.34/9.17 num=138, depth=1..49, filters=446047, ccks=5445, wck=6.884, mem=90M12 12.34/9.17 decisions=40517, wrong=17261, backtracks=14103, failedAssignments=8367, nogoods=1243, foundSolutions=15, bestBound=12 12.34/9.17 12.34/9.18 num=139, depth=1..66, filters=446949, ccks=5445, wck=6.899, mem=90M12 12.34/9.18 decisions=40637, wrong=17294, backtracks=14123, failedAssignments=8390, nogoods=1256, foundSolutions=15, bestBound=12 12.34/9.18 12.43/9.20 num=140, depth=1..43, filters=448283, ccks=5445, wck=6.918, mem=90M12 12.43/9.20 decisions=40745, wrong=17339, backtracks=14151, failedAssignments=8415, nogoods=1268, foundSolutions=15, bestBound=12 12.43/9.20 12.43/9.22 num=141, depth=1..74, filters=449432, ccks=5445, wck=6.938, mem=90M12 12.43/9.22 decisions=40878, wrong=17385, backtracks=14181, failedAssignments=8443, nogoods=1276, foundSolutions=15, bestBound=12 12.43/9.22 12.43/9.24 num=142, depth=1..49, filters=450505, ccks=5445, wck=6.953, mem=90M12 12.43/9.24 decisions=41001, wrong=17431, backtracks=14205, failedAssignments=8474, nogoods=1294, foundSolutions=15, bestBound=12 12.43/9.24 12.43/9.26 num=143, depth=1..30, filters=451919, ccks=5445, wck=6.972, mem=90M12 12.43/9.26 decisions=41108, wrong=17479, backtracks=14235, failedAssignments=8508, nogoods=1307, foundSolutions=15, bestBound=12 12.43/9.26 12.43/9.29 num=144, depth=1..53, filters=454012, ccks=5445, wck=7.002, mem=90M12 12.43/9.29 decisions=41272, wrong=17545, backtracks=14282, failedAssignments=8545, nogoods=1321, foundSolutions=15, bestBound=12 12.43/9.29 12.53/9.32 num=145, depth=1..44, filters=456141, ccks=5445, wck=7.034, mem=90M12 12.53/9.32 decisions=41433, wrong=17612, backtracks=14329, failedAssignments=8586, nogoods=1335, foundSolutions=15, bestBound=12 12.53/9.32 12.53/9.36 num=146, depth=1..46, filters=459661, ccks=5445, wck=7.076, mem=90M12 12.53/9.36 decisions=41695, wrong=17727, backtracks=14425, failedAssignments=8631, nogoods=1341, foundSolutions=15, bestBound=12 12.53/9.36 12.53/9.39 num=147, depth=1..62, filters=461687, ccks=5445, wck=7.105, mem=90M12 12.53/9.39 decisions=41908, wrong=17812, backtracks=14490, failedAssignments=8681, nogoods=1356, foundSolutions=15, bestBound=12 12.53/9.39 12.63/9.43 num=148, depth=2..69, filters=464435, ccks=5445, wck=7.141, mem=90M12 12.63/9.43 decisions=42174, wrong=17920, backtracks=14573, failedAssignments=8736, nogoods=1370, foundSolutions=15, bestBound=12 12.63/9.43 12.63/9.46 num=149, depth=1..61, filters=466914, ccks=5445, wck=7.176, mem=92M654 12.63/9.46 decisions=42477, wrong=18051, backtracks=14682, failedAssignments=8797, nogoods=1385, foundSolutions=15, bestBound=12 12.63/9.46 12.73/9.50 num=150, depth=1..54, filters=469907, ccks=5445, wck=7.215, mem=92M654 12.73/9.50 decisions=42779, wrong=18185, backtracks=14782, failedAssignments=8864, nogoods=1400, foundSolutions=15, bestBound=12 12.73/9.50 12.73/9.55 num=151, depth=1..64, filters=473636, ccks=5445, wck=7.261, mem=92M654 12.73/9.55 decisions=43143, wrong=18346, backtracks=14914, failedAssignments=8938, nogoods=1416, foundSolutions=15, bestBound=12 12.73/9.55 12.73/9.60 num=152, depth=1..59, filters=477486, ccks=5445, wck=7.311, mem=92M654 12.73/9.60 decisions=43481, wrong=18495, backtracks=15038, failedAssignments=9019, nogoods=1429, foundSolutions=15, bestBound=12 12.73/9.60 12.83/9.68 num=153, depth=1..71, filters=484737, ccks=5445, wck=7.397, mem=92M654 12.83/9.68 decisions=44110, wrong=18782, backtracks=15291, failedAssignments=9108, nogoods=1443, foundSolutions=15, bestBound=12 12.83/9.68 12.93/9.77 num=154, depth=1..78, filters=491795, ccks=5445, wck=7.484, mem=92M654 12.93/9.77 decisions=44929, wrong=19178, backtracks=15649, failedAssignments=9206, nogoods=1460, foundSolutions=15, bestBound=12 12.93/9.77 13.03/9.81 num=155, depth=1..85, filters=495029, ccks=5445, wck=7.525, mem=92M654 13.03/9.81 decisions=45367, wrong=19371, backtracks=15814, failedAssignments=9314, nogoods=1478, foundSolutions=15, bestBound=12 13.03/9.81 13.03/9.84 num=156, depth=1..94, filters=497453, ccks=5445, wck=7.56, mem=92M654 13.03/9.84 decisions=45756, wrong=19538, backtracks=15942, failedAssignments=9433, nogoods=1514, foundSolutions=15, bestBound=12 13.03/9.84 13.13/9.98 num=157, depth=1..101, filters=507222, ccks=5445, wck=7.693, mem=92M654 13.13/9.98 decisions=46882, wrong=20067, backtracks=16420, failedAssignments=9564, nogoods=1531, foundSolutions=15, bestBound=12 13.13/9.98 13.24/10.03 num=158, depth=1..99, filters=510936, ccks=5445, wck=7.747, mem=95M297 13.24/10.03 decisions=47525, wrong=20355, backtracks=16667, failedAssignments=9708, nogoods=1560, foundSolutions=15, bestBound=12 13.24/10.03 13.24/10.08 num=159, depth=1..68, filters=514250, ccks=5445, wck=7.798, mem=95M297 13.24/10.08 decisions=48060, wrong=20600, backtracks=16872, failedAssignments=9866, nogoods=1583, foundSolutions=15, bestBound=12 13.24/10.08 13.43/10.24 num=160, depth=1..83, filters=526902, ccks=5445, wck=7.958, mem=95M297 13.43/10.24 decisions=49578, wrong=21344, backtracks=17568, failedAssignments=10040, nogoods=1599, foundSolutions=15, bestBound=12 13.43/10.24 13.63/10.41 num=161, depth=1..96, filters=540440, ccks=5445, wck=8.13, mem=95M297 13.63/10.41 decisions=51279, wrong=22174, backtracks=18349, failedAssignments=10231, nogoods=1616, foundSolutions=15, bestBound=12 13.63/10.41 13.74/10.56 num=162, depth=1..81, filters=551801, ccks=5445, wck=8.274, mem=97M939 13.74/10.56 decisions=52617, wrong=22820, backtracks=18937, failedAssignments=10442, nogoods=1641, foundSolutions=15, bestBound=12 13.74/10.56 13.84/10.69 num=163, depth=3..108, filters=562542, ccks=5445, wck=8.403, mem=97M939 13.84/10.69 decisions=54108, wrong=23542, backtracks=19597, failedAssignments=10674, nogoods=1658, foundSolutions=15, bestBound=12 13.84/10.69 13.94/10.74 num=164, depth=1..176, filters=566234, ccks=5445, wck=8.46, mem=97M939 13.94/10.74 decisions=55062, wrong=23944, backtracks=19960, failedAssignments=10929, nogoods=1685, foundSolutions=15, bestBound=12 13.94/10.74 14.04/10.81 num=165, depth=3..172, filters=570309, ccks=5445, wck=8.523, mem=97M939 14.04/10.81 decisions=56248, wrong=24462, backtracks=20450, failedAssignments=11210, nogoods=1696, foundSolutions=15, bestBound=12 14.04/10.81 14.14/10.96 num=166, depth=3..231, filters=580636, ccks=5445, wck=8.678, mem=100M582 14.14/10.96 decisions=57692, wrong=25093, backtracks=21004, failedAssignments=11519, nogoods=1726, foundSolutions=15, bestBound=12 14.14/10.96 14.25/11.02 num=167, depth=4..100, filters=583716, ccks=5445, wck=8.737, mem=100M582 14.25/11.02 decisions=58686, wrong=25553, backtracks=21444, failedAssignments=11859, nogoods=1734, foundSolutions=15, bestBound=12 14.25/11.02 14.25/11.10 num=168, depth=14..132, filters=588193, ccks=5445, wck=8.82, mem=103M224 14.25/11.10 decisions=59907, wrong=26108, backtracks=21978, failedAssignments=12233, nogoods=1741, foundSolutions=15, bestBound=12 14.25/11.10 14.81/11.53 num=169, depth=17..264, filters=619171, ccks=5445, wck=9.242, mem=105M867 14.81/11.53 decisions=62968, wrong=27516, backtracks=23294, failedAssignments=12644, nogoods=1749, foundSolutions=15, bestBound=12 14.81/11.53 15.11/11.83 num=170, depth=90..156, filters=640717, ccks=5445, wck=9.547, mem=108M509 15.11/11.83 decisions=65619, wrong=28783, backtracks=24485, failedAssignments=13096, nogoods=1754, foundSolutions=15, bestBound=12 15.11/11.83 15.34/12.07 num=171, depth=1..150, filters=657448, ccks=5445, wck=9.782, mem=111M151 15.34/12.07 decisions=68052, wrong=29935, backtracks=25574, failedAssignments=13593, nogoods=1760, foundSolutions=15, bestBound=12 15.34/12.07 15.83/12.50 num=172, depth=9..228, filters=691729, ccks=5445, wck=10.218, mem=113M794 15.83/12.50 decisions=71292, wrong=31463, backtracks=26904, failedAssignments=14140, nogoods=1767, foundSolutions=15, bestBound=12 15.83/12.50 16.03/12.78 num=173, depth=48..192, filters=708183, ccks=5445, wck=10.494, mem=116M436 16.03/12.78 decisions=73969, wrong=32714, backtracks=28074, failedAssignments=14742, nogoods=1774, foundSolutions=15, bestBound=12 16.03/12.78 16.44/13.19 num=174, depth=172..209, filters=732190, ccks=5445, wck=10.903, mem=119M79 16.44/13.19 decisions=77462, wrong=34371, backtracks=29615, failedAssignments=15404, nogoods=1776, foundSolutions=15, bestBound=12 16.44/13.19 16.66/13.30 num=175, depth=184..220, filters=737693, ccks=5445, wck=11.02, mem=121M721 16.66/13.30 decisions=79504, wrong=35296, backtracks=30489, failedAssignments=16132, nogoods=1784, foundSolutions=15, bestBound=12 16.66/13.30 16.82/13.46 num=176, depth=223..250, filters=746922, ccks=5445, wck=11.179, mem=124M364 16.82/13.46 decisions=82170, wrong=36512, backtracks=31682, failedAssignments=16933, nogoods=1789, foundSolutions=15, bestBound=12 16.82/13.46 17.32/13.94 num=177, depth=191..272, filters=776723, ccks=5445, wck=11.657, mem=129M648 17.32/13.94 decisions=85770, wrong=38191, backtracks=33193, failedAssignments=17814, nogoods=1798, foundSolutions=15, bestBound=12 17.32/13.94 17.82/14.43 num=178, depth=192..233, filters=809611, ccks=5445, wck=12.148, mem=132M291 17.82/14.43 decisions=89874, wrong=40144, backtracks=35006, failedAssignments=18784, nogoods=1802, foundSolutions=15, bestBound=12 17.82/14.43 18.13/14.75 num=179, depth=242..274, filters=830972, ccks=5445, wck=12.467, mem=140M218 18.13/14.75 decisions=94031, wrong=42094, backtracks=36923, failedAssignments=19851, nogoods=1812, foundSolutions=15, bestBound=12 18.13/14.75 18.43/15.05 num=180, depth=237..272, filters=847786, ccks=5445, wck=12.762, mem=26M793 18.43/15.05 decisions=98232, wrong=44069, backtracks=38891, failedAssignments=21024, nogoods=1817, foundSolutions=15, bestBound=12 18.43/15.05 19.17/15.78 num=181, depth=225..278, filters=893927, ccks=5445, wck=13.5, mem=34M561 19.17/15.78 decisions=104469, wrong=47067, backtracks=41801, failedAssignments=22315, nogoods=1820, foundSolutions=15, bestBound=12 19.17/15.78 19.37/15.93 num=182, depth=244..263, filters=899332, ccks=5445, wck=13.649, mem=37M151 19.37/15.93 decisions=108874, wrong=49144, backtracks=43871, failedAssignments=23735, nogoods=1828, foundSolutions=15, bestBound=12 19.37/15.93 19.66/16.21 num=183, depth=237..268, filters=913554, ccks=5445, wck=13.928, mem=44M920 19.66/16.21 decisions=113861, wrong=51512, backtracks=46211, failedAssignments=25297, nogoods=1837, foundSolutions=15, bestBound=12 19.66/16.21 19.97/16.50 num=184, depth=233..295, filters=928961, ccks=5445, wck=14.212, mem=50M99 19.97/16.50 decisions=118608, wrong=53761, backtracks=48416, failedAssignments=27015, nogoods=1846, foundSolutions=15, bestBound=12 19.97/16.50 20.17/16.75 num=185, depth=238..291, filters=942536, ccks=5445, wck=14.461, mem=55M278 20.17/16.75 decisions=123462, wrong=56064, backtracks=50696, failedAssignments=28905, nogoods=1851, foundSolutions=15, bestBound=12 20.17/16.75 20.37/16.94 num=186, depth=245..259, filters=948866, ccks=5445, wck=14.656, mem=64M368 20.37/16.94 decisions=129423, wrong=58920, backtracks=53547, failedAssignments=30984, nogoods=1861, foundSolutions=15, bestBound=12 20.37/16.94 20.77/17.38 num=187, depth=229..279, filters=971604, ccks=5445, wck=15.095, mem=72M136 20.77/17.38 decisions=136498, wrong=62333, backtracks=56925, failedAssignments=33271, nogoods=1871, foundSolutions=15, bestBound=12 20.77/17.38 21.07/17.67 num=188, depth=239..300, filters=986222, ccks=5445, wck=15.387, mem=79M905 21.07/17.67 decisions=142926, wrong=65423, backtracks=60001, failedAssignments=35787, nogoods=1877, foundSolutions=15, bestBound=12 21.07/17.67 21.37/17.97 num=189, depth=239..294, filters=998874, ccks=5445, wck=15.681, mem=90M263 21.37/17.97 decisions=149791, wrong=68731, backtracks=63285, failedAssignments=38555, nogoods=1883, foundSolutions=15, bestBound=12 21.37/17.97 21.77/18.31 num=190, depth=238..307, filters=1016831, ccks=5445, wck=16.027, mem=100M621 21.77/18.31 decisions=157404, wrong=72413, backtracks=66935, failedAssignments=41599, nogoods=1894, foundSolutions=15, bestBound=12 21.77/18.31 22.07/18.61 num=191, depth=245..260, filters=1026872, ccks=5445, wck=16.329, mem=110M979 22.07/18.61 decisions=166741, wrong=76957, backtracks=71474, failedAssignments=44948, nogoods=1905, foundSolutions=15, bestBound=12 22.07/18.61 22.78/19.37 num=192, depth=232..275, filters=1067873, ccks=5445, wck=17.081, mem=126M516 22.78/19.37 decisions=178556, wrong=82740, backtracks=77158, failedAssignments=48632, nogoods=1922, foundSolutions=15, bestBound=12 22.78/19.37 23.28/19.83 num=193, depth=238..296, filters=1092319, ccks=5445, wck=17.543, mem=139M464 23.28/19.83 decisions=188635, wrong=87655, backtracks=82045, failedAssignments=52684, nogoods=1933, foundSolutions=15, bestBound=12 23.28/19.83 23.88/20.47 num=194, depth=233..291, filters=1124804, ccks=5445, wck=18.189, mem=156M324 23.88/20.47 decisions=201012, wrong=93719, backtracks=88044, failedAssignments=57141, nogoods=1943, foundSolutions=15, bestBound=12 23.88/20.47 24.51/21.04 num=195, depth=241..272, filters=1143063, ccks=5445, wck=18.753, mem=39M968 24.51/21.04 decisions=216821, wrong=101499, backtracks=95816, failedAssignments=62044, nogoods=1953, foundSolutions=15, bestBound=12 24.51/21.04 25.00/21.56 num=196, depth=244..259, filters=1160701, ccks=5445, wck=19.276, mem=55M561 25.00/21.56 decisions=232871, wrong=109400, backtracks=103714, failedAssignments=67438, nogoods=1963, foundSolutions=15, bestBound=12 25.00/21.56 26.10/22.67 num=197, depth=231..278, filters=1220997, ccks=5445, wck=20.387, mem=78M950 26.10/22.67 decisions=251317, wrong=118499, backtracks=112696, failedAssignments=73371, nogoods=1968, foundSolutions=15, bestBound=12 26.10/22.67 26.80/23.30 num=198, depth=240..288, filters=1251042, ccks=5445, wck=21.015, mem=102M339 26.80/23.30 decisions=266960, wrong=126196, backtracks=120386, failedAssignments=79897, nogoods=1981, foundSolutions=15, bestBound=12 26.80/23.30 28.21/24.76 num=199, depth=221..287, filters=1328746, ccks=5445, wck=22.475, mem=130M926 28.21/24.76 decisions=288305, wrong=136744, backtracks=130776, failedAssignments=87076, nogoods=1989, foundSolutions=15, bestBound=12 28.21/24.76 29.11/25.60 num=200, depth=243..266, filters=1357342, ccks=5445, wck=23.319, mem=154M315 29.11/25.60 decisions=313176, wrong=149055, backtracks=143080, failedAssignments=94973, nogoods=1999, foundSolutions=15, bestBound=12 29.11/25.60 30.15/26.65 num=201, depth=238..282, filters=1409327, ccks=5445, wck=24.367, mem=52M757 30.15/26.65 decisions=335058, wrong=159873, backtracks=153893, failedAssignments=103660, nogoods=2012, foundSolutions=15, bestBound=12 30.15/26.65 31.85/28.34 num=202, depth=231..282, filters=1496256, ccks=5445, wck=26.06, mem=90M598 31.85/28.34 decisions=363319, wrong=173879, backtracks=167770, failedAssignments=113215, nogoods=2022, foundSolutions=15, bestBound=12 31.85/28.34 32.95/29.43 num=203, depth=243..259, filters=1532344, ccks=5445, wck=27.149, mem=122M133 32.95/29.43 decisions=395768, wrong=189979, backtracks=183861, failedAssignments=123726, nogoods=2031, foundSolutions=15, bestBound=12 32.95/29.43 34.45/30.98 num=204, depth=229..294, filters=1611861, ccks=5445, wck=28.7, mem=163M128 34.45/30.98 decisions=426673, wrong=205307, backtracks=199106, failedAssignments=135288, nogoods=2047, foundSolutions=15, bestBound=12 34.45/30.98 35.99/32.47 num=205, depth=236..280, filters=1667820, ccks=5445, wck=30.186, mem=43M91 35.99/32.47 decisions=467190, wrong=225441, backtracks=219228, failedAssignments=148006, nogoods=2057, foundSolutions=15, bestBound=12 35.99/32.47 37.29/33.76 num=206, depth=239..283, filters=1719845, ccks=5445, wck=31.473, mem=86M533 37.29/33.76 decisions=503639, wrong=243541, backtracks=237274, failedAssignments=161996, nogoods=2093, foundSolutions=15, bestBound=12 37.29/33.76 39.00/35.43 num=207, depth=237..285, filters=1805416, ccks=5445, wck=33.143, mem=142M386 39.00/35.43 decisions=541784, wrong=262489, backtracks=256207, failedAssignments=177385, nogoods=2097, foundSolutions=15, bestBound=12 39.00/35.43 42.83/39.27 num=208, depth=228..274, filters=2016816, ccks=5445, wck=36.984, mem=61M57 42.83/39.27 decisions=599002, wrong=290974, backtracks=284457, failedAssignments=194313, nogoods=2110, foundSolutions=15, bestBound=12 42.83/39.27 44.74/41.19 num=209, depth=236..295, filters=2109750, ccks=5445, wck=38.904, mem=122M17 44.74/41.19 decisions=644481, wrong=313589, backtracks=307030, failedAssignments=212934, nogoods=2128, foundSolutions=15, bestBound=12 44.74/41.19 47.03/43.33 num=210, depth=238..302, filters=2200407, ccks=5445, wck=41.041, mem=33M582 47.03/43.33 decisions=699740, wrong=341094, backtracks=334510, failedAssignments=233418, nogoods=2136, foundSolutions=15, bestBound=12 47.03/43.33 49.43/45.73 num=211, depth=235..289, filters=2322722, ccks=5445, wck=43.448, mem=108M595 49.43/45.73 decisions=755767, wrong=368983, backtracks=362316, failedAssignments=255950, nogoods=2146, foundSolutions=15, bestBound=12 49.43/45.73 52.87/49.11 num=212, depth=233..294, filters=2498628, ccks=5445, wck=46.828, mem=48M250 52.87/49.11 decisions=822946, wrong=402448, backtracks=395650, failedAssignments=280735, nogoods=2165, foundSolutions=15, bestBound=12 52.87/49.11 55.56/51.81 num=213, depth=237..298, filters=2631437, ccks=5445, wck=49.522, mem=136M789 55.56/51.81 decisions=888972, wrong=435337, backtracks=428500, failedAssignments=307999, nogoods=2178, foundSolutions=15, bestBound=12 55.56/51.81 58.88/55.11 num=214, depth=233..290, filters=2803064, ccks=5445, wck=52.822, mem=88M493 58.88/55.11 decisions=964683, wrong=473068, backtracks=466067, failedAssignments=337989, nogoods=2187, foundSolutions=15, bestBound=12 58.88/55.11 62.58/58.87 num=215, depth=235..288, filters=2993157, ccks=5445, wck=56.59, mem=56M20 62.58/58.87 decisions=1047468, wrong=514336, backtracks=507185, failedAssignments=370978, nogoods=2199, foundSolutions=15, bestBound=12 62.58/58.87 65.83/62.10 num=216, depth=237..306, filters=3149466, ccks=5445, wck=59.819, mem=164M313 65.83/62.10 decisions=1131941, wrong=556448, backtracks=549236, failedAssignments=407266, nogoods=2228, foundSolutions=15, bestBound=12 65.83/62.10 70.13/66.38 num=217, depth=235..291, filters=3347693, ccks=5445, wck=64.099, mem=150M640 70.13/66.38 decisions=1241174, wrong=610940, backtracks=603568, failedAssignments=447183, nogoods=2239, foundSolutions=15, bestBound=12 70.13/66.38 74.85/71.06 num=218, depth=236..289, filters=3554409, ccks=5445, wck=68.774, mem=148M370 74.85/71.06 decisions=1365226, wrong=672843, backtracks=665428, failedAssignments=491092, nogoods=2250, foundSolutions=15, bestBound=12 74.85/71.06 80.06/76.22 num=219, depth=238..299, filters=3751884, ccks=5445, wck=73.936, mem=151M860 80.06/76.22 decisions=1518789, wrong=749500, backtracks=742040, failedAssignments=539392, nogoods=2278, foundSolutions=15, bestBound=12 80.06/76.22 85.69/81.81 num=220, depth=233..296, filters=4040041, ccks=5445, wck=79.524, mem=61M515 85.69/81.81 decisions=1651860, wrong=815911, backtracks=808149, failedAssignments=592522, nogoods=2285, foundSolutions=15, bestBound=12 85.69/81.81 92.80/88.93 num=221, depth=234..293, filters=4414709, ccks=5445, wck=86.642, mem=130M523 92.80/88.93 decisions=1796065, wrong=887889, backtracks=880020, failedAssignments=650965, nogoods=2300, foundSolutions=15, bestBound=12 92.80/88.93 100.94/97.01 num=222, depth=228..292, filters=4835273, ccks=5445, wck=94.727, mem=97M89 100.94/97.01 decisions=1977332, wrong=978399, backtracks=970062, failedAssignments=715252, nogoods=2312, foundSolutions=15, bestBound=12 100.94/97.01 107.24/103.33 num=223, depth=236..296, filters=5154600, ccks=5445, wck=101.048, mem=73M10 107.24/103.33 decisions=2144089, wrong=1061653, backtracks=1053253, failedAssignments=785968, nogoods=2324, foundSolutions=15, bestBound=12 107.24/103.33 115.46/111.51 num=224, depth=240..287, filters=5448043, ccks=5445, wck=109.229, mem=62M213 115.46/111.51 decisions=2400992, wrong=1189981, backtracks=1181576, failedAssignments=863755, nogoods=2332, foundSolutions=15, bestBound=12 115.46/111.51 123.99/120.06 num=225, depth=232..298, filters=5917342, ccks=5445, wck=117.775, mem=106M813 123.99/120.06 decisions=2611011, wrong=1294866, backtracks=1286031, failedAssignments=949321, nogoods=2351, foundSolutions=15, bestBound=12 123.99/120.06 136.12/132.15 num=226, depth=239..296, filters=6339635, ccks=5445, wck=129.867, mem=42M347 136.12/132.15 decisions=2976732, wrong=1477602, backtracks=1468758, failedAssignments=1043444, nogoods=2360, foundSolutions=15, bestBound=12 136.12/132.15 148.63/144.65 num=227, depth=228..294, filters=7021776, ccks=5445, wck=142.369, mem=81M312 148.63/144.65 decisions=3252741, wrong=1615482, backtracks=1605629, failedAssignments=1146979, nogoods=2379, foundSolutions=15, bestBound=12 148.63/144.65 158.75/154.75 num=228, depth=236..301, filters=7504512, ccks=5445, wck=152.462, mem=123M125 158.75/154.75 decisions=3532558, wrong=1755266, backtracks=1745300, failedAssignments=1260868, nogoods=2392, foundSolutions=15, bestBound=12 158.75/154.75 174.79/170.72 num=229, depth=229..287, filters=8148677, ccks=5445, wck=168.435, mem=119M64 174.79/170.72 decisions=3974803, wrong=1976264, backtracks=1965979, failedAssignments=1386146, nogoods=2405, foundSolutions=15, bestBound=12 174.79/170.72 188.13/184.01 num=230, depth=234..293, filters=8829873, ccks=5445, wck=181.725, mem=95M851 188.13/184.01 decisions=4307522, wrong=2142499, backtracks=2131953, failedAssignments=1523952, nogoods=2415, foundSolutions=15, bestBound=12 188.13/184.01 203.66/199.51 num=231, depth=233..308, filters=9644568, ccks=5445, wck=197.228, mem=58M884 203.66/199.51 decisions=4673673, wrong=2325450, backtracks=2314686, failedAssignments=1675538, nogoods=2437, foundSolutions=15, bestBound=12 203.66/199.51 222.71/218.59 num=232, depth=230..290, filters=10649373, ccks=5445, wck=216.307, mem=72M48 222.71/218.59 decisions=5102574, wrong=2539776, backtracks=2528537, failedAssignments=1842283, nogoods=2452, foundSolutions=15, bestBound=12 222.71/218.59 239.37/235.16 num=233, depth=235..306, filters=11492005, ccks=5445, wck=232.88, mem=99M642 239.37/235.16 decisions=5531724, wrong=2754227, backtracks=2742829, failedAssignments=2025702, nogoods=2463, foundSolutions=15, bestBound=12 239.37/235.16 260.62/256.30 num=234, depth=230..308, filters=12634892, ccks=5445, wck=254.016, mem=45M980 260.62/256.30 decisions=6030711, wrong=3003596, backtracks=2991147, failedAssignments=2227463, nogoods=2494, foundSolutions=15, bestBound=12 260.62/256.30 290.88/286.58 num=235, depth=235..277, filters=13689057, ccks=5445, wck=284.293, mem=43M193 290.88/286.58 decisions=6932000, wrong=3454116, backtracks=3441631, failedAssignments=2449401, nogoods=2504, foundSolutions=15, bestBound=12 290.88/286.58 310.85/306.44 num=236, depth=236..314, filters=14662631, ccks=5445, wck=304.152, mem=81M210 310.85/306.44 decisions=7491773, wrong=3733878, backtracks=3721303, failedAssignments=2693532, nogoods=2519, foundSolutions=15, bestBound=12 310.85/306.44 336.96/332.44 num=237, depth=229..301, filters=16029149, ccks=5445, wck=330.152, mem=62M29 336.96/332.44 decisions=8140836, wrong=4058285, backtracks=4044967, failedAssignments=2962077, nogoods=2541, foundSolutions=15, bestBound=12 336.96/332.44 362.06/357.46 num=238, depth=235..305, filters=17289339, ccks=5445, wck=355.176, mem=27M509 362.06/357.46 decisions=8821371, wrong=4398428, backtracks=4385007, failedAssignments=3257476, nogoods=2546, foundSolutions=15, bestBound=12 362.06/357.46 394.16/389.48 num=239, depth=231..299, filters=18932627, ccks=5445, wck=387.197, mem=56M686 394.16/389.48 decisions=9613028, wrong=4794132, backtracks=4779703, failedAssignments=3582415, nogoods=2562, foundSolutions=15, bestBound=12 394.16/389.48 424.88/420.02 num=240, depth=235..303, filters=20456527, ccks=5445, wck=417.733, mem=52M407 424.88/420.02 decisions=10439697, wrong=5207342, backtracks=5192693, failedAssignments=3939848, nogoods=2581, foundSolutions=15, bestBound=12 424.88/420.02 468.09/463.13 num=241, depth=229..301, filters=22679201, ccks=5445, wck=460.847, mem=30M848 468.09/463.13 decisions=11431454, wrong=5703097, backtracks=5687218, failedAssignments=4333024, nogoods=2589, foundSolutions=15, bestBound=12 468.09/463.13 511.00/505.99 num=242, depth=229..297, filters=24893547, ccks=5445, wck=503.705, mem=40M592 511.00/505.99 decisions=12506561, wrong=6240526, backtracks=6223531, failedAssignments=4765518, nogoods=2601, foundSolutions=15, bestBound=12 511.00/505.99 573.24/568.03 num=243, depth=238..260, filters=27019360, ccks=5445, wck=565.747, mem=49M265 573.24/568.03 decisions=14388270, wrong=7181256, backtracks=7164254, failedAssignments=5241262, nogoods=2610, foundSolutions=15, bestBound=12 573.24/568.03 625.96/620.68 num=244, depth=230..303, filters=29676774, ccks=5445, wck=618.393, mem=26M617 625.96/620.68 decisions=15663515, wrong=7818754, backtracks=7800507, failedAssignments=5764580, nogoods=2633, foundSolutions=15, bestBound=12 625.96/620.68 681.10/675.60 num=245, depth=229..302, filters=32465523, ccks=5445, wck=673.318, mem=40M699 681.10/675.60 decisions=17070844, wrong=8522294, backtracks=8502293, failedAssignments=6340230, nogoods=2648, foundSolutions=15, bestBound=12 681.10/675.60 741.76/736.13 num=246, depth=230..307, filters=35496932, ccks=5445, wck=733.846, mem=36M420 741.76/736.13 decisions=18583635, wrong=9278565, backtracks=9257611, failedAssignments=6973445, nogoods=2664, foundSolutions=15, bestBound=12 741.76/736.13 807.50/801.79 num=247, depth=228..301, filters=38816591, ccks=5445, wck=799.502, mem=78M574 807.50/801.79 decisions=20279376, wrong=10126313, backtracks=10103512, failedAssignments=7669981, nogoods=2674, foundSolutions=15, bestBound=12 807.50/801.79 884.17/878.26 num=248, depth=229..301, filters=42694526, ccks=5445, wck=875.978, mem=32M157 884.17/878.26 decisions=22138399, wrong=11055700, backtracks=11031513, failedAssignments=8436171, nogoods=2686, foundSolutions=15, bestBound=12 884.17/878.26 957.04/950.97 num=249, depth=226..315, filters=46626998, ccks=5445, wck=948.684, mem=75M391 957.04/950.97 decisions=24072828, wrong=12022790, backtracks=11995952, failedAssignments=9278980, nogoods=2697, foundSolutions=15, bestBound=12 957.04/950.97 1088.34/1082.08 num=250, depth=224..307, filters=53295254, ccks=5445, wck=1079.791, mem=38M703 1088.34/1082.08 decisions=27048871, wrong=13510687, backtracks=13481458, failedAssignments=10206070, nogoods=2720, foundSolutions=15, bestBound=12 1088.34/1082.08 1225.31/1218.89 num=251, depth=236..261, filters=57892666, ccks=5445, wck=1216.605, mem=60M344 1225.31/1218.89 decisions=31125696, wrong=15548975, backtracks=15519738, failedAssignments=11225869, nogoods=2731, foundSolutions=15, bestBound=12 1225.31/1218.89 1322.30/1315.68 num=252, depth=227..317, filters=63143795, ccks=5445, wck=1313.397, mem=72M258 1322.30/1315.68 decisions=33684609, wrong=16828307, backtracks=16796250, failedAssignments=12347648, nogoods=2755, foundSolutions=15, bestBound=12 1322.30/1315.68 1424.60/1417.73 num=253, depth=229..310, filters=68539229, ccks=5445, wck=1415.443, mem=60M426 1424.60/1417.73 decisions=36497051, wrong=18234404, backtracks=18200177, failedAssignments=13581605, nogoods=2765, foundSolutions=15, bestBound=12 1424.60/1417.73 1563.73/1556.66 num=254, depth=234..297, filters=74297843, ccks=5445, wck=1554.371, mem=39M938 1563.73/1556.66 decisions=40543550, wrong=20257529, backtracks=20222713, failedAssignments=14938958, nogoods=2797, foundSolutions=15, bestBound=12 1563.73/1556.66 1701.88/1694.51 num=255, depth=227..305, filters=81725654, ccks=5445, wck=1692.225, mem=30M275 1701.88/1694.51 decisions=44090653, wrong=22030956, backtracks=21991471, failedAssignments=16432046, nogoods=2808, foundSolutions=15, bestBound=12 1701.88/1694.51 1853.92/1846.37 num=256, depth=228..318, filters=88842802, ccks=5445, wck=1844.085, mem=74M589 1853.92/1846.37 decisions=47961198, wrong=23966104, backtracks=23924043, failedAssignments=18074443, nogoods=2833, foundSolutions=15, bestBound=12 1853.92/1846.37 1996.78/1988.91 num=257, depth=230..311, filters=95348194, ccks=5445, wck=1986.63, mem=73M542 1996.78/1988.91 decisions=52207495, wrong=26089128, backtracks=26045722, failedAssignments=19881080, nogoods=2849, foundSolutions=15, bestBound=12 1996.78/1988.91 2270.08/2261.99 num=258, depth=237..260, filters=104546180, ccks=5445, wck=2259.702, mem=78M975 2270.08/2261.99 decisions=60358215, wrong=30164364, backtracks=30120953, failedAssignments=21868381, nogoods=2859, foundSolutions=15, bestBound=12 2270.08/2261.99 2400.02/2391.60 2400.02/2391.60 v <instantiation id='sol15' type='solution' cost='12'> <list> z x[][] </list> <values> 12 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation> 2400.02/2391.60 s SATISFIABLE
OK 12
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 (15297 MiB free) memory of node 1: 16384 MiB (15523 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391211-1568388932/watcher-4391211-1568388932 -o /tmp/evaluation-result-4391211-1568388932/solver-4391211-1568388932 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27767 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391211-1568388932.xml -cm running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=27801, runsolver pid=27794 [startup+0.100063 s]* /proc/loadavg: 1.12 1.66 1.85 6/229 27825 /proc/meminfo: memFree=31530696/32770624 swapFree=66918668/67108860 [pid=27801] ppid=27794 vsize=10659884 memory=27628 CPUtime=0.13 cores=1,3,5,7 /proc/27801/stat : 27801 (java) S 27794 27801 26121 0 -1 1077944320 5388 0 0 0 12 1 0 0 20 0 15 0 414831146 10915721216 6907 33554432000 4194304 4196468 140730514536272 140730514518816 140632804888311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 /proc/27801/statm: 2664971 6907 2843 1 0 2627468 0 [pid=27801/tid=27803] ppid=27794 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7 /proc/27801/task/27803/stat : 27803 (java) R 27794 27801 26121 0 -1 4202560 3280 0 0 0 9 0 0 0 20 0 15 0 414831147 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632809110912 140632797125438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27804] ppid=27794 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27804/stat : 27804 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632741579792 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27805] ppid=27794 vsize=10659884 memory=140124681967232 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27805/stat : 27805 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632740527248 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27806] ppid=27794 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27806/stat : 27806 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632739474192 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27807] ppid=27794 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27807/stat : 27807 (java) S 27794 27801 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632738421648 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27811] ppid=27794 vsize=10659884 memory=140124681967232 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27811/stat : 27811 (java) S 27794 27801 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414831149 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632296024304 140632804899458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27812] ppid=27794 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27812/stat : 27812 (java) S 27794 27801 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414831149 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632294970528 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27813] ppid=27794 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27813/stat : 27813 (java) S 27794 27801 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414831149 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632293917424 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27820] ppid=27794 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27820/stat : 27820 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414831152 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632292866000 140632804906907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27821] ppid=27794 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27821/stat : 27821 (java) R 27794 27801 26121 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 414831152 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632291814128 140632804899458 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27822] ppid=27794 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27822/stat : 27822 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831152 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632290761584 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27823] ppid=27794 vsize=10659884 memory=140124681967232 CPUtime=0.02 cores=1,3,5,7 /proc/27801/task/27823/stat : 27823 (java) S 27794 27801 26121 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 15 0 414831152 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632289708528 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27824] ppid=27794 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27824/stat : 27824 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414831152 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632288656224 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27825] ppid=27794 vsize=10659884 memory=140124681967232 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27825/stat : 27825 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831152 10915721216 6907 33554432000 4194304 4196468 140730514536272 140632287603248 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 27628 KiB [startup+0.210403 s]* /proc/loadavg: 1.12 1.66 1.85 3/229 27825 /proc/meminfo: memFree=31517044/32770624 swapFree=66918668/67108860 [pid=27801] ppid=27794 vsize=10659884 memory=35252 CPUtime=0.32 cores=1,3,5,7 /proc/27801/stat : 27801 (java) S 27794 27801 26121 0 -1 1077944320 6930 0 0 0 31 1 0 0 20 0 15 0 414831146 10915721216 8813 33554432000 4194304 4196468 140730514536272 140730514518816 140632804888311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 /proc/27801/statm: 2664971 8813 3011 1 0 2627468 0 [pid=27801/tid=27803] ppid=27794 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/27801/task/27803/stat : 27803 (java) R 27794 27801 26121 0 -1 4202560 3876 0 0 0 20 0 0 0 20 0 15 0 414831147 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632809120352 140632804910237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27804] ppid=27794 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27804/stat : 27804 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632741579792 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27805] ppid=27794 vsize=10659884 memory=288370500833678976 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27805/stat : 27805 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632740527248 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27806] ppid=27794 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27806/stat : 27806 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632739474192 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27807] ppid=27794 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27807/stat : 27807 (java) S 27794 27801 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632738421648 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27811] ppid=27794 vsize=10659884 memory=140124681967232 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27811/stat : 27811 (java) S 27794 27801 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414831149 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632296024304 140632804899458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27812] ppid=27794 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27812/stat : 27812 (java) S 27794 27801 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414831149 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632294970528 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27813] ppid=27794 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27813/stat : 27813 (java) S 27794 27801 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414831149 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632293917424 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27820] ppid=27794 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27820/stat : 27820 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414831152 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632292866000 140632804906907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27821] ppid=27794 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/27801/task/27821/stat : 27821 (java) S 27794 27801 26121 0 -1 1077944384 885 0 0 0 3 0 0 0 20 0 15 0 414831152 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632291814128 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27822] ppid=27794 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/27801/task/27822/stat : 27822 (java) S 27794 27801 26121 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 15 0 414831152 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632290761584 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27823] ppid=27794 vsize=10659884 memory=140124681967232 CPUtime=0.05 cores=1,3,5,7 /proc/27801/task/27823/stat : 27823 (java) S 27794 27801 26121 0 -1 1077944384 677 0 0 0 5 0 0 0 20 0 15 0 414831152 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632289708528 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27824] ppid=27794 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27824/stat : 27824 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414831152 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632288656224 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27825] ppid=27794 vsize=10659884 memory=140124681967232 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27825/stat : 27825 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831152 10915721216 8813 33554432000 4194304 4196468 140730514536272 140632287603248 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 35252 KiB [startup+0.313064 s]* /proc/loadavg: 1.12 1.66 1.85 6/229 27825 /proc/meminfo: memFree=31501832/32770624 swapFree=66918668/67108860 [pid=27801] ppid=27794 vsize=10659884 memory=40408 CPUtime=0.48 cores=1,3,5,7 /proc/27801/stat : 27801 (java) S 27794 27801 26121 0 -1 1077944320 9458 0 0 0 45 3 0 0 20 0 15 0 414831146 10915721216 10102 33554432000 4194304 4196468 140730514536272 140730514518816 140632804888311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 /proc/27801/statm: 2664971 10102 3023 1 0 2627468 0 [pid=27801/tid=27803] ppid=27794 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7 /proc/27801/task/27803/stat : 27803 (java) R 27794 27801 26121 0 -1 4202560 6359 0 0 0 28 2 0 0 20 0 15 0 414831147 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632809101728 140632804910237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27804] ppid=27794 vsize=10659884 memory=2810766 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27804/stat : 27804 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632741579792 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27805] ppid=27794 vsize=10659884 memory=288370500833678976 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27805/stat : 27805 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632740527248 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27806] ppid=27794 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27806/stat : 27806 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632739474192 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27807] ppid=27794 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27807/stat : 27807 (java) S 27794 27801 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414831147 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632738421648 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27811] ppid=27794 vsize=10659884 memory=140124681967232 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27811/stat : 27811 (java) S 27794 27801 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414831149 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632296024304 140632804899458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27812] ppid=27794 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27812/stat : 27812 (java) S 27794 27801 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414831149 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632294970528 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27813] ppid=27794 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27813/stat : 27813 (java) S 27794 27801 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414831149 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632293917424 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27820] ppid=27794 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27820/stat : 27820 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414831152 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632292866000 140632804906907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27821] ppid=27794 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7 /proc/27801/task/27821/stat : 27821 (java) S 27794 27801 26121 0 -1 1077944384 902 0 0 0 5 0 0 0 20 0 15 0 414831152 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632291814128 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27822] ppid=27794 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7 /proc/27801/task/27822/stat : 27822 (java) S 27794 27801 26121 0 -1 1077944384 138 0 0 0 3 0 0 0 20 0 15 0 414831152 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632290761584 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27823] ppid=27794 vsize=10659884 memory=140124681967232 CPUtime=0.07 cores=1,3,5,7 /proc/27801/task/27823/stat : 27823 (java) R 27794 27801 26121 0 -1 4202560 702 0 0 0 7 0 0 0 20 0 15 0 414831152 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632289708528 140632783073327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27824] ppid=27794 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27824/stat : 27824 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414831152 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632288656224 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27825] ppid=27794 vsize=10659884 memory=140124681967232 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27825/stat : 27825 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831152 10915721216 10102 33554432000 4194304 4196468 140730514536272 140632287603248 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40408 KiB [startup+0.700773 s] /proc/loadavg: 1.12 1.66 1.85 3/229 27825 /proc/meminfo: memFree=31485668/32770624 swapFree=66918668/67108860 [pid=27801] ppid=27794 vsize=10661932 memory=62096 CPUtime=1.08 cores=1,3,5,7 /proc/27801/stat : 27801 (java) S 27794 27801 26121 0 -1 1077944320 12616 0 0 0 103 5 0 0 20 0 15 0 414831146 10917818368 15524 33554432000 4194304 4196468 140730514536272 140730514518816 140632804888311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 /proc/27801/statm: 2665483 15524 3075 1 0 2627980 0 [pid=27801/tid=27803] ppid=27794 vsize=10661932 memory=4481 CPUtime=0.68 cores=1,3,5,7 /proc/27801/task/27803/stat : 27803 (java) R 27794 27801 26121 0 -1 4202560 8908 0 0 0 64 4 0 0 20 0 15 0 414831147 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632809120176 140632804910237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27804] ppid=27794 vsize=10661932 memory=4420 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27804/stat : 27804 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632741579792 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27805] ppid=27794 vsize=10661932 memory=4580 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27805/stat : 27805 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632740527248 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27806] ppid=27794 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27806/stat : 27806 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632739474192 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27807] ppid=27794 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27807/stat : 27807 (java) S 27794 27801 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414831147 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632738421648 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27811] ppid=27794 vsize=10661932 memory=259571918602239 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27811/stat : 27811 (java) S 27794 27801 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414831149 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632296024304 140632804899458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27812] ppid=27794 vsize=10661932 memory=3545796572287875304 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27812/stat : 27812 (java) S 27794 27801 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414831149 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632294970528 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27813] ppid=27794 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27813/stat : 27813 (java) S 27794 27801 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414831149 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632293917424 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27820] ppid=27794 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27820/stat : 27820 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414831152 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632292866000 140632804906907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27821] ppid=27794 vsize=10661932 memory=280249166228384 CPUtime=0.12 cores=1,3,5,7 /proc/27801/task/27821/stat : 27821 (java) R 27794 27801 26121 0 -1 4202560 1083 0 0 0 12 0 0 0 20 0 15 0 414831152 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632291814128 140632784581415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27822] ppid=27794 vsize=10661932 memory=19153 CPUtime=0.08 cores=1,3,5,7 /proc/27801/task/27822/stat : 27822 (java) S 27794 27801 26121 0 -1 1077944384 214 0 0 0 8 0 0 0 20 0 15 0 414831152 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632290761584 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27823] ppid=27794 vsize=10661932 memory=280249166201072 CPUtime=0.18 cores=1,3,5,7 /proc/27801/task/27823/stat : 27823 (java) S 27794 27801 26121 0 -1 1077944384 1052 0 0 0 18 0 0 0 20 0 15 0 414831152 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632289708528 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27824] ppid=27794 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27824/stat : 27824 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414831152 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632288656224 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27825] ppid=27794 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27825/stat : 27825 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831152 10917818368 15524 33554432000 4194304 4196468 140730514536272 140632287603248 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 Current children cumulated CPU time: 1.08 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 62096 KiB [startup+1.50083 s] /proc/loadavg: 1.12 1.66 1.85 3/229 27825 /proc/meminfo: memFree=31454116/32770624 swapFree=66918668/67108860 [pid=27801] ppid=27794 vsize=10663980 memory=74804 CPUtime=1.98 cores=1,3,5,7 /proc/27801/stat : 27801 (java) S 27794 27801 26121 0 -1 1077944320 18167 0 0 0 192 6 0 0 20 0 15 0 414831146 10919915520 18701 33554432000 4194304 4196468 140730514536272 140730514518816 140632804888311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 /proc/27801/statm: 2665995 18701 3097 1 0 2628492 0 [pid=27801/tid=27803] ppid=27794 vsize=10663980 memory=280249167078048 CPUtime=1.48 cores=1,3,5,7 /proc/27801/task/27803/stat : 27803 (java) R 27794 27801 26121 0 -1 4202560 13069 0 0 0 143 5 0 0 20 0 15 0 414831147 10919915520 18701 33554432000 4194304 4196468 140730514536272 140632809120336 140632788968798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27804] ppid=27794 vsize=10663980 memory=280249166250928 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27804/stat : 27804 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10919915520 18701 33554432000 4194304 4196468 140730514536272 140632741579792 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27805] ppid=27794 vsize=10663980 memory=56 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27805/stat : 27805 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10919915520 18701 33554432000 4194304 4196468 140730514536272 140632740527248 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27806] ppid=27794 vsize=10663980 memory=2811011 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27806/stat : 27806 (java) S 27794 27801 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414831147 10919915520 18701 33554432000 4194304 4196468 140730514536272 140632739474192 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27807] ppid=27794 vsize=10663980 memory=2812297 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27807/stat : 27807 (java) S 27794 27801 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414831147 10919915520 18701 33554432000 4194304 4196468 140730514536272 140632738421648 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27811] ppid=27794 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27811/stat : 27811 (java) S 27794 27801 26121 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 414831149 10919915520 18701 33554432000 4194304 4196468 140730514536272 140632296024304 140632804899458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 ################ # More data... # ################ /proc/27801/task/27807/stat : 27807 (java) S 27794 27801 26121 0 -1 1077944384 4179 0 0 0 138 5 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632738421648 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27811] ppid=27794 vsize=10748324 memory=2257 CPUtime=0.82 cores=1,3,5,7 /proc/27801/task/27811/stat : 27811 (java) S 27794 27801 26121 0 -1 1077944384 6405 0 0 0 75 7 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632296024304 140632804899458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27812] ppid=27794 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27812/stat : 27812 (java) S 27794 27801 26121 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632294970592 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27813] ppid=27794 vsize=10748324 memory=198872 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27813/stat : 27813 (java) S 27794 27801 26121 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632293917440 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27820] ppid=27794 vsize=10748324 memory=33 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27820/stat : 27820 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632292866000 140632804906907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27821] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.48 cores=1,3,5,7 /proc/27801/task/27821/stat : 27821 (java) S 27794 27801 26121 0 -1 1077944384 6182 0 0 0 147 1 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632291814128 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27822] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.41 cores=1,3,5,7 /proc/27801/task/27822/stat : 27822 (java) S 27794 27801 26121 0 -1 1077944384 8130 0 0 0 140 1 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632290761584 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27823] ppid=27794 vsize=10748324 memory=198872 CPUtime=0.69 cores=1,3,5,7 /proc/27801/task/27823/stat : 27823 (java) S 27794 27801 26121 0 -1 1077944384 8836 0 0 0 67 2 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632289708528 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27824] ppid=27794 vsize=10748324 memory=3616 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27824/stat : 27824 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632288656224 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27825] ppid=27794 vsize=10748324 memory=21504 CPUtime=0.46 cores=1,3,5,7 /proc/27801/task/27825/stat : 27825 (java) S 27794 27801 26121 0 -1 1077944384 780 0 0 0 21 25 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632287603248 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27826] ppid=27794 vsize=10748324 memory=198872 CPUtime=2257.99 cores=1,3,5,7 /proc/27801/task/27826/stat : 27826 (java) R 27794 27801 26121 0 -1 4202560 17476 0 0 0 225793 6 0 0 20 0 16 0 414831334 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632270941872 140632419180749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 Current children cumulated CPU time: 2270.49 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 198872 KiB [startup+2322.3 s] /proc/loadavg: 1.68 1.65 1.68 3/230 28458 /proc/meminfo: memFree=31191756/32770624 swapFree=66918708/67108860 [pid=27801] ppid=27794 vsize=10748324 memory=198872 CPUtime=2330.64 cores=1,3,5,7 /proc/27801/stat : 27801 (java) S 27794 27801 26121 0 -1 1077944320 81251 0 0 0 233001 63 0 0 20 0 16 0 414831146 11006283776 49718 33554432000 4194304 4196468 140730514536272 140730514518816 140632804888311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 /proc/27801/statm: 2687081 49718 3376 1 0 2647217 0 [pid=27801/tid=27803] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.86 cores=1,3,5,7 /proc/27801/task/27803/stat : 27803 (java) S 27794 27801 26121 0 -1 1077944384 15320 0 0 0 180 6 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632809131184 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27804] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.48 cores=1,3,5,7 /proc/27801/task/27804/stat : 27804 (java) S 27794 27801 26121 0 -1 1077944384 5179 0 0 0 141 7 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632741579792 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27805] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.46 cores=1,3,5,7 /proc/27801/task/27805/stat : 27805 (java) S 27794 27801 26121 0 -1 1077944384 2662 0 0 0 140 6 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632740527248 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27806] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.47 cores=1,3,5,7 /proc/27801/task/27806/stat : 27806 (java) S 27794 27801 26121 0 -1 1077944384 4011 0 0 0 140 7 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632739474192 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27807] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.48 cores=1,3,5,7 /proc/27801/task/27807/stat : 27807 (java) S 27794 27801 26121 0 -1 1077944384 4464 0 0 0 142 6 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632738421648 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27811] ppid=27794 vsize=10748324 memory=198872 CPUtime=0.84 cores=1,3,5,7 /proc/27801/task/27811/stat : 27811 (java) S 27794 27801 26121 0 -1 1077944384 6593 0 0 0 77 7 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632296024304 140632804899458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27812] ppid=27794 vsize=10748324 memory=198872 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27812/stat : 27812 (java) S 27794 27801 26121 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632294970592 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27813] ppid=27794 vsize=10748324 memory=198872 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27813/stat : 27813 (java) S 27794 27801 26121 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632293917440 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27820] ppid=27794 vsize=10748324 memory=198872 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27820/stat : 27820 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632292866000 140632804906907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27821] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.48 cores=1,3,5,7 /proc/27801/task/27821/stat : 27821 (java) S 27794 27801 26121 0 -1 1077944384 6184 0 0 0 147 1 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632291814128 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27822] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.41 cores=1,3,5,7 /proc/27801/task/27822/stat : 27822 (java) S 27794 27801 26121 0 -1 1077944384 8133 0 0 0 140 1 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632290761584 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27823] ppid=27794 vsize=10748324 memory=1172 CPUtime=0.69 cores=1,3,5,7 /proc/27801/task/27823/stat : 27823 (java) S 27794 27801 26121 0 -1 1077944384 8838 0 0 0 67 2 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632289708528 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27824] ppid=27794 vsize=10748324 memory=198872 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27824/stat : 27824 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632288656224 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27825] ppid=27794 vsize=10748324 memory=198872 CPUtime=0.47 cores=1,3,5,7 /proc/27801/task/27825/stat : 27825 (java) S 27794 27801 26121 0 -1 1077944384 808 0 0 0 21 26 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632287603248 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27826] ppid=27794 vsize=10748324 memory=3616 CPUtime=2317.92 cores=1,3,5,7 /proc/27801/task/27826/stat : 27826 (java) R 27794 27801 26121 0 -1 4202560 17623 0 0 0 231786 6 0 0 20 0 16 0 414831334 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632270941808 140632419061025 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 Current children cumulated CPU time: 2330.64 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 198872 KiB [startup+2382.3 s] /proc/loadavg: 1.76 1.67 1.69 3/230 28464 /proc/meminfo: memFree=31191888/32770624 swapFree=66918708/67108860 [pid=27801] ppid=27794 vsize=10748324 memory=198872 CPUtime=2390.71 cores=1,3,5,7 /proc/27801/stat : 27801 (java) S 27794 27801 26121 0 -1 1077944320 81325 0 0 0 239007 64 0 0 20 0 16 0 414831146 11006283776 49718 33554432000 4194304 4196468 140730514536272 140730514518816 140632804888311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 /proc/27801/statm: 2687081 49718 3376 1 0 2647217 0 [pid=27801/tid=27803] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.86 cores=1,3,5,7 /proc/27801/task/27803/stat : 27803 (java) S 27794 27801 26121 0 -1 1077944384 15320 0 0 0 180 6 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632809131184 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27804] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.5 cores=1,3,5,7 /proc/27801/task/27804/stat : 27804 (java) S 27794 27801 26121 0 -1 1077944384 5179 0 0 0 143 7 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632741579792 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27805] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.48 cores=1,3,5,7 /proc/27801/task/27805/stat : 27805 (java) S 27794 27801 26121 0 -1 1077944384 2662 0 0 0 141 7 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632740527248 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27806] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.49 cores=1,3,5,7 /proc/27801/task/27806/stat : 27806 (java) S 27794 27801 26121 0 -1 1077944384 4011 0 0 0 142 7 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632739474192 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27807] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.5 cores=1,3,5,7 /proc/27801/task/27807/stat : 27807 (java) S 27794 27801 26121 0 -1 1077944384 4470 0 0 0 144 6 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632738421648 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27811] ppid=27794 vsize=10748324 memory=0 CPUtime=0.87 cores=1,3,5,7 /proc/27801/task/27811/stat : 27811 (java) S 27794 27801 26121 0 -1 1077944384 6599 0 0 0 80 7 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632296024304 140632804899458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27812] ppid=27794 vsize=10748324 memory=198872 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27812/stat : 27812 (java) S 27794 27801 26121 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632294970592 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27813] ppid=27794 vsize=10748324 memory=198872 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27813/stat : 27813 (java) S 27794 27801 26121 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632293917440 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27820] ppid=27794 vsize=10748324 memory=198872 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27820/stat : 27820 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632292866000 140632804906907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27821] ppid=27794 vsize=10748324 memory=3616 CPUtime=1.48 cores=1,3,5,7 /proc/27801/task/27821/stat : 27821 (java) S 27794 27801 26121 0 -1 1077944384 6184 0 0 0 147 1 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632291814128 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27822] ppid=27794 vsize=10748324 memory=21504 CPUtime=1.41 cores=1,3,5,7 /proc/27801/task/27822/stat : 27822 (java) S 27794 27801 26121 0 -1 1077944384 8133 0 0 0 140 1 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632290761584 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27823] ppid=27794 vsize=10748324 memory=988 CPUtime=0.69 cores=1,3,5,7 /proc/27801/task/27823/stat : 27823 (java) S 27794 27801 26121 0 -1 1077944384 8838 0 0 0 67 2 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632289708528 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27824] ppid=27794 vsize=10748324 memory=2012 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27824/stat : 27824 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632288656224 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27825] ppid=27794 vsize=10748324 memory=288370500737853904 CPUtime=0.47 cores=1,3,5,7 /proc/27801/task/27825/stat : 27825 (java) S 27794 27801 26121 0 -1 1077944384 812 0 0 0 21 26 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632287603248 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27826] ppid=27794 vsize=10748324 memory=280249166201072 CPUtime=2377.87 cores=1,3,5,7 /proc/27801/task/27826/stat : 27826 (java) R 27794 27801 26121 0 -1 4202560 17681 0 0 0 237781 6 0 0 20 0 16 0 414831334 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632270941808 140632419187793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 Current children cumulated CPU time: 2390.71 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 198872 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2391.6 s] /proc/loadavg: 1.64 1.65 1.68 3/230 28464 /proc/meminfo: memFree=31192228/32770624 swapFree=66918708/67108860 [pid=27801] ppid=27794 vsize=10748324 memory=198872 CPUtime=2400.02 cores=1,3,5,7 /proc/27801/stat : 27801 (java) S 27794 27801 26121 0 -1 1077944320 81335 0 0 0 239938 64 0 0 20 0 16 0 414831146 11006283776 49718 33554432000 4194304 4196468 140730514536272 140730514518816 140632804888311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 /proc/27801/statm: 2687081 49718 3376 1 0 2647217 0 [pid=27801/tid=27803] ppid=27794 vsize=10748324 memory=21504 CPUtime=1.86 cores=1,3,5,7 /proc/27801/task/27803/stat : 27803 (java) S 27794 27801 26121 0 -1 1077944384 15320 0 0 0 180 6 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632809131184 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27804] ppid=27794 vsize=10748324 memory=988 CPUtime=1.5 cores=1,3,5,7 /proc/27801/task/27804/stat : 27804 (java) S 27794 27801 26121 0 -1 1077944384 5179 0 0 0 143 7 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632741579792 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27805] ppid=27794 vsize=10748324 memory=6791534058613427641 CPUtime=1.49 cores=1,3,5,7 /proc/27801/task/27805/stat : 27805 (java) S 27794 27801 26121 0 -1 1077944384 2662 0 0 0 142 7 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632740527248 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27806] ppid=27794 vsize=10748324 memory=198872 CPUtime=1.5 cores=1,3,5,7 /proc/27801/task/27806/stat : 27806 (java) S 27794 27801 26121 0 -1 1077944384 4011 0 0 0 143 7 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632739474192 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27807] ppid=27794 vsize=10748324 memory=1404 CPUtime=1.5 cores=1,3,5,7 /proc/27801/task/27807/stat : 27807 (java) S 27794 27801 26121 0 -1 1077944384 4470 0 0 0 144 6 0 0 20 0 16 0 414831147 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632738421648 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27811] ppid=27794 vsize=10748324 memory=3320 CPUtime=0.87 cores=1,3,5,7 /proc/27801/task/27811/stat : 27811 (java) S 27794 27801 26121 0 -1 1077944384 6601 0 0 0 80 7 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632296024304 140632804899458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27812] ppid=27794 vsize=10748324 memory=5936 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27812/stat : 27812 (java) S 27794 27801 26121 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632294970592 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27813] ppid=27794 vsize=10748324 memory=588 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27813/stat : 27813 (java) S 27794 27801 26121 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414831149 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632293917440 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27820] ppid=27794 vsize=10748324 memory=780 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27820/stat : 27820 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632292866000 140632804906907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27821] ppid=27794 vsize=10748324 memory=1056 CPUtime=1.48 cores=1,3,5,7 /proc/27801/task/27821/stat : 27821 (java) S 27794 27801 26121 0 -1 1077944384 6184 0 0 0 147 1 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632291814128 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27822] ppid=27794 vsize=10748324 memory=11464 CPUtime=1.41 cores=1,3,5,7 /proc/27801/task/27822/stat : 27822 (java) S 27794 27801 26121 0 -1 1077944384 8133 0 0 0 140 1 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632290761584 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27823] ppid=27794 vsize=10748324 memory=4004 CPUtime=0.69 cores=1,3,5,7 /proc/27801/task/27823/stat : 27823 (java) S 27794 27801 26121 0 -1 1077944384 8838 0 0 0 67 2 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632289708528 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27824] ppid=27794 vsize=10748324 memory=2828 CPUtime=0 cores=1,3,5,7 /proc/27801/task/27824/stat : 27824 (java) S 27794 27801 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632288656224 140632804898517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27825] ppid=27794 vsize=10748324 memory=1000 CPUtime=0.48 cores=1,3,5,7 /proc/27801/task/27825/stat : 27825 (java) S 27794 27801 26121 0 -1 1077944384 814 0 0 0 21 27 0 0 20 0 16 0 414831152 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632287603248 140632804899458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 [pid=27801/tid=27826] ppid=27794 vsize=10748324 memory=1560 CPUtime=2387.16 cores=1,3,5,7 /proc/27801/task/27826/stat : 27826 (java) R 27794 27801 26121 0 -1 4202560 17687 0 0 0 238710 6 0 0 20 0 16 0 414831334 11006283776 49718 33554432000 4194304 4196468 140730514536272 140632270941696 140632419187693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140730514539531 140730514539634 140730514539634 140730514542543 0 Current children cumulated CPU time: 2400.02 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 198872 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2391.61 s] # the end of solver process 27801 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.4 s, system=0.649392 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2391.61 CPU time (s): 2400.05 CPU user time (s): 2399.4 CPU system time (s): 0.649392 CPU usage (%): 100.353 Max. virtual memory (cumulated for all children) (KiB): 10748324 Max. memory (cumulated for all children) (KiB): 279736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.4 system time used= 0.649392 maximum resident set size= 280252 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81838 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2792 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 74790 involuntary context switches= 4245 # summary of solver processes directly reported to runsolver: # pid: 27801 # total CPU time (s): 2400.05 # total CPU user time (s): 2399.4 # total CPU system time (s): 0.649392 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.9589 second user time and 19.3243 second system time The end
Begin job on node141 at 2019-09-13 17:34:51 IDJOB=4391211 IDBENCH=122932 IDSOLVER=2833 FILE ID=node141/4391211-1568388932 RUNJOBID= node141-1568388891-27767 PBS_JOBID= 21701828 Free space on /tmp= 56104 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-04-350-100.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391211-1568388932/watcher-4391211-1568388932 -o /tmp/evaluation-result-4391211-1568388932/solver-4391211-1568388932 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27767 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391211-1568388932.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 05a37308653f1418d8a9d31e27700b02 RANDOM SEED=99140071 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 31564988 kB MemAvailable: 31844240 kB Buffers: 150140 kB Cached: 417352 kB SwapCached: 80880 kB Active: 256972 kB Inactive: 394624 kB Active(anon): 8944 kB Inactive(anon): 106352 kB Active(file): 248028 kB Inactive(file): 288272 kB Unevictable: 109176 kB Mlocked: 109176 kB SwapTotal: 67108860 kB SwapFree: 66918668 kB Dirty: 17612 kB Writeback: 0 kB AnonPages: 162024 kB Mapped: 35920 kB Shmem: 22712 kB Slab: 146752 kB SReclaimable: 117572 kB SUnreclaim: 29180 kB KernelStack: 3744 kB PageTables: 5048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 503972 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 116736 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58524 MiB End job on node141 at 2019-09-13 18:14:43