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)	10056	2520.08	2460.83

0.98/0.74	c Concrete v3.8.1528841891564 running
39.58/17.99	o 10662
40.02/18.19	o 10609
40.15/18.22	o 10577
40.15/18.23	o 10549
40.15/18.27	o 10461
40.15/18.29	o 10457
40.45/18.34	o 10443
40.69/18.44	o 10423
40.69/18.48	o 10409
48.24/24.92	o 10152
48.24/24.93	o 10126
174.66/144.93	o 10066
177.06/147.36	o 10059
342.70/310.41	o 10056
2520.03/2460.81	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2460.81		at concrete.MAC.mac(MAC.scala:188)
2520.03/2460.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2460.81		at scala.util.Try$.apply(Try.scala:209)
2520.03/2460.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2460.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2460.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2460.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2460.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2460.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2460.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2460.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2460.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2460.81		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2460.81		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2460.81		at concrete.MAC.nextSolution(MAC.scala:355)
2520.03/2460.81		at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2460.81		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2460.81		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2460.81		at concrete.Solver.foreach(Solver.scala:68)
2520.03/2460.81		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2460.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2460.81		at scala.util.Success.map(Try.scala:209)
2520.03/2460.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2460.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2460.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2460.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2460.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2460.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2460.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2460.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2460.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2460.81		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2460.81		at scala.App.main(App.scala:76)
2520.03/2460.81		at scala.App.main$(App.scala:74)
2520.03/2460.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2460.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2460.82	v <instantiation cost="10056">
2520.03/2460.82	v       <list>
2520.03/2460.82	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.03/2460.82	v       </list>
2520.03/2460.82	v       <values>
2520.03/2460.82	v         3 9 11 8 4 2 2 6 10 4 1 7 5 10 3 9 8 1 7 6 11 5 2 4 8 3 7 9 10 8 4 9 0 11 10 6 7 3 11 0 5 5 6 2 1 5 9 11 8 0 0 10 7 11 3 4 3 7 10 8 4 6 6 9 5 1 0 8 10 1 6 5 4 4 9 6 2 5 2 11 0 1 7 10 11 7 9 8 10 1 5 6 0 11 3 3 1 0 6 2 8 9 9 7 2 5 8 10 7 11 9 2 4 9 10 3 11 11 8 7 7 3 0 8 6 6 10 4 1 1 2 0 11 10 7 4 3 8 7 0 11 3 4 8 9 1 5 5 9 2 2 0 1 10 8 11 6 10 1 10 6 9 2 5 5 0 11 2 1 4 3 8 0 3 4 9 7 3 1 0 2 6 9 1 5 10 9 6 4 5 11 2 0 7 4 11 10 3 5 0 2 5 11 1 8 7 3 1 8 10 6 4 4 0 6 11 10 2 3 7 4 6 3 7 5 7 1 2 0 8 11 9 1 0 2 11 5 3 9 4 8 6 6 7 0 2 9 4 5 5 6 2 10 1 7 3 8 10 1 9 3 8 0 4 0 1 1 1 0 1 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 34 34 0 0 36 36 15 15 0 0 10 10 39 51 55 51 68 48 44 59 70 55 0 0 31 31 32 14 44 0 46 46 43 43 64 10 75 39 0 0 10 39 40 0 22 22 22 40 50 0 0 15 15 0 56 67 66 47 0 0 55 73 21 45 56 69 49 0 0 0 68 73 69 0 41 35 51 0 47 47 0 47 47 34 10 32 0 66 67 79 67 0 0 0 0 18 18 70 70 51 32 10 36 45 53 21 55 79 64 35 35 74 74 0 0 0 0 35 55 103 51 44 44 0 0 48 14 41 42 42 27 27 0 0 40 22 15 39 70 10 69 59 47 68 31 44 44 0 18 18 0 0 27 27 69 49 56 0 39 39 0 81 69 67 0 0 69 75 59 0 48 48 44 44 56 22 44 14 14 0 0 64 55 79 0 0 46 10 15 53 68 68 42 51 73 31 31 0 69 69 0 81 64 21 0 68 68 81 39 15 49 0 43 43 79 14 67 68 68 69 18 55 0 0 105 10 103 0 0 0 74 74 0 69 69 0 65 22 15 55 0 103 103 0 0 10 44 41 69 0 73 31 75 0 0 55 15 49 105 0 44 27 70 10 10 67 14 66 0 64 64 0 69 69 70 70
2520.03/2460.82	v       </values>
2520.03/2460.82	v     </instantiation>
2520.03/2460.82	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 (3080 MiB free)
  memory of node 1: 16384 MiB (8165 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295470-1532561460/watcher-4295470-1532561460 -o /tmp/evaluation-result-4295470-1532561460/solver-4295470-1532561460 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532535188-26470 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=751079365 -superng HOME/instance-4295470-1532561460.xml 

running on 4 cores: 1,3,5,7

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=31010, runsolver pid=31007


[startup+0.100096 s]*
/proc/loadavg: 1.45 1.51 1.56 3/207 31067
/proc/meminfo: memFree=11509164/32770624 swapFree=67108860/67108860
[pid=31010] ppid=31007 vsize=9972712 memory=17072 CPUtime=0.09 cores=1,3,5,7
/proc/31010/stat : 31010 (java) S 31007 31010 26438 0 -1 1077944320 4417 13086 0 0 1 1 4 3 20 0 6 0 73709202 10212057088 4268 33554432000 4194304 4196468 140735865872400 140735865854944 140005162721015 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
/proc/31010/statm: 2493178 4268 1934 1 0 2481616 0
[pid=31010/tid=31063] ppid=31007 vsize=9972712 memory=4279135703946853774 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31063/stat : 31063 (java) R 31007 31010 26438 0 -1 4202560 2222 13086 0 0 0 0 4 3 20 0 6 0 73709211 10212057088 4268 33554432000 4194304 4196468 140735865872400 140005134557776 140005162742941 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31064] ppid=31007 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31064/stat : 31064 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 6 0 73709212 10212057088 4268 33554432000 4194304 4196468 140735865872400 140005166963600 140005162731221 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31065] ppid=31007 vsize=9972712 memory=139782292899456 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31065/stat : 31065 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 6 0 73709212 10212057088 4268 33554432000 4194304 4196468 140735865872400 140005065853712 140005162731221 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31066] ppid=31007 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31066/stat : 31066 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 6 0 73709212 10212057088 4268 33554432000 4194304 4196468 140735865872400 140005064801424 140005162731221 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31067] ppid=31007 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31067/stat : 31067 (java) S 31007 31010 26438 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 6 0 73709212 10212057088 4268 33554432000 4194304 4196468 140735865872400 140005063748624 140005162731221 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17072 KiB

