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.13	2480.34

0.80/0.60	c Concrete v3.12.2.1568380929293 running
16.88/6.15	o 15
27.05/13.57	o 14
27.25/13.69	o 13
31.07/16.81	o 12
31.07/16.90	o 11
36.52/21.47	o 10
2520.07/2480.31	Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2480.31		at concrete.MAC.mac(MAC.scala:192)
2520.07/2480.31		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.07/2480.31		at scala.util.Try$.apply(Try.scala:212)
2520.07/2480.31		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.07/2480.31		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.07/2480.31		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.07/2480.31		at concrete.MAC.oneRun(MAC.scala:265)
2520.07/2480.31		at concrete.MAC.nextSolution(MAC.scala:284)
2520.07/2480.31		at concrete.MAC.nextSolution(MAC.scala:369)
2520.07/2480.31		at concrete.Solver.hasNext(Solver.scala:160)
2520.07/2480.31		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2480.31		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2480.31		at concrete.Solver.foreach(Solver.scala:67)
2520.07/2480.31		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.07/2480.31		at scala.util.Success.map(Try.scala:264)
2520.07/2480.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2480.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.07/2480.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.07/2480.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2480.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.07/2480.31		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.07/2480.31		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.07/2480.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.07/2480.31		at scala.App.$anonfun$main$1(App.scala:75)
2520.07/2480.31		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.07/2480.31		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2480.31		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2480.31		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.07/2480.31		at scala.App.main(App.scala:75)
2520.07/2480.31		at scala.App.main$(App.scala:73)
2520.07/2480.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.07/2480.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2480.31	v <instantiation
2520.07/2480.31	v         cost = '10'>
2520.07/2480.31	v       <list>
2520.07/2480.31	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/2480.32	v       </list>
2520.07/2480.32	v       <values>
2520.07/2480.32	v         6 14 4 7 0 12 1 2 10 9 3 5 8 11 13 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 0 0 1 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 2 2 2 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 0 0 0 0 0 0 0 0 1 1 1 2 2 1 1 1 1 1 1 1 1 1 1 1 1 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 0 1 2 2 2 2 0 0 1 1 1 1 2 2 2 2 2 2 2 2 2 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 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 1 1 1 1 1 1 1 2 2 0 0 0 0 0 1 1 1 2 2 2 2 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 2 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 1 2 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 2 2 2 2 2 0 0 0 0 0 1 1 1 1 1 1 2 2 2 2 0 0 0 1 1 1 1 2 2 2 2 2 2 2 2 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 0 1 0 0 1 0 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 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 0 1 1 0 0 0 0 0 1 0 0 0 1 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 1 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 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 0 0 1 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 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 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 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 1 1 1 1 0 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 0 0 1 1 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 0 0 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 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 1 1 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 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 1 1 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 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 1 1 1 1 1 1 1 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 1 1 1 1 1 1 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 0 0 0 0 0 0 0 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 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 4 7 9 10 10 10 10 10 10 10 10 9 8 7 4
2520.07/2480.32	v       </values>
2520.07/2480.32	v     </instantiation>
2520.07/2480.32	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: 16375 MiB (13691 MiB free)
  memory of node 1: 16384 MiB (15593 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396158-1568412298/watcher-4396158-1568412298 -o /tmp/evaluation-result-4396158-1568412298/solver-4396158-1568412298 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568412257-24461 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=947832026 HOME/instance-4396158-1568412298.xml 

running on 4 cores: 4-7

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

solver pid=24486, runsolver pid=24481

[startup+0.100115 s]*
/proc/loadavg: 0.77 0.61 0.76 3/202 24594
/proc/meminfo: memFree=29983584/32770688 swapFree=66961092/67108860
[pid=24486] ppid=24481 vsize=9972712 memory=14708 CPUtime=0.09 cores=4-7
/proc/24486/stat : 24486 (java) S 24481 24486 21967 0 -1 1077944320 3899 13296 0 0 1 0 6 2 20 0 6 0 417171511 10212057088 3677 33554432000 4194304 4196468 140725412564192 140725412546736 140537453833975 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
/proc/24486/statm: 2493178 3677 1609 1 0 2481616 0
[pid=24486/tid=24594] ppid=24481 vsize=9972712 memory=5450916389569530688 CPUtime=0.08 cores=4-7
/proc/24486/task/24594/stat : 24594 (java) R 24481 24486 21967 0 -1 4202560 1809 13296 0 0 0 0 6 2 20 0 6 0 417171520 10212057088 3743 33554432000 4194304 4196468 140725412564192 140537425670736 140537376910957 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24596] ppid=24481 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=4-7
/proc/24486/task/24596/stat : 24596 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 6 0 417171521 10212057088 3809 33554432000 4194304 4196468 140725412564192 140537458076048 140537453844181 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24597] ppid=24481 vsize=9972712 memory=140069204440704 CPUtime=0.08 cores=4-7
/proc/24486/task/24597/stat : 24597 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 6 0 417171521 10212057088 3809 33554432000 4194304 4196468 140725412564192 140537372895504 140537453844181 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24598] ppid=24481 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24598/stat : 24598 (java) S 24481 24486 21967 0 -1 1077944384 2 13296 0 0 0 0 6 2 20 0 6 0 417171521 10212057088 3809 33554432000 4194304 4196468 140725412564192 140537371843216 140537453844181 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24599] ppid=24481 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7
/proc/24486/task/24599/stat : 24599 (java) S 24481 24486 21967 0 -1 1077944384 2 13296 0 0 0 0 6 2 20 0 6 0 417171521 10212057088 3809 33554432000 4194304 4196468 140725412564192 140537370790416 140537453844181 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14708 KiB

