2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.12.2	SAT (TO)	10	2520.1	2476.83

0.76/0.56	c Concrete v3.12.2.1568380929293 running
23.56/10.67	o 12
27.04/13.55	o 11
33.62/19.22	o 10
2520.03/2476.80	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2476.80		at concrete.MAC.mac(MAC.scala:192)
2520.03/2476.80		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.03/2476.80		at scala.util.Try$.apply(Try.scala:212)
2520.03/2476.80		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.03/2476.80		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.03/2476.80		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.03/2476.80		at concrete.MAC.oneRun(MAC.scala:265)
2520.03/2476.80		at concrete.MAC.nextSolution(MAC.scala:284)
2520.03/2476.80		at concrete.MAC.nextSolution(MAC.scala:369)
2520.03/2476.80		at concrete.Solver.hasNext(Solver.scala:160)
2520.03/2476.80		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2476.80		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2476.80		at concrete.Solver.foreach(Solver.scala:67)
2520.03/2476.80		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.03/2476.80		at scala.util.Success.map(Try.scala:264)
2520.03/2476.80		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2476.80		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.03/2476.80		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.03/2476.80		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2476.80		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.03/2476.80		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.03/2476.80		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.03/2476.80		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.03/2476.80		at scala.App.$anonfun$main$1(App.scala:75)
2520.03/2476.80		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.03/2476.80		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2476.80		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2476.80		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.03/2476.80		at scala.App.main(App.scala:75)
2520.03/2476.80		at scala.App.main$(App.scala:73)
2520.03/2476.80		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.03/2476.80		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2476.81	v <instantiation
2520.03/2476.81	v         cost = '10'>
2520.03/2476.81	v       <list>
2520.03/2476.81	v         p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] 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[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[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[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[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[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[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[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[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[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[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[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[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14]
2520.03/2476.81	v       </list>
2520.03/2476.81	v       <values>
2520.03/2476.81	v         11 9 13 1 0 3 8 5 10 14 2 12 7 6 4 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 0 0 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 1 1 1 1 2 2 2 2 2 2 2 2 2 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 4 8 10 10 10 10 10 10 10 10 10 9 8 7 4
2520.03/2476.81	v       </values>
2520.03/2476.81	v     </instantiation>
2520.03/2476.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 (12750 MiB free)
  memory of node 1: 16384 MiB (15693 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396134-1568399074/watcher-4396134-1568399074 -o /tmp/evaluation-result-4396134-1568399074/solver-4396134-1568399074 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568399035-29406 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1575136040 HOME/instance-4396134-1568399074.xml 

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

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

solver pid=29436, runsolver pid=29433

[startup+0.100161 s]*
/proc/loadavg: 0.61 1.27 1.51 4/210 29549
/proc/meminfo: memFree=29114432/32770624 swapFree=66999916/67108860
[pid=29436] ppid=29433 vsize=9972712 memory=16552 CPUtime=0.08 cores=0,2,4,6
/proc/29436/stat : 29436 (java) S 29433 29436 29375 0 -1 1077944320 4417 13256 0 0 1 0 4 3 20 0 6 0 416172268 10212057088 4138 33554432000 4194304 4196468 140722883635472 140722883618016 140518882471671 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
/proc/29436/statm: 2493178 4138 1933 1 0 2481616 0
[pid=29436/tid=29541] ppid=29433 vsize=9972712 memory=720575944405811505 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29541/stat : 29541 (java) R 29433 29436 29375 0 -1 4202560 2212 13256 0 0 0 0 4 3 20 0 6 0 416172277 10212057088 4204 33554432000 4194304 4196468 140722883635472 140518854308432 140518866552158 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29546] ppid=29433 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29546/stat : 29546 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 6 0 416172278 10212057088 4204 33554432000 4194304 4196468 140722883635472 140518886714000 140518882481877 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29547] ppid=29433 vsize=9972712 memory=3978287669972735648 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29547/stat : 29547 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 6 0 416172278 10212057088 4204 33554432000 4194304 4196468 140722883635472 140518785604112 140518882481877 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29548] ppid=29433 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29548/stat : 29548 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 6 0 416172278 10212057088 4204 33554432000 4194304 4196468 140722883635472 140518784551312 140518882481877 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29549] ppid=29433 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29549/stat : 29549 (java) S 29433 29436 29375 0 -1 1077944384 2 13256 0 0 0 0 4 3 20 0 6 0 416172278 10212057088 4204 33554432000 4194304 4196468 140722883635472 140518783498512 140518882481877 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB

[startup+0.209955 s]*
/proc/loadavg: 0.61 1.27 1.51 4/228 29567
/proc/meminfo: memFree=29074772/32770624 swapFree=66999916/67108860
[pid=29436] ppid=29433 vsize=10819664 memory=39460 CPUtime=0.25 cores=0,2,4,6
/proc/29436/stat : 29436 (java) S 29433 29436 29375 0 -1 1077944320 7164 13256 0 0 17 1 4 3 20 0 15 0 416172268 11079335936 9865 33554432000 4194304 4196468 140722883635472 140722883618016 140518882471671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
/proc/29436/statm: 2704916 9865 3156 1 0 2667149 0
[pid=29436/tid=29541] ppid=29433 vsize=10819664 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/29436/task/29541/stat : 29541 (java) R 29433 29436 29375 0 -1 4202560 3662 13256 0 0 11 0 4 3 20 0 15 0 416172277 11079335936 9865 33554432000 4194304 4196468 140722883635472 140518854302904 140518882493597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29546] ppid=29433 vsize=10819664 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29546/stat : 29546 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172278 11079335936 9865 33554432000 4194304 4196468 140722883635472 140518886714000 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29547] ppid=29433 vsize=10819664 memory=140018705555867 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29547/stat : 29547 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172278 11079335936 9865 33554432000 4194304 4196468 140722883635472 140518785604112 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29548] ppid=29433 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29548/stat : 29548 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172278 11079335936 9865 33554432000 4194304 4196468 140722883635472 140518784551312 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29549] ppid=29433 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29549/stat : 29549 (java) S 29433 29436 29375 0 -1 1077944384 2 13256 0 0 0 0 4 3 20 0 15 0 416172278 11079335936 9865 33554432000 4194304 4196468 140722883635472 140518783498512 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29552] ppid=29433 vsize=10819664 memory=140018702521984 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29552/stat : 29552 (java) S 29433 29436 29375 0 -1 1077944384 2 13256 0 0 0 0 4 3 20 0 15 0 416172280 11079335936 9865 33554432000 4194304 4196468 140722883635472 140518342015856 140518882482818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29554] ppid=29433 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29554/stat : 29554 (java) S 29433 29436 29375 0 -1 1077944384 13 13256 0 0 0 0 4 3 20 0 15 0 416172280 11079335936 9865 33554432000 4194304 4196468 140722883635472 140517773927968 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29555] ppid=29433 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29555/stat : 29555 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172280 11079335936 9865 33554432000 4194304 4196468 140722883635472 140517639710064 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29562] ppid=29433 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29562/stat : 29562 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11079335936 9865 33554432000 4194304 4196468 140722883635472 140517399419216 140518882490267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29563] ppid=29433 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29563/stat : 29563 (java) S 29433 29436 29375 0 -1 1077944384 454 13256 0 0 0 0 4 3 20 0 15 0 416172283 11079335936 9865 33554432000 4194304 4196468 140722883635472 140518340962672 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29564] ppid=29433 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29436/task/29564/stat : 29564 (java) S 29433 29436 29375 0 -1 1077944384 208 13256 0 0 1 0 4 3 20 0 15 0 416172283 11079335936 9865 33554432000 4194304 4196468 140722883635472 140518339909872 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29565] ppid=29433 vsize=10819664 memory=140018702521984 CPUtime=0.1 cores=0,2,4,6
/proc/29436/task/29565/stat : 29565 (java) R 29433 29436 29375 0 -1 4202560 602 13256 0 0 3 0 4 3 20 0 15 0 416172283 11079335936 9865 33554432000 4194304 4196468 140722883635472 140518338857072 140518861893312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29566] ppid=29433 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29566/stat : 29566 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11079335936 9865 33554432000 4194304 4196468 140722883635472 140517365860576 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29567] ppid=29433 vsize=10819664 memory=140018702521984 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29567/stat : 29567 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172284 11079335936 9865 33554432000 4194304 4196468 140722883635472 140518337805488 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39460 KiB

