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)	10	2520.08	2471.63

0.76/0.57	c Concrete v3.12.3.1568965526260 running
13.59/5.05	o 14
13.59/5.10	o 13
16.08/5.87	o 12
19.24/7.50	o 11
19.41/7.61	o 10
2520.04/2471.60	Exception in thread "main" java.util.concurrent.TimeoutException
2520.04/2471.61		at concrete.MAC.mac(MAC.scala:192)
2520.04/2471.61		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.04/2471.61		at scala.util.Try$.apply(Try.scala:210)
2520.04/2471.61		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.04/2471.61		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.04/2471.61		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.04/2471.61		at concrete.MAC.oneRun(MAC.scala:265)
2520.04/2471.61		at concrete.MAC.nextSolution(MAC.scala:284)
2520.04/2471.61		at concrete.MAC.nextSolution(MAC.scala:369)
2520.04/2471.61		at concrete.Solver.hasNext(Solver.scala:160)
2520.04/2471.61		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.04/2471.61		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.04/2471.61		at concrete.Solver.foreach(Solver.scala:67)
2520.04/2471.61		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.04/2471.61		at scala.util.Success.map(Try.scala:262)
2520.04/2471.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.04/2471.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.04/2471.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.04/2471.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.04/2471.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.04/2471.61		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.04/2471.61		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.04/2471.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.04/2471.61		at scala.App.$anonfun$main$1(App.scala:73)
2520.04/2471.61		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2520.04/2471.61		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.04/2471.61		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.04/2471.61		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2520.04/2471.61		at scala.App.main(App.scala:73)
2520.04/2471.61		at scala.App.main$(App.scala:71)
2520.04/2471.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.04/2471.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2471.61	v <instantiation
2520.04/2471.61	v         cost = '10'>
2520.04/2471.61	v       <list>
2520.04/2471.61	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.04/2471.61	v       </list>
2520.04/2471.61	v       <values>
2520.04/2471.61	v         5 12 10 14 0 9 3 2 7 4 1 11 6 13 8 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 1 1 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 1 1 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 0 0 1 1 1 1 1 1 1 1 1 2 2 2 0 0 0 0 0 1 1 1 1 1 1 1 1 2 2 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 1 2 2 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 2 2 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 1 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 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 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 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 4 7 8 9 10 10 10 10 10 10 10 9 7 6 4
2520.04/2471.61	v       </values>
2520.04/2471.61	v     </instantiation>
2520.04/2471.61	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 (1217 MiB free)
  memory of node 1: 16384 MiB (225 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402814-1568973426/watcher-4402814-1568973426 -o /var/tmp/evaluation-result-4402814-1568973426/solver-4402814-1568973426 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568967598-20068 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=828317043 HOME/instance-4402814-1568973426.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=22140, runsolver pid=22137

[startup+0.109635 s]*
/proc/loadavg: 1.43 1.54 1.49 3/221 22198
/proc/meminfo: memFree=1467880/32770624 swapFree=66956576/67108860
[pid=22140] ppid=22137 vsize=10355560 memory=21892 CPUtime=0.11 cores=0,2,4,6
/proc/22140/stat : 22140 (java) S 22137 22140 20037 0 -1 1077944320 4735 12990 0 0 2 1 5 3 20 0 9 0 473581243 10604093440 5473 33554432000 4194304 4196468 140731853519104 140731853501648 140445929299703 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
/proc/22140/statm: 2588890 5473 2103 1 0 2551431 0
[pid=22140/tid=22193] ppid=22137 vsize=10355560 memory=5853958925675299741 CPUtime=0.09 cores=0,2,4,6
/proc/22140/task/22193/stat : 22193 (java) R 22137 22140 20037 0 -1 4202560 2497 12990 0 0 1 0 5 3 20 0 9 0 473581251 10604093440 5473 33554432000 4194304 4196468 140731853519104 140445901135728 140445929321629 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22194] ppid=22137 vsize=10355560 memory=5793855733540637113 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22194/stat : 22194 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 9 0 473581252 10604093440 5473 33554432000 4194304 4196468 140731853519104 140445933542032 140445929309909 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22195] ppid=22137 vsize=10355560 memory=140482530743936 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22195/stat : 22195 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 9 0 473581252 10604093440 5473 33554432000 4194304 4196468 140731853519104 140445837744656 140445929309909 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22196] ppid=22137 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22196/stat : 22196 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 9 0 473581252 10604093440 5473 33554432000 4194304 4196468 140731853519104 140445836691856 140445929309909 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22197] ppid=22137 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22197/stat : 22197 (java) S 22137 22140 20037 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 9 0 473581252 10604093440 5473 33554432000 4194304 4196468 140731853519104 140445835639056 140445929309909 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22198] ppid=22137 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22198/stat : 22198 (java) S 22137 22140 20037 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 9 0 473581254 10604093440 5473 33554432000 4194304 4196468 140731853519104 140444932402032 140445929310850 0 0 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22199] ppid=22137 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22199/stat : 22199 (java) S 22137 22140 20037 0 -1 1077944384 33 12990 0 0 0 0 5 3 20 0 9 0 473581254 10604093440 5473 33554432000 4194304 4196468 140731853519104 140444931348000 140445929309909 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22200] ppid=22137 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22200/stat : 22200 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 9 0 473581254 10604093440 5473 33554432000 4194304 4196468 140731853519104 140444826592688 140445929309909 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 21892 KiB

