2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.10	SAT (TO)	14	2400.13	2341.33

0.75/0.54	c Concrete v3.10.1560635388952 running
44.04/28.09	o 15
82.08/64.43	o 14
2400.09/2341.30	Exception in thread "main" java.util.concurrent.TimeoutException
2400.09/2341.30		at concrete.MAC.mac(MAC.scala:189)
2400.09/2341.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253)
2400.09/2341.30		at scala.util.Try$.apply(Try.scala:212)
2400.09/2341.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.09/2341.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.09/2341.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.09/2341.30		at concrete.MAC.oneRun(MAC.scala:253)
2400.09/2341.30		at concrete.MAC.nextSolution(MAC.scala:272)
2400.09/2341.30		at concrete.MAC.nextSolution(MAC.scala:355)
2400.09/2341.30		at concrete.Solver.hasNext(Solver.scala:160)
2400.09/2341.30		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.09/2341.30		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.09/2341.30		at concrete.Solver.foreach(Solver.scala:67)
2400.09/2341.30		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72)
2400.09/2341.30		at scala.util.Success.map(Try.scala:264)
2400.09/2341.30		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67)
2400.09/2341.30		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.09/2341.30		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.09/2341.30		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.09/2341.30		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.09/2341.30		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.09/2341.30		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.09/2341.30		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.09/2341.30		at scala.App.$anonfun$main$1(App.scala:75)
2400.09/2341.30		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.09/2341.30		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.09/2341.30		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.09/2341.30		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.09/2341.30		at scala.App.main(App.scala:75)
2400.09/2341.30		at scala.App.main$(App.scala:73)
2400.09/2341.30		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.09/2341.30		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.09/2341.31	v <instantiation
2400.09/2341.31	v         cost = '14'>
2400.09/2341.31	v       <list>
2400.09/2341.31	v         p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14]
2400.09/2341.31	v       </list>
2400.09/2341.31	v       <values>
2400.09/2341.31	v         9 10 0 4 3 13 11 8 14 12 2 7 1 6 5 0 0 1 2 2 3 3 4 5 5 5 5 5 5 6 0 0 0 0 0 0 1 1 1 1 1 1 1 1 2 0 1 2 2 2 2 3 3 3 3 3 3 3 3 3 0 0 1 2 3 3 3 3 3 3 3 3 3 3 3 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 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 0 0 0 0 0 1 1 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 2 2 3 3 1 1 2 2 3 3 3 4 4 5 5 5 5 6 6 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 1 2 3 3 3 3 3 3 3 3 3 3 0 0 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 0 0 0 0 0 1 1 1 1 2 3 3 3 3 4 1 1 1 1 1 1 2 2 3 3 3 3 4 4 4 0 0 0 0 0 0 1 1 1 2 2 2 2 3 3 0 0 0 0 0 0 0 0 0 0 1 2 3 3 3 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 3 3 3 4 4 4 4 4 0 0 1 2 2 3 3 3 3 3 3 3 3 3 3 1 1 2 2 2 2 2 2 2 2 2 3 3 3 4 0 0 0 1 2 2 2 3 4 5 5 5 5 5 5 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 0 0 0 0 1 1 1 2 2 3 3 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 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 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 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 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 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 0 1 0 0 0 1 1 0 0 1 1 1 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 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 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 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 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 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 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 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 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 1 0 0 0 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 5 6 10 13 13 13 14 12 14 13 14 13 14 11 7
2400.09/2341.31	v       </values>
2400.09/2341.31	v     </instantiation>
2400.09/2341.31	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 (6293 MiB free)
  memory of node 1: 16384 MiB (13301 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392162-1568312414/watcher-4392162-1568312414 -o /tmp/evaluation-result-4392162-1568312414/solver-4392162-1568312414 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568301258-4658 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1465162074 HOME/instance-4392162-1568312414.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=8414, runsolver pid=8411
Current StackSize limit: 8192 KiB


[startup+0.100125 s]*
/proc/loadavg: 1.47 1.39 1.48 3/218 8471
/proc/meminfo: memFree=20057380/32770624 swapFree=66997112/67108860
[pid=8414] ppid=8411 vsize=9972712 memory=18600 CPUtime=0.09 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8414 14487 0 -1 1077944320 4418 13057 0 0 1 1 5 2 20 0 6 0 407494442 10212057088 4650 33554432000 4194304 4196468 140720847513200 140720847495744 139762678066935 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
/proc/8414/statm: 2493178 4650 1933 1 0 2481616 0
[pid=8414/tid=8467] ppid=8411 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 14487 0 -1 4202560 2241 13057 0 0 1 0 5 2 20 0 6 0 407494450 10212057088 4715 33554432000 4194304 4196468 140720847513200 139762649903696 139762670307296 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8468] ppid=8411 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 6 0 407494451 10212057088 4715 33554432000 4194304 4196468 140720847513200 139762682309008 139762678077141 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8469] ppid=8411 vsize=9972712 memory=15111834113574552 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 6 0 407494451 10212057088 4715 33554432000 4194304 4196468 140720847513200 139762601060624 139762678077141 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8470] ppid=8411 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 6 0 407494451 10212057088 4715 33554432000 4194304 4196468 140720847513200 139762600008336 139762678077141 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8471] ppid=8411 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 6 0 407494451 10212057088 4715 33554432000 4194304 4196468 140720847513200 139762598955536 139762678077141 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18600 KiB

