0.98/0.74 c Concrete v3.9.2.1532736233296 running
8.36/4.00 c 05:54:22.389 [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.36/4.00 c 05:54:22.394 [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.70/4.01 c 05:54:22.399 [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.70/4.01 c 05:54:22.400 [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.70/4.01 c 05:54:22.402 [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.70/4.01 c 05:54:22.403 [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.70/4.01 c 05:54:22.406 [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.70/4.01 c 05:54:22.406 [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.70/4.02 c 05:54:22.409 [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.70/4.02 c 05:54:22.410 [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.70/4.02 c 05:54:22.412 [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.70/4.02 c 05:54:22.413 [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.70/4.02 c 05:54:22.416 [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.70/4.02 c 05:54:22.416 [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.70/4.03 c 05:54:22.419 [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.70/4.03 c 05:54:22.420 [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.70/4.03 c 05:54:22.420 [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.70/4.03 c 05:54:22.423 [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.70/4.03 c 05:54:22.423 [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.70/4.03 c 05:54:22.424 [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.70/4.03 c 05:54:22.426 [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.70/4.03 c 05:54:22.427 [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.70/4.04 c 05:54:22.430 [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.70/4.04 c 05:54:22.431 [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.70/4.04 c 05:54:22.433 [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.70/4.04 c 05:54:22.434 [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.70/4.04 c 05:54:22.437 [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.70/4.04 c 05:54:22.437 [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.70/4.05 c 05:54:22.438 [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.70/4.05 c 05:54:22.440 [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.70/4.05 c 05:54:22.441 [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.70/4.05 c 05:54:22.441 [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.70/4.07 c 05:54:22.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3351. 'extension(x[1][8]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.07 c 05:54:22.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3353. 'extension(x[1][8]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.07 c 05:54:22.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3359. 'extension(x[0][1]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.07 c 05:54:22.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3361. 'extension(x[2][1]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.07 c 05:54:22.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3373. 'extension(x[0][4]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.07 c 05:54:22.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3375. 'extension(x[2][4]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.07 c 05:54:22.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3387. 'extension(x[1][2]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3389. 'extension(x[3][2]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3403. 'extension(x[1][11]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3405. 'extension(x[3][11]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3415. 'extension(x[2][0]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3417. 'extension(x[4][0]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3431. 'extension(x[2][7]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3433. 'extension(x[4][7]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3447. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3449. 'extension(x[4][10]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3451. 'extension(x[6][10]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3461. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3463. 'extension(x[5][13]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3465. 'extension(x[7][13]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3475. 'extension(x[7][9]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3477. 'extension(x[9][9]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3491. 'extension(x[7][12]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3493. 'extension(x[9][12]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3503. 'extension(x[8][6]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3505. 'extension(x[10][6]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3519. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3521. 'extension(x[11][3]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.08 c 05:54:22.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3523. 'extension(x[13][3]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.09 c 05:54:22.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3535. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.70/4.09 c 05:54:22.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3537. 'extension(x[12][5]=[0‥2]) :: init: true :: relation: Empty MDD
8.70/4.09 c 05:54:22.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3539. 'extension(x[12][5]=[0‥2]) :: init: true :: relation: Empty MDD
13.24/5.68 o 2847
13.59/5.73 o 2845
14.83/6.19 o 2546
15.10/6.20 o 2445
15.10/6.21 o 2444
15.10/6.23 o 2443
15.10/6.25 o 2442
15.10/6.26 o 2342
15.10/6.28 o 2242
16.91/6.81 o 2238
16.91/6.82 o 2237
16.91/6.84 o 2137
16.91/6.88 o 2037
17.21/6.90 o 1937
20.70/9.35 o 1843
22.35/10.79 o 1842
22.49/10.82 o 1841
31.06/18.99 o 1748
31.06/18.99 o 1747
31.18/19.02 o 1746
47.94/34.63 o 1647
48.05/34.79 o 1547
126.77/111.61 o 1546
174.46/158.07 o 1536
176.92/160.45 o 1436
186.28/169.54 o 1336
327.86/307.35 o 1335
329.60/309.02 o 1333
426.31/403.16 o 1332
435.15/411.78 o 1331
448.93/425.18 o 1330
604.74/576.51 o 1329
605.45/577.27 o 1236
605.66/577.40 o 1235
630.50/601.99 o 1234
630.50/602.00 o 1233
642.99/614.21 o 1232
642.99/614.22 o 1231
663.11/634.01 o 1230
1993.94/1943.99 o 1229
1993.94/1944.00 o 1228
2026.47/1975.96 o 1227
2520.08/2461.50 Exception in thread "main" java.util.concurrent.TimeoutException
2520.08/2461.50 at concrete.MAC.mac(MAC.scala:188)
2520.08/2461.50 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.08/2461.50 at scala.util.Try$.apply(Try.scala:209)
2520.08/2461.50 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2461.50 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2461.50 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2461.50 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2461.50 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.08/2461.50 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2461.50 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2461.50 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2461.50 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2461.50 at concrete.MAC.oneRun(MAC.scala:253)
2520.08/2461.50 at concrete.MAC.nextSolution(MAC.scala:272)
2520.08/2461.50 at concrete.MAC.nextSolution(MAC.scala:355)
2520.08/2461.50 at concrete.Solver.hasNext(Solver.scala:166)
2520.08/2461.50 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.08/2461.50 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.08/2461.50 at concrete.Solver.foreach(Solver.scala:68)
2520.08/2461.50 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.08/2461.50 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2461.50 at scala.util.Success.map(Try.scala:209)
2520.08/2461.50 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2461.50 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.08/2461.50 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.08/2461.50 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2461.50 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.08/2461.50 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2461.50 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2461.50 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2461.50 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2461.50 at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2461.50 at scala.App.main(App.scala:76)
2520.08/2461.50 at scala.App.main$(App.scala:74)
2520.08/2461.50 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.08/2461.50 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2461.51 v <instantiation cost="1227">
2520.08/2461.51 v <list>
2520.08/2461.51 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.08/2461.51 v </list>
2520.08/2461.51 v <values>
2520.08/2461.51 v 1 2 2 2 2 2 0 0 2 1 1 1 0 0 1 2 2 0 2 0 0 0 1 1 2 2 2 2 1 0 2 0 1 1 0 2 1 1 1 2 2 2 2 0 0 0 1 1 0 2 1 1 2 2 0 2 2 2 0 0 1 1 1 0 1 2 2 2 2 2 1 2 0 0 2 1 2 0 2 2 2 2 1 0 1 0 0 2 2 2 2 0 2 2 2 2 1 2 1 0 2 2 1 2 2 0 0 2 2 2 2 2 1 0 2 0 1 0 2 2 1 2 1 2 2 0 1 0 0 0 1 1 2 2 1 0 2 2 2 2 2 0 1 0 2 1 2 1 2 0 2 2 2 0 2 2 1 2 2 2 0 1 2 0 2 1 2 2 2 2 2 2 1 2 0 2 0 0 1 1 2 2 2 2 2 2 1 2 0 2 0 1 2 1 2 2 0 8 6 7 0 7 5 2 7 8 0 6 0 8 6 2 6 6 7 1 6 6 2 6 3 6 5 4 5 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 4 3 7 3 2 9 3 2 9 4 4 6 4 4 6 4 3 7 2 3 9 3 3 8 2 3 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 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 3 1 0 1 1 1 3 0 0 0 1 1 0 0 1 0 2 2 0 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 200 0 200 300 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 200 0
2520.08/2461.51 v </values>
2520.08/2461.51 v </instantiation>
2520.08/2461.51 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 (3184 MiB free)
memory of node 1: 16384 MiB (3044 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304191-1534046058/watcher-4304191-1534046058 -o /tmp/evaluation-result-4304191-1534046058/solver-4304191-1534046058 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17408 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=989799754 HOME/instance-4304191-1534046058.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
solver pid=18191, runsolver pid=18188
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 1.41 1.47 1.42 5/206 18248
/proc/meminfo: memFree=6367824/32770624 swapFree=67108404/67108860
[pid=18191] ppid=18188 vsize=10005480 memory=17340 CPUtime=0.08 cores=0,2,4,6
/proc/18191/stat : 18191 (java) S 18188 18191 15321 0 -1 1077944320 4462 13155 0 0 1 0 5 2 20 0 6 0 222168935 10245611520 4335 33554432000 4194304 4196468 140723825117872 140723825100416 139927912804087 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
/proc/18191/statm: 2501370 4335 1957 1 0 2489808 0
[pid=18191/tid=18244] ppid=18188 vsize=10005480 memory=4279135703913103502 CPUtime=0.08 cores=0,2,4,6
/proc/18191/task/18244/stat : 18244 (java) R 18188 18191 15321 0 -1 4202560 2272 13155 0 0 1 0 5 2 20 0 6 0 222168944 10245611520 4335 33554432000 4194304 4196468 140723825117872 139927884640848 139927905041214 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18245] ppid=18188 vsize=10011648 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18245/stat : 18245 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 6 0 222168944 10251927552 4335 33554432000 4194304 4196468 140723825117872 139927917046032 139927912814293 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18246] ppid=18188 vsize=10016420 memory=140128241776256 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18246/stat : 18246 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 6 0 222168944 10256814080 4335 33554432000 4194304 4196468 140723825117872 139927771765136 139927912814293 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18247] ppid=18188 vsize=10021560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18247/stat : 18247 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 6 0 222168944 10262077440 4335 33554432000 4194304 4196468 140723825117872 139927770712592 139927912814293 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18248] ppid=18188 vsize=10021560 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18248/stat : 18248 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 6 0 222168944 10262077440 4335 33554432000 4194304 4196468 140723825117872 139927769660048 139927912814293 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17340 KiB
[startup+0.209912 s]*
/proc/loadavg: 1.41 1.47 1.42 3/215 18257
/proc/meminfo: memFree=6348940/32770624 swapFree=67108404/67108860
[pid=18191] ppid=18188 vsize=10985364 memory=47552 CPUtime=0.25 cores=0,2,4,6
/proc/18191/stat : 18191 (java) S 18188 18191 15321 0 -1 1077944320 8565 13155 0 0 17 1 5 2 20 0 15 0 222168935 11249012736 11822 33554432000 4194304 4196468 140723825117872 140723825100416 139927912804087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
/proc/18191/statm: 2746341 11888 2955 1 0 2708764 0
[pid=18191/tid=18244] ppid=18188 vsize=10985364 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/18191/task/18244/stat : 18244 (java) R 18188 18191 15321 0 -1 4202560 5247 13155 0 0 11 0 5 2 20 0 15 0 222168944 11249012736 11602 33554432000 4194304 4196468 140723825117872 139927884628896 139927905521191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18245] ppid=18188 vsize=10985364 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18245/stat : 18245 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168944 11249012736 11602 33554432000 4194304 4196468 140723825117872 139927917046032 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18246] ppid=18188 vsize=10985364 memory=3762390970505033376 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18246/stat : 18246 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168944 11249012736 11602 33554432000 4194304 4196468 140723825117872 139927771765136 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18247] ppid=18188 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18247/stat : 18247 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168944 11247345664 11362 33554432000 4194304 4196468 140723825117872 139927770712592 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18248] ppid=18188 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18248/stat : 18248 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168944 11247345664 11362 33554432000 4194304 4196468 140723825117872 139927769660048 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18249] ppid=18188 vsize=10982744 memory=140128241776256 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18249/stat : 18249 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168946 11246329856 11354 33554432000 4194304 4196468 140723825117872 139927338564080 139927912815234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18250] ppid=18188 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18250/stat : 18250 (java) S 18188 18191 15321 0 -1 1077944384 13 13155 0 0 0 0 5 2 20 0 15 0 222168946 11246329856 11354 33554432000 4194304 4196468 140723825117872 139926692685216 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18251] ppid=18188 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18251/stat : 18251 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168947 11246329856 11354 33554432000 4194304 4196468 140723825117872 139926544836080 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18252] ppid=18188 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18252/stat : 18252 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11246329856 11354 33554432000 4194304 4196468 140723825117872 139926237436624 139927912822683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18253] ppid=18188 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18191/task/18253/stat : 18253 (java) S 18188 18191 15321 0 -1 1077944384 417 13155 0 0 1 0 5 2 20 0 15 0 222168949 11246329856 11354 33554432000 4194304 4196468 140723825117872 139927337510896 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18254] ppid=18188 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18191/task/18254/stat : 18254 (java) S 18188 18191 15321 0 -1 1077944384 188 13155 0 0 1 0 5 2 20 0 15 0 222168949 11246329856 11354 33554432000 4194304 4196468 140723825117872 139927336458352 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18255] ppid=18188 vsize=10982744 memory=140128241776256 CPUtime=0.1 cores=0,2,4,6
/proc/18191/task/18255/stat : 18255 (java) S 18188 18191 15321 0 -1 1077944384 620 13155 0 0 3 0 5 2 20 0 15 0 222168949 11246329856 11354 33554432000 4194304 4196468 140723825117872 139927335405808 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18256] ppid=18188 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18256/stat : 18256 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11246329856 11354 33554432000 4194304 4196468 140723825117872 139925806639712 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18257] ppid=18188 vsize=10982776 memory=140128241776256 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18257/stat : 18257 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168950 11246362624 11354 33554432000 4194304 4196468 140723825117872 139927334353712 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 47552 KiB
[startup+0.310385 s]*
/proc/loadavg: 1.41 1.47 1.42 3/215 18257
/proc/meminfo: memFree=6322548/32770624 swapFree=67108404/67108860
[pid=18191] ppid=18188 vsize=10983192 memory=55876 CPUtime=0.38 cores=0,2,4,6
/proc/18191/stat : 18191 (java) S 18188 18191 15321 0 -1 1077944320 10543 13155 0 0 29 2 5 2 20 0 15 0 222168935 11246788608 13969 33554432000 4194304 4196468 140723825117872 140723825100416 139927912804087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
/proc/18191/statm: 2745798 13969 3074 1 0 2708109 0
[pid=18191/tid=18244] ppid=18188 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/18191/task/18244/stat : 18244 (java) R 18188 18191 15321 0 -1 4202560 7099 13155 0 0 20 1 5 2 20 0 15 0 222168944 11246788608 13969 33554432000 4194304 4196468 140723825117872 139927884616096 139927896884574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18245] ppid=18188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18245/stat : 18245 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168944 11246788608 13969 33554432000 4194304 4196468 140723825117872 139927917046032 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18246] ppid=18188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18246/stat : 18246 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168944 11246788608 13969 33554432000 4194304 4196468 140723825117872 139927771765136 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18247] ppid=18188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18247/stat : 18247 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168944 11246788608 13969 33554432000 4194304 4196468 140723825117872 139927770712592 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18248] ppid=18188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18248/stat : 18248 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168944 11246788608 13969 33554432000 4194304 4196468 140723825117872 139927769660048 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18249] ppid=18188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18249/stat : 18249 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168946 11246788608 13969 33554432000 4194304 4196468 140723825117872 139927338564080 139927912815234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18250] ppid=18188 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18250/stat : 18250 (java) S 18188 18191 15321 0 -1 1077944384 13 13155 0 0 0 0 5 2 20 0 15 0 222168946 11246788608 13969 33554432000 4194304 4196468 140723825117872 139926692685216 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18251] ppid=18188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18251/stat : 18251 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168947 11246788608 13969 33554432000 4194304 4196468 140723825117872 139926544836080 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18252] ppid=18188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18252/stat : 18252 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11246788608 13969 33554432000 4194304 4196468 140723825117872 139926237436624 139927912822683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18253] ppid=18188 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18191/task/18253/stat : 18253 (java) S 18188 18191 15321 0 -1 1077944384 419 13155 0 0 1 0 5 2 20 0 15 0 222168949 11246788608 13969 33554432000 4194304 4196468 140723825117872 139927337510896 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18254] ppid=18188 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18191/task/18254/stat : 18254 (java) S 18188 18191 15321 0 -1 1077944384 188 13155 0 0 1 0 5 2 20 0 15 0 222168949 11246788608 13969 33554432000 4194304 4196468 140723825117872 139927336458352 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18255] ppid=18188 vsize=10983192 memory=140128241776256 CPUtime=0.12 cores=0,2,4,6
/proc/18191/task/18255/stat : 18255 (java) R 18188 18191 15321 0 -1 4202560 626 13155 0 0 5 0 5 2 20 0 15 0 222168949 11246788608 13969 33554432000 4194304 4196468 140723825117872 139927335405808 139927891759682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18256] ppid=18188 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18256/stat : 18256 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11246788608 13969 33554432000 4194304 4196468 140723825117872 139925806639712 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18257] ppid=18188 vsize=10983192 memory=140128241776256 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18257/stat : 18257 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168950 11246788608 13969 33554432000 4194304 4196468 140723825117872 139927334353712 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55876 KiB
[startup+0.700773 s]
/proc/loadavg: 1.41 1.47 1.42 6/215 18257
/proc/meminfo: memFree=6311692/32770624 swapFree=67108404/67108860
[pid=18191] ppid=18188 vsize=10983192 memory=88564 CPUtime=0.98 cores=0,2,4,6
/proc/18191/stat : 18191 (java) S 18188 18191 15321 0 -1 1077944320 16778 13155 0 0 87 4 5 2 20 0 15 0 222168935 11246788608 22141 33554432000 4194304 4196468 140723825117872 140723825100416 139927912804087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
/proc/18191/statm: 2745798 22141 3238 1 0 2708109 0
[pid=18191/tid=18244] ppid=18188 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/18191/task/18244/stat : 18244 (java) R 18188 18191 15321 0 -1 4202560 12268 13155 0 0 56 3 5 2 20 0 15 0 222168944 11246788608 22141 33554432000 4194304 4196468 140723825117872 139927884624912 139927894367591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18245] ppid=18188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18245/stat : 18245 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168944 11246788608 22141 33554432000 4194304 4196468 140723825117872 139927917046032 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18246] ppid=18188 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18246/stat : 18246 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168944 11246788608 22141 33554432000 4194304 4196468 140723825117872 139927771765136 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18247] ppid=18188 vsize=10983192 memory=140128140012080 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18247/stat : 18247 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168944 11246788608 22141 33554432000 4194304 4196468 140723825117872 139927770712592 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18248] ppid=18188 vsize=10983192 memory=140131897967180 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18248/stat : 18248 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168944 11246788608 22141 33554432000 4194304 4196468 140723825117872 139927769660048 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18249] ppid=18188 vsize=10983192 memory=4000 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18249/stat : 18249 (java) S 18188 18191 15321 0 -1 1077944384 5 13155 0 0 0 0 5 2 20 0 15 0 222168946 11246788608 22141 33554432000 4194304 4196468 140723825117872 139927338564080 139927912815234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18250] ppid=18188 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18250/stat : 18250 (java) S 18188 18191 15321 0 -1 1077944384 13 13155 0 0 0 0 5 2 20 0 15 0 222168946 11246788608 22141 33554432000 4194304 4196468 140723825117872 139926692685216 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18251] ppid=18188 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18251/stat : 18251 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168947 11246788608 22141 33554432000 4194304 4196468 140723825117872 139926544836080 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18252] ppid=18188 vsize=10983192 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18252/stat : 18252 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11246788608 22141 33554432000 4194304 4196468 140723825117872 139926237436624 139927912822683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18253] ppid=18188 vsize=10983192 memory=33352 CPUtime=0.14 cores=0,2,4,6
/proc/18191/task/18253/stat : 18253 (java) S 18188 18191 15321 0 -1 1077944384 828 13155 0 0 7 0 5 2 20 0 15 0 222168949 11246788608 22141 33554432000 4194304 4196468 140723825117872 139927337510896 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18254] ppid=18188 vsize=10983192 memory=14644 CPUtime=0.16 cores=0,2,4,6
/proc/18191/task/18254/stat : 18254 (java) S 18188 18191 15321 0 -1 1077944384 752 13155 0 0 9 0 5 2 20 0 15 0 222168949 11246788608 22141 33554432000 4194304 4196468 140723825117872 139927336458352 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18255] ppid=18188 vsize=10983192 memory=1720 CPUtime=0.2 cores=0,2,4,6
/proc/18191/task/18255/stat : 18255 (java) S 18188 18191 15321 0 -1 1077944384 710 13155 0 0 13 0 5 2 20 0 15 0 222168949 11246788608 22141 33554432000 4194304 4196468 140723825117872 139927335405808 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18256] ppid=18188 vsize=10983192 memory=508 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18256/stat : 18256 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11246788608 22141 33554432000 4194304 4196468 140723825117872 139925806639712 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18257] ppid=18188 vsize=10983192 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18257/stat : 18257 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168950 11246788608 22141 33554432000 4194304 4196468 140723825117872 139927334353712 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88564 KiB
[startup+1.50079 s]
/proc/loadavg: 1.41 1.47 1.42 7/215 18257
/proc/meminfo: memFree=6215656/32770624 swapFree=67108404/67108860
[pid=18191] ppid=18188 vsize=10998092 memory=183368 CPUtime=2.53 cores=0,2,4,6
/proc/18191/stat : 18191 (java) S 18188 18191 15321 0 -1 1077944320 23813 13155 0 0 237 9 5 2 20 0 15 0 222168935 11262046208 45842 33554432000 4194304 4196468 140723825117872 140723825100416 139927912804087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
/proc/18191/statm: 2749523 45842 3476 1 0 2711181 0
[pid=18191/tid=18244] ppid=18188 vsize=10998092 memory=4872558044660077418 CPUtime=1.42 cores=0,2,4,6
/proc/18191/task/18244/stat : 18244 (java) R 18188 18191 15321 0 -1 4202560 17231 13155 0 0 130 5 5 2 20 0 15 0 222168944 11262046208 45842 33554432000 4194304 4196468 140723825117872 139927884619104 139927896884574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18245] ppid=18188 vsize=10998092 memory=280256280055456 CPUtime=0.08 cores=0,2,4,6
/proc/18191/task/18245/stat : 18245 (java) S 18188 18191 15321 0 -1 1077944384 17 13155 0 0 1 0 5 2 20 0 15 0 222168944 11262046208 45842 33554432000 4194304 4196468 140723825117872 139927917046032 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18246] ppid=18188 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18191/task/18246/stat : 18246 (java) S 18188 18191 15321 0 -1 1077944384 54 13155 0 0 1 0 5 2 20 0 15 0 222168944 11262046208 45842 33554432000 4194304 4196468 140723825117872 139927771765136 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18247] ppid=18188 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18191/task/18247/stat : 18247 (java) S 18188 18191 15321 0 -1 1077944384 24 13155 0 0 1 0 5 2 20 0 15 0 222168944 11262046208 45842 33554432000 4194304 4196468 140723825117872 139927770712592 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18248] ppid=18188 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18191/task/18248/stat : 18248 (java) S 18188 18191 15321 0 -1 1077944384 194 13155 0 0 1 0 5 2 20 0 15 0 222168944 11262046208 45842 33554432000 4194304 4196468 140723825117872 139927769660048 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18249] ppid=18188 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18191/task/18249/stat : 18249 (java) S 18188 18191 15321 0 -1 1077944384 61 13155 0 0 1 0 5 2 20 0 15 0 222168946 11262046208 45842 33554432000 4194304 4196468 140723825117872 139927338564080 139927912815234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18250] ppid=18188 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18250/stat : 18250 (java) S 18188 18191 15321 0 -1 1077944384 13 13155 0 0 0 0 5 2 20 0 15 0 222168946 11262046208 45842 33554432000 4194304 4196468 140723825117872 139926692685280 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18251] ppid=18188 vsize=10998092 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18251/stat : 18251 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168947 11262046208 45842 33554432000 4194304 4196468 140723825117872 139926544836096 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18252] ppid=18188 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18252/stat : 18252 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11262046208 45842 33554432000 4194304 4196468 140723825117872 139926237436624 139927912822683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18253] ppid=18188 vsize=10998092 memory=10 CPUtime=0.33 cores=0,2,4,6
/proc/18191/task/18253/stat : 18253 (java) S 18188 18191 15321 0 -1 1077944384 1329 13155 0 0 26 0 5 2 20 0 15 0 222168949 11262046208 45842 33554432000 4194304 4196468 140723825117872 139927337510896 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18254] ppid=18188 vsize=10998092 memory=6791534058613427641 CPUtime=0.36 cores=0,2,4,6
/proc/18191/task/18254/stat : 18254 (java) S 18188 18191 15321 0 -1 1077944384 1058 13155 0 0 29 0 5 2 20 0 15 0 222168949 11262046208 45842 33554432000 4194304 4196468 140723825117872 139927336458352 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18255] ppid=18188 vsize=10998092 memory=280256280295264 CPUtime=0.51 cores=0,2,4,6
/proc/18191/task/18255/stat : 18255 (java) S 18188 18191 15321 0 -1 1077944384 1636 13155 0 0 43 1 5 2 20 0 15 0 222168949 11262046208 45842 33554432000 4194304 4196468 140723825117872 139927335405808 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18256] ppid=18188 vsize=10998092 memory=-7233780906022716832 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18256/stat : 18256 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11262046208 45842 33554432000 4194304 4196468 140723825117872 139925806639712 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18257] ppid=18188 vsize=10998092 memory=-7531822216213012384 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18257/stat : 18257 (java) S 18188 18191 15321 0 -1 1077944384 1 13155 0 0 0 0 5 2 20 0 15 0 222168950 11262046208 45842 33554432000 4194304 4196468 140723825117872 139927334353712 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/18191/task/18244/stat : 18244 (java) R 18188 18191 15321 0 -1 4202560 105598 13155 0 0 235625 55 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927884639248 139927457287680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18245] ppid=18188 vsize=11082080 memory=972704 CPUtime=12.56 cores=0,2,4,6
/proc/18191/task/18245/stat : 18245 (java) S 18188 18191 15321 0 -1 1077944384 23349 13155 0 0 1197 52 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927917046032 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18246] ppid=18188 vsize=11082080 memory=972704 CPUtime=12.58 cores=0,2,4,6
/proc/18191/task/18246/stat : 18246 (java) S 18188 18191 15321 0 -1 1077944384 17817 13155 0 0 1198 53 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927771765136 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18247] ppid=18188 vsize=11082080 memory=0 CPUtime=12.61 cores=0,2,4,6
/proc/18191/task/18247/stat : 18247 (java) S 18188 18191 15321 0 -1 1077944384 17545 13155 0 0 1203 51 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927770712592 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18248] ppid=18188 vsize=11082080 memory=972704 CPUtime=12.63 cores=0,2,4,6
/proc/18191/task/18248/stat : 18248 (java) S 18188 18191 15321 0 -1 1077944384 18418 13155 0 0 1205 51 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927769660048 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18249] ppid=18188 vsize=11082080 memory=972704 CPUtime=10.6 cores=0,2,4,6
/proc/18191/task/18249/stat : 18249 (java) S 18188 18191 15321 0 -1 1077944384 19169 13155 0 0 999 54 5 2 20 0 15 0 222168946 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927338564080 139927912815234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18250] ppid=18188 vsize=11082080 memory=972704 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18250/stat : 18250 (java) S 18188 18191 15321 0 -1 1077944384 13 13155 0 0 0 0 5 2 20 0 15 0 222168946 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926692685344 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18251] ppid=18188 vsize=11082080 memory=972704 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18251/stat : 18251 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168947 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926544836096 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18252] ppid=18188 vsize=11082080 memory=972704 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18252/stat : 18252 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926237436624 139927912822683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18253] ppid=18188 vsize=11082080 memory=972704 CPUtime=8.42 cores=0,2,4,6
/proc/18191/task/18253/stat : 18253 (java) S 18188 18191 15321 0 -1 1077944384 45154 13155 0 0 830 5 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927337510896 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18254] ppid=18188 vsize=11082080 memory=972704 CPUtime=8.2 cores=0,2,4,6
/proc/18191/task/18254/stat : 18254 (java) S 18188 18191 15321 0 -1 1077944384 37452 13155 0 0 807 6 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927336458352 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18255] ppid=18188 vsize=11082080 memory=812 CPUtime=4.23 cores=0,2,4,6
/proc/18191/task/18255/stat : 18255 (java) S 18188 18191 15321 0 -1 1077944384 51382 13155 0 0 408 8 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927335405808 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18256] ppid=18188 vsize=11082080 memory=972704 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18256/stat : 18256 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139925806639712 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18257] ppid=18188 vsize=11082080 memory=972704 CPUtime=1.33 cores=0,2,4,6
/proc/18191/task/18257/stat : 18257 (java) S 18188 18191 15321 0 -1 1077944384 881 13155 0 0 65 61 5 2 20 0 15 0 222168950 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927334353712 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
Current children cumulated CPU time: 2439.53 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 972704 KiB
[startup+2442.3 s]
/proc/loadavg: 1.50 1.54 1.48 3/216 18357
/proc/meminfo: memFree=4772348/32770624 swapFree=67108404/67108860
[pid=18191] ppid=18188 vsize=11082080 memory=972704 CPUtime=2500.55 cores=0,2,4,6
/proc/18191/stat : 18191 (java) S 18188 18191 15321 0 -1 1077944320 340092 13155 0 0 249691 357 5 2 20 0 15 0 222168935 11348049920 243176 33554432000 4194304 4196468 140723825117872 140723825100416 139927912804087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
/proc/18191/statm: 2770520 243176 3529 1 0 2732173 0
[pid=18191/tid=18244] ppid=18188 vsize=11082080 memory=876 CPUtime=2416.19 cores=0,2,4,6
/proc/18191/task/18244/stat : 18244 (java) R 18188 18191 15321 0 -1 4202560 106236 13155 0 0 241556 56 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927884639520 139927439333703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18245] ppid=18188 vsize=11082080 memory=972704 CPUtime=12.91 cores=0,2,4,6
/proc/18191/task/18245/stat : 18245 (java) S 18188 18191 15321 0 -1 1077944384 23446 13155 0 0 1230 54 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927917046032 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18246] ppid=18188 vsize=11082080 memory=972704 CPUtime=12.93 cores=0,2,4,6
/proc/18191/task/18246/stat : 18246 (java) S 18188 18191 15321 0 -1 1077944384 17834 13155 0 0 1231 55 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927771765136 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18247] ppid=18188 vsize=11082080 memory=972704 CPUtime=12.96 cores=0,2,4,6
/proc/18191/task/18247/stat : 18247 (java) S 18188 18191 15321 0 -1 1077944384 17578 13155 0 0 1237 52 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927770712592 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18248] ppid=18188 vsize=11082080 memory=972704 CPUtime=12.98 cores=0,2,4,6
/proc/18191/task/18248/stat : 18248 (java) S 18188 18191 15321 0 -1 1077944384 18509 13155 0 0 1239 52 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927769660048 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18249] ppid=18188 vsize=11082080 memory=972704 CPUtime=10.89 cores=0,2,4,6
/proc/18191/task/18249/stat : 18249 (java) S 18188 18191 15321 0 -1 1077944384 19397 13155 0 0 1026 56 5 2 20 0 15 0 222168946 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927338564080 139927912815234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18250] ppid=18188 vsize=11082080 memory=972704 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18250/stat : 18250 (java) S 18188 18191 15321 0 -1 1077944384 13 13155 0 0 0 0 5 2 20 0 15 0 222168946 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926692685344 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18251] ppid=18188 vsize=11082080 memory=972704 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18251/stat : 18251 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168947 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926544836096 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18252] ppid=18188 vsize=11082080 memory=972704 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18252/stat : 18252 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926237436624 139927912822683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18253] ppid=18188 vsize=11082080 memory=7 CPUtime=8.42 cores=0,2,4,6
/proc/18191/task/18253/stat : 18253 (java) S 18188 18191 15321 0 -1 1077944384 45156 13155 0 0 830 5 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927337510896 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18254] ppid=18188 vsize=11082080 memory=972704 CPUtime=8.2 cores=0,2,4,6
/proc/18191/task/18254/stat : 18254 (java) S 18188 18191 15321 0 -1 1077944384 37454 13155 0 0 807 6 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927336458352 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18255] ppid=18188 vsize=11082080 memory=972704 CPUtime=4.23 cores=0,2,4,6
/proc/18191/task/18255/stat : 18255 (java) S 18188 18191 15321 0 -1 1077944384 51384 13155 0 0 408 8 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927335405808 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18256] ppid=18188 vsize=11082080 memory=972704 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18256/stat : 18256 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139925806639712 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18257] ppid=18188 vsize=11082080 memory=972704 CPUtime=1.35 cores=0,2,4,6
/proc/18191/task/18257/stat : 18257 (java) S 18188 18191 15321 0 -1 1077944384 889 13155 0 0 66 62 5 2 20 0 15 0 222168950 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927334353712 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
Current children cumulated CPU time: 2500.55 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 972704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2461.5 s]
/proc/loadavg: 1.72 1.59 1.49 3/215 18488
/proc/meminfo: memFree=5003956/32770624 swapFree=67108404/67108860
[pid=18191] ppid=18188 vsize=11082080 memory=972704 CPUtime=2520.08 cores=0,2,4,6
/proc/18191/stat : 18191 (java) S 18188 18191 15321 0 -1 1077944320 340781 13155 0 0 251642 359 5 2 20 0 15 0 222168935 11348049920 243176 33554432000 4194304 4196468 140723825117872 140723825100416 139927912804087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
/proc/18191/statm: 2770520 243176 3529 1 0 2732173 0
[pid=18191/tid=18244] ppid=18188 vsize=11082080 memory=972704 CPUtime=2435.16 cores=0,2,4,6
/proc/18191/task/18244/stat : 18244 (java) R 18188 18191 15321 0 -1 4202560 106560 13155 0 0 243453 56 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927884638656 139927456997687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18245] ppid=18188 vsize=11082080 memory=972704 CPUtime=13.03 cores=0,2,4,6
/proc/18191/task/18245/stat : 18245 (java) S 18188 18191 15321 0 -1 1077944384 23464 13155 0 0 1242 54 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927917046032 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18246] ppid=18188 vsize=11082080 memory=972704 CPUtime=13.04 cores=0,2,4,6
/proc/18191/task/18246/stat : 18246 (java) S 18188 18191 15321 0 -1 1077944384 17837 13155 0 0 1242 55 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927771765136 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18247] ppid=18188 vsize=11082080 memory=972704 CPUtime=13.08 cores=0,2,4,6
/proc/18191/task/18247/stat : 18247 (java) S 18188 18191 15321 0 -1 1077944384 17665 13155 0 0 1249 52 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927770712592 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18248] ppid=18188 vsize=11082080 memory=0 CPUtime=13.09 cores=0,2,4,6
/proc/18191/task/18248/stat : 18248 (java) S 18188 18191 15321 0 -1 1077944384 18563 13155 0 0 1250 52 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927769660048 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18249] ppid=18188 vsize=11082080 memory=972704 CPUtime=10.98 cores=0,2,4,6
/proc/18191/task/18249/stat : 18249 (java) S 18188 18191 15321 0 -1 1077944384 19581 13155 0 0 1035 56 5 2 20 0 15 0 222168946 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927338564080 139927912815234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18250] ppid=18188 vsize=11082080 memory=3684 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18250/stat : 18250 (java) S 18188 18191 15321 0 -1 1077944384 13 13155 0 0 0 0 5 2 20 0 15 0 222168946 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926692685344 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18251] ppid=18188 vsize=11082080 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18251/stat : 18251 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168947 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926544836096 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18252] ppid=18188 vsize=11082080 memory=280256281901504 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18252/stat : 18252 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926237436624 139927912822683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18253] ppid=18188 vsize=11082080 memory=1300 CPUtime=8.42 cores=0,2,4,6
/proc/18191/task/18253/stat : 18253 (java) S 18188 18191 15321 0 -1 1077944384 45158 13155 0 0 830 5 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927337510896 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18254] ppid=18188 vsize=11082080 memory=251685 CPUtime=8.2 cores=0,2,4,6
/proc/18191/task/18254/stat : 18254 (java) S 18188 18191 15321 0 -1 1077944384 37456 13155 0 0 807 6 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927336458352 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18255] ppid=18188 vsize=11082080 memory=0 CPUtime=4.23 cores=0,2,4,6
/proc/18191/task/18255/stat : 18255 (java) S 18188 18191 15321 0 -1 1077944384 51386 13155 0 0 408 8 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927335405808 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18256] ppid=18188 vsize=11082080 memory=835 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18256/stat : 18256 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139925806639712 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18257] ppid=18188 vsize=11082080 memory=3684 CPUtime=1.37 cores=0,2,4,6
/proc/18191/task/18257/stat : 18257 (java) S 18188 18191 15321 0 -1 1077944384 902 13155 0 0 67 63 5 2 20 0 15 0 222168950 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927334353712 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 972704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.53 s]
# the end of solver process 18191 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.49 s, system=3.63349 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2461.5 s]
/proc/loadavg: 1.72 1.59 1.49 3/215 18488
/proc/meminfo: memFree=5003956/32770624 swapFree=67108404/67108860
[pid=18191] ppid=18188 vsize=11082080 memory=972704 CPUtime=2520.08 cores=0,2,4,6
/proc/18191/stat : 18191 (java) S 18188 18191 15321 0 -1 1077944320 340781 13155 0 0 251642 359 5 2 20 0 15 0 222168935 11348049920 243176 33554432000 4194304 4196468 140723825117872 140723825100416 139927912804087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
/proc/18191/statm: 2770520 243176 3529 1 0 2732173 0
[pid=18191/tid=18244] ppid=18188 vsize=11082080 memory=972704 CPUtime=2435.16 cores=0,2,4,6
/proc/18191/task/18244/stat : 18244 (java) R 18188 18191 15321 0 -1 4202560 106560 13155 0 0 243453 56 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927884638656 139927456997687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18245] ppid=18188 vsize=11082080 memory=972704 CPUtime=13.03 cores=0,2,4,6
/proc/18191/task/18245/stat : 18245 (java) S 18188 18191 15321 0 -1 1077944384 23464 13155 0 0 1242 54 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927917046032 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18246] ppid=18188 vsize=11082080 memory=972704 CPUtime=13.04 cores=0,2,4,6
/proc/18191/task/18246/stat : 18246 (java) S 18188 18191 15321 0 -1 1077944384 17837 13155 0 0 1242 55 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927771765136 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18247] ppid=18188 vsize=11082080 memory=972704 CPUtime=13.08 cores=0,2,4,6
/proc/18191/task/18247/stat : 18247 (java) S 18188 18191 15321 0 -1 1077944384 17665 13155 0 0 1249 52 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927770712592 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18248] ppid=18188 vsize=11082080 memory=0 CPUtime=13.09 cores=0,2,4,6
/proc/18191/task/18248/stat : 18248 (java) S 18188 18191 15321 0 -1 1077944384 18563 13155 0 0 1250 52 5 2 20 0 15 0 222168944 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927769660048 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18249] ppid=18188 vsize=11082080 memory=972704 CPUtime=10.98 cores=0,2,4,6
/proc/18191/task/18249/stat : 18249 (java) S 18188 18191 15321 0 -1 1077944384 19581 13155 0 0 1035 56 5 2 20 0 15 0 222168946 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927338564080 139927912815234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18250] ppid=18188 vsize=11082080 memory=3684 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18250/stat : 18250 (java) S 18188 18191 15321 0 -1 1077944384 13 13155 0 0 0 0 5 2 20 0 15 0 222168946 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926692685344 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18251] ppid=18188 vsize=11082080 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18251/stat : 18251 (java) S 18188 18191 15321 0 -1 1077944384 2 13155 0 0 0 0 5 2 20 0 15 0 222168947 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926544836096 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18252] ppid=18188 vsize=11082080 memory=280256281901504 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18252/stat : 18252 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139926237436624 139927912822683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18253] ppid=18188 vsize=11082080 memory=1300 CPUtime=8.42 cores=0,2,4,6
/proc/18191/task/18253/stat : 18253 (java) S 18188 18191 15321 0 -1 1077944384 45158 13155 0 0 830 5 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927337510896 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18254] ppid=18188 vsize=11082080 memory=251685 CPUtime=8.2 cores=0,2,4,6
/proc/18191/task/18254/stat : 18254 (java) S 18188 18191 15321 0 -1 1077944384 37456 13155 0 0 807 6 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927336458352 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18255] ppid=18188 vsize=11082080 memory=0 CPUtime=4.23 cores=0,2,4,6
/proc/18191/task/18255/stat : 18255 (java) S 18188 18191 15321 0 -1 1077944384 51386 13155 0 0 408 8 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927335405808 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18256] ppid=18188 vsize=11082080 memory=835 CPUtime=0.07 cores=0,2,4,6
/proc/18191/task/18256/stat : 18256 (java) S 18188 18191 15321 0 -1 1077944384 3 13155 0 0 0 0 5 2 20 0 15 0 222168949 11348049920 243176 33554432000 4194304 4196468 140723825117872 139925806639712 139927912814293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
[pid=18191/tid=18257] ppid=18188 vsize=11082080 memory=3684 CPUtime=1.37 cores=0,2,4,6
/proc/18191/task/18257/stat : 18257 (java) S 18188 18191 15321 0 -1 1077944384 902 13155 0 0 67 63 5 2 20 0 15 0 222168950 11348049920 243176 33554432000 4194304 4196468 140723825117872 139927334353712 139927912815234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140723825121901 140723825124700 140723825124700 140723825127375 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 972704 KiB
Child status: 143
Real time (s): 2461.53
CPU time (s): 2520.12
CPU user time (s): 2516.49
CPU system time (s): 3.63349
CPU usage (%): 102.381
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1150056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.49
system time used= 3.63349
maximum resident set size= 1152104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295787
involuntary context switches= 8249
# summary of solver processes directly reported to runsolver:
# pid: 18191
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.49
# total CPU system time (s): 3.63349
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7049 second user time and 23.3421 second system time
The end