[startup+0.210125 s]*
/proc/loadavg: 1.43 1.54 1.49 4/229 22206
/proc/meminfo: memFree=1456120/32770624 swapFree=66956576/67108860
[pid=22140] ppid=22137 vsize=10819716 memory=36552 CPUtime=0.24 cores=0,2,4,6
/proc/22140/stat : 22140 (java) S 22137 22140 20037 0 -1 1077944320 6959 12990 0 0 15 1 5 3 20 0 15 0 473581243 11079389184 9138 33554432000 4194304 4196468 140731853519104 140731853501648 140445929299703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
/proc/22140/statm: 2704929 9138 3177 1 0 2667149 0
[pid=22140/tid=22193] ppid=22137 vsize=10819716 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/22140/task/22193/stat : 22193 (java) R 22137 22140 20037 0 -1 4202560 3443 12990 0 0 9 1 5 3 20 0 15 0 473581251 11079389184 9138 33554432000 4194304 4196468 140731853519104 140445901130288 140445912486533 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22194] ppid=22137 vsize=10819716 memory=4211974208735534474 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22194/stat : 22194 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581252 11079389184 9138 33554432000 4194304 4196468 140731853519104 140445933542032 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22195] ppid=22137 vsize=10819716 memory=140482530743936 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22195/stat : 22195 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581252 11079389184 9138 33554432000 4194304 4196468 140731853519104 140445837744656 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22196] ppid=22137 vsize=10819716 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22196/stat : 22196 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581252 11079389184 9138 33554432000 4194304 4196468 140731853519104 140445836691856 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22197] ppid=22137 vsize=10819716 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22197/stat : 22197 (java) S 22137 22140 20037 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 473581252 11079389184 9138 33554432000 4194304 4196468 140731853519104 140445835639056 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22198] ppid=22137 vsize=10819716 memory=140482530743936 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22198/stat : 22198 (java) S 22137 22140 20037 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 473581254 11079389184 9138 33554432000 4194304 4196468 140731853519104 140444932402032 140445929310850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22199] ppid=22137 vsize=10819716 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22199/stat : 22199 (java) S 22137 22140 20037 0 -1 1077944384 33 12990 0 0 0 0 5 3 20 0 15 0 473581254 11079389184 9138 33554432000 4194304 4196468 140731853519104 140444931348000 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22200] ppid=22137 vsize=10819716 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22200/stat : 22200 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581254 11079389184 9138 33554432000 4194304 4196468 140731853519104 140444826592624 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22201] ppid=22137 vsize=10819716 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22201/stat : 22201 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581257 11079389184 9138 33554432000 4194304 4196468 140731853519104 140444519192912 140445929318299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22202] ppid=22137 vsize=10819716 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22140/task/22202/stat : 22202 (java) S 22137 22140 20037 0 -1 1077944384 360 12990 0 0 1 0 5 3 20 0 15 0 473581259 11079389184 9138 33554432000 4194304 4196468 140731853519104 140444897790320 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22203] ppid=22137 vsize=10819716 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22203/stat : 22203 (java) S 22137 22140 20037 0 -1 1077944384 298 12990 0 0 0 0 5 3 20 0 15 0 473581259 11079389184 9138 33554432000 4194304 4196468 140731853519104 140444896737520 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22204] ppid=22137 vsize=10819716 memory=140482530743936 CPUtime=0.11 cores=0,2,4,6
/proc/22140/task/22204/stat : 22204 (java) S 22137 22140 20037 0 -1 1077944384 608 12990 0 0 3 0 5 3 20 0 15 0 473581259 11079389184 9138 33554432000 4194304 4196468 140731853519104 140444895684720 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22205] ppid=22137 vsize=10819716 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22205/stat : 22205 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581259 11079389184 9138 33554432000 4194304 4196468 140731853519104 140444485634272 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22206] ppid=22137 vsize=10819716 memory=140482530743936 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22206/stat : 22206 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581259 11079389184 9138 33554432000 4194304 4196468 140731853519104 140444793035952 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 36552 KiB

