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.07	2474.93

0.77/0.57	c Concrete v3.12.2.1568380929293 running
28.14/15.09	o 15
336.23/316.44	o 14
2520.02/2474.90	Exception in thread "main" java.util.concurrent.TimeoutException
2520.02/2474.90		at concrete.MAC.mac(MAC.scala:192)
2520.02/2474.90		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.02/2474.90		at scala.util.Try$.apply(Try.scala:212)
2520.02/2474.90		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.02/2474.90		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.02/2474.90		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.02/2474.90		at concrete.MAC.oneRun(MAC.scala:265)
2520.02/2474.90		at concrete.MAC.nextSolution(MAC.scala:284)
2520.02/2474.90		at concrete.MAC.nextSolution(MAC.scala:369)
2520.02/2474.90		at concrete.Solver.hasNext(Solver.scala:160)
2520.02/2474.90		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.02/2474.90		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.02/2474.90		at concrete.Solver.foreach(Solver.scala:67)
2520.02/2474.90		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.02/2474.90		at scala.util.Success.map(Try.scala:264)
2520.02/2474.90		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2474.90		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.02/2474.90		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.02/2474.90		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2474.90		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.02/2474.90		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.02/2474.90		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.02/2474.90		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.02/2474.90		at scala.App.$anonfun$main$1(App.scala:75)
2520.02/2474.90		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.02/2474.90		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.02/2474.90		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.02/2474.90		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.02/2474.90		at scala.App.main(App.scala:75)
2520.02/2474.90		at scala.App.main$(App.scala:73)
2520.02/2474.90		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.02/2474.90		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2474.91	v <instantiation
2520.02/2474.91	v         cost = '14'>
2520.02/2474.91	v       <list>
2520.02/2474.91	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.02/2474.92	v       </list>
2520.02/2474.92	v       <values>
2520.02/2474.92	v         5 1 7 2 12 6 14 8 11 0 3 9 4 13 10 1 1 1 1 1 1 2 3 3 4 4 4 5 6 6 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 3 0 0 0 0 0 0 0 0 0 1 2 2 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 2 3 3 3 3 3 3 3 3 3 3 0 0 0 0 1 2 2 3 3 4 5 6 6 6 6 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 3 3 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 1 1 1 1 1 2 3 3 3 3 3 3 3 3 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 1 1 1 2 3 3 3 3 3 3 3 3 3 4 4 0 1 1 1 1 1 2 2 3 3 3 4 4 4 4 0 0 0 0 1 2 2 2 3 3 3 3 3 3 3 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 1 1 1 2 2 2 2 0 0 0 1 1 1 1 2 2 2 3 3 4 4 4 0 0 0 0 0 0 0 0 0 1 1 1 2 3 3 1 1 2 2 2 2 2 2 2 3 3 4 4 4 4 0 0 0 0 1 1 2 3 3 3 4 4 5 5 5 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 2 3 3 3 3 3 3 3 3 3 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 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 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 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 1 1 1 1 1 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 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 1 1 1 1 1 0 0 0 0 0 0 0 0 7 11 12 13 14 14 14 12 14 13 13 14 10 6 2
2520.02/2474.92	v       </values>
2520.02/2474.92	v     </instantiation>
2520.02/2474.92	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 (12747 MiB free)
  memory of node 1: 16384 MiB (14903 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100059 s]*
/proc/loadavg: 1.49 1.46 1.44 3/220 894
/proc/meminfo: memFree=28306532/32770624 swapFree=66999920/67108860
[pid=837] ppid=834 vsize=9972712 memory=16288 CPUtime=0.08 cores=0,2,4,6
/proc/837/stat : 837 (java) S 834 837 29375 0 -1 1077944320 4294 13188 0 0 0 0 5 3 20 0 6 0 417491250 10212057088 4072 33554432000 4194304 4196468 140722301081136 140722301063680 139933175979767 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
/proc/837/statm: 2493178 4072 1920 1 0 2481616 0
[pid=837/tid=890] ppid=834 vsize=9972712 memory=8389772277269004345 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/890/stat : 890 (java) R 834 837 29375 0 -1 4202560 2231 13188 0 0 0 0 5 3 20 0 6 0 417491259 10212057088 4204 33554432000 4194304 4196468 140722301081136 139933147816528 139933176001693 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=891] ppid=834 vsize=9972712 memory=4294967641 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/891/stat : 891 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 6 0 417491260 10212057088 4204 33554432000 4194304 4196468 140722301081136 139933180221968 139933175989973 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=892] ppid=834 vsize=9972712 memory=4050062582875838112 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/892/stat : 892 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 6 0 417491260 10212057088 4204 33554432000 4194304 4196468 140722301081136 139933068495504 139933175989973 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=893] ppid=834 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/893/stat : 893 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 6 0 417491260 10212057088 4204 33554432000 4194304 4196468 140722301081136 139933067442448 139933175989973 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=894] ppid=834 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/894/stat : 894 (java) S 834 837 29375 0 -1 1077944384 2 13188 0 0 0 0 5 3 20 0 6 0 417491260 10212057088 4204 33554432000 4194304 4196468 140722301081136 139933066389904 139933175989973 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16288 KiB

