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)	14	2520.12	2476.83

0.78/0.56	c Concrete v3.12.2.1568380929293 running
35.52/21.64	o 15
211.28/193.27	o 14
2520.07/2476.81	Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2476.81		at concrete.MAC.mac(MAC.scala:192)
2520.07/2476.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.07/2476.81		at scala.util.Try$.apply(Try.scala:212)
2520.07/2476.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.07/2476.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.07/2476.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.07/2476.81		at concrete.MAC.oneRun(MAC.scala:265)
2520.07/2476.81		at concrete.MAC.nextSolution(MAC.scala:284)
2520.07/2476.81		at concrete.MAC.nextSolution(MAC.scala:369)
2520.07/2476.81		at concrete.Solver.hasNext(Solver.scala:160)
2520.07/2476.81		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2476.81		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2476.81		at concrete.Solver.foreach(Solver.scala:67)
2520.07/2476.81		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.07/2476.81		at scala.util.Success.map(Try.scala:264)
2520.07/2476.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2476.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.07/2476.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.07/2476.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2476.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.07/2476.81		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.07/2476.81		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.07/2476.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.07/2476.81		at scala.App.$anonfun$main$1(App.scala:75)
2520.07/2476.81		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.07/2476.81		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2476.81		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2476.81		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.07/2476.81		at scala.App.main(App.scala:75)
2520.07/2476.81		at scala.App.main$(App.scala:73)
2520.07/2476.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.07/2476.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2476.81	v <instantiation
2520.07/2476.81	v         cost = '14'>
2520.07/2476.81	v       <list>
2520.07/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.07/2476.81	v       </list>
2520.07/2476.81	v       <values>
2520.07/2476.81	v         7 12 1 6 5 2 8 14 9 11 13 10 0 4 3 0 0 0 0 1 1 2 3 3 3 4 4 5 6 6 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 2 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 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 1 1 1 1 2 0 0 0 0 0 0 1 2 2 3 3 3 3 3 3 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 2 2 3 3 3 3 3 3 3 3 3 3 3 3 0 1 1 2 2 2 3 3 4 4 4 4 5 5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 2 2 3 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 0 1 1 1 1 2 3 3 3 3 3 3 3 3 1 1 2 2 3 3 3 3 3 3 3 3 3 3 3 0 1 1 1 2 3 3 3 3 3 4 4 4 4 4 0 0 1 1 1 1 1 2 3 4 4 4 4 4 4 0 1 1 2 2 2 2 2 2 3 3 3 3 3 3 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 3 4 0 0 0 0 0 0 0 0 0 0 1 1 2 3 3 1 1 1 1 2 2 2 2 3 3 3 3 4 4 4 0 1 1 1 1 1 2 3 3 3 3 3 3 4 5 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 3 3 3 3 3 3 3 3 0 0 0 0 1 0 1 1 0 0 1 0 1 1 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 1 0 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 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 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 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 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 1 1 1 1 1 1 1 1 1 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 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 5 9 12 12 14 14 13 14 13 14 11 11 11 9 6
2520.07/2476.81	v       </values>
2520.07/2476.81	v     </instantiation>
2520.07/2476.81	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-4396242-1568399074/watcher-4396242-1568399074 -o /tmp/evaluation-result-4396242-1568399074/solver-4396242-1568399074 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568399035-29407 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1575136040 HOME/instance-4396242-1568399074.xml 

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

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


[startup+0.100116 s]*
/proc/loadavg: 0.61 1.27 1.51 2/206 29545
/proc/meminfo: memFree=29118900/32770624 swapFree=66999916/67108860
[pid=29431] ppid=29427 vsize=9972712 memory=15176 CPUtime=0.08 cores=1,3,5,7
/proc/29431/stat : 29431 (java) S 29427 29431 29375 0 -1 1077944320 4545 13034 0 0 1 0 4 3 20 0 6 0 416172268 10212057088 3794 33554432000 4194304 4196468 140726033806176 140726033788720 140500057558775 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
/proc/29431/statm: 2493178 3794 1935 1 0 2481616 0
[pid=29431/tid=29538] ppid=29427 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/29431/task/29538/stat : 29538 (java) R 29427 29431 29375 0 -1 4202560 2348 13034 0 0 1 0 4 3 20 0 6 0 416172277 10212057088 3794 33554432000 4194304 4196468 140726033806176 140500029395536 140500041639262 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29542] ppid=29427 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29542/stat : 29542 (java) S 29427 29431 29375 0 -1 1077944384 2 13034 0 0 0 0 4 3 20 0 6 0 416172278 10212057088 3794 33554432000 4194304 4196468 140726033806176 140500061800720 140500057568981 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29543] ppid=29427 vsize=9972712 memory=3978288122517477024 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29543/stat : 29543 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 6 0 416172278 10212057088 3794 33554432000 4194304 4196468 140726033806176 140499991558544 140500057568981 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29544] ppid=29427 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29544/stat : 29544 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 6 0 416172278 10212057088 3794 33554432000 4194304 4196468 140726033806176 140499629828624 140500057568981 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29545] ppid=29427 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29545/stat : 29545 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 6 0 416172278 10212057088 3794 33554432000 4194304 4196468 140726033806176 140499628776080 140500057568981 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15176 KiB

