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.12.2	SAT (TO)	10	2400.09	2349.23

0.77/0.55	c Concrete v3.12.2.1568631193530 running
20.09/7.98	o 15
20.09/8.01	o 14
131.45/114.85	o 13
131.59/114.92	o 12
307.25/287.48	o 11
307.62/287.74	o 10
2400.02/2349.20	Exception in thread "main" java.util.concurrent.TimeoutException
2400.02/2349.20		at concrete.MAC.mac(MAC.scala:192)
2400.02/2349.20		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.02/2349.20		at scala.util.Try$.apply(Try.scala:212)
2400.02/2349.20		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.02/2349.20		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.02/2349.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.02/2349.21		at concrete.MAC.oneRun(MAC.scala:265)
2400.02/2349.21		at concrete.MAC.nextSolution(MAC.scala:284)
2400.02/2349.21		at concrete.MAC.nextSolution(MAC.scala:369)
2400.02/2349.21		at concrete.Solver.hasNext(Solver.scala:160)
2400.02/2349.21		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.02/2349.21		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.02/2349.21		at concrete.Solver.foreach(Solver.scala:67)
2400.02/2349.21		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.02/2349.21		at scala.util.Success.map(Try.scala:264)
2400.02/2349.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.02/2349.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.02/2349.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.02/2349.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.02/2349.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.02/2349.21		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.02/2349.21		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.02/2349.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.02/2349.21		at scala.App.$anonfun$main$1(App.scala:75)
2400.02/2349.21		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.02/2349.21		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.02/2349.21		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.02/2349.21		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.02/2349.21		at scala.App.main(App.scala:75)
2400.02/2349.21		at scala.App.main$(App.scala:73)
2400.02/2349.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.02/2349.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.02/2349.22	v <instantiation
2400.02/2349.22	v         cost = '10'>
2400.02/2349.22	v       <list>
2400.02/2349.22	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.02/2349.22	v       </list>
2400.02/2349.22	v       <values>
2400.02/2349.22	v         11 8 13 1 4 6 7 2 3 5 12 10 9 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 0 1 1 1 1 2 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 1 2 2 2 2 2 2 0 0 0 1 2 2 2 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 1 1 1 1 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 1 1 1 1 1 1 1 1 1 2 0 0 1 1 1 1 1 1 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 1 1 1 1 1 1 1 1 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 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 0 1 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 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 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 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 1 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 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 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 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 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 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 1 1 1 0 0 0 0 4 8 9 8 9 10 10 10 10 10 10 9 7 6 4
2400.02/2349.22	v       </values>
2400.02/2349.22	v     </instantiation>
2400.02/2349.22	s SATISFIABLE

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15310 MiB free)
  memory of node 1: 16384 MiB (13736 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401338-1568691091/watcher-4401338-1568691091 -o /tmp/evaluation-result-4401338-1568691091/solver-4401338-1568691091 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568673289-15738 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=520998890 HOME/instance-4401338-1568691091.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=20848, runsolver pid=20845

[startup+0.100133 s]*
/proc/loadavg: 1.33 1.30 1.36 3/219 20905
/proc/meminfo: memFree=29741336/32770624 swapFree=66976896/67108860
[pid=20848] ppid=20845 vsize=9972712 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/20848/stat : 20848 (java) S 20845 20848 15707 0 -1 1077944320 4472 13267 0 0 1 1 5 2 20 0 6 0 445371716 10212057088 4204 33554432000 4194304 4196468 140734838998272 140734838980816 140310646341367 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
/proc/20848/statm: 2493178 4204 1935 1 0 2481616 0
[pid=20848/tid=20901] ppid=20845 vsize=9972712 memory=-8439527450518781933 CPUtime=0.08 cores=0,2,4,6
/proc/20848/task/20901/stat : 20901 (java) R 20845 20848 15707 0 -1 4202560 2273 13267 0 0 1 0 5 2 20 0 6 0 445371725 10212057088 4270 33554432000 4194304 4196468 140734838998272 140310618178128 140310627735101 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20902] ppid=20845 vsize=9972712 memory=4211973641706630538 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20902/stat : 20902 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 6 0 445371726 10212057088 4270 33554432000 4194304 4196468 140734838998272 140310650584208 140310646351573 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20903] ppid=20845 vsize=9972712 memory=139915501840000 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20903/stat : 20903 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 6 0 445371726 10212057088 4270 33554432000 4194304 4196468 140734838998272 140310549474320 140310646351573 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20904] ppid=20845 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20904/stat : 20904 (java) S 20845 20848 15707 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 6 0 445371726 10212057088 4270 33554432000 4194304 4196468 140734838998272 140310548421520 140310646351573 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20905] ppid=20845 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20905/stat : 20905 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 6 0 445371726 10212057088 4270 33554432000 4194304 4196468 140734838998272 140310547368720 140310646351573 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB

[startup+0.214976 s]*
/proc/loadavg: 1.33 1.30 1.36 4/228 20914
/proc/meminfo: memFree=29720684/32770624 swapFree=66976896/67108860
[pid=20848] ppid=20845 vsize=10820196 memory=42864 CPUtime=0.28 cores=0,2,4,6
/proc/20848/stat : 20848 (java) S 20845 20848 15707 0 -1 1077944320 7442 13267 0 0 19 2 5 2 20 0 15 0 445371716 11079880704 10716 33554432000 4194304 4196468 140734838998272 140734838980816 140310646341367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
/proc/20848/statm: 2705049 10716 3332 1 0 2667149 0
[pid=20848/tid=20901] ppid=20845 vsize=10820196 memory=7900017517374083699 CPUtime=0.19 cores=0,2,4,6
/proc/20848/task/20901/stat : 20901 (java) R 20845 20848 15707 0 -1 4202560 3931 13267 0 0 11 1 5 2 20 0 15 0 445371725 11079880704 10716 33554432000 4194304 4196468 140734838998272 140310618155552 140310223137328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20902] ppid=20845 vsize=10820196 memory=4211973641706630538 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20902/stat : 20902 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371726 11079880704 10716 33554432000 4194304 4196468 140734838998272 140310650584208 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20903] ppid=20845 vsize=10820196 memory=139915501840000 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20903/stat : 20903 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371726 11079880704 10716 33554432000 4194304 4196468 140734838998272 140310549474320 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20904] ppid=20845 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20904/stat : 20904 (java) S 20845 20848 15707 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 445371726 11079880704 10716 33554432000 4194304 4196468 140734838998272 140310548421520 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20905] ppid=20845 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20905/stat : 20905 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371726 11079880704 10716 33554432000 4194304 4196468 140734838998272 140310547368720 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20906] ppid=20845 vsize=10820196 memory=139915501840000 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20906/stat : 20906 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371727 11079880704 10716 33554432000 4194304 4196468 140734838998272 140310105315696 140310646352514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20907] ppid=20845 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20907/stat : 20907 (java) S 20845 20848 15707 0 -1 1077944384 13 13267 0 0 0 0 5 2 20 0 15 0 445371728 11079880704 10716 33554432000 4194304 4196468 140734838998272 140310004884512 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20908] ppid=20845 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20908/stat : 20908 (java) S 20845 20848 15707 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 445371728 11079880704 10716 33554432000 4194304 4196468 140734838998272 140309400904560 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20909] ppid=20845 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20909/stat : 20909 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371730 11079880704 10716 33554432000 4194304 4196468 140734838998272 140309160613712 140310646359963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20910] ppid=20845 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20848/task/20910/stat : 20910 (java) S 20845 20848 15707 0 -1 1077944384 604 13267 0 0 2 0 5 2 20 0 15 0 445371731 11079880704 10716 33554432000 4194304 4196468 140734838998272 140310104263536 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20911] ppid=20845 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20848/task/20911/stat : 20911 (java) S 20845 20848 15707 0 -1 1077944384 71 13267 0 0 1 0 5 2 20 0 15 0 445371731 11079880704 10716 33554432000 4194304 4196468 140734838998272 140310103210736 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20912] ppid=20845 vsize=10820196 memory=139915501840000 CPUtime=0.1 cores=0,2,4,6
/proc/20848/task/20912/stat : 20912 (java) S 20845 20848 15707 0 -1 1077944384 598 13267 0 0 3 0 5 2 20 0 15 0 445371731 11079880704 10716 33554432000 4194304 4196468 140734838998272 140310102157936 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20913] ppid=20845 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20913/stat : 20913 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371731 11079880704 10716 33554432000 4194304 4196468 140734838998272 140309127056096 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20914] ppid=20845 vsize=10820196 memory=139915501840000 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20914/stat : 20914 (java) S 20845 20848 15707 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 445371731 11079880704 10716 33554432000 4194304 4196468 140734838998272 140310101105328 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42864 KiB

[startup+0.310494 s]*
/proc/loadavg: 1.33 1.30 1.36 4/228 20914
/proc/meminfo: memFree=29707844/32770624 swapFree=66976896/67108860
[pid=20848] ppid=20845 vsize=10820196 memory=50876 CPUtime=0.4 cores=0,2,4,6
/proc/20848/stat : 20848 (java) S 20845 20848 15707 0 -1 1077944320 10885 13267 0 0 30 3 5 2 20 0 15 0 445371716 11079880704 12719 33554432000 4194304 4196468 140734838998272 140734838980816 140310646341367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
/proc/20848/statm: 2705049 12719 3342 1 0 2667149 0
[pid=20848/tid=20901] ppid=20845 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/20848/task/20901/stat : 20901 (java) R 20845 20848 15707 0 -1 4202560 7366 13267 0 0 19 2 5 2 20 0 15 0 445371725 11079880704 12719 33554432000 4194304 4196468 140734838998272 140310618150320 140310629528176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20902] ppid=20845 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20902/stat : 20902 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371726 11079880704 12719 33554432000 4194304 4196468 140734838998272 140310650584208 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20903] ppid=20845 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20903/stat : 20903 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371726 11079880704 12719 33554432000 4194304 4196468 140734838998272 140310549474320 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20904] ppid=20845 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20904/stat : 20904 (java) S 20845 20848 15707 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 445371726 11079880704 12719 33554432000 4194304 4196468 140734838998272 140310548421520 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20905] ppid=20845 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20905/stat : 20905 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371726 11079880704 12719 33554432000 4194304 4196468 140734838998272 140310547368720 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20906] ppid=20845 vsize=10820196 memory=139915501839999 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20906/stat : 20906 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371727 11079880704 12719 33554432000 4194304 4196468 140734838998272 140310105315696 140310646352514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20907] ppid=20845 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20907/stat : 20907 (java) S 20845 20848 15707 0 -1 1077944384 13 13267 0 0 0 0 5 2 20 0 15 0 445371728 11079880704 12719 33554432000 4194304 4196468 140734838998272 140310004884512 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20908] ppid=20845 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20908/stat : 20908 (java) S 20845 20848 15707 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 445371728 11079880704 12719 33554432000 4194304 4196468 140734838998272 140309400904560 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20909] ppid=20845 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20909/stat : 20909 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371730 11079880704 12719 33554432000 4194304 4196468 140734838998272 140309160613712 140310646359963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20910] ppid=20845 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20848/task/20910/stat : 20910 (java) S 20845 20848 15707 0 -1 1077944384 605 13267 0 0 2 0 5 2 20 0 15 0 445371731 11079880704 12719 33554432000 4194304 4196468 140734838998272 140310104263536 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20911] ppid=20845 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20848/task/20911/stat : 20911 (java) S 20845 20848 15707 0 -1 1077944384 71 13267 0 0 1 0 5 2 20 0 15 0 445371731 11079880704 12719 33554432000 4194304 4196468 140734838998272 140310103210736 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20912] ppid=20845 vsize=10820196 memory=139915501840000 CPUtime=0.12 cores=0,2,4,6
/proc/20848/task/20912/stat : 20912 (java) S 20845 20848 15707 0 -1 1077944384 605 13267 0 0 5 0 5 2 20 0 15 0 445371731 11079880704 12719 33554432000 4194304 4196468 140734838998272 140310102157936 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20913] ppid=20845 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20913/stat : 20913 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371731 11079880704 12719 33554432000 4194304 4196468 140734838998272 140309127056096 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20914] ppid=20845 vsize=10820196 memory=139915501840000 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20914/stat : 20914 (java) S 20845 20848 15707 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 445371731 11079880704 12719 33554432000 4194304 4196468 140734838998272 140310101105328 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50876 KiB