[startup+0.209972 s]*
/proc/loadavg: 1.47 1.39 1.48 4/227 8480
/proc/meminfo: memFree=20035712/32770624 swapFree=66997112/67108860
[pid=8414] ppid=8411 vsize=10818940 memory=42144 CPUtime=0.25 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8414 14487 0 -1 1077944320 6913 13057 0 0 17 1 5 2 20 0 15 0 407494442 11078594560 10536 33554432000 4194304 4196468 140720847513200 140720847495744 139762678066935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
/proc/8414/statm: 2704735 10536 2962 1 0 2667149 0
[pid=8414/tid=8467] ppid=8411 vsize=10818940 memory=734403540614644017 CPUtime=0.19 cores=1,3,5,7
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 14487 0 -1 4202560 3403 13057 0 0 11 1 5 2 20 0 15 0 407494450 11078594560 10536 33554432000 4194304 4196468 140720847513200 139762649863120 139762661253761 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8468] ppid=8411 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494451 11078594560 10536 33554432000 4194304 4196468 140720847513200 139762682309008 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8469] ppid=8411 vsize=10818940 memory=15111834113574552 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494451 11078594560 10536 33554432000 4194304 4196468 140720847513200 139762601060624 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8470] ppid=8411 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407494451 11078594560 10536 33554432000 4194304 4196468 140720847513200 139762600008336 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8471] ppid=8411 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494451 11078594560 10536 33554432000 4194304 4196468 140720847513200 139762598955536 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8472] ppid=8411 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494453 11078594560 10536 33554432000 4194304 4196468 140720847513200 139762204740208 139762678078082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8473] ppid=8411 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 14487 0 -1 1077944384 13 13057 0 0 0 0 5 2 20 0 15 0 407494453 11078594560 10536 33554432000 4194304 4196468 140720847513200 139762128119072 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8474] ppid=8411 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407494453 11078594560 10536 33554432000 4194304 4196468 140720847513200 139761993901680 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8475] ppid=8411 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494456 11078594560 10536 33554432000 4194304 4196468 140720847513200 139761389922896 139762678085531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8476] ppid=8411 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 14487 0 -1 1077944384 571 13057 0 0 1 0 5 2 20 0 15 0 407494456 11078594560 10536 33554432000 4194304 4196468 140720847513200 139762203687024 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8477] ppid=8411 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 14487 0 -1 1077944384 55 13057 0 0 0 0 5 2 20 0 15 0 407494456 11078594560 10536 33554432000 4194304 4196468 140720847513200 139762202634224 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8478] ppid=8411 vsize=10818940 memory=140663806658176 CPUtime=0.1 cores=1,3,5,7
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 14487 0 -1 1077944384 653 13057 0 0 3 0 5 2 20 0 15 0 407494456 11078594560 10536 33554432000 4194304 4196468 140720847513200 139762201581936 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8479] ppid=8411 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407494456 11078594560 10536 33554432000 4194304 4196468 140720847513200 139760920160736 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8480] ppid=8411 vsize=10818940 memory=140663806658176 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407494456 11078594560 10536 33554432000 4194304 4196468 140720847513200 139762200529840 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 42144 KiB

