2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	10904	252.089	219.545

0.98/0.74	c Concrete v3.9.2.1532736233296 running
46.06/23.35	o 11153
46.29/23.49	o 11137
72.36/47.26	o 10951
73.73/48.55	o 10904
252.02/219.51	Exception in thread "main" java.util.concurrent.TimeoutException
252.02/219.51		at concrete.MAC.mac(MAC.scala:188)
252.02/219.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.02/219.51		at scala.util.Try$.apply(Try.scala:209)
252.02/219.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/219.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/219.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/219.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/219.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.02/219.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/219.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/219.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/219.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/219.51		at concrete.MAC.oneRun(MAC.scala:253)
252.02/219.51		at concrete.MAC.nextSolution(MAC.scala:272)
252.02/219.51		at concrete.MAC.nextSolution(MAC.scala:355)
252.02/219.51		at concrete.Solver.hasNext(Solver.scala:166)
252.02/219.51		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.02/219.51		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.02/219.51		at concrete.Solver.foreach(Solver.scala:68)
252.02/219.51		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.02/219.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/219.51		at scala.util.Success.map(Try.scala:209)
252.02/219.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.02/219.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.02/219.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.02/219.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.02/219.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.02/219.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/219.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/219.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/219.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/219.51		at scala.collection.immutable.List.foreach(List.scala:389)
252.02/219.51		at scala.App.main(App.scala:76)
252.02/219.51		at scala.App.main$(App.scala:74)
252.02/219.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.02/219.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/219.51	v <instantiation cost="10904">
252.02/219.51	v       <list>
252.02/219.51	v         o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22]
252.02/219.51	v       </list>
252.02/219.51	v       <values>
252.02/219.51	v         5 5 2 8 8 9 4 7 11 7 3 10 3 1 4 10 11 6 1 9 2 6 8 3 4 10 5 6 2 9 6 3 5 11 10 0 7 11 7 4 0 2 9 8 3 8 0 4 9 10 1 11 7 11 10 4 8 3 6 5 6 7 9 1 0 5 2 1 10 11 6 7 9 5 4 1 0 8 0 2 11 4 5 8 6 7 10 9 9 7 1 2 10 5 0 8 3 9 11 2 7 6 0 3 8 1 5 6 11 10 0 0 7 7 1 4 11 3 9 10 1 6 11 8 8 2 3 9 4 10 6 2 11 10 11 9 3 1 7 10 1 8 8 5 9 4 2 7 2 0 3 4 5 0 10 4 5 5 11 3 6 0 2 0 9 9 4 10 1 6 1 2 8 3 8 11 1 2 9 0 0 11 10 4 10 6 6 3 2 5 5 9 4 3 7 11 7 1 4 11 8 6 2 0 3 1 5 4 7 7 6 11 10 8 10 5 2 0 1 3 7 6 3 1 4 2 8 6 8 5 2 0 1 7 9 0 9 11 11 5 3 4 6 9 6 3 7 8 5 2 0 2 4 1 5 9 3 1 0 10 10 8 4 7 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 39 50 15 48 48 36 36 0 44 44 0 34 32 10 55 10 55 0 51 51 44 44 0 0 31 31 0 39 39 43 43 32 41 40 65 65 44 67 64 0 10 15 22 46 46 47 47 0 45 55 49 22 22 0 58 10 55 53 53 56 27 50 56 56 0 15 15 0 0 32 32 66 66 14 14 41 41 0 34 34 0 47 47 51 51 68 31 47 69 103 67 55 79 64 0 74 51 35 0 51 51 70 58 45 0 36 36 21 46 31 18 18 0 0 39 39 48 48 40 40 44 44 81 103 51 27 27 42 42 0 41 41 35 35 0 50 50 70 10 75 0 47 47 59 59 39 46 31 0 69 55 18 0 56 15 44 0 27 27 0 69 69 0 48 44 67 0 44 15 56 0 79 55 64 0 59 39 44 0 14 68 81 0 46 22 53 48 48 0 73 74 21 0 31 47 68 0 42 81 68 0 81 67 69 0 0 0 0 68 31 69 51 34 67 0 55 64 79 0 105 10 103 0 81 50 49 43 43 0 0 0 69 32 65 55 55 75 31 73 0 55 55 69 69 0 103 103 10 44 51 74 74 0 105 69 70 0 69 69 58 15 55 0 64 40 44 66 66 0 10 10 0 70 64 67
252.02/219.51	v       </values>
252.02/219.51	v     </instantiation>
252.02/219.51	s SATISFIABLE

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12743 MiB free)
  memory of node 1: 16384 MiB (12026 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302676-1532898585/watcher-4302676-1532898585 -o /tmp/evaluation-result-4302676-1532898585/solver-4302676-1532898585 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532894180-24643 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=898559733 -superng HOME/instance-4302676-1532898585.xml 

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

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


[startup+0.100117 s]*
/proc/loadavg: 1.58 1.63 1.73 3/206 32533
/proc/meminfo: memFree=25356924/32770624 swapFree=67108792/67108860
[pid=32476] ppid=32473 vsize=10005480 memory=15444 CPUtime=0.08 cores=0,2,4,6
/proc/32476/stat : 32476 (java) S 32473 32476 22977 0 -1 1077944320 4491 12900 0 0 1 0 5 2 20 0 6 0 107421817 10245611520 3795 33554432000 4194304 4196468 140720316377376 140720316359920 140124007538423 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
/proc/32476/statm: 2501370 3861 1957 1 0 2489808 0
[pid=32476/tid=32529] ppid=32473 vsize=10005480 memory=4279135703980212620 CPUtime=0.08 cores=0,2,4,6
/proc/32476/task/32529/stat : 32529 (java) R 32473 32476 22977 0 -1 4202560 2305 12900 0 0 1 0 5 2 20 0 6 0 107421826 10245611520 3861 33554432000 4194304 4196468 140720316377376 140123979375184 140123992850425 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32530] ppid=32473 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32530/stat : 32530 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 6 0 107421826 10245611520 3861 33554432000 4194304 4196468 140720316377376 140124011780752 140124007548629 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32531] ppid=32473 vsize=10005480 memory=139658277848704 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32531/stat : 32531 (java) S 32473 32476 22977 0 -1 1077944384 1 12900 0 0 0 0 5 2 20 0 6 0 107421826 10245611520 3861 33554432000 4194304 4196468 140720316377376 140123547470352 140124007548629 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32532] ppid=32473 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32532/stat : 32532 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 6 0 107421826 10245611520 3861 33554432000 4194304 4196468 140720316377376 140123546417552 140124007548629 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32533] ppid=32473 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32533/stat : 32533 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 6 0 107421826 10245611520 3861 33554432000 4194304 4196468 140720316377376 140123545364752 140124007548629 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15444 KiB

