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.3	SAT (TO)	14	2520.13	2465.23

0.81/1.21	c Concrete v3.12.3.1568965526260 running
337.13/319.09	o 15
337.56/319.37	o 14
2520.08/2465.20	Exception in thread "main" java.util.concurrent.TimeoutException
2520.08/2465.20		at concrete.MAC.mac(MAC.scala:192)
2520.08/2465.20		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.08/2465.20		at scala.util.Try$.apply(Try.scala:210)
2520.08/2465.20		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.08/2465.20		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.08/2465.20		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.08/2465.20		at concrete.MAC.oneRun(MAC.scala:265)
2520.08/2465.20		at concrete.MAC.nextSolution(MAC.scala:284)
2520.08/2465.20		at concrete.MAC.nextSolution(MAC.scala:369)
2520.08/2465.20		at concrete.Solver.hasNext(Solver.scala:160)
2520.08/2465.20		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.08/2465.20		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.08/2465.20		at concrete.Solver.foreach(Solver.scala:67)
2520.08/2465.20		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.08/2465.20		at scala.util.Success.map(Try.scala:262)
2520.08/2465.20		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2465.20		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.08/2465.20		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.08/2465.20		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2465.20		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.08/2465.20		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.08/2465.20		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.08/2465.20		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.08/2465.20		at scala.App.$anonfun$main$1(App.scala:73)
2520.08/2465.20		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2520.08/2465.20		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.08/2465.20		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.08/2465.20		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2520.08/2465.21		at scala.App.main(App.scala:73)
2520.08/2465.21		at scala.App.main$(App.scala:71)
2520.08/2465.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.08/2465.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2465.21	v <instantiation
2520.08/2465.21	v         cost = '14'>
2520.08/2465.21	v       <list>
2520.08/2465.21	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.08/2465.22	v       </list>
2520.08/2465.22	v       <values>
2520.08/2465.22	v         11 9 10 0 4 3 13 14 8 12 6 2 7 1 5 0 0 0 1 2 2 3 4 5 5 5 5 5 5 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 1 2 3 3 3 3 3 3 3 3 3 3 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 2 3 3 3 3 3 3 3 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 2 2 3 3 3 0 1 1 2 2 3 3 3 4 5 6 6 6 6 6 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 1 1 2 3 3 3 3 3 3 3 3 3 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 3 3 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 0 0 0 0 0 0 1 1 1 2 2 3 3 3 4 1 2 2 2 2 2 2 3 3 3 3 3 3 4 4 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 2 3 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 2 2 2 3 3 3 4 4 4 4 0 0 0 1 2 2 3 3 3 3 3 3 3 3 3 0 1 1 2 2 2 2 2 2 2 2 2 3 3 4 0 0 0 0 1 2 2 3 4 5 5 5 5 5 5 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 1 1 1 2 0 0 0 0 0 0 0 1 1 1 2 2 3 3 3 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 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 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 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 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 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 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 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 1 1 1 0 0 0 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 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 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 8 11 10 13 14 14 14 14 13 13 13 13 12 11 7
2520.08/2465.22	v       </values>
2520.08/2465.22	v     </instantiation>
2520.08/2465.22	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 (2646 MiB free)
  memory of node 1: 16384 MiB (403 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402922-1568973400/watcher-4402922-1568973400 -o /var/tmp/evaluation-result-4402922-1568973400/solver-4402922-1568973400 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568967595-5563 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1834842146 HOME/instance-4402922-1568973400.xml 

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

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

solver pid=8253, runsolver pid=8250

[startup+0.100157 s]*
/proc/loadavg: 2.01 1.87 1.72 2/218 8296
/proc/meminfo: memFree=3122972/32770624 swapFree=67001720/67108860
[pid=8253] ppid=8250 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/8253/stat : 8253 (bash) S 8250 8253 5532 0 -1 4202496 888 5682 0 0 0 0 0 1 20 0 1 0 473254005 115974144 404 33554432000 4194304 5098028 140726123118304 140726123112312 139984059825152 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 0 0 0 7196144 7232144 33587200 140726123123712 140726123123841 140726123123841 140726123126766 0
/proc/8253/statm: 28314 404 320 221 0 119 0
[pid=8280] ppid=8253 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/8280/stat : 8280 (bash) S 8253 8253 5532 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 473254007 115974144 178 33554432000 4194304 5098028 140726123118304 140726123110984 139984059650684 0 65536 4096 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33587200 140726123123712 140726123123841 140726123123841 140726123126766 0
/proc/8280/statm: 28314 178 94 221 0 119 0
[pid=8282] ppid=8280 vsize=113492 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/8282/stat : 8282 (awk) S 8280 8253 5532 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 473254007 116215808 308 33554432000 4194304 4609284 140737012921392 140737012920568 140204650675200 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 23179264 140737012929708 140737012929738 140737012929738 140737012932591 0
/proc/8282/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340004 KiB
Current children cumulated memory: 3560 KiB

[startup+0.209912 s]*
/proc/loadavg: 2.01 1.87 1.72 2/218 8296
/proc/meminfo: memFree=3122972/32770624 swapFree=67001720/67108860
[pid=8253] ppid=8250 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/8253/stat : 8253 (bash) S 8250 8253 5532 0 -1 4202496 888 5682 0 0 0 0 0 1 20 0 1 0 473254005 115974144 404 33554432000 4194304 5098028 140726123118304 140726123112312 139984059825152 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 0 0 0 7196144 7232144 33587200 140726123123712 140726123123841 140726123123841 140726123126766 0
/proc/8253/statm: 28314 404 320 221 0 119 0
[pid=8280] ppid=8253 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/8280/stat : 8280 (bash) S 8253 8253 5532 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 473254007 115974144 178 33554432000 4194304 5098028 140726123118304 140726123110984 139984059650684 0 65536 4096 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33587200 140726123123712 140726123123841 140726123123841 140726123126766 0
/proc/8280/statm: 28314 178 94 221 0 119 0
[pid=8282] ppid=8280 vsize=113492 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/8282/stat : 8282 (awk) S 8280 8253 5532 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 473254007 116215808 308 33554432000 4194304 4609284 140737012921392 140737012920568 140204650675200 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 23179264 140737012929708 140737012929738 140737012929738 140737012932591 0
/proc/8282/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340004 KiB
Current children cumulated memory: 3560 KiB

[startup+0.309679 s]*
/proc/loadavg: 2.01 1.87 1.72 2/218 8296
/proc/meminfo: memFree=3122692/32770624 swapFree=67001720/67108860
[pid=8253] ppid=8250 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/8253/stat : 8253 (bash) S 8250 8253 5532 0 -1 4202496 888 5682 0 0 0 0 0 1 20 0 1 0 473254005 115974144 404 33554432000 4194304 5098028 140726123118304 140726123112312 139984059825152 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 0 0 0 7196144 7232144 33587200 140726123123712 140726123123841 140726123123841 140726123126766 0
/proc/8253/statm: 28314 404 320 221 0 119 0
[pid=8280] ppid=8253 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/8280/stat : 8280 (bash) S 8253 8253 5532 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 473254007 115974144 178 33554432000 4194304 5098028 140726123118304 140726123110984 139984059650684 0 65536 4096 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33587200 140726123123712 140726123123841 140726123123841 140726123126766 0
/proc/8280/statm: 28314 178 94 221 0 119 0
[pid=8282] ppid=8280 vsize=113492 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/8282/stat : 8282 (awk) S 8280 8253 5532 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 473254007 116215808 308 33554432000 4194304 4609284 140737012921392 140737012920568 140204650675200 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 23179264 140737012929708 140737012929738 140737012929738 140737012932591 0
/proc/8282/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340004 KiB
Current children cumulated memory: 3560 KiB

[startup+0.700459 s]
/proc/loadavg: 2.01 1.87 1.72 2/218 8296
/proc/meminfo: memFree=3122692/32770624 swapFree=67001720/67108860
[pid=8253] ppid=8250 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/8253/stat : 8253 (bash) S 8250 8253 5532 0 -1 4202496 888 5682 0 0 0 0 0 1 20 0 1 0 473254005 115974144 404 33554432000 4194304 5098028 140726123118304 140726123112312 139984059825152 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 0 0 0 7196144 7232144 33587200 140726123123712 140726123123841 140726123123841 140726123126766 0
/proc/8253/statm: 28314 404 320 221 0 119 0
[pid=8280] ppid=8253 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/8280/stat : 8280 (bash) S 8253 8253 5532 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 473254007 115974144 178 33554432000 4194304 5098028 140726123118304 140726123110984 139984059650684 0 65536 4096 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33587200 140726123123712 140726123123841 140726123123841 140726123126766 0
/proc/8280/statm: 28314 178 94 221 0 119 0
[pid=8282] ppid=8280 vsize=113492 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/8282/stat : 8282 (awk) S 8280 8253 5532 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 473254007 116215808 308 33554432000 4194304 4609284 140737012921392 140737012920568 140204650675200 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 23179264 140737012929708 140737012929738 140737012929738 140737012932591 0
/proc/8282/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340004 KiB
Current children cumulated memory: 3560 KiB

[startup+1.501 s]
/proc/loadavg: 2.01 1.87 1.72 3/228 8319
/proc/meminfo: memFree=3084136/32770624 swapFree=67001720/67108860
[pid=8253] ppid=8250 vsize=10826488 memory=97168 CPUtime=1.53 cores=0,2,4,6
/proc/8253/stat : 8253 (java) S 8250 8253 5532 0 -1 1077944320 16527 13060 0 0 141 5 5 2 20 0 15 0 473254005 11086323712 24292 33554432000 4194304 4196468 140720621638352 140720621620896 140444231765751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
/proc/8253/statm: 2706622 24292 3539 1 0 2668685 0
[pid=8253/tid=8306] ppid=8250 vsize=10826488 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/8253/task/8306/stat : 8306 (java) R 8250 8253 5532 0 -1 4202560 11274 13060 0 0 70 4 5 2 20 0 15 0 473254080 11086323712 24292 33554432000 4194304 4196468 140720621638352 140444203599440 140443837748220 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8307] ppid=8250 vsize=10826488 memory=321021647341750728 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8307/stat : 8307 (java) S 8250 8253 5532 0 -1 1077944384 1 13060 0 0 0 0 5 2 20 0 15 0 473254080 11086323712 24292 33554432000 4194304 4196468 140720621638352 140444236007952 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8308] ppid=8250 vsize=10826488 memory=13712553998305496 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8308/stat : 8308 (java) S 8250 8253 5532 0 -1 1077944384 2 13060 0 0 0 0 5 2 20 0 15 0 473254080 11086323712 24292 33554432000 4194304 4196468 140720621638352 140444156967568 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8309] ppid=8250 vsize=10826488 memory=988 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8309/stat : 8309 (java) S 8250 8253 5532 0 -1 1077944384 1 13060 0 0 0 0 5 2 20 0 15 0 473254080 11086323712 24292 33554432000 4194304 4196468 140720621638352 140443804051728 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8310] ppid=8250 vsize=10826488 memory=2012 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8310/stat : 8310 (java) S 8250 8253 5532 0 -1 1077944384 2 13060 0 0 0 0 5 2 20 0 15 0 473254080 11086323712 24292 33554432000 4194304 4196468 140720621638352 140443802999184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8311] ppid=8250 vsize=10826488 memory=1424 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8311/stat : 8311 (java) S 8250 8253 5532 0 -1 1077944384 5 13060 0 0 0 0 5 2 20 0 15 0 473254082 11086323712 24292 33554432000 4194304 4196468 140720621638352 140443758422768 140444231776898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8312] ppid=8250 vsize=10826488 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8312/stat : 8312 (java) S 8250 8253 5532 0 -1 1077944384 13 13060 0 0 0 0 5 2 20 0 15 0 473254082 11086323712 24292 33554432000 4194304 4196468 140720621638352 140443685742240 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8313] ppid=8250 vsize=10826488 memory=279907850728640 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8313/stat : 8313 (java) S 8250 8253 5532 0 -1 1077944384 1 13060 0 0 0 0 5 2 20 0 15 0 473254083 11086323712 24292 33554432000 4194304 4196468 140720621638352 140443014653168 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8314] ppid=8250 vsize=10826488 memory=37622034467562 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8314/stat : 8314 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254085 11086323712 24804 33554432000 4194304 4196468 140720621638352 140442774362576 140444231784347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8315] ppid=8250 vsize=10826488 memory=37622034467562 CPUtime=0.31 cores=0,2,4,6
/proc/8253/task/8315/stat : 8315 (java) R 8250 8253 5532 0 -1 4202560 1425 13060 0 0 24 0 5 2 20 0 15 0 473254085 11086323712 24804 33554432000 4194304 4196468 140720621638352 140443757361536 140444216873429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8316] ppid=8250 vsize=10826488 memory=37622034467562 CPUtime=0.26 cores=0,2,4,6
/proc/8253/task/8316/stat : 8316 (java) R 8250 8253 5532 0 -1 4202560 549 13060 0 0 19 0 5 2 20 0 15 0 473254085 11086323712 24804 33554432000 4194304 4196468 140720621638352 140443756316960 140444217780060 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8317] ppid=8250 vsize=10826488 memory=37622034467562 CPUtime=0.33 cores=0,2,4,6
/proc/8253/task/8317/stat : 8317 (java) R 8250 8253 5532 0 -1 4202560 1052 13060 0 0 26 0 5 2 20 0 15 0 473254085 11086323712 24804 33554432000 4194304 4196468 140720621638352 140443755261520 140444224862452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8318] ppid=8250 vsize=10826488 memory=37622034467562 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8318/stat : 8318 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254086 11086323712 24804 33554432000 4194304 4196468 140720621638352 140442740803936 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8319] ppid=8250 vsize=10826488 memory=580 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8319/stat : 8319 (java) S 8250 8253 5532 0 -1 1077944384 1 13060 0 0 0 0 5 2 20 0 15 0 473254086 11086323712 24804 33554432000 4194304 4196468 140720621638352 140443754212400 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 10826488 KiB
Current children cumulated memory: 97168 KiB