[startup+0.31039 s]*
/proc/loadavg: 1.47 1.39 1.48 3/227 8480
/proc/meminfo: memFree=20025696/32770624 swapFree=66997112/67108860
[pid=8414] ppid=8411 vsize=10820096 memory=53972 CPUtime=0.4 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8414 14487 0 -1 1077944320 10560 13057 0 0 30 3 5 2 20 0 15 0 407494442 11079778304 13493 33554432000 4194304 4196468 140720847513200 140720847495744 139762678066935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
/proc/8414/statm: 2705024 13493 3271 1 0 2667149 0
[pid=8414/tid=8467] ppid=8411 vsize=10820244 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 14487 0 -1 4202560 7058 13057 0 0 19 2 5 2 20 0 15 0 407494450 11079929856 13493 33554432000 4194304 4196468 140720847513200 139762649886480 139762678088861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8468] ppid=8411 vsize=10820244 memory=-7384621950708166502 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494451 11079929856 13493 33554432000 4194304 4196468 140720847513200 139762682309008 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8469] ppid=8411 vsize=10820244 memory=4134692831991783777 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494451 11079929856 13493 33554432000 4194304 4196468 140720847513200 139762601060624 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8470] ppid=8411 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407494451 11079929856 13493 33554432000 4194304 4196468 140720847513200 139762600008336 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8471] ppid=8411 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494451 11079929856 13493 33554432000 4194304 4196468 140720847513200 139762598955536 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8472] ppid=8411 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494453 11079929856 13493 33554432000 4194304 4196468 140720847513200 139762204740208 139762678078082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8473] ppid=8411 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 14487 0 -1 1077944384 13 13057 0 0 0 0 5 2 20 0 15 0 407494453 11079929856 13493 33554432000 4194304 4196468 140720847513200 139762128119072 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8474] ppid=8411 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407494453 11079929856 13493 33554432000 4194304 4196468 140720847513200 139761993901680 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8475] ppid=8411 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494456 11079929856 13493 33554432000 4194304 4196468 140720847513200 139761389922896 139762678085531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8476] ppid=8411 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 14487 0 -1 1077944384 572 13057 0 0 2 0 5 2 20 0 15 0 407494456 11079929856 13493 33554432000 4194304 4196468 140720847513200 139762203687024 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8477] ppid=8411 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 14487 0 -1 1077944384 56 13057 0 0 1 0 5 2 20 0 15 0 407494456 11079929856 13493 33554432000 4194304 4196468 140720847513200 139762202634224 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8478] ppid=8411 vsize=10820244 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 14487 0 -1 1077944384 677 13057 0 0 6 0 5 2 20 0 15 0 407494456 11079929856 13493 33554432000 4194304 4196468 140720847513200 139762201581936 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8479] ppid=8411 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407494456 11079929856 13493 33554432000 4194304 4196468 140720847513200 139760920160736 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8480] ppid=8411 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407494456 11079929856 13493 33554432000 4194304 4196468 140720847513200 139762200529840 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 53972 KiB