[startup+0.209746 s]*
/proc/loadavg: 1.58 1.63 1.73 3/215 32542
/proc/meminfo: memFree=25334172/32770624 swapFree=67108792/67108860
[pid=32476] ppid=32473 vsize=10982696 memory=40896 CPUtime=0.25 cores=0,2,4,6
/proc/32476/stat : 32476 (java) S 32473 32476 22977 0 -1 1077944320 8616 12900 0 0 17 1 5 2 20 0 15 0 107421817 11246280704 10224 33554432000 4194304 4196468 140720316377376 140720316359920 140124007538423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
/proc/32476/statm: 2745674 10224 2965 1 0 2708109 0
[pid=32476/tid=32529] ppid=32473 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/32476/task/32529/stat : 32529 (java) R 32473 32476 22977 0 -1 4202560 5041 12900 0 0 11 1 5 2 20 0 15 0 107421826 11246280704 10224 33554432000 4194304 4196468 140720316377376 140123979336080 140123989101952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32530] ppid=32473 vsize=10982696 memory=343 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32530/stat : 32530 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246280704 10224 33554432000 4194304 4196468 140720316377376 140124011780752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32531] ppid=32473 vsize=10982696 memory=4122677366940927648 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32531/stat : 32531 (java) S 32473 32476 22977 0 -1 1077944384 1 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246280704 10224 33554432000 4194304 4196468 140720316377376 140123547470352 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32532] ppid=32473 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32532/stat : 32532 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246280704 10224 33554432000 4194304 4196468 140720316377376 140123546417552 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32533] ppid=32473 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32533/stat : 32533 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246280704 10224 33554432000 4194304 4196468 140720316377376 140123545364752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32534] ppid=32473 vsize=10982696 memory=139658277848704 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32534/stat : 32534 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421828 11246280704 10224 33554432000 4194304 4196468 140720316377376 140123245747056 140124007549570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32535] ppid=32473 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32535/stat : 32535 (java) S 32473 32476 22977 0 -1 1077944384 13 12900 0 0 0 0 5 2 20 0 15 0 107421828 11246280704 10224 33554432000 4194304 4196468 140720316377376 140122771154464 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32536] ppid=32473 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32536/stat : 32536 (java) S 32473 32476 22977 0 -1 1077944384 21 12900 0 0 0 0 5 2 20 0 15 0 107421828 11246280704 10224 33554432000 4194304 4196468 140720316377376 140122704041328 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32537] ppid=32473 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32537/stat : 32537 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11246280704 10224 33554432000 4194304 4196468 140720316377376 140122396645712 140124007557019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32538] ppid=32473 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32476/task/32538/stat : 32538 (java) S 32473 32476 22977 0 -1 1077944384 558 12900 0 0 1 0 5 2 20 0 15 0 107421831 11246280704 10224 33554432000 4194304 4196468 140720316377376 140123244693872 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32539] ppid=32473 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32476/task/32539/stat : 32539 (java) S 32473 32476 22977 0 -1 1077944384 74 12900 0 0 1 0 5 2 20 0 15 0 107421831 11246280704 10224 33554432000 4194304 4196468 140720316377376 140123243641072 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32540] ppid=32473 vsize=10982696 memory=139658277848704 CPUtime=0.1 cores=0,2,4,6
/proc/32476/task/32540/stat : 32540 (java) S 32473 32476 22977 0 -1 1077944384 701 12900 0 0 3 0 5 2 20 0 15 0 107421831 11246280704 10224 33554432000 4194304 4196468 140720316377376 140123242588272 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32541] ppid=32473 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32541/stat : 32541 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11246280704 10224 33554432000 4194304 4196468 140720316377376 140121965848800 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32542] ppid=32473 vsize=10982696 memory=139658277848704 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32542/stat : 32542 (java) S 32473 32476 22977 0 -1 1077944384 1 12900 0 0 0 0 5 2 20 0 15 0 107421832 11246280704 10224 33554432000 4194304 4196468 140720316377376 140123039591600 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 40896 KiB