[startup+0.210017 s]*
/proc/loadavg: 0.61 1.27 1.51 6/228 29567
/proc/meminfo: memFree=29075516/32770624 swapFree=66999916/67108860
[pid=29431] ppid=29427 vsize=10819664 memory=38476 CPUtime=0.25 cores=1,3,5,7
/proc/29431/stat : 29431 (java) S 29427 29431 29375 0 -1 1077944320 7460 13034 0 0 17 1 4 3 20 0 15 0 416172268 11079335936 9619 33554432000 4194304 4196468 140726033806176 140726033788720 140500057558775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
/proc/29431/statm: 2704916 9619 3162 1 0 2667149 0
[pid=29431/tid=29538] ppid=29427 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/29431/task/29538/stat : 29538 (java) R 29427 29431 29375 0 -1 4202560 3883 13034 0 0 11 1 4 3 20 0 15 0 416172277 11079335936 9619 33554432000 4194304 4196468 140726033806176 140500029364576 140500041639262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29542] ppid=29427 vsize=10819664 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29542/stat : 29542 (java) S 29427 29431 29375 0 -1 1077944384 2 13034 0 0 0 0 4 3 20 0 15 0 416172278 11079335936 9619 33554432000 4194304 4196468 140726033806176 140500061800720 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29543] ppid=29427 vsize=10819664 memory=140471250297243 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29543/stat : 29543 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172278 11079335936 9619 33554432000 4194304 4196468 140726033806176 140499991558544 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29544] ppid=29427 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29544/stat : 29544 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172278 11079335936 9619 33554432000 4194304 4196468 140726033806176 140499629828624 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29545] ppid=29427 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29545/stat : 29545 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172278 11079335936 9619 33554432000 4194304 4196468 140726033806176 140499628776080 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29550] ppid=29427 vsize=10819664 memory=140471247263360 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29550/stat : 29550 (java) S 29427 29431 29375 0 -1 1077944384 2 13034 0 0 0 0 4 3 20 0 15 0 416172279 11079335936 9619 33554432000 4194304 4196468 140726033806176 140499329395184 140500057569922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29551] ppid=29427 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29551/stat : 29551 (java) S 29427 29431 29375 0 -1 1077944384 13 13034 0 0 0 0 4 3 20 0 15 0 416172279 11079335936 9619 33554432000 4194304 4196468 140726033806176 140499050554784 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29553] ppid=29427 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29553/stat : 29553 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172280 11079335936 9619 33554432000 4194304 4196468 140726033806176 140498849228272 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29556] ppid=29427 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29556/stat : 29556 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172282 11079335936 9619 33554432000 4194304 4196468 140726033806176 140498608937680 140500057577371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29557] ppid=29427 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29431/task/29557/stat : 29557 (java) S 29427 29431 29375 0 -1 1077944384 615 13034 0 0 1 0 4 3 20 0 15 0 416172282 11079335936 9619 33554432000 4194304 4196468 140726033806176 140499328342000 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29558] ppid=29427 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29558/stat : 29558 (java) S 29427 29431 29375 0 -1 1077944384 59 13034 0 0 0 0 4 3 20 0 15 0 416172282 11079335936 9619 33554432000 4194304 4196468 140726033806176 140499327289456 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29559] ppid=29427 vsize=10819664 memory=140471247263360 CPUtime=0.1 cores=1,3,5,7
/proc/29431/task/29559/stat : 29559 (java) S 29427 29431 29375 0 -1 1077944384 671 13034 0 0 3 0 4 3 20 0 15 0 416172282 11079335936 9619 33554432000 4194304 4196468 140726033806176 140499326236912 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29560] ppid=29427 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29560/stat : 29560 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172283 11079335936 9619 33554432000 4194304 4196468 140726033806176 140498575379040 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29561] ppid=29427 vsize=10819664 memory=140471247263360 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29561/stat : 29561 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172283 11079335936 9619 33554432000 4194304 4196468 140726033806176 140499325184816 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38476 KiB