[startup+0.318814 s]*
/proc/loadavg: 1.43 1.54 1.49 3/229 22206
/proc/meminfo: memFree=1443400/32770624 swapFree=66956576/67108860
[pid=22140] ppid=22137 vsize=10820196 memory=47900 CPUtime=0.4 cores=0,2,4,6
/proc/22140/stat : 22140 (java) S 22137 22140 20037 0 -1 1077944320 10733 12990 0 0 29 3 5 3 20 0 15 0 473581243 11079880704 11975 33554432000 4194304 4196468 140731853519104 140731853501648 140445929299703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
/proc/22140/statm: 2705049 11975 3308 1 0 2667149 0
[pid=22140/tid=22193] ppid=22137 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22140/task/22193/stat : 22193 (java) R 22137 22140 20037 0 -1 4202560 7180 12990 0 0 19 2 5 3 20 0 15 0 473581251 11079880704 11975 33554432000 4194304 4196468 140731853519104 140445901096032 140445913380190 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22194] ppid=22137 vsize=10820196 memory=-7003737579269690708 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22194/stat : 22194 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581252 11079880704 11975 33554432000 4194304 4196468 140731853519104 140445933542032 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22195] ppid=22137 vsize=10820196 memory=140482530754529 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22195/stat : 22195 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581252 11079880704 11975 33554432000 4194304 4196468 140731853519104 140445837744656 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22196] ppid=22137 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22196/stat : 22196 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581252 11079880704 11975 33554432000 4194304 4196468 140731853519104 140445836691856 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22197] ppid=22137 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22197/stat : 22197 (java) S 22137 22140 20037 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 473581252 11079880704 11975 33554432000 4194304 4196468 140731853519104 140445835639056 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22198] ppid=22137 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22198/stat : 22198 (java) S 22137 22140 20037 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 473581254 11079880704 11975 33554432000 4194304 4196468 140731853519104 140444932402032 140445929310850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22199] ppid=22137 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22199/stat : 22199 (java) S 22137 22140 20037 0 -1 1077944384 33 12990 0 0 0 0 5 3 20 0 15 0 473581254 11079880704 11975 33554432000 4194304 4196468 140731853519104 140444931348000 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22200] ppid=22137 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22200/stat : 22200 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581254 11079880704 11975 33554432000 4194304 4196468 140731853519104 140444826592624 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22201] ppid=22137 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22201/stat : 22201 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581257 11079880704 11975 33554432000 4194304 4196468 140731853519104 140444519192912 140445929318299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22202] ppid=22137 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/22140/task/22202/stat : 22202 (java) S 22137 22140 20037 0 -1 1077944384 361 12990 0 0 2 0 5 3 20 0 15 0 473581259 11079880704 11975 33554432000 4194304 4196468 140731853519104 140444897790320 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22203] ppid=22137 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22140/task/22203/stat : 22203 (java) S 22137 22140 20037 0 -1 1077944384 307 12990 0 0 1 0 5 3 20 0 15 0 473581259 11079880704 11975 33554432000 4194304 4196468 140731853519104 140444896737520 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22204] ppid=22137 vsize=10820196 memory=140482530743936 CPUtime=0.13 cores=0,2,4,6
/proc/22140/task/22204/stat : 22204 (java) R 22137 22140 20037 0 -1 4202560 634 12990 0 0 5 0 5 3 20 0 15 0 473581259 11079880704 11975 33554432000 4194304 4196468 140731853519104 140444895684720 140445910886961 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22205] ppid=22137 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22205/stat : 22205 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581259 11079880704 11975 33554432000 4194304 4196468 140731853519104 140444485634272 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22206] ppid=22137 vsize=10820196 memory=140482530743936 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22206/stat : 22206 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581259 11079880704 11975 33554432000 4194304 4196468 140731853519104 140444793035952 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 47900 KiB

[startup+0.700672 s]
/proc/loadavg: 1.43 1.54 1.49 4/229 22206
/proc/meminfo: memFree=1430312/32770624 swapFree=66956576/67108860
[pid=22140] ppid=22137 vsize=10824364 memory=79100 CPUtime=1.12 cores=0,2,4,6
/proc/22140/stat : 22140 (java) S 22137 22140 20037 0 -1 1077944320 15039 12990 0 0 99 5 5 3 20 0 15 0 473581243 11084148736 19775 33554432000 4194304 4196468 140731853519104 140731853501648 140445929299703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
/proc/22140/statm: 2706091 19775 3511 1 0 2668173 0
[pid=22140/tid=22193] ppid=22137 vsize=10824364 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/22140/task/22193/stat : 22193 (java) R 22137 22140 20037 0 -1 4202560 10389 12990 0 0 54 3 5 3 20 0 15 0 473581251 11084148736 19775 33554432000 4194304 4196468 140731853519104 140445901129248 140445911163840 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22194] ppid=22137 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22194/stat : 22194 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581252 11084148736 19775 33554432000 4194304 4196468 140731853519104 140445933542032 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22195] ppid=22137 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22195/stat : 22195 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581252 11084148736 19775 33554432000 4194304 4196468 140731853519104 140445837744656 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22196] ppid=22137 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22196/stat : 22196 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581252 11084148736 19775 33554432000 4194304 4196468 140731853519104 140445836691856 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22197] ppid=22137 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22197/stat : 22197 (java) S 22137 22140 20037 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 473581252 11084148736 19775 33554432000 4194304 4196468 140731853519104 140445835639056 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22198] ppid=22137 vsize=10824364 memory=192 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22198/stat : 22198 (java) S 22137 22140 20037 0 -1 1077944384 5 12990 0 0 0 0 5 3 20 0 15 0 473581254 11084148736 19775 33554432000 4194304 4196468 140731853519104 140444932402032 140445929310850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22199] ppid=22137 vsize=10824364 memory=2 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22199/stat : 22199 (java) S 22137 22140 20037 0 -1 1077944384 33 12990 0 0 0 0 5 3 20 0 15 0 473581254 11084148736 19775 33554432000 4194304 4196468 140731853519104 140444931348000 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22200] ppid=22137 vsize=10824364 memory=14008 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22200/stat : 22200 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581254 11084148736 19775 33554432000 4194304 4196468 140731853519104 140444826592624 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22201] ppid=22137 vsize=10824364 memory=2112 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22201/stat : 22201 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581257 11084148736 19775 33554432000 4194304 4196468 140731853519104 140444519192912 140445929318299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22202] ppid=22137 vsize=10824364 memory=12040 CPUtime=0.2 cores=0,2,4,6
/proc/22140/task/22202/stat : 22202 (java) S 22137 22140 20037 0 -1 1077944384 786 12990 0 0 12 0 5 3 20 0 15 0 473581259 11084148736 19775 33554432000 4194304 4196468 140731853519104 140444897790320 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22203] ppid=22137 vsize=10824364 memory=31564 CPUtime=0.22 cores=0,2,4,6
/proc/22140/task/22203/stat : 22203 (java) S 22137 22140 20037 0 -1 1077944384 780 12990 0 0 14 0 5 3 20 0 15 0 473581259 11084148736 19775 33554432000 4194304 4196468 140731853519104 140444896737520 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22204] ppid=22137 vsize=10824364 memory=1556 CPUtime=0.24 cores=0,2,4,6
/proc/22140/task/22204/stat : 22204 (java) S 22137 22140 20037 0 -1 1077944384 832 12990 0 0 16 0 5 3 20 0 15 0 473581259 11084148736 19775 33554432000 4194304 4196468 140731853519104 140444895684720 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22205] ppid=22137 vsize=10824364 memory=532 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22205/stat : 22205 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581259 11084148736 19775 33554432000 4194304 4196468 140731853519104 140444485634272 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22206] ppid=22137 vsize=10824364 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22206/stat : 22206 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581259 11084148736 19775 33554432000 4194304 4196468 140731853519104 140444793035952 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 79100 KiB