[startup+0.310352 s]*
/proc/loadavg: 0.61 1.27 1.51 4/228 29567
/proc/meminfo: memFree=29047740/32770624 swapFree=66999916/67108860
[pid=29436] ppid=29433 vsize=10820148 memory=50588 CPUtime=0.39 cores=0,2,4,6
/proc/29436/stat : 29436 (java) S 29433 29436 29375 0 -1 1077944320 10845 13256 0 0 29 3 4 3 20 0 15 0 416172268 11079831552 12647 33554432000 4194304 4196468 140722883635472 140722883618016 140518882471671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
/proc/29436/statm: 2705037 12647 3288 1 0 2667149 0
[pid=29436/tid=29541] ppid=29433 vsize=10820148 memory=1398722017469774279 CPUtime=0.28 cores=0,2,4,6
/proc/29436/task/29541/stat : 29541 (java) R 29433 29436 29375 0 -1 4202560 7326 13256 0 0 19 2 4 3 20 0 15 0 416172277 11079831552 12647 33554432000 4194304 4196468 140722883635472 140518854271584 140518882493597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29546] ppid=29433 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29546/stat : 29546 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172278 11079831552 12647 33554432000 4194304 4196468 140722883635472 140518886714000 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29547] ppid=29433 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29547/stat : 29547 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172278 11079831552 12647 33554432000 4194304 4196468 140722883635472 140518785604112 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29548] ppid=29433 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29548/stat : 29548 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172278 11079831552 12647 33554432000 4194304 4196468 140722883635472 140518784551312 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29549] ppid=29433 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29549/stat : 29549 (java) S 29433 29436 29375 0 -1 1077944384 2 13256 0 0 0 0 4 3 20 0 15 0 416172278 11079831552 12647 33554432000 4194304 4196468 140722883635472 140518783498512 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29552] ppid=29433 vsize=10820148 memory=140018702521983 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29552/stat : 29552 (java) S 29433 29436 29375 0 -1 1077944384 2 13256 0 0 0 0 4 3 20 0 15 0 416172280 11079831552 12647 33554432000 4194304 4196468 140722883635472 140518342015856 140518882482818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29554] ppid=29433 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29554/stat : 29554 (java) S 29433 29436 29375 0 -1 1077944384 13 13256 0 0 0 0 4 3 20 0 15 0 416172280 11079831552 12647 33554432000 4194304 4196468 140722883635472 140517773927968 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29555] ppid=29433 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29555/stat : 29555 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172280 11079831552 12647 33554432000 4194304 4196468 140722883635472 140517639710064 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29562] ppid=29433 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29562/stat : 29562 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11079831552 12647 33554432000 4194304 4196468 140722883635472 140517399419216 140518882490267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29563] ppid=29433 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29436/task/29563/stat : 29563 (java) S 29433 29436 29375 0 -1 1077944384 460 13256 0 0 1 0 4 3 20 0 15 0 416172283 11079831552 12647 33554432000 4194304 4196468 140722883635472 140518340962672 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29564] ppid=29433 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29436/task/29564/stat : 29564 (java) S 29433 29436 29375 0 -1 1077944384 209 13256 0 0 1 0 4 3 20 0 15 0 416172283 11079831552 12647 33554432000 4194304 4196468 140722883635472 140518339909872 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29565] ppid=29433 vsize=10820148 memory=140018702521984 CPUtime=0.12 cores=0,2,4,6
/proc/29436/task/29565/stat : 29565 (java) S 29433 29436 29375 0 -1 1077944384 612 13256 0 0 5 0 4 3 20 0 15 0 416172283 11079831552 12647 33554432000 4194304 4196468 140722883635472 140518338857072 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29566] ppid=29433 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29566/stat : 29566 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11079831552 12647 33554432000 4194304 4196468 140722883635472 140517365860576 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29567] ppid=29433 vsize=10820148 memory=140018702521984 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29567/stat : 29567 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172284 11079831552 12647 33554432000 4194304 4196468 140722883635472 140518337805488 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50588 KiB

