2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	10970	252.05	226.937

0.99/0.73	c Concrete v3.9.2.1532736233296 running
38.32/18.03	o 11758
38.56/18.18	o 11713
38.69/18.23	o 11542
38.69/18.24	o 11471
39.69/18.98	o 11456
39.69/18.99	o 11370
39.85/19.02	o 11364
39.85/19.03	o 11326
59.18/36.82	o 11088
108.75/85.92	o 11079
110.58/87.72	o 11000
120.80/97.86	o 10992
122.60/99.69	o 10970
252.00/226.91	Exception in thread "main" java.util.concurrent.TimeoutException
252.00/226.91		at concrete.MAC.mac(MAC.scala:188)
252.00/226.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.00/226.91		at scala.util.Try$.apply(Try.scala:209)
252.00/226.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.00/226.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.00/226.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.00/226.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.00/226.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.00/226.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.00/226.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.00/226.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.00/226.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.00/226.91		at concrete.MAC.oneRun(MAC.scala:253)
252.00/226.91		at concrete.MAC.nextSolution(MAC.scala:272)
252.00/226.91		at concrete.MAC.nextSolution(MAC.scala:355)
252.00/226.91		at concrete.Solver.hasNext(Solver.scala:166)
252.00/226.91		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.00/226.91		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.00/226.91		at concrete.Solver.foreach(Solver.scala:68)
252.00/226.91		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.00/226.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.00/226.91		at scala.util.Success.map(Try.scala:209)
252.00/226.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.00/226.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.00/226.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.00/226.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.00/226.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.00/226.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.00/226.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.00/226.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.00/226.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.00/226.91		at scala.collection.immutable.List.foreach(List.scala:389)
252.00/226.91		at scala.App.main(App.scala:76)
252.00/226.91		at scala.App.main$(App.scala:74)
252.00/226.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.00/226.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.00/226.92	v <instantiation cost="10970">
252.00/226.92	v       <list>
252.00/226.92	v         o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22]
252.00/226.92	v       </list>
252.00/226.92	v       <values>
252.00/226.92	v         2 1 11 3 5 6 2 8 10 1 4 5 7 9 8 11 10 7 4 6 9 3 8 0 10 10 11 3 6 9 8 0 3 4 2 7 6 4 5 9 7 2 11 5 0 6 8 5 9 5 0 10 11 6 7 7 1 11 10 9 3 3 8 1 4 4 10 11 9 0 6 1 9 4 6 5 1 11 8 8 7 7 2 2 5 4 10 0 11 10 6 6 7 11 8 3 7 9 0 1 5 10 5 1 9 8 0 3 2 2 7 9 7 2 0 2 11 6 9 3 10 0 4 6 4 10 1 11 3 8 8 1 9 2 4 4 3 0 1 5 3 2 11 10 11 5 1 8 8 10 9 0 7 7 5 8 5 8 4 9 10 11 4 10 2 2 0 1 3 3 11 0 1 9 6 6 1 7 2 7 10 10 4 0 1 11 9 9 3 3 0 6 6 4 2 5 5 11 6 5 3 11 2 7 3 1 5 4 8 8 10 0 11 2 4 1 6 7 0 10 3 4 1 1 8 8 7 2 0 7 5 6 9 4 2 5 0 6 11 11 3 9 4 3 0 9 1 4 5 7 2 8 6 3 6 2 9 0 7 5 10 10 1 8 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 15 22 10 34 34 44 44 0 55 55 0 39 39 0 48 69 55 44 64 36 51 51 0 46 46 0 65 10 64 39 69 43 10 34 32 0 44 44 31 35 40 0 22 22 0 0 0 56 56 50 81 49 15 15 58 58 0 56 44 22 55 55 47 47 53 53 0 45 45 0 0 67 67 0 32 32 51 18 47 0 66 66 68 81 14 0 47 50 41 69 55 34 70 10 74 18 18 0 21 21 64 64 36 10 31 0 35 35 55 55 0 51 47 45 0 0 0 48 48 39 15 50 0 81 67 41 0 35 18 27 51 51 44 44 42 42 40 40 69 69 18 18 47 47 0 27 27 56 56 75 10 70 39 39 31 31 0 44 44 59 0 48 48 0 81 21 64 69 10 67 0 56 56 44 44 0 14 14 0 44 43 79 59 59 0 81 56 53 0 73 73 48 10 46 0 68 67 68 0 31 31 21 21 0 42 44 69 0 81 81 105 105 79 14 67 0 55 21 68 0 51 51 49 49 43 39 69 0 103 103 69 69 65 65 73 73 0 55 55 69 48 51 103 55 74 0 55 44 75 10 10 0 0 0 66 34 55 0 70 35 44 0 69 31 70 0 58 49 105 67 67 10 10 64 64 0
252.00/226.92	v       </values>
252.00/226.92	v     </instantiation>
252.00/226.92	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 (9283 MiB free)
  memory of node 1: 16384 MiB (15739 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302326-1532898367/watcher-4302326-1532898367 -o /tmp/evaluation-result-4302326-1532898367/solver-4302326-1532898367 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16079 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=233561980 HOME/instance-4302326-1532898367.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=22645, runsolver pid=22642

[startup+0.100138 s]*
/proc/loadavg: 1.37 1.60 1.72 3/206 22702
/proc/meminfo: memFree=25615004/32770624 swapFree=67028844/67108860
[pid=22645] ppid=22642 vsize=10005480 memory=17340 CPUtime=0.09 cores=1,3,5,7
/proc/22645/stat : 22645 (java) S 22642 22645 10029 0 -1 1077944320 4451 13168 0 0 1 0 5 3 20 0 6 0 107399852 10245611520 4269 33554432000 4194304 4196468 140736444532000 140736444514544 140256930914039 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
/proc/22645/statm: 2501370 4335 1958 1 0 2489808 0
[pid=22645/tid=22698] ppid=22642 vsize=10005480 memory=4279135703913103502 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22698/stat : 22698 (java) R 22642 22645 10029 0 -1 4202560 2268 13168 0 0 0 0 5 3 20 0 6 0 107399860 10245611520 4335 33554432000 4194304 4196468 140736444532000 140256902750800 140256914994526 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22699] ppid=22642 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22699/stat : 22699 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 6 0 107399861 10245611520 4335 33554432000 4194304 4196468 140736444532000 140256935156240 140256930924245 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22700] ppid=22642 vsize=10005480 memory=139793331144320 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22700/stat : 22700 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 6 0 107399861 10245611520 4335 33554432000 4194304 4196468 140736444532000 140256789875344 140256930924245 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22701] ppid=22642 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22701/stat : 22701 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 6 0 107399861 10245611520 4335 33554432000 4194304 4196468 140736444532000 140256788822288 140256930924245 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22702] ppid=22642 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22702/stat : 22702 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 6 0 107399861 10245611520 4335 33554432000 4194304 4196468 140736444532000 140256468789648 140256930924245 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17340 KiB