[startup+0.210458 s]*
/proc/loadavg: 1.49 1.46 1.44 3/229 906
/proc/meminfo: memFree=28269788/32770624 swapFree=66999920/67108860
[pid=837] ppid=834 vsize=10819664 memory=37788 CPUtime=0.26 cores=0,2,4,6
/proc/837/stat : 837 (java) S 834 837 29375 0 -1 1077944320 7281 13188 0 0 16 2 5 3 20 0 15 0 417491250 11079335936 9447 33554432000 4194304 4196468 140722301081136 140722301063680 139933175979767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
/proc/837/statm: 2704916 9447 3162 1 0 2667149 0
[pid=837/tid=890] ppid=834 vsize=10819664 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/837/task/890/stat : 890 (java) R 834 837 29375 0 -1 4202560 3771 13188 0 0 10 1 5 3 20 0 15 0 417491259 11079335936 9447 33554432000 4194304 4196468 140722301081136 139933147764648 139933160060254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=891] ppid=834 vsize=10819664 memory=4294967641 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/891/stat : 891 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491260 11079335936 9447 33554432000 4194304 4196468 140722301081136 139933180221968 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=892] ppid=834 vsize=10819664 memory=4050062582875838112 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/892/stat : 892 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491260 11079335936 9447 33554432000 4194304 4196468 140722301081136 139933068495504 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=893] ppid=834 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/893/stat : 893 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491260 11079335936 9447 33554432000 4194304 4196468 140722301081136 139933067442448 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=894] ppid=834 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/894/stat : 894 (java) S 834 837 29375 0 -1 1077944384 2 13188 0 0 0 0 5 3 20 0 15 0 417491260 11079335936 9447 33554432000 4194304 4196468 140722301081136 139933066389904 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=895] ppid=834 vsize=10819664 memory=139929235904128 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/895/stat : 895 (java) S 834 837 29375 0 -1 1077944384 2 13188 0 0 0 0 5 3 20 0 15 0 417491261 11079335936 9447 33554432000 4194304 4196468 140722301081136 139932635069168 139933175990914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=896] ppid=834 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/896/stat : 896 (java) S 834 837 29375 0 -1 1077944384 33 13188 0 0 0 0 5 3 20 0 15 0 417491262 11079335936 9447 33554432000 4194304 4196468 140722301081136 139932634015392 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=898] ppid=834 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/898/stat : 898 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491262 11079335936 9447 33554432000 4194304 4196468 140722301081136 139931980653808 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=899] ppid=834 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/899/stat : 899 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11079335936 9447 33554432000 4194304 4196468 140722301081136 139931740363216 139933175998363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=900] ppid=834 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/837/task/900/stat : 900 (java) S 834 837 29375 0 -1 1077944384 366 13188 0 0 1 0 5 3 20 0 15 0 417491265 11079335936 9447 33554432000 4194304 4196468 140722301081136 139932600457456 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=901] ppid=834 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/837/task/901/stat : 901 (java) S 834 837 29375 0 -1 1077944384 309 13188 0 0 1 0 5 3 20 0 15 0 417491265 11079335936 9447 33554432000 4194304 4196468 140722301081136 139932599404912 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=904] ppid=834 vsize=10819664 memory=139929235904128 CPUtime=0.11 cores=0,2,4,6
/proc/837/task/904/stat : 904 (java) S 834 837 29375 0 -1 1077944384 597 13188 0 0 3 0 5 3 20 0 15 0 417491265 11079335936 9447 33554432000 4194304 4196468 140722301081136 139932598351856 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=905] ppid=834 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/905/stat : 905 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11079335936 9447 33554432000 4194304 4196468 140722301081136 139931706804576 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=906] ppid=834 vsize=10819664 memory=139929235904128 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/906/stat : 906 (java) S 834 837 29375 0 -1 1077944384 2 13188 0 0 0 0 5 3 20 0 15 0 417491265 11079335936 9447 33554432000 4194304 4196468 140722301081136 139932597300272 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 37788 KiB