[startup+0.310332 s]*
/proc/loadavg: 1.58 1.63 1.73 3/215 32542
/proc/meminfo: memFree=25325860/32770624 swapFree=67108792/67108860
[pid=32476] ppid=32473 vsize=10983192 memory=52256 CPUtime=0.38 cores=0,2,4,6
/proc/32476/stat : 32476 (java) S 32473 32476 22977 0 -1 1077944320 10667 12900 0 0 29 2 5 2 20 0 15 0 107421817 11246788608 13064 33554432000 4194304 4196468 140720316377376 140720316359920 140124007538423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
/proc/32476/statm: 2745798 13064 3097 1 0 2708109 0
[pid=32476/tid=32529] ppid=32473 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/32476/task/32529/stat : 32529 (java) R 32473 32476 22977 0 -1 4202560 7060 12900 0 0 20 2 5 2 20 0 15 0 107421826 11246788608 13064 33554432000 4194304 4196468 140720316377376 140123979350208 140123987813803 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32530] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32530/stat : 32530 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246788608 13064 33554432000 4194304 4196468 140720316377376 140124011780752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32531] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32531/stat : 32531 (java) S 32473 32476 22977 0 -1 1077944384 1 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246788608 13064 33554432000 4194304 4196468 140720316377376 140123547470352 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32532] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32532/stat : 32532 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246788608 13064 33554432000 4194304 4196468 140720316377376 140123546417552 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32533] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32533/stat : 32533 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246788608 13064 33554432000 4194304 4196468 140720316377376 140123545364752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32534] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32534/stat : 32534 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421828 11246788608 13064 33554432000 4194304 4196468 140720316377376 140123245747056 140124007549570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32535] ppid=32473 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32535/stat : 32535 (java) S 32473 32476 22977 0 -1 1077944384 13 12900 0 0 0 0 5 2 20 0 15 0 107421828 11246788608 13064 33554432000 4194304 4196468 140720316377376 140122771154464 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32536] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32536/stat : 32536 (java) S 32473 32476 22977 0 -1 1077944384 21 12900 0 0 0 0 5 2 20 0 15 0 107421828 11246788608 13064 33554432000 4194304 4196468 140720316377376 140122704041328 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32537] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32537/stat : 32537 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11246788608 13064 33554432000 4194304 4196468 140720316377376 140122396645712 140124007557019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32538] ppid=32473 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32476/task/32538/stat : 32538 (java) S 32473 32476 22977 0 -1 1077944384 558 12900 0 0 1 0 5 2 20 0 15 0 107421831 11246788608 13064 33554432000 4194304 4196468 140720316377376 140123244693872 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32539] ppid=32473 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32476/task/32539/stat : 32539 (java) S 32473 32476 22977 0 -1 1077944384 81 12900 0 0 1 0 5 2 20 0 15 0 107421831 11246788608 13064 33554432000 4194304 4196468 140720316377376 140123243641072 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32540] ppid=32473 vsize=10983192 memory=139658277848704 CPUtime=0.12 cores=0,2,4,6
/proc/32476/task/32540/stat : 32540 (java) S 32473 32476 22977 0 -1 1077944384 726 12900 0 0 5 0 5 2 20 0 15 0 107421831 11246788608 13064 33554432000 4194304 4196468 140720316377376 140123242588272 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32541] ppid=32473 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32541/stat : 32541 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11246788608 13064 33554432000 4194304 4196468 140720316377376 140121965848800 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32542] ppid=32473 vsize=10983192 memory=139658277848704 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32542/stat : 32542 (java) S 32473 32476 22977 0 -1 1077944384 1 12900 0 0 0 0 5 2 20 0 15 0 107421832 11246788608 13064 33554432000 4194304 4196468 140720316377376 140123039591600 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52256 KiB

[startup+0.700758 s]
/proc/loadavg: 1.58 1.63 1.73 3/215 32542
/proc/meminfo: memFree=25313580/32770624 swapFree=67108792/67108860
[pid=32476] ppid=32473 vsize=10983192 memory=85536 CPUtime=0.98 cores=0,2,4,6
/proc/32476/stat : 32476 (java) S 32473 32476 22977 0 -1 1077944320 17157 12900 0 0 86 5 5 2 20 0 15 0 107421817 11246788608 21384 33554432000 4194304 4196468 140720316377376 140720316359920 140124007538423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
/proc/32476/statm: 2745798 21384 3237 1 0 2708109 0
[pid=32476/tid=32529] ppid=32473 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/32476/task/32529/stat : 32529 (java) R 32473 32476 22977 0 -1 4202560 12443 12900 0 0 55 4 5 2 20 0 15 0 107421826 11246788608 21384 33554432000 4194304 4196468 140720316377376 140123979338984 140123991618910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32530] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32530/stat : 32530 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246788608 21384 33554432000 4194304 4196468 140720316377376 140124011780752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32531] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32531/stat : 32531 (java) S 32473 32476 22977 0 -1 1077944384 1 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246788608 21384 33554432000 4194304 4196468 140720316377376 140123547470352 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32532] ppid=32473 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32532/stat : 32532 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246788608 21384 33554432000 4194304 4196468 140720316377376 140123546417552 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32533] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32533/stat : 32533 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11246788608 21384 33554432000 4194304 4196468 140720316377376 140123545364752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32534] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32534/stat : 32534 (java) S 32473 32476 22977 0 -1 1077944384 5 12900 0 0 0 0 5 2 20 0 15 0 107421828 11246788608 21384 33554432000 4194304 4196468 140720316377376 140123245747056 140124007549570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32535] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32535/stat : 32535 (java) S 32473 32476 22977 0 -1 1077944384 13 12900 0 0 0 0 5 2 20 0 15 0 107421828 11246788608 21384 33554432000 4194304 4196468 140720316377376 140122771154464 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32536] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32536/stat : 32536 (java) S 32473 32476 22977 0 -1 1077944384 21 12900 0 0 0 0 5 2 20 0 15 0 107421828 11246788608 21384 33554432000 4194304 4196468 140720316377376 140122704041328 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32537] ppid=32473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32537/stat : 32537 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11246788608 21384 33554432000 4194304 4196468 140720316377376 140122396645712 140124007557019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32538] ppid=32473 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/32476/task/32538/stat : 32538 (java) S 32473 32476 22977 0 -1 1077944384 1240 12900 0 0 10 0 5 2 20 0 15 0 107421831 11246788608 21384 33554432000 4194304 4196468 140720316377376 140123244693872 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32539] ppid=32473 vsize=10983192 memory=139658176537680 CPUtime=0.13 cores=0,2,4,6
/proc/32476/task/32539/stat : 32539 (java) S 32473 32476 22977 0 -1 1077944384 311 12900 0 0 6 0 5 2 20 0 15 0 107421831 11246788608 21384 33554432000 4194304 4196468 140720316377376 140123243641072 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32540] ppid=32473 vsize=10983192 memory=142245021876878 CPUtime=0.2 cores=0,2,4,6
/proc/32476/task/32540/stat : 32540 (java) S 32473 32476 22977 0 -1 1077944384 918 12900 0 0 13 0 5 2 20 0 15 0 107421831 11246788608 21384 33554432000 4194304 4196468 140720316377376 140123242588272 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32541] ppid=32473 vsize=10983192 memory=4136 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32541/stat : 32541 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11246788608 21384 33554432000 4194304 4196468 140720316377376 140121965848800 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32542] ppid=32473 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32542/stat : 32542 (java) S 32473 32476 22977 0 -1 1077944384 1 12900 0 0 0 0 5 2 20 0 15 0 107421832 11246788608 21384 33554432000 4194304 4196468 140720316377376 140123039591600 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 85536 KiB