[startup+0.214354 s]*
/proc/loadavg: 0.77 0.61 0.76 7/229 24621
/proc/meminfo: memFree=29937392/32770688 swapFree=66961092/67108860
[pid=24486] ppid=24481 vsize=10819664 memory=38752 CPUtime=0.26 cores=4-7
/proc/24486/stat : 24486 (java) S 24481 24486 21967 0 -1 1077944320 6996 13296 0 0 16 2 6 2 20 0 15 0 417171511 11079335936 9688 33554432000 4194304 4196468 140725412564192 140725412546736 140537453833975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
/proc/24486/statm: 2704916 9688 3161 1 0 2667149 0
[pid=24486/tid=24594] ppid=24481 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=4-7
/proc/24486/task/24594/stat : 24594 (java) R 24481 24486 21967 0 -1 4202560 3479 13296 0 0 10 1 6 2 20 0 15 0 417171520 11079335936 9688 33554432000 4194304 4196468 140725412564192 140537425665024 140537453855901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24596] ppid=24481 vsize=10819664 memory=365 CPUtime=0.08 cores=4-7
/proc/24486/task/24596/stat : 24596 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171521 11079335936 9688 33554432000 4194304 4196468 140725412564192 140537458076048 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24597] ppid=24481 vsize=10819664 memory=3689771458414818976 CPUtime=0.08 cores=4-7
/proc/24486/task/24597/stat : 24597 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171521 11079335936 9688 33554432000 4194304 4196468 140725412564192 140537372895504 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24598] ppid=24481 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24598/stat : 24598 (java) S 24481 24486 21967 0 -1 1077944384 2 13296 0 0 0 0 6 2 20 0 15 0 417171521 11079335936 9688 33554432000 4194304 4196468 140725412564192 140537371843216 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24599] ppid=24481 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7
/proc/24486/task/24599/stat : 24599 (java) S 24481 24486 21967 0 -1 1077944384 2 13296 0 0 0 0 6 2 20 0 15 0 417171521 11079335936 9688 33554432000 4194304 4196468 140725412564192 140537370790416 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24604] ppid=24481 vsize=10819664 memory=140069204440704 CPUtime=0.08 cores=4-7
/proc/24486/task/24604/stat : 24604 (java) S 24481 24486 21967 0 -1 1077944384 2 13296 0 0 0 0 6 2 20 0 15 0 417171523 11079335936 9688 33554432000 4194304 4196468 140725412564192 140536980507248 140537453845122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24606] ppid=24481 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7
/proc/24486/task/24606/stat : 24606 (java) S 24481 24486 21967 0 -1 1077944384 13 13296 0 0 0 0 6 2 20 0 15 0 417171523 11079335936 9688 33554432000 4194304 4196468 140725412564192 140536899953952 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24607] ppid=24481 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24607/stat : 24607 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171523 11079335936 9688 33554432000 4194304 4196468 140725412564192 140536295974512 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24610] ppid=24481 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24610/stat : 24610 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171526 11079335936 9688 33554432000 4194304 4196468 140725412564192 140535988574800 140537453852571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24611] ppid=24481 vsize=10819664 memory=0 CPUtime=0.09 cores=4-7
/proc/24486/task/24611/stat : 24611 (java) S 24481 24486 21967 0 -1 1077944384 607 13296 0 0 1 0 6 2 20 0 15 0 417171526 11079335936 9688 33554432000 4194304 4196468 140725412564192 140536979454064 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24612] ppid=24481 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7
/proc/24486/task/24612/stat : 24612 (java) S 24481 24486 21967 0 -1 1077944384 58 13296 0 0 0 0 6 2 20 0 15 0 417171526 11079335936 9688 33554432000 4194304 4196468 140725412564192 140536978401264 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24613] ppid=24481 vsize=10819664 memory=140069204440704 CPUtime=0.11 cores=4-7
/proc/24486/task/24613/stat : 24613 (java) S 24481 24486 21967 0 -1 1077944384 614 13296 0 0 3 0 6 2 20 0 15 0 417171526 11079335936 9688 33554432000 4194304 4196468 140725412564192 140536977348976 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24614] ppid=24481 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7
/proc/24486/task/24614/stat : 24614 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171527 11079335936 9688 33554432000 4194304 4196468 140725412564192 140535955016160 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24619] ppid=24481 vsize=10819664 memory=140069204440704 CPUtime=0.08 cores=4-7
/proc/24486/task/24619/stat : 24619 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171527 11079335936 9688 33554432000 4194304 4196468 140725412564192 140536976296880 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38752 KiB