[startup+0.209988 s]*
/proc/loadavg: 1.37 1.60 1.72 4/215 22711
/proc/meminfo: memFree=25590892/32770624 swapFree=67028844/67108860
[pid=22645] ppid=22642 vsize=10982696 memory=44700 CPUtime=0.27 cores=1,3,5,7
/proc/22645/stat : 22645 (java) S 22642 22645 10029 0 -1 1077944320 8490 13168 0 0 17 2 5 3 20 0 15 0 107399852 11246280704 11175 33554432000 4194304 4196468 140736444532000 140736444514544 140256930914039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
/proc/22645/statm: 2745674 11175 2969 1 0 2708109 0
[pid=22645/tid=22698] ppid=22642 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/22645/task/22698/stat : 22698 (java) R 22642 22645 10029 0 -1 4202560 5038 13168 0 0 10 1 5 3 20 0 15 0 107399860 11246280704 11175 33554432000 4194304 4196468 140736444532000 140256902711696 140256930927903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22699] ppid=22642 vsize=10982696 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22699/stat : 22699 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246280704 11175 33554432000 4194304 4196468 140736444532000 140256935156240 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22700] ppid=22642 vsize=10982696 memory=139793331785002 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22700/stat : 22700 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246280704 11175 33554432000 4194304 4196468 140736444532000 140256789875344 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22701] ppid=22642 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22701/stat : 22701 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246280704 11175 33554432000 4194304 4196468 140736444532000 140256788822288 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22702] ppid=22642 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22702/stat : 22702 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246280704 11175 33554432000 4194304 4196468 140736444532000 140256468789648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22703] ppid=22642 vsize=10982696 memory=139793331144320 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22703/stat : 22703 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 15 0 107399863 11246280704 11175 33554432000 4194304 4196468 140736444532000 140256356858608 140256930925186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22704] ppid=22642 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22704/stat : 22704 (java) S 22642 22645 10029 0 -1 1077944384 13 13168 0 0 0 0 5 3 20 0 15 0 107399863 11246280704 11175 33554432000 4194304 4196468 140736444532000 140255780923040 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22705] ppid=22642 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22705/stat : 22705 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399863 11246280704 11175 33554432000 4194304 4196468 140736444532000 140255579596016 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22706] ppid=22642 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22706/stat : 22706 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11246280704 11175 33554432000 4194304 4196468 140736444532000 140255272196560 140256930932635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22707] ppid=22642 vsize=10982696 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22645/task/22707/stat : 22707 (java) S 22642 22645 10029 0 -1 1077944384 532 13168 0 0 1 0 5 3 20 0 15 0 107399866 11246280704 11175 33554432000 4194304 4196468 140736444532000 140256355805424 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22708] ppid=22642 vsize=10982696 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/22645/task/22708/stat : 22708 (java) S 22642 22645 10029 0 -1 1077944384 70 13168 0 0 1 0 5 3 20 0 15 0 107399866 11246280704 11175 33554432000 4194304 4196468 140736444532000 140256354752880 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22709] ppid=22642 vsize=10982696 memory=139793331144320 CPUtime=0.11 cores=1,3,5,7
/proc/22645/task/22709/stat : 22709 (java) S 22642 22645 10029 0 -1 1077944384 631 13168 0 0 3 0 5 3 20 0 15 0 107399866 11246280704 11175 33554432000 4194304 4196468 140736444532000 140256353699824 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22710] ppid=22642 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22710/stat : 22710 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11246280704 11175 33554432000 4194304 4196468 140736444532000 140254841399648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22711] ppid=22642 vsize=10982696 memory=139793331144320 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22711/stat : 22711 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399866 11246280704 11175 33554432000 4194304 4196468 140736444532000 140256352648240 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44700 KiB

