Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 3 | 41.2219 | 38.4951 |
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.16104 |
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.41/1.89 2.41/1.89 AbsCon 2 2.64/1.90 2.93/2.06 Instance 2.93/2.06 name=instance-4391153-1568388965, framework=COP, bounds=-infty..+infty 2.93/2.06 2.93/2.06 Loading variables... 2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118b3b8 3.20/2.11 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3587dbb3 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@554dbcf1 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7644734e 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bf87e79 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8980170 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24638287 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd488bb 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac02c33 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a7b9ac9 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd9dcaf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7170d0fb 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a7a5f01 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3733bf69 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21837dd6 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb6a99 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f914f67 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4810e1 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f886be7 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ead3f5f 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b48a7fd 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b48a7fd 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b48a7fd 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bdf444e 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bdf444e 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34dc4c6a 3.51/2.24 3.51/2.24 3.51/2.24 Domains 3.51/2.24 nTypes=2, nValues=1083, sizes=[2#525,33#1] 3.51/2.24 Variables 3.51/2.24 count=526, degrees=[17#4,18#92,19#429,106#1] 3.51/2.24 Objectives 3.51/2.24 way=min, type=ObjVarLE 3.51/2.24 Constraints 3.51/2.24 count=169, nSpecific=169, arities=[1#1,30#34,35#15,70#14,71#105] 3.51/2.24 distribution=[LexicographicLe#48,ObjVarLE#1,SumScalarBooleanLEVar#105,SumSimpleEQ#15] 3.51/2.24 wck=0.379, cpu=2.206, mem=34M440 3.51/2.24 Solver SolverBacktrack being built... 3.51/2.24 3.51/2.27 3.51/2.27 Solver 3.51/2.27 guaranteedGAC=true 3.51/2.27 wck=0.414, cpu=2.24, mem=45M82 3.51/2.28 3.51/2.28 Preprocessing 3.51/2.28 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.51/2.28 wck=0.01, cpu=2.251, mem=45M82 3.51/2.28 3.51/2.30 num=0, depth=44..73, filters=117, wck=0.028, mem=47M725 3.51/2.30 decisions=116, wrong=24, backtracks=21, failedAssignments=10, nogoods=3 3.51/2.30 3.76/2.33 num=1, depth=1..62, filters=310, wck=0.049, mem=47M725 3.76/2.33 decisions=198, wrong=40, backtracks=28, failedAssignments=21, nogoods=12 3.76/2.33 3.76/2.33 num=2, depth=1..91, filters=760, wck=0.063, mem=47M725 3.76/2.33 decisions=309, wrong=57, backtracks=33, failedAssignments=33, nogoods=22 3.76/2.33 3.76/2.35 num=3, depth=1..164, filters=1190, wck=0.073, mem=47M725 3.76/2.35 decisions=493, wrong=76, backtracks=39, failedAssignments=46, nogoods=35 3.76/2.35 3.76/2.36 o 10 3.76/2.37 num=4, depth=1..525, filters=1530, ccks=169, wck=0.095, mem=47M725 3.76/2.37 decisions=761, wrong=86, backtracks=39, failedAssignments=56, nogoods=45, foundSolutions=1, bestBound=10 3.76/2.37 3.76/2.37 num=5, depth=1..80, filters=1799, ccks=169, wck=0.101, mem=47M725 3.76/2.37 decisions=873, wrong=110, backtracks=47, failedAssignments=72, nogoods=54, foundSolutions=1, bestBound=10 3.76/2.37 3.76/2.38 num=6, depth=1..132, filters=2076, ccks=169, wck=0.108, mem=47M725 3.76/2.38 decisions=1020, wrong=122, backtracks=49, failedAssignments=83, nogoods=64, foundSolutions=1, bestBound=10 3.76/2.38 3.76/2.39 num=7, depth=1..113, filters=2436, ccks=169, wck=0.114, mem=47M725 3.76/2.39 decisions=1159, wrong=141, backtracks=56, failedAssignments=95, nogoods=70, foundSolutions=1, bestBound=10 3.76/2.39 3.76/2.39 o 9 3.76/2.40 num=8, depth=87..525, filters=2611, ccks=338, wck=0.123, mem=47M725 3.76/2.40 decisions=1283, wrong=147, backtracks=56, failedAssignments=101, nogoods=76, foundSolutions=2, bestBound=9 3.76/2.40 4.09/2.40 num=9, depth=21..29, filters=2815, ccks=338, wck=0.128, mem=47M725 4.09/2.40 decisions=1350, wrong=169, backtracks=70, failedAssignments=115, nogoods=79, foundSolutions=2, bestBound=9 4.09/2.40 4.09/2.40 num=10, depth=1..84, filters=3143, ccks=338, wck=0.132, mem=47M725 4.09/2.40 decisions=1446, wrong=180, backtracks=70, failedAssignments=126, nogoods=90, foundSolutions=2, bestBound=9 4.09/2.40 4.09/2.41 num=11, depth=1..104, filters=3413, ccks=338, wck=0.136, mem=47M725 4.09/2.41 decisions=1563, wrong=192, backtracks=70, failedAssignments=138, nogoods=102, foundSolutions=2, bestBound=9 4.09/2.41 4.09/2.41 num=12, depth=1..63, filters=3725, ccks=338, wck=0.14, mem=47M725 4.09/2.41 decisions=1640, wrong=205, backtracks=70, failedAssignments=151, nogoods=115, foundSolutions=2, bestBound=9 4.09/2.41 4.09/2.42 num=13, depth=1..43, filters=3905, ccks=338, wck=0.143, mem=47M725 4.09/2.42 decisions=1701, wrong=220, backtracks=72, failedAssignments=165, nogoods=128, foundSolutions=2, bestBound=9 4.09/2.42 4.09/2.42 num=14, depth=1..216, filters=4202, ccks=338, wck=0.149, mem=47M725 4.09/2.42 decisions=1942, wrong=239, backtracks=76, failedAssignments=181, nogoods=142, foundSolutions=2, bestBound=9 4.09/2.42 4.09/2.43 o 7 4.09/2.43 num=15, depth=1..525, filters=4519, ccks=507, wck=0.16, mem=47M725 4.09/2.43 decisions=2227, wrong=255, backtracks=76, failedAssignments=197, nogoods=158, foundSolutions=3, bestBound=7 4.09/2.43 4.09/2.44 num=16, depth=1..224, filters=4765, ccks=507, wck=0.167, mem=47M725 4.09/2.44 decisions=2478, wrong=276, backtracks=84, failedAssignments=216, nogoods=171, foundSolutions=3, bestBound=7 4.09/2.44 4.09/2.44 num=17, depth=1..107, filters=4976, ccks=507, wck=0.171, mem=47M725 4.09/2.44 decisions=2607, wrong=291, backtracks=90, failedAssignments=227, nogoods=180, foundSolutions=3, bestBound=7 4.09/2.44 4.09/2.45 num=18, depth=1..49, filters=5146, ccks=507, wck=0.174, mem=47M725 4.09/2.45 decisions=2670, wrong=304, backtracks=93, failedAssignments=239, nogoods=190, foundSolutions=3, bestBound=7 4.09/2.45 4.09/2.45 num=19, depth=2..31, filters=5315, ccks=507, wck=0.176, mem=47M725 4.09/2.45 decisions=2719, wrong=318, backtracks=96, failedAssignments=252, nogoods=201, foundSolutions=3, bestBound=7 4.09/2.45 4.09/2.45 num=20, depth=1..37, filters=5509, ccks=507, wck=0.179, mem=47M725 4.09/2.45 decisions=2773, wrong=334, backtracks=100, failedAssignments=266, nogoods=213, foundSolutions=3, bestBound=7 4.09/2.45 4.09/2.46 num=21, depth=1..137, filters=5712, ccks=507, wck=0.183, mem=47M725 4.09/2.46 decisions=2930, wrong=352, backtracks=108, failedAssignments=282, nogoods=222, foundSolutions=3, bestBound=7 4.09/2.46 4.09/2.46 num=22, depth=1..251, filters=5985, ccks=507, wck=0.19, mem=47M725 4.09/2.46 decisions=3199, wrong=369, backtracks=108, failedAssignments=299, nogoods=239, foundSolutions=3, bestBound=7 4.09/2.46 4.09/2.47 num=23, depth=2..133, filters=6180, ccks=507, wck=0.195, mem=47M725 4.09/2.47 decisions=3360, wrong=390, backtracks=115, failedAssignments=318, nogoods=253, foundSolutions=3, bestBound=7 4.09/2.47 4.09/2.47 num=24, depth=20..47, filters=6372, ccks=507, wck=0.198, mem=47M725 4.09/2.47 decisions=3470, wrong=424, backtracks=143, failedAssignments=339, nogoods=259, foundSolutions=3, bestBound=7 4.09/2.47 4.09/2.48 num=25, depth=17..27, filters=6974, ccks=507, wck=0.204, mem=47M725 4.09/2.48 decisions=3586, wrong=470, backtracks=181, failedAssignments=362, nogoods=263, foundSolutions=3, bestBound=7 4.09/2.48 4.09/2.48 num=26, depth=2..31, filters=7589, ccks=507, wck=0.209, mem=47M725 4.09/2.48 decisions=3714, wrong=521, backtracks=226, failedAssignments=387, nogoods=268, foundSolutions=3, bestBound=7 4.09/2.48 4.09/2.49 num=27, depth=3..28, filters=7950, ccks=507, wck=0.213, mem=47M725 4.09/2.49 decisions=3823, wrong=566, backtracks=263, failedAssignments=415, nogoods=274, foundSolutions=3, bestBound=7 4.09/2.49 4.09/2.49 num=28, depth=20..95, filters=8335, ccks=507, wck=0.218, mem=47M725 4.09/2.49 decisions=3985, wrong=609, backtracks=286, failedAssignments=446, nogoods=289, foundSolutions=3, bestBound=7 4.09/2.49 4.09/2.50 num=29, depth=21..42, filters=8834, ccks=507, wck=0.224, mem=47M725 4.09/2.50 decisions=4144, wrong=674, backtracks=342, failedAssignments=480, nogoods=297, foundSolutions=3, bestBound=7 4.09/2.50 4.42/2.50 num=30, depth=3..39, filters=9334, ccks=507, wck=0.23, mem=47M725 4.42/2.50 decisions=4281, wrong=729, backtracks=387, failedAssignments=517, nogoods=307, foundSolutions=3, bestBound=7 4.42/2.50 4.42/2.51 num=31, depth=4..153, filters=10006, ccks=507, wck=0.238, mem=47M725 4.42/2.51 decisions=4532, wrong=799, backtracks=419, failedAssignments=558, nogoods=318, foundSolutions=3, bestBound=7 4.42/2.51 4.42/2.52 num=32, depth=8..75, filters=10328, ccks=507, wck=0.243, mem=47M725 4.42/2.52 decisions=4727, wrong=866, backtracks=474, failedAssignments=603, nogoods=330, foundSolutions=3, bestBound=7 4.42/2.52 4.42/2.52 num=33, depth=3..54, filters=10646, ccks=507, wck=0.247, mem=47M725 4.42/2.52 decisions=4909, wrong=937, backtracks=533, failedAssignments=653, nogoods=344, foundSolutions=3, bestBound=7 4.42/2.52 4.42/2.53 num=34, depth=2..203, filters=11209, ccks=507, wck=0.255, mem=50M367 4.42/2.53 decisions=5257, wrong=1021, backtracks=598, failedAssignments=708, nogoods=357, foundSolutions=3, bestBound=7 4.42/2.53 4.42/2.54 num=35, depth=6..268, filters=11713, ccks=507, wck=0.264, mem=50M367 4.42/2.54 decisions=5664, wrong=1101, backtracks=654, failedAssignments=769, nogoods=379, foundSolutions=3, bestBound=7 4.42/2.54 4.42/2.54 num=36, depth=4..68, filters=12355, ccks=507, wck=0.27, mem=50M367 4.42/2.54 decisions=5919, wrong=1203, backtracks=734, failedAssignments=836, nogoods=392, foundSolutions=3, bestBound=7 4.42/2.54 4.42/2.55 num=37, depth=8..279, filters=12990, ccks=507, wck=0.28, mem=50M367 4.42/2.55 decisions=6384, wrong=1311, backtracks=818, failedAssignments=910, nogoods=415, foundSolutions=3, bestBound=7 4.42/2.55 4.42/2.56 num=38, depth=8..245, filters=14195, ccks=507, wck=0.291, mem=50M367 4.42/2.56 decisions=6837, wrong=1434, backtracks=908, failedAssignments=991, nogoods=446, foundSolutions=3, bestBound=7 4.42/2.56 4.42/2.58 num=39, depth=9..213, filters=15675, ccks=507, wck=0.306, mem=50M367 4.42/2.58 decisions=7312, wrong=1579, backtracks=1029, failedAssignments=1080, nogoods=468, foundSolutions=3, bestBound=7 4.42/2.58 4.42/2.59 num=40, depth=10..223, filters=17261, ccks=507, wck=0.32, mem=50M367 4.42/2.59 decisions=7841, wrong=1745, backtracks=1171, failedAssignments=1178, nogoods=489, foundSolutions=3, bestBound=7 4.42/2.59 4.71/2.60 num=41, depth=10..230, filters=17757, ccks=507, wck=0.328, mem=50M367 4.71/2.60 decisions=8303, wrong=1876, backtracks=1283, failedAssignments=1286, nogoods=512, foundSolutions=3, bestBound=7 4.71/2.60 4.71/2.61 num=42, depth=9..172, filters=18422, ccks=507, wck=0.336, mem=50M367 4.71/2.61 decisions=8763, wrong=2038, backtracks=1427, failedAssignments=1405, nogoods=523, foundSolutions=3, bestBound=7 4.71/2.61 4.71/2.63 num=43, depth=10..56, filters=21791, ccks=507, wck=0.357, mem=50M367 4.71/2.63 decisions=9491, wrong=2379, backtracks=1731, failedAssignments=1536, nogoods=531, foundSolutions=3, bestBound=7 4.71/2.63 4.71/2.65 num=44, depth=5..103, filters=24085, ccks=507, wck=0.375, mem=50M367 4.71/2.65 decisions=10063, wrong=2620, backtracks=1935, failedAssignments=1680, nogoods=545, foundSolutions=3, bestBound=7 4.71/2.65 4.71/2.66 num=45, depth=5..149, filters=25518, ccks=507, wck=0.387, mem=50M367 4.71/2.66 decisions=10722, wrong=2890, backtracks=2152, failedAssignments=1838, nogoods=565, foundSolutions=3, bestBound=7 4.71/2.66 4.71/2.67 num=46, depth=9..231, filters=26831, ccks=507, wck=0.4, mem=50M367 4.71/2.67 decisions=11439, wrong=3151, backtracks=2385, failedAssignments=2012, nogoods=578, foundSolutions=3, bestBound=7 4.71/2.67 4.71/2.69 num=47, depth=9..140, filters=29268, ccks=507, wck=0.417, mem=50M367 4.71/2.69 decisions=12236, wrong=3491, backtracks=2656, failedAssignments=2203, nogoods=603, foundSolutions=3, bestBound=7 4.71/2.69 5.00/2.70 num=48, depth=8..270, filters=30361, ccks=507, wck=0.429, mem=50M367 5.00/2.70 decisions=13116, wrong=3811, backtracks=2926, failedAssignments=2414, nogoods=620, foundSolutions=3, bestBound=7 5.00/2.70 5.00/2.71 num=49, depth=9..269, filters=31234, ccks=507, wck=0.44, mem=50M367 5.00/2.71 decisions=13984, wrong=4122, backtracks=3220, failedAssignments=2646, nogoods=646, foundSolutions=3, bestBound=7 5.00/2.71 5.00/2.72 num=50, depth=10..220, filters=32196, ccks=507, wck=0.451, mem=50M367 5.00/2.72 decisions=14784, wrong=4455, backtracks=3522, failedAssignments=2901, nogoods=667, foundSolutions=3, bestBound=7 5.00/2.72 5.00/2.75 num=51, depth=13..138, filters=35926, ccks=507, wck=0.477, mem=50M367 5.00/2.75 decisions=16017, wrong=5014, backtracks=4041, failedAssignments=3182, nogoods=685, foundSolutions=3, bestBound=7 5.00/2.75 5.00/2.76 num=52, depth=7..122, filters=37830, ccks=507, wck=0.491, mem=53M10 5.00/2.76 decisions=17089, wrong=5509, backtracks=4513, failedAssignments=3491, nogoods=700, foundSolutions=3, bestBound=7 5.00/2.76 5.00/2.78 num=53, depth=7..175, filters=39988, ccks=507, wck=0.507, mem=53M10 5.00/2.78 decisions=18431, wrong=6111, backtracks=5049, failedAssignments=3831, nogoods=735, foundSolutions=3, bestBound=7 5.00/2.78 5.00/2.79 num=54, depth=3..174, filters=41927, ccks=507, wck=0.523, mem=53M10 5.00/2.79 decisions=19623, wrong=6639, backtracks=5520, failedAssignments=4205, nogoods=773, foundSolutions=3, bestBound=7 5.00/2.79 5.14/2.83 o 5 5.14/2.83 num=55, depth=3..525, filters=46194, ccks=676, wck=0.559, mem=53M10 5.14/2.83 decisions=21180, wrong=7311, backtracks=6111, failedAssignments=4569, nogoods=814, foundSolutions=4, bestBound=5 5.14/2.83 5.14/2.85 num=56, depth=9..133, filters=49252, ccks=676, wck=0.581, mem=53M10 5.14/2.85 decisions=22969, wrong=8157, backtracks=6858, failedAssignments=5021, nogoods=834, foundSolutions=4, bestBound=5 5.14/2.85 5.14/2.85 num=57, depth=3..65, filters=49388, ccks=676, wck=0.583, mem=53M10 5.14/2.85 decisions=23046, wrong=8168, backtracks=6858, failedAssignments=5032, nogoods=845, foundSolutions=4, bestBound=5 5.14/2.85 5.14/2.86 num=58, depth=3..50, filters=49575, ccks=676, wck=0.585, mem=53M10 5.14/2.86 decisions=23109, wrong=8180, backtracks=6858, failedAssignments=5044, nogoods=857, foundSolutions=4, bestBound=5 5.14/2.86 5.14/2.86 num=59, depth=3..73, filters=49765, ccks=676, wck=0.587, mem=53M10 5.14/2.86 decisions=23210, wrong=8201, backtracks=6868, failedAssignments=5057, nogoods=866, foundSolutions=4, bestBound=5 5.14/2.86 5.14/2.86 num=60, depth=3..76, filters=49934, ccks=676, wck=0.59, mem=53M10 5.14/2.86 decisions=23302, wrong=8216, backtracks=6870, failedAssignments=5071, nogoods=879, foundSolutions=4, bestBound=5 5.14/2.86 5.14/2.86 num=61, depth=3..80, filters=50118, ccks=676, wck=0.592, mem=53M10 5.14/2.86 decisions=23408, wrong=8236, backtracks=6879, failedAssignments=5087, nogoods=891, foundSolutions=4, bestBound=5 5.14/2.86 5.14/2.87 num=62, depth=4..70, filters=50336, ccks=676, wck=0.594, mem=53M10 5.14/2.87 decisions=23510, wrong=8262, backtracks=6888, failedAssignments=5104, nogoods=903, foundSolutions=4, bestBound=5 5.14/2.87 5.14/2.87 num=63, depth=4..73, filters=50542, ccks=676, wck=0.597, mem=53M10 5.14/2.87 decisions=23629, wrong=8295, backtracks=6909, failedAssignments=5123, nogoods=914, foundSolutions=4, bestBound=5 5.14/2.87 5.14/2.87 num=64, depth=17..68, filters=50768, ccks=676, wck=0.599, mem=53M10 5.14/2.87 decisions=23758, wrong=8332, backtracks=6931, failedAssignments=5144, nogoods=923, foundSolutions=4, bestBound=5 5.14/2.87 5.14/2.87 num=65, depth=5..76, filters=51008, ccks=676, wck=0.601, mem=53M10 5.14/2.87 decisions=23895, wrong=8370, backtracks=6953, failedAssignments=5167, nogoods=935, foundSolutions=4, bestBound=5 5.14/2.87 5.14/2.88 num=66, depth=5..83, filters=51248, ccks=676, wck=0.604, mem=53M10 5.14/2.88 decisions=24043, wrong=8410, backtracks=6980, failedAssignments=5192, nogoods=947, foundSolutions=4, bestBound=5 5.14/2.88 5.14/2.88 num=67, depth=11..61, filters=51531, ccks=676, wck=0.607, mem=53M10 5.14/2.88 decisions=24204, wrong=8465, backtracks=7028, failedAssignments=5220, nogoods=954, foundSolutions=4, bestBound=5 5.14/2.88 5.14/2.88 num=68, depth=11..53, filters=51796, ccks=676, wck=0.609, mem=53M10 5.14/2.88 decisions=24366, wrong=8528, backtracks=7076, failedAssignments=5251, nogoods=962, foundSolutions=4, bestBound=5 5.14/2.88 5.14/2.88 num=69, depth=12..78, filters=52087, ccks=676, wck=0.612, mem=53M10 5.14/2.88 decisions=24564, wrong=8594, backtracks=7130, failedAssignments=5285, nogoods=972, foundSolutions=4, bestBound=5 5.14/2.88 5.14/2.89 num=70, depth=14..62, filters=52520, ccks=676, wck=0.615, mem=53M10 5.14/2.89 decisions=24795, wrong=8686, backtracks=7214, failedAssignments=5322, nogoods=978, foundSolutions=4, bestBound=5 5.14/2.89 5.14/2.89 num=71, depth=5..62, filters=52853, ccks=676, wck=0.618, mem=53M10 5.14/2.89 decisions=24966, wrong=8749, backtracks=7261, failedAssignments=5363, nogoods=990, foundSolutions=4, bestBound=5 5.14/2.89 5.14/2.89 num=72, depth=3..68, filters=53292, ccks=676, wck=0.622, mem=53M10 5.14/2.89 decisions=25189, wrong=8834, backtracks=7327, failedAssignments=5408, nogoods=1006, foundSolutions=4, bestBound=5 5.14/2.89 5.28/2.90 num=73, depth=4..68, filters=53759, ccks=676, wck=0.625, mem=53M10 5.28/2.90 decisions=25431, wrong=8930, backtracks=7406, failedAssignments=5458, nogoods=1018, foundSolutions=4, bestBound=5 5.28/2.90 5.28/2.90 num=74, depth=20..105, filters=54162, ccks=676, wck=0.629, mem=53M10 5.28/2.90 decisions=25703, wrong=9021, backtracks=7484, failedAssignments=5513, nogoods=1029, foundSolutions=4, bestBound=5 5.28/2.90 5.28/2.91 num=75, depth=2..119, filters=54789, ccks=676, wck=0.635, mem=53M10 5.28/2.91 decisions=26026, wrong=9133, backtracks=7568, failedAssignments=5574, nogoods=1051, foundSolutions=4, bestBound=5 5.28/2.91 5.28/2.91 num=76, depth=4..117, filters=55459, ccks=676, wck=0.641, mem=53M10 5.28/2.91 decisions=26351, wrong=9247, backtracks=7662, failedAssignments=5641, nogoods=1067, foundSolutions=4, bestBound=5 5.28/2.91 5.28/2.92 num=77, depth=4..59, filters=56121, ccks=676, wck=0.646, mem=53M10 5.28/2.92 decisions=26666, wrong=9382, backtracks=7780, failedAssignments=5715, nogoods=1078, foundSolutions=4, bestBound=5 5.28/2.92 5.28/2.93 num=78, depth=1..55, filters=57578, ccks=676, wck=0.655, mem=53M10 5.28/2.93 decisions=27035, wrong=9546, backtracks=7924, failedAssignments=5796, nogoods=1089, foundSolutions=4, bestBound=5 5.28/2.93 5.28/2.93 num=79, depth=1..51, filters=58962, ccks=676, wck=0.663, mem=53M10 5.28/2.93 decisions=27478, wrong=9748, backtracks=8102, failedAssignments=5885, nogoods=1100, foundSolutions=4, bestBound=5 5.28/2.93 5.28/2.95 num=80, depth=1..66, filters=61265, ccks=676, wck=0.676, mem=53M10 5.28/2.95 decisions=28016, wrong=9992, backtracks=8320, failedAssignments=5983, nogoods=1112, foundSolutions=4, bestBound=5 5.28/2.95 5.28/2.96 num=81, depth=1..236, filters=62113, ccks=676, wck=0.684, mem=53M10 5.28/2.96 decisions=28533, wrong=10154, backtracks=8442, failedAssignments=6091, nogoods=1148, foundSolutions=4, bestBound=5 5.28/2.96 5.28/2.96 num=82, depth=3..103, filters=63083, ccks=676, wck=0.691, mem=53M10 5.28/2.96 decisions=29074, wrong=10382, backtracks=8646, failedAssignments=6210, nogoods=1165, foundSolutions=4, bestBound=5 5.28/2.96 5.28/2.99 num=83, depth=8..53, filters=68136, ccks=676, wck=0.719, mem=55M652 5.28/2.99 decisions=29927, wrong=10792, backtracks=9023, failedAssignments=6341, nogoods=1175, foundSolutions=4, bestBound=5 5.28/2.99 5.28/3.00 num=84, depth=4..133, filters=69419, ccks=676, wck=0.729, mem=55M652 5.28/3.00 decisions=30504, wrong=11028, backtracks=9227, failedAssignments=6485, nogoods=1207, foundSolutions=4, bestBound=5 5.28/3.00 5.39/3.01 num=85, depth=5..262, filters=70205, ccks=676, wck=0.739, mem=55M652 5.39/3.01 decisions=31208, wrong=11270, backtracks=9425, failedAssignments=6643, nogoods=1235, foundSolutions=4, bestBound=5 5.39/3.01 5.39/3.02 num=86, depth=9..144, filters=71375, ccks=676, wck=0.748, mem=55M652 5.39/3.02 decisions=31927, wrong=11576, backtracks=9686, failedAssignments=6817, nogoods=1267, foundSolutions=4, bestBound=5 5.39/3.02 5.39/3.03 num=87, depth=7..127, filters=73202, ccks=676, wck=0.761, mem=55M652 5.39/3.03 decisions=32825, wrong=11974, backtracks=10026, failedAssignments=7008, nogoods=1291, foundSolutions=4, bestBound=5 5.39/3.03 5.39/3.05 num=88, depth=9..152, filters=74872, ccks=676, wck=0.774, mem=55M652 5.39/3.05 decisions=33660, wrong=12334, backtracks=10334, failedAssignments=7219, nogoods=1327, foundSolutions=4, bestBound=5 5.39/3.05 5.39/3.06 num=89, depth=8..72, filters=77161, ccks=676, wck=0.787, mem=55M652 5.39/3.06 decisions=34552, wrong=12751, backtracks=10708, failedAssignments=7451, nogoods=1340, foundSolutions=4, bestBound=5 5.39/3.06 5.39/3.08 num=90, depth=10..106, filters=80747, ccks=676, wck=0.811, mem=55M652 5.39/3.08 decisions=35603, wrong=13235, backtracks=11146, failedAssignments=7706, nogoods=1356, foundSolutions=4, bestBound=5 5.39/3.08 5.39/3.09 num=91, depth=7..116, filters=82076, ccks=676, wck=0.821, mem=55M652 5.39/3.09 decisions=36529, wrong=13655, backtracks=11549, failedAssignments=7987, nogoods=1372, foundSolutions=4, bestBound=5 5.39/3.09 5.50/3.11 num=92, depth=3..125, filters=83814, ccks=676, wck=0.835, mem=55M652 5.50/3.11 decisions=37759, wrong=14223, backtracks=12076, failedAssignments=8296, nogoods=1397, foundSolutions=4, bestBound=5 5.50/3.11 5.50/3.13 num=93, depth=9..159, filters=86310, ccks=676, wck=0.854, mem=55M652 5.50/3.13 decisions=39410, wrong=14986, backtracks=12796, failedAssignments=8636, nogoods=1428, foundSolutions=4, bestBound=5 5.50/3.13 5.50/3.14 num=94, depth=3..261, filters=88448, ccks=676, wck=0.872, mem=55M652 5.50/3.14 decisions=40927, wrong=15643, backtracks=13391, failedAssignments=9010, nogoods=1487, foundSolutions=4, bestBound=5 5.50/3.14 5.50/3.16 num=95, depth=13..234, filters=90182, ccks=676, wck=0.887, mem=55M652 5.50/3.16 decisions=42403, wrong=16291, backtracks=13988, failedAssignments=9421, nogoods=1535, foundSolutions=4, bestBound=5 5.50/3.16 5.50/3.18 num=96, depth=5..275, filters=92781, ccks=676, wck=0.907, mem=55M652 5.50/3.18 decisions=44315, wrong=17135, backtracks=14735, failedAssignments=9873, nogoods=1590, foundSolutions=4, bestBound=5 5.50/3.18 5.64/3.20 num=97, depth=2..209, filters=96043, ccks=676, wck=0.933, mem=55M652 5.64/3.20 decisions=46483, wrong=18133, backtracks=15669, failedAssignments=10370, nogoods=1626, foundSolutions=4, bestBound=5 5.64/3.20 5.64/3.24 num=98, depth=10..302, filters=100893, ccks=676, wck=0.967, mem=58M295 5.64/3.24 decisions=48605, wrong=19068, backtracks=16450, failedAssignments=10917, nogoods=1673, foundSolutions=4, bestBound=5 5.64/3.24 5.64/3.26 num=99, depth=3..213, filters=103982, ccks=676, wck=0.99, mem=58M295 5.64/3.26 decisions=51031, wrong=20200, backtracks=17511, failedAssignments=11519, nogoods=1721, foundSolutions=4, bestBound=5 5.64/3.26 5.64/3.29 num=100, depth=1..203, filters=107447, ccks=676, wck=1.017, mem=58M295 5.64/3.29 decisions=53602, wrong=21409, backtracks=18644, failedAssignments=12181, nogoods=1765, foundSolutions=4, bestBound=5 5.64/3.29 5.74/3.33 num=101, depth=1..265, filters=113543, ccks=676, wck=1.06, mem=58M295 5.74/3.33 decisions=57054, wrong=23022, backtracks=20166, failedAssignments=12909, nogoods=1804, foundSolutions=4, bestBound=5 5.74/3.33 5.74/3.36 num=102, depth=3..195, filters=118366, ccks=676, wck=1.093, mem=58M295 5.74/3.36 decisions=59909, wrong=24374, backtracks=21372, failedAssignments=13710, nogoods=1840, foundSolutions=4, bestBound=5 5.74/3.36 5.84/3.40 num=103, depth=2..202, filters=123716, ccks=676, wck=1.13, mem=58M295 5.84/3.40 decisions=63282, wrong=25987, backtracks=22673, failedAssignments=14591, nogoods=1875, foundSolutions=4, bestBound=5 5.84/3.40 5.84/3.46 num=104, depth=1..160, filters=131527, ccks=676, wck=1.184, mem=58M295 5.84/3.46 decisions=68005, wrong=28287, backtracks=24899, failedAssignments=15561, nogoods=1904, foundSolutions=4, bestBound=5 5.84/3.46 5.94/3.51 num=105, depth=15..167, filters=138816, ccks=676, wck=1.239, mem=60M937 5.94/3.51 decisions=72534, wrong=30483, backtracks=26989, failedAssignments=16628, nogoods=1929, foundSolutions=4, bestBound=5 5.94/3.51 5.94/3.56 num=106, depth=3..185, filters=145438, ccks=676, wck=1.287, mem=60M937 5.94/3.56 decisions=77507, wrong=32900, backtracks=29287, failedAssignments=17801, nogoods=1969, foundSolutions=4, bestBound=5 5.94/3.56 6.04/3.62 num=107, depth=7..234, filters=153551, ccks=676, wck=1.347, mem=60M937 6.04/3.62 decisions=83001, wrong=35555, backtracks=31789, failedAssignments=19092, nogoods=2013, foundSolutions=4, bestBound=5 6.04/3.62 6.04/3.69 num=108, depth=4..241, filters=164792, ccks=676, wck=1.418, mem=60M937 6.04/3.69 decisions=89850, wrong=38883, backtracks=34973, failedAssignments=20512, nogoods=2058, foundSolutions=4, bestBound=5 6.04/3.69 6.24/3.81 num=109, depth=6..98, filters=184504, ccks=676, wck=1.54, mem=63M580 6.24/3.81 decisions=95971, wrong=41915, backtracks=37728, failedAssignments=22074, nogoods=2074, foundSolutions=4, bestBound=5 6.24/3.81 6.24/3.85 o 4 6.24/3.85 num=110, depth=5..525, filters=188953, ccks=845, wck=1.577, mem=63M580 6.24/3.85 decisions=99765, wrong=43684, backtracks=39367, failedAssignments=23200, nogoods=2128, foundSolutions=5, bestBound=4 6.24/3.85 6.40/3.95 num=111, depth=5..302, filters=203658, ccks=845, wck=1.677, mem=63M580 6.40/3.95 decisions=107574, wrong=47476, backtracks=42946, failedAssignments=25090, nogoods=2191, foundSolutions=5, bestBound=4 6.40/3.95 6.40/3.95 num=112, depth=6..71, filters=203831, ccks=845, wck=1.68, mem=63M580 6.40/3.95 decisions=107666, wrong=47492, backtracks=42952, failedAssignments=25101, nogoods=2200, foundSolutions=5, bestBound=4 6.40/3.95 6.40/3.95 num=113, depth=6..71, filters=204029, ccks=845, wck=1.682, mem=63M580 6.40/3.95 decisions=107761, wrong=47511, backtracks=42960, failedAssignments=25113, nogoods=2209, foundSolutions=5, bestBound=4 6.40/3.95 6.40/3.96 num=114, depth=6..77, filters=204211, ccks=845, wck=1.684, mem=63M580 6.40/3.96 decisions=107856, wrong=47528, backtracks=42968, failedAssignments=25126, nogoods=2218, foundSolutions=5, bestBound=4 6.40/3.96 6.40/3.96 num=115, depth=6..73, filters=204438, ccks=845, wck=1.687, mem=63M580 6.40/3.96 decisions=107965, wrong=47553, backtracks=42983, failedAssignments=25140, nogoods=2227, foundSolutions=5, bestBound=4 6.40/3.96 6.40/3.96 num=116, depth=6..72, filters=204714, ccks=845, wck=1.689, mem=63M580 6.40/3.96 decisions=108077, wrong=47580, backtracks=42999, failedAssignments=25156, nogoods=2236, foundSolutions=5, bestBound=4 6.40/3.96 6.40/3.96 num=117, depth=57..69, filters=204966, ccks=845, wck=1.692, mem=63M580 6.40/3.96 decisions=108201, wrong=47611, backtracks=43026, failedAssignments=25173, nogoods=2239, foundSolutions=5, bestBound=4 6.40/3.96 6.40/3.97 num=118, depth=6..73, filters=205245, ccks=845, wck=1.694, mem=63M580 6.40/3.97 decisions=108314, wrong=47638, backtracks=43042, failedAssignments=25192, nogoods=2249, foundSolutions=5, bestBound=4 6.40/3.97 6.40/3.97 num=119, depth=6..65, filters=205539, ccks=845, wck=1.697, mem=63M580 6.40/3.97 decisions=108434, wrong=47678, backtracks=43063, failedAssignments=25213, nogoods=2254, foundSolutions=5, bestBound=4 6.40/3.97 6.40/3.97 num=120, depth=15..69, filters=205898, ccks=845, wck=1.7, mem=63M580 6.40/3.97 decisions=108595, wrong=47727, backtracks=43104, failedAssignments=25236, nogoods=2259, foundSolutions=5, bestBound=4 6.40/3.97 6.40/3.97 num=121, depth=6..81, filters=206226, ccks=845, wck=1.703, mem=63M580 6.40/3.97 decisions=108755, wrong=47773, backtracks=43138, failedAssignments=25261, nogoods=2271, foundSolutions=5, bestBound=4 6.40/3.97 6.40/3.98 num=122, depth=7..81, filters=206774, ccks=845, wck=1.707, mem=63M580 6.40/3.98 decisions=108978, wrong=47852, backtracks=43210, failedAssignments=25289, nogoods=2279, foundSolutions=5, bestBound=4 6.40/3.98 6.40/3.98 num=123, depth=7..80, filters=207118, ccks=845, wck=1.711, mem=63M580 6.40/3.98 decisions=109150, wrong=47904, backtracks=43247, failedAssignments=25320, nogoods=2291, foundSolutions=5, bestBound=4 6.40/3.98 6.40/3.99 num=124, depth=7..83, filters=207569, ccks=845, wck=1.715, mem=63M580 6.40/3.99 decisions=109355, wrong=47973, backtracks=43304, failedAssignments=25354, nogoods=2301, foundSolutions=5, bestBound=4 6.40/3.99 6.40/3.99 num=125, depth=36..76, filters=208293, ccks=845, wck=1.72, mem=63M580 6.40/3.99 decisions=109614, wrong=48069, backtracks=43387, failedAssignments=25391, nogoods=2306, foundSolutions=5, bestBound=4 6.40/3.99 6.40/4.00 num=126, depth=7..87, filters=208681, ccks=845, wck=1.724, mem=63M580 6.40/4.00 decisions=109817, wrong=48135, backtracks=43440, failedAssignments=25432, nogoods=2316, foundSolutions=5, bestBound=4 6.40/4.00 6.40/4.00 num=127, depth=8..128, filters=209170, ccks=845, wck=1.729, mem=63M580 6.40/4.00 decisions=110060, wrong=48202, backtracks=43481, failedAssignments=25477, nogoods=2337, foundSolutions=5, bestBound=4 6.40/4.00 6.40/4.00 num=128, depth=10..134, filters=209508, ccks=845, wck=1.733, mem=63M580 6.40/4.00 decisions=110307, wrong=48269, backtracks=43528, failedAssignments=25527, nogoods=2350, foundSolutions=5, bestBound=4 6.40/4.00 6.58/4.01 num=129, depth=11..149, filters=209945, ccks=845, wck=1.738, mem=63M580 6.58/4.01 decisions=110594, wrong=48354, backtracks=43592, failedAssignments=25582, nogoods=2367, foundSolutions=5, bestBound=4 6.58/4.01 6.58/4.02 num=130, depth=11..186, filters=210652, ccks=845, wck=1.745, mem=66M222 6.58/4.02 decisions=110965, wrong=48454, backtracks=43673, failedAssignments=25643, nogoods=2385, foundSolutions=5, bestBound=4 6.58/4.02 6.58/4.02 num=131, depth=11..93, filters=211103, ccks=845, wck=1.749, mem=66M222 6.58/4.02 decisions=111231, wrong=48549, backtracks=43755, failedAssignments=25710, nogoods=2397, foundSolutions=5, bestBound=4 6.58/4.02 6.58/4.03 num=132, depth=13..87, filters=211750, ccks=845, wck=1.754, mem=66M222 6.58/4.03 decisions=111528, wrong=48660, backtracks=43854, failedAssignments=25784, nogoods=2407, foundSolutions=5, bestBound=4 6.58/4.03 6.58/4.03 num=133, depth=11..88, filters=212283, ccks=845, wck=1.759, mem=66M222 6.58/4.03 decisions=111833, wrong=48778, backtracks=43956, failedAssignments=25865, nogoods=2418, foundSolutions=5, bestBound=4 6.58/4.03 6.58/4.04 num=134, depth=12..86, filters=213301, ccks=845, wck=1.765, mem=66M222 6.58/4.04 decisions=112176, wrong=48913, backtracks=44084, failedAssignments=25954, nogoods=2423, foundSolutions=5, bestBound=4 6.58/4.04 6.58/4.04 num=135, depth=11..96, filters=214200, ccks=845, wck=1.772, mem=66M222 6.58/4.04 decisions=112552, wrong=49066, backtracks=44223, failedAssignments=26052, nogoods=2433, foundSolutions=5, bestBound=4 6.58/4.04 6.58/4.05 num=136, depth=11..99, filters=215416, ccks=845, wck=1.781, mem=66M222 6.58/4.05 decisions=113038, wrong=49274, backtracks=44404, failedAssignments=26160, nogoods=2449, foundSolutions=5, bestBound=4 6.58/4.05 6.58/4.06 num=137, depth=26..88, filters=216430, ccks=845, wck=1.788, mem=66M222 6.58/4.06 decisions=113553, wrong=49493, backtracks=44608, failedAssignments=26279, nogoods=2458, foundSolutions=5, bestBound=4 6.58/4.06 6.58/4.07 num=138, depth=11..81, filters=217669, ccks=845, wck=1.797, mem=66M222 6.58/4.07 decisions=114057, wrong=49711, backtracks=44801, failedAssignments=26410, nogoods=2468, foundSolutions=5, bestBound=4 6.58/4.07 6.58/4.08 num=139, depth=11..158, filters=218468, ccks=845, wck=1.804, mem=66M222 6.58/4.08 decisions=114641, wrong=49946, backtracks=45005, failedAssignments=26554, nogoods=2494, foundSolutions=5, bestBound=4 6.58/4.08 6.58/4.09 num=140, depth=12..97, filters=221061, ccks=845, wck=1.821, mem=66M222 6.58/4.09 decisions=115455, wrong=50318, backtracks=45347, failedAssignments=26712, nogoods=2506, foundSolutions=5, bestBound=4 6.58/4.09 6.58/4.10 num=141, depth=12..85, filters=222526, ccks=845, wck=1.831, mem=66M222 6.58/4.10 decisions=116102, wrong=50609, backtracks=45609, failedAssignments=26886, nogoods=2523, foundSolutions=5, bestBound=4 6.58/4.10 6.68/4.12 num=142, depth=10..93, filters=226118, ccks=845, wck=1.853, mem=66M222 6.68/4.12 decisions=117110, wrong=51080, backtracks=46057, failedAssignments=27077, nogoods=2537, foundSolutions=5, bestBound=4 6.68/4.12 6.68/4.14 num=143, depth=10..147, filters=228550, ccks=845, wck=1.87, mem=66M222 6.68/4.14 decisions=117985, wrong=51461, backtracks=46411, failedAssignments=27288, nogoods=2565, foundSolutions=5, bestBound=4 6.68/4.14 6.68/4.16 num=144, depth=11..158, filters=231089, ccks=845, wck=1.888, mem=66M222 6.68/4.16 decisions=119039, wrong=51927, backtracks=46831, failedAssignments=27520, nogoods=2597, foundSolutions=5, bestBound=4 6.68/4.16 6.68/4.17 num=145, depth=13..219, filters=232202, ccks=845, wck=1.899, mem=66M222 6.68/4.17 decisions=120053, wrong=52344, backtracks=47205, failedAssignments=27775, nogoods=2631, foundSolutions=5, bestBound=4 6.68/4.17 6.68/4.18 num=146, depth=14..219, filters=233773, ccks=845, wck=1.912, mem=66M222 6.68/4.18 decisions=121232, wrong=52853, backtracks=47617, failedAssignments=28056, nogoods=2672, foundSolutions=5, bestBound=4 6.68/4.18 6.79/4.20 num=147, depth=14..162, filters=236342, ccks=845, wck=1.931, mem=66M222 6.79/4.20 decisions=122374, wrong=53360, backtracks=48068, failedAssignments=28365, nogoods=2712, foundSolutions=5, bestBound=4 6.79/4.20 6.79/4.23 num=148, depth=19..140, filters=241218, ccks=845, wck=1.961, mem=66M222 6.79/4.23 decisions=123822, wrong=54029, backtracks=48661, failedAssignments=28705, nogoods=2742, foundSolutions=5, bestBound=4 6.79/4.23 6.79/4.25 num=149, depth=31..156, filters=243354, ccks=845, wck=1.978, mem=66M222 6.79/4.25 decisions=125310, wrong=54707, backtracks=49286, failedAssignments=29079, nogoods=2759, foundSolutions=5, bestBound=4 6.79/4.25 6.79/4.28 num=150, depth=12..97, filters=249356, ccks=845, wck=2.013, mem=68M865 6.79/4.28 decisions=126997, wrong=55518, backtracks=50014, failedAssignments=29490, nogoods=2775, foundSolutions=5, bestBound=4 6.79/4.28 6.89/4.30 num=151, depth=8..139, filters=251558, ccks=845, wck=2.03, mem=68M865 6.89/4.30 decisions=128517, wrong=56232, backtracks=50668, failedAssignments=29942, nogoods=2789, foundSolutions=5, bestBound=4 6.89/4.30 6.89/4.33 num=152, depth=15..171, filters=256108, ccks=845, wck=2.057, mem=68M865 6.89/4.33 decisions=130306, wrong=57060, backtracks=51429, failedAssignments=30439, nogoods=2820, foundSolutions=5, bestBound=4 6.89/4.33 6.89/4.37 num=153, depth=3..80, filters=263541, ccks=845, wck=2.097, mem=68M865 6.89/4.37 decisions=132624, wrong=58195, backtracks=52495, failedAssignments=30986, nogoods=2840, foundSolutions=5, bestBound=4 6.89/4.37 6.99/4.45 num=154, depth=9..118, filters=280242, ccks=845, wck=2.176, mem=68M865 6.99/4.45 decisions=134946, wrong=59311, backtracks=53506, failedAssignments=31588, nogoods=2865, foundSolutions=5, bestBound=4 6.99/4.45 7.09/4.53 num=155, depth=7..131, filters=299275, ccks=845, wck=2.262, mem=68M865 7.09/4.53 decisions=137753, wrong=60666, backtracks=54762, failedAssignments=32250, nogoods=2888, foundSolutions=5, bestBound=4 7.09/4.53 7.20/4.63 num=156, depth=7..142, filters=319031, ccks=845, wck=2.356, mem=68M865 7.20/4.63 decisions=140681, wrong=62080, backtracks=56130, failedAssignments=32978, nogoods=2916, foundSolutions=5, bestBound=4 7.20/4.63 7.20/4.68 num=157, depth=13..193, filters=327793, ccks=845, wck=2.409, mem=71M507 7.20/4.68 decisions=144366, wrong=63851, backtracks=57771, failedAssignments=33779, nogoods=2954, foundSolutions=5, bestBound=4 7.20/4.68 7.30/4.73 num=158, depth=2..124, filters=335125, ccks=845, wck=2.456, mem=71M507 7.30/4.73 decisions=148231, wrong=65739, backtracks=59518, failedAssignments=34660, nogoods=2981, foundSolutions=5, bestBound=4 7.30/4.73 7.40/4.80 num=159, depth=5..165, filters=347501, ccks=845, wck=2.53, mem=71M507 7.40/4.80 decisions=152562, wrong=67841, backtracks=61479, failedAssignments=35630, nogoods=3014, foundSolutions=5, bestBound=4 7.40/4.80 7.40/4.87 num=160, depth=3..117, filters=358783, ccks=845, wck=2.596, mem=71M507 7.40/4.87 decisions=156426, wrong=69730, backtracks=63279, failedAssignments=36697, nogoods=3042, foundSolutions=5, bestBound=4 7.40/4.87 7.50/4.92 num=161, depth=2..179, filters=366674, ccks=845, wck=2.652, mem=71M507 7.50/4.92 decisions=161611, wrong=72258, backtracks=65702, failedAssignments=37870, nogoods=3087, foundSolutions=5, bestBound=4 7.50/4.92 7.50/4.98 num=162, depth=8..186, filters=374077, ccks=845, wck=2.705, mem=74M150 7.50/4.98 decisions=166396, wrong=74580, backtracks=67783, failedAssignments=39161, nogoods=3120, foundSolutions=5, bestBound=4 7.50/4.98 7.62/5.08 num=163, depth=7..109, filters=390668, ccks=845, wck=2.804, mem=74M150 7.62/5.08 decisions=173421, wrong=78067, backtracks=70816, failedAssignments=40581, nogoods=3139, foundSolutions=5, bestBound=4 7.62/5.08 7.72/5.17 num=164, depth=5..237, filters=404103, ccks=845, wck=2.895, mem=74M150 7.72/5.17 decisions=180596, wrong=81563, backtracks=73987, failedAssignments=42143, nogoods=3186, foundSolutions=5, bestBound=4 7.72/5.17 7.82/5.29 num=165, depth=29..154, filters=424382, ccks=845, wck=3.023, mem=74M150 7.82/5.29 decisions=187329, wrong=84866, backtracks=76978, failedAssignments=43861, nogoods=3206, foundSolutions=5, bestBound=4 7.82/5.29 8.02/5.50 num=166, depth=4..75, filters=459512, ccks=845, wck=3.225, mem=76M792 8.02/5.50 decisions=194398, wrong=88377, backtracks=80330, failedAssignments=45751, nogoods=3216, foundSolutions=5, bestBound=4 8.02/5.50 8.22/5.63 num=167, depth=5..118, filters=480810, ccks=845, wck=3.36, mem=76M792 8.22/5.63 decisions=204474, wrong=93373, backtracks=85161, failedAssignments=47830, nogoods=3241, foundSolutions=5, bestBound=4 8.22/5.63 8.32/5.76 num=168, depth=2..77, filters=501577, ccks=845, wck=3.488, mem=79M434 8.32/5.76 decisions=213917, wrong=98070, backtracks=89444, failedAssignments=50117, nogoods=3251, foundSolutions=5, bestBound=4 8.32/5.76 8.52/5.93 num=169, depth=5..108, filters=530691, ccks=845, wck=3.656, mem=79M434 8.52/5.93 decisions=224281, wrong=103228, backtracks=93816, failedAssignments=52633, nogoods=3269, foundSolutions=5, bestBound=4 8.52/5.93 8.62/6.06 num=170, depth=4..113, filters=551731, ccks=845, wck=3.784, mem=82M77 8.62/6.06 decisions=237560, wrong=109828, backtracks=99808, failedAssignments=55401, nogoods=3289, foundSolutions=5, bestBound=4 8.62/6.06 8.82/6.20 num=171, depth=5..233, filters=571893, ccks=845, wck=3.932, mem=82M77 8.82/6.20 decisions=251987, wrong=116949, backtracks=106625, failedAssignments=58445, nogoods=3337, foundSolutions=5, bestBound=4 8.82/6.20 8.92/6.36 num=172, depth=4..237, filters=597333, ccks=845, wck=4.092, mem=84M719 8.92/6.36 decisions=265344, wrong=123544, backtracks=112932, failedAssignments=61794, nogoods=3392, foundSolutions=5, bestBound=4 8.92/6.36 9.12/6.55 num=173, depth=4..114, filters=627883, ccks=845, wck=4.283, mem=84M719 9.12/6.55 decisions=282867, wrong=132264, backtracks=121403, failedAssignments=65478, nogoods=3411, foundSolutions=5, bestBound=4 9.12/6.55 9.32/6.75 num=174, depth=3..104, filters=659095, ccks=845, wck=4.475, mem=87M362 9.32/6.75 decisions=298357, wrong=139975, backtracks=128945, failedAssignments=69530, nogoods=3427, foundSolutions=5, bestBound=4 9.32/6.75 9.52/7.00 num=175, depth=5..87, filters=698808, ccks=845, wck=4.729, mem=90M4 9.52/7.00 decisions=319761, wrong=150652, backtracks=138762, failedAssignments=73987, nogoods=3445, foundSolutions=5, bestBound=4 9.52/7.00 9.82/7.24 num=176, depth=4..81, filters=732559, ccks=845, wck=4.966, mem=92M647 9.82/7.24 decisions=340401, wrong=160947, backtracks=148416, failedAssignments=78890, nogoods=3464, foundSolutions=5, bestBound=4 9.82/7.24 10.12/7.54 num=177, depth=2..85, filters=777586, ccks=845, wck=5.269, mem=92M647 10.12/7.54 decisions=363405, wrong=172423, backtracks=159453, failedAssignments=84284, nogoods=3482, foundSolutions=5, bestBound=4 10.12/7.54 10.52/7.99 num=178, depth=8..84, filters=848195, ccks=845, wck=5.719, mem=97M932 10.52/7.99 decisions=388173, wrong=184777, backtracks=170364, failedAssignments=90217, nogoods=3503, foundSolutions=5, bestBound=4 10.52/7.99 10.82/8.25 num=179, depth=4..71, filters=884376, ccks=845, wck=5.978, mem=97M932 10.82/8.25 decisions=412246, wrong=196794, backtracks=182030, failedAssignments=96743, nogoods=3514, foundSolutions=5, bestBound=4 10.82/8.25 11.73/9.16 num=180, depth=29..76, filters=1035231, ccks=845, wck=6.888, mem=105M859 11.73/9.16 decisions=445656, wrong=213474, backtracks=196379, failedAssignments=103922, nogoods=3525, foundSolutions=5, bestBound=4 11.73/9.16 12.22/9.66 num=181, depth=0..67, filters=1112991, ccks=845, wck=7.388, mem=108M501 12.22/9.66 decisions=480784, wrong=231015, backtracks=212726, failedAssignments=111819, nogoods=3539, foundSolutions=5, bestBound=4 12.22/9.66 12.91/10.38 num=182, depth=8..86, filters=1226974, ccks=845, wck=8.11, mem=113M786 12.91/10.38 decisions=514441, wrong=247816, backtracks=228021, failedAssignments=120506, nogoods=3550, foundSolutions=5, bestBound=4 12.91/10.38 14.22/11.60 num=183, depth=4..91, filters=1426473, ccks=845, wck=9.33, mem=121M713 14.22/11.60 decisions=550493, wrong=265810, backtracks=244600, failedAssignments=130061, nogoods=3563, foundSolutions=5, bestBound=4 14.22/11.60 14.92/12.39 num=184, depth=3..87, filters=1556326, ccks=845, wck=10.115, mem=126M998 14.92/12.39 decisions=593800, wrong=287438, backtracks=264843, failedAssignments=140572, nogoods=3580, foundSolutions=5, bestBound=4 14.92/12.39 15.73/13.13 num=185, depth=10..81, filters=1679684, ccks=845, wck=10.861, mem=134M926 15.73/13.13 decisions=637981, wrong=309498, backtracks=284877, failedAssignments=152134, nogoods=3586, foundSolutions=5, bestBound=4 15.73/13.13 16.64/14.10 num=186, depth=2..227, filters=1840670, ccks=845, wck=11.831, mem=140M211 16.64/14.10 decisions=693751, wrong=337296, backtracks=310229, failedAssignments=164852, nogoods=3622, foundSolutions=5, bestBound=4 16.64/14.10 18.07/15.48 num=187, depth=7..103, filters=2082381, ccks=845, wck=13.204, mem=30M347 18.07/15.48 decisions=751919, wrong=366352, backtracks=335941, failedAssignments=178842, nogoods=3643, foundSolutions=5, bestBound=4 18.07/15.48 18.87/16.28 num=188, depth=51..90, filters=2216450, ccks=845, wck=14.01, mem=35M579 18.87/16.28 decisions=808444, wrong=394582, backtracks=362976, failedAssignments=194231, nogoods=3656, foundSolutions=5, bestBound=4 18.87/16.28 20.27/17.62 num=189, depth=10..95, filters=2451969, ccks=845, wck=15.349, mem=46M43 20.27/17.62 decisions=874652, wrong=427656, backtracks=391458, failedAssignments=211159, nogoods=3673, foundSolutions=5, bestBound=4 20.27/17.62 21.79/19.16 num=190, depth=48..189, filters=2722424, ccks=845, wck=16.889, mem=56M507 21.79/19.16 decisions=951168, wrong=465842, backtracks=426567, failedAssignments=229780, nogoods=3711, foundSolutions=5, bestBound=4 21.79/19.16 22.88/20.25 num=191, depth=5..287, filters=2895919, ccks=845, wck=17.98, mem=66M971 22.88/20.25 decisions=1051061, wrong=515673, backtracks=473960, failedAssignments=250264, nogoods=3758, foundSolutions=5, bestBound=4 22.88/20.25 24.18/21.52 num=192, depth=3..257, filters=3112254, ccks=845, wck=19.252, mem=77M435 24.18/21.52 decisions=1140093, wrong=560091, backtracks=515182, failedAssignments=272796, nogoods=3797, foundSolutions=5, bestBound=4 24.18/21.52 26.08/23.42 num=193, depth=2..99, filters=3474849, ccks=845, wck=21.147, mem=90M515 26.08/23.42 decisions=1222256, wrong=601144, backtracks=552313, failedAssignments=297581, nogoods=3814, foundSolutions=5, bestBound=4 26.08/23.42 27.38/24.73 num=194, depth=3..263, filters=3676734, ccks=845, wck=22.462, mem=100M979 27.38/24.73 decisions=1342384, wrong=661123, backtracks=607366, failedAssignments=324845, nogoods=3869, foundSolutions=5, bestBound=4 27.38/24.73 28.98/26.35 num=195, depth=12..106, filters=3975267, ccks=845, wck=24.079, mem=116M675 28.98/26.35 decisions=1459511, wrong=719651, backtracks=660411, failedAssignments=354835, nogoods=3886, foundSolutions=5, bestBound=4 28.98/26.35 30.88/28.22 num=196, depth=14..168, filters=4275130, ccks=845, wck=25.949, mem=129M755 30.88/28.22 decisions=1607497, wrong=793583, backtracks=728214, failedAssignments=387824, nogoods=3910, foundSolutions=5, bestBound=4 30.88/28.22 33.38/30.70 num=197, depth=6..105, filters=4710093, ccks=845, wck=28.431, mem=145M451 33.38/30.70 decisions=1787514, wrong=883556, backtracks=814555, failedAssignments=424112, nogoods=3932, foundSolutions=5, bestBound=4 33.38/30.70 35.82/33.14 num=198, depth=4..93, filters=5121366, ccks=845, wck=30.872, mem=33M172 35.82/33.14 decisions=1977494, wrong=978517, backtracks=905432, failedAssignments=464029, nogoods=3948, foundSolutions=5, bestBound=4 35.82/33.14 37.61/35.00 num=199, depth=9..260, filters=5390726, ccks=845, wck=32.725, mem=48M924 37.61/35.00 decisions=2152533, wrong=1065932, backtracks=983862, failedAssignments=507938, nogoods=3987, foundSolutions=5, bestBound=4 37.61/35.00 40.31/37.66 num=200, depth=3..103, filters=5863384, ccks=845, wck=35.387, mem=69M926 40.31/37.66 decisions=2348574, wrong=1163921, backtracks=1075798, failedAssignments=556238, nogoods=4012, foundSolutions=5, bestBound=4 40.31/37.66 41.11/38.47 o 3 41.11/38.47 num=201, depth=2..525, filters=5985891, ccks=1014, wck=36.197, mem=77M801 41.11/38.47 decisions=2426883, wrong=1202968, backtracks=1113005, failedAssignments=571807, nogoods=4072, foundSolutions=6, bestBound=3 41.11/38.47 41.11/38.47 Global 41.11/38.47 filters=5985891, ccks=1014, nogoods=4072 41.11/38.47 Stop=FULL_EXPLORATION, wrong=1202968, bestBound=3, bestBoundWck=36.61, bestBoundCpu=38.403, foundSolutions=6, firstSolCpu=2.325 41.11/38.47 wck=36.612, cpu=38.405, mem=77M801 41.11/38.47 41.11/38.47 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> 41.11/38.47 s OPTIMUM FOUND 41.11/38.47 41.11/38.47 d WRONG_DECISIONS 1202968 41.11/38.47 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 (9370 MiB free) memory of node 1: 16384 MiB (13737 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391153-1568388965/watcher-4391153-1568388965 -o /tmp/evaluation-result-4391153-1568388965/solver-4391153-1568388965 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568388843-13118 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391153-1568388965.xml -cm running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=13247, runsolver pid=13244 Current StackSize limit: 8192 KiB [startup+0.100126 s]* /proc/loadavg: 1.81 1.62 1.78 5/229 13262 /proc/meminfo: memFree=23646796/32770624 swapFree=66939836/67108860 [pid=13247] ppid=13244 vsize=10659884 memory=28992 CPUtime=0.14 cores=0,2,4,6 /proc/13247/stat : 13247 (java) S 13244 13247 10765 0 -1 1077944320 5801 0 0 0 13 1 0 0 20 0 15 0 414811388 10915721216 7248 33554432000 4194304 4196468 140722950452832 140722950435376 139833183715063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 /proc/13247/statm: 2664971 7248 2898 1 0 2627468 0 [pid=13247/tid=13249] ppid=13244 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6 /proc/13247/task/13249/stat : 13249 (java) R 13244 13247 10765 0 -1 4202560 3207 0 0 0 9 0 0 0 20 0 15 0 414811388 10915721216 7314 33554432000 4194304 4196468 140722950452832 139833187944344 139833169083866 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13250] ppid=13244 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13250/stat : 13250 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 7314 33554432000 4194304 4196468 140722950452832 139833136335120 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13251] ppid=13244 vsize=10659884 memory=139776733738624 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13251/stat : 13251 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 7314 33554432000 4194304 4196468 140722950452832 139833135282576 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13252] ppid=13244 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13252/stat : 13252 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 7314 33554432000 4194304 4196468 140722950452832 139833134230032 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13253] ppid=13244 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13253/stat : 13253 (java) S 13244 13247 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 7314 33554432000 4194304 4196468 140722950452832 139833133177488 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13254] ppid=13244 vsize=10659884 memory=139776733738624 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13254/stat : 13254 (java) S 13244 13247 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414811390 10915721216 7314 33554432000 4194304 4196468 140722950452832 139832742881776 139833183726210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13255] ppid=13244 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13255/stat : 13255 (java) S 13244 13247 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414811391 10915721216 7314 33554432000 4194304 4196468 140722950452832 139832741828000 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13256] ppid=13244 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13256/stat : 13256 (java) S 13244 13247 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414811391 10915721216 7380 33554432000 4194304 4196468 140722950452832 139832740775408 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13257] ppid=13244 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13257/stat : 13257 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414811393 10915721216 7380 33554432000 4194304 4196468 140722950452832 139832739723984 139833183733659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13258] ppid=13244 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13258/stat : 13258 (java) S 13244 13247 10765 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 414811393 10915721216 7380 33554432000 4194304 4196468 140722950452832 139832738670576 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13259] ppid=13244 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13259/stat : 13259 (java) S 13244 13247 10765 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 15 0 414811393 10915721216 7380 33554432000 4194304 4196468 140722950452832 139832737618032 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13260] ppid=13244 vsize=10659884 memory=139776733738624 CPUtime=0.02 cores=0,2,4,6 /proc/13247/task/13260/stat : 13260 (java) R 13244 13247 10765 0 -1 4202560 598 0 0 0 2 0 0 0 20 0 15 0 414811394 10915721216 7380 33554432000 4194304 4196468 140722950452832 139832736561448 139833163113727 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13261] ppid=13244 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13261/stat : 13261 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414811394 10915721216 7380 33554432000 4194304 4196468 140722950452832 139832735513184 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13262] ppid=13244 vsize=10659884 memory=139776733738624 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13262/stat : 13262 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811394 10915721216 7380 33554432000 4194304 4196468 140722950452832 139832734460720 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 28992 KiB [startup+0.210833 s]* /proc/loadavg: 1.81 1.62 1.78 3/229 13262 /proc/meminfo: memFree=23639540/32770624 swapFree=66939836/67108860 [pid=13247] ppid=13244 vsize=10659884 memory=34904 CPUtime=0.33 cores=0,2,4,6 /proc/13247/stat : 13247 (java) S 13244 13247 10765 0 -1 1077944320 6841 0 0 0 31 2 0 0 20 0 15 0 414811388 10915721216 8726 33554432000 4194304 4196468 140722950452832 140722950435376 139833183715063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 /proc/13247/statm: 2664971 8726 2988 1 0 2627468 0 [pid=13247/tid=13249] ppid=13244 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/13247/task/13249/stat : 13249 (java) R 13244 13247 10765 0 -1 4202560 3865 0 0 0 19 1 0 0 20 0 15 0 414811388 10915721216 8726 33554432000 4194304 4196468 140722950452832 139833187941424 139833183736989 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13250] ppid=13244 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13250/stat : 13250 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 8726 33554432000 4194304 4196468 140722950452832 139833136335120 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13251] ppid=13244 vsize=10659884 memory=139776733752000 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13251/stat : 13251 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 8726 33554432000 4194304 4196468 140722950452832 139833135282576 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13252] ppid=13244 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13252/stat : 13252 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 8726 33554432000 4194304 4196468 140722950452832 139833134230032 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13253] ppid=13244 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13253/stat : 13253 (java) S 13244 13247 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 8726 33554432000 4194304 4196468 140722950452832 139833133177488 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13254] ppid=13244 vsize=10659884 memory=139776733738624 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13254/stat : 13254 (java) S 13244 13247 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414811390 10915721216 8726 33554432000 4194304 4196468 140722950452832 139832742881776 139833183726210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13255] ppid=13244 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13255/stat : 13255 (java) S 13244 13247 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414811391 10915721216 8726 33554432000 4194304 4196468 140722950452832 139832741828000 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13256] ppid=13244 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13256/stat : 13256 (java) S 13244 13247 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414811391 10915721216 8726 33554432000 4194304 4196468 140722950452832 139832740775408 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13257] ppid=13244 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13257/stat : 13257 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414811393 10915721216 8726 33554432000 4194304 4196468 140722950452832 139832739723984 139833183733659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13258] ppid=13244 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/13247/task/13258/stat : 13258 (java) S 13244 13247 10765 0 -1 1077944384 529 0 0 0 2 0 0 0 20 0 15 0 414811393 10915721216 8726 33554432000 4194304 4196468 140722950452832 139832738670576 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13259] ppid=13244 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6 /proc/13247/task/13259/stat : 13259 (java) S 13244 13247 10765 0 -1 1077944384 444 0 0 0 3 0 0 0 20 0 15 0 414811393 10915721216 8726 33554432000 4194304 4196468 140722950452832 139832737618032 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13260] ppid=13244 vsize=10659884 memory=139776733738624 CPUtime=0.05 cores=0,2,4,6 /proc/13247/task/13260/stat : 13260 (java) S 13244 13247 10765 0 -1 1077944384 645 0 0 0 5 0 0 0 20 0 15 0 414811394 10915721216 8726 33554432000 4194304 4196468 140722950452832 139832736565488 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13261] ppid=13244 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13261/stat : 13261 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414811394 10915721216 8726 33554432000 4194304 4196468 140722950452832 139832735513184 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13262] ppid=13244 vsize=10659884 memory=139776733738624 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13262/stat : 13262 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811394 10915721216 8726 33554432000 4194304 4196468 140722950452832 139832734460720 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 34904 KiB [startup+0.310161 s]* /proc/loadavg: 1.81 1.62 1.78 4/229 13262 /proc/meminfo: memFree=23631940/32770624 swapFree=66939836/67108860 [pid=13247] ppid=13244 vsize=10659884 memory=40348 CPUtime=0.47 cores=0,2,4,6 /proc/13247/stat : 13247 (java) S 13244 13247 10765 0 -1 1077944320 9389 0 0 0 44 3 0 0 20 0 15 0 414811388 10915721216 10087 33554432000 4194304 4196468 140722950452832 140722950435376 139833183715063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 /proc/13247/statm: 2664971 10087 3001 1 0 2627468 0 [pid=13247/tid=13249] ppid=13244 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6 /proc/13247/task/13249/stat : 13249 (java) R 13244 13247 10765 0 -1 4202560 6347 0 0 0 27 2 0 0 20 0 15 0 414811388 10915721216 10087 33554432000 4194304 4196468 140722950452832 139833187954048 139833183736989 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13250] ppid=13244 vsize=10659884 memory=10528 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13250/stat : 13250 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 10087 33554432000 4194304 4196468 140722950452832 139833136335120 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13251] ppid=13244 vsize=10659884 memory=139776733751999 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13251/stat : 13251 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 10087 33554432000 4194304 4196468 140722950452832 139833135282576 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13252] ppid=13244 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13252/stat : 13252 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 10087 33554432000 4194304 4196468 140722950452832 139833134230032 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13253] ppid=13244 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13253/stat : 13253 (java) S 13244 13247 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414811389 10915721216 10087 33554432000 4194304 4196468 140722950452832 139833133177488 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13254] ppid=13244 vsize=10659884 memory=139776733738624 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13254/stat : 13254 (java) S 13244 13247 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414811390 10915721216 10087 33554432000 4194304 4196468 140722950452832 139832742881776 139833183726210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13255] ppid=13244 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13255/stat : 13255 (java) S 13244 13247 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414811391 10915721216 10087 33554432000 4194304 4196468 140722950452832 139832741828000 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13256] ppid=13244 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13256/stat : 13256 (java) S 13244 13247 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414811391 10915721216 10087 33554432000 4194304 4196468 140722950452832 139832740775408 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13257] ppid=13244 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13257/stat : 13257 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414811393 10915721216 10087 33554432000 4194304 4196468 140722950452832 139832739723984 139833183733659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13258] ppid=13244 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/13247/task/13258/stat : 13258 (java) R 13244 13247 10765 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 414811393 10915721216 10087 33554432000 4194304 4196468 140722950452832 139832738670576 139833183726210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13259] ppid=13244 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6 /proc/13247/task/13259/stat : 13259 (java) R 13244 13247 10765 0 -1 4202560 477 0 0 0 4 0 0 0 20 0 15 0 414811393 10915721216 10087 33554432000 4194304 4196468 140722950452832 139832737618032 139833183726998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13260] ppid=13244 vsize=10659884 memory=139776733738624 CPUtime=0.08 cores=0,2,4,6 /proc/13247/task/13260/stat : 13260 (java) R 13244 13247 10765 0 -1 4202560 666 0 0 0 8 0 0 0 20 0 15 0 414811394 10915721216 10087 33554432000 4194304 4196468 140722950452832 139832736565488 139833183726998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13261] ppid=13244 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13261/stat : 13261 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414811394 10915721216 10087 33554432000 4194304 4196468 140722950452832 139832735513184 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13262] ppid=13244 vsize=10659884 memory=139776733738624 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13262/stat : 13262 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811394 10915721216 10087 33554432000 4194304 4196468 140722950452832 139832734460720 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40348 KiB [startup+0.700746 s] /proc/loadavg: 1.81 1.62 1.78 3/229 13262 /proc/meminfo: memFree=23623540/32770624 swapFree=66939836/67108860 [pid=13247] ppid=13244 vsize=10661932 memory=64032 CPUtime=1.11 cores=0,2,4,6 /proc/13247/stat : 13247 (java) S 13244 13247 10765 0 -1 1077944320 13060 0 0 0 105 6 0 0 20 0 15 0 414811388 10917818368 16008 33554432000 4194304 4196468 140722950452832 140722950435376 139833183715063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 /proc/13247/statm: 2665483 16008 3073 1 0 2627980 0 [pid=13247/tid=13249] ppid=13244 vsize=10661932 memory=14056 CPUtime=0.68 cores=0,2,4,6 /proc/13247/task/13249/stat : 13249 (java) R 13244 13247 10765 0 -1 4202560 8884 0 0 0 64 4 0 0 20 0 15 0 414811388 10917818368 16008 33554432000 4194304 4196468 140722950452832 139833187938000 139833168880631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13250] ppid=13244 vsize=10661932 memory=2116 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13250/stat : 13250 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10917818368 16008 33554432000 4194304 4196468 140722950452832 139833136335120 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13251] ppid=13244 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13251/stat : 13251 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10917818368 16008 33554432000 4194304 4196468 140722950452832 139833135282576 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13252] ppid=13244 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13252/stat : 13252 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10917818368 16008 33554432000 4194304 4196468 140722950452832 139833134230032 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13253] ppid=13244 vsize=10661932 memory=924 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13253/stat : 13253 (java) S 13244 13247 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414811389 10917818368 16008 33554432000 4194304 4196468 140722950452832 139833133177488 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13254] ppid=13244 vsize=10661932 memory=3688 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13254/stat : 13254 (java) S 13244 13247 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414811390 10917818368 16008 33554432000 4194304 4196468 140722950452832 139832742881776 139833183726210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13255] ppid=13244 vsize=10661932 memory=1984 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13255/stat : 13255 (java) S 13244 13247 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414811391 10917818368 16008 33554432000 4194304 4196468 140722950452832 139832741828000 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13256] ppid=13244 vsize=10661932 memory=1440 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13256/stat : 13256 (java) S 13244 13247 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414811391 10917818368 16008 33554432000 4194304 4196468 140722950452832 139832740775408 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13257] ppid=13244 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13257/stat : 13257 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414811393 10917818368 16008 33554432000 4194304 4196468 140722950452832 139832739723984 139833183733659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13258] ppid=13244 vsize=10661932 memory=7086240636179272035 CPUtime=0.1 cores=0,2,4,6 /proc/13247/task/13258/stat : 13258 (java) R 13244 13247 10765 0 -1 4202560 925 0 0 0 10 0 0 0 20 0 15 0 414811393 10917818368 16008 33554432000 4194304 4196468 140722950452832 139832738670576 139833167618134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13259] ppid=13244 vsize=10661932 memory=7453282923444726100 CPUtime=0.11 cores=0,2,4,6 /proc/13247/task/13259/stat : 13259 (java) S 13244 13247 10765 0 -1 1077944384 773 0 0 0 11 0 0 0 20 0 15 0 414811393 10917818368 16008 33554432000 4194304 4196468 140722950452832 139832737618032 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13260] ppid=13244 vsize=10661932 memory=7223879631928058176 CPUtime=0.19 cores=0,2,4,6 /proc/13247/task/13260/stat : 13260 (java) S 13244 13247 10765 0 -1 1077944384 1120 0 0 0 19 0 0 0 20 0 15 0 414811394 10917818368 16008 33554432000 4194304 4196468 140722950452832 139832736565488 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13261] ppid=13244 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13261/stat : 13261 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414811394 10917818368 16008 33554432000 4194304 4196468 140722950452832 139832735513184 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13262] ppid=13244 vsize=10661932 memory=7955161671362897768 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13262/stat : 13262 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811394 10917818368 16008 33554432000 4194304 4196468 140722950452832 139832734460720 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 64032 KiB [startup+1.50072 s] /proc/loadavg: 1.83 1.62 1.78 3/229 13262 /proc/meminfo: memFree=23607300/32770624 swapFree=66939836/67108860 [pid=13247] ppid=13244 vsize=10663980 memory=75704 CPUtime=2.01 cores=0,2,4,6 /proc/13247/stat : 13247 (java) S 13244 13247 10765 0 -1 1077944320 18608 0 0 0 194 7 0 0 20 0 15 0 414811388 10919915520 18926 33554432000 4194304 4196468 140722950452832 140722950435376 139833183715063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 /proc/13247/statm: 2665995 18926 3091 1 0 2628492 0 [pid=13247/tid=13249] ppid=13244 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=0,2,4,6 /proc/13247/task/13249/stat : 13249 (java) R 13244 13247 10765 0 -1 4202560 13142 0 0 0 143 5 0 0 20 0 15 0 414811388 10919915520 18926 33554432000 4194304 4196468 140722950452832 139833187932000 139833183736989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13250] ppid=13244 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13250/stat : 13250 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10919915520 18926 33554432000 4194304 4196468 140722950452832 139833136335120 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13251] ppid=13244 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13251/stat : 13251 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10919915520 18926 33554432000 4194304 4196468 140722950452832 139833135282576 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13252] ppid=13244 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13252/stat : 13252 (java) S 13244 13247 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414811389 10919915520 18926 33554432000 4194304 4196468 140722950452832 139833134230032 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13253] ppid=13244 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13253/stat : 13253 (java) S 13244 13247 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414811389 10919915520 18926 33554432000 4194304 4196468 140722950452832 139833133177488 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13254] ppid=13244 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13254/stat : 13254 (java) S 13244 13247 10765 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 414811390 10919915520 18926 33554432000 4194304 4196468 140722950452832 139832742881776 139833183726210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 ################ # More data... # ################ [startup+36.8007 s] /proc/loadavg: 1.82 1.65 1.79 3/230 13266 /proc/meminfo: memFree=23435344/32770624 swapFree=66939836/67108860 [pid=13247] ppid=13244 vsize=10748324 memory=247756 CPUtime=39.51 cores=0,2,4,6 /proc/13247/stat : 13247 (java) S 13244 13247 10765 0 -1 1077944320 39929 0 0 0 3934 17 0 0 20 0 16 0 414811388 11006283776 61939 33554432000 4194304 4196468 140722950452832 140722950435376 139833183715063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 /proc/13247/statm: 2687081 61939 3374 1 0 2647217 0 [pid=13247/tid=13249] ppid=13244 vsize=10748324 memory=0 CPUtime=1.86 cores=0,2,4,6 /proc/13247/task/13249/stat : 13249 (java) S 13244 13247 10765 0 -1 1077944384 15400 0 0 0 180 6 0 0 20 0 16 0 414811388 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833187957936 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13250] ppid=13244 vsize=10748324 memory=2319824675966422912 CPUtime=0.03 cores=0,2,4,6 /proc/13247/task/13250/stat : 13250 (java) S 13244 13247 10765 0 -1 1077944384 1047 0 0 0 3 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833136335120 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13251] ppid=13244 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6 /proc/13247/task/13251/stat : 13251 (java) S 13244 13247 10765 0 -1 1077944384 904 0 0 0 2 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833135282576 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13252] ppid=13244 vsize=10748324 memory=39672 CPUtime=0.03 cores=0,2,4,6 /proc/13247/task/13252/stat : 13252 (java) S 13244 13247 10765 0 -1 1077944384 138 0 0 0 2 1 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833134230032 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13253] ppid=13244 vsize=10748324 memory=988 CPUtime=0.02 cores=0,2,4,6 /proc/13247/task/13253/stat : 13253 (java) S 13244 13247 10765 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833133177488 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13254] ppid=13244 vsize=10748324 memory=2008 CPUtime=0.01 cores=0,2,4,6 /proc/13247/task/13254/stat : 13254 (java) S 13244 13247 10765 0 -1 1077944384 1623 0 0 0 1 0 0 0 20 0 16 0 414811390 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832742881776 139833183726210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13255] ppid=13244 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13255/stat : 13255 (java) S 13244 13247 10765 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414811391 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832741828064 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13256] ppid=13244 vsize=10748324 memory=247664 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13256/stat : 13256 (java) S 13244 13247 10765 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414811391 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832740775424 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13257] ppid=13244 vsize=10748324 memory=247664 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13257/stat : 13257 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832739723984 139833183733659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13258] ppid=13244 vsize=10748324 memory=1984 CPUtime=1.03 cores=0,2,4,6 /proc/13247/task/13258/stat : 13258 (java) S 13244 13247 10765 0 -1 1077944384 4112 0 0 0 102 1 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832738670576 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13259] ppid=13244 vsize=10748324 memory=1440 CPUtime=0.92 cores=0,2,4,6 /proc/13247/task/13259/stat : 13259 (java) S 13244 13247 10765 0 -1 1077944384 2418 0 0 0 92 0 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832737618032 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13260] ppid=13244 vsize=10748324 memory=812 CPUtime=0.63 cores=0,2,4,6 /proc/13247/task/13260/stat : 13260 (java) S 13244 13247 10765 0 -1 1077944384 5279 0 0 0 63 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832736565488 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13261] ppid=13244 vsize=10748324 memory=2580 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13261/stat : 13261 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832735513184 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13262] ppid=13244 vsize=10748324 memory=1760 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13262/stat : 13262 (java) S 13244 13247 10765 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832734460720 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13263] ppid=13244 vsize=10748324 memory=111636 CPUtime=34.83 cores=0,2,4,6 /proc/13247/task/13263/stat : 13263 (java) R 13244 13247 10765 0 -1 4202560 6989 0 0 0 3480 3 0 0 20 0 16 0 414811577 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832650211264 139832816593856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 Current children cumulated CPU time: 39.51 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 247756 KiB [startup+37.6007 s] /proc/loadavg: 1.82 1.65 1.79 3/230 13266 /proc/meminfo: memFree=23435344/32770624 swapFree=66939836/67108860 [pid=13247] ppid=13244 vsize=10748324 memory=247756 CPUtime=40.31 cores=0,2,4,6 /proc/13247/stat : 13247 (java) S 13244 13247 10765 0 -1 1077944320 39938 0 0 0 4014 17 0 0 20 0 16 0 414811388 11006283776 61939 33554432000 4194304 4196468 140722950452832 140722950435376 139833183715063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 /proc/13247/statm: 2687081 61939 3374 1 0 2647217 0 [pid=13247/tid=13249] ppid=13244 vsize=10748324 memory=1548 CPUtime=1.86 cores=0,2,4,6 /proc/13247/task/13249/stat : 13249 (java) S 13244 13247 10765 0 -1 1077944384 15400 0 0 0 180 6 0 0 20 0 16 0 414811388 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833187957936 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13250] ppid=13244 vsize=10748324 memory=1728 CPUtime=0.03 cores=0,2,4,6 /proc/13247/task/13250/stat : 13250 (java) S 13244 13247 10765 0 -1 1077944384 1047 0 0 0 3 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833136335120 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13251] ppid=13244 vsize=10748324 memory=7988 CPUtime=0.02 cores=0,2,4,6 /proc/13247/task/13251/stat : 13251 (java) S 13244 13247 10765 0 -1 1077944384 904 0 0 0 2 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833135282576 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13252] ppid=13244 vsize=10748324 memory=9580 CPUtime=0.03 cores=0,2,4,6 /proc/13247/task/13252/stat : 13252 (java) S 13244 13247 10765 0 -1 1077944384 138 0 0 0 2 1 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833134230032 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13253] ppid=13244 vsize=10748324 memory=1052 CPUtime=0.02 cores=0,2,4,6 /proc/13247/task/13253/stat : 13253 (java) S 13244 13247 10765 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833133177488 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13254] ppid=13244 vsize=10748324 memory=776 CPUtime=0.01 cores=0,2,4,6 /proc/13247/task/13254/stat : 13254 (java) S 13244 13247 10765 0 -1 1077944384 1623 0 0 0 1 0 0 0 20 0 16 0 414811390 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832742881776 139833183726210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13255] ppid=13244 vsize=10748324 memory=2832 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13255/stat : 13255 (java) S 13244 13247 10765 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414811391 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832741828064 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13256] ppid=13244 vsize=10748324 memory=668 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13256/stat : 13256 (java) S 13244 13247 10765 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414811391 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832740775424 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13257] ppid=13244 vsize=10748324 memory=1256 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13257/stat : 13257 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832739723984 139833183733659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13258] ppid=13244 vsize=10748324 memory=1076 CPUtime=1.03 cores=0,2,4,6 /proc/13247/task/13258/stat : 13258 (java) S 13244 13247 10765 0 -1 1077944384 4112 0 0 0 102 1 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832738670576 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13259] ppid=13244 vsize=10748324 memory=14008 CPUtime=0.92 cores=0,2,4,6 /proc/13247/task/13259/stat : 13259 (java) S 13244 13247 10765 0 -1 1077944384 2418 0 0 0 92 0 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832737618032 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13260] ppid=13244 vsize=10748324 memory=21960 CPUtime=0.63 cores=0,2,4,6 /proc/13247/task/13260/stat : 13260 (java) S 13244 13247 10765 0 -1 1077944384 5279 0 0 0 63 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832736565488 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13261] ppid=13244 vsize=10748324 memory=14056 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13261/stat : 13261 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832735513184 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13262] ppid=13244 vsize=10748324 memory=2116 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13262/stat : 13262 (java) S 13244 13247 10765 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832734460720 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13263] ppid=13244 vsize=10748324 memory=520 CPUtime=35.63 cores=0,2,4,6 /proc/13247/task/13263/stat : 13263 (java) R 13244 13247 10765 0 -1 4202560 6998 0 0 0 3560 3 0 0 20 0 16 0 414811577 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832650211264 139832816883888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 Current children cumulated CPU time: 40.31 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 247756 KiB [startup+38.0007 s]* /proc/loadavg: 1.82 1.65 1.79 3/230 13266 /proc/meminfo: memFree=23435344/32770624 swapFree=66939836/67108860 [pid=13247] ppid=13244 vsize=10748324 memory=247756 CPUtime=40.72 cores=0,2,4,6 /proc/13247/stat : 13247 (java) S 13244 13247 10765 0 -1 1077944320 39942 0 0 0 4055 17 0 0 20 0 16 0 414811388 11006283776 61939 33554432000 4194304 4196468 140722950452832 140722950435376 139833183715063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 /proc/13247/statm: 2687081 61939 3374 1 0 2647217 0 [pid=13247/tid=13249] ppid=13244 vsize=10748324 memory=585520870389200563 CPUtime=1.86 cores=0,2,4,6 /proc/13247/task/13249/stat : 13249 (java) S 13244 13247 10765 0 -1 1077944384 15400 0 0 0 180 6 0 0 20 0 16 0 414811388 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833187957936 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13250] ppid=13244 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/13247/task/13250/stat : 13250 (java) S 13244 13247 10765 0 -1 1077944384 1047 0 0 0 3 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833136335120 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13251] ppid=13244 vsize=10748324 memory=297387498738380160 CPUtime=0.02 cores=0,2,4,6 /proc/13247/task/13251/stat : 13251 (java) S 13244 13247 10765 0 -1 1077944384 904 0 0 0 2 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833135282576 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13252] ppid=13244 vsize=10748324 memory=6944656592455360569 CPUtime=0.03 cores=0,2,4,6 /proc/13247/task/13252/stat : 13252 (java) S 13244 13247 10765 0 -1 1077944384 138 0 0 0 2 1 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833134230032 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13253] ppid=13244 vsize=10748324 memory=3472328296227680303 CPUtime=0.02 cores=0,2,4,6 /proc/13247/task/13253/stat : 13253 (java) S 13244 13247 10765 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833133177488 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13254] ppid=13244 vsize=10748324 memory=665091893113149379 CPUtime=0.01 cores=0,2,4,6 /proc/13247/task/13254/stat : 13254 (java) S 13244 13247 10765 0 -1 1077944384 1623 0 0 0 1 0 0 0 20 0 16 0 414811390 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832742881776 139833183726210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13255] ppid=13244 vsize=10748324 memory=3256112677255342443 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13255/stat : 13255 (java) S 13244 13247 10765 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414811391 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832741828064 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13256] ppid=13244 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13256/stat : 13256 (java) S 13244 13247 10765 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414811391 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832740775424 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13257] ppid=13244 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13257/stat : 13257 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832739723984 139833183733659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13258] ppid=13244 vsize=10748324 memory=0 CPUtime=1.03 cores=0,2,4,6 /proc/13247/task/13258/stat : 13258 (java) S 13244 13247 10765 0 -1 1077944384 4112 0 0 0 102 1 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832738670576 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13259] ppid=13244 vsize=10748324 memory=3756055004048273439 CPUtime=0.92 cores=0,2,4,6 /proc/13247/task/13259/stat : 13259 (java) S 13244 13247 10765 0 -1 1077944384 2418 0 0 0 92 0 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832737618032 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13260] ppid=13244 vsize=10748324 memory=279553358100000 CPUtime=0.63 cores=0,2,4,6 /proc/13247/task/13260/stat : 13260 (java) S 13244 13247 10765 0 -1 1077944384 5279 0 0 0 63 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832736565488 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13261] ppid=13244 vsize=10748324 memory=3617296714000773172 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13261/stat : 13261 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832735513184 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13262] ppid=13244 vsize=10748324 memory=139780760270465 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13262/stat : 13262 (java) S 13244 13247 10765 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832734460720 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13263] ppid=13244 vsize=10748324 memory=0 CPUtime=36.04 cores=0,2,4,6 /proc/13247/task/13263/stat : 13263 (java) R 13244 13247 10765 0 -1 4202560 7002 0 0 0 3601 3 0 0 20 0 16 0 414811577 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832650211264 139832816883876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 Current children cumulated CPU time: 40.72 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 247756 KiB [startup+38.4007 s] /proc/loadavg: 1.82 1.65 1.79 3/230 13266 /proc/meminfo: memFree=23435344/32770624 swapFree=66939836/67108860 [pid=13247] ppid=13244 vsize=10748324 memory=247756 CPUtime=41.11 cores=0,2,4,6 /proc/13247/stat : 13247 (java) S 13244 13247 10765 0 -1 1077944320 39944 0 0 0 4094 17 0 0 20 0 16 0 414811388 11006283776 61939 33554432000 4194304 4196468 140722950452832 140722950435376 139833183715063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 /proc/13247/statm: 2687081 61939 3374 1 0 2647217 0 [pid=13247/tid=13249] ppid=13244 vsize=10748324 memory=0 CPUtime=1.86 cores=0,2,4,6 /proc/13247/task/13249/stat : 13249 (java) S 13244 13247 10765 0 -1 1077944384 15400 0 0 0 180 6 0 0 20 0 16 0 414811388 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833187957936 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13250] ppid=13244 vsize=10748324 memory=247756 CPUtime=0.03 cores=0,2,4,6 /proc/13247/task/13250/stat : 13250 (java) S 13244 13247 10765 0 -1 1077944384 1047 0 0 0 3 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833136335120 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13251] ppid=13244 vsize=10748324 memory=4684 CPUtime=0.02 cores=0,2,4,6 /proc/13247/task/13251/stat : 13251 (java) S 13244 13247 10765 0 -1 1077944384 904 0 0 0 2 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833135282576 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13252] ppid=13244 vsize=10748324 memory=247756 CPUtime=0.03 cores=0,2,4,6 /proc/13247/task/13252/stat : 13252 (java) S 13244 13247 10765 0 -1 1077944384 138 0 0 0 2 1 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833134230032 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13253] ppid=13244 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/13247/task/13253/stat : 13253 (java) S 13244 13247 10765 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 16 0 414811389 11006283776 61939 33554432000 4194304 4196468 140722950452832 139833133177488 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13254] ppid=13244 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6 /proc/13247/task/13254/stat : 13254 (java) S 13244 13247 10765 0 -1 1077944384 1623 0 0 0 1 0 0 0 20 0 16 0 414811390 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832742881776 139833183726210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13255] ppid=13244 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13255/stat : 13255 (java) S 13244 13247 10765 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414811391 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832741828064 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13256] ppid=13244 vsize=10748324 memory=247664 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13256/stat : 13256 (java) S 13244 13247 10765 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414811391 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832740775424 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13257] ppid=13244 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13257/stat : 13257 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832739723984 139833183733659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13258] ppid=13244 vsize=10748324 memory=21960 CPUtime=1.03 cores=0,2,4,6 /proc/13247/task/13258/stat : 13258 (java) S 13244 13247 10765 0 -1 1077944384 4112 0 0 0 102 1 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832738670576 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13259] ppid=13244 vsize=10748324 memory=247664 CPUtime=0.92 cores=0,2,4,6 /proc/13247/task/13259/stat : 13259 (java) S 13244 13247 10765 0 -1 1077944384 2418 0 0 0 92 0 0 0 20 0 16 0 414811393 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832737618032 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13260] ppid=13244 vsize=10748324 memory=7451609539861307712 CPUtime=0.63 cores=0,2,4,6 /proc/13247/task/13260/stat : 13260 (java) S 13244 13247 10765 0 -1 1077944384 5279 0 0 0 63 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832736565488 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13261] ppid=13244 vsize=10748324 memory=6009601168685031509 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13261/stat : 13261 (java) S 13244 13247 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832735513184 139833183725269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13262] ppid=13244 vsize=10748324 memory=7523376918531162212 CPUtime=0 cores=0,2,4,6 /proc/13247/task/13262/stat : 13262 (java) S 13244 13247 10765 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 16 0 414811394 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832734460720 139833183726210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 [pid=13247/tid=13263] ppid=13244 vsize=10748324 memory=7649399362806756145 CPUtime=36.43 cores=0,2,4,6 /proc/13247/task/13263/stat : 13263 (java) R 13244 13247 10765 0 -1 4202560 7004 0 0 0 3640 3 0 0 20 0 16 0 414811577 11006283776 61939 33554432000 4194304 4196468 140722950452832 139832650211264 139832816769818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14065664 140722950456331 140722950456434 140722950456434 140722950459343 0 Current children cumulated CPU time: 41.11 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 247756 KiB Child status: 0 Real time (s): 38.4951 CPU time (s): 41.2219 CPU user time (s): 41.0366 CPU system time (s): 0.185287 CPU usage (%): 107.084 Max. virtual memory (cumulated for all children) (KiB): 10748324 Max. memory (cumulated for all children) (KiB): 247756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 41.0366 system time used= 0.185287 maximum resident set size= 247908 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41642 page faults= 0 swaps= 0 block input operations= 0 block output operations= 176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3652 involuntary context switches= 91 # summary of solver processes directly reported to runsolver: # pid: 13247 # total CPU time (s): 41.2219 # total CPU user time (s): 41.0366 # total CPU system time (s): 0.185287 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.276894 second user time and 0.367814 second system time The end
Begin job on node119 at 2019-09-13 17:35:25 IDJOB=4391153 IDBENCH=122936 IDSOLVER=2833 FILE ID=node119/4391153-1568388965 RUNJOBID= node119-1568388843-13118 PBS_JOBID= 21701844 Free space on /tmp= 57260 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/Opd/Opd-sum-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-4391153-1568388965/watcher-4391153-1568388965 -o /tmp/evaluation-result-4391153-1568388965/solver-4391153-1568388965 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568388843-13118 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391153-1568388965.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b4ffb396ba331e6a6f6e6b1bc4ae482f RANDOM SEED=1264755490 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23663140 kB MemAvailable: 31574708 kB Buffers: 185708 kB Cached: 7933020 kB SwapCached: 61112 kB Active: 2135376 kB Inactive: 6276648 kB Active(anon): 231524 kB Inactive(anon): 103136 kB Active(file): 1903852 kB Inactive(file): 6173512 kB Unevictable: 107056 kB Mlocked: 107056 kB SwapTotal: 67108860 kB SwapFree: 66939836 kB Dirty: 8724 kB Writeback: 0 kB AnonPages: 340860 kB Mapped: 56624 kB Shmem: 32812 kB Slab: 292292 kB SReclaimable: 262664 kB SUnreclaim: 29628 kB KernelStack: 3760 kB PageTables: 6224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1258768 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 57252 MiB End job on node119 at 2019-09-13 17:36:04