[startup+0.701346 s]
/proc/loadavg: 1.33 1.30 1.36 3/228 20914
/proc/meminfo: memFree=29693556/32770624 swapFree=66976896/67108860
[pid=20848] ppid=20845 vsize=10824364 memory=83584 CPUtime=1.12 cores=0,2,4,6
/proc/20848/stat : 20848 (java) S 20845 20848 15707 0 -1 1077944320 15149 13267 0 0 99 6 5 2 20 0 15 0 445371716 11084148736 20896 33554432000 4194304 4196468 140734838998272 140734838980816 140310646341367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
/proc/20848/statm: 2706091 20896 3511 1 0 2668173 0
[pid=20848/tid=20901] ppid=20845 vsize=10824364 memory=2241 CPUtime=0.66 cores=0,2,4,6
/proc/20848/task/20901/stat : 20901 (java) R 20845 20848 15707 0 -1 4202560 10594 13267 0 0 55 4 5 2 20 0 15 0 445371725 11084148736 20896 33554432000 4194304 4196468 140734838998272 140310618157280 140310223138795 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20902] ppid=20845 vsize=10824364 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20902/stat : 20902 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371726 11084148736 20896 33554432000 4194304 4196468 140734838998272 140310650584208 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20903] ppid=20845 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20903/stat : 20903 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371726 11084148736 20896 33554432000 4194304 4196468 140734838998272 140310549474320 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20904] ppid=20845 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20904/stat : 20904 (java) S 20845 20848 15707 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 445371726 11084148736 20896 33554432000 4194304 4196468 140734838998272 140310548421520 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20905] ppid=20845 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20905/stat : 20905 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371726 11084148736 20896 33554432000 4194304 4196468 140734838998272 140310547368720 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20906] ppid=20845 vsize=10824364 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20906/stat : 20906 (java) S 20845 20848 15707 0 -1 1077944384 5 13267 0 0 0 0 5 2 20 0 15 0 445371727 11084148736 20896 33554432000 4194304 4196468 140734838998272 140310105315696 140310646352514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20907] ppid=20845 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20907/stat : 20907 (java) S 20845 20848 15707 0 -1 1077944384 13 13267 0 0 0 0 5 2 20 0 15 0 445371728 11084148736 20896 33554432000 4194304 4196468 140734838998272 140310004884512 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20908] ppid=20845 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20908/stat : 20908 (java) S 20845 20848 15707 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 445371728 11084148736 20896 33554432000 4194304 4196468 140734838998272 140309400904560 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20909] ppid=20845 vsize=10824364 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20909/stat : 20909 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371730 11084148736 20896 33554432000 4194304 4196468 140734838998272 140309160613712 140310646359963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20910] ppid=20845 vsize=10824364 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/20848/task/20910/stat : 20910 (java) R 20845 20848 15707 0 -1 4202560 1021 13267 0 0 15 0 5 2 20 0 15 0 445371731 11084148736 20896 33554432000 4194304 4196468 140734838998272 140310104263536 140310631112500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20911] ppid=20845 vsize=10824364 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/20848/task/20911/stat : 20911 (java) R 20845 20848 15707 0 -1 4202560 502 13267 0 0 11 0 5 2 20 0 15 0 445371731 11084148736 20896 33554432000 4194304 4196468 140734838998272 140310103210736 140310632056064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20912] ppid=20845 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/20848/task/20912/stat : 20912 (java) S 20845 20848 15707 0 -1 1077944384 791 13267 0 0 17 0 5 2 20 0 15 0 445371731 11084148736 20896 33554432000 4194304 4196468 140734838998272 140310102157936 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20913] ppid=20845 vsize=10824364 memory=279830809542896 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20913/stat : 20913 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371731 11084148736 20896 33554432000 4194304 4196468 140734838998272 140309127056096 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20914] ppid=20845 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20914/stat : 20914 (java) S 20845 20848 15707 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 445371731 11084148736 20896 33554432000 4194304 4196468 140734838998272 140310101105328 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83584 KiB