[startup+0.311797 s]*
/proc/loadavg: 0.77 0.61 0.76 3/229 24621
/proc/meminfo: memFree=29913776/32770688 swapFree=66961092/67108860
[pid=24486] ppid=24481 vsize=10820148 memory=49868 CPUtime=0.39 cores=4-7
/proc/24486/stat : 24486 (java) S 24481 24486 21967 0 -1 1077944320 10632 13296 0 0 28 3 6 2 20 0 15 0 417171511 11079831552 12467 33554432000 4194304 4196468 140725412564192 140725412546736 140537453833975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
/proc/24486/statm: 2705037 12467 3316 1 0 2667149 0
[pid=24486/tid=24594] ppid=24481 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=4-7
/proc/24486/task/24594/stat : 24594 (java) R 24481 24486 21967 0 -1 4202560 7081 13296 0 0 18 3 6 2 20 0 15 0 417171520 11079831552 12467 33554432000 4194304 4196468 140725412564192 140537425633888 140537453855901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24596] ppid=24481 vsize=10820148 memory=4872558044660077418 CPUtime=0.08 cores=4-7
/proc/24486/task/24596/stat : 24596 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171521 11079831552 12467 33554432000 4194304 4196468 140725412564192 140537458076048 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24597] ppid=24481 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24597/stat : 24597 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171521 11079831552 12467 33554432000 4194304 4196468 140725412564192 140537372895504 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24598] ppid=24481 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24598/stat : 24598 (java) S 24481 24486 21967 0 -1 1077944384 2 13296 0 0 0 0 6 2 20 0 15 0 417171521 11079831552 12467 33554432000 4194304 4196468 140725412564192 140537371843216 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24599] ppid=24481 vsize=10820148 memory=-1 CPUtime=0.08 cores=4-7
/proc/24486/task/24599/stat : 24599 (java) S 24481 24486 21967 0 -1 1077944384 2 13296 0 0 0 0 6 2 20 0 15 0 417171521 11079831552 12467 33554432000 4194304 4196468 140725412564192 140537370790416 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24604] ppid=24481 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24604/stat : 24604 (java) S 24481 24486 21967 0 -1 1077944384 2 13296 0 0 0 0 6 2 20 0 15 0 417171523 11079831552 12467 33554432000 4194304 4196468 140725412564192 140536980507248 140537453845122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24606] ppid=24481 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24606/stat : 24606 (java) S 24481 24486 21967 0 -1 1077944384 13 13296 0 0 0 0 6 2 20 0 15 0 417171523 11079831552 12467 33554432000 4194304 4196468 140725412564192 140536899953952 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24607] ppid=24481 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24607/stat : 24607 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171523 11079831552 12467 33554432000 4194304 4196468 140725412564192 140536295974512 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24610] ppid=24481 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24610/stat : 24610 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171526 11079831552 12467 33554432000 4194304 4196468 140725412564192 140535988574800 140537453852571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24611] ppid=24481 vsize=10820148 memory=0 CPUtime=0.1 cores=4-7
/proc/24486/task/24611/stat : 24611 (java) S 24481 24486 21967 0 -1 1077944384 608 13296 0 0 2 0 6 2 20 0 15 0 417171526 11079831552 12467 33554432000 4194304 4196468 140725412564192 140536979454064 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24612] ppid=24481 vsize=10820148 memory=0 CPUtime=0.09 cores=4-7
/proc/24486/task/24612/stat : 24612 (java) S 24481 24486 21967 0 -1 1077944384 67 13296 0 0 1 0 6 2 20 0 15 0 417171526 11079831552 12467 33554432000 4194304 4196468 140725412564192 140536978401264 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24613] ppid=24481 vsize=10820148 memory=0 CPUtime=0.13 cores=4-7
/proc/24486/task/24613/stat : 24613 (java) S 24481 24486 21967 0 -1 1077944384 639 13296 0 0 5 0 6 2 20 0 15 0 417171526 11079831552 12467 33554432000 4194304 4196468 140725412564192 140536977348976 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24614] ppid=24481 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24614/stat : 24614 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171527 11079831552 12467 33554432000 4194304 4196468 140725412564192 140535955016160 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24619] ppid=24481 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24619/stat : 24619 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171527 11079831552 12467 33554432000 4194304 4196468 140725412564192 140536976296880 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49868 KiB

[startup+0.700771 s]
/proc/loadavg: 0.77 0.61 0.76 5/229 24621
/proc/meminfo: memFree=29886876/32770688 swapFree=66961092/67108860
[pid=24486] ppid=24481 vsize=10822312 memory=78060 CPUtime=1.11 cores=4-7
/proc/24486/stat : 24486 (java) S 24481 24486 21967 0 -1 1077944320 14782 13296 0 0 97 6 6 2 20 0 15 0 417171511 11082047488 19515 33554432000 4194304 4196468 140725412564192 140725412546736 140537453833975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
/proc/24486/statm: 2705578 19515 3499 1 0 2667661 0
[pid=24486/tid=24594] ppid=24481 vsize=10822312 memory=0 CPUtime=0.66 cores=4-7
/proc/24486/task/24594/stat : 24594 (java) R 24481 24486 21967 0 -1 4202560 9991 13296 0 0 54 4 6 2 20 0 15 0 417171520 11082047488 19515 33554432000 4194304 4196468 140725412564192 140537425650448 140537437914462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24596] ppid=24481 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24596/stat : 24596 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171521 11082047488 19515 33554432000 4194304 4196468 140725412564192 140537458076048 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24597] ppid=24481 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24597/stat : 24597 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171521 11082047488 19515 33554432000 4194304 4196468 140725412564192 140537372895504 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24598] ppid=24481 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24598/stat : 24598 (java) S 24481 24486 21967 0 -1 1077944384 2 13296 0 0 0 0 6 2 20 0 15 0 417171521 11082047488 19515 33554432000 4194304 4196468 140725412564192 140537371843216 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24599] ppid=24481 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24599/stat : 24599 (java) S 24481 24486 21967 0 -1 1077944384 2 13296 0 0 0 0 6 2 20 0 15 0 417171521 11082047488 19515 33554432000 4194304 4196468 140725412564192 140537370790416 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24604] ppid=24481 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24604/stat : 24604 (java) S 24481 24486 21967 0 -1 1077944384 5 13296 0 0 0 0 6 2 20 0 15 0 417171523 11082047488 19515 33554432000 4194304 4196468 140725412564192 140536980507248 140537453845122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24606] ppid=24481 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24606/stat : 24606 (java) S 24481 24486 21967 0 -1 1077944384 13 13296 0 0 0 0 6 2 20 0 15 0 417171523 11082047488 19515 33554432000 4194304 4196468 140725412564192 140536899953952 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24607] ppid=24481 vsize=10822312 memory=140069204439585 CPUtime=0.08 cores=4-7
/proc/24486/task/24607/stat : 24607 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171523 11082047488 19515 33554432000 4194304 4196468 140725412564192 140536295974512 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24610] ppid=24481 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24610/stat : 24610 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171526 11082047488 19515 33554432000 4194304 4196468 140725412564192 140535988574800 140537453852571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24611] ppid=24481 vsize=10822312 memory=0 CPUtime=0.21 cores=4-7
/proc/24486/task/24611/stat : 24611 (java) R 24481 24486 21967 0 -1 4202560 1156 13296 0 0 13 0 6 2 20 0 15 0 417171526 11082047488 19515 33554432000 4194304 4196468 140725412564192 140536979441744 140537435358197 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24612] ppid=24481 vsize=10822312 memory=0 CPUtime=0.18 cores=4-7
/proc/24486/task/24612/stat : 24612 (java) R 24481 24486 21967 0 -1 4202560 508 13296 0 0 10 0 6 2 20 0 15 0 417171526 11082047488 19515 33554432000 4194304 4196468 140725412564192 140536978387584 140537438942905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24613] ppid=24481 vsize=10822312 memory=0 CPUtime=0.25 cores=4-7
/proc/24486/task/24613/stat : 24613 (java) S 24481 24486 21967 0 -1 1077944384 888 13296 0 0 17 0 6 2 20 0 15 0 417171526 11082047488 19515 33554432000 4194304 4196468 140725412564192 140536977348976 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24614] ppid=24481 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24614/stat : 24614 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171527 11082047488 19536 33554432000 4194304 4196468 140725412564192 140535955016160 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24619] ppid=24481 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7
/proc/24486/task/24619/stat : 24619 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171527 11082047488 19536 33554432000 4194304 4196468 140725412564192 140536976296880 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10822312 KiB
Current children cumulated memory: 78060 KiB