[startup+0.310613 s]*
/proc/loadavg: 0.61 1.27 1.51 3/228 29567
/proc/meminfo: memFree=29047740/32770624 swapFree=66999916/67108860
[pid=29431] ppid=29427 vsize=10820148 memory=49600 CPUtime=0.4 cores=1,3,5,7
/proc/29431/stat : 29431 (java) S 29427 29431 29375 0 -1 1077944320 11206 13034 0 0 29 4 4 3 20 0 15 0 416172268 11079831552 12400 33554432000 4194304 4196468 140726033806176 140726033788720 140500057558775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
/proc/29431/statm: 2705037 12400 3294 1 0 2667149 0
[pid=29431/tid=29538] ppid=29427 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/29431/task/29538/stat : 29538 (java) R 29427 29431 29375 0 -1 4202560 7562 13034 0 0 19 3 4 3 20 0 15 0 416172277 11079831552 12400 33554432000 4194304 4196468 140726033806176 140500029372096 140500041639262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29542] ppid=29427 vsize=10820148 memory=6935054825532540783 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29542/stat : 29542 (java) S 29427 29431 29375 0 -1 1077944384 2 13034 0 0 0 0 4 3 20 0 15 0 416172278 11079831552 12400 33554432000 4194304 4196468 140726033806176 140500061800720 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29543] ppid=29427 vsize=10820148 memory=140471247270353 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29543/stat : 29543 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172278 11079831552 12400 33554432000 4194304 4196468 140726033806176 140499991558544 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29544] ppid=29427 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29544/stat : 29544 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172278 11079831552 12400 33554432000 4194304 4196468 140726033806176 140499629828624 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29545] ppid=29427 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29545/stat : 29545 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172278 11079831552 12400 33554432000 4194304 4196468 140726033806176 140499628776080 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29550] ppid=29427 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29550/stat : 29550 (java) S 29427 29431 29375 0 -1 1077944384 2 13034 0 0 0 0 4 3 20 0 15 0 416172279 11079831552 12400 33554432000 4194304 4196468 140726033806176 140499329395184 140500057569922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29551] ppid=29427 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29551/stat : 29551 (java) S 29427 29431 29375 0 -1 1077944384 13 13034 0 0 0 0 4 3 20 0 15 0 416172279 11079831552 12400 33554432000 4194304 4196468 140726033806176 140499050554784 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29553] ppid=29427 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29553/stat : 29553 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172280 11079831552 12400 33554432000 4194304 4196468 140726033806176 140498849228272 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29556] ppid=29427 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29556/stat : 29556 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172282 11079831552 12400 33554432000 4194304 4196468 140726033806176 140498608937680 140500057577371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29557] ppid=29427 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29431/task/29557/stat : 29557 (java) S 29427 29431 29375 0 -1 1077944384 631 13034 0 0 2 0 4 3 20 0 15 0 416172282 11079831552 12400 33554432000 4194304 4196468 140726033806176 140499328342000 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29558] ppid=29427 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29431/task/29558/stat : 29558 (java) S 29427 29431 29375 0 -1 1077944384 65 13034 0 0 1 0 4 3 20 0 15 0 416172282 11079831552 12400 33554432000 4194304 4196468 140726033806176 140499327289456 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29559] ppid=29427 vsize=10820148 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29431/task/29559/stat : 29559 (java) S 29427 29431 29375 0 -1 1077944384 715 13034 0 0 5 0 4 3 20 0 15 0 416172282 11079831552 12400 33554432000 4194304 4196468 140726033806176 140499326236912 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29560] ppid=29427 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29560/stat : 29560 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172283 11079831552 12400 33554432000 4194304 4196468 140726033806176 140498575379040 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29561] ppid=29427 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29561/stat : 29561 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172283 11079831552 12400 33554432000 4194304 4196468 140726033806176 140499325184816 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49600 KiB

[startup+0.703248 s]
/proc/loadavg: 0.61 1.27 1.51 3/228 29567
/proc/meminfo: memFree=29022776/32770624 swapFree=66999916/67108860
[pid=29431] ppid=29427 vsize=10824360 memory=84780 CPUtime=1.13 cores=1,3,5,7
/proc/29431/stat : 29431 (java) S 29427 29431 29375 0 -1 1077944320 15340 13034 0 0 101 5 4 3 20 0 15 0 416172268 11084144640 21195 33554432000 4194304 4196468 140726033806176 140726033788720 140500057558775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
/proc/29431/statm: 2706090 21195 3511 1 0 2668173 0
[pid=29431/tid=29538] ppid=29427 vsize=10824360 memory=3580 CPUtime=0.66 cores=1,3,5,7
/proc/29431/task/29538/stat : 29538 (java) R 29427 29431 29375 0 -1 4202560 10328 13034 0 0 55 4 4 3 20 0 15 0 416172277 11084144640 21195 33554432000 4194304 4196468 140726033806176 140500029365744 140499661777486 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29542] ppid=29427 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29542/stat : 29542 (java) S 29427 29431 29375 0 -1 1077944384 2 13034 0 0 0 0 4 3 20 0 15 0 416172278 11084144640 21195 33554432000 4194304 4196468 140726033806176 140500061800720 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29543] ppid=29427 vsize=10824360 memory=1432 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29543/stat : 29543 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172278 11084144640 21195 33554432000 4194304 4196468 140726033806176 140499991558544 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29544] ppid=29427 vsize=10824360 memory=9536 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29544/stat : 29544 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172278 11084144640 21195 33554432000 4194304 4196468 140726033806176 140499629828624 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29545] ppid=29427 vsize=10824360 memory=692 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29545/stat : 29545 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172278 11084144640 21195 33554432000 4194304 4196468 140726033806176 140499628776080 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29550] ppid=29427 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29550/stat : 29550 (java) S 29427 29431 29375 0 -1 1077944384 5 13034 0 0 0 0 4 3 20 0 15 0 416172279 11084144640 21195 33554432000 4194304 4196468 140726033806176 140499329395184 140500057569922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29551] ppid=29427 vsize=10824360 memory=3058660135923630176 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29551/stat : 29551 (java) S 29427 29431 29375 0 -1 1077944384 13 13034 0 0 0 0 4 3 20 0 15 0 416172279 11084144640 21195 33554432000 4194304 4196468 140726033806176 140499050554784 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29553] ppid=29427 vsize=10824360 memory=-7970072309427720150 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29553/stat : 29553 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172280 11084144640 21195 33554432000 4194304 4196468 140726033806176 140498849228272 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29556] ppid=29427 vsize=10824360 memory=4638778428800651600 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29556/stat : 29556 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172282 11084144640 21195 33554432000 4194304 4196468 140726033806176 140498608937680 140500057577371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29557] ppid=29427 vsize=10824360 memory=4638778398332698720 CPUtime=0.22 cores=1,3,5,7
/proc/29431/task/29557/stat : 29557 (java) R 29427 29431 29375 0 -1 4202560 1255 13034 0 0 15 0 4 3 20 0 15 0 416172282 11084144640 21195 33554432000 4194304 4196468 140726033806176 140499328342000 140500036723328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29558] ppid=29427 vsize=10824360 memory=9120181347858145840 CPUtime=0.18 cores=1,3,5,7
/proc/29431/task/29558/stat : 29558 (java) S 29427 29431 29375 0 -1 1077944384 473 13034 0 0 11 0 4 3 20 0 15 0 416172282 11084144640 21195 33554432000 4194304 4196468 140726033806176 140499327289456 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29559] ppid=29427 vsize=10824360 memory=6935649255759571030 CPUtime=0.24 cores=1,3,5,7
/proc/29431/task/29559/stat : 29559 (java) S 29427 29431 29375 0 -1 1077944384 1048 13034 0 0 17 0 4 3 20 0 15 0 416172282 11084144640 21195 33554432000 4194304 4196468 140726033806176 140499326236912 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29560] ppid=29427 vsize=10824360 memory=5776200955640963136 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29560/stat : 29560 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172283 11084144640 21195 33554432000 4194304 4196468 140726033806176 140498575379040 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29561] ppid=29427 vsize=10824360 memory=6935649255759570769 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29561/stat : 29561 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172283 11084144640 21195 33554432000 4194304 4196468 140726033806176 140499325184816 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 84780 KiB