[startup+1.50085 s]
/proc/loadavg: 1.43 1.54 1.49 6/229 22206
/proc/meminfo: memFree=1371192/32770624 swapFree=66956576/67108860
[pid=22140] ppid=22137 vsize=10837480 memory=215792 CPUtime=3.39 cores=0,2,4,6
/proc/22140/stat : 22140 (java) S 22137 22140 20037 0 -1 1077944320 33301 12990 0 0 320 11 5 3 20 0 15 0 473581243 11097579520 53948 33554432000 4194304 4196468 140731853519104 140731853501648 140445929299703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
/proc/22140/statm: 2709370 53948 3582 1 0 2671433 0
[pid=22140/tid=22193] ppid=22137 vsize=10837480 memory=189264 CPUtime=1.41 cores=0,2,4,6
/proc/22140/task/22193/stat : 22193 (java) R 22137 22140 20037 0 -1 4202560 16048 12990 0 0 128 5 5 3 20 0 15 0 473581251 11097579520 53948 33554432000 4194304 4196468 140731853519104 140445901113656 140445914979893 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22194] ppid=22137 vsize=10837480 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22194/stat : 22194 (java) S 22137 22140 20037 0 -1 1077944384 328 12990 0 0 0 0 5 3 20 0 15 0 473581252 11097579520 53948 33554432000 4194304 4196468 140731853519104 140445933542032 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22195] ppid=22137 vsize=10837480 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/22140/task/22195/stat : 22195 (java) S 22137 22140 20037 0 -1 1077944384 43 12990 0 0 1 0 5 3 20 0 15 0 473581252 11097579520 53948 33554432000 4194304 4196468 140731853519104 140445837744656 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22196] ppid=22137 vsize=10837480 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/22140/task/22196/stat : 22196 (java) S 22137 22140 20037 0 -1 1077944384 59 12990 0 0 1 0 5 3 20 0 15 0 473581252 11097579520 53948 33554432000 4194304 4196468 140731853519104 140445836691856 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22197] ppid=22137 vsize=10837480 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/22140/task/22197/stat : 22197 (java) S 22137 22140 20037 0 -1 1077944384 49 12990 0 0 1 0 5 3 20 0 15 0 473581252 11097579520 53948 33554432000 4194304 4196468 140731853519104 140445835639056 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22198] ppid=22137 vsize=10837480 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/22140/task/22198/stat : 22198 (java) S 22137 22140 20037 0 -1 1077944384 195 12990 0 0 1 0 5 3 20 0 15 0 473581254 11097579520 53948 33554432000 4194304 4196468 140731853519104 140444932402032 140445929310850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22199] ppid=22137 vsize=10837480 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22199/stat : 22199 (java) S 22137 22140 20037 0 -1 1077944384 34 12990 0 0 0 0 5 3 20 0 15 0 473581254 11097579520 53948 33554432000 4194304 4196468 140731853519104 140444931348000 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22200] ppid=22137 vsize=10837480 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22200/stat : 22200 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581254 11097579520 53948 33554432000 4194304 4196468 140731853519104 140444826592624 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22201] ppid=22137 vsize=10837480 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22201/stat : 22201 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581257 11097579520 53948 33554432000 4194304 4196468 140731853519104 140444519192912 140445929318299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22202] ppid=22137 vsize=10837480 memory=5980 CPUtime=0.87 cores=0,2,4,6
/proc/22140/task/22202/stat : 22202 (java) R 22137 22140 20037 0 -1 4202560 7989 12990 0 0 79 0 5 3 20 0 15 0 473581259 11097579520 53948 33554432000 4194304 4196468 140731853519104 140444897776344 140445910844143 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22203] ppid=22137 vsize=10837480 memory=624 CPUtime=0.68 cores=0,2,4,6
/proc/22140/task/22203/stat : 22203 (java) S 22137 22140 20037 0 -1 1077944384 3675 12990 0 0 60 0 5 3 20 0 15 0 473581259 11097579520 53948 33554432000 4194304 4196468 140731853519104 140444896737520 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22204] ppid=22137 vsize=10837480 memory=3636 CPUtime=0.51 cores=0,2,4,6
/proc/22140/task/22204/stat : 22204 (java) S 22137 22140 20037 0 -1 1077944384 2670 12990 0 0 43 0 5 3 20 0 15 0 473581259 11097579520 53948 33554432000 4194304 4196468 140731853519104 140444895684720 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0

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