[startup+0.310716 s]*
/proc/loadavg: 1.49 1.46 1.44 3/229 906
/proc/meminfo: memFree=28257544/32770624 swapFree=66999920/67108860
[pid=837] ppid=834 vsize=10820148 memory=48932 CPUtime=0.4 cores=0,2,4,6
/proc/837/stat : 837 (java) S 834 837 29375 0 -1 1077944320 10979 13188 0 0 28 4 5 3 20 0 15 0 417491250 11079831552 12233 33554432000 4194304 4196468 140722301081136 140722301063680 139933175979767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
/proc/837/statm: 2705037 12233 3294 1 0 2667149 0
[pid=837/tid=890] ppid=834 vsize=10820148 memory=1398720917958146503 CPUtime=0.29 cores=0,2,4,6
/proc/837/task/890/stat : 890 (java) R 834 837 29375 0 -1 4202560 7452 13188 0 0 18 3 5 3 20 0 15 0 417491259 11079831552 12233 33554432000 4194304 4196468 140722301081136 139933147800048 139933160023397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=891] ppid=834 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/891/stat : 891 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491260 11079831552 12233 33554432000 4194304 4196468 140722301081136 139933180221968 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=892] ppid=834 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/892/stat : 892 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491260 11079831552 12233 33554432000 4194304 4196468 140722301081136 139933068495504 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=893] ppid=834 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/893/stat : 893 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491260 11079831552 12233 33554432000 4194304 4196468 140722301081136 139933067442448 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=894] ppid=834 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/894/stat : 894 (java) S 834 837 29375 0 -1 1077944384 2 13188 0 0 0 0 5 3 20 0 15 0 417491260 11079831552 12233 33554432000 4194304 4196468 140722301081136 139933066389904 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=895] ppid=834 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/895/stat : 895 (java) S 834 837 29375 0 -1 1077944384 2 13188 0 0 0 0 5 3 20 0 15 0 417491261 11079831552 12233 33554432000 4194304 4196468 140722301081136 139932635069168 139933175990914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=896] ppid=834 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/896/stat : 896 (java) S 834 837 29375 0 -1 1077944384 33 13188 0 0 0 0 5 3 20 0 15 0 417491262 11079831552 12233 33554432000 4194304 4196468 140722301081136 139932634015392 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=898] ppid=834 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/898/stat : 898 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491262 11079831552 12233 33554432000 4194304 4196468 140722301081136 139931980653808 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=899] ppid=834 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/899/stat : 899 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11079831552 12233 33554432000 4194304 4196468 140722301081136 139931740363216 139933175998363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=900] ppid=834 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/837/task/900/stat : 900 (java) S 834 837 29375 0 -1 1077944384 375 13188 0 0 1 0 5 3 20 0 15 0 417491265 11079831552 12233 33554432000 4194304 4196468 140722301081136 139932600457456 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=901] ppid=834 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/837/task/901/stat : 901 (java) S 834 837 29375 0 -1 1077944384 310 13188 0 0 2 0 5 3 20 0 15 0 417491265 11079831552 12233 33554432000 4194304 4196468 140722301081136 139932599404912 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=904] ppid=834 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/837/task/904/stat : 904 (java) S 834 837 29375 0 -1 1077944384 606 13188 0 0 5 0 5 3 20 0 15 0 417491265 11079831552 12233 33554432000 4194304 4196468 140722301081136 139932598351856 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=905] ppid=834 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/905/stat : 905 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11079831552 12233 33554432000 4194304 4196468 140722301081136 139931706804576 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=906] ppid=834 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/906/stat : 906 (java) S 834 837 29375 0 -1 1077944384 2 13188 0 0 0 0 5 3 20 0 15 0 417491265 11079831552 12233 33554432000 4194304 4196468 140722301081136 139932597300272 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 48932 KiB

[startup+0.700677 s]
/proc/loadavg: 1.49 1.46 1.44 3/229 906
/proc/meminfo: memFree=28248692/32770624 swapFree=66999920/67108860
[pid=837] ppid=834 vsize=10824360 memory=79428 CPUtime=1.12 cores=0,2,4,6
/proc/837/stat : 837 (java) S 834 837 29375 0 -1 1077944320 15068 13188 0 0 99 5 5 3 20 0 15 0 417491250 11084144640 19857 33554432000 4194304 4196468 140722301081136 140722301063680 139933175979767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
/proc/837/statm: 2706090 19857 3505 1 0 2668173 0
[pid=837/tid=890] ppid=834 vsize=10824360 memory=7019257425709197167 CPUtime=0.66 cores=0,2,4,6
/proc/837/task/890/stat : 890 (java) R 834 837 29375 0 -1 4202560 10316 13188 0 0 54 4 5 3 20 0 15 0 417491259 11084144640 19857 33554432000 4194304 4196468 140722301081136 139933147810784 139933176001693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=891] ppid=834 vsize=10824360 memory=279858189964096 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/891/stat : 891 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491260 11084144640 19857 33554432000 4194304 4196468 140722301081136 139933180221968 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=892] ppid=834 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/892/stat : 892 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491260 11084144640 19857 33554432000 4194304 4196468 140722301081136 139933068495504 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=893] ppid=834 vsize=10824360 memory=139929095321705 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/893/stat : 893 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491260 11084144640 19857 33554432000 4194304 4196468 140722301081136 139933067442448 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=894] ppid=834 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/894/stat : 894 (java) S 834 837 29375 0 -1 1077944384 2 13188 0 0 0 0 5 3 20 0 15 0 417491260 11084144640 19857 33554432000 4194304 4196468 140722301081136 139933066389904 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=895] ppid=834 vsize=10824360 memory=279858189977636 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/895/stat : 895 (java) S 834 837 29375 0 -1 1077944384 5 13188 0 0 0 0 5 3 20 0 15 0 417491261 11084144640 19857 33554432000 4194304 4196468 140722301081136 139932635069168 139933175990914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=896] ppid=834 vsize=10824360 memory=279858189977968 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/896/stat : 896 (java) S 834 837 29375 0 -1 1077944384 33 13188 0 0 0 0 5 3 20 0 15 0 417491262 11084144640 19857 33554432000 4194304 4196468 140722301081136 139932634015392 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=898] ppid=834 vsize=10824360 memory=279858189978240 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/898/stat : 898 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491262 11084144640 19857 33554432000 4194304 4196468 140722301081136 139931980653808 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=899] ppid=834 vsize=10824360 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/899/stat : 899 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11084144640 19857 33554432000 4194304 4196468 140722301081136 139931740363216 139933175998363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=900] ppid=834 vsize=10824360 memory=6689 CPUtime=0.22 cores=0,2,4,6
/proc/837/task/900/stat : 900 (java) S 834 837 29375 0 -1 1077944384 1000 13188 0 0 14 0 5 3 20 0 15 0 417491265 11084144640 19857 33554432000 4194304 4196468 140722301081136 139932600457456 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=901] ppid=834 vsize=10824360 memory=4420 CPUtime=0.21 cores=0,2,4,6
/proc/837/task/901/stat : 901 (java) R 834 837 29375 0 -1 4202560 689 13188 0 0 13 0 5 3 20 0 15 0 417491265 11084144640 19857 33554432000 4194304 4196468 140722301081136 139932599394704 139933160903972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=904] ppid=834 vsize=10824360 memory=6628 CPUtime=0.25 cores=0,2,4,6
/proc/837/task/904/stat : 904 (java) S 834 837 29375 0 -1 1077944384 804 13188 0 0 17 0 5 3 20 0 15 0 417491265 11084144640 19857 33554432000 4194304 4196468 140722301081136 139932598351856 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=905] ppid=834 vsize=10824360 memory=6660 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/905/stat : 905 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11084144640 19857 33554432000 4194304 4196468 140722301081136 139931706804576 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=906] ppid=834 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/906/stat : 906 (java) S 834 837 29375 0 -1 1077944384 2 13188 0 0 0 0 5 3 20 0 15 0 417491265 11084144640 19857 33554432000 4194304 4196468 140722301081136 139932597300272 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 79428 KiB