[startup+1.5008 s]
/proc/loadavg: 1.33 1.30 1.36 6/228 20914
/proc/meminfo: memFree=29638972/32770624 swapFree=66976896/67108860
[pid=20848] ppid=20845 vsize=10835436 memory=218948 CPUtime=3.42 cores=0,2,4,6
/proc/20848/stat : 20848 (java) S 20845 20848 15707 0 -1 1077944320 34207 13267 0 0 324 11 5 2 20 0 15 0 445371716 11095486464 54737 33554432000 4194304 4196468 140734838998272 140734838980816 140310646341367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
/proc/20848/statm: 2708859 54737 3595 1 0 2670922 0
[pid=20848/tid=20901] ppid=20845 vsize=10835436 memory=279830809908088 CPUtime=1.42 cores=0,2,4,6
/proc/20848/task/20901/stat : 20901 (java) R 20845 20848 15707 0 -1 4202560 16627 13267 0 0 128 7 5 2 20 0 15 0 445371725 11095486464 54737 33554432000 4194304 4196468 140734838998272 140310618158280 140310630421854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20902] ppid=20845 vsize=10835436 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20848/task/20902/stat : 20902 (java) S 20845 20848 15707 0 -1 1077944384 69 13267 0 0 1 0 5 2 20 0 15 0 445371726 11095486464 54737 33554432000 4194304 4196468 140734838998272 140310650584208 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20903] ppid=20845 vsize=10835436 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20848/task/20903/stat : 20903 (java) S 20845 20848 15707 0 -1 1077944384 75 13267 0 0 1 0 5 2 20 0 15 0 445371726 11095486464 54737 33554432000 4194304 4196468 140734838998272 140310549474320 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20904] ppid=20845 vsize=10835436 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/20848/task/20904/stat : 20904 (java) S 20845 20848 15707 0 -1 1077944384 4 13267 0 0 1 0 5 2 20 0 15 0 445371726 11095486464 54737 33554432000 4194304 4196468 140734838998272 140310548421520 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20905] ppid=20845 vsize=10835436 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20848/task/20905/stat : 20905 (java) S 20845 20848 15707 0 -1 1077944384 317 13267 0 0 1 0 5 2 20 0 15 0 445371726 11095486464 54737 33554432000 4194304 4196468 140734838998272 140310547368720 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20906] ppid=20845 vsize=10835436 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20848/task/20906/stat : 20906 (java) S 20845 20848 15707 0 -1 1077944384 131 13267 0 0 1 0 5 2 20 0 15 0 445371727 11095486464 54737 33554432000 4194304 4196468 140734838998272 140310105315696 140310646352514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20907] ppid=20845 vsize=10835436 memory=279830810067712 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20907/stat : 20907 (java) S 20845 20848 15707 0 -1 1077944384 14 13267 0 0 0 0 5 2 20 0 15 0 445371728 11095486464 54737 33554432000 4194304 4196468 140734838998272 140310004884512 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20908] ppid=20845 vsize=10835436 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20908/stat : 20908 (java) S 20845 20848 15707 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 445371728 11095486464 54737 33554432000 4194304 4196468 140734838998272 140309400904560 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20909] ppid=20845 vsize=10835436 memory=16660 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20909/stat : 20909 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371730 11095486464 54737 33554432000 4194304 4196468 140734838998272 140309160613712 140310646359963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20910] ppid=20845 vsize=10835436 memory=2244 CPUtime=0.64 cores=0,2,4,6
/proc/20848/task/20910/stat : 20910 (java) S 20845 20848 15707 0 -1 1077944384 3674 13267 0 0 57 0 5 2 20 0 15 0 445371731 11095486464 54737 33554432000 4194304 4196468 140734838998272 140310104263536 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20911] ppid=20845 vsize=10835436 memory=139915405040736 CPUtime=0.92 cores=0,2,4,6
/proc/20848/task/20911/stat : 20911 (java) R 20845 20848 15707 0 -1 4202560 8595 13267 0 0 84 1 5 2 20 0 15 0 445371731 11095486464 54737 33554432000 4194304 4196468 140734838998272 140310103196760 140310627884659 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20912] ppid=20845 vsize=10835436 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/20848/task/20912/stat : 20912 (java) S 20845 20848 15707 0 -1 1077944384 2485 13267 0 0 45 0 5 2 20 0 15 0 445371731 11095486464 54737 33554432000 4194304 4196468 140734838998272 140310102157936 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20913] ppid=20845 vsize=10835436 memory=-1088251628401078322 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20913/stat : 20913 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371731 11095486464 54737 33554432000 4194304 4196468 140734838998272 140309127056096 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20914] ppid=20845 vsize=10835436 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20914/stat : 20914 (java) S 20845 20848 15707 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 445371731 11095486464 54737 33554432000 4194304 4196468 140734838998272 140310101105328 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
Current children cumulated CPU time: 3.42 s
Current children cumulated vsize: 10835436 KiB

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

