2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8-SuperNG 2018-06-13	SAT (TO)	10930	2520.14	2467.65

0.98/0.74	c Concrete v3.8.1528841891564 running
67.96/44.81	o 11427
71.49/47.81	o 11337
71.49/47.85	o 11309
71.49/47.89	o 11230
73.26/49.26	o 11185
73.53/49.49	o 11079
206.16/177.86	o 11033
213.21/184.84	o 10942
439.06/401.55	o 10935
456.24/418.57	o 10930
2520.06/2467.61	Exception in thread "main" java.util.concurrent.TimeoutException
2520.06/2467.61		at concrete.MAC.mac(MAC.scala:188)
2520.06/2467.61		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.06/2467.61		at scala.util.Try$.apply(Try.scala:209)
2520.06/2467.61		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.06/2467.61		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.06/2467.61		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.06/2467.61		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.06/2467.61		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.06/2467.61		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.06/2467.61		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.06/2467.61		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.06/2467.61		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.06/2467.61		at concrete.MAC.oneRun(MAC.scala:253)
2520.06/2467.61		at concrete.MAC.nextSolution(MAC.scala:272)
2520.06/2467.61		at concrete.MAC.nextSolution(MAC.scala:355)
2520.06/2467.61		at concrete.Solver.hasNext(Solver.scala:166)
2520.06/2467.61		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.06/2467.61		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.06/2467.61		at concrete.Solver.foreach(Solver.scala:68)
2520.06/2467.61		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.06/2467.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.06/2467.61		at scala.util.Success.map(Try.scala:209)
2520.06/2467.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.06/2467.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.06/2467.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.06/2467.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.06/2467.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.06/2467.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.06/2467.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.06/2467.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.06/2467.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.06/2467.61		at scala.collection.immutable.List.foreach(List.scala:389)
2520.06/2467.61		at scala.App.main(App.scala:76)
2520.06/2467.61		at scala.App.main$(App.scala:74)
2520.06/2467.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.06/2467.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.06/2467.62	v <instantiation cost="10930">
2520.06/2467.62	v       <list>
2520.06/2467.62	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]
2520.06/2467.62	v       </list>
2520.06/2467.62	v       <values>
2520.06/2467.62	v         1 9 8 3 4 6 11 10 2 1 5 4 5 3 2 6 8 9 11 10 7 7 0 11 11 7 10 9 5 8 3 0 3 5 9 2 8 10 7 2 4 6 4 6 11 8 6 6 3 8 7 5 0 11 9 9 4 1 0 4 10 1 3 7 5 10 7 10 7 0 2 11 6 4 1 4 1 11 10 0 9 5 6 5 2 8 9 8 5 7 10 11 0 10 9 3 8 3 7 0 2 6 6 2 11 8 1 5 1 9 4 6 9 10 8 7 1 2 11 8 0 1 0 10 7 3 9 3 6 4 2 11 8 5 2 2 9 0 3 7 10 9 10 8 11 4 4 0 3 7 5 1 11 1 3 4 3 1 11 5 2 6 9 10 4 10 8 11 5 9 1 6 8 2 0 0 6 2 0 9 5 2 10 1 4 5 11 6 7 9 1 11 0 4 7 3 10 3 10 0 5 8 6 1 4 11 7 6 2 2 1 8 3 7 5 0 10 11 3 4 9 3 4 5 1 4 8 0 6 7 6 7 3 5 11 1 2 11 9 0 8 2 2 1 1 4 7 3 0 9 5 2 8 3 6 7 10 8 4 10 0 9 6 5 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 51 51 0 36 18 44 0 15 22 10 0 39 41 34 0 48 48 55 10 55 44 44 10 10 64 67 44 0 40 42 46 0 32 32 43 49 22 65 65 0 31 18 39 0 0 0 53 31 56 47 47 56 56 0 58 105 49 45 45 15 15 0 22 22 0 50 51 55 14 14 0 34 34 66 66 0 32 31 51 0 69 69 0 41 27 47 47 47 67 68 68 35 35 74 10 70 0 55 67 51 0 64 44 36 18 18 45 45 21 21 0 31 31 0 0 27 27 51 73 42 0 50 50 0 39 10 40 0 48 48 81 67 41 35 35 44 44 31 31 0 56 56 0 47 47 0 69 103 75 70 70 18 36 44 59 48 27 0 39 39 0 64 51 14 0 48 48 59 59 69 69 0 81 69 67 79 43 44 0 56 15 44 0 0 0 48 51 68 53 55 73 21 35 42 31 31 0 46 64 69 0 81 14 68 0 0 0 0 81 81 69 39 43 105 67 79 0 49 49 68 68 67 0 51 55 103 0 55 55 103 67 69 0 65 31 74 55 44 75 0 69 69 51 51 0 55 58 10 0 73 73 0 58 22 64 0 67 67 55 55 44 44 69 68 66 0 10 10 70 70 0 105 69 70 0
2520.06/2467.62	v       </values>
2520.06/2467.62	v     </instantiation>
2520.06/2467.62	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 (4904 MiB free)
  memory of node 1: 16384 MiB (6913 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295466-1532560899/watcher-4295466-1532560899 -o /tmp/evaluation-result-4295466-1532560899/solver-4295466-1532560899 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31452 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=319661697 -superng HOME/instance-4295466-1532560899.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3312, runsolver pid=3309


[startup+0.100095 s]*
/proc/loadavg: 1.57 1.62 1.68 3/206 3369
/proc/meminfo: memFree=12095640/32770624 swapFree=67108860/67108860
[pid=3312] ppid=3309 vsize=9972712 memory=16544 CPUtime=0.08 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3309 3312 31421 0 -1 1077944320 4312 13160 0 0 1 0 5 2 20 0 6 0 73653129 10212057088 4136 33554432000 4194304 4196468 140732314551536 140732314534080 139706710757111 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
/proc/3312/statm: 2493178 4136 1932 1 0 2481616 0
[pid=3312/tid=3365] ppid=3309 vsize=9972712 memory=-8171376296011865461 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 31421 0 -1 4202560 2190 13160 0 0 0 0 5 2 20 0 6 0 73653138 10212057088 4202 33554432000 4194304 4196468 140732314551536 139706682593872 139706694837598 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3366] ppid=3309 vsize=9972712 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 6 0 73653139 10212057088 4268 33554432000 4194304 4196468 140732314551536 139706714999952 139706710767317 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3367] ppid=3309 vsize=9972712 memory=140522186724992 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 6 0 73653139 10212057088 4268 33554432000 4194304 4196468 140732314551536 139706283777040 139706710767317 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3368] ppid=3309 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 6 0 73653139 10212057088 4268 33554432000 4194304 4196468 140732314551536 139706282724240 139706710767317 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3369] ppid=3309 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 6 0 73653139 10212057088 4268 33554432000 4194304 4196468 140732314551536 139706281671440 139706710767317 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16544 KiB