/proc/22140/task/22193/stat : 22193 (java) R 22137 22140 20037 0 -1 4202560 90790 12990 0 0 230095 47 5 3 20 0 15 0 473581251 11113619456 230634 33554432000 4194304 4196468 140731853519104 140445901135968 140445518799162 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22194] ppid=22137 vsize=10853144 memory=922536 CPUtime=10.01 cores=0,2,4,6
/proc/22140/task/22194/stat : 22194 (java) S 22137 22140 20037 0 -1 1077944384 12474 12990 0 0 950 43 5 3 20 0 15 0 473581252 11113619456 230634 33554432000 4194304 4196468 140731853519104 140445933542032 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22195] ppid=22137 vsize=10853144 memory=800 CPUtime=10.03 cores=0,2,4,6
/proc/22140/task/22195/stat : 22195 (java) S 22137 22140 20037 0 -1 1077944384 10862 12990 0 0 950 45 5 3 20 0 15 0 473581252 11113619456 230634 33554432000 4194304 4196468 140731853519104 140445837744656 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22196] ppid=22137 vsize=10853144 memory=1804 CPUtime=10.02 cores=0,2,4,6
/proc/22140/task/22196/stat : 22196 (java) S 22137 22140 20037 0 -1 1077944384 9908 12990 0 0 952 42 5 3 20 0 15 0 473581252 11113619456 230634 33554432000 4194304 4196468 140731853519104 140445836691856 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22197] ppid=22137 vsize=10853144 memory=922536 CPUtime=10.05 cores=0,2,4,6
/proc/22140/task/22197/stat : 22197 (java) S 22137 22140 20037 0 -1 1077944384 10658 12990 0 0 954 43 5 3 20 0 15 0 473581252 11113619456 230634 33554432000 4194304 4196468 140731853519104 140445835639056 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22198] ppid=22137 vsize=10853144 memory=3620 CPUtime=8.4 cores=0,2,4,6
/proc/22140/task/22198/stat : 22198 (java) S 22137 22140 20037 0 -1 1077944384 13509 12990 0 0 788 44 5 3 20 0 15 0 473581254 11113619456 230634 33554432000 4194304 4196468 140731853519104 140444932402032 140445929310850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22199] ppid=22137 vsize=10853144 memory=922524 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22199/stat : 22199 (java) S 22137 22140 20037 0 -1 1077944384 43 12990 0 0 0 0 5 3 20 0 15 0 473581254 11113619456 230634 33554432000 4194304 4196468 140731853519104 140444931348064 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22200] ppid=22137 vsize=10853144 memory=922524 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22200/stat : 22200 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581254 11113619456 230634 33554432000 4194304 4196468 140731853519104 140444826592640 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22201] ppid=22137 vsize=10853144 memory=922524 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22201/stat : 22201 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581257 11113619456 230634 33554432000 4194304 4196468 140731853519104 140444519192912 140445929318299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22202] ppid=22137 vsize=10853144 memory=922524 CPUtime=6.85 cores=0,2,4,6
/proc/22140/task/22202/stat : 22202 (java) S 22137 22140 20037 0 -1 1077944384 46494 12990 0 0 671 6 5 3 20 0 15 0 473581259 11113619456 230634 33554432000 4194304 4196468 140731853519104 140444897790320 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22203] ppid=22137 vsize=10853144 memory=6791534058613427641 CPUtime=6.55 cores=0,2,4,6
/proc/22140/task/22203/stat : 22203 (java) S 22137 22140 20037 0 -1 1077944384 40324 12990 0 0 643 4 5 3 20 0 15 0 473581259 11113619456 230634 33554432000 4194304 4196468 140731853519104 140444896737520 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22204] ppid=22137 vsize=10853144 memory=1408 CPUtime=4.86 cores=0,2,4,6
/proc/22140/task/22204/stat : 22204 (java) S 22137 22140 20037 0 -1 1077944384 54022 12990 0 0 469 9 5 3 20 0 15 0 473581259 11113619456 230634 33554432000 4194304 4196468 140731853519104 140444895684720 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22205] ppid=22137 vsize=10853144 memory=3164 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22205/stat : 22205 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581259 11113619456 230634 33554432000 4194304 4196468 140731853519104 140444485634272 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22206] ppid=22137 vsize=10853144 memory=922536 CPUtime=1.2 cores=0,2,4,6
/proc/22140/task/22206/stat : 22206 (java) S 22137 22140 20037 0 -1 1077944384 1690 12990 0 0 57 55 5 3 20 0 15 0 473581259 11113619456 230634 33554432000 4194304 4196468 140731853519104 140444793035952 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
Current children cumulated CPU time: 2368.88 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 922536 KiB