[startup+1.50078 s]
/proc/loadavg: 0.61 1.27 1.51 9/228 29567
/proc/meminfo: memFree=28917120/32770624 swapFree=66999916/67108860
[pid=29431] ppid=29427 vsize=10834676 memory=205396 CPUtime=3.08 cores=1,3,5,7
/proc/29431/stat : 29431 (java) S 29427 29431 29375 0 -1 1077944320 30138 13034 0 0 290 11 4 3 20 0 15 0 416172268 11094708224 51349 33554432000 4194304 4196468 140726033806176 140726033788720 140500057558775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
/proc/29431/statm: 2708669 51349 3590 1 0 2670733 0
[pid=29431/tid=29538] ppid=29427 vsize=10834676 memory=7 CPUtime=1.41 cores=1,3,5,7
/proc/29431/task/29538/stat : 29538 (java) R 29427 29431 29375 0 -1 4202560 15803 13034 0 0 129 5 4 3 20 0 15 0 416172277 11094708224 51349 33554432000 4194304 4196468 140726033806176 140500029375552 140500057580701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29542] ppid=29427 vsize=10834676 memory=1432 CPUtime=0.08 cores=1,3,5,7
/proc/29431/task/29542/stat : 29542 (java) S 29427 29431 29375 0 -1 1077944384 67 13034 0 0 1 0 4 3 20 0 15 0 416172278 11094708224 51349 33554432000 4194304 4196468 140726033806176 140500061800720 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29543] ppid=29427 vsize=10834676 memory=9536 CPUtime=0.08 cores=1,3,5,7
/proc/29431/task/29543/stat : 29543 (java) S 29427 29431 29375 0 -1 1077944384 299 13034 0 0 1 0 4 3 20 0 15 0 416172278 11094708224 51349 33554432000 4194304 4196468 140726033806176 140499991558544 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29544] ppid=29427 vsize=10834676 memory=692 CPUtime=0.08 cores=1,3,5,7
/proc/29431/task/29544/stat : 29544 (java) S 29427 29431 29375 0 -1 1077944384 39 13034 0 0 1 0 4 3 20 0 15 0 416172278 11094708224 51349 33554432000 4194304 4196468 140726033806176 140499629828624 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29545] ppid=29427 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29431/task/29545/stat : 29545 (java) S 29427 29431 29375 0 -1 1077944384 76 13034 0 0 1 0 4 3 20 0 15 0 416172278 11094708224 51349 33554432000 4194304 4196468 140726033806176 140499628776080 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29550] ppid=29427 vsize=10834676 memory=-6441967611270944909 CPUtime=0.08 cores=1,3,5,7
/proc/29431/task/29550/stat : 29550 (java) S 29427 29431 29375 0 -1 1077944384 103 13034 0 0 1 0 4 3 20 0 15 0 416172279 11094708224 51349 33554432000 4194304 4196468 140726033806176 140499329395184 140500057569922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29551] ppid=29427 vsize=10834676 memory=3833161624319373824 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29551/stat : 29551 (java) S 29427 29431 29375 0 -1 1077944384 13 13034 0 0 0 0 4 3 20 0 15 0 416172279 11094708224 51349 33554432000 4194304 4196468 140726033806176 140499050554848 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29553] ppid=29427 vsize=10834676 memory=3833443129293484800 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29553/stat : 29553 (java) S 29427 29431 29375 0 -1 1077944384 2 13034 0 0 0 0 4 3 20 0 15 0 416172280 11094708224 51349 33554432000 4194304 4196468 140726033806176 140498849228288 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29556] ppid=29427 vsize=10834676 memory=32 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29556/stat : 29556 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172282 11094708224 51349 33554432000 4194304 4196468 140726033806176 140498608937680 140500057577371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29557] ppid=29427 vsize=10834676 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/29431/task/29557/stat : 29557 (java) S 29427 29431 29375 0 -1 1077944384 5903 13034 0 0 57 1 4 3 20 0 15 0 416172282 11094708224 51349 33554432000 4194304 4196468 140726033806176 140499328342000 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29558] ppid=29427 vsize=10834676 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/29431/task/29558/stat : 29558 (java) S 29427 29431 29375 0 -1 1077944384 2693 13034 0 0 49 0 4 3 20 0 15 0 416172282 11094708224 51349 33554432000 4194304 4196468 140726033806176 140499327289456 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29559] ppid=29427 vsize=10834676 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/29431/task/29559/stat : 29559 (java) S 29427 29431 29375 0 -1 1077944384 2928 13034 0 0 45 0 4 3 20 0 15 0 416172282 11094708224 51349 33554432000 4194304 4196468 140726033806176 140499326236912 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29560] ppid=29427 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29560/stat : 29560 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172283 11094708224 51349 33554432000 4194304 4196468 140726033806176 140498575379040 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29561] ppid=29427 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29561/stat : 29561 (java) S 29427 29431 29375 0 -1 1077944384 1 13034 0 0 0 0 4 3 20 0 15 0 416172283 11094708224 51349 33554432000 4194304 4196468 140726033806176 140499325184816 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 10834676 KiB

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