[startup+0.210117 s]*
/proc/loadavg: 1.57 1.62 1.68 3/215 3378
/proc/meminfo: memFree=12068764/32770624 swapFree=67108860/67108860
[pid=3312] ppid=3309 vsize=10818904 memory=45048 CPUtime=0.25 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3309 3312 31421 0 -1 1077944320 7520 13160 0 0 16 2 5 2 20 0 15 0 73653129 11078557696 11262 33554432000 4194304 4196468 140732314551536 140732314534080 139706710757111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
/proc/3312/statm: 2704726 11262 2937 1 0 2667149 0
[pid=3312/tid=3365] ppid=3309 vsize=10818904 memory=-8171376296011865461 CPUtime=0.18 cores=0,2,4,6
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 31421 0 -1 4202560 4512 13160 0 0 10 1 5 2 20 0 15 0 73653138 11078557696 11592 33554432000 4194304 4196468 140732314551536 139706682574224 139706691032871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3366] ppid=3309 vsize=10818904 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653139 11078557696 11658 33554432000 4194304 4196468 140732314551536 139706714999952 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3367] ppid=3309 vsize=10818904 memory=140522186724992 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653139 11078557696 11658 33554432000 4194304 4196468 140732314551536 139706283777040 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3368] ppid=3309 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653139 11078557696 11658 33554432000 4194304 4196468 140732314551536 139706282724240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3369] ppid=3309 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653139 11078557696 11658 33554432000 4194304 4196468 140732314551536 139706281671440 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3370] ppid=3309 vsize=10818904 memory=140522186724992 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653141 11078557696 11658 33554432000 4194304 4196468 140732314551536 139706237417840 139706710768258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3371] ppid=3309 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 31421 0 -1 1077944384 13 13160 0 0 0 0 5 2 20 0 15 0 73653141 11078557696 11658 33554432000 4194304 4196468 140732314551536 139706159326240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3372] ppid=3309 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653141 11078557696 11658 33554432000 4194304 4196468 140732314551536 139706025108336 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3373] ppid=3309 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653144 11078557696 11658 33554432000 4194304 4196468 140732314551536 139705421129552 139706710775707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3374] ppid=3309 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 31421 0 -1 1077944384 512 13160 0 0 1 0 5 2 20 0 15 0 73653144 11078557696 11658 33554432000 4194304 4196468 140732314551536 139706236365680 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3375] ppid=3309 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 31421 0 -1 1077944384 54 13160 0 0 0 0 5 2 20 0 15 0 73653144 11078557696 11658 33554432000 4194304 4196468 140732314551536 139706235312880 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3376] ppid=3309 vsize=10818904 memory=140522186724992 CPUtime=0.1 cores=0,2,4,6
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 31421 0 -1 1077944384 565 13160 0 0 3 0 5 2 20 0 15 0 73653144 11078557696 11658 33554432000 4194304 4196468 140732314551536 139706234260080 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3377] ppid=3309 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 31421 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 73653144 11078557696 11658 33554432000 4194304 4196468 140732314551536 139704951368416 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3378] ppid=3309 vsize=10818904 memory=140522186724992 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653144 11078557696 11724 33554432000 4194304 4196468 140732314551536 139706233207472 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45048 KiB