[startup+1.5008 s]
/proc/loadavg: 1.58 1.63 1.73 3/215 32542
/proc/meminfo: memFree=25269972/32770624 swapFree=67108792/67108860
[pid=32476] ppid=32473 vsize=10993996 memory=180984 CPUtime=3.1 cores=0,2,4,6
/proc/32476/stat : 32476 (java) S 32473 32476 22977 0 -1 1077944320 25348 12900 0 0 294 9 5 2 20 0 15 0 107421817 11257851904 45246 33554432000 4194304 4196468 140720316377376 140720316359920 140124007538423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
/proc/32476/statm: 2748499 45246 3447 1 0 2710157 0
[pid=32476/tid=32529] ppid=32473 vsize=10993996 memory=10799 CPUtime=1.45 cores=0,2,4,6
/proc/32476/task/32529/stat : 32529 (java) R 32473 32476 22977 0 -1 4202560 16305 12900 0 0 132 6 5 2 20 0 15 0 107421826 11257851904 45246 33554432000 4194304 4196468 140720316377376 140123979351560 140123993231904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32530] ppid=32473 vsize=10993996 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32530/stat : 32530 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11257851904 45246 33554432000 4194304 4196468 140720316377376 140124011780752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32531] ppid=32473 vsize=10993996 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32531/stat : 32531 (java) S 32473 32476 22977 0 -1 1077944384 1 12900 0 0 0 0 5 2 20 0 15 0 107421826 11257851904 45246 33554432000 4194304 4196468 140720316377376 140123547470352 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32532] ppid=32473 vsize=10993996 memory=3088 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32532/stat : 32532 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11257851904 45246 33554432000 4194304 4196468 140720316377376 140123546417552 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32533] ppid=32473 vsize=10993996 memory=85536 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32533/stat : 32533 (java) S 32473 32476 22977 0 -1 1077944384 2 12900 0 0 0 0 5 2 20 0 15 0 107421826 11257851904 45246 33554432000 4194304 4196468 140720316377376 140123545364752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32534] ppid=32473 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32534/stat : 32534 (java) S 32473 32476 22977 0 -1 1077944384 6 12900 0 0 0 0 5 2 20 0 15 0 107421828 11257851904 45246 33554432000 4194304 4196468 140720316377376 140123245747056 140124007549570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32535] ppid=32473 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32535/stat : 32535 (java) S 32473 32476 22977 0 -1 1077944384 13 12900 0 0 0 0 5 2 20 0 15 0 107421828 11257851904 45246 33554432000 4194304 4196468 140720316377376 140122771154464 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32536] ppid=32473 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32536/stat : 32536 (java) S 32473 32476 22977 0 -1 1077944384 21 12900 0 0 0 0 5 2 20 0 15 0 107421828 11257851904 45246 33554432000 4194304 4196468 140720316377376 140122704041328 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32537] ppid=32473 vsize=10993996 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32537/stat : 32537 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11257851904 45246 33554432000 4194304 4196468 140720316377376 140122396645712 140124007557019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32538] ppid=32473 vsize=10993996 memory=4638778398332698720 CPUtime=0.67 cores=0,2,4,6
/proc/32476/task/32538/stat : 32538 (java) R 32473 32476 22977 0 -1 4202560 2617 12900 0 0 60 0 5 2 20 0 15 0 107421831 11257851904 45246 33554432000 4194304 4196468 140720316377376 140123244679896 140123989059814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32539] ppid=32473 vsize=10993996 memory=279316353555328 CPUtime=0.61 cores=0,2,4,6
/proc/32476/task/32539/stat : 32539 (java) R 32473 32476 22977 0 -1 4202560 2324 12900 0 0 54 0 5 2 20 0 15 0 107421831 11257851904 45246 33554432000 4194304 4196468 140720316377376 140123243626016 140123989082623 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32540] ppid=32473 vsize=10993996 memory=6944656592452807323 CPUtime=0.53 cores=0,2,4,6
/proc/32476/task/32540/stat : 32540 (java) S 32473 32476 22977 0 -1 1077944384 1856 12900 0 0 46 0 5 2 20 0 15 0 107421831 11257851904 45246 33554432000 4194304 4196468 140720316377376 140123242588272 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32541] ppid=32473 vsize=10993996 memory=1399101730491701635 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32541/stat : 32541 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11257851904 45246 33554432000 4194304 4196468 140720316377376 140121965848800 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32542] ppid=32473 vsize=10993996 memory=4137290303932963203 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32542/stat : 32542 (java) S 32473 32476 22977 0 -1 1077944384 1 12900 0 0 0 0 5 2 20 0 15 0 107421832 11257851904 45246 33554432000 4194304 4196468 140720316377376 140123039591600 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10993996 KiB

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