/proc/29431/task/29538/stat : 29538 (java) R 29427 29431 29375 0 -1 4202560 59063 13034 0 0 230559 36 4 3 20 0 15 0 416172277 11113615360 182514 33554432000 4194304 4196468 140726033806176 140500029394768 140499681820821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29542] ppid=29427 vsize=10853140 memory=730056 CPUtime=8.01 cores=1,3,5,7
/proc/29431/task/29542/stat : 29542 (java) S 29427 29431 29375 0 -1 1077944384 5318 13034 0 0 760 34 4 3 20 0 15 0 416172278 11113615360 182514 33554432000 4194304 4196468 140726033806176 140500061800720 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29543] ppid=29427 vsize=10853140 memory=730056 CPUtime=7.97 cores=1,3,5,7
/proc/29431/task/29543/stat : 29543 (java) S 29427 29431 29375 0 -1 1077944384 8631 13034 0 0 754 36 4 3 20 0 15 0 416172278 11113615360 182514 33554432000 4194304 4196468 140726033806176 140499991558544 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29544] ppid=29427 vsize=10853140 memory=730056 CPUtime=7.97 cores=1,3,5,7
/proc/29431/task/29544/stat : 29544 (java) S 29427 29431 29375 0 -1 1077944384 7274 13034 0 0 756 34 4 3 20 0 15 0 416172278 11113615360 182514 33554432000 4194304 4196468 140726033806176 140499629828624 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29545] ppid=29427 vsize=10853140 memory=0 CPUtime=7.96 cores=1,3,5,7
/proc/29431/task/29545/stat : 29545 (java) S 29427 29431 29375 0 -1 1077944384 9683 13034 0 0 754 35 4 3 20 0 15 0 416172278 11113615360 182514 33554432000 4194304 4196468 140726033806176 140499628776080 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29550] ppid=29427 vsize=10853140 memory=730056 CPUtime=6.33 cores=1,3,5,7
/proc/29431/task/29550/stat : 29550 (java) S 29427 29431 29375 0 -1 1077944384 10492 13034 0 0 591 35 4 3 20 0 15 0 416172279 11113615360 182514 33554432000 4194304 4196468 140726033806176 140499329395184 140500057569922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29551] ppid=29427 vsize=10853140 memory=730056 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29551/stat : 29551 (java) S 29427 29431 29375 0 -1 1077944384 27 13034 0 0 0 0 4 3 20 0 15 0 416172279 11113615360 182514 33554432000 4194304 4196468 140726033806176 140499050554848 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29553] ppid=29427 vsize=10853140 memory=992 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29553/stat : 29553 (java) S 29427 29431 29375 0 -1 1077944384 8 13034 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 182514 33554432000 4194304 4196468 140726033806176 140498849228288 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29556] ppid=29427 vsize=10853140 memory=5988 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29556/stat : 29556 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172282 11113615360 182514 33554432000 4194304 4196468 140726033806176 140498608937680 140500057577371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29557] ppid=29427 vsize=10853140 memory=730056 CPUtime=6.86 cores=1,3,5,7
/proc/29431/task/29557/stat : 29557 (java) S 29427 29431 29375 0 -1 1077944384 43472 13034 0 0 672 7 4 3 20 0 15 0 416172282 11113615360 182514 33554432000 4194304 4196468 140726033806176 140499328342000 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29558] ppid=29427 vsize=10853140 memory=730056 CPUtime=7.24 cores=1,3,5,7
/proc/29431/task/29558/stat : 29558 (java) S 29427 29431 29375 0 -1 1077944384 44587 13034 0 0 711 6 4 3 20 0 15 0 416172282 11113615360 182514 33554432000 4194304 4196468 140726033806176 140499327289456 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29559] ppid=29427 vsize=10853140 memory=164 CPUtime=4.9 cores=1,3,5,7
/proc/29431/task/29559/stat : 29559 (java) S 29427 29431 29375 0 -1 1077944384 50827 13034 0 0 472 11 4 3 20 0 15 0 416172282 11113615360 182514 33554432000 4194304 4196468 140726033806176 140499326236912 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29560] ppid=29427 vsize=10853140 memory=-7595754389018307680 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29560/stat : 29560 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 182514 33554432000 4194304 4196468 140726033806176 140498575379040 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29561] ppid=29427 vsize=10853140 memory=730056 CPUtime=1.26 cores=1,3,5,7
/proc/29431/task/29561/stat : 29561 (java) S 29427 29431 29375 0 -1 1077944384 1384 13034 0 0 56 63 4 3 20 0 15 0 416172283 11113615360 182514 33554432000 4194304 4196468 140726033806176 140499325184816 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
Current children cumulated CPU time: 2363.98 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 730056 KiB