[startup+0.310261 s]*
/proc/loadavg: 1.57 1.62 1.68 3/215 3378
/proc/meminfo: memFree=12057352/32770624 swapFree=67108860/67108860
[pid=3312] ppid=3309 vsize=10819352 memory=58352 CPUtime=0.38 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3309 3312 31421 0 -1 1077944320 10657 13160 0 0 28 3 5 2 20 0 15 0 73653129 11079016448 14588 33554432000 4194304 4196468 140732314551536 140732314534080 139706710757111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
/proc/3312/statm: 2704838 14588 3056 1 0 2667149 0
[pid=3312/tid=3365] ppid=3309 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 31421 0 -1 4202560 7309 13160 0 0 19 2 5 2 20 0 15 0 73653138 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706682569120 139706691032898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3366] ppid=3309 vsize=10819352 memory=8514701219931451533 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653139 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706714999952 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3367] ppid=3309 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653139 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706283777040 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3368] ppid=3309 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653139 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706282724240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3369] ppid=3309 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653139 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706281671440 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3370] ppid=3309 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653141 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706237417840 139706710768258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3371] ppid=3309 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 31421 0 -1 1077944384 13 13160 0 0 0 0 5 2 20 0 15 0 73653141 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706159326240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3372] ppid=3309 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653141 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706025108336 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3373] ppid=3309 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653144 11079016448 14588 33554432000 4194304 4196468 140732314551536 139705421129552 139706710775707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3374] ppid=3309 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 31421 0 -1 1077944384 513 13160 0 0 2 0 5 2 20 0 15 0 73653144 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706236365680 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3375] ppid=3309 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 31421 0 -1 1077944384 54 13160 0 0 0 0 5 2 20 0 15 0 73653144 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706235312880 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3376] ppid=3309 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 31421 0 -1 1077944384 574 13160 0 0 5 0 5 2 20 0 15 0 73653144 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706234260080 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3377] ppid=3309 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 31421 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 73653144 11079016448 14588 33554432000 4194304 4196468 140732314551536 139704951368416 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3378] ppid=3309 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653144 11079016448 14588 33554432000 4194304 4196468 140732314551536 139706233207472 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 58352 KiB

