0.98/0.73 c Concrete v3.9.2.1532736233296 running
8.51/3.98 c 22:00:15.182 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2830. 'extension(2, x[1][8]=[0‥2]) :: init: true :: relation: MDD 199000084, 2 edges, 3 vertices, 1 tuples
8.51/3.98 c 22:00:15.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2831. 'extension(2, x[1][8]=[0‥2]) :: init: true :: relation: MDD 424226973, 3 edges, 3 vertices, 2 tuples
8.51/3.99 c 22:00:15.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2847. 'extension(x[0][1]=[0‥2], 2) :: init: true :: relation: MDD 88335763, 2 edges, 3 vertices, 1 tuples
8.51/3.99 c 22:00:15.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2848. 'extension(2, x[2][1]=[0‥2]) :: init: true :: relation: MDD 88335763, 2 edges, 3 vertices, 1 tuples
8.51/3.99 c 22:00:15.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2868. 'extension(x[0][4]=[0‥2], 2) :: init: true :: relation: MDD 2141932519, 2 edges, 3 vertices, 1 tuples
8.51/3.99 c 22:00:15.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2869. 'extension(2, x[2][4]=[0‥2]) :: init: true :: relation: MDD 2141932519, 2 edges, 3 vertices, 1 tuples
8.51/3.99 c 22:00:15.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2889. 'extension(x[1][2]=[0‥2], 2) :: init: true :: relation: MDD 1374432753, 2 edges, 3 vertices, 1 tuples
8.51/3.99 c 22:00:15.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2890. 'extension(2, x[3][2]=[0‥2]) :: init: true :: relation: MDD 1374432753, 2 edges, 3 vertices, 1 tuples
8.51/4.00 c 22:00:15.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2912. 'extension(x[1][11]=[0‥2], 2) :: init: true :: relation: MDD 142261320, 2 edges, 3 vertices, 1 tuples
8.51/4.00 c 22:00:15.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2913. 'extension(2, x[3][11]=[0‥2]) :: init: true :: relation: MDD 142261320, 2 edges, 3 vertices, 1 tuples
8.51/4.00 c 22:00:15.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2933. 'extension(x[2][0]=[0‥2], 2) :: init: true :: relation: MDD 573023937, 2 edges, 3 vertices, 1 tuples
8.51/4.00 c 22:00:15.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2934. 'extension(2, x[4][0]=[0‥2]) :: init: true :: relation: MDD 573023937, 2 edges, 3 vertices, 1 tuples
8.51/4.00 c 22:00:15.210 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2957. 'extension(x[2][7]=[0‥2], 2) :: init: true :: relation: MDD 584698209, 2 edges, 3 vertices, 1 tuples
8.88/4.01 c 22:00:15.211 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2958. 'extension(2, x[4][7]=[0‥2]) :: init: true :: relation: MDD 584698209, 2 edges, 3 vertices, 1 tuples
8.88/4.01 c 22:00:15.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2981. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 2007138812, 3 edges, 3 vertices, 2 tuples
8.88/4.01 c 22:00:15.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2982. 'extension(x[4][10]=[0‥2], 2) :: init: true :: relation: MDD 379115456, 2 edges, 3 vertices, 1 tuples
8.88/4.01 c 22:00:15.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 2983. 'extension(2, x[6][10]=[0‥2]) :: init: true :: relation: MDD 379115456, 2 edges, 3 vertices, 1 tuples
8.88/4.01 c 22:00:15.218 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3006. 'extension(2, wk[13][0]=[0‥1]) :: init: true :: relation: MDD 844872102, 3 edges, 3 vertices, 2 tuples
8.88/4.01 c 22:00:15.218 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3007. 'extension(x[5][13]=[0‥2], 2) :: init: true :: relation: MDD 1949672824, 2 edges, 3 vertices, 1 tuples
8.88/4.02 c 22:00:15.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3008. 'extension(2, x[7][13]=[0‥2]) :: init: true :: relation: MDD 1949672824, 2 edges, 3 vertices, 1 tuples
8.88/4.03 c 22:00:15.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3031. 'extension(x[7][9]=[0‥2], 2) :: init: true :: relation: MDD 1941598182, 2 edges, 3 vertices, 1 tuples
8.88/4.03 c 22:00:15.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3032. 'extension(2, x[9][9]=[0‥2]) :: init: true :: relation: MDD 1941598182, 2 edges, 3 vertices, 1 tuples
8.88/4.03 c 22:00:15.225 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3057. 'extension(x[7][12]=[0‥2], 2) :: init: true :: relation: MDD 2015455415, 2 edges, 3 vertices, 1 tuples
8.88/4.03 c 22:00:15.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3058. 'extension(2, x[9][12]=[0‥2]) :: init: true :: relation: MDD 2015455415, 2 edges, 3 vertices, 1 tuples
8.88/4.03 c 22:00:15.229 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3081. 'extension(x[8][6]=[0‥2], 2) :: init: true :: relation: MDD 1679002380, 2 edges, 3 vertices, 1 tuples
8.88/4.03 c 22:00:15.229 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3082. 'extension(2, x[10][6]=[0‥2]) :: init: true :: relation: MDD 1679002380, 2 edges, 3 vertices, 1 tuples
8.88/4.03 c 22:00:15.232 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3106. 'extension(2, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 1677921169, 3 edges, 3 vertices, 2 tuples
8.88/4.03 c 22:00:15.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3107. 'extension(x[11][3]=[0‥2], 2) :: init: true :: relation: MDD 368727462, 2 edges, 3 vertices, 1 tuples
8.88/4.03 c 22:00:15.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3108. 'extension(2, x[13][3]=[0‥2]) :: init: true :: relation: MDD 368727462, 2 edges, 3 vertices, 1 tuples
8.88/4.03 c 22:00:15.236 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3128. 'extension(2, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1529002352, 3 edges, 3 vertices, 2 tuples
8.88/4.03 c 22:00:15.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3129. 'extension(x[12][5]=[0‥2], 2) :: init: true :: relation: MDD 1299497914, 2 edges, 3 vertices, 1 tuples
8.88/4.03 c 22:00:15.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3130. 'extension(2, x[12][5]=[0‥2]) :: init: true :: relation: MDD 453007883, 3 edges, 3 vertices, 2 tuples
8.88/4.05 c 22:00:15.255 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3351. 'extension(x[1][8]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.05 c 22:00:15.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3353. 'extension(x[1][8]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.05 c 22:00:15.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3359. 'extension(x[0][1]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.05 c 22:00:15.257 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3361. 'extension(x[2][1]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.258 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3373. 'extension(x[0][4]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.258 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3375. 'extension(x[2][4]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3387. 'extension(x[1][2]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3389. 'extension(x[3][2]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.260 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3403. 'extension(x[1][11]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.261 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3405. 'extension(x[3][11]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.261 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3415. 'extension(x[2][0]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.262 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3417. 'extension(x[4][0]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.263 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3431. 'extension(x[2][7]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.263 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3433. 'extension(x[4][7]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.264 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3447. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.264 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3449. 'extension(x[4][10]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.264 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3451. 'extension(x[6][10]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3461. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3463. 'extension(x[5][13]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.266 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3465. 'extension(x[7][13]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.266 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3475. 'extension(x[7][9]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.267 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3477. 'extension(x[9][9]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.268 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3491. 'extension(x[7][12]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.268 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3493. 'extension(x[9][12]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.269 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3503. 'extension(x[8][6]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.06 c 22:00:15.269 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3505. 'extension(x[10][6]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.07 c 22:00:15.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3519. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.88/4.07 c 22:00:15.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3521. 'extension(x[11][3]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.07 c 22:00:15.271 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3523. 'extension(x[13][3]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.07 c 22:00:15.271 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3535. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.88/4.07 c 22:00:15.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3537. 'extension(x[12][5]=[0‥2]) :: init: true :: relation: Empty MDD
8.88/4.07 c 22:00:15.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 3539. 'extension(x[12][5]=[0‥2]) :: init: true :: relation: Empty MDD
13.33/5.59 o 2944
13.64/5.64 o 2844
13.64/5.65 o 2744
13.64/5.67 o 2742
14.59/5.99 o 2641
15.24/6.14 o 2543
15.83/6.35 o 2542
16.83/6.72 o 2446
16.83/6.72 o 2445
16.83/6.75 o 2346
16.83/6.76 o 2345
16.83/6.77 o 2244
17.94/7.15 o 2144
19.28/7.92 o 2047
19.28/7.93 o 2046
20.81/8.98 o 2044
21.10/9.16 o 1944
22.32/10.03 o 1943
23.21/10.87 o 1942
23.21/10.88 o 1842
23.21/10.89 o 1840
24.44/11.96 o 1839
30.28/17.44 o 1740
53.39/39.59 o 1641
53.39/39.59 o 1640
217.55/201.12 o 1639
236.61/219.82 o 1638
252.05/234.70 Exception in thread "main" java.util.concurrent.TimeoutException
252.05/234.70 at concrete.MAC.mac(MAC.scala:188)
252.05/234.70 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.05/234.70 at scala.util.Try$.apply(Try.scala:209)
252.05/234.70 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.05/234.70 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.05/234.70 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.05/234.70 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.05/234.70 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.05/234.70 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.05/234.70 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.05/234.70 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.05/234.70 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.05/234.70 at concrete.MAC.oneRun(MAC.scala:253)
252.05/234.70 at concrete.MAC.nextSolution(MAC.scala:272)
252.05/234.70 at concrete.MAC.nextSolution(MAC.scala:355)
252.05/234.70 at concrete.Solver.hasNext(Solver.scala:166)
252.05/234.70 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.05/234.70 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.05/234.70 at concrete.Solver.foreach(Solver.scala:68)
252.05/234.70 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.05/234.70 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.05/234.70 at scala.util.Success.map(Try.scala:209)
252.05/234.70 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.05/234.70 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.05/234.70 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.05/234.70 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.05/234.70 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.05/234.70 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.05/234.70 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.05/234.70 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.05/234.70 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.05/234.70 at scala.collection.immutable.List.foreach(List.scala:389)
252.05/234.70 at scala.App.main(App.scala:76)
252.05/234.71 at scala.App.main$(App.scala:74)
252.05/234.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.05/234.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.05/234.71 v <instantiation cost="1638">
252.05/234.71 v <list>
252.05/234.71 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ps[10][0] ps[10][1] ps[10][2] ps[11][0] ps[11][1] ps[11][2] ps[12][0] ps[12][1] ps[12][2] ps[13][0] ps[13][1] ps[13][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] wk[8][0] wk[8][1] wk[9][0] wk[9][1] wk[10][0] wk[10][1] wk[11][0] wk[11][1] wk[12][0] wk[12][1] wk[13][0] wk[13][1] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2]
252.05/234.71 v </list>
252.05/234.71 v <values>
252.05/234.71 v 1 2 0 2 2 2 0 0 2 2 1 2 1 0 1 2 1 2 2 2 0 0 1 0 2 2 2 0 1 1 2 0 1 0 0 1 1 1 2 2 2 2 2 1 2 0 1 0 0 2 1 2 1 2 0 2 2 2 0 0 1 0 1 2 2 2 2 1 1 2 0 2 0 0 2 0 2 2 2 0 2 2 2 2 0 0 2 0 2 1 2 2 2 0 2 2 0 2 1 0 2 2 1 2 2 0 2 0 2 2 2 2 1 0 0 2 1 2 2 1 2 2 1 2 2 0 1 0 0 2 1 1 2 1 0 2 2 2 2 0 2 1 1 0 2 1 0 2 0 0 2 2 2 2 2 2 2 0 2 2 0 2 1 1 2 1 2 2 2 2 2 2 1 2 0 0 1 2 2 1 2 2 2 2 2 2 1 2 1 0 1 2 1 1 2 2 2 6 6 4 3 7 5 2 7 7 0 7 0 8 6 4 3 7 7 2 5 5 3 6 2 6 6 5 2 7 0 4 10 0 4 10 2 2 10 4 0 10 4 3 7 4 3 7 3 6 5 4 4 6 3 4 7 5 0 9 5 1 8 3 2 9 3 4 7 4 4 6 4 3 7 2 3 9 2 3 9 1 5 8 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 3 3 3 0 0 2 0 1 0 1 1 0 3 0 0 0 1 0 1 1 1 0 0 2 0 0 3 2 0 0 0 0 0 1 0 0 0 1 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 500 0 0 400 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 200 0 0 200 0 0
252.05/234.71 v </values>
252.05/234.71 v </instantiation>
252.05/234.71 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 (10830 MiB free)
memory of node 1: 16384 MiB (14715 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302771-1532894411/watcher-4302771-1532894411 -o /tmp/evaluation-result-4302771-1532894411/solver-4302771-1532894411 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532894180-24644 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1082639775 -superng HOME/instance-4302771-1532894411.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24880, runsolver pid=24877
[startup+0.1098 s]*
/proc/loadavg: 1.36 1.81 1.97 3/210 24938
/proc/meminfo: memFree=26149484/32770624 swapFree=67108792/67108860
[pid=24880] ppid=24877 vsize=10453864 memory=23740 CPUtime=0.1 cores=1,3,5,7
/proc/24880/stat : 24880 (java) S 24877 24880 22977 0 -1 1077944320 4570 13351 0 0 2 1 5 2 20 0 9 0 107004335 10704756736 5935 33554432000 4194304 4196468 140729959045200 140729959027744 139938640629495 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
/proc/24880/statm: 2613466 5935 2102 1 0 2576007 0
[pid=24880/tid=24933] ppid=24877 vsize=10453864 memory=4351193297951032458 CPUtime=0.09 cores=1,3,5,7
/proc/24880/task/24933/stat : 24933 (java) R 24877 24880 22977 0 -1 4202560 2367 13351 0 0 2 0 5 2 20 0 9 0 107004344 10704756736 5935 33554432000 4194304 4196468 140729959045200 139938612465520 139938640651421 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24934] ppid=24877 vsize=10453864 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24934/stat : 24934 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 9 0 107004344 10704756736 5935 33554432000 4194304 4196468 140729959045200 139938644872336 139938640639701 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24935] ppid=24877 vsize=10453864 memory=140321010034304 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24935/stat : 24935 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 9 0 107004344 10704756736 5935 33554432000 4194304 4196468 140729959045200 139938499591184 139938640639701 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24936] ppid=24877 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24936/stat : 24936 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 9 0 107004344 10704756736 5935 33554432000 4194304 4196468 140729959045200 139938498538384 139938640639701 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24937] ppid=24877 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24937/stat : 24937 (java) S 24877 24880 22977 0 -1 1077944384 2 13351 0 0 0 0 5 2 20 0 9 0 107004344 10704756736 5935 33554432000 4194304 4196468 140729959045200 139938497485584 139938640639701 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24938] ppid=24877 vsize=10453864 memory=140321010034304 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24938/stat : 24938 (java) S 24877 24880 22977 0 -1 1077944384 2 13351 0 0 0 0 5 2 20 0 9 0 107004346 10704756736 5935 33554432000 4194304 4196468 140729959045200 139938065488240 139938640640642 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24939] ppid=24877 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24939/stat : 24939 (java) S 24877 24880 22977 0 -1 1077944384 13 13351 0 0 0 0 5 2 20 0 9 0 107004346 10704756736 5935 33554432000 4194304 4196468 140729959045200 139937483580448 139938640639701 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24940] ppid=24877 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24940/stat : 24940 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 9 0 107004346 10704756736 5935 33554432000 4194304 4196468 140729959045200 139937282253744 139938640639701 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 23740 KiB
[startup+0.210179 s]*
/proc/loadavg: 1.36 1.81 1.97 3/218 24946
/proc/meminfo: memFree=26129208/32770624 swapFree=67108792/67108860
[pid=24880] ppid=24877 vsize=10982776 memory=47536 CPUtime=0.26 cores=1,3,5,7
/proc/24880/stat : 24880 (java) S 24877 24880 22977 0 -1 1077944320 8695 13351 0 0 17 2 5 2 20 0 15 0 107004335 11246362624 11884 33554432000 4194304 4196468 140729959045200 140729959027744 139938640629495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
/proc/24880/statm: 2745694 11884 2984 1 0 2708117 0
[pid=24880/tid=24933] ppid=24877 vsize=10982776 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/24880/task/24933/stat : 24933 (java) R 24877 24880 22977 0 -1 4202560 5406 13351 0 0 11 1 5 2 20 0 15 0 107004344 11246362624 12082 33554432000 4194304 4196468 140729959045200 139938612454304 139938633309213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24934] ppid=24877 vsize=10982776 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24934/stat : 24934 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246362624 12082 33554432000 4194304 4196468 140729959045200 139938644872336 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24935] ppid=24877 vsize=10982776 memory=3688641412267058848 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24935/stat : 24935 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246362624 12082 33554432000 4194304 4196468 140729959045200 139938499591184 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24936] ppid=24877 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24936/stat : 24936 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246362624 12082 33554432000 4194304 4196468 140729959045200 139938498538384 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24937] ppid=24877 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24937/stat : 24937 (java) S 24877 24880 22977 0 -1 1077944384 2 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246362624 12148 33554432000 4194304 4196468 140729959045200 139938497485584 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24938] ppid=24877 vsize=10982776 memory=140321010034304 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24938/stat : 24938 (java) S 24877 24880 22977 0 -1 1077944384 2 13351 0 0 0 0 5 2 20 0 15 0 107004346 11246362624 12148 33554432000 4194304 4196468 140729959045200 139938065488240 139938640640642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24939] ppid=24877 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24939/stat : 24939 (java) S 24877 24880 22977 0 -1 1077944384 13 13351 0 0 0 0 5 2 20 0 15 0 107004346 11246362624 12148 33554432000 4194304 4196468 140729959045200 139937483580448 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24940] ppid=24877 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24940/stat : 24940 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004346 11246362624 12148 33554432000 4194304 4196468 140729959045200 139937282253680 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24941] ppid=24877 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24941/stat : 24941 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11246362624 12214 33554432000 4194304 4196468 140729959045200 139936974853968 139938640648091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24942] ppid=24877 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24880/task/24942/stat : 24942 (java) S 24877 24880 22977 0 -1 1077944384 554 13351 0 0 1 0 5 2 20 0 15 0 107004349 11246362624 12214 33554432000 4194304 4196468 140729959045200 139938064436080 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24943] ppid=24877 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24880/task/24943/stat : 24943 (java) S 24877 24880 22977 0 -1 1077944384 66 13351 0 0 1 0 5 2 20 0 15 0 107004349 11246362624 12214 33554432000 4194304 4196468 140729959045200 139938063383280 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24944] ppid=24877 vsize=10982776 memory=140321010034304 CPUtime=0.1 cores=1,3,5,7
/proc/24880/task/24944/stat : 24944 (java) S 24877 24880 22977 0 -1 1077944384 611 13351 0 0 3 0 5 2 20 0 15 0 107004349 11246362624 12214 33554432000 4194304 4196468 140729959045200 139938062330480 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24945] ppid=24877 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24945/stat : 24945 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11246362624 12280 33554432000 4194304 4196468 140729959045200 139936544058080 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24946] ppid=24877 vsize=10982776 memory=140321010034304 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24946/stat : 24946 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004350 11246362624 12280 33554432000 4194304 4196468 140729959045200 139938061277872 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982776 KiB
Current children cumulated memory: 47536 KiB
[startup+0.310471 s]*
/proc/loadavg: 1.36 1.81 1.97 3/218 24946
/proc/meminfo: memFree=26115936/32770624 swapFree=67108792/67108860
[pid=24880] ppid=24877 vsize=10983192 memory=57208 CPUtime=0.38 cores=1,3,5,7
/proc/24880/stat : 24880 (java) S 24877 24880 22977 0 -1 1077944320 10316 13351 0 0 29 2 5 2 20 0 15 0 107004335 11246788608 14302 33554432000 4194304 4196468 140729959045200 140729959027744 139938640629495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
/proc/24880/statm: 2745798 14302 3103 1 0 2708109 0
[pid=24880/tid=24933] ppid=24877 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/24880/task/24933/stat : 24933 (java) R 24877 24880 22977 0 -1 4202560 6861 13351 0 0 20 1 5 2 20 0 15 0 107004344 11246788608 14302 33554432000 4194304 4196468 140729959045200 139938612441504 139938632866622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24934] ppid=24877 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24934/stat : 24934 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246788608 14302 33554432000 4194304 4196468 140729959045200 139938644872336 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24935] ppid=24877 vsize=10983192 memory=140321010041297 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24935/stat : 24935 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246788608 14302 33554432000 4194304 4196468 140729959045200 139938499591184 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24936] ppid=24877 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24936/stat : 24936 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246788608 14302 33554432000 4194304 4196468 140729959045200 139938498538384 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24937] ppid=24877 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24937/stat : 24937 (java) S 24877 24880 22977 0 -1 1077944384 2 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246788608 14302 33554432000 4194304 4196468 140729959045200 139938497485584 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24938] ppid=24877 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24938/stat : 24938 (java) S 24877 24880 22977 0 -1 1077944384 2 13351 0 0 0 0 5 2 20 0 15 0 107004346 11246788608 14302 33554432000 4194304 4196468 140729959045200 139938065488240 139938640640642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24939] ppid=24877 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24939/stat : 24939 (java) S 24877 24880 22977 0 -1 1077944384 13 13351 0 0 0 0 5 2 20 0 15 0 107004346 11246788608 14302 33554432000 4194304 4196468 140729959045200 139937483580448 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24940] ppid=24877 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24940/stat : 24940 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004346 11246788608 14302 33554432000 4194304 4196468 140729959045200 139937282253680 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24941] ppid=24877 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24941/stat : 24941 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11246788608 14302 33554432000 4194304 4196468 140729959045200 139936974853968 139938640648091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24942] ppid=24877 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24880/task/24942/stat : 24942 (java) S 24877 24880 22977 0 -1 1077944384 554 13351 0 0 1 0 5 2 20 0 15 0 107004349 11246788608 14302 33554432000 4194304 4196468 140729959045200 139938064436080 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24943] ppid=24877 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24880/task/24943/stat : 24943 (java) S 24877 24880 22977 0 -1 1077944384 67 13351 0 0 1 0 5 2 20 0 15 0 107004349 11246788608 14302 33554432000 4194304 4196468 140729959045200 139938063383280 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24944] ppid=24877 vsize=10983192 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/24880/task/24944/stat : 24944 (java) R 24877 24880 22977 0 -1 4202560 618 13351 0 0 5 0 5 2 20 0 15 0 107004349 11246788608 14302 33554432000 4194304 4196468 140729959045200 139938062330480 139938619119270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24945] ppid=24877 vsize=10983192 memory=140321010034304 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24945/stat : 24945 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11246788608 14302 33554432000 4194304 4196468 140729959045200 139936544058080 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24946] ppid=24877 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24946/stat : 24946 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004350 11246788608 14302 33554432000 4194304 4196468 140729959045200 139938061277872 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57208 KiB
[startup+0.700792 s]
/proc/loadavg: 1.36 1.81 1.97 3/218 24946
/proc/meminfo: memFree=26106532/32770624 swapFree=67108792/67108860
[pid=24880] ppid=24877 vsize=10983192 memory=89192 CPUtime=0.98 cores=1,3,5,7
/proc/24880/stat : 24880 (java) S 24877 24880 22977 0 -1 1077944320 16387 13351 0 0 87 4 5 2 20 0 15 0 107004335 11246788608 22298 33554432000 4194304 4196468 140729959045200 140729959027744 139938640629495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
/proc/24880/statm: 2745798 22298 3238 1 0 2708109 0
[pid=24880/tid=24933] ppid=24877 vsize=10983192 memory=140325171495461 CPUtime=0.66 cores=1,3,5,7
/proc/24880/task/24933/stat : 24933 (java) R 24877 24880 22977 0 -1 4202560 11881 13351 0 0 57 2 5 2 20 0 15 0 107004344 11246788608 22298 33554432000 4194304 4196468 140729959045200 139938612450320 139938620904897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24934] ppid=24877 vsize=10983192 memory=140325171495482 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24934/stat : 24934 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246788608 22298 33554432000 4194304 4196468 140729959045200 139938644872336 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24935] ppid=24877 vsize=10983192 memory=140325171495483 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24935/stat : 24935 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246788608 22298 33554432000 4194304 4196468 140729959045200 139938499591184 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24936] ppid=24877 vsize=10983192 memory=140325171495485 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24936/stat : 24936 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246788608 22298 33554432000 4194304 4196468 140729959045200 139938498538384 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24937] ppid=24877 vsize=10983192 memory=140325171495491 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24937/stat : 24937 (java) S 24877 24880 22977 0 -1 1077944384 2 13351 0 0 0 0 5 2 20 0 15 0 107004344 11246788608 22298 33554432000 4194304 4196468 140729959045200 139938497485584 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24938] ppid=24877 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24938/stat : 24938 (java) S 24877 24880 22977 0 -1 1077944384 5 13351 0 0 0 0 5 2 20 0 15 0 107004346 11246788608 22298 33554432000 4194304 4196468 140729959045200 139938065488240 139938640640642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24939] ppid=24877 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24939/stat : 24939 (java) S 24877 24880 22977 0 -1 1077944384 13 13351 0 0 0 0 5 2 20 0 15 0 107004346 11246788608 22298 33554432000 4194304 4196468 140729959045200 139937483580448 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24940] ppid=24877 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24940/stat : 24940 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004346 11246788608 22298 33554432000 4194304 4196468 140729959045200 139937282253680 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24941] ppid=24877 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24941/stat : 24941 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11246788608 22298 33554432000 4194304 4196468 140729959045200 139936974853968 139938640648091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24942] ppid=24877 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/24880/task/24942/stat : 24942 (java) S 24877 24880 22977 0 -1 1077944384 964 13351 0 0 7 0 5 2 20 0 15 0 107004349 11246788608 22298 33554432000 4194304 4196468 140729959045200 139938064436080 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24943] ppid=24877 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/24880/task/24943/stat : 24943 (java) S 24877 24880 22977 0 -1 1077944384 655 13351 0 0 9 0 5 2 20 0 15 0 107004349 11246788608 22298 33554432000 4194304 4196468 140729959045200 139938063383280 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24944] ppid=24877 vsize=10983192 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/24880/task/24944/stat : 24944 (java) S 24877 24880 22977 0 -1 1077944384 665 13351 0 0 12 0 5 2 20 0 15 0 107004349 11246788608 22298 33554432000 4194304 4196468 140729959045200 139938062330480 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24945] ppid=24877 vsize=10983192 memory=12 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24945/stat : 24945 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11246788608 22298 33554432000 4194304 4196468 140729959045200 139936544058080 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24946] ppid=24877 vsize=10983192 memory=18268 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24946/stat : 24946 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004350 11246788608 22298 33554432000 4194304 4196468 140729959045200 139938061277872 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89192 KiB
[startup+1.50078 s]
/proc/loadavg: 1.49 1.83 1.97 3/218 24946
/proc/meminfo: memFree=26060820/32770624 swapFree=67108792/67108860
[pid=24880] ppid=24877 vsize=10998092 memory=184960 CPUtime=2.52 cores=1,3,5,7
/proc/24880/stat : 24880 (java) S 24877 24880 22977 0 -1 1077944320 23274 13351 0 0 235 10 5 2 20 0 15 0 107004335 11262046208 46240 33554432000 4194304 4196468 140729959045200 140729959027744 139938640629495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
/proc/24880/statm: 2749523 46240 3476 1 0 2711181 0
[pid=24880/tid=24933] ppid=24877 vsize=10998092 memory=10799 CPUtime=1.41 cores=1,3,5,7
/proc/24880/task/24933/stat : 24933 (java) R 24877 24880 22977 0 -1 4202560 16799 13351 0 0 129 5 5 2 20 0 15 0 107004344 11262046208 46240 33554432000 4194304 4196468 140729959045200 139938612444432 139938624709982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24934] ppid=24877 vsize=10998092 memory=25313 CPUtime=0.08 cores=1,3,5,7
/proc/24880/task/24934/stat : 24934 (java) S 24877 24880 22977 0 -1 1077944384 22 13351 0 0 1 0 5 2 20 0 15 0 107004344 11262046208 46240 33554432000 4194304 4196468 140729959045200 139938644872336 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24935] ppid=24877 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24880/task/24935/stat : 24935 (java) S 24877 24880 22977 0 -1 1077944384 22 13351 0 0 1 0 5 2 20 0 15 0 107004344 11262046208 46240 33554432000 4194304 4196468 140729959045200 139938499591184 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24936] ppid=24877 vsize=10998092 memory=321013415751723303 CPUtime=0.08 cores=1,3,5,7
/proc/24880/task/24936/stat : 24936 (java) S 24877 24880 22977 0 -1 1077944384 50 13351 0 0 1 0 5 2 20 0 15 0 107004344 11262046208 46240 33554432000 4194304 4196468 140729959045200 139938498538384 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24937] ppid=24877 vsize=10998092 memory=288288891742739861 CPUtime=0.08 cores=1,3,5,7
/proc/24880/task/24937/stat : 24937 (java) S 24877 24880 22977 0 -1 1077944384 188 13351 0 0 1 0 5 2 20 0 15 0 107004344 11262046208 46240 33554432000 4194304 4196468 140729959045200 139938497485584 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24938] ppid=24877 vsize=10998092 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/24880/task/24938/stat : 24938 (java) S 24877 24880 22977 0 -1 1077944384 58 13351 0 0 1 0 5 2 20 0 15 0 107004346 11262046208 46240 33554432000 4194304 4196468 140729959045200 139938065488240 139938640640642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24939] ppid=24877 vsize=10998092 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24939/stat : 24939 (java) S 24877 24880 22977 0 -1 1077944384 14 13351 0 0 0 0 5 2 20 0 15 0 107004346 11262046208 46240 33554432000 4194304 4196468 140729959045200 139937483580512 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24940] ppid=24877 vsize=10998092 memory=-2672971631320983069 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24940/stat : 24940 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004346 11262046208 46240 33554432000 4194304 4196468 140729959045200 139937282253696 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24941] ppid=24877 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24941/stat : 24941 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11262046208 46240 33554432000 4194304 4196468 140729959045200 139936974853968 139938640648091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24942] ppid=24877 vsize=10998092 memory=7662155047218341220 CPUtime=0.31 cores=1,3,5,7
/proc/24880/task/24942/stat : 24942 (java) S 24877 24880 22977 0 -1 1077944384 1243 13351 0 0 24 0 5 2 20 0 15 0 107004349 11262046208 46240 33554432000 4194304 4196468 140729959045200 139938064436080 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24943] ppid=24877 vsize=10998092 memory=7524512692651257697 CPUtime=0.38 cores=1,3,5,7
/proc/24880/task/24943/stat : 24943 (java) S 24877 24880 22977 0 -1 1077944384 1167 13351 0 0 31 0 5 2 20 0 15 0 107004349 11262046208 46240 33554432000 4194304 4196468 140729959045200 139938063383280 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24944] ppid=24877 vsize=10998092 memory=7163632068514311268 CPUtime=0.5 cores=1,3,5,7
/proc/24880/task/24944/stat : 24944 (java) S 24877 24880 22977 0 -1 1077944384 1512 13351 0 0 42 1 5 2 20 0 15 0 107004349 11262046208 46240 33554432000 4194304 4196468 140729959045200 139938062330480 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
################
# More data... #
################
/proc/24880/task/24933/stat : 24933 (java) R 24877 24880 22977 0 -1 4202560 62061 13351 0 0 16115 27 5 2 20 0 15 0 107004344 11348049920 337598 33554432000 4194304 4196468 140729959045200 139938612464960 139938194550522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24934] ppid=24877 vsize=11082080 memory=1424768 CPUtime=0.61 cores=1,3,5,7
/proc/24880/task/24934/stat : 24934 (java) S 24877 24880 22977 0 -1 1077944384 3816 13351 0 0 40 14 5 2 20 0 15 0 107004344 11348049920 337598 33554432000 4194304 4196468 140729959045200 139938644872336 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24935] ppid=24877 vsize=11082080 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/24880/task/24935/stat : 24935 (java) S 24877 24880 22977 0 -1 1077944384 3004 13351 0 0 41 14 5 2 20 0 15 0 107004344 11348049920 337598 33554432000 4194304 4196468 140729959045200 139938499591184 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24936] ppid=24877 vsize=11082080 memory=1406296 CPUtime=0.6 cores=1,3,5,7
/proc/24880/task/24936/stat : 24936 (java) S 24877 24880 22977 0 -1 1077944384 659 13351 0 0 40 13 5 2 20 0 15 0 107004344 11348049920 337598 33554432000 4194304 4196468 140729959045200 139938498538384 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24937] ppid=24877 vsize=11082080 memory=1367820 CPUtime=0.63 cores=1,3,5,7
/proc/24880/task/24937/stat : 24937 (java) S 24877 24880 22977 0 -1 1077944384 2599 13351 0 0 42 14 5 2 20 0 15 0 107004344 11348049920 337598 33554432000 4194304 4196468 140729959045200 139938497485584 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24938] ppid=24877 vsize=11082080 memory=1359112 CPUtime=0.19 cores=1,3,5,7
/proc/24880/task/24938/stat : 24938 (java) S 24877 24880 22977 0 -1 1077944384 5747 13351 0 0 10 2 5 2 20 0 15 0 107004346 11348049920 337598 33554432000 4194304 4196468 140729959045200 139938065488240 139938640640642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24939] ppid=24877 vsize=11082080 memory=1357572 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24939/stat : 24939 (java) S 24877 24880 22977 0 -1 1077944384 14 13351 0 0 0 0 5 2 20 0 15 0 107004346 11348049920 337598 33554432000 4194304 4196468 140729959045200 139937483580576 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24940] ppid=24877 vsize=11082080 memory=1353468 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24940/stat : 24940 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004346 11348049920 337598 33554432000 4194304 4196468 140729959045200 139937282253696 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24941] ppid=24877 vsize=11082080 memory=1353468 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24941/stat : 24941 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11348049920 337598 33554432000 4194304 4196468 140729959045200 139936974853968 139938640648091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24942] ppid=24877 vsize=11082080 memory=1479664 CPUtime=5.54 cores=1,3,5,7
/proc/24880/task/24942/stat : 24942 (java) S 24877 24880 22977 0 -1 1077944384 15773 13351 0 0 544 3 5 2 20 0 15 0 107004349 11348049920 337598 33554432000 4194304 4196468 140729959045200 139938064436080 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24943] ppid=24877 vsize=11082080 memory=15876 CPUtime=5.97 cores=1,3,5,7
/proc/24880/task/24943/stat : 24943 (java) S 24877 24880 22977 0 -1 1077944384 20311 13351 0 0 587 3 5 2 20 0 15 0 107004349 11348049920 337598 33554432000 4194304 4196468 140729959045200 139938063383280 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24944] ppid=24877 vsize=11082080 memory=1359112 CPUtime=2.86 cores=1,3,5,7
/proc/24880/task/24944/stat : 24944 (java) S 24877 24880 22977 0 -1 1077944384 19475 13351 0 0 273 6 5 2 20 0 15 0 107004349 11348049920 337598 33554432000 4194304 4196468 140729959045200 139938062330480 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24945] ppid=24877 vsize=11082080 memory=1359112 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24945/stat : 24945 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11348049920 337598 33554432000 4194304 4196468 140729959045200 139936544058080 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24946] ppid=24877 vsize=11082080 memory=1353468 CPUtime=0.14 cores=1,3,5,7
/proc/24880/task/24946/stat : 24946 (java) S 24877 24880 22977 0 -1 1077944384 492 13351 0 0 2 5 5 2 20 0 15 0 107004350 11348049920 337598 33554432000 4194304 4196468 140729959045200 139938061277872 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
Current children cumulated CPU time: 178.15 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1350392 KiB
[startup+222.301 s]
/proc/loadavg: 1.54 1.68 1.89 3/217 25232
/proc/meminfo: memFree=25741580/32770624 swapFree=67108792/67108860
[pid=24880] ppid=24877 vsize=11082080 memory=1266736 CPUtime=239.39 cores=1,3,5,7
/proc/24880/stat : 24880 (java) S 24877 24880 22977 0 -1 1077944320 152766 13351 0 0 23822 110 5 2 20 0 15 0 107004335 11348049920 316684 33554432000 4194304 4196468 140729959045200 140729959027744 139938640629495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
/proc/24880/statm: 2770520 316684 3536 1 0 2732173 0
[pid=24880/tid=24933] ppid=24877 vsize=11082080 memory=1266736 CPUtime=221.08 cores=1,3,5,7
/proc/24880/task/24933/stat : 24933 (java) R 24877 24880 22977 0 -1 4202560 63992 13351 0 0 22074 27 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938612465328 139938193663225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24934] ppid=24877 vsize=11082080 memory=1278084 CPUtime=0.83 cores=1,3,5,7
/proc/24880/task/24934/stat : 24934 (java) S 24877 24880 22977 0 -1 1077944384 5120 13351 0 0 61 15 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938644872336 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24935] ppid=24877 vsize=11082080 memory=1267308 CPUtime=0.83 cores=1,3,5,7
/proc/24880/task/24935/stat : 24935 (java) S 24877 24880 22977 0 -1 1077944384 3113 13351 0 0 61 15 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938499591184 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24936] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.82 cores=1,3,5,7
/proc/24880/task/24936/stat : 24936 (java) S 24877 24880 22977 0 -1 1077944384 1115 13351 0 0 61 14 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938498538384 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24937] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.84 cores=1,3,5,7
/proc/24880/task/24937/stat : 24937 (java) S 24877 24880 22977 0 -1 1077944384 3141 13351 0 0 62 15 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938497485584 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24938] ppid=24877 vsize=11082080 memory=9920 CPUtime=0.33 cores=1,3,5,7
/proc/24880/task/24938/stat : 24938 (java) S 24877 24880 22977 0 -1 1077944384 6112 13351 0 0 22 4 5 2 20 0 15 0 107004346 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938065488240 139938640640642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24939] ppid=24877 vsize=11082080 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24939/stat : 24939 (java) S 24877 24880 22977 0 -1 1077944384 14 13351 0 0 0 0 5 2 20 0 15 0 107004346 11348049920 316684 33554432000 4194304 4196468 140729959045200 139937483580576 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24940] ppid=24877 vsize=11082080 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24940/stat : 24940 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004346 11348049920 316684 33554432000 4194304 4196468 140729959045200 139937282253696 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24941] ppid=24877 vsize=11082080 memory=1269824 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24941/stat : 24941 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139936974853968 139938640648091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24942] ppid=24877 vsize=11082080 memory=1267368 CPUtime=5.73 cores=1,3,5,7
/proc/24880/task/24942/stat : 24942 (java) S 24877 24880 22977 0 -1 1077944384 19363 13351 0 0 562 4 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938064436080 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24943] ppid=24877 vsize=11082080 memory=1267308 CPUtime=6.35 cores=1,3,5,7
/proc/24880/task/24943/stat : 24943 (java) S 24877 24880 22977 0 -1 1077944384 26316 13351 0 0 624 4 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938063383280 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24944] ppid=24877 vsize=11082080 memory=1267308 CPUtime=2.92 cores=1,3,5,7
/proc/24880/task/24944/stat : 24944 (java) S 24877 24880 22977 0 -1 1077944384 21752 13351 0 0 279 6 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938062330480 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24945] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24945/stat : 24945 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139936544058080 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24946] ppid=24877 vsize=11082080 memory=1267308 CPUtime=0.18 cores=1,3,5,7
/proc/24880/task/24946/stat : 24946 (java) S 24877 24880 22977 0 -1 1077944384 530 13351 0 0 4 7 5 2 20 0 15 0 107004350 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938061277872 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
Current children cumulated CPU time: 239.39 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1266736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+234.701 s]
/proc/loadavg: 1.61 1.69 1.89 3/217 25233
/proc/meminfo: memFree=25750264/32770624 swapFree=67108792/67108860
[pid=24880] ppid=24877 vsize=11082080 memory=1266736 CPUtime=252.05 cores=1,3,5,7
/proc/24880/stat : 24880 (java) S 24877 24880 22977 0 -1 1077944320 152893 13351 0 0 25087 111 5 2 20 0 15 0 107004335 11348049920 316684 33554432000 4194304 4196468 140729959045200 140729959027744 139938640629495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
/proc/24880/statm: 2770520 316684 3536 1 0 2732173 0
[pid=24880/tid=24933] ppid=24877 vsize=11082080 memory=1266736 CPUtime=233.35 cores=1,3,5,7
/proc/24880/task/24933/stat : 24933 (java) R 24877 24880 22977 0 -1 4202560 64082 13351 0 0 23301 27 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938612464832 139938176834002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24934] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.89 cores=1,3,5,7
/proc/24880/task/24934/stat : 24934 (java) S 24877 24880 22977 0 -1 1077944384 5121 13351 0 0 67 15 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938644872336 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24935] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.9 cores=1,3,5,7
/proc/24880/task/24935/stat : 24935 (java) S 24877 24880 22977 0 -1 1077944384 3116 13351 0 0 68 15 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938499591184 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24936] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.89 cores=1,3,5,7
/proc/24880/task/24936/stat : 24936 (java) S 24877 24880 22977 0 -1 1077944384 1118 13351 0 0 67 15 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938498538384 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24937] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.9 cores=1,3,5,7
/proc/24880/task/24937/stat : 24937 (java) S 24877 24880 22977 0 -1 1077944384 3142 13351 0 0 68 15 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938497485584 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24938] ppid=24877 vsize=11082080 memory=590024333722744109 CPUtime=0.38 cores=1,3,5,7
/proc/24880/task/24938/stat : 24938 (java) S 24877 24880 22977 0 -1 1077944384 6116 13351 0 0 27 4 5 2 20 0 15 0 107004346 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938065488240 139938640640642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24939] ppid=24877 vsize=11082080 memory=280641753055472 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24939/stat : 24939 (java) S 24877 24880 22977 0 -1 1077944384 14 13351 0 0 0 0 5 2 20 0 15 0 107004346 11348049920 316684 33554432000 4194304 4196468 140729959045200 139937483580576 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24940] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24940/stat : 24940 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004346 11348049920 316684 33554432000 4194304 4196468 140729959045200 139937282253696 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24941] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24941/stat : 24941 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139936974853968 139938640648091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24942] ppid=24877 vsize=11082080 memory=1292 CPUtime=5.76 cores=1,3,5,7
/proc/24880/task/24942/stat : 24942 (java) S 24877 24880 22977 0 -1 1077944384 19370 13351 0 0 565 4 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938064436080 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24943] ppid=24877 vsize=11082080 memory=2436 CPUtime=6.38 cores=1,3,5,7
/proc/24880/task/24943/stat : 24943 (java) S 24877 24880 22977 0 -1 1077944384 26322 13351 0 0 627 4 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938063383280 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24944] ppid=24877 vsize=11082080 memory=1428 CPUtime=2.93 cores=1,3,5,7
/proc/24880/task/24944/stat : 24944 (java) S 24877 24880 22977 0 -1 1077944384 21762 13351 0 0 280 6 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938062330480 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24945] ppid=24877 vsize=11082080 memory=8512 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24945/stat : 24945 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139936544058080 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24946] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.18 cores=1,3,5,7
/proc/24880/task/24946/stat : 24946 (java) S 24877 24880 22977 0 -1 1077944384 532 13351 0 0 4 7 5 2 20 0 15 0 107004350 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938061277872 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1266736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+234.737 s]
# the end of solver process 24880 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.946 s, system=1.16067 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+234.701 s]
/proc/loadavg: 1.61 1.69 1.89 3/217 25233
/proc/meminfo: memFree=25750264/32770624 swapFree=67108792/67108860
[pid=24880] ppid=24877 vsize=11082080 memory=1266736 CPUtime=252.05 cores=1,3,5,7
/proc/24880/stat : 24880 (java) S 24877 24880 22977 0 -1 1077944320 152893 13351 0 0 25087 111 5 2 20 0 15 0 107004335 11348049920 316684 33554432000 4194304 4196468 140729959045200 140729959027744 139938640629495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
/proc/24880/statm: 2770520 316684 3536 1 0 2732173 0
[pid=24880/tid=24933] ppid=24877 vsize=11082080 memory=1266736 CPUtime=233.35 cores=1,3,5,7
/proc/24880/task/24933/stat : 24933 (java) R 24877 24880 22977 0 -1 4202560 64082 13351 0 0 23301 27 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938612464832 139938176834002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24934] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.89 cores=1,3,5,7
/proc/24880/task/24934/stat : 24934 (java) S 24877 24880 22977 0 -1 1077944384 5121 13351 0 0 67 15 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938644872336 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24935] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.9 cores=1,3,5,7
/proc/24880/task/24935/stat : 24935 (java) S 24877 24880 22977 0 -1 1077944384 3116 13351 0 0 68 15 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938499591184 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24936] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.89 cores=1,3,5,7
/proc/24880/task/24936/stat : 24936 (java) S 24877 24880 22977 0 -1 1077944384 1118 13351 0 0 67 15 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938498538384 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24937] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.9 cores=1,3,5,7
/proc/24880/task/24937/stat : 24937 (java) S 24877 24880 22977 0 -1 1077944384 3142 13351 0 0 68 15 5 2 20 0 15 0 107004344 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938497485584 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24938] ppid=24877 vsize=11082080 memory=590024333722744109 CPUtime=0.38 cores=1,3,5,7
/proc/24880/task/24938/stat : 24938 (java) S 24877 24880 22977 0 -1 1077944384 6116 13351 0 0 27 4 5 2 20 0 15 0 107004346 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938065488240 139938640640642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24939] ppid=24877 vsize=11082080 memory=280641753055472 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24939/stat : 24939 (java) S 24877 24880 22977 0 -1 1077944384 14 13351 0 0 0 0 5 2 20 0 15 0 107004346 11348049920 316684 33554432000 4194304 4196468 140729959045200 139937483580576 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24940] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24940/stat : 24940 (java) S 24877 24880 22977 0 -1 1077944384 1 13351 0 0 0 0 5 2 20 0 15 0 107004346 11348049920 316684 33554432000 4194304 4196468 140729959045200 139937282253696 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24941] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24941/stat : 24941 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139936974853968 139938640648091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24942] ppid=24877 vsize=11082080 memory=1292 CPUtime=5.76 cores=1,3,5,7
/proc/24880/task/24942/stat : 24942 (java) S 24877 24880 22977 0 -1 1077944384 19370 13351 0 0 565 4 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938064436080 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24943] ppid=24877 vsize=11082080 memory=2436 CPUtime=6.38 cores=1,3,5,7
/proc/24880/task/24943/stat : 24943 (java) S 24877 24880 22977 0 -1 1077944384 26322 13351 0 0 627 4 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938063383280 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24944] ppid=24877 vsize=11082080 memory=1428 CPUtime=2.93 cores=1,3,5,7
/proc/24880/task/24944/stat : 24944 (java) S 24877 24880 22977 0 -1 1077944384 21762 13351 0 0 280 6 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938062330480 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24945] ppid=24877 vsize=11082080 memory=8512 CPUtime=0.07 cores=1,3,5,7
/proc/24880/task/24945/stat : 24945 (java) S 24877 24880 22977 0 -1 1077944384 3 13351 0 0 0 0 5 2 20 0 15 0 107004349 11348049920 316684 33554432000 4194304 4196468 140729959045200 139936544058080 139938640639701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
[pid=24880/tid=24946] ppid=24877 vsize=11082080 memory=1266736 CPUtime=0.18 cores=1,3,5,7
/proc/24880/task/24946/stat : 24946 (java) S 24877 24880 22977 0 -1 1077944384 532 13351 0 0 4 7 5 2 20 0 15 0 107004350 11348049920 316684 33554432000 4194304 4196468 140729959045200 139938061277872 139938640640642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17223680 140729959053928 140729959056737 140729959056737 140729959059407 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1266736 KiB
Child status: 143
Real time (s): 234.737
CPU time (s): 252.107
CPU user time (s): 250.946
CPU system time (s): 1.16067
CPU usage (%): 107.4
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1710088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.946
system time used= 1.16067
maximum resident set size= 1724424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20885
involuntary context switches= 426
# summary of solver processes directly reported to runsolver:
# pid: 24880
# total CPU time (s): 252.107
# total CPU user time (s): 250.946
# total CPU system time (s): 1.16067
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47282 second user time and 2.25552 second system time
The end