[startup+2382.3 s]
/proc/loadavg: 1.25 1.30 1.34 3/229 29813
/proc/meminfo: memFree=27644124/32770624 swapFree=66999920/67108860
[pid=29431] ppid=29427 vsize=10853140 memory=730072 CPUtime=2424.57 cores=1,3,5,7
/proc/29431/stat : 29431 (java) S 29427 29431 29375 0 -1 1077944320 244315 13034 0 0 242186 264 4 3 20 0 15 0 416172268 11113615360 182518 33554432000 4194304 4196468 140726033806176 140726033788720 140500057558775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
/proc/29431/statm: 2713285 182518 3635 1 0 2675341 0
[pid=29431/tid=29538] ppid=29427 vsize=10853140 memory=730056 CPUtime=2365.65 cores=1,3,5,7
/proc/29431/task/29538/stat : 29538 (java) R 29427 29431 29375 0 -1 4202560 59539 13034 0 0 236521 37 4 3 20 0 15 0 416172277 11113615360 182518 33554432000 4194304 4196468 140726033806176 140500029394768 140499680299126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29542] ppid=29427 vsize=10853140 memory=730072 CPUtime=8.2 cores=1,3,5,7
/proc/29431/task/29542/stat : 29542 (java) S 29427 29431 29375 0 -1 1077944384 5540 13034 0 0 779 34 4 3 20 0 15 0 416172278 11113615360 182518 33554432000 4194304 4196468 140726033806176 140500061800720 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29543] ppid=29427 vsize=10853140 memory=730072 CPUtime=8.15 cores=1,3,5,7
/proc/29431/task/29543/stat : 29543 (java) S 29427 29431 29375 0 -1 1077944384 8753 13034 0 0 772 36 4 3 20 0 15 0 416172278 11113615360 182518 33554432000 4194304 4196468 140726033806176 140499991558544 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29544] ppid=29427 vsize=10853140 memory=730072 CPUtime=8.16 cores=1,3,5,7
/proc/29431/task/29544/stat : 29544 (java) S 29427 29431 29375 0 -1 1077944384 7597 13034 0 0 774 35 4 3 20 0 15 0 416172278 11113615360 182518 33554432000 4194304 4196468 140726033806176 140499629828624 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29545] ppid=29427 vsize=10853140 memory=730072 CPUtime=8.16 cores=1,3,5,7
/proc/29431/task/29545/stat : 29545 (java) S 29427 29431 29375 0 -1 1077944384 9721 13034 0 0 773 36 4 3 20 0 15 0 416172278 11113615360 182518 33554432000 4194304 4196468 140726033806176 140499628776080 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29550] ppid=29427 vsize=10853140 memory=730072 CPUtime=6.48 cores=1,3,5,7
/proc/29431/task/29550/stat : 29550 (java) S 29427 29431 29375 0 -1 1077944384 10626 13034 0 0 605 36 4 3 20 0 15 0 416172279 11113615360 182518 33554432000 4194304 4196468 140726033806176 140499329395184 140500057569922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29551] ppid=29427 vsize=10853140 memory=2257 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29551/stat : 29551 (java) S 29427 29431 29375 0 -1 1077944384 27 13034 0 0 0 0 4 3 20 0 15 0 416172279 11113615360 182518 33554432000 4194304 4196468 140726033806176 140499050554848 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29553] ppid=29427 vsize=10853140 memory=803 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29553/stat : 29553 (java) S 29427 29431 29375 0 -1 1077944384 8 13034 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 182518 33554432000 4194304 4196468 140726033806176 140498849228288 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29556] ppid=29427 vsize=10853140 memory=730072 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29556/stat : 29556 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172282 11113615360 182518 33554432000 4194304 4196468 140726033806176 140498608937680 140500057577371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29557] ppid=29427 vsize=10853140 memory=4108 CPUtime=6.86 cores=1,3,5,7
/proc/29431/task/29557/stat : 29557 (java) S 29427 29431 29375 0 -1 1077944384 43474 13034 0 0 672 7 4 3 20 0 15 0 416172282 11113615360 182518 33554432000 4194304 4196468 140726033806176 140499328342000 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29558] ppid=29427 vsize=10853140 memory=730056 CPUtime=7.24 cores=1,3,5,7
/proc/29431/task/29558/stat : 29558 (java) S 29427 29431 29375 0 -1 1077944384 44589 13034 0 0 711 6 4 3 20 0 15 0 416172282 11113615360 182518 33554432000 4194304 4196468 140726033806176 140499327289456 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29559] ppid=29427 vsize=10853140 memory=730056 CPUtime=4.9 cores=1,3,5,7
/proc/29431/task/29559/stat : 29559 (java) S 29427 29431 29375 0 -1 1077944384 50829 13034 0 0 472 11 4 3 20 0 15 0 416172282 11113615360 182518 33554432000 4194304 4196468 140726033806176 140499326236912 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29560] ppid=29427 vsize=10853140 memory=2020 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29560/stat : 29560 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 182518 33554432000 4194304 4196468 140726033806176 140498575379040 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29561] ppid=29427 vsize=10853140 memory=1432 CPUtime=1.29 cores=1,3,5,7
/proc/29431/task/29561/stat : 29561 (java) S 29427 29431 29375 0 -1 1077944384 1401 13034 0 0 57 65 4 3 20 0 15 0 416172283 11113615360 182518 33554432000 4194304 4196468 140726033806176 140499325184816 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
Current children cumulated CPU time: 2424.57 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 730072 KiB