[startup+0.700674 s]
/proc/loadavg: 1.57 1.62 1.68 4/215 3378
/proc/meminfo: memFree=12047568/32770624 swapFree=67108860/67108860
[pid=3312] ppid=3309 vsize=10819352 memory=90628 CPUtime=0.98 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3309 3312 31421 0 -1 1077944320 16757 13160 0 0 87 4 5 2 20 0 15 0 73653129 11079016448 22657 33554432000 4194304 4196468 140732314551536 140732314534080 139706710757111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
/proc/3312/statm: 2704838 22657 3238 1 0 2667149 0
[pid=3312/tid=3365] ppid=3309 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 31421 0 -1 4202560 12368 13160 0 0 56 3 5 2 20 0 15 0 73653138 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706682577936 139706694837598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3366] ppid=3309 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653139 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706714999952 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3367] ppid=3309 vsize=10819352 memory=8458433173657040949 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653139 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706283777040 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3368] ppid=3309 vsize=10819352 memory=7156871102761029984 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653139 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706282724240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3369] ppid=3309 vsize=10819352 memory=4639059877604708710 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653139 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706281671440 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3370] ppid=3309 vsize=10819352 memory=3467824627880452160 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 31421 0 -1 1077944384 5 13160 0 0 0 0 5 2 20 0 15 0 73653141 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706237417840 139706710768258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3371] ppid=3309 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 31421 0 -1 1077944384 13 13160 0 0 0 0 5 2 20 0 15 0 73653141 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706159326240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3372] ppid=3309 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653141 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706025108336 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3373] ppid=3309 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653144 11079016448 22657 33554432000 4194304 4196468 140732314551536 139705421129552 139706710775707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3374] ppid=3309 vsize=10819352 memory=2244 CPUtime=0.14 cores=0,2,4,6
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 31421 0 -1 1077944384 892 13160 0 0 7 0 5 2 20 0 15 0 73653144 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706236365680 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3375] ppid=3309 vsize=10819352 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/3312/task/3375/stat : 3375 (java) R 3309 3312 31421 0 -1 1077944384 656 13160 0 0 9 0 5 2 20 0 15 0 73653144 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706235312880 139706710768258 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3376] ppid=3309 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/3312/task/3376/stat : 3376 (java) R 3309 3312 31421 0 -1 4202560 622 13160 0 0 13 0 5 2 20 0 15 0 73653144 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706234260080 139706689201902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3377] ppid=3309 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 31421 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 73653144 11079016448 22657 33554432000 4194304 4196468 140732314551536 139704951368416 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3378] ppid=3309 vsize=10819352 memory=30305 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653144 11079016448 22657 33554432000 4194304 4196468 140732314551536 139706233207472 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90628 KiB

[startup+1.50078 s]
/proc/loadavg: 1.68 1.64 1.68 4/215 3378
/proc/meminfo: memFree=12001856/32770624 swapFree=67108860/67108860
[pid=3312] ppid=3309 vsize=10832204 memory=185316 CPUtime=2.92 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3309 3312 31421 0 -1 1077944320 23992 13160 0 0 278 7 5 2 20 0 15 0 73653129 11092176896 46329 33554432000 4194304 4196468 140732314551536 140732314534080 139706710757111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
/proc/3312/statm: 2708051 46329 3451 1 0 2669709 0
[pid=3312/tid=3365] ppid=3309 vsize=10832204 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 31421 0 -1 4202560 16664 13160 0 0 133 5 5 2 20 0 15 0 73653138 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706682587904 139706694837598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3366] ppid=3309 vsize=10832204 memory=124 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653139 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706714999952 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3367] ppid=3309 vsize=10832204 memory=78 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653139 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706283777040 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3368] ppid=3309 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653139 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706282724240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3369] ppid=3309 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653139 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706281671440 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3370] ppid=3309 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 31421 0 -1 1077944384 12 13160 0 0 0 0 5 2 20 0 15 0 73653141 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706237417840 139706710768258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3371] ppid=3309 vsize=10832204 memory=140522068916728 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 31421 0 -1 1077944384 13 13160 0 0 0 0 5 2 20 0 15 0 73653141 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706159326240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3372] ppid=3309 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653141 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706025108336 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3373] ppid=3309 vsize=10832204 memory=2986632698767059817 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653144 11092176896 46329 33554432000 4194304 4196468 140732314551536 139705421129552 139706710775707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3374] ppid=3309 vsize=10832204 memory=-2127766498336923639 CPUtime=0.5 cores=0,2,4,6
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 31421 0 -1 1077944384 1624 13160 0 0 43 0 5 2 20 0 15 0 73653144 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706236365680 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3375] ppid=3309 vsize=10832204 memory=-2897801490638248331 CPUtime=0.6 cores=0,2,4,6
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 31421 0 -1 1077944384 1934 13160 0 0 53 0 5 2 20 0 15 0 73653144 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706235312880 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3376] ppid=3309 vsize=10832204 memory=-2746958450906831519 CPUtime=0.53 cores=0,2,4,6
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 31421 0 -1 1077944384 1545 13160 0 0 46 0 5 2 20 0 15 0 73653144 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706234260080 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3377] ppid=3309 vsize=10832204 memory=-6440287458061328268 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 31421 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 73653144 11092176896 46329 33554432000 4194304 4196468 140732314551536 139704951368416 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3378] ppid=3309 vsize=10832204 memory=64 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 31421 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 73653144 11092176896 46329 33554432000 4194304 4196468 140732314551536 139706233207472 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 10832204 KiB

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