/proc/20848/task/20901/stat : 20901 (java) R 20845 20848 15707 0 -1 4202560 71677 13267 0 0 218069 38 5 2 20 0 15 0 445371725 11113619456 224464 33554432000 4194304 4196468 140734838998272 140310618177648 140310243812812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20902] ppid=20845 vsize=10853144 memory=897856 CPUtime=10.54 cores=0,2,4,6
/proc/20848/task/20902/stat : 20902 (java) S 20845 20848 15707 0 -1 1077944384 15333 13267 0 0 1002 45 5 2 20 0 15 0 445371726 11113619456 224464 33554432000 4194304 4196468 140734838998272 140310650584208 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20903] ppid=20845 vsize=10853144 memory=6791534058613427641 CPUtime=10.57 cores=0,2,4,6
/proc/20848/task/20903/stat : 20903 (java) S 20845 20848 15707 0 -1 1077944384 15679 13267 0 0 1006 44 5 2 20 0 15 0 445371726 11113619456 224464 33554432000 4194304 4196468 140734838998272 140310549474320 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20904] ppid=20845 vsize=10853144 memory=11368 CPUtime=10.5 cores=0,2,4,6
/proc/20848/task/20904/stat : 20904 (java) S 20845 20848 15707 0 -1 1077944384 14745 13267 0 0 998 45 5 2 20 0 15 0 445371726 11113619456 224464 33554432000 4194304 4196468 140734838998272 140310548421520 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20905] ppid=20845 vsize=10853144 memory=897856 CPUtime=10.54 cores=0,2,4,6
/proc/20848/task/20905/stat : 20905 (java) S 20845 20848 15707 0 -1 1077944384 15524 13267 0 0 1000 47 5 2 20 0 15 0 445371726 11113619456 224464 33554432000 4194304 4196468 140734838998272 140310547368720 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20906] ppid=20845 vsize=10853144 memory=897856 CPUtime=8.38 cores=0,2,4,6
/proc/20848/task/20906/stat : 20906 (java) S 20845 20848 15707 0 -1 1077944384 17723 13267 0 0 790 41 5 2 20 0 15 0 445371727 11113619456 224464 33554432000 4194304 4196468 140734838998272 140310105315696 140310646352514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20907] ppid=20845 vsize=10853144 memory=897856 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20907/stat : 20907 (java) S 20845 20848 15707 0 -1 1077944384 24 13267 0 0 0 0 5 2 20 0 15 0 445371728 11113619456 224464 33554432000 4194304 4196468 140734838998272 140310004884576 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20908] ppid=20845 vsize=10853144 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20908/stat : 20908 (java) S 20845 20848 15707 0 -1 1077944384 9 13267 0 0 0 0 5 2 20 0 15 0 445371728 11113619456 224464 33554432000 4194304 4196468 140734838998272 140309400904576 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20909] ppid=20845 vsize=10853144 memory=217251 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20909/stat : 20909 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371730 11113619456 224464 33554432000 4194304 4196468 140734838998272 140309160613712 140310646359963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20910] ppid=20845 vsize=10853144 memory=897856 CPUtime=6.98 cores=0,2,4,6
/proc/20848/task/20910/stat : 20910 (java) S 20845 20848 15707 0 -1 1077944384 50923 13267 0 0 684 7 5 2 20 0 15 0 445371731 11113619456 224464 33554432000 4194304 4196468 140734838998272 140310104263536 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20911] ppid=20845 vsize=10853144 memory=897856 CPUtime=6.75 cores=0,2,4,6
/proc/20848/task/20911/stat : 20911 (java) S 20845 20848 15707 0 -1 1077944384 54013 13267 0 0 661 7 5 2 20 0 15 0 445371731 11113619456 224464 33554432000 4194304 4196468 140734838998272 140310103210736 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20912] ppid=20845 vsize=10853144 memory=897856 CPUtime=4.95 cores=0,2,4,6
/proc/20848/task/20912/stat : 20912 (java) S 20845 20848 15707 0 -1 1077944384 60657 13267 0 0 480 8 5 2 20 0 15 0 445371731 11113619456 224464 33554432000 4194304 4196468 140734838998272 140310102157936 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20913] ppid=20845 vsize=10853144 memory=897856 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20913/stat : 20913 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371731 11113619456 224464 33554432000 4194304 4196468 140734838998272 140309127056096 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20914] ppid=20845 vsize=10853144 memory=1164 CPUtime=1.31 cores=0,2,4,6
/proc/20848/task/20914/stat : 20914 (java) S 20845 20848 15707 0 -1 1077944384 1460 13267 0 0 65 59 5 2 20 0 15 0 445371731 11113619456 224464 33554432000 4194304 4196468 140734838998272 140310101105328 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
Current children cumulated CPU time: 2251.13 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 897856 KiB