[startup+0.700721 s]
/proc/loadavg: 1.35 1.37 1.47 5/227 8480
/proc/meminfo: memFree=20008884/32770624 swapFree=66997112/67108860
[pid=8414] ppid=8411 vsize=10824340 memory=84836 CPUtime=1.13 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8414 14487 0 -1 1077944320 14859 13057 0 0 101 5 5 2 20 0 15 0 407494442 11084124160 21209 33554432000 4194304 4196468 140720847513200 140720847495744 139762678066935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
/proc/8414/statm: 2706085 21209 3505 1 0 2668173 0
[pid=8414/tid=8467] ppid=8411 vsize=10824340 memory=3504 CPUtime=0.66 cores=1,3,5,7
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 14487 0 -1 4202560 10504 13057 0 0 55 4 5 2 20 0 15 0 407494450 11084124160 21209 33554432000 4194304 4196468 140720847513200 139762649892912 139762659651745 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8468] ppid=8411 vsize=10824340 memory=37852 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494451 11084124160 21209 33554432000 4194304 4196468 140720847513200 139762682309008 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8469] ppid=8411 vsize=10824340 memory=3028 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494451 11084124160 21209 33554432000 4194304 4196468 140720847513200 139762601060624 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8470] ppid=8411 vsize=10824340 memory=2012 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407494451 11084124160 21209 33554432000 4194304 4196468 140720847513200 139762600008336 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8471] ppid=8411 vsize=10824340 memory=2 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494451 11084124160 21209 33554432000 4194304 4196468 140720847513200 139762598955536 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8472] ppid=8411 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 14487 0 -1 1077944384 5 13057 0 0 0 0 5 2 20 0 15 0 407494453 11084124160 21209 33554432000 4194304 4196468 140720847513200 139762204740208 139762678078082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8473] ppid=8411 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 14487 0 -1 1077944384 13 13057 0 0 0 0 5 2 20 0 15 0 407494453 11084124160 21209 33554432000 4194304 4196468 140720847513200 139762128119072 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8474] ppid=8411 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407494453 11084124160 21209 33554432000 4194304 4196468 140720847513200 139761993901680 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8475] ppid=8411 vsize=10824340 memory=8996 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494456 11084124160 21209 33554432000 4194304 4196468 140720847513200 139761389922896 139762678085531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8476] ppid=8411 vsize=10824340 memory=4026532099 CPUtime=0.19 cores=1,3,5,7
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 14487 0 -1 1077944384 829 13057 0 0 12 0 5 2 20 0 15 0 407494456 11084124160 21209 33554432000 4194304 4196468 140720847513200 139762203687024 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8477] ppid=8411 vsize=10824340 memory=19964 CPUtime=0.22 cores=1,3,5,7
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 14487 0 -1 1077944384 412 13057 0 0 15 0 5 2 20 0 15 0 407494456 11084124160 21209 33554432000 4194304 4196468 140720847513200 139762202634224 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8478] ppid=8411 vsize=10824340 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/8414/task/8478/stat : 8478 (java) R 8411 8414 14487 0 -1 4202560 878 13057 0 0 17 0 5 2 20 0 15 0 407494456 11084124160 21209 33554432000 4194304 4196468 140720847513200 139762201581936 139762662147422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8479] ppid=8411 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407494456 11084124160 21209 33554432000 4194304 4196468 140720847513200 139760920160736 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8480] ppid=8411 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407494456 11084124160 21209 33554432000 4194304 4196468 140720847513200 139762200529840 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 84836 KiB