[startup+0.209876 s]*
/proc/loadavg: 1.45 1.51 1.56 3/216 31076
/proc/meminfo: memFree=11486912/32770624 swapFree=67108860/67108860
[pid=31010] ppid=31007 vsize=10818936 memory=46084 CPUtime=0.25 cores=1,3,5,7
/proc/31010/stat : 31010 (java) S 31007 31010 26438 0 -1 1077944320 9416 13086 0 0 16 2 4 3 20 0 15 0 73709202 11078590464 11521 33554432000 4194304 4196468 140735865872400 140735865854944 140005162721015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
/proc/31010/statm: 2704734 11521 2942 1 0 2667157 0
[pid=31010/tid=31063] ppid=31007 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/31010/task/31063/stat : 31063 (java) R 31007 31010 26438 0 -1 4202560 6072 13086 0 0 10 1 4 3 20 0 15 0 73709211 11078557696 11521 33554432000 4194304 4196468 140735865872400 140005134545824 140005155400237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31064] ppid=31007 vsize=10818904 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31064/stat : 31064 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11078557696 11521 33554432000 4194304 4196468 140735865872400 140005166963600 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31065] ppid=31007 vsize=10818904 memory=139782293297943 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31065/stat : 31065 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11078557696 11521 33554432000 4194304 4196468 140735865872400 140005065853712 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31066] ppid=31007 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31066/stat : 31066 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11078557696 11521 33554432000 4194304 4196468 140735865872400 140005064801424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31067] ppid=31007 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31067/stat : 31067 (java) S 31007 31010 26438 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 15 0 73709212 11078590464 11521 33554432000 4194304 4196468 140735865872400 140005063748624 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31068] ppid=31007 vsize=10818936 memory=139782292899456 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31068/stat : 31068 (java) S 31007 31010 26438 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 15 0 73709213 11078590464 11521 33554432000 4194304 4196468 140735865872400 140004622067824 140005162732162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31069] ppid=31007 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31069/stat : 31069 (java) S 31007 31010 26438 0 -1 1077944384 13 13086 0 0 0 0 4 3 20 0 15 0 73709213 11078590464 11521 33554432000 4194304 4196468 140735865872400 140004055573280 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31070] ppid=31007 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31070/stat : 31070 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709214 11078590464 11521 33554432000 4194304 4196468 140735865872400 140003921355888 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31071] ppid=31007 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31071/stat : 31071 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709216 11078590464 11521 33554432000 4194304 4196468 140735865872400 140003681065040 140005162739611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31072] ppid=31007 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31010/task/31072/stat : 31072 (java) S 31007 31010 26438 0 -1 1077944384 508 13086 0 0 1 0 4 3 20 0 15 0 73709216 11078590464 11521 33554432000 4194304 4196468 140735865872400 140004621015664 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31073] ppid=31007 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31073/stat : 31073 (java) S 31007 31010 26438 0 -1 1077944384 56 13086 0 0 0 0 4 3 20 0 15 0 73709216 11078590464 11521 33554432000 4194304 4196468 140735865872400 140004619962864 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31074] ppid=31007 vsize=10818936 memory=139782292899456 CPUtime=0.1 cores=1,3,5,7
/proc/31010/task/31074/stat : 31074 (java) S 31007 31010 26438 0 -1 1077944384 560 13086 0 0 3 0 4 3 20 0 15 0 73709216 11078590464 11521 33554432000 4194304 4196468 140735865872400 140004618910576 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31075] ppid=31007 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31075/stat : 31075 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709217 11078590464 11521 33554432000 4194304 4196468 140735865872400 140003647507424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31076] ppid=31007 vsize=10818936 memory=139782292899456 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31076/stat : 31076 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709217 11078590464 11521 33554432000 4194304 4196468 140735865872400 140004617857456 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 46084 KiB