/proc/32476/task/32529/stat : 32529 (java) R 32473 32476 22977 0 -1 4202560 50380 12900 0 0 9908 37 5 2 20 0 15 0 107421826 11348049920 784021 33554432000 4194304 4196468 140720316377376 140123979373088 140123602948031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32530] ppid=32473 vsize=11082080 memory=3125612 CPUtime=2.55 cores=0,2,4,6
/proc/32476/task/32530/stat : 32530 (java) S 32473 32476 22977 0 -1 1077944384 1583 12900 0 0 219 29 5 2 20 0 15 0 107421826 11348049920 784021 33554432000 4194304 4196468 140720316377376 140124011780752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32531] ppid=32473 vsize=11082080 memory=6944656592455360604 CPUtime=2.56 cores=0,2,4,6
/proc/32476/task/32531/stat : 32531 (java) S 32473 32476 22977 0 -1 1077944384 2081 12900 0 0 220 29 5 2 20 0 15 0 107421826 11348049920 784021 33554432000 4194304 4196468 140720316377376 140123547470352 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32532] ppid=32473 vsize=11082080 memory=279316353417600 CPUtime=2.56 cores=0,2,4,6
/proc/32476/task/32532/stat : 32532 (java) S 32473 32476 22977 0 -1 1077944384 2051 12900 0 0 219 30 5 2 20 0 15 0 107421826 11348049920 784021 33554432000 4194304 4196468 140720316377376 140123546417552 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32533] ppid=32473 vsize=11082080 memory=10783 CPUtime=2.53 cores=0,2,4,6
/proc/32476/task/32533/stat : 32533 (java) S 32473 32476 22977 0 -1 1077944384 2782 12900 0 0 217 29 5 2 20 0 15 0 107421826 11348049920 784021 33554432000 4194304 4196468 140720316377376 140123545364752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32534] ppid=32473 vsize=11082080 memory=3125612 CPUtime=0.22 cores=0,2,4,6
/proc/32476/task/32534/stat : 32534 (java) S 32473 32476 22977 0 -1 1077944384 11496 12900 0 0 14 1 5 2 20 0 15 0 107421828 11348049920 784021 33554432000 4194304 4196468 140720316377376 140123245747056 140124007549570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32535] ppid=32473 vsize=11082080 memory=1944 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32535/stat : 32535 (java) S 32473 32476 22977 0 -1 1077944384 23 12900 0 0 0 0 5 2 20 0 15 0 107421828 11348049920 784021 33554432000 4194304 4196468 140720316377376 140122771154592 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32536] ppid=32473 vsize=11082080 memory=139658176915793 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32536/stat : 32536 (java) S 32473 32476 22977 0 -1 1077944384 53 12900 0 0 0 0 5 2 20 0 15 0 107421828 11348049920 784021 33554432000 4194304 4196468 140720316377376 140122704041344 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32537] ppid=32473 vsize=11082080 memory=6003415312810131553 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32537/stat : 32537 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11348049920 784021 33554432000 4194304 4196468 140720316377376 140122396645712 140124007557019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32538] ppid=32473 vsize=11082080 memory=3112992 CPUtime=9.9 cores=0,2,4,6
/proc/32476/task/32538/stat : 32538 (java) S 32473 32476 22977 0 -1 1077944384 20403 12900 0 0 978 5 5 2 20 0 15 0 107421831 11348049920 784021 33554432000 4194304 4196468 140720316377376 140123244693872 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32539] ppid=32473 vsize=11082080 memory=2780 CPUtime=10.2 cores=0,2,4,6
/proc/32476/task/32539/stat : 32539 (java) S 32473 32476 22977 0 -1 1077944384 17642 12900 0 0 1009 4 5 2 20 0 15 0 107421831 11348049920 784021 33554432000 4194304 4196468 140720316377376 140123243641072 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32540] ppid=32473 vsize=11082080 memory=3029832 CPUtime=3.47 cores=0,2,4,6
/proc/32476/task/32540/stat : 32540 (java) S 32473 32476 22977 0 -1 1077944384 15515 12900 0 0 335 5 5 2 20 0 15 0 107421831 11348049920 784021 33554432000 4194304 4196468 140720316377376 140123242588272 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32541] ppid=32473 vsize=11082080 memory=2436 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32541/stat : 32541 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11348049920 784021 33554432000 4194304 4196468 140720316377376 140121965848800 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32542] ppid=32473 vsize=11082080 memory=1728 CPUtime=0.11 cores=0,2,4,6
/proc/32476/task/32542/stat : 32542 (java) S 32473 32476 22977 0 -1 1077944384 281 12900 0 0 2 2 5 2 20 0 15 0 107421832 11348049920 784021 33554432000 4194304 4196468 140720316377376 140123039591600 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
Current children cumulated CPU time: 133.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3136084 KiB