[startup+0.310453 s]*
/proc/loadavg: 1.37 1.60 1.72 4/215 22711
/proc/meminfo: memFree=25580100/32770624 swapFree=67028844/67108860
[pid=22645] ppid=22642 vsize=10983192 memory=56040 CPUtime=0.39 cores=1,3,5,7
/proc/22645/stat : 22645 (java) S 22642 22645 10029 0 -1 1077944320 10536 13168 0 0 29 2 5 3 20 0 15 0 107399852 11246788608 14010 33554432000 4194304 4196468 140736444532000 140736444514544 140256930914039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
/proc/22645/statm: 2745798 14010 3101 1 0 2708109 0
[pid=22645/tid=22698] ppid=22642 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22645/task/22698/stat : 22698 (java) R 22642 22645 10029 0 -1 4202560 7076 13168 0 0 19 2 5 3 20 0 15 0 107399860 11246788608 14010 33554432000 4194304 4196468 140736444532000 140256902726048 140256914100830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22699] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22699/stat : 22699 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246788608 14010 33554432000 4194304 4196468 140736444532000 140256935156240 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22700] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22700/stat : 22700 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246788608 14010 33554432000 4194304 4196468 140736444532000 140256789875344 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22701] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22701/stat : 22701 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246788608 14010 33554432000 4194304 4196468 140736444532000 140256788822288 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22702] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22702/stat : 22702 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246788608 14010 33554432000 4194304 4196468 140736444532000 140256468789648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22703] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22703/stat : 22703 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 15 0 107399863 11246788608 14010 33554432000 4194304 4196468 140736444532000 140256356858608 140256930925186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22704] ppid=22642 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22704/stat : 22704 (java) S 22642 22645 10029 0 -1 1077944384 13 13168 0 0 0 0 5 3 20 0 15 0 107399863 11246788608 14010 33554432000 4194304 4196468 140736444532000 140255780923040 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22705] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22705/stat : 22705 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399863 11246788608 14010 33554432000 4194304 4196468 140736444532000 140255579596016 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22706] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22706/stat : 22706 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11246788608 14010 33554432000 4194304 4196468 140736444532000 140255272196560 140256930932635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22707] ppid=22642 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22645/task/22707/stat : 22707 (java) S 22642 22645 10029 0 -1 1077944384 534 13168 0 0 1 0 5 3 20 0 15 0 107399866 11246788608 14010 33554432000 4194304 4196468 140736444532000 140256355805424 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22708] ppid=22642 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/22645/task/22708/stat : 22708 (java) S 22642 22645 10029 0 -1 1077944384 70 13168 0 0 1 0 5 3 20 0 15 0 107399866 11246788608 14010 33554432000 4194304 4196468 140736444532000 140256354752880 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22709] ppid=22642 vsize=10983192 memory=139793331144320 CPUtime=0.13 cores=1,3,5,7
/proc/22645/task/22709/stat : 22709 (java) R 22642 22645 10029 0 -1 4202560 638 13168 0 0 5 0 5 3 20 0 15 0 107399866 11246788608 14010 33554432000 4194304 4196468 140736444532000 140256353699824 140256910885224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22710] ppid=22642 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22710/stat : 22710 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11246788608 14010 33554432000 4194304 4196468 140736444532000 140254841399648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22711] ppid=22642 vsize=10983192 memory=139793331144320 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22711/stat : 22711 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399866 11246788608 14010 33554432000 4194304 4196468 140736444532000 140256352648240 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56040 KiB