[startup+1.50249 s]
/proc/loadavg: 0.77 0.61 0.76 6/229 24621
/proc/meminfo: memFree=29815600/32770688 swapFree=66961092/67108860
[pid=24486] ppid=24481 vsize=10835400 memory=208812 CPUtime=3.42 cores=4-7
/proc/24486/stat : 24486 (java) S 24481 24486 21967 0 -1 1077944320 32051 13296 0 0 323 11 6 2 20 0 15 0 417171511 11095449600 52203 33554432000 4194304 4196468 140725412564192 140725412546736 140537453833975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
/proc/24486/statm: 2708850 52203 3580 1 0 2670914 0
[pid=24486/tid=24594] ppid=24481 vsize=10835400 memory=0 CPUtime=1.42 cores=4-7
/proc/24486/task/24594/stat : 24594 (java) R 24481 24486 21967 0 -1 4202560 15567 13296 0 0 127 7 6 2 20 0 15 0 417171520 11095449600 52203 33554432000 4194304 4196468 140725412564192 140537425650808 140537433410800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24596] ppid=24481 vsize=10835400 memory=78060 CPUtime=0.08 cores=4-7
/proc/24486/task/24596/stat : 24596 (java) S 24481 24486 21967 0 -1 1077944384 18 13296 0 0 0 0 6 2 20 0 15 0 417171521 11095449600 52203 33554432000 4194304 4196468 140725412564192 140537458076048 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24597] ppid=24481 vsize=10835400 memory=0 CPUtime=0.09 cores=4-7
/proc/24486/task/24597/stat : 24597 (java) S 24481 24486 21967 0 -1 1077944384 257 13296 0 0 1 0 6 2 20 0 15 0 417171521 11095449600 52203 33554432000 4194304 4196468 140725412564192 140537372895504 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24598] ppid=24481 vsize=10835400 memory=280138168218784 CPUtime=0.09 cores=4-7
/proc/24486/task/24598/stat : 24598 (java) S 24481 24486 21967 0 -1 1077944384 40 13296 0 0 1 0 6 2 20 0 15 0 417171521 11095449600 52203 33554432000 4194304 4196468 140725412564192 140537371843216 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24599] ppid=24481 vsize=10835400 memory=0 CPUtime=0.1 cores=4-7
/proc/24486/task/24599/stat : 24599 (java) S 24481 24486 21967 0 -1 1077944384 50 13296 0 0 2 0 6 2 20 0 15 0 417171521 11095449600 52203 33554432000 4194304 4196468 140725412564192 140537370790416 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24604] ppid=24481 vsize=10835400 memory=4498317926778842009 CPUtime=0.09 cores=4-7
/proc/24486/task/24604/stat : 24604 (java) S 24481 24486 21967 0 -1 1077944384 178 13296 0 0 1 0 6 2 20 0 15 0 417171523 11095449600 52203 33554432000 4194304 4196468 140725412564192 140536980507248 140537453845122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24606] ppid=24481 vsize=10835400 memory=4643110634556663195 CPUtime=0.08 cores=4-7
/proc/24486/task/24606/stat : 24606 (java) S 24481 24486 21967 0 -1 1077944384 14 13296 0 0 0 0 6 2 20 0 15 0 417171523 11095449600 52203 33554432000 4194304 4196468 140725412564192 140536899953952 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24607] ppid=24481 vsize=10835400 memory=8101246007891225196 CPUtime=0.08 cores=4-7
/proc/24486/task/24607/stat : 24607 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171523 11095449600 52203 33554432000 4194304 4196468 140725412564192 140536295974528 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24610] ppid=24481 vsize=10835400 memory=7372762401240933969 CPUtime=0.08 cores=4-7
/proc/24486/task/24610/stat : 24610 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171526 11095449600 52203 33554432000 4194304 4196468 140725412564192 140535988574800 140537453852571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24611] ppid=24481 vsize=10835400 memory=0 CPUtime=0.72 cores=4-7
/proc/24486/task/24611/stat : 24611 (java) R 24481 24486 21967 0 -1 4202560 4247 13296 0 0 64 0 6 2 20 0 15 0 417171526 11095449600 52203 33554432000 4194304 4196468 140725412564192 140536979440352 140537438949009 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24612] ppid=24481 vsize=10835400 memory=7594002922810796135 CPUtime=0.85 cores=4-7
/proc/24486/task/24612/stat : 24612 (java) R 24481 24486 21967 0 -1 4202560 6895 13296 0 0 76 1 6 2 20 0 15 0 417171526 11095449600 52203 33554432000 4194304 4196468 140725412564192 140536978387280 140537435378092 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24613] ppid=24481 vsize=10835400 memory=7228933159371565935 CPUtime=0.53 cores=4-7
/proc/24486/task/24613/stat : 24613 (java) S 24481 24486 21967 0 -1 1077944384 2568 13296 0 0 45 0 6 2 20 0 15 0 417171526 11095449600 52203 33554432000 4194304 4196468 140725412564192 140536977348976 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24614] ppid=24481 vsize=10835400 memory=8099531882097108048 CPUtime=0.08 cores=4-7
/proc/24486/task/24614/stat : 24614 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171527 11095449600 52203 33554432000 4194304 4196468 140725412564192 140535955016160 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24619] ppid=24481 vsize=10835400 memory=7595435500444477273 CPUtime=0.08 cores=4-7
/proc/24486/task/24619/stat : 24619 (java) S 24481 24486 21967 0 -1 1077944384 1 13296 0 0 0 0 6 2 20 0 15 0 417171527 11095449600 52203 33554432000 4194304 4196468 140725412564192 140536976296880 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
Current children cumulated CPU time: 3.42 s
Current children cumulated vsize: 10835400 KiB

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