[startup+162.301 s]
/proc/loadavg: 1.70 1.77 1.77 3/217 32683
/proc/meminfo: memFree=24255048/32770624 swapFree=67108792/67108860
[pid=32476] ppid=32473 vsize=11082080 memory=3261300 CPUtime=193.98 cores=0,2,4,6
/proc/32476/stat : 32476 (java) S 32473 32476 22977 0 -1 1077944320 138483 12900 0 0 19197 194 5 2 20 0 15 0 107421817 11348049920 815325 33554432000 4194304 4196468 140720316377376 140720316359920 140124007538423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
/proc/32476/statm: 2770520 815325 3533 1 0 2732173 0
[pid=32476/tid=32529] ppid=32473 vsize=11082080 memory=3261300 CPUtime=159.24 cores=0,2,4,6
/proc/32476/task/32529/stat : 32529 (java) R 32473 32476 22977 0 -1 4202560 54467 12900 0 0 15880 37 5 2 20 0 15 0 107421826 11348049920 815325 33554432000 4194304 4196468 140720316377376 140123979374304 140123581925376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32530] ppid=32473 vsize=11082080 memory=3261300 CPUtime=2.8 cores=0,2,4,6
/proc/32476/task/32530/stat : 32530 (java) S 32473 32476 22977 0 -1 1077944384 1717 12900 0 0 240 33 5 2 20 0 15 0 107421826 11348049920 815325 33554432000 4194304 4196468 140720316377376 140124011780752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32531] ppid=32473 vsize=11082080 memory=6791534058613427641 CPUtime=2.82 cores=0,2,4,6
/proc/32476/task/32531/stat : 32531 (java) S 32473 32476 22977 0 -1 1077944384 2181 12900 0 0 242 33 5 2 20 0 15 0 107421826 11348049920 815325 33554432000 4194304 4196468 140720316377376 140123547470352 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32532] ppid=32473 vsize=11082080 memory=1008 CPUtime=2.81 cores=0,2,4,6
/proc/32476/task/32532/stat : 32532 (java) S 32473 32476 22977 0 -1 1077944384 2775 12900 0 0 240 34 5 2 20 0 15 0 107421826 11348049920 815325 33554432000 4194304 4196468 140720316377376 140123546417552 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32533] ppid=32473 vsize=11082080 memory=4136 CPUtime=2.79 cores=0,2,4,6
/proc/32476/task/32533/stat : 32533 (java) S 32473 32476 22977 0 -1 1077944384 4296 12900 0 0 239 33 5 2 20 0 15 0 107421826 11348049920 815325 33554432000 4194304 4196468 140720316377376 140123545364752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32534] ppid=32473 vsize=11082080 memory=30868 CPUtime=0.23 cores=0,2,4,6
/proc/32476/task/32534/stat : 32534 (java) S 32473 32476 22977 0 -1 1077944384 11840 12900 0 0 14 2 5 2 20 0 15 0 107421828 11348049920 815325 33554432000 4194304 4196468 140720316377376 140123245747056 140124007549570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32535] ppid=32473 vsize=11082080 memory=3261300 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32535/stat : 32535 (java) S 32473 32476 22977 0 -1 1077944384 23 12900 0 0 0 0 5 2 20 0 15 0 107421828 11348049920 815325 33554432000 4194304 4196468 140720316377376 140122771154592 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32536] ppid=32473 vsize=11082080 memory=3261300 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32536/stat : 32536 (java) S 32473 32476 22977 0 -1 1077944384 53 12900 0 0 0 0 5 2 20 0 15 0 107421828 11348049920 815325 33554432000 4194304 4196468 140720316377376 140122704041344 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32537] ppid=32473 vsize=11082080 memory=3234636 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32537/stat : 32537 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11348049920 815325 33554432000 4194304 4196468 140720316377376 140122396645712 140124007557019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32538] ppid=32473 vsize=11082080 memory=3234636 CPUtime=9.96 cores=0,2,4,6
/proc/32476/task/32538/stat : 32538 (java) S 32473 32476 22977 0 -1 1077944384 21710 12900 0 0 984 5 5 2 20 0 15 0 107421831 11348049920 815325 33554432000 4194304 4196468 140720316377376 140123244693872 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32539] ppid=32473 vsize=11082080 memory=6791534058613427641 CPUtime=10.22 cores=0,2,4,6
/proc/32476/task/32539/stat : 32539 (java) S 32473 32476 22977 0 -1 1077944384 18519 12900 0 0 1011 4 5 2 20 0 15 0 107421831 11348049920 815325 33554432000 4194304 4196468 140720316377376 140123243641072 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32540] ppid=32473 vsize=11082080 memory=6944656575208382560 CPUtime=3.48 cores=0,2,4,6
/proc/32476/task/32540/stat : 32540 (java) S 32473 32476 22977 0 -1 1077944384 18384 12900 0 0 336 5 5 2 20 0 15 0 107421831 11348049920 815325 33554432000 4194304 4196468 140720316377376 140123242588272 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32541] ppid=32473 vsize=11082080 memory=956 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32541/stat : 32541 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11348049920 815325 33554432000 4194304 4196468 140720316377376 140121965848800 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32542] ppid=32473 vsize=11082080 memory=2464 CPUtime=0.14 cores=0,2,4,6
/proc/32476/task/32542/stat : 32542 (java) S 32473 32476 22977 0 -1 1077944384 320 12900 0 0 3 4 5 2 20 0 15 0 107421832 11348049920 815325 33554432000 4194304 4196468 140720316377376 140123039591600 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
Current children cumulated CPU time: 193.98 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3261300 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+219.501 s]
/proc/loadavg: 1.75 1.76 1.77 3/217 32684
/proc/meminfo: memFree=24250024/32770624 swapFree=67108792/67108860
[pid=32476] ppid=32473 vsize=11082080 memory=3264224 CPUtime=252.02 cores=0,2,4,6
/proc/32476/stat : 32476 (java) S 32473 32476 22977 0 -1 1077944320 156497 12900 0 0 24998 197 5 2 20 0 15 0 107421817 11348049920 816056 33554432000 4194304 4196468 140720316377376 140720316359920 140124007538423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
/proc/32476/statm: 2770520 816056 3533 1 0 2732173 0
[pid=32476/tid=32529] ppid=32473 vsize=11082080 memory=3264164 CPUtime=216.22 cores=0,2,4,6
/proc/32476/task/32529/stat : 32529 (java) R 32473 32476 22977 0 -1 4202560 58745 12900 0 0 21576 39 5 2 20 0 15 0 107421826 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123979369104 140123600343676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32530] ppid=32473 vsize=11082080 memory=3264224 CPUtime=3.02 cores=0,2,4,6
/proc/32476/task/32530/stat : 32530 (java) S 32473 32476 22977 0 -1 1077944384 1774 12900 0 0 262 33 5 2 20 0 15 0 107421826 11348049920 816056 33554432000 4194304 4196468 140720316377376 140124011780752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32531] ppid=32473 vsize=11082080 memory=3264224 CPUtime=3.03 cores=0,2,4,6
/proc/32476/task/32531/stat : 32531 (java) S 32473 32476 22977 0 -1 1077944384 2276 12900 0 0 263 33 5 2 20 0 15 0 107421826 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123547470352 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32532] ppid=32473 vsize=11082080 memory=3264224 CPUtime=3.03 cores=0,2,4,6
/proc/32476/task/32532/stat : 32532 (java) S 32473 32476 22977 0 -1 1077944384 2840 12900 0 0 262 34 5 2 20 0 15 0 107421826 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123546417552 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32533] ppid=32473 vsize=11082080 memory=3264224 CPUtime=3 cores=0,2,4,6
/proc/32476/task/32533/stat : 32533 (java) S 32473 32476 22977 0 -1 1077944384 6575 12900 0 0 260 33 5 2 20 0 15 0 107421826 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123545364752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32534] ppid=32473 vsize=11082080 memory=3264224 CPUtime=0.23 cores=0,2,4,6
/proc/32476/task/32534/stat : 32534 (java) S 32473 32476 22977 0 -1 1077944384 12160 12900 0 0 14 2 5 2 20 0 15 0 107421828 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123245747056 140124007549570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32535] ppid=32473 vsize=11082080 memory=4136 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32535/stat : 32535 (java) S 32473 32476 22977 0 -1 1077944384 23 12900 0 0 0 0 5 2 20 0 15 0 107421828 11348049920 816056 33554432000 4194304 4196468 140720316377376 140122771154592 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32536] ppid=32473 vsize=11082080 memory=30868 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32536/stat : 32536 (java) S 32473 32476 22977 0 -1 1077944384 53 12900 0 0 0 0 5 2 20 0 15 0 107421828 11348049920 816056 33554432000 4194304 4196468 140720316377376 140122704041344 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32537] ppid=32473 vsize=11082080 memory=4104 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32537/stat : 32537 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11348049920 816056 33554432000 4194304 4196468 140720316377376 140122396645712 140124007557019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32538] ppid=32473 vsize=11082080 memory=2780 CPUtime=10 cores=0,2,4,6
/proc/32476/task/32538/stat : 32538 (java) S 32473 32476 22977 0 -1 1077944384 23590 12900 0 0 988 5 5 2 20 0 15 0 107421831 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123244693872 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32539] ppid=32473 vsize=11082080 memory=3264164 CPUtime=10.3 cores=0,2,4,6
/proc/32476/task/32539/stat : 32539 (java) S 32473 32476 22977 0 -1 1077944384 21662 12900 0 0 1019 4 5 2 20 0 15 0 107421831 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123243641072 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32540] ppid=32473 vsize=11082080 memory=4136 CPUtime=3.53 cores=0,2,4,6
/proc/32476/task/32540/stat : 32540 (java) S 32473 32476 22977 0 -1 1077944384 24249 12900 0 0 341 5 5 2 20 0 15 0 107421831 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123242588272 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32541] ppid=32473 vsize=11082080 memory=3264164 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32541/stat : 32541 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11348049920 816056 33554432000 4194304 4196468 140720316377376 140121965848800 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32542] ppid=32473 vsize=11082080 memory=3264164 CPUtime=0.18 cores=0,2,4,6
/proc/32476/task/32542/stat : 32542 (java) S 32473 32476 22977 0 -1 1077944384 352 12900 0 0 5 6 5 2 20 0 15 0 107421832 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123039591600 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3264224 KiB

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