[startup+1.50075 s]
/proc/loadavg: 1.35 1.37 1.47 5/227 8480
/proc/meminfo: memFree=19957332/32770624 swapFree=66997112/67108860
[pid=8414] ppid=8411 vsize=10834656 memory=199784 CPUtime=3.03 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8414 14487 0 -1 1077944320 25086 13057 0 0 284 12 5 2 20 0 15 0 407494442 11094687744 49946 33554432000 4194304 4196468 140720847513200 140720847495744 139762678066935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
/proc/8414/statm: 2708664 49946 3581 1 0 2670733 0
[pid=8414/tid=8467] ppid=8411 vsize=10834656 memory=7 CPUtime=1.43 cores=1,3,5,7
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 14487 0 -1 4202560 15951 13057 0 0 129 7 5 2 20 0 15 0 407494450 11094687744 49946 33554432000 4194304 4196468 140720847513200 139762649898976 139762678088861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8468] ppid=8411 vsize=10834656 memory=37852 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 14487 0 -1 1077944384 327 13057 0 0 0 0 5 2 20 0 15 0 407494451 11094687744 49946 33554432000 4194304 4196468 140720847513200 139762682309008 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8469] ppid=8411 vsize=10834656 memory=3028 CPUtime=0.08 cores=1,3,5,7
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 14487 0 -1 1077944384 47 13057 0 0 1 0 5 2 20 0 15 0 407494451 11094687744 49946 33554432000 4194304 4196468 140720847513200 139762601060624 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8470] ppid=8411 vsize=10834656 memory=2012 CPUtime=0.08 cores=1,3,5,7
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 14487 0 -1 1077944384 38 13057 0 0 1 0 5 2 20 0 15 0 407494451 11094687744 49946 33554432000 4194304 4196468 140720847513200 139762600008336 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8471] ppid=8411 vsize=10834656 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 14487 0 -1 1077944384 84 13057 0 0 1 0 5 2 20 0 15 0 407494451 11094687744 49946 33554432000 4194304 4196468 140720847513200 139762598955536 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8472] ppid=8411 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 14487 0 -1 1077944384 116 13057 0 0 1 0 5 2 20 0 15 0 407494453 11094687744 49946 33554432000 4194304 4196468 140720847513200 139762204740208 139762678078082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8473] ppid=8411 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 14487 0 -1 1077944384 13 13057 0 0 0 0 5 2 20 0 15 0 407494453 11094687744 49946 33554432000 4194304 4196468 140720847513200 139762128119136 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8474] ppid=8411 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494453 11094687744 49946 33554432000 4194304 4196468 140720847513200 139761993901696 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8475] ppid=8411 vsize=10834656 memory=8693816066891030647 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494456 11094687744 49946 33554432000 4194304 4196468 140720847513200 139761389922896 139762678085531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8476] ppid=8411 vsize=10834656 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 14487 0 -1 1077944384 2274 13057 0 0 50 0 5 2 20 0 15 0 407494456 11094687744 49946 33554432000 4194304 4196468 140720847513200 139762203687024 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8477] ppid=8411 vsize=10834656 memory=2 CPUtime=0.58 cores=1,3,5,7
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 14487 0 -1 1077944384 1995 13057 0 0 51 0 5 2 20 0 15 0 407494456 11094687744 49946 33554432000 4194304 4196468 140720847513200 139762202634224 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8478] ppid=8411 vsize=10834656 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 14487 0 -1 1077944384 2028 13057 0 0 46 0 5 2 20 0 15 0 407494456 11094687744 49946 33554432000 4194304 4196468 140720847513200 139762201581936 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8479] ppid=8411 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407494456 11094687744 49946 33554432000 4194304 4196468 140720847513200 139760920160736 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8480] ppid=8411 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407494456 11094687744 49946 33554432000 4194304 4196468 140720847513200 139762200529840 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10834656 KiB

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

