Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 3 | 40.9761 | 38.1532 |
Diagnostic | Value |
---|---|
WRONG_DECISIONS | 1202970 |
Name | Opd/Opd-sum-large/ Opd-15-035-010.xml |
MD5SUM | b4ffb396ba331e6a6f6e6b1bc4ae482f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 6.18633 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 526 |
Number of constraints | 121 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 33 |
Distribution of domain sizes | [{"size":2,"count":525},{"size":33,"count":1}] |
Minimum variable degree | 16 |
Maximum variable degree | 106 |
Distribution of variable degrees | [{"degree":16,"count":525},{"degree":106,"count":1}] |
Minimum constraint arity | 35 |
Maximum constraint arity | 525 |
Distribution of constraint arities | [{"arity":35,"count":15},{"arity":71,"count":105},{"arity":525,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":120}] |
Optimization problem | YES |
Type of objective | min VAR |
2.43/1.87 2.43/1.87 AbsCon 2 2.43/1.89 2.94/2.04 Instance 2.94/2.04 name=instance-4390853-1568380539, framework=COP, bounds=-infty..+infty 2.94/2.04 2.94/2.04 Loading variables... 2.94/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118b3b8 2.94/2.09 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3587dbb3 2.94/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@554dbcf1 2.94/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7644734e 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bf87e79 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8980170 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24638287 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd488bb 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac02c33 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7b9ac9 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd9dcaf 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7170d0fb 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a7a5f01 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3733bf69 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21837dd6 2.94/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.26/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b48a7fd 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b48a7fd 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b48a7fd 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bdf444e 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bdf444e 3.26/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34dc4c6a 3.56/2.22 3.56/2.22 3.56/2.22 Domains 3.56/2.22 nTypes=2, nValues=1083, sizes=[2#525,33#1] 3.56/2.22 Variables 3.56/2.22 count=526, degrees=[17#4,18#92,19#429,106#1] 3.56/2.22 Objectives 3.56/2.22 way=min, type=ObjVarLE 3.56/2.22 Constraints 3.56/2.22 count=169, nSpecific=169, arities=[1#1,30#34,35#15,70#14,71#105] 3.56/2.22 distribution=[LexicographicLe#48,ObjVarLE#1,SumScalarBooleanLEVar#105,SumSimpleEQ#15] 3.56/2.22 wck=0.378, cpu=2.182, mem=34M440 3.56/2.22 Solver SolverBacktrack being built... 3.56/2.22 3.56/2.25 3.56/2.25 Solver 3.56/2.25 guaranteedGAC=true 3.56/2.25 wck=0.413, cpu=2.216, mem=45M83 3.56/2.26 3.56/2.26 Preprocessing 3.56/2.26 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.56/2.26 wck=0.01, cpu=2.228, mem=45M83 3.56/2.26 3.56/2.28 num=0, depth=44..73, filters=117, wck=0.029, mem=47M725 3.56/2.28 decisions=116, wrong=24, backtracks=21, failedAssignments=10, nogoods=3 3.56/2.28 3.82/2.30 num=1, depth=1..62, filters=310, wck=0.049, mem=47M725 3.82/2.30 decisions=198, wrong=40, backtracks=28, failedAssignments=21, nogoods=12 3.82/2.30 3.82/2.32 num=2, depth=1..91, filters=760, wck=0.061, mem=47M725 3.82/2.32 decisions=309, wrong=57, backtracks=33, failedAssignments=33, nogoods=22 3.82/2.32 3.82/2.32 num=3, depth=1..164, filters=1190, wck=0.072, mem=47M725 3.82/2.32 decisions=493, wrong=76, backtracks=39, failedAssignments=46, nogoods=35 3.82/2.32 3.82/2.34 o 10 3.82/2.35 num=4, depth=1..525, filters=1530, ccks=169, wck=0.095, mem=47M725 3.82/2.35 decisions=761, wrong=86, backtracks=39, failedAssignments=56, nogoods=45, foundSolutions=1, bestBound=10 3.82/2.35 3.82/2.35 num=5, depth=1..80, filters=1799, ccks=169, wck=0.101, mem=47M725 3.82/2.35 decisions=873, wrong=110, backtracks=47, failedAssignments=72, nogoods=54, foundSolutions=1, bestBound=10 3.82/2.35 3.82/2.36 num=6, depth=1..132, filters=2076, ccks=169, wck=0.107, mem=47M725 3.82/2.36 decisions=1020, wrong=122, backtracks=49, failedAssignments=83, nogoods=64, foundSolutions=1, bestBound=10 3.82/2.36 3.82/2.37 num=7, depth=1..113, filters=2436, ccks=169, wck=0.113, mem=47M725 3.82/2.37 decisions=1159, wrong=141, backtracks=56, failedAssignments=95, nogoods=70, foundSolutions=1, bestBound=10 3.82/2.37 3.82/2.37 o 9 3.82/2.37 num=8, depth=87..525, filters=2611, ccks=338, wck=0.122, mem=47M725 3.82/2.37 decisions=1283, wrong=147, backtracks=56, failedAssignments=101, nogoods=76, foundSolutions=2, bestBound=9 3.82/2.37 3.82/2.38 num=9, depth=21..29, filters=2815, ccks=338, wck=0.126, mem=47M725 3.82/2.38 decisions=1350, wrong=169, backtracks=70, failedAssignments=115, nogoods=79, foundSolutions=2, bestBound=9 3.82/2.38 3.82/2.38 num=10, depth=1..84, filters=3143, ccks=338, wck=0.13, mem=47M725 3.82/2.38 decisions=1446, wrong=180, backtracks=70, failedAssignments=126, nogoods=90, foundSolutions=2, bestBound=9 3.82/2.38 3.82/2.39 num=11, depth=1..104, filters=3413, ccks=338, wck=0.134, mem=47M725 3.82/2.39 decisions=1563, wrong=192, backtracks=70, failedAssignments=138, nogoods=102, foundSolutions=2, bestBound=9 3.82/2.39 3.82/2.39 num=12, depth=1..63, filters=3725, ccks=338, wck=0.138, mem=47M725 3.82/2.39 decisions=1640, wrong=205, backtracks=70, failedAssignments=151, nogoods=115, foundSolutions=2, bestBound=9 3.82/2.39 3.82/2.39 num=13, depth=1..43, filters=3905, ccks=338, wck=0.14, mem=47M725 3.82/2.39 decisions=1701, wrong=220, backtracks=72, failedAssignments=165, nogoods=128, foundSolutions=2, bestBound=9 3.82/2.39 3.82/2.40 num=14, depth=1..216, filters=4202, ccks=338, wck=0.146, mem=47M725 3.82/2.40 decisions=1942, wrong=239, backtracks=76, failedAssignments=181, nogoods=142, foundSolutions=2, bestBound=9 3.82/2.40 4.17/2.41 o 7 4.17/2.41 num=15, depth=1..525, filters=4519, ccks=507, wck=0.157, mem=47M725 4.17/2.41 decisions=2227, wrong=255, backtracks=76, failedAssignments=197, nogoods=158, foundSolutions=3, bestBound=7 4.17/2.41 4.17/2.42 num=16, depth=1..224, filters=4765, ccks=507, wck=0.165, mem=47M725 4.17/2.42 decisions=2478, wrong=276, backtracks=84, failedAssignments=216, nogoods=171, foundSolutions=3, bestBound=7 4.17/2.42 4.17/2.42 num=17, depth=1..107, filters=4976, ccks=507, wck=0.169, mem=47M725 4.17/2.42 decisions=2607, wrong=291, backtracks=90, failedAssignments=227, nogoods=180, foundSolutions=3, bestBound=7 4.17/2.42 4.17/2.42 num=18, depth=1..49, filters=5146, ccks=507, wck=0.171, mem=47M725 4.17/2.42 decisions=2670, wrong=304, backtracks=93, failedAssignments=239, nogoods=190, foundSolutions=3, bestBound=7 4.17/2.42 4.17/2.43 num=19, depth=2..31, filters=5315, ccks=507, wck=0.173, mem=47M725 4.17/2.43 decisions=2719, wrong=318, backtracks=96, failedAssignments=252, nogoods=201, foundSolutions=3, bestBound=7 4.17/2.43 4.17/2.43 num=20, depth=1..37, filters=5509, ccks=507, wck=0.176, mem=47M725 4.17/2.43 decisions=2773, wrong=334, backtracks=100, failedAssignments=266, nogoods=213, foundSolutions=3, bestBound=7 4.17/2.43 4.17/2.43 num=21, depth=1..137, filters=5712, ccks=507, wck=0.181, mem=47M725 4.17/2.43 decisions=2930, wrong=352, backtracks=108, failedAssignments=282, nogoods=222, foundSolutions=3, bestBound=7 4.17/2.43 4.17/2.44 num=22, depth=1..251, filters=5985, ccks=507, wck=0.188, mem=47M725 4.17/2.44 decisions=3199, wrong=369, backtracks=108, failedAssignments=299, nogoods=239, foundSolutions=3, bestBound=7 4.17/2.44 4.17/2.45 num=23, depth=2..133, filters=6180, ccks=507, wck=0.192, mem=47M725 4.17/2.45 decisions=3360, wrong=390, backtracks=115, failedAssignments=318, nogoods=253, foundSolutions=3, bestBound=7 4.17/2.45 4.17/2.45 num=24, depth=20..47, filters=6372, ccks=507, wck=0.195, mem=47M725 4.17/2.45 decisions=3470, wrong=424, backtracks=143, failedAssignments=339, nogoods=259, foundSolutions=3, bestBound=7 4.17/2.45 4.17/2.45 num=25, depth=17..27, filters=6974, ccks=507, wck=0.201, mem=47M725 4.17/2.45 decisions=3586, wrong=470, backtracks=181, failedAssignments=362, nogoods=263, foundSolutions=3, bestBound=7 4.17/2.45 4.17/2.46 num=26, depth=2..31, filters=7589, ccks=507, wck=0.206, mem=47M725 4.17/2.46 decisions=3714, wrong=521, backtracks=226, failedAssignments=387, nogoods=268, foundSolutions=3, bestBound=7 4.17/2.46 4.17/2.46 num=27, depth=3..28, filters=7950, ccks=507, wck=0.21, mem=47M725 4.17/2.46 decisions=3823, wrong=566, backtracks=263, failedAssignments=415, nogoods=274, foundSolutions=3, bestBound=7 4.17/2.46 4.17/2.47 num=28, depth=20..95, filters=8335, ccks=507, wck=0.215, mem=47M725 4.17/2.47 decisions=3985, wrong=609, backtracks=286, failedAssignments=446, nogoods=289, foundSolutions=3, bestBound=7 4.17/2.47 4.17/2.47 num=29, depth=21..42, filters=8834, ccks=507, wck=0.221, mem=47M725 4.17/2.47 decisions=4144, wrong=674, backtracks=342, failedAssignments=480, nogoods=297, foundSolutions=3, bestBound=7 4.17/2.47 4.17/2.48 num=30, depth=3..39, filters=9334, ccks=507, wck=0.226, mem=47M725 4.17/2.48 decisions=4281, wrong=729, backtracks=387, failedAssignments=517, nogoods=307, foundSolutions=3, bestBound=7 4.17/2.48 4.17/2.49 num=31, depth=4..153, filters=10006, ccks=507, wck=0.235, mem=47M725 4.17/2.49 decisions=4532, wrong=799, backtracks=419, failedAssignments=558, nogoods=318, foundSolutions=3, bestBound=7 4.17/2.49 4.17/2.49 num=32, depth=8..75, filters=10328, ccks=507, wck=0.24, mem=47M725 4.17/2.49 decisions=4727, wrong=866, backtracks=474, failedAssignments=603, nogoods=330, foundSolutions=3, bestBound=7 4.17/2.49 4.17/2.50 num=33, depth=3..54, filters=10646, ccks=507, wck=0.244, mem=47M725 4.17/2.50 decisions=4909, wrong=937, backtracks=533, failedAssignments=653, nogoods=344, foundSolutions=3, bestBound=7 4.17/2.50 4.51/2.51 num=34, depth=2..203, filters=11209, ccks=507, wck=0.254, mem=50M367 4.51/2.51 decisions=5257, wrong=1021, backtracks=598, failedAssignments=708, nogoods=357, foundSolutions=3, bestBound=7 4.51/2.51 4.51/2.52 num=35, depth=6..268, filters=11713, ccks=507, wck=0.263, mem=50M367 4.51/2.52 decisions=5664, wrong=1101, backtracks=654, failedAssignments=769, nogoods=379, foundSolutions=3, bestBound=7 4.51/2.52 4.51/2.52 num=36, depth=4..68, filters=12355, ccks=507, wck=0.269, mem=50M367 4.51/2.52 decisions=5919, wrong=1203, backtracks=734, failedAssignments=836, nogoods=392, foundSolutions=3, bestBound=7 4.51/2.52 4.51/2.53 num=37, depth=8..279, filters=12990, ccks=507, wck=0.278, mem=50M367 4.51/2.53 decisions=6384, wrong=1311, backtracks=818, failedAssignments=910, nogoods=415, foundSolutions=3, bestBound=7 4.51/2.53 4.51/2.54 num=38, depth=8..245, filters=14195, ccks=507, wck=0.289, mem=50M367 4.51/2.54 decisions=6837, wrong=1434, backtracks=908, failedAssignments=991, nogoods=446, foundSolutions=3, bestBound=7 4.51/2.54 4.51/2.56 num=39, depth=9..213, filters=15675, ccks=507, wck=0.303, mem=50M367 4.51/2.56 decisions=7312, wrong=1579, backtracks=1029, failedAssignments=1080, nogoods=468, foundSolutions=3, bestBound=7 4.51/2.56 4.51/2.57 num=40, depth=10..223, filters=17261, ccks=507, wck=0.317, mem=50M367 4.51/2.57 decisions=7841, wrong=1745, backtracks=1171, failedAssignments=1178, nogoods=489, foundSolutions=3, bestBound=7 4.51/2.57 4.51/2.58 num=41, depth=10..230, filters=17757, ccks=507, wck=0.326, mem=50M367 4.51/2.58 decisions=8303, wrong=1876, backtracks=1283, failedAssignments=1286, nogoods=512, foundSolutions=3, bestBound=7 4.51/2.58 4.51/2.59 num=42, depth=9..172, filters=18422, ccks=507, wck=0.334, mem=50M367 4.51/2.59 decisions=8763, wrong=2038, backtracks=1427, failedAssignments=1405, nogoods=523, foundSolutions=3, bestBound=7 4.51/2.59 4.77/2.61 num=43, depth=10..56, filters=21791, ccks=507, wck=0.357, mem=50M367 4.77/2.61 decisions=9491, wrong=2379, backtracks=1731, failedAssignments=1536, nogoods=531, foundSolutions=3, bestBound=7 4.77/2.61 4.77/2.63 num=44, depth=5..103, filters=24085, ccks=507, wck=0.376, mem=50M367 4.77/2.63 decisions=10063, wrong=2620, backtracks=1935, failedAssignments=1680, nogoods=545, foundSolutions=3, bestBound=7 4.77/2.63 4.77/2.64 num=45, depth=5..149, filters=25518, ccks=507, wck=0.389, mem=50M367 4.77/2.64 decisions=10722, wrong=2890, backtracks=2152, failedAssignments=1838, nogoods=565, foundSolutions=3, bestBound=7 4.77/2.64 4.77/2.65 num=46, depth=9..231, filters=26831, ccks=507, wck=0.402, mem=50M367 4.77/2.65 decisions=11439, wrong=3151, backtracks=2385, failedAssignments=2012, nogoods=578, foundSolutions=3, bestBound=7 4.77/2.65 4.77/2.67 num=47, depth=9..140, filters=29268, ccks=507, wck=0.42, mem=50M367 4.77/2.67 decisions=12236, wrong=3491, backtracks=2656, failedAssignments=2203, nogoods=603, foundSolutions=3, bestBound=7 4.77/2.67 4.77/2.68 num=48, depth=8..270, filters=30361, ccks=507, wck=0.432, mem=50M367 4.77/2.68 decisions=13116, wrong=3811, backtracks=2926, failedAssignments=2414, nogoods=620, foundSolutions=3, bestBound=7 4.77/2.68 4.77/2.70 num=49, depth=9..269, filters=31234, ccks=507, wck=0.443, mem=50M367 4.77/2.70 decisions=13984, wrong=4122, backtracks=3220, failedAssignments=2646, nogoods=646, foundSolutions=3, bestBound=7 4.77/2.70 5.08/2.71 num=50, depth=10..220, filters=32196, ccks=507, wck=0.455, mem=50M367 5.08/2.71 decisions=14784, wrong=4455, backtracks=3522, failedAssignments=2901, nogoods=667, foundSolutions=3, bestBound=7 5.08/2.71 5.08/2.73 num=51, depth=13..138, filters=35926, ccks=507, wck=0.482, mem=50M367 5.08/2.73 decisions=16017, wrong=5014, backtracks=4041, failedAssignments=3182, nogoods=685, foundSolutions=3, bestBound=7 5.08/2.73 5.08/2.75 num=52, depth=7..122, filters=37830, ccks=507, wck=0.495, mem=50M367 5.08/2.75 decisions=17089, wrong=5509, backtracks=4513, failedAssignments=3491, nogoods=700, foundSolutions=3, bestBound=7 5.08/2.75 5.08/2.76 num=53, depth=7..175, filters=39988, ccks=507, wck=0.512, mem=53M10 5.08/2.76 decisions=18431, wrong=6111, backtracks=5049, failedAssignments=3831, nogoods=735, foundSolutions=3, bestBound=7 5.08/2.76 5.08/2.78 num=54, depth=3..174, filters=41927, ccks=507, wck=0.528, mem=53M10 5.08/2.78 decisions=19623, wrong=6639, backtracks=5520, failedAssignments=4205, nogoods=773, foundSolutions=3, bestBound=7 5.08/2.78 5.22/2.81 o 5 5.22/2.82 num=55, depth=3..525, filters=46194, ccks=676, wck=0.563, mem=53M10 5.22/2.82 decisions=21180, wrong=7311, backtracks=6111, failedAssignments=4569, nogoods=814, foundSolutions=4, bestBound=5 5.22/2.82 5.22/2.84 num=56, depth=9..133, filters=49252, ccks=676, wck=0.585, mem=53M10 5.22/2.84 decisions=22969, wrong=8157, backtracks=6858, failedAssignments=5021, nogoods=834, foundSolutions=4, bestBound=5 5.22/2.84 5.22/2.84 num=57, depth=3..65, filters=49388, ccks=676, wck=0.587, mem=53M10 5.22/2.84 decisions=23046, wrong=8168, backtracks=6858, failedAssignments=5032, nogoods=845, foundSolutions=4, bestBound=5 5.22/2.84 5.22/2.84 num=58, depth=3..50, filters=49575, ccks=676, wck=0.589, mem=53M10 5.22/2.84 decisions=23109, wrong=8180, backtracks=6858, failedAssignments=5044, nogoods=857, foundSolutions=4, bestBound=5 5.22/2.84 5.22/2.84 num=59, depth=3..73, filters=49765, ccks=676, wck=0.592, mem=53M10 5.22/2.84 decisions=23210, wrong=8201, backtracks=6868, failedAssignments=5057, nogoods=866, foundSolutions=4, bestBound=5 5.22/2.84 5.22/2.85 num=60, depth=3..76, filters=49934, ccks=676, wck=0.594, mem=53M10 5.22/2.85 decisions=23302, wrong=8216, backtracks=6870, failedAssignments=5071, nogoods=879, foundSolutions=4, bestBound=5 5.22/2.85 5.22/2.85 num=61, depth=3..80, filters=50118, ccks=676, wck=0.596, mem=53M10 5.22/2.85 decisions=23408, wrong=8236, backtracks=6879, failedAssignments=5087, nogoods=891, foundSolutions=4, bestBound=5 5.22/2.85 5.22/2.85 num=62, depth=4..70, filters=50336, ccks=676, wck=0.598, mem=53M10 5.22/2.85 decisions=23510, wrong=8262, backtracks=6888, failedAssignments=5104, nogoods=903, foundSolutions=4, bestBound=5 5.22/2.85 5.22/2.85 num=63, depth=4..73, filters=50542, ccks=676, wck=0.601, mem=53M10 5.22/2.85 decisions=23629, wrong=8295, backtracks=6909, failedAssignments=5123, nogoods=914, foundSolutions=4, bestBound=5 5.22/2.85 5.22/2.86 num=64, depth=17..68, filters=50768, ccks=676, wck=0.603, mem=53M10 5.22/2.86 decisions=23758, wrong=8332, backtracks=6931, failedAssignments=5144, nogoods=923, foundSolutions=4, bestBound=5 5.22/2.86 5.22/2.86 num=65, depth=5..76, filters=51008, ccks=676, wck=0.606, mem=53M10 5.22/2.86 decisions=23895, wrong=8370, backtracks=6953, failedAssignments=5167, nogoods=935, foundSolutions=4, bestBound=5 5.22/2.86 5.22/2.86 num=66, depth=5..83, filters=51248, ccks=676, wck=0.608, mem=53M10 5.22/2.86 decisions=24043, wrong=8410, backtracks=6980, failedAssignments=5192, nogoods=947, foundSolutions=4, bestBound=5 5.22/2.86 5.22/2.86 num=67, depth=11..61, filters=51531, ccks=676, wck=0.611, mem=53M10 5.22/2.86 decisions=24204, wrong=8465, backtracks=7028, failedAssignments=5220, nogoods=954, foundSolutions=4, bestBound=5 5.22/2.86 5.22/2.87 num=68, depth=11..53, filters=51796, ccks=676, wck=0.613, mem=53M10 5.22/2.87 decisions=24366, wrong=8528, backtracks=7076, failedAssignments=5251, nogoods=962, foundSolutions=4, bestBound=5 5.22/2.87 5.22/2.87 num=69, depth=12..78, filters=52087, ccks=676, wck=0.616, mem=53M10 5.22/2.87 decisions=24564, wrong=8594, backtracks=7130, failedAssignments=5285, nogoods=972, foundSolutions=4, bestBound=5 5.22/2.87 5.22/2.87 num=70, depth=14..62, filters=52520, ccks=676, wck=0.619, mem=53M10 5.22/2.87 decisions=24795, wrong=8686, backtracks=7214, failedAssignments=5322, nogoods=978, foundSolutions=4, bestBound=5 5.22/2.87 5.22/2.87 num=71, depth=5..62, filters=52853, ccks=676, wck=0.622, mem=53M10 5.22/2.87 decisions=24966, wrong=8749, backtracks=7261, failedAssignments=5363, nogoods=990, foundSolutions=4, bestBound=5 5.22/2.87 5.22/2.88 num=72, depth=3..68, filters=53292, ccks=676, wck=0.626, mem=53M10 5.22/2.88 decisions=25189, wrong=8834, backtracks=7327, failedAssignments=5408, nogoods=1006, foundSolutions=4, bestBound=5 5.22/2.88 5.22/2.88 num=73, depth=4..68, filters=53759, ccks=676, wck=0.63, mem=53M10 5.22/2.88 decisions=25431, wrong=8930, backtracks=7406, failedAssignments=5458, nogoods=1018, foundSolutions=4, bestBound=5 5.22/2.88 5.22/2.89 num=74, depth=20..105, filters=54162, ccks=676, wck=0.633, mem=53M10 5.22/2.89 decisions=25703, wrong=9021, backtracks=7484, failedAssignments=5513, nogoods=1029, foundSolutions=4, bestBound=5 5.22/2.89 5.22/2.89 num=75, depth=2..119, filters=54789, ccks=676, wck=0.639, mem=53M10 5.22/2.89 decisions=26026, wrong=9133, backtracks=7568, failedAssignments=5574, nogoods=1051, foundSolutions=4, bestBound=5 5.22/2.89 5.36/2.90 num=76, depth=4..117, filters=55459, ccks=676, wck=0.645, mem=53M10 5.36/2.90 decisions=26351, wrong=9247, backtracks=7662, failedAssignments=5641, nogoods=1067, foundSolutions=4, bestBound=5 5.36/2.90 5.36/2.90 num=77, depth=4..59, filters=56121, ccks=676, wck=0.65, mem=53M10 5.36/2.90 decisions=26666, wrong=9382, backtracks=7780, failedAssignments=5715, nogoods=1078, foundSolutions=4, bestBound=5 5.36/2.90 5.36/2.91 num=78, depth=1..55, filters=57578, ccks=676, wck=0.659, mem=53M10 5.36/2.91 decisions=27035, wrong=9546, backtracks=7924, failedAssignments=5796, nogoods=1089, foundSolutions=4, bestBound=5 5.36/2.91 5.36/2.92 num=79, depth=1..51, filters=58962, ccks=676, wck=0.668, mem=53M10 5.36/2.92 decisions=27478, wrong=9748, backtracks=8102, failedAssignments=5885, nogoods=1100, foundSolutions=4, bestBound=5 5.36/2.92 5.36/2.93 num=80, depth=1..66, filters=61265, ccks=676, wck=0.68, mem=53M10 5.36/2.93 decisions=28016, wrong=9992, backtracks=8320, failedAssignments=5983, nogoods=1112, foundSolutions=4, bestBound=5 5.36/2.93 5.36/2.94 num=81, depth=1..236, filters=62113, ccks=676, wck=0.689, mem=53M10 5.36/2.94 decisions=28533, wrong=10154, backtracks=8442, failedAssignments=6091, nogoods=1148, foundSolutions=4, bestBound=5 5.36/2.94 5.36/2.95 num=82, depth=3..103, filters=63083, ccks=676, wck=0.695, mem=53M10 5.36/2.95 decisions=29074, wrong=10382, backtracks=8646, failedAssignments=6210, nogoods=1165, foundSolutions=4, bestBound=5 5.36/2.95 5.36/2.98 num=83, depth=8..53, filters=68136, ccks=676, wck=0.723, mem=53M10 5.36/2.98 decisions=29927, wrong=10792, backtracks=9023, failedAssignments=6341, nogoods=1175, foundSolutions=4, bestBound=5 5.36/2.98 5.36/2.99 num=84, depth=4..133, filters=69419, ccks=676, wck=0.733, mem=55M652 5.36/2.99 decisions=30504, wrong=11028, backtracks=9227, failedAssignments=6485, nogoods=1207, foundSolutions=4, bestBound=5 5.36/2.99 5.36/2.99 num=85, depth=5..262, filters=70205, ccks=676, wck=0.742, mem=55M652 5.36/2.99 decisions=31208, wrong=11270, backtracks=9425, failedAssignments=6643, nogoods=1235, foundSolutions=4, bestBound=5 5.36/2.99 5.36/3.00 num=86, depth=9..144, filters=71375, ccks=676, wck=0.751, mem=55M652 5.36/3.00 decisions=31927, wrong=11576, backtracks=9686, failedAssignments=6817, nogoods=1267, foundSolutions=4, bestBound=5 5.36/3.00 5.47/3.02 num=87, depth=7..127, filters=73202, ccks=676, wck=0.764, mem=55M652 5.47/3.02 decisions=32825, wrong=11974, backtracks=10026, failedAssignments=7008, nogoods=1291, foundSolutions=4, bestBound=5 5.47/3.02 5.47/3.03 num=88, depth=9..152, filters=74872, ccks=676, wck=0.776, mem=55M652 5.47/3.03 decisions=33660, wrong=12334, backtracks=10334, failedAssignments=7219, nogoods=1327, foundSolutions=4, bestBound=5 5.47/3.03 5.47/3.04 num=89, depth=8..72, filters=77161, ccks=676, wck=0.79, mem=55M652 5.47/3.04 decisions=34552, wrong=12751, backtracks=10708, failedAssignments=7451, nogoods=1340, foundSolutions=4, bestBound=5 5.47/3.04 5.47/3.07 num=90, depth=10..106, filters=80747, ccks=676, wck=0.813, mem=55M652 5.47/3.07 decisions=35603, wrong=13235, backtracks=11146, failedAssignments=7706, nogoods=1356, foundSolutions=4, bestBound=5 5.47/3.07 5.47/3.08 num=91, depth=7..116, filters=82076, ccks=676, wck=0.823, mem=55M652 5.47/3.08 decisions=36529, wrong=13655, backtracks=11549, failedAssignments=7987, nogoods=1372, foundSolutions=4, bestBound=5 5.47/3.08 5.47/3.09 num=92, depth=3..125, filters=83814, ccks=676, wck=0.837, mem=55M652 5.47/3.09 decisions=37759, wrong=14223, backtracks=12076, failedAssignments=8296, nogoods=1397, foundSolutions=4, bestBound=5 5.47/3.09 5.59/3.11 num=93, depth=9..159, filters=86310, ccks=676, wck=0.856, mem=55M652 5.59/3.11 decisions=39410, wrong=14986, backtracks=12796, failedAssignments=8636, nogoods=1428, foundSolutions=4, bestBound=5 5.59/3.11 5.59/3.13 num=94, depth=3..261, filters=88448, ccks=676, wck=0.873, mem=55M652 5.59/3.13 decisions=40927, wrong=15643, backtracks=13391, failedAssignments=9010, nogoods=1487, foundSolutions=4, bestBound=5 5.59/3.13 5.59/3.14 num=95, depth=13..234, filters=90182, ccks=676, wck=0.889, mem=55M652 5.59/3.14 decisions=42403, wrong=16291, backtracks=13988, failedAssignments=9421, nogoods=1535, foundSolutions=4, bestBound=5 5.59/3.14 5.59/3.16 num=96, depth=5..275, filters=92781, ccks=676, wck=0.908, mem=55M652 5.59/3.16 decisions=44315, wrong=17135, backtracks=14735, failedAssignments=9873, nogoods=1590, foundSolutions=4, bestBound=5 5.59/3.16 5.59/3.19 num=97, depth=2..209, filters=96043, ccks=676, wck=0.934, mem=55M652 5.59/3.19 decisions=46483, wrong=18133, backtracks=15669, failedAssignments=10370, nogoods=1626, foundSolutions=4, bestBound=5 5.59/3.19 5.74/3.22 num=98, depth=10..302, filters=100893, ccks=676, wck=0.968, mem=55M652 5.74/3.22 decisions=48605, wrong=19068, backtracks=16450, failedAssignments=10917, nogoods=1673, foundSolutions=4, bestBound=5 5.74/3.22 5.74/3.24 num=99, depth=3..213, filters=103982, ccks=676, wck=0.991, mem=58M295 5.74/3.24 decisions=51031, wrong=20200, backtracks=17511, failedAssignments=11519, nogoods=1721, foundSolutions=4, bestBound=5 5.74/3.24 5.74/3.27 num=100, depth=1..203, filters=107447, ccks=676, wck=1.017, mem=58M295 5.74/3.27 decisions=53602, wrong=21409, backtracks=18644, failedAssignments=12181, nogoods=1765, foundSolutions=4, bestBound=5 5.74/3.27 5.84/3.31 num=101, depth=1..265, filters=113543, ccks=676, wck=1.058, mem=58M295 5.84/3.31 decisions=57054, wrong=23022, backtracks=20166, failedAssignments=12909, nogoods=1804, foundSolutions=4, bestBound=5 5.84/3.31 5.84/3.34 num=102, depth=3..195, filters=118366, ccks=676, wck=1.092, mem=58M295 5.84/3.34 decisions=59909, wrong=24374, backtracks=21372, failedAssignments=13710, nogoods=1840, foundSolutions=4, bestBound=5 5.84/3.34 5.84/3.38 num=103, depth=2..202, filters=123716, ccks=676, wck=1.128, mem=58M295 5.84/3.38 decisions=63282, wrong=25987, backtracks=22673, failedAssignments=14591, nogoods=1875, foundSolutions=4, bestBound=5 5.84/3.38 5.94/3.43 num=104, depth=1..160, filters=131527, ccks=676, wck=1.181, mem=58M295 5.94/3.43 decisions=68005, wrong=28287, backtracks=24899, failedAssignments=15561, nogoods=1904, foundSolutions=4, bestBound=5 5.94/3.43 5.94/3.49 num=105, depth=15..167, filters=138816, ccks=676, wck=1.235, mem=58M295 5.94/3.49 decisions=72534, wrong=30483, backtracks=26989, failedAssignments=16628, nogoods=1929, foundSolutions=4, bestBound=5 5.94/3.49 6.04/3.54 num=106, depth=3..185, filters=145438, ccks=676, wck=1.283, mem=60M937 6.04/3.54 decisions=77507, wrong=32900, backtracks=29287, failedAssignments=17801, nogoods=1969, foundSolutions=4, bestBound=5 6.04/3.54 6.04/3.60 num=107, depth=7..234, filters=153551, ccks=676, wck=1.343, mem=60M937 6.04/3.60 decisions=83001, wrong=35555, backtracks=31789, failedAssignments=19092, nogoods=2013, foundSolutions=4, bestBound=5 6.04/3.60 6.14/3.67 num=108, depth=4..241, filters=164792, ccks=676, wck=1.413, mem=60M937 6.14/3.67 decisions=89850, wrong=38883, backtracks=34973, failedAssignments=20512, nogoods=2058, foundSolutions=4, bestBound=5 6.14/3.67 6.24/3.79 num=109, depth=6..98, filters=184504, ccks=676, wck=1.534, mem=63M580 6.24/3.79 decisions=95971, wrong=41915, backtracks=37728, failedAssignments=22074, nogoods=2074, foundSolutions=4, bestBound=5 6.24/3.79 6.34/3.82 o 4 6.34/3.82 num=110, depth=5..525, filters=188953, ccks=845, wck=1.571, mem=63M580 6.34/3.82 decisions=99765, wrong=43684, backtracks=39367, failedAssignments=23200, nogoods=2128, foundSolutions=5, bestBound=4 6.34/3.82 6.54/3.92 num=111, depth=5..302, filters=203658, ccks=845, wck=1.672, mem=63M580 6.54/3.92 decisions=107574, wrong=47476, backtracks=42946, failedAssignments=25090, nogoods=2191, foundSolutions=5, bestBound=4 6.54/3.92 6.54/3.93 num=112, depth=6..71, filters=203831, ccks=845, wck=1.674, mem=63M580 6.54/3.93 decisions=107666, wrong=47492, backtracks=42952, failedAssignments=25101, nogoods=2200, foundSolutions=5, bestBound=4 6.54/3.93 6.54/3.93 num=113, depth=6..71, filters=204029, ccks=845, wck=1.676, mem=63M580 6.54/3.93 decisions=107761, wrong=47511, backtracks=42960, failedAssignments=25113, nogoods=2209, foundSolutions=5, bestBound=4 6.54/3.93 6.54/3.93 num=114, depth=6..77, filters=204211, ccks=845, wck=1.678, mem=63M580 6.54/3.93 decisions=107856, wrong=47528, backtracks=42968, failedAssignments=25126, nogoods=2218, foundSolutions=5, bestBound=4 6.54/3.93 6.54/3.93 num=115, depth=6..73, filters=204438, ccks=845, wck=1.681, mem=63M580 6.54/3.93 decisions=107965, wrong=47553, backtracks=42983, failedAssignments=25140, nogoods=2227, foundSolutions=5, bestBound=4 6.54/3.93 6.54/3.94 num=116, depth=6..72, filters=204714, ccks=845, wck=1.684, mem=63M580 6.54/3.94 decisions=108077, wrong=47580, backtracks=42999, failedAssignments=25156, nogoods=2236, foundSolutions=5, bestBound=4 6.54/3.94 6.54/3.94 num=117, depth=57..69, filters=204966, ccks=845, wck=1.686, mem=63M580 6.54/3.94 decisions=108201, wrong=47611, backtracks=43026, failedAssignments=25173, nogoods=2239, foundSolutions=5, bestBound=4 6.54/3.94 6.54/3.94 num=118, depth=6..73, filters=205245, ccks=845, wck=1.689, mem=63M580 6.54/3.94 decisions=108314, wrong=47638, backtracks=43042, failedAssignments=25192, nogoods=2249, foundSolutions=5, bestBound=4 6.54/3.94 6.54/3.94 num=119, depth=6..65, filters=205539, ccks=845, wck=1.691, mem=63M580 6.54/3.94 decisions=108434, wrong=47678, backtracks=43063, failedAssignments=25213, nogoods=2254, foundSolutions=5, bestBound=4 6.54/3.94 6.54/3.95 num=120, depth=15..69, filters=205898, ccks=845, wck=1.694, mem=63M580 6.54/3.95 decisions=108595, wrong=47727, backtracks=43104, failedAssignments=25236, nogoods=2259, foundSolutions=5, bestBound=4 6.54/3.95 6.54/3.95 num=121, depth=6..81, filters=206226, ccks=845, wck=1.697, mem=63M580 6.54/3.95 decisions=108755, wrong=47773, backtracks=43138, failedAssignments=25261, nogoods=2271, foundSolutions=5, bestBound=4 6.54/3.95 6.54/3.95 num=122, depth=7..81, filters=206774, ccks=845, wck=1.701, mem=63M580 6.54/3.95 decisions=108978, wrong=47852, backtracks=43210, failedAssignments=25289, nogoods=2279, foundSolutions=5, bestBound=4 6.54/3.95 6.54/3.96 num=123, depth=7..80, filters=207118, ccks=845, wck=1.705, mem=63M580 6.54/3.96 decisions=109150, wrong=47904, backtracks=43247, failedAssignments=25320, nogoods=2291, foundSolutions=5, bestBound=4 6.54/3.96 6.54/3.96 num=124, depth=7..83, filters=207569, ccks=845, wck=1.709, mem=63M580 6.54/3.96 decisions=109355, wrong=47973, backtracks=43304, failedAssignments=25354, nogoods=2301, foundSolutions=5, bestBound=4 6.54/3.96 6.54/3.97 num=125, depth=36..76, filters=208293, ccks=845, wck=1.713, mem=63M580 6.54/3.97 decisions=109614, wrong=48069, backtracks=43387, failedAssignments=25391, nogoods=2306, foundSolutions=5, bestBound=4 6.54/3.97 6.54/3.97 num=126, depth=7..87, filters=208681, ccks=845, wck=1.717, mem=63M580 6.54/3.97 decisions=109817, wrong=48135, backtracks=43440, failedAssignments=25432, nogoods=2316, foundSolutions=5, bestBound=4 6.54/3.97 6.54/3.97 num=127, depth=8..128, filters=209170, ccks=845, wck=1.722, mem=63M580 6.54/3.97 decisions=110060, wrong=48202, backtracks=43481, failedAssignments=25477, nogoods=2337, foundSolutions=5, bestBound=4 6.54/3.97 6.54/3.98 num=128, depth=10..134, filters=209508, ccks=845, wck=1.726, mem=63M580 6.54/3.98 decisions=110307, wrong=48269, backtracks=43528, failedAssignments=25527, nogoods=2350, foundSolutions=5, bestBound=4 6.54/3.98 6.54/3.98 num=129, depth=11..149, filters=209945, ccks=845, wck=1.731, mem=63M580 6.54/3.98 decisions=110594, wrong=48354, backtracks=43592, failedAssignments=25582, nogoods=2367, foundSolutions=5, bestBound=4 6.54/3.98 6.54/3.99 num=130, depth=11..186, filters=210652, ccks=845, wck=1.737, mem=63M580 6.54/3.99 decisions=110965, wrong=48454, backtracks=43673, failedAssignments=25643, nogoods=2385, foundSolutions=5, bestBound=4 6.54/3.99 6.54/3.99 num=131, depth=11..93, filters=211103, ccks=845, wck=1.742, mem=63M580 6.54/3.99 decisions=111231, wrong=48549, backtracks=43755, failedAssignments=25710, nogoods=2397, foundSolutions=5, bestBound=4 6.54/3.99 6.54/4.00 num=132, depth=13..87, filters=211750, ccks=845, wck=1.747, mem=63M580 6.54/4.00 decisions=111528, wrong=48660, backtracks=43854, failedAssignments=25784, nogoods=2407, foundSolutions=5, bestBound=4 6.54/4.00 6.54/4.00 num=133, depth=11..88, filters=212283, ccks=845, wck=1.751, mem=66M222 6.54/4.00 decisions=111833, wrong=48778, backtracks=43956, failedAssignments=25865, nogoods=2418, foundSolutions=5, bestBound=4 6.54/4.00 6.70/4.01 num=134, depth=12..86, filters=213301, ccks=845, wck=1.758, mem=66M222 6.70/4.01 decisions=112176, wrong=48913, backtracks=44084, failedAssignments=25954, nogoods=2423, foundSolutions=5, bestBound=4 6.70/4.01 6.70/4.02 num=135, depth=11..96, filters=214200, ccks=845, wck=1.765, mem=66M222 6.70/4.02 decisions=112552, wrong=49066, backtracks=44223, failedAssignments=26052, nogoods=2433, foundSolutions=5, bestBound=4 6.70/4.02 6.70/4.03 num=136, depth=11..99, filters=215416, ccks=845, wck=1.773, mem=66M222 6.70/4.03 decisions=113038, wrong=49274, backtracks=44404, failedAssignments=26160, nogoods=2449, foundSolutions=5, bestBound=4 6.70/4.03 6.70/4.03 num=137, depth=26..88, filters=216430, ccks=845, wck=1.781, mem=66M222 6.70/4.03 decisions=113553, wrong=49493, backtracks=44608, failedAssignments=26279, nogoods=2458, foundSolutions=5, bestBound=4 6.70/4.03 6.70/4.04 num=138, depth=11..81, filters=217669, ccks=845, wck=1.789, mem=66M222 6.70/4.04 decisions=114057, wrong=49711, backtracks=44801, failedAssignments=26410, nogoods=2468, foundSolutions=5, bestBound=4 6.70/4.04 6.70/4.05 num=139, depth=11..158, filters=218468, ccks=845, wck=1.796, mem=66M222 6.70/4.05 decisions=114641, wrong=49946, backtracks=45005, failedAssignments=26554, nogoods=2494, foundSolutions=5, bestBound=4 6.70/4.05 6.70/4.07 num=140, depth=12..97, filters=221061, ccks=845, wck=1.813, mem=66M222 6.70/4.07 decisions=115455, wrong=50318, backtracks=45347, failedAssignments=26712, nogoods=2506, foundSolutions=5, bestBound=4 6.70/4.07 6.70/4.08 num=141, depth=12..85, filters=222526, ccks=845, wck=1.823, mem=66M222 6.70/4.08 decisions=116102, wrong=50609, backtracks=45609, failedAssignments=26886, nogoods=2523, foundSolutions=5, bestBound=4 6.70/4.08 6.70/4.10 num=142, depth=10..93, filters=226118, ccks=845, wck=1.845, mem=66M222 6.70/4.10 decisions=117110, wrong=51080, backtracks=46057, failedAssignments=27077, nogoods=2537, foundSolutions=5, bestBound=4 6.70/4.10 6.80/4.12 num=143, depth=10..147, filters=228550, ccks=845, wck=1.862, mem=66M222 6.80/4.12 decisions=117985, wrong=51461, backtracks=46411, failedAssignments=27288, nogoods=2565, foundSolutions=5, bestBound=4 6.80/4.12 6.80/4.13 num=144, depth=11..158, filters=231089, ccks=845, wck=1.881, mem=66M222 6.80/4.13 decisions=119039, wrong=51927, backtracks=46831, failedAssignments=27520, nogoods=2597, foundSolutions=5, bestBound=4 6.80/4.13 6.80/4.14 num=145, depth=13..219, filters=232202, ccks=845, wck=1.891, mem=66M222 6.80/4.14 decisions=120053, wrong=52344, backtracks=47205, failedAssignments=27775, nogoods=2631, foundSolutions=5, bestBound=4 6.80/4.14 6.80/4.16 num=146, depth=14..219, filters=233773, ccks=845, wck=1.904, mem=66M222 6.80/4.16 decisions=121232, wrong=52853, backtracks=47617, failedAssignments=28056, nogoods=2672, foundSolutions=5, bestBound=4 6.80/4.16 6.80/4.18 num=147, depth=14..162, filters=236342, ccks=845, wck=1.922, mem=66M222 6.80/4.18 decisions=122374, wrong=53360, backtracks=48068, failedAssignments=28365, nogoods=2712, foundSolutions=5, bestBound=4 6.80/4.18 6.91/4.21 num=148, depth=19..140, filters=241218, ccks=845, wck=1.953, mem=66M222 6.91/4.21 decisions=123822, wrong=54029, backtracks=48661, failedAssignments=28705, nogoods=2742, foundSolutions=5, bestBound=4 6.91/4.21 6.91/4.22 num=149, depth=31..156, filters=243354, ccks=845, wck=1.969, mem=66M222 6.91/4.22 decisions=125310, wrong=54707, backtracks=49286, failedAssignments=29079, nogoods=2759, foundSolutions=5, bestBound=4 6.91/4.22 6.91/4.26 num=150, depth=12..97, filters=249356, ccks=845, wck=2.004, mem=66M222 6.91/4.26 decisions=126997, wrong=55518, backtracks=50014, failedAssignments=29490, nogoods=2775, foundSolutions=5, bestBound=4 6.91/4.26 6.91/4.27 num=151, depth=8..139, filters=251558, ccks=845, wck=2.02, mem=68M865 6.91/4.27 decisions=128517, wrong=56232, backtracks=50668, failedAssignments=29942, nogoods=2789, foundSolutions=5, bestBound=4 6.91/4.27 7.01/4.30 num=152, depth=15..171, filters=256108, ccks=845, wck=2.047, mem=68M865 7.01/4.30 decisions=130306, wrong=57060, backtracks=51429, failedAssignments=30439, nogoods=2820, foundSolutions=5, bestBound=4 7.01/4.30 7.01/4.34 num=153, depth=3..80, filters=263541, ccks=845, wck=2.087, mem=68M865 7.01/4.34 decisions=132624, wrong=58195, backtracks=52495, failedAssignments=30986, nogoods=2840, foundSolutions=5, bestBound=4 7.01/4.34 7.11/4.42 num=154, depth=9..118, filters=280242, ccks=845, wck=2.164, mem=68M865 7.11/4.42 decisions=134946, wrong=59311, backtracks=53506, failedAssignments=31588, nogoods=2865, foundSolutions=5, bestBound=4 7.11/4.42 7.21/4.50 num=155, depth=7..131, filters=299275, ccks=845, wck=2.247, mem=68M865 7.21/4.50 decisions=137753, wrong=60666, backtracks=54762, failedAssignments=32250, nogoods=2888, foundSolutions=5, bestBound=4 7.21/4.50 7.21/4.59 num=156, depth=7..142, filters=319031, ccks=845, wck=2.337, mem=68M865 7.21/4.59 decisions=140681, wrong=62080, backtracks=56130, failedAssignments=32978, nogoods=2916, foundSolutions=5, bestBound=4 7.21/4.59 7.31/4.64 num=157, depth=13..193, filters=327793, ccks=845, wck=2.388, mem=68M865 7.31/4.64 decisions=144366, wrong=63851, backtracks=57771, failedAssignments=33779, nogoods=2954, foundSolutions=5, bestBound=4 7.31/4.64 7.31/4.69 num=158, depth=2..124, filters=335125, ccks=845, wck=2.434, mem=71M507 7.31/4.69 decisions=148231, wrong=65739, backtracks=59518, failedAssignments=34660, nogoods=2981, foundSolutions=5, bestBound=4 7.31/4.69 7.41/4.76 num=159, depth=5..165, filters=347501, ccks=845, wck=2.507, mem=71M507 7.41/4.76 decisions=152562, wrong=67841, backtracks=61479, failedAssignments=35630, nogoods=3014, foundSolutions=5, bestBound=4 7.41/4.76 7.51/4.83 num=160, depth=3..117, filters=358783, ccks=845, wck=2.573, mem=71M507 7.51/4.83 decisions=156426, wrong=69730, backtracks=63279, failedAssignments=36697, nogoods=3042, foundSolutions=5, bestBound=4 7.51/4.83 7.51/4.88 num=161, depth=2..179, filters=366674, ccks=845, wck=2.628, mem=71M507 7.51/4.88 decisions=161611, wrong=72258, backtracks=65702, failedAssignments=37870, nogoods=3087, foundSolutions=5, bestBound=4 7.51/4.88 7.61/4.93 num=162, depth=8..186, filters=374077, ccks=845, wck=2.68, mem=71M507 7.61/4.93 decisions=166396, wrong=74580, backtracks=67783, failedAssignments=39161, nogoods=3120, foundSolutions=5, bestBound=4 7.61/4.93 7.72/5.03 num=163, depth=7..109, filters=390668, ccks=845, wck=2.779, mem=74M149 7.72/5.03 decisions=173421, wrong=78067, backtracks=70816, failedAssignments=40581, nogoods=3139, foundSolutions=5, bestBound=4 7.72/5.03 7.82/5.12 num=164, depth=5..237, filters=404103, ccks=845, wck=2.868, mem=74M149 7.82/5.12 decisions=180596, wrong=81563, backtracks=73987, failedAssignments=42143, nogoods=3186, foundSolutions=5, bestBound=4 7.82/5.12 7.92/5.25 num=165, depth=29..154, filters=424382, ccks=845, wck=2.995, mem=74M149 7.92/5.25 decisions=187329, wrong=84866, backtracks=76978, failedAssignments=43861, nogoods=3206, foundSolutions=5, bestBound=4 7.92/5.25 8.12/5.45 num=166, depth=4..75, filters=459512, ccks=845, wck=3.194, mem=76M792 8.12/5.45 decisions=194398, wrong=88377, backtracks=80330, failedAssignments=45751, nogoods=3216, foundSolutions=5, bestBound=4 8.12/5.45 8.22/5.58 num=167, depth=5..118, filters=480810, ccks=845, wck=3.328, mem=76M792 8.22/5.58 decisions=204474, wrong=93373, backtracks=85161, failedAssignments=47830, nogoods=3241, foundSolutions=5, bestBound=4 8.22/5.58 8.42/5.71 num=168, depth=2..77, filters=501577, ccks=845, wck=3.456, mem=79M434 8.42/5.71 decisions=213917, wrong=98070, backtracks=89444, failedAssignments=50117, nogoods=3251, foundSolutions=5, bestBound=4 8.42/5.71 8.52/5.87 num=169, depth=5..108, filters=530691, ccks=845, wck=3.622, mem=79M434 8.52/5.87 decisions=224281, wrong=103228, backtracks=93816, failedAssignments=52633, nogoods=3269, foundSolutions=5, bestBound=4 8.52/5.87 8.62/6.00 num=170, depth=4..113, filters=551731, ccks=845, wck=3.748, mem=82M77 8.62/6.00 decisions=237560, wrong=109828, backtracks=99808, failedAssignments=55401, nogoods=3289, foundSolutions=5, bestBound=4 8.62/6.00 8.83/6.15 num=171, depth=5..233, filters=571893, ccks=845, wck=3.893, mem=82M77 8.83/6.15 decisions=251987, wrong=116949, backtracks=106625, failedAssignments=58445, nogoods=3337, foundSolutions=5, bestBound=4 8.83/6.15 9.02/6.30 num=172, depth=4..237, filters=597333, ccks=845, wck=4.052, mem=84M719 9.02/6.30 decisions=265344, wrong=123544, backtracks=112932, failedAssignments=61794, nogoods=3392, foundSolutions=5, bestBound=4 9.02/6.30 9.12/6.49 num=173, depth=4..114, filters=627883, ccks=845, wck=4.241, mem=84M719 9.12/6.49 decisions=282867, wrong=132264, backtracks=121403, failedAssignments=65478, nogoods=3411, foundSolutions=5, bestBound=4 9.12/6.49 9.31/6.68 num=174, depth=3..104, filters=659095, ccks=845, wck=4.432, mem=87M362 9.31/6.68 decisions=298357, wrong=139975, backtracks=128945, failedAssignments=69530, nogoods=3427, foundSolutions=5, bestBound=4 9.31/6.68 9.62/6.94 num=175, depth=5..87, filters=698808, ccks=845, wck=4.684, mem=90M4 9.62/6.94 decisions=319761, wrong=150652, backtracks=138762, failedAssignments=73987, nogoods=3445, foundSolutions=5, bestBound=4 9.62/6.94 9.82/7.17 num=176, depth=4..81, filters=732559, ccks=845, wck=4.918, mem=90M4 9.82/7.17 decisions=340401, wrong=160947, backtracks=148416, failedAssignments=78890, nogoods=3464, foundSolutions=5, bestBound=4 9.82/7.17 10.12/7.47 num=177, depth=2..85, filters=777586, ccks=845, wck=5.22, mem=92M647 10.12/7.47 decisions=363405, wrong=172423, backtracks=159453, failedAssignments=84284, nogoods=3482, foundSolutions=5, bestBound=4 10.12/7.47 10.62/7.92 num=178, depth=8..84, filters=848195, ccks=845, wck=5.667, mem=95M289 10.62/7.92 decisions=388173, wrong=184777, backtracks=170364, failedAssignments=90217, nogoods=3503, foundSolutions=5, bestBound=4 10.62/7.92 10.83/8.18 num=179, depth=4..71, filters=884376, ccks=845, wck=5.924, mem=97M931 10.83/8.18 decisions=412246, wrong=196794, backtracks=182030, failedAssignments=96743, nogoods=3514, foundSolutions=5, bestBound=4 10.83/8.18 11.72/9.08 num=180, depth=29..76, filters=1035231, ccks=845, wck=6.825, mem=105M859 11.72/9.08 decisions=445656, wrong=213474, backtracks=196379, failedAssignments=103922, nogoods=3525, foundSolutions=5, bestBound=4 11.72/9.08 12.22/9.57 num=181, depth=0..67, filters=1112991, ccks=845, wck=7.321, mem=108M501 12.22/9.57 decisions=480784, wrong=231015, backtracks=212726, failedAssignments=111819, nogoods=3539, foundSolutions=5, bestBound=4 12.22/9.57 12.92/10.29 num=182, depth=8..86, filters=1226974, ccks=845, wck=8.037, mem=113M786 12.92/10.29 decisions=514441, wrong=247816, backtracks=228021, failedAssignments=120506, nogoods=3550, foundSolutions=5, bestBound=4 12.92/10.29 14.12/11.50 num=183, depth=4..91, filters=1426473, ccks=845, wck=9.242, mem=121M713 14.12/11.50 decisions=550493, wrong=265810, backtracks=244600, failedAssignments=130061, nogoods=3563, foundSolutions=5, bestBound=4 14.12/11.50 14.92/12.27 num=184, depth=3..87, filters=1556326, ccks=845, wck=10.02, mem=126M998 14.92/12.27 decisions=593800, wrong=287438, backtracks=264843, failedAssignments=140572, nogoods=3580, foundSolutions=5, bestBound=4 14.92/12.27 15.73/13.01 num=185, depth=10..81, filters=1679684, ccks=845, wck=10.759, mem=132M283 15.73/13.01 decisions=637981, wrong=309498, backtracks=284877, failedAssignments=152134, nogoods=3586, foundSolutions=5, bestBound=4 15.73/13.01 16.62/13.97 num=186, depth=2..227, filters=1840670, ccks=845, wck=11.719, mem=140M210 16.62/13.97 decisions=693751, wrong=337296, backtracks=310229, failedAssignments=164852, nogoods=3622, foundSolutions=5, bestBound=4 16.62/13.97 18.06/15.33 num=187, depth=7..103, filters=2082381, ccks=845, wck=13.077, mem=30M347 18.06/15.33 decisions=751919, wrong=366352, backtracks=335941, failedAssignments=178842, nogoods=3643, foundSolutions=5, bestBound=4 18.06/15.33 18.87/16.12 num=188, depth=51..90, filters=2216450, ccks=845, wck=13.871, mem=35M579 18.87/16.12 decisions=808444, wrong=394582, backtracks=362976, failedAssignments=194231, nogoods=3656, foundSolutions=5, bestBound=4 18.87/16.12 20.16/17.44 num=189, depth=10..95, filters=2451969, ccks=845, wck=15.191, mem=46M43 20.16/17.44 decisions=874652, wrong=427656, backtracks=391458, failedAssignments=211159, nogoods=3673, foundSolutions=5, bestBound=4 20.16/17.44 21.66/18.97 num=190, depth=48..189, filters=2722424, ccks=845, wck=16.716, mem=56M507 21.66/18.97 decisions=951168, wrong=465842, backtracks=426567, failedAssignments=229780, nogoods=3711, foundSolutions=5, bestBound=4 21.66/18.97 22.78/20.05 num=191, depth=5..287, filters=2895919, ccks=845, wck=17.8, mem=66M971 22.78/20.05 decisions=1051061, wrong=515673, backtracks=473960, failedAssignments=250264, nogoods=3758, foundSolutions=5, bestBound=4 22.78/20.05 24.08/21.31 num=192, depth=3..257, filters=3112254, ccks=845, wck=19.058, mem=77M435 24.08/21.31 decisions=1140093, wrong=560091, backtracks=515182, failedAssignments=272796, nogoods=3797, foundSolutions=5, bestBound=4 24.08/21.31 25.89/23.18 num=193, depth=2..99, filters=3474849, ccks=845, wck=20.931, mem=90M515 25.89/23.18 decisions=1222256, wrong=601144, backtracks=552313, failedAssignments=297581, nogoods=3814, foundSolutions=5, bestBound=4 25.89/23.18 27.18/24.49 num=194, depth=3..263, filters=3676734, ccks=845, wck=22.234, mem=100M979 27.18/24.49 decisions=1342384, wrong=661123, backtracks=607366, failedAssignments=324845, nogoods=3869, foundSolutions=5, bestBound=4 27.18/24.49 28.79/26.09 num=195, depth=12..106, filters=3975267, ccks=845, wck=23.833, mem=114M59 28.79/26.09 decisions=1459511, wrong=719651, backtracks=660411, failedAssignments=354835, nogoods=3886, foundSolutions=5, bestBound=4 28.79/26.09 30.68/27.94 num=196, depth=14..168, filters=4275130, ccks=845, wck=25.691, mem=129M755 30.68/27.94 decisions=1607497, wrong=793583, backtracks=728214, failedAssignments=387824, nogoods=3910, foundSolutions=5, bestBound=4 30.68/27.94 33.18/30.40 num=197, depth=6..105, filters=4710093, ccks=845, wck=28.145, mem=145M451 33.18/30.40 decisions=1787514, wrong=883556, backtracks=814555, failedAssignments=424112, nogoods=3932, foundSolutions=5, bestBound=4 33.18/30.40 35.61/32.82 num=198, depth=4..93, filters=5121366, ccks=845, wck=30.571, mem=33M172 35.61/32.82 decisions=1977494, wrong=978517, backtracks=905432, failedAssignments=464029, nogoods=3948, foundSolutions=5, bestBound=4 35.61/32.82 37.42/34.68 num=199, depth=9..260, filters=5390726, ccks=845, wck=32.428, mem=48M924 37.42/34.68 decisions=2152533, wrong=1065932, backtracks=983862, failedAssignments=507938, nogoods=3987, foundSolutions=5, bestBound=4 37.42/34.68 40.12/37.32 num=200, depth=3..103, filters=5863384, ccks=845, wck=35.066, mem=69M926 40.12/37.32 decisions=2348574, wrong=1163921, backtracks=1075798, failedAssignments=556238, nogoods=4012, foundSolutions=5, bestBound=4 40.12/37.32 40.93/38.13 o 3 40.93/38.13 num=201, depth=2..525, filters=5985891, ccks=1014, wck=35.878, mem=77M802 40.93/38.13 decisions=2426883, wrong=1202968, backtracks=1113005, failedAssignments=571807, nogoods=4072, foundSolutions=6, bestBound=3 40.93/38.13 40.93/38.13 Global 40.93/38.13 filters=5985891, ccks=1014, nogoods=4072 40.93/38.13 Stop=FULL_EXPLORATION, wrong=1202968, bestBound=3, bestBoundWck=36.29, bestBoundCpu=38.063, foundSolutions=6, firstSolCpu=2.301 40.93/38.13 wck=36.292, cpu=38.065, mem=77M802 40.93/38.13 40.93/38.13 v <instantiation id='sol6' type='solution' cost='3'> <list> z x[][] </list> <values> 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 </values> </instantiation> 40.93/38.13 s OPTIMUM FOUND 40.93/38.13 40.93/38.13 d WRONG_DECISIONS 1202968 40.93/38.13 d NUMBER_SOLUTIONS 6
OK 3
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 (11561 MiB free) memory of node 1: 16384 MiB (14091 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390853-1568380539/watcher-4390853-1568380539 -o /tmp/evaluation-result-4390853-1568380539/solver-4390853-1568380539 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20884 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390853-1568380539.xml -cm running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21318, runsolver pid=21315 Current StackSize limit: 8192 KiB [startup+0.101528 s]* /proc/loadavg: 0.76 0.19 0.10 3/229 21333 /proc/meminfo: memFree=26251876/32770624 swapFree=67004752/67108860 [pid=21318] ppid=21315 vsize=10659884 memory=29812 CPUtime=0.14 cores=1,3,5,7 /proc/21318/stat : 21318 (java) S 21315 21318 20852 0 -1 1077944320 5902 0 0 0 13 1 0 0 20 0 15 0 414321721 10915721216 7453 33554432000 4194304 4196468 140733920849632 140733920832176 140204333969143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 /proc/21318/statm: 2664971 7453 2919 1 0 2627468 0 [pid=21318/tid=21320] ppid=21315 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7 /proc/21318/task/21320/stat : 21320 (java) R 21315 21318 20852 0 -1 4202560 3221 0 0 0 9 0 0 0 20 0 15 0 414321721 10915721216 7453 33554432000 4194304 4196468 140733920849632 140204338191696 140203922654311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21321] ppid=21315 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21321/stat : 21321 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 7453 33554432000 4194304 4196468 140733920849632 140204260043152 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21322] ppid=21315 vsize=10659884 memory=139797542053504 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21322/stat : 21322 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 7453 33554432000 4194304 4196468 140733920849632 140204258990352 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21323] ppid=21315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21323/stat : 21323 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 7453 33554432000 4194304 4196468 140733920849632 140204257938064 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21324] ppid=21315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21324/stat : 21324 (java) S 21315 21318 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 7453 33554432000 4194304 4196468 140733920849632 140204256885264 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21325] ppid=21315 vsize=10659884 memory=139797542053504 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21325/stat : 21325 (java) S 21315 21318 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321723 10915721216 7453 33554432000 4194304 4196468 140733920849632 140203368847984 140204333980290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21326] ppid=21315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21326/stat : 21326 (java) S 21315 21318 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414321724 10915721216 7453 33554432000 4194304 4196468 140733920849632 140203367793952 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21327] ppid=21315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21327/stat : 21327 (java) S 21315 21318 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414321724 10915721216 7453 33554432000 4194304 4196468 140733920849632 140203366741616 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21328] ppid=21315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21328/stat : 21328 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321726 10915721216 7453 33554432000 4194304 4196468 140733920849632 140203365689936 140204333987739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21329] ppid=21315 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/21318/task/21329/stat : 21329 (java) R 21315 21318 20852 0 -1 4202560 559 0 0 0 1 0 0 0 20 0 15 0 414321726 10915721216 7453 33554432000 4194304 4196468 140733920849632 140203364627168 140204314634288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21330] ppid=21315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21330/stat : 21330 (java) S 21315 21318 20852 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 414321726 10915721216 7453 33554432000 4194304 4196468 140733920849632 140203363583984 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21331] ppid=21315 vsize=10659884 memory=139797542053504 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21331/stat : 21331 (java) R 21315 21318 20852 0 -1 4202560 674 0 0 0 2 0 0 0 20 0 15 0 414321726 10915721216 7453 33554432000 4194304 4196468 140733920849632 140203362528504 140204318049630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21332] ppid=21315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21332/stat : 21332 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321727 10915721216 7453 33554432000 4194304 4196468 140733920849632 140203361479136 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21333] ppid=21315 vsize=10659884 memory=139797542053504 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21333/stat : 21333 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321727 10915721216 7453 33554432000 4194304 4196468 140733920849632 140203360426928 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 29812 KiB [startup+0.211042 s]* /proc/loadavg: 0.76 0.19 0.10 3/229 21333 /proc/meminfo: memFree=26244612/32770624 swapFree=67004752/67108860 [pid=21318] ppid=21315 vsize=10659884 memory=34972 CPUtime=0.33 cores=1,3,5,7 /proc/21318/stat : 21318 (java) S 21315 21318 20852 0 -1 1077944320 6858 0 0 0 31 2 0 0 20 0 15 0 414321721 10915721216 8743 33554432000 4194304 4196468 140733920849632 140733920832176 140204333969143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 /proc/21318/statm: 2664971 8743 2989 1 0 2627468 0 [pid=21318/tid=21320] ppid=21315 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/21318/task/21320/stat : 21320 (java) R 21315 21318 20852 0 -1 4202560 3839 0 0 0 19 1 0 0 20 0 15 0 414321721 10915721216 8743 33554432000 4194304 4196468 140733920849632 140204338195504 140204333991069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21321] ppid=21315 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21321/stat : 21321 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 8743 33554432000 4194304 4196468 140733920849632 140204260043152 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21322] ppid=21315 vsize=10659884 memory=139797545131283 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21322/stat : 21322 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 8743 33554432000 4194304 4196468 140733920849632 140204258990352 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21323] ppid=21315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21323/stat : 21323 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 8743 33554432000 4194304 4196468 140733920849632 140204257938064 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21324] ppid=21315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21324/stat : 21324 (java) S 21315 21318 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 8743 33554432000 4194304 4196468 140733920849632 140204256885264 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21325] ppid=21315 vsize=10659884 memory=139797542053504 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21325/stat : 21325 (java) S 21315 21318 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321723 10915721216 8743 33554432000 4194304 4196468 140733920849632 140203368847984 140204333980290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21326] ppid=21315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21326/stat : 21326 (java) S 21315 21318 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414321724 10915721216 8743 33554432000 4194304 4196468 140733920849632 140203367793952 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21327] ppid=21315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21327/stat : 21327 (java) S 21315 21318 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414321724 10915721216 8743 33554432000 4194304 4196468 140733920849632 140203366741616 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21328] ppid=21315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21328/stat : 21328 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321726 10915721216 8743 33554432000 4194304 4196468 140733920849632 140203365689936 140204333987739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21329] ppid=21315 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/21318/task/21329/stat : 21329 (java) S 21315 21318 20852 0 -1 1077944384 637 0 0 0 3 0 0 0 20 0 15 0 414321726 10915721216 8743 33554432000 4194304 4196468 140733920849632 140203364636784 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21330] ppid=21315 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21330/stat : 21330 (java) S 21315 21318 20852 0 -1 1077944384 316 0 0 0 2 0 0 0 20 0 15 0 414321726 10915721216 8743 33554432000 4194304 4196468 140733920849632 140203363583984 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21331] ppid=21315 vsize=10659884 memory=139797542053504 CPUtime=0.05 cores=1,3,5,7 /proc/21318/task/21331/stat : 21331 (java) S 21315 21318 20852 0 -1 1077944384 708 0 0 0 5 0 0 0 20 0 15 0 414321726 10915721216 8743 33554432000 4194304 4196468 140733920849632 140203362531696 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21332] ppid=21315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21332/stat : 21332 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321727 10915721216 8743 33554432000 4194304 4196468 140733920849632 140203361479136 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21333] ppid=21315 vsize=10659884 memory=139797542053504 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21333/stat : 21333 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321727 10915721216 8743 33554432000 4194304 4196468 140733920849632 140203360426928 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 34972 KiB [startup+0.310342 s]* /proc/loadavg: 0.76 0.19 0.10 4/229 21333 /proc/meminfo: memFree=26237052/32770624 swapFree=67004752/67108860 [pid=21318] ppid=21315 vsize=10659884 memory=40340 CPUtime=0.48 cores=1,3,5,7 /proc/21318/stat : 21318 (java) S 21315 21318 20852 0 -1 1077944320 9417 0 0 0 45 3 0 0 20 0 15 0 414321721 10915721216 10085 33554432000 4194304 4196468 140733920849632 140733920832176 140204333969143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 /proc/21318/statm: 2664971 10085 3002 1 0 2627468 0 [pid=21318/tid=21320] ppid=21315 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7 /proc/21318/task/21320/stat : 21320 (java) R 21315 21318 20852 0 -1 4202560 6315 0 0 0 28 2 0 0 20 0 15 0 414321721 10915721216 10085 33554432000 4194304 4196468 140733920849632 140204338200944 140204333991069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21321] ppid=21315 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21321/stat : 21321 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 10085 33554432000 4194304 4196468 140733920849632 140204260043152 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21322] ppid=21315 vsize=10659884 memory=139797545126415 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21322/stat : 21322 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 10085 33554432000 4194304 4196468 140733920849632 140204258990352 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21323] ppid=21315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21323/stat : 21323 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 10085 33554432000 4194304 4196468 140733920849632 140204257938064 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21324] ppid=21315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21324/stat : 21324 (java) S 21315 21318 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321722 10915721216 10085 33554432000 4194304 4196468 140733920849632 140204256885264 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21325] ppid=21315 vsize=10659884 memory=139797542053504 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21325/stat : 21325 (java) S 21315 21318 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321723 10915721216 10085 33554432000 4194304 4196468 140733920849632 140203368847984 140204333980290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21326] ppid=21315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21326/stat : 21326 (java) S 21315 21318 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414321724 10915721216 10085 33554432000 4194304 4196468 140733920849632 140203367793952 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21327] ppid=21315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21327/stat : 21327 (java) S 21315 21318 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414321724 10915721216 10085 33554432000 4194304 4196468 140733920849632 140203366741616 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21328] ppid=21315 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21328/stat : 21328 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321726 10915721216 10085 33554432000 4194304 4196468 140733920849632 140203365689936 140204333987739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21329] ppid=21315 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7 /proc/21318/task/21329/stat : 21329 (java) S 21315 21318 20852 0 -1 1077944384 645 0 0 0 4 0 0 0 20 0 15 0 414321726 10915721216 10085 33554432000 4194304 4196468 140733920849632 140203364636784 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21330] ppid=21315 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7 /proc/21318/task/21330/stat : 21330 (java) S 21315 21318 20852 0 -1 1077944384 357 0 0 0 4 0 0 0 20 0 15 0 414321726 10915721216 10085 33554432000 4194304 4196468 140733920849632 140203363583984 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21331] ppid=21315 vsize=10659884 memory=139797542053504 CPUtime=0.08 cores=1,3,5,7 /proc/21318/task/21331/stat : 21331 (java) S 21315 21318 20852 0 -1 1077944384 743 0 0 0 8 0 0 0 20 0 15 0 414321726 10915721216 10085 33554432000 4194304 4196468 140733920849632 140203362531696 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21332] ppid=21315 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21332/stat : 21332 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321727 10915721216 10085 33554432000 4194304 4196468 140733920849632 140203361479136 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21333] ppid=21315 vsize=10659884 memory=139797542053504 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21333/stat : 21333 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321727 10915721216 10085 33554432000 4194304 4196468 140733920849632 140203360426928 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40340 KiB [startup+0.701619 s] /proc/loadavg: 0.76 0.19 0.10 4/229 21333 /proc/meminfo: memFree=26228732/32770624 swapFree=67004752/67108860 [pid=21318] ppid=21315 vsize=10661932 memory=62848 CPUtime=1.11 cores=1,3,5,7 /proc/21318/stat : 21318 (java) S 21315 21318 20852 0 -1 1077944320 12818 0 0 0 106 5 0 0 20 0 15 0 414321721 10917818368 15712 33554432000 4194304 4196468 140733920849632 140733920832176 140204333969143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 /proc/21318/statm: 2665483 15712 3073 1 0 2627980 0 [pid=21318/tid=21320] ppid=21315 vsize=10661932 memory=1276 CPUtime=0.67 cores=1,3,5,7 /proc/21318/task/21320/stat : 21320 (java) R 21315 21318 20852 0 -1 4202560 8864 0 0 0 64 3 0 0 20 0 15 0 414321721 10917818368 15712 33554432000 4194304 4196468 140733920849632 140204338195120 140204317155952 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21321] ppid=21315 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21321/stat : 21321 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10917818368 15712 33554432000 4194304 4196468 140733920849632 140204260043152 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21322] ppid=21315 vsize=10661932 memory=752 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21322/stat : 21322 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10917818368 15712 33554432000 4194304 4196468 140733920849632 140204258990352 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21323] ppid=21315 vsize=10661932 memory=1228 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21323/stat : 21323 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10917818368 15712 33554432000 4194304 4196468 140733920849632 140204257938064 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21324] ppid=21315 vsize=10661932 memory=9584 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21324/stat : 21324 (java) S 21315 21318 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321722 10917818368 15712 33554432000 4194304 4196468 140733920849632 140204256885264 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21325] ppid=21315 vsize=10661932 memory=4140 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21325/stat : 21325 (java) S 21315 21318 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321723 10917818368 15712 33554432000 4194304 4196468 140733920849632 140203368847984 140204333980290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21326] ppid=21315 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21326/stat : 21326 (java) S 21315 21318 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414321724 10917818368 15712 33554432000 4194304 4196468 140733920849632 140203367793952 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21327] ppid=21315 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21327/stat : 21327 (java) S 21315 21318 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414321724 10917818368 15712 33554432000 4194304 4196468 140733920849632 140203366741616 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21328] ppid=21315 vsize=10661932 memory=6296683642736693604 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21328/stat : 21328 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321726 10917818368 15712 33554432000 4194304 4196468 140733920849632 140203365689936 140204333987739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21329] ppid=21315 vsize=10661932 memory=7594592247738553961 CPUtime=0.09 cores=1,3,5,7 /proc/21318/task/21329/stat : 21329 (java) S 21315 21318 20852 0 -1 1077944384 948 0 0 0 9 0 0 0 20 0 15 0 414321726 10917818368 15712 33554432000 4194304 4196468 140733920849632 140203364636784 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21330] ppid=21315 vsize=10661932 memory=5787213857196369745 CPUtime=0.12 cores=1,3,5,7 /proc/21318/task/21330/stat : 21330 (java) R 21315 21318 20852 0 -1 4202560 589 0 0 0 12 0 0 0 20 0 15 0 414321726 10917818368 15712 33554432000 4194304 4196468 140733920849632 140203363583984 140204313662247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21331] ppid=21315 vsize=10661932 memory=5450909908396308010 CPUtime=0.19 cores=1,3,5,7 /proc/21318/task/21331/stat : 21331 (java) S 21315 21318 20852 0 -1 1077944384 1059 0 0 0 19 0 0 0 20 0 15 0 414321726 10917818368 15712 33554432000 4194304 4196468 140733920849632 140203362531696 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21332] ppid=21315 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21332/stat : 21332 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321727 10917818368 15712 33554432000 4194304 4196468 140733920849632 140203361479136 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21333] ppid=21315 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21333/stat : 21333 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321727 10917818368 15712 33554432000 4194304 4196468 140733920849632 140203360426928 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 62848 KiB [startup+1.50074 s] /proc/loadavg: 0.76 0.19 0.10 3/229 21333 /proc/meminfo: memFree=25873568/32770624 swapFree=67004752/67108860 [pid=21318] ppid=21315 vsize=10663980 memory=75240 CPUtime=2 cores=1,3,5,7 /proc/21318/stat : 21318 (java) S 21315 21318 20852 0 -1 1077944320 16410 0 0 0 195 5 0 0 20 0 15 0 414321721 10919915520 18810 33554432000 4194304 4196468 140733920849632 140733920832176 140204333969143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 /proc/21318/statm: 2665995 18810 3094 1 0 2628492 0 [pid=21318/tid=21320] ppid=21315 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7 /proc/21318/task/21320/stat : 21320 (java) R 21315 21318 20852 0 -1 4202560 11460 0 0 0 144 4 0 0 20 0 15 0 414321721 10919915520 18810 33554432000 4194304 4196468 140733920849632 140204338195120 140204333983030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21321] ppid=21315 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21321/stat : 21321 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10919915520 18810 33554432000 4194304 4196468 140733920849632 140204260043152 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21322] ppid=21315 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21322/stat : 21322 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10919915520 18810 33554432000 4194304 4196468 140733920849632 140204258990352 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21323] ppid=21315 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21323/stat : 21323 (java) S 21315 21318 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321722 10919915520 18810 33554432000 4194304 4196468 140733920849632 140204257938064 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21324] ppid=21315 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21324/stat : 21324 (java) S 21315 21318 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321722 10919915520 18810 33554432000 4194304 4196468 140733920849632 140204256885264 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21325] ppid=21315 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21325/stat : 21325 (java) S 21315 21318 20852 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414321723 10919915520 18810 33554432000 4194304 4196468 140733920849632 140203368847984 140204333980290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 ################ # More data... # ################ [startup+36.8006 s] /proc/loadavg: 1.26 0.38 0.17 3/229 21335 /proc/meminfo: memFree=24245616/32770624 swapFree=67004752/67108860 [pid=21318] ppid=21315 vsize=10748324 memory=253780 CPUtime=39.62 cores=1,3,5,7 /proc/21318/stat : 21318 (java) S 21315 21318 20852 0 -1 1077944320 36746 0 0 0 3947 15 0 0 20 0 16 0 414321721 11006283776 63445 33554432000 4194304 4196468 140733920849632 140733920832176 140204333969143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 /proc/21318/statm: 2687081 63445 3375 1 0 2647217 0 [pid=21318/tid=21320] ppid=21315 vsize=10748324 memory=303430223234596890 CPUtime=1.85 cores=1,3,5,7 /proc/21318/task/21320/stat : 21320 (java) S 21315 21318 20852 0 -1 1077944384 13123 0 0 0 179 6 0 0 20 0 16 0 414321721 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204338212016 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21321] ppid=21315 vsize=10748324 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21321/stat : 21321 (java) S 21315 21318 20852 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204260043152 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21322] ppid=21315 vsize=10748324 memory=139797427965920 CPUtime=0.03 cores=1,3,5,7 /proc/21318/task/21322/stat : 21322 (java) S 21315 21318 20852 0 -1 1077944384 146 0 0 0 3 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204258990352 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21323] ppid=21315 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21323/stat : 21323 (java) S 21315 21318 20852 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204257938064 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21324] ppid=21315 vsize=10748324 memory=5960 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21324/stat : 21324 (java) S 21315 21318 20852 0 -1 1077944384 1739 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204256885264 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21325] ppid=21315 vsize=10748324 memory=772 CPUtime=0.01 cores=1,3,5,7 /proc/21318/task/21325/stat : 21325 (java) S 21315 21318 20852 0 -1 1077944384 710 0 0 0 1 0 0 0 20 0 16 0 414321723 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203368847984 140204333980290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21326] ppid=21315 vsize=10748324 memory=952 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21326/stat : 21326 (java) S 21315 21318 20852 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414321724 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203367794016 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21327] ppid=21315 vsize=10748324 memory=14008 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21327/stat : 21327 (java) S 21315 21318 20852 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414321724 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203366741632 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21328] ppid=21315 vsize=10748324 memory=21732 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21328/stat : 21328 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203365689936 140204333987739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21329] ppid=21315 vsize=10748324 memory=2116 CPUtime=1.02 cores=1,3,5,7 /proc/21318/task/21329/stat : 21329 (java) S 21315 21318 20852 0 -1 1077944384 3224 0 0 0 102 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203364636784 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21330] ppid=21315 vsize=10748324 memory=6791534058613427641 CPUtime=1.03 cores=1,3,5,7 /proc/21318/task/21330/stat : 21330 (java) S 21315 21318 20852 0 -1 1077944384 3424 0 0 0 103 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203363583984 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21331] ppid=21315 vsize=10748324 memory=288230617509003574 CPUtime=0.63 cores=1,3,5,7 /proc/21318/task/21331/stat : 21331 (java) S 21315 21318 20852 0 -1 1077944384 5380 0 0 0 63 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203362531696 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21332] ppid=21315 vsize=10748324 memory=16104775267649398 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21332/stat : 21332 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321727 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203361479136 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21333] ppid=21315 vsize=10748324 memory=2004 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21333/stat : 21333 (java) S 21315 21318 20852 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 16 0 414321727 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203360426928 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21334] ppid=21315 vsize=10748324 memory=1276 CPUtime=34.86 cores=1,3,5,7 /proc/21318/task/21334/stat : 21334 (java) R 21315 21318 20852 0 -1 4202560 6690 0 0 0 3483 3 0 0 20 0 16 0 414321908 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203343757120 140203928886928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 Current children cumulated CPU time: 39.62 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 253780 KiB [startup+37.6006 s] /proc/loadavg: 1.32 0.40 0.18 3/229 21335 /proc/meminfo: memFree=24245616/32770624 swapFree=67004752/67108860 [pid=21318] ppid=21315 vsize=10748324 memory=253780 CPUtime=40.42 cores=1,3,5,7 /proc/21318/stat : 21318 (java) S 21315 21318 20852 0 -1 1077944320 36754 0 0 0 4027 15 0 0 20 0 16 0 414321721 11006283776 63445 33554432000 4194304 4196468 140733920849632 140733920832176 140204333969143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 /proc/21318/statm: 2687081 63445 3375 1 0 2647217 0 [pid=21318/tid=21320] ppid=21315 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7 /proc/21318/task/21320/stat : 21320 (java) S 21315 21318 20852 0 -1 1077944384 13123 0 0 0 179 6 0 0 20 0 16 0 414321721 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204338212016 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21321] ppid=21315 vsize=10748324 memory=253780 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21321/stat : 21321 (java) S 21315 21318 20852 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204260043152 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21322] ppid=21315 vsize=10748324 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7 /proc/21318/task/21322/stat : 21322 (java) S 21315 21318 20852 0 -1 1077944384 146 0 0 0 3 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204258990352 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21323] ppid=21315 vsize=10748324 memory=39608 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21323/stat : 21323 (java) S 21315 21318 20852 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204257938064 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21324] ppid=21315 vsize=10748324 memory=984 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21324/stat : 21324 (java) S 21315 21318 20852 0 -1 1077944384 1739 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204256885264 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21325] ppid=21315 vsize=10748324 memory=2004 CPUtime=0.01 cores=1,3,5,7 /proc/21318/task/21325/stat : 21325 (java) S 21315 21318 20852 0 -1 1077944384 710 0 0 0 1 0 0 0 20 0 16 0 414321723 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203368847984 140204333980290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21326] ppid=21315 vsize=10748324 memory=1276 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21326/stat : 21326 (java) S 21315 21318 20852 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414321724 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203367794016 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21327] ppid=21315 vsize=10748324 memory=1060 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21327/stat : 21327 (java) S 21315 21318 20852 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414321724 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203366741632 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21328] ppid=21315 vsize=10748324 memory=253780 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21328/stat : 21328 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203365689936 140204333987739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21329] ppid=21315 vsize=10748324 memory=3690332955175098953 CPUtime=1.02 cores=1,3,5,7 /proc/21318/task/21329/stat : 21329 (java) S 21315 21318 20852 0 -1 1077944384 3224 0 0 0 102 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203364636784 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21330] ppid=21315 vsize=10748324 memory=3835007872399584663 CPUtime=1.03 cores=1,3,5,7 /proc/21318/task/21330/stat : 21330 (java) S 21315 21318 20852 0 -1 1077944384 3424 0 0 0 103 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203363583984 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21331] ppid=21315 vsize=10748324 memory=6791534058613427641 CPUtime=0.63 cores=1,3,5,7 /proc/21318/task/21331/stat : 21331 (java) S 21315 21318 20852 0 -1 1077944384 5380 0 0 0 63 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203362531696 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21332] ppid=21315 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21332/stat : 21332 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321727 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203361479136 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21333] ppid=21315 vsize=10748324 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21333/stat : 21333 (java) S 21315 21318 20852 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 16 0 414321727 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203360426928 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21334] ppid=21315 vsize=10748324 memory=6944656592455097440 CPUtime=35.66 cores=1,3,5,7 /proc/21318/task/21334/stat : 21334 (java) R 21315 21318 20852 0 -1 4202560 6698 0 0 0 3563 3 0 0 20 0 16 0 414321908 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203343757120 140203928916201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 Current children cumulated CPU time: 40.42 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 253780 KiB [startup+38.0006 s]* /proc/loadavg: 1.32 0.40 0.18 3/229 21335 /proc/meminfo: memFree=24245616/32770624 swapFree=67004752/67108860 [pid=21318] ppid=21315 vsize=10748324 memory=253780 CPUtime=40.83 cores=1,3,5,7 /proc/21318/stat : 21318 (java) S 21315 21318 20852 0 -1 1077944320 36756 0 0 0 4068 15 0 0 20 0 16 0 414321721 11006283776 63445 33554432000 4194304 4196468 140733920849632 140733920832176 140204333969143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 /proc/21318/statm: 2687081 63445 3375 1 0 2647217 0 [pid=21318/tid=21320] ppid=21315 vsize=10748324 memory=1398722017469774279 CPUtime=1.85 cores=1,3,5,7 /proc/21318/task/21320/stat : 21320 (java) S 21315 21318 20852 0 -1 1077944384 13123 0 0 0 179 6 0 0 20 0 16 0 414321721 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204338212016 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21321] ppid=21315 vsize=10748324 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21321/stat : 21321 (java) S 21315 21318 20852 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204260043152 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21322] ppid=21315 vsize=10748324 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/21318/task/21322/stat : 21322 (java) S 21315 21318 20852 0 -1 1077944384 146 0 0 0 3 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204258990352 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21323] ppid=21315 vsize=10748324 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21323/stat : 21323 (java) S 21315 21318 20852 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204257938064 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21324] ppid=21315 vsize=10748324 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21324/stat : 21324 (java) S 21315 21318 20852 0 -1 1077944384 1739 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204256885264 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21325] ppid=21315 vsize=10748324 memory=-1 CPUtime=0.01 cores=1,3,5,7 /proc/21318/task/21325/stat : 21325 (java) S 21315 21318 20852 0 -1 1077944384 710 0 0 0 1 0 0 0 20 0 16 0 414321723 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203368847984 140204333980290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21326] ppid=21315 vsize=10748324 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21326/stat : 21326 (java) S 21315 21318 20852 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414321724 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203367794016 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21327] ppid=21315 vsize=10748324 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21327/stat : 21327 (java) S 21315 21318 20852 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414321724 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203366741632 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21328] ppid=21315 vsize=10748324 memory=139797542053504 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21328/stat : 21328 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203365689936 140204333987739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21329] ppid=21315 vsize=10748324 memory=0 CPUtime=1.02 cores=1,3,5,7 /proc/21318/task/21329/stat : 21329 (java) S 21315 21318 20852 0 -1 1077944384 3224 0 0 0 102 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203364636784 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21330] ppid=21315 vsize=10748324 memory=0 CPUtime=1.03 cores=1,3,5,7 /proc/21318/task/21330/stat : 21330 (java) S 21315 21318 20852 0 -1 1077944384 3424 0 0 0 103 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203363583984 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21331] ppid=21315 vsize=10748324 memory=0 CPUtime=0.63 cores=1,3,5,7 /proc/21318/task/21331/stat : 21331 (java) S 21315 21318 20852 0 -1 1077944384 5380 0 0 0 63 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203362531696 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21332] ppid=21315 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21332/stat : 21332 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321727 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203361479136 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21333] ppid=21315 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21333/stat : 21333 (java) S 21315 21318 20852 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 16 0 414321727 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203360426928 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21334] ppid=21315 vsize=10748324 memory=0 CPUtime=36.07 cores=1,3,5,7 /proc/21318/task/21334/stat : 21334 (java) R 21315 21318 20852 0 -1 4202560 6700 0 0 0 3604 3 0 0 20 0 16 0 414321908 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203343757120 140203928989328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 Current children cumulated CPU time: 40.83 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 253780 KiB [startup+38.1101 s] /proc/loadavg: 1.32 0.40 0.18 3/229 21335 /proc/meminfo: memFree=24245616/32770624 swapFree=67004752/67108860 [pid=21318] ppid=21315 vsize=10748324 memory=253780 CPUtime=40.93 cores=1,3,5,7 /proc/21318/stat : 21318 (java) S 21315 21318 20852 0 -1 1077944320 36756 0 0 0 4078 15 0 0 20 0 16 0 414321721 11006283776 63445 33554432000 4194304 4196468 140733920849632 140733920832176 140204333969143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 /proc/21318/statm: 2687081 63445 3375 1 0 2647217 0 [pid=21318/tid=21320] ppid=21315 vsize=10748324 memory=253780 CPUtime=1.85 cores=1,3,5,7 /proc/21318/task/21320/stat : 21320 (java) S 21315 21318 20852 0 -1 1077944384 13123 0 0 0 179 6 0 0 20 0 16 0 414321721 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204338212016 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21321] ppid=21315 vsize=10748324 memory=253780 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21321/stat : 21321 (java) S 21315 21318 20852 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204260043152 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21322] ppid=21315 vsize=10748324 memory=253780 CPUtime=0.03 cores=1,3,5,7 /proc/21318/task/21322/stat : 21322 (java) S 21315 21318 20852 0 -1 1077944384 146 0 0 0 3 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204258990352 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21323] ppid=21315 vsize=10748324 memory=253780 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21323/stat : 21323 (java) S 21315 21318 20852 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204257938064 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21324] ppid=21315 vsize=10748324 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/21318/task/21324/stat : 21324 (java) S 21315 21318 20852 0 -1 1077944384 1739 0 0 0 2 0 0 0 20 0 16 0 414321722 11006283776 63445 33554432000 4194304 4196468 140733920849632 140204256885264 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21325] ppid=21315 vsize=10748324 memory=253780 CPUtime=0.01 cores=1,3,5,7 /proc/21318/task/21325/stat : 21325 (java) S 21315 21318 20852 0 -1 1077944384 710 0 0 0 1 0 0 0 20 0 16 0 414321723 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203368847984 140204333980290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21326] ppid=21315 vsize=10748324 memory=253780 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21326/stat : 21326 (java) S 21315 21318 20852 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414321724 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203367794016 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21327] ppid=21315 vsize=10748324 memory=8546823402028195750 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21327/stat : 21327 (java) S 21315 21318 20852 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414321724 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203366741632 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21328] ppid=21315 vsize=10748324 memory=7681421203011431829 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21328/stat : 21328 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203365689936 140204333987739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21329] ppid=21315 vsize=10748324 memory=253708 CPUtime=1.02 cores=1,3,5,7 /proc/21318/task/21329/stat : 21329 (java) S 21315 21318 20852 0 -1 1077944384 3224 0 0 0 102 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203364636784 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21330] ppid=21315 vsize=10748324 memory=0 CPUtime=1.03 cores=1,3,5,7 /proc/21318/task/21330/stat : 21330 (java) S 21315 21318 20852 0 -1 1077944384 3424 0 0 0 103 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203363583984 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21331] ppid=21315 vsize=10748324 memory=0 CPUtime=0.63 cores=1,3,5,7 /proc/21318/task/21331/stat : 21331 (java) S 21315 21318 20852 0 -1 1077944384 5380 0 0 0 63 0 0 0 20 0 16 0 414321726 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203362531696 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21332] ppid=21315 vsize=10748324 memory=253780 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21332/stat : 21332 (java) S 21315 21318 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321727 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203361479136 140204333979349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21333] ppid=21315 vsize=10748324 memory=253696 CPUtime=0 cores=1,3,5,7 /proc/21318/task/21333/stat : 21333 (java) S 21315 21318 20852 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 16 0 414321727 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203360426928 140204333980290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 [pid=21318/tid=21334] ppid=21315 vsize=10748324 memory=253780 CPUtime=36.17 cores=1,3,5,7 /proc/21318/task/21334/stat : 21334 (java) R 21315 21318 20852 0 -1 4202560 6700 0 0 0 3614 3 0 0 20 0 16 0 414321908 11006283776 63445 33554432000 4194304 4196468 140733920849632 140203343757120 140203928215632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140733920850955 140733920851058 140733920851058 140733920853967 0 Current children cumulated CPU time: 40.93 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 253780 KiB Child status: 0 Real time (s): 38.1532 CPU time (s): 40.9761 CPU user time (s): 40.8187 CPU system time (s): 0.157403 CPU usage (%): 107.399 Max. virtual memory (cumulated for all children) (KiB): 10749348 Max. memory (cumulated for all children) (KiB): 253780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.8187 system time used= 0.157403 maximum resident set size= 253928 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38243 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3525 involuntary context switches= 77 # summary of solver processes directly reported to runsolver: # pid: 21318 # total CPU time (s): 40.9761 # total CPU user time (s): 40.8187 # total CPU system time (s): 0.157403 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.259935 second user time and 0.384704 second system time The end
Begin job on node126 at 2019-09-13 15:15:02 IDJOB=4390853 IDBENCH=122936 IDSOLVER=2832 FILE ID=node126/4390853-1568380539 RUNJOBID= node126-1568380478-20884 PBS_JOBID= 21701838 Free space on /tmp= 55272 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-15-035-010.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390853-1568380539/watcher-4390853-1568380539 -o /tmp/evaluation-result-4390853-1568380539/solver-4390853-1568380539 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20884 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390853-1568380539.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b4ffb396ba331e6a6f6e6b1bc4ae482f RANDOM SEED=1464053342 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26268052 kB MemAvailable: 29783808 kB Buffers: 150120 kB Cached: 3604048 kB SwapCached: 2860 kB Active: 4083288 kB Inactive: 1750328 kB Active(anon): 2077480 kB Inactive(anon): 43272 kB Active(file): 2005808 kB Inactive(file): 1707056 kB Unevictable: 109116 kB Mlocked: 109116 kB SwapTotal: 67108860 kB SwapFree: 67004752 kB Dirty: 9420 kB Writeback: 0 kB AnonPages: 2195540 kB Mapped: 56640 kB Shmem: 32816 kB Slab: 261440 kB SReclaimable: 231352 kB SUnreclaim: 30088 kB KernelStack: 4016 kB PageTables: 9844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3714332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2091008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 55264 MiB End job on node126 at 2019-09-13 15:15:40