[startup+0.31035 s]*
/proc/loadavg: 1.45 1.51 1.56 3/216 31076
/proc/meminfo: memFree=11473516/32770624 swapFree=67108860/67108860
[pid=31010] ppid=31007 vsize=10819352 memory=53960 CPUtime=0.39 cores=1,3,5,7
/proc/31010/stat : 31010 (java) S 31007 31010 26438 0 -1 1077944320 10627 13086 0 0 29 3 4 3 20 0 15 0 73709202 11079016448 13490 33554432000 4194304 4196468 140735865872400 140735865854944 140005162721015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
/proc/31010/statm: 2704838 13490 3061 1 0 2667149 0
[pid=31010/tid=31063] ppid=31007 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/31010/task/31063/stat : 31063 (java) R 31007 31010 26438 0 -1 4202560 7272 13086 0 0 19 2 4 3 20 0 15 0 73709211 11079016448 13490 33554432000 4194304 4196468 140735865872400 140005134533024 140005146801502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31064] ppid=31007 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31064/stat : 31064 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11079016448 13490 33554432000 4194304 4196468 140735865872400 140005166963600 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31065] ppid=31007 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31065/stat : 31065 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11079016448 13490 33554432000 4194304 4196468 140735865872400 140005065853712 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31066] ppid=31007 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31066/stat : 31066 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11079016448 13490 33554432000 4194304 4196468 140735865872400 140005064801424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31067] ppid=31007 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31067/stat : 31067 (java) S 31007 31010 26438 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 15 0 73709212 11079016448 13490 33554432000 4194304 4196468 140735865872400 140005063748624 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31068] ppid=31007 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31068/stat : 31068 (java) S 31007 31010 26438 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 15 0 73709213 11079016448 13490 33554432000 4194304 4196468 140735865872400 140004622067824 140005162732162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31069] ppid=31007 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31069/stat : 31069 (java) S 31007 31010 26438 0 -1 1077944384 13 13086 0 0 0 0 4 3 20 0 15 0 73709213 11079016448 13490 33554432000 4194304 4196468 140735865872400 140004055573280 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31070] ppid=31007 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31070/stat : 31070 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709214 11079016448 13490 33554432000 4194304 4196468 140735865872400 140003921355888 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31071] ppid=31007 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31071/stat : 31071 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709216 11079016448 13490 33554432000 4194304 4196468 140735865872400 140003681065040 140005162739611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31072] ppid=31007 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31010/task/31072/stat : 31072 (java) S 31007 31010 26438 0 -1 1077944384 509 13086 0 0 2 0 4 3 20 0 15 0 73709216 11079016448 13490 33554432000 4194304 4196468 140735865872400 140004621015664 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31073] ppid=31007 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31010/task/31073/stat : 31073 (java) S 31007 31010 26438 0 -1 1077944384 56 13086 0 0 1 0 4 3 20 0 15 0 73709216 11079016448 13490 33554432000 4194304 4196468 140735865872400 140004619962864 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31074] ppid=31007 vsize=10819352 memory=139782292899456 CPUtime=0.12 cores=1,3,5,7
/proc/31010/task/31074/stat : 31074 (java) S 31007 31010 26438 0 -1 1077944384 572 13086 0 0 5 0 4 3 20 0 15 0 73709216 11079016448 13490 33554432000 4194304 4196468 140735865872400 140004618910576 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31075] ppid=31007 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31075/stat : 31075 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709217 11079016448 13490 33554432000 4194304 4196468 140735865872400 140003647507424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31076] ppid=31007 vsize=10819352 memory=139782292899456 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31076/stat : 31076 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709217 11079016448 13490 33554432000 4194304 4196468 140735865872400 140004617857456 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53960 KiB

[startup+0.70074 s]
/proc/loadavg: 1.49 1.52 1.56 3/216 31076
/proc/meminfo: memFree=11464708/32770624 swapFree=67108860/67108860
[pid=31010] ppid=31007 vsize=10819352 memory=86616 CPUtime=0.98 cores=1,3,5,7
/proc/31010/stat : 31010 (java) S 31007 31010 26438 0 -1 1077944320 16749 13086 0 0 87 4 4 3 20 0 15 0 73709202 11079016448 21654 33554432000 4194304 4196468 140735865872400 140735865854944 140005162721015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
/proc/31010/statm: 2704838 21654 3246 1 0 2667149 0
[pid=31010/tid=31063] ppid=31007 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/31010/task/31063/stat : 31063 (java) R 31007 31010 26438 0 -1 4202560 12326 13086 0 0 56 3 4 3 20 0 15 0 73709211 11079016448 21654 33554432000 4194304 4196468 140735865872400 140005134541840 140005162734902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31064] ppid=31007 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31064/stat : 31064 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11079016448 21654 33554432000 4194304 4196468 140735865872400 140005166963600 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31065] ppid=31007 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31065/stat : 31065 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11079016448 21654 33554432000 4194304 4196468 140735865872400 140005065853712 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31066] ppid=31007 vsize=10819352 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31066/stat : 31066 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11079016448 21654 33554432000 4194304 4196468 140735865872400 140005064801424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31067] ppid=31007 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31067/stat : 31067 (java) S 31007 31010 26438 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 15 0 73709212 11079016448 21654 33554432000 4194304 4196468 140735865872400 140005063748624 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31068] ppid=31007 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31068/stat : 31068 (java) S 31007 31010 26438 0 -1 1077944384 5 13086 0 0 0 0 4 3 20 0 15 0 73709213 11079016448 21654 33554432000 4194304 4196468 140735865872400 140004622067824 140005162732162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31069] ppid=31007 vsize=10819352 memory=139782193820368 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31069/stat : 31069 (java) S 31007 31010 26438 0 -1 1077944384 13 13086 0 0 0 0 4 3 20 0 15 0 73709213 11079016448 21654 33554432000 4194304 4196468 140735865872400 140004055573280 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31070] ppid=31007 vsize=10819352 memory=139784005616227 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31070/stat : 31070 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709214 11079016448 21654 33554432000 4194304 4196468 140735865872400 140003921355888 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31071] ppid=31007 vsize=10819352 memory=10592 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31071/stat : 31071 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709216 11079016448 21654 33554432000 4194304 4196468 140735865872400 140003681065040 140005162739611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31072] ppid=31007 vsize=10819352 memory=7234564758908855872 CPUtime=0.15 cores=1,3,5,7
/proc/31010/task/31072/stat : 31072 (java) S 31007 31010 26438 0 -1 1077944384 927 13086 0 0 8 0 4 3 20 0 15 0 73709216 11079016448 21654 33554432000 4194304 4196468 140735865872400 140004621015664 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31073] ppid=31007 vsize=10819352 memory=7597685182856913236 CPUtime=0.15 cores=1,3,5,7
/proc/31010/task/31073/stat : 31073 (java) S 31007 31010 26438 0 -1 1077944384 636 13086 0 0 8 0 4 3 20 0 15 0 73709216 11079016448 21654 33554432000 4194304 4196468 140735865872400 140004619962864 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31074] ppid=31007 vsize=10819352 memory=5787221545506525541 CPUtime=0.2 cores=1,3,5,7
/proc/31010/task/31074/stat : 31074 (java) S 31007 31010 26438 0 -1 1077944384 637 13086 0 0 13 0 4 3 20 0 15 0 73709216 11079016448 21654 33554432000 4194304 4196468 140735865872400 140004618910576 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31075] ppid=31007 vsize=10819352 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31075/stat : 31075 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709217 11079016448 21654 33554432000 4194304 4196468 140735865872400 140003647507424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31076] ppid=31007 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31076/stat : 31076 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709217 11079016448 21654 33554432000 4194304 4196468 140735865872400 140004617857456 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86616 KiB