/proc/8414/task/8467/stat : 8467 (java) S 8411 8414 14487 0 -1 1077944384 77057 13057 0 0 223707 50 5 2 20 0 15 0 407494450 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762649902432 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8468] ppid=8411 vsize=10851072 memory=1002320 CPUtime=11.76 cores=1,3,5,7
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 14487 0 -1 1077944384 25683 13057 0 0 1120 49 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762682309008 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8469] ppid=8411 vsize=10851072 memory=1002320 CPUtime=11.79 cores=1,3,5,7
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 14487 0 -1 1077944384 22224 13057 0 0 1121 51 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762601060624 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8470] ppid=8411 vsize=10851072 memory=1002320 CPUtime=11.76 cores=1,3,5,7
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 14487 0 -1 1077944384 14326 13057 0 0 1121 48 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762600008336 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8471] ppid=8411 vsize=10851072 memory=1002320 CPUtime=11.77 cores=1,3,5,7
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 14487 0 -1 1077944384 17430 13057 0 0 1123 47 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762598955536 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8472] ppid=8411 vsize=10851072 memory=5968 CPUtime=9.92 cores=1,3,5,7
/proc/8414/task/8472/stat : 8472 (java) R 8411 8414 14487 0 -1 4202560 18538 13057 0 0 941 44 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762204738720 139762678088282 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8473] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 14487 0 -1 1077944384 22 13057 0 0 0 0 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762128119136 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8474] ppid=8411 vsize=10851072 memory=992100 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 14487 0 -1 1077944384 5 13057 0 0 0 0 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139761993901696 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8475] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139761389922896 139762678085531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8476] ppid=8411 vsize=10851072 memory=1002320 CPUtime=9.36 cores=1,3,5,7
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 14487 0 -1 1077944384 43788 13057 0 0 921 8 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762203687024 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8477] ppid=8411 vsize=10851072 memory=2604 CPUtime=9.42 cores=1,3,5,7
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 14487 0 -1 1077944384 47741 13057 0 0 928 7 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762202634224 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8478] ppid=8411 vsize=10851072 memory=1002320 CPUtime=5.59 cores=1,3,5,7
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 14487 0 -1 1077944384 42487 13057 0 0 543 9 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762201581936 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8479] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139760920160736 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8480] ppid=8411 vsize=10851072 memory=1002320 CPUtime=1.39 cores=1,3,5,7
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 14487 0 -1 1077944384 1592 13057 0 0 63 69 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762200529840 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
Current children cumulated CPU time: 2319.89 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1002320 KiB