[startup+0.708874 s]
/proc/loadavg: 0.61 1.27 1.51 4/228 29567
/proc/meminfo: memFree=29022776/32770624 swapFree=66999916/67108860
[pid=29436] ppid=29433 vsize=10824360 memory=83352 CPUtime=1.14 cores=0,2,4,6
/proc/29436/stat : 29436 (java) S 29433 29436 29375 0 -1 1077944320 15071 13256 0 0 101 6 4 3 20 0 15 0 416172268 11084144640 20838 33554432000 4194304 4196468 140722883635472 140722883618016 140518882471671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
/proc/29436/statm: 2706090 20838 3501 1 0 2668173 0
[pid=29436/tid=29541] ppid=29433 vsize=10824360 memory=2020 CPUtime=0.67 cores=0,2,4,6
/proc/29436/task/29541/stat : 29541 (java) R 29433 29436 29375 0 -1 4202560 10442 13256 0 0 56 4 4 3 20 0 15 0 416172277 11084144640 20838 33554432000 4194304 4196468 140722883635472 140518854280128 140518865828335 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29546] ppid=29433 vsize=10824360 memory=1432 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29546/stat : 29546 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172278 11084144640 20838 33554432000 4194304 4196468 140722883635472 140518886714000 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29547] ppid=29433 vsize=10824360 memory=9536 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29547/stat : 29547 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172278 11084144640 20838 33554432000 4194304 4196468 140722883635472 140518785604112 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29548] ppid=29433 vsize=10824360 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29548/stat : 29548 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172278 11084144640 20838 33554432000 4194304 4196468 140722883635472 140518784551312 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29549] ppid=29433 vsize=10824360 memory=140018702520865 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29549/stat : 29549 (java) S 29433 29436 29375 0 -1 1077944384 2 13256 0 0 0 0 4 3 20 0 15 0 416172278 11084144640 20838 33554432000 4194304 4196468 140722883635472 140518783498512 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29552] ppid=29433 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29552/stat : 29552 (java) S 29433 29436 29375 0 -1 1077944384 5 13256 0 0 0 0 4 3 20 0 15 0 416172280 11084144640 20838 33554432000 4194304 4196468 140722883635472 140518342015856 140518882482818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29554] ppid=29433 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29554/stat : 29554 (java) S 29433 29436 29375 0 -1 1077944384 13 13256 0 0 0 0 4 3 20 0 15 0 416172280 11084144640 20838 33554432000 4194304 4196468 140722883635472 140517773927968 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29555] ppid=29433 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29555/stat : 29555 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172280 11084144640 20838 33554432000 4194304 4196468 140722883635472 140517639710064 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29562] ppid=29433 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29562/stat : 29562 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11084144640 20838 33554432000 4194304 4196468 140722883635472 140517399419216 140518882490267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29563] ppid=29433 vsize=10824360 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/29436/task/29563/stat : 29563 (java) R 29433 29436 29375 0 -1 4202560 869 13256 0 0 13 0 4 3 20 0 15 0 416172283 11084144640 20838 33554432000 4194304 4196468 140722883635472 140518340962672 140518861710092 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29564] ppid=29433 vsize=10824360 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/29436/task/29564/stat : 29564 (java) S 29433 29436 29375 0 -1 1077944384 645 13256 0 0 14 0 4 3 20 0 15 0 416172283 11084144640 20838 33554432000 4194304 4196468 140722883635472 140518339909872 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29565] ppid=29433 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/29436/task/29565/stat : 29565 (java) S 29433 29436 29375 0 -1 1077944384 874 13256 0 0 17 0 4 3 20 0 15 0 416172283 11084144640 20838 33554432000 4194304 4196468 140722883635472 140518338857072 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29566] ppid=29433 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29566/stat : 29566 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11084144640 20838 33554432000 4194304 4196468 140722883635472 140517365860576 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29567] ppid=29433 vsize=10824360 memory=3580 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29567/stat : 29567 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172284 11084144640 20838 33554432000 4194304 4196468 140722883635472 140518337805488 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83352 KiB