[startup+1.50068 s]
/proc/loadavg: 1.49 1.52 1.56 3/216 31076
/proc/meminfo: memFree=11418300/32770624 swapFree=67108860/67108860
[pid=31010] ppid=31007 vsize=10832204 memory=181224 CPUtime=2.92 cores=1,3,5,7
/proc/31010/stat : 31010 (java) S 31007 31010 26438 0 -1 1077944320 24037 13086 0 0 277 8 4 3 20 0 15 0 73709202 11092176896 45306 33554432000 4194304 4196468 140735865872400 140735865854944 140005162721015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
/proc/31010/statm: 2708051 45306 3450 1 0 2669709 0
[pid=31010/tid=31063] ppid=31007 vsize=10832204 memory=12813 CPUtime=1.46 cores=1,3,5,7
/proc/31010/task/31063/stat : 31063 (java) R 31007 31010 26438 0 -1 4202560 16689 13086 0 0 133 6 4 3 20 0 15 0 73709211 11092176896 45306 33554432000 4194304 4196468 140735865872400 140005134527248 140005146801502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31064] ppid=31007 vsize=10832204 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31064/stat : 31064 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11092176896 45306 33554432000 4194304 4196468 140735865872400 140005166963600 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31065] ppid=31007 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31065/stat : 31065 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11092176896 45306 33554432000 4194304 4196468 140735865872400 140005065853712 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31066] ppid=31007 vsize=10832204 memory=2547 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31066/stat : 31066 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709212 11092176896 45306 33554432000 4194304 4196468 140735865872400 140005064801424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31067] ppid=31007 vsize=10832204 memory=86616 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31067/stat : 31067 (java) S 31007 31010 26438 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 15 0 73709212 11092176896 45306 33554432000 4194304 4196468 140735865872400 140005063748624 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31068] ppid=31007 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31068/stat : 31068 (java) S 31007 31010 26438 0 -1 1077944384 6 13086 0 0 0 0 4 3 20 0 15 0 73709213 11092176896 45306 33554432000 4194304 4196468 140735865872400 140004622067824 140005162732162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31069] ppid=31007 vsize=10832204 memory=279564387582448 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31069/stat : 31069 (java) S 31007 31010 26438 0 -1 1077944384 13 13086 0 0 0 0 4 3 20 0 15 0 73709213 11092176896 45306 33554432000 4194304 4196468 140735865872400 140004055573280 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31070] ppid=31007 vsize=10832204 memory=279564387633248 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31070/stat : 31070 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709214 11092176896 45306 33554432000 4194304 4196468 140735865872400 140003921355888 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31071] ppid=31007 vsize=10832204 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31071/stat : 31071 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709216 11092176896 45306 33554432000 4194304 4196468 140735865872400 140003681065040 140005162739611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31072] ppid=31007 vsize=10832204 memory=4638778398332698720 CPUtime=0.57 cores=1,3,5,7
/proc/31010/task/31072/stat : 31072 (java) S 31007 31010 26438 0 -1 1077944384 2314 13086 0 0 50 0 4 3 20 0 15 0 73709216 11092176896 45306 33554432000 4194304 4196468 140735865872400 140004621015664 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31073] ppid=31007 vsize=10832204 memory=279564387916672 CPUtime=0.54 cores=1,3,5,7
/proc/31010/task/31073/stat : 31073 (java) S 31007 31010 26438 0 -1 1077944384 1284 13086 0 0 47 0 4 3 20 0 15 0 73709216 11092176896 45306 33554432000 4194304 4196468 140735865872400 140004619962864 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31074] ppid=31007 vsize=10832204 memory=-7531822216213012384 CPUtime=0.53 cores=1,3,5,7
/proc/31010/task/31074/stat : 31074 (java) S 31007 31010 26438 0 -1 1077944384 1526 13086 0 0 46 0 4 3 20 0 15 0 73709216 11092176896 45306 33554432000 4194304 4196468 140735865872400 140004618910576 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31075] ppid=31007 vsize=10832204 memory=-7531822216213012384 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31075/stat : 31075 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709217 11092176896 45306 33554432000 4194304 4196468 140735865872400 140003647507424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31076] ppid=31007 vsize=10832204 memory=1399101730491701635 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31076/stat : 31076 (java) S 31007 31010 26438 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 73709217 11092176896 45306 33554432000 4194304 4196468 140735865872400 140004617857456 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 10832204 KiB

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

