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 | 2400.09 | 2395.12 |
| 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 | 1381.62 |
| 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.59/1.92 2.59/1.92 AbsCon 2 2.59/1.93 2.85/2.10 Instance 2.85/2.10 name=instance-4391324-1568389055, framework=COP, bounds=-infty..+infty 2.85/2.10 2.85/2.10 Loading variables... 3.16/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d52808 3.16/2.14 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76130896 3.16/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76dedfc 3.16/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@483f6bc7 3.16/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611309f0 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@405476d7 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78708c47 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a67ad0d 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d3ffa65 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@670da068 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e2cf7b6 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fb3a6eb 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c47f532 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@615fc973 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2efa3ab0 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f2e5c43 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ab126a 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@159c10ab 3.16/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eb0e185 3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b3d9b9f 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a370c52 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b75953c 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542 3.16/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43157542 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6e7c17 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a 3.16/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1803395a 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d4cd03 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9c103a 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9c103a 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9c103a 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9c103a 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9c103a 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca492be 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca492be 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca492be 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca492be 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43114cc0 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43114cc0 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43114cc0 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@db2a26a 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@db2a26a 3.47/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@539948ef 3.47/2.28 3.47/2.28 3.47/2.28 Domains 3.47/2.28 nTypes=2, nValues=777, sizes=[2#380,17#1] 3.47/2.28 Variables 3.47/2.28 count=381, degrees=[21#4,22#70,23#306,172#1] 3.47/2.28 Objectives 3.47/2.28 way=min, type=ObjVarLE 3.47/2.28 Constraints 3.47/2.28 count=228, nSpecific=228, arities=[1#1,20#19,38#19,40#18,41#171] 3.47/2.28 distribution=[LexicographicLe#37,ObjVarLE#1,SumScalarBooleanLEVar#171,SumSimpleEQ#19] 3.47/2.28 wck=0.392, cpu=2.239, mem=31M797 3.47/2.28 Solver SolverBacktrack being built... 3.47/2.28 3.72/2.31 3.72/2.31 Solver 3.72/2.31 guaranteedGAC=true 3.72/2.31 wck=0.427, cpu=2.273, mem=45M82 3.72/2.32 3.72/2.32 Preprocessing 3.72/2.32 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 3.72/2.32 wck=0.008, cpu=2.283, mem=45M82 3.72/2.32 3.72/2.33 num=0, depth=18..33, filters=101, wck=0.02, mem=45M82 3.72/2.33 decisions=71, wrong=22, backtracks=19, failedAssignments=10, nogoods=3 3.72/2.33 3.72/2.34 num=1, depth=9..16, filters=434, wck=0.032, mem=45M82 3.72/2.34 decisions=132, wrong=47, backtracks=35, failedAssignments=21, nogoods=8 3.72/2.34 3.72/2.36 num=2, depth=6..15, filters=847, wck=0.051, mem=45M82 3.72/2.36 decisions=206, wrong=80, backtracks=63, failedAssignments=33, nogoods=10 3.72/2.36 3.72/2.37 num=3, depth=4..12, filters=1436, wck=0.059, mem=45M82 3.72/2.37 decisions=289, wrong=117, backtracks=94, failedAssignments=46, nogoods=13 3.72/2.37 3.72/2.38 num=4, depth=2..12, filters=1913, wck=0.065, mem=45M82 3.72/2.38 decisions=367, wrong=152, backtracks=124, failedAssignments=60, nogoods=17 3.72/2.38 3.72/2.38 num=5, depth=0..13, filters=2288, wck=0.07, mem=45M82 3.72/2.38 decisions=434, wrong=183, backtracks=148, failedAssignments=76, nogoods=21 3.72/2.38 3.72/2.40 o 9 4.04/2.40 num=6, depth=1..380, filters=2650, ccks=228, wck=0.089, mem=45M82 4.04/2.40 decisions=531, wrong=202, backtracks=154, failedAssignments=89, nogoods=31, foundSolutions=1, bestBound=9 4.04/2.40 4.04/2.41 num=7, depth=3..102, filters=3002, ccks=228, wck=0.097, mem=45M82 4.04/2.41 decisions=679, wrong=231, backtracks=173, failedAssignments=108, nogoods=39, foundSolutions=1, bestBound=9 4.04/2.41 4.04/2.41 num=8, depth=4..21, filters=3085, ccks=228, wck=0.099, mem=45M82 4.04/2.41 decisions=718, wrong=244, backtracks=176, failedAssignments=119, nogoods=48, foundSolutions=1, bestBound=9 4.04/2.41 4.04/2.41 num=9, depth=6..72, filters=3282, ccks=228, wck=0.102, mem=45M82 4.04/2.41 decisions=816, wrong=263, backtracks=187, failedAssignments=131, nogoods=50, foundSolutions=1, bestBound=9 4.04/2.41 4.04/2.42 num=10, depth=2..82, filters=3440, ccks=228, wck=0.107, mem=45M82 4.04/2.42 decisions=918, wrong=277, backtracks=192, failedAssignments=144, nogoods=59, foundSolutions=1, bestBound=9 4.04/2.42 4.04/2.42 num=11, depth=2..102, filters=3610, ccks=228, wck=0.111, mem=45M82 4.04/2.42 decisions=1048, wrong=298, backtracks=199, failedAssignments=158, nogoods=67, foundSolutions=1, bestBound=9 4.04/2.42 4.04/2.43 num=12, depth=2..114, filters=3760, ccks=228, wck=0.115, mem=45M82 4.04/2.43 decisions=1184, wrong=316, backtracks=201, failedAssignments=174, nogoods=82, foundSolutions=1, bestBound=9 4.04/2.43 4.04/2.43 num=13, depth=2..166, filters=3931, ccks=228, wck=0.12, mem=45M82 4.04/2.43 decisions=1370, wrong=334, backtracks=202, failedAssignments=191, nogoods=99, foundSolutions=1, bestBound=9 4.04/2.43 4.04/2.44 num=14, depth=2..172, filters=4170, ccks=228, wck=0.125, mem=45M82 4.04/2.44 decisions=1580, wrong=361, backtracks=213, failedAssignments=210, nogoods=110, foundSolutions=1, bestBound=9 4.04/2.44 4.04/2.44 num=15, depth=2..117, filters=4679, ccks=228, wck=0.131, mem=45M82 4.04/2.44 decisions=1771, wrong=409, backtracks=248, failedAssignments=231, nogoods=117, foundSolutions=1, bestBound=9 4.04/2.44 4.04/2.45 num=16, depth=2..91, filters=4880, ccks=228, wck=0.135, mem=45M82 4.04/2.45 decisions=1889, wrong=433, backtracks=253, failedAssignments=254, nogoods=136, foundSolutions=1, bestBound=9 4.04/2.45 4.04/2.45 num=17, depth=2..97, filters=5144, ccks=228, wck=0.139, mem=45M82 4.04/2.45 decisions=2018, wrong=460, backtracks=257, failedAssignments=279, nogoods=159, foundSolutions=1, bestBound=9 4.04/2.45 4.04/2.46 num=18, depth=2..133, filters=5402, ccks=228, wck=0.144, mem=45M82 4.04/2.46 decisions=2219, wrong=506, backtracks=277, failedAssignments=307, nogoods=170, foundSolutions=1, bestBound=9 4.04/2.46 4.04/2.46 num=19, depth=3..83, filters=5731, ccks=228, wck=0.148, mem=45M82 4.04/2.46 decisions=2379, wrong=558, backtracks=303, failedAssignments=338, nogoods=178, foundSolutions=1, bestBound=9 4.04/2.46 4.04/2.47 num=20, depth=16..26, filters=6371, ccks=228, wck=0.153, mem=45M82 4.04/2.47 decisions=2525, wrong=623, backtracks=356, failedAssignments=372, nogoods=180, foundSolutions=1, bestBound=9 4.04/2.47 4.04/2.47 num=21, depth=0..27, filters=6887, ccks=228, wck=0.158, mem=45M82 4.04/2.47 decisions=2670, wrong=688, backtracks=406, failedAssignments=409, nogoods=188, foundSolutions=1, bestBound=9 4.04/2.47 4.04/2.48 num=22, depth=17..154, filters=7310, ccks=228, wck=0.164, mem=45M82 4.04/2.48 decisions=2938, wrong=758, backtracks=453, failedAssignments=450, nogoods=198, foundSolutions=1, bestBound=9 4.04/2.48 4.04/2.48 num=23, depth=12..73, filters=7598, ccks=228, wck=0.168, mem=45M82 4.04/2.48 decisions=3120, wrong=820, backtracks=503, failedAssignments=495, nogoods=209, foundSolutions=1, bestBound=9 4.04/2.48 4.04/2.49 o 8 4.04/2.49 num=24, depth=14..380, filters=8129, ccks=456, wck=0.178, mem=45M82 4.04/2.49 decisions=3364, wrong=879, backtracks=546, failedAssignments=531, nogoods=217, foundSolutions=2, bestBound=8 4.04/2.49 4.37/2.50 num=25, depth=14..136, filters=8616, ccks=456, wck=0.185, mem=45M82 4.37/2.50 decisions=3644, wrong=960, backtracks=609, failedAssignments=586, nogoods=230, foundSolutions=2, bestBound=8 4.37/2.50 4.37/2.50 num=26, depth=15..27, filters=8833, ccks=456, wck=0.187, mem=45M82 4.37/2.50 decisions=3694, wrong=975, backtracks=615, failedAssignments=597, nogoods=236, foundSolutions=2, bestBound=8 4.37/2.50 4.37/2.50 num=27, depth=15..22, filters=9087, ccks=456, wck=0.189, mem=45M82 4.37/2.50 decisions=3759, wrong=1000, backtracks=636, failedAssignments=609, nogoods=239, foundSolutions=2, bestBound=8 4.37/2.50 4.37/2.50 num=28, depth=2..8, filters=9325, ccks=456, wck=0.191, mem=45M82 4.37/2.50 decisions=3815, wrong=1027, backtracks=655, failedAssignments=622, nogoods=240, foundSolutions=2, bestBound=8 4.37/2.50 4.37/2.51 num=29, depth=8..101, filters=9448, ccks=456, wck=0.194, mem=45M82 4.37/2.51 decisions=3932, wrong=1042, backtracks=657, failedAssignments=636, nogoods=253, foundSolutions=2, bestBound=8 4.37/2.51 4.37/2.51 o 7 4.37/2.51 num=30, depth=8..380, filters=9580, ccks=684, wck=0.2, mem=45M82 4.37/2.51 decisions=4092, wrong=1055, backtracks=663, failedAssignments=648, nogoods=260, foundSolutions=3, bestBound=7 4.37/2.51 4.37/2.52 num=31, depth=8..47, filters=9759, ccks=684, wck=0.203, mem=45M82 4.37/2.52 decisions=4193, wrong=1088, backtracks=687, failedAssignments=665, nogoods=265, foundSolutions=3, bestBound=7 4.37/2.52 4.37/2.52 num=32, depth=12..22, filters=9944, ccks=684, wck=0.205, mem=45M82 4.37/2.52 decisions=4249, wrong=1108, backtracks=700, failedAssignments=676, nogoods=268, foundSolutions=3, bestBound=7 4.37/2.52 4.37/2.52 num=33, depth=0..19, filters=10205, ccks=684, wck=0.207, mem=45M82 4.37/2.52 decisions=4307, wrong=1134, backtracks=723, failedAssignments=688, nogoods=269, foundSolutions=3, bestBound=7 4.37/2.52 4.37/2.52 num=34, depth=5..54, filters=10311, ccks=684, wck=0.209, mem=47M724 4.37/2.52 decisions=4376, wrong=1148, backtracks=724, failedAssignments=701, nogoods=282, foundSolutions=3, bestBound=7 4.37/2.52 4.37/2.52 num=35, depth=9..42, filters=10460, ccks=684, wck=0.211, mem=47M724 4.37/2.52 decisions=4443, wrong=1166, backtracks=736, failedAssignments=715, nogoods=289, foundSolutions=3, bestBound=7 4.37/2.52 4.37/2.52 num=36, depth=13..51, filters=10579, ccks=684, wck=0.212, mem=47M724 4.37/2.52 decisions=4528, wrong=1189, backtracks=747, failedAssignments=731, nogoods=298, foundSolutions=3, bestBound=7 4.37/2.52 4.37/2.53 num=37, depth=9..44, filters=10768, ccks=684, wck=0.216, mem=47M724 4.37/2.53 decisions=4617, wrong=1215, backtracks=769, failedAssignments=748, nogoods=302, foundSolutions=3, bestBound=7 4.37/2.53 4.37/2.53 num=38, depth=9..63, filters=10892, ccks=684, wck=0.218, mem=47M724 4.37/2.53 decisions=4721, wrong=1240, backtracks=784, failedAssignments=767, nogoods=312, foundSolutions=3, bestBound=7 4.37/2.53 4.37/2.53 num=39, depth=14..138, filters=11036, ccks=684, wck=0.221, mem=47M724 4.37/2.53 decisions=4884, wrong=1263, backtracks=786, failedAssignments=788, nogoods=332, foundSolutions=3, bestBound=7 4.37/2.53 4.37/2.54 num=40, depth=10..32, filters=11306, ccks=684, wck=0.225, mem=47M724 4.37/2.54 decisions=4979, wrong=1300, backtracks=816, failedAssignments=811, nogoods=337, foundSolutions=3, bestBound=7 4.37/2.54 4.37/2.54 num=41, depth=7..19, filters=11613, ccks=684, wck=0.229, mem=47M724 4.37/2.54 decisions=5083, wrong=1347, backtracks=858, failedAssignments=836, nogoods=340, foundSolutions=3, bestBound=7 4.37/2.54 4.37/2.54 num=42, depth=5..52, filters=11817, ccks=684, wck=0.231, mem=47M724 4.37/2.54 decisions=5197, wrong=1386, backtracks=884, failedAssignments=864, nogoods=351, foundSolutions=3, bestBound=7 4.37/2.54 4.37/2.55 num=43, depth=6..101, filters=12004, ccks=684, wck=0.235, mem=47M724 4.37/2.55 decisions=5363, wrong=1425, backtracks=906, failedAssignments=895, nogoods=364, foundSolutions=3, bestBound=7 4.37/2.55 4.37/2.55 num=44, depth=4..60, filters=12256, ccks=684, wck=0.238, mem=47M724 4.37/2.55 decisions=5507, wrong=1474, backtracks=938, failedAssignments=929, nogoods=375, foundSolutions=3, bestBound=7 4.37/2.55 4.37/2.56 num=45, depth=4..116, filters=12504, ccks=684, wck=0.243, mem=47M724 4.37/2.56 decisions=5710, wrong=1529, backtracks=965, failedAssignments=966, nogoods=399, foundSolutions=3, bestBound=7 4.37/2.56 4.37/2.56 num=46, depth=3..128, filters=12715, ccks=684, wck=0.247, mem=47M724 4.37/2.56 decisions=5919, wrong=1579, backtracks=1001, failedAssignments=1007, nogoods=414, foundSolutions=3, bestBound=7 4.37/2.56 4.37/2.56 num=47, depth=4..89, filters=13073, ccks=684, wck=0.251, mem=47M724 4.37/2.56 decisions=6109, wrong=1641, backtracks=1029, failedAssignments=1052, nogoods=436, foundSolutions=3, bestBound=7 4.37/2.56 4.37/2.57 num=48, depth=4..192, filters=13324, ccks=684, wck=0.258, mem=47M724 4.37/2.57 decisions=6394, wrong=1700, backtracks=1062, failedAssignments=1102, nogoods=462, foundSolutions=3, bestBound=7 4.37/2.57 4.37/2.57 num=49, depth=4..63, filters=13740, ccks=684, wck=0.263, mem=47M724 4.37/2.57 decisions=6638, wrong=1796, backtracks=1144, failedAssignments=1157, nogoods=474, foundSolutions=3, bestBound=7 4.37/2.57 4.37/2.58 o 6 4.37/2.58 num=50, depth=15..380, filters=13916, ccks=912, wck=0.27, mem=47M724 4.37/2.58 decisions=6833, wrong=1817, backtracks=1150, failedAssignments=1174, nogoods=487, foundSolutions=4, bestBound=6 4.37/2.58 4.37/2.59 num=51, depth=16..37, filters=14665, ccks=912, wck=0.278, mem=47M724 4.37/2.59 decisions=7090, wrong=1933, backtracks=1258, failedAssignments=1241, nogoods=491, foundSolutions=4, bestBound=6 4.37/2.59 4.37/2.59 num=52, depth=13..23, filters=14787, ccks=912, wck=0.28, mem=47M724 4.37/2.59 decisions=7137, wrong=1949, backtracks=1266, failedAssignments=1252, nogoods=498, foundSolutions=4, bestBound=6 4.37/2.59 4.37/2.59 num=53, depth=5..23, filters=14865, ccks=912, wck=0.281, mem=47M724 4.37/2.59 decisions=7184, wrong=1964, backtracks=1278, failedAssignments=1264, nogoods=501, foundSolutions=4, bestBound=6 4.37/2.59 4.37/2.59 num=54, depth=5..23, filters=14994, ccks=912, wck=0.283, mem=47M724 4.37/2.59 decisions=7229, wrong=1979, backtracks=1288, failedAssignments=1277, nogoods=507, foundSolutions=4, bestBound=6 4.37/2.59 4.37/2.60 num=55, depth=4..22, filters=15165, ccks=912, wck=0.284, mem=47M724 4.37/2.60 decisions=7277, wrong=1996, backtracks=1298, failedAssignments=1291, nogoods=513, foundSolutions=4, bestBound=6 4.37/2.60 4.37/2.60 num=56, depth=6..26, filters=15312, ccks=912, wck=0.286, mem=47M724 4.37/2.60 decisions=7339, wrong=2020, backtracks=1315, failedAssignments=1307, nogoods=518, foundSolutions=4, bestBound=6 4.37/2.60 4.37/2.60 num=57, depth=7..40, filters=15631, ccks=912, wck=0.29, mem=47M724 4.37/2.60 decisions=7435, wrong=2054, backtracks=1340, failedAssignments=1324, nogoods=527, foundSolutions=4, bestBound=6 4.37/2.60 4.71/2.61 num=58, depth=5..25, filters=15971, ccks=912, wck=0.293, mem=47M724 4.71/2.61 decisions=7520, wrong=2088, backtracks=1368, failedAssignments=1343, nogoods=530, foundSolutions=4, bestBound=6 4.71/2.61 4.71/2.61 num=59, depth=5..23, filters=16144, ccks=912, wck=0.295, mem=47M724 4.71/2.61 decisions=7593, wrong=2117, backtracks=1392, failedAssignments=1364, nogoods=537, foundSolutions=4, bestBound=6 4.71/2.61 4.71/2.61 num=60, depth=12..46, filters=16332, ccks=912, wck=0.297, mem=47M724 4.71/2.61 decisions=7696, wrong=2152, backtracks=1414, failedAssignments=1387, nogoods=551, foundSolutions=4, bestBound=6 4.71/2.61 4.71/2.61 num=61, depth=13..54, filters=16478, ccks=912, wck=0.299, mem=47M724 4.71/2.61 decisions=7807, wrong=2186, backtracks=1438, failedAssignments=1412, nogoods=559, foundSolutions=4, bestBound=6 4.71/2.61 4.71/2.61 num=62, depth=11..22, filters=16805, ccks=912, wck=0.301, mem=47M724 4.71/2.61 decisions=7915, wrong=2234, backtracks=1481, failedAssignments=1440, nogoods=562, foundSolutions=4, bestBound=6 4.71/2.61 4.71/2.62 num=63, depth=11..49, filters=17034, ccks=912, wck=0.303, mem=47M724 4.71/2.62 decisions=8046, wrong=2281, backtracks=1521, failedAssignments=1471, nogoods=571, foundSolutions=4, bestBound=6 4.71/2.62 4.71/2.62 num=64, depth=7..32, filters=17428, ccks=912, wck=0.306, mem=47M724 4.71/2.62 decisions=8172, wrong=2331, backtracks=1563, failedAssignments=1505, nogoods=576, foundSolutions=4, bestBound=6 4.71/2.62 4.71/2.62 num=65, depth=9..63, filters=17628, ccks=912, wck=0.309, mem=47M724 4.71/2.62 decisions=8333, wrong=2387, backtracks=1604, failedAssignments=1542, nogoods=591, foundSolutions=4, bestBound=6 4.71/2.62 4.71/2.63 num=66, depth=1..43, filters=18613, ccks=912, wck=0.314, mem=47M724 4.71/2.63 decisions=8513, wrong=2465, backtracks=1665, failedAssignments=1583, nogoods=606, foundSolutions=4, bestBound=6 4.71/2.63 4.71/2.63 num=67, depth=1..24, filters=19177, ccks=912, wck=0.318, mem=47M724 4.71/2.63 decisions=8654, wrong=2528, backtracks=1718, failedAssignments=1628, nogoods=614, foundSolutions=4, bestBound=6 4.71/2.63 4.71/2.63 num=68, depth=1..110, filters=19513, ccks=912, wck=0.322, mem=47M724 4.71/2.63 decisions=8869, wrong=2591, backtracks=1762, failedAssignments=1678, nogoods=633, foundSolutions=4, bestBound=6 4.71/2.63 4.71/2.64 num=69, depth=1..60, filters=20247, ccks=912, wck=0.327, mem=47M724 4.71/2.64 decisions=9141, wrong=2710, backtracks=1864, failedAssignments=1733, nogoods=647, foundSolutions=4, bestBound=6 4.71/2.64 4.71/2.64 num=70, depth=1..26, filters=21020, ccks=912, wck=0.331, mem=47M724 4.71/2.64 decisions=9358, wrong=2812, backtracks=1958, failedAssignments=1794, nogoods=654, foundSolutions=4, bestBound=6 4.71/2.64 4.71/2.66 num=71, depth=2..43, filters=23970, ccks=912, wck=0.344, mem=47M724 4.71/2.66 decisions=9676, wrong=2959, backtracks=2087, failedAssignments=1861, nogoods=665, foundSolutions=4, bestBound=6 4.71/2.66 4.71/2.66 num=72, depth=3..26, filters=25001, ccks=912, wck=0.35, mem=47M724 4.71/2.66 decisions=9994, wrong=3112, backtracks=2224, failedAssignments=1935, nogoods=672, foundSolutions=4, bestBound=6 4.71/2.66 4.71/2.68 num=73, depth=13..61, filters=27733, ccks=912, wck=0.363, mem=47M724 4.71/2.68 decisions=10401, wrong=3296, backtracks=2387, failedAssignments=2016, nogoods=687, foundSolutions=4, bestBound=6 4.71/2.68 4.71/2.68 num=74, depth=4..67, filters=28656, ccks=912, wck=0.369, mem=47M724 4.71/2.68 decisions=10853, wrong=3502, backtracks=2566, failedAssignments=2105, nogoods=712, foundSolutions=4, bestBound=6 4.71/2.68 4.71/2.69 num=75, depth=12..23, filters=29629, ccks=912, wck=0.375, mem=47M724 4.71/2.69 decisions=11195, wrong=3667, backtracks=2724, failedAssignments=2203, nogoods=714, foundSolutions=4, bestBound=6 4.71/2.69 4.71/2.69 num=76, depth=10..146, filters=30363, ccks=912, wck=0.381, mem=47M724 4.71/2.69 decisions=11649, wrong=3840, backtracks=2867, failedAssignments=2311, nogoods=741, foundSolutions=4, bestBound=6 4.71/2.69 4.99/2.70 num=77, depth=10..56, filters=31354, ccks=912, wck=0.388, mem=47M724 4.99/2.70 decisions=12126, wrong=4059, backtracks=3064, failedAssignments=2430, nogoods=754, foundSolutions=4, bestBound=6 4.99/2.70 4.99/2.71 num=78, depth=12..40, filters=33207, ccks=912, wck=0.398, mem=47M724 4.99/2.71 decisions=12608, wrong=4288, backtracks=3278, failedAssignments=2561, nogoods=769, foundSolutions=4, bestBound=6 4.99/2.71 4.99/2.72 num=79, depth=2..64, filters=34700, ccks=912, wck=0.407, mem=50M367 4.99/2.72 decisions=13187, wrong=4555, backtracks=3513, failedAssignments=2705, nogoods=791, foundSolutions=4, bestBound=6 4.99/2.72 4.99/2.72 num=80, depth=2..120, filters=35338, ccks=912, wck=0.413, mem=50M367 4.99/2.72 decisions=13693, wrong=4762, backtracks=3688, failedAssignments=2863, nogoods=819, foundSolutions=4, bestBound=6 4.99/2.72 4.99/2.74 num=81, depth=3..45, filters=36912, ccks=912, wck=0.422, mem=50M367 4.99/2.74 decisions=14444, wrong=5122, backtracks=4032, failedAssignments=3037, nogoods=833, foundSolutions=4, bestBound=6 4.99/2.74 4.99/2.74 num=82, depth=8..40, filters=38723, ccks=912, wck=0.433, mem=50M367 4.99/2.74 decisions=15031, wrong=5403, backtracks=4288, failedAssignments=3228, nogoods=841, foundSolutions=4, bestBound=6 4.99/2.74 4.99/2.75 num=83, depth=7..93, filters=40279, ccks=912, wck=0.442, mem=50M367 4.99/2.75 decisions=15880, wrong=5795, backtracks=4652, failedAssignments=3439, nogoods=865, foundSolutions=4, bestBound=6 4.99/2.75 4.99/2.77 num=84, depth=6..42, filters=43437, ccks=912, wck=0.458, mem=50M367 4.99/2.77 decisions=16763, wrong=6223, backtracks=5040, failedAssignments=3671, nogoods=877, foundSolutions=4, bestBound=6 4.99/2.77 4.99/2.79 num=85, depth=8..47, filters=47325, ccks=912, wck=0.479, mem=50M367 4.99/2.79 decisions=17839, wrong=6744, backtracks=5533, failedAssignments=3926, nogoods=895, foundSolutions=4, bestBound=6 4.99/2.79 5.13/2.81 num=86, depth=17..44, filters=50143, ccks=912, wck=0.494, mem=50M367 5.13/2.81 decisions=18783, wrong=7204, backtracks=5914, failedAssignments=4207, nogoods=905, foundSolutions=4, bestBound=6 5.13/2.81 5.13/2.82 num=87, depth=1..39, filters=53264, ccks=912, wck=0.509, mem=50M367 5.13/2.82 decisions=19875, wrong=7740, backtracks=6427, failedAssignments=4516, nogoods=915, foundSolutions=4, bestBound=6 5.13/2.82 5.13/2.84 num=88, depth=8..28, filters=56451, ccks=912, wck=0.526, mem=50M367 5.13/2.84 decisions=21086, wrong=8338, backtracks=7005, failedAssignments=4856, nogoods=922, foundSolutions=4, bestBound=6 5.13/2.84 5.13/2.85 num=89, depth=8..142, filters=58005, ccks=912, wck=0.537, mem=50M367 5.13/2.85 decisions=22229, wrong=8864, backtracks=7491, failedAssignments=5230, nogoods=955, foundSolutions=4, bestBound=6 5.13/2.85 5.13/2.86 num=90, depth=2..96, filters=60535, ccks=912, wck=0.551, mem=50M367 5.13/2.86 decisions=23880, wrong=9656, backtracks=8187, failedAssignments=5641, nogoods=988, foundSolutions=4, bestBound=6 5.13/2.86 5.13/2.88 num=91, depth=1..145, filters=63885, ccks=912, wck=0.57, mem=50M367 5.13/2.88 decisions=25776, wrong=10557, backtracks=9016, failedAssignments=6093, nogoods=1031, foundSolutions=4, bestBound=6 5.13/2.88 5.25/2.91 num=92, depth=1..75, filters=69459, ccks=912, wck=0.602, mem=50M367 5.25/2.91 decisions=28352, wrong=11830, backtracks=10255, failedAssignments=6590, nogoods=1041, foundSolutions=4, bestBound=6 5.25/2.91 5.25/2.94 num=93, depth=10..98, filters=73594, ccks=912, wck=0.624, mem=50M367 5.25/2.94 decisions=30514, wrong=12877, backtracks=11239, failedAssignments=7137, nogoods=1070, foundSolutions=4, bestBound=6 5.25/2.94 5.25/2.96 num=94, depth=1..52, filters=78486, ccks=912, wck=0.65, mem=50M367 5.25/2.96 decisions=32937, wrong=14076, backtracks=12411, failedAssignments=7739, nogoods=1080, foundSolutions=4, bestBound=6 5.25/2.96 5.25/3.00 num=95, depth=5..178, filters=85517, ccks=912, wck=0.689, mem=53M9 5.25/3.00 decisions=35679, wrong=15378, backtracks=13605, failedAssignments=8401, nogoods=1124, foundSolutions=4, bestBound=6 5.25/3.00 5.36/3.03 num=96, depth=4..76, filters=91125, ccks=912, wck=0.718, mem=53M9 5.36/3.03 decisions=38835, wrong=16931, backtracks=15110, failedAssignments=9129, nogoods=1150, foundSolutions=4, bestBound=6 5.36/3.03 5.36/3.06 num=97, depth=2..36, filters=97150, ccks=912, wck=0.751, mem=53M9 5.36/3.06 decisions=42084, wrong=18547, backtracks=16666, failedAssignments=9930, nogoods=1156, foundSolutions=4, bestBound=6 5.36/3.06 5.46/3.13 num=98, depth=8..37, filters=108377, ccks=912, wck=0.815, mem=53M9 5.46/3.13 decisions=45312, wrong=20150, backtracks=18165, failedAssignments=10811, nogoods=1164, foundSolutions=4, bestBound=6 5.46/3.13 5.55/3.20 num=99, depth=11..123, filters=122813, ccks=912, wck=0.887, mem=53M9 5.55/3.20 decisions=50390, wrong=22647, backtracks=20498, failedAssignments=11781, nogoods=1189, foundSolutions=4, bestBound=6 5.55/3.20 5.65/3.35 num=100, depth=18..65, filters=161679, ccks=912, wck=1.033, mem=53M9 5.65/3.35 decisions=55617, wrong=25241, backtracks=22956, failedAssignments=12848, nogoods=1209, foundSolutions=4, bestBound=6 5.65/3.35 5.75/3.41 num=101, depth=12..37, filters=173915, ccks=912, wck=1.097, mem=53M9 5.75/3.41 decisions=60140, wrong=27493, backtracks=25010, failedAssignments=14021, nogoods=1224, foundSolutions=4, bestBound=6 5.75/3.41 5.75/3.48 num=102, depth=15..47, filters=187264, ccks=912, wck=1.163, mem=55M652 5.75/3.48 decisions=64325, wrong=29575, backtracks=26966, failedAssignments=15312, nogoods=1235, foundSolutions=4, bestBound=6 5.75/3.48 5.85/3.54 num=103, depth=6..37, filters=200565, ccks=912, wck=1.229, mem=55M652 5.85/3.54 decisions=69474, wrong=32142, backtracks=29395, failedAssignments=16732, nogoods=1245, foundSolutions=4, bestBound=6 5.85/3.54 5.95/3.62 num=104, depth=3..120, filters=213847, ccks=912, wck=1.311, mem=55M652 5.95/3.62 decisions=76823, wrong=35777, backtracks=32904, failedAssignments=18294, nogoods=1274, foundSolutions=4, bestBound=6 5.95/3.62 6.05/3.71 num=105, depth=6..49, filters=229685, ccks=912, wck=1.397, mem=55M652 6.05/3.71 decisions=83586, wrong=39150, backtracks=35759, failedAssignments=20012, nogoods=1286, foundSolutions=4, bestBound=6 6.05/3.71 6.15/3.86 num=106, depth=11..71, filters=263158, ccks=912, wck=1.549, mem=58M294 6.15/3.86 decisions=92466, wrong=43570, backtracks=39983, failedAssignments=21902, nogoods=1307, foundSolutions=4, bestBound=6 6.15/3.86 6.25/4.00 num=107, depth=7..38, filters=289605, ccks=912, wck=1.688, mem=58M294 6.25/4.00 decisions=99789, wrong=47223, backtracks=43502, failedAssignments=23981, nogoods=1318, foundSolutions=4, bestBound=6 6.25/4.00 6.46/4.12 num=108, depth=5..42, filters=314587, ccks=912, wck=1.807, mem=60M937 6.46/4.12 decisions=108377, wrong=51505, backtracks=47649, failedAssignments=26268, nogoods=1331, foundSolutions=4, bestBound=6 6.46/4.12 6.57/4.23 num=109, depth=2..152, filters=332483, ccks=912, wck=1.918, mem=60M937 6.57/4.23 decisions=119201, wrong=56860, backtracks=52734, failedAssignments=28784, nogoods=1365, foundSolutions=4, bestBound=6 6.57/4.23 6.68/4.33 num=110, depth=5..73, filters=349624, ccks=912, wck=2.014, mem=60M937 6.68/4.33 decisions=131661, wrong=63068, backtracks=58785, failedAssignments=31552, nogoods=1387, foundSolutions=4, bestBound=6 6.68/4.33 6.78/4.45 num=111, depth=7..144, filters=370815, ccks=912, wck=2.133, mem=63M579 6.78/4.45 decisions=144183, wrong=69283, backtracks=64797, failedAssignments=34596, nogoods=1435, foundSolutions=4, bestBound=6 6.78/4.45 6.98/4.60 num=112, depth=9..130, filters=400597, ccks=912, wck=2.291, mem=63M579 6.98/4.60 decisions=158902, wrong=76605, backtracks=71731, failedAssignments=37945, nogoods=1473, foundSolutions=4, bestBound=6 6.98/4.60 7.08/4.76 num=113, depth=5..130, filters=429242, ccks=912, wck=2.445, mem=63M579 7.08/4.76 decisions=176808, wrong=85521, backtracks=80382, failedAssignments=41629, nogoods=1515, foundSolutions=4, bestBound=6 7.08/4.76 7.28/4.92 num=114, depth=1..86, filters=458963, ccks=912, wck=2.603, mem=66M222 7.28/4.92 decisions=193461, wrong=93821, backtracks=88436, failedAssignments=45681, nogoods=1544, foundSolutions=4, bestBound=6 7.28/4.92 7.28/4.93 o 5 7.28/4.94 num=115, depth=11..380, filters=461342, ccks=1140, wck=2.622, mem=66M222 7.28/4.94 decisions=195076, wrong=94557, backtracks=89089, failedAssignments=46079, nogoods=1581, foundSolutions=5, bestBound=5 7.28/4.94 7.52/5.12 num=116, depth=11..94, filters=491535, ccks=1140, wck=2.812, mem=68M864 7.52/5.12 decisions=215048, wrong=104513, backtracks=98845, failedAssignments=50982, nogoods=1612, foundSolutions=5, bestBound=5 7.52/5.12 7.52/5.13 num=117, depth=1..40, filters=491642, ccks=1140, wck=2.813, mem=68M864 7.52/5.13 decisions=215100, wrong=104524, backtracks=98845, failedAssignments=50993, nogoods=1623, foundSolutions=5, bestBound=5 7.52/5.13 7.52/5.13 num=118, depth=1..39, filters=491778, ccks=1140, wck=2.815, mem=68M864 7.52/5.13 decisions=215157, wrong=104539, backtracks=98849, failedAssignments=51005, nogoods=1632, foundSolutions=5, bestBound=5 7.52/5.13 7.52/5.13 num=119, depth=1..39, filters=491911, ccks=1140, wck=2.816, mem=68M864 7.52/5.13 decisions=215221, wrong=104556, backtracks=98856, failedAssignments=51018, nogoods=1642, foundSolutions=5, bestBound=5 7.52/5.13 7.52/5.13 num=120, depth=1..40, filters=492035, ccks=1140, wck=2.817, mem=68M864 7.52/5.13 decisions=215280, wrong=104571, backtracks=98860, failedAssignments=51032, nogoods=1653, foundSolutions=5, bestBound=5 7.52/5.13 7.52/5.13 num=121, depth=1..40, filters=492178, ccks=1140, wck=2.818, mem=68M864 7.52/5.13 decisions=215350, wrong=104594, backtracks=98868, failedAssignments=51048, nogoods=1662, foundSolutions=5, bestBound=5 7.52/5.13 7.52/5.13 num=122, depth=1..38, filters=492306, ccks=1140, wck=2.82, mem=68M864 7.52/5.13 decisions=215425, wrong=104620, backtracks=98881, failedAssignments=51065, nogoods=1668, foundSolutions=5, bestBound=5 7.52/5.13 7.52/5.13 num=123, depth=1..42, filters=492469, ccks=1140, wck=2.821, mem=68M864 7.52/5.13 decisions=215502, wrong=104647, backtracks=98891, failedAssignments=51084, nogoods=1678, foundSolutions=5, bestBound=5 7.52/5.13 7.52/5.13 num=124, depth=20..37, filters=492675, ccks=1140, wck=2.822, mem=68M864 7.52/5.13 decisions=215602, wrong=104682, backtracks=98913, failedAssignments=51105, nogoods=1683, foundSolutions=5, bestBound=5 7.52/5.13 7.52/5.14 num=125, depth=1..41, filters=492864, ccks=1140, wck=2.824, mem=68M864 7.52/5.14 decisions=215692, wrong=104712, backtracks=98932, failedAssignments=51128, nogoods=1694, foundSolutions=5, bestBound=5 7.52/5.14 7.52/5.14 num=126, depth=20..39, filters=493223, ccks=1140, wck=2.826, mem=68M864 7.52/5.14 decisions=215825, wrong=104763, backtracks=98971, failedAssignments=51153, nogoods=1700, foundSolutions=5, bestBound=5 7.52/5.14 7.52/5.14 num=127, depth=19..38, filters=493548, ccks=1140, wck=2.828, mem=68M864 7.52/5.14 decisions=215974, wrong=104824, backtracks=99011, failedAssignments=51181, nogoods=1705, foundSolutions=5, bestBound=5 7.52/5.14 7.52/5.14 num=128, depth=1..44, filters=493911, ccks=1140, wck=2.83, mem=68M864 7.52/5.14 decisions=216101, wrong=104872, backtracks=99040, failedAssignments=51212, nogoods=1717, foundSolutions=5, bestBound=5 7.52/5.14 7.52/5.15 num=129, depth=1..48, filters=494323, ccks=1140, wck=2.833, mem=68M864 7.52/5.15 decisions=216255, wrong=104933, backtracks=99087, failedAssignments=51246, nogoods=1729, foundSolutions=5, bestBound=5 7.52/5.15 7.52/5.15 num=130, depth=5..42, filters=494768, ccks=1140, wck=2.836, mem=68M864 7.52/5.15 decisions=216443, wrong=105012, backtracks=99150, failedAssignments=51283, nogoods=1736, foundSolutions=5, bestBound=5 7.52/5.15 7.52/5.15 num=131, depth=1..48, filters=495213, ccks=1140, wck=2.839, mem=68M864 7.52/5.15 decisions=216623, wrong=105086, backtracks=99209, failedAssignments=51324, nogoods=1747, foundSolutions=5, bestBound=5 7.52/5.15 7.52/5.15 num=132, depth=1..50, filters=495630, ccks=1140, wck=2.841, mem=68M864 7.52/5.15 decisions=216812, wrong=105163, backtracks=99272, failedAssignments=51369, nogoods=1759, foundSolutions=5, bestBound=5 7.52/5.15 7.52/5.16 num=133, depth=1..42, filters=495970, ccks=1140, wck=2.843, mem=68M864 7.52/5.16 decisions=217027, wrong=105255, backtracks=99327, failedAssignments=51419, nogoods=1769, foundSolutions=5, bestBound=5 7.52/5.16 7.52/5.16 num=134, depth=5..45, filters=496504, ccks=1140, wck=2.847, mem=68M864 7.52/5.16 decisions=217295, wrong=105374, backtracks=99430, failedAssignments=51474, nogoods=1777, foundSolutions=5, bestBound=5 7.52/5.16 7.52/5.16 num=135, depth=26..39, filters=497042, ccks=1140, wck=2.85, mem=68M864 7.52/5.16 decisions=217550, wrong=105487, backtracks=99516, failedAssignments=51535, nogoods=1779, foundSolutions=5, bestBound=5 7.52/5.16 7.52/5.16 num=136, depth=5..43, filters=497474, ccks=1140, wck=2.852, mem=68M864 7.52/5.16 decisions=217804, wrong=105599, backtracks=99611, failedAssignments=51602, nogoods=1787, foundSolutions=5, bestBound=5 7.52/5.16 7.52/5.17 num=137, depth=21..38, filters=497889, ccks=1140, wck=2.855, mem=68M864 7.52/5.17 decisions=218092, wrong=105728, backtracks=99726, failedAssignments=51676, nogoods=1792, foundSolutions=5, bestBound=5 7.52/5.17 7.52/5.17 num=138, depth=20..42, filters=498664, ccks=1140, wck=2.86, mem=68M864 7.52/5.17 decisions=218423, wrong=105879, backtracks=99862, failedAssignments=51757, nogoods=1796, foundSolutions=5, bestBound=5 7.52/5.17 7.52/5.18 num=139, depth=22..39, filters=499312, ccks=1140, wck=2.863, mem=68M864 7.52/5.18 decisions=218805, wrong=106055, backtracks=100009, failedAssignments=51846, nogoods=1799, foundSolutions=5, bestBound=5 7.52/5.18 7.52/5.18 num=140, depth=27..44, filters=500162, ccks=1140, wck=2.868, mem=68M864 7.52/5.18 decisions=219190, wrong=106232, backtracks=100171, failedAssignments=51944, nogoods=1805, foundSolutions=5, bestBound=5 7.52/5.18 7.52/5.18 num=141, depth=1..44, filters=500902, ccks=1140, wck=2.873, mem=68M864 7.52/5.18 decisions=219575, wrong=106410, backtracks=100325, failedAssignments=52052, nogoods=1816, foundSolutions=5, bestBound=5 7.52/5.18 7.52/5.19 num=142, depth=1..49, filters=501941, ccks=1140, wck=2.878, mem=68M864 7.52/5.19 decisions=220039, wrong=106628, backtracks=100528, failedAssignments=52171, nogoods=1825, foundSolutions=5, bestBound=5 7.52/5.19 7.52/5.20 num=143, depth=26..43, filters=503110, ccks=1140, wck=2.884, mem=68M864 7.52/5.20 decisions=220561, wrong=106874, backtracks=100750, failedAssignments=52302, nogoods=1832, foundSolutions=5, bestBound=5 7.52/5.20 7.64/5.20 num=144, depth=1..70, filters=504115, ccks=1140, wck=2.891, mem=68M864 7.64/5.20 decisions=221027, wrong=107083, backtracks=100922, failedAssignments=52446, nogoods=1853, foundSolutions=5, bestBound=5 7.64/5.20 7.64/5.21 num=145, depth=1..52, filters=505182, ccks=1140, wck=2.897, mem=68M864 7.64/5.21 decisions=221566, wrong=107335, backtracks=101162, failedAssignments=52604, nogoods=1865, foundSolutions=5, bestBound=5 7.64/5.21 7.64/5.22 num=146, depth=4..46, filters=506531, ccks=1140, wck=2.904, mem=68M864 7.64/5.22 decisions=222215, wrong=107643, backtracks=101442, failedAssignments=52778, nogoods=1878, foundSolutions=5, bestBound=5 7.64/5.22 7.64/5.22 num=147, depth=1..51, filters=508066, ccks=1140, wck=2.912, mem=68M864 7.64/5.22 decisions=222899, wrong=107968, backtracks=101732, failedAssignments=52969, nogoods=1891, foundSolutions=5, bestBound=5 7.64/5.22 7.64/5.23 num=148, depth=1..39, filters=510351, ccks=1140, wck=2.923, mem=68M864 7.64/5.23 decisions=223673, wrong=108344, backtracks=102073, failedAssignments=53180, nogoods=1900, foundSolutions=5, bestBound=5 7.64/5.23 7.64/5.25 num=149, depth=1..77, filters=512542, ccks=1140, wck=2.935, mem=68M864 7.64/5.25 decisions=224674, wrong=108821, backtracks=102510, failedAssignments=53412, nogoods=1926, foundSolutions=5, bestBound=5 7.64/5.25 7.64/5.26 num=150, depth=1..49, filters=514609, ccks=1140, wck=2.945, mem=68M864 7.64/5.26 decisions=225659, wrong=109297, backtracks=102962, failedAssignments=53667, nogoods=1942, foundSolutions=5, bestBound=5 7.64/5.26 7.64/5.27 num=151, depth=9..71, filters=517576, ccks=1140, wck=2.96, mem=68M864 7.64/5.27 decisions=226984, wrong=109934, backtracks=103552, failedAssignments=53948, nogoods=1954, foundSolutions=5, bestBound=5 7.64/5.27 7.64/5.28 num=152, depth=1..77, filters=519715, ccks=1140, wck=2.973, mem=68M864 7.64/5.28 decisions=228203, wrong=110518, backtracks=104110, failedAssignments=54257, nogoods=1974, foundSolutions=5, bestBound=5 7.64/5.28 7.64/5.30 num=153, depth=1..82, filters=521615, ccks=1140, wck=2.984, mem=68M864 7.64/5.30 decisions=229547, wrong=111164, backtracks=104729, failedAssignments=54597, nogoods=1998, foundSolutions=5, bestBound=5 7.64/5.30 7.76/5.31 num=154, depth=1..77, filters=524359, ccks=1140, wck=2.999, mem=68M864 7.76/5.31 decisions=231008, wrong=111868, backtracks=105396, failedAssignments=54971, nogoods=2018, foundSolutions=5, bestBound=5 7.76/5.31 7.76/5.33 num=155, depth=1..65, filters=526640, ccks=1140, wck=3.013, mem=68M864 7.76/5.33 decisions=232674, wrong=112679, backtracks=106188, failedAssignments=55382, nogoods=2034, foundSolutions=5, bestBound=5 7.76/5.33 7.76/5.34 num=156, depth=1..51, filters=529861, ccks=1140, wck=3.032, mem=68M864 7.76/5.34 decisions=234643, wrong=113650, backtracks=107135, failedAssignments=55834, nogoods=2053, foundSolutions=5, bestBound=5 7.76/5.34 7.76/5.37 num=157, depth=1..55, filters=533716, ccks=1140, wck=3.055, mem=71M507 7.76/5.37 decisions=236836, wrong=114733, backtracks=108182, failedAssignments=56331, nogoods=2072, foundSolutions=5, bestBound=5 7.76/5.37 7.76/5.39 num=158, depth=1..63, filters=537335, ccks=1140, wck=3.076, mem=71M507 7.76/5.39 decisions=239283, wrong=115938, backtracks=109330, failedAssignments=56878, nogoods=2088, foundSolutions=5, bestBound=5 7.76/5.39 7.86/5.41 num=159, depth=1..83, filters=541707, ccks=1140, wck=3.1, mem=71M507 7.86/5.41 decisions=241962, wrong=117255, backtracks=110547, failedAssignments=57480, nogoods=2120, foundSolutions=5, bestBound=5 7.86/5.41 7.86/5.44 num=160, depth=1..74, filters=546282, ccks=1140, wck=3.125, mem=71M507 7.86/5.44 decisions=244745, wrong=118625, backtracks=111850, failedAssignments=58142, nogoods=2144, foundSolutions=5, bestBound=5 7.86/5.44 7.86/5.46 num=161, depth=1..74, filters=551534, ccks=1140, wck=3.153, mem=71M507 7.86/5.46 decisions=247689, wrong=120077, backtracks=113242, failedAssignments=58870, nogoods=2170, foundSolutions=5, bestBound=5 7.86/5.46 8.03/5.50 num=162, depth=1..47, filters=557635, ccks=1140, wck=3.185, mem=71M507 8.03/5.50 decisions=251146, wrong=121794, backtracks=114882, failedAssignments=59671, nogoods=2182, foundSolutions=5, bestBound=5 8.03/5.50 8.03/5.52 num=163, depth=1..50, filters=562884, ccks=1140, wck=3.212, mem=71M507 8.03/5.52 decisions=254318, wrong=123368, backtracks=116340, failedAssignments=60552, nogoods=2199, foundSolutions=5, bestBound=5 8.03/5.52 8.03/5.58 num=164, depth=1..118, filters=572551, ccks=1140, wck=3.266, mem=71M507 8.03/5.58 decisions=259337, wrong=125844, backtracks=118739, failedAssignments=61522, nogoods=2231, foundSolutions=5, bestBound=5 8.03/5.58 8.13/5.63 num=165, depth=1..101, filters=580788, ccks=1140, wck=3.315, mem=71M507 8.13/5.63 decisions=264250, wrong=128267, backtracks=121046, failedAssignments=62589, nogoods=2259, foundSolutions=5, bestBound=5 8.13/5.63 8.13/5.67 num=166, depth=1..83, filters=589627, ccks=1140, wck=3.362, mem=71M507 8.13/5.67 decisions=269393, wrong=130816, backtracks=123397, failedAssignments=63762, nogoods=2283, foundSolutions=5, bestBound=5 8.13/5.67 8.25/5.74 num=167, depth=4..134, filters=601463, ccks=1140, wck=3.429, mem=71M507 8.25/5.74 decisions=276361, wrong=134257, backtracks=126726, failedAssignments=65053, nogoods=2320, foundSolutions=5, bestBound=5 8.25/5.74 8.41/5.82 num=168, depth=1..89, filters=615256, ccks=1140, wck=3.509, mem=74M149 8.41/5.82 decisions=283074, wrong=137584, backtracks=129850, failedAssignments=66473, nogoods=2349, foundSolutions=5, bestBound=5 8.41/5.82 8.41/5.89 num=169, depth=1..103, filters=627573, ccks=1140, wck=3.579, mem=74M149 8.41/5.89 decisions=290272, wrong=141152, backtracks=133289, failedAssignments=68035, nogoods=2387, foundSolutions=5, bestBound=5 8.41/5.89 8.52/5.95 num=170, depth=1..56, filters=639105, ccks=1140, wck=3.64, mem=74M149 8.52/5.95 decisions=297944, wrong=144972, backtracks=137033, failedAssignments=69753, nogoods=2404, foundSolutions=5, bestBound=5 8.52/5.95 8.62/6.04 num=171, depth=4..53, filters=656453, ccks=1140, wck=3.728, mem=74M149 8.62/6.04 decisions=305434, wrong=148707, backtracks=140670, failedAssignments=71643, nogoods=2420, foundSolutions=5, bestBound=5 8.62/6.04 8.72/6.12 num=172, depth=1..65, filters=672098, ccks=1140, wck=3.812, mem=74M149 8.72/6.12 decisions=313174, wrong=152557, backtracks=143950, failedAssignments=73722, nogoods=2443, foundSolutions=5, bestBound=5 8.72/6.12 8.81/6.22 num=173, depth=6..73, filters=690110, ccks=1140, wck=3.908, mem=76M791 8.81/6.22 decisions=322380, wrong=157136, backtracks=148155, failedAssignments=76009, nogoods=2469, foundSolutions=5, bestBound=5 8.81/6.22 8.91/6.33 num=174, depth=3..78, filters=710637, ccks=1140, wck=4.016, mem=76M791 8.91/6.33 decisions=332813, wrong=162332, backtracks=152623, failedAssignments=78525, nogoods=2491, foundSolutions=5, bestBound=5 8.91/6.33 9.01/6.45 num=175, depth=3..38, filters=735807, ccks=1140, wck=4.138, mem=76M791 9.01/6.45 decisions=344591, wrong=168210, backtracks=158137, failedAssignments=81293, nogoods=2502, foundSolutions=5, bestBound=5 9.01/6.45 9.22/6.63 num=176, depth=6..71, filters=768735, ccks=1140, wck=4.322, mem=76M791 9.22/6.63 decisions=357617, wrong=174702, backtracks=164008, failedAssignments=84337, nogoods=2517, foundSolutions=5, bestBound=5 9.22/6.63 9.32/6.73 num=177, depth=15..79, filters=784725, ccks=1140, wck=4.413, mem=79M434 9.32/6.73 decisions=368994, wrong=180363, backtracks=169386, failedAssignments=87686, nogoods=2534, foundSolutions=5, bestBound=5 9.32/6.73 9.42/6.88 num=178, depth=7..112, filters=811896, ccks=1140, wck=4.566, mem=79M434 9.42/6.88 decisions=387102, wrong=189386, backtracks=178138, failedAssignments=91370, nogoods=2571, foundSolutions=5, bestBound=5 9.42/6.88 9.73/7.13 num=179, depth=2..68, filters=858107, ccks=1140, wck=4.821, mem=79M434 9.73/7.13 decisions=408086, wrong=199858, backtracks=188225, failedAssignments=95422, nogoods=2590, foundSolutions=5, bestBound=5 9.73/7.13 9.93/7.37 num=180, depth=6..54, filters=899648, ccks=1140, wck=5.059, mem=82M76 9.93/7.37 decisions=428896, wrong=210245, backtracks=198435, failedAssignments=99879, nogoods=2605, foundSolutions=5, bestBound=5 9.93/7.37 10.13/7.56 num=181, depth=3..55, filters=936316, ccks=1140, wck=5.253, mem=82M76 10.13/7.56 decisions=450331, wrong=220948, backtracks=208713, failedAssignments=104782, nogoods=2622, foundSolutions=5, bestBound=5 10.13/7.56 10.33/7.76 num=182, depth=6..124, filters=968942, ccks=1140, wck=5.443, mem=84M719 10.33/7.76 decisions=474440, wrong=232967, backtracks=220445, failedAssignments=110176, nogoods=2651, foundSolutions=5, bestBound=5 10.33/7.76 10.53/7.96 num=183, depth=5..87, filters=1005198, ccks=1140, wck=5.645, mem=84M719 10.53/7.96 decisions=501814, wrong=246627, backtracks=233881, failedAssignments=116109, nogoods=2677, foundSolutions=5, bestBound=5 10.53/7.96 10.74/8.19 num=184, depth=5..78, filters=1047632, ccks=1140, wck=5.883, mem=87M361 10.74/8.19 decisions=531713, wrong=261555, backtracks=248479, failedAssignments=122635, nogoods=2699, foundSolutions=5, bestBound=5 10.74/8.19 11.03/8.43 num=185, depth=6..77, filters=1092157, ccks=1140, wck=6.117, mem=90M4 11.03/8.43 decisions=560269, wrong=275820, backtracks=262283, failedAssignments=129814, nogoods=2715, foundSolutions=5, bestBound=5 11.03/8.43 11.33/8.76 num=186, depth=3..81, filters=1153413, ccks=1140, wck=6.451, mem=92M646 11.33/8.76 decisions=595159, wrong=293243, backtracks=278761, failedAssignments=137711, nogoods=2732, foundSolutions=5, bestBound=5 11.33/8.76 11.65/9.08 num=187, depth=5..72, filters=1214811, ccks=1140, wck=6.772, mem=92M646 11.65/9.08 decisions=631278, wrong=311293, backtracks=295311, failedAssignments=146398, nogoods=2742, foundSolutions=5, bestBound=5 11.65/9.08 12.04/9.44 num=188, depth=6..92, filters=1281688, ccks=1140, wck=7.123, mem=95M289 12.04/9.44 decisions=669926, wrong=330605, backtracks=313886, failedAssignments=155953, nogoods=2760, foundSolutions=5, bestBound=5 12.04/9.44 12.44/9.81 num=189, depth=9..100, filters=1350396, ccks=1140, wck=7.502, mem=97M931 12.44/9.81 decisions=709127, wrong=350175, backtracks=331099, failedAssignments=166464, nogoods=2799, foundSolutions=5, bestBound=5 12.44/9.81 12.84/10.25 num=190, depth=11..47, filters=1433785, ccks=1140, wck=7.941, mem=100M573 12.84/10.25 decisions=748568, wrong=369883, backtracks=348087, failedAssignments=178026, nogoods=2812, foundSolutions=5, bestBound=5 12.84/10.25 13.34/10.77 num=191, depth=5..85, filters=1524100, ccks=1140, wck=8.459, mem=103M216 13.34/10.77 decisions=798090, wrong=394619, backtracks=370765, failedAssignments=190744, nogoods=2838, foundSolutions=5, bestBound=5 13.34/10.77 14.24/11.63 num=192, depth=8..83, filters=1692989, ccks=1140, wck=9.323, mem=108M501 14.24/11.63 decisions=858372, wrong=424736, backtracks=400060, failedAssignments=204734, nogoods=2870, foundSolutions=5, bestBound=5 14.24/11.63 14.94/12.38 num=193, depth=7..68, filters=1838724, ccks=1140, wck=10.069, mem=111M144 14.94/12.38 decisions=925340, wrong=458201, backtracks=431638, failedAssignments=220123, nogoods=2896, foundSolutions=5, bestBound=5 14.94/12.38 15.54/13.00 num=194, depth=9..89, filters=1947615, ccks=1140, wck=10.69, mem=116M428 15.54/13.00 decisions=996124, wrong=493576, backtracks=464082, failedAssignments=237051, nogoods=2920, foundSolutions=5, bestBound=5 15.54/13.00 16.24/13.63 num=195, depth=3..73, filters=2066007, ccks=1140, wck=11.32, mem=121M713 16.24/13.63 decisions=1069574, wrong=530284, backtracks=499829, failedAssignments=255672, nogoods=2943, foundSolutions=5, bestBound=5 16.24/13.63 16.84/14.26 num=196, depth=14..56, filters=2182226, ccks=1140, wck=11.945, mem=124M356 16.84/14.26 decisions=1146364, wrong=568664, backtracks=536208, failedAssignments=276156, nogoods=2958, foundSolutions=5, bestBound=5 16.84/14.26 17.94/15.35 num=197, depth=8..91, filters=2381869, ccks=1140, wck=13.039, mem=129M641 17.94/15.35 decisions=1238906, wrong=614907, backtracks=578087, failedAssignments=298688, nogoods=2989, foundSolutions=5, bestBound=5 17.94/15.35 19.04/16.49 num=198, depth=6..82, filters=2585822, ccks=1140, wck=14.176, mem=137M568 19.04/16.49 decisions=1333314, wrong=662086, backtracks=617625, failedAssignments=323473, nogoods=3006, foundSolutions=5, bestBound=5 19.04/16.49 20.55/17.91 num=199, depth=7..87, filters=2871398, ccks=1140, wck=15.602, mem=142M778 20.55/17.91 decisions=1453120, wrong=721965, backtracks=674386, failedAssignments=350737, nogoods=3035, foundSolutions=5, bestBound=5 20.55/17.91 21.79/19.11 num=200, depth=3..82, filters=3097012, ccks=1140, wck=16.801, mem=29M528 21.79/19.11 decisions=1583415, wrong=787095, backtracks=736589, failedAssignments=380727, nogoods=3055, foundSolutions=5, bestBound=5 21.79/19.11 22.79/20.13 num=201, depth=7..42, filters=3290583, ccks=1140, wck=17.816, mem=37M376 22.79/20.13 decisions=1720236, wrong=855496, backtracks=802726, failedAssignments=413716, nogoods=3058, foundSolutions=5, bestBound=5 22.79/20.13 24.09/21.41 num=202, depth=7..43, filters=3522840, ccks=1140, wck=19.1, mem=45M224 24.09/21.41 decisions=1871181, wrong=930960, backtracks=875553, failedAssignments=450004, nogoods=3068, foundSolutions=5, bestBound=5 24.09/21.41 25.69/23.03 num=203, depth=10..47, filters=3818097, ccks=1140, wck=20.719, mem=55M688 25.69/23.03 decisions=2017257, wrong=1003991, backtracks=944092, failedAssignments=489921, nogoods=3076, foundSolutions=5, bestBound=5 25.69/23.03 27.29/24.68 num=204, depth=3..63, filters=4126900, ccks=1140, wck=22.372, mem=66M152 27.29/24.68 decisions=2208801, wrong=1099749, backtracks=1036521, failedAssignments=533830, nogoods=3090, foundSolutions=5, bestBound=5 27.29/24.68 28.89/26.20 num=205, depth=5..62, filters=4406518, ccks=1140, wck=23.89, mem=76M616 28.89/26.20 decisions=2405574, wrong=1198120, backtracks=1131610, failedAssignments=582130, nogoods=3113, foundSolutions=5, bestBound=5 28.89/26.20 30.80/28.12 num=206, depth=7..45, filters=4765196, ccks=1140, wck=25.805, mem=89M696 30.80/28.12 decisions=2641903, wrong=1316277, backtracks=1247011, failedAssignments=635260, nogoods=3127, foundSolutions=5, bestBound=5 30.80/28.12 32.99/30.34 num=207, depth=13..63, filters=5208593, ccks=1140, wck=28.032, mem=105M392 32.99/30.34 decisions=2871582, wrong=1431100, backtracks=1347702, failedAssignments=693703, nogoods=3139, foundSolutions=5, bestBound=5 32.99/30.34 35.09/32.44 num=208, depth=0..69, filters=5626912, ccks=1140, wck=30.133, mem=121M88 35.09/32.44 decisions=3130812, wrong=1560695, backtracks=1456910, failedAssignments=757990, nogoods=3160, foundSolutions=5, bestBound=5 35.09/32.44 38.99/36.35 num=209, depth=9..85, filters=6417324, ccks=1140, wck=34.034, mem=136M784 38.99/36.35 decisions=3422821, wrong=1706680, backtracks=1592496, failedAssignments=828706, nogoods=3177, foundSolutions=5, bestBound=5 38.99/36.35 41.42/38.71 num=210, depth=5..60, filters=6872063, ccks=1140, wck=36.403, mem=24M281 41.42/38.71 decisions=3729548, wrong=1860028, backtracks=1733718, failedAssignments=906493, nogoods=3193, foundSolutions=5, bestBound=5 41.42/38.71 44.73/42.02 num=211, depth=7..74, filters=7547236, ccks=1140, wck=39.707, mem=45M283 44.73/42.02 decisions=4087498, wrong=2038986, backtracks=1904423, failedAssignments=992059, nogoods=3215, foundSolutions=5, bestBound=5 44.73/42.02 51.92/49.26 num=212, depth=7..98, filters=8880282, ccks=1140, wck=46.947, mem=71M535 51.92/49.26 decisions=4601623, wrong=2296021, backtracks=2157105, failedAssignments=1086182, nogoods=3235, foundSolutions=5, bestBound=5 51.92/49.26 56.33/53.60 num=213, depth=9..89, filters=9680342, ccks=1140, wck=51.292, mem=95M162 56.33/53.60 decisions=5063656, wrong=2527013, backtracks=2377195, failedAssignments=1189717, nogoods=3260, foundSolutions=5, bestBound=5 56.33/53.60 61.63/58.92 num=214, depth=15..88, filters=10700025, ccks=1140, wck=56.608, mem=124M40 61.63/58.92 decisions=5550216, wrong=2770274, backtracks=2601026, failedAssignments=1303606, nogoods=3281, foundSolutions=5, bestBound=5 61.63/58.92 66.75/64.04 num=215, depth=11..94, filters=11631272, ccks=1140, wck=61.73, mem=153M776 66.75/64.04 decisions=6103965, wrong=3047121, backtracks=2870189, failedAssignments=1428884, nogoods=3312, foundSolutions=5, bestBound=5 66.75/64.04 75.67/73.00 num=216, depth=15..82, filters=13452321, ccks=1140, wck=70.687, mem=55M903 75.67/73.00 decisions=6766599, wrong=3378421, backtracks=3189502, failedAssignments=1566690, nogoods=3325, foundSolutions=5, bestBound=5 75.67/73.00 80.67/77.95 num=217, depth=8..67, filters=14358064, ccks=1140, wck=75.64, mem=92M740 80.67/77.95 decisions=7417564, wrong=3703890, backtracks=3508088, failedAssignments=1718276, nogoods=3341, foundSolutions=5, bestBound=5 80.67/77.95 86.37/83.65 num=218, depth=7..72, filters=15403880, ccks=1140, wck=81.334, mem=134M840 86.37/83.65 decisions=8111174, wrong=4050675, backtracks=3844729, failedAssignments=1885021, nogoods=3366, foundSolutions=5, bestBound=5 86.37/83.65 92.31/89.57 num=219, depth=13..62, filters=16498822, ccks=1140, wck=87.254, mem=47M663 92.31/89.57 decisions=8846854, wrong=4418503, backtracks=4178966, failedAssignments=2068440, nogoods=3384, foundSolutions=5, bestBound=5 92.31/89.57 99.32/96.53 num=220, depth=7..54, filters=17784139, ccks=1140, wck=94.217, mem=96M936 99.32/96.53 decisions=9631664, wrong=4810896, backtracks=4551626, failedAssignments=2270201, nogoods=3407, foundSolutions=5, bestBound=5 99.32/96.53 106.83/104.09 num=221, depth=12..69, filters=19231062, ccks=1140, wck=101.782, mem=146M209 106.83/104.09 decisions=10455493, wrong=5222796, backtracks=4931596, failedAssignments=2492139, nogoods=3423, foundSolutions=5, bestBound=5 106.83/104.09 116.86/114.04 num=222, depth=10..49, filters=21077315, ccks=1140, wck=111.732, mem=75M362 116.86/114.04 decisions=11444386, wrong=5717231, backtracks=5403875, failedAssignments=2736270, nogoods=3439, foundSolutions=5, bestBound=5 116.86/114.04 126.76/123.92 num=223, depth=9..55, filters=22935781, ccks=1140, wck=121.608, mem=136M657 126.76/123.92 decisions=12408709, wrong=6199380, backtracks=5859051, failedAssignments=3004815, nogoods=3457, foundSolutions=5, bestBound=5 126.76/123.92 139.09/136.20 num=224, depth=6..44, filters=25196855, ccks=1140, wck=133.887, mem=79M543 139.09/136.20 decisions=13662394, wrong=6826212, backtracks=6467178, failedAssignments=3300214, nogoods=3476, foundSolutions=5, bestBound=5 139.09/136.20 151.24/148.33 num=225, depth=8..51, filters=27411195, ccks=1140, wck=146.02, mem=34M93 151.24/148.33 decisions=14895413, wrong=7442710, backtracks=7053776, failedAssignments=3625153, nogoods=3499, foundSolutions=5, bestBound=5 151.24/148.33 171.25/168.33 num=226, depth=15..66, filters=31076543, ccks=1140, wck=166.014, mem=110M749 171.25/168.33 decisions=16240928, wrong=8115456, backtracks=7662174, failedAssignments=3982586, nogoods=3514, foundSolutions=5, bestBound=5 171.25/168.33 192.27/189.38 num=227, depth=7..59, filters=35397675, ccks=1140, wck=187.063, mem=82M517 192.27/189.38 decisions=17890096, wrong=8940026, backtracks=8373989, failedAssignments=4375762, nogoods=3534, foundSolutions=5, bestBound=5 192.27/189.38 208.48/205.56 num=228, depth=12..65, filters=38552867, ccks=1140, wck=203.245, mem=59M969 208.48/205.56 decisions=19557924, wrong=9773923, backtracks=9131733, failedAssignments=4808256, nogoods=3561, foundSolutions=5, bestBound=5 208.48/205.56 226.50/223.57 num=229, depth=17..77, filters=41894298, ccks=1140, wck=221.261, mem=73M623 226.50/223.57 decisions=21380209, wrong=10685052, backtracks=9990889, failedAssignments=5284000, nogoods=3579, foundSolutions=5, bestBound=5 226.50/223.57 246.02/243.09 num=230, depth=10..56, filters=45412105, ccks=1140, wck=240.783, mem=75M295 246.02/243.09 decisions=23466746, wrong=11728311, backtracks=10976551, failedAssignments=5807318, nogoods=3590, foundSolutions=5, bestBound=5 246.02/243.09 266.83/263.83 num=231, depth=8..63, filters=49284152, ccks=1140, wck=261.519, mem=99M832 266.83/263.83 decisions=25678429, wrong=12834140, backtracks=12022744, failedAssignments=6382968, nogoods=3603, foundSolutions=5, bestBound=5 266.83/263.83 311.54/308.54 num=232, depth=9..62, filters=56787772, ccks=1140, wck=306.223, mem=128M208 311.54/308.54 decisions=28050197, wrong=14020009, backtracks=13022823, failedAssignments=7016183, nogoods=3622, foundSolutions=5, bestBound=5 311.54/308.54 348.68/345.62 num=233, depth=12..73, filters=63901553, ccks=1140, wck=343.305, mem=72M407 348.68/345.62 decisions=30952608, wrong=15471201, backtracks=14330708, failedAssignments=7712719, nogoods=3640, foundSolutions=5, bestBound=5 348.68/345.62 401.72/398.66 num=234, depth=3..104, filters=74885217, ccks=1140, wck=396.345, mem=38M941 401.72/398.66 decisions=34894054, wrong=17441903, backtracks=16208481, failedAssignments=8478909, nogoods=3670, foundSolutions=5, bestBound=5 401.72/398.66 454.75/451.61 num=235, depth=3..114, filters=84969640, ccks=1140, wck=449.301, mem=30M215 454.75/451.61 decisions=38789994, wrong=19389848, backtracks=18060595, failedAssignments=9321718, nogoods=3700, foundSolutions=5, bestBound=5 454.75/451.61 501.98/498.83 num=236, depth=4..87, filters=93786006, ccks=1140, wck=496.517, mem=48M148 501.98/498.83 decisions=42946139, wrong=21467897, backtracks=20063185, failedAssignments=10248808, nogoods=3721, foundSolutions=5, bestBound=5 501.98/498.83 554.12/550.97 num=237, depth=3..94, filters=103924904, ccks=1140, wck=548.657, mem=108M771 554.12/550.97 decisions=48029466, wrong=24009537, backtracks=22550584, failedAssignments=11268607, nogoods=3763, foundSolutions=5, bestBound=5 554.12/550.97 601.37/598.19 num=238, depth=6..95, filters=112964028, ccks=1140, wck=595.875, mem=87M1 601.37/598.19 decisions=53181847, wrong=26585702, backtracks=25069085, failedAssignments=12390386, nogoods=3792, foundSolutions=5, bestBound=5 601.37/598.19 654.69/651.47 num=239, depth=5..97, filters=122609253, ccks=1140, wck=649.159, mem=108M902 654.69/651.47 decisions=58746940, wrong=29368220, backtracks=27743313, failedAssignments=13624343, nogoods=3823, foundSolutions=5, bestBound=5 654.69/651.47 702.04/698.70 num=240, depth=8..91, filters=131084473, ccks=1140, wck=696.392, mem=90M924 702.04/698.70 decisions=63848771, wrong=31919109, backtracks=30055618, failedAssignments=14981696, nogoods=3848, foundSolutions=5, bestBound=5 702.04/698.70 749.97/746.67 num=241, depth=10..71, filters=139601254, ccks=1140, wck=744.361, mem=104M528 749.97/746.67 decisions=69549170, wrong=34769293, backtracks=32676362, failedAssignments=16474784, nogoods=3867, foundSolutions=5, bestBound=5 749.97/746.67 802.63/799.20 num=242, depth=9..85, filters=149707030, ccks=1140, wck=796.888, mem=53M793 802.63/799.20 decisions=76072159, wrong=38030772, backtracks=35552152, failedAssignments=18117181, nogoods=3887, foundSolutions=5, bestBound=5 802.63/799.20 898.19/894.72 num=243, depth=7..86, filters=167936041, ccks=1140, wck=892.407, mem=51M58 898.19/894.72 decisions=83578949, wrong=41784147, backtracks=38783017, failedAssignments=19923818, nogoods=3920, foundSolutions=5, bestBound=5 898.19/894.72 984.07/980.53 num=244, depth=5..102, filters=183875907, ccks=1140, wck=978.216, mem=33M910 984.07/980.53 decisions=92160707, wrong=46074997, backtracks=42814490, failedAssignments=21911119, nogoods=3963, foundSolutions=5, bestBound=5 984.07/980.53 1066.15/1062.51 num=245, depth=15..106, filters=198462892, ccks=1140, wck=1060.199, mem=27M861 1066.15/1062.51 decisions=100407136, wrong=50198179, backtracks=46488914, failedAssignments=24097150, nogoods=3991, foundSolutions=5, bestBound=5 1066.15/1062.51 1152.14/1148.46 num=246, depth=10..79, filters=213465414, ccks=1140, wck=1146.148, mem=30M41 1152.14/1148.46 decisions=110512323, wrong=55250753, backtracks=51233278, failedAssignments=26501784, nogoods=4017, foundSolutions=5, bestBound=5 1152.14/1148.46 1253.24/1249.45 num=247, depth=8..87, filters=232222535, ccks=1140, wck=1247.143, mem=67M533 1253.24/1249.45 decisions=121428314, wrong=60708731, backtracks=56461697, failedAssignments=29146881, nogoods=4040, foundSolutions=5, bestBound=5 1253.24/1249.45 1363.27/1359.32 num=248, depth=14..75, filters=252426975, ccks=1140, wck=1357.006, mem=39M686 1363.27/1359.32 decisions=133452864, wrong=66720993, backtracks=62163362, failedAssignments=32056488, nogoods=4052, foundSolutions=5, bestBound=5 1363.27/1359.32 1537.43/1533.34 num=249, depth=11..104, filters=283903149, ccks=1140, wck=1531.024, mem=48M169 1537.43/1533.34 decisions=147943822, wrong=73966454, backtracks=68405363, failedAssignments=35257056, nogoods=4077, foundSolutions=5, bestBound=5 1537.43/1533.34 1695.78/1691.59 num=250, depth=7..100, filters=314417118, ccks=1140, wck=1689.283, mem=59M959 1695.78/1691.59 decisions=161404427, wrong=80696730, backtracks=74535648, failedAssignments=38777681, nogoods=4113, foundSolutions=5, bestBound=5 1695.78/1691.59 1820.62/1816.29 num=251, depth=6..110, filters=338376208, ccks=1140, wck=1813.981, mem=58M914 1820.62/1816.29 decisions=176010499, wrong=87999743, backtracks=81176186, failedAssignments=42650368, nogoods=4146, foundSolutions=5, bestBound=5 1820.62/1816.29 1981.16/1976.64 num=252, depth=8..119, filters=366779992, ccks=1140, wck=1974.331, mem=48M243 1981.16/1976.64 decisions=193212267, wrong=96600591, backtracks=88973853, failedAssignments=46910324, nogoods=4190, foundSolutions=5, bestBound=5 1981.16/1976.64 2171.93/2167.29 num=253, depth=12..117, filters=399728755, ccks=1140, wck=2164.982, mem=60M32 2171.93/2167.29 decisions=211729879, wrong=105859366, backtracks=97465421, failedAssignments=51596276, nogoods=4223, foundSolutions=5, bestBound=5 2171.93/2167.29 2383.93/2379.08 num=254, depth=11..115, filters=437089119, ccks=1140, wck=2376.769, mem=41M875 2383.93/2379.08 decisions=232449823, wrong=116219307, backtracks=107022757, failedAssignments=56750823, nogoods=4263, foundSolutions=5, bestBound=5 2383.93/2379.08 2400.07/2395.11 2400.07/2395.11 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> 2400.07/2395.11 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 (15300 MiB free)
memory of node 1: 16384 MiB (15293 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391324-1568389055/watcher-4391324-1568389055 -o /tmp/evaluation-result-4391324-1568389055/solver-4391324-1568389055 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27766 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391324-1568389055.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28211, runsolver pid=28208
[startup+0.100057 s]*
/proc/loadavg: 1.85 1.77 1.87 5/229 28226
/proc/meminfo: memFree=31314760/32770624 swapFree=66918668/67108860
[pid=28211] ppid=28208 vsize=10659884 memory=26704 CPUtime=0.13 cores=0,2,4,6
/proc/28211/stat : 28211 (java) S 28208 28211 26121 0 -1 1077944320 5669 0 0 0 12 1 0 0 20 0 15 0 414843410 10915721216 6676 33554432000 4194304 4196468 140734383281168 140734383263712 140712151342839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
/proc/28211/statm: 2664971 6676 2858 1 0 2627468 0
[pid=28211/tid=28213] ppid=28208 vsize=10659884 memory=7892391828772250251 CPUtime=0.08 cores=0,2,4,6
/proc/28211/task/28213/stat : 28213 (java) S 28208 28211 26121 0 -1 1077944384 3494 0 0 0 8 0 0 0 20 0 15 0 414843410 10915721216 6742 33554432000 4194304 4196468 140734383281168 140712155571360 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28214] ppid=28208 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28214/stat : 28214 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843411 10915721216 6742 33554432000 4194304 4196468 140734383281168 140712123185936 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28215] ppid=28208 vsize=10659884 memory=139974930749056 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28215/stat : 28215 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843411 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711756663696 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28216] ppid=28208 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28216/stat : 28216 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843411 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711755611152 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28217] ppid=28208 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28217/stat : 28217 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843411 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711754558608 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28218] ppid=28208 vsize=10659884 memory=139974930749056 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28218/stat : 28218 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843412 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711643015152 140712151353986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28219] ppid=28208 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28219/stat : 28219 (java) S 28208 28211 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414843413 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711641961376 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28220] ppid=28208 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28220/stat : 28220 (java) S 28208 28211 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414843413 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711640908784 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28221] ppid=28208 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28221/stat : 28221 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843415 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711639857360 140712151361435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28222] ppid=28208 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28222/stat : 28222 (java) R 28208 28211 26121 0 -1 4202560 336 0 0 0 0 0 0 0 20 0 15 0 414843415 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711638804976 140712134778577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28223] ppid=28208 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28223/stat : 28223 (java) R 28208 28211 26121 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 414843415 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711637752432 140712151353986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28224] ppid=28208 vsize=10659884 memory=139974930749056 CPUtime=0.02 cores=0,2,4,6
/proc/28211/task/28224/stat : 28224 (java) R 28208 28211 26121 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 414843415 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711636699888 140712143579966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28225] ppid=28208 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28225/stat : 28225 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843416 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711635647584 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28226] ppid=28208 vsize=10659884 memory=139974930749056 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28226/stat : 28226 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843416 10915721216 6742 33554432000 4194304 4196468 140734383281168 140711634594096 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26704 KiB
[startup+0.211539 s]*
/proc/loadavg: 1.85 1.77 1.87 3/229 28226
/proc/meminfo: memFree=31307580/32770624 swapFree=66918668/67108860
[pid=28211] ppid=28208 vsize=10659884 memory=33664 CPUtime=0.33 cores=0,2,4,6
/proc/28211/stat : 28211 (java) S 28208 28211 26121 0 -1 1077944320 7140 0 0 0 31 2 0 0 20 0 15 0 414843410 10915721216 8416 33554432000 4194304 4196468 140734383281168 140734383263712 140712151342839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
/proc/28211/statm: 2664971 8416 2987 1 0 2627468 0
[pid=28211/tid=28213] ppid=28208 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/28211/task/28213/stat : 28213 (java) R 28208 28211 26121 0 -1 4202560 3985 0 0 0 18 1 0 0 20 0 15 0 414843410 10915721216 8416 33554432000 4194304 4196468 140734383281168 140712155574928 140712151364765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28214] ppid=28208 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28214/stat : 28214 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843411 10915721216 8416 33554432000 4194304 4196468 140734383281168 140712123185936 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28215] ppid=28208 vsize=10659884 memory=288370351082460800 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28215/stat : 28215 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843411 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711756663696 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28216] ppid=28208 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28216/stat : 28216 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843411 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711755611152 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28217] ppid=28208 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28217/stat : 28217 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843411 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711754558608 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28218] ppid=28208 vsize=10659884 memory=139974930749056 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28218/stat : 28218 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843412 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711643015152 140712151353986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28219] ppid=28208 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28219/stat : 28219 (java) S 28208 28211 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414843413 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711641961376 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28220] ppid=28208 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28220/stat : 28220 (java) S 28208 28211 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414843413 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711640908784 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28221] ppid=28208 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28221/stat : 28221 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843415 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711639857360 140712151361435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28222] ppid=28208 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28211/task/28222/stat : 28222 (java) S 28208 28211 26121 0 -1 1077944384 695 0 0 0 3 0 0 0 20 0 15 0 414843415 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711638804976 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28223] ppid=28208 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28211/task/28223/stat : 28223 (java) S 28208 28211 26121 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 15 0 414843415 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711637752432 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28224] ppid=28208 vsize=10659884 memory=139974930749056 CPUtime=0.05 cores=0,2,4,6
/proc/28211/task/28224/stat : 28224 (java) S 28208 28211 26121 0 -1 1077944384 850 0 0 0 5 0 0 0 20 0 15 0 414843415 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711636699888 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28225] ppid=28208 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28225/stat : 28225 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843416 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711635647584 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28226] ppid=28208 vsize=10659884 memory=139974930749056 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28226/stat : 28226 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843416 10915721216 8416 33554432000 4194304 4196468 140734383281168 140711634594096 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 33664 KiB
[startup+0.310347 s]*
/proc/loadavg: 1.85 1.77 1.87 3/229 28226
/proc/meminfo: memFree=31303168/32770624 swapFree=66918668/67108860
[pid=28211] ppid=28208 vsize=10660908 memory=39660 CPUtime=0.46 cores=0,2,4,6
/proc/28211/stat : 28211 (java) S 28208 28211 26121 0 -1 1077944320 9655 0 0 0 43 3 0 0 20 0 15 0 414843410 10916769792 9915 33554432000 4194304 4196468 140734383281168 140734383263712 140712151342839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
/proc/28211/statm: 2665227 9915 3000 1 0 2627724 0
[pid=28211/tid=28213] ppid=28208 vsize=10660908 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/28211/task/28213/stat : 28213 (java) R 28208 28211 26121 0 -1 4202560 6382 0 0 0 27 3 0 0 20 0 15 0 414843410 10916769792 9915 33554432000 4194304 4196468 140734383281168 140712155563728 140712144022557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28214] ppid=28208 vsize=10660908 memory=2810766 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28214/stat : 28214 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843411 10916769792 9915 33554432000 4194304 4196468 140734383281168 140712123185936 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28215] ppid=28208 vsize=10660908 memory=288370351082460800 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28215/stat : 28215 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843411 10916769792 9915 33554432000 4194304 4196468 140734383281168 140711756663696 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28216] ppid=28208 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28216/stat : 28216 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843411 10916769792 9915 33554432000 4194304 4196468 140734383281168 140711755611152 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28217] ppid=28208 vsize=10660908 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28217/stat : 28217 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843411 10916769792 9915 33554432000 4194304 4196468 140734383281168 140711754558608 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28218] ppid=28208 vsize=10660908 memory=139974930749056 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28218/stat : 28218 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843412 10916769792 9915 33554432000 4194304 4196468 140734383281168 140711643015152 140712151353986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28219] ppid=28208 vsize=10660908 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28219/stat : 28219 (java) S 28208 28211 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414843413 10916769792 9915 33554432000 4194304 4196468 140734383281168 140711641961376 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28220] ppid=28208 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28220/stat : 28220 (java) S 28208 28211 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414843413 10916769792 9957 33554432000 4194304 4196468 140734383281168 140711640908784 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28221] ppid=28208 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28221/stat : 28221 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843415 10916769792 9718 33554432000 4194304 4196468 140734383281168 140711639857360 140712151361435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28222] ppid=28208 vsize=10660908 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28211/task/28222/stat : 28222 (java) S 28208 28211 26121 0 -1 1077944384 756 0 0 0 4 0 0 0 20 0 15 0 414843415 10916769792 9718 33554432000 4194304 4196468 140734383281168 140711638804976 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28223] ppid=28208 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28211/task/28223/stat : 28223 (java) S 28208 28211 26121 0 -1 1077944384 265 0 0 0 3 0 0 0 20 0 15 0 414843415 10915721216 9718 33554432000 4194304 4196468 140734383281168 140711637752432 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28224] ppid=28208 vsize=10659884 memory=139974930749056 CPUtime=0.07 cores=0,2,4,6
/proc/28211/task/28224/stat : 28224 (java) S 28208 28211 26121 0 -1 1077944384 893 0 0 0 7 0 0 0 20 0 15 0 414843415 10915721216 9718 33554432000 4194304 4196468 140734383281168 140711636699888 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28225] ppid=28208 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28225/stat : 28225 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843416 10915721216 9718 33554432000 4194304 4196468 140734383281168 140711635647584 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28226] ppid=28208 vsize=10659884 memory=139974930749056 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28226/stat : 28226 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843416 10915721216 9718 33554432000 4194304 4196468 140734383281168 140711634594096 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10660908 KiB
Current children cumulated memory: 39660 KiB
[startup+0.700701 s]
/proc/loadavg: 2.19 1.84 1.89 3/229 28226
/proc/meminfo: memFree=31289940/32770624 swapFree=66918668/67108860
[pid=28211] ppid=28208 vsize=10661932 memory=62724 CPUtime=1.1 cores=0,2,4,6
/proc/28211/stat : 28211 (java) S 28208 28211 26121 0 -1 1077944320 13392 0 0 0 104 6 0 0 20 0 15 0 414843410 10917818368 15681 33554432000 4194304 4196468 140734383281168 140734383263712 140712151342839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
/proc/28211/statm: 2665483 15681 3062 1 0 2627980 0
[pid=28211/tid=28213] ppid=28208 vsize=10661932 memory=4481 CPUtime=0.67 cores=0,2,4,6
/proc/28211/task/28213/stat : 28213 (java) R 28208 28211 26121 0 -1 4202560 8846 0 0 0 63 4 0 0 20 0 15 0 414843410 10917818368 15681 33554432000 4194304 4196468 140734383281168 140712155565920 140712130881844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28214] ppid=28208 vsize=10661932 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28214/stat : 28214 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843411 10917818368 15681 33554432000 4194304 4196468 140734383281168 140712123185936 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28215] ppid=28208 vsize=10661932 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28215/stat : 28215 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843411 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711756663696 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28216] ppid=28208 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28216/stat : 28216 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843411 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711755611152 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28217] ppid=28208 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28217/stat : 28217 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843411 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711754558608 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28218] ppid=28208 vsize=10661932 memory=261170183307673 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28218/stat : 28218 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843412 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711643015152 140712151353986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28219] ppid=28208 vsize=10661932 memory=3545796572287875304 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28219/stat : 28219 (java) S 28208 28211 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414843413 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711641961376 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28220] ppid=28208 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28220/stat : 28220 (java) S 28208 28211 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414843413 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711640908784 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28221] ppid=28208 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28221/stat : 28221 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843415 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711639857360 140712151361435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28222] ppid=28208 vsize=10661932 memory=279949592259488 CPUtime=0.11 cores=0,2,4,6
/proc/28211/task/28222/stat : 28222 (java) S 28208 28211 26121 0 -1 1077944384 1129 0 0 0 11 0 0 0 20 0 15 0 414843415 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711638804976 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28223] ppid=28208 vsize=10661932 memory=19153 CPUtime=0.1 cores=0,2,4,6
/proc/28211/task/28223/stat : 28223 (java) S 28208 28211 26121 0 -1 1077944384 636 0 0 0 10 0 0 0 20 0 15 0 414843415 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711637752432 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28224] ppid=28208 vsize=10661932 memory=279949592232176 CPUtime=0.18 cores=0,2,4,6
/proc/28211/task/28224/stat : 28224 (java) S 28208 28211 26121 0 -1 1077944384 1422 0 0 0 18 0 0 0 20 0 15 0 414843415 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711636699888 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28225] ppid=28208 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28225/stat : 28225 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843416 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711635647584 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28226] ppid=28208 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28226/stat : 28226 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843416 10917818368 15681 33554432000 4194304 4196468 140734383281168 140711634594096 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62724 KiB
[startup+1.5007 s]
/proc/loadavg: 2.19 1.84 1.89 3/229 28226
/proc/meminfo: memFree=31272700/32770624 swapFree=66918668/67108860
[pid=28211] ppid=28208 vsize=10663980 memory=77080 CPUtime=2.01 cores=0,2,4,6
/proc/28211/stat : 28211 (java) S 28208 28211 26121 0 -1 1077944320 19298 0 0 0 194 7 0 0 20 0 15 0 414843410 10919915520 19270 33554432000 4194304 4196468 140734383281168 140734383263712 140712151342839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
/proc/28211/statm: 2665995 19270 3094 1 0 2628492 0
[pid=28211/tid=28213] ppid=28208 vsize=10663980 memory=279949593109152 CPUtime=1.47 cores=0,2,4,6
/proc/28211/task/28213/stat : 28213 (java) R 28208 28211 26121 0 -1 4202560 13218 0 0 0 142 5 0 0 20 0 15 0 414843410 10919915520 19270 33554432000 4194304 4196468 140734383281168 140712155559776 140712135423326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28214] ppid=28208 vsize=10663980 memory=279949592282032 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28214/stat : 28214 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843411 10919915520 19270 33554432000 4194304 4196468 140734383281168 140712123185936 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28215] ppid=28208 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28215/stat : 28215 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843411 10919915520 19270 33554432000 4194304 4196468 140734383281168 140711756663696 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28216] ppid=28208 vsize=10663980 memory=2811011 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28216/stat : 28216 (java) S 28208 28211 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843411 10919915520 19270 33554432000 4194304 4196468 140734383281168 140711755611152 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28217] ppid=28208 vsize=10663980 memory=2812297 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28217/stat : 28217 (java) S 28208 28211 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843411 10919915520 19270 33554432000 4194304 4196468 140734383281168 140711754558608 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28218] ppid=28208 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28218/stat : 28218 (java) S 28208 28211 26121 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 414843412 10919915520 19270 33554432000 4194304 4196468 140734383281168 140711643015152 140712151353986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
################
# More data... #
################
/proc/28211/task/28217/stat : 28217 (java) S 28208 28211 26121 0 -1 1077944384 2837 0 0 0 45 1 0 0 20 0 16 0 414843411 11006283776 47394 33554432000 4194304 4196468 140734383281168 140711754558608 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28218] ppid=28208 vsize=10748324 memory=189576 CPUtime=0.19 cores=0,2,4,6
/proc/28211/task/28218/stat : 28218 (java) S 28208 28211 26121 0 -1 1077944384 6198 0 0 0 16 3 0 0 20 0 16 0 414843412 11006283776 47394 33554432000 4194304 4196468 140734383281168 140711643015152 140712151353986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28219] ppid=28208 vsize=10748324 memory=2720 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28219/stat : 28219 (java) S 28208 28211 26121 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414843413 11006283776 47394 33554432000 4194304 4196468 140734383281168 140711641961440 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28220] ppid=28208 vsize=10748324 memory=189576 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28220/stat : 28220 (java) S 28208 28211 26121 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414843413 11006283776 47394 33554432000 4194304 4196468 140734383281168 140711640908800 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28221] ppid=28208 vsize=10748324 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28221/stat : 28221 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843415 11006283776 47394 33554432000 4194304 4196468 140734383281168 140711639857360 140712151361435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28222] ppid=28208 vsize=10748324 memory=189576 CPUtime=0.94 cores=0,2,4,6
/proc/28211/task/28222/stat : 28222 (java) S 28208 28211 26121 0 -1 1077944384 4031 0 0 0 94 0 0 0 20 0 16 0 414843415 11006283776 47394 33554432000 4194304 4196468 140734383281168 140711638804976 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28223] ppid=28208 vsize=10748324 memory=189576 CPUtime=1.04 cores=0,2,4,6
/proc/28211/task/28223/stat : 28223 (java) S 28208 28211 26121 0 -1 1077944384 2048 0 0 0 103 1 0 0 20 0 16 0 414843415 11006283776 47394 33554432000 4194304 4196468 140734383281168 140711637752432 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28224] ppid=28208 vsize=10748324 memory=4126316290023845779 CPUtime=0.66 cores=0,2,4,6
/proc/28211/task/28224/stat : 28224 (java) S 28208 28211 26121 0 -1 1077944384 7768 0 0 0 65 1 0 0 20 0 16 0 414843415 11006283776 47394 33554432000 4194304 4196468 140734383281168 140711636699888 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28225] ppid=28208 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28225/stat : 28225 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843416 11006283776 47394 33554432000 4194304 4196468 140734383281168 140711635647584 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28226] ppid=28208 vsize=10748324 memory=916 CPUtime=0.65 cores=0,2,4,6
/proc/28211/task/28226/stat : 28226 (java) S 28208 28211 26121 0 -1 1077944384 1002 0 0 0 31 34 0 0 20 0 16 0 414843416 11006283776 47394 33554432000 4194304 4196468 140734383281168 140711634594096 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28227] ppid=28208 vsize=10748324 memory=6791534058613427641 CPUtime=2319.87 cores=0,2,4,6
/proc/28211/task/28227/stat : 28227 (java) R 28208 28211 26121 0 -1 4202560 15984 0 0 0 231983 4 0 0 20 0 16 0 414843602 11006283776 47394 33554432000 4194304 4196468 140734383281168 140711617821952 140711793447725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
Current children cumulated CPU time: 2327.18 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 189576 KiB
[startup+2382.3 s]
/proc/loadavg: 1.94 1.77 1.72 3/231 28551
/proc/meminfo: memFree=29784104/32770624 swapFree=66918708/67108860
[pid=28211] ppid=28208 vsize=10748324 memory=189580 CPUtime=2387.23 cores=0,2,4,6
/proc/28211/stat : 28211 (java) S 28208 28211 26121 0 -1 1077944320 70938 0 0 0 238679 44 0 0 20 0 16 0 414843410 11006283776 47395 33554432000 4194304 4196468 140734383281168 140734383263712 140712151342839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
/proc/28211/statm: 2687081 47395 3374 1 0 2647217 0
[pid=28211/tid=28213] ppid=28208 vsize=10748324 memory=189576 CPUtime=1.89 cores=0,2,4,6
/proc/28211/task/28213/stat : 28213 (java) S 28208 28211 26121 0 -1 1077944384 15544 0 0 0 182 7 0 0 20 0 16 0 414843410 11006283776 47395 33554432000 4194304 4196468 140734383281168 140712155585712 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28214] ppid=28208 vsize=10748324 memory=189576 CPUtime=0.46 cores=0,2,4,6
/proc/28211/task/28214/stat : 28214 (java) S 28208 28211 26121 0 -1 1077944384 6332 0 0 0 45 1 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140712123185936 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28215] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.46 cores=0,2,4,6
/proc/28211/task/28215/stat : 28215 (java) S 28208 28211 26121 0 -1 1077944384 2137 0 0 0 44 2 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711756663696 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28216] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.46 cores=0,2,4,6
/proc/28211/task/28216/stat : 28216 (java) S 28208 28211 26121 0 -1 1077944384 4942 0 0 0 44 2 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711755611152 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28217] ppid=28208 vsize=10748324 memory=66 CPUtime=0.46 cores=0,2,4,6
/proc/28211/task/28217/stat : 28217 (java) S 28208 28211 26121 0 -1 1077944384 2839 0 0 0 45 1 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711754558608 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28218] ppid=28208 vsize=10748324 memory=236277 CPUtime=0.2 cores=0,2,4,6
/proc/28211/task/28218/stat : 28218 (java) S 28208 28211 26121 0 -1 1077944384 6381 0 0 0 17 3 0 0 20 0 16 0 414843412 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711643015152 140712151353986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28219] ppid=28208 vsize=10748324 memory=189576 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28219/stat : 28219 (java) S 28208 28211 26121 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414843413 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711641961440 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28220] ppid=28208 vsize=10748324 memory=189576 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28220/stat : 28220 (java) S 28208 28211 26121 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414843413 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711640908800 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28221] ppid=28208 vsize=10748324 memory=189580 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28221/stat : 28221 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711639857360 140712151361435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28222] ppid=28208 vsize=10748324 memory=2828 CPUtime=0.94 cores=0,2,4,6
/proc/28211/task/28222/stat : 28222 (java) S 28208 28211 26121 0 -1 1077944384 4033 0 0 0 94 0 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711638804976 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28223] ppid=28208 vsize=10748324 memory=3616 CPUtime=1.04 cores=0,2,4,6
/proc/28211/task/28223/stat : 28223 (java) S 28208 28211 26121 0 -1 1077944384 2051 0 0 0 103 1 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711637752432 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28224] ppid=28208 vsize=10748324 memory=21504 CPUtime=0.66 cores=0,2,4,6
/proc/28211/task/28224/stat : 28224 (java) S 28208 28211 26121 0 -1 1077944384 7928 0 0 0 65 1 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711636699888 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28225] ppid=28208 vsize=10748324 memory=189576 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28225/stat : 28225 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843416 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711635647584 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28226] ppid=28208 vsize=10748324 memory=189576 CPUtime=0.68 cores=0,2,4,6
/proc/28211/task/28226/stat : 28226 (java) S 28208 28211 26121 0 -1 1077944384 1021 0 0 0 32 36 0 0 20 0 16 0 414843416 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711634594096 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28227] ppid=28208 vsize=10748324 memory=94 CPUtime=2379.87 cores=0,2,4,6
/proc/28211/task/28227/stat : 28227 (java) R 28208 28211 26121 0 -1 4202560 16286 0 0 0 237983 4 0 0 20 0 16 0 414843602 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711617814032 140711793125319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
Current children cumulated CPU time: 2387.23 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 189580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2395.11 s]
/proc/loadavg: 1.95 1.78 1.72 3/231 28554
/proc/meminfo: memFree=29783968/32770624 swapFree=66918708/67108860
[pid=28211] ppid=28208 vsize=10748324 memory=189580 CPUtime=2400.07 cores=0,2,4,6
/proc/28211/stat : 28211 (java) S 28208 28211 26121 0 -1 1077944320 70971 0 0 0 239963 44 0 0 20 0 16 0 414843410 11006283776 47395 33554432000 4194304 4196468 140734383281168 140734383263712 140712151342839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
/proc/28211/statm: 2687081 47395 3374 1 0 2647217 0
[pid=28211/tid=28213] ppid=28208 vsize=10748324 memory=189576 CPUtime=1.89 cores=0,2,4,6
/proc/28211/task/28213/stat : 28213 (java) S 28208 28211 26121 0 -1 1077944384 15544 0 0 0 182 7 0 0 20 0 16 0 414843410 11006283776 47395 33554432000 4194304 4196468 140734383281168 140712155585712 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28214] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.46 cores=0,2,4,6
/proc/28211/task/28214/stat : 28214 (java) S 28208 28211 26121 0 -1 1077944384 6333 0 0 0 45 1 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140712123185936 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28215] ppid=28208 vsize=10748324 memory=6791534058613427641 CPUtime=0.47 cores=0,2,4,6
/proc/28211/task/28215/stat : 28215 (java) S 28208 28211 26121 0 -1 1077944384 2143 0 0 0 45 2 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711756663696 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28216] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.47 cores=0,2,4,6
/proc/28211/task/28216/stat : 28216 (java) S 28208 28211 26121 0 -1 1077944384 4946 0 0 0 45 2 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711755611152 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28217] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.46 cores=0,2,4,6
/proc/28211/task/28217/stat : 28217 (java) S 28208 28211 26121 0 -1 1077944384 2842 0 0 0 45 1 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711754558608 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28218] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.2 cores=0,2,4,6
/proc/28211/task/28218/stat : 28218 (java) S 28208 28211 26121 0 -1 1077944384 6398 0 0 0 17 3 0 0 20 0 16 0 414843412 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711643015152 140712151353986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28219] ppid=28208 vsize=10748324 memory=21504 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28219/stat : 28219 (java) S 28208 28211 26121 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414843413 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711641961440 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28220] ppid=28208 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28220/stat : 28220 (java) S 28208 28211 26121 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414843413 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711640908800 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28221] ppid=28208 vsize=10748324 memory=189580 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28221/stat : 28221 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711639857360 140712151361435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28222] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.94 cores=0,2,4,6
/proc/28211/task/28222/stat : 28222 (java) S 28208 28211 26121 0 -1 1077944384 4033 0 0 0 94 0 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711638804976 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28223] ppid=28208 vsize=10748324 memory=189580 CPUtime=1.04 cores=0,2,4,6
/proc/28211/task/28223/stat : 28223 (java) S 28208 28211 26121 0 -1 1077944384 2051 0 0 0 103 1 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711637752432 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28224] ppid=28208 vsize=10748324 memory=3616 CPUtime=0.66 cores=0,2,4,6
/proc/28211/task/28224/stat : 28224 (java) S 28208 28211 26121 0 -1 1077944384 7928 0 0 0 65 1 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711636699888 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28225] ppid=28208 vsize=10748324 memory=189580 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28225/stat : 28225 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843416 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711635647584 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28226] ppid=28208 vsize=10748324 memory=3616 CPUtime=0.68 cores=0,2,4,6
/proc/28211/task/28226/stat : 28226 (java) S 28208 28211 26121 0 -1 1077944384 1021 0 0 0 32 36 0 0 20 0 16 0 414843416 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711634594096 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28227] ppid=28208 vsize=10748324 memory=6791534058613427641 CPUtime=2392.68 cores=0,2,4,6
/proc/28211/task/28227/stat : 28227 (java) R 28208 28211 26121 0 -1 4202560 16288 0 0 0 239264 4 0 0 20 0 16 0 414843602 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711617822416 140711793608872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 189580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2395.12 s]
# the end of solver process 28211 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.64 s, system=0.450148 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2395.11 s]
/proc/loadavg: 1.95 1.78 1.72 3/231 28554
/proc/meminfo: memFree=29783968/32770624 swapFree=66918708/67108860
[pid=28211] ppid=28208 vsize=10748324 memory=189580 CPUtime=2400.07 cores=0,2,4,6
/proc/28211/stat : 28211 (java) S 28208 28211 26121 0 -1 1077944320 70971 0 0 0 239963 44 0 0 20 0 16 0 414843410 11006283776 47395 33554432000 4194304 4196468 140734383281168 140734383263712 140712151342839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
/proc/28211/statm: 2687081 47395 3374 1 0 2647217 0
[pid=28211/tid=28213] ppid=28208 vsize=10748324 memory=189576 CPUtime=1.89 cores=0,2,4,6
/proc/28211/task/28213/stat : 28213 (java) S 28208 28211 26121 0 -1 1077944384 15544 0 0 0 182 7 0 0 20 0 16 0 414843410 11006283776 47395 33554432000 4194304 4196468 140734383281168 140712155585712 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28214] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.46 cores=0,2,4,6
/proc/28211/task/28214/stat : 28214 (java) S 28208 28211 26121 0 -1 1077944384 6333 0 0 0 45 1 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140712123185936 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28215] ppid=28208 vsize=10748324 memory=6791534058613427641 CPUtime=0.47 cores=0,2,4,6
/proc/28211/task/28215/stat : 28215 (java) S 28208 28211 26121 0 -1 1077944384 2143 0 0 0 45 2 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711756663696 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28216] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.47 cores=0,2,4,6
/proc/28211/task/28216/stat : 28216 (java) S 28208 28211 26121 0 -1 1077944384 4946 0 0 0 45 2 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711755611152 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28217] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.46 cores=0,2,4,6
/proc/28211/task/28217/stat : 28217 (java) S 28208 28211 26121 0 -1 1077944384 2842 0 0 0 45 1 0 0 20 0 16 0 414843411 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711754558608 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28218] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.2 cores=0,2,4,6
/proc/28211/task/28218/stat : 28218 (java) S 28208 28211 26121 0 -1 1077944384 6398 0 0 0 17 3 0 0 20 0 16 0 414843412 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711643015152 140712151353986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28219] ppid=28208 vsize=10748324 memory=21504 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28219/stat : 28219 (java) S 28208 28211 26121 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414843413 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711641961440 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28220] ppid=28208 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28220/stat : 28220 (java) S 28208 28211 26121 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414843413 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711640908800 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28221] ppid=28208 vsize=10748324 memory=189580 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28221/stat : 28221 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711639857360 140712151361435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28222] ppid=28208 vsize=10748324 memory=189580 CPUtime=0.94 cores=0,2,4,6
/proc/28211/task/28222/stat : 28222 (java) S 28208 28211 26121 0 -1 1077944384 4033 0 0 0 94 0 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711638804976 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28223] ppid=28208 vsize=10748324 memory=189580 CPUtime=1.04 cores=0,2,4,6
/proc/28211/task/28223/stat : 28223 (java) S 28208 28211 26121 0 -1 1077944384 2051 0 0 0 103 1 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711637752432 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28224] ppid=28208 vsize=10748324 memory=3616 CPUtime=0.66 cores=0,2,4,6
/proc/28211/task/28224/stat : 28224 (java) S 28208 28211 26121 0 -1 1077944384 7928 0 0 0 65 1 0 0 20 0 16 0 414843415 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711636699888 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28225] ppid=28208 vsize=10748324 memory=189580 CPUtime=0 cores=0,2,4,6
/proc/28211/task/28225/stat : 28225 (java) S 28208 28211 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843416 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711635647584 140712151353045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28226] ppid=28208 vsize=10748324 memory=3616 CPUtime=0.68 cores=0,2,4,6
/proc/28211/task/28226/stat : 28226 (java) S 28208 28211 26121 0 -1 1077944384 1021 0 0 0 32 36 0 0 20 0 16 0 414843416 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711634594096 140712151353986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
[pid=28211/tid=28227] ppid=28208 vsize=10748324 memory=6791534058613427641 CPUtime=2392.68 cores=0,2,4,6
/proc/28211/task/28227/stat : 28227 (java) R 28208 28211 26121 0 -1 4202560 16288 0 0 0 239264 4 0 0 20 0 16 0 414843602 11006283776 47395 33554432000 4194304 4196468 140734383281168 140711617822416 140711793608872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140734383289355 140734383289458 140734383289458 140734383292367 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 189580 KiB
Child status: 143
Real time (s): 2395.12
CPU time (s): 2400.09
CPU user time (s): 2399.64
CPU system time (s): 0.450148
CPU usage (%): 100.207
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 247552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.64
system time used= 0.450148
maximum resident set size= 247572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71310
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58142
involuntary context switches= 2430
# summary of solver processes directly reported to runsolver:
# pid: 28211
# total CPU time (s): 2400.09
# total CPU user time (s): 2399.64
# total CPU system time (s): 0.450148
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1489 second user time and 21.4644 second system time
The end
Begin job on node141 at 2019-09-13 17:36:53 IDJOB=4391324 IDBENCH=122984 IDSOLVER=2833 FILE ID=node141/4391324-1568389055 RUNJOBID= node141-1568388891-27766 PBS_JOBID= 21701828 Free space on /tmp= 56104 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-4391324-1568389055/watcher-4391324-1568389055 -o /tmp/evaluation-result-4391324-1568389055/solver-4391324-1568389055 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27766 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391324-1568389055.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 62ee24bcba75d1d33fbbd4bb45a854a0 RANDOM SEED=2015761047 node141.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31328448 kB MemAvailable: 31608108 kB Buffers: 150424 kB Cached: 417712 kB SwapCached: 80880 kB Active: 493932 kB Inactive: 395036 kB Active(anon): 245976 kB Inactive(anon): 106348 kB Active(file): 247956 kB Inactive(file): 288688 kB Unevictable: 109180 kB Mlocked: 109180 kB SwapTotal: 67108860 kB SwapFree: 66918668 kB Dirty: 8844 kB Writeback: 0 kB AnonPages: 363188 kB Mapped: 47700 kB Shmem: 22712 kB Slab: 147692 kB SReclaimable: 117704 kB SUnreclaim: 29988 kB KernelStack: 4016 kB PageTables: 6728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1231308 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 260096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58524 MiB End job on node141 at 2019-09-13 18:16:49