[startup+3.11041 s]
/proc/loadavg: 2.09 1.89 1.72 4/228 8319
/proc/meminfo: memFree=2925128/32770624 swapFree=67001720/67108860
[pid=8253] ppid=8250 vsize=10840844 memory=215088 CPUtime=5.19 cores=0,2,4,6
/proc/8253/stat : 8253 (java) S 8250 8253 5532 0 -1 1077944320 33860 13060 0 0 499 13 5 2 20 0 15 0 473254005 11101024256 53772 33554432000 4194304 4196468 140720621638352 140720621620896 140444231765751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
/proc/8253/statm: 2710211 53772 3602 1 0 2672269 0
[pid=8253/tid=8306] ppid=8250 vsize=10840844 memory=212840 CPUtime=2.36 cores=0,2,4,6
/proc/8253/task/8306/stat : 8306 (java) R 8250 8253 5532 0 -1 4202560 18219 13060 0 0 222 7 5 2 20 0 15 0 473254080 11101024256 53772 33554432000 4194304 4196468 140720621638352 140444203598848 140444231777686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8307] ppid=8250 vsize=10840844 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/8253/task/8307/stat : 8307 (java) S 8250 8253 5532 0 -1 1077944384 311 13060 0 0 1 0 5 2 20 0 15 0 473254080 11101024256 53772 33554432000 4194304 4196468 140720621638352 140444236007952 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8308] ppid=8250 vsize=10840844 memory=44 CPUtime=0.08 cores=0,2,4,6
/proc/8253/task/8308/stat : 8308 (java) S 8250 8253 5532 0 -1 1077944384 64 13060 0 0 1 0 5 2 20 0 15 0 473254080 11101024256 53772 33554432000 4194304 4196468 140720621638352 140444156967568 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8309] ppid=8250 vsize=10840844 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8253/task/8309/stat : 8309 (java) S 8250 8253 5532 0 -1 1077944384 34 13060 0 0 1 0 5 2 20 0 15 0 473254080 11101024256 53772 33554432000 4194304 4196468 140720621638352 140443804051728 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8310] ppid=8250 vsize=10840844 memory=139953925307502 CPUtime=0.08 cores=0,2,4,6
/proc/8253/task/8310/stat : 8310 (java) S 8250 8253 5532 0 -1 1077944384 82 13060 0 0 1 0 5 2 20 0 15 0 473254080 11101024256 53772 33554432000 4194304 4196468 140720621638352 140443802999184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8311] ppid=8250 vsize=10840844 memory=73 CPUtime=0.08 cores=0,2,4,6
/proc/8253/task/8311/stat : 8311 (java) S 8250 8253 5532 0 -1 1077944384 121 13060 0 0 1 0 5 2 20 0 15 0 473254082 11101024256 53772 33554432000 4194304 4196468 140720621638352 140443758422768 140444231776898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8312] ppid=8250 vsize=10840844 memory=71 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8312/stat : 8312 (java) S 8250 8253 5532 0 -1 1077944384 14 13060 0 0 0 0 5 2 20 0 15 0 473254082 11101024256 53772 33554432000 4194304 4196468 140720621638352 140443685742304 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8313] ppid=8250 vsize=10840844 memory=85 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8313/stat : 8313 (java) S 8250 8253 5532 0 -1 1077944384 1 13060 0 0 0 0 5 2 20 0 15 0 473254083 11101024256 53772 33554432000 4194304 4196468 140720621638352 140443014653184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8314] ppid=8250 vsize=10840844 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8314/stat : 8314 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254085 11101024256 53772 33554432000 4194304 4196468 140720621638352 140442774362576 140444231784347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8315] ppid=8250 vsize=10840844 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/8253/task/8315/stat : 8315 (java) S 8250 8253 5532 0 -1 1077944384 2789 13060 0 0 84 1 5 2 20 0 15 0 473254085 11101024256 53772 33554432000 4194304 4196468 140720621638352 140443757369584 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8316] ppid=8250 vsize=10840844 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/8253/task/8316/stat : 8316 (java) S 8250 8253 5532 0 -1 1077944384 5623 13060 0 0 85 0 5 2 20 0 15 0 473254085 11101024256 53772 33554432000 4194304 4196468 140720621638352 140443756317040 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8317] ppid=8250 vsize=10840844 memory=4051326790911813479 CPUtime=1.05 cores=0,2,4,6
/proc/8253/task/8317/stat : 8317 (java) R 8250 8253 5532 0 -1 4202560 4392 13060 0 0 97 1 5 2 20 0 15 0 473254085 11101024256 53772 33554432000 4194304 4196468 140720621638352 140443755262384 140444231777686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8318] ppid=8250 vsize=10840844 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8318/stat : 8318 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254086 11101024256 53772 33554432000 4194304 4196468 140720621638352 140442740803936 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8319] ppid=8250 vsize=10840844 memory=6427833354903054186 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8319/stat : 8319 (java) S 8250 8253 5532 0 -1 1077944384 1 13060 0 0 0 0 5 2 20 0 15 0 473254086 11101024256 53772 33554432000 4194304 4196468 140720621638352 140443754212400 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
Current children cumulated CPU time: 5.19 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 215088 KiB