[startup+0.700748 s]
/proc/loadavg: 1.37 1.60 1.72 3/215 22711
/proc/meminfo: memFree=25570176/32770624 swapFree=67028844/67108860
[pid=22645] ppid=22642 vsize=10983192 memory=88836 CPUtime=0.99 cores=1,3,5,7
/proc/22645/stat : 22645 (java) S 22642 22645 10029 0 -1 1077944320 16822 13168 0 0 87 4 5 3 20 0 15 0 107399852 11246788608 22209 33554432000 4194304 4196468 140736444532000 140736444514544 140256930914039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
/proc/22645/statm: 2745798 22209 3237 1 0 2708109 0
[pid=22645/tid=22698] ppid=22642 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/22645/task/22698/stat : 22698 (java) R 22642 22645 10029 0 -1 4202560 12402 13168 0 0 55 3 5 3 20 0 15 0 107399860 11246788608 22209 33554432000 4194304 4196468 140736444532000 140256902734864 140256916079678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22699] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22699/stat : 22699 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246788608 22209 33554432000 4194304 4196468 140736444532000 140256935156240 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22700] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22700/stat : 22700 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246788608 22209 33554432000 4194304 4196468 140736444532000 140256789875344 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22701] ppid=22642 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22701/stat : 22701 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246788608 22209 33554432000 4194304 4196468 140736444532000 140256788822288 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22702] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22702/stat : 22702 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 15 0 107399861 11246788608 22209 33554432000 4194304 4196468 140736444532000 140256468789648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22703] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22703/stat : 22703 (java) S 22642 22645 10029 0 -1 1077944384 5 13168 0 0 0 0 5 3 20 0 15 0 107399863 11246788608 22209 33554432000 4194304 4196468 140736444532000 140256356858608 140256930925186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22704] ppid=22642 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22704/stat : 22704 (java) S 22642 22645 10029 0 -1 1077944384 13 13168 0 0 0 0 5 3 20 0 15 0 107399863 11246788608 22209 33554432000 4194304 4196468 140736444532000 140255780923040 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22705] ppid=22642 vsize=10983192 memory=139793199674128 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22705/stat : 22705 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399863 11246788608 22209 33554432000 4194304 4196468 140736444532000 140255579596016 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22706] ppid=22642 vsize=10983192 memory=139796890518089 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22706/stat : 22706 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11246788608 22209 33554432000 4194304 4196468 140736444532000 140255272196560 140256930932635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22707] ppid=22642 vsize=10983192 memory=796 CPUtime=0.18 cores=1,3,5,7
/proc/22645/task/22707/stat : 22707 (java) S 22642 22645 10029 0 -1 1077944384 1199 13168 0 0 10 0 5 3 20 0 15 0 107399866 11246788608 22209 33554432000 4194304 4196468 140736444532000 140256355805424 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22708] ppid=22642 vsize=10983192 memory=7014751519650764113 CPUtime=0.15 cores=1,3,5,7
/proc/22645/task/22708/stat : 22708 (java) S 22642 22645 10029 0 -1 1077944384 296 13168 0 0 7 0 5 3 20 0 15 0 107399866 11246788608 22209 33554432000 4194304 4196468 140736444532000 140256354752880 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22709] ppid=22642 vsize=10983192 memory=7597123233646858610 CPUtime=0.21 cores=1,3,5,7
/proc/22645/task/22709/stat : 22709 (java) S 22642 22645 10029 0 -1 1077944384 703 13168 0 0 13 0 5 3 20 0 15 0 107399866 11246788608 22209 33554432000 4194304 4196468 140736444532000 140256353699824 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22710] ppid=22642 vsize=10983192 memory=3544 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22710/stat : 22710 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11246788608 22209 33554432000 4194304 4196468 140736444532000 140254841399648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22711] ppid=22642 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22711/stat : 22711 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399866 11246788608 22209 33554432000 4194304 4196468 140736444532000 140256352648240 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88836 KiB

[startup+1.50138 s]
/proc/loadavg: 1.37 1.60 1.72 3/215 22711
/proc/meminfo: memFree=25523596/32770624 swapFree=67028844/67108860
[pid=22645] ppid=22642 vsize=10996044 memory=187056 CPUtime=3.15 cores=1,3,5,7
/proc/22645/stat : 22645 (java) S 22642 22645 10029 0 -1 1077944320 25135 13168 0 0 298 9 5 3 20 0 15 0 107399852 11259949056 46764 33554432000 4194304 4196468 140736444532000 140736444514544 140256930914039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
/proc/22645/statm: 2749011 46764 3448 1 0 2710669 0
[pid=22645/tid=22698] ppid=22642 vsize=10996044 memory=9169 CPUtime=1.46 cores=1,3,5,7
/proc/22645/task/22698/stat : 22698 (java) R 22642 22645 10029 0 -1 4202560 16656 13168 0 0 131 7 5 3 20 0 15 0 107399860 11259949056 46764 33554432000 4194304 4196468 140736444532000 140256902744608 140256930935965 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22699] ppid=22642 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22699/stat : 22699 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 15 0 107399861 11259949056 46764 33554432000 4194304 4196468 140736444532000 140256935156240 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22700] ppid=22642 vsize=10996044 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22700/stat : 22700 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399861 11259949056 46764 33554432000 4194304 4196468 140736444532000 140256789875344 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22701] ppid=22642 vsize=10996044 memory=3004 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22701/stat : 22701 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399861 11259949056 46764 33554432000 4194304 4196468 140736444532000 140256788822288 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22702] ppid=22642 vsize=10996044 memory=88836 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22702/stat : 22702 (java) S 22642 22645 10029 0 -1 1077944384 2 13168 0 0 0 0 5 3 20 0 15 0 107399861 11259949056 46764 33554432000 4194304 4196468 140736444532000 140256468789648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22703] ppid=22642 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22703/stat : 22703 (java) S 22642 22645 10029 0 -1 1077944384 6 13168 0 0 0 0 5 3 20 0 15 0 107399863 11259949056 46764 33554432000 4194304 4196468 140736444532000 140256356858608 140256930925186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22704] ppid=22642 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22704/stat : 22704 (java) S 22642 22645 10029 0 -1 1077944384 13 13168 0 0 0 0 5 3 20 0 15 0 107399863 11259949056 46764 33554432000 4194304 4196468 140736444532000 140255780923040 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22705] ppid=22642 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22705/stat : 22705 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399863 11259949056 46764 33554432000 4194304 4196468 140736444532000 140255579596016 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22706] ppid=22642 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22706/stat : 22706 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11259949056 46799 33554432000 4194304 4196468 140736444532000 140255272196560 140256930932635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22707] ppid=22642 vsize=10996044 memory=4638778398332698720 CPUtime=0.68 cores=1,3,5,7
/proc/22645/task/22707/stat : 22707 (java) R 22642 22645 10029 0 -1 4202560 2816 13168 0 0 60 0 5 3 20 0 15 0 107399866 11259949056 46799 33554432000 4194304 4196468 140736444532000 140256355790208 140256908806064 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22708] ppid=22642 vsize=10996044 memory=279586399624064 CPUtime=0.66 cores=1,3,5,7
/proc/22645/task/22708/stat : 22708 (java) R 22642 22645 10029 0 -1 4202560 1809 13168 0 0 58 0 5 3 20 0 15 0 107399866 11259949056 46799 33554432000 4194304 4196468 140736444532000 140256354734288 140256912458243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22709] ppid=22642 vsize=10996044 memory=6944656592452807323 CPUtime=0.54 cores=1,3,5,7
/proc/22645/task/22709/stat : 22709 (java) S 22642 22645 10029 0 -1 1077944384 1631 13168 0 0 46 0 5 3 20 0 15 0 107399866 11259949056 46799 33554432000 4194304 4196468 140736444532000 140256353699824 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22710] ppid=22642 vsize=10996044 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22710/stat : 22710 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11259949056 46799 33554432000 4194304 4196468 140736444532000 140254841399648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22711] ppid=22642 vsize=10996044 memory=6944656591801719708 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22711/stat : 22711 (java) S 22642 22645 10029 0 -1 1077944384 1 13168 0 0 0 0 5 3 20 0 15 0 107399866 11259949056 46799 33554432000 4194304 4196468 140736444532000 140256352648240 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 10996044 KiB