/proc/24486/task/24594/stat : 24594 (java) R 24481 24486 21967 0 -1 4202560 62392 13296 0 0 236861 35 6 2 20 0 15 0 417171520 11113615360 178731 33554432000 4194304 4196468 140725412564192 140537425669664 140537072188213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24596] ppid=24481 vsize=10853140 memory=714924 CPUtime=6.21 cores=4-7
/proc/24486/task/24596/stat : 24596 (java) S 24481 24486 21967 0 -1 1077944384 9578 13296 0 0 583 30 6 2 20 0 15 0 417171521 11113615360 178731 33554432000 4194304 4196468 140725412564192 140537458076048 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24597] ppid=24481 vsize=10853140 memory=714924 CPUtime=6.23 cores=4-7
/proc/24486/task/24597/stat : 24597 (java) S 24481 24486 21967 0 -1 1077944384 5991 13296 0 0 588 27 6 2 20 0 15 0 417171521 11113615360 178731 33554432000 4194304 4196468 140725412564192 140537372895504 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24598] ppid=24481 vsize=10853140 memory=714888 CPUtime=6.23 cores=4-7
/proc/24486/task/24598/stat : 24598 (java) S 24481 24486 21967 0 -1 1077944384 11585 13296 0 0 586 29 6 2 20 0 15 0 417171521 11113615360 178731 33554432000 4194304 4196468 140725412564192 140537371843216 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24599] ppid=24481 vsize=10853140 memory=1224 CPUtime=6.24 cores=4-7
/proc/24486/task/24599/stat : 24599 (java) S 24481 24486 21967 0 -1 1077944384 8318 13296 0 0 590 26 6 2 20 0 15 0 417171521 11113615360 178731 33554432000 4194304 4196468 140725412564192 140537370790416 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24604] ppid=24481 vsize=10853140 memory=714924 CPUtime=6.13 cores=4-7
/proc/24486/task/24604/stat : 24604 (java) S 24481 24486 21967 0 -1 1077944384 12460 13296 0 0 579 26 6 2 20 0 15 0 417171523 11113615360 178731 33554432000 4194304 4196468 140725412564192 140536980507248 140537453845122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24606] ppid=24481 vsize=10853140 memory=2044 CPUtime=0.08 cores=4-7
/proc/24486/task/24606/stat : 24606 (java) S 24481 24486 21967 0 -1 1077944384 22 13296 0 0 0 0 6 2 20 0 15 0 417171523 11113615360 178731 33554432000 4194304 4196468 140725412564192 140536899954016 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24607] ppid=24481 vsize=10853140 memory=714924 CPUtime=0.08 cores=4-7
/proc/24486/task/24607/stat : 24607 (java) S 24481 24486 21967 0 -1 1077944384 6 13296 0 0 0 0 6 2 20 0 15 0 417171523 11113615360 178731 33554432000 4194304 4196468 140725412564192 140536295974528 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24610] ppid=24481 vsize=10853140 memory=714924 CPUtime=0.08 cores=4-7
/proc/24486/task/24610/stat : 24610 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171526 11113615360 178731 33554432000 4194304 4196468 140725412564192 140535988574800 140537453852571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24611] ppid=24481 vsize=10853140 memory=928 CPUtime=6.86 cores=4-7
/proc/24486/task/24611/stat : 24611 (java) S 24481 24486 21967 0 -1 1077944384 42902 13296 0 0 670 8 6 2 20 0 15 0 417171526 11113615360 178731 33554432000 4194304 4196468 140725412564192 140536979454064 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24612] ppid=24481 vsize=10853140 memory=714924 CPUtime=8.37 cores=4-7
/proc/24486/task/24612/stat : 24612 (java) S 24481 24486 21967 0 -1 1077944384 59965 13296 0 0 822 7 6 2 20 0 15 0 417171526 11113615360 178731 33554432000 4194304 4196468 140725412564192 140536978401264 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24613] ppid=24481 vsize=10853140 memory=3612 CPUtime=5.41 cores=4-7
/proc/24486/task/24613/stat : 24613 (java) S 24481 24486 21967 0 -1 1077944384 59897 13296 0 0 524 9 6 2 20 0 15 0 417171526 11113615360 178731 33554432000 4194304 4196468 140725412564192 140536977348976 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24614] ppid=24481 vsize=10853140 memory=714924 CPUtime=0.08 cores=4-7
/proc/24486/task/24614/stat : 24614 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171527 11113615360 178731 33554432000 4194304 4196468 140725412564192 140535955016160 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24619] ppid=24481 vsize=10853140 memory=3612 CPUtime=1.21 cores=4-7
/proc/24486/task/24619/stat : 24619 (java) S 24481 24486 21967 0 -1 1077944384 1579 13296 0 0 52 61 6 2 20 0 15 0 417171527 11113615360 178731 33554432000 4194304 4196468 140725412564192 140536976296880 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
Current children cumulated CPU time: 2421.32 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 714924 KiB

