Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2 | SAT (TO) | 1551 | 252.127 | 233.738 |
| Name | NurseRostering/ NurseRostering-02_c18.xml |
| MD5SUM | 87663e99bef5ddcf16b35e20b5ad163d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1062 |
| Best CPU time to get the best result obtained on this benchmark | 252.126 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 412 |
| Number of constraints | 945 |
| Number of domains | 11 |
| Minimum domain size | 1 |
| Maximum domain size | 15 |
| Distribution of domain sizes | [{"size":1,"count":18},{"size":2,"count":90},{"size":3,"count":196},{"size":15,"count":108}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":2,"count":188},{"degree":3,"count":28},{"degree":10,"count":3},{"degree":11,"count":13},{"degree":12,"count":10},{"degree":13,"count":5},{"degree":14,"count":13},{"degree":15,"count":21},{"degree":16,"count":25},{"degree":17,"count":23},{"degree":18,"count":31},{"degree":19,"count":24},{"degree":20,"count":20},{"degree":21,"count":8}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 15 |
| Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":254},{"arity":6,"count":126},{"arity":14,"count":1},{"arity":15,"count":84}] |
| Number of extensional constraints | 224 |
| Number of intensional constraints | 138 |
| Distribution of constraint types | [{"type":"extension","count":224},{"type":"intension","count":138},{"type":"regular","count":344},{"type":"sum","count":28},{"type":"count","count":210},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
1.00/0.74 c Concrete v3.9.2.1532736233296 running 8.90/4.02 c 21:59:42.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2830. 'extension(2, x[1][8]=[0‥2]) :: init: true :: relation: MDD 1679002380, 2 edges, 3 vertices, 1 tuples 8.90/4.02 c 21:59:42.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2831. 'extension(2, x[1][8]=[0‥2]) :: init: true :: relation: MDD 368802354, 3 edges, 3 vertices, 2 tuples 8.90/4.02 c 21:59:42.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2847. 'extension(x[0][1]=[0‥2], 2) :: init: true :: relation: MDD 739703515, 2 edges, 3 vertices, 1 tuples 8.90/4.02 c 21:59:42.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2848. 'extension(2, x[2][1]=[0‥2]) :: init: true :: relation: MDD 739703515, 2 edges, 3 vertices, 1 tuples 8.90/4.03 c 21:59:42.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2868. 'extension(x[0][4]=[0‥2], 2) :: init: true :: relation: MDD 1374432753, 2 edges, 3 vertices, 1 tuples 8.90/4.03 c 21:59:42.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2869. 'extension(2, x[2][4]=[0‥2]) :: init: true :: relation: MDD 1374432753, 2 edges, 3 vertices, 1 tuples 8.90/4.03 c 21:59:42.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2889. 'extension(x[1][2]=[0‥2], 2) :: init: true :: relation: MDD 573023937, 2 edges, 3 vertices, 1 tuples 8.90/4.03 c 21:59:42.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2890. 'extension(2, x[3][2]=[0‥2]) :: init: true :: relation: MDD 573023937, 2 edges, 3 vertices, 1 tuples 8.90/4.03 c 21:59:42.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2912. 'extension(x[1][11]=[0‥2], 2) :: init: true :: relation: MDD 1941598182, 2 edges, 3 vertices, 1 tuples 8.90/4.03 c 21:59:42.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2913. 'extension(2, x[3][11]=[0‥2]) :: init: true :: relation: MDD 1941598182, 2 edges, 3 vertices, 1 tuples 8.90/4.03 c 21:59:42.445 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2933. 'extension(x[2][0]=[0‥2], 2) :: init: true :: relation: MDD 1929284175, 2 edges, 3 vertices, 1 tuples 8.90/4.04 c 21:59:42.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2934. 'extension(2, x[4][0]=[0‥2]) :: init: true :: relation: MDD 1929284175, 2 edges, 3 vertices, 1 tuples 8.90/4.04 c 21:59:42.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2957. 'extension(x[2][7]=[0‥2], 2) :: init: true :: relation: MDD 1299497914, 2 edges, 3 vertices, 1 tuples 8.90/4.04 c 21:59:42.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2958. 'extension(2, x[4][7]=[0‥2]) :: init: true :: relation: MDD 1299497914, 2 edges, 3 vertices, 1 tuples 8.90/4.04 c 21:59:42.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2981. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1868987089, 3 edges, 3 vertices, 2 tuples 8.90/4.04 c 21:59:42.453 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2982. 'extension(x[4][10]=[0‥2], 2) :: init: true :: relation: MDD 199000084, 2 edges, 3 vertices, 1 tuples 8.90/4.04 c 21:59:42.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2983. 'extension(2, x[6][10]=[0‥2]) :: init: true :: relation: MDD 199000084, 2 edges, 3 vertices, 1 tuples 8.90/4.05 c 21:59:42.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3006. 'extension(2, wk[13][0]=[0‥1]) :: init: true :: relation: MDD 2025955363, 3 edges, 3 vertices, 2 tuples 8.90/4.05 c 21:59:42.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3007. 'extension(x[5][13]=[0‥2], 2) :: init: true :: relation: MDD 142261320, 2 edges, 3 vertices, 1 tuples 8.90/4.05 c 21:59:42.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3008. 'extension(2, x[7][13]=[0‥2]) :: init: true :: relation: MDD 142261320, 2 edges, 3 vertices, 1 tuples 8.90/4.05 c 21:59:42.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3031. 'extension(x[7][9]=[0‥2], 2) :: init: true :: relation: MDD 584698209, 2 edges, 3 vertices, 1 tuples 8.90/4.05 c 21:59:42.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3032. 'extension(2, x[9][9]=[0‥2]) :: init: true :: relation: MDD 584698209, 2 edges, 3 vertices, 1 tuples 8.90/4.05 c 21:59:42.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3057. 'extension(x[7][12]=[0‥2], 2) :: init: true :: relation: MDD 379115456, 2 edges, 3 vertices, 1 tuples 8.90/4.05 c 21:59:42.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3058. 'extension(2, x[9][12]=[0‥2]) :: init: true :: relation: MDD 379115456, 2 edges, 3 vertices, 1 tuples 8.90/4.06 c 21:59:42.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3081. 'extension(x[8][6]=[0‥2], 2) :: init: true :: relation: MDD 2141932519, 2 edges, 3 vertices, 1 tuples 8.90/4.06 c 21:59:42.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3082. 'extension(2, x[10][6]=[0‥2]) :: init: true :: relation: MDD 2141932519, 2 edges, 3 vertices, 1 tuples 8.90/4.06 c 21:59:42.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3106. 'extension(2, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 1728057672, 3 edges, 3 vertices, 2 tuples 8.90/4.06 c 21:59:42.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3107. 'extension(x[11][3]=[0‥2], 2) :: init: true :: relation: MDD 88335763, 2 edges, 3 vertices, 1 tuples 8.90/4.06 c 21:59:42.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3108. 'extension(2, x[13][3]=[0‥2]) :: init: true :: relation: MDD 88335763, 2 edges, 3 vertices, 1 tuples 8.90/4.06 c 21:59:42.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3128. 'extension(2, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 767393855, 3 edges, 3 vertices, 2 tuples 8.90/4.06 c 21:59:42.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3129. 'extension(x[12][5]=[0‥2], 2) :: init: true :: relation: MDD 368727462, 2 edges, 3 vertices, 1 tuples 8.90/4.06 c 21:59:42.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3130. 'extension(2, x[12][5]=[0‥2]) :: init: true :: relation: MDD 557342904, 3 edges, 3 vertices, 2 tuples 8.90/4.08 c 21:59:42.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3351. 'extension(x[1][8]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3353. 'extension(x[1][8]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3359. 'extension(x[0][1]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3361. 'extension(x[2][1]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3373. 'extension(x[0][4]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3375. 'extension(x[2][4]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3387. 'extension(x[1][2]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3389. 'extension(x[3][2]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3403. 'extension(x[1][11]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3405. 'extension(x[3][11]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3415. 'extension(x[2][0]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3417. 'extension(x[4][0]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3431. 'extension(x[2][7]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3433. 'extension(x[4][7]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3447. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3449. 'extension(x[4][10]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3451. 'extension(x[6][10]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3461. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3463. 'extension(x[5][13]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3465. 'extension(x[7][13]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3475. 'extension(x[7][9]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3477. 'extension(x[9][9]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3491. 'extension(x[7][12]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.09 c 21:59:42.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3493. 'extension(x[9][12]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.10 c 21:59:42.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3503. 'extension(x[8][6]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.10 c 21:59:42.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3505. 'extension(x[10][6]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.10 c 21:59:42.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3519. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 8.90/4.10 c 21:59:42.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3521. 'extension(x[11][3]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.10 c 21:59:42.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3523. 'extension(x[13][3]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.10 c 21:59:42.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3535. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 8.90/4.10 c 21:59:42.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3537. 'extension(x[12][5]=[0‥2]) :: init: true :: relation: Empty MDD 8.90/4.10 c 21:59:42.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3539. 'extension(x[12][5]=[0‥2]) :: init: true :: relation: Empty MDD 12.88/5.48 o 2654 13.52/5.64 o 2652 13.52/5.66 o 2651 13.84/5.70 o 2552 13.84/5.71 o 2551 13.84/5.79 o 2454 14.15/5.87 o 2453 14.45/5.91 o 2452 14.45/5.94 o 2450 14.78/6.02 o 2354 14.78/6.04 o 2353 14.78/6.05 o 2352 15.35/6.21 o 2348 15.65/6.35 o 2259 15.65/6.36 o 2258 15.65/6.37 o 2257 15.65/6.39 o 2256 15.96/6.40 o 2255 15.96/6.42 o 2254 15.96/6.44 o 2253 15.96/6.47 o 2252 16.28/6.55 o 2250 16.28/6.56 o 2249 16.57/6.62 o 2149 16.57/6.65 o 2148 16.57/6.66 o 2050 17.91/7.13 o 2049 17.91/7.18 o 1949 18.12/7.20 o 1850 18.12/7.21 o 1849 18.12/7.25 o 1752 18.12/7.26 o 1751 18.12/7.28 o 1750 18.12/7.28 o 1749 22.02/10.31 o 1652 22.72/10.94 o 1651 62.51/49.07 o 1650 96.18/81.96 o 1556 97.58/83.33 o 1555 97.58/83.38 o 1554 154.58/138.91 o 1553 193.98/177.30 o 1551 252.08/233.70 Exception in thread "main" java.util.concurrent.TimeoutException 252.08/233.70 at concrete.MAC.mac(MAC.scala:188) 252.08/233.70 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 252.08/233.70 at scala.util.Try$.apply(Try.scala:209) 252.08/233.70 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 252.08/233.70 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 252.08/233.70 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 252.08/233.70 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 252.08/233.70 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 252.08/233.70 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 252.08/233.70 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 252.08/233.70 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 252.08/233.70 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 252.08/233.70 at concrete.MAC.oneRun(MAC.scala:253) 252.08/233.70 at concrete.MAC.nextSolution(MAC.scala:272) 252.08/233.70 at concrete.MAC.nextSolution(MAC.scala:355) 252.08/233.70 at concrete.Solver.hasNext(Solver.scala:166) 252.08/233.70 at scala.collection.Iterator.foreach(Iterator.scala:944) 252.08/233.70 at scala.collection.Iterator.foreach$(Iterator.scala:944) 252.08/233.70 at concrete.Solver.foreach(Solver.scala:68) 252.08/233.70 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 252.08/233.70 at scala.util.Success.$anonfun$map$1(Try.scala:251) 252.08/233.70 at scala.util.Success.map(Try.scala:209) 252.08/233.70 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 252.08/233.70 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 252.08/233.70 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 252.08/233.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 252.08/233.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 252.08/233.71 at scala.Function0.apply$mcV$sp(Function0.scala:34) 252.08/233.71 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 252.08/233.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 252.08/233.71 at scala.App.$anonfun$main$1$adapted(App.scala:76) 252.08/233.71 at scala.collection.immutable.List.foreach(List.scala:389) 252.08/233.71 at scala.App.main(App.scala:76) 252.08/233.71 at scala.App.main$(App.scala:74) 252.08/233.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 252.08/233.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 252.08/233.71 v <instantiation cost="1551"> 252.08/233.71 v <list> 252.08/233.71 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ps[10][0] ps[10][1] ps[10][2] ps[11][0] ps[11][1] ps[11][2] ps[12][0] ps[12][1] ps[12][2] ps[13][0] ps[13][1] ps[13][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] wk[8][0] wk[8][1] wk[9][0] wk[9][1] wk[10][0] wk[10][1] wk[11][0] wk[11][1] wk[12][0] wk[12][1] wk[13][0] wk[13][1] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] 252.08/233.71 v </list> 252.08/233.71 v <values> 252.08/233.71 v 1 2 2 0 2 1 0 0 2 1 1 2 0 2 1 2 2 0 2 1 0 0 2 1 2 2 2 0 1 2 2 0 1 1 0 1 0 1 1 2 2 2 2 0 0 0 1 1 0 2 1 1 2 2 0 2 2 0 0 2 1 2 0 2 1 1 2 1 2 2 0 2 0 2 2 2 2 0 2 2 2 2 1 2 0 2 0 0 2 0 2 0 2 2 2 2 2 2 0 0 2 0 1 1 0 2 2 2 2 2 2 2 0 0 2 0 1 1 0 2 1 2 1 2 2 2 1 0 1 0 2 1 2 0 1 2 2 2 2 0 2 0 1 0 2 1 2 0 2 0 1 2 2 2 2 0 1 2 1 2 2 0 2 1 2 1 1 2 2 2 2 2 1 2 0 2 0 1 2 1 2 0 2 2 2 2 2 2 0 2 0 1 2 1 2 0 4 4 6 7 0 7 4 3 7 9 0 5 0 7 7 1 8 5 9 0 5 7 1 6 3 4 7 1 8 5 0 4 10 0 4 10 2 2 10 4 0 10 4 4 6 4 3 7 3 6 5 5 4 5 3 4 7 3 1 10 5 0 9 4 2 8 4 4 6 4 4 6 4 3 7 2 5 7 3 3 8 3 2 9 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 2 0 3 3 3 0 0 0 1 0 1 1 0 3 0 0 0 1 1 0 1 1 2 0 2 3 0 3 2 2 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 400 0 0 500 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 100 0 0 0 300 0 252.08/233.71 v </values> 252.08/233.71 v </instantiation> 252.08/233.72 s SATISFIABLE
OK 1551
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 (13416 MiB free)
memory of node 1: 16384 MiB (12420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302421-1532894378/watcher-4302421-1532894378 -o /tmp/evaluation-result-4302421-1532894378/solver-4302421-1532894378 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1463706497 HOME/instance-4302421-1532894378.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=15841, runsolver pid=15838
[startup+0.101488 s]*
/proc/loadavg: 1.70 1.77 1.55 2/206 15898
/proc/meminfo: memFree=26449860/32770624 swapFree=67108436/67108860
[pid=15841] ppid=15838 vsize=10005480 memory=18328 CPUtime=0.09 cores=0,2,4,6
/proc/15841/stat : 15841 (java) S 15838 15841 9814 0 -1 1077944320 4255 12902 0 0 1 0 5 3 20 0 6 0 107000955 10245611520 4582 33554432000 4194304 4196468 140727727122032 140727727104576 140305248562935 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
/proc/15841/statm: 2501370 4582 1931 1 0 2489808 0
[pid=15841/tid=15894] ppid=15838 vsize=10005480 memory=4279135704047190159 CPUtime=0.09 cores=0,2,4,6
/proc/15841/task/15894/stat : 15894 (java) R 15838 15841 9814 0 -1 4202560 2082 12902 0 0 1 0 5 3 20 0 6 0 107000964 10245611520 4648 33554432000 4194304 4196468 140727727122032 140305220399696 140305233685872 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15895] ppid=15838 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15895/stat : 15895 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 6 0 107000965 10245611520 4648 33554432000 4194304 4196468 140727727122032 140305252805648 140305248573141 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15896] ppid=15838 vsize=10005480 memory=139824335844992 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15896/stat : 15896 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 6 0 107000965 10245611520 4648 33554432000 4194304 4196468 140727727122032 140305107524752 140305248573141 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15897] ppid=15838 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15897/stat : 15897 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 6 0 107000965 10245611520 4648 33554432000 4194304 4196468 140727727122032 140304787172112 140305248573141 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15898] ppid=15838 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15898/stat : 15898 (java) S 15838 15841 9814 0 -1 1077944384 2 12902 0 0 0 0 5 3 20 0 6 0 107000965 10245611520 4648 33554432000 4194304 4196468 140727727122032 140304786119568 140305248573141 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210382 s]*
/proc/loadavg: 1.70 1.77 1.55 3/215 15907
/proc/meminfo: memFree=26427976/32770624 swapFree=67108436/67108860
[pid=15841] ppid=15838 vsize=10982744 memory=44056 CPUtime=0.26 cores=0,2,4,6
/proc/15841/stat : 15841 (java) S 15838 15841 9814 0 -1 1077944320 7714 12902 0 0 17 1 5 3 20 0 15 0 107000955 11246329856 10948 33554432000 4194304 4196468 140727727122032 140727727104576 140305248562935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
/proc/15841/statm: 2745686 10948 2947 1 0 2708109 0
[pid=15841/tid=15894] ppid=15838 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/15841/task/15894/stat : 15894 (java) R 15838 15841 9814 0 -1 4202560 4417 12902 0 0 11 0 5 3 20 0 15 0 107000964 11246329856 11146 33554432000 4194304 4196468 140727727122032 140305220386928 140305228838656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15895] ppid=15838 vsize=10982744 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15895/stat : 15895 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246329856 11146 33554432000 4194304 4196468 140727727122032 140305252805648 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15896] ppid=15838 vsize=10982744 memory=139824335860952 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15896/stat : 15896 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246329856 11146 33554432000 4194304 4196468 140727727122032 140305107524752 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15897] ppid=15838 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15897/stat : 15897 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246329856 11146 33554432000 4194304 4196468 140727727122032 140304787172112 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15898] ppid=15838 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15898/stat : 15898 (java) S 15838 15841 9814 0 -1 1077944384 2 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246329856 11146 33554432000 4194304 4196468 140727727122032 140304786119568 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15899] ppid=15838 vsize=10982744 memory=139824335844992 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15899/stat : 15899 (java) S 15838 15841 9814 0 -1 1077944384 2 12902 0 0 0 0 5 3 20 0 15 0 107000966 11246329856 11146 33554432000 4194304 4196468 140727727122032 140304674457840 140305248574082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15900] ppid=15838 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15900/stat : 15900 (java) S 15838 15841 9814 0 -1 1077944384 13 12902 0 0 0 0 5 3 20 0 15 0 107000967 11246329856 11146 33554432000 4194304 4196468 140727727122032 140304045827232 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15901] ppid=15838 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15901/stat : 15901 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000967 11246329856 11146 33554432000 4194304 4196468 140727727122032 140303897977584 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15902] ppid=15838 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15902/stat : 15902 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11246329856 11146 33554432000 4194304 4196468 140727727122032 140303590578128 140305248581531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15903] ppid=15838 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15841/task/15903/stat : 15903 (java) S 15838 15841 9814 0 -1 1077944384 374 12902 0 0 1 0 5 3 20 0 15 0 107000970 11246329856 11146 33554432000 4194304 4196468 140727727122032 140304673405680 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15904] ppid=15838 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15904/stat : 15904 (java) S 15838 15841 9814 0 -1 1077944384 242 12902 0 0 0 0 5 3 20 0 15 0 107000970 11246329856 11146 33554432000 4194304 4196468 140727727122032 140304672353136 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15905] ppid=15838 vsize=10982744 memory=139824335844992 CPUtime=0.11 cores=0,2,4,6
/proc/15841/task/15905/stat : 15905 (java) S 15838 15841 9814 0 -1 1077944384 630 12902 0 0 3 0 5 3 20 0 15 0 107000970 11246329856 11146 33554432000 4194304 4196468 140727727122032 140304671300080 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15906] ppid=15838 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15906/stat : 15906 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11246329856 11146 33554432000 4194304 4196468 140727727122032 140303159782240 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15907] ppid=15838 vsize=10982744 memory=139824335844992 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15907/stat : 15907 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000970 11246329856 11146 33554432000 4194304 4196468 140727727122032 140304670247472 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44056 KiB
[startup+0.310464 s]*
/proc/loadavg: 1.70 1.77 1.55 3/215 15907
/proc/meminfo: memFree=26416688/32770624 swapFree=67108436/67108860
[pid=15841] ppid=15838 vsize=10983192 memory=55260 CPUtime=0.39 cores=0,2,4,6
/proc/15841/stat : 15841 (java) S 15838 15841 9814 0 -1 1077944320 10405 12902 0 0 29 2 5 3 20 0 15 0 107000955 11246788608 13815 33554432000 4194304 4196468 140727727122032 140727727104576 140305248562935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
/proc/15841/statm: 2745798 13815 3066 1 0 2708109 0
[pid=15841/tid=15894] ppid=15838 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15841/task/15894/stat : 15894 (java) R 15838 15841 9814 0 -1 4202560 6919 12902 0 0 20 1 5 3 20 0 15 0 107000964 11246788608 13815 33554432000 4194304 4196468 140727727122032 140305220374944 140305248584861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15895] ppid=15838 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15895/stat : 15895 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246788608 13815 33554432000 4194304 4196468 140727727122032 140305252805648 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15896] ppid=15838 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15896/stat : 15896 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246788608 13815 33554432000 4194304 4196468 140727727122032 140305107524752 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15897] ppid=15838 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15897/stat : 15897 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246788608 13815 33554432000 4194304 4196468 140727727122032 140304787172112 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15898] ppid=15838 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15898/stat : 15898 (java) S 15838 15841 9814 0 -1 1077944384 2 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246788608 13815 33554432000 4194304 4196468 140727727122032 140304786119568 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15899] ppid=15838 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15899/stat : 15899 (java) S 15838 15841 9814 0 -1 1077944384 2 12902 0 0 0 0 5 3 20 0 15 0 107000966 11246788608 13815 33554432000 4194304 4196468 140727727122032 140304674457840 140305248574082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15900] ppid=15838 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15900/stat : 15900 (java) S 15838 15841 9814 0 -1 1077944384 13 12902 0 0 0 0 5 3 20 0 15 0 107000967 11246788608 13815 33554432000 4194304 4196468 140727727122032 140304045827232 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15901] ppid=15838 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15901/stat : 15901 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000967 11246788608 13815 33554432000 4194304 4196468 140727727122032 140303897977584 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15902] ppid=15838 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15902/stat : 15902 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11246788608 13815 33554432000 4194304 4196468 140727727122032 140303590578128 140305248581531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15903] ppid=15838 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15841/task/15903/stat : 15903 (java) S 15838 15841 9814 0 -1 1077944384 374 12902 0 0 1 0 5 3 20 0 15 0 107000970 11246788608 13815 33554432000 4194304 4196468 140727727122032 140304673405680 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15904] ppid=15838 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15841/task/15904/stat : 15904 (java) S 15838 15841 9814 0 -1 1077944384 245 12902 0 0 1 0 5 3 20 0 15 0 107000970 11246788608 13815 33554432000 4194304 4196468 140727727122032 140304672353136 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15905] ppid=15838 vsize=10983192 memory=139824335844992 CPUtime=0.12 cores=0,2,4,6
/proc/15841/task/15905/stat : 15905 (java) S 15838 15841 9814 0 -1 1077944384 649 12902 0 0 4 0 5 3 20 0 15 0 107000970 11246788608 13815 33554432000 4194304 4196468 140727727122032 140304671300080 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15906] ppid=15838 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15906/stat : 15906 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11246788608 13815 33554432000 4194304 4196468 140727727122032 140303159782240 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15907] ppid=15838 vsize=10983192 memory=139824335844992 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15907/stat : 15907 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000970 11246788608 13815 33554432000 4194304 4196468 140727727122032 140304670247472 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55260 KiB
[startup+0.700797 s]
/proc/loadavg: 1.70 1.77 1.55 3/215 15907
/proc/meminfo: memFree=26405152/32770624 swapFree=67108436/67108860
[pid=15841] ppid=15838 vsize=10983192 memory=88616 CPUtime=1 cores=0,2,4,6
/proc/15841/stat : 15841 (java) S 15838 15841 9814 0 -1 1077944320 16763 12902 0 0 87 5 5 3 20 0 15 0 107000955 11246788608 22154 33554432000 4194304 4196468 140727727122032 140727727104576 140305248562935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
/proc/15841/statm: 2745798 22154 3238 1 0 2708109 0
[pid=15841/tid=15894] ppid=15838 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/15841/task/15894/stat : 15894 (java) R 15838 15841 9814 0 -1 4202560 12187 12902 0 0 56 3 5 3 20 0 15 0 107000964 11246788608 22154 33554432000 4194304 4196468 140727727122032 140305220383760 140305231749773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15895] ppid=15838 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15895/stat : 15895 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246788608 22154 33554432000 4194304 4196468 140727727122032 140305252805648 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15896] ppid=15838 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15896/stat : 15896 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246788608 22154 33554432000 4194304 4196468 140727727122032 140305107524752 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15897] ppid=15838 vsize=10983192 memory=139824203969328 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15897/stat : 15897 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246788608 22154 33554432000 4194304 4196468 140727727122032 140304787172112 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15898] ppid=15838 vsize=10983192 memory=139826955289177 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15898/stat : 15898 (java) S 15838 15841 9814 0 -1 1077944384 2 12902 0 0 0 0 5 3 20 0 15 0 107000965 11246788608 22154 33554432000 4194304 4196468 140727727122032 140304786119568 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15899] ppid=15838 vsize=10983192 memory=1388 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15899/stat : 15899 (java) S 15838 15841 9814 0 -1 1077944384 5 12902 0 0 0 0 5 3 20 0 15 0 107000966 11246788608 22154 33554432000 4194304 4196468 140727727122032 140304674457840 140305248574082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15900] ppid=15838 vsize=10983192 memory=4639098309541127525 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15900/stat : 15900 (java) S 15838 15841 9814 0 -1 1077944384 13 12902 0 0 0 0 5 3 20 0 15 0 107000967 11246788608 22154 33554432000 4194304 4196468 140727727122032 140304045827232 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15901] ppid=15838 vsize=10983192 memory=8027477668130812270 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15901/stat : 15901 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000967 11246788608 22154 33554432000 4194304 4196468 140727727122032 140303897977584 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15902] ppid=15838 vsize=10983192 memory=17432 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15902/stat : 15902 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11246788608 22154 33554432000 4194304 4196468 140727727122032 140303590578128 140305248581531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15903] ppid=15838 vsize=10983192 memory=16148 CPUtime=0.18 cores=0,2,4,6
/proc/15841/task/15903/stat : 15903 (java) S 15838 15841 9814 0 -1 1077944384 990 12902 0 0 10 0 5 3 20 0 15 0 107000970 11246788608 22154 33554432000 4194304 4196468 140727727122032 140304673405680 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15904] ppid=15838 vsize=10983192 memory=4004 CPUtime=0.14 cores=0,2,4,6
/proc/15841/task/15904/stat : 15904 (java) S 15838 15841 9814 0 -1 1077944384 620 12902 0 0 6 0 5 3 20 0 15 0 107000970 11246788608 22154 33554432000 4194304 4196468 140727727122032 140304672353136 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15905] ppid=15838 vsize=10983192 memory=636 CPUtime=0.21 cores=0,2,4,6
/proc/15841/task/15905/stat : 15905 (java) S 15838 15841 9814 0 -1 1077944384 745 12902 0 0 13 0 5 3 20 0 15 0 107000970 11246788608 22154 33554432000 4194304 4196468 140727727122032 140304671300080 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15906] ppid=15838 vsize=10983192 memory=1780 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15906/stat : 15906 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11246788608 22154 33554432000 4194304 4196468 140727727122032 140303159782240 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15907] ppid=15838 vsize=10983192 memory=1236 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15907/stat : 15907 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000970 11246788608 22154 33554432000 4194304 4196468 140727727122032 140304670247472 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88616 KiB
[startup+1.50078 s]
/proc/loadavg: 1.70 1.77 1.55 3/215 15907
/proc/meminfo: memFree=26359576/32770624 swapFree=67108436/67108860
[pid=15841] ppid=15838 vsize=10998092 memory=186556 CPUtime=2.57 cores=0,2,4,6
/proc/15841/stat : 15841 (java) S 15838 15841 9814 0 -1 1077944320 23716 12902 0 0 238 11 5 3 20 0 15 0 107000955 11262046208 46639 33554432000 4194304 4196468 140727727122032 140727727104576 140305248562935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
/proc/15841/statm: 2749523 46639 3472 1 0 2711181 0
[pid=15841/tid=15894] ppid=15838 vsize=10998092 memory=65008 CPUtime=1.42 cores=0,2,4,6
/proc/15841/task/15894/stat : 15894 (java) R 15838 15841 9814 0 -1 4202560 17130 12902 0 0 128 6 5 3 20 0 15 0 107000964 11262046208 46639 33554432000 4194304 4196468 140727727122032 140305220377872 140305226565543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15895] ppid=15838 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/15841/task/15895/stat : 15895 (java) S 15838 15841 9814 0 -1 1077944384 188 12902 0 0 1 0 5 3 20 0 15 0 107000965 11262046208 46639 33554432000 4194304 4196468 140727727122032 140305252805648 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15896] ppid=15838 vsize=10998092 memory=279648407969952 CPUtime=0.09 cores=0,2,4,6
/proc/15841/task/15896/stat : 15896 (java) S 15838 15841 9814 0 -1 1077944384 11 12902 0 0 1 0 5 3 20 0 15 0 107000965 11262046208 46639 33554432000 4194304 4196468 140727727122032 140305107524752 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15897] ppid=15838 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15841/task/15897/stat : 15897 (java) S 15838 15841 9814 0 -1 1077944384 22 12902 0 0 1 0 5 3 20 0 15 0 107000965 11262046208 46639 33554432000 4194304 4196468 140727727122032 140304787172112 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15898] ppid=15838 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15841/task/15898/stat : 15898 (java) S 15838 15841 9814 0 -1 1077944384 61 12902 0 0 1 0 5 3 20 0 15 0 107000965 11262046208 46639 33554432000 4194304 4196468 140727727122032 140304786119568 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15899] ppid=15838 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15841/task/15899/stat : 15899 (java) S 15838 15841 9814 0 -1 1077944384 55 12902 0 0 1 0 5 3 20 0 15 0 107000966 11262046208 46639 33554432000 4194304 4196468 140727727122032 140304674457840 140305248574082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15900] ppid=15838 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15900/stat : 15900 (java) S 15838 15841 9814 0 -1 1077944384 14 12902 0 0 0 0 5 3 20 0 15 0 107000967 11262046208 46639 33554432000 4194304 4196468 140727727122032 140304045827296 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15901] ppid=15838 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15901/stat : 15901 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000967 11262046208 46639 33554432000 4194304 4196468 140727727122032 140303897977600 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15902] ppid=15838 vsize=10998092 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15902/stat : 15902 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11262046208 46639 33554432000 4194304 4196468 140727727122032 140303590578128 140305248581531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15903] ppid=15838 vsize=10998092 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/15841/task/15903/stat : 15903 (java) S 15838 15841 9814 0 -1 1077944384 1526 12902 0 0 32 0 5 3 20 0 15 0 107000970 11262046208 46639 33554432000 4194304 4196468 140727727122032 140304673405680 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15904] ppid=15838 vsize=10998092 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/15841/task/15904/stat : 15904 (java) S 15838 15841 9814 0 -1 1077944384 940 12902 0 0 26 0 5 3 20 0 15 0 107000970 11262046208 46639 33554432000 4194304 4196468 140727727122032 140304672353136 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15905] ppid=15838 vsize=10998092 memory=6791534058613427641 CPUtime=0.52 cores=0,2,4,6
/proc/15841/task/15905/stat : 15905 (java) S 15838 15841 9814 0 -1 1077944384 1571 12902 0 0 43 1 5 3 20 0 15 0 107000970 11262046208 46639 33554432000 4194304 4196468 140727727122032 140304671300080 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15906] ppid=15838 vsize=10998092 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15906/stat : 15906 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11262046208 46639 33554432000 4194304 4196468 140727727122032 140303159782240 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15907] ppid=15838 vsize=10998092 memory=279648408214400 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15907/stat : 15907 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000970 11262046208 46639 33554432000 4194304 4196468 140727727122032 140304670247472 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/15841/task/15894/stat : 15894 (java) R 15838 15841 9814 0 -1 4202560 56845 12902 0 0 16086 24 5 3 20 0 15 0 107000964 11348049920 265178 33554432000 4194304 4196468 140727727122032 140305220398208 140304809012034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15895] ppid=15838 vsize=11082080 memory=1062248 CPUtime=0.59 cores=0,2,4,6
/proc/15841/task/15895/stat : 15895 (java) S 15838 15841 9814 0 -1 1077944384 2425 12902 0 0 46 5 5 3 20 0 15 0 107000965 11348049920 265178 33554432000 4194304 4196468 140727727122032 140305252805648 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15896] ppid=15838 vsize=11082080 memory=1060712 CPUtime=0.58 cores=0,2,4,6
/proc/15841/task/15896/stat : 15896 (java) S 15838 15841 9814 0 -1 1077944384 2053 12902 0 0 45 5 5 3 20 0 15 0 107000965 11348049920 265178 33554432000 4194304 4196468 140727727122032 140305107524752 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15897] ppid=15838 vsize=11082080 memory=16148 CPUtime=0.57 cores=0,2,4,6
/proc/15841/task/15897/stat : 15897 (java) S 15838 15841 9814 0 -1 1077944384 2785 12902 0 0 44 5 5 3 20 0 15 0 107000965 11348049920 265178 33554432000 4194304 4196468 140727727122032 140304787172112 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15898] ppid=15838 vsize=11082080 memory=4004 CPUtime=0.59 cores=0,2,4,6
/proc/15841/task/15898/stat : 15898 (java) S 15838 15841 9814 0 -1 1077944384 5305 12902 0 0 46 5 5 3 20 0 15 0 107000965 11348049920 265178 33554432000 4194304 4196468 140727727122032 140304786119568 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15899] ppid=15838 vsize=11082080 memory=1061740 CPUtime=0.48 cores=0,2,4,6
/proc/15841/task/15899/stat : 15899 (java) S 15838 15841 9814 0 -1 1077944384 5871 12902 0 0 37 3 5 3 20 0 15 0 107000966 11348049920 265178 33554432000 4194304 4196468 140727727122032 140304674457840 140305248574082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15900] ppid=15838 vsize=11082080 memory=2412 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15900/stat : 15900 (java) S 15838 15841 9814 0 -1 1077944384 14 12902 0 0 0 0 5 3 20 0 15 0 107000967 11348049920 265178 33554432000 4194304 4196468 140727727122032 140304045827360 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15901] ppid=15838 vsize=11082080 memory=559 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15901/stat : 15901 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000967 11348049920 265178 33554432000 4194304 4196468 140727727122032 140303897977600 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15902] ppid=15838 vsize=11082080 memory=284 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15902/stat : 15902 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11348049920 265178 33554432000 4194304 4196468 140727727122032 140303590578128 140305248581531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15903] ppid=15838 vsize=11082080 memory=6944656592455359580 CPUtime=6.05 cores=0,2,4,6
/proc/15841/task/15903/stat : 15903 (java) S 15838 15841 9814 0 -1 1077944384 19037 12902 0 0 593 4 5 3 20 0 15 0 107000970 11348049920 265178 33554432000 4194304 4196468 140727727122032 140304673405680 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15904] ppid=15838 vsize=11082080 memory=6944652177228980320 CPUtime=5.95 cores=0,2,4,6
/proc/15841/task/15904/stat : 15904 (java) S 15838 15841 9814 0 -1 1077944384 22835 12902 0 0 582 5 5 3 20 0 15 0 107000970 11348049920 265178 33554432000 4194304 4196468 140727727122032 140304672353136 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15905] ppid=15838 vsize=11082080 memory=1063232 CPUtime=3.03 cores=0,2,4,6
/proc/15841/task/15905/stat : 15905 (java) S 15838 15841 9814 0 -1 1077944384 24284 12902 0 0 290 5 5 3 20 0 15 0 107000970 11348049920 265178 33554432000 4194304 4196468 140727727122032 140304671300080 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15906] ppid=15838 vsize=11082080 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15906/stat : 15906 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11348049920 265178 33554432000 4194304 4196468 140727727122032 140303159782240 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15907] ppid=15838 vsize=11082080 memory=1061224 CPUtime=0.17 cores=0,2,4,6
/proc/15841/task/15907/stat : 15907 (java) S 15838 15841 9814 0 -1 1077944384 496 12902 0 0 4 5 5 3 20 0 15 0 107000970 11348049920 265178 33554432000 4194304 4196468 140727727122032 140304670247472 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
Current children cumulated CPU time: 178.58 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1060712 KiB
[startup+222.301 s]
/proc/loadavg: 1.94 1.76 1.59 3/216 16068
/proc/meminfo: memFree=25859176/32770624 swapFree=67108436/67108860
[pid=15841] ppid=15838 vsize=11082080 memory=1047540 CPUtime=240.36 cores=0,2,4,6
/proc/15841/stat : 15841 (java) S 15838 15841 9814 0 -1 1077944320 163792 12902 0 0 23952 76 5 3 20 0 15 0 107000955 11348049920 261885 33554432000 4194304 4196468 140727727122032 140727727104576 140305248562935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
/proc/15841/statm: 2770520 261885 3528 1 0 2732173 0
[pid=15841/tid=15894] ppid=15838 vsize=11082080 memory=3088 CPUtime=220.54 cores=0,2,4,6
/proc/15841/task/15894/stat : 15894 (java) R 15838 15841 9814 0 -1 4202560 58781 12902 0 0 22021 25 5 3 20 0 15 0 107000964 11348049920 261885 33554432000 4194304 4196468 140727727122032 140305220398368 140304796493639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15895] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.89 cores=0,2,4,6
/proc/15841/task/15895/stat : 15895 (java) S 15838 15841 9814 0 -1 1077944384 2566 12902 0 0 75 6 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140305252805648 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15896] ppid=15838 vsize=11082080 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/15841/task/15896/stat : 15896 (java) S 15838 15841 9814 0 -1 1077944384 2723 12902 0 0 73 6 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140305107524752 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15897] ppid=15838 vsize=11082080 memory=1051136 CPUtime=0.86 cores=0,2,4,6
/proc/15841/task/15897/stat : 15897 (java) S 15838 15841 9814 0 -1 1077944384 3969 12902 0 0 72 6 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304787172112 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15898] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.88 cores=0,2,4,6
/proc/15841/task/15898/stat : 15898 (java) S 15838 15841 9814 0 -1 1077944384 5370 12902 0 0 74 6 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304786119568 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15899] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.73 cores=0,2,4,6
/proc/15841/task/15899/stat : 15899 (java) S 15838 15841 9814 0 -1 1077944384 6214 12902 0 0 60 5 5 3 20 0 15 0 107000966 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304674457840 140305248574082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15900] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15900/stat : 15900 (java) S 15838 15841 9814 0 -1 1077944384 14 12902 0 0 0 0 5 3 20 0 15 0 107000967 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304045827360 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15901] ppid=15838 vsize=11082080 memory=1612 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15901/stat : 15901 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000967 11348049920 261885 33554432000 4194304 4196468 140727727122032 140303897977600 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15902] ppid=15838 vsize=11082080 memory=2412 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15902/stat : 15902 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140303590578128 140305248581531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15903] ppid=15838 vsize=11082080 memory=0 CPUtime=6.42 cores=0,2,4,6
/proc/15841/task/15903/stat : 15903 (java) S 15838 15841 9814 0 -1 1077944384 24052 12902 0 0 630 4 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304673405680 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15904] ppid=15838 vsize=11082080 memory=0 CPUtime=6.38 cores=0,2,4,6
/proc/15841/task/15904/stat : 15904 (java) S 15838 15841 9814 0 -1 1077944384 27526 12902 0 0 624 6 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304672353136 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15905] ppid=15838 vsize=11082080 memory=4140 CPUtime=3.19 cores=0,2,4,6
/proc/15841/task/15905/stat : 15905 (java) S 15838 15841 9814 0 -1 1077944384 29856 12902 0 0 305 6 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304671300080 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15906] ppid=15838 vsize=11082080 memory=30544 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15906/stat : 15906 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140303159782240 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15907] ppid=15838 vsize=11082080 memory=3088 CPUtime=0.2 cores=0,2,4,6
/proc/15841/task/15907/stat : 15907 (java) S 15838 15841 9814 0 -1 1077944384 524 12902 0 0 5 7 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304670247472 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
Current children cumulated CPU time: 240.36 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1047540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+233.701 s]
/proc/loadavg: 1.80 1.74 1.58 3/216 16068
/proc/meminfo: memFree=25859176/32770624 swapFree=67108436/67108860
[pid=15841] ppid=15838 vsize=11082080 memory=1047540 CPUtime=252.08 cores=0,2,4,6
/proc/15841/stat : 15841 (java) S 15838 15841 9814 0 -1 1077944320 163935 12902 0 0 25122 78 5 3 20 0 15 0 107000955 11348049920 261885 33554432000 4194304 4196468 140727727122032 140727727104576 140305248562935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
/proc/15841/statm: 2770520 261885 3528 1 0 2732173 0
[pid=15841/tid=15894] ppid=15838 vsize=11082080 memory=1047540 CPUtime=231.83 cores=0,2,4,6
/proc/15841/task/15894/stat : 15894 (java) R 15838 15841 9814 0 -1 4202560 58889 12902 0 0 23150 25 5 3 20 0 15 0 107000964 11348049920 261885 33554432000 4194304 4196468 140727727122032 140305220397424 140304788478316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15895] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.94 cores=0,2,4,6
/proc/15841/task/15895/stat : 15895 (java) S 15838 15841 9814 0 -1 1077944384 2567 12902 0 0 80 6 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140305252805648 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15896] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.93 cores=0,2,4,6
/proc/15841/task/15896/stat : 15896 (java) S 15838 15841 9814 0 -1 1077944384 2727 12902 0 0 79 6 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140305107524752 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15897] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.91 cores=0,2,4,6
/proc/15841/task/15897/stat : 15897 (java) S 15838 15841 9814 0 -1 1077944384 3970 12902 0 0 77 6 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304787172112 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15898] ppid=15838 vsize=11082080 memory=2412 CPUtime=0.94 cores=0,2,4,6
/proc/15841/task/15898/stat : 15898 (java) S 15838 15841 9814 0 -1 1077944384 5372 12902 0 0 79 7 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304786119568 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15899] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.78 cores=0,2,4,6
/proc/15841/task/15899/stat : 15899 (java) S 15838 15841 9814 0 -1 1077944384 6216 12902 0 0 65 5 5 3 20 0 15 0 107000966 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304674457840 140305248574082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15900] ppid=15838 vsize=11082080 memory=1051136 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15900/stat : 15900 (java) S 15838 15841 9814 0 -1 1077944384 14 12902 0 0 0 0 5 3 20 0 15 0 107000967 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304045827360 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15901] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15901/stat : 15901 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000967 11348049920 261885 33554432000 4194304 4196468 140727727122032 140303897977600 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15902] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15902/stat : 15902 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140303590578128 140305248581531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15903] ppid=15838 vsize=11082080 memory=8076 CPUtime=6.48 cores=0,2,4,6
/proc/15841/task/15903/stat : 15903 (java) S 15838 15841 9814 0 -1 1077944384 24056 12902 0 0 636 4 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304673405680 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15904] ppid=15838 vsize=11082080 memory=17444 CPUtime=6.44 cores=0,2,4,6
/proc/15841/task/15904/stat : 15904 (java) S 15838 15841 9814 0 -1 1077944384 27528 12902 0 0 630 6 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304672353136 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15905] ppid=15838 vsize=11082080 memory=1047540 CPUtime=3.22 cores=0,2,4,6
/proc/15841/task/15905/stat : 15905 (java) S 15838 15841 9814 0 -1 1077944384 29875 12902 0 0 308 6 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304671300080 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15906] ppid=15838 vsize=11082080 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15906/stat : 15906 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140303159782240 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15907] ppid=15838 vsize=11082080 memory=6944656592455359580 CPUtime=0.21 cores=0,2,4,6
/proc/15841/task/15907/stat : 15907 (java) S 15838 15841 9814 0 -1 1077944384 524 12902 0 0 5 8 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304670247472 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1047540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+233.738 s]
# the end of solver process 15841 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.293 s, system=0.834019 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+233.701 s]
/proc/loadavg: 1.80 1.74 1.58 3/216 16068
/proc/meminfo: memFree=25859176/32770624 swapFree=67108436/67108860
[pid=15841] ppid=15838 vsize=11082080 memory=1047540 CPUtime=252.08 cores=0,2,4,6
/proc/15841/stat : 15841 (java) S 15838 15841 9814 0 -1 1077944320 163935 12902 0 0 25122 78 5 3 20 0 15 0 107000955 11348049920 261885 33554432000 4194304 4196468 140727727122032 140727727104576 140305248562935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
/proc/15841/statm: 2770520 261885 3528 1 0 2732173 0
[pid=15841/tid=15894] ppid=15838 vsize=11082080 memory=1047540 CPUtime=231.83 cores=0,2,4,6
/proc/15841/task/15894/stat : 15894 (java) R 15838 15841 9814 0 -1 4202560 58889 12902 0 0 23150 25 5 3 20 0 15 0 107000964 11348049920 261885 33554432000 4194304 4196468 140727727122032 140305220397424 140304788478316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15895] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.94 cores=0,2,4,6
/proc/15841/task/15895/stat : 15895 (java) S 15838 15841 9814 0 -1 1077944384 2567 12902 0 0 80 6 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140305252805648 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15896] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.93 cores=0,2,4,6
/proc/15841/task/15896/stat : 15896 (java) S 15838 15841 9814 0 -1 1077944384 2727 12902 0 0 79 6 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140305107524752 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15897] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.91 cores=0,2,4,6
/proc/15841/task/15897/stat : 15897 (java) S 15838 15841 9814 0 -1 1077944384 3970 12902 0 0 77 6 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304787172112 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15898] ppid=15838 vsize=11082080 memory=2412 CPUtime=0.94 cores=0,2,4,6
/proc/15841/task/15898/stat : 15898 (java) S 15838 15841 9814 0 -1 1077944384 5372 12902 0 0 79 7 5 3 20 0 15 0 107000965 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304786119568 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15899] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.78 cores=0,2,4,6
/proc/15841/task/15899/stat : 15899 (java) S 15838 15841 9814 0 -1 1077944384 6216 12902 0 0 65 5 5 3 20 0 15 0 107000966 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304674457840 140305248574082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15900] ppid=15838 vsize=11082080 memory=1051136 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15900/stat : 15900 (java) S 15838 15841 9814 0 -1 1077944384 14 12902 0 0 0 0 5 3 20 0 15 0 107000967 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304045827360 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15901] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15901/stat : 15901 (java) S 15838 15841 9814 0 -1 1077944384 1 12902 0 0 0 0 5 3 20 0 15 0 107000967 11348049920 261885 33554432000 4194304 4196468 140727727122032 140303897977600 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15902] ppid=15838 vsize=11082080 memory=1047540 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15902/stat : 15902 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140303590578128 140305248581531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15903] ppid=15838 vsize=11082080 memory=8076 CPUtime=6.48 cores=0,2,4,6
/proc/15841/task/15903/stat : 15903 (java) S 15838 15841 9814 0 -1 1077944384 24056 12902 0 0 636 4 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304673405680 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15904] ppid=15838 vsize=11082080 memory=17444 CPUtime=6.44 cores=0,2,4,6
/proc/15841/task/15904/stat : 15904 (java) S 15838 15841 9814 0 -1 1077944384 27528 12902 0 0 630 6 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304672353136 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15905] ppid=15838 vsize=11082080 memory=1047540 CPUtime=3.22 cores=0,2,4,6
/proc/15841/task/15905/stat : 15905 (java) S 15838 15841 9814 0 -1 1077944384 29875 12902 0 0 308 6 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304671300080 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15906] ppid=15838 vsize=11082080 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15841/task/15906/stat : 15906 (java) S 15838 15841 9814 0 -1 1077944384 3 12902 0 0 0 0 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140303159782240 140305248573141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
[pid=15841/tid=15907] ppid=15838 vsize=11082080 memory=6944656592455359580 CPUtime=0.21 cores=0,2,4,6
/proc/15841/task/15907/stat : 15907 (java) S 15838 15841 9814 0 -1 1077944384 524 12902 0 0 5 8 5 3 20 0 15 0 107000970 11348049920 261885 33554432000 4194304 4196468 140727727122032 140304670247472 140305248574082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35233792 140727727123057 140727727125857 140727727125857 140727727128527 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1047540 KiB
Child status: 143
Real time (s): 233.738
CPU time (s): 252.127
CPU user time (s): 251.293
CPU system time (s): 0.834019
CPU usage (%): 107.867
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1134352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.293
system time used= 0.834019
maximum resident set size= 1134352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29162
involuntary context switches= 796
# summary of solver processes directly reported to runsolver:
# pid: 15841
# total CPU time (s): 252.127
# total CPU user time (s): 251.293
# total CPU system time (s): 0.834019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2206 second user time and 2.43364 second system time
The end
Begin job on node137 at 2018-07-29 21:59:38 IDJOB=4302421 IDBENCH=141059 IDSOLVER=2776 FILE ID=node137/4302421-1532894378 RUNJOBID= node137-1532893235-14549 PBS_JOBID= 21022513 Free space on /tmp= 48508 MiB SOLVER NAME= Concrete 3.9.2 BENCH NAME= XCSP18/NurseRostering/NurseRostering-02_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302421-1532894378/watcher-4302421-1532894378 -o /tmp/evaluation-result-4302421-1532894378/solver-4302421-1532894378 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1463706497 HOME/instance-4302421-1532894378.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 87663e99bef5ddcf16b35e20b5ad163d RANDOM SEED=1463706497 node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26458128 kB MemAvailable: 30262992 kB Buffers: 216596 kB Cached: 3824376 kB SwapCached: 32 kB Active: 3463848 kB Inactive: 2298536 kB Active(anon): 1669480 kB Inactive(anon): 79972 kB Active(file): 1794368 kB Inactive(file): 2218564 kB Unevictable: 7424 kB Mlocked: 7424 kB SwapTotal: 67108860 kB SwapFree: 67108436 kB Dirty: 26432 kB Writeback: 0 kB AnonPages: 1741124 kB Mapped: 55828 kB Shmem: 25052 kB Slab: 243768 kB SReclaimable: 215532 kB SUnreclaim: 28236 kB KernelStack: 3792 kB PageTables: 9012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2744936 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1509376 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 48484 MiB End job on node137 at 2018-07-29 22:03:32