[startup+1.50077 s]
/proc/loadavg: 0.61 1.27 1.51 14/228 29567
/proc/meminfo: memFree=28912528/32770624 swapFree=66999916/67108860
[pid=29436] ppid=29433 vsize=10835428 memory=213576 CPUtime=3.39 cores=0,2,4,6
/proc/29436/stat : 29436 (java) S 29433 29436 29375 0 -1 1077944320 34251 13256 0 0 320 12 4 3 20 0 15 0 416172268 11095478272 53394 33554432000 4194304 4196468 140722883635472 140722883618016 140518882471671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
/proc/29436/statm: 2708857 53394 3588 1 0 2670921 0
[pid=29436/tid=29541] ppid=29433 vsize=10835428 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/29436/task/29541/stat : 29541 (java) R 29433 29436 29375 0 -1 4202560 16441 13256 0 0 128 7 4 3 20 0 15 0 416172277 11095478272 53394 33554432000 4194304 4196468 140722883635472 140518854301152 140518864035204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29546] ppid=29433 vsize=10835428 memory=1432 CPUtime=0.08 cores=0,2,4,6
/proc/29436/task/29546/stat : 29546 (java) S 29433 29436 29375 0 -1 1077944384 336 13256 0 0 1 0 4 3 20 0 15 0 416172278 11095478272 53394 33554432000 4194304 4196468 140722883635472 140518886714000 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29547] ppid=29433 vsize=10835428 memory=9536 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29547/stat : 29547 (java) S 29433 29436 29375 0 -1 1077944384 62 13256 0 0 0 0 4 3 20 0 15 0 416172278 11095478272 53394 33554432000 4194304 4196468 140722883635472 140518785604112 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29548] ppid=29433 vsize=10835428 memory=280037102204000 CPUtime=0.08 cores=0,2,4,6
/proc/29436/task/29548/stat : 29548 (java) S 29433 29436 29375 0 -1 1077944384 67 13256 0 0 1 0 4 3 20 0 15 0 416172278 11095478272 53394 33554432000 4194304 4196468 140722883635472 140518784551312 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29549] ppid=29433 vsize=10835428 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29436/task/29549/stat : 29549 (java) S 29433 29436 29375 0 -1 1077944384 11 13256 0 0 1 0 4 3 20 0 15 0 416172278 11095478272 53394 33554432000 4194304 4196468 140722883635472 140518783498512 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29552] ppid=29433 vsize=10835428 memory=6944656591801717918 CPUtime=0.08 cores=0,2,4,6
/proc/29436/task/29552/stat : 29552 (java) S 29433 29436 29375 0 -1 1077944384 128 13256 0 0 1 0 4 3 20 0 15 0 416172280 11095478272 53394 33554432000 4194304 4196468 140722883635472 140518342015856 140518882482818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29554] ppid=29433 vsize=10835428 memory=6944656592455360569 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29554/stat : 29554 (java) S 29433 29436 29375 0 -1 1077944384 14 13256 0 0 0 0 4 3 20 0 15 0 416172280 11095478272 53394 33554432000 4194304 4196468 140722883635472 140517773927968 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29555] ppid=29433 vsize=10835428 memory=6944656592452807316 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29555/stat : 29555 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172280 11095478272 53394 33554432000 4194304 4196468 140722883635472 140517639710064 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29562] ppid=29433 vsize=10835428 memory=280037102627296 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29562/stat : 29562 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11095478272 53394 33554432000 4194304 4196468 140722883635472 140517399419216 140518882490267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29563] ppid=29433 vsize=10835428 memory=266429706331767 CPUtime=0.92 cores=0,2,4,6
/proc/29436/task/29563/stat : 29563 (java) R 29433 29436 29375 0 -1 4202560 8707 13256 0 0 84 1 4 3 20 0 15 0 416172283 11095478272 53394 33554432000 4194304 4196468 140722883635472 140518340947848 140518861728196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29564] ppid=29433 vsize=10835428 memory=266429706331768 CPUtime=0.62 cores=0,2,4,6
/proc/29436/task/29564/stat : 29564 (java) S 29433 29436 29375 0 -1 1077944384 3506 13256 0 0 55 0 4 3 20 0 15 0 416172283 11095478272 53394 33554432000 4194304 4196468 140722883635472 140518339909872 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29565] ppid=29433 vsize=10835428 memory=266429706331769 CPUtime=0.52 cores=0,2,4,6
/proc/29436/task/29565/stat : 29565 (java) S 29433 29436 29375 0 -1 1077944384 2761 13256 0 0 44 1 4 3 20 0 15 0 416172283 11095478272 53394 33554432000 4194304 4196468 140722883635472 140518338857072 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29566] ppid=29433 vsize=10835428 memory=266429706331770 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29566/stat : 29566 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11095478272 53394 33554432000 4194304 4196468 140722883635472 140517365860576 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29567] ppid=29433 vsize=10835428 memory=266429706331771 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29567/stat : 29567 (java) S 29433 29436 29375 0 -1 1077944384 1 13256 0 0 0 0 4 3 20 0 15 0 416172284 11095478272 53394 33554432000 4194304 4196468 140722883635472 140518337805488 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
Current children cumulated CPU time: 3.39 s
Current children cumulated vsize: 10835428 KiB

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