[startup+2382.3 s]
/proc/loadavg: 1.76 1.45 1.38 3/229 22730
/proc/meminfo: memFree=1842160/32770624 swapFree=66956600/67108860
[pid=22140] ppid=22137 vsize=10853144 memory=924608 CPUtime=2429.59 cores=0,2,4,6
/proc/22140/stat : 22140 (java) S 22137 22140 20037 0 -1 1077944320 294045 12990 0 0 242647 304 5 3 20 0 15 0 473581243 11113619456 231152 33554432000 4194304 4196468 140731853519104 140731853501648 140445929299703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
/proc/22140/statm: 2713286 231152 3633 1 0 2675341 0
[pid=22140/tid=22193] ppid=22137 vsize=10853144 memory=924584 CPUtime=2360.94 cores=0,2,4,6
/proc/22140/task/22193/stat : 22193 (java) R 22137 22140 20037 0 -1 4202560 91342 12990 0 0 236038 48 5 3 20 0 15 0 473581251 11113619456 231152 33554432000 4194304 4196468 140731853519104 140445901134768 140445515587006 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22194] ppid=22137 vsize=10853144 memory=-7812736537705029536 CPUtime=10.27 cores=0,2,4,6
/proc/22140/task/22194/stat : 22194 (java) S 22137 22140 20037 0 -1 1077944384 12507 12990 0 0 975 44 5 3 20 0 15 0 473581252 11113619456 231152 33554432000 4194304 4196468 140731853519104 140445933542032 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22195] ppid=22137 vsize=10853144 memory=624 CPUtime=10.29 cores=0,2,4,6
/proc/22140/task/22195/stat : 22195 (java) S 22137 22140 20037 0 -1 1077944384 11150 12990 0 0 976 45 5 3 20 0 15 0 473581252 11113619456 231152 33554432000 4194304 4196468 140731853519104 140445837744656 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22196] ppid=22137 vsize=10853144 memory=924608 CPUtime=10.28 cores=0,2,4,6
/proc/22140/task/22196/stat : 22196 (java) S 22137 22140 20037 0 -1 1077944384 9963 12990 0 0 978 42 5 3 20 0 15 0 473581252 11113619456 231152 33554432000 4194304 4196468 140731853519104 140445836691856 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22197] ppid=22137 vsize=10853144 memory=924608 CPUtime=10.31 cores=0,2,4,6
/proc/22140/task/22197/stat : 22197 (java) S 22137 22140 20037 0 -1 1077944384 10734 12990 0 0 979 44 5 3 20 0 15 0 473581252 11113619456 231152 33554432000 4194304 4196468 140731853519104 140445835639056 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22198] ppid=22137 vsize=10853144 memory=924608 CPUtime=8.62 cores=0,2,4,6
/proc/22140/task/22198/stat : 22198 (java) S 22137 22140 20037 0 -1 1077944384 13554 12990 0 0 809 45 5 3 20 0 15 0 473581254 11113619456 231152 33554432000 4194304 4196468 140731853519104 140444932402032 140445929310850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22199] ppid=22137 vsize=10853144 memory=924584 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22199/stat : 22199 (java) S 22137 22140 20037 0 -1 1077944384 43 12990 0 0 0 0 5 3 20 0 15 0 473581254 11113619456 231152 33554432000 4194304 4196468 140731853519104 140444931348064 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22200] ppid=22137 vsize=10853144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22200/stat : 22200 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581254 11113619456 231152 33554432000 4194304 4196468 140731853519104 140444826592640 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22201] ppid=22137 vsize=10853144 memory=924608 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22201/stat : 22201 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581257 11113619456 231152 33554432000 4194304 4196468 140731853519104 140444519192912 140445929318299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22202] ppid=22137 vsize=10853144 memory=924608 CPUtime=6.85 cores=0,2,4,6
/proc/22140/task/22202/stat : 22202 (java) S 22137 22140 20037 0 -1 1077944384 46496 12990 0 0 671 6 5 3 20 0 15 0 473581259 11113619456 231152 33554432000 4194304 4196468 140731853519104 140444897790320 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22203] ppid=22137 vsize=10853144 memory=0 CPUtime=6.55 cores=0,2,4,6
/proc/22140/task/22203/stat : 22203 (java) S 22137 22140 20037 0 -1 1077944384 40326 12990 0 0 643 4 5 3 20 0 15 0 473581259 11113619456 231152 33554432000 4194304 4196468 140731853519104 140444896737520 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22204] ppid=22137 vsize=10853144 memory=924608 CPUtime=4.86 cores=0,2,4,6
/proc/22140/task/22204/stat : 22204 (java) S 22137 22140 20037 0 -1 1077944384 54024 12990 0 0 469 9 5 3 20 0 15 0 473581259 11113619456 231152 33554432000 4194304 4196468 140731853519104 140444895684720 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22205] ppid=22137 vsize=10853144 memory=924608 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22205/stat : 22205 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581259 11113619456 231152 33554432000 4194304 4196468 140731853519104 140444485634272 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22206] ppid=22137 vsize=10853144 memory=0 CPUtime=1.23 cores=0,2,4,6
/proc/22140/task/22206/stat : 22206 (java) S 22137 22140 20037 0 -1 1077944384 1696 12990 0 0 59 56 5 3 20 0 15 0 473581259 11113619456 231152 33554432000 4194304 4196468 140731853519104 140444793035952 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
Current children cumulated CPU time: 2429.59 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 924608 KiB

