Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| AbsCon 2019-07-23 | SAT (TO) | 5 | 2520.09 | 2515.41 |
| Name | Opd/Opd-sum-small/ Opd-19-020-009.xml |
| MD5SUM | 62ee24bcba75d1d33fbbd4bb45a854a0 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 1412.74 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 381 |
| Number of constraints | 191 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 17 |
| Distribution of domain sizes | [{"size":2,"count":380},{"size":17,"count":1}] |
| Minimum variable degree | 20 |
| Maximum variable degree | 172 |
| Distribution of variable degrees | [{"degree":20,"count":380},{"degree":172,"count":1}] |
| Minimum constraint arity | 20 |
| Maximum constraint arity | 380 |
| Distribution of constraint arities | [{"arity":20,"count":19},{"arity":41,"count":171},{"arity":380,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":190}] |
| Optimization problem | YES |
| Type of objective | min VAR |
2.40/1.87 2.40/1.87 AbsCon 2 2.40/1.89 2.91/2.04 Instance 2.91/2.04 name=instance-4391024-1568380560, framework=COP, bounds=-infty..+infty 2.91/2.04 2.91/2.04 Loading variables... 2.91/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ae1836 2.91/2.09 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72cd3c7d 2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27abbe82 2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a4a85b7 2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e68ea23 2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3ddea0 2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd0b2c1 2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3d5543 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a3efc 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705ee9f1 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db26acf 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a5257fa 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6cdffd 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49873467 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10710315 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63755414 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8ee4ed 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c5bb129 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8c2560 2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8a549 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf47892 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18be9b32 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336 3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de04336 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e6cee5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de806e5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de806e5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de806e5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de806e5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de806e5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de806e5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de806e5 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb0aff3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb0aff3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb0aff3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb0aff3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb0aff3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb0aff3 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5d0c41 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5d0c41 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5d0c41 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5d0c41 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5d0c41 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d182c45 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d182c45 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d182c45 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d182c45 3.20/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f26886e 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f26886e 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f26886e 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa5834b 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa5834b 3.20/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374369e6 3.53/2.23 3.53/2.23 3.53/2.23 Domains 3.53/2.23 nTypes=2, nValues=777, sizes=[2#380,17#1] 3.53/2.23 Variables 3.53/2.23 count=381, degrees=[21#4,22#70,23#306,172#1] 3.53/2.23 Objectives 3.53/2.23 way=min, type=ObjVarLE 3.53/2.23 Constraints 3.53/2.23 count=228, nSpecific=228, arities=[1#1,20#19,38#19,40#18,41#171] 3.53/2.23 distribution=[LexicographicLe#37,ObjVarLE#1,SumScalarBooleanLEVar#171,SumSimpleEQ#19] 3.53/2.23 wck=0.383, cpu=2.196, mem=31M797 3.53/2.23 Solver SolverBacktrack being built... 3.53/2.23 3.53/2.26 3.53/2.26 Solver 3.53/2.26 guaranteedGAC=true 3.53/2.26 wck=0.417, cpu=2.229, mem=45M82 3.53/2.27 3.53/2.27 Preprocessing 3.53/2.27 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.53/2.27 wck=0.008, cpu=2.239, mem=45M82 3.53/2.27 3.53/2.28 num=0, depth=18..33, filters=101, wck=0.02, mem=45M82 3.53/2.28 decisions=71, wrong=22, backtracks=19, failedAssignments=10, nogoods=3 3.53/2.28 3.53/2.29 num=1, depth=9..16, filters=434, wck=0.032, mem=45M82 3.53/2.29 decisions=132, wrong=47, backtracks=35, failedAssignments=21, nogoods=8 3.53/2.29 3.80/2.31 num=2, depth=6..15, filters=847, wck=0.05, mem=45M82 3.80/2.31 decisions=206, wrong=80, backtracks=63, failedAssignments=33, nogoods=10 3.80/2.31 3.80/2.32 num=3, depth=4..12, filters=1436, wck=0.059, mem=45M82 3.80/2.32 decisions=289, wrong=117, backtracks=94, failedAssignments=46, nogoods=13 3.80/2.32 3.80/2.33 num=4, depth=2..12, filters=1913, wck=0.065, mem=45M82 3.80/2.33 decisions=367, wrong=152, backtracks=124, failedAssignments=60, nogoods=17 3.80/2.33 3.80/2.33 num=5, depth=0..13, filters=2288, wck=0.07, mem=45M82 3.80/2.33 decisions=434, wrong=183, backtracks=148, failedAssignments=76, nogoods=21 3.80/2.33 3.80/2.34 o 9 3.80/2.35 num=6, depth=1..380, filters=2650, ccks=228, wck=0.09, mem=45M82 3.80/2.35 decisions=531, wrong=202, backtracks=154, failedAssignments=89, nogoods=31, foundSolutions=1, bestBound=9 3.80/2.35 3.80/2.36 num=7, depth=3..102, filters=3002, ccks=228, wck=0.098, mem=45M82 3.80/2.36 decisions=679, wrong=231, backtracks=173, failedAssignments=108, nogoods=39, foundSolutions=1, bestBound=9 3.80/2.36 3.80/2.36 num=8, depth=4..21, filters=3085, ccks=228, wck=0.1, mem=45M82 3.80/2.36 decisions=718, wrong=244, backtracks=176, failedAssignments=119, nogoods=48, foundSolutions=1, bestBound=9 3.80/2.36 3.80/2.36 num=9, depth=6..72, filters=3282, ccks=228, wck=0.103, mem=45M82 3.80/2.36 decisions=816, wrong=263, backtracks=187, failedAssignments=131, nogoods=50, foundSolutions=1, bestBound=9 3.80/2.36 3.80/2.36 num=10, depth=2..82, filters=3440, ccks=228, wck=0.107, mem=45M82 3.80/2.36 decisions=918, wrong=277, backtracks=192, failedAssignments=144, nogoods=59, foundSolutions=1, bestBound=9 3.80/2.36 3.80/2.37 num=11, depth=2..102, filters=3610, ccks=228, wck=0.112, mem=45M82 3.80/2.37 decisions=1048, wrong=298, backtracks=199, failedAssignments=158, nogoods=67, foundSolutions=1, bestBound=9 3.80/2.37 3.80/2.37 num=12, depth=2..114, filters=3760, ccks=228, wck=0.116, mem=45M82 3.80/2.37 decisions=1184, wrong=316, backtracks=201, failedAssignments=174, nogoods=82, foundSolutions=1, bestBound=9 3.80/2.37 3.80/2.38 num=13, depth=2..166, filters=3931, ccks=228, wck=0.121, mem=45M82 3.80/2.38 decisions=1370, wrong=334, backtracks=202, failedAssignments=191, nogoods=99, foundSolutions=1, bestBound=9 3.80/2.38 3.80/2.38 num=14, depth=2..172, filters=4170, ccks=228, wck=0.127, mem=45M82 3.80/2.38 decisions=1580, wrong=361, backtracks=213, failedAssignments=210, nogoods=110, foundSolutions=1, bestBound=9 3.80/2.38 3.80/2.39 num=15, depth=2..117, filters=4679, ccks=228, wck=0.134, mem=45M82 3.80/2.39 decisions=1771, wrong=409, backtracks=248, failedAssignments=231, nogoods=117, foundSolutions=1, bestBound=9 3.80/2.39 3.80/2.40 num=16, depth=2..91, filters=4880, ccks=228, wck=0.138, mem=45M82 3.80/2.40 decisions=1889, wrong=433, backtracks=253, failedAssignments=254, nogoods=136, foundSolutions=1, bestBound=9 3.80/2.40 3.80/2.40 num=17, depth=2..97, filters=5144, ccks=228, wck=0.143, mem=45M82 3.80/2.40 decisions=2018, wrong=460, backtracks=257, failedAssignments=279, nogoods=159, foundSolutions=1, bestBound=9 3.80/2.40 4.16/2.41 num=18, depth=2..133, filters=5402, ccks=228, wck=0.148, mem=45M82 4.16/2.41 decisions=2219, wrong=506, backtracks=277, failedAssignments=307, nogoods=170, foundSolutions=1, bestBound=9 4.16/2.41 4.16/2.41 num=19, depth=3..83, filters=5731, ccks=228, wck=0.153, mem=45M82 4.16/2.41 decisions=2379, wrong=558, backtracks=303, failedAssignments=338, nogoods=178, foundSolutions=1, bestBound=9 4.16/2.41 4.16/2.42 num=20, depth=16..26, filters=6371, ccks=228, wck=0.159, mem=45M82 4.16/2.42 decisions=2525, wrong=623, backtracks=356, failedAssignments=372, nogoods=180, foundSolutions=1, bestBound=9 4.16/2.42 4.16/2.42 num=21, depth=0..27, filters=6887, ccks=228, wck=0.163, mem=45M82 4.16/2.42 decisions=2670, wrong=688, backtracks=406, failedAssignments=409, nogoods=188, foundSolutions=1, bestBound=9 4.16/2.42 4.16/2.43 num=22, depth=17..154, filters=7310, ccks=228, wck=0.17, mem=45M82 4.16/2.43 decisions=2938, wrong=758, backtracks=453, failedAssignments=450, nogoods=198, foundSolutions=1, bestBound=9 4.16/2.43 4.16/2.43 num=23, depth=12..73, filters=7598, ccks=228, wck=0.175, mem=45M82 4.16/2.43 decisions=3120, wrong=820, backtracks=503, failedAssignments=495, nogoods=209, foundSolutions=1, bestBound=9 4.16/2.43 4.16/2.44 o 8 4.16/2.44 num=24, depth=14..380, filters=8129, ccks=456, wck=0.185, mem=45M82 4.16/2.44 decisions=3364, wrong=879, backtracks=546, failedAssignments=531, nogoods=217, foundSolutions=2, bestBound=8 4.16/2.44 4.16/2.45 num=25, depth=14..136, filters=8616, ccks=456, wck=0.193, mem=45M82 4.16/2.45 decisions=3644, wrong=960, backtracks=609, failedAssignments=586, nogoods=230, foundSolutions=2, bestBound=8 4.16/2.45 4.16/2.45 num=26, depth=15..27, filters=8833, ccks=456, wck=0.196, mem=45M82 4.16/2.45 decisions=3694, wrong=975, backtracks=615, failedAssignments=597, nogoods=236, foundSolutions=2, bestBound=8 4.16/2.45 4.16/2.46 num=27, depth=15..22, filters=9087, ccks=456, wck=0.198, mem=45M82 4.16/2.46 decisions=3759, wrong=1000, backtracks=636, failedAssignments=609, nogoods=239, foundSolutions=2, bestBound=8 4.16/2.46 4.16/2.46 num=28, depth=2..8, filters=9325, ccks=456, wck=0.2, mem=45M82 4.16/2.46 decisions=3815, wrong=1027, backtracks=655, failedAssignments=622, nogoods=240, foundSolutions=2, bestBound=8 4.16/2.46 4.16/2.46 num=29, depth=8..101, filters=9448, ccks=456, wck=0.202, mem=45M82 4.16/2.46 decisions=3932, wrong=1042, backtracks=657, failedAssignments=636, nogoods=253, foundSolutions=2, bestBound=8 4.16/2.46 4.16/2.47 o 7 4.16/2.47 num=30, depth=8..380, filters=9580, ccks=684, wck=0.208, mem=45M82 4.16/2.47 decisions=4092, wrong=1055, backtracks=663, failedAssignments=648, nogoods=260, foundSolutions=3, bestBound=7 4.16/2.47 4.16/2.47 num=31, depth=8..47, filters=9759, ccks=684, wck=0.211, mem=45M82 4.16/2.47 decisions=4193, wrong=1088, backtracks=687, failedAssignments=665, nogoods=265, foundSolutions=3, bestBound=7 4.16/2.47 4.16/2.47 num=32, depth=12..22, filters=9944, ccks=684, wck=0.213, mem=45M82 4.16/2.47 decisions=4249, wrong=1108, backtracks=700, failedAssignments=676, nogoods=268, foundSolutions=3, bestBound=7 4.16/2.47 4.16/2.47 num=33, depth=0..19, filters=10205, ccks=684, wck=0.215, mem=45M82 4.16/2.47 decisions=4307, wrong=1134, backtracks=723, failedAssignments=688, nogoods=269, foundSolutions=3, bestBound=7 4.16/2.47 4.16/2.47 num=34, depth=5..54, filters=10311, ccks=684, wck=0.217, mem=47M724 4.16/2.47 decisions=4376, wrong=1148, backtracks=724, failedAssignments=701, nogoods=282, foundSolutions=3, bestBound=7 4.16/2.47 4.16/2.48 num=35, depth=9..42, filters=10460, ccks=684, wck=0.219, mem=47M724 4.16/2.48 decisions=4443, wrong=1166, backtracks=736, failedAssignments=715, nogoods=289, foundSolutions=3, bestBound=7 4.16/2.48 4.16/2.48 num=36, depth=13..51, filters=10579, ccks=684, wck=0.22, mem=47M724 4.16/2.48 decisions=4528, wrong=1189, backtracks=747, failedAssignments=731, nogoods=298, foundSolutions=3, bestBound=7 4.16/2.48 4.16/2.48 num=37, depth=9..44, filters=10768, ccks=684, wck=0.223, mem=47M724 4.16/2.48 decisions=4617, wrong=1215, backtracks=769, failedAssignments=748, nogoods=302, foundSolutions=3, bestBound=7 4.16/2.48 4.16/2.48 num=38, depth=9..63, filters=10892, ccks=684, wck=0.225, mem=47M724 4.16/2.48 decisions=4721, wrong=1240, backtracks=784, failedAssignments=767, nogoods=312, foundSolutions=3, bestBound=7 4.16/2.48 4.16/2.49 num=39, depth=14..138, filters=11036, ccks=684, wck=0.229, mem=47M724 4.16/2.49 decisions=4884, wrong=1263, backtracks=786, failedAssignments=788, nogoods=332, foundSolutions=3, bestBound=7 4.16/2.49 4.16/2.49 num=40, depth=10..32, filters=11306, ccks=684, wck=0.233, mem=47M724 4.16/2.49 decisions=4979, wrong=1300, backtracks=816, failedAssignments=811, nogoods=337, foundSolutions=3, bestBound=7 4.16/2.49 4.16/2.49 num=41, depth=7..19, filters=11613, ccks=684, wck=0.237, mem=47M724 4.16/2.49 decisions=5083, wrong=1347, backtracks=858, failedAssignments=836, nogoods=340, foundSolutions=3, bestBound=7 4.16/2.49 4.45/2.50 num=42, depth=5..52, filters=11817, ccks=684, wck=0.239, mem=47M724 4.45/2.50 decisions=5197, wrong=1386, backtracks=884, failedAssignments=864, nogoods=351, foundSolutions=3, bestBound=7 4.45/2.50 4.45/2.50 num=43, depth=6..101, filters=12004, ccks=684, wck=0.243, mem=47M724 4.45/2.50 decisions=5363, wrong=1425, backtracks=906, failedAssignments=895, nogoods=364, foundSolutions=3, bestBound=7 4.45/2.50 4.45/2.50 num=44, depth=4..60, filters=12256, ccks=684, wck=0.246, mem=47M724 4.45/2.50 decisions=5507, wrong=1474, backtracks=938, failedAssignments=929, nogoods=375, foundSolutions=3, bestBound=7 4.45/2.50 4.45/2.51 num=45, depth=4..116, filters=12504, ccks=684, wck=0.251, mem=47M724 4.45/2.51 decisions=5710, wrong=1529, backtracks=965, failedAssignments=966, nogoods=399, foundSolutions=3, bestBound=7 4.45/2.51 4.45/2.51 num=46, depth=3..128, filters=12715, ccks=684, wck=0.255, mem=47M724 4.45/2.51 decisions=5919, wrong=1579, backtracks=1001, failedAssignments=1007, nogoods=414, foundSolutions=3, bestBound=7 4.45/2.51 4.45/2.52 num=47, depth=4..89, filters=13073, ccks=684, wck=0.259, mem=47M724 4.45/2.52 decisions=6109, wrong=1641, backtracks=1029, failedAssignments=1052, nogoods=436, foundSolutions=3, bestBound=7 4.45/2.52 4.45/2.52 num=48, depth=4..192, filters=13324, ccks=684, wck=0.265, mem=47M724 4.45/2.52 decisions=6394, wrong=1700, backtracks=1062, failedAssignments=1102, nogoods=462, foundSolutions=3, bestBound=7 4.45/2.52 4.45/2.53 num=49, depth=4..63, filters=13740, ccks=684, wck=0.27, mem=47M724 4.45/2.53 decisions=6638, wrong=1796, backtracks=1144, failedAssignments=1157, nogoods=474, foundSolutions=3, bestBound=7 4.45/2.53 4.45/2.53 o 6 4.45/2.54 num=50, depth=15..380, filters=13916, ccks=912, wck=0.276, mem=47M724 4.45/2.54 decisions=6833, wrong=1817, backtracks=1150, failedAssignments=1174, nogoods=487, foundSolutions=4, bestBound=6 4.45/2.54 4.45/2.54 num=51, depth=16..37, filters=14665, ccks=912, wck=0.285, mem=47M724 4.45/2.54 decisions=7090, wrong=1933, backtracks=1258, failedAssignments=1241, nogoods=491, foundSolutions=4, bestBound=6 4.45/2.54 4.45/2.54 num=52, depth=13..23, filters=14787, ccks=912, wck=0.286, mem=47M724 4.45/2.54 decisions=7137, wrong=1949, backtracks=1266, failedAssignments=1252, nogoods=498, foundSolutions=4, bestBound=6 4.45/2.54 4.45/2.55 num=53, depth=5..23, filters=14865, ccks=912, wck=0.288, mem=47M724 4.45/2.55 decisions=7184, wrong=1964, backtracks=1278, failedAssignments=1264, nogoods=501, foundSolutions=4, bestBound=6 4.45/2.55 4.45/2.55 num=54, depth=5..23, filters=14994, ccks=912, wck=0.289, mem=47M724 4.45/2.55 decisions=7229, wrong=1979, backtracks=1288, failedAssignments=1277, nogoods=507, foundSolutions=4, bestBound=6 4.45/2.55 4.45/2.55 num=55, depth=4..22, filters=15165, ccks=912, wck=0.291, mem=47M724 4.45/2.55 decisions=7277, wrong=1996, backtracks=1298, failedAssignments=1291, nogoods=513, foundSolutions=4, bestBound=6 4.45/2.55 4.45/2.55 num=56, depth=6..26, filters=15312, ccks=912, wck=0.293, mem=47M724 4.45/2.55 decisions=7339, wrong=2020, backtracks=1315, failedAssignments=1307, nogoods=518, foundSolutions=4, bestBound=6 4.45/2.55 4.45/2.55 num=57, depth=7..40, filters=15631, ccks=912, wck=0.296, mem=47M724 4.45/2.55 decisions=7435, wrong=2054, backtracks=1340, failedAssignments=1324, nogoods=527, foundSolutions=4, bestBound=6 4.45/2.55 4.45/2.56 num=58, depth=5..25, filters=15971, ccks=912, wck=0.299, mem=47M724 4.45/2.56 decisions=7520, wrong=2088, backtracks=1368, failedAssignments=1343, nogoods=530, foundSolutions=4, bestBound=6 4.45/2.56 4.45/2.56 num=59, depth=5..23, filters=16144, ccks=912, wck=0.301, mem=47M724 4.45/2.56 decisions=7593, wrong=2117, backtracks=1392, failedAssignments=1364, nogoods=537, foundSolutions=4, bestBound=6 4.45/2.56 4.45/2.56 num=60, depth=12..46, filters=16332, ccks=912, wck=0.303, mem=47M724 4.45/2.56 decisions=7696, wrong=2152, backtracks=1414, failedAssignments=1387, nogoods=551, foundSolutions=4, bestBound=6 4.45/2.56 4.45/2.56 num=61, depth=13..54, filters=16478, ccks=912, wck=0.305, mem=47M724 4.45/2.56 decisions=7807, wrong=2186, backtracks=1438, failedAssignments=1412, nogoods=559, foundSolutions=4, bestBound=6 4.45/2.56 4.45/2.56 num=62, depth=11..22, filters=16805, ccks=912, wck=0.307, mem=47M724 4.45/2.56 decisions=7915, wrong=2234, backtracks=1481, failedAssignments=1440, nogoods=562, foundSolutions=4, bestBound=6 4.45/2.56 4.45/2.57 num=63, depth=11..49, filters=17034, ccks=912, wck=0.309, mem=47M724 4.45/2.57 decisions=8046, wrong=2281, backtracks=1521, failedAssignments=1471, nogoods=571, foundSolutions=4, bestBound=6 4.45/2.57 4.45/2.57 num=64, depth=7..32, filters=17428, ccks=912, wck=0.313, mem=47M724 4.45/2.57 decisions=8172, wrong=2331, backtracks=1563, failedAssignments=1505, nogoods=576, foundSolutions=4, bestBound=6 4.45/2.57 4.45/2.58 num=65, depth=9..63, filters=17628, ccks=912, wck=0.315, mem=47M724 4.45/2.58 decisions=8333, wrong=2387, backtracks=1604, failedAssignments=1542, nogoods=591, foundSolutions=4, bestBound=6 4.45/2.58 4.45/2.58 num=66, depth=1..43, filters=18613, ccks=912, wck=0.32, mem=47M724 4.45/2.58 decisions=8513, wrong=2465, backtracks=1665, failedAssignments=1583, nogoods=606, foundSolutions=4, bestBound=6 4.45/2.58 4.45/2.58 num=67, depth=1..24, filters=19177, ccks=912, wck=0.324, mem=47M724 4.45/2.58 decisions=8654, wrong=2528, backtracks=1718, failedAssignments=1628, nogoods=614, foundSolutions=4, bestBound=6 4.45/2.58 4.45/2.58 num=68, depth=1..110, filters=19513, ccks=912, wck=0.327, mem=47M724 4.45/2.58 decisions=8869, wrong=2591, backtracks=1762, failedAssignments=1678, nogoods=633, foundSolutions=4, bestBound=6 4.45/2.58 4.45/2.59 num=69, depth=1..60, filters=20247, ccks=912, wck=0.332, mem=47M724 4.45/2.59 decisions=9141, wrong=2710, backtracks=1864, failedAssignments=1733, nogoods=647, foundSolutions=4, bestBound=6 4.45/2.59 4.45/2.59 num=70, depth=1..26, filters=21020, ccks=912, wck=0.337, mem=47M724 4.45/2.59 decisions=9358, wrong=2812, backtracks=1958, failedAssignments=1794, nogoods=654, foundSolutions=4, bestBound=6 4.45/2.59 4.77/2.61 num=71, depth=2..43, filters=23970, ccks=912, wck=0.35, mem=47M724 4.77/2.61 decisions=9676, wrong=2959, backtracks=2087, failedAssignments=1861, nogoods=665, foundSolutions=4, bestBound=6 4.77/2.61 4.77/2.61 num=72, depth=3..26, filters=25001, ccks=912, wck=0.356, mem=47M724 4.77/2.61 decisions=9994, wrong=3112, backtracks=2224, failedAssignments=1935, nogoods=672, foundSolutions=4, bestBound=6 4.77/2.61 4.77/2.63 num=73, depth=13..61, filters=27733, ccks=912, wck=0.369, mem=47M724 4.77/2.63 decisions=10401, wrong=3296, backtracks=2387, failedAssignments=2016, nogoods=687, foundSolutions=4, bestBound=6 4.77/2.63 4.77/2.63 num=74, depth=4..67, filters=28656, ccks=912, wck=0.375, mem=47M724 4.77/2.63 decisions=10853, wrong=3502, backtracks=2566, failedAssignments=2105, nogoods=712, foundSolutions=4, bestBound=6 4.77/2.63 4.77/2.64 num=75, depth=12..23, filters=29629, ccks=912, wck=0.381, mem=47M724 4.77/2.64 decisions=11195, wrong=3667, backtracks=2724, failedAssignments=2203, nogoods=714, foundSolutions=4, bestBound=6 4.77/2.64 4.77/2.64 num=76, depth=10..146, filters=30363, ccks=912, wck=0.387, mem=47M724 4.77/2.64 decisions=11649, wrong=3840, backtracks=2867, failedAssignments=2311, nogoods=741, foundSolutions=4, bestBound=6 4.77/2.64 4.77/2.65 num=77, depth=10..56, filters=31354, ccks=912, wck=0.394, mem=47M724 4.77/2.65 decisions=12126, wrong=4059, backtracks=3064, failedAssignments=2430, nogoods=754, foundSolutions=4, bestBound=6 4.77/2.65 4.77/2.66 num=78, depth=12..40, filters=33207, ccks=912, wck=0.404, mem=47M724 4.77/2.66 decisions=12608, wrong=4288, backtracks=3278, failedAssignments=2561, nogoods=769, foundSolutions=4, bestBound=6 4.77/2.66 4.77/2.67 num=79, depth=2..64, filters=34700, ccks=912, wck=0.413, mem=47M724 4.77/2.67 decisions=13187, wrong=4555, backtracks=3513, failedAssignments=2705, nogoods=791, foundSolutions=4, bestBound=6 4.77/2.67 4.77/2.68 num=80, depth=2..120, filters=35338, ccks=912, wck=0.418, mem=47M724 4.77/2.68 decisions=13693, wrong=4762, backtracks=3688, failedAssignments=2863, nogoods=819, foundSolutions=4, bestBound=6 4.77/2.68 4.77/2.69 num=81, depth=3..45, filters=36912, ccks=912, wck=0.427, mem=50M367 4.77/2.69 decisions=14444, wrong=5122, backtracks=4032, failedAssignments=3037, nogoods=833, foundSolutions=4, bestBound=6 4.77/2.69 4.77/2.70 num=82, depth=8..40, filters=38723, ccks=912, wck=0.439, mem=50M367 4.77/2.70 decisions=15031, wrong=5403, backtracks=4288, failedAssignments=3228, nogoods=841, foundSolutions=4, bestBound=6 4.77/2.70 4.98/2.71 num=83, depth=7..93, filters=40279, ccks=912, wck=0.449, mem=50M367 4.98/2.71 decisions=15880, wrong=5795, backtracks=4652, failedAssignments=3439, nogoods=865, foundSolutions=4, bestBound=6 4.98/2.71 4.98/2.72 num=84, depth=6..42, filters=43437, ccks=912, wck=0.464, mem=50M367 4.98/2.72 decisions=16763, wrong=6223, backtracks=5040, failedAssignments=3671, nogoods=877, foundSolutions=4, bestBound=6 4.98/2.72 4.98/2.74 num=85, depth=8..47, filters=47325, ccks=912, wck=0.485, mem=50M367 4.98/2.74 decisions=17839, wrong=6744, backtracks=5533, failedAssignments=3926, nogoods=895, foundSolutions=4, bestBound=6 4.98/2.74 4.98/2.76 num=86, depth=17..44, filters=50143, ccks=912, wck=0.5, mem=50M367 4.98/2.76 decisions=18783, wrong=7204, backtracks=5914, failedAssignments=4207, nogoods=905, foundSolutions=4, bestBound=6 4.98/2.76 4.98/2.77 num=87, depth=1..39, filters=53264, ccks=912, wck=0.516, mem=50M367 4.98/2.77 decisions=19875, wrong=7740, backtracks=6427, failedAssignments=4516, nogoods=915, foundSolutions=4, bestBound=6 4.98/2.77 4.98/2.79 num=88, depth=8..28, filters=56451, ccks=912, wck=0.532, mem=50M367 4.98/2.79 decisions=21086, wrong=8338, backtracks=7005, failedAssignments=4856, nogoods=922, foundSolutions=4, bestBound=6 4.98/2.79 5.09/2.80 num=89, depth=8..142, filters=58005, ccks=912, wck=0.543, mem=50M367 5.09/2.80 decisions=22229, wrong=8864, backtracks=7491, failedAssignments=5230, nogoods=955, foundSolutions=4, bestBound=6 5.09/2.80 5.09/2.81 num=90, depth=2..96, filters=60535, ccks=912, wck=0.557, mem=50M367 5.09/2.81 decisions=23880, wrong=9656, backtracks=8187, failedAssignments=5641, nogoods=988, foundSolutions=4, bestBound=6 5.09/2.81 5.09/2.83 num=91, depth=1..145, filters=63885, ccks=912, wck=0.576, mem=50M367 5.09/2.83 decisions=25776, wrong=10557, backtracks=9016, failedAssignments=6093, nogoods=1031, foundSolutions=4, bestBound=6 5.09/2.83 5.09/2.87 num=92, depth=1..75, filters=69459, ccks=912, wck=0.608, mem=50M367 5.09/2.87 decisions=28352, wrong=11830, backtracks=10255, failedAssignments=6590, nogoods=1041, foundSolutions=4, bestBound=6 5.09/2.87 5.09/2.89 num=93, depth=10..98, filters=73594, ccks=912, wck=0.631, mem=50M367 5.09/2.89 decisions=30514, wrong=12877, backtracks=11239, failedAssignments=7137, nogoods=1070, foundSolutions=4, bestBound=6 5.09/2.89 5.19/2.91 num=94, depth=1..52, filters=78486, ccks=912, wck=0.657, mem=50M367 5.19/2.91 decisions=32937, wrong=14076, backtracks=12411, failedAssignments=7739, nogoods=1080, foundSolutions=4, bestBound=6 5.19/2.91 5.19/2.95 num=95, depth=5..178, filters=85517, ccks=912, wck=0.696, mem=50M367 5.19/2.95 decisions=35679, wrong=15378, backtracks=13605, failedAssignments=8401, nogoods=1124, foundSolutions=4, bestBound=6 5.19/2.95 5.19/2.98 num=96, depth=4..76, filters=91125, ccks=912, wck=0.725, mem=53M9 5.19/2.98 decisions=38835, wrong=16931, backtracks=15110, failedAssignments=9129, nogoods=1150, foundSolutions=4, bestBound=6 5.19/2.98 5.30/3.02 num=97, depth=2..36, filters=97150, ccks=912, wck=0.758, mem=53M9 5.30/3.02 decisions=42084, wrong=18547, backtracks=16666, failedAssignments=9930, nogoods=1156, foundSolutions=4, bestBound=6 5.30/3.02 5.30/3.08 num=98, depth=8..37, filters=108377, ccks=912, wck=0.822, mem=53M9 5.30/3.08 decisions=45312, wrong=20150, backtracks=18165, failedAssignments=10811, nogoods=1164, foundSolutions=4, bestBound=6 5.30/3.08 5.40/3.15 num=99, depth=11..123, filters=122813, ccks=912, wck=0.895, mem=53M9 5.40/3.15 decisions=50390, wrong=22647, backtracks=20498, failedAssignments=11781, nogoods=1189, foundSolutions=4, bestBound=6 5.40/3.15 5.60/3.30 num=100, depth=18..65, filters=161679, ccks=912, wck=1.042, mem=53M9 5.60/3.30 decisions=55617, wrong=25241, backtracks=22956, failedAssignments=12848, nogoods=1209, foundSolutions=4, bestBound=6 5.60/3.30 5.60/3.36 num=101, depth=12..37, filters=173915, ccks=912, wck=1.107, mem=53M9 5.60/3.36 decisions=60140, wrong=27493, backtracks=25010, failedAssignments=14021, nogoods=1224, foundSolutions=4, bestBound=6 5.60/3.36 5.70/3.43 num=102, depth=15..47, filters=187264, ccks=912, wck=1.173, mem=55M652 5.70/3.43 decisions=64325, wrong=29575, backtracks=26966, failedAssignments=15312, nogoods=1235, foundSolutions=4, bestBound=6 5.70/3.43 5.80/3.50 num=103, depth=6..37, filters=200565, ccks=912, wck=1.24, mem=55M652 5.80/3.50 decisions=69474, wrong=32142, backtracks=29395, failedAssignments=16732, nogoods=1245, foundSolutions=4, bestBound=6 5.80/3.50 5.80/3.58 num=104, depth=3..120, filters=213847, ccks=912, wck=1.322, mem=55M652 5.80/3.58 decisions=76823, wrong=35777, backtracks=32904, failedAssignments=18294, nogoods=1274, foundSolutions=4, bestBound=6 5.80/3.58 5.90/3.67 num=105, depth=6..49, filters=229685, ccks=912, wck=1.408, mem=55M652 5.90/3.67 decisions=83586, wrong=39150, backtracks=35759, failedAssignments=20012, nogoods=1286, foundSolutions=4, bestBound=6 5.90/3.67 6.10/3.82 num=106, depth=11..71, filters=263158, ccks=912, wck=1.56, mem=58M294 6.10/3.82 decisions=92466, wrong=43570, backtracks=39983, failedAssignments=21902, nogoods=1307, foundSolutions=4, bestBound=6 6.10/3.82 6.20/3.96 num=107, depth=7..38, filters=289605, ccks=912, wck=1.698, mem=58M294 6.20/3.96 decisions=99789, wrong=47223, backtracks=43502, failedAssignments=23981, nogoods=1318, foundSolutions=4, bestBound=6 6.20/3.96 6.31/4.07 num=108, depth=5..42, filters=314587, ccks=912, wck=1.817, mem=60M936 6.31/4.07 decisions=108377, wrong=51505, backtracks=47649, failedAssignments=26268, nogoods=1331, foundSolutions=4, bestBound=6 6.31/4.07 6.42/4.19 num=109, depth=2..152, filters=332483, ccks=912, wck=1.928, mem=60M936 6.42/4.19 decisions=119201, wrong=56860, backtracks=52734, failedAssignments=28784, nogoods=1365, foundSolutions=4, bestBound=6 6.42/4.19 6.53/4.28 num=110, depth=5..73, filters=349624, ccks=912, wck=2.023, mem=60M936 6.53/4.28 decisions=131661, wrong=63068, backtracks=58785, failedAssignments=31552, nogoods=1387, foundSolutions=4, bestBound=6 6.53/4.28 6.73/4.40 num=111, depth=7..144, filters=370815, ccks=912, wck=2.143, mem=60M936 6.73/4.40 decisions=144183, wrong=69283, backtracks=64797, failedAssignments=34596, nogoods=1435, foundSolutions=4, bestBound=6 6.73/4.40 6.83/4.56 num=112, depth=9..130, filters=400597, ccks=912, wck=2.301, mem=63M579 6.83/4.56 decisions=158902, wrong=76605, backtracks=71731, failedAssignments=37945, nogoods=1473, foundSolutions=4, bestBound=6 6.83/4.56 7.03/4.71 num=113, depth=5..130, filters=429242, ccks=912, wck=2.456, mem=63M579 7.03/4.71 decisions=176808, wrong=85521, backtracks=80382, failedAssignments=41629, nogoods=1515, foundSolutions=4, bestBound=6 7.03/4.71 7.13/4.87 num=114, depth=1..86, filters=458963, ccks=912, wck=2.616, mem=66M221 7.13/4.87 decisions=193461, wrong=93821, backtracks=88436, failedAssignments=45681, nogoods=1544, foundSolutions=4, bestBound=6 7.13/4.87 7.13/4.89 o 5 7.13/4.89 num=115, depth=11..380, filters=461342, ccks=1140, wck=2.635, mem=66M221 7.13/4.89 decisions=195076, wrong=94557, backtracks=89089, failedAssignments=46079, nogoods=1581, foundSolutions=5, bestBound=5 7.13/4.89 7.38/5.08 num=116, depth=11..94, filters=491535, ccks=1140, wck=2.825, mem=66M221 7.38/5.08 decisions=215048, wrong=104513, backtracks=98845, failedAssignments=50982, nogoods=1612, foundSolutions=5, bestBound=5 7.38/5.08 7.38/5.08 num=117, depth=1..40, filters=491642, ccks=1140, wck=2.827, mem=68M864 7.38/5.08 decisions=215100, wrong=104524, backtracks=98845, failedAssignments=50993, nogoods=1623, foundSolutions=5, bestBound=5 7.38/5.08 7.38/5.09 num=118, depth=1..39, filters=491778, ccks=1140, wck=2.828, mem=68M864 7.38/5.09 decisions=215157, wrong=104539, backtracks=98849, failedAssignments=51005, nogoods=1632, foundSolutions=5, bestBound=5 7.38/5.09 7.38/5.09 num=119, depth=1..39, filters=491911, ccks=1140, wck=2.829, mem=68M864 7.38/5.09 decisions=215221, wrong=104556, backtracks=98856, failedAssignments=51018, nogoods=1642, foundSolutions=5, bestBound=5 7.38/5.09 7.38/5.09 num=120, depth=1..40, filters=492035, ccks=1140, wck=2.83, mem=68M864 7.38/5.09 decisions=215280, wrong=104571, backtracks=98860, failedAssignments=51032, nogoods=1653, foundSolutions=5, bestBound=5 7.38/5.09 7.38/5.09 num=121, depth=1..40, filters=492178, ccks=1140, wck=2.831, mem=68M864 7.38/5.09 decisions=215350, wrong=104594, backtracks=98868, failedAssignments=51048, nogoods=1662, foundSolutions=5, bestBound=5 7.38/5.09 7.38/5.09 num=122, depth=1..38, filters=492306, ccks=1140, wck=2.833, mem=68M864 7.38/5.09 decisions=215425, wrong=104620, backtracks=98881, failedAssignments=51065, nogoods=1668, foundSolutions=5, bestBound=5 7.38/5.09 7.38/5.09 num=123, depth=1..42, filters=492469, ccks=1140, wck=2.834, mem=68M864 7.38/5.09 decisions=215502, wrong=104647, backtracks=98891, failedAssignments=51084, nogoods=1678, foundSolutions=5, bestBound=5 7.38/5.09 7.38/5.09 num=124, depth=20..37, filters=492675, ccks=1140, wck=2.835, mem=68M864 7.38/5.09 decisions=215602, wrong=104682, backtracks=98913, failedAssignments=51105, nogoods=1683, foundSolutions=5, bestBound=5 7.38/5.09 7.38/5.09 num=125, depth=1..41, filters=492864, ccks=1140, wck=2.837, mem=68M864 7.38/5.09 decisions=215692, wrong=104712, backtracks=98932, failedAssignments=51128, nogoods=1694, foundSolutions=5, bestBound=5 7.38/5.09 7.38/5.10 num=126, depth=20..39, filters=493223, ccks=1140, wck=2.839, mem=68M864 7.38/5.10 decisions=215825, wrong=104763, backtracks=98971, failedAssignments=51153, nogoods=1700, foundSolutions=5, bestBound=5 7.38/5.10 7.38/5.10 num=127, depth=19..38, filters=493548, ccks=1140, wck=2.841, mem=68M864 7.38/5.10 decisions=215974, wrong=104824, backtracks=99011, failedAssignments=51181, nogoods=1705, foundSolutions=5, bestBound=5 7.38/5.10 7.38/5.10 num=128, depth=1..44, filters=493911, ccks=1140, wck=2.844, mem=68M864 7.38/5.10 decisions=216101, wrong=104872, backtracks=99040, failedAssignments=51212, nogoods=1717, foundSolutions=5, bestBound=5 7.38/5.10 7.38/5.10 num=129, depth=1..48, filters=494323, ccks=1140, wck=2.846, mem=68M864 7.38/5.10 decisions=216255, wrong=104933, backtracks=99087, failedAssignments=51246, nogoods=1729, foundSolutions=5, bestBound=5 7.38/5.10 7.50/5.11 num=130, depth=5..42, filters=494768, ccks=1140, wck=2.849, mem=68M864 7.50/5.11 decisions=216443, wrong=105012, backtracks=99150, failedAssignments=51283, nogoods=1736, foundSolutions=5, bestBound=5 7.50/5.11 7.50/5.11 num=131, depth=1..48, filters=495213, ccks=1140, wck=2.852, mem=68M864 7.50/5.11 decisions=216623, wrong=105086, backtracks=99209, failedAssignments=51324, nogoods=1747, foundSolutions=5, bestBound=5 7.50/5.11 7.50/5.11 num=132, depth=1..50, filters=495630, ccks=1140, wck=2.854, mem=68M864 7.50/5.11 decisions=216812, wrong=105163, backtracks=99272, failedAssignments=51369, nogoods=1759, foundSolutions=5, bestBound=5 7.50/5.11 7.50/5.11 num=133, depth=1..42, filters=495970, ccks=1140, wck=2.857, mem=68M864 7.50/5.11 decisions=217027, wrong=105255, backtracks=99327, failedAssignments=51419, nogoods=1769, foundSolutions=5, bestBound=5 7.50/5.11 7.50/5.12 num=134, depth=5..45, filters=496504, ccks=1140, wck=2.86, mem=68M864 7.50/5.12 decisions=217295, wrong=105374, backtracks=99430, failedAssignments=51474, nogoods=1777, foundSolutions=5, bestBound=5 7.50/5.12 7.50/5.12 num=135, depth=26..39, filters=497042, ccks=1140, wck=2.863, mem=68M864 7.50/5.12 decisions=217550, wrong=105487, backtracks=99516, failedAssignments=51535, nogoods=1779, foundSolutions=5, bestBound=5 7.50/5.12 7.50/5.12 num=136, depth=5..43, filters=497474, ccks=1140, wck=2.866, mem=68M864 7.50/5.12 decisions=217804, wrong=105599, backtracks=99611, failedAssignments=51602, nogoods=1787, foundSolutions=5, bestBound=5 7.50/5.12 7.50/5.13 num=137, depth=21..38, filters=497889, ccks=1140, wck=2.868, mem=68M864 7.50/5.13 decisions=218092, wrong=105728, backtracks=99726, failedAssignments=51676, nogoods=1792, foundSolutions=5, bestBound=5 7.50/5.13 7.50/5.13 num=138, depth=20..42, filters=498664, ccks=1140, wck=2.873, mem=68M864 7.50/5.13 decisions=218423, wrong=105879, backtracks=99862, failedAssignments=51757, nogoods=1796, foundSolutions=5, bestBound=5 7.50/5.13 7.50/5.13 num=139, depth=22..39, filters=499312, ccks=1140, wck=2.877, mem=68M864 7.50/5.13 decisions=218805, wrong=106055, backtracks=100009, failedAssignments=51846, nogoods=1799, foundSolutions=5, bestBound=5 7.50/5.13 7.50/5.14 num=140, depth=27..44, filters=500162, ccks=1140, wck=2.881, mem=68M864 7.50/5.14 decisions=219190, wrong=106232, backtracks=100171, failedAssignments=51944, nogoods=1805, foundSolutions=5, bestBound=5 7.50/5.14 7.50/5.14 num=141, depth=1..44, filters=500902, ccks=1140, wck=2.886, mem=68M864 7.50/5.14 decisions=219575, wrong=106410, backtracks=100325, failedAssignments=52052, nogoods=1816, foundSolutions=5, bestBound=5 7.50/5.14 7.50/5.15 num=142, depth=1..49, filters=501941, ccks=1140, wck=2.891, mem=68M864 7.50/5.15 decisions=220039, wrong=106628, backtracks=100528, failedAssignments=52171, nogoods=1825, foundSolutions=5, bestBound=5 7.50/5.15 7.50/5.15 num=143, depth=26..43, filters=503110, ccks=1140, wck=2.897, mem=68M864 7.50/5.15 decisions=220561, wrong=106874, backtracks=100750, failedAssignments=52302, nogoods=1832, foundSolutions=5, bestBound=5 7.50/5.15 7.50/5.16 num=144, depth=1..70, filters=504115, ccks=1140, wck=2.904, mem=68M864 7.50/5.16 decisions=221027, wrong=107083, backtracks=100922, failedAssignments=52446, nogoods=1853, foundSolutions=5, bestBound=5 7.50/5.16 7.50/5.17 num=145, depth=1..52, filters=505182, ccks=1140, wck=2.91, mem=68M864 7.50/5.17 decisions=221566, wrong=107335, backtracks=101162, failedAssignments=52604, nogoods=1865, foundSolutions=5, bestBound=5 7.50/5.17 7.50/5.17 num=146, depth=4..46, filters=506531, ccks=1140, wck=2.917, mem=68M864 7.50/5.17 decisions=222215, wrong=107643, backtracks=101442, failedAssignments=52778, nogoods=1878, foundSolutions=5, bestBound=5 7.50/5.17 7.50/5.18 num=147, depth=1..51, filters=508066, ccks=1140, wck=2.925, mem=68M864 7.50/5.18 decisions=222899, wrong=107968, backtracks=101732, failedAssignments=52969, nogoods=1891, foundSolutions=5, bestBound=5 7.50/5.18 7.50/5.19 num=148, depth=1..39, filters=510351, ccks=1140, wck=2.936, mem=68M864 7.50/5.19 decisions=223673, wrong=108344, backtracks=102073, failedAssignments=53180, nogoods=1900, foundSolutions=5, bestBound=5 7.50/5.19 7.60/5.21 num=149, depth=1..77, filters=512542, ccks=1140, wck=2.948, mem=68M864 7.60/5.21 decisions=224674, wrong=108821, backtracks=102510, failedAssignments=53412, nogoods=1926, foundSolutions=5, bestBound=5 7.60/5.21 7.60/5.22 num=150, depth=1..49, filters=514609, ccks=1140, wck=2.959, mem=68M864 7.60/5.22 decisions=225659, wrong=109297, backtracks=102962, failedAssignments=53667, nogoods=1942, foundSolutions=5, bestBound=5 7.60/5.22 7.60/5.23 num=151, depth=9..71, filters=517576, ccks=1140, wck=2.974, mem=68M864 7.60/5.23 decisions=226984, wrong=109934, backtracks=103552, failedAssignments=53948, nogoods=1954, foundSolutions=5, bestBound=5 7.60/5.23 7.60/5.24 num=152, depth=1..77, filters=519715, ccks=1140, wck=2.986, mem=68M864 7.60/5.24 decisions=228203, wrong=110518, backtracks=104110, failedAssignments=54257, nogoods=1974, foundSolutions=5, bestBound=5 7.60/5.24 7.60/5.26 num=153, depth=1..82, filters=521615, ccks=1140, wck=2.998, mem=68M864 7.60/5.26 decisions=229547, wrong=111164, backtracks=104729, failedAssignments=54597, nogoods=1998, foundSolutions=5, bestBound=5 7.60/5.26 7.60/5.27 num=154, depth=1..77, filters=524359, ccks=1140, wck=3.013, mem=68M864 7.60/5.27 decisions=231008, wrong=111868, backtracks=105396, failedAssignments=54971, nogoods=2018, foundSolutions=5, bestBound=5 7.60/5.27 7.60/5.28 num=155, depth=1..65, filters=526640, ccks=1140, wck=3.027, mem=68M864 7.60/5.28 decisions=232674, wrong=112679, backtracks=106188, failedAssignments=55382, nogoods=2034, foundSolutions=5, bestBound=5 7.60/5.28 7.72/5.30 num=156, depth=1..51, filters=529861, ccks=1140, wck=3.046, mem=68M864 7.72/5.30 decisions=234643, wrong=113650, backtracks=107135, failedAssignments=55834, nogoods=2053, foundSolutions=5, bestBound=5 7.72/5.30 7.72/5.33 num=157, depth=1..55, filters=533716, ccks=1140, wck=3.069, mem=68M864 7.72/5.33 decisions=236836, wrong=114733, backtracks=108182, failedAssignments=56331, nogoods=2072, foundSolutions=5, bestBound=5 7.72/5.33 7.72/5.35 num=158, depth=1..63, filters=537335, ccks=1140, wck=3.09, mem=68M864 7.72/5.35 decisions=239283, wrong=115938, backtracks=109330, failedAssignments=56878, nogoods=2088, foundSolutions=5, bestBound=5 7.72/5.35 7.72/5.37 num=159, depth=1..83, filters=541707, ccks=1140, wck=3.115, mem=71M506 7.72/5.37 decisions=241962, wrong=117255, backtracks=110547, failedAssignments=57480, nogoods=2120, foundSolutions=5, bestBound=5 7.72/5.37 7.72/5.40 num=160, depth=1..74, filters=546282, ccks=1140, wck=3.139, mem=71M506 7.72/5.40 decisions=244745, wrong=118625, backtracks=111850, failedAssignments=58142, nogoods=2144, foundSolutions=5, bestBound=5 7.72/5.40 7.84/5.43 num=161, depth=1..74, filters=551534, ccks=1140, wck=3.168, mem=71M506 7.84/5.43 decisions=247689, wrong=120077, backtracks=113242, failedAssignments=58870, nogoods=2170, foundSolutions=5, bestBound=5 7.84/5.43 7.84/5.46 num=162, depth=1..47, filters=557635, ccks=1140, wck=3.2, mem=71M506 7.84/5.46 decisions=251146, wrong=121794, backtracks=114882, failedAssignments=59671, nogoods=2182, foundSolutions=5, bestBound=5 7.84/5.46 7.84/5.49 num=163, depth=1..50, filters=562884, ccks=1140, wck=3.228, mem=71M506 7.84/5.49 decisions=254318, wrong=123368, backtracks=116340, failedAssignments=60552, nogoods=2199, foundSolutions=5, bestBound=5 7.84/5.49 7.99/5.54 num=164, depth=1..118, filters=572551, ccks=1140, wck=3.282, mem=71M506 7.99/5.54 decisions=259337, wrong=125844, backtracks=118739, failedAssignments=61522, nogoods=2231, foundSolutions=5, bestBound=5 7.99/5.54 7.99/5.59 num=165, depth=1..101, filters=580788, ccks=1140, wck=3.33, mem=71M506 7.99/5.59 decisions=264250, wrong=128267, backtracks=121046, failedAssignments=62589, nogoods=2259, foundSolutions=5, bestBound=5 7.99/5.59 8.09/5.64 num=166, depth=1..83, filters=589627, ccks=1140, wck=3.378, mem=71M506 8.09/5.64 decisions=269393, wrong=130816, backtracks=123397, failedAssignments=63762, nogoods=2283, foundSolutions=5, bestBound=5 8.09/5.64 8.21/5.70 num=167, depth=4..134, filters=601463, ccks=1140, wck=3.445, mem=71M506 8.21/5.70 decisions=276361, wrong=134257, backtracks=126726, failedAssignments=65053, nogoods=2320, foundSolutions=5, bestBound=5 8.21/5.70 8.21/5.78 num=168, depth=1..89, filters=615256, ccks=1140, wck=3.526, mem=74M149 8.21/5.78 decisions=283074, wrong=137584, backtracks=129850, failedAssignments=66473, nogoods=2349, foundSolutions=5, bestBound=5 8.21/5.78 8.38/5.85 num=169, depth=1..103, filters=627573, ccks=1140, wck=3.597, mem=74M149 8.38/5.85 decisions=290272, wrong=141152, backtracks=133289, failedAssignments=68035, nogoods=2387, foundSolutions=5, bestBound=5 8.38/5.85 8.48/5.92 num=170, depth=1..56, filters=639105, ccks=1140, wck=3.66, mem=74M149 8.48/5.92 decisions=297944, wrong=144972, backtracks=137033, failedAssignments=69753, nogoods=2404, foundSolutions=5, bestBound=5 8.48/5.92 8.59/6.01 num=171, depth=4..53, filters=656453, ccks=1140, wck=3.749, mem=74M149 8.59/6.01 decisions=305434, wrong=148707, backtracks=140670, failedAssignments=71643, nogoods=2420, foundSolutions=5, bestBound=5 8.59/6.01 8.59/6.09 num=172, depth=1..65, filters=672098, ccks=1140, wck=3.833, mem=74M149 8.59/6.09 decisions=313174, wrong=152557, backtracks=143950, failedAssignments=73722, nogoods=2443, foundSolutions=5, bestBound=5 8.59/6.09 8.69/6.19 num=173, depth=6..73, filters=690110, ccks=1140, wck=3.931, mem=74M149 8.69/6.19 decisions=322380, wrong=157136, backtracks=148155, failedAssignments=76009, nogoods=2469, foundSolutions=5, bestBound=5 8.69/6.19 8.88/6.30 num=174, depth=3..78, filters=710637, ccks=1140, wck=4.04, mem=76M791 8.88/6.30 decisions=332813, wrong=162332, backtracks=152623, failedAssignments=78525, nogoods=2491, foundSolutions=5, bestBound=5 8.88/6.30 8.98/6.42 num=175, depth=3..38, filters=735807, ccks=1140, wck=4.163, mem=76M791 8.98/6.42 decisions=344591, wrong=168210, backtracks=158137, failedAssignments=81293, nogoods=2502, foundSolutions=5, bestBound=5 8.98/6.42 9.18/6.61 num=176, depth=6..71, filters=768735, ccks=1140, wck=4.35, mem=76M791 9.18/6.61 decisions=357617, wrong=174702, backtracks=164008, failedAssignments=84337, nogoods=2517, foundSolutions=5, bestBound=5 9.18/6.61 9.28/6.70 num=177, depth=15..79, filters=784725, ccks=1140, wck=4.443, mem=79M433 9.28/6.70 decisions=368994, wrong=180363, backtracks=169386, failedAssignments=87686, nogoods=2534, foundSolutions=5, bestBound=5 9.28/6.70 9.38/6.86 num=178, depth=7..112, filters=811896, ccks=1140, wck=4.598, mem=79M433 9.38/6.86 decisions=387102, wrong=189386, backtracks=178138, failedAssignments=91370, nogoods=2571, foundSolutions=5, bestBound=5 9.38/6.86 9.69/7.11 num=179, depth=2..68, filters=858107, ccks=1140, wck=4.857, mem=79M433 9.69/7.11 decisions=408086, wrong=199858, backtracks=188225, failedAssignments=95422, nogoods=2590, foundSolutions=5, bestBound=5 9.69/7.11 9.88/7.36 num=180, depth=6..54, filters=899648, ccks=1140, wck=5.099, mem=82M76 9.88/7.36 decisions=428896, wrong=210245, backtracks=198435, failedAssignments=99879, nogoods=2605, foundSolutions=5, bestBound=5 9.88/7.36 10.08/7.55 num=181, depth=3..55, filters=936316, ccks=1140, wck=5.296, mem=82M76 10.08/7.55 decisions=450331, wrong=220948, backtracks=208713, failedAssignments=104782, nogoods=2622, foundSolutions=5, bestBound=5 10.08/7.55 10.28/7.75 num=182, depth=6..124, filters=968942, ccks=1140, wck=5.489, mem=84M718 10.28/7.75 decisions=474440, wrong=232967, backtracks=220445, failedAssignments=110176, nogoods=2651, foundSolutions=5, bestBound=5 10.28/7.75 10.48/7.95 num=183, depth=5..87, filters=1005198, ccks=1140, wck=5.692, mem=84M718 10.48/7.95 decisions=501814, wrong=246627, backtracks=233881, failedAssignments=116109, nogoods=2677, foundSolutions=5, bestBound=5 10.48/7.95 10.69/8.19 num=184, depth=5..78, filters=1047632, ccks=1140, wck=5.937, mem=87M361 10.69/8.19 decisions=531713, wrong=261555, backtracks=248479, failedAssignments=122635, nogoods=2699, foundSolutions=5, bestBound=5 10.69/8.19 10.98/8.43 num=185, depth=6..77, filters=1092157, ccks=1140, wck=6.174, mem=90M3 10.98/8.43 decisions=560269, wrong=275820, backtracks=262283, failedAssignments=129814, nogoods=2715, foundSolutions=5, bestBound=5 10.98/8.43 11.29/8.77 num=186, depth=3..81, filters=1153413, ccks=1140, wck=6.513, mem=90M3 11.29/8.77 decisions=595159, wrong=293243, backtracks=278761, failedAssignments=137711, nogoods=2732, foundSolutions=5, bestBound=5 11.29/8.77 11.60/9.09 num=187, depth=5..72, filters=1214811, ccks=1140, wck=6.837, mem=92M646 11.60/9.09 decisions=631278, wrong=311293, backtracks=295311, failedAssignments=146398, nogoods=2742, foundSolutions=5, bestBound=5 11.60/9.09 11.99/9.45 num=188, depth=6..92, filters=1281688, ccks=1140, wck=7.192, mem=95M288 11.99/9.45 decisions=669926, wrong=330605, backtracks=313886, failedAssignments=155953, nogoods=2760, foundSolutions=5, bestBound=5 11.99/9.45 12.39/9.83 num=189, depth=9..100, filters=1350396, ccks=1140, wck=7.575, mem=97M931 12.39/9.83 decisions=709127, wrong=350175, backtracks=331099, failedAssignments=166464, nogoods=2799, foundSolutions=5, bestBound=5 12.39/9.83 12.79/10.28 num=190, depth=11..47, filters=1433785, ccks=1140, wck=8.02, mem=100M573 12.79/10.28 decisions=748568, wrong=369883, backtracks=348087, failedAssignments=178026, nogoods=2812, foundSolutions=5, bestBound=5 12.79/10.28 13.40/10.80 num=191, depth=5..85, filters=1524100, ccks=1140, wck=8.545, mem=103M215 13.40/10.80 decisions=798090, wrong=394619, backtracks=370765, failedAssignments=190744, nogoods=2838, foundSolutions=5, bestBound=5 13.40/10.80 14.20/11.68 num=192, depth=8..83, filters=1692989, ccks=1140, wck=9.423, mem=108M500 14.20/11.68 decisions=858372, wrong=424736, backtracks=400060, failedAssignments=204734, nogoods=2870, foundSolutions=5, bestBound=5 14.20/11.68 15.00/12.44 num=193, depth=7..68, filters=1838724, ccks=1140, wck=10.179, mem=111M143 15.00/12.44 decisions=925340, wrong=458201, backtracks=431638, failedAssignments=220123, nogoods=2896, foundSolutions=5, bestBound=5 15.00/12.44 15.61/13.07 num=194, depth=9..89, filters=1947615, ccks=1140, wck=10.813, mem=116M428 15.61/13.07 decisions=996124, wrong=493576, backtracks=464082, failedAssignments=237051, nogoods=2920, foundSolutions=5, bestBound=5 15.61/13.07 16.30/13.71 num=195, depth=3..73, filters=2066007, ccks=1140, wck=11.453, mem=119M70 16.30/13.71 decisions=1069574, wrong=530284, backtracks=499829, failedAssignments=255672, nogoods=2943, foundSolutions=5, bestBound=5 16.30/13.71 16.90/14.34 num=196, depth=14..56, filters=2182226, ccks=1140, wck=12.085, mem=124M355 16.90/14.34 decisions=1146364, wrong=568664, backtracks=536208, failedAssignments=276156, nogoods=2958, foundSolutions=5, bestBound=5 16.90/14.34 18.00/15.46 num=197, depth=8..91, filters=2381869, ccks=1140, wck=13.201, mem=129M640 18.00/15.46 decisions=1238906, wrong=614907, backtracks=578087, failedAssignments=298688, nogoods=2989, foundSolutions=5, bestBound=5 18.00/15.46 19.20/16.61 num=198, depth=6..82, filters=2585822, ccks=1140, wck=14.351, mem=137M567 19.20/16.61 decisions=1333314, wrong=662086, backtracks=617625, failedAssignments=323473, nogoods=3006, foundSolutions=5, bestBound=5 19.20/16.61 20.61/18.06 num=199, depth=7..87, filters=2871398, ccks=1140, wck=15.805, mem=142M778 20.61/18.06 decisions=1453120, wrong=721965, backtracks=674386, failedAssignments=350737, nogoods=3035, foundSolutions=5, bestBound=5 20.61/18.06 21.84/19.27 num=200, depth=3..82, filters=3097012, ccks=1140, wck=17.014, mem=29M495 21.84/19.27 decisions=1583415, wrong=787095, backtracks=736589, failedAssignments=380727, nogoods=3055, foundSolutions=5, bestBound=5 21.84/19.27 22.84/20.29 num=201, depth=7..42, filters=3290583, ccks=1140, wck=18.029, mem=37M343 22.84/20.29 decisions=1720236, wrong=855496, backtracks=802726, failedAssignments=413716, nogoods=3058, foundSolutions=5, bestBound=5 22.84/20.29 24.14/21.56 num=202, depth=7..43, filters=3522840, ccks=1140, wck=19.307, mem=45M191 24.14/21.56 decisions=1871181, wrong=930960, backtracks=875553, failedAssignments=450004, nogoods=3068, foundSolutions=5, bestBound=5 24.14/21.56 25.75/23.17 num=203, depth=10..47, filters=3818097, ccks=1140, wck=20.917, mem=55M655 25.75/23.17 decisions=2017257, wrong=1003991, backtracks=944092, failedAssignments=489921, nogoods=3076, foundSolutions=5, bestBound=5 25.75/23.17 27.44/24.83 num=204, depth=3..63, filters=4126900, ccks=1140, wck=22.573, mem=66M119 27.44/24.83 decisions=2208801, wrong=1099749, backtracks=1036521, failedAssignments=533830, nogoods=3090, foundSolutions=5, bestBound=5 27.44/24.83 28.94/26.34 num=205, depth=5..62, filters=4406518, ccks=1140, wck=24.082, mem=76M583 28.94/26.34 decisions=2405574, wrong=1198120, backtracks=1131610, failedAssignments=582130, nogoods=3113, foundSolutions=5, bestBound=5 28.94/26.34 30.84/28.25 num=206, depth=7..45, filters=4765196, ccks=1140, wck=25.991, mem=89M663 30.84/28.25 decisions=2641903, wrong=1316277, backtracks=1247011, failedAssignments=635260, nogoods=3127, foundSolutions=5, bestBound=5 30.84/28.25 33.04/30.47 num=207, depth=13..63, filters=5208593, ccks=1140, wck=28.212, mem=105M359 33.04/30.47 decisions=2871582, wrong=1431100, backtracks=1347702, failedAssignments=693703, nogoods=3139, foundSolutions=5, bestBound=5 33.04/30.47 35.15/32.56 num=208, depth=0..69, filters=5626912, ccks=1140, wck=30.302, mem=121M55 35.15/32.56 decisions=3130812, wrong=1560695, backtracks=1456910, failedAssignments=757990, nogoods=3160, foundSolutions=5, bestBound=5 35.15/32.56 39.05/36.47 num=209, depth=9..85, filters=6417324, ccks=1140, wck=34.211, mem=136M751 39.05/36.47 decisions=3422821, wrong=1706680, backtracks=1592496, failedAssignments=828706, nogoods=3177, foundSolutions=5, bestBound=5 39.05/36.47 41.48/38.84 num=210, depth=5..60, filters=6872063, ccks=1140, wck=36.579, mem=24M281 41.48/38.84 decisions=3729548, wrong=1860028, backtracks=1733718, failedAssignments=906493, nogoods=3193, foundSolutions=5, bestBound=5 41.48/38.84 44.78/42.15 num=211, depth=7..74, filters=7547236, ccks=1140, wck=39.889, mem=45M283 44.78/42.15 decisions=4087498, wrong=2038986, backtracks=1904423, failedAssignments=992059, nogoods=3215, foundSolutions=5, bestBound=5 44.78/42.15 52.07/49.43 num=212, depth=7..98, filters=8880282, ccks=1140, wck=47.177, mem=68M910 52.07/49.43 decisions=4601623, wrong=2296021, backtracks=2157105, failedAssignments=1086182, nogoods=3235, foundSolutions=5, bestBound=5 52.07/49.43 56.48/53.83 num=213, depth=9..89, filters=9680342, ccks=1140, wck=51.572, mem=95M162 56.48/53.83 decisions=5063656, wrong=2527013, backtracks=2377195, failedAssignments=1189717, nogoods=3260, foundSolutions=5, bestBound=5 56.48/53.83 61.88/59.21 num=214, depth=15..88, filters=10700025, ccks=1140, wck=56.955, mem=124M40 61.88/59.21 decisions=5550216, wrong=2770274, backtracks=2601026, failedAssignments=1303606, nogoods=3281, foundSolutions=5, bestBound=5 61.88/59.21 66.98/64.39 num=215, depth=11..94, filters=11631272, ccks=1140, wck=62.135, mem=152M918 66.98/64.39 decisions=6103965, wrong=3047121, backtracks=2870189, failedAssignments=1428884, nogoods=3312, foundSolutions=5, bestBound=5 66.98/64.39 76.22/73.53 num=216, depth=15..82, filters=13452321, ccks=1140, wck=71.268, mem=55M936 76.22/73.53 decisions=6766599, wrong=3378421, backtracks=3189502, failedAssignments=1566690, nogoods=3325, foundSolutions=5, bestBound=5 76.22/73.53 81.22/78.57 num=217, depth=8..67, filters=14358064, ccks=1140, wck=76.317, mem=92M773 81.22/78.57 decisions=7417564, wrong=3703890, backtracks=3508088, failedAssignments=1718276, nogoods=3341, foundSolutions=5, bestBound=5 81.22/78.57 87.02/84.36 num=218, depth=7..72, filters=15403880, ccks=1140, wck=82.098, mem=134M873 87.02/84.36 decisions=8111174, wrong=4050675, backtracks=3844729, failedAssignments=1885021, nogoods=3366, foundSolutions=5, bestBound=5 87.02/84.36 93.05/90.32 num=219, depth=13..62, filters=16498822, ccks=1140, wck=88.063, mem=47M663 93.05/90.32 decisions=8846854, wrong=4418503, backtracks=4178966, failedAssignments=2068440, nogoods=3384, foundSolutions=5, bestBound=5 93.05/90.32 99.95/97.29 num=220, depth=7..54, filters=17784139, ccks=1140, wck=95.037, mem=94M343 99.95/97.29 decisions=9631664, wrong=4810896, backtracks=4551626, failedAssignments=2270201, nogoods=3407, foundSolutions=5, bestBound=5 99.95/97.29 107.56/104.86 num=221, depth=12..69, filters=19231062, ccks=1140, wck=102.604, mem=146M209 107.56/104.86 decisions=10455493, wrong=5222796, backtracks=4931596, failedAssignments=2492139, nogoods=3423, foundSolutions=5, bestBound=5 107.56/104.86 117.79/115.01 num=222, depth=10..49, filters=21077315, ccks=1140, wck=112.749, mem=75M363 117.79/115.01 decisions=11444386, wrong=5717231, backtracks=5403875, failedAssignments=2736270, nogoods=3439, foundSolutions=5, bestBound=5 117.79/115.01 127.79/125.02 num=223, depth=9..55, filters=22935781, ccks=1140, wck=122.763, mem=136M658 127.79/125.02 decisions=12408709, wrong=6199380, backtracks=5859051, failedAssignments=3004815, nogoods=3457, foundSolutions=5, bestBound=5 127.79/125.02 140.31/137.54 num=224, depth=6..44, filters=25196855, ccks=1140, wck=135.278, mem=79M544 140.31/137.54 decisions=13662394, wrong=6826212, backtracks=6467178, failedAssignments=3300214, nogoods=3476, foundSolutions=5, bestBound=5 140.31/137.54 152.65/149.83 num=225, depth=8..51, filters=27411195, ccks=1140, wck=147.577, mem=34M93 152.65/149.83 decisions=14895413, wrong=7442710, backtracks=7053776, failedAssignments=3625153, nogoods=3499, foundSolutions=5, bestBound=5 152.65/149.83 172.56/169.75 num=226, depth=15..66, filters=31076543, ccks=1140, wck=167.488, mem=110M749 172.56/169.75 decisions=16240928, wrong=8115456, backtracks=7662174, failedAssignments=3982586, nogoods=3514, foundSolutions=5, bestBound=5 172.56/169.75 193.67/190.90 num=227, depth=7..59, filters=35397675, ccks=1140, wck=188.638, mem=82M517 193.67/190.90 decisions=17890096, wrong=8940026, backtracks=8373989, failedAssignments=4375762, nogoods=3534, foundSolutions=5, bestBound=5 193.67/190.90 210.19/207.33 num=228, depth=12..65, filters=38552867, ccks=1140, wck=205.073, mem=60M2 210.19/207.33 decisions=19557924, wrong=9773923, backtracks=9131733, failedAssignments=4808256, nogoods=3561, foundSolutions=5, bestBound=5 210.19/207.33 228.50/225.67 num=229, depth=17..77, filters=41894298, ccks=1140, wck=223.416, mem=73M664 228.50/225.67 decisions=21380209, wrong=10685052, backtracks=9990889, failedAssignments=5284000, nogoods=3579, foundSolutions=5, bestBound=5 228.50/225.67 248.12/245.29 num=230, depth=10..56, filters=45412105, ccks=1140, wck=243.036, mem=75M271 248.12/245.29 decisions=23466746, wrong=11728311, backtracks=10976551, failedAssignments=5807318, nogoods=3590, foundSolutions=5, bestBound=5 248.12/245.29 269.05/266.18 num=231, depth=8..63, filters=49284152, ccks=1140, wck=263.918, mem=99M841 269.05/266.18 decisions=25678429, wrong=12834140, backtracks=12022744, failedAssignments=6382968, nogoods=3603, foundSolutions=5, bestBound=5 269.05/266.18 313.75/310.86 num=232, depth=9..62, filters=56787772, ccks=1140, wck=308.605, mem=128M216 313.75/310.86 decisions=28050197, wrong=14020009, backtracks=13022823, failedAssignments=7016183, nogoods=3622, foundSolutions=5, bestBound=5 313.75/310.86 351.00/348.01 num=233, depth=12..73, filters=63901553, ccks=1140, wck=345.752, mem=72M415 351.00/348.01 decisions=30952608, wrong=15471201, backtracks=14330708, failedAssignments=7712719, nogoods=3640, foundSolutions=5, bestBound=5 351.00/348.01 404.93/401.92 num=234, depth=3..104, filters=74885217, ccks=1140, wck=399.663, mem=38M961 404.93/401.92 decisions=34894054, wrong=17441903, backtracks=16208481, failedAssignments=8478909, nogoods=3670, foundSolutions=5, bestBound=5 404.93/401.92 458.95/455.93 num=235, depth=3..114, filters=84969640, ccks=1140, wck=453.672, mem=30M162 458.95/455.93 decisions=38789994, wrong=19389848, backtracks=18060595, failedAssignments=9321718, nogoods=3700, foundSolutions=5, bestBound=5 458.95/455.93 507.22/504.18 num=236, depth=4..87, filters=93786006, ccks=1140, wck=501.926, mem=48M111 507.22/504.18 decisions=42946139, wrong=21467897, backtracks=20063185, failedAssignments=10248808, nogoods=3721, foundSolutions=5, bestBound=5 507.22/504.18 560.53/557.41 num=237, depth=3..94, filters=103924904, ccks=1140, wck=555.155, mem=108M693 560.53/557.41 decisions=48029466, wrong=24009537, backtracks=22550584, failedAssignments=11268607, nogoods=3763, foundSolutions=5, bestBound=5 560.53/557.41 608.76/605.61 num=238, depth=6..95, filters=112964028, ccks=1140, wck=603.354, mem=86M915 608.76/605.61 decisions=53181847, wrong=26585702, backtracks=25069085, failedAssignments=12390386, nogoods=3792, foundSolutions=5, bestBound=5 608.76/605.61 663.39/660.27 num=239, depth=5..97, filters=122609253, ccks=1140, wck=658.012, mem=106M995 663.39/660.27 decisions=58746940, wrong=29368220, backtracks=27743313, failedAssignments=13624343, nogoods=3823, foundSolutions=5, bestBound=5 663.39/660.27 711.93/708.73 num=240, depth=8..91, filters=131084473, ccks=1140, wck=706.476, mem=90M854 711.93/708.73 decisions=63848771, wrong=31919109, backtracks=30055618, failedAssignments=14981696, nogoods=3848, foundSolutions=5, bestBound=5 711.93/708.73 761.06/757.80 num=241, depth=10..71, filters=139601254, ccks=1140, wck=755.544, mem=104M417 761.06/757.80 decisions=69549170, wrong=34769293, backtracks=32676362, failedAssignments=16474784, nogoods=3867, foundSolutions=5, bestBound=5 761.06/757.80 814.51/811.28 num=242, depth=9..85, filters=149707030, ccks=1140, wck=809.025, mem=53M925 814.51/811.28 decisions=76072159, wrong=38030772, backtracks=35552152, failedAssignments=18117181, nogoods=3887, foundSolutions=5, bestBound=5 814.51/811.28 911.86/908.50 num=243, depth=7..86, filters=167936041, ccks=1140, wck=906.24, mem=48M130 911.86/908.50 decisions=83578949, wrong=41784147, backtracks=38783017, failedAssignments=19923818, nogoods=3920, foundSolutions=5, bestBound=5 911.86/908.50 999.92/996.51 num=244, depth=5..102, filters=183875907, ccks=1140, wck=994.248, mem=26M665 999.92/996.51 decisions=92160707, wrong=46074997, backtracks=42814490, failedAssignments=21911119, nogoods=3963, foundSolutions=5, bestBound=5 999.92/996.51 1083.88/1080.48 num=245, depth=15..106, filters=198462892, ccks=1140, wck=1078.226, mem=85M536 1083.88/1080.48 decisions=100407136, wrong=50198179, backtracks=46488914, failedAssignments=24097150, nogoods=3991, foundSolutions=5, bestBound=5 1083.88/1080.48 1171.66/1168.20 num=246, depth=10..79, filters=213465414, ccks=1140, wck=1165.938, mem=77M406 1171.66/1168.20 decisions=110512323, wrong=55250753, backtracks=51233278, failedAssignments=26501784, nogoods=4017, foundSolutions=5, bestBound=5 1171.66/1168.20 1274.75/1271.11 num=247, depth=8..87, filters=232222535, ccks=1140, wck=1268.856, mem=46M864 1274.75/1271.11 decisions=121428314, wrong=60708731, backtracks=56461697, failedAssignments=29146881, nogoods=4040, foundSolutions=5, bestBound=5 1274.75/1271.11 1386.64/1382.96 num=248, depth=14..75, filters=252426975, ccks=1140, wck=1380.701, mem=67M368 1386.64/1382.96 decisions=133452864, wrong=66720993, backtracks=62163362, failedAssignments=32056488, nogoods=4052, foundSolutions=5, bestBound=5 1386.64/1382.96 1566.07/1562.23 num=249, depth=11..104, filters=283903149, ccks=1140, wck=1559.971, mem=75M875 1566.07/1562.23 decisions=147943822, wrong=73966454, backtracks=68405363, failedAssignments=35257056, nogoods=4077, foundSolutions=5, bestBound=5 1566.07/1562.23 1729.61/1725.64 num=250, depth=7..100, filters=314417118, ccks=1140, wck=1723.387, mem=33M118 1729.61/1725.64 decisions=161404427, wrong=80696730, backtracks=74535648, failedAssignments=38777681, nogoods=4113, foundSolutions=5, bestBound=5 1729.61/1725.64 1856.42/1852.36 num=251, depth=6..110, filters=338376208, ccks=1140, wck=1850.099, mem=32M73 1856.42/1852.36 decisions=176010499, wrong=87999743, backtracks=81176186, failedAssignments=42650368, nogoods=4146, foundSolutions=5, bestBound=5 1856.42/1852.36 2021.86/2017.69 num=252, depth=8..119, filters=366779992, ccks=1140, wck=2015.434, mem=75M948 2021.86/2017.69 decisions=193212267, wrong=96600591, backtracks=88973853, failedAssignments=46910324, nogoods=4190, foundSolutions=5, bestBound=5 2021.86/2017.69 2218.93/2214.57 num=253, depth=12..117, filters=399728755, ccks=1140, wck=2212.311, mem=33M200 2218.93/2214.57 decisions=211729879, wrong=105859366, backtracks=97465421, failedAssignments=51596276, nogoods=4223, foundSolutions=5, bestBound=5 2218.93/2214.57 2436.61/2432.09 num=254, depth=11..115, filters=437089119, ccks=1140, wck=2429.833, mem=68M519 2436.61/2432.09 decisions=232449823, wrong=116219307, backtracks=107022757, failedAssignments=56750823, nogoods=4263, foundSolutions=5, bestBound=5 2436.61/2432.09 2520.07/2515.40 2520.07/2515.40 v <instantiation id='sol5' type='solution' cost='5'> <list> z x[][] </list> <values> 5 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 </values> </instantiation> 2520.07/2515.40 s SATISFIABLE
OK 5
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14975 MiB free)
memory of node 1: 16384 MiB (15261 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391024-1568380560/watcher-4391024-1568380560 -o /tmp/evaluation-result-4391024-1568380560/solver-4391024-1568380560 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5058 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391024-1568380560.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5494, runsolver pid=5491
[startup+0.100083 s]*
/proc/loadavg: 1.14 0.33 0.15 4/228 5509
/proc/meminfo: memFree=30946440/32770624 swapFree=66934464/67108860
[pid=5494] ppid=5491 vsize=10659884 memory=28524 CPUtime=0.14 cores=0,2,4,6
/proc/5494/stat : 5494 (java) S 5491 5494 5027 0 -1 1077944320 5609 0 0 0 12 2 0 0 20 0 15 0 414327423 10915721216 7131 33554432000 4194304 4196468 140726158568016 140726158550560 140302731128567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
/proc/5494/statm: 2664971 7131 2906 1 0 2627468 0
[pid=5494/tid=5496] ppid=5491 vsize=10659884 memory=-8124642594274839901 CPUtime=0.09 cores=0,2,4,6
/proc/5494/task/5496/stat : 5496 (java) R 5491 5494 5027 0 -1 4202560 3370 0 0 0 8 1 0 0 20 0 15 0 414327423 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302735351328 140302366949904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5497] ppid=5491 vsize=10659884 memory=5793855127585778105 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5497/stat : 5497 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302692088208 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5498] ppid=5491 vsize=10659884 memory=139876575884928 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5498/stat : 5498 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302336366864 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5499] ppid=5491 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5499/stat : 5499 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302335314576 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5500] ppid=5491 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5500/stat : 5500 (java) S 5491 5494 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302334261776 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5501] ppid=5491 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5501/stat : 5501 (java) S 5491 5494 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327426 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302290303600 140302731139714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5502] ppid=5491 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5502/stat : 5502 (java) S 5491 5494 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327426 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302289249568 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5503] ppid=5491 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5503/stat : 5503 (java) S 5491 5494 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327426 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302220256880 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5504] ppid=5491 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5504/stat : 5504 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327429 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302219205200 140302731147163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5505] ppid=5491 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5494/task/5505/stat : 5505 (java) S 5491 5494 5027 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 15 0 414327429 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302218152048 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5506] ppid=5491 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5506/stat : 5506 (java) S 5491 5494 5027 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 414327429 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302217099248 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5507] ppid=5491 vsize=10659884 memory=139876575884928 CPUtime=0.02 cores=0,2,4,6
/proc/5494/task/5507/stat : 5507 (java) R 5491 5494 5027 0 -1 4202560 455 0 0 0 2 0 0 0 20 0 15 0 414327429 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302216043512 140302709951604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5508] ppid=5491 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5508/stat : 5508 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327429 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302214994400 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5509] ppid=5491 vsize=10659884 memory=139876575884928 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5509/stat : 5509 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327429 10915721216 7263 33554432000 4194304 4196468 140726158568016 140302213942192 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28524 KiB
[startup+0.21064 s]*
/proc/loadavg: 1.14 0.33 0.15 3/228 5509
/proc/meminfo: memFree=30933356/32770624 swapFree=66934464/67108860
[pid=5494] ppid=5491 vsize=10659884 memory=37456 CPUtime=0.32 cores=0,2,4,6
/proc/5494/stat : 5494 (java) S 5491 5494 5027 0 -1 1077944320 9142 0 0 0 29 3 0 0 20 0 15 0 414327423 10915721216 9364 33554432000 4194304 4196468 140726158568016 140726158550560 140302731128567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
/proc/5494/statm: 2664971 9364 2989 1 0 2627468 0
[pid=5494/tid=5496] ppid=5491 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=0,2,4,6
/proc/5494/task/5496/stat : 5496 (java) R 5491 5494 5027 0 -1 4202560 6142 0 0 0 18 2 0 0 20 0 15 0 414327423 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302735366960 140302731150493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5497] ppid=5491 vsize=10659884 memory=4211973602780675466 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5497/stat : 5497 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302692088208 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5498] ppid=5491 vsize=10659884 memory=139876575884928 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5498/stat : 5498 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302336366864 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5499] ppid=5491 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5499/stat : 5499 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302335314576 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5500] ppid=5491 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5500/stat : 5500 (java) S 5491 5494 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302334261776 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5501] ppid=5491 vsize=10659884 memory=139876575884928 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5501/stat : 5501 (java) S 5491 5494 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327426 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302290303600 140302731139714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5502] ppid=5491 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5502/stat : 5502 (java) S 5491 5494 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327426 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302289249568 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5503] ppid=5491 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5503/stat : 5503 (java) S 5491 5494 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327426 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302220256880 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5504] ppid=5491 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5504/stat : 5504 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327429 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302219205200 140302731147163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5505] ppid=5491 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5494/task/5505/stat : 5505 (java) S 5491 5494 5027 0 -1 1077944384 477 0 0 0 3 0 0 0 20 0 15 0 414327429 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302218152048 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5506] ppid=5491 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5494/task/5506/stat : 5506 (java) S 5491 5494 5027 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 414327429 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302217099248 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5507] ppid=5491 vsize=10659884 memory=139876575884928 CPUtime=0.05 cores=0,2,4,6
/proc/5494/task/5507/stat : 5507 (java) S 5491 5494 5027 0 -1 1077944384 713 0 0 0 5 0 0 0 20 0 15 0 414327429 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302216046960 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5508] ppid=5491 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5508/stat : 5508 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327429 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302214994400 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5509] ppid=5491 vsize=10659884 memory=139876575884928 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5509/stat : 5509 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327429 10915721216 9364 33554432000 4194304 4196468 140726158568016 140302213942192 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37456 KiB
[startup+0.310179 s]*
/proc/loadavg: 1.14 0.33 0.15 3/228 5509
/proc/meminfo: memFree=30931560/32770624 swapFree=66934464/67108860
[pid=5494] ppid=5491 vsize=10659884 memory=40520 CPUtime=0.47 cores=0,2,4,6
/proc/5494/stat : 5494 (java) S 5491 5494 5027 0 -1 1077944320 9354 0 0 0 43 4 0 0 20 0 15 0 414327423 10915721216 10130 33554432000 4194304 4196468 140726158568016 140726158550560 140302731128567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
/proc/5494/statm: 2664971 10130 3013 1 0 2627468 0
[pid=5494/tid=5496] ppid=5491 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=0,2,4,6
/proc/5494/task/5496/stat : 5496 (java) R 5491 5494 5027 0 -1 4202560 6290 0 0 0 28 2 0 0 20 0 15 0 414327423 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302735341984 140302368364288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5497] ppid=5491 vsize=10659884 memory=4211973602780675466 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5497/stat : 5497 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302692088208 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5498] ppid=5491 vsize=10659884 memory=139876575889473 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5498/stat : 5498 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302336366864 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5499] ppid=5491 vsize=10659884 memory=139876414635443 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5499/stat : 5499 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302335314576 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5500] ppid=5491 vsize=10659884 memory=139876414639567 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5500/stat : 5500 (java) S 5491 5494 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327424 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302334261776 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5501] ppid=5491 vsize=10659884 memory=139876575889982 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5501/stat : 5501 (java) S 5491 5494 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327426 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302290303600 140302731139714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5502] ppid=5491 vsize=10659884 memory=139876414648751 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5502/stat : 5502 (java) S 5491 5494 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327426 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302289249568 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5503] ppid=5491 vsize=10659884 memory=279752829288336 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5503/stat : 5503 (java) S 5491 5494 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327426 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302220256880 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5504] ppid=5491 vsize=10659884 memory=279752829286032 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5504/stat : 5504 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327429 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302219205200 140302731147163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5505] ppid=5491 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5494/task/5505/stat : 5505 (java) R 5491 5494 5027 0 -1 4202560 493 0 0 0 3 0 0 0 20 0 15 0 414327429 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302218152048 140302715031168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5506] ppid=5491 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5494/task/5506/stat : 5506 (java) R 5491 5494 5027 0 -1 1077944384 478 0 0 0 3 0 0 0 20 0 15 0 414327429 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302217099248 140302731139714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5507] ppid=5491 vsize=10659884 memory=139876575884928 CPUtime=0.07 cores=0,2,4,6
/proc/5494/task/5507/stat : 5507 (java) S 5491 5494 5027 0 -1 1077944384 736 0 0 0 7 0 0 0 20 0 15 0 414327429 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302216046960 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5508] ppid=5491 vsize=10659884 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5508/stat : 5508 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327429 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302214994400 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5509] ppid=5491 vsize=10659884 memory=139876575884928 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5509/stat : 5509 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327429 10915721216 10130 33554432000 4194304 4196468 140726158568016 140302213942192 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40520 KiB
[startup+0.700694 s]
/proc/loadavg: 1.14 0.33 0.15 3/228 5509
/proc/meminfo: memFree=30918172/32770624 swapFree=66934464/67108860
[pid=5494] ppid=5491 vsize=10661932 memory=63792 CPUtime=1.1 cores=0,2,4,6
/proc/5494/stat : 5494 (java) S 5491 5494 5027 0 -1 1077944320 12928 0 0 0 104 6 0 0 20 0 15 0 414327423 10917818368 15948 33554432000 4194304 4196468 140726158568016 140726158550560 140302731128567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
/proc/5494/statm: 2665483 15948 3074 1 0 2627980 0
[pid=5494/tid=5496] ppid=5491 vsize=10661932 memory=3932 CPUtime=0.68 cores=0,2,4,6
/proc/5494/task/5496/stat : 5496 (java) R 5491 5494 5027 0 -1 4202560 8834 0 0 0 64 4 0 0 20 0 15 0 414327423 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302735360592 140302714315393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5497] ppid=5491 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5497/stat : 5497 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302692088208 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5498] ppid=5491 vsize=10661932 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5498/stat : 5498 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302336366864 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5499] ppid=5491 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5499/stat : 5499 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302335314576 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5500] ppid=5491 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5500/stat : 5500 (java) S 5491 5494 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327424 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302334261776 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5501] ppid=5491 vsize=10661932 memory=5787500903046145365 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5501/stat : 5501 (java) S 5491 5494 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327426 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302290303600 140302731139714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5502] ppid=5491 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5502/stat : 5502 (java) S 5491 5494 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327426 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302289249568 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5503] ppid=5491 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5503/stat : 5503 (java) S 5491 5494 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327426 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302220256880 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5504] ppid=5491 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5504/stat : 5504 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327429 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302219205200 140302731147163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5505] ppid=5491 vsize=10661932 memory=345 CPUtime=0.11 cores=0,2,4,6
/proc/5494/task/5505/stat : 5505 (java) R 5491 5494 5027 0 -1 4202560 816 0 0 0 11 0 0 0 20 0 15 0 414327429 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302218152048 140302712316433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5506] ppid=5491 vsize=10661932 memory=10 CPUtime=0.1 cores=0,2,4,6
/proc/5494/task/5506/stat : 5506 (java) S 5491 5494 5027 0 -1 1077944384 745 0 0 0 10 0 0 0 20 0 15 0 414327429 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302217099248 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5507] ppid=5491 vsize=10661932 memory=26445 CPUtime=0.18 cores=0,2,4,6
/proc/5494/task/5507/stat : 5507 (java) S 5491 5494 5027 0 -1 1077944384 1174 0 0 0 18 0 0 0 20 0 15 0 414327429 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302216046960 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5508] ppid=5491 vsize=10661932 memory=279752829472240 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5508/stat : 5508 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327429 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302214994400 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5509] ppid=5491 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5509/stat : 5509 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327429 10917818368 15948 33554432000 4194304 4196468 140726158568016 140302213942192 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63792 KiB
[startup+1.50074 s]
/proc/loadavg: 1.14 0.33 0.15 3/228 5509
/proc/meminfo: memFree=30899000/32770624 swapFree=66934464/67108860
[pid=5494] ppid=5491 vsize=10663980 memory=75748 CPUtime=1.98 cores=0,2,4,6
/proc/5494/stat : 5494 (java) S 5491 5494 5027 0 -1 1077944320 18285 0 0 0 191 7 0 0 20 0 15 0 414327423 10919915520 18937 33554432000 4194304 4196468 140726158568016 140726158550560 140302731128567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
/proc/5494/statm: 2665995 18937 3093 1 0 2628492 0
[pid=5494/tid=5496] ppid=5491 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/5494/task/5496/stat : 5496 (java) R 5491 5494 5027 0 -1 4202560 12919 0 0 0 143 5 0 0 20 0 15 0 414327423 10919915520 18937 33554432000 4194304 4196468 140726158568016 140302735354448 140302716294206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5497] ppid=5491 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5497/stat : 5497 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10919915520 18937 33554432000 4194304 4196468 140726158568016 140302692088208 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5498] ppid=5491 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5498/stat : 5498 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10919915520 18937 33554432000 4194304 4196468 140726158568016 140302336366864 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5499] ppid=5491 vsize=10663980 memory=-6305718286698570368 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5499/stat : 5499 (java) S 5491 5494 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327424 10919915520 18937 33554432000 4194304 4196468 140726158568016 140302335314576 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5500] ppid=5491 vsize=10663980 memory=4947655662942658176 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5500/stat : 5500 (java) S 5491 5494 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327424 10919915520 18937 33554432000 4194304 4196468 140726158568016 140302334261776 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5501] ppid=5491 vsize=10663980 memory=-6152018833316538468 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5501/stat : 5501 (java) S 5491 5494 5027 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 414327426 10919915520 18937 33554432000 4194304 4196468 140726158568016 140302290303600 140302731139714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
################
# More data... #
################
/proc/5494/task/5500/stat : 5500 (java) S 5491 5494 5027 0 -1 1077944384 4079 0 0 0 44 2 0 0 20 0 16 0 414327424 11006283776 48378 33554432000 4194304 4196468 140726158568016 140302334261776 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5501] ppid=5491 vsize=10748324 memory=193512 CPUtime=0.2 cores=0,2,4,6
/proc/5494/task/5501/stat : 5501 (java) S 5491 5494 5027 0 -1 1077944384 6128 0 0 0 17 3 0 0 20 0 16 0 414327426 11006283776 48378 33554432000 4194304 4196468 140726158568016 140302290303600 140302731139714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5502] ppid=5491 vsize=10748324 memory=193512 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5502/stat : 5502 (java) S 5491 5494 5027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414327426 11006283776 48378 33554432000 4194304 4196468 140726158568016 140302289249632 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5503] ppid=5491 vsize=10748324 memory=193512 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5503/stat : 5503 (java) S 5491 5494 5027 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414327426 11006283776 48378 33554432000 4194304 4196468 140726158568016 140302220256896 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5504] ppid=5491 vsize=10748324 memory=193512 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5504/stat : 5504 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327429 11006283776 48378 33554432000 4194304 4196468 140726158568016 140302219205200 140302731147163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5505] ppid=5491 vsize=10748324 memory=193512 CPUtime=0.9 cores=0,2,4,6
/proc/5494/task/5505/stat : 5505 (java) S 5491 5494 5027 0 -1 1077944384 2638 0 0 0 90 0 0 0 20 0 16 0 414327429 11006283776 48378 33554432000 4194304 4196468 140726158568016 140302218152048 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5506] ppid=5491 vsize=10748324 memory=193512 CPUtime=1.04 cores=0,2,4,6
/proc/5494/task/5506/stat : 5506 (java) S 5491 5494 5027 0 -1 1077944384 3315 0 0 0 103 1 0 0 20 0 16 0 414327429 11006283776 48378 33554432000 4194304 4196468 140726158568016 140302217099248 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5507] ppid=5491 vsize=10748324 memory=193512 CPUtime=0.65 cores=0,2,4,6
/proc/5494/task/5507/stat : 5507 (java) S 5491 5494 5027 0 -1 1077944384 7172 0 0 0 64 1 0 0 20 0 16 0 414327429 11006283776 48378 33554432000 4194304 4196468 140726158568016 140302216046960 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5508] ppid=5491 vsize=10748324 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5508/stat : 5508 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327429 11006283776 48378 33554432000 4194304 4196468 140726158568016 140302214994400 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5509] ppid=5491 vsize=10748324 memory=22140 CPUtime=0.6 cores=0,2,4,6
/proc/5494/task/5509/stat : 5509 (java) S 5491 5494 5027 0 -1 1077944384 1064 0 0 0 23 37 0 0 20 0 16 0 414327429 11006283776 48378 33554432000 4194304 4196468 140726158568016 140302213942192 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5510] ppid=5491 vsize=10748324 memory=193512 CPUtime=2379.68 cores=0,2,4,6
/proc/5494/task/5510/stat : 5510 (java) R 5491 5494 5027 0 -1 4202560 15718 0 0 0 237963 5 0 0 20 0 16 0 414327610 11006283776 48378 33554432000 4194304 4196468 140726158568016 140302197280272 140302373279385 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
Current children cumulated CPU time: 2386.87 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 193512 KiB
[startup+2442.3 s]
/proc/loadavg: 1.99 1.93 1.80 3/229 6591
/proc/meminfo: memFree=30773928/32770624 swapFree=66934484/67108860
[pid=5494] ppid=5491 vsize=10748324 memory=193516 CPUtime=2446.91 cores=0,2,4,6
/proc/5494/stat : 5494 (java) S 5491 5494 5027 0 -1 1077944320 67658 0 0 0 244641 50 0 0 20 0 16 0 414327423 11006283776 48379 33554432000 4194304 4196468 140726158568016 140726158550560 140302731128567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
/proc/5494/statm: 2687081 48379 3376 1 0 2647217 0
[pid=5494/tid=5496] ppid=5491 vsize=10748324 memory=193516 CPUtime=1.85 cores=0,2,4,6
/proc/5494/task/5496/stat : 5496 (java) S 5491 5494 5027 0 -1 1077944384 15152 0 0 0 179 6 0 0 20 0 16 0 414327423 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302735371440 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5497] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.47 cores=0,2,4,6
/proc/5494/task/5497/stat : 5497 (java) S 5491 5494 5027 0 -1 1077944384 4794 0 0 0 46 1 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302692088208 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5498] ppid=5491 vsize=10748324 memory=193512 CPUtime=0.48 cores=0,2,4,6
/proc/5494/task/5498/stat : 5498 (java) S 5491 5494 5027 0 -1 1077944384 3228 0 0 0 47 1 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302336366864 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5499] ppid=5491 vsize=10748324 memory=193512 CPUtime=0.48 cores=0,2,4,6
/proc/5494/task/5499/stat : 5499 (java) S 5491 5494 5027 0 -1 1077944384 2454 0 0 0 46 2 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302335314576 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5500] ppid=5491 vsize=10748324 memory=193512 CPUtime=0.47 cores=0,2,4,6
/proc/5494/task/5500/stat : 5500 (java) S 5491 5494 5027 0 -1 1077944384 4084 0 0 0 45 2 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302334261776 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5501] ppid=5491 vsize=10748324 memory=193512 CPUtime=0.2 cores=0,2,4,6
/proc/5494/task/5501/stat : 5501 (java) S 5491 5494 5027 0 -1 1077944384 6135 0 0 0 17 3 0 0 20 0 16 0 414327426 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302290303600 140302731139714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5502] ppid=5491 vsize=10748324 memory=193512 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5502/stat : 5502 (java) S 5491 5494 5027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414327426 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302289249632 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5503] ppid=5491 vsize=10748324 memory=193516 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5503/stat : 5503 (java) S 5491 5494 5027 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414327426 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302220256896 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5504] ppid=5491 vsize=10748324 memory=193516 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5504/stat : 5504 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302219205200 140302731147163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5505] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.9 cores=0,2,4,6
/proc/5494/task/5505/stat : 5505 (java) S 5491 5494 5027 0 -1 1077944384 2638 0 0 0 90 0 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302218152048 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5506] ppid=5491 vsize=10748324 memory=193516 CPUtime=1.04 cores=0,2,4,6
/proc/5494/task/5506/stat : 5506 (java) S 5491 5494 5027 0 -1 1077944384 3315 0 0 0 103 1 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302217099248 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5507] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.65 cores=0,2,4,6
/proc/5494/task/5507/stat : 5507 (java) S 5491 5494 5027 0 -1 1077944384 7333 0 0 0 64 1 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302216046960 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5508] ppid=5491 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5508/stat : 5508 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302214994400 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5509] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.62 cores=0,2,4,6
/proc/5494/task/5509/stat : 5509 (java) S 5491 5494 5027 0 -1 1077944384 1068 0 0 0 24 38 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302213942192 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5510] ppid=5491 vsize=10748324 memory=193516 CPUtime=2439.65 cores=0,2,4,6
/proc/5494/task/5510/stat : 5510 (java) R 5491 5494 5027 0 -1 4202560 16015 0 0 0 243960 5 0 0 20 0 16 0 414327610 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302197280272 140302373053465 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
Current children cumulated CPU time: 2446.91 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 193516 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.94 1.81 3/229 6597
/proc/meminfo: memFree=30775956/32770624 swapFree=66934484/67108860
[pid=5494] ppid=5491 vsize=10748324 memory=193516 CPUtime=2506.96 cores=0,2,4,6
/proc/5494/stat : 5494 (java) S 5491 5494 5027 0 -1 1077944320 68280 0 0 0 250646 50 0 0 20 0 16 0 414327423 11006283776 48379 33554432000 4194304 4196468 140726158568016 140726158550560 140302731128567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
/proc/5494/statm: 2687081 48379 3376 1 0 2647217 0
[pid=5494/tid=5496] ppid=5491 vsize=10748324 memory=1332 CPUtime=1.85 cores=0,2,4,6
/proc/5494/task/5496/stat : 5496 (java) S 5491 5494 5027 0 -1 1077944384 15152 0 0 0 179 6 0 0 20 0 16 0 414327423 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302735371440 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5497] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.49 cores=0,2,4,6
/proc/5494/task/5497/stat : 5497 (java) S 5491 5494 5027 0 -1 1077944384 4805 0 0 0 48 1 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302692088208 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5498] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.49 cores=0,2,4,6
/proc/5494/task/5498/stat : 5498 (java) S 5491 5494 5027 0 -1 1077944384 3251 0 0 0 48 1 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302336366864 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5499] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.49 cores=0,2,4,6
/proc/5494/task/5499/stat : 5499 (java) S 5491 5494 5027 0 -1 1077944384 2741 0 0 0 47 2 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302335314576 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5500] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.49 cores=0,2,4,6
/proc/5494/task/5500/stat : 5500 (java) S 5491 5494 5027 0 -1 1077944384 4102 0 0 0 47 2 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302334261776 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5501] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.21 cores=0,2,4,6
/proc/5494/task/5501/stat : 5501 (java) S 5491 5494 5027 0 -1 1077944384 6323 0 0 0 18 3 0 0 20 0 16 0 414327426 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302290303600 140302731139714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5502] ppid=5491 vsize=10748324 memory=193516 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5502/stat : 5502 (java) S 5491 5494 5027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414327426 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302289249632 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5503] ppid=5491 vsize=10748324 memory=193516 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5503/stat : 5503 (java) S 5491 5494 5027 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414327426 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302220256896 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5504] ppid=5491 vsize=10748324 memory=193516 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5504/stat : 5504 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302219205200 140302731147163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5505] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.9 cores=0,2,4,6
/proc/5494/task/5505/stat : 5505 (java) S 5491 5494 5027 0 -1 1077944384 2640 0 0 0 90 0 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302218152048 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5506] ppid=5491 vsize=10748324 memory=193516 CPUtime=1.04 cores=0,2,4,6
/proc/5494/task/5506/stat : 5506 (java) S 5491 5494 5027 0 -1 1077944384 3317 0 0 0 103 1 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302217099248 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5507] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.65 cores=0,2,4,6
/proc/5494/task/5507/stat : 5507 (java) S 5491 5494 5027 0 -1 1077944384 7335 0 0 0 64 1 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302216046960 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5508] ppid=5491 vsize=10748324 memory=193516 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5508/stat : 5508 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302214994400 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5509] ppid=5491 vsize=10748324 memory=3620 CPUtime=0.63 cores=0,2,4,6
/proc/5494/task/5509/stat : 5509 (java) S 5491 5494 5027 0 -1 1077944384 1096 0 0 0 25 38 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302213942192 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5510] ppid=5491 vsize=10748324 memory=3620 CPUtime=2499.63 cores=0,2,4,6
/proc/5494/task/5510/stat : 5510 (java) R 5491 5494 5027 0 -1 4202560 16076 0 0 0 249958 5 0 0 20 0 16 0 414327610 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302197280848 140302373529397 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
Current children cumulated CPU time: 2506.96 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 193516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.4 s]
/proc/loadavg: 2.00 1.95 1.81 3/229 6597
/proc/meminfo: memFree=30776080/32770624 swapFree=66934484/67108860
[pid=5494] ppid=5491 vsize=10748324 memory=193516 CPUtime=2520.07 cores=0,2,4,6
/proc/5494/stat : 5494 (java) S 5491 5494 5027 0 -1 1077944320 68283 0 0 0 251956 51 0 0 20 0 16 0 414327423 11006283776 48379 33554432000 4194304 4196468 140726158568016 140726158550560 140302731128567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
/proc/5494/statm: 2687081 48379 3376 1 0 2647217 0
[pid=5494/tid=5496] ppid=5491 vsize=10748324 memory=984 CPUtime=1.85 cores=0,2,4,6
/proc/5494/task/5496/stat : 5496 (java) S 5491 5494 5027 0 -1 1077944384 15152 0 0 0 179 6 0 0 20 0 16 0 414327423 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302735371440 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5497] ppid=5491 vsize=10748324 memory=193516 CPUtime=0.49 cores=0,2,4,6
/proc/5494/task/5497/stat : 5497 (java) S 5491 5494 5027 0 -1 1077944384 4805 0 0 0 48 1 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302692088208 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5498] ppid=5491 vsize=10748324 memory=8112282956445269571 CPUtime=0.49 cores=0,2,4,6
/proc/5494/task/5498/stat : 5498 (java) S 5491 5494 5027 0 -1 1077944384 3251 0 0 0 48 1 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302336366864 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5499] ppid=5491 vsize=10748324 memory=2832 CPUtime=0.49 cores=0,2,4,6
/proc/5494/task/5499/stat : 5499 (java) S 5491 5494 5027 0 -1 1077944384 2741 0 0 0 47 2 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302335314576 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5500] ppid=5491 vsize=10748324 memory=1548 CPUtime=0.49 cores=0,2,4,6
/proc/5494/task/5500/stat : 5500 (java) S 5491 5494 5027 0 -1 1077944384 4102 0 0 0 47 2 0 0 20 0 16 0 414327424 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302334261776 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5501] ppid=5491 vsize=10748324 memory=1056 CPUtime=0.21 cores=0,2,4,6
/proc/5494/task/5501/stat : 5501 (java) S 5491 5494 5027 0 -1 1077944384 6323 0 0 0 18 3 0 0 20 0 16 0 414327426 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302290303600 140302731139714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5502] ppid=5491 vsize=10748324 memory=193516 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5502/stat : 5502 (java) S 5491 5494 5027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414327426 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302289249632 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5503] ppid=5491 vsize=10748324 memory=984 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5503/stat : 5503 (java) S 5491 5494 5027 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414327426 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302220256896 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5504] ppid=5491 vsize=10748324 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5504/stat : 5504 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302219205200 140302731147163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5505] ppid=5491 vsize=10748324 memory=1332 CPUtime=0.9 cores=0,2,4,6
/proc/5494/task/5505/stat : 5505 (java) S 5491 5494 5027 0 -1 1077944384 2640 0 0 0 90 0 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302218152048 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5506] ppid=5491 vsize=10748324 memory=193516 CPUtime=1.04 cores=0,2,4,6
/proc/5494/task/5506/stat : 5506 (java) S 5491 5494 5027 0 -1 1077944384 3317 0 0 0 103 1 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302217099248 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5507] ppid=5491 vsize=10748324 memory=3932 CPUtime=0.65 cores=0,2,4,6
/proc/5494/task/5507/stat : 5507 (java) S 5491 5494 5027 0 -1 1077944384 7335 0 0 0 64 1 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302216046960 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5508] ppid=5491 vsize=10748324 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/5494/task/5508/stat : 5508 (java) S 5491 5494 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302214994400 140302731138773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5509] ppid=5491 vsize=10748324 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/5494/task/5509/stat : 5509 (java) S 5491 5494 5027 0 -1 1077944384 1098 0 0 0 25 38 0 0 20 0 16 0 414327429 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302213942192 140302731139714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
[pid=5494/tid=5510] ppid=5491 vsize=10748324 memory=984 CPUtime=2512.73 cores=0,2,4,6
/proc/5494/task/5510/stat : 5510 (java) R 5491 5494 5027 0 -1 4202560 16077 0 0 0 251268 5 0 0 20 0 16 0 414327610 11006283776 48379 33554432000 4194304 4196468 140726158568016 140302197280272 140302372896678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21823488 140726158570507 140726158570610 140726158570610 140726158573519 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 193516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.41 s]
# the end of solver process 5494 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.58 s, system=0.519078 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2515.41
CPU time (s): 2520.09
CPU user time (s): 2519.58
CPU system time (s): 0.519078
CPU usage (%): 100.186
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 247964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.58
system time used= 0.519078
maximum resident set size= 247964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60884
involuntary context switches= 1397
# summary of solver processes directly reported to runsolver:
# pid: 5494
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.58
# total CPU system time (s): 0.519078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1512 second user time and 22.1054 second system time
The end
Begin job on node151 at 2019-09-13 15:15:21 IDJOB=4391024 IDBENCH=122984 IDSOLVER=2832 FILE ID=node151/4391024-1568380560 RUNJOBID= node151-1568380476-5058 PBS_JOBID= 21701820 Free space on /tmp= 56992 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-19-020-009.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391024-1568380560/watcher-4391024-1568380560 -o /tmp/evaluation-result-4391024-1568380560/solver-4391024-1568380560 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5058 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391024-1568380560.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 62ee24bcba75d1d33fbbd4bb45a854a0 RANDOM SEED=1106788758 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30962588 kB MemAvailable: 31676056 kB Buffers: 152412 kB Cached: 851192 kB SwapCached: 71752 kB Active: 702232 kB Inactive: 556052 kB Active(anon): 190144 kB Inactive(anon): 96860 kB Active(file): 512088 kB Inactive(file): 459192 kB Unevictable: 110832 kB Mlocked: 110832 kB SwapTotal: 67108860 kB SwapFree: 66934464 kB Dirty: 8756 kB Writeback: 32 kB AnonPages: 294432 kB Mapped: 48416 kB Shmem: 23704 kB Slab: 145028 kB SReclaimable: 116048 kB SUnreclaim: 28980 kB KernelStack: 3904 kB PageTables: 6292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1260184 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 56984 MiB End job on node151 at 2019-09-13 15:57:16