/proc/29436/task/29541/stat : 29541 (java) R 29433 29436 29375 0 -1 4202560 67138 13256 0 0 230668 39 4 3 20 0 15 0 416172277 11113615360 192588 33554432000 4194304 4196468 140722883635472 140518854307808 140518464438792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29546] ppid=29433 vsize=10853140 memory=770352 CPUtime=7.57 cores=0,2,4,6
/proc/29436/task/29546/stat : 29546 (java) S 29433 29436 29375 0 -1 1077944384 14945 13256 0 0 716 34 4 3 20 0 15 0 416172278 11113615360 192588 33554432000 4194304 4196468 140722883635472 140518886714000 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29547] ppid=29433 vsize=10853140 memory=770352 CPUtime=7.56 cores=0,2,4,6
/proc/29436/task/29547/stat : 29547 (java) S 29433 29436 29375 0 -1 1077944384 11038 13256 0 0 715 34 4 3 20 0 15 0 416172278 11113615360 192588 33554432000 4194304 4196468 140722883635472 140518785604112 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29548] ppid=29433 vsize=10853140 memory=56 CPUtime=7.55 cores=0,2,4,6
/proc/29436/task/29548/stat : 29548 (java) S 29433 29436 29375 0 -1 1077944384 14046 13256 0 0 711 37 4 3 20 0 15 0 416172278 11113615360 192588 33554432000 4194304 4196468 140722883635472 140518784551312 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29549] ppid=29433 vsize=10853140 memory=770352 CPUtime=7.54 cores=0,2,4,6
/proc/29436/task/29549/stat : 29549 (java) S 29433 29436 29375 0 -1 1077944384 8642 13256 0 0 711 36 4 3 20 0 15 0 416172278 11113615360 192588 33554432000 4194304 4196468 140722883635472 140518783498512 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29552] ppid=29433 vsize=10853140 memory=770352 CPUtime=6.19 cores=0,2,4,6
/proc/29436/task/29552/stat : 29552 (java) S 29433 29436 29375 0 -1 1077944384 15787 13256 0 0 580 32 4 3 20 0 15 0 416172280 11113615360 192588 33554432000 4194304 4196468 140722883635472 140518342015856 140518882482818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29554] ppid=29433 vsize=10853140 memory=770352 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29554/stat : 29554 (java) S 29433 29436 29375 0 -1 1077944384 25 13256 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 192588 33554432000 4194304 4196468 140722883635472 140517773928032 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29555] ppid=29433 vsize=10853140 memory=770352 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29555/stat : 29555 (java) S 29433 29436 29375 0 -1 1077944384 4 13256 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 192588 33554432000 4194304 4196468 140722883635472 140517639710080 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29562] ppid=29433 vsize=10853140 memory=770352 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29562/stat : 29562 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 192588 33554432000 4194304 4196468 140722883635472 140517399419216 140518882490267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29563] ppid=29433 vsize=10853140 memory=770260 CPUtime=7.23 cores=0,2,4,6
/proc/29436/task/29563/stat : 29563 (java) S 29433 29436 29375 0 -1 1077944384 58574 13256 0 0 707 9 4 3 20 0 15 0 416172283 11113615360 192588 33554432000 4194304 4196468 140722883635472 140518340962672 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29564] ppid=29433 vsize=10853140 memory=770352 CPUtime=7.5 cores=0,2,4,6
/proc/29436/task/29564/stat : 29564 (java) S 29433 29436 29375 0 -1 1077944384 60107 13256 0 0 736 7 4 3 20 0 15 0 416172283 11113615360 192588 33554432000 4194304 4196468 140722883635472 140518339909872 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29565] ppid=29433 vsize=10853140 memory=770352 CPUtime=5.05 cores=0,2,4,6
/proc/29436/task/29565/stat : 29565 (java) S 29433 29436 29375 0 -1 1077944384 72153 13256 0 0 489 9 4 3 20 0 15 0 416172283 11113615360 192588 33554432000 4194304 4196468 140722883635472 140518338857072 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29566] ppid=29433 vsize=10853140 memory=2120 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29566/stat : 29566 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 192588 33554432000 4194304 4196468 140722883635472 140517365860576 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29567] ppid=29433 vsize=10853140 memory=6791534058613427641 CPUtime=1.34 cores=0,2,4,6
/proc/29436/task/29567/stat : 29567 (java) S 29433 29436 29375 0 -1 1077944384 1542 13256 0 0 67 60 4 3 20 0 15 0 416172284 11113615360 192588 33554432000 4194304 4196468 140722883635472 140518337805488 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
Current children cumulated CPU time: 2364.17 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 770352 KiB