/proc/31010/task/31063/stat : 31063 (java) R 31007 31010 26438 0 -1 4202560 135692 13086 0 0 230835 64 4 3 20 0 15 0 73709211 11113168896 309018 33554432000 4194304 4196468 140735865872400 140005134555648 140004762099733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31064] ppid=31007 vsize=10852704 memory=1236072 CPUtime=10.54 cores=1,3,5,7
/proc/31010/task/31064/stat : 31064 (java) S 31007 31010 26438 0 -1 1077944384 20183 13086 0 0 995 52 4 3 20 0 15 0 73709212 11113168896 309018 33554432000 4194304 4196468 140735865872400 140005166963600 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31065] ppid=31007 vsize=10852704 memory=1236072 CPUtime=10.58 cores=1,3,5,7
/proc/31010/task/31065/stat : 31065 (java) S 31007 31010 26438 0 -1 1077944384 22569 13086 0 0 1000 51 4 3 20 0 15 0 73709212 11113168896 309018 33554432000 4194304 4196468 140735865872400 140005065853712 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31066] ppid=31007 vsize=10852704 memory=1236072 CPUtime=10.59 cores=1,3,5,7
/proc/31010/task/31066/stat : 31066 (java) S 31007 31010 26438 0 -1 1077944384 26121 13086 0 0 1000 52 4 3 20 0 15 0 73709212 11113168896 309018 33554432000 4194304 4196468 140735865872400 140005064801424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31067] ppid=31007 vsize=10852704 memory=1236072 CPUtime=10.59 cores=1,3,5,7
/proc/31010/task/31067/stat : 31067 (java) S 31007 31010 26438 0 -1 1077944384 22531 13086 0 0 1001 51 4 3 20 0 15 0 73709212 11113168896 309018 33554432000 4194304 4196468 140735865872400 140005063748624 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31068] ppid=31007 vsize=10852704 memory=1236072 CPUtime=1.84 cores=1,3,5,7
/proc/31010/task/31068/stat : 31068 (java) S 31007 31010 26438 0 -1 1077944384 25552 13086 0 0 161 16 4 3 20 0 15 0 73709213 11113168896 309018 33554432000 4194304 4196468 140735865872400 140004622067824 140005162732162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31069] ppid=31007 vsize=10852704 memory=1236072 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31069/stat : 31069 (java) S 31007 31010 26438 0 -1 1077944384 25 13086 0 0 0 0 4 3 20 0 15 0 73709213 11113168896 309018 33554432000 4194304 4196468 140735865872400 140004055573408 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31070] ppid=31007 vsize=10852704 memory=1236072 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31070/stat : 31070 (java) S 31007 31010 26438 0 -1 1077944384 26 13086 0 0 0 0 4 3 20 0 15 0 73709214 11113168896 309018 33554432000 4194304 4196468 140735865872400 140003921355904 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31071] ppid=31007 vsize=10852704 memory=1236072 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31071/stat : 31071 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709216 11113168896 309018 33554432000 4194304 4196468 140735865872400 140003681065040 140005162739611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31072] ppid=31007 vsize=10852704 memory=1236072 CPUtime=11.1 cores=1,3,5,7
/proc/31010/task/31072/stat : 31072 (java) S 31007 31010 26438 0 -1 1077944384 75311 13086 0 0 1096 7 4 3 20 0 15 0 73709216 11113168896 309018 33554432000 4194304 4196468 140735865872400 140004621015664 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31073] ppid=31007 vsize=10852704 memory=4128 CPUtime=10.36 cores=1,3,5,7
/proc/31010/task/31073/stat : 31073 (java) S 31007 31010 26438 0 -1 1077944384 68224 13086 0 0 1022 7 4 3 20 0 15 0 73709216 11113168896 309018 33554432000 4194304 4196468 140735865872400 140004619962864 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31074] ppid=31007 vsize=10852704 memory=22200 CPUtime=3.72 cores=1,3,5,7
/proc/31010/task/31074/stat : 31074 (java) S 31007 31010 26438 0 -1 1077944384 52631 13086 0 0 356 9 4 3 20 0 15 0 73709216 11113168896 309018 33554432000 4194304 4196468 140735865872400 140004618910576 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31075] ppid=31007 vsize=10852704 memory=1236072 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31075/stat : 31075 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709217 11113168896 309018 33554432000 4194304 4196468 140735865872400 140003647507424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31076] ppid=31007 vsize=10852704 memory=1236072 CPUtime=1.36 cores=1,3,5,7
/proc/31010/task/31076/stat : 31076 (java) S 31007 31010 26438 0 -1 1077944384 2329 13086 0 0 58 71 4 3 20 0 15 0 73709217 11113168896 309018 33554432000 4194304 4196468 140735865872400 140004617857456 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
Current children cumulated CPU time: 2379.21 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1236072 KiB