[startup+2322.3 s]
/proc/loadavg: 1.19 1.33 1.39 3/228 8828
/proc/meminfo: memFree=21992816/32770624 swapFree=66997112/67108860
[pid=8414] ppid=8411 vsize=10851072 memory=1002320 CPUtime=2380.79 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8414 14487 0 -1 1077944320 314548 13057 0 0 237730 342 5 2 20 0 15 0 407494442 11111497728 250580 33554432000 4194304 4196468 140720847513200 140720847495744 139762678066935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
/proc/8414/statm: 2712768 250580 3628 1 0 2674829 0
[pid=8414/tid=8467] ppid=8411 vsize=10851072 memory=281327338099392 CPUtime=2297 cores=1,3,5,7
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 14487 0 -1 4202560 77739 13057 0 0 229642 51 5 2 20 0 15 0 407494450 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762649901680 139762298299728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8468] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.07 cores=1,3,5,7
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 14487 0 -1 1077944384 25711 13057 0 0 1151 49 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762682309008 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8469] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.09 cores=1,3,5,7
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 14487 0 -1 1077944384 22271 13057 0 0 1150 52 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762601060624 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8470] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.07 cores=1,3,5,7
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 14487 0 -1 1077944384 14380 13057 0 0 1150 50 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762600008336 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8471] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.09 cores=1,3,5,7
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 14487 0 -1 1077944384 17819 13057 0 0 1154 48 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762598955536 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8472] ppid=8411 vsize=10851072 memory=1002320 CPUtime=10.18 cores=1,3,5,7
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 14487 0 -1 1077944384 18761 13057 0 0 966 45 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762204740208 139762678078082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8473] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 14487 0 -1 1077944384 22 13057 0 0 0 0 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762128119136 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8474] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 14487 0 -1 1077944384 5 13057 0 0 0 0 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139761993901696 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8475] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139761389922896 139762678085531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8476] ppid=8411 vsize=10851072 memory=1002320 CPUtime=9.36 cores=1,3,5,7
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 14487 0 -1 1077944384 43790 13057 0 0 921 8 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762203687024 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8477] ppid=8411 vsize=10851072 memory=1002320 CPUtime=9.42 cores=1,3,5,7
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 14487 0 -1 1077944384 47743 13057 0 0 928 7 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762202634224 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8478] ppid=8411 vsize=10851072 memory=2124 CPUtime=5.59 cores=1,3,5,7
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 14487 0 -1 1077944384 42489 13057 0 0 543 9 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762201581936 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8479] ppid=8411 vsize=10851072 memory=20764 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139760920160736 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8480] ppid=8411 vsize=10851072 memory=8112282956445269571 CPUtime=1.42 cores=1,3,5,7
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 14487 0 -1 1077944384 1608 13057 0 0 65 70 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762200529840 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
Current children cumulated CPU time: 2380.79 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1002320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2341.3 s]
/proc/loadavg: 1.29 1.34 1.40 3/227 8829
/proc/meminfo: memFree=22006712/32770624 swapFree=66997112/67108860
[pid=8414] ppid=8411 vsize=10851072 memory=1002320 CPUtime=2400.09 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8414 14487 0 -1 1077944320 315075 13057 0 0 239658 344 5 2 20 0 15 0 407494442 11111497728 250580 33554432000 4194304 4196468 140720847513200 140720847495744 139762678066935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
/proc/8414/statm: 2712768 250580 3628 1 0 2674829 0
[pid=8414/tid=8467] ppid=8411 vsize=10851072 memory=1002320 CPUtime=2315.77 cores=1,3,5,7
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 14487 0 -1 4202560 77929 13057 0 0 231519 51 5 2 20 0 15 0 407494450 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762649902576 139762283608167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8468] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.18 cores=1,3,5,7
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 14487 0 -1 1077944384 25725 13057 0 0 1161 50 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762682309008 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8469] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.2 cores=1,3,5,7
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 14487 0 -1 1077944384 22288 13057 0 0 1161 52 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762601060624 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8470] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.17 cores=1,3,5,7
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 14487 0 -1 1077944384 14397 13057 0 0 1160 50 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762600008336 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8471] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.2 cores=1,3,5,7
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 14487 0 -1 1077944384 18094 13057 0 0 1165 48 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762598955536 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8472] ppid=8411 vsize=10851072 memory=281327338099392 CPUtime=10.27 cores=1,3,5,7
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 14487 0 -1 1077944384 18775 13057 0 0 974 46 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762204740208 139762678078082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8473] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 14487 0 -1 1077944384 22 13057 0 0 0 0 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762128119136 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8474] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 14487 0 -1 1077944384 5 13057 0 0 0 0 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139761993901696 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8475] ppid=8411 vsize=10851072 memory=2512 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139761389922896 139762678085531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8476] ppid=8411 vsize=10851072 memory=1002320 CPUtime=9.36 cores=1,3,5,7
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 14487 0 -1 1077944384 43790 13057 0 0 921 8 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762203687024 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8477] ppid=8411 vsize=10851072 memory=1002320 CPUtime=9.42 cores=1,3,5,7
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 14487 0 -1 1077944384 47743 13057 0 0 928 7 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762202634224 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8478] ppid=8411 vsize=10851072 memory=1002320 CPUtime=5.59 cores=1,3,5,7
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 14487 0 -1 1077944384 42489 13057 0 0 543 9 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762201581936 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8479] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139760920160736 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8480] ppid=8411 vsize=10851072 memory=1002320 CPUtime=1.43 cores=1,3,5,7
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 14487 0 -1 1077944384 1608 13057 0 0 65 71 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762200529840 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1002320 KiB

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

[startup+2341.33 s]
# the end of solver process 8414 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.65 s, system=3.48127 s

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