[startup+2442.3 s]
/proc/loadavg: 1.34 1.40 1.36 3/228 24844
/proc/meminfo: memFree=28553604/32770688 swapFree=66961092/67108860
[pid=24486] ppid=24481 vsize=10853140 memory=714932 CPUtime=2481.8 cores=4-7
/proc/24486/stat : 24486 (java) S 24481 24486 21967 0 -1 1077944320 277771 13296 0 0 247935 237 6 2 20 0 15 0 417171511 11113615360 178733 33554432000 4194304 4196468 140725412564192 140725412546736 140537453833975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
/proc/24486/statm: 2713285 178733 3634 1 0 2675341 0
[pid=24486/tid=24594] ppid=24481 vsize=10853140 memory=714932 CPUtime=2428.7 cores=4-7
/proc/24486/task/24594/stat : 24594 (java) R 24481 24486 21967 0 -1 4202560 62848 13296 0 0 242827 35 6 2 20 0 15 0 417171520 11113615360 178733 33554432000 4194304 4196468 140725412564192 140537425670080 140537072336604 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24596] ppid=24481 vsize=10853140 memory=714932 CPUtime=6.36 cores=4-7
/proc/24486/task/24596/stat : 24596 (java) S 24481 24486 21967 0 -1 1077944384 9643 13296 0 0 598 30 6 2 20 0 15 0 417171521 11113615360 178733 33554432000 4194304 4196468 140725412564192 140537458076048 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24597] ppid=24481 vsize=10853140 memory=714932 CPUtime=6.39 cores=4-7
/proc/24486/task/24597/stat : 24597 (java) S 24481 24486 21967 0 -1 1077944384 6040 13296 0 0 603 28 6 2 20 0 15 0 417171521 11113615360 178733 33554432000 4194304 4196468 140725412564192 140537372895504 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24598] ppid=24481 vsize=10853140 memory=714932 CPUtime=6.39 cores=4-7
/proc/24486/task/24598/stat : 24598 (java) S 24481 24486 21967 0 -1 1077944384 11643 13296 0 0 601 30 6 2 20 0 15 0 417171521 11113615360 178733 33554432000 4194304 4196468 140725412564192 140537371843216 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24599] ppid=24481 vsize=10853140 memory=714932 CPUtime=6.4 cores=4-7
/proc/24486/task/24599/stat : 24599 (java) S 24481 24486 21967 0 -1 1077944384 8325 13296 0 0 606 26 6 2 20 0 15 0 417171521 11113615360 178733 33554432000 4194304 4196468 140725412564192 140537370790416 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24604] ppid=24481 vsize=10853140 memory=0 CPUtime=6.29 cores=4-7
/proc/24486/task/24604/stat : 24604 (java) S 24481 24486 21967 0 -1 1077944384 12663 13296 0 0 594 27 6 2 20 0 15 0 417171523 11113615360 178733 33554432000 4194304 4196468 140725412564192 140536980507248 140537453845122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24606] ppid=24481 vsize=10853140 memory=714932 CPUtime=0.08 cores=4-7
/proc/24486/task/24606/stat : 24606 (java) S 24481 24486 21967 0 -1 1077944384 22 13296 0 0 0 0 6 2 20 0 15 0 417171523 11113615360 178733 33554432000 4194304 4196468 140725412564192 140536899954016 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24607] ppid=24481 vsize=10853140 memory=714932 CPUtime=0.08 cores=4-7
/proc/24486/task/24607/stat : 24607 (java) S 24481 24486 21967 0 -1 1077944384 6 13296 0 0 0 0 6 2 20 0 15 0 417171523 11113615360 178733 33554432000 4194304 4196468 140725412564192 140536295974528 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24610] ppid=24481 vsize=10853140 memory=714932 CPUtime=0.08 cores=4-7
/proc/24486/task/24610/stat : 24610 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171526 11113615360 178733 33554432000 4194304 4196468 140725412564192 140535988574800 140537453852571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24611] ppid=24481 vsize=10853140 memory=714932 CPUtime=6.86 cores=4-7
/proc/24486/task/24611/stat : 24611 (java) S 24481 24486 21967 0 -1 1077944384 42905 13296 0 0 670 8 6 2 20 0 15 0 417171526 11113615360 178733 33554432000 4194304 4196468 140725412564192 140536979454064 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24612] ppid=24481 vsize=10853140 memory=496 CPUtime=8.37 cores=4-7
/proc/24486/task/24612/stat : 24612 (java) S 24481 24486 21967 0 -1 1077944384 59967 13296 0 0 822 7 6 2 20 0 15 0 417171526 11113615360 178733 33554432000 4194304 4196468 140725412564192 140536978401264 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24613] ppid=24481 vsize=10853140 memory=1556 CPUtime=5.41 cores=4-7
/proc/24486/task/24613/stat : 24613 (java) S 24481 24486 21967 0 -1 1077944384 59899 13296 0 0 524 9 6 2 20 0 15 0 417171526 11113615360 178733 33554432000 4194304 4196468 140725412564192 140536977348976 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24614] ppid=24481 vsize=10853140 memory=6791534058613427641 CPUtime=0.08 cores=4-7
/proc/24486/task/24614/stat : 24614 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171527 11113615360 178733 33554432000 4194304 4196468 140725412564192 140535955016160 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24619] ppid=24481 vsize=10853140 memory=2424 CPUtime=1.25 cores=4-7
/proc/24486/task/24619/stat : 24619 (java) S 24481 24486 21967 0 -1 1077944384 1595 13296 0 0 54 63 6 2 20 0 15 0 417171527 11113615360 178733 33554432000 4194304 4196468 140725412564192 140536976296880 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
Current children cumulated CPU time: 2481.8 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 714932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2480.3 s]
/proc/loadavg: 1.49 1.43 1.37 2/206 24899
/proc/meminfo: memFree=29315388/32770688 swapFree=66961092/67108860
[pid=24486] ppid=24481 vsize=10853140 memory=714968 CPUtime=2520.07 cores=4-7
/proc/24486/stat : 24486 (java) S 24481 24486 21967 0 -1 1077944320 278954 13296 0 0 251760 239 6 2 20 0 15 0 417171511 11113615360 178742 33554432000 4194304 4196468 140725412564192 140725412546736 140537453833975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
/proc/24486/statm: 2713285 178742 3634 1 0 2675341 0
[pid=24486/tid=24594] ppid=24481 vsize=10853140 memory=6791534058613427641 CPUtime=2466.52 cores=4-7
/proc/24486/task/24594/stat : 24594 (java) R 24481 24486 21967 0 -1 4202560 63281 13296 0 0 246609 35 6 2 20 0 15 0 417171520 11113615360 178742 33554432000 4194304 4196468 140725412564192 140537425669904 140537073006889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24596] ppid=24481 vsize=10853140 memory=714932 CPUtime=6.45 cores=4-7
/proc/24486/task/24596/stat : 24596 (java) S 24481 24486 21967 0 -1 1077944384 9766 13296 0 0 606 31 6 2 20 0 15 0 417171521 11113615360 178742 33554432000 4194304 4196468 140725412564192 140537458076048 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24597] ppid=24481 vsize=10853140 memory=714932 CPUtime=6.46 cores=4-7
/proc/24486/task/24597/stat : 24597 (java) S 24481 24486 21967 0 -1 1077944384 6074 13296 0 0 610 28 6 2 20 0 15 0 417171521 11113615360 178742 33554432000 4194304 4196468 140725412564192 140537372895504 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24598] ppid=24481 vsize=10853140 memory=714932 CPUtime=6.48 cores=4-7
/proc/24486/task/24598/stat : 24598 (java) S 24481 24486 21967 0 -1 1077944384 11977 13296 0 0 610 30 6 2 20 0 15 0 417171521 11113615360 178742 33554432000 4194304 4196468 140725412564192 140537371843216 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24599] ppid=24481 vsize=10853140 memory=714948 CPUtime=6.49 cores=4-7
/proc/24486/task/24599/stat : 24599 (java) S 24481 24486 21967 0 -1 1077944384 8365 13296 0 0 614 27 6 2 20 0 15 0 417171521 11113615360 178742 33554432000 4194304 4196468 140725412564192 140537370790416 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24604] ppid=24481 vsize=10853140 memory=714968 CPUtime=6.38 cores=4-7
/proc/24486/task/24604/stat : 24604 (java) S 24481 24486 21967 0 -1 1077944384 12862 13296 0 0 602 28 6 2 20 0 15 0 417171523 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536980507248 140537453845122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24606] ppid=24481 vsize=10853140 memory=714968 CPUtime=0.08 cores=4-7
/proc/24486/task/24606/stat : 24606 (java) S 24481 24486 21967 0 -1 1077944384 22 13296 0 0 0 0 6 2 20 0 15 0 417171523 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536899954016 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24607] ppid=24481 vsize=10853140 memory=714968 CPUtime=0.08 cores=4-7
/proc/24486/task/24607/stat : 24607 (java) S 24481 24486 21967 0 -1 1077944384 6 13296 0 0 0 0 6 2 20 0 15 0 417171523 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536295974528 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24610] ppid=24481 vsize=10853140 memory=714948 CPUtime=0.08 cores=4-7
/proc/24486/task/24610/stat : 24610 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171526 11113615360 178742 33554432000 4194304 4196468 140725412564192 140535988574800 140537453852571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24611] ppid=24481 vsize=10853140 memory=3612 CPUtime=6.86 cores=4-7
/proc/24486/task/24611/stat : 24611 (java) S 24481 24486 21967 0 -1 1077944384 42907 13296 0 0 670 8 6 2 20 0 15 0 417171526 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536979454064 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24612] ppid=24481 vsize=10853140 memory=714968 CPUtime=8.37 cores=4-7
/proc/24486/task/24612/stat : 24612 (java) S 24481 24486 21967 0 -1 1077944384 59969 13296 0 0 822 7 6 2 20 0 15 0 417171526 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536978401264 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24613] ppid=24481 vsize=10853140 memory=714968 CPUtime=5.41 cores=4-7
/proc/24486/task/24613/stat : 24613 (java) S 24481 24486 21967 0 -1 1077944384 59901 13296 0 0 524 9 6 2 20 0 15 0 417171526 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536977348976 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24614] ppid=24481 vsize=10853140 memory=1088 CPUtime=0.08 cores=4-7
/proc/24486/task/24614/stat : 24614 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171527 11113615360 178742 33554432000 4194304 4196468 140725412564192 140535955016160 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24619] ppid=24481 vsize=10853140 memory=2832 CPUtime=1.26 cores=4-7
/proc/24486/task/24619/stat : 24619 (java) S 24481 24486 21967 0 -1 1077944384 1609 13296 0 0 54 64 6 2 20 0 15 0 417171527 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536976296880 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 714968 KiB

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