[startup+6.30094 s]
/proc/loadavg: 2.09 1.89 1.72 5/228 8319
/proc/meminfo: memFree=2792192/32770624 swapFree=67001720/67108860
[pid=8253] ppid=8250 vsize=10853144 memory=352856 CPUtime=15.15 cores=0,2,4,6
/proc/8253/stat : 8253 (java) S 8250 8253 5532 0 -1 1077944320 64534 13060 0 0 1485 23 5 2 20 0 15 0 473254005 11113619456 88214 33554432000 4194304 4196468 140720621638352 140720621620896 140444231765751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
/proc/8253/statm: 2713286 88214 3624 1 0 2675341 0
[pid=8253/tid=8306] ppid=8250 vsize=10853144 memory=7 CPUtime=5.45 cores=0,2,4,6
/proc/8253/task/8306/stat : 8306 (java) R 8250 8253 5532 0 -1 4202560 26935 13060 0 0 529 9 5 2 20 0 15 0 473254080 11113619456 88214 33554432000 4194304 4196468 140720621638352 140444203600928 140443854614656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8307] ppid=8250 vsize=10853144 memory=7 CPUtime=0.13 cores=0,2,4,6
/proc/8253/task/8307/stat : 8307 (java) S 8250 8253 5532 0 -1 1077944384 559 13060 0 0 5 1 5 2 20 0 15 0 473254080 11113619456 88214 33554432000 4194304 4196468 140720621638352 140444236007952 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8308] ppid=8250 vsize=10853144 memory=55 CPUtime=0.11 cores=0,2,4,6
/proc/8253/task/8308/stat : 8308 (java) S 8250 8253 5532 0 -1 1077944384 96 13060 0 0 4 0 5 2 20 0 15 0 473254080 11113619456 88214 33554432000 4194304 4196468 140720621638352 140444156967568 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8309] ppid=8250 vsize=10853144 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8253/task/8309/stat : 8309 (java) S 8250 8253 5532 0 -1 1077944384 91 13060 0 0 4 1 5 2 20 0 15 0 473254080 11113619456 88214 33554432000 4194304 4196468 140720621638352 140443804051728 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8310] ppid=8250 vsize=10853144 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8253/task/8310/stat : 8310 (java) S 8250 8253 5532 0 -1 1077944384 619 13060 0 0 4 1 5 2 20 0 15 0 473254080 11113619456 88214 33554432000 4194304 4196468 140720621638352 140443802999184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8311] ppid=8250 vsize=10853144 memory=3616 CPUtime=0.12 cores=0,2,4,6
/proc/8253/task/8311/stat : 8311 (java) S 8250 8253 5532 0 -1 1077944384 5125 13060 0 0 5 0 5 2 20 0 15 0 473254082 11113619456 88214 33554432000 4194304 4196468 140720621638352 140443758422768 140444231776898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8312] ppid=8250 vsize=10853144 memory=7548 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8312/stat : 8312 (java) S 8250 8253 5532 0 -1 1077944384 15 13060 0 0 0 0 5 2 20 0 15 0 473254082 11113619456 88214 33554432000 4194304 4196468 140720621638352 140443685742304 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8313] ppid=8250 vsize=10853144 memory=2832 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8313/stat : 8313 (java) S 8250 8253 5532 0 -1 1077944384 1 13060 0 0 0 0 5 2 20 0 15 0 473254083 11113619456 88214 33554432000 4194304 4196468 140720621638352 140443014653184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8314] ppid=8250 vsize=10853144 memory=1224 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8314/stat : 8314 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254085 11113619456 88214 33554432000 4194304 4196468 140720621638352 140442774362576 140444231784347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8315] ppid=8250 vsize=10853144 memory=6068 CPUtime=3.59 cores=0,2,4,6
/proc/8253/task/8315/stat : 8315 (java) R 8250 8253 5532 0 -1 4202560 6642 13060 0 0 351 1 5 2 20 0 15 0 473254085 11113619456 88214 33554432000 4194304 4196468 140720621638352 140443757354896 140444217460647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8316] ppid=8250 vsize=10853144 memory=772 CPUtime=3.63 cores=0,2,4,6
/proc/8253/task/8316/stat : 8316 (java) R 8250 8253 5532 0 -1 4202560 12968 13060 0 0 354 2 5 2 20 0 15 0 473254085 11113619456 88214 33554432000 4194304 4196468 140720621638352 140443756303584 140444216518496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8317] ppid=8250 vsize=10853144 memory=343208 CPUtime=2.33 cores=0,2,4,6
/proc/8253/task/8317/stat : 8317 (java) S 8250 8253 5532 0 -1 1077944384 9264 13060 0 0 223 3 5 2 20 0 15 0 473254085 11113619456 88214 33554432000 4194304 4196468 140720621638352 140443755263984 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0

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