[startup+2442.3 s]
/proc/loadavg: 1.38 1.32 1.34 3/229 29817
/proc/meminfo: memFree=27642016/32770624 swapFree=66999920/67108860
[pid=29431] ppid=29427 vsize=10853140 memory=732120 CPUtime=2485.21 cores=1,3,5,7
/proc/29431/stat : 29431 (java) S 29427 29431 29375 0 -1 1077944320 245117 13034 0 0 248245 269 4 3 20 0 15 0 416172268 11113615360 183030 33554432000 4194304 4196468 140726033806176 140726033788720 140500057558775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
/proc/29431/statm: 2713285 183030 3635 1 0 2675341 0
[pid=29431/tid=29538] ppid=29427 vsize=10853140 memory=732120 CPUtime=2425.22 cores=1,3,5,7
/proc/29431/task/29538/stat : 29538 (java) R 29427 29431 29375 0 -1 4202560 59940 13034 0 0 242478 37 4 3 20 0 15 0 416172277 11113615360 183030 33554432000 4194304 4196468 140726033806176 140500029394912 140499666293840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29542] ppid=29427 vsize=10853140 memory=732120 CPUtime=8.42 cores=1,3,5,7
/proc/29431/task/29542/stat : 29542 (java) S 29427 29431 29375 0 -1 1077944384 5561 13034 0 0 800 35 4 3 20 0 15 0 416172278 11113615360 183030 33554432000 4194304 4196468 140726033806176 140500061800720 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29543] ppid=29427 vsize=10853140 memory=730072 CPUtime=8.37 cores=1,3,5,7
/proc/29431/task/29543/stat : 29543 (java) S 29427 29431 29375 0 -1 1077944384 8789 13034 0 0 793 37 4 3 20 0 15 0 416172278 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499991558544 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29544] ppid=29427 vsize=10853140 memory=730072 CPUtime=8.38 cores=1,3,5,7
/proc/29431/task/29544/stat : 29544 (java) S 29427 29431 29375 0 -1 1077944384 7872 13034 0 0 795 36 4 3 20 0 15 0 416172278 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499629828624 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29545] ppid=29427 vsize=10853140 memory=730072 CPUtime=8.36 cores=1,3,5,7
/proc/29431/task/29545/stat : 29545 (java) S 29427 29431 29375 0 -1 1077944384 9752 13034 0 0 793 36 4 3 20 0 15 0 416172278 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499628776080 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29550] ppid=29427 vsize=10853140 memory=730072 CPUtime=6.64 cores=1,3,5,7
/proc/29431/task/29550/stat : 29550 (java) S 29427 29431 29375 0 -1 1077944384 10662 13034 0 0 621 36 4 3 20 0 15 0 416172279 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499329395184 140500057569922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29551] ppid=29427 vsize=10853140 memory=732120 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29551/stat : 29551 (java) S 29427 29431 29375 0 -1 1077944384 27 13034 0 0 0 0 4 3 20 0 15 0 416172279 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499050554848 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29553] ppid=29427 vsize=10853140 memory=732120 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29553/stat : 29553 (java) S 29427 29431 29375 0 -1 1077944384 8 13034 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 183030 33554432000 4194304 4196468 140726033806176 140498849228288 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29556] ppid=29427 vsize=10853140 memory=732120 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29556/stat : 29556 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172282 11113615360 183030 33554432000 4194304 4196468 140726033806176 140498608937680 140500057577371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29557] ppid=29427 vsize=10853140 memory=732120 CPUtime=6.86 cores=1,3,5,7
/proc/29431/task/29557/stat : 29557 (java) S 29427 29431 29375 0 -1 1077944384 43474 13034 0 0 672 7 4 3 20 0 15 0 416172282 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499328342000 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29558] ppid=29427 vsize=10853140 memory=732120 CPUtime=7.24 cores=1,3,5,7
/proc/29431/task/29558/stat : 29558 (java) S 29427 29431 29375 0 -1 1077944384 44589 13034 0 0 711 6 4 3 20 0 15 0 416172282 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499327289456 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29559] ppid=29427 vsize=10853140 memory=732120 CPUtime=4.9 cores=1,3,5,7
/proc/29431/task/29559/stat : 29559 (java) S 29427 29431 29375 0 -1 1077944384 50829 13034 0 0 472 11 4 3 20 0 15 0 416172282 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499326236912 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29560] ppid=29427 vsize=10853140 memory=732120 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29560/stat : 29560 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 183030 33554432000 4194304 4196468 140726033806176 140498575379040 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29561] ppid=29427 vsize=10853140 memory=732120 CPUtime=1.33 cores=1,3,5,7
/proc/29431/task/29561/stat : 29561 (java) S 29427 29431 29375 0 -1 1077944384 1403 13034 0 0 60 66 4 3 20 0 15 0 416172283 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499325184816 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
Current children cumulated CPU time: 2485.21 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 732120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2476.8 s]
/proc/loadavg: 1.44 1.33 1.34 3/227 29821
/proc/meminfo: memFree=27641504/32770624 swapFree=66999920/67108860
[pid=29431] ppid=29427 vsize=10853140 memory=732120 CPUtime=2520.07 cores=1,3,5,7
/proc/29431/stat : 29431 (java) S 29427 29431 29375 0 -1 1077944320 245524 13034 0 0 251729 271 4 3 20 0 15 0 416172268 11113615360 183030 33554432000 4194304 4196468 140726033806176 140726033788720 140500057558775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
/proc/29431/statm: 2713285 183030 3635 1 0 2675341 0
[pid=29431/tid=29538] ppid=29427 vsize=10853140 memory=39676 CPUtime=2459.49 cores=1,3,5,7
/proc/29431/task/29538/stat : 29538 (java) R 29427 29431 29375 0 -1 4202560 60172 13034 0 0 245904 38 4 3 20 0 15 0 416172277 11113615360 183030 33554432000 4194304 4196468 140726033806176 140500029394352 140499682156530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29542] ppid=29427 vsize=10853140 memory=732120 CPUtime=8.54 cores=1,3,5,7
/proc/29431/task/29542/stat : 29542 (java) S 29427 29431 29375 0 -1 1077944384 5609 13034 0 0 812 35 4 3 20 0 15 0 416172278 11113615360 183030 33554432000 4194304 4196468 140726033806176 140500061800720 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29543] ppid=29427 vsize=10853140 memory=732120 CPUtime=8.5 cores=1,3,5,7
/proc/29431/task/29543/stat : 29543 (java) S 29427 29431 29375 0 -1 1077944384 8795 13034 0 0 805 38 4 3 20 0 15 0 416172278 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499991558544 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29544] ppid=29427 vsize=10853140 memory=732120 CPUtime=8.5 cores=1,3,5,7
/proc/29431/task/29544/stat : 29544 (java) S 29427 29431 29375 0 -1 1077944384 7889 13034 0 0 807 36 4 3 20 0 15 0 416172278 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499629828624 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29545] ppid=29427 vsize=10853140 memory=988 CPUtime=8.49 cores=1,3,5,7
/proc/29431/task/29545/stat : 29545 (java) S 29427 29431 29375 0 -1 1077944384 9767 13034 0 0 805 37 4 3 20 0 15 0 416172278 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499628776080 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29550] ppid=29427 vsize=10853140 memory=732120 CPUtime=6.73 cores=1,3,5,7
/proc/29431/task/29550/stat : 29550 (java) S 29427 29431 29375 0 -1 1077944384 10741 13034 0 0 630 36 4 3 20 0 15 0 416172279 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499329395184 140500057569922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29551] ppid=29427 vsize=10853140 memory=5988 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29551/stat : 29551 (java) S 29427 29431 29375 0 -1 1077944384 27 13034 0 0 0 0 4 3 20 0 15 0 416172279 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499050554848 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29553] ppid=29427 vsize=10853140 memory=14012 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29553/stat : 29553 (java) S 29427 29431 29375 0 -1 1077944384 8 13034 0 0 0 0 4 3 20 0 15 0 416172280 11113615360 183030 33554432000 4194304 4196468 140726033806176 140498849228288 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29556] ppid=29427 vsize=10853140 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29556/stat : 29556 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172282 11113615360 183030 33554432000 4194304 4196468 140726033806176 140498608937680 140500057577371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29557] ppid=29427 vsize=10853140 memory=6791534058613427641 CPUtime=6.86 cores=1,3,5,7
/proc/29431/task/29557/stat : 29557 (java) S 29427 29431 29375 0 -1 1077944384 43476 13034 0 0 672 7 4 3 20 0 15 0 416172282 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499328342000 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29558] ppid=29427 vsize=10853140 memory=1220 CPUtime=7.24 cores=1,3,5,7
/proc/29431/task/29558/stat : 29558 (java) S 29427 29431 29375 0 -1 1077944384 44591 13034 0 0 711 6 4 3 20 0 15 0 416172282 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499327289456 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29559] ppid=29427 vsize=10853140 memory=992 CPUtime=4.9 cores=1,3,5,7
/proc/29431/task/29559/stat : 29559 (java) S 29427 29431 29375 0 -1 1077944384 50831 13034 0 0 472 11 4 3 20 0 15 0 416172282 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499326236912 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29560] ppid=29427 vsize=10853140 memory=5988 CPUtime=0.07 cores=1,3,5,7
/proc/29431/task/29560/stat : 29560 (java) S 29427 29431 29375 0 -1 1077944384 3 13034 0 0 0 0 4 3 20 0 15 0 416172283 11113615360 183030 33554432000 4194304 4196468 140726033806176 140498575379040 140500057568981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
[pid=29431/tid=29561] ppid=29427 vsize=10853140 memory=6791534058613427641 CPUtime=1.34 cores=1,3,5,7
/proc/29431/task/29561/stat : 29561 (java) S 29427 29431 29375 0 -1 1077944384 1407 13034 0 0 61 66 4 3 20 0 15 0 416172283 11113615360 183030 33554432000 4194304 4196468 140726033806176 140499325184816 140500057569922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8253440 140726033808111 140726033810629 140726033810629 140726033813455 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 732120 KiB

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

[startup+2476.83 s]
# the end of solver process 29431 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.36 s, system=2.75324 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.12
CPU user time (s): 2517.36
CPU system time (s): 2.75324
CPU usage (%): 101.748
Max. virtual memory (cumulated for all children) (KiB): 10853140
Max. memory (cumulated for all children) (KiB): 831948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.36
system time used= 2.75324
maximum resident set size= 832364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259594
page faults= 0
swaps= 0
block input operations= 1552
block output operations= 3320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199866
involuntary context switches= 4328


# summary of solver processes directly reported to runsolver:
#   pid: 29431
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2517.36
#   total CPU system time (s): 2.75324

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6369 second user time and 21.3392 second system time

The end

Name	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-pb-30-15-1.xml
MD5SUM	1892dc6bbe7f4411da75bff22067cf15
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	69.5267
Satisfiable
(Un)Satisfiability was proved
Number of variables	1380
Number of constraints	1366
Number of domains	8
Minimum domain size	2
Maximum domain size	16
Distribution of domain sizes	[{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"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 4396242

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