/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 31421 0 -1 4202560 195725 13160 0 0 231259 72 5 2 20 0 15 0 73653138 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706682591856 139706316064546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3366] ppid=3309 vsize=10918240 memory=2378964 CPUtime=8.18 cores=0,2,4,6
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 31421 0 -1 1077944384 26294 13160 0 0 763 48 5 2 20 0 15 0 73653139 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706714999952 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3367] ppid=3309 vsize=10918240 memory=2378964 CPUtime=8.16 cores=0,2,4,6
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 31421 0 -1 1077944384 26836 13160 0 0 762 47 5 2 20 0 15 0 73653139 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706283777040 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3368] ppid=3309 vsize=10918240 memory=2378964 CPUtime=8.19 cores=0,2,4,6
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 31421 0 -1 1077944384 21187 13160 0 0 764 48 5 2 20 0 15 0 73653139 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706282724240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3369] ppid=3309 vsize=10918240 memory=2378964 CPUtime=8.16 cores=0,2,4,6
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 31421 0 -1 1077944384 37523 13160 0 0 762 47 5 2 20 0 15 0 73653139 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706281671440 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3370] ppid=3309 vsize=10918240 memory=2378964 CPUtime=0.63 cores=0,2,4,6
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 31421 0 -1 1077944384 24800 13160 0 0 48 8 5 2 20 0 15 0 73653141 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706237417840 139706710768258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3371] ppid=3309 vsize=10918240 memory=2378964 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 31421 0 -1 1077944384 28 13160 0 0 0 0 5 2 20 0 15 0 73653141 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706159326304 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3372] ppid=3309 vsize=10918240 memory=2378964 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 31421 0 -1 1077944384 14 13160 0 0 0 0 5 2 20 0 15 0 73653141 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706025108352 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3373] ppid=3309 vsize=10918240 memory=2378972 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653144 11180277760 594743 33554432000 4194304 4196468 140732314551536 139705421129552 139706710775707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3374] ppid=3309 vsize=10918240 memory=2378964 CPUtime=10.8 cores=0,2,4,6
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 31421 0 -1 1077944384 94892 13160 0 0 1065 8 5 2 20 0 15 0 73653144 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706236365680 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3375] ppid=3309 vsize=10918240 memory=8540 CPUtime=11.03 cores=0,2,4,6
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 31421 0 -1 1077944384 73705 13160 0 0 1090 6 5 2 20 0 15 0 73653144 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706235312880 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3376] ppid=3309 vsize=10918240 memory=2378964 CPUtime=3.76 cores=0,2,4,6
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 31421 0 -1 1077944384 61122 13160 0 0 362 7 5 2 20 0 15 0 73653144 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706234260080 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3377] ppid=3309 vsize=10918240 memory=2378964 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 31421 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 73653144 11180277760 594743 33554432000 4194304 4196468 140732314551536 139704951368416 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3378] ppid=3309 vsize=10918240 memory=1836 CPUtime=1.37 cores=0,2,4,6
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 31421 0 -1 1077944384 2452 13160 0 0 62 68 5 2 20 0 15 0 73653144 11180277760 594743 33554432000 4194304 4196468 140732314551536 139706233207472 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
Current children cumulated CPU time: 2373.12 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2378972 KiB