/proc/8253/task/8306/stat : 8306 (java) R 8250 8253 5532 0 -1 4202560 80524 13060 0 0 229661 47 5 2 20 0 15 0 473254080 11113619456 210652 33554432000 4194304 4196468 140720621638352 140444203600960 140443854615510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8307] ppid=8250 vsize=10853144 memory=842608 CPUtime=12.48 cores=0,2,4,6
/proc/8253/task/8307/stat : 8307 (java) S 8250 8253 5532 0 -1 1077944384 21946 13060 0 0 1189 52 5 2 20 0 15 0 473254080 11113619456 210652 33554432000 4194304 4196468 140720621638352 140444236007952 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8308] ppid=8250 vsize=10853144 memory=842608 CPUtime=12.44 cores=0,2,4,6
/proc/8253/task/8308/stat : 8308 (java) S 8250 8253 5532 0 -1 1077944384 21501 13060 0 0 1182 55 5 2 20 0 15 0 473254080 11113619456 210652 33554432000 4194304 4196468 140720621638352 140444156967568 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8309] ppid=8250 vsize=10853144 memory=0 CPUtime=12.47 cores=0,2,4,6
/proc/8253/task/8309/stat : 8309 (java) S 8250 8253 5532 0 -1 1077944384 21720 13060 0 0 1184 56 5 2 20 0 15 0 473254080 11113619456 210652 33554432000 4194304 4196468 140720621638352 140443804051728 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8310] ppid=8250 vsize=10853144 memory=842608 CPUtime=12.51 cores=0,2,4,6
/proc/8253/task/8310/stat : 8310 (java) S 8250 8253 5532 0 -1 1077944384 20376 13060 0 0 1194 50 5 2 20 0 15 0 473254080 11113619456 210652 33554432000 4194304 4196468 140720621638352 140443802999184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8311] ppid=8250 vsize=10853144 memory=842608 CPUtime=9.61 cores=0,2,4,6
/proc/8253/task/8311/stat : 8311 (java) S 8250 8253 5532 0 -1 1077944384 20850 13060 0 0 902 52 5 2 20 0 15 0 473254082 11113619456 210652 33554432000 4194304 4196468 140720621638352 140443758422768 140444231776898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8312] ppid=8250 vsize=10853144 memory=842608 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8312/stat : 8312 (java) S 8250 8253 5532 0 -1 1077944384 18 13060 0 0 0 0 5 2 20 0 15 0 473254082 11113619456 210652 33554432000 4194304 4196468 140720621638352 140443685742304 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8313] ppid=8250 vsize=10853144 memory=842608 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8313/stat : 8313 (java) S 8250 8253 5532 0 -1 1077944384 6 13060 0 0 0 0 5 2 20 0 15 0 473254083 11113619456 210652 33554432000 4194304 4196468 140720621638352 140443014653184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8314] ppid=8250 vsize=10853144 memory=842608 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8314/stat : 8314 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254085 11113619456 210652 33554432000 4194304 4196468 140720621638352 140442774362576 140444231784347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8315] ppid=8250 vsize=10853144 memory=842608 CPUtime=6.42 cores=0,2,4,6
/proc/8253/task/8315/stat : 8315 (java) S 8250 8253 5532 0 -1 1077944384 68869 13060 0 0 629 6 5 2 20 0 15 0 473254085 11113619456 210652 33554432000 4194304 4196468 140720621638352 140443757369584 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8316] ppid=8250 vsize=10853144 memory=842608 CPUtime=5.98 cores=0,2,4,6
/proc/8253/task/8316/stat : 8316 (java) S 8250 8253 5532 0 -1 1077944384 63707 13060 0 0 585 6 5 2 20 0 15 0 473254085 11113619456 210652 33554432000 4194304 4196468 140720621638352 140443756317040 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8317] ppid=8250 vsize=10853144 memory=3616 CPUtime=4.88 cores=0,2,4,6
/proc/8253/task/8317/stat : 8317 (java) S 8250 8253 5532 0 -1 1077944384 83906 13060 0 0 472 9 5 2 20 0 15 0 473254085 11113619456 210652 33554432000 4194304 4196468 140720621638352 140443755263984 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8318] ppid=8250 vsize=10853144 memory=842608 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8318/stat : 8318 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254086 11113619456 210652 33554432000 4194304 4196468 140720621638352 140442740803936 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8319] ppid=8250 vsize=10853144 memory=842608 CPUtime=1.43 cores=0,2,4,6
/proc/8253/task/8319/stat : 8319 (java) S 8250 8253 5532 0 -1 1077944384 1813 13060 0 0 68 68 5 2 20 0 15 0 473254086 11113619456 210652 33554432000 4194304 4196468 140720621638352 140443754212400 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
Current children cumulated CPU time: 2374.83 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 842608 KiB