[startup+2480.34 s]
# the end of solver process 24486 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.7 s, system=2.43517 s

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

[startup+2480.3 s]
/proc/loadavg: 1.49 1.43 1.37 2/206 24899
/proc/meminfo: memFree=29315388/32770688 swapFree=66961092/67108860
[pid=24486] ppid=24481 vsize=10853140 memory=714968 CPUtime=2520.07 cores=4-7
/proc/24486/stat : 24486 (java) S 24481 24486 21967 0 -1 1077944320 278954 13296 0 0 251760 239 6 2 20 0 15 0 417171511 11113615360 178742 33554432000 4194304 4196468 140725412564192 140725412546736 140537453833975 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
/proc/24486/statm: 2713285 178742 3634 1 0 2675341 0
[pid=24486/tid=24594] ppid=24481 vsize=10853140 memory=6791534058613427641 CPUtime=2466.52 cores=4-7
/proc/24486/task/24594/stat : 24594 (java) R 24481 24486 21967 0 -1 4202560 63281 13296 0 0 246609 35 6 2 20 0 15 0 417171520 11113615360 178742 33554432000 4194304 4196468 140725412564192 140537425669904 140537073006889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24596] ppid=24481 vsize=10853140 memory=714932 CPUtime=6.45 cores=4-7
/proc/24486/task/24596/stat : 24596 (java) S 24481 24486 21967 0 -1 1077944384 9766 13296 0 0 606 31 6 2 20 0 15 0 417171521 11113615360 178742 33554432000 4194304 4196468 140725412564192 140537458076048 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24597] ppid=24481 vsize=10853140 memory=714932 CPUtime=6.46 cores=4-7
/proc/24486/task/24597/stat : 24597 (java) S 24481 24486 21967 0 -1 1077944384 6074 13296 0 0 610 28 6 2 20 0 15 0 417171521 11113615360 178742 33554432000 4194304 4196468 140725412564192 140537372895504 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24598] ppid=24481 vsize=10853140 memory=714932 CPUtime=6.48 cores=4-7
/proc/24486/task/24598/stat : 24598 (java) S 24481 24486 21967 0 -1 1077944384 11977 13296 0 0 610 30 6 2 20 0 15 0 417171521 11113615360 178742 33554432000 4194304 4196468 140725412564192 140537371843216 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24599] ppid=24481 vsize=10853140 memory=714948 CPUtime=6.49 cores=4-7
/proc/24486/task/24599/stat : 24599 (java) S 24481 24486 21967 0 -1 1077944384 8365 13296 0 0 614 27 6 2 20 0 15 0 417171521 11113615360 178742 33554432000 4194304 4196468 140725412564192 140537370790416 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24604] ppid=24481 vsize=10853140 memory=714968 CPUtime=6.38 cores=4-7
/proc/24486/task/24604/stat : 24604 (java) S 24481 24486 21967 0 -1 1077944384 12862 13296 0 0 602 28 6 2 20 0 15 0 417171523 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536980507248 140537453845122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24606] ppid=24481 vsize=10853140 memory=714968 CPUtime=0.08 cores=4-7
/proc/24486/task/24606/stat : 24606 (java) S 24481 24486 21967 0 -1 1077944384 22 13296 0 0 0 0 6 2 20 0 15 0 417171523 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536899954016 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24607] ppid=24481 vsize=10853140 memory=714968 CPUtime=0.08 cores=4-7
/proc/24486/task/24607/stat : 24607 (java) S 24481 24486 21967 0 -1 1077944384 6 13296 0 0 0 0 6 2 20 0 15 0 417171523 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536295974528 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24610] ppid=24481 vsize=10853140 memory=714948 CPUtime=0.08 cores=4-7
/proc/24486/task/24610/stat : 24610 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171526 11113615360 178742 33554432000 4194304 4196468 140725412564192 140535988574800 140537453852571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24611] ppid=24481 vsize=10853140 memory=3612 CPUtime=6.86 cores=4-7
/proc/24486/task/24611/stat : 24611 (java) S 24481 24486 21967 0 -1 1077944384 42907 13296 0 0 670 8 6 2 20 0 15 0 417171526 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536979454064 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24612] ppid=24481 vsize=10853140 memory=714968 CPUtime=8.37 cores=4-7
/proc/24486/task/24612/stat : 24612 (java) S 24481 24486 21967 0 -1 1077944384 59969 13296 0 0 822 7 6 2 20 0 15 0 417171526 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536978401264 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24613] ppid=24481 vsize=10853140 memory=714968 CPUtime=5.41 cores=4-7
/proc/24486/task/24613/stat : 24613 (java) S 24481 24486 21967 0 -1 1077944384 59901 13296 0 0 524 9 6 2 20 0 15 0 417171526 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536977348976 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24614] ppid=24481 vsize=10853140 memory=1088 CPUtime=0.08 cores=4-7
/proc/24486/task/24614/stat : 24614 (java) S 24481 24486 21967 0 -1 1077944384 3 13296 0 0 0 0 6 2 20 0 15 0 417171527 11113615360 178742 33554432000 4194304 4196468 140725412564192 140535955016160 140537453844181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
[pid=24486/tid=24619] ppid=24481 vsize=10853140 memory=2832 CPUtime=1.26 cores=4-7
/proc/24486/task/24619/stat : 24619 (java) S 24481 24486 21967 0 -1 1077944384 1609 13296 0 0 54 64 6 2 20 0 15 0 417171527 11113615360 178742 33554432000 4194304 4196468 140725412564192 140536976296880 140537453845122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23670784 140725412571888 140725412574405 140725412574405 140725412577231 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 714968 KiB

Child status: 143
Real time (s): 2480.34
CPU time (s): 2520.13
CPU user time (s): 2517.7
CPU system time (s): 2.43517
CPU usage (%): 101.604
Max. virtual memory (cumulated for all children) (KiB): 10853140
Max. memory (cumulated for all children) (KiB): 774912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.7
system time used= 2.43517
maximum resident set size= 776960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 176229
involuntary context switches= 3498


# summary of solver processes directly reported to runsolver:
#   pid: 24486
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2517.7
#   total CPU system time (s): 2.43517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8794 second user time and 26.6863 second system time

The end

Name	OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml
MD5SUM	097039f9865a2fa48b7d42a66e75794b
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	23.5768
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 4396158

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