[startup+2382.3 s]
/proc/loadavg: 1.25 1.30 1.34 5/229 29813
/proc/meminfo: memFree=27644124/32770624 swapFree=66999920/67108860
[pid=29436] ppid=29433 vsize=10853140 memory=772500 CPUtime=2424.72 cores=0,2,4,6
/proc/29436/stat : 29436 (java) S 29433 29436 29375 0 -1 1077944320 327540 13256 0 0 242198 267 4 3 20 0 15 0 416172268 11113615360 193125 33554432000 4194304 4196468 140722883635472 140722883618016 140518882471671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
/proc/29436/statm: 2713285 193125 3632 1 0 2675341 0
[pid=29436/tid=29541] ppid=29433 vsize=10853140 memory=772500 CPUtime=2366.79 cores=0,2,4,6
/proc/29436/task/29541/stat : 29541 (java) R 29433 29436 29375 0 -1 4202560 67728 13256 0 0 236633 39 4 3 20 0 15 0 416172277 11113615360 193125 33554432000 4194304 4196468 140722883635472 140518854307808 140518474448005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29546] ppid=29433 vsize=10853140 memory=770384 CPUtime=7.76 cores=0,2,4,6
/proc/29436/task/29546/stat : 29546 (java) S 29433 29436 29375 0 -1 1077944384 14963 13256 0 0 733 36 4 3 20 0 15 0 416172278 11113615360 193125 33554432000 4194304 4196468 140722883635472 140518886714000 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29547] ppid=29433 vsize=10853140 memory=770384 CPUtime=7.74 cores=0,2,4,6
/proc/29436/task/29547/stat : 29547 (java) S 29433 29436 29375 0 -1 1077944384 11402 13256 0 0 732 35 4 3 20 0 15 0 416172278 11113615360 193125 33554432000 4194304 4196468 140722883635472 140518785604112 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29548] ppid=29433 vsize=10853140 memory=772500 CPUtime=7.73 cores=0,2,4,6
/proc/29436/task/29548/stat : 29548 (java) S 29433 29436 29375 0 -1 1077944384 14058 13256 0 0 728 38 4 3 20 0 15 0 416172278 11113615360 193125 33554432000 4194304 4196468 140722883635472 140518784551312 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29549] ppid=29433 vsize=10853140 memory=772500 CPUtime=7.72 cores=0,2,4,6
/proc/29436/task/29549/stat : 29549 (java) S 29433 29436 29375 0 -1 1077944384 8738 13256 0 0 729 36 4 3 20 0 15 0 416172278 11113615360 193125 33554432000 4194304 4196468 140722883635472 140518783498512 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29552] ppid=29433 vsize=10853140 memory=772500 CPUtime=6.34 cores=0,2,4,6
/proc/29436/task/29552/stat : 29552 (java) S 29433 29436 29375 0 -1 1077944384 16007 13256 0 0 594 33 4 3 20 0 15 0 416172280 11113615360 193125 33554432000 4194304 4196468 140722883635472 140518342015856 140518882482818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29554] ppid=29433 vsize=10853140 memory=772500 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29554/stat : 29554 (java) S 29433 29436 29375 0 -1 1077944384 25 13256 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 193125 33554432000 4194304 4196468 140722883635472 140517773928032 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29555] ppid=29433 vsize=10853140 memory=772500 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29555/stat : 29555 (java) S 29433 29436 29375 0 -1 1077944384 4 13256 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 193125 33554432000 4194304 4196468 140722883635472 140517639710080 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29562] ppid=29433 vsize=10853140 memory=772500 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29562/stat : 29562 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 193125 33554432000 4194304 4196468 140722883635472 140517399419216 140518882490267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29563] ppid=29433 vsize=10853140 memory=0 CPUtime=7.23 cores=0,2,4,6
/proc/29436/task/29563/stat : 29563 (java) S 29433 29436 29375 0 -1 1077944384 58576 13256 0 0 707 9 4 3 20 0 15 0 416172283 11113615360 193125 33554432000 4194304 4196468 140722883635472 140518340962672 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29564] ppid=29433 vsize=10853140 memory=5793975930949489260 CPUtime=7.5 cores=0,2,4,6
/proc/29436/task/29564/stat : 29564 (java) S 29433 29436 29375 0 -1 1077944384 60109 13256 0 0 736 7 4 3 20 0 15 0 416172283 11113615360 193125 33554432000 4194304 4196468 140722883635472 140518339909872 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29565] ppid=29433 vsize=10853140 memory=0 CPUtime=5.05 cores=0,2,4,6
/proc/29436/task/29565/stat : 29565 (java) S 29433 29436 29375 0 -1 1077944384 72155 13256 0 0 489 9 4 3 20 0 15 0 416172283 11113615360 193125 33554432000 4194304 4196468 140722883635472 140518338857072 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29566] ppid=29433 vsize=10853140 memory=3580 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29566/stat : 29566 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 193125 33554432000 4194304 4196468 140722883635472 140517365860576 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29567] ppid=29433 vsize=10853140 memory=39676 CPUtime=1.37 cores=0,2,4,6
/proc/29436/task/29567/stat : 29567 (java) S 29433 29436 29375 0 -1 1077944384 1559 13256 0 0 69 61 4 3 20 0 15 0 416172284 11113615360 193125 33554432000 4194304 4196468 140722883635472 140518337805488 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
Current children cumulated CPU time: 2424.72 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 772500 KiB