[startup+2341.3 s]
/proc/loadavg: 1.29 1.34 1.40 3/227 8829
/proc/meminfo: memFree=22006712/32770624 swapFree=66997112/67108860
[pid=8414] ppid=8411 vsize=10851072 memory=1002320 CPUtime=2400.09 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8414 14487 0 -1 1077944320 315075 13057 0 0 239658 344 5 2 20 0 15 0 407494442 11111497728 250580 33554432000 4194304 4196468 140720847513200 140720847495744 139762678066935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
/proc/8414/statm: 2712768 250580 3628 1 0 2674829 0
[pid=8414/tid=8467] ppid=8411 vsize=10851072 memory=1002320 CPUtime=2315.77 cores=1,3,5,7
/proc/8414/task/8467/stat : 8467 (java) R 8411 8414 14487 0 -1 4202560 77929 13057 0 0 231519 51 5 2 20 0 15 0 407494450 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762649902576 139762283608167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8468] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.18 cores=1,3,5,7
/proc/8414/task/8468/stat : 8468 (java) S 8411 8414 14487 0 -1 1077944384 25725 13057 0 0 1161 50 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762682309008 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8469] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.2 cores=1,3,5,7
/proc/8414/task/8469/stat : 8469 (java) S 8411 8414 14487 0 -1 1077944384 22288 13057 0 0 1161 52 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762601060624 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8470] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.17 cores=1,3,5,7
/proc/8414/task/8470/stat : 8470 (java) S 8411 8414 14487 0 -1 1077944384 14397 13057 0 0 1160 50 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762600008336 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8471] ppid=8411 vsize=10851072 memory=1002320 CPUtime=12.2 cores=1,3,5,7
/proc/8414/task/8471/stat : 8471 (java) S 8411 8414 14487 0 -1 1077944384 18094 13057 0 0 1165 48 5 2 20 0 15 0 407494451 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762598955536 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8472] ppid=8411 vsize=10851072 memory=281327338099392 CPUtime=10.27 cores=1,3,5,7
/proc/8414/task/8472/stat : 8472 (java) S 8411 8414 14487 0 -1 1077944384 18775 13057 0 0 974 46 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762204740208 139762678078082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8473] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8473/stat : 8473 (java) S 8411 8414 14487 0 -1 1077944384 22 13057 0 0 0 0 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762128119136 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8474] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8474/stat : 8474 (java) S 8411 8414 14487 0 -1 1077944384 5 13057 0 0 0 0 5 2 20 0 15 0 407494453 11111497728 250580 33554432000 4194304 4196468 140720847513200 139761993901696 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8475] ppid=8411 vsize=10851072 memory=2512 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8475/stat : 8475 (java) S 8411 8414 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139761389922896 139762678085531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8476] ppid=8411 vsize=10851072 memory=1002320 CPUtime=9.36 cores=1,3,5,7
/proc/8414/task/8476/stat : 8476 (java) S 8411 8414 14487 0 -1 1077944384 43790 13057 0 0 921 8 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762203687024 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8477] ppid=8411 vsize=10851072 memory=1002320 CPUtime=9.42 cores=1,3,5,7
/proc/8414/task/8477/stat : 8477 (java) S 8411 8414 14487 0 -1 1077944384 47743 13057 0 0 928 7 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762202634224 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8478] ppid=8411 vsize=10851072 memory=1002320 CPUtime=5.59 cores=1,3,5,7
/proc/8414/task/8478/stat : 8478 (java) S 8411 8414 14487 0 -1 1077944384 42489 13057 0 0 543 9 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762201581936 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8479] ppid=8411 vsize=10851072 memory=1002320 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8479/stat : 8479 (java) S 8411 8414 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139760920160736 139762678077141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
[pid=8414/tid=8480] ppid=8411 vsize=10851072 memory=1002320 CPUtime=1.43 cores=1,3,5,7
/proc/8414/task/8480/stat : 8480 (java) S 8411 8414 14487 0 -1 1077944384 1608 13057 0 0 65 71 5 2 20 0 15 0 407494456 11111497728 250580 33554432000 4194304 4196468 140720847513200 139762200529840 139762678078082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140720847518453 140720847520965 140720847520965 140720847523791 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1002320 KiB

Child status: 143
Real time (s): 2341.33
CPU time (s): 2400.13
CPU user time (s): 2396.65
CPU system time (s): 3.48127
CPU usage (%): 102.512
Max. virtual memory (cumulated for all children) (KiB): 10856168
Max. memory (cumulated for all children) (KiB): 1027240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.65
system time used= 3.48127
maximum resident set size= 1029288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329335
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 262558
involuntary context switches= 6258


# summary of solver processes directly reported to runsolver:
#   pid: 8414
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2396.65
#   total CPU system time (s): 3.48127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5985 second user time and 22.4082 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.789
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 4392162

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