[startup+219.545 s]
# the end of solver process 32476 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.06 s, system=2.02871 s

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

[startup+219.501 s]
/proc/loadavg: 1.75 1.76 1.77 3/217 32684
/proc/meminfo: memFree=24250024/32770624 swapFree=67108792/67108860
[pid=32476] ppid=32473 vsize=11082080 memory=3264224 CPUtime=252.02 cores=0,2,4,6
/proc/32476/stat : 32476 (java) S 32473 32476 22977 0 -1 1077944320 156497 12900 0 0 24998 197 5 2 20 0 15 0 107421817 11348049920 816056 33554432000 4194304 4196468 140720316377376 140720316359920 140124007538423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
/proc/32476/statm: 2770520 816056 3533 1 0 2732173 0
[pid=32476/tid=32529] ppid=32473 vsize=11082080 memory=3264164 CPUtime=216.22 cores=0,2,4,6
/proc/32476/task/32529/stat : 32529 (java) R 32473 32476 22977 0 -1 4202560 58745 12900 0 0 21576 39 5 2 20 0 15 0 107421826 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123979369104 140123600343676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32530] ppid=32473 vsize=11082080 memory=3264224 CPUtime=3.02 cores=0,2,4,6
/proc/32476/task/32530/stat : 32530 (java) S 32473 32476 22977 0 -1 1077944384 1774 12900 0 0 262 33 5 2 20 0 15 0 107421826 11348049920 816056 33554432000 4194304 4196468 140720316377376 140124011780752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32531] ppid=32473 vsize=11082080 memory=3264224 CPUtime=3.03 cores=0,2,4,6
/proc/32476/task/32531/stat : 32531 (java) S 32473 32476 22977 0 -1 1077944384 2276 12900 0 0 263 33 5 2 20 0 15 0 107421826 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123547470352 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32532] ppid=32473 vsize=11082080 memory=3264224 CPUtime=3.03 cores=0,2,4,6
/proc/32476/task/32532/stat : 32532 (java) S 32473 32476 22977 0 -1 1077944384 2840 12900 0 0 262 34 5 2 20 0 15 0 107421826 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123546417552 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32533] ppid=32473 vsize=11082080 memory=3264224 CPUtime=3 cores=0,2,4,6
/proc/32476/task/32533/stat : 32533 (java) S 32473 32476 22977 0 -1 1077944384 6575 12900 0 0 260 33 5 2 20 0 15 0 107421826 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123545364752 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32534] ppid=32473 vsize=11082080 memory=3264224 CPUtime=0.23 cores=0,2,4,6
/proc/32476/task/32534/stat : 32534 (java) S 32473 32476 22977 0 -1 1077944384 12160 12900 0 0 14 2 5 2 20 0 15 0 107421828 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123245747056 140124007549570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32535] ppid=32473 vsize=11082080 memory=4136 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32535/stat : 32535 (java) S 32473 32476 22977 0 -1 1077944384 23 12900 0 0 0 0 5 2 20 0 15 0 107421828 11348049920 816056 33554432000 4194304 4196468 140720316377376 140122771154592 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32536] ppid=32473 vsize=11082080 memory=30868 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32536/stat : 32536 (java) S 32473 32476 22977 0 -1 1077944384 53 12900 0 0 0 0 5 2 20 0 15 0 107421828 11348049920 816056 33554432000 4194304 4196468 140720316377376 140122704041344 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32537] ppid=32473 vsize=11082080 memory=4104 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32537/stat : 32537 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11348049920 816056 33554432000 4194304 4196468 140720316377376 140122396645712 140124007557019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32538] ppid=32473 vsize=11082080 memory=2780 CPUtime=10 cores=0,2,4,6
/proc/32476/task/32538/stat : 32538 (java) S 32473 32476 22977 0 -1 1077944384 23590 12900 0 0 988 5 5 2 20 0 15 0 107421831 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123244693872 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32539] ppid=32473 vsize=11082080 memory=3264164 CPUtime=10.3 cores=0,2,4,6
/proc/32476/task/32539/stat : 32539 (java) S 32473 32476 22977 0 -1 1077944384 21662 12900 0 0 1019 4 5 2 20 0 15 0 107421831 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123243641072 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32540] ppid=32473 vsize=11082080 memory=4136 CPUtime=3.53 cores=0,2,4,6
/proc/32476/task/32540/stat : 32540 (java) S 32473 32476 22977 0 -1 1077944384 24249 12900 0 0 341 5 5 2 20 0 15 0 107421831 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123242588272 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32541] ppid=32473 vsize=11082080 memory=3264164 CPUtime=0.07 cores=0,2,4,6
/proc/32476/task/32541/stat : 32541 (java) S 32473 32476 22977 0 -1 1077944384 3 12900 0 0 0 0 5 2 20 0 15 0 107421831 11348049920 816056 33554432000 4194304 4196468 140720316377376 140121965848800 140124007548629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
[pid=32476/tid=32542] ppid=32473 vsize=11082080 memory=3264164 CPUtime=0.18 cores=0,2,4,6
/proc/32476/task/32542/stat : 32542 (java) S 32473 32476 22977 0 -1 1077944384 352 12900 0 0 5 6 5 2 20 0 15 0 107421832 11348049920 816056 33554432000 4194304 4196468 140720316377376 140123039591600 140124007549570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140720316385897 140720316388705 140720316388705 140720316391375 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3264224 KiB

Child status: 143
Real time (s): 219.545
CPU time (s): 252.089
CPU user time (s): 250.06
CPU system time (s): 2.02871
CPU usage (%): 114.823
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3264224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.06
system time used= 2.02872
maximum resident set size= 3266732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170784
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16755
involuntary context switches= 543


# summary of solver processes directly reported to runsolver:
#   pid: 32476
#   total CPU time (s): 252.089
#   total CPU user time (s): 250.06
#   total CPU system time (s): 2.02871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.63843 second user time and 1.75265 second system time

The end

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

Trace number 4302676

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