[startup+2262.3 s]
/proc/loadavg: 0.60 0.75 1.02 3/206 21443
/proc/meminfo: memFree=30907780/32770624 swapFree=66976936/67108860
[pid=20848] ppid=20845 vsize=10853144 memory=897940 CPUtime=2311.95 cores=0,2,4,6
/proc/20848/stat : 20848 (java) S 20845 20848 15707 0 -1 1077944320 321858 13267 0 0 230885 303 5 2 20 0 15 0 445371716 11113619456 224485 33554432000 4194304 4196468 140734838998272 140734838980816 140310646341367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
/proc/20848/statm: 2713286 224485 3634 1 0 2675341 0
[pid=20848/tid=20901] ppid=20845 vsize=10853144 memory=897912 CPUtime=2240.63 cores=0,2,4,6
/proc/20848/task/20901/stat : 20901 (java) R 20845 20848 15707 0 -1 4202560 72330 13267 0 0 224017 39 5 2 20 0 15 0 445371725 11113619456 224485 33554432000 4194304 4196468 140734838998272 140310618176832 140310239149696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20902] ppid=20845 vsize=10853144 memory=897940 CPUtime=10.79 cores=0,2,4,6
/proc/20848/task/20902/stat : 20902 (java) S 20845 20848 15707 0 -1 1077944384 15392 13267 0 0 1027 45 5 2 20 0 15 0 445371726 11113619456 224485 33554432000 4194304 4196468 140734838998272 140310650584208 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20903] ppid=20845 vsize=10853144 memory=897940 CPUtime=10.84 cores=0,2,4,6
/proc/20848/task/20903/stat : 20903 (java) S 20845 20848 15707 0 -1 1077944384 15741 13267 0 0 1032 45 5 2 20 0 15 0 445371726 11113619456 224485 33554432000 4194304 4196468 140734838998272 140310549474320 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20904] ppid=20845 vsize=10853144 memory=897940 CPUtime=10.77 cores=0,2,4,6
/proc/20848/task/20904/stat : 20904 (java) S 20845 20848 15707 0 -1 1077944384 14797 13267 0 0 1024 46 5 2 20 0 15 0 445371726 11113619456 224485 33554432000 4194304 4196468 140734838998272 140310548421520 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20905] ppid=20845 vsize=10853144 memory=897940 CPUtime=10.81 cores=0,2,4,6
/proc/20848/task/20905/stat : 20905 (java) S 20845 20848 15707 0 -1 1077944384 15946 13267 0 0 1027 47 5 2 20 0 15 0 445371726 11113619456 224485 33554432000 4194304 4196468 140734838998272 140310547368720 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20906] ppid=20845 vsize=10853144 memory=897940 CPUtime=8.6 cores=0,2,4,6
/proc/20848/task/20906/stat : 20906 (java) S 20845 20848 15707 0 -1 1077944384 17945 13267 0 0 811 42 5 2 20 0 15 0 445371727 11113619456 224485 33554432000 4194304 4196468 140734838998272 140310105315696 140310646352514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20907] ppid=20845 vsize=10853144 memory=897940 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20907/stat : 20907 (java) S 20845 20848 15707 0 -1 1077944384 24 13267 0 0 0 0 5 2 20 0 15 0 445371728 11113619456 224485 33554432000 4194304 4196468 140734838998272 140310004884576 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20908] ppid=20845 vsize=10853144 memory=279830810961984 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20908/stat : 20908 (java) S 20845 20848 15707 0 -1 1077944384 9 13267 0 0 0 0 5 2 20 0 15 0 445371728 11113619456 224485 33554432000 4194304 4196468 140734838998272 140309400904576 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20909] ppid=20845 vsize=10853144 memory=897940 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20909/stat : 20909 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371730 11113619456 224485 33554432000 4194304 4196468 140734838998272 140309160613712 140310646359963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20910] ppid=20845 vsize=10853144 memory=897940 CPUtime=6.98 cores=0,2,4,6
/proc/20848/task/20910/stat : 20910 (java) S 20845 20848 15707 0 -1 1077944384 50925 13267 0 0 684 7 5 2 20 0 15 0 445371731 11113619456 224485 33554432000 4194304 4196468 140734838998272 140310104263536 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20911] ppid=20845 vsize=10853144 memory=14008 CPUtime=6.75 cores=0,2,4,6
/proc/20848/task/20911/stat : 20911 (java) S 20845 20848 15707 0 -1 1077944384 54015 13267 0 0 661 7 5 2 20 0 15 0 445371731 11113619456 224485 33554432000 4194304 4196468 140734838998272 140310103210736 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20912] ppid=20845 vsize=10853144 memory=2120 CPUtime=4.95 cores=0,2,4,6
/proc/20848/task/20912/stat : 20912 (java) S 20845 20848 15707 0 -1 1077944384 61043 13267 0 0 480 8 5 2 20 0 15 0 445371731 11113619456 224485 33554432000 4194304 4196468 140734838998272 140310102157936 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20913] ppid=20845 vsize=10853144 memory=897940 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20913/stat : 20913 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371731 11113619456 224485 33554432000 4194304 4196468 140734838998272 140309127056096 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20914] ppid=20845 vsize=10853144 memory=897940 CPUtime=1.34 cores=0,2,4,6
/proc/20848/task/20914/stat : 20914 (java) S 20845 20848 15707 0 -1 1077944384 1477 13267 0 0 67 60 5 2 20 0 15 0 445371731 11113619456 224485 33554432000 4194304 4196468 140734838998272 140310101105328 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
Current children cumulated CPU time: 2311.95 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 897940 KiB