[startup+2442.3 s]
/proc/loadavg: 1.38 1.32 1.34 5/229 29817
/proc/meminfo: memFree=27642016/32770624 swapFree=66999920/67108860
[pid=29436] ppid=29433 vsize=10853140 memory=772564 CPUtime=2485.24 cores=0,2,4,6
/proc/29436/stat : 29436 (java) S 29433 29436 29375 0 -1 1077944320 328835 13256 0 0 248246 271 4 3 20 0 15 0 416172268 11113615360 193141 33554432000 4194304 4196468 140722883635472 140722883618016 140518882471671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
/proc/29436/statm: 2713285 193141 3632 1 0 2675341 0
[pid=29436/tid=29541] ppid=29433 vsize=10853140 memory=772564 CPUtime=2426.44 cores=0,2,4,6
/proc/29436/task/29541/stat : 29541 (java) R 29433 29436 29375 0 -1 4202560 68277 13256 0 0 242598 39 4 3 20 0 15 0 416172277 11113615360 193141 33554432000 4194304 4196468 140722883635472 140518854307728 140518482842486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29546] ppid=29433 vsize=10853140 memory=772564 CPUtime=7.94 cores=0,2,4,6
/proc/29436/task/29546/stat : 29546 (java) S 29433 29436 29375 0 -1 1077944384 15008 13256 0 0 750 37 4 3 20 0 15 0 416172278 11113615360 193141 33554432000 4194304 4196468 140722883635472 140518886714000 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29547] ppid=29433 vsize=10853140 memory=772564 CPUtime=7.92 cores=0,2,4,6
/proc/29436/task/29547/stat : 29547 (java) S 29433 29436 29375 0 -1 1077944384 11415 13256 0 0 749 36 4 3 20 0 15 0 416172278 11113615360 193141 33554432000 4194304 4196468 140722883635472 140518785604112 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29548] ppid=29433 vsize=10853140 memory=772564 CPUtime=7.9 cores=0,2,4,6
/proc/29436/task/29548/stat : 29548 (java) S 29433 29436 29375 0 -1 1077944384 14106 13256 0 0 745 38 4 3 20 0 15 0 416172278 11113615360 193141 33554432000 4194304 4196468 140722883635472 140518784551312 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29549] ppid=29433 vsize=10853140 memory=772564 CPUtime=7.89 cores=0,2,4,6
/proc/29436/task/29549/stat : 29549 (java) S 29433 29436 29375 0 -1 1077944384 9129 13256 0 0 745 37 4 3 20 0 15 0 416172278 11113615360 193141 33554432000 4194304 4196468 140722883635472 140518783498512 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29552] ppid=29433 vsize=10853140 memory=772564 CPUtime=6.48 cores=0,2,4,6
/proc/29436/task/29552/stat : 29552 (java) S 29433 29436 29375 0 -1 1077944384 16233 13256 0 0 608 33 4 3 20 0 15 0 416172280 11113615360 193141 33554432000 4194304 4196468 140722883635472 140518342015856 140518882482818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29554] ppid=29433 vsize=10853140 memory=772564 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29554/stat : 29554 (java) S 29433 29436 29375 0 -1 1077944384 25 13256 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 193141 33554432000 4194304 4196468 140722883635472 140517773928032 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29555] ppid=29433 vsize=10853140 memory=772564 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29555/stat : 29555 (java) S 29433 29436 29375 0 -1 1077944384 4 13256 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 193141 33554432000 4194304 4196468 140722883635472 140517639710080 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29562] ppid=29433 vsize=10853140 memory=772564 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29562/stat : 29562 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 193141 33554432000 4194304 4196468 140722883635472 140517399419216 140518882490267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29563] ppid=29433 vsize=10853140 memory=772564 CPUtime=7.23 cores=0,2,4,6
/proc/29436/task/29563/stat : 29563 (java) S 29433 29436 29375 0 -1 1077944384 58578 13256 0 0 707 9 4 3 20 0 15 0 416172283 11113615360 193141 33554432000 4194304 4196468 140722883635472 140518340962672 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29564] ppid=29433 vsize=10853140 memory=6791534058613427641 CPUtime=7.5 cores=0,2,4,6
/proc/29436/task/29564/stat : 29564 (java) S 29433 29436 29375 0 -1 1077944384 60111 13256 0 0 736 7 4 3 20 0 15 0 416172283 11113615360 193141 33554432000 4194304 4196468 140722883635472 140518339909872 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29565] ppid=29433 vsize=10853140 memory=772564 CPUtime=5.05 cores=0,2,4,6
/proc/29436/task/29565/stat : 29565 (java) S 29433 29436 29375 0 -1 1077944384 72157 13256 0 0 489 9 4 3 20 0 15 0 416172283 11113615360 193141 33554432000 4194304 4196468 140722883635472 140518338857072 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29566] ppid=29433 vsize=10853140 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29566/stat : 29566 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 193141 33554432000 4194304 4196468 140722883635472 140517365860576 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29567] ppid=29433 vsize=10853140 memory=1220 CPUtime=1.41 cores=0,2,4,6
/proc/29436/task/29567/stat : 29567 (java) S 29433 29436 29375 0 -1 1077944384 1576 13256 0 0 71 63 4 3 20 0 15 0 416172284 11113615360 193141 33554432000 4194304 4196468 140722883635472 140518337805488 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
Current children cumulated CPU time: 2485.24 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 772564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2476.8 s]
/proc/loadavg: 1.44 1.33 1.34 4/227 29821
/proc/meminfo: memFree=27641504/32770624 swapFree=66999920/67108860
[pid=29436] ppid=29433 vsize=10853140 memory=772620 CPUtime=2520.03 cores=0,2,4,6
/proc/29436/stat : 29436 (java) S 29433 29436 29375 0 -1 1077944320 329992 13256 0 0 251722 274 4 3 20 0 15 0 416172268 11113615360 193155 33554432000 4194304 4196468 140722883635472 140722883618016 140518882471671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
/proc/29436/statm: 2713285 193155 3632 1 0 2675341 0
[pid=29436/tid=29541] ppid=29433 vsize=10853140 memory=39676 CPUtime=2460.74 cores=0,2,4,6
/proc/29436/task/29541/stat : 29541 (java) R 29433 29436 29375 0 -1 4202560 68731 13256 0 0 246028 39 4 3 20 0 15 0 416172277 11113615360 193155 33554432000 4194304 4196468 140722883635472 140518854307808 140518464562245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29546] ppid=29433 vsize=10853140 memory=988 CPUtime=8.03 cores=0,2,4,6
/proc/29436/task/29546/stat : 29546 (java) S 29433 29436 29375 0 -1 1077944384 15082 13256 0 0 759 37 4 3 20 0 15 0 416172278 11113615360 193155 33554432000 4194304 4196468 140722883635472 140518886714000 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29547] ppid=29433 vsize=10853140 memory=772620 CPUtime=8.02 cores=0,2,4,6
/proc/29436/task/29547/stat : 29547 (java) S 29433 29436 29375 0 -1 1077944384 11784 13256 0 0 759 36 4 3 20 0 15 0 416172278 11113615360 193155 33554432000 4194304 4196468 140722883635472 140518785604112 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29548] ppid=29433 vsize=10853140 memory=4128 CPUtime=8 cores=0,2,4,6
/proc/29436/task/29548/stat : 29548 (java) S 29433 29436 29375 0 -1 1077944384 14119 13256 0 0 754 39 4 3 20 0 15 0 416172278 11113615360 193155 33554432000 4194304 4196468 140722883635472 140518784551312 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29549] ppid=29433 vsize=10853140 memory=3580 CPUtime=7.99 cores=0,2,4,6
/proc/29436/task/29549/stat : 29549 (java) S 29433 29436 29375 0 -1 1077944384 9139 13256 0 0 754 38 4 3 20 0 15 0 416172278 11113615360 193155 33554432000 4194304 4196468 140722883635472 140518783498512 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29552] ppid=29433 vsize=10853140 memory=6791534058613427641 CPUtime=6.56 cores=0,2,4,6
/proc/29436/task/29552/stat : 29552 (java) S 29433 29436 29375 0 -1 1077944384 16449 13256 0 0 615 34 4 3 20 0 15 0 416172280 11113615360 193155 33554432000 4194304 4196468 140722883635472 140518342015856 140518882482818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29554] ppid=29433 vsize=10853140 memory=2020 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29554/stat : 29554 (java) S 29433 29436 29375 0 -1 1077944384 25 13256 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 193155 33554432000 4194304 4196468 140722883635472 140517773928032 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29555] ppid=29433 vsize=10853140 memory=1432 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29555/stat : 29555 (java) S 29433 29436 29375 0 -1 1077944384 4 13256 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 193155 33554432000 4194304 4196468 140722883635472 140517639710080 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29562] ppid=29433 vsize=10853140 memory=9536 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29562/stat : 29562 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 193155 33554432000 4194304 4196468 140722883635472 140517399419216 140518882490267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29563] ppid=29433 vsize=10853140 memory=6791534058613427641 CPUtime=7.23 cores=0,2,4,6
/proc/29436/task/29563/stat : 29563 (java) S 29433 29436 29375 0 -1 1077944384 58580 13256 0 0 707 9 4 3 20 0 15 0 416172283 11113615360 193155 33554432000 4194304 4196468 140722883635472 140518340962672 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29564] ppid=29433 vsize=10853140 memory=5988 CPUtime=7.5 cores=0,2,4,6
/proc/29436/task/29564/stat : 29564 (java) S 29433 29436 29375 0 -1 1077944384 60113 13256 0 0 736 7 4 3 20 0 15 0 416172283 11113615360 193155 33554432000 4194304 4196468 140722883635472 140518339909872 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29565] ppid=29433 vsize=10853140 memory=1544 CPUtime=5.06 cores=0,2,4,6
/proc/29436/task/29565/stat : 29565 (java) S 29433 29436 29375 0 -1 1077944384 72159 13256 0 0 490 9 4 3 20 0 15 0 416172283 11113615360 193155 33554432000 4194304 4196468 140722883635472 140518338857072 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29566] ppid=29433 vsize=10853140 memory=776 CPUtime=0.07 cores=0,2,4,6
/proc/29436/task/29566/stat : 29566 (java) S 29433 29436 29375 0 -1 1077944384 3 13256 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 193155 33554432000 4194304 4196468 140722883635472 140517365860576 140518882481877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
[pid=29436/tid=29567] ppid=29433 vsize=10853140 memory=9536 CPUtime=1.42 cores=0,2,4,6
/proc/29436/task/29567/stat : 29567 (java) S 29433 29436 29375 0 -1 1077944384 1591 13256 0 0 71 64 4 3 20 0 15 0 416172284 11113615360 193155 33554432000 4194304 4196468 140722883635472 140518337805488 140518882482818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36847616 140722883640047 140722883642565 140722883642565 140722883645391 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 772620 KiB

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

