Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 5 | 107.884 | 105.205 |
Diagnostic | Value |
---|---|
WRONG_DECISIONS | 4973720 |
Name | Opd/Opd-sum-small/ Opd-10-037-014.xml |
MD5SUM | d77adff4d02ea0a040e7fe9c51d12b8d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 2.75092 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 371 |
Number of constraints | 56 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 33 |
Distribution of domain sizes | [{"size":2,"count":370},{"size":33,"count":1}] |
Minimum variable degree | 11 |
Maximum variable degree | 46 |
Distribution of variable degrees | [{"degree":11,"count":370},{"degree":46,"count":1}] |
Minimum constraint arity | 37 |
Maximum constraint arity | 370 |
Distribution of constraint arities | [{"arity":37,"count":10},{"arity":75,"count":45},{"arity":370,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":55}] |
Optimization problem | YES |
Type of objective | min VAR |
2.57/2.01 2.57/2.01 AbsCon 2 2.57/2.03 2.84/2.17 Instance 2.84/2.17 name=instance-4391147-1568389012, framework=COP, bounds=-infty..+infty 2.84/2.17 2.84/2.17 Loading variables... 3.07/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29bba49b 3.07/2.22 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d6c5353 3.07/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f885a6 3.07/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c554453 3.07/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f667b3 3.07/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6506084f 3.07/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25741ad 3.07/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d2fbf1 3.07/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40b080c2 3.07/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c40a3ae 3.07/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc 3.07/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc 3.07/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f7675b 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f7675b 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f7675b 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f7675b 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f7675b 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f7675b 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f7675b 3.07/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b76c65a 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b76c65a 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b76c65a 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b76c65a 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b76c65a 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b76c65a 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72898d7b 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72898d7b 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72898d7b 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72898d7b 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72898d7b 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497f1552 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497f1552 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497f1552 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497f1552 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d757fe7 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d757fe7 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d757fe7 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1885a649 3.07/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1885a649 3.07/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9c91ad 3.39/2.32 3.39/2.32 3.39/2.32 Domains 3.39/2.32 nTypes=2, nValues=773, sizes=[2#370,33#1] 3.39/2.32 Variables 3.39/2.32 count=371, degrees=[12#4,13#86,14#280,46#1] 3.39/2.32 Objectives 3.39/2.32 way=min, type=ObjVarLE 3.39/2.32 Constraints 3.39/2.32 count=101, nSpecific=101, arities=[1#1,20#36,37#10,74#9,75#45] 3.39/2.32 distribution=[LexicographicLe#45,ObjVarLE#1,SumScalarBooleanLEVar#45,SumSimpleEQ#10] 3.39/2.32 wck=0.337, cpu=2.171, mem=29M155 3.39/2.33 Solver SolverBacktrack being built... 3.39/2.33 3.39/2.36 3.39/2.36 Solver 3.39/2.36 guaranteedGAC=true 3.39/2.36 wck=0.371, cpu=2.203, mem=39M797 3.39/2.36 3.39/2.36 Preprocessing 3.39/2.36 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.39/2.36 wck=0.007, cpu=2.212, mem=39M797 3.39/2.36 3.39/2.38 num=0, depth=38..54, filters=178, wck=0.024, mem=39M797 3.39/2.38 decisions=103, wrong=25, backtracks=23, failedAssignments=10, nogoods=2 3.39/2.38 3.39/2.39 num=1, depth=1..19, filters=341, wck=0.029, mem=39M797 3.39/2.39 decisions=134, wrong=36, backtracks=23, failedAssignments=21, nogoods=13 3.39/2.39 3.67/2.42 o 13 3.67/2.42 num=2, depth=7..370, filters=517, ccks=101, wck=0.064, mem=39M797 3.67/2.42 decisions=313, wrong=47, backtracks=23, failedAssignments=32, nogoods=24, foundSolutions=1, bestBound=13 3.67/2.42 3.67/2.43 num=3, depth=7..143, filters=725, ccks=101, wck=0.071, mem=39M797 3.67/2.43 decisions=472, wrong=61, backtracks=24, failedAssignments=45, nogoods=37, foundSolutions=1, bestBound=13 3.67/2.43 3.67/2.43 num=4, depth=8..63, filters=939, ccks=101, wck=0.076, mem=39M797 3.67/2.43 decisions=562, wrong=77, backtracks=33, failedAssignments=56, nogoods=43, foundSolutions=1, bestBound=13 3.67/2.43 3.67/2.44 num=5, depth=58..112, filters=1099, ccks=101, wck=0.081, mem=39M797 3.67/2.44 decisions=687, wrong=89, backtracks=33, failedAssignments=68, nogoods=55, foundSolutions=1, bestBound=13 3.67/2.44 3.67/2.44 num=6, depth=47..118, filters=1246, ccks=101, wck=0.084, mem=39M797 3.67/2.44 decisions=820, wrong=103, backtracks=35, failedAssignments=81, nogoods=67, foundSolutions=1, bestBound=13 3.67/2.44 3.67/2.44 num=7, depth=71..145, filters=1396, ccks=101, wck=0.088, mem=39M797 3.67/2.44 decisions=988, wrong=120, backtracks=44, failedAssignments=95, nogoods=75, foundSolutions=1, bestBound=13 3.67/2.44 3.67/2.45 o 12 3.67/2.46 num=8, depth=9..370, filters=1569, ccks=202, wck=0.094, mem=39M797 3.67/2.46 decisions=1139, wrong=128, backtracks=44, failedAssignments=103, nogoods=83, foundSolutions=2, bestBound=12 3.67/2.46 3.67/2.46 o 11 3.67/2.46 num=9, depth=10..370, filters=1712, ccks=303, wck=0.1, mem=39M797 3.67/2.46 decisions=1294, wrong=133, backtracks=44, failedAssignments=108, nogoods=88, foundSolutions=3, bestBound=11 3.67/2.46 3.67/2.46 num=10, depth=10..90, filters=1866, ccks=303, wck=0.103, mem=39M797 3.67/2.46 decisions=1400, wrong=145, backtracks=48, failedAssignments=119, nogoods=96, foundSolutions=3, bestBound=11 3.67/2.46 3.67/2.46 num=11, depth=4..30, filters=2007, ccks=303, wck=0.105, mem=39M797 3.67/2.46 decisions=1448, wrong=158, backtracks=55, failedAssignments=130, nogoods=102, foundSolutions=3, bestBound=11 3.67/2.46 3.67/2.46 num=12, depth=2..117, filters=2212, ccks=303, wck=0.108, mem=42M439 3.67/2.46 decisions=1578, wrong=170, backtracks=55, failedAssignments=142, nogoods=114, foundSolutions=3, bestBound=11 3.67/2.46 3.67/2.47 o 10 3.67/2.47 num=13, depth=1..370, filters=2403, ccks=404, wck=0.113, mem=42M439 3.67/2.47 decisions=1734, wrong=179, backtracks=55, failedAssignments=151, nogoods=123, foundSolutions=4, bestBound=10 3.67/2.47 3.67/2.48 o 9 3.67/2.48 num=14, depth=1..370, filters=2588, ccks=505, wck=0.122, mem=42M439 3.67/2.48 decisions=1897, wrong=186, backtracks=55, failedAssignments=158, nogoods=130, foundSolutions=5, bestBound=9 3.67/2.48 3.67/2.48 num=15, depth=1..138, filters=2813, ccks=505, wck=0.129, mem=42M439 3.67/2.48 decisions=2053, wrong=201, backtracks=59, failedAssignments=169, nogoods=139, foundSolutions=5, bestBound=9 3.67/2.48 3.67/2.49 num=16, depth=1..24, filters=2988, ccks=505, wck=0.131, mem=42M439 3.67/2.49 decisions=2097, wrong=215, backtracks=66, failedAssignments=180, nogoods=146, foundSolutions=5, bestBound=9 3.67/2.49 3.67/2.49 num=17, depth=1..115, filters=3178, ccks=505, wck=0.136, mem=42M439 3.67/2.49 decisions=2231, wrong=228, backtracks=71, failedAssignments=192, nogoods=154, foundSolutions=5, bestBound=9 3.67/2.49 4.02/2.50 num=18, depth=1..90, filters=3405, ccks=505, wck=0.141, mem=42M439 4.02/2.50 decisions=2335, wrong=241, backtracks=71, failedAssignments=205, nogoods=167, foundSolutions=5, bestBound=9 4.02/2.50 4.02/2.50 num=19, depth=1..28, filters=3671, ccks=505, wck=0.146, mem=42M439 4.02/2.50 decisions=2404, wrong=264, backtracks=90, failedAssignments=219, nogoods=172, foundSolutions=5, bestBound=9 4.02/2.50 4.02/2.51 num=20, depth=1..25, filters=3859, ccks=505, wck=0.15, mem=42M439 4.02/2.51 decisions=2459, wrong=284, backtracks=104, failedAssignments=235, nogoods=178, foundSolutions=5, bestBound=9 4.02/2.51 4.02/2.51 num=21, depth=1..28, filters=4500, ccks=505, wck=0.158, mem=42M439 4.02/2.51 decisions=2586, wrong=337, backtracks=152, failedAssignments=252, nogoods=181, foundSolutions=5, bestBound=9 4.02/2.51 4.02/2.52 num=22, depth=1..33, filters=5364, ccks=505, wck=0.167, mem=42M439 4.02/2.52 decisions=2705, wrong=388, backtracks=196, failedAssignments=271, nogoods=187, foundSolutions=5, bestBound=9 4.02/2.52 4.02/2.53 num=23, depth=1..35, filters=6135, ccks=505, wck=0.175, mem=42M439 4.02/2.53 decisions=2816, wrong=432, backtracks=228, failedAssignments=292, nogoods=198, foundSolutions=5, bestBound=9 4.02/2.53 4.02/2.54 num=24, depth=1..37, filters=7127, ccks=505, wck=0.185, mem=42M439 4.02/2.54 decisions=2974, wrong=502, backtracks=289, failedAssignments=315, nogoods=206, foundSolutions=5, bestBound=9 4.02/2.54 4.02/2.55 num=25, depth=1..34, filters=8400, ccks=505, wck=0.197, mem=42M439 4.02/2.55 decisions=3142, wrong=575, backtracks=355, failedAssignments=340, nogoods=212, foundSolutions=5, bestBound=9 4.02/2.55 4.02/2.56 num=26, depth=1..32, filters=8804, ccks=505, wck=0.202, mem=42M439 4.02/2.56 decisions=3246, wrong=618, backtracks=394, failedAssignments=368, nogoods=218, foundSolutions=5, bestBound=9 4.02/2.56 4.02/2.56 num=27, depth=15..32, filters=9490, ccks=505, wck=0.206, mem=42M439 4.02/2.56 decisions=3386, wrong=677, backtracks=451, failedAssignments=399, nogoods=222, foundSolutions=5, bestBound=9 4.02/2.56 4.02/2.56 num=28, depth=2..28, filters=9815, ccks=505, wck=0.209, mem=42M439 4.02/2.56 decisions=3500, wrong=725, backtracks=488, failedAssignments=433, nogoods=232, foundSolutions=5, bestBound=9 4.02/2.56 4.02/2.57 num=29, depth=1..124, filters=10399, ccks=505, wck=0.214, mem=42M439 4.02/2.57 decisions=3720, wrong=780, backtracks=523, failedAssignments=470, nogoods=248, foundSolutions=5, bestBound=9 4.02/2.57 4.02/2.58 num=30, depth=3..111, filters=11316, ccks=505, wck=0.22, mem=42M439 4.02/2.58 decisions=3969, wrong=856, backtracks=586, failedAssignments=511, nogoods=260, foundSolutions=5, bestBound=9 4.02/2.58 4.02/2.58 num=31, depth=3..44, filters=12143, ccks=505, wck=0.225, mem=42M439 4.02/2.58 decisions=4125, wrong=919, backtracks=639, failedAssignments=556, nogoods=270, foundSolutions=5, bestBound=9 4.02/2.58 4.02/2.59 num=32, depth=2..81, filters=12762, ccks=505, wck=0.23, mem=42M439 4.02/2.59 decisions=4317, wrong=985, backtracks=686, failedAssignments=606, nogoods=287, foundSolutions=5, bestBound=9 4.02/2.59 4.02/2.59 num=33, depth=3..36, filters=13214, ccks=505, wck=0.233, mem=42M439 4.02/2.59 decisions=4485, wrong=1059, backtracks=750, failedAssignments=661, nogoods=296, foundSolutions=5, bestBound=9 4.02/2.59 4.33/2.60 num=34, depth=2..39, filters=14600, ccks=505, wck=0.24, mem=42M439 4.33/2.60 decisions=4700, wrong=1154, backtracks=839, failedAssignments=722, nogoods=304, foundSolutions=5, bestBound=9 4.33/2.60 4.33/2.60 num=35, depth=2..35, filters=16285, ccks=505, wck=0.249, mem=42M439 4.33/2.60 decisions=4950, wrong=1268, backtracks=944, failedAssignments=789, nogoods=313, foundSolutions=5, bestBound=9 4.33/2.60 4.33/2.61 num=36, depth=1..61, filters=17405, ccks=505, wck=0.255, mem=42M439 4.33/2.61 decisions=5203, wrong=1378, backtracks=1032, failedAssignments=863, nogoods=327, foundSolutions=5, bestBound=9 4.33/2.61 4.33/2.62 num=37, depth=1..122, filters=17944, ccks=505, wck=0.26, mem=42M439 4.33/2.62 decisions=5488, wrong=1481, backtracks=1103, failedAssignments=944, nogoods=353, foundSolutions=5, bestBound=9 4.33/2.62 4.33/2.62 num=38, depth=2..174, filters=18634, ccks=505, wck=0.267, mem=42M439 4.33/2.62 decisions=5902, wrong=1619, backtracks=1206, failedAssignments=1033, nogoods=384, foundSolutions=5, bestBound=9 4.33/2.62 4.33/2.64 num=39, depth=4..133, filters=20544, ccks=505, wck=0.28, mem=42M439 4.33/2.64 decisions=6370, wrong=1799, backtracks=1353, failedAssignments=1131, nogoods=403, foundSolutions=5, bestBound=9 4.33/2.64 4.33/2.65 o 8 4.33/2.65 num=40, depth=4..370, filters=21393, ccks=606, wck=0.29, mem=42M439 4.33/2.65 decisions=6825, wrong=1961, backtracks=1495, failedAssignments=1231, nogoods=416, foundSolutions=6, bestBound=8 4.33/2.65 4.33/2.65 num=41, depth=1..124, filters=21911, ccks=606, wck=0.296, mem=45M82 4.33/2.65 decisions=7197, wrong=2099, backtracks=1618, failedAssignments=1350, nogoods=434, foundSolutions=6, bestBound=8 4.33/2.65 4.33/2.65 num=42, depth=1..22, filters=22168, ccks=606, wck=0.297, mem=45M82 4.33/2.65 decisions=7248, wrong=2119, backtracks=1631, failedAssignments=1361, nogoods=440, foundSolutions=6, bestBound=8 4.33/2.65 4.33/2.65 num=43, depth=1..37, filters=22376, ccks=606, wck=0.299, mem=45M82 4.33/2.65 decisions=7300, wrong=2132, backtracks=1632, failedAssignments=1373, nogoods=452, foundSolutions=6, bestBound=8 4.33/2.65 4.33/2.66 num=44, depth=6..35, filters=22536, ccks=606, wck=0.3, mem=45M82 4.33/2.66 decisions=7365, wrong=2150, backtracks=1641, failedAssignments=1386, nogoods=459, foundSolutions=6, bestBound=8 4.33/2.66 4.33/2.66 num=45, depth=1..42, filters=22772, ccks=606, wck=0.302, mem=45M82 4.33/2.66 decisions=7431, wrong=2168, backtracks=1646, failedAssignments=1400, nogoods=472, foundSolutions=6, bestBound=8 4.33/2.66 4.33/2.66 num=46, depth=7..40, filters=22916, ccks=606, wck=0.303, mem=45M82 4.33/2.66 decisions=7501, wrong=2189, backtracks=1661, failedAssignments=1416, nogoods=477, foundSolutions=6, bestBound=8 4.33/2.66 4.33/2.66 num=47, depth=1..84, filters=23208, ccks=606, wck=0.305, mem=45M82 4.33/2.66 decisions=7603, wrong=2206, backtracks=1661, failedAssignments=1433, nogoods=494, foundSolutions=6, bestBound=8 4.33/2.66 4.33/2.66 num=48, depth=1..39, filters=23496, ccks=606, wck=0.307, mem=45M82 4.33/2.66 decisions=7677, wrong=2230, backtracks=1671, failedAssignments=1452, nogoods=507, foundSolutions=6, bestBound=8 4.33/2.66 4.33/2.66 num=49, depth=1..27, filters=23739, ccks=606, wck=0.309, mem=45M82 4.33/2.66 decisions=7757, wrong=2261, backtracks=1696, failedAssignments=1473, nogoods=512, foundSolutions=6, bestBound=8 4.33/2.66 4.33/2.67 num=50, depth=1..37, filters=24111, ccks=606, wck=0.311, mem=45M82 4.33/2.67 decisions=7833, wrong=2289, backtracks=1709, failedAssignments=1496, nogoods=525, foundSolutions=6, bestBound=8 4.33/2.67 4.33/2.67 num=51, depth=1..48, filters=24371, ccks=606, wck=0.313, mem=45M82 4.33/2.67 decisions=7925, wrong=2319, backtracks=1725, failedAssignments=1521, nogoods=538, foundSolutions=6, bestBound=8 4.33/2.67 4.33/2.67 num=52, depth=1..84, filters=24755, ccks=606, wck=0.317, mem=45M82 4.33/2.67 decisions=8044, wrong=2349, backtracks=1733, failedAssignments=1549, nogoods=560, foundSolutions=6, bestBound=8 4.33/2.67 4.33/2.67 num=53, depth=1..61, filters=25064, ccks=606, wck=0.319, mem=45M82 4.33/2.67 decisions=8157, wrong=2385, backtracks=1748, failedAssignments=1580, nogoods=581, foundSolutions=6, bestBound=8 4.33/2.67 4.33/2.68 num=54, depth=1..87, filters=25649, ccks=606, wck=0.323, mem=45M82 4.33/2.68 decisions=8324, wrong=2437, backtracks=1781, failedAssignments=1614, nogoods=592, foundSolutions=6, bestBound=8 4.33/2.68 4.33/2.68 num=55, depth=1..72, filters=25988, ccks=606, wck=0.326, mem=45M82 4.33/2.68 decisions=8478, wrong=2489, backtracks=1818, failedAssignments=1651, nogoods=606, foundSolutions=6, bestBound=8 4.33/2.68 4.33/2.68 num=56, depth=3..64, filters=26382, ccks=606, wck=0.328, mem=45M82 4.33/2.68 decisions=8660, wrong=2559, backtracks=1867, failedAssignments=1692, nogoods=617, foundSolutions=6, bestBound=8 4.33/2.68 4.33/2.69 num=57, depth=2..74, filters=26636, ccks=606, wck=0.331, mem=45M82 4.33/2.69 decisions=8821, wrong=2613, backtracks=1903, failedAssignments=1737, nogoods=636, foundSolutions=6, bestBound=8 4.33/2.69 4.33/2.69 num=58, depth=1..54, filters=27362, ccks=606, wck=0.335, mem=45M82 4.33/2.69 decisions=9018, wrong=2692, backtracks=1963, failedAssignments=1787, nogoods=649, foundSolutions=6, bestBound=8 4.33/2.69 4.33/2.69 num=59, depth=1..62, filters=27692, ccks=606, wck=0.337, mem=45M82 4.33/2.69 decisions=9204, wrong=2762, backtracks=2019, failedAssignments=1842, nogoods=663, foundSolutions=6, bestBound=8 4.33/2.69 4.61/2.70 num=60, depth=1..120, filters=28283, ccks=606, wck=0.342, mem=45M82 4.61/2.70 decisions=9445, wrong=2838, backtracks=2063, failedAssignments=1903, nogoods=696, foundSolutions=6, bestBound=8 4.61/2.70 4.61/2.70 num=61, depth=1..114, filters=28901, ccks=606, wck=0.347, mem=45M82 4.61/2.70 decisions=9720, wrong=2930, backtracks=2130, failedAssignments=1970, nogoods=720, foundSolutions=6, bestBound=8 4.61/2.70 4.61/2.71 num=62, depth=1..48, filters=31345, ccks=606, wck=0.359, mem=45M82 4.61/2.71 decisions=10042, wrong=3079, backtracks=2278, failedAssignments=2044, nogoods=728, foundSolutions=6, bestBound=8 4.61/2.71 4.61/2.72 num=63, depth=2..104, filters=32388, ccks=606, wck=0.365, mem=45M82 4.61/2.72 decisions=10335, wrong=3186, backtracks=2358, failedAssignments=2125, nogoods=752, foundSolutions=6, bestBound=8 4.61/2.72 4.61/2.72 num=64, depth=2..52, filters=33002, ccks=606, wck=0.369, mem=45M82 4.61/2.72 decisions=10617, wrong=3311, backtracks=2468, failedAssignments=2214, nogoods=767, foundSolutions=6, bestBound=8 4.61/2.72 4.61/2.73 num=65, depth=4..75, filters=34243, ccks=606, wck=0.375, mem=45M82 4.61/2.73 decisions=10925, wrong=3441, backtracks=2579, failedAssignments=2312, nogoods=788, foundSolutions=6, bestBound=8 4.61/2.73 4.61/2.74 num=66, depth=2..113, filters=35325, ccks=606, wck=0.382, mem=45M82 4.61/2.74 decisions=11295, wrong=3586, backtracks=2695, failedAssignments=2420, nogoods=823, foundSolutions=6, bestBound=8 4.61/2.74 4.61/2.74 num=67, depth=4..61, filters=36591, ccks=606, wck=0.389, mem=45M82 4.61/2.74 decisions=11704, wrong=3770, backtracks=2866, failedAssignments=2539, nogoods=836, foundSolutions=6, bestBound=8 4.61/2.74 4.61/2.76 num=68, depth=3..49, filters=38971, ccks=606, wck=0.401, mem=45M82 4.61/2.76 decisions=12262, wrong=4031, backtracks=3060, failedAssignments=2670, nogoods=847, foundSolutions=6, bestBound=8 4.61/2.76 4.61/2.77 num=69, depth=2..54, filters=43032, ccks=606, wck=0.419, mem=45M82 4.61/2.77 decisions=12837, wrong=4301, backtracks=3306, failedAssignments=2814, nogoods=862, foundSolutions=6, bestBound=8 4.61/2.77 4.61/2.78 num=70, depth=1..124, filters=44240, ccks=606, wck=0.426, mem=45M82 4.61/2.78 decisions=13392, wrong=4535, backtracks=3506, failedAssignments=2972, nogoods=892, foundSolutions=6, bestBound=8 4.61/2.78 4.61/2.79 num=71, depth=2..116, filters=45647, ccks=606, wck=0.434, mem=45M82 4.61/2.79 decisions=13974, wrong=4786, backtracks=3717, failedAssignments=3146, nogoods=925, foundSolutions=6, bestBound=8 4.61/2.79 4.87/2.80 num=72, depth=2..160, filters=46714, ccks=606, wck=0.442, mem=45M82 4.87/2.80 decisions=14664, wrong=5068, backtracks=3964, failedAssignments=3337, nogoods=955, foundSolutions=6, bestBound=8 4.87/2.80 4.87/2.81 num=73, depth=14..127, filters=48250, ccks=606, wck=0.451, mem=47M724 4.87/2.81 decisions=15369, wrong=5371, backtracks=4240, failedAssignments=3548, nogoods=978, foundSolutions=6, bestBound=8 4.87/2.81 4.87/2.82 num=74, depth=2..149, filters=50277, ccks=606, wck=0.463, mem=47M724 4.87/2.82 decisions=16370, wrong=5812, backtracks=4647, failedAssignments=3780, nogoods=1002, foundSolutions=6, bestBound=8 4.87/2.82 4.87/2.83 num=75, depth=1..128, filters=52301, ccks=606, wck=0.475, mem=47M724 4.87/2.83 decisions=17259, wrong=6213, backtracks=5006, failedAssignments=4035, nogoods=1034, foundSolutions=6, bestBound=8 4.87/2.83 4.87/2.84 num=76, depth=21..50, filters=54586, ccks=606, wck=0.487, mem=47M724 4.87/2.84 decisions=18186, wrong=6662, backtracks=5430, failedAssignments=4316, nogoods=1045, foundSolutions=6, bestBound=8 4.87/2.84 4.87/2.86 num=77, depth=21..117, filters=57749, ccks=606, wck=0.504, mem=47M724 4.87/2.86 decisions=19209, wrong=7129, backtracks=5869, failedAssignments=4625, nogoods=1065, foundSolutions=6, bestBound=8 4.87/2.86 4.87/2.88 num=78, depth=5..125, filters=61084, ccks=606, wck=0.522, mem=47M724 4.87/2.88 decisions=20533, wrong=7745, backtracks=6447, failedAssignments=4965, nogoods=1082, foundSolutions=6, bestBound=8 4.87/2.88 4.87/2.89 num=79, depth=3..163, filters=62754, ccks=606, wck=0.532, mem=47M724 4.87/2.89 decisions=21636, wrong=8238, backtracks=6898, failedAssignments=5339, nogoods=1122, foundSolutions=6, bestBound=8 4.87/2.89 4.97/2.92 num=80, depth=1..91, filters=70804, ccks=606, wck=0.569, mem=47M724 4.97/2.92 decisions=23436, wrong=9114, backtracks=7692, failedAssignments=5750, nogoods=1154, foundSolutions=6, bestBound=8 4.97/2.92 4.97/2.94 num=81, depth=1..36, filters=74775, ccks=606, wck=0.585, mem=47M724 4.97/2.94 decisions=24916, wrong=9843, backtracks=8380, failedAssignments=6202, nogoods=1162, foundSolutions=6, bestBound=8 4.97/2.94 4.97/3.00 num=82, depth=10..32, filters=88349, ccks=606, wck=0.643, mem=47M724 4.97/3.00 decisions=26831, wrong=10793, backtracks=9269, failedAssignments=6699, nogoods=1168, foundSolutions=6, bestBound=8 4.97/3.00 5.08/3.05 num=83, depth=1..35, filters=101014, ccks=606, wck=0.699, mem=50M367 5.08/3.05 decisions=28837, wrong=11787, backtracks=10176, failedAssignments=7246, nogoods=1174, foundSolutions=6, bestBound=8 5.08/3.05 5.08/3.08 num=84, depth=1..157, filters=106570, ccks=606, wck=0.727, mem=50M367 5.08/3.08 decisions=30903, wrong=12758, backtracks=11039, failedAssignments=7848, nogoods=1207, foundSolutions=6, bestBound=8 5.08/3.08 5.08/3.10 num=85, depth=2..122, filters=109086, ccks=606, wck=0.743, mem=50M367 5.08/3.10 decisions=32823, wrong=13677, backtracks=11900, failedAssignments=8510, nogoods=1241, foundSolutions=6, bestBound=8 5.08/3.10 5.19/3.13 num=86, depth=3..118, filters=113955, ccks=606, wck=0.77, mem=50M367 5.19/3.13 decisions=35372, wrong=14910, backtracks=13073, failedAssignments=9238, nogoods=1271, foundSolutions=6, bestBound=8 5.19/3.13 5.19/3.15 num=87, depth=1..126, filters=119307, ccks=606, wck=0.798, mem=50M367 5.19/3.15 decisions=38313, wrong=16345, backtracks=14391, failedAssignments=10039, nogoods=1300, foundSolutions=6, bestBound=8 5.19/3.15 5.19/3.18 num=88, depth=2..70, filters=124666, ccks=606, wck=0.824, mem=50M367 5.19/3.18 decisions=40947, wrong=17641, backtracks=15658, failedAssignments=10920, nogoods=1318, foundSolutions=6, bestBound=8 5.19/3.18 5.19/3.19 o 7 5.19/3.19 num=89, depth=6..370, filters=126132, ccks=707, wck=0.834, mem=53M9 5.19/3.19 decisions=41832, wrong=18015, backtracks=16009, failedAssignments=11202, nogoods=1341, foundSolutions=7, bestBound=7 5.19/3.19 5.29/3.24 num=90, depth=3..81, filters=136352, ccks=707, wck=0.88, mem=53M9 5.29/3.24 decisions=45708, wrong=19930, backtracks=17770, failedAssignments=12269, nogoods=1354, foundSolutions=7, bestBound=7 5.29/3.24 5.29/3.24 num=91, depth=2..38, filters=136519, ccks=707, wck=0.881, mem=53M9 5.29/3.24 decisions=45758, wrong=19941, backtracks=17770, failedAssignments=12280, nogoods=1365, foundSolutions=7, bestBound=7 5.29/3.24 5.29/3.24 num=92, depth=2..46, filters=136719, ccks=707, wck=0.883, mem=53M9 5.29/3.24 decisions=45820, wrong=19955, backtracks=17774, failedAssignments=12292, nogoods=1375, foundSolutions=7, bestBound=7 5.29/3.24 5.29/3.24 num=93, depth=2..50, filters=136960, ccks=707, wck=0.884, mem=53M9 5.29/3.24 decisions=45886, wrong=19969, backtracks=17775, failedAssignments=12305, nogoods=1388, foundSolutions=7, bestBound=7 5.29/3.24 5.29/3.24 num=94, depth=2..53, filters=137176, ccks=707, wck=0.886, mem=53M9 5.29/3.24 decisions=45959, wrong=19985, backtracks=17778, failedAssignments=12319, nogoods=1401, foundSolutions=7, bestBound=7 5.29/3.24 5.29/3.24 num=95, depth=3..57, filters=137496, ccks=707, wck=0.888, mem=53M9 5.29/3.24 decisions=46037, wrong=20004, backtracks=17786, failedAssignments=12335, nogoods=1412, foundSolutions=7, bestBound=7 5.29/3.24 5.29/3.25 num=96, depth=3..52, filters=137732, ccks=707, wck=0.89, mem=53M9 5.29/3.25 decisions=46113, wrong=20022, backtracks=17792, failedAssignments=12352, nogoods=1424, foundSolutions=7, bestBound=7 5.29/3.25 5.29/3.25 num=97, depth=3..54, filters=138015, ccks=707, wck=0.892, mem=53M9 5.29/3.25 decisions=46204, wrong=20048, backtracks=17803, failedAssignments=12371, nogoods=1436, foundSolutions=7, bestBound=7 5.29/3.25 5.29/3.25 num=98, depth=3..77, filters=138277, ccks=707, wck=0.894, mem=53M9 5.29/3.25 decisions=46316, wrong=20073, backtracks=17812, failedAssignments=12392, nogoods=1452, foundSolutions=7, bestBound=7 5.29/3.25 5.29/3.25 num=99, depth=3..61, filters=138719, ccks=707, wck=0.896, mem=53M9 5.29/3.25 decisions=46418, wrong=20103, backtracks=17832, failedAssignments=12415, nogoods=1462, foundSolutions=7, bestBound=7 5.29/3.25 5.29/3.25 num=100, depth=3..60, filters=139133, ccks=707, wck=0.899, mem=53M9 5.29/3.25 decisions=46521, wrong=20135, backtracks=17852, failedAssignments=12440, nogoods=1474, foundSolutions=7, bestBound=7 5.29/3.25 5.29/3.26 num=101, depth=3..54, filters=139411, ccks=707, wck=0.901, mem=53M9 5.29/3.26 decisions=46654, wrong=20181, backtracks=17885, failedAssignments=12468, nogoods=1486, foundSolutions=7, bestBound=7 5.29/3.26 5.29/3.26 num=102, depth=11..75, filters=140089, ccks=707, wck=0.905, mem=53M9 5.29/3.26 decisions=46847, wrong=20244, backtracks=17939, failedAssignments=12499, nogoods=1495, foundSolutions=7, bestBound=7 5.29/3.26 5.29/3.26 num=103, depth=4..66, filters=140636, ccks=707, wck=0.908, mem=53M9 5.29/3.26 decisions=47004, wrong=20297, backtracks=17977, failedAssignments=12533, nogoods=1511, foundSolutions=7, bestBound=7 5.29/3.26 5.29/3.27 num=104, depth=4..64, filters=141353, ccks=707, wck=0.912, mem=53M9 5.29/3.27 decisions=47249, wrong=20398, backtracks=18064, failedAssignments=12570, nogoods=1521, foundSolutions=7, bestBound=7 5.29/3.27 5.29/3.27 num=105, depth=8..94, filters=141841, ccks=707, wck=0.915, mem=53M9 5.29/3.27 decisions=47450, wrong=20459, backtracks=18112, failedAssignments=12611, nogoods=1533, foundSolutions=7, bestBound=7 5.29/3.27 5.29/3.27 num=106, depth=7..99, filters=142210, ccks=707, wck=0.918, mem=53M9 5.29/3.27 decisions=47649, wrong=20520, backtracks=18154, failedAssignments=12656, nogoods=1551, foundSolutions=7, bestBound=7 5.29/3.27 5.29/3.28 num=107, depth=1..97, filters=142692, ccks=707, wck=0.921, mem=53M9 5.29/3.28 decisions=47874, wrong=20595, backtracks=18208, failedAssignments=12706, nogoods=1568, foundSolutions=7, bestBound=7 5.29/3.28 5.29/3.28 num=108, depth=1..102, filters=143151, ccks=707, wck=0.925, mem=53M9 5.29/3.28 decisions=48092, wrong=20665, backtracks=18257, failedAssignments=12761, nogoods=1589, foundSolutions=7, bestBound=7 5.29/3.28 5.29/3.28 num=109, depth=1..103, filters=143654, ccks=707, wck=0.928, mem=53M9 5.29/3.28 decisions=48338, wrong=20749, backtracks=18322, failedAssignments=12822, nogoods=1610, foundSolutions=7, bestBound=7 5.29/3.28 5.29/3.29 num=110, depth=1..106, filters=144198, ccks=707, wck=0.932, mem=53M9 5.29/3.29 decisions=48615, wrong=20848, backtracks=18399, failedAssignments=12889, nogoods=1631, foundSolutions=7, bestBound=7 5.29/3.29 5.29/3.29 num=111, depth=1..109, filters=144880, ccks=707, wck=0.937, mem=53M9 5.29/3.29 decisions=48920, wrong=20960, backtracks=18481, failedAssignments=12963, nogoods=1658, foundSolutions=7, bestBound=7 5.29/3.29 5.39/3.30 num=112, depth=1..104, filters=145624, ccks=707, wck=0.942, mem=53M9 5.39/3.30 decisions=49214, wrong=21067, backtracks=18565, failedAssignments=13044, nogoods=1679, foundSolutions=7, bestBound=7 5.39/3.30 5.39/3.30 num=113, depth=3..116, filters=146597, ccks=707, wck=0.947, mem=53M9 5.39/3.30 decisions=49545, wrong=21192, backtracks=18655, failedAssignments=13133, nogoods=1715, foundSolutions=7, bestBound=7 5.39/3.30 5.39/3.31 num=114, depth=3..97, filters=147700, ccks=707, wck=0.954, mem=53M9 5.39/3.31 decisions=49971, wrong=21368, backtracks=18806, failedAssignments=13231, nogoods=1736, foundSolutions=7, bestBound=7 5.39/3.31 5.39/3.32 num=115, depth=15..85, filters=148873, ccks=707, wck=0.96, mem=53M9 5.39/3.32 decisions=50363, wrong=21533, backtracks=18963, failedAssignments=13339, nogoods=1742, foundSolutions=7, bestBound=7 5.39/3.32 5.39/3.32 num=116, depth=3..105, filters=149899, ccks=707, wck=0.966, mem=53M9 5.39/3.32 decisions=50852, wrong=21735, backtracks=19137, failedAssignments=13458, nogoods=1761, foundSolutions=7, bestBound=7 5.39/3.32 5.39/3.33 num=117, depth=7..77, filters=151290, ccks=707, wck=0.973, mem=53M9 5.39/3.33 decisions=51372, wrong=21965, backtracks=19336, failedAssignments=13589, nogoods=1776, foundSolutions=7, bestBound=7 5.39/3.33 5.39/3.34 num=118, depth=13..69, filters=153277, ccks=707, wck=0.982, mem=53M9 5.39/3.34 decisions=51936, wrong=22220, backtracks=19571, failedAssignments=13733, nogoods=1790, foundSolutions=7, bestBound=7 5.39/3.34 5.39/3.35 num=119, depth=1..82, filters=155775, ccks=707, wck=0.995, mem=53M9 5.39/3.35 decisions=52494, wrong=22470, backtracks=19797, failedAssignments=13891, nogoods=1808, foundSolutions=7, bestBound=7 5.39/3.35 5.39/3.36 num=120, depth=5..83, filters=158085, ccks=707, wck=1.007, mem=55M652 5.39/3.36 decisions=53231, wrong=22808, backtracks=20107, failedAssignments=14065, nogoods=1830, foundSolutions=7, bestBound=7 5.39/3.36 5.39/3.37 num=121, depth=5..123, filters=159705, ccks=707, wck=1.016, mem=55M652 5.39/3.37 decisions=53871, wrong=23086, backtracks=20342, failedAssignments=14256, nogoods=1866, foundSolutions=7, bestBound=7 5.39/3.37 5.39/3.38 num=122, depth=1..104, filters=162127, ccks=707, wck=1.028, mem=55M652 5.39/3.38 decisions=54662, wrong=23443, backtracks=20662, failedAssignments=14467, nogoods=1890, foundSolutions=7, bestBound=7 5.39/3.38 5.53/3.41 num=123, depth=1..98, filters=167409, ccks=707, wck=1.054, mem=55M652 5.53/3.41 decisions=55609, wrong=23882, backtracks=21047, failedAssignments=14699, nogoods=1914, foundSolutions=7, bestBound=7 5.53/3.41 5.53/3.42 num=124, depth=1..57, filters=170776, ccks=707, wck=1.069, mem=55M652 5.53/3.42 decisions=56658, wrong=24390, backtracks=21519, failedAssignments=14954, nogoods=1925, foundSolutions=7, bestBound=7 5.53/3.42 5.53/3.44 num=125, depth=7..108, filters=173215, ccks=707, wck=1.081, mem=55M652 5.53/3.44 decisions=57558, wrong=24805, backtracks=21890, failedAssignments=15235, nogoods=1963, foundSolutions=7, bestBound=7 5.53/3.44 5.53/3.45 num=126, depth=1..153, filters=175077, ccks=707, wck=1.092, mem=55M652 5.53/3.45 decisions=58590, wrong=25263, backtracks=22315, failedAssignments=15544, nogoods=1997, foundSolutions=7, bestBound=7 5.53/3.45 5.53/3.46 num=127, depth=1..156, filters=176816, ccks=707, wck=1.103, mem=55M652 5.53/3.46 decisions=59639, wrong=25728, backtracks=22745, failedAssignments=15884, nogoods=2033, foundSolutions=7, bestBound=7 5.53/3.46 5.53/3.47 o 6 5.53/3.47 num=128, depth=1..370, filters=178616, ccks=808, wck=1.115, mem=55M652 5.53/3.47 decisions=60646, wrong=26163, backtracks=23132, failedAssignments=16209, nogoods=2076, foundSolutions=8, bestBound=6 5.53/3.47 5.53/3.48 num=129, depth=8..107, filters=180667, ccks=808, wck=1.128, mem=55M652 5.53/3.48 decisions=61944, wrong=26772, backtracks=23687, failedAssignments=16620, nogoods=2097, foundSolutions=8, bestBound=6 5.53/3.48 5.53/3.49 num=130, depth=1..40, filters=180853, ccks=808, wck=1.129, mem=55M652 5.53/3.49 decisions=61998, wrong=26784, backtracks=23688, failedAssignments=16631, nogoods=2108, foundSolutions=8, bestBound=6 5.53/3.49 5.53/3.49 num=131, depth=1..39, filters=181068, ccks=808, wck=1.131, mem=55M652 5.53/3.49 decisions=62069, wrong=26804, backtracks=23698, failedAssignments=16643, nogoods=2117, foundSolutions=8, bestBound=6 5.53/3.49 5.53/3.49 num=132, depth=1..40, filters=181334, ccks=808, wck=1.133, mem=55M652 5.53/3.49 decisions=62144, wrong=26830, backtracks=23714, failedAssignments=16656, nogoods=2126, foundSolutions=8, bestBound=6 5.53/3.49 5.53/3.49 num=133, depth=1..33, filters=181599, ccks=808, wck=1.135, mem=55M652 5.53/3.49 decisions=62209, wrong=26851, backtracks=23725, failedAssignments=16670, nogoods=2136, foundSolutions=8, bestBound=6 5.53/3.49 5.53/3.49 num=134, depth=1..44, filters=181801, ccks=808, wck=1.136, mem=55M652 5.53/3.49 decisions=62288, wrong=26876, backtracks=23741, failedAssignments=16686, nogoods=2144, foundSolutions=8, bestBound=6 5.53/3.49 5.53/3.49 num=135, depth=1..30, filters=182055, ccks=808, wck=1.138, mem=55M652 5.53/3.49 decisions=62373, wrong=26909, backtracks=23770, failedAssignments=16703, nogoods=2147, foundSolutions=8, bestBound=6 5.53/3.49 5.53/3.50 num=136, depth=1..75, filters=182307, ccks=808, wck=1.14, mem=55M652 5.53/3.50 decisions=62483, wrong=26932, backtracks=23781, failedAssignments=16722, nogoods=2159, foundSolutions=8, bestBound=6 5.53/3.50 5.72/3.50 num=137, depth=1..50, filters=182622, ccks=808, wck=1.143, mem=55M652 5.72/3.50 decisions=62603, wrong=26973, backtracks=23811, failedAssignments=16743, nogoods=2170, foundSolutions=8, bestBound=6 5.72/3.50 5.72/3.50 num=138, depth=3..48, filters=182867, ccks=808, wck=1.144, mem=55M652 5.72/3.50 decisions=62710, wrong=27010, backtracks=23839, failedAssignments=16766, nogoods=2177, foundSolutions=8, bestBound=6 5.72/3.50 5.72/3.50 num=139, depth=1..87, filters=183190, ccks=808, wck=1.147, mem=55M652 5.72/3.50 decisions=62848, wrong=27046, backtracks=23854, failedAssignments=16791, nogoods=2198, foundSolutions=8, bestBound=6 5.72/3.50 5.72/3.50 num=140, depth=1..57, filters=183506, ccks=808, wck=1.149, mem=55M652 5.72/3.50 decisions=62968, wrong=27086, backtracks=23879, failedAssignments=16819, nogoods=2213, foundSolutions=8, bestBound=6 5.72/3.50 5.72/3.51 num=141, depth=4..65, filters=183795, ccks=808, wck=1.152, mem=55M652 5.72/3.51 decisions=63110, wrong=27131, backtracks=23913, failedAssignments=16850, nogoods=2222, foundSolutions=8, bestBound=6 5.72/3.51 5.72/3.51 num=142, depth=1..64, filters=184147, ccks=808, wck=1.154, mem=55M652 5.72/3.51 decisions=63272, wrong=27188, backtracks=23955, failedAssignments=16884, nogoods=2237, foundSolutions=8, bestBound=6 5.72/3.51 5.72/3.51 num=143, depth=1..58, filters=184580, ccks=808, wck=1.157, mem=55M652 5.72/3.51 decisions=63445, wrong=27255, backtracks=24006, failedAssignments=16921, nogoods=2253, foundSolutions=8, bestBound=6 5.72/3.51 5.72/3.51 num=144, depth=19..27, filters=184855, ccks=808, wck=1.159, mem=55M652 5.72/3.51 decisions=63594, wrong=27319, backtracks=24067, failedAssignments=16962, nogoods=2256, foundSolutions=8, bestBound=6 5.72/3.51 5.72/3.52 num=145, depth=1..55, filters=185581, ccks=808, wck=1.163, mem=58M294 5.72/3.52 decisions=63774, wrong=27391, backtracks=24125, failedAssignments=17007, nogoods=2269, foundSolutions=8, bestBound=6 5.72/3.52 5.72/3.52 num=146, depth=4..36, filters=186063, ccks=808, wck=1.166, mem=58M294 5.72/3.52 decisions=63977, wrong=27478, backtracks=24198, failedAssignments=17057, nogoods=2277, foundSolutions=8, bestBound=6 5.72/3.52 5.72/3.53 num=147, depth=6..45, filters=186874, ccks=808, wck=1.17, mem=58M294 5.72/3.53 decisions=64219, wrong=27583, backtracks=24294, failedAssignments=17112, nogoods=2285, foundSolutions=8, bestBound=6 5.72/3.53 5.72/3.53 num=148, depth=20..35, filters=187634, ccks=808, wck=1.174, mem=58M294 5.72/3.53 decisions=64470, wrong=27694, backtracks=24393, failedAssignments=17173, nogoods=2291, foundSolutions=8, bestBound=6 5.72/3.53 5.72/3.54 num=149, depth=1..40, filters=188885, ccks=808, wck=1.18, mem=58M294 5.72/3.54 decisions=64740, wrong=27817, backtracks=24505, failedAssignments=17240, nogoods=2299, foundSolutions=8, bestBound=6 5.72/3.54 5.72/3.54 num=150, depth=1..44, filters=190060, ccks=808, wck=1.186, mem=58M294 5.72/3.54 decisions=65079, wrong=27971, backtracks=24647, failedAssignments=17314, nogoods=2306, foundSolutions=8, bestBound=6 5.72/3.54 5.72/3.55 num=151, depth=8..40, filters=191877, ccks=808, wck=1.194, mem=58M294 5.72/3.55 decisions=65454, wrong=28145, backtracks=24811, failedAssignments=17395, nogoods=2311, foundSolutions=8, bestBound=6 5.72/3.55 5.72/3.56 num=152, depth=1..91, filters=193247, ccks=808, wck=1.202, mem=58M294 5.72/3.56 decisions=65767, wrong=28272, backtracks=24910, failedAssignments=17484, nogoods=2338, foundSolutions=8, bestBound=6 5.72/3.56 5.72/3.57 num=153, depth=28..44, filters=195061, ccks=808, wck=1.21, mem=58M294 5.72/3.57 decisions=66217, wrong=28480, backtracks=25101, failedAssignments=17582, nogoods=2342, foundSolutions=8, bestBound=6 5.72/3.57 5.72/3.58 num=154, depth=1..47, filters=197681, ccks=808, wck=1.222, mem=58M294 5.72/3.58 decisions=66657, wrong=28686, backtracks=25287, failedAssignments=17690, nogoods=2359, foundSolutions=8, bestBound=6 5.72/3.58 5.72/3.59 num=155, depth=10..40, filters=200433, ccks=808, wck=1.235, mem=58M294 5.72/3.59 decisions=67229, wrong=28960, backtracks=25536, failedAssignments=17809, nogoods=2365, foundSolutions=8, bestBound=6 5.72/3.59 5.88/3.60 num=156, depth=1..83, filters=203137, ccks=808, wck=1.248, mem=58M294 5.88/3.60 decisions=67863, wrong=29248, backtracks=25782, failedAssignments=17940, nogoods=2391, foundSolutions=8, bestBound=6 5.88/3.60 5.88/3.61 num=157, depth=1..64, filters=204643, ccks=808, wck=1.256, mem=58M294 5.88/3.61 decisions=68404, wrong=29494, backtracks=26002, failedAssignments=18084, nogoods=2404, foundSolutions=8, bestBound=6 5.88/3.61 5.88/3.62 num=158, depth=1..78, filters=206034, ccks=808, wck=1.263, mem=58M294 5.88/3.62 decisions=68934, wrong=29734, backtracks=26212, failedAssignments=18242, nogoods=2427, foundSolutions=8, bestBound=6 5.88/3.62 5.88/3.63 num=159, depth=1..43, filters=207713, ccks=808, wck=1.272, mem=58M294 5.88/3.63 decisions=69571, wrong=30041, backtracks=26495, failedAssignments=18416, nogoods=2439, foundSolutions=8, bestBound=6 5.88/3.63 5.88/3.65 num=160, depth=1..49, filters=211810, ccks=808, wck=1.29, mem=58M294 5.88/3.65 decisions=70483, wrong=30482, backtracks=26884, failedAssignments=18607, nogoods=2454, foundSolutions=8, bestBound=6 5.88/3.65 5.88/3.65 num=161, depth=11..63, filters=213430, ccks=808, wck=1.298, mem=58M294 5.88/3.65 decisions=71199, wrong=30814, backtracks=27203, failedAssignments=18818, nogoods=2462, foundSolutions=8, bestBound=6 5.88/3.65 5.88/3.66 num=162, depth=33..63, filters=215263, ccks=808, wck=1.307, mem=58M294 5.88/3.66 decisions=72071, wrong=31223, backtracks=27591, failedAssignments=19050, nogoods=2468, foundSolutions=8, bestBound=6 5.88/3.66 5.88/3.67 num=163, depth=6..60, filters=217246, ccks=808, wck=1.317, mem=60M936 5.88/3.67 decisions=72932, wrong=31631, backtracks=27985, failedAssignments=19305, nogoods=2477, foundSolutions=8, bestBound=6 5.88/3.67 5.88/3.68 num=164, depth=6..92, filters=219245, ccks=808, wck=1.327, mem=60M936 5.88/3.68 decisions=73907, wrong=32089, backtracks=28365, failedAssignments=19586, nogoods=2497, foundSolutions=8, bestBound=6 5.88/3.68 5.98/3.70 num=165, depth=2..72, filters=222429, ccks=808, wck=1.342, mem=60M936 5.98/3.70 decisions=75053, wrong=32639, backtracks=28868, failedAssignments=19895, nogoods=2514, foundSolutions=8, bestBound=6 5.98/3.70 5.98/3.72 num=166, depth=1..76, filters=226891, ccks=808, wck=1.364, mem=60M936 5.98/3.72 decisions=76413, wrong=33297, backtracks=29500, failedAssignments=20235, nogoods=2539, foundSolutions=8, bestBound=6 5.98/3.72 5.98/3.74 num=167, depth=7..67, filters=230895, ccks=808, wck=1.383, mem=60M936 5.98/3.74 decisions=77928, wrong=34031, backtracks=30201, failedAssignments=20609, nogoods=2553, foundSolutions=8, bestBound=6 5.98/3.74 5.98/3.76 num=168, depth=1..87, filters=235466, ccks=808, wck=1.405, mem=60M936 5.98/3.76 decisions=79270, wrong=34678, backtracks=30791, failedAssignments=21020, nogoods=2582, foundSolutions=8, bestBound=6 5.98/3.76 5.98/3.78 num=169, depth=5..75, filters=240341, ccks=808, wck=1.427, mem=60M936 5.98/3.78 decisions=80973, wrong=35505, backtracks=31572, failedAssignments=21472, nogoods=2605, foundSolutions=8, bestBound=6 5.98/3.78 6.13/3.81 num=170, depth=1..73, filters=247049, ccks=808, wck=1.459, mem=60M936 6.13/3.81 decisions=82654, wrong=36325, backtracks=32348, failedAssignments=21969, nogoods=2626, foundSolutions=8, bestBound=6 6.13/3.81 6.13/3.85 num=171, depth=4..103, filters=254207, ccks=808, wck=1.491, mem=60M936 6.13/3.85 decisions=84488, wrong=37209, backtracks=33179, failedAssignments=22516, nogoods=2658, foundSolutions=8, bestBound=6 6.13/3.85 6.13/3.88 num=172, depth=1..73, filters=260921, ccks=808, wck=1.52, mem=63M579 6.13/3.88 decisions=86503, wrong=38193, backtracks=34086, failedAssignments=23118, nogoods=2676, foundSolutions=8, bestBound=6 6.13/3.88 6.23/3.90 num=173, depth=3..123, filters=266299, ccks=808, wck=1.548, mem=63M579 6.23/3.90 decisions=88820, wrong=39306, backtracks=35124, failedAssignments=23780, nogoods=2706, foundSolutions=8, bestBound=6 6.23/3.90 6.23/3.92 num=174, depth=1..64, filters=268549, ccks=808, wck=1.56, mem=63M579 6.23/3.92 decisions=90780, wrong=40265, backtracks=36058, failedAssignments=24508, nogoods=2725, foundSolutions=8, bestBound=6 6.23/3.92 6.23/3.97 num=175, depth=3..91, filters=280161, ccks=808, wck=1.616, mem=63M579 6.23/3.97 decisions=94093, wrong=41890, backtracks=37629, failedAssignments=25309, nogoods=2756, foundSolutions=8, bestBound=6 6.23/3.97 6.34/4.01 num=176, depth=5..156, filters=286788, ccks=808, wck=1.652, mem=63M579 6.34/4.01 decisions=97436, wrong=43501, backtracks=39201, failedAssignments=26190, nogoods=2791, foundSolutions=8, bestBound=6 6.34/4.01 6.34/4.07 num=177, depth=6..76, filters=300417, ccks=808, wck=1.715, mem=66M221 6.34/4.07 decisions=100915, wrong=45215, backtracks=40829, failedAssignments=27160, nogoods=2810, foundSolutions=8, bestBound=6 6.34/4.07 6.46/4.14 num=178, depth=4..65, filters=315280, ccks=808, wck=1.781, mem=66M221 6.46/4.14 decisions=104567, wrong=47023, backtracks=42520, failedAssignments=28227, nogoods=2827, foundSolutions=8, bestBound=6 6.46/4.14 6.46/4.19 num=179, depth=8..66, filters=326087, ccks=808, wck=1.833, mem=66M221 6.46/4.19 decisions=109055, wrong=49244, backtracks=44652, failedAssignments=29400, nogoods=2842, foundSolutions=8, bestBound=6 6.46/4.19 6.56/4.25 num=180, depth=4..132, filters=336843, ccks=808, wck=1.897, mem=66M221 6.56/4.25 decisions=115454, wrong=52393, backtracks=47760, failedAssignments=30691, nogoods=2867, foundSolutions=8, bestBound=6 6.56/4.25 6.67/4.33 num=181, depth=5..134, filters=353473, ccks=808, wck=1.977, mem=68M864 6.67/4.33 decisions=121103, wrong=55164, backtracks=50339, failedAssignments=32111, nogoods=2896, foundSolutions=8, bestBound=6 6.67/4.33 6.77/4.41 num=182, depth=2..140, filters=366568, ccks=808, wck=2.049, mem=68M864 6.77/4.41 decisions=126966, wrong=58043, backtracks=53045, failedAssignments=33673, nogoods=2928, foundSolutions=8, bestBound=6 6.77/4.41 6.87/4.51 num=183, depth=2..149, filters=386547, ccks=808, wck=2.152, mem=71M506 6.87/4.51 decisions=135195, wrong=62112, backtracks=56972, failedAssignments=35391, nogoods=2958, foundSolutions=8, bestBound=6 6.87/4.51 6.97/4.62 num=184, depth=11..110, filters=411494, ccks=808, wck=2.268, mem=71M506 6.97/4.62 decisions=141679, wrong=65308, backtracks=59996, failedAssignments=37281, nogoods=2975, foundSolutions=8, bestBound=6 6.97/4.62 6.97/4.70 num=185, depth=1..118, filters=425698, ccks=808, wck=2.34, mem=71M506 6.97/4.70 decisions=149169, wrong=69007, backtracks=63508, failedAssignments=39360, nogoods=2998, foundSolutions=8, bestBound=6 6.97/4.70 7.18/4.83 num=186, depth=6..77, filters=455119, ccks=808, wck=2.469, mem=74M149 7.18/4.83 decisions=157332, wrong=73066, backtracks=67383, failedAssignments=41647, nogoods=3025, foundSolutions=8, bestBound=6 7.18/4.83 7.28/4.94 num=187, depth=4..91, filters=482065, ccks=808, wck=2.587, mem=76M791 7.28/4.94 decisions=165945, wrong=77345, backtracks=71234, failedAssignments=44163, nogoods=3050, foundSolutions=8, bestBound=6 7.28/4.94 7.39/5.10 num=188, depth=1..65, filters=517646, ccks=808, wck=2.742, mem=76M791 7.39/5.10 decisions=176867, wrong=82787, backtracks=76384, failedAssignments=46931, nogoods=3065, foundSolutions=8, bestBound=6 7.39/5.10 7.58/5.22 num=189, depth=1..131, filters=539068, ccks=808, wck=2.864, mem=79M434 7.58/5.22 decisions=189041, wrong=88826, backtracks=82048, failedAssignments=49975, nogoods=3096, foundSolutions=8, bestBound=6 7.58/5.22 7.58/5.29 num=190, depth=1..115, filters=551535, ccks=808, wck=2.938, mem=79M434 7.58/5.29 decisions=199428, wrong=93980, backtracks=87095, failedAssignments=53324, nogoods=3119, foundSolutions=8, bestBound=6 7.58/5.29 7.78/5.47 num=191, depth=2..129, filters=584859, ccks=808, wck=3.111, mem=82M76 7.78/5.47 decisions=214128, wrong=101291, backtracks=94132, failedAssignments=57008, nogoods=3159, foundSolutions=8, bestBound=6 7.78/5.47 7.88/5.59 num=192, depth=2..153, filters=607247, ccks=808, wck=3.235, mem=84M718 7.88/5.59 decisions=230215, wrong=109278, backtracks=101884, failedAssignments=61060, nogoods=3198, foundSolutions=8, bestBound=6 7.88/5.59 8.08/5.73 num=193, depth=1..62, filters=634265, ccks=808, wck=3.373, mem=84M718 8.08/5.73 decisions=243988, wrong=116145, backtracks=108643, failedAssignments=65517, nogoods=3212, foundSolutions=8, bestBound=6 8.08/5.73 8.18/5.84 num=194, depth=2..61, filters=653240, ccks=808, wck=3.481, mem=87M361 8.18/5.84 decisions=261012, wrong=124639, backtracks=116974, failedAssignments=70420, nogoods=3230, foundSolutions=8, bestBound=6 8.18/5.84 8.39/6.05 num=195, depth=5..133, filters=693232, ccks=808, wck=3.69, mem=90M3 8.39/6.05 decisions=279979, wrong=134082, backtracks=125347, failedAssignments=75814, nogoods=3255, foundSolutions=8, bestBound=6 8.39/6.05 8.78/6.49 num=196, depth=5..161, filters=779521, ccks=808, wck=4.137, mem=95M288 8.78/6.49 decisions=307865, wrong=147969, backtracks=138155, failedAssignments=81747, nogoods=3297, foundSolutions=8, bestBound=6 8.78/6.49 9.08/6.73 num=197, depth=5..111, filters=823835, ccks=808, wck=4.378, mem=97M931 9.08/6.73 decisions=331314, wrong=159654, backtracks=149482, failedAssignments=88273, nogoods=3323, foundSolutions=8, bestBound=6 9.08/6.73 9.28/6.96 num=198, depth=4..109, filters=868017, ccks=808, wck=4.606, mem=100M573 9.28/6.96 decisions=355514, wrong=171721, backtracks=160133, failedAssignments=95452, nogoods=3361, foundSolutions=8, bestBound=6 9.28/6.96 9.68/7.37 num=199, depth=5..136, filters=952934, ccks=808, wck=5.018, mem=103M216 9.68/7.37 decisions=383908, wrong=185875, backtracks=172688, failedAssignments=103349, nogoods=3395, foundSolutions=8, bestBound=6 9.68/7.37 10.19/7.85 num=200, depth=7..76, filters=1060603, ccks=808, wck=5.496, mem=111M143 10.19/7.85 decisions=415165, wrong=201478, backtracks=187680, failedAssignments=112036, nogoods=3412, foundSolutions=8, bestBound=6 10.19/7.85 10.58/8.20 num=201, depth=3..91, filters=1138378, ccks=808, wck=5.848, mem=116M428 10.58/8.20 decisions=448650, wrong=218191, backtracks=201995, failedAssignments=121591, nogoods=3436, foundSolutions=8, bestBound=6 10.58/8.20 11.08/8.76 num=202, depth=6..168, filters=1248702, ccks=808, wck=6.401, mem=121M713 11.08/8.76 decisions=493424, wrong=240530, backtracks=222843, failedAssignments=132102, nogoods=3469, foundSolutions=8, bestBound=6 11.08/8.76 11.78/9.43 num=203, depth=5..143, filters=1370266, ccks=808, wck=7.079, mem=126M998 11.78/9.43 decisions=549195, wrong=268370, backtracks=249061, failedAssignments=143664, nogoods=3505, foundSolutions=8, bestBound=6 11.78/9.43 12.18/9.83 num=204, depth=3..134, filters=1440972, ccks=808, wck=7.476, mem=132M283 12.18/9.83 decisions=599830, wrong=293646, backtracks=273724, failedAssignments=156382, nogoods=3545, foundSolutions=8, bestBound=6 12.18/9.83 12.78/10.43 num=205, depth=7..111, filters=1555192, ccks=808, wck=8.074, mem=137M567 12.78/10.43 decisions=654377, wrong=320879, backtracks=300007, failedAssignments=170372, nogoods=3569, foundSolutions=8, bestBound=6 12.78/10.43 13.53/11.12 num=206, depth=4..119, filters=1682913, ccks=808, wck=8.763, mem=23M936 13.53/11.12 decisions=716684, wrong=351990, backtracks=326938, failedAssignments=185761, nogoods=3599, foundSolutions=8, bestBound=6 13.53/11.12 13.92/11.52 num=207, depth=4..91, filters=1753104, ccks=808, wck=9.165, mem=31M784 13.92/11.52 decisions=771776, wrong=379511, backtracks=353841, failedAssignments=202689, nogoods=3612, foundSolutions=8, bestBound=6 13.92/11.52 14.43/12.08 num=208, depth=1..122, filters=1856813, ccks=808, wck=9.724, mem=37M16 14.43/12.08 decisions=839885, wrong=413522, backtracks=387018, failedAssignments=221310, nogoods=3638, foundSolutions=8, bestBound=6 14.43/12.08 15.12/12.74 num=209, depth=1..111, filters=1980948, ccks=808, wck=10.386, mem=47M480 15.12/12.74 decisions=908523, wrong=447810, backtracks=417756, failedAssignments=241794, nogoods=3659, foundSolutions=8, bestBound=6 15.12/12.74 15.94/13.58 num=210, depth=1..103, filters=2142017, ccks=808, wck=11.228, mem=55M328 15.94/13.58 decisions=1005860, wrong=496450, backtracks=464082, failedAssignments=264326, nogoods=3678, foundSolutions=8, bestBound=6 15.94/13.58 17.55/15.18 num=211, depth=1..126, filters=2441513, ccks=808, wck=12.827, mem=68M408 17.55/15.18 decisions=1118768, wrong=552862, backtracks=518366, failedAssignments=289111, nogoods=3709, foundSolutions=8, bestBound=6 17.55/15.18 18.34/15.98 num=212, depth=34..111, filters=2587672, ccks=808, wck=13.628, mem=78M872 18.34/15.98 decisions=1207516, wrong=597196, backtracks=560238, failedAssignments=316375, nogoods=3721, foundSolutions=8, bestBound=6 18.34/15.98 19.24/16.87 num=213, depth=8..112, filters=2773437, ccks=808, wck=14.512, mem=94M568 19.24/16.87 decisions=1303048, wrong=644931, backtracks=602953, failedAssignments=346365, nogoods=3739, foundSolutions=8, bestBound=6 19.24/16.87 20.24/17.83 num=214, depth=1..128, filters=2956102, ccks=808, wck=15.472, mem=107M648 20.24/17.83 decisions=1423607, wrong=705166, backtracks=662033, failedAssignments=379354, nogoods=3777, foundSolutions=8, bestBound=6 20.24/17.83 22.64/20.20 num=215, depth=8..119, filters=3410215, ccks=808, wck=17.846, mem=128M576 22.64/20.20 decisions=1583625, wrong=785132, backtracks=737621, failedAssignments=415642, nogoods=3804, foundSolutions=8, bestBound=6 22.64/20.20 24.24/21.86 num=216, depth=1..124, filters=3732453, ccks=808, wck=19.503, mem=144M272 24.24/21.86 decisions=1748201, wrong=867379, backtracks=810295, failedAssignments=455559, nogoods=3827, foundSolutions=8, bestBound=6 24.24/21.86 25.67/23.28 num=217, depth=1..133, filters=4003449, ccks=808, wck=20.926, mem=29M236 25.67/23.28 decisions=1903775, wrong=945120, backtracks=884953, failedAssignments=499468, nogoods=3861, foundSolutions=8, bestBound=6 25.67/23.28 27.67/25.27 num=218, depth=1..125, filters=4425303, ccks=808, wck=22.91, mem=52M864 27.67/25.27 decisions=2059725, wrong=1023061, backtracks=953747, failedAssignments=547768, nogoods=3890, foundSolutions=8, bestBound=6 27.67/25.27 28.97/26.54 num=219, depth=5..100, filters=4653628, ccks=808, wck=24.189, mem=71M240 28.97/26.54 decisions=2260414, wrong=1123370, backtracks=1052203, failedAssignments=600898, nogoods=3915, foundSolutions=8, bestBound=6 28.97/26.54 30.67/28.29 num=220, depth=1..125, filters=4984105, ccks=808, wck=25.932, mem=94M868 30.67/28.29 decisions=2451204, wrong=1218719, backtracks=1143841, failedAssignments=659341, nogoods=3940, foundSolutions=8, bestBound=6 30.67/28.29 33.77/31.37 num=221, depth=1..134, filters=5575282, ccks=808, wck=29.011, mem=126M371 33.77/31.37 decisions=2688625, wrong=1337389, backtracks=1259010, failedAssignments=723628, nogoods=3974, foundSolutions=8, bestBound=6 33.77/31.37 36.30/33.83 num=222, depth=2..125, filters=6066960, ccks=808, wck=31.47, mem=29M295 36.30/33.83 decisions=2912925, wrong=1449495, backtracks=1358851, failedAssignments=794344, nogoods=3999, foundSolutions=8, bestBound=6 36.30/33.83 40.40/38.00 num=223, depth=1..131, filters=6889731, ccks=808, wck=35.64, mem=66M133 40.40/38.00 decisions=3200144, wrong=1593060, backtracks=1496576, failedAssignments=872131, nogoods=4025, foundSolutions=8, bestBound=6 40.40/38.00 43.20/40.74 num=224, depth=2..128, filters=7436018, ccks=808, wck=38.385, mem=102M971 43.20/40.74 decisions=3490301, wrong=1738098, backtracks=1629994, failedAssignments=957697, nogoods=4055, foundSolutions=8, bestBound=6 43.20/40.74 46.11/43.68 num=225, depth=1..131, filters=7997070, ccks=808, wck=41.327, mem=139M808 46.11/43.68 decisions=3800064, wrong=1892939, backtracks=1778708, failedAssignments=1051820, nogoods=4085, foundSolutions=8, bestBound=6 46.11/43.68 50.24/47.79 num=226, depth=5..122, filters=8812740, ccks=808, wck=45.438, mem=57M807 50.24/47.79 decisions=4145669, wrong=2065698, backtracks=1946242, failedAssignments=1155355, nogoods=4105, foundSolutions=8, bestBound=6 50.24/47.79 55.34/52.85 num=227, depth=1..150, filters=9762493, ccks=808, wck=50.496, mem=109M673 55.34/52.85 decisions=4514297, wrong=2249964, backtracks=2110859, failedAssignments=1269244, nogoods=4154, foundSolutions=8, bestBound=6 55.34/52.85 59.38/56.88 num=228, depth=3..126, filters=10524257, ccks=808, wck=54.523, mem=34M237 59.38/56.88 decisions=4901001, wrong=2443274, backtracks=2290759, failedAssignments=1394522, nogoods=4177, foundSolutions=8, bestBound=6 59.38/56.88 65.09/62.57 num=229, depth=7..127, filters=11549985, ccks=808, wck=60.216, mem=100M640 65.09/62.57 decisions=5330295, wrong=2657879, backtracks=2491676, failedAssignments=1532328, nogoods=4191, foundSolutions=8, bestBound=6 65.09/62.57 71.72/69.17 num=230, depth=6..118, filters=12811118, ccks=808, wck=66.817, mem=41M609 71.72/69.17 decisions=5851426, wrong=2918403, backtracks=2731743, failedAssignments=1683914, nogoods=4214, foundSolutions=8, bestBound=6 71.72/69.17 79.22/76.70 num=231, depth=4..131, filters=14170693, ccks=808, wck=74.341, mem=114M505 79.22/76.70 decisions=6472723, wrong=3229014, backtracks=3024527, failedAssignments=1850659, nogoods=4247, foundSolutions=8, bestBound=6 79.22/76.70 83.35/80.77 num=232, depth=51..104, filters=14888431, ccks=808, wck=78.419, mem=56M111 83.35/80.77 decisions=7058998, wrong=3522116, backtracks=3303606, failedAssignments=2034078, nogoods=4264, foundSolutions=8, bestBound=6 83.35/80.77 87.85/85.26 num=233, depth=5..71, filters=15698920, ccks=808, wck=82.902, mem=125M348 87.85/85.26 decisions=7742351, wrong=3863773, backtracks=3634545, failedAssignments=2235839, nogoods=4276, foundSolutions=8, bestBound=6 87.85/85.26 93.96/91.38 num=234, depth=4..107, filters=16793218, ccks=808, wck=89.025, mem=72M652 93.96/91.38 decisions=8682570, wrong=4333843, backtracks=4092644, failedAssignments=2457777, nogoods=4291, foundSolutions=8, bestBound=6 93.96/91.38 104.37/101.73 num=235, depth=3..110, filters=18805767, ccks=808, wck=99.376, mem=69M390 104.37/101.73 decisions=9591194, wrong=4788117, backtracks=4530467, failedAssignments=2701908, nogoods=4310, foundSolutions=8, bestBound=6 104.37/101.73 107.78/105.18 o 5 107.78/105.18 num=236, depth=3..370, filters=19430665, ccks=909, wck=102.825, mem=117M190 107.78/105.18 decisions=9962515, wrong=4973716, backtracks=4687433, failedAssignments=2814049, nogoods=4361, foundSolutions=9, bestBound=5 107.78/105.18 107.78/105.18 Global 107.78/105.18 filters=19430665, ccks=909, nogoods=4361 107.78/105.18 Stop=FULL_EXPLORATION, wrong=4973716, bestBound=5, bestBoundWck=103.196, bestBoundCpu=104.927, foundSolutions=9, firstSolCpu=2.258 107.78/105.18 wck=103.197, cpu=104.929, mem=117M190 107.78/105.18 107.78/105.18 v <instantiation id='sol9' type='solution' cost='5'> <list> z x[][] </list> <values> 5 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 </values> </instantiation> 107.78/105.18 s OPTIMUM FOUND 107.78/105.18 107.78/105.18 d WRONG_DECISIONS 4973716 107.78/105.18 d NUMBER_SOLUTIONS 9
OK 5
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 (9369 MiB free) memory of node 1: 16384 MiB (13747 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391147-1568389012/watcher-4391147-1568389012 -o /tmp/evaluation-result-4391147-1568389012/solver-4391147-1568389012 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568388843-13118 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391147-1568389012.xml -cm running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=13406, runsolver pid=13403 [startup+0.100078 s]* /proc/loadavg: 1.77 1.64 1.78 4/229 13421 /proc/meminfo: memFree=23658040/32770624 swapFree=66939836/67108860 [pid=13406] ppid=13403 vsize=10659884 memory=26484 CPUtime=0.14 cores=0,2,4,6 /proc/13406/stat : 13406 (java) S 13403 13406 10765 0 -1 1077944320 5623 0 0 0 13 1 0 0 20 0 15 0 414816119 10915721216 6621 33554432000 4194304 4196468 140730859614704 140730859597248 140538675207927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 /proc/13406/statm: 2664971 6621 2903 1 0 2627468 0 [pid=13406/tid=13408] ppid=13403 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6 /proc/13406/task/13408/stat : 13408 (java) R 13403 13406 10765 0 -1 4202560 3269 0 0 0 8 1 0 0 20 0 15 0 414816120 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538679430688 140538675229853 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13409] ppid=13403 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13409/stat : 13409 (java) S 13403 13406 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538282379664 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13410] ppid=13403 vsize=10659884 memory=139886488639104 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13410/stat : 13410 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538281326864 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13411] ppid=13403 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13411/stat : 13411 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538280274576 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13412] ppid=13403 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13412/stat : 13412 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538279221776 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13413] ppid=13403 vsize=10659884 memory=139886488639104 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13413/stat : 13413 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816122 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538167249520 140538675219074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13414] ppid=13403 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13414/stat : 13414 (java) S 13403 13406 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414816122 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538166195488 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13415] ppid=13403 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13415/stat : 13415 (java) S 13403 13406 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414816123 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538165143152 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13416] ppid=13403 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13416/stat : 13416 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538164091472 140538675226523 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13417] ppid=13403 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13417/stat : 13417 (java) S 13403 13406 10765 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538163038320 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13418] ppid=13403 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13418/stat : 13418 (java) R 13403 13406 10765 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538161978752 140538675218133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13419] ppid=13403 vsize=10659884 memory=139886488639104 CPUtime=0.02 cores=0,2,4,6 /proc/13406/task/13419/stat : 13419 (java) R 13403 13406 10765 0 -1 4202560 468 0 0 0 2 0 0 0 20 0 15 0 414816125 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538160929144 140538652432080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13420] ppid=13403 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13420/stat : 13420 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538159880672 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13421] ppid=13403 vsize=10659884 memory=139886488639104 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13421/stat : 13421 (java) S 13403 13406 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 6621 33554432000 4194304 4196468 140730859614704 140538158828464 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 26484 KiB [startup+0.210767 s]* /proc/loadavg: 1.77 1.64 1.78 4/229 13421 /proc/meminfo: memFree=23646416/32770624 swapFree=66939836/67108860 [pid=13406] ppid=13403 vsize=10659884 memory=36316 CPUtime=0.33 cores=0,2,4,6 /proc/13406/stat : 13406 (java) S 13403 13406 10765 0 -1 1077944320 9355 0 0 0 30 3 0 0 20 0 15 0 414816119 10915721216 9079 33554432000 4194304 4196468 140730859614704 140730859597248 140538675207927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 /proc/13406/statm: 2664971 9079 2989 1 0 2627468 0 [pid=13406/tid=13408] ppid=13403 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/13406/task/13408/stat : 13408 (java) R 13403 13406 10765 0 -1 4202560 6172 0 0 0 18 2 0 0 20 0 15 0 414816120 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538679434288 140538675229853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13409] ppid=13403 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13409/stat : 13409 (java) S 13403 13406 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538282379664 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13410] ppid=13403 vsize=10659884 memory=139886488652480 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13410/stat : 13410 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538281326864 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13411] ppid=13403 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13411/stat : 13411 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538280274576 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13412] ppid=13403 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13412/stat : 13412 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538279221776 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13413] ppid=13403 vsize=10659884 memory=139886488639104 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13413/stat : 13413 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816122 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538167249520 140538675219074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13414] ppid=13403 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13414/stat : 13414 (java) S 13403 13406 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414816122 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538166195488 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13415] ppid=13403 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13415/stat : 13415 (java) S 13403 13406 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414816123 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538165143152 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13416] ppid=13403 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13416/stat : 13416 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538164091472 140538675226523 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13417] ppid=13403 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/13406/task/13417/stat : 13417 (java) S 13403 13406 10765 0 -1 1077944384 690 0 0 0 3 0 0 0 20 0 15 0 414816125 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538163038320 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13418] ppid=13403 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/13406/task/13418/stat : 13418 (java) S 13403 13406 10765 0 -1 1077944384 304 0 0 0 2 0 0 0 20 0 15 0 414816125 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538161985520 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13419] ppid=13403 vsize=10659884 memory=139886488639104 CPUtime=0.05 cores=0,2,4,6 /proc/13406/task/13419/stat : 13419 (java) S 13403 13406 10765 0 -1 1077944384 828 0 0 0 5 0 0 0 20 0 15 0 414816125 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538160933232 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13420] ppid=13403 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13420/stat : 13420 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538159880672 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13421] ppid=13403 vsize=10659884 memory=139886488639104 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13421/stat : 13421 (java) S 13403 13406 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 9079 33554432000 4194304 4196468 140730859614704 140538158828464 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 36316 KiB [startup+0.311074 s]* /proc/loadavg: 1.77 1.64 1.78 4/229 13421 /proc/meminfo: memFree=23643748/32770624 swapFree=66939836/67108860 [pid=13406] ppid=13403 vsize=10659884 memory=39384 CPUtime=0.48 cores=0,2,4,6 /proc/13406/stat : 13406 (java) S 13403 13406 10765 0 -1 1077944320 9590 0 0 0 45 3 0 0 20 0 15 0 414816119 10915721216 9846 33554432000 4194304 4196468 140730859614704 140730859597248 140538675207927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 /proc/13406/statm: 2664971 9846 3033 1 0 2627468 0 [pid=13406/tid=13408] ppid=13403 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6 /proc/13406/task/13408/stat : 13408 (java) R 13403 13406 10765 0 -1 4202560 6302 0 0 0 28 2 0 0 20 0 15 0 414816120 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538679446912 140538675229853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13409] ppid=13403 vsize=10659884 memory=10528 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13409/stat : 13409 (java) S 13403 13406 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538282379664 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13410] ppid=13403 vsize=10659884 memory=139886488652479 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13410/stat : 13410 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538281326864 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13411] ppid=13403 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13411/stat : 13411 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538280274576 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13412] ppid=13403 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13412/stat : 13412 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538279221776 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13413] ppid=13403 vsize=10659884 memory=139886488639104 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13413/stat : 13413 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816122 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538167249520 140538675219074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13414] ppid=13403 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13414/stat : 13414 (java) S 13403 13406 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414816122 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538166195488 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13415] ppid=13403 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13415/stat : 13415 (java) S 13403 13406 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414816123 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538165143152 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13416] ppid=13403 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13416/stat : 13416 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538164091472 140538675226523 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13417] ppid=13403 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6 /proc/13406/task/13417/stat : 13417 (java) S 13403 13406 10765 0 -1 1077944384 730 0 0 0 5 0 0 0 20 0 15 0 414816125 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538163038320 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13418] ppid=13403 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6 /proc/13406/task/13418/stat : 13418 (java) S 13403 13406 10765 0 -1 1077944384 321 0 0 0 3 0 0 0 20 0 15 0 414816125 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538161985520 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13419] ppid=13403 vsize=10659884 memory=139886488639104 CPUtime=0.08 cores=0,2,4,6 /proc/13406/task/13419/stat : 13419 (java) R 13403 13406 10765 0 -1 4202560 881 0 0 0 8 0 0 0 20 0 15 0 414816125 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538160933232 140538668304763 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13420] ppid=13403 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13420/stat : 13420 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538159880672 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13421] ppid=13403 vsize=10659884 memory=139886488639104 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13421/stat : 13421 (java) S 13403 13406 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 9846 33554432000 4194304 4196468 140730859614704 140538158828464 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 39384 KiB [startup+0.701138 s] /proc/loadavg: 1.77 1.64 1.78 4/229 13421 /proc/meminfo: memFree=23633300/32770624 swapFree=66939836/67108860 [pid=13406] ppid=13403 vsize=10659884 memory=54128 CPUtime=0.91 cores=0,2,4,6 /proc/13406/stat : 13406 (java) S 13403 13406 10765 0 -1 1077944320 12597 0 0 0 86 5 0 0 20 0 15 0 414816119 10915721216 13532 33554432000 4194304 4196468 140730859614704 140730859597248 140538675207927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 /proc/13406/statm: 2664971 13532 3058 1 0 2627468 0 [pid=13406/tid=13408] ppid=13403 vsize=10659884 memory=14056 CPUtime=0.56 cores=0,2,4,6 /proc/13406/task/13408/stat : 13408 (java) R 13403 13406 10765 0 -1 4202560 8332 0 0 0 53 3 0 0 20 0 15 0 414816120 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538679440256 140538564575127 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13409] ppid=13403 vsize=10659884 memory=2116 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13409/stat : 13409 (java) S 13403 13406 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538282379664 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13410] ppid=13403 vsize=10659884 memory=520 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13410/stat : 13410 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538281326864 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13411] ppid=13403 vsize=10659884 memory=1560 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13411/stat : 13411 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538280274576 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13412] ppid=13403 vsize=10659884 memory=924 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13412/stat : 13412 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538279221776 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13413] ppid=13403 vsize=10659884 memory=3688 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13413/stat : 13413 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816122 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538167249520 140538675219074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13414] ppid=13403 vsize=10659884 memory=1984 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13414/stat : 13414 (java) S 13403 13406 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414816122 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538166195488 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13415] ppid=13403 vsize=10659884 memory=1440 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13415/stat : 13415 (java) S 13403 13406 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414816123 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538165143152 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13416] ppid=13403 vsize=10659884 memory=812 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13416/stat : 13416 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538164091472 140538675226523 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13417] ppid=13403 vsize=10659884 memory=7086240636179272035 CPUtime=0.11 cores=0,2,4,6 /proc/13406/task/13417/stat : 13417 (java) R 13403 13406 10765 0 -1 4202560 952 0 0 0 11 0 0 0 20 0 15 0 414816125 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538163038320 140538658707075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13418] ppid=13403 vsize=10659884 memory=7453282923444726100 CPUtime=0.07 cores=0,2,4,6 /proc/13406/task/13418/stat : 13418 (java) S 13403 13406 10765 0 -1 1077944384 629 0 0 0 7 0 0 0 20 0 15 0 414816125 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538161985520 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13419] ppid=13403 vsize=10659884 memory=7223879631928058176 CPUtime=0.14 cores=0,2,4,6 /proc/13406/task/13419/stat : 13419 (java) S 13403 13406 10765 0 -1 1077944384 1321 0 0 0 14 0 0 0 20 0 15 0 414816125 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538160933232 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13420] ppid=13403 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13420/stat : 13420 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538159880672 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13421] ppid=13403 vsize=10659884 memory=7955161671362897768 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13421/stat : 13421 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414816125 10915721216 13532 33554432000 4194304 4196468 140730859614704 140538158828464 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 Current children cumulated CPU time: 0.91 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 54128 KiB [startup+1.50077 s] /proc/loadavg: 1.77 1.64 1.78 3/229 13421 /proc/meminfo: memFree=23618460/32770624 swapFree=66939836/67108860 [pid=13406] ppid=13403 vsize=10663980 memory=71752 CPUtime=1.83 cores=0,2,4,6 /proc/13406/stat : 13406 (java) S 13403 13406 10765 0 -1 1077944320 18311 0 0 0 178 5 0 0 20 0 15 0 414816119 10919915520 17938 33554432000 4194304 4196468 140730859614704 140730859597248 140538675207927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 /proc/13406/statm: 2665995 17938 3085 1 0 2628492 0 [pid=13406/tid=13408] ppid=13403 vsize=10663980 memory=6493990552776 CPUtime=1.36 cores=0,2,4,6 /proc/13406/task/13408/stat : 13408 (java) R 13403 13406 10765 0 -1 4202560 12947 0 0 0 132 4 0 0 20 0 15 0 414816120 10919915520 17938 33554432000 4194304 4196468 140730859614704 140538679438880 140538675229853 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13409] ppid=13403 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13409/stat : 13409 (java) S 13403 13406 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414816120 10919915520 17938 33554432000 4194304 4196468 140730859614704 140538282379664 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13410] ppid=13403 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13410/stat : 13410 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10919915520 17938 33554432000 4194304 4196468 140730859614704 140538281326864 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13411] ppid=13403 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13411/stat : 13411 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10919915520 17938 33554432000 4194304 4196468 140730859614704 140538280274576 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13412] ppid=13403 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13412/stat : 13412 (java) S 13403 13406 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414816120 10919915520 17938 33554432000 4194304 4196468 140730859614704 140538279221776 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13413] ppid=13403 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13413/stat : 13413 (java) S 13403 13406 10765 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414816122 10919915520 17938 33554432000 4194304 4196468 140730859614704 140538167249520 140538675219074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 ################ # More data... # ################ [startup+104.001 s]* /proc/loadavg: 1.91 1.74 1.80 3/229 13429 /proc/meminfo: memFree=23425020/32770624 swapFree=66939836/67108860 [pid=13406] ppid=13403 vsize=10748324 memory=250944 CPUtime=106.68 cores=0,2,4,6 /proc/13406/stat : 13406 (java) S 13403 13406 10765 0 -1 1077944320 43834 0 0 0 10647 21 0 0 20 0 16 0 414816119 11006283776 62736 33554432000 4194304 4196468 140730859614704 140730859597248 140538675207927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 /proc/13406/statm: 2687081 62736 3380 1 0 2647217 0 [pid=13406/tid=13408] ppid=13403 vsize=10748324 memory=8317482817917895235 CPUtime=1.88 cores=0,2,4,6 /proc/13406/task/13408/stat : 13408 (java) S 13403 13406 10765 0 -1 1077944384 15531 0 0 0 182 6 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538679450800 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13409] ppid=13403 vsize=10748324 memory=111636 CPUtime=0.09 cores=0,2,4,6 /proc/13406/task/13409/stat : 13409 (java) S 13403 13406 10765 0 -1 1077944384 351 0 0 0 8 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538282379664 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13410] ppid=13403 vsize=10748324 memory=808 CPUtime=0.08 cores=0,2,4,6 /proc/13406/task/13410/stat : 13410 (java) S 13403 13406 10765 0 -1 1077944384 2188 0 0 0 7 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538281326864 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13411] ppid=13403 vsize=10748324 memory=1804 CPUtime=0.09 cores=0,2,4,6 /proc/13406/task/13411/stat : 13411 (java) S 13403 13406 10765 0 -1 1077944384 3062 0 0 0 7 2 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538280274576 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13412] ppid=13403 vsize=10748324 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6 /proc/13406/task/13412/stat : 13412 (java) S 13403 13406 10765 0 -1 1077944384 948 0 0 0 7 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538279221776 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13413] ppid=13403 vsize=10748324 memory=2008 CPUtime=0.02 cores=0,2,4,6 /proc/13406/task/13413/stat : 13413 (java) S 13403 13406 10765 0 -1 1077944384 2390 0 0 0 2 0 0 0 20 0 16 0 414816122 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538167249520 140538675219074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13414] ppid=13403 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13414/stat : 13414 (java) S 13403 13406 10765 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414816122 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538166195552 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13415] ppid=13403 vsize=10748324 memory=4164 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13415/stat : 13415 (java) S 13403 13406 10765 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 16 0 414816123 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538165143168 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13416] ppid=13403 vsize=10748324 memory=1548 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13416/stat : 13416 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538164091472 140538675226523 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13417] ppid=13403 vsize=10748324 memory=1728 CPUtime=0.91 cores=0,2,4,6 /proc/13406/task/13417/stat : 13417 (java) S 13403 13406 10765 0 -1 1077944384 2897 0 0 0 91 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538163038320 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13418] ppid=13403 vsize=10748324 memory=7988 CPUtime=0.96 cores=0,2,4,6 /proc/13406/task/13418/stat : 13418 (java) S 13403 13406 10765 0 -1 1077944384 2880 0 0 0 95 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538161985520 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13419] ppid=13403 vsize=10748324 memory=9580 CPUtime=0.59 cores=0,2,4,6 /proc/13406/task/13419/stat : 13419 (java) S 13403 13406 10765 0 -1 1077944384 3478 0 0 0 58 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538160933232 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13420] ppid=13403 vsize=10748324 memory=1052 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13420/stat : 13420 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538159880672 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13421] ppid=13403 vsize=10748324 memory=776 CPUtime=0.02 cores=0,2,4,6 /proc/13406/task/13421/stat : 13421 (java) S 13403 13406 10765 0 -1 1077944384 233 0 0 0 1 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538158828464 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13422] ppid=13403 vsize=10748324 memory=2832 CPUtime=101.85 cores=0,2,4,6 /proc/13406/task/13422/stat : 13422 (java) R 13403 13406 10765 0 -1 4202560 8408 0 0 0 10182 3 0 0 20 0 16 0 414816321 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538141758192 140538318529286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 Current children cumulated CPU time: 106.68 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 250944 KiB [startup+104.801 s] /proc/loadavg: 1.91 1.74 1.80 3/229 13429 /proc/meminfo: memFree=23425020/32770624 swapFree=66939836/67108860 [pid=13406] ppid=13403 vsize=10748324 memory=250944 CPUtime=107.47 cores=0,2,4,6 /proc/13406/stat : 13406 (java) S 13403 13406 10765 0 -1 1077944320 43834 0 0 0 10726 21 0 0 20 0 16 0 414816119 11006283776 62736 33554432000 4194304 4196468 140730859614704 140730859597248 140538675207927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 /proc/13406/statm: 2687081 62736 3380 1 0 2647217 0 [pid=13406/tid=13408] ppid=13403 vsize=10748324 memory=1076 CPUtime=1.88 cores=0,2,4,6 /proc/13406/task/13408/stat : 13408 (java) S 13403 13406 10765 0 -1 1077944384 15531 0 0 0 182 6 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538679450800 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13409] ppid=13403 vsize=10748324 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6 /proc/13406/task/13409/stat : 13409 (java) S 13403 13406 10765 0 -1 1077944384 351 0 0 0 8 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538282379664 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13410] ppid=13403 vsize=10748324 memory=1076 CPUtime=0.08 cores=0,2,4,6 /proc/13406/task/13410/stat : 13410 (java) S 13403 13406 10765 0 -1 1077944384 2188 0 0 0 7 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538281326864 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13411] ppid=13403 vsize=10748324 memory=14008 CPUtime=0.09 cores=0,2,4,6 /proc/13406/task/13411/stat : 13411 (java) S 13403 13406 10765 0 -1 1077944384 3062 0 0 0 7 2 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538280274576 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13412] ppid=13403 vsize=10748324 memory=21960 CPUtime=0.08 cores=0,2,4,6 /proc/13406/task/13412/stat : 13412 (java) S 13403 13406 10765 0 -1 1077944384 948 0 0 0 7 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538279221776 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13413] ppid=13403 vsize=10748324 memory=250944 CPUtime=0.02 cores=0,2,4,6 /proc/13406/task/13413/stat : 13413 (java) S 13403 13406 10765 0 -1 1077944384 2390 0 0 0 2 0 0 0 20 0 16 0 414816122 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538167249520 140538675219074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13414] ppid=13403 vsize=10748324 memory=2008 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13414/stat : 13414 (java) S 13403 13406 10765 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414816122 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538166195552 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13415] ppid=13403 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13415/stat : 13415 (java) S 13403 13406 10765 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 16 0 414816123 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538165143168 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13416] ppid=13403 vsize=10748324 memory=4164 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13416/stat : 13416 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538164091472 140538675226523 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13417] ppid=13403 vsize=10748324 memory=1548 CPUtime=0.91 cores=0,2,4,6 /proc/13406/task/13417/stat : 13417 (java) S 13403 13406 10765 0 -1 1077944384 2897 0 0 0 91 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538163038320 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13418] ppid=13403 vsize=10748324 memory=1728 CPUtime=0.96 cores=0,2,4,6 /proc/13406/task/13418/stat : 13418 (java) S 13403 13406 10765 0 -1 1077944384 2880 0 0 0 95 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538161985520 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13419] ppid=13403 vsize=10748324 memory=7988 CPUtime=0.59 cores=0,2,4,6 /proc/13406/task/13419/stat : 13419 (java) S 13403 13406 10765 0 -1 1077944384 3478 0 0 0 58 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538160933232 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13420] ppid=13403 vsize=10748324 memory=9580 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13420/stat : 13420 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538159880672 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13421] ppid=13403 vsize=10748324 memory=1052 CPUtime=0.02 cores=0,2,4,6 /proc/13406/task/13421/stat : 13421 (java) S 13403 13406 10765 0 -1 1077944384 233 0 0 0 1 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538158828464 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13422] ppid=13403 vsize=10748324 memory=776 CPUtime=102.65 cores=0,2,4,6 /proc/13406/task/13422/stat : 13422 (java) R 13403 13406 10765 0 -1 4202560 8408 0 0 0 10262 3 0 0 20 0 16 0 414816321 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538141758192 140538318453856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 Current children cumulated CPU time: 107.47 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 250944 KiB [startup+105.001 s]* /proc/loadavg: 1.91 1.74 1.80 3/229 13429 /proc/meminfo: memFree=23425020/32770624 swapFree=66939836/67108860 [pid=13406] ppid=13403 vsize=10748324 memory=250944 CPUtime=107.68 cores=0,2,4,6 /proc/13406/stat : 13406 (java) S 13403 13406 10765 0 -1 1077944320 43834 0 0 0 10747 21 0 0 20 0 16 0 414816119 11006283776 62736 33554432000 4194304 4196468 140730859614704 140730859597248 140538675207927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 /proc/13406/statm: 2687081 62736 3380 1 0 2647217 0 [pid=13406/tid=13408] ppid=13403 vsize=10748324 memory=8317482817917895235 CPUtime=1.88 cores=0,2,4,6 /proc/13406/task/13408/stat : 13408 (java) S 13403 13406 10765 0 -1 1077944384 15531 0 0 0 182 6 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538679450800 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13409] ppid=13403 vsize=10748324 memory=4872558044660077418 CPUtime=0.09 cores=0,2,4,6 /proc/13406/task/13409/stat : 13409 (java) S 13403 13406 10765 0 -1 1077944384 351 0 0 0 8 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538282379664 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13410] ppid=13403 vsize=10748324 memory=14056 CPUtime=0.08 cores=0,2,4,6 /proc/13406/task/13410/stat : 13410 (java) S 13403 13406 10765 0 -1 1077944384 2188 0 0 0 7 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538281326864 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13411] ppid=13403 vsize=10748324 memory=2116 CPUtime=0.09 cores=0,2,4,6 /proc/13406/task/13411/stat : 13411 (java) S 13403 13406 10765 0 -1 1077944384 3062 0 0 0 7 2 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538280274576 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13412] ppid=13403 vsize=10748324 memory=250940 CPUtime=0.08 cores=0,2,4,6 /proc/13406/task/13412/stat : 13412 (java) S 13403 13406 10765 0 -1 1077944384 948 0 0 0 7 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538279221776 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13413] ppid=13403 vsize=10748324 memory=250940 CPUtime=0.02 cores=0,2,4,6 /proc/13406/task/13413/stat : 13413 (java) S 13403 13406 10765 0 -1 1077944384 2390 0 0 0 2 0 0 0 20 0 16 0 414816122 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538167249520 140538675219074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13414] ppid=13403 vsize=10748324 memory=264776 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13414/stat : 13414 (java) S 13403 13406 10765 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414816122 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538166195552 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13415] ppid=13403 vsize=10748324 memory=1620 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13415/stat : 13415 (java) S 13403 13406 10765 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 16 0 414816123 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538165143168 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13416] ppid=13403 vsize=10748324 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13416/stat : 13416 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538164091472 140538675226523 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13417] ppid=13403 vsize=10748324 memory=4872558044660077418 CPUtime=0.91 cores=0,2,4,6 /proc/13406/task/13417/stat : 13417 (java) S 13403 13406 10765 0 -1 1077944384 2897 0 0 0 91 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538163038320 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13418] ppid=13403 vsize=10748324 memory=776 CPUtime=0.96 cores=0,2,4,6 /proc/13406/task/13418/stat : 13418 (java) S 13403 13406 10765 0 -1 1077944384 2880 0 0 0 95 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538161985520 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13419] ppid=13403 vsize=10748324 memory=2832 CPUtime=0.59 cores=0,2,4,6 /proc/13406/task/13419/stat : 13419 (java) S 13403 13406 10765 0 -1 1077944384 3478 0 0 0 58 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538160933232 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13420] ppid=13403 vsize=10748324 memory=668 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13420/stat : 13420 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538159880672 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13421] ppid=13403 vsize=10748324 memory=1256 CPUtime=0.02 cores=0,2,4,6 /proc/13406/task/13421/stat : 13421 (java) S 13403 13406 10765 0 -1 1077944384 233 0 0 0 1 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538158828464 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13422] ppid=13403 vsize=10748324 memory=1076 CPUtime=102.85 cores=0,2,4,6 /proc/13406/task/13422/stat : 13422 (java) R 13403 13406 10765 0 -1 4202560 8408 0 0 0 10282 3 0 0 20 0 16 0 414816321 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538141758192 140538318389399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 Current children cumulated CPU time: 107.68 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 250944 KiB [startup+105.11 s] /proc/loadavg: 1.91 1.74 1.80 3/229 13429 /proc/meminfo: memFree=23425020/32770624 swapFree=66939836/67108860 [pid=13406] ppid=13403 vsize=10748324 memory=250944 CPUtime=107.78 cores=0,2,4,6 /proc/13406/stat : 13406 (java) S 13403 13406 10765 0 -1 1077944320 43834 0 0 0 10757 21 0 0 20 0 16 0 414816119 11006283776 62736 33554432000 4194304 4196468 140730859614704 140730859597248 140538675207927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 /proc/13406/statm: 2687081 62736 3380 1 0 2647217 0 [pid=13406/tid=13408] ppid=13403 vsize=10748324 memory=250944 CPUtime=1.88 cores=0,2,4,6 /proc/13406/task/13408/stat : 13408 (java) S 13403 13406 10765 0 -1 1077944384 15531 0 0 0 182 6 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538679450800 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13409] ppid=13403 vsize=10748324 memory=261712 CPUtime=0.09 cores=0,2,4,6 /proc/13406/task/13409/stat : 13409 (java) S 13403 13406 10765 0 -1 1077944384 351 0 0 0 8 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538282379664 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13410] ppid=13403 vsize=10748324 memory=250940 CPUtime=0.08 cores=0,2,4,6 /proc/13406/task/13410/stat : 13410 (java) S 13403 13406 10765 0 -1 1077944384 2188 0 0 0 7 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538281326864 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13411] ppid=13403 vsize=10748324 memory=250944 CPUtime=0.09 cores=0,2,4,6 /proc/13406/task/13411/stat : 13411 (java) S 13403 13406 10765 0 -1 1077944384 3062 0 0 0 7 2 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538280274576 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13412] ppid=13403 vsize=10748324 memory=250944 CPUtime=0.08 cores=0,2,4,6 /proc/13406/task/13412/stat : 13412 (java) S 13403 13406 10765 0 -1 1077944384 948 0 0 0 7 1 0 0 20 0 16 0 414816120 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538279221776 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13413] ppid=13403 vsize=10748324 memory=250944 CPUtime=0.02 cores=0,2,4,6 /proc/13406/task/13413/stat : 13413 (java) S 13403 13406 10765 0 -1 1077944384 2390 0 0 0 2 0 0 0 20 0 16 0 414816122 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538167249520 140538675219074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13414] ppid=13403 vsize=10748324 memory=4164 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13414/stat : 13414 (java) S 13403 13406 10765 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414816122 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538166195552 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13415] ppid=13403 vsize=10748324 memory=1548 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13415/stat : 13415 (java) S 13403 13406 10765 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 16 0 414816123 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538165143168 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13416] ppid=13403 vsize=10748324 memory=8 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13416/stat : 13416 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538164091472 140538675226523 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13417] ppid=13403 vsize=10748324 memory=2 CPUtime=0.91 cores=0,2,4,6 /proc/13406/task/13417/stat : 13417 (java) S 13403 13406 10765 0 -1 1077944384 2897 0 0 0 91 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538163038320 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13418] ppid=13403 vsize=10748324 memory=920 CPUtime=0.96 cores=0,2,4,6 /proc/13406/task/13418/stat : 13418 (java) S 13403 13406 10765 0 -1 1077944384 2880 0 0 0 95 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538161985520 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13419] ppid=13403 vsize=10748324 memory=3852 CPUtime=0.59 cores=0,2,4,6 /proc/13406/task/13419/stat : 13419 (java) S 13403 13406 10765 0 -1 1077944384 3478 0 0 0 58 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538160933232 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13420] ppid=13403 vsize=10748324 memory=250944 CPUtime=0 cores=0,2,4,6 /proc/13406/task/13420/stat : 13420 (java) S 13403 13406 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538159880672 140538675218133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13421] ppid=13403 vsize=10748324 memory=250944 CPUtime=0.02 cores=0,2,4,6 /proc/13406/task/13421/stat : 13421 (java) S 13403 13406 10765 0 -1 1077944384 233 0 0 0 1 1 0 0 20 0 16 0 414816125 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538158828464 140538675219074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 [pid=13406/tid=13422] ppid=13403 vsize=10748324 memory=0 CPUtime=102.95 cores=0,2,4,6 /proc/13406/task/13422/stat : 13422 (java) R 13403 13406 10765 0 -1 4202560 8408 0 0 0 10292 3 0 0 20 0 16 0 414816321 11006283776 62736 33554432000 4194304 4196468 140730859614704 140538141758192 140538318389327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140730859623435 140730859623538 140730859623538 140730859626447 0 Current children cumulated CPU time: 107.78 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 250944 KiB Child status: 0 Real time (s): 105.205 CPU time (s): 107.884 CPU user time (s): 107.662 CPU system time (s): 0.22216 CPU usage (%): 102.547 Max. virtual memory (cumulated for all children) (KiB): 10748324 Max. memory (cumulated for all children) (KiB): 265292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 107.662 system time used= 0.22216 maximum resident set size= 265292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45672 page faults= 0 swaps= 0 block input operations= 0 block output operations= 224 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5072 involuntary context switches= 143 # summary of solver processes directly reported to runsolver: # pid: 13406 # total CPU time (s): 107.884 # total CPU user time (s): 107.662 # total CPU system time (s): 0.22216 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.670556 second user time and 0.963579 second system time The end
Begin job on node119 at 2019-09-13 17:36:12 IDJOB=4391147 IDBENCH=122974 IDSOLVER=2833 FILE ID=node119/4391147-1568389012 RUNJOBID= node119-1568388843-13118 PBS_JOBID= 21701844 Free space on /tmp= 57260 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-10-037-014.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391147-1568389012/watcher-4391147-1568389012 -o /tmp/evaluation-result-4391147-1568389012/solver-4391147-1568389012 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568388843-13118 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391147-1568389012.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d77adff4d02ea0a040e7fe9c51d12b8d RANDOM SEED=1469511089 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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: 23672376 kB MemAvailable: 31583980 kB Buffers: 185748 kB Cached: 7932928 kB SwapCached: 61112 kB Active: 2126320 kB Inactive: 6276748 kB Active(anon): 222532 kB Inactive(anon): 103136 kB Active(file): 1903788 kB Inactive(file): 6173612 kB Unevictable: 107056 kB Mlocked: 107056 kB SwapTotal: 67108860 kB SwapFree: 66939836 kB Dirty: 8540 kB Writeback: 0 kB AnonPages: 436376 kB Mapped: 56916 kB Shmem: 32812 kB Slab: 292540 kB SReclaimable: 262664 kB SUnreclaim: 29876 kB KernelStack: 4048 kB PageTables: 5848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1238592 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 339968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 57252 MiB End job on node119 at 2019-09-13 17:37:58