################
# More data... #
################

/proc/22645/task/22698/stat : 22698 (java) R 22642 22645 10029 0 -1 4202560 51607 13168 0 0 16097 29 5 3 20 0 15 0 107399860 11348049920 390665 33554432000 4194304 4196468 140736444532000 140256902748768 140256485295086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22699] ppid=22642 vsize=11082080 memory=1607632 CPUtime=0.73 cores=1,3,5,7
/proc/22645/task/22699/stat : 22699 (java) S 22642 22645 10029 0 -1 1077944384 3135 13168 0 0 53 12 5 3 20 0 15 0 107399861 11348049920 390665 33554432000 4194304 4196468 140736444532000 140256935156240 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22700] ppid=22642 vsize=11082080 memory=1569328 CPUtime=0.7 cores=1,3,5,7
/proc/22645/task/22700/stat : 22700 (java) S 22642 22645 10029 0 -1 1077944384 3308 13168 0 0 50 12 5 3 20 0 15 0 107399861 11348049920 390665 33554432000 4194304 4196468 140736444532000 140256789875344 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22701] ppid=22642 vsize=11082080 memory=1562660 CPUtime=0.71 cores=1,3,5,7
/proc/22645/task/22701/stat : 22701 (java) S 22642 22645 10029 0 -1 1077944384 2268 13168 0 0 51 12 5 3 20 0 15 0 107399861 11348049920 390665 33554432000 4194304 4196468 140736444532000 140256788822288 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22702] ppid=22642 vsize=11082080 memory=1569328 CPUtime=0.73 cores=1,3,5,7
/proc/22645/task/22702/stat : 22702 (java) S 22642 22645 10029 0 -1 1077944384 2852 13168 0 0 54 11 5 3 20 0 15 0 107399861 11348049920 390665 33554432000 4194304 4196468 140736444532000 140256468789648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22703] ppid=22642 vsize=11082080 memory=1569328 CPUtime=0.26 cores=1,3,5,7
/proc/22645/task/22703/stat : 22703 (java) S 22642 22645 10029 0 -1 1077944384 7472 13168 0 0 16 2 5 3 20 0 15 0 107399863 11348049920 390665 33554432000 4194304 4196468 140736444532000 140256356858608 140256930925186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22704] ppid=22642 vsize=11082080 memory=1581644 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22704/stat : 22704 (java) S 22642 22645 10029 0 -1 1077944384 26 13168 0 0 0 0 5 3 20 0 15 0 107399863 11348049920 390665 33554432000 4194304 4196468 140736444532000 140255780923104 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22705] ppid=22642 vsize=11082080 memory=1404 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22705/stat : 22705 (java) S 22642 22645 10029 0 -1 1077944384 16 13168 0 0 0 0 5 3 20 0 15 0 107399863 11348049920 390665 33554432000 4194304 4196468 140736444532000 140255579596032 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22706] ppid=22642 vsize=11082080 memory=1579588 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22706/stat : 22706 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11348049920 390665 33554432000 4194304 4196468 140736444532000 140255272196560 140256930932635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22707] ppid=22642 vsize=11082080 memory=1579588 CPUtime=9.52 cores=1,3,5,7
/proc/22645/task/22707/stat : 22707 (java) S 22642 22645 10029 0 -1 1077944384 27982 13168 0 0 939 5 5 3 20 0 15 0 107399866 11348049920 390665 33554432000 4194304 4196468 140736444532000 140256355805424 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22708] ppid=22642 vsize=11082080 memory=1774900 CPUtime=9.43 cores=1,3,5,7
/proc/22645/task/22708/stat : 22708 (java) S 22642 22645 10029 0 -1 1077944384 24175 13168 0 0 931 4 5 3 20 0 15 0 107399866 11348049920 390665 33554432000 4194304 4196468 140736444532000 140256354752880 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22709] ppid=22642 vsize=11082080 memory=2764 CPUtime=3.41 cores=1,3,5,7
/proc/22645/task/22709/stat : 22709 (java) S 22642 22645 10029 0 -1 1077944384 22673 13168 0 0 327 6 5 3 20 0 15 0 107399866 11348049920 390665 33554432000 4194304 4196468 140736444532000 140256353699824 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22710] ppid=22642 vsize=11082080 memory=796 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22710/stat : 22710 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11348049920 390665 33554432000 4194304 4196468 140736444532000 140254841399648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22711] ppid=22642 vsize=11082080 memory=1562660 CPUtime=0.15 cores=1,3,5,7
/proc/22645/task/22711/stat : 22711 (java) S 22642 22645 10029 0 -1 1077944384 1027 13168 0 0 4 3 5 3 20 0 15 0 107399866 11348049920 390665 33554432000 4194304 4196468 140736444532000 140256352648240 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
Current children cumulated CPU time: 186.36 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1562660 KiB

[startup+222.301 s]
/proc/loadavg: 1.58 1.58 1.68 3/215 22845
/proc/meminfo: memFree=24033332/32770624 swapFree=67028844/67108860
[pid=22645] ppid=22642 vsize=11082080 memory=1481600 CPUtime=247.33 cores=1,3,5,7
/proc/22645/stat : 22645 (java) S 22642 22645 10029 0 -1 1077944320 161292 13168 0 0 24621 104 5 3 20 0 15 0 107399852 11348049920 370400 33554432000 4194304 4196468 140736444532000 140736444514544 140256930914039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
/proc/22645/statm: 2770520 370400 3535 1 0 2732173 0
[pid=22645/tid=22698] ppid=22642 vsize=11082080 memory=3604 CPUtime=220.85 cores=1,3,5,7
/proc/22645/task/22698/stat : 22698 (java) R 22642 22645 10029 0 -1 4202560 53142 13168 0 0 22048 29 5 3 20 0 15 0 107399860 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256902748592 140256474941174 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22699] ppid=22642 vsize=11082080 memory=1481600 CPUtime=1 cores=1,3,5,7
/proc/22645/task/22699/stat : 22699 (java) S 22642 22645 10029 0 -1 1077944384 3391 13168 0 0 80 12 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256935156240 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22700] ppid=22642 vsize=11082080 memory=1481600 CPUtime=0.98 cores=1,3,5,7
/proc/22645/task/22700/stat : 22700 (java) S 22642 22645 10029 0 -1 1077944384 3517 13168 0 0 77 13 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256789875344 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22701] ppid=22642 vsize=11082080 memory=1481600 CPUtime=0.97 cores=1,3,5,7
/proc/22645/task/22701/stat : 22701 (java) S 22642 22645 10029 0 -1 1077944384 2980 13168 0 0 76 13 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256788822288 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22702] ppid=22642 vsize=11082080 memory=1481600 CPUtime=1 cores=1,3,5,7
/proc/22645/task/22702/stat : 22702 (java) S 22642 22645 10029 0 -1 1077944384 4254 13168 0 0 80 12 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256468789648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22703] ppid=22642 vsize=11082080 memory=1493396 CPUtime=0.42 cores=1,3,5,7
/proc/22645/task/22703/stat : 22703 (java) S 22642 22645 10029 0 -1 1077944384 7834 13168 0 0 31 3 5 3 20 0 15 0 107399863 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256356858608 140256930925186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22704] ppid=22642 vsize=11082080 memory=1498016 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22704/stat : 22704 (java) S 22642 22645 10029 0 -1 1077944384 26 13168 0 0 0 0 5 3 20 0 15 0 107399863 11348049920 370400 33554432000 4194304 4196468 140736444532000 140255780923104 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22705] ppid=22642 vsize=11082080 memory=3544 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22705/stat : 22705 (java) S 22642 22645 10029 0 -1 1077944384 16 13168 0 0 0 0 5 3 20 0 15 0 107399863 11348049920 370400 33554432000 4194304 4196468 140736444532000 140255579596032 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22706] ppid=22642 vsize=11082080 memory=27308 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22706/stat : 22706 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140255272196560 140256930932635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22707] ppid=22642 vsize=11082080 memory=1876 CPUtime=9.59 cores=1,3,5,7
/proc/22645/task/22707/stat : 22707 (java) S 22642 22645 10029 0 -1 1077944384 31381 13168 0 0 946 5 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256355805424 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22708] ppid=22642 vsize=11082080 memory=1664 CPUtime=9.49 cores=1,3,5,7
/proc/22645/task/22708/stat : 22708 (java) S 22642 22645 10029 0 -1 1077944384 26086 13168 0 0 937 4 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256354752880 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22709] ppid=22642 vsize=11082080 memory=1828 CPUtime=3.44 cores=1,3,5,7
/proc/22645/task/22709/stat : 22709 (java) S 22642 22645 10029 0 -1 1077944384 25335 13168 0 0 329 7 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256353699824 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22710] ppid=22642 vsize=11082080 memory=1481600 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22710/stat : 22710 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140254841399648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22711] ppid=22642 vsize=11082080 memory=27308 CPUtime=0.19 cores=1,3,5,7
/proc/22645/task/22711/stat : 22711 (java) S 22642 22645 10029 0 -1 1077944384 1134 13168 0 0 6 5 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256352648240 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
Current children cumulated CPU time: 247.33 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1481600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+226.901 s]
/proc/loadavg: 1.58 1.58 1.68 3/215 22845
/proc/meminfo: memFree=24033332/32770624 swapFree=67028844/67108860
[pid=22645] ppid=22642 vsize=11082080 memory=1481600 CPUtime=252 cores=1,3,5,7
/proc/22645/stat : 22645 (java) S 22642 22645 10029 0 -1 1077944320 164531 13168 0 0 25088 104 5 3 20 0 15 0 107399852 11348049920 370400 33554432000 4194304 4196468 140736444532000 140736444514544 140256930914039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
/proc/22645/statm: 2770520 370400 3535 1 0 2732173 0
[pid=22645/tid=22698] ppid=22642 vsize=11082080 memory=1481600 CPUtime=225.4 cores=1,3,5,7
/proc/22645/task/22698/stat : 22698 (java) R 22642 22645 10029 0 -1 4202560 53494 13168 0 0 22503 29 5 3 20 0 15 0 107399860 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256902748912 140256493778313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22699] ppid=22642 vsize=11082080 memory=1481600 CPUtime=1.02 cores=1,3,5,7
/proc/22645/task/22699/stat : 22699 (java) S 22642 22645 10029 0 -1 1077944384 3403 13168 0 0 82 12 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256935156240 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22700] ppid=22642 vsize=11082080 memory=1481600 CPUtime=1 cores=1,3,5,7
/proc/22645/task/22700/stat : 22700 (java) S 22642 22645 10029 0 -1 1077944384 3629 13168 0 0 79 13 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256789875344 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22701] ppid=22642 vsize=11082080 memory=1481600 CPUtime=0.99 cores=1,3,5,7
/proc/22645/task/22701/stat : 22701 (java) S 22642 22645 10029 0 -1 1077944384 3009 13168 0 0 78 13 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256788822288 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22702] ppid=22642 vsize=11082080 memory=1481600 CPUtime=1.03 cores=1,3,5,7
/proc/22645/task/22702/stat : 22702 (java) S 22642 22645 10029 0 -1 1077944384 5405 13168 0 0 83 12 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256468789648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22703] ppid=22642 vsize=11082080 memory=1481600 CPUtime=0.43 cores=1,3,5,7
/proc/22645/task/22703/stat : 22703 (java) S 22642 22645 10029 0 -1 1077944384 7874 13168 0 0 32 3 5 3 20 0 15 0 107399863 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256356858608 140256930925186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22704] ppid=22642 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22704/stat : 22704 (java) S 22642 22645 10029 0 -1 1077944384 26 13168 0 0 0 0 5 3 20 0 15 0 107399863 11348049920 370400 33554432000 4194304 4196468 140736444532000 140255780923104 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22705] ppid=22642 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22705/stat : 22705 (java) S 22642 22645 10029 0 -1 1077944384 16 13168 0 0 0 0 5 3 20 0 15 0 107399863 11348049920 370400 33554432000 4194304 4196468 140736444532000 140255579596032 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22706] ppid=22642 vsize=11082080 memory=1481600 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22706/stat : 22706 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140255272196560 140256930932635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22707] ppid=22642 vsize=11082080 memory=27308 CPUtime=9.6 cores=1,3,5,7
/proc/22645/task/22707/stat : 22707 (java) S 22642 22645 10029 0 -1 1077944384 32501 13168 0 0 947 5 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256355805424 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22708] ppid=22642 vsize=11082080 memory=960 CPUtime=9.49 cores=1,3,5,7
/proc/22645/task/22708/stat : 22708 (java) S 22642 22645 10029 0 -1 1077944384 26086 13168 0 0 937 4 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256354752880 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22709] ppid=22642 vsize=11082080 memory=1220 CPUtime=3.44 cores=1,3,5,7
/proc/22645/task/22709/stat : 22709 (java) S 22642 22645 10029 0 -1 1077944384 25753 13168 0 0 329 7 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256353699824 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22710] ppid=22642 vsize=11082080 memory=3940 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22710/stat : 22710 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140254841399648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22711] ppid=22642 vsize=11082080 memory=4 CPUtime=0.2 cores=1,3,5,7
/proc/22645/task/22711/stat : 22711 (java) S 22642 22645 10029 0 -1 1077944384 1139 13168 0 0 6 6 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256352648240 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1481600 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+226.937 s]
# the end of solver process 22645 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.953 s, system=1.09642 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+226.901 s]
/proc/loadavg: 1.58 1.58 1.68 3/215 22845
/proc/meminfo: memFree=24033332/32770624 swapFree=67028844/67108860
[pid=22645] ppid=22642 vsize=11082080 memory=1481600 CPUtime=252 cores=1,3,5,7
/proc/22645/stat : 22645 (java) S 22642 22645 10029 0 -1 1077944320 164531 13168 0 0 25088 104 5 3 20 0 15 0 107399852 11348049920 370400 33554432000 4194304 4196468 140736444532000 140736444514544 140256930914039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
/proc/22645/statm: 2770520 370400 3535 1 0 2732173 0
[pid=22645/tid=22698] ppid=22642 vsize=11082080 memory=1481600 CPUtime=225.4 cores=1,3,5,7
/proc/22645/task/22698/stat : 22698 (java) R 22642 22645 10029 0 -1 4202560 53494 13168 0 0 22503 29 5 3 20 0 15 0 107399860 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256902748912 140256493778313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22699] ppid=22642 vsize=11082080 memory=1481600 CPUtime=1.02 cores=1,3,5,7
/proc/22645/task/22699/stat : 22699 (java) S 22642 22645 10029 0 -1 1077944384 3403 13168 0 0 82 12 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256935156240 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22700] ppid=22642 vsize=11082080 memory=1481600 CPUtime=1 cores=1,3,5,7
/proc/22645/task/22700/stat : 22700 (java) S 22642 22645 10029 0 -1 1077944384 3629 13168 0 0 79 13 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256789875344 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22701] ppid=22642 vsize=11082080 memory=1481600 CPUtime=0.99 cores=1,3,5,7
/proc/22645/task/22701/stat : 22701 (java) S 22642 22645 10029 0 -1 1077944384 3009 13168 0 0 78 13 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256788822288 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22702] ppid=22642 vsize=11082080 memory=1481600 CPUtime=1.03 cores=1,3,5,7
/proc/22645/task/22702/stat : 22702 (java) S 22642 22645 10029 0 -1 1077944384 5405 13168 0 0 83 12 5 3 20 0 15 0 107399861 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256468789648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22703] ppid=22642 vsize=11082080 memory=1481600 CPUtime=0.43 cores=1,3,5,7
/proc/22645/task/22703/stat : 22703 (java) S 22642 22645 10029 0 -1 1077944384 7874 13168 0 0 32 3 5 3 20 0 15 0 107399863 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256356858608 140256930925186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22704] ppid=22642 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22704/stat : 22704 (java) S 22642 22645 10029 0 -1 1077944384 26 13168 0 0 0 0 5 3 20 0 15 0 107399863 11348049920 370400 33554432000 4194304 4196468 140736444532000 140255780923104 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22705] ppid=22642 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22705/stat : 22705 (java) S 22642 22645 10029 0 -1 1077944384 16 13168 0 0 0 0 5 3 20 0 15 0 107399863 11348049920 370400 33554432000 4194304 4196468 140736444532000 140255579596032 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22706] ppid=22642 vsize=11082080 memory=1481600 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22706/stat : 22706 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140255272196560 140256930932635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22707] ppid=22642 vsize=11082080 memory=27308 CPUtime=9.6 cores=1,3,5,7
/proc/22645/task/22707/stat : 22707 (java) S 22642 22645 10029 0 -1 1077944384 32501 13168 0 0 947 5 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256355805424 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22708] ppid=22642 vsize=11082080 memory=960 CPUtime=9.49 cores=1,3,5,7
/proc/22645/task/22708/stat : 22708 (java) S 22642 22645 10029 0 -1 1077944384 26086 13168 0 0 937 4 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256354752880 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22709] ppid=22642 vsize=11082080 memory=1220 CPUtime=3.44 cores=1,3,5,7
/proc/22645/task/22709/stat : 22709 (java) S 22642 22645 10029 0 -1 1077944384 25753 13168 0 0 329 7 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256353699824 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22710] ppid=22642 vsize=11082080 memory=3940 CPUtime=0.08 cores=1,3,5,7
/proc/22645/task/22710/stat : 22710 (java) S 22642 22645 10029 0 -1 1077944384 3 13168 0 0 0 0 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140254841399648 140256930924245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
[pid=22645/tid=22711] ppid=22642 vsize=11082080 memory=4 CPUtime=0.2 cores=1,3,5,7
/proc/22645/task/22711/stat : 22711 (java) S 22642 22645 10029 0 -1 1077944384 1139 13168 0 0 6 6 5 3 20 0 15 0 107399866 11348049920 370400 33554432000 4194304 4196468 140736444532000 140256352648240 140256930925186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26652672 140736444533362 140736444536161 140736444536161 140736444538831 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1481600 KiB

Child status: 143
Real time (s): 226.937
CPU time (s): 252.05
CPU user time (s): 250.953
CPU system time (s): 1.09642
CPU usage (%): 111.066
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1816892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.953
system time used= 1.09642
maximum resident set size= 1820036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20814
involuntary context switches= 502


# summary of solver processes directly reported to runsolver:
#   pid: 22645
#   total CPU time (s): 252.05
#   total CPU user time (s): 250.953
#   total CPU system time (s): 1.09642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58128 second user time and 1.9575 second system time

The end

Name	TravelingTournament/ TravelingTournament-a2-galaxy12_c18.xml
MD5SUM	69fcc0210e9a5c86649ea22552bf9d3d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	10904
Best CPU time to get the best result obtained on this benchmark	252.089
Satisfiable
(Un)Satisfiability was proved
Number of variables	1068
Number of constraints	3635
Number of domains	3
Minimum domain size	2
Maximum domain size	45
Distribution of domain sizes	[{"size":2,"count":528},{"size":12,"count":264},{"size":45,"count":276}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":540},{"degree":35,"count":240},{"degree":36,"count":264},{"degree":37,"count":22},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	22
Distribution of constraint arities	[{"arity":2,"count":265},{"arity":3,"count":24},{"arity":4,"count":2520},{"arity":5,"count":252},{"arity":12,"count":286},{"arity":14,"count":264},{"arity":22,"count":24}]
Number of extensional constraints	276
Number of intensional constraints	2785
Distribution of constraint types	[{"type":"extension","count":276},{"type":"intension","count":2785},{"type":"regular","count":12},{"type":"allDifferent","count":22},{"type":"cardinality","count":12},{"type":"element","count":528}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4302326

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data