[startup+2382.3 s]
/proc/loadavg: 1.56 1.62 1.66 3/216 3630
/proc/meminfo: memFree=10221332/32770624 swapFree=67108860/67108860
[pid=3312] ppid=3309 vsize=10918240 memory=2379076 CPUtime=2433.77 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3309 3312 31421 0 -1 1077944320 581477 13160 0 0 243021 349 5 2 20 0 15 0 73653129 11180277760 594769 33554432000 4194304 4196468 140732314551536 140732314534080 139706710757111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
/proc/3312/statm: 2729560 594769 3535 1 0 2691213 0
[pid=3312/tid=3365] ppid=3309 vsize=10918240 memory=2379060 CPUtime=2373.11 cores=0,2,4,6
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 31421 0 -1 4202560 198383 13160 0 0 237232 72 5 2 20 0 15 0 73653138 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706682591648 139706334468224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3366] ppid=3309 vsize=10918240 memory=2379076 CPUtime=8.38 cores=0,2,4,6
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 31421 0 -1 1077944384 28764 13160 0 0 783 48 5 2 20 0 15 0 73653139 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706714999952 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3367] ppid=3309 vsize=10918240 memory=2379020 CPUtime=8.36 cores=0,2,4,6
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 31421 0 -1 1077944384 28044 13160 0 0 782 47 5 2 20 0 15 0 73653139 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706283777040 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3368] ppid=3309 vsize=10918240 memory=2379048 CPUtime=8.39 cores=0,2,4,6
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 31421 0 -1 1077944384 21950 13160 0 0 784 48 5 2 20 0 15 0 73653139 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706282724240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3369] ppid=3309 vsize=10918240 memory=2379020 CPUtime=8.35 cores=0,2,4,6
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 31421 0 -1 1077944384 38238 13160 0 0 781 47 5 2 20 0 15 0 73653139 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706281671440 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3370] ppid=3309 vsize=10918240 memory=2379048 CPUtime=0.67 cores=0,2,4,6
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 31421 0 -1 1077944384 25537 13160 0 0 52 8 5 2 20 0 15 0 73653141 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706237417840 139706710768258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3371] ppid=3309 vsize=10918240 memory=22152 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 31421 0 -1 1077944384 28 13160 0 0 0 0 5 2 20 0 15 0 73653141 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706159326304 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3372] ppid=3309 vsize=10918240 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 31421 0 -1 1077944384 14 13160 0 0 0 0 5 2 20 0 15 0 73653141 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706025108352 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3373] ppid=3309 vsize=10918240 memory=2379060 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653144 11180277760 594769 33554432000 4194304 4196468 140732314551536 139705421129552 139706710775707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3374] ppid=3309 vsize=10918240 memory=2379048 CPUtime=10.81 cores=0,2,4,6
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 31421 0 -1 1077944384 97260 13160 0 0 1066 8 5 2 20 0 15 0 73653144 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706236365680 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3375] ppid=3309 vsize=10918240 memory=2379060 CPUtime=11.04 cores=0,2,4,6
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 31421 0 -1 1077944384 76275 13160 0 0 1090 7 5 2 20 0 15 0 73653144 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706235312880 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3376] ppid=3309 vsize=10918240 memory=2379060 CPUtime=3.77 cores=0,2,4,6
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 31421 0 -1 1077944384 62287 13160 0 0 363 7 5 2 20 0 15 0 73653144 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706234260080 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3377] ppid=3309 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 31421 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 73653144 11180277760 594769 33554432000 4194304 4196468 140732314551536 139704951368416 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3378] ppid=3309 vsize=10918240 memory=316207806174060786 CPUtime=1.4 cores=0,2,4,6
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 31421 0 -1 1077944384 2504 13160 0 0 64 69 5 2 20 0 15 0 73653144 11180277760 594769 33554432000 4194304 4196468 140732314551536 139706233207472 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
Current children cumulated CPU time: 2433.77 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2379076 KiB