[startup+1.50079 s]
/proc/loadavg: 1.49 1.46 1.44 6/229 906
/proc/meminfo: memFree=28216468/32770624 swapFree=66999920/67108860
[pid=837] ppid=834 vsize=10832628 memory=196124 CPUtime=3.05 cores=0,2,4,6
/proc/837/stat : 837 (java) S 834 837 29375 0 -1 1077944320 26378 13188 0 0 287 10 5 3 20 0 15 0 417491250 11092611072 48966 33554432000 4194304 4196468 140722301081136 140722301063680 139933175979767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
/proc/837/statm: 2708157 48966 3587 1 0 2670221 0
[pid=837/tid=890] ppid=834 vsize=10832628 memory=279858189977636 CPUtime=1.41 cores=0,2,4,6
/proc/837/task/890/stat : 890 (java) R 834 837 29375 0 -1 4202560 16205 13188 0 0 127 6 5 3 20 0 15 0 417491259 11092611072 49031 33554432000 4194304 4196468 140722301081136 139933147812064 139933160060254 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=891] ppid=834 vsize=10832628 memory=279858189977968 CPUtime=0.09 cores=0,2,4,6
/proc/837/task/891/stat : 891 (java) S 834 837 29375 0 -1 1077944384 321 13188 0 0 1 0 5 3 20 0 15 0 417491260 11092611072 49031 33554432000 4194304 4196468 140722301081136 139933180221968 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=892] ppid=834 vsize=10832628 memory=279858189978240 CPUtime=0.09 cores=0,2,4,6
/proc/837/task/892/stat : 892 (java) S 834 837 29375 0 -1 1077944384 70 13188 0 0 1 0 5 3 20 0 15 0 417491260 11092611072 49031 33554432000 4194304 4196468 140722301081136 139933068495504 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=893] ppid=834 vsize=10832628 memory=266227842839231 CPUtime=0.09 cores=0,2,4,6
/proc/837/task/893/stat : 893 (java) S 834 837 29375 0 -1 1077944384 75 13188 0 0 1 0 5 3 20 0 15 0 417491260 11092611072 49031 33554432000 4194304 4196468 140722301081136 139933067442448 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=894] ppid=834 vsize=10832628 memory=142240726938303 CPUtime=0.09 cores=0,2,4,6
/proc/837/task/894/stat : 894 (java) S 834 837 29375 0 -1 1077944384 48 13188 0 0 1 0 5 3 20 0 15 0 417491260 11092611072 49031 33554432000 4194304 4196468 140722301081136 139933066389904 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=895] ppid=834 vsize=10832628 memory=142245021876767 CPUtime=0.09 cores=0,2,4,6
/proc/837/task/895/stat : 895 (java) S 834 837 29375 0 -1 1077944384 975 13188 0 0 1 0 5 3 20 0 15 0 417491261 11092611072 49031 33554432000 4194304 4196468 140722301081136 139932635069168 139933175990914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=896] ppid=834 vsize=10832628 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/896/stat : 896 (java) S 834 837 29375 0 -1 1077944384 34 13188 0 0 0 0 5 3 20 0 15 0 417491262 11092611072 49031 33554432000 4194304 4196468 140722301081136 139932634015456 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=898] ppid=834 vsize=10832628 memory=279858189969096 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/898/stat : 898 (java) S 834 837 29375 0 -1 1077944384 1 13188 0 0 0 0 5 3 20 0 15 0 417491262 11092611072 49031 33554432000 4194304 4196468 140722301081136 139931980653824 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=899] ppid=834 vsize=10832628 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/899/stat : 899 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11092611072 49031 33554432000 4194304 4196468 140722301081136 139931740363216 139933175998363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=900] ppid=834 vsize=10832628 memory=279858189959408 CPUtime=0.64 cores=0,2,4,6
/proc/837/task/900/stat : 900 (java) S 834 837 29375 0 -1 1077944384 2596 13188 0 0 55 1 5 3 20 0 15 0 417491265 11092611072 49031 33554432000 4194304 4196468 140722301081136 139932600457456 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=901] ppid=834 vsize=10832628 memory=54 CPUtime=0.59 cores=0,2,4,6
/proc/837/task/901/stat : 901 (java) S 834 837 29375 0 -1 1077944384 1807 13188 0 0 51 0 5 3 20 0 15 0 417491265 11092611072 49031 33554432000 4194304 4196468 140722301081136 139932599404912 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=904] ppid=834 vsize=10832628 memory=9996 CPUtime=0.52 cores=0,2,4,6
/proc/837/task/904/stat : 904 (java) S 834 837 29375 0 -1 1077944384 2033 13188 0 0 44 0 5 3 20 0 15 0 417491265 11092611072 49031 33554432000 4194304 4196468 140722301081136 139932598351856 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=905] ppid=834 vsize=10832628 memory=22548 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/905/stat : 905 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11092611072 49031 33554432000 4194304 4196468 140722301081136 139931706804576 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=906] ppid=834 vsize=10832628 memory=279858189995968 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/906/stat : 906 (java) S 834 837 29375 0 -1 1077944384 2 13188 0 0 0 0 5 3 20 0 15 0 417491265 11092611072 49031 33554432000 4194304 4196468 140722301081136 139932597300272 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 10832628 KiB

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