[startup+2476.83 s]
# the end of solver process 29436 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.3 s, system=2.79785 s

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

Child status: 143
Real time (s): 2476.83
CPU time (s): 2520.1
CPU user time (s): 2517.3
CPU system time (s): 2.79785
CPU usage (%): 101.747
Max. virtual memory (cumulated for all children) (KiB): 10853932
Max. memory (cumulated for all children) (KiB): 814216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.3
system time used= 2.79785
maximum resident set size= 815856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 198655
involuntary context switches= 6025


# summary of solver processes directly reported to runsolver:
#   pid: 29436
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2517.3
#   total CPU system time (s): 2.79785

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4539 second user time and 25.0796 second system time

The end

Name	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-15-1.xml
MD5SUM	b5169c90aef0d626aba0e990e84095c1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	10
Best CPU time to get the best result obtained on this benchmark	22.9143
Satisfiable
(Un)Satisfiability was proved
Number of variables	1380
Number of constraints	1366
Number of domains	4
Minimum domain size	2
Maximum domain size	16
Distribution of domain sizes	[{"size":2,"count":900},{"size":3,"count":450},{"size":15,"count":15},{"size":16,"count":15}]
Minimum variable degree	2
Maximum variable degree	31
Distribution of variable degrees	[{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}]
Minimum constraint arity	2
Maximum constraint arity	31
Distribution of constraint arities	[{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}]
Number of extensional constraints	450
Number of intensional constraints	450
Distribution of constraint types	[{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4396134

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