[startup+2322.3 s]
/proc/loadavg: 0.72 0.75 1.01 2/206 21447
/proc/meminfo: memFree=30907776/32770624 swapFree=66976936/67108860
[pid=20848] ppid=20845 vsize=10853144 memory=898040 CPUtime=2372.78 cores=0,2,4,6
/proc/20848/stat : 20848 (java) S 20845 20848 15707 0 -1 1077944320 323302 13267 0 0 236962 309 5 2 20 0 15 0 445371716 11113619456 224510 33554432000 4194304 4196468 140734838998272 140734838980816 140310646341367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
/proc/20848/statm: 2713286 224510 3634 1 0 2675341 0
[pid=20848/tid=20901] ppid=20845 vsize=10853144 memory=898040 CPUtime=2300.07 cores=0,2,4,6
/proc/20848/task/20901/stat : 20901 (java) R 20845 20848 15707 0 -1 4202560 72935 13267 0 0 229961 39 5 2 20 0 15 0 445371725 11113619456 224510 33554432000 4194304 4196468 140734838998272 140310618176848 140310226538106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20902] ppid=20845 vsize=10853144 memory=898008 CPUtime=11.08 cores=0,2,4,6
/proc/20848/task/20902/stat : 20902 (java) S 20845 20848 15707 0 -1 1077944384 15782 13267 0 0 1054 47 5 2 20 0 15 0 445371726 11113619456 224510 33554432000 4194304 4196468 140734838998272 140310650584208 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20903] ppid=20845 vsize=10853144 memory=898004 CPUtime=11.13 cores=0,2,4,6
/proc/20848/task/20903/stat : 20903 (java) S 20845 20848 15707 0 -1 1077944384 15816 13267 0 0 1060 46 5 2 20 0 15 0 445371726 11113619456 224510 33554432000 4194304 4196468 140734838998272 140310549474320 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20904] ppid=20845 vsize=10853144 memory=898004 CPUtime=11.06 cores=0,2,4,6
/proc/20848/task/20904/stat : 20904 (java) S 20845 20848 15707 0 -1 1077944384 14852 13267 0 0 1052 47 5 2 20 0 15 0 445371726 11113619456 224510 33554432000 4194304 4196468 140734838998272 140310548421520 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20905] ppid=20845 vsize=10853144 memory=898004 CPUtime=11.09 cores=0,2,4,6
/proc/20848/task/20905/stat : 20905 (java) S 20845 20848 15707 0 -1 1077944384 16023 13267 0 0 1054 48 5 2 20 0 15 0 445371726 11113619456 224510 33554432000 4194304 4196468 140734838998272 140310547368720 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20906] ppid=20845 vsize=10853144 memory=898004 CPUtime=8.81 cores=0,2,4,6
/proc/20848/task/20906/stat : 20906 (java) S 20845 20848 15707 0 -1 1077944384 18163 13267 0 0 831 43 5 2 20 0 15 0 445371727 11113619456 224510 33554432000 4194304 4196468 140734838998272 140310105315696 140310646352514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20907] ppid=20845 vsize=10853144 memory=898040 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20907/stat : 20907 (java) S 20845 20848 15707 0 -1 1077944384 24 13267 0 0 0 0 5 2 20 0 15 0 445371728 11113619456 224510 33554432000 4194304 4196468 140734838998272 140310004884576 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20908] ppid=20845 vsize=10853144 memory=898040 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20908/stat : 20908 (java) S 20845 20848 15707 0 -1 1077944384 9 13267 0 0 0 0 5 2 20 0 15 0 445371728 11113619456 224510 33554432000 4194304 4196468 140734838998272 140309400904576 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20909] ppid=20845 vsize=10853144 memory=898040 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20909/stat : 20909 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371730 11113619456 224510 33554432000 4194304 4196468 140734838998272 140309160613712 140310646359963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20910] ppid=20845 vsize=10853144 memory=898040 CPUtime=6.98 cores=0,2,4,6
/proc/20848/task/20910/stat : 20910 (java) S 20845 20848 15707 0 -1 1077944384 50928 13267 0 0 684 7 5 2 20 0 15 0 445371731 11113619456 224510 33554432000 4194304 4196468 140734838998272 140310104263536 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20911] ppid=20845 vsize=10853144 memory=898040 CPUtime=6.75 cores=0,2,4,6
/proc/20848/task/20911/stat : 20911 (java) S 20845 20848 15707 0 -1 1077944384 54017 13267 0 0 661 7 5 2 20 0 15 0 445371731 11113619456 224510 33554432000 4194304 4196468 140734838998272 140310103210736 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20912] ppid=20845 vsize=10853144 memory=898040 CPUtime=4.95 cores=0,2,4,6
/proc/20848/task/20912/stat : 20912 (java) S 20845 20848 15707 0 -1 1077944384 61045 13267 0 0 480 8 5 2 20 0 15 0 445371731 11113619456 224510 33554432000 4194304 4196468 140734838998272 140310102157936 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20913] ppid=20845 vsize=10853144 memory=898040 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20913/stat : 20913 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371731 11113619456 224510 33554432000 4194304 4196468 140734838998272 140309127056096 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20914] ppid=20845 vsize=10853144 memory=804 CPUtime=1.37 cores=0,2,4,6
/proc/20848/task/20914/stat : 20914 (java) S 20845 20848 15707 0 -1 1077944384 1494 13267 0 0 69 61 5 2 20 0 15 0 445371731 11113619456 224510 33554432000 4194304 4196468 140734838998272 140310101105328 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
Current children cumulated CPU time: 2372.78 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 898040 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2349.2 s]
/proc/loadavg: 0.57 0.71 0.98 2/206 21450
/proc/meminfo: memFree=30907728/32770624 swapFree=66976936/67108860
[pid=20848] ppid=20845 vsize=10853144 memory=898092 CPUtime=2400.02 cores=0,2,4,6
/proc/20848/stat : 20848 (java) S 20845 20848 15707 0 -1 1077944320 324096 13267 0 0 239684 311 5 2 20 0 15 0 445371716 11113619456 224523 33554432000 4194304 4196468 140734838998272 140734838980816 140310646341367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
/proc/20848/statm: 2713286 224523 3634 1 0 2675341 0
[pid=20848/tid=20901] ppid=20845 vsize=10853144 memory=3036 CPUtime=2326.75 cores=0,2,4,6
/proc/20848/task/20901/stat : 20901 (java) R 20845 20848 15707 0 -1 4202560 73316 13267 0 0 232628 40 5 2 20 0 15 0 445371725 11113619456 224523 33554432000 4194304 4196468 140734838998272 140310618176720 140310243499078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20902] ppid=20845 vsize=10853144 memory=6791534058613427641 CPUtime=11.19 cores=0,2,4,6
/proc/20848/task/20902/stat : 20902 (java) S 20845 20848 15707 0 -1 1077944384 16050 13267 0 0 1065 47 5 2 20 0 15 0 445371726 11113619456 224523 33554432000 4194304 4196468 140734838998272 140310650584208 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20903] ppid=20845 vsize=10853144 memory=4104 CPUtime=11.24 cores=0,2,4,6
/proc/20848/task/20903/stat : 20903 (java) S 20845 20848 15707 0 -1 1077944384 15845 13267 0 0 1071 46 5 2 20 0 15 0 445371726 11113619456 224523 33554432000 4194304 4196468 140734838998272 140310549474320 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20904] ppid=20845 vsize=10853144 memory=1628 CPUtime=11.18 cores=0,2,4,6
/proc/20848/task/20904/stat : 20904 (java) S 20845 20848 15707 0 -1 1077944384 14880 13267 0 0 1064 47 5 2 20 0 15 0 445371726 11113619456 224523 33554432000 4194304 4196468 140734838998272 140310548421520 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20905] ppid=20845 vsize=10853144 memory=1580 CPUtime=11.2 cores=0,2,4,6
/proc/20848/task/20905/stat : 20905 (java) S 20845 20848 15707 0 -1 1077944384 16083 13267 0 0 1065 48 5 2 20 0 15 0 445371726 11113619456 224523 33554432000 4194304 4196468 140734838998272 140310547368720 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20906] ppid=20845 vsize=10853144 memory=1028 CPUtime=8.9 cores=0,2,4,6
/proc/20848/task/20906/stat : 20906 (java) S 20845 20848 15707 0 -1 1077944384 18189 13267 0 0 839 44 5 2 20 0 15 0 445371727 11113619456 224523 33554432000 4194304 4196468 140734838998272 140310105315696 140310646352514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20907] ppid=20845 vsize=10853144 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20907/stat : 20907 (java) S 20845 20848 15707 0 -1 1077944384 24 13267 0 0 0 0 5 2 20 0 15 0 445371728 11113619456 224523 33554432000 4194304 4196468 140734838998272 140310004884576 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20908] ppid=20845 vsize=10853144 memory=898040 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20908/stat : 20908 (java) S 20845 20848 15707 0 -1 1077944384 9 13267 0 0 0 0 5 2 20 0 15 0 445371728 11113619456 224523 33554432000 4194304 4196468 140734838998272 140309400904576 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20909] ppid=20845 vsize=10853144 memory=30516 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20909/stat : 20909 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371730 11113619456 224523 33554432000 4194304 4196468 140734838998272 140309160613712 140310646359963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20910] ppid=20845 vsize=10853144 memory=2004 CPUtime=6.98 cores=0,2,4,6
/proc/20848/task/20910/stat : 20910 (java) S 20845 20848 15707 0 -1 1077944384 50928 13267 0 0 684 7 5 2 20 0 15 0 445371731 11113619456 224523 33554432000 4194304 4196468 140734838998272 140310104263536 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20911] ppid=20845 vsize=10853144 memory=303430223234596890 CPUtime=6.75 cores=0,2,4,6
/proc/20848/task/20911/stat : 20911 (java) S 20845 20848 15707 0 -1 1077944384 54017 13267 0 0 661 7 5 2 20 0 15 0 445371731 11113619456 224523 33554432000 4194304 4196468 140734838998272 140310103210736 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20912] ppid=20845 vsize=10853144 memory=288230617509003574 CPUtime=4.95 cores=0,2,4,6
/proc/20848/task/20912/stat : 20912 (java) S 20845 20848 15707 0 -1 1077944384 61045 13267 0 0 480 8 5 2 20 0 15 0 445371731 11113619456 224523 33554432000 4194304 4196468 140734838998272 140310102157936 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20913] ppid=20845 vsize=10853144 memory=15252640887999028 CPUtime=0.07 cores=0,2,4,6
/proc/20848/task/20913/stat : 20913 (java) S 20845 20848 15707 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 445371731 11113619456 224523 33554432000 4194304 4196468 140734838998272 140309127056096 140310646351573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
[pid=20848/tid=20914] ppid=20845 vsize=10853144 memory=11368 CPUtime=1.39 cores=0,2,4,6
/proc/20848/task/20914/stat : 20914 (java) S 20845 20848 15707 0 -1 1077944384 1496 13267 0 0 70 62 5 2 20 0 15 0 445371731 11113619456 224523 33554432000 4194304 4196468 140734838998272 140310101105328 140310646352514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21540864 140734839003888 140734839006405 140734839006405 140734839009231 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 898092 KiB

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

[startup+2349.23 s]
# the end of solver process 20848 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.93 s, system=3.15925 s

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

Child status: 143
Real time (s): 2349.23
CPU time (s): 2400.09
CPU user time (s): 2396.93
CPU system time (s): 3.15925
CPU usage (%): 102.165
Max. virtual memory (cumulated for all children) (KiB): 10853144
Max. memory (cumulated for all children) (KiB): 996960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.93
system time used= 3.15925
maximum resident set size= 997988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 244096
involuntary context switches= 8930


# summary of solver processes directly reported to runsolver:
#   pid: 20848
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2396.93
#   total CPU system time (s): 3.15925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7814 second user time and 21.1504 second system time

The end

Name	OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml
MD5SUM	097039f9865a2fa48b7d42a66e75794b
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	10
Best CPU time to get the best result obtained on this benchmark	23.1546
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 4401338

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