[startup+2442.3 s]
/proc/loadavg: 1.33 1.40 1.37 3/228 22734
/proc/meminfo: memFree=1841000/32770624 swapFree=66956600/67108860
[pid=22140] ppid=22137 vsize=10853144 memory=924648 CPUtime=2490.37 cores=0,2,4,6
/proc/22140/stat : 22140 (java) S 22137 22140 20037 0 -1 1077944320 295490 12990 0 0 248720 309 5 3 20 0 15 0 473581243 11113619456 231162 33554432000 4194304 4196468 140731853519104 140731853501648 140445929299703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
/proc/22140/statm: 2713286 231162 3633 1 0 2675341 0
[pid=22140/tid=22193] ppid=22137 vsize=10853144 memory=924648 CPUtime=2420.38 cores=0,2,4,6
/proc/22140/task/22193/stat : 22193 (java) R 22137 22140 20037 0 -1 4202560 91996 12990 0 0 241982 48 5 3 20 0 15 0 473581251 11113619456 231162 33554432000 4194304 4196468 140731853519104 140445901135696 140445517602764 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22194] ppid=22137 vsize=10853144 memory=924648 CPUtime=10.53 cores=0,2,4,6
/proc/22140/task/22194/stat : 22194 (java) S 22137 22140 20037 0 -1 1077944384 12603 12990 0 0 1001 44 5 3 20 0 15 0 473581252 11113619456 231162 33554432000 4194304 4196468 140731853519104 140445933542032 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22195] ppid=22137 vsize=10853144 memory=924648 CPUtime=10.56 cores=0,2,4,6
/proc/22140/task/22195/stat : 22195 (java) S 22137 22140 20037 0 -1 1077944384 11255 12990 0 0 1002 46 5 3 20 0 15 0 473581252 11113619456 231162 33554432000 4194304 4196468 140731853519104 140445837744656 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22196] ppid=22137 vsize=10853144 memory=924648 CPUtime=10.54 cores=0,2,4,6
/proc/22140/task/22196/stat : 22196 (java) S 22137 22140 20037 0 -1 1077944384 10000 12990 0 0 1003 43 5 3 20 0 15 0 473581252 11113619456 231162 33554432000 4194304 4196468 140731853519104 140445836691856 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22197] ppid=22137 vsize=10853144 memory=924648 CPUtime=10.57 cores=0,2,4,6
/proc/22140/task/22197/stat : 22197 (java) S 22137 22140 20037 0 -1 1077944384 11042 12990 0 0 1005 44 5 3 20 0 15 0 473581252 11113619456 231162 33554432000 4194304 4196468 140731853519104 140445835639056 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22198] ppid=22137 vsize=10853144 memory=11632 CPUtime=8.85 cores=0,2,4,6
/proc/22140/task/22198/stat : 22198 (java) S 22137 22140 20037 0 -1 1077944384 13774 12990 0 0 830 47 5 3 20 0 15 0 473581254 11113619456 231162 33554432000 4194304 4196468 140731853519104 140444932402032 140445929310850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22199] ppid=22137 vsize=10853144 memory=1732 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22199/stat : 22199 (java) S 22137 22140 20037 0 -1 1077944384 43 12990 0 0 0 0 5 3 20 0 15 0 473581254 11113619456 231162 33554432000 4194304 4196468 140731853519104 140444931348064 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22200] ppid=22137 vsize=10853144 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22200/stat : 22200 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581254 11113619456 231162 33554432000 4194304 4196468 140731853519104 140444826592640 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22201] ppid=22137 vsize=10853144 memory=54296 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22201/stat : 22201 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581257 11113619456 231162 33554432000 4194304 4196468 140731853519104 140444519192912 140445929318299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22202] ppid=22137 vsize=10853144 memory=924648 CPUtime=6.85 cores=0,2,4,6
/proc/22140/task/22202/stat : 22202 (java) S 22137 22140 20037 0 -1 1077944384 46499 12990 0 0 671 6 5 3 20 0 15 0 473581259 11113619456 231162 33554432000 4194304 4196468 140731853519104 140444897790320 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22203] ppid=22137 vsize=10853144 memory=924648 CPUtime=6.55 cores=0,2,4,6
/proc/22140/task/22203/stat : 22203 (java) S 22137 22140 20037 0 -1 1077944384 40328 12990 0 0 643 4 5 3 20 0 15 0 473581259 11113619456 231162 33554432000 4194304 4196468 140731853519104 140444896737520 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22204] ppid=22137 vsize=10853144 memory=924648 CPUtime=4.86 cores=0,2,4,6
/proc/22140/task/22204/stat : 22204 (java) S 22137 22140 20037 0 -1 1077944384 54026 12990 0 0 469 9 5 3 20 0 15 0 473581259 11113619456 231162 33554432000 4194304 4196468 140731853519104 140444895684720 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22205] ppid=22137 vsize=10853144 memory=924648 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22205/stat : 22205 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581259 11113619456 231162 33554432000 4194304 4196468 140731853519104 140444485634272 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22206] ppid=22137 vsize=10853144 memory=924648 CPUtime=1.26 cores=0,2,4,6
/proc/22140/task/22206/stat : 22206 (java) S 22137 22140 20037 0 -1 1077944384 1714 12990 0 0 61 57 5 3 20 0 15 0 473581259 11113619456 231162 33554432000 4194304 4196468 140731853519104 140444793035952 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
Current children cumulated CPU time: 2490.37 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 924648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2471.6 s]
/proc/loadavg: 1.27 1.37 1.36 3/229 22736
/proc/meminfo: memFree=1839512/32770624 swapFree=66956600/67108860
[pid=22140] ppid=22137 vsize=10853144 memory=924692 CPUtime=2520.04 cores=0,2,4,6
/proc/22140/stat : 22140 (java) S 22137 22140 20037 0 -1 1077944320 296068 12990 0 0 251685 311 5 3 20 0 15 0 473581243 11113619456 231173 33554432000 4194304 4196468 140731853519104 140731853501648 140445929299703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
/proc/22140/statm: 2713286 231173 3633 1 0 2675341 0
[pid=22140/tid=22193] ppid=22137 vsize=10853144 memory=924692 CPUtime=2449.42 cores=0,2,4,6
/proc/22140/task/22193/stat : 22193 (java) R 22137 22140 20037 0 -1 4202560 92228 12990 0 0 244886 48 5 3 20 0 15 0 473581251 11113619456 231173 33554432000 4194304 4196468 140731853519104 140445901135920 140445528150684 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22194] ppid=22137 vsize=10853144 memory=6791534058613427641 CPUtime=10.66 cores=0,2,4,6
/proc/22140/task/22194/stat : 22194 (java) S 22137 22140 20037 0 -1 1077944384 12621 12990 0 0 1014 44 5 3 20 0 15 0 473581252 11113619456 231173 33554432000 4194304 4196468 140731853519104 140445933542032 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22195] ppid=22137 vsize=10853144 memory=1556 CPUtime=10.68 cores=0,2,4,6
/proc/22140/task/22195/stat : 22195 (java) S 22137 22140 20037 0 -1 1077944384 11302 12990 0 0 1014 46 5 3 20 0 15 0 473581252 11113619456 231173 33554432000 4194304 4196468 140731853519104 140445837744656 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22196] ppid=22137 vsize=10853144 memory=11632 CPUtime=10.67 cores=0,2,4,6
/proc/22140/task/22196/stat : 22196 (java) S 22137 22140 20037 0 -1 1077944384 10009 12990 0 0 1016 43 5 3 20 0 15 0 473581252 11113619456 231173 33554432000 4194304 4196468 140731853519104 140445836691856 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22197] ppid=22137 vsize=10853144 memory=1732 CPUtime=10.71 cores=0,2,4,6
/proc/22140/task/22197/stat : 22197 (java) S 22137 22140 20037 0 -1 1077944384 11120 12990 0 0 1018 45 5 3 20 0 15 0 473581252 11113619456 231173 33554432000 4194304 4196468 140731853519104 140445835639056 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22198] ppid=22137 vsize=10853144 memory=1088 CPUtime=8.96 cores=0,2,4,6
/proc/22140/task/22198/stat : 22198 (java) S 22137 22140 20037 0 -1 1077944384 13955 12990 0 0 841 47 5 3 20 0 15 0 473581254 11113619456 231173 33554432000 4194304 4196468 140731853519104 140444932402032 140445929310850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22199] ppid=22137 vsize=10853144 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22199/stat : 22199 (java) S 22137 22140 20037 0 -1 1077944384 43 12990 0 0 0 0 5 3 20 0 15 0 473581254 11113619456 231173 33554432000 4194304 4196468 140731853519104 140444931348064 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22200] ppid=22137 vsize=10853144 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22200/stat : 22200 (java) S 22137 22140 20037 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 473581254 11113619456 231173 33554432000 4194304 4196468 140731853519104 140444826592640 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22201] ppid=22137 vsize=10853144 memory=6032 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22201/stat : 22201 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581257 11113619456 231173 33554432000 4194304 4196468 140731853519104 140444519192912 140445929318299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22202] ppid=22137 vsize=10853144 memory=624 CPUtime=6.85 cores=0,2,4,6
/proc/22140/task/22202/stat : 22202 (java) S 22137 22140 20037 0 -1 1077944384 46499 12990 0 0 671 6 5 3 20 0 15 0 473581259 11113619456 231173 33554432000 4194304 4196468 140731853519104 140444897790320 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22203] ppid=22137 vsize=10853144 memory=3636 CPUtime=6.55 cores=0,2,4,6
/proc/22140/task/22203/stat : 22203 (java) S 22137 22140 20037 0 -1 1077944384 40328 12990 0 0 643 4 5 3 20 0 15 0 473581259 11113619456 231173 33554432000 4194304 4196468 140731853519104 140444896737520 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22204] ppid=22137 vsize=10853144 memory=2832 CPUtime=4.86 cores=0,2,4,6
/proc/22140/task/22204/stat : 22204 (java) S 22137 22140 20037 0 -1 1077944384 54026 12990 0 0 469 9 5 3 20 0 15 0 473581259 11113619456 231173 33554432000 4194304 4196468 140731853519104 140444895684720 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22205] ppid=22137 vsize=10853144 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/22140/task/22205/stat : 22205 (java) S 22137 22140 20037 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 473581259 11113619456 231173 33554432000 4194304 4196468 140731853519104 140444485634272 140445929309909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
[pid=22140/tid=22206] ppid=22137 vsize=10853144 memory=2112 CPUtime=1.27 cores=0,2,4,6
/proc/22140/task/22206/stat : 22206 (java) S 22137 22140 20037 0 -1 1077944384 1727 12990 0 0 61 58 5 3 20 0 15 0 473581259 11113619456 231173 33554432000 4194304 4196468 140731853519104 140444793035952 140445929310850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35016704 140731853523556 140731853526197 140731853526197 140731853529039 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 924692 KiB

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

[startup+2471.63 s]
# the end of solver process 22140 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.93 s, system=3.15356 s

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

Child status: 143
Real time (s): 2471.63
CPU time (s): 2520.08
CPU user time (s): 2516.93
CPU system time (s): 3.15356
CPU usage (%): 101.96
Max. virtual memory (cumulated for all children) (KiB): 10853144
Max. memory (cumulated for all children) (KiB): 996952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.93
system time used= 3.15356
maximum resident set size= 997996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309925
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 248416
involuntary context switches= 6043


# summary of solver processes directly reported to runsolver:
#   pid: 22140
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.93
#   total CPU system time (s): 3.15356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.069 second user time and 26.572 second system time

The end

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

Trace number 4402814

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