/proc/837/task/890/stat : 890 (java) R 834 837 29375 0 -1 4202560 66192 13188 0 0 236350 34 5 3 20 0 15 0 417491259 11113615360 187450 33554432000 4194304 4196468 140722301081136 139933147815424 139932738743048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=891] ppid=834 vsize=10853140 memory=749800 CPUtime=8.74 cores=0,2,4,6
/proc/837/task/891/stat : 891 (java) S 834 837 29375 0 -1 1077944384 12371 13188 0 0 830 36 5 3 20 0 15 0 417491260 11113615360 187450 33554432000 4194304 4196468 140722301081136 139933180221968 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=892] ppid=834 vsize=10853140 memory=749800 CPUtime=8.75 cores=0,2,4,6
/proc/837/task/892/stat : 892 (java) S 834 837 29375 0 -1 1077944384 11651 13188 0 0 830 37 5 3 20 0 15 0 417491260 11113615360 187450 33554432000 4194304 4196468 140722301081136 139933068495504 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=893] ppid=834 vsize=10853140 memory=749800 CPUtime=8.79 cores=0,2,4,6
/proc/837/task/893/stat : 893 (java) S 834 837 29375 0 -1 1077944384 14906 13188 0 0 836 35 5 3 20 0 15 0 417491260 11113615360 187450 33554432000 4194304 4196468 140722301081136 139933067442448 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=894] ppid=834 vsize=10853140 memory=749800 CPUtime=8.74 cores=0,2,4,6
/proc/837/task/894/stat : 894 (java) S 834 837 29375 0 -1 1077944384 12253 13188 0 0 827 39 5 3 20 0 15 0 417491260 11113615360 187450 33554432000 4194304 4196468 140722301081136 139933066389904 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=895] ppid=834 vsize=10853140 memory=749800 CPUtime=7.13 cores=0,2,4,6
/proc/837/task/895/stat : 895 (java) S 834 837 29375 0 -1 1077944384 12780 13188 0 0 672 33 5 3 20 0 15 0 417491261 11113615360 187450 33554432000 4194304 4196468 140722301081136 139932635069168 139933175990914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=896] ppid=834 vsize=10853140 memory=749800 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/896/stat : 896 (java) S 834 837 29375 0 -1 1077944384 46 13188 0 0 0 0 5 3 20 0 15 0 417491262 11113615360 187450 33554432000 4194304 4196468 140722301081136 139932634015456 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=898] ppid=834 vsize=10853140 memory=749800 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/898/stat : 898 (java) S 834 837 29375 0 -1 1077944384 7 13188 0 0 0 0 5 3 20 0 15 0 417491262 11113615360 187450 33554432000 4194304 4196468 140722301081136 139931980653824 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=899] ppid=834 vsize=10853140 memory=749800 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/899/stat : 899 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11113615360 187450 33554432000 4194304 4196468 140722301081136 139931740363216 139933175998363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=900] ppid=834 vsize=10853140 memory=749800 CPUtime=7.93 cores=0,2,4,6
/proc/837/task/900/stat : 900 (java) S 834 837 29375 0 -1 1077944384 67183 13188 0 0 778 7 5 3 20 0 15 0 417491265 11113615360 187450 33554432000 4194304 4196468 140722301081136 139932600457456 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=901] ppid=834 vsize=10853140 memory=3260 CPUtime=6.64 cores=0,2,4,6
/proc/837/task/901/stat : 901 (java) S 834 837 29375 0 -1 1077944384 62056 13188 0 0 648 8 5 3 20 0 15 0 417491265 11113615360 187450 33554432000 4194304 4196468 140722301081136 139932599404912 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=904] ppid=834 vsize=10853140 memory=692 CPUtime=5.08 cores=0,2,4,6
/proc/837/task/904/stat : 904 (java) S 834 837 29375 0 -1 1077944384 80143 13188 0 0 489 11 5 3 20 0 15 0 417491265 11113615360 187450 33554432000 4194304 4196468 140722301081136 139932598351856 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=905] ppid=834 vsize=10853140 memory=496 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/905/stat : 905 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11113615360 187450 33554432000 4194304 4196468 140722301081136 139931706804576 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=906] ppid=834 vsize=10853140 memory=1560 CPUtime=1.46 cores=0,2,4,6
/proc/837/task/906/stat : 906 (java) S 834 837 29375 0 -1 1077944384 1411 13188 0 0 69 69 5 3 20 0 15 0 417491265 11113615360 187450 33554432000 4194304 4196468 140722301081136 139932597300272 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
Current children cumulated CPU time: 2426.56 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 749800 KiB