[startup+2382.3 s]
/proc/loadavg: 1.49 1.32 1.35 3/216 31326
/proc/meminfo: memFree=10918600/32770624 swapFree=67108860/67108860
[pid=31010] ppid=31007 vsize=10852704 memory=1236128 CPUtime=2440.18 cores=1,3,5,7
/proc/31010/stat : 31010 (java) S 31007 31010 26438 0 -1 1077944320 456639 13086 0 0 243646 365 4 3 20 0 15 0 73709202 11113168896 309032 33554432000 4194304 4196468 140735865872400 140735865854944 140005162721015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
/proc/31010/statm: 2713176 309032 3534 1 0 2674829 0
[pid=31010/tid=31063] ppid=31007 vsize=10852704 memory=4128 CPUtime=2368.61 cores=1,3,5,7
/proc/31010/task/31063/stat : 31063 (java) R 31007 31010 26438 0 -1 4202560 136479 13086 0 0 236789 65 4 3 20 0 15 0 73709211 11113168896 309032 33554432000 4194304 4196468 140735865872400 140005134556656 140004749193389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31064] ppid=31007 vsize=10852704 memory=1236128 CPUtime=10.87 cores=1,3,5,7
/proc/31010/task/31064/stat : 31064 (java) S 31007 31010 26438 0 -1 1077944384 20558 13086 0 0 1027 53 4 3 20 0 15 0 73709212 11113168896 309032 33554432000 4194304 4196468 140735865872400 140005166963600 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31065] ppid=31007 vsize=10852704 memory=1236128 CPUtime=10.9 cores=1,3,5,7
/proc/31010/task/31065/stat : 31065 (java) S 31007 31010 26438 0 -1 1077944384 22834 13086 0 0 1031 52 4 3 20 0 15 0 73709212 11113168896 309032 33554432000 4194304 4196468 140735865872400 140005065853712 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31066] ppid=31007 vsize=10852704 memory=1236128 CPUtime=10.91 cores=1,3,5,7
/proc/31010/task/31066/stat : 31066 (java) S 31007 31010 26438 0 -1 1077944384 26614 13086 0 0 1032 52 4 3 20 0 15 0 73709212 11113168896 309032 33554432000 4194304 4196468 140735865872400 140005064801424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31067] ppid=31007 vsize=10852704 memory=1236128 CPUtime=10.9 cores=1,3,5,7
/proc/31010/task/31067/stat : 31067 (java) S 31007 31010 26438 0 -1 1077944384 22746 13086 0 0 1032 51 4 3 20 0 15 0 73709212 11113168896 309032 33554432000 4194304 4196468 140735865872400 140005063748624 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31068] ppid=31007 vsize=10852704 memory=1236128 CPUtime=1.91 cores=1,3,5,7
/proc/31010/task/31068/stat : 31068 (java) S 31007 31010 26438 0 -1 1077944384 25731 13086 0 0 168 16 4 3 20 0 15 0 73709213 11113168896 309032 33554432000 4194304 4196468 140735865872400 140004622067824 140005162732162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31069] ppid=31007 vsize=10852704 memory=1236128 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31069/stat : 31069 (java) S 31007 31010 26438 0 -1 1077944384 25 13086 0 0 0 0 4 3 20 0 15 0 73709213 11113168896 309032 33554432000 4194304 4196468 140735865872400 140004055573408 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31070] ppid=31007 vsize=10852704 memory=1236128 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31070/stat : 31070 (java) S 31007 31010 26438 0 -1 1077944384 26 13086 0 0 0 0 4 3 20 0 15 0 73709214 11113168896 309032 33554432000 4194304 4196468 140735865872400 140003921355904 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31071] ppid=31007 vsize=10852704 memory=5408 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31071/stat : 31071 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709216 11113168896 309032 33554432000 4194304 4196468 140735865872400 140003681065040 140005162739611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31072] ppid=31007 vsize=10852704 memory=0 CPUtime=11.12 cores=1,3,5,7
/proc/31010/task/31072/stat : 31072 (java) S 31007 31010 26438 0 -1 1077944384 75671 13086 0 0 1098 7 4 3 20 0 15 0 73709216 11113168896 309032 33554432000 4194304 4196468 140735865872400 140004621015664 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31073] ppid=31007 vsize=10852704 memory=1236128 CPUtime=10.36 cores=1,3,5,7
/proc/31010/task/31073/stat : 31073 (java) S 31007 31010 26438 0 -1 1077944384 68342 13086 0 0 1022 7 4 3 20 0 15 0 73709216 11113168896 309032 33554432000 4194304 4196468 140735865872400 140004619962864 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31074] ppid=31007 vsize=10852704 memory=1008 CPUtime=3.73 cores=1,3,5,7
/proc/31010/task/31074/stat : 31074 (java) S 31007 31010 26438 0 -1 1077944384 53070 13086 0 0 357 9 4 3 20 0 15 0 73709216 11113168896 309032 33554432000 4194304 4196468 140735865872400 140004618910576 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31075] ppid=31007 vsize=10852704 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31075/stat : 31075 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709217 11113168896 309032 33554432000 4194304 4196468 140735865872400 140003647507424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31076] ppid=31007 vsize=10852704 memory=230353 CPUtime=1.39 cores=1,3,5,7
/proc/31010/task/31076/stat : 31076 (java) S 31007 31010 26438 0 -1 1077944384 2345 13086 0 0 60 72 4 3 20 0 15 0 73709217 11113168896 309032 33554432000 4194304 4196468 140735865872400 140004617857456 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
Current children cumulated CPU time: 2440.18 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1236128 KiB