[startup+2382.3 s]
/proc/loadavg: 1.70 1.44 1.43 3/227 8691
/proc/meminfo: memFree=3755912/32770624 swapFree=67001732/67108860
[pid=8253] ppid=8250 vsize=10853144 memory=844712 CPUtime=2435.85 cores=0,2,4,6
/proc/8253/stat : 8253 (java) S 8250 8253 5532 0 -1 1077944320 410259 13060 0 0 243224 354 5 2 20 0 15 0 473254005 11113619456 211178 33554432000 4194304 4196468 140720621638352 140720621620896 140444231765751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
/proc/8253/statm: 2713286 211178 3628 1 0 2675341 0
[pid=8253/tid=8306] ppid=8250 vsize=10853144 memory=844712 CPUtime=2356.48 cores=0,2,4,6
/proc/8253/task/8306/stat : 8306 (java) R 8250 8253 5532 0 -1 4202560 81639 13060 0 0 235594 47 5 2 20 0 15 0 473254080 11113619456 211178 33554432000 4194304 4196468 140720621638352 140444203601248 140443855486461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8307] ppid=8250 vsize=10853144 memory=844712 CPUtime=12.82 cores=0,2,4,6
/proc/8253/task/8307/stat : 8307 (java) S 8250 8253 5532 0 -1 1077944384 22094 13060 0 0 1222 53 5 2 20 0 15 0 473254080 11113619456 211178 33554432000 4194304 4196468 140720621638352 140444236007952 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8308] ppid=8250 vsize=10853144 memory=844712 CPUtime=12.79 cores=0,2,4,6
/proc/8253/task/8308/stat : 8308 (java) S 8250 8253 5532 0 -1 1077944384 22488 13060 0 0 1215 57 5 2 20 0 15 0 473254080 11113619456 211178 33554432000 4194304 4196468 140720621638352 140444156967568 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8309] ppid=8250 vsize=10853144 memory=842608 CPUtime=12.82 cores=0,2,4,6
/proc/8253/task/8309/stat : 8309 (java) S 8250 8253 5532 0 -1 1077944384 21836 13060 0 0 1218 57 5 2 20 0 15 0 473254080 11113619456 211178 33554432000 4194304 4196468 140720621638352 140443804051728 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8310] ppid=8250 vsize=10853144 memory=842608 CPUtime=12.85 cores=0,2,4,6
/proc/8253/task/8310/stat : 8310 (java) S 8250 8253 5532 0 -1 1077944384 20450 13060 0 0 1227 51 5 2 20 0 15 0 473254080 11113619456 211178 33554432000 4194304 4196468 140720621638352 140443802999184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8311] ppid=8250 vsize=10853144 memory=844708 CPUtime=9.87 cores=0,2,4,6
/proc/8253/task/8311/stat : 8311 (java) S 8250 8253 5532 0 -1 1077944384 21194 13060 0 0 926 54 5 2 20 0 15 0 473254082 11113619456 211178 33554432000 4194304 4196468 140720621638352 140443758422768 140444231776898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8312] ppid=8250 vsize=10853144 memory=3616 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8312/stat : 8312 (java) S 8250 8253 5532 0 -1 1077944384 18 13060 0 0 0 0 5 2 20 0 15 0 473254082 11113619456 211178 33554432000 4194304 4196468 140720621638352 140443685742304 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8313] ppid=8250 vsize=10853144 memory=844712 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8313/stat : 8313 (java) S 8250 8253 5532 0 -1 1077944384 6 13060 0 0 0 0 5 2 20 0 15 0 473254083 11113619456 211178 33554432000 4194304 4196468 140720621638352 140443014653184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8314] ppid=8250 vsize=10853144 memory=844712 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8314/stat : 8314 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254085 11113619456 211178 33554432000 4194304 4196468 140720621638352 140442774362576 140444231784347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8315] ppid=8250 vsize=10853144 memory=844708 CPUtime=6.42 cores=0,2,4,6
/proc/8253/task/8315/stat : 8315 (java) S 8250 8253 5532 0 -1 1077944384 68871 13060 0 0 629 6 5 2 20 0 15 0 473254085 11113619456 211178 33554432000 4194304 4196468 140720621638352 140443757369584 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8316] ppid=8250 vsize=10853144 memory=844712 CPUtime=5.98 cores=0,2,4,6
/proc/8253/task/8316/stat : 8316 (java) S 8250 8253 5532 0 -1 1077944384 63709 13060 0 0 585 6 5 2 20 0 15 0 473254085 11113619456 211178 33554432000 4194304 4196468 140720621638352 140443756317040 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8317] ppid=8250 vsize=10853144 memory=844656 CPUtime=4.88 cores=0,2,4,6
/proc/8253/task/8317/stat : 8317 (java) S 8250 8253 5532 0 -1 1077944384 83909 13060 0 0 472 9 5 2 20 0 15 0 473254085 11113619456 211178 33554432000 4194304 4196468 140720621638352 140443755263984 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8318] ppid=8250 vsize=10853144 memory=2876 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8318/stat : 8318 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254086 11113619456 211178 33554432000 4194304 4196468 140720621638352 140442740803936 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8319] ppid=8250 vsize=10853144 memory=1368748 CPUtime=1.47 cores=0,2,4,6
/proc/8253/task/8319/stat : 8319 (java) S 8250 8253 5532 0 -1 1077944384 1836 13060 0 0 70 70 5 2 20 0 15 0 473254086 11113619456 211178 33554432000 4194304 4196468 140720621638352 140443754212400 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
Current children cumulated CPU time: 2435.85 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 844712 KiB