[startup+2442.3 s]
/proc/loadavg: 0.98 1.30 1.32 2/207 1183
/proc/meminfo: memFree=28407484/32770624 swapFree=66999920/67108860
[pid=837] ppid=834 vsize=10853140 memory=748356 CPUtime=2487.13 cores=0,2,4,6
/proc/837/stat : 837 (java) S 834 837 29375 0 -1 1077944320 344109 13188 0 0 248436 269 5 3 20 0 15 0 417491250 11113615360 187089 33554432000 4194304 4196468 140722301081136 140722301063680 139933175979767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
/proc/837/statm: 2713285 187089 3632 1 0 2675341 0
[pid=837/tid=890] ppid=834 vsize=10853140 memory=748356 CPUtime=2423.53 cores=0,2,4,6
/proc/837/task/890/stat : 890 (java) R 834 837 29375 0 -1 4202560 66564 13188 0 0 242310 35 5 3 20 0 15 0 417491259 11113615360 187089 33554432000 4194304 4196468 140722301081136 139933147815792 139932741430996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=891] ppid=834 vsize=10853140 memory=749864 CPUtime=8.92 cores=0,2,4,6
/proc/837/task/891/stat : 891 (java) S 834 837 29375 0 -1 1077944384 12421 13188 0 0 848 36 5 3 20 0 15 0 417491260 11113615360 187089 33554432000 4194304 4196468 140722301081136 139933180221968 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=892] ppid=834 vsize=10853140 memory=749800 CPUtime=8.94 cores=0,2,4,6
/proc/837/task/892/stat : 892 (java) S 834 837 29375 0 -1 1077944384 11962 13188 0 0 849 37 5 3 20 0 15 0 417491260 11113615360 187089 33554432000 4194304 4196468 140722301081136 139933068495504 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=893] ppid=834 vsize=10853140 memory=749800 CPUtime=8.98 cores=0,2,4,6
/proc/837/task/893/stat : 893 (java) S 834 837 29375 0 -1 1077944384 14986 13188 0 0 854 36 5 3 20 0 15 0 417491260 11113615360 187089 33554432000 4194304 4196468 140722301081136 139933067442448 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=894] ppid=834 vsize=10853140 memory=748356 CPUtime=8.93 cores=0,2,4,6
/proc/837/task/894/stat : 894 (java) S 834 837 29375 0 -1 1077944384 12317 13188 0 0 845 40 5 3 20 0 15 0 417491260 11113615360 187089 33554432000 4194304 4196468 140722301081136 139933066389904 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=895] ppid=834 vsize=10853140 memory=748356 CPUtime=7.29 cores=0,2,4,6
/proc/837/task/895/stat : 895 (java) S 834 837 29375 0 -1 1077944384 12796 13188 0 0 687 34 5 3 20 0 15 0 417491261 11113615360 187089 33554432000 4194304 4196468 140722301081136 139932635069168 139933175990914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=896] ppid=834 vsize=10853140 memory=748872 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/896/stat : 896 (java) S 834 837 29375 0 -1 1077944384 46 13188 0 0 0 0 5 3 20 0 15 0 417491262 11113615360 187089 33554432000 4194304 4196468 140722301081136 139932634015456 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=898] ppid=834 vsize=10853140 memory=749892 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/898/stat : 898 (java) S 834 837 29375 0 -1 1077944384 7 13188 0 0 0 0 5 3 20 0 15 0 417491262 11113615360 187089 33554432000 4194304 4196468 140722301081136 139931980653824 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=899] ppid=834 vsize=10853140 memory=749864 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/899/stat : 899 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11113615360 187089 33554432000 4194304 4196468 140722301081136 139931740363216 139933175998363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=900] ppid=834 vsize=10853140 memory=1432 CPUtime=7.93 cores=0,2,4,6
/proc/837/task/900/stat : 900 (java) S 834 837 29375 0 -1 1077944384 67183 13188 0 0 778 7 5 3 20 0 15 0 417491265 11113615360 187089 33554432000 4194304 4196468 140722301081136 139932600457456 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=901] ppid=834 vsize=10853140 memory=6947385649911455296 CPUtime=6.64 cores=0,2,4,6
/proc/837/task/901/stat : 901 (java) S 834 837 29375 0 -1 1077944384 62056 13188 0 0 648 8 5 3 20 0 15 0 417491265 11113615360 187089 33554432000 4194304 4196468 140722301081136 139932599404912 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=904] ppid=834 vsize=10853140 memory=2020 CPUtime=5.08 cores=0,2,4,6
/proc/837/task/904/stat : 904 (java) S 834 837 29375 0 -1 1077944384 80143 13188 0 0 489 11 5 3 20 0 15 0 417491265 11113615360 187089 33554432000 4194304 4196468 140722301081136 139932598351856 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=905] ppid=834 vsize=10853140 memory=749864 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/905/stat : 905 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11113615360 187089 33554432000 4194304 4196468 140722301081136 139931706804576 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=906] ppid=834 vsize=10853140 memory=3580 CPUtime=1.5 cores=0,2,4,6
/proc/837/task/906/stat : 906 (java) S 834 837 29375 0 -1 1077944384 1415 13188 0 0 72 70 5 3 20 0 15 0 417491265 11113615360 187089 33554432000 4194304 4196468 140722301081136 139932597300272 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
Current children cumulated CPU time: 2487.13 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 748356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2474.9 s]
/proc/loadavg: 0.86 1.23 1.30 2/207 1186
/proc/meminfo: memFree=28408964/32770624 swapFree=66999920/67108860
[pid=837] ppid=834 vsize=10853140 memory=747344 CPUtime=2520.02 cores=0,2,4,6
/proc/837/stat : 837 (java) S 834 837 29375 0 -1 1077944320 344874 13188 0 0 251723 271 5 3 20 0 15 0 417491250 11113615360 186836 33554432000 4194304 4196468 140722301081136 140722301063680 139933175979767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
/proc/837/statm: 2713285 186836 3632 1 0 2675341 0
[pid=837/tid=890] ppid=834 vsize=10853140 memory=747344 CPUtime=2455.91 cores=0,2,4,6
/proc/837/task/890/stat : 890 (java) R 834 837 29375 0 -1 4202560 66934 13188 0 0 245548 35 5 3 20 0 15 0 417491259 11113615360 186836 33554432000 4194304 4196468 140722301081136 139933147815888 139932756188409 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=891] ppid=834 vsize=10853140 memory=748356 CPUtime=9.03 cores=0,2,4,6
/proc/837/task/891/stat : 891 (java) S 834 837 29375 0 -1 1077944384 12486 13188 0 0 858 37 5 3 20 0 15 0 417491260 11113615360 186836 33554432000 4194304 4196468 140722301081136 139933180221968 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=892] ppid=834 vsize=10853140 memory=747344 CPUtime=9.04 cores=0,2,4,6
/proc/837/task/892/stat : 892 (java) S 834 837 29375 0 -1 1077944384 12025 13188 0 0 858 38 5 3 20 0 15 0 417491260 11113615360 186836 33554432000 4194304 4196468 140722301081136 139933068495504 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=893] ppid=834 vsize=10853140 memory=747332 CPUtime=9.09 cores=0,2,4,6
/proc/837/task/893/stat : 893 (java) S 834 837 29375 0 -1 1077944384 15026 13188 0 0 865 36 5 3 20 0 15 0 417491260 11113615360 186836 33554432000 4194304 4196468 140722301081136 139933067442448 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=894] ppid=834 vsize=10853140 memory=747332 CPUtime=9.03 cores=0,2,4,6
/proc/837/task/894/stat : 894 (java) S 834 837 29375 0 -1 1077944384 12325 13188 0 0 855 40 5 3 20 0 15 0 417491260 11113615360 186836 33554432000 4194304 4196468 140722301081136 139933066389904 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=895] ppid=834 vsize=10853140 memory=749800 CPUtime=7.37 cores=0,2,4,6
/proc/837/task/895/stat : 895 (java) S 834 837 29375 0 -1 1077944384 12983 13188 0 0 695 34 5 3 20 0 15 0 417491261 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932635069168 139933175990914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=896] ppid=834 vsize=10853140 memory=40068 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/896/stat : 896 (java) S 834 837 29375 0 -1 1077944384 46 13188 0 0 0 0 5 3 20 0 15 0 417491262 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932634015456 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=898] ppid=834 vsize=10853140 memory=1440 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/898/stat : 898 (java) S 834 837 29375 0 -1 1077944384 7 13188 0 0 0 0 5 3 20 0 15 0 417491262 11113615360 186836 33554432000 4194304 4196468 140722301081136 139931980653824 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=899] ppid=834 vsize=10853140 memory=1760 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/899/stat : 899 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139931740363216 139933175998363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=900] ppid=834 vsize=10853140 memory=3580 CPUtime=7.93 cores=0,2,4,6
/proc/837/task/900/stat : 900 (java) S 834 837 29375 0 -1 1077944384 67185 13188 0 0 778 7 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932600457456 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=901] ppid=834 vsize=10853140 memory=40068 CPUtime=6.64 cores=0,2,4,6
/proc/837/task/901/stat : 901 (java) S 834 837 29375 0 -1 1077944384 62058 13188 0 0 648 8 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932599404912 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=904] ppid=834 vsize=10853140 memory=12024 CPUtime=5.08 cores=0,2,4,6
/proc/837/task/904/stat : 904 (java) S 834 837 29375 0 -1 1077944384 80145 13188 0 0 489 11 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932598351856 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=905] ppid=834 vsize=10853140 memory=2120 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/905/stat : 905 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139931706804576 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=906] ppid=834 vsize=10853140 memory=496 CPUtime=1.52 cores=0,2,4,6
/proc/837/task/906/stat : 906 (java) S 834 837 29375 0 -1 1077944384 1441 13188 0 0 73 71 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932597300272 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 747344 KiB

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