[startup+2442.3 s]
/proc/loadavg: 1.29 1.29 1.34 3/216 31327
/proc/meminfo: memFree=10917696/32770624 swapFree=67108860/67108860
[pid=31010] ppid=31007 vsize=10852704 memory=1236196 CPUtime=2501.22 cores=1,3,5,7
/proc/31010/stat : 31010 (java) S 31007 31010 26438 0 -1 1077944320 460067 13086 0 0 249747 368 4 3 20 0 15 0 73709202 11113168896 309049 33554432000 4194304 4196468 140735865872400 140735865854944 140005162721015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
/proc/31010/statm: 2713176 309049 3534 1 0 2674829 0
[pid=31010/tid=31063] ppid=31007 vsize=10852704 memory=1236196 CPUtime=2428.13 cores=1,3,5,7
/proc/31010/task/31063/stat : 31063 (java) R 31007 31010 26438 0 -1 4202560 137252 13086 0 0 242741 65 4 3 20 0 15 0 73709211 11113168896 309049 33554432000 4194304 4196468 140735865872400 140005134555360 140004769574839 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31064] ppid=31007 vsize=10852704 memory=1236196 CPUtime=11.2 cores=1,3,5,7
/proc/31010/task/31064/stat : 31064 (java) S 31007 31010 26438 0 -1 1077944384 20756 13086 0 0 1060 53 4 3 20 0 15 0 73709212 11113168896 309049 33554432000 4194304 4196468 140735865872400 140005166963600 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31065] ppid=31007 vsize=10852704 memory=1236196 CPUtime=11.24 cores=1,3,5,7
/proc/31010/task/31065/stat : 31065 (java) S 31007 31010 26438 0 -1 1077944384 23517 13086 0 0 1065 52 4 3 20 0 15 0 73709212 11113168896 309049 33554432000 4194304 4196468 140735865872400 140005065853712 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31066] ppid=31007 vsize=10852704 memory=1236196 CPUtime=11.24 cores=1,3,5,7
/proc/31010/task/31066/stat : 31066 (java) S 31007 31010 26438 0 -1 1077944384 26904 13086 0 0 1065 52 4 3 20 0 15 0 73709212 11113168896 309049 33554432000 4194304 4196468 140735865872400 140005064801424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31067] ppid=31007 vsize=10852704 memory=1236196 CPUtime=11.24 cores=1,3,5,7
/proc/31010/task/31067/stat : 31067 (java) S 31007 31010 26438 0 -1 1077944384 22916 13086 0 0 1066 51 4 3 20 0 15 0 73709212 11113168896 309049 33554432000 4194304 4196468 140735865872400 140005063748624 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31068] ppid=31007 vsize=10852704 memory=1236196 CPUtime=2 cores=1,3,5,7
/proc/31010/task/31068/stat : 31068 (java) S 31007 31010 26438 0 -1 1077944384 25933 13086 0 0 176 17 4 3 20 0 15 0 73709213 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004622067824 140005162732162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31069] ppid=31007 vsize=10852704 memory=1236196 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31069/stat : 31069 (java) S 31007 31010 26438 0 -1 1077944384 25 13086 0 0 0 0 4 3 20 0 15 0 73709213 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004055573408 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31070] ppid=31007 vsize=10852704 memory=1236196 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31070/stat : 31070 (java) S 31007 31010 26438 0 -1 1077944384 26 13086 0 0 0 0 4 3 20 0 15 0 73709214 11113168896 309049 33554432000 4194304 4196468 140735865872400 140003921355904 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31071] ppid=31007 vsize=10852704 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31071/stat : 31071 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709216 11113168896 309049 33554432000 4194304 4196468 140735865872400 140003681065040 140005162739611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31072] ppid=31007 vsize=10852704 memory=4128 CPUtime=11.16 cores=1,3,5,7
/proc/31010/task/31072/stat : 31072 (java) S 31007 31010 26438 0 -1 1077944384 76306 13086 0 0 1102 7 4 3 20 0 15 0 73709216 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004621015664 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31073] ppid=31007 vsize=10852704 memory=1236196 CPUtime=10.37 cores=1,3,5,7
/proc/31010/task/31073/stat : 31073 (java) S 31007 31010 26438 0 -1 1077944384 68502 13086 0 0 1023 7 4 3 20 0 15 0 73709216 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004619962864 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31074] ppid=31007 vsize=10852704 memory=1236196 CPUtime=3.73 cores=1,3,5,7
/proc/31010/task/31074/stat : 31074 (java) S 31007 31010 26438 0 -1 1077944384 53366 13086 0 0 357 9 4 3 20 0 15 0 73709216 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004618910576 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31075] ppid=31007 vsize=10852704 memory=1236196 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31075/stat : 31075 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709217 11113168896 309049 33554432000 4194304 4196468 140735865872400 140003647507424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31076] ppid=31007 vsize=10852704 memory=1236196 CPUtime=1.43 cores=1,3,5,7
/proc/31010/task/31076/stat : 31076 (java) S 31007 31010 26438 0 -1 1077944384 2366 13086 0 0 62 74 4 3 20 0 15 0 73709217 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004617857456 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
Current children cumulated CPU time: 2501.22 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1236196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2460.8 s]
/proc/loadavg: 1.29 1.30 1.34 3/216 31328
/proc/meminfo: memFree=10918376/32770624 swapFree=67108860/67108860
[pid=31010] ppid=31007 vsize=10852704 memory=1236196 CPUtime=2520.03 cores=1,3,5,7
/proc/31010/stat : 31010 (java) S 31007 31010 26438 0 -1 1077944320 460693 13086 0 0 251627 369 4 3 20 0 15 0 73709202 11113168896 309049 33554432000 4194304 4196468 140735865872400 140735865854944 140005162721015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
/proc/31010/statm: 2713176 309049 3534 1 0 2674829 0
[pid=31010/tid=31063] ppid=31007 vsize=10852704 memory=1236196 CPUtime=2446.48 cores=1,3,5,7
/proc/31010/task/31063/stat : 31063 (java) R 31007 31010 26438 0 -1 4202560 137529 13086 0 0 244576 65 4 3 20 0 15 0 73709211 11113168896 309049 33554432000 4194304 4196468 140735865872400 140005134556768 140004762101941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31064] ppid=31007 vsize=10852704 memory=2321238743818926970 CPUtime=11.3 cores=1,3,5,7
/proc/31010/task/31064/stat : 31064 (java) S 31007 31010 26438 0 -1 1077944384 20765 13086 0 0 1070 53 4 3 20 0 15 0 73709212 11113168896 309049 33554432000 4194304 4196468 140735865872400 140005166963600 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31065] ppid=31007 vsize=10852704 memory=2319528981459247408 CPUtime=11.34 cores=1,3,5,7
/proc/31010/task/31065/stat : 31065 (java) S 31007 31010 26438 0 -1 1077944384 23525 13086 0 0 1075 52 4 3 20 0 15 0 73709212 11113168896 309049 33554432000 4194304 4196468 140735865872400 140005065853712 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31066] ppid=31007 vsize=10852704 memory=6791534058613427641 CPUtime=11.34 cores=1,3,5,7
/proc/31010/task/31066/stat : 31066 (java) S 31007 31010 26438 0 -1 1077944384 26926 13086 0 0 1075 52 4 3 20 0 15 0 73709212 11113168896 309049 33554432000 4194304 4196468 140735865872400 140005064801424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31067] ppid=31007 vsize=10852704 memory=6791534058613427641 CPUtime=11.34 cores=1,3,5,7
/proc/31010/task/31067/stat : 31067 (java) S 31007 31010 26438 0 -1 1077944384 22920 13086 0 0 1076 51 4 3 20 0 15 0 73709212 11113168896 309049 33554432000 4194304 4196468 140735865872400 140005063748624 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31068] ppid=31007 vsize=10852704 memory=4048 CPUtime=2.02 cores=1,3,5,7
/proc/31010/task/31068/stat : 31068 (java) S 31007 31010 26438 0 -1 1077944384 25935 13086 0 0 178 17 4 3 20 0 15 0 73709213 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004622067824 140005162732162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31069] ppid=31007 vsize=10852704 memory=1123 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31069/stat : 31069 (java) S 31007 31010 26438 0 -1 1077944384 25 13086 0 0 0 0 4 3 20 0 15 0 73709213 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004055573408 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31070] ppid=31007 vsize=10852704 memory=1236196 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31070/stat : 31070 (java) S 31007 31010 26438 0 -1 1077944384 26 13086 0 0 0 0 4 3 20 0 15 0 73709214 11113168896 309049 33554432000 4194304 4196468 140735865872400 140003921355904 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31071] ppid=31007 vsize=10852704 memory=1700 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31071/stat : 31071 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709216 11113168896 309049 33554432000 4194304 4196468 140735865872400 140003681065040 140005162739611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31072] ppid=31007 vsize=10852704 memory=1236196 CPUtime=11.16 cores=1,3,5,7
/proc/31010/task/31072/stat : 31072 (java) S 31007 31010 26438 0 -1 1077944384 76306 13086 0 0 1102 7 4 3 20 0 15 0 73709216 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004621015664 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31073] ppid=31007 vsize=10852704 memory=1236196 CPUtime=10.38 cores=1,3,5,7
/proc/31010/task/31073/stat : 31073 (java) S 31007 31010 26438 0 -1 1077944384 68669 13086 0 0 1024 7 4 3 20 0 15 0 73709216 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004619962864 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31074] ppid=31007 vsize=10852704 memory=1236196 CPUtime=3.74 cores=1,3,5,7
/proc/31010/task/31074/stat : 31074 (java) S 31007 31010 26438 0 -1 1077944384 53501 13086 0 0 358 9 4 3 20 0 15 0 73709216 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004618910576 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31075] ppid=31007 vsize=10852704 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/31010/task/31075/stat : 31075 (java) S 31007 31010 26438 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 73709217 11113168896 309049 33554432000 4194304 4196468 140735865872400 140003647507424 140005162731221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
[pid=31010/tid=31076] ppid=31007 vsize=10852704 memory=2344 CPUtime=1.45 cores=1,3,5,7
/proc/31010/task/31076/stat : 31076 (java) S 31007 31010 26438 0 -1 1077944384 2368 13086 0 0 63 75 4 3 20 0 15 0 73709217 11113168896 309049 33554432000 4194304 4196468 140735865872400 140004617857456 140005162732162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6811648 140735865874604 140735865877852 140735865877852 140735865880527 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1236196 KiB

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

[startup+2460.83 s]
# the end of solver process 31010 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.34 s, system=3.73549 s

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

Child status: 143
Real time (s): 2460.83
CPU time (s): 2520.08
CPU user time (s): 2516.34
CPU system time (s): 3.73549
CPU usage (%): 102.408
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 3463904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.34
system time used= 3.73549
maximum resident set size= 3463908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475163
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98252
involuntary context switches= 3098


# summary of solver processes directly reported to runsolver:
#   pid: 31010
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.34
#   total CPU system time (s): 3.73549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2985 second user time and 21.2926 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy12_c18.xml
MD5SUM	294b097d449017f2d3f7014537fb5318
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	9651
Best CPU time to get the best result obtained on this benchmark	2520.09
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 4295470

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