[startup+2442.3 s]
/proc/loadavg: 1.46 1.40 1.42 3/227 8695
/proc/meminfo: memFree=3740100/32770624 swapFree=67001732/67108860
[pid=8253] ppid=8250 vsize=10853144 memory=855236 CPUtime=2496.8 cores=0,2,4,6
/proc/8253/stat : 8253 (java) S 8250 8253 5532 0 -1 1077944320 413035 13060 0 0 249310 363 5 2 20 0 15 0 473254005 11113619456 213809 33554432000 4194304 4196468 140720621638352 140720621620896 140444231765751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
/proc/8253/statm: 2713286 213809 3628 1 0 2675341 0
[pid=8253/tid=8306] ppid=8250 vsize=10853144 memory=855236 CPUtime=2415.86 cores=0,2,4,6
/proc/8253/task/8306/stat : 8306 (java) R 8250 8253 5532 0 -1 4202560 82762 13060 0 0 241531 48 5 2 20 0 15 0 473254080 11113619456 213809 33554432000 4194304 4196468 140720621638352 140444203601312 140443855987556 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8307] ppid=8250 vsize=10853144 memory=844708 CPUtime=13.14 cores=0,2,4,6
/proc/8253/task/8307/stat : 8307 (java) S 8250 8253 5532 0 -1 1077944384 22852 13060 0 0 1252 55 5 2 20 0 15 0 473254080 11113619456 213809 33554432000 4194304 4196468 140720621638352 140444236007952 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8308] ppid=8250 vsize=10853144 memory=844712 CPUtime=13.12 cores=0,2,4,6
/proc/8253/task/8308/stat : 8308 (java) S 8250 8253 5532 0 -1 1077944384 22588 13060 0 0 1247 58 5 2 20 0 15 0 473254080 11113619456 213809 33554432000 4194304 4196468 140720621638352 140444156967568 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8309] ppid=8250 vsize=10853144 memory=848392 CPUtime=13.14 cores=0,2,4,6
/proc/8253/task/8309/stat : 8309 (java) S 8250 8253 5532 0 -1 1077944384 22146 13060 0 0 1249 58 5 2 20 0 15 0 473254080 11113619456 213809 33554432000 4194304 4196468 140720621638352 140443804051728 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8310] ppid=8250 vsize=10853144 memory=854836 CPUtime=13.17 cores=0,2,4,6
/proc/8253/task/8310/stat : 8310 (java) S 8250 8253 5532 0 -1 1077944384 20569 13060 0 0 1258 52 5 2 20 0 15 0 473254080 11113619456 213809 33554432000 4194304 4196468 140720621638352 140443802999184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8311] ppid=8250 vsize=10853144 memory=854840 CPUtime=10.11 cores=0,2,4,6
/proc/8253/task/8311/stat : 8311 (java) S 8250 8253 5532 0 -1 1077944384 21533 13060 0 0 948 56 5 2 20 0 15 0 473254082 11113619456 213809 33554432000 4194304 4196468 140720621638352 140443758422768 140444231776898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8312] ppid=8250 vsize=10853144 memory=854840 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8312/stat : 8312 (java) S 8250 8253 5532 0 -1 1077944384 18 13060 0 0 0 0 5 2 20 0 15 0 473254082 11113619456 213809 33554432000 4194304 4196468 140720621638352 140443685742304 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8313] ppid=8250 vsize=10853144 memory=854840 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8313/stat : 8313 (java) S 8250 8253 5532 0 -1 1077944384 6 13060 0 0 0 0 5 2 20 0 15 0 473254083 11113619456 213809 33554432000 4194304 4196468 140720621638352 140443014653184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8314] ppid=8250 vsize=10853144 memory=854840 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8314/stat : 8314 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254085 11113619456 213809 33554432000 4194304 4196468 140720621638352 140442774362576 140444231784347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8315] ppid=8250 vsize=10853144 memory=855236 CPUtime=6.42 cores=0,2,4,6
/proc/8253/task/8315/stat : 8315 (java) S 8250 8253 5532 0 -1 1077944384 68873 13060 0 0 629 6 5 2 20 0 15 0 473254085 11113619456 213809 33554432000 4194304 4196468 140720621638352 140443757369584 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8316] ppid=8250 vsize=10853144 memory=854840 CPUtime=5.98 cores=0,2,4,6
/proc/8253/task/8316/stat : 8316 (java) S 8250 8253 5532 0 -1 1077944384 63711 13060 0 0 585 6 5 2 20 0 15 0 473254085 11113619456 213809 33554432000 4194304 4196468 140720621638352 140443756317040 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8317] ppid=8250 vsize=10853144 memory=855236 CPUtime=4.88 cores=0,2,4,6
/proc/8253/task/8317/stat : 8317 (java) S 8250 8253 5532 0 -1 1077944384 83912 13060 0 0 472 9 5 2 20 0 15 0 473254085 11113619456 213809 33554432000 4194304 4196468 140720621638352 140443755263984 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8318] ppid=8250 vsize=10853144 memory=855236 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8318/stat : 8318 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254086 11113619456 213809 33554432000 4194304 4196468 140720621638352 140442740803936 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8319] ppid=8250 vsize=10853144 memory=855236 CPUtime=1.5 cores=0,2,4,6
/proc/8253/task/8319/stat : 8319 (java) S 8250 8253 5532 0 -1 1077944384 1856 13060 0 0 72 71 5 2 20 0 15 0 473254086 11113619456 213809 33554432000 4194304 4196468 140720621638352 140443754212400 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
Current children cumulated CPU time: 2496.8 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 855236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.2 s]
/proc/loadavg: 1.47 1.40 1.42 3/229 8701
/proc/meminfo: memFree=3738804/32770624 swapFree=67001732/67108860
[pid=8253] ppid=8250 vsize=10853144 memory=855260 CPUtime=2520.08 cores=0,2,4,6
/proc/8253/stat : 8253 (java) S 8250 8253 5532 0 -1 1077944320 413936 13060 0 0 251635 366 5 2 20 0 15 0 473254005 11113619456 213815 33554432000 4194304 4196468 140720621638352 140720621620896 140444231765751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
/proc/8253/statm: 2713286 213815 3628 1 0 2675341 0
[pid=8253/tid=8306] ppid=8250 vsize=10853144 memory=855248 CPUtime=2438.48 cores=0,2,4,6
/proc/8253/task/8306/stat : 8306 (java) R 8250 8253 5532 0 -1 4202560 83139 13060 0 0 243793 48 5 2 20 0 15 0 473254080 11113619456 213815 33554432000 4194304 4196468 140720621638352 140444203601104 140443856088432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8307] ppid=8250 vsize=10853144 memory=4420 CPUtime=13.28 cores=0,2,4,6
/proc/8253/task/8307/stat : 8307 (java) S 8250 8253 5532 0 -1 1077944384 22883 13060 0 0 1265 56 5 2 20 0 15 0 473254080 11113619456 213815 33554432000 4194304 4196468 140720621638352 140444236007952 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8308] ppid=8250 vsize=10853144 memory=8112282956445269571 CPUtime=13.25 cores=0,2,4,6
/proc/8253/task/8308/stat : 8308 (java) S 8250 8253 5532 0 -1 1077944384 22857 13060 0 0 1260 58 5 2 20 0 15 0 473254080 11113619456 213815 33554432000 4194304 4196468 140720621638352 140444156967568 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8309] ppid=8250 vsize=10853144 memory=1564 CPUtime=13.28 cores=0,2,4,6
/proc/8253/task/8309/stat : 8309 (java) S 8250 8253 5532 0 -1 1077944384 22194 13060 0 0 1262 59 5 2 20 0 15 0 473254080 11113619456 213815 33554432000 4194304 4196468 140720621638352 140443804051728 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8310] ppid=8250 vsize=10853144 memory=928 CPUtime=13.31 cores=0,2,4,6
/proc/8253/task/8310/stat : 8310 (java) S 8250 8253 5532 0 -1 1077944384 20597 13060 0 0 1271 53 5 2 20 0 15 0 473254080 11113619456 213815 33554432000 4194304 4196468 140720621638352 140443802999184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8311] ppid=8250 vsize=10853144 memory=1980 CPUtime=10.2 cores=0,2,4,6
/proc/8253/task/8311/stat : 8311 (java) S 8250 8253 5532 0 -1 1077944384 21676 13060 0 0 957 56 5 2 20 0 15 0 473254082 11113619456 213815 33554432000 4194304 4196468 140720621638352 140443758422768 140444231776898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8312] ppid=8250 vsize=10853144 memory=55 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8312/stat : 8312 (java) S 8250 8253 5532 0 -1 1077944384 18 13060 0 0 0 0 5 2 20 0 15 0 473254082 11113619456 213815 33554432000 4194304 4196468 140720621638352 140443685742304 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8313] ppid=8250 vsize=10853144 memory=576461256399351847 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8313/stat : 8313 (java) S 8250 8253 5532 0 -1 1077944384 6 13060 0 0 0 0 5 2 20 0 15 0 473254083 11113619456 213815 33554432000 4194304 4196468 140720621638352 140443014653184 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8314] ppid=8250 vsize=10853144 memory=16544 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8314/stat : 8314 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254085 11113619456 213815 33554432000 4194304 4196468 140720621638352 140442774362576 140444231784347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8315] ppid=8250 vsize=10853144 memory=6944656575208382560 CPUtime=6.42 cores=0,2,4,6
/proc/8253/task/8315/stat : 8315 (java) S 8250 8253 5532 0 -1 1077944384 68873 13060 0 0 629 6 5 2 20 0 15 0 473254085 11113619456 213815 33554432000 4194304 4196468 140720621638352 140443757369584 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8316] ppid=8250 vsize=10853144 memory=6656426216303648864 CPUtime=5.98 cores=0,2,4,6
/proc/8253/task/8316/stat : 8316 (java) S 8250 8253 5532 0 -1 1077944384 63711 13060 0 0 585 6 5 2 20 0 15 0 473254085 11113619456 213815 33554432000 4194304 4196468 140720621638352 140443756317040 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8317] ppid=8250 vsize=10853144 memory=279907850518768 CPUtime=4.88 cores=0,2,4,6
/proc/8253/task/8317/stat : 8317 (java) S 8250 8253 5532 0 -1 1077944384 83913 13060 0 0 472 9 5 2 20 0 15 0 473254085 11113619456 213815 33554432000 4194304 4196468 140720621638352 140443755263984 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8318] ppid=8250 vsize=10853144 memory=7308045228417641577 CPUtime=0.07 cores=0,2,4,6
/proc/8253/task/8318/stat : 8318 (java) S 8250 8253 5532 0 -1 1077944384 3 13060 0 0 0 0 5 2 20 0 15 0 473254086 11113619456 213815 33554432000 4194304 4196468 140720621638352 140442740803936 140444231775957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
[pid=8253/tid=8319] ppid=8250 vsize=10853144 memory=7882828121784479853 CPUtime=1.52 cores=0,2,4,6
/proc/8253/task/8319/stat : 8319 (java) S 8250 8253 5532 0 -1 1077944384 1860 13060 0 0 73 72 5 2 20 0 15 0 473254086 11113619456 213815 33554432000 4194304 4196468 140720621638352 140443754212400 140444231776898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10960896 140720621644387 140720621647029 140720621647029 140720621649871 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 855260 KiB

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

[startup+2465.23 s]
# the end of solver process 8253 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.43 s, system=3.70141 s

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

Child status: 143
Real time (s): 2465.23
CPU time (s): 2520.13
CPU user time (s): 2516.43
CPU system time (s): 3.70141
CPU usage (%): 102.227
Max. virtual memory (cumulated for all children) (KiB): 10854016
Max. memory (cumulated for all children) (KiB): 1038688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.43
system time used= 3.70141
maximum resident set size= 1042784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275754
involuntary context switches= 7686


# summary of solver processes directly reported to runsolver:
#   pid: 8253
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.43
#   total CPU system time (s): 3.70141

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7389 second user time and 22.8292 second system time

The end

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

Trace number 4402922

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