[startup+2474.93 s]
# the end of solver process 837 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.31 s, system=2.75974 s

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

[startup+2474.9 s]
/proc/loadavg: 0.86 1.23 1.30 2/207 1186
/proc/meminfo: memFree=28408964/32770624 swapFree=66999920/67108860
[pid=837] ppid=834 vsize=10853140 memory=747344 CPUtime=2520.02 cores=0,2,4,6
/proc/837/stat : 837 (java) S 834 837 29375 0 -1 1077944320 344874 13188 0 0 251723 271 5 3 20 0 15 0 417491250 11113615360 186836 33554432000 4194304 4196468 140722301081136 140722301063680 139933175979767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
/proc/837/statm: 2713285 186836 3632 1 0 2675341 0
[pid=837/tid=890] ppid=834 vsize=10853140 memory=747344 CPUtime=2455.91 cores=0,2,4,6
/proc/837/task/890/stat : 890 (java) R 834 837 29375 0 -1 4202560 66934 13188 0 0 245548 35 5 3 20 0 15 0 417491259 11113615360 186836 33554432000 4194304 4196468 140722301081136 139933147815888 139932756188409 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=891] ppid=834 vsize=10853140 memory=748356 CPUtime=9.03 cores=0,2,4,6
/proc/837/task/891/stat : 891 (java) S 834 837 29375 0 -1 1077944384 12486 13188 0 0 858 37 5 3 20 0 15 0 417491260 11113615360 186836 33554432000 4194304 4196468 140722301081136 139933180221968 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=892] ppid=834 vsize=10853140 memory=747344 CPUtime=9.04 cores=0,2,4,6
/proc/837/task/892/stat : 892 (java) S 834 837 29375 0 -1 1077944384 12025 13188 0 0 858 38 5 3 20 0 15 0 417491260 11113615360 186836 33554432000 4194304 4196468 140722301081136 139933068495504 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=893] ppid=834 vsize=10853140 memory=747332 CPUtime=9.09 cores=0,2,4,6
/proc/837/task/893/stat : 893 (java) S 834 837 29375 0 -1 1077944384 15026 13188 0 0 865 36 5 3 20 0 15 0 417491260 11113615360 186836 33554432000 4194304 4196468 140722301081136 139933067442448 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=894] ppid=834 vsize=10853140 memory=747332 CPUtime=9.03 cores=0,2,4,6
/proc/837/task/894/stat : 894 (java) S 834 837 29375 0 -1 1077944384 12325 13188 0 0 855 40 5 3 20 0 15 0 417491260 11113615360 186836 33554432000 4194304 4196468 140722301081136 139933066389904 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=895] ppid=834 vsize=10853140 memory=749800 CPUtime=7.37 cores=0,2,4,6
/proc/837/task/895/stat : 895 (java) S 834 837 29375 0 -1 1077944384 12983 13188 0 0 695 34 5 3 20 0 15 0 417491261 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932635069168 139933175990914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=896] ppid=834 vsize=10853140 memory=40068 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/896/stat : 896 (java) S 834 837 29375 0 -1 1077944384 46 13188 0 0 0 0 5 3 20 0 15 0 417491262 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932634015456 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=898] ppid=834 vsize=10853140 memory=1440 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/898/stat : 898 (java) S 834 837 29375 0 -1 1077944384 7 13188 0 0 0 0 5 3 20 0 15 0 417491262 11113615360 186836 33554432000 4194304 4196468 140722301081136 139931980653824 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=899] ppid=834 vsize=10853140 memory=1760 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/899/stat : 899 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139931740363216 139933175998363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=900] ppid=834 vsize=10853140 memory=3580 CPUtime=7.93 cores=0,2,4,6
/proc/837/task/900/stat : 900 (java) S 834 837 29375 0 -1 1077944384 67185 13188 0 0 778 7 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932600457456 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=901] ppid=834 vsize=10853140 memory=40068 CPUtime=6.64 cores=0,2,4,6
/proc/837/task/901/stat : 901 (java) S 834 837 29375 0 -1 1077944384 62058 13188 0 0 648 8 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932599404912 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=904] ppid=834 vsize=10853140 memory=12024 CPUtime=5.08 cores=0,2,4,6
/proc/837/task/904/stat : 904 (java) S 834 837 29375 0 -1 1077944384 80145 13188 0 0 489 11 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932598351856 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=905] ppid=834 vsize=10853140 memory=2120 CPUtime=0.08 cores=0,2,4,6
/proc/837/task/905/stat : 905 (java) S 834 837 29375 0 -1 1077944384 3 13188 0 0 0 0 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139931706804576 139933175989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
[pid=837/tid=906] ppid=834 vsize=10853140 memory=496 CPUtime=1.52 cores=0,2,4,6
/proc/837/task/906/stat : 906 (java) S 834 837 29375 0 -1 1077944384 1441 13188 0 0 73 71 5 3 20 0 15 0 417491265 11113615360 186836 33554432000 4194304 4196468 140722301081136 139932597300272 139933175990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8802304 140722301086447 140722301088965 140722301088965 140722301091791 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 747344 KiB

Child status: 143
Real time (s): 2474.93
CPU time (s): 2520.07
CPU user time (s): 2517.31
CPU system time (s): 2.75974
CPU usage (%): 101.824
Max. virtual memory (cumulated for all children) (KiB): 10853932
Max. memory (cumulated for all children) (KiB): 849988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.31
system time used= 2.75975
maximum resident set size= 851012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209717
involuntary context switches= 7486


# summary of solver processes directly reported to runsolver:
#   pid: 837
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2517.31
#   total CPU system time (s): 2.75974

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5609 second user time and 23.7763 second system time

The end

Name	OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-pb-30-15-1.xml
MD5SUM	200d8ff13be0114d953e34120514972f
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	66.689
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 4396335

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