[startup+2442.3 s]
/proc/loadavg: 1.20 1.51 1.62 3/216 3631
/proc/meminfo: memFree=10194988/32770624 swapFree=67108860/67108860
[pid=3312] ppid=3309 vsize=10918240 memory=2379648 CPUtime=2494.47 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3309 3312 31421 0 -1 1077944320 591226 13160 0 0 249088 352 5 2 20 0 15 0 73653129 11180277760 594912 33554432000 4194304 4196468 140732314551536 140732314534080 139706710757111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
/proc/3312/statm: 2729560 594912 3535 1 0 2691213 0
[pid=3312/tid=3365] ppid=3309 vsize=10918240 memory=2379648 CPUtime=2432.84 cores=0,2,4,6
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 31421 0 -1 4202560 200375 13160 0 0 243204 73 5 2 20 0 15 0 73653138 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706682591648 139706316064546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3366] ppid=3309 vsize=10918240 memory=2379648 CPUtime=8.6 cores=0,2,4,6
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 31421 0 -1 1077944384 29266 13160 0 0 805 48 5 2 20 0 15 0 73653139 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706714999952 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3367] ppid=3309 vsize=10918240 memory=3180 CPUtime=8.59 cores=0,2,4,6
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 31421 0 -1 1077944384 28563 13160 0 0 804 48 5 2 20 0 15 0 73653139 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706283777040 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3368] ppid=3309 vsize=10918240 memory=2379648 CPUtime=8.6 cores=0,2,4,6
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 31421 0 -1 1077944384 22200 13160 0 0 805 48 5 2 20 0 15 0 73653139 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706282724240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3369] ppid=3309 vsize=10918240 memory=420248 CPUtime=8.57 cores=0,2,4,6
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 31421 0 -1 1077944384 39111 13160 0 0 803 47 5 2 20 0 15 0 73653139 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706281671440 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3370] ppid=3309 vsize=10918240 memory=4004 CPUtime=0.71 cores=0,2,4,6
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 31421 0 -1 1077944384 25897 13160 0 0 56 8 5 2 20 0 15 0 73653141 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706237417840 139706710768258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3371] ppid=3309 vsize=10918240 memory=2379648 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 31421 0 -1 1077944384 28 13160 0 0 0 0 5 2 20 0 15 0 73653141 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706159326304 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3372] ppid=3309 vsize=10918240 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 31421 0 -1 1077944384 14 13160 0 0 0 0 5 2 20 0 15 0 73653141 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706025108352 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3373] ppid=3309 vsize=10918240 memory=22152 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653144 11180277760 594912 33554432000 4194304 4196468 140732314551536 139705421129552 139706710775707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3374] ppid=3309 vsize=10918240 memory=2379260 CPUtime=10.83 cores=0,2,4,6
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 31421 0 -1 1077944384 101354 13160 0 0 1068 8 5 2 20 0 15 0 73653144 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706236365680 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3375] ppid=3309 vsize=10918240 memory=2379260 CPUtime=11.05 cores=0,2,4,6
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 31421 0 -1 1077944384 76279 13160 0 0 1091 7 5 2 20 0 15 0 73653144 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706235312880 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3376] ppid=3309 vsize=10918240 memory=2379648 CPUtime=3.77 cores=0,2,4,6
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 31421 0 -1 1077944384 63417 13160 0 0 363 7 5 2 20 0 15 0 73653144 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706234260080 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3377] ppid=3309 vsize=10918240 memory=2379648 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 31421 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 73653144 11180277760 594912 33554432000 4194304 4196468 140732314551536 139704951368416 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3378] ppid=3309 vsize=10918240 memory=2612 CPUtime=1.44 cores=0,2,4,6
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 31421 0 -1 1077944384 2529 13160 0 0 66 71 5 2 20 0 15 0 73653144 11180277760 594912 33554432000 4194304 4196468 140732314551536 139706233207472 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
Current children cumulated CPU time: 2494.47 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2379648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2467.6 s]
/proc/loadavg: 1.32 1.51 1.62 3/216 3632
/proc/meminfo: memFree=10202420/32770624 swapFree=67108860/67108860
[pid=3312] ppid=3309 vsize=10918240 memory=2379700 CPUtime=2520.06 cores=0,2,4,6
/proc/3312/stat : 3312 (java) S 3309 3312 31421 0 -1 1077944320 594614 13160 0 0 251646 353 5 2 20 0 15 0 73653129 11180277760 594925 33554432000 4194304 4196468 140732314551536 140732314534080 139706710757111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
/proc/3312/statm: 2729560 594925 3535 1 0 2691213 0
[pid=3312/tid=3365] ppid=3309 vsize=10918240 memory=1796 CPUtime=2458.02 cores=0,2,4,6
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 31421 0 -1 4202560 201357 13160 0 0 245722 73 5 2 20 0 15 0 73653138 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706682592672 139706335798884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3366] ppid=3309 vsize=10918240 memory=640 CPUtime=8.69 cores=0,2,4,6
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 31421 0 -1 1077944384 29675 13160 0 0 814 48 5 2 20 0 15 0 73653139 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706714999952 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3367] ppid=3309 vsize=10918240 memory=8112282956445269571 CPUtime=8.68 cores=0,2,4,6
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 31421 0 -1 1077944384 29109 13160 0 0 813 48 5 2 20 0 15 0 73653139 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706283777040 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3368] ppid=3309 vsize=10918240 memory=22152 CPUtime=8.7 cores=0,2,4,6
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 31421 0 -1 1077944384 22386 13160 0 0 815 48 5 2 20 0 15 0 73653139 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706282724240 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3369] ppid=3309 vsize=10918240 memory=1296 CPUtime=8.66 cores=0,2,4,6
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 31421 0 -1 1077944384 40050 13160 0 0 812 47 5 2 20 0 15 0 73653139 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706281671440 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3370] ppid=3309 vsize=10918240 memory=2400 CPUtime=0.73 cores=0,2,4,6
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 31421 0 -1 1077944384 26205 13160 0 0 58 8 5 2 20 0 15 0 73653141 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706237417840 139706710768258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3371] ppid=3309 vsize=10918240 memory=1836 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 31421 0 -1 1077944384 28 13160 0 0 0 0 5 2 20 0 15 0 73653141 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706159326304 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3372] ppid=3309 vsize=10918240 memory=13044 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 31421 0 -1 1077944384 14 13160 0 0 0 0 5 2 20 0 15 0 73653141 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706025108352 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3373] ppid=3309 vsize=10918240 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 31421 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 73653144 11180277760 594925 33554432000 4194304 4196468 140732314551536 139705421129552 139706710775707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3374] ppid=3309 vsize=10918240 memory=13044 CPUtime=10.83 cores=0,2,4,6
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 31421 0 -1 1077944384 101354 13160 0 0 1068 8 5 2 20 0 15 0 73653144 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706236365680 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3375] ppid=3309 vsize=10918240 memory=792 CPUtime=11.05 cores=0,2,4,6
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 31421 0 -1 1077944384 76279 13160 0 0 1091 7 5 2 20 0 15 0 73653144 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706235312880 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3376] ppid=3309 vsize=10918240 memory=1952 CPUtime=3.77 cores=0,2,4,6
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 31421 0 -1 1077944384 63417 13160 0 0 363 7 5 2 20 0 15 0 73653144 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706234260080 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3377] ppid=3309 vsize=10918240 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 31421 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 73653144 11180277760 594925 33554432000 4194304 4196468 140732314551536 139704951368416 139706710767317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
[pid=3312/tid=3378] ppid=3309 vsize=10918240 memory=8540 CPUtime=1.45 cores=0,2,4,6
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 31421 0 -1 1077944384 2547 13160 0 0 66 72 5 2 20 0 15 0 73653144 11180277760 594925 33554432000 4194304 4196468 140732314551536 139706233207472 139706710768258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14012416 140732314560684 140732314563932 140732314563932 140732314566607 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2379700 KiB

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

[startup+2467.65 s]
# the end of solver process 3312 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.55 s, system=3.58888 s

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

Child status: 143
Real time (s): 2467.65
CPU time (s): 2520.14
CPU user time (s): 2516.55
CPU system time (s): 3.58888
CPU usage (%): 102.127
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 3632244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.55
system time used= 3.58888
maximum resident set size= 3632244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 611034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74794
involuntary context switches= 3627


# summary of solver processes directly reported to runsolver:
#   pid: 3312
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2516.55
#   total CPU system time (s): 3.58888

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9227 second user time and 22.9677 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	10735
Best CPU time to get the best result obtained on this benchmark	2520.05
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 4295466

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