0.98/0.74 c Concrete v3.8.1528841891564 running
8.51/4.01 c 01:55:15.355 [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.51/4.01 c 01:55:15.360 [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.92/4.02 c 01:55:15.365 [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.92/4.02 c 01:55:15.366 [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.92/4.02 c 01:55:15.369 [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.92/4.02 c 01:55:15.369 [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.92/4.02 c 01:55:15.372 [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.92/4.02 c 01:55:15.373 [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.92/4.02 c 01:55:15.376 [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.92/4.02 c 01:55:15.377 [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.92/4.03 c 01:55:15.379 [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.92/4.03 c 01:55:15.379 [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.92/4.03 c 01:55:15.383 [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.92/4.03 c 01:55:15.383 [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.92/4.03 c 01:55:15.386 [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.92/4.03 c 01:55:15.387 [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.92/4.03 c 01:55:15.387 [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.92/4.04 c 01:55:15.390 [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.92/4.04 c 01:55:15.390 [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.92/4.04 c 01:55:15.391 [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.92/4.04 c 01:55:15.394 [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.92/4.04 c 01:55:15.394 [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.92/4.04 c 01:55:15.397 [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.92/4.05 c 01:55:15.398 [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.92/4.05 c 01:55:15.401 [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.92/4.05 c 01:55:15.401 [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.92/4.05 c 01:55:15.405 [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.92/4.05 c 01:55:15.405 [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.92/4.05 c 01:55:15.406 [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.92/4.06 c 01:55:15.408 [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.92/4.06 c 01:55:15.409 [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.92/4.06 c 01:55:15.409 [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.92/4.07 c 01:55:15.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3351. 'extension(x[1][8]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.07 c 01:55:15.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3353. 'extension(x[1][8]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3359. 'extension(x[0][1]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3361. 'extension(x[2][1]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3373. 'extension(x[0][4]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3375. 'extension(x[2][4]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3387. 'extension(x[1][2]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3389. 'extension(x[3][2]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3403. 'extension(x[1][11]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3405. 'extension(x[3][11]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3415. 'extension(x[2][0]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3417. 'extension(x[4][0]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3431. 'extension(x[2][7]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3433. 'extension(x[4][7]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3447. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3449. 'extension(x[4][10]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3451. 'extension(x[6][10]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3461. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
8.92/4.08 c 01:55:15.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3463. 'extension(x[5][13]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3465. 'extension(x[7][13]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3475. 'extension(x[7][9]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3477. 'extension(x[9][9]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3491. 'extension(x[7][12]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3493. 'extension(x[9][12]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3503. 'extension(x[8][6]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3505. 'extension(x[10][6]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3519. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3521. 'extension(x[11][3]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3523. 'extension(x[13][3]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3535. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3537. 'extension(x[12][5]=[0‥2]) :: init: true :: relation: Empty MDD
8.92/4.09 c 01:55:15.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3539. 'extension(x[12][5]=[0‥2]) :: init: true :: relation: Empty MDD
12.50/5.32 o 2442
14.45/5.91 o 2441
14.45/5.93 o 2440
14.45/5.95 o 2343
14.45/5.96 o 2340
14.45/5.97 o 2240
15.37/6.29 o 2239
15.68/6.30 o 2237
15.68/6.31 o 2236
15.68/6.33 o 2136
16.61/6.68 o 2040
18.58/7.34 o 2037
22.50/10.12 o 1937
29.45/16.28 o 1840
29.45/16.29 o 1839
29.80/16.50 o 1838
29.80/16.51 o 1837
29.80/16.53 o 1737
80.81/65.68 o 1651
83.40/68.14 o 1650
98.65/83.09 o 1647
314.58/295.35 o 1644
314.58/295.36 o 1643
314.58/295.36 o 1642
1472.60/1429.05 o 1640
1811.60/1762.79 o 1639
1892.46/1842.32 o 1539
2520.01/2460.70 Exception in thread "main" java.util.concurrent.TimeoutException
2520.01/2460.71 at concrete.MAC.mac(MAC.scala:188)
2520.01/2460.71 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.01/2460.71 at scala.util.Try$.apply(Try.scala:209)
2520.01/2460.71 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2460.71 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2460.71 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2460.71 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2460.71 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.01/2460.71 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2460.71 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2460.71 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2460.71 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2460.71 at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2460.71 at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2460.71 at concrete.MAC.nextSolution(MAC.scala:355)
2520.01/2460.71 at concrete.Solver.hasNext(Solver.scala:166)
2520.01/2460.71 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.01/2460.71 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.01/2460.71 at concrete.Solver.foreach(Solver.scala:68)
2520.01/2460.71 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.01/2460.71 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2460.71 at scala.util.Success.map(Try.scala:209)
2520.01/2460.71 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2460.71 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.01/2460.71 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.01/2460.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2460.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.01/2460.71 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2460.71 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2460.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2460.71 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2460.71 at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2460.71 at scala.App.main(App.scala:76)
2520.01/2460.71 at scala.App.main$(App.scala:74)
2520.01/2460.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.01/2460.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2460.71 v <instantiation cost="1539">
2520.01/2460.71 v <list>
2520.01/2460.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]
2520.01/2460.71 v </list>
2520.01/2460.71 v <values>
2520.01/2460.71 v 1 2 1 2 2 0 0 0 2 1 2 2 1 0 1 2 1 2 2 0 0 0 0 1 2 2 2 2 1 0 2 0 1 1 0 1 1 2 1 2 2 2 2 0 2 0 1 2 0 2 1 2 2 1 1 2 2 0 2 0 1 2 2 2 1 0 2 1 1 2 1 1 0 0 1 1 2 2 2 1 2 2 2 0 1 2 0 0 1 1 2 2 2 1 2 2 2 2 1 2 2 2 2 1 0 0 0 2 2 2 1 2 1 0 2 2 2 1 0 0 1 2 2 2 2 0 1 0 0 0 1 1 2 2 2 0 1 2 2 2 2 0 1 0 1 2 2 2 2 0 2 1 2 0 2 0 1 2 1 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 1 1 0 2 1 2 2 2 2 2 2 2 2 2 1 1 0 2 1 1 2 2 0 8 6 7 1 6 3 4 7 7 0 7 0 8 6 2 6 6 6 2 6 4 3 7 5 4 5 3 5 6 0 4 10 0 4 10 0 4 10 4 0 10 4 4 6 4 3 7 3 6 5 3 4 7 3 4 7 3 5 6 2 4 8 3 3 8 4 3 7 4 4 6 4 3 7 2 3 9 1 3 10 1 4 9 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 2 2 3 3 0 0 0 0 0 1 1 0 0 0 0 3 3 0 0 0 1 1 0 0 2 2 0 3 0 2 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 200 0 0 0 0 0 200 0 0 300 100 0 0 1 0 0 100 0 0 0 0 0 0 0 0 0 0 300 0 0 200 100 0
2520.01/2460.71 v </values>
2520.01/2460.71 v </instantiation>
2520.01/2460.72 s SATISFIABLE
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 (7097 MiB free)
memory of node 1: 16384 MiB (10599 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293006-1532303711/watcher-4293006-1532303711 -o /tmp/evaluation-result-4293006-1532303711/solver-4293006-1532303711 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16111 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1569214371 -superng HOME/instance-4293006-1532303711.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17580, runsolver pid=17577
[startup+0.100089 s]*
/proc/loadavg: 1.67 1.78 1.77 3/209 17637
/proc/meminfo: memFree=18116116/32770624 swapFree=67108860/67108860
[pid=17580] ppid=17577 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/17580/stat : 17580 (java) S 17577 17580 16080 0 -1 1077944320 4384 13001 0 0 1 1 4 3 20 0 6 0 47934249 10212057088 4203 33554432000 4194304 4196468 140724158810240 140724158792784 139966302441207 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
/proc/17580/statm: 2493178 4203 1934 1 0 2481616 0
[pid=17580/tid=17633] ppid=17577 vsize=9972712 memory=5853956705177075869 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17633/stat : 17633 (java) R 17577 17580 16080 0 -1 4202560 2223 13001 0 0 0 0 4 3 20 0 6 0 47934258 10212057088 4269 33554432000 4194304 4196468 140724158810240 139966274277968 139966286521694 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17634] ppid=17577 vsize=9972712 memory=5793855593795525049 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17634/stat : 17634 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 6 0 47934259 10212057088 4269 33554432000 4194304 4196468 140724158810240 139966306683536 139966302451413 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17635] ppid=17577 vsize=9972712 memory=140342785631872 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17635/stat : 17635 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 6 0 47934259 10212057088 4269 33554432000 4194304 4196468 140724158810240 139966210886160 139966302451413 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17636] ppid=17577 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17636/stat : 17636 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 6 0 47934259 10212057088 4269 33554432000 4194304 4196468 140724158810240 139966209833360 139966302451413 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17637] ppid=17577 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17637/stat : 17637 (java) S 17577 17580 16080 0 -1 1077944384 2 13001 0 0 0 0 4 3 20 0 6 0 47934259 10212057088 4269 33554432000 4194304 4196468 140724158810240 139966208780560 139966302451413 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.21017 s]*
/proc/loadavg: 1.67 1.78 1.77 3/218 17646
/proc/meminfo: memFree=18093572/32770624 swapFree=67108860/67108860
[pid=17580] ppid=17577 vsize=10818936 memory=43992 CPUtime=0.25 cores=0,2,4,6
/proc/17580/stat : 17580 (java) S 17577 17580 16080 0 -1 1077944320 8844 13001 0 0 16 2 4 3 20 0 15 0 47934249 11078590464 10998 33554432000 4194304 4196468 140724158810240 140724158792784 139966302441207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
/proc/17580/statm: 2704734 10998 2967 1 0 2667157 0
[pid=17580/tid=17633] ppid=17577 vsize=10818904 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/17580/task/17633/stat : 17633 (java) R 17577 17580 16080 0 -1 1077944384 6058 13001 0 0 10 1 4 3 20 0 15 0 47934258 11078557696 11579 33554432000 4194304 4196468 140724158810240 139966274266016 139966295120429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17634] ppid=17577 vsize=10818904 memory=4211974068990422410 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17634/stat : 17634 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934259 11078557696 11579 33554432000 4194304 4196468 140724158810240 139966306683536 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17635] ppid=17577 vsize=10818904 memory=140342785631872 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17635/stat : 17635 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934259 11078557696 11579 33554432000 4194304 4196468 140724158810240 139966210886160 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17636] ppid=17577 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17636/stat : 17636 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934259 11078557696 11579 33554432000 4194304 4196468 140724158810240 139966209833360 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17637] ppid=17577 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17637/stat : 17637 (java) S 17577 17580 16080 0 -1 1077944384 2 13001 0 0 0 0 4 3 20 0 15 0 47934259 11078590464 11579 33554432000 4194304 4196468 140724158810240 139966208780560 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17638] ppid=17577 vsize=10818936 memory=140342785631872 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17638/stat : 17638 (java) S 17577 17580 16080 0 -1 1077944384 2 13001 0 0 0 0 4 3 20 0 15 0 47934261 11078590464 11579 33554432000 4194304 4196468 140724158810240 139965761481584 139966302452354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17639] ppid=17577 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17639/stat : 17639 (java) S 17577 17580 16080 0 -1 1077944384 13 13001 0 0 0 0 4 3 20 0 15 0 47934261 11078590464 11579 33554432000 4194304 4196468 140724158810240 139965199541792 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17640] ppid=17577 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17640/stat : 17640 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934261 11078590464 11579 33554432000 4194304 4196468 140724158810240 139965065323888 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17641] ppid=17577 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17641/stat : 17641 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11078590464 11579 33554432000 4194304 4196468 140724158810240 139964825033040 139966302459803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17642] ppid=17577 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17580/task/17642/stat : 17642 (java) S 17577 17580 16080 0 -1 1077944384 498 13001 0 0 1 0 4 3 20 0 15 0 47934264 11078590464 11579 33554432000 4194304 4196468 140724158810240 139965760428400 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17643] ppid=17577 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17580/task/17643/stat : 17643 (java) S 17577 17580 16080 0 -1 1077944384 87 13001 0 0 1 0 4 3 20 0 15 0 47934264 11078590464 11579 33554432000 4194304 4196468 140724158810240 139965759375600 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17644] ppid=17577 vsize=10818936 memory=140342785631872 CPUtime=0.1 cores=0,2,4,6
/proc/17580/task/17644/stat : 17644 (java) S 17577 17580 16080 0 -1 1077944384 549 13001 0 0 3 0 4 3 20 0 15 0 47934264 11078590464 11579 33554432000 4194304 4196468 140724158810240 139965758322800 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17645] ppid=17577 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17645/stat : 17645 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11078590464 11579 33554432000 4194304 4196468 140724158810240 139964791474400 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17646] ppid=17577 vsize=10818936 memory=140342785631872 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17646/stat : 17646 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934264 11078590464 11579 33554432000 4194304 4196468 140724158810240 139965757271216 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 43992 KiB
[startup+0.31053 s]*
/proc/loadavg: 1.67 1.78 1.77 3/218 17646
/proc/meminfo: memFree=18080208/32770624 swapFree=67108860/67108860
[pid=17580] ppid=17577 vsize=10819352 memory=54196 CPUtime=0.38 cores=0,2,4,6
/proc/17580/stat : 17580 (java) S 17577 17580 16080 0 -1 1077944320 10621 13001 0 0 28 3 4 3 20 0 15 0 47934249 11079016448 13549 33554432000 4194304 4196468 140724158810240 140724158792784 139966302441207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
/proc/17580/statm: 2704838 13549 3086 1 0 2667149 0
[pid=17580/tid=17633] ppid=17577 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/17580/task/17633/stat : 17633 (java) R 17577 17580 16080 0 -1 4202560 7264 13001 0 0 19 2 4 3 20 0 15 0 47934258 11079016448 13549 33554432000 4194304 4196468 140724158810240 139966274253216 139966294678334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17634] ppid=17577 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17634/stat : 17634 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934259 11079016448 13549 33554432000 4194304 4196468 140724158810240 139966306683536 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17635] ppid=17577 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17635/stat : 17635 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934259 11079016448 13549 33554432000 4194304 4196468 140724158810240 139966210886160 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17636] ppid=17577 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17636/stat : 17636 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934259 11079016448 13549 33554432000 4194304 4196468 140724158810240 139966209833360 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17637] ppid=17577 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17637/stat : 17637 (java) S 17577 17580 16080 0 -1 1077944384 2 13001 0 0 0 0 4 3 20 0 15 0 47934259 11079016448 13549 33554432000 4194304 4196468 140724158810240 139966208780560 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17638] ppid=17577 vsize=10819352 memory=140342785631871 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17638/stat : 17638 (java) S 17577 17580 16080 0 -1 1077944384 2 13001 0 0 0 0 4 3 20 0 15 0 47934261 11079016448 13549 33554432000 4194304 4196468 140724158810240 139965761481584 139966302452354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17639] ppid=17577 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17639/stat : 17639 (java) S 17577 17580 16080 0 -1 1077944384 13 13001 0 0 0 0 4 3 20 0 15 0 47934261 11079016448 13549 33554432000 4194304 4196468 140724158810240 139965199541792 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17640] ppid=17577 vsize=10819352 memory=140342785631872 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17640/stat : 17640 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934261 11079016448 13549 33554432000 4194304 4196468 140724158810240 139965065323888 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17641] ppid=17577 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17641/stat : 17641 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11079016448 13549 33554432000 4194304 4196468 140724158810240 139964825033040 139966302459803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17642] ppid=17577 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17580/task/17642/stat : 17642 (java) S 17577 17580 16080 0 -1 1077944384 499 13001 0 0 1 0 4 3 20 0 15 0 47934264 11079016448 13549 33554432000 4194304 4196468 140724158810240 139965760428400 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17643] ppid=17577 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17580/task/17643/stat : 17643 (java) S 17577 17580 16080 0 -1 1077944384 87 13001 0 0 1 0 4 3 20 0 15 0 47934264 11079016448 13549 33554432000 4194304 4196468 140724158810240 139965759375600 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17644] ppid=17577 vsize=10819352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/17580/task/17644/stat : 17644 (java) S 17577 17580 16080 0 -1 1077944384 557 13001 0 0 4 0 4 3 20 0 15 0 47934264 11079016448 13549 33554432000 4194304 4196468 140724158810240 139965758322800 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17645] ppid=17577 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17645/stat : 17645 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11079016448 13549 33554432000 4194304 4196468 140724158810240 139964791474400 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17646] ppid=17577 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17646/stat : 17646 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934264 11079016448 13549 33554432000 4194304 4196468 140724158810240 139965757271216 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54196 KiB
[startup+0.700739 s]
/proc/loadavg: 1.67 1.78 1.77 3/218 17646
/proc/meminfo: memFree=18071648/32770624 swapFree=67108860/67108860
[pid=17580] ppid=17577 vsize=10819352 memory=86640 CPUtime=0.98 cores=0,2,4,6
/proc/17580/stat : 17580 (java) S 17577 17580 16080 0 -1 1077944320 16748 13001 0 0 86 5 4 3 20 0 15 0 47934249 11079016448 21660 33554432000 4194304 4196468 140724158810240 140724158792784 139966302441207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
/proc/17580/statm: 2704838 21660 3237 1 0 2667149 0
[pid=17580/tid=17633] ppid=17577 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/17580/task/17633/stat : 17633 (java) R 17577 17580 16080 0 -1 4202560 12331 13001 0 0 56 3 4 3 20 0 15 0 47934258 11079016448 21660 33554432000 4194304 4196468 140724158810240 139966274262032 139966282707214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17634] ppid=17577 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17634/stat : 17634 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934259 11079016448 21660 33554432000 4194304 4196468 140724158810240 139966306683536 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17635] ppid=17577 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17635/stat : 17635 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934259 11079016448 21660 33554432000 4194304 4196468 140724158810240 139966210886160 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17636] ppid=17577 vsize=10819352 memory=4132 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17636/stat : 17636 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934259 11079016448 21660 33554432000 4194304 4196468 140724158810240 139966209833360 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17637] ppid=17577 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17637/stat : 17637 (java) S 17577 17580 16080 0 -1 1077944384 2 13001 0 0 0 0 4 3 20 0 15 0 47934259 11079016448 21660 33554432000 4194304 4196468 140724158810240 139966208780560 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17638] ppid=17577 vsize=10819352 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17638/stat : 17638 (java) S 17577 17580 16080 0 -1 1077944384 5 13001 0 0 0 0 4 3 20 0 15 0 47934261 11079016448 21660 33554432000 4194304 4196468 140724158810240 139965761481584 139966302452354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17639] ppid=17577 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17639/stat : 17639 (java) S 17577 17580 16080 0 -1 1077944384 13 13001 0 0 0 0 4 3 20 0 15 0 47934261 11079016448 21660 33554432000 4194304 4196468 140724158810240 139965199541792 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17640] ppid=17577 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17640/stat : 17640 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934261 11079016448 21660 33554432000 4194304 4196468 140724158810240 139965065323888 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17641] ppid=17577 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17641/stat : 17641 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11079016448 21660 33554432000 4194304 4196468 140724158810240 139964825033040 139966302459803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17642] ppid=17577 vsize=10819352 memory=6655300316396806240 CPUtime=0.16 cores=0,2,4,6
/proc/17580/task/17642/stat : 17642 (java) S 17577 17580 16080 0 -1 1077944384 1081 13001 0 0 9 0 4 3 20 0 15 0 47934264 11079016448 21660 33554432000 4194304 4196468 140724158810240 139965760428400 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17643] ppid=17577 vsize=10819352 memory=3557678080365911397 CPUtime=0.14 cores=0,2,4,6
/proc/17580/task/17643/stat : 17643 (java) S 17577 17580 16080 0 -1 1077944384 492 13001 0 0 7 0 4 3 20 0 15 0 47934264 11079016448 21660 33554432000 4194304 4196468 140724158810240 139965759375600 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17644] ppid=17577 vsize=10819352 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/17580/task/17644/stat : 17644 (java) S 17577 17580 16080 0 -1 1077944384 622 13001 0 0 12 0 4 3 20 0 15 0 47934264 11079016448 21660 33554432000 4194304 4196468 140724158810240 139965758322800 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17645] ppid=17577 vsize=10819352 memory=280685373817072 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17645/stat : 17645 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11079016448 21660 33554432000 4194304 4196468 140724158810240 139964791474400 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17646] ppid=17577 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17646/stat : 17646 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934264 11079016448 21660 33554432000 4194304 4196468 140724158810240 139965757271216 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86640 KiB
[startup+1.50073 s]
/proc/loadavg: 1.67 1.78 1.77 5/218 17646
/proc/meminfo: memFree=18026060/32770624 swapFree=67108860/67108860
[pid=17580] ppid=17577 vsize=10834252 memory=183212 CPUtime=2.54 cores=0,2,4,6
/proc/17580/stat : 17580 (java) S 17577 17580 16080 0 -1 1077944320 23765 13001 0 0 237 10 4 3 20 0 15 0 47934249 11094274048 45803 33554432000 4194304 4196468 140724158810240 140724158792784 139966302441207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
/proc/17580/statm: 2708563 45803 3471 1 0 2670221 0
[pid=17580/tid=17633] ppid=17577 vsize=10834252 memory=4132 CPUtime=1.42 cores=0,2,4,6
/proc/17580/task/17633/stat : 17633 (java) R 17577 17580 16080 0 -1 4202560 17345 13001 0 0 130 5 4 3 20 0 15 0 47934258 11094274048 45803 33554432000 4194304 4196468 140724158810240 139966274256224 139966282032389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17634] ppid=17577 vsize=10834252 memory=214 CPUtime=0.08 cores=0,2,4,6
/proc/17580/task/17634/stat : 17634 (java) S 17577 17580 16080 0 -1 1077944384 190 13001 0 0 1 0 4 3 20 0 15 0 47934259 11094274048 45803 33554432000 4194304 4196468 140724158810240 139966306683536 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17635] ppid=17577 vsize=10834252 memory=118 CPUtime=0.08 cores=0,2,4,6
/proc/17580/task/17635/stat : 17635 (java) S 17577 17580 16080 0 -1 1077944384 45 13001 0 0 1 0 4 3 20 0 15 0 47934259 11094274048 45803 33554432000 4194304 4196468 140724158810240 139966210886160 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17636] ppid=17577 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17580/task/17636/stat : 17636 (java) S 17577 17580 16080 0 -1 1077944384 25 13001 0 0 1 0 4 3 20 0 15 0 47934259 11094274048 45803 33554432000 4194304 4196468 140724158810240 139966209833360 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17637] ppid=17577 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17580/task/17637/stat : 17637 (java) S 17577 17580 16080 0 -1 1077944384 30 13001 0 0 1 0 4 3 20 0 15 0 47934259 11094274048 45803 33554432000 4194304 4196468 140724158810240 139966208780560 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17638] ppid=17577 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17580/task/17638/stat : 17638 (java) S 17577 17580 16080 0 -1 1077944384 60 13001 0 0 1 0 4 3 20 0 15 0 47934261 11094274048 45803 33554432000 4194304 4196468 140724158810240 139965761481584 139966302452354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17639] ppid=17577 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17639/stat : 17639 (java) S 17577 17580 16080 0 -1 1077944384 14 13001 0 0 0 0 4 3 20 0 15 0 47934261 11094274048 45803 33554432000 4194304 4196468 140724158810240 139965199541856 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17640] ppid=17577 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17640/stat : 17640 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934261 11094274048 45803 33554432000 4194304 4196468 140724158810240 139965065323904 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17641] ppid=17577 vsize=10834252 memory=280685373853472 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17641/stat : 17641 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11094274048 45803 33554432000 4194304 4196468 140724158810240 139964825033040 139966302459803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17642] ppid=17577 vsize=10834252 memory=7649399375675143985 CPUtime=0.35 cores=0,2,4,6
/proc/17580/task/17642/stat : 17642 (java) S 17577 17580 16080 0 -1 1077944384 1388 13001 0 0 28 0 4 3 20 0 15 0 47934264 11094274048 45803 33554432000 4194304 4196468 140724158810240 139965760428400 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17643] ppid=17577 vsize=10834252 memory=7 CPUtime=0.35 cores=0,2,4,6
/proc/17580/task/17643/stat : 17643 (java) S 17577 17580 16080 0 -1 1077944384 1019 13001 0 0 28 0 4 3 20 0 15 0 47934264 11094274048 45803 33554432000 4194304 4196468 140724158810240 139965759375600 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17644] ppid=17577 vsize=10834252 memory=2209 CPUtime=0.49 cores=0,2,4,6
/proc/17580/task/17644/stat : 17644 (java) S 17577 17580 16080 0 -1 1077944384 1452 13001 0 0 41 1 4 3 20 0 15 0 47934264 11094274048 45821 33554432000 4194304 4196468 140724158810240 139965758322800 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17645] ppid=17577 vsize=10834252 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17645/stat : 17645 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11094274048 45821 33554432000 4194304 4196468 140724158810240 139964791474400 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17646] ppid=17577 vsize=10834252 memory=3303 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17646/stat : 17646 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934264 11094274048 45821 33554432000 4194304 4196468 140724158810240 139965757271216 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/17580/task/17633/stat : 17633 (java) R 17577 17580 16080 0 -1 4202560 118759 13001 0 0 236042 47 4 3 20 0 15 0 47934258 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966274276560 139965896034152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17634] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.03 cores=0,2,4,6
/proc/17580/task/17634/stat : 17634 (java) S 17577 17580 16080 0 -1 1077944384 27384 13001 0 0 1145 51 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966306683536 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17635] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.06 cores=0,2,4,6
/proc/17580/task/17635/stat : 17635 (java) S 17577 17580 16080 0 -1 1077944384 29598 13001 0 0 1151 48 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966210886160 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17636] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.04 cores=0,2,4,6
/proc/17580/task/17636/stat : 17636 (java) S 17577 17580 16080 0 -1 1077944384 16452 13001 0 0 1147 50 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966209833360 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17637] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.04 cores=0,2,4,6
/proc/17580/task/17637/stat : 17637 (java) S 17577 17580 16080 0 -1 1077944384 18200 13001 0 0 1147 50 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966208780560 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17638] ppid=17577 vsize=10918240 memory=0 CPUtime=7.42 cores=0,2,4,6
/proc/17580/task/17638/stat : 17638 (java) S 17577 17580 16080 0 -1 1077944384 21733 13001 0 0 690 45 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965761481584 139966302452354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17639] ppid=17577 vsize=10918240 memory=941 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17639/stat : 17639 (java) S 17577 17580 16080 0 -1 1077944384 14 13001 0 0 0 0 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965199541920 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17640] ppid=17577 vsize=10918240 memory=1584 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17640/stat : 17640 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965065323904 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17641] ppid=17577 vsize=10918240 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17641/stat : 17641 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139964825033040 139966302459803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17642] ppid=17577 vsize=10918240 memory=11956 CPUtime=9.48 cores=0,2,4,6
/proc/17580/task/17642/stat : 17642 (java) S 17577 17580 16080 0 -1 1077944384 89008 13001 0 0 932 9 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965760428400 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17643] ppid=17577 vsize=10918240 memory=1008 CPUtime=9.06 cores=0,2,4,6
/proc/17580/task/17643/stat : 17643 (java) S 17577 17580 16080 0 -1 1077944384 79541 13001 0 0 891 8 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965759375600 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17644] ppid=17577 vsize=10918240 memory=1229572 CPUtime=4.53 cores=0,2,4,6
/proc/17580/task/17644/stat : 17644 (java) S 17577 17580 16080 0 -1 1077944384 87575 13001 0 0 435 11 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965758322800 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17645] ppid=17577 vsize=10918240 memory=1229572 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17645/stat : 17645 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139964791474400 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17646] ppid=17577 vsize=10918240 memory=4104 CPUtime=1.41 cores=0,2,4,6
/proc/17580/task/17646/stat : 17646 (java) S 17577 17580 16080 0 -1 1077944384 1407 13001 0 0 72 62 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965757271216 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
Current children cumulated CPU time: 2440.51 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1229572 KiB
[startup+2442.3 s]
/proc/loadavg: 1.53 1.60 1.58 3/220 18012
/proc/meminfo: memFree=16489352/32770624 swapFree=67108860/67108860
[pid=17580] ppid=17577 vsize=10918240 memory=1229572 CPUtime=2501.35 cores=0,2,4,6
/proc/17580/stat : 17580 (java) S 17577 17580 16080 0 -1 1077944320 493062 13001 0 0 249785 343 4 3 20 0 15 0 47934249 11180277760 307393 33554432000 4194304 4196468 140724158810240 140724158792784 139966302441207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
/proc/17580/statm: 2729560 307393 3535 1 0 2691213 0
[pid=17580/tid=17633] ppid=17577 vsize=10918240 memory=6791534058613427641 CPUtime=2420.44 cores=0,2,4,6
/proc/17580/task/17633/stat : 17633 (java) R 17577 17580 16080 0 -1 4202560 119430 13001 0 0 241990 47 4 3 20 0 15 0 47934258 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966274275616 139965888560603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17634] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.31 cores=0,2,4,6
/proc/17580/task/17634/stat : 17634 (java) S 17577 17580 16080 0 -1 1077944384 27492 13001 0 0 1172 52 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966306683536 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17635] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.36 cores=0,2,4,6
/proc/17580/task/17635/stat : 17635 (java) S 17577 17580 16080 0 -1 1077944384 29656 13001 0 0 1180 49 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966210886160 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17636] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.34 cores=0,2,4,6
/proc/17580/task/17636/stat : 17636 (java) S 17577 17580 16080 0 -1 1077944384 16489 13001 0 0 1176 51 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966209833360 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17637] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.34 cores=0,2,4,6
/proc/17580/task/17637/stat : 17637 (java) S 17577 17580 16080 0 -1 1077944384 18274 13001 0 0 1176 51 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966208780560 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17638] ppid=17577 vsize=10918240 memory=1229572 CPUtime=7.59 cores=0,2,4,6
/proc/17580/task/17638/stat : 17638 (java) S 17577 17580 16080 0 -1 1077944384 21955 13001 0 0 707 45 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965761481584 139966302452354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17639] ppid=17577 vsize=10918240 memory=1229572 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17639/stat : 17639 (java) S 17577 17580 16080 0 -1 1077944384 14 13001 0 0 0 0 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965199541920 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17640] ppid=17577 vsize=10918240 memory=1229572 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17640/stat : 17640 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965065323904 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17641] ppid=17577 vsize=10918240 memory=1229572 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17641/stat : 17641 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139964825033040 139966302459803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17642] ppid=17577 vsize=10918240 memory=1229572 CPUtime=9.48 cores=0,2,4,6
/proc/17580/task/17642/stat : 17642 (java) S 17577 17580 16080 0 -1 1077944384 89010 13001 0 0 932 9 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965760428400 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17643] ppid=17577 vsize=10918240 memory=16116 CPUtime=9.06 cores=0,2,4,6
/proc/17580/task/17643/stat : 17643 (java) S 17577 17580 16080 0 -1 1077944384 79543 13001 0 0 891 8 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965759375600 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17644] ppid=17577 vsize=10918240 memory=1229572 CPUtime=4.53 cores=0,2,4,6
/proc/17580/task/17644/stat : 17644 (java) S 17577 17580 16080 0 -1 1077944384 87577 13001 0 0 435 11 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965758322800 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17645] ppid=17577 vsize=10918240 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17645/stat : 17645 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139964791474400 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17646] ppid=17577 vsize=10918240 memory=1229572 CPUtime=1.45 cores=0,2,4,6
/proc/17580/task/17646/stat : 17646 (java) S 17577 17580 16080 0 -1 1077944384 1424 13001 0 0 74 64 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965757271216 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
Current children cumulated CPU time: 2501.35 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1229572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2460.7 s]
/proc/loadavg: 1.68 1.62 1.59 3/220 18012
/proc/meminfo: memFree=16489724/32770624 swapFree=67108860/67108860
[pid=17580] ppid=17577 vsize=10918240 memory=1229572 CPUtime=2520.01 cores=0,2,4,6
/proc/17580/stat : 17580 (java) S 17577 17580 16080 0 -1 1077944320 493859 13001 0 0 251650 344 4 3 20 0 15 0 47934249 11180277760 307393 33554432000 4194304 4196468 140724158810240 140724158792784 139966302441207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
/proc/17580/statm: 2729560 307393 3535 1 0 2691213 0
[pid=17580/tid=17633] ppid=17577 vsize=10918240 memory=4132 CPUtime=2438.67 cores=0,2,4,6
/proc/17580/task/17633/stat : 17633 (java) R 17577 17580 16080 0 -1 4202560 119734 13001 0 0 243813 47 4 3 20 0 15 0 47934258 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966274275840 139965910568696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17634] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.4 cores=0,2,4,6
/proc/17580/task/17634/stat : 17634 (java) S 17577 17580 16080 0 -1 1077944384 27506 13001 0 0 1181 52 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966306683536 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17635] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.44 cores=0,2,4,6
/proc/17580/task/17635/stat : 17635 (java) S 17577 17580 16080 0 -1 1077944384 29711 13001 0 0 1188 49 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966210886160 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17636] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.42 cores=0,2,4,6
/proc/17580/task/17636/stat : 17636 (java) S 17577 17580 16080 0 -1 1077944384 16575 13001 0 0 1184 51 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966209833360 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17637] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.42 cores=0,2,4,6
/proc/17580/task/17637/stat : 17637 (java) S 17577 17580 16080 0 -1 1077944384 18388 13001 0 0 1184 51 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966208780560 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17638] ppid=17577 vsize=10918240 memory=1229572 CPUtime=7.66 cores=0,2,4,6
/proc/17580/task/17638/stat : 17638 (java) S 17577 17580 16080 0 -1 1077944384 22158 13001 0 0 713 46 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965761481584 139966302452354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17639] ppid=17577 vsize=10918240 memory=1229572 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17639/stat : 17639 (java) S 17577 17580 16080 0 -1 1077944384 14 13001 0 0 0 0 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965199541920 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17640] ppid=17577 vsize=10918240 memory=912 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17640/stat : 17640 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965065323904 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17641] ppid=17577 vsize=10918240 memory=3852 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17641/stat : 17641 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139964825033040 139966302459803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17642] ppid=17577 vsize=10918240 memory=1229572 CPUtime=9.48 cores=0,2,4,6
/proc/17580/task/17642/stat : 17642 (java) S 17577 17580 16080 0 -1 1077944384 89012 13001 0 0 932 9 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965760428400 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17643] ppid=17577 vsize=10918240 memory=1229572 CPUtime=9.06 cores=0,2,4,6
/proc/17580/task/17643/stat : 17643 (java) S 17577 17580 16080 0 -1 1077944384 79545 13001 0 0 891 8 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965759375600 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17644] ppid=17577 vsize=10918240 memory=2676 CPUtime=4.53 cores=0,2,4,6
/proc/17580/task/17644/stat : 17644 (java) S 17577 17580 16080 0 -1 1077944384 87579 13001 0 0 435 11 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965758322800 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17645] ppid=17577 vsize=10918240 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17645/stat : 17645 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139964791474400 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17646] ppid=17577 vsize=10918240 memory=1229572 CPUtime=1.45 cores=0,2,4,6
/proc/17580/task/17646/stat : 17646 (java) S 17577 17580 16080 0 -1 1077944384 1439 13001 0 0 74 64 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965757271216 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1229572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2460.74 s]
# the end of solver process 17580 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.57 s, system=3.49459 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2460.7 s]
/proc/loadavg: 1.68 1.62 1.59 3/220 18012
/proc/meminfo: memFree=16489724/32770624 swapFree=67108860/67108860
[pid=17580] ppid=17577 vsize=10918240 memory=1229572 CPUtime=2520.01 cores=0,2,4,6
/proc/17580/stat : 17580 (java) S 17577 17580 16080 0 -1 1077944320 493859 13001 0 0 251650 344 4 3 20 0 15 0 47934249 11180277760 307393 33554432000 4194304 4196468 140724158810240 140724158792784 139966302441207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
/proc/17580/statm: 2729560 307393 3535 1 0 2691213 0
[pid=17580/tid=17633] ppid=17577 vsize=10918240 memory=4132 CPUtime=2438.67 cores=0,2,4,6
/proc/17580/task/17633/stat : 17633 (java) R 17577 17580 16080 0 -1 4202560 119734 13001 0 0 243813 47 4 3 20 0 15 0 47934258 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966274275840 139965910568696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17634] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.4 cores=0,2,4,6
/proc/17580/task/17634/stat : 17634 (java) S 17577 17580 16080 0 -1 1077944384 27506 13001 0 0 1181 52 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966306683536 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17635] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.44 cores=0,2,4,6
/proc/17580/task/17635/stat : 17635 (java) S 17577 17580 16080 0 -1 1077944384 29711 13001 0 0 1188 49 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966210886160 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17636] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.42 cores=0,2,4,6
/proc/17580/task/17636/stat : 17636 (java) S 17577 17580 16080 0 -1 1077944384 16575 13001 0 0 1184 51 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966209833360 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17637] ppid=17577 vsize=10918240 memory=1229572 CPUtime=12.42 cores=0,2,4,6
/proc/17580/task/17637/stat : 17637 (java) S 17577 17580 16080 0 -1 1077944384 18388 13001 0 0 1184 51 4 3 20 0 15 0 47934259 11180277760 307393 33554432000 4194304 4196468 140724158810240 139966208780560 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17638] ppid=17577 vsize=10918240 memory=1229572 CPUtime=7.66 cores=0,2,4,6
/proc/17580/task/17638/stat : 17638 (java) S 17577 17580 16080 0 -1 1077944384 22158 13001 0 0 713 46 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965761481584 139966302452354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17639] ppid=17577 vsize=10918240 memory=1229572 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17639/stat : 17639 (java) S 17577 17580 16080 0 -1 1077944384 14 13001 0 0 0 0 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965199541920 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17640] ppid=17577 vsize=10918240 memory=912 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17640/stat : 17640 (java) S 17577 17580 16080 0 -1 1077944384 1 13001 0 0 0 0 4 3 20 0 15 0 47934261 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965065323904 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17641] ppid=17577 vsize=10918240 memory=3852 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17641/stat : 17641 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139964825033040 139966302459803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17642] ppid=17577 vsize=10918240 memory=1229572 CPUtime=9.48 cores=0,2,4,6
/proc/17580/task/17642/stat : 17642 (java) S 17577 17580 16080 0 -1 1077944384 89012 13001 0 0 932 9 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965760428400 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17643] ppid=17577 vsize=10918240 memory=1229572 CPUtime=9.06 cores=0,2,4,6
/proc/17580/task/17643/stat : 17643 (java) S 17577 17580 16080 0 -1 1077944384 79545 13001 0 0 891 8 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965759375600 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17644] ppid=17577 vsize=10918240 memory=2676 CPUtime=4.53 cores=0,2,4,6
/proc/17580/task/17644/stat : 17644 (java) S 17577 17580 16080 0 -1 1077944384 87579 13001 0 0 435 11 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965758322800 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17645] ppid=17577 vsize=10918240 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/17580/task/17645/stat : 17645 (java) S 17577 17580 16080 0 -1 1077944384 3 13001 0 0 0 0 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139964791474400 139966302451413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
[pid=17580/tid=17646] ppid=17577 vsize=10918240 memory=1229572 CPUtime=1.45 cores=0,2,4,6
/proc/17580/task/17646/stat : 17646 (java) S 17577 17580 16080 0 -1 1077944384 1439 13001 0 0 74 64 4 3 20 0 15 0 47934264 11180277760 307393 33554432000 4194304 4196468 140724158810240 139965757271216 139966302452354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30433280 140724158818475 140724158821724 140724158821724 140724158824399 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1229572 KiB
Child status: 143
Real time (s): 2460.74
CPU time (s): 2520.06
CPU user time (s): 2516.57
CPU system time (s): 3.49459
CPU usage (%): 102.411
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1736044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.57
system time used= 3.49459
maximum resident set size= 1751436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220979
involuntary context switches= 7302
# summary of solver processes directly reported to runsolver:
# pid: 17580
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.57
# total CPU system time (s): 3.49459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3063 second user time and 25.2396 second system time
The end