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.3	SAT (TO)	10	2400.11	2348.63

0.80/0.55	c Concrete v3.12.3.1568965526260 running
13.60/5.07	o 15
13.60/5.10	o 13
14.56/5.34	o 12
21.61/9.85	o 11
44.82/30.27	o 10
2400.06/2348.60	Exception in thread "main" java.util.concurrent.TimeoutException
2400.06/2348.60		at concrete.MAC.mac(MAC.scala:192)
2400.06/2348.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.06/2348.60		at scala.util.Try$.apply(Try.scala:210)
2400.06/2348.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.06/2348.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.06/2348.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.06/2348.60		at concrete.MAC.oneRun(MAC.scala:265)
2400.06/2348.60		at concrete.MAC.nextSolution(MAC.scala:284)
2400.06/2348.60		at concrete.MAC.nextSolution(MAC.scala:369)
2400.06/2348.60		at concrete.Solver.hasNext(Solver.scala:160)
2400.06/2348.60		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.06/2348.60		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.06/2348.60		at concrete.Solver.foreach(Solver.scala:67)
2400.06/2348.60		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.06/2348.60		at scala.util.Success.map(Try.scala:262)
2400.06/2348.60		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.06/2348.60		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.06/2348.60		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.06/2348.60		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.06/2348.60		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.06/2348.60		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.06/2348.60		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.06/2348.60		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.06/2348.60		at scala.App.$anonfun$main$1(App.scala:73)
2400.06/2348.60		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2400.06/2348.60		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.06/2348.60		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.06/2348.60		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2400.06/2348.60		at scala.App.main(App.scala:73)
2400.06/2348.60		at scala.App.main$(App.scala:71)
2400.06/2348.60		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.06/2348.60		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.06/2348.61	v <instantiation
2400.06/2348.61	v         cost = '10'>
2400.06/2348.61	v       <list>
2400.06/2348.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]
2400.06/2348.61	v       </list>
2400.06/2348.61	v       <values>
2400.06/2348.61	v         12 7 2 4 6 10 14 5 8 3 0 9 1 13 11 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 0 0 0 0 0 1 1 1 1 1 1 2 2 2 2 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 2 0 0 0 0 1 1 1 1 2 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 1 1 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 1 1 1 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 1 1 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 0 0 0 0 1 1 2 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 1 1 1 1 1 1 1 2 2 2 2 2 2 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 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 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 1 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 0 0 0 0 1 0 1 1 0 0 0 0 1 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 1 0 1 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 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 1 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 1 0 1 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 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 1 1 1 1 1 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 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 1 1 1 0 1 1 1 1 1 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 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 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 4 7 9 10 10 10 10 10 10 10 10 9 8 7 4
2400.06/2348.61	v       </values>
2400.06/2348.61	v     </instantiation>
2400.06/2348.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 (697 MiB free)
  memory of node 1: 16384 MiB (1824 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403114-1568972873/watcher-4403114-1568972873 -o /tmp/evaluation-result-4403114-1568972873/solver-4403114-1568972873 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568963417-1149 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1202144846 HOME/instance-4403114-1568972873.xml 

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

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


[startup+0.100132 s]*
/proc/loadavg: 0.96 1.13 1.30 3/217 3125
/proc/meminfo: memFree=2575464/32770624 swapFree=66986236/67108860
[pid=3068] ppid=3065 vsize=9972712 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/3068/stat : 3068 (java) S 3065 3068 1113 0 -1 1077944320 4505 12992 0 0 1 0 4 3 20 0 6 0 473544211 10212057088 4270 33554432000 4194304 4196468 140726254172608 140726254155152 139789606784759 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
/proc/3068/statm: 2493178 4270 1935 1 0 2481616 0
[pid=3068/tid=3121] ppid=3065 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=1,3,5,7
/proc/3068/task/3121/stat : 3121 (java) R 3065 3068 1113 0 -1 4202560 2348 12992 0 0 1 0 4 3 20 0 6 0 473544220 10212057088 4336 33554432000 4194304 4196468 140726254172608 139789578621520 139789590865246 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3122] ppid=3065 vsize=9972712 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3122/stat : 3122 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 6 0 473544220 10212057088 4336 33554432000 4194304 4196468 140726254172608 139789611027088 139789606794965 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3123] ppid=3065 vsize=9972712 memory=139954374780544 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3123/stat : 3123 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 6 0 473544220 10212057088 4336 33554432000 4194304 4196468 140726254172608 139789509917200 139789606794965 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3124] ppid=3065 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3124/stat : 3124 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 6 0 473544220 10212057088 4336 33554432000 4194304 4196468 140726254172608 139789179152784 139789606794965 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3125] ppid=3065 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3125/stat : 3125 (java) S 3065 3068 1113 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 6 0 473544220 10212057088 4336 33554432000 4194304 4196468 140726254172608 139789178099984 139789606794965 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB

[startup+0.20998 s]*
/proc/loadavg: 0.96 1.13 1.30 4/226 3134
/proc/meminfo: memFree=2554524/32770624 swapFree=66986236/67108860
[pid=3068] ppid=3065 vsize=10822180 memory=44784 CPUtime=0.27 cores=1,3,5,7
/proc/3068/stat : 3068 (java) S 3065 3068 1113 0 -1 1077944320 7938 12992 0 0 18 2 4 3 20 0 15 0 473544211 11081912320 11196 33554432000 4194304 4196468 140726254172608 140726254155152 139789606784759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
/proc/3068/statm: 2705952 11196 3337 1 0 2668052 0
[pid=3068/tid=3121] ppid=3065 vsize=10821220 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3068/task/3121/stat : 3121 (java) R 3065 3068 1113 0 -1 4202560 4831 12992 0 0 11 1 4 3 20 0 15 0 473544220 11080929280 10976 33554432000 4194304 4196468 140726254172608 139789578597120 139789599501863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3122] ppid=3065 vsize=10821220 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3122/stat : 3122 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544220 11080929280 10720 33554432000 4194304 4196468 140726254172608 139789611027088 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3123] ppid=3065 vsize=10820196 memory=288370330526492288 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3123/stat : 3123 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544220 11079880704 10720 33554432000 4194304 4196468 140726254172608 139789509917200 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3124] ppid=3065 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3124/stat : 3124 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544220 11079880704 10720 33554432000 4194304 4196468 140726254172608 139789179152784 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3125] ppid=3065 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3125/stat : 3125 (java) S 3065 3068 1113 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473544220 11079880704 10720 33554432000 4194304 4196468 140726254172608 139789178099984 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3126] ppid=3065 vsize=10821220 memory=139954374780544 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3126/stat : 3126 (java) S 3065 3068 1113 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473544222 11080929280 10720 33554432000 4194304 4196468 140726254172608 139789066292080 139789606795906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3127] ppid=3065 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3127/stat : 3127 (java) S 3065 3068 1113 0 -1 1077944384 13 12992 0 0 0 0 4 3 20 0 15 0 473544222 11080929280 10720 33554432000 4194304 4196468 140726254172608 139788971664928 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3128] ppid=3065 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3128/stat : 3128 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544222 11080929280 10720 33554432000 4194304 4196468 140726254172608 139788367684976 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3129] ppid=3065 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3129/stat : 3129 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11080929280 10785 33554432000 4194304 4196468 140726254172608 139788127394128 139789606803355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3130] ppid=3065 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3068/task/3130/stat : 3130 (java) S 3065 3068 1113 0 -1 1077944384 341 12992 0 0 1 0 4 3 20 0 15 0 473544225 11080929280 10785 33554432000 4194304 4196468 140726254172608 139789065238896 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3131] ppid=3065 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3068/task/3131/stat : 3131 (java) S 3065 3068 1113 0 -1 1077944384 336 12992 0 0 1 0 4 3 20 0 15 0 473544225 11080929280 10785 33554432000 4194304 4196468 140726254172608 139789064186096 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3132] ppid=3065 vsize=10821220 memory=139954374780544 CPUtime=0.1 cores=1,3,5,7
/proc/3068/task/3132/stat : 3132 (java) S 3065 3068 1113 0 -1 1077944384 600 12992 0 0 3 0 4 3 20 0 15 0 473544225 11080929280 10851 33554432000 4194304 4196468 140726254172608 139789063133296 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3133] ppid=3065 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3133/stat : 3133 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11080929280 10851 33554432000 4194304 4196468 140726254172608 139788093835488 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3134] ppid=3065 vsize=10821220 memory=139954374780544 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3134/stat : 3134 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544226 11080929280 10851 33554432000 4194304 4196468 140726254172608 139789062081712 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10822180 KiB
Current children cumulated memory: 44784 KiB

[startup+0.310533 s]*
/proc/loadavg: 0.96 1.13 1.30 3/226 3134
/proc/meminfo: memFree=2544636/32770624 swapFree=66986236/67108860
[pid=3068] ppid=3065 vsize=10820196 memory=51088 CPUtime=0.41 cores=1,3,5,7
/proc/3068/stat : 3068 (java) S 3065 3068 1113 0 -1 1077944320 10904 12992 0 0 30 4 4 3 20 0 15 0 473544211 11079880704 12772 33554432000 4194304 4196468 140726254172608 140726254155152 139789606784759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
/proc/3068/statm: 2705049 12772 3348 1 0 2667149 0
[pid=3068/tid=3121] ppid=3065 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/3068/task/3121/stat : 3121 (java) R 3065 3068 1113 0 -1 4202560 7381 12992 0 0 19 3 4 3 20 0 15 0 473544220 11079880704 12772 33554432000 4194304 4196468 140726254172608 139789578593680 139789593000603 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3122] ppid=3065 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3122/stat : 3122 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544220 11079880704 12772 33554432000 4194304 4196468 140726254172608 139789611027088 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3123] ppid=3065 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3123/stat : 3123 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544220 11079880704 12772 33554432000 4194304 4196468 140726254172608 139789509917200 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3124] ppid=3065 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3124/stat : 3124 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544220 11079880704 12772 33554432000 4194304 4196468 140726254172608 139789179152784 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3125] ppid=3065 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3125/stat : 3125 (java) S 3065 3068 1113 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473544220 11079880704 12772 33554432000 4194304 4196468 140726254172608 139789178099984 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3126] ppid=3065 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3126/stat : 3126 (java) S 3065 3068 1113 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473544222 11079880704 12772 33554432000 4194304 4196468 140726254172608 139789066292080 139789606795906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3127] ppid=3065 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3127/stat : 3127 (java) S 3065 3068 1113 0 -1 1077944384 13 12992 0 0 0 0 4 3 20 0 15 0 473544222 11079880704 12772 33554432000 4194304 4196468 140726254172608 139788971664928 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3128] ppid=3065 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3128/stat : 3128 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544222 11079880704 12772 33554432000 4194304 4196468 140726254172608 139788367684976 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3129] ppid=3065 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3129/stat : 3129 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11079880704 12772 33554432000 4194304 4196468 140726254172608 139788127394128 139789606803355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3130] ppid=3065 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3068/task/3130/stat : 3130 (java) S 3065 3068 1113 0 -1 1077944384 342 12992 0 0 2 0 4 3 20 0 15 0 473544225 11079880704 12772 33554432000 4194304 4196468 140726254172608 139789065238896 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3131] ppid=3065 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/3068/task/3131/stat : 3131 (java) S 3065 3068 1113 0 -1 1077944384 336 12992 0 0 2 0 4 3 20 0 15 0 473544225 11079880704 12772 33554432000 4194304 4196468 140726254172608 139789064186096 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3132] ppid=3065 vsize=10820196 memory=139954374780544 CPUtime=0.12 cores=1,3,5,7
/proc/3068/task/3132/stat : 3132 (java) S 3065 3068 1113 0 -1 1077944384 608 12992 0 0 5 0 4 3 20 0 15 0 473544225 11079880704 12772 33554432000 4194304 4196468 140726254172608 139789063133296 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3133] ppid=3065 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3133/stat : 3133 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11079880704 12772 33554432000 4194304 4196468 140726254172608 139788093835488 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3134] ppid=3065 vsize=10820196 memory=139954374780544 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3134/stat : 3134 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544226 11079880704 12772 33554432000 4194304 4196468 140726254172608 139789062081712 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51088 KiB

[startup+0.702451 s]
/proc/loadavg: 0.96 1.13 1.30 4/226 3134
/proc/meminfo: memFree=2528224/32770624 swapFree=66986236/67108860
[pid=3068] ppid=3065 vsize=10824364 memory=84132 CPUtime=1.17 cores=1,3,5,7
/proc/3068/stat : 3068 (java) S 3065 3068 1113 0 -1 1077944320 15267 12992 0 0 104 6 4 3 20 0 15 0 473544211 11084148736 21033 33554432000 4194304 4196468 140726254172608 140726254155152 139789606784759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
/proc/3068/statm: 2706091 21033 3504 1 0 2668173 0
[pid=3068/tid=3121] ppid=3065 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/3068/task/3121/stat : 3121 (java) R 3065 3068 1113 0 -1 4202560 10565 12992 0 0 55 4 4 3 20 0 15 0 473544220 11084148736 21033 33554432000 4194304 4196468 140726254172608 139789578611920 139789606806685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3122] ppid=3065 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3122/stat : 3122 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544220 11084148736 21033 33554432000 4194304 4196468 140726254172608 139789611027088 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3123] ppid=3065 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3123/stat : 3123 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544220 11084148736 21033 33554432000 4194304 4196468 140726254172608 139789509917200 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3124] ppid=3065 vsize=10824364 memory=68 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3124/stat : 3124 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544220 11084148736 21033 33554432000 4194304 4196468 140726254172608 139789179152784 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3125] ppid=3065 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3125/stat : 3125 (java) S 3065 3068 1113 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 473544220 11084148736 21033 33554432000 4194304 4196468 140726254172608 139789178099984 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3126] ppid=3065 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3126/stat : 3126 (java) S 3065 3068 1113 0 -1 1077944384 5 12992 0 0 0 0 4 3 20 0 15 0 473544222 11084148736 21033 33554432000 4194304 4196468 140726254172608 139789066292080 139789606795906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3127] ppid=3065 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3127/stat : 3127 (java) S 3065 3068 1113 0 -1 1077944384 13 12992 0 0 0 0 4 3 20 0 15 0 473544222 11084148736 21033 33554432000 4194304 4196468 140726254172608 139788971664928 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3128] ppid=3065 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3128/stat : 3128 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544222 11084148736 21033 33554432000 4194304 4196468 140726254172608 139788367684976 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3129] ppid=3065 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3129/stat : 3129 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11084148736 21033 33554432000 4194304 4196468 140726254172608 139788127394128 139789606803355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3130] ppid=3065 vsize=10824364 memory=139954260947344 CPUtime=0.2 cores=1,3,5,7
/proc/3068/task/3130/stat : 3130 (java) S 3065 3068 1113 0 -1 1077944384 775 12992 0 0 13 0 4 3 20 0 15 0 473544225 11084148736 21033 33554432000 4194304 4196468 140726254172608 139789065238896 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3131] ppid=3065 vsize=10824364 memory=142464065208970 CPUtime=0.24 cores=1,3,5,7
/proc/3068/task/3131/stat : 3131 (java) R 3065 3068 1113 0 -1 4202560 897 12992 0 0 17 0 4 3 20 0 15 0 473544225 11084148736 21033 33554432000 4194304 4196468 140726254172608 139789064172192 139789586042387 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3132] ppid=3065 vsize=10824364 memory=14048 CPUtime=0.24 cores=1,3,5,7
/proc/3068/task/3132/stat : 3132 (java) R 3065 3068 1113 0 -1 4202560 789 12992 0 0 17 0 4 3 20 0 15 0 473544225 11084148736 21033 33554432000 4194304 4196468 140726254172608 139789063133296 139789585745728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3133] ppid=3065 vsize=10824364 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3133/stat : 3133 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11084148736 21033 33554432000 4194304 4196468 140726254172608 139788093835488 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3134] ppid=3065 vsize=10824364 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3134/stat : 3134 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544226 11084148736 21033 33554432000 4194304 4196468 140726254172608 139789062081712 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84132 KiB

[startup+1.50125 s]
/proc/loadavg: 0.96 1.13 1.30 5/226 3134
/proc/meminfo: memFree=2470532/32770624 swapFree=66986236/67108860
[pid=3068] ppid=3065 vsize=10837492 memory=217148 CPUtime=3.44 cores=1,3,5,7
/proc/3068/stat : 3068 (java) S 3065 3068 1113 0 -1 1077944320 35225 12992 0 0 326 11 4 3 20 0 15 0 473544211 11097591808 54287 33554432000 4194304 4196468 140726254172608 140726254155152 139789606784759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
/proc/3068/statm: 2709373 54287 3587 1 0 2671436 0
[pid=3068/tid=3121] ppid=3065 vsize=10837492 memory=1898397 CPUtime=1.41 cores=1,3,5,7
/proc/3068/task/3121/stat : 3121 (java) R 3065 3068 1113 0 -1 4202560 16499 12992 0 0 128 6 4 3 20 0 15 0 473544220 11097591808 54287 33554432000 4194304 4196468 140726254172608 139789578583552 139789192220557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3122] ppid=3065 vsize=10837492 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/3068/task/3122/stat : 3122 (java) S 3065 3068 1113 0 -1 1077944384 10 12992 0 0 1 0 4 3 20 0 15 0 473544220 11097591808 54287 33554432000 4194304 4196468 140726254172608 139789611027088 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3123] ppid=3065 vsize=10837492 memory=133282 CPUtime=0.09 cores=1,3,5,7
/proc/3068/task/3123/stat : 3123 (java) S 3065 3068 1113 0 -1 1077944384 329 12992 0 0 2 0 4 3 20 0 15 0 473544220 11097591808 54287 33554432000 4194304 4196468 140726254172608 139789509917200 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3124] ppid=3065 vsize=10837492 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3124/stat : 3124 (java) S 3065 3068 1113 0 -1 1077944384 55 12992 0 0 0 0 4 3 20 0 15 0 473544220 11097591808 54287 33554432000 4194304 4196468 140726254172608 139789179152784 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3125] ppid=3065 vsize=10837492 memory=84132 CPUtime=0.09 cores=1,3,5,7
/proc/3068/task/3125/stat : 3125 (java) S 3065 3068 1113 0 -1 1077944384 80 12992 0 0 2 0 4 3 20 0 15 0 473544220 11097591808 54287 33554432000 4194304 4196468 140726254172608 139789178099984 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3126] ppid=3065 vsize=10837492 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3068/task/3126/stat : 3126 (java) S 3065 3068 1113 0 -1 1077944384 214 12992 0 0 1 0 4 3 20 0 15 0 473544222 11097591808 54287 33554432000 4194304 4196468 140726254172608 139789066292080 139789606795906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3127] ppid=3065 vsize=10837492 memory=279908521658144 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3127/stat : 3127 (java) S 3065 3068 1113 0 -1 1077944384 14 12992 0 0 0 0 4 3 20 0 15 0 473544222 11097591808 54287 33554432000 4194304 4196468 140726254172608 139788971664992 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3128] ppid=3065 vsize=10837492 memory=279908521887504 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3128/stat : 3128 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544222 11097591808 54287 33554432000 4194304 4196468 140726254172608 139788367684992 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3129] ppid=3065 vsize=10837492 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3129/stat : 3129 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11097591808 54287 33554432000 4194304 4196468 140726254172608 139788127394128 139789606803355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3130] ppid=3065 vsize=10837492 memory=6655300316396806240 CPUtime=0.62 cores=1,3,5,7
/proc/3068/task/3130/stat : 3130 (java) S 3065 3068 1113 0 -1 1077944384 3727 12992 0 0 55 0 4 3 20 0 15 0 473544225 11097591808 54287 33554432000 4194304 4196468 140726254172608 139789065238896 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3131] ppid=3065 vsize=10837492 memory=6944656592455359580 CPUtime=0.96 cores=1,3,5,7
/proc/3068/task/3131/stat : 3131 (java) R 3065 3068 1113 0 -1 4202560 9294 12992 0 0 88 1 4 3 20 0 15 0 473544225 11097591808 54287 33554432000 4194304 4196468 140726254172608 139789064172256 139789591910065 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3132] ppid=3065 vsize=10837492 memory=6944656592455097440 CPUtime=0.51 cores=1,3,5,7
/proc/3068/task/3132/stat : 3132 (java) S 3065 3068 1113 0 -1 1077944384 2785 12992 0 0 44 0 4 3 20 0 15 0 473544225 11097591808 54287 33554432000 4194304 4196468 140726254172608 139789063133296 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3133] ppid=3065 vsize=10837492 memory=-7737621075815351712 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3133/stat : 3133 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11097591808 54287 33554432000 4194304 4196468 140726254172608 139788093835488 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3134] ppid=3065 vsize=10837492 memory=6944656591801718942 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3134/stat : 3134 (java) S 3065 3068 1113 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 473544226 11097591808 54287 33554432000 4194304 4196468 140726254172608 139789062081712 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
Current children cumulated CPU time: 3.44 s
Current children cumulated vsize: 10837492 KiB

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

/proc/3068/task/3121/stat : 3121 (java) R 3065 3068 1113 0 -1 4202560 74346 12992 0 0 217906 46 4 3 20 0 15 0 473544220 11113619456 245705 33554432000 4194304 4196468 140726254172608 139789578621088 139789210134752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3122] ppid=3065 vsize=10853144 memory=8112282956445269571 CPUtime=11.16 cores=1,3,5,7
/proc/3068/task/3122/stat : 3122 (java) S 3065 3068 1113 0 -1 1077944384 17069 12992 0 0 1064 45 4 3 20 0 15 0 473544220 11113619456 245705 33554432000 4194304 4196468 140726254172608 139789611027088 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3123] ppid=3065 vsize=10853144 memory=982820 CPUtime=11.22 cores=1,3,5,7
/proc/3068/task/3123/stat : 3123 (java) S 3065 3068 1113 0 -1 1077944384 23788 12992 0 0 1067 48 4 3 20 0 15 0 473544220 11113619456 245705 33554432000 4194304 4196468 140726254172608 139789509917200 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3124] ppid=3065 vsize=10853144 memory=982820 CPUtime=11.2 cores=1,3,5,7
/proc/3068/task/3124/stat : 3124 (java) S 3065 3068 1113 0 -1 1077944384 13498 12992 0 0 1067 46 4 3 20 0 15 0 473544220 11113619456 245705 33554432000 4194304 4196468 140726254172608 139789179152784 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3125] ppid=3065 vsize=10853144 memory=982820 CPUtime=11.24 cores=1,3,5,7
/proc/3068/task/3125/stat : 3125 (java) S 3065 3068 1113 0 -1 1077944384 12562 12992 0 0 1069 48 4 3 20 0 15 0 473544220 11113619456 245705 33554432000 4194304 4196468 140726254172608 139789178099984 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3126] ppid=3065 vsize=10853144 memory=982820 CPUtime=8.91 cores=1,3,5,7
/proc/3068/task/3126/stat : 3126 (java) S 3065 3068 1113 0 -1 1077944384 18432 12992 0 0 839 45 4 3 20 0 15 0 473544222 11113619456 245705 33554432000 4194304 4196468 140726254172608 139789066292080 139789606795906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3127] ppid=3065 vsize=10853144 memory=982820 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3127/stat : 3127 (java) S 3065 3068 1113 0 -1 1077944384 19 12992 0 0 0 0 4 3 20 0 15 0 473544222 11113619456 245705 33554432000 4194304 4196468 140726254172608 139788971664992 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3128] ppid=3065 vsize=10853144 memory=982820 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3128/stat : 3128 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544222 11113619456 245705 33554432000 4194304 4196468 140726254172608 139788367684992 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3129] ppid=3065 vsize=10853144 memory=54952 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3129/stat : 3129 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11113619456 245705 33554432000 4194304 4196468 140726254172608 139788127394128 139789606803355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3130] ppid=3065 vsize=10853144 memory=982820 CPUtime=5.82 cores=1,3,5,7
/proc/3068/task/3130/stat : 3130 (java) S 3065 3068 1113 0 -1 1077944384 52385 12992 0 0 570 5 4 3 20 0 15 0 473544225 11113619456 245705 33554432000 4194304 4196468 140726254172608 139789065238896 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3131] ppid=3065 vsize=10853144 memory=3616 CPUtime=6.78 cores=1,3,5,7
/proc/3068/task/3131/stat : 3131 (java) S 3065 3068 1113 0 -1 1077944384 68653 12992 0 0 664 7 4 3 20 0 15 0 473544225 11113619456 245705 33554432000 4194304 4196468 140726254172608 139789064186096 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3132] ppid=3065 vsize=10853144 memory=982784 CPUtime=4.89 cores=1,3,5,7
/proc/3068/task/3132/stat : 3132 (java) S 3065 3068 1113 0 -1 1077944384 75121 12992 0 0 473 9 4 3 20 0 15 0 473544225 11113619456 245705 33554432000 4194304 4196468 140726254172608 139789063133296 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3133] ppid=3065 vsize=10853144 memory=279908523490992 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3133/stat : 3133 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11113619456 245705 33554432000 4194304 4196468 140726254172608 139788093835488 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3134] ppid=3065 vsize=10853144 memory=982820 CPUtime=1.29 cores=1,3,5,7
/proc/3068/task/3134/stat : 3134 (java) S 3065 3068 1113 0 -1 1077944384 1519 12992 0 0 57 65 4 3 20 0 15 0 473544226 11113619456 245705 33554432000 4194304 4196468 140726254172608 139789062081712 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
Current children cumulated CPU time: 2251.59 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 982820 KiB

[startup+2262.3 s]
/proc/loadavg: 1.45 1.38 1.39 3/226 3496
/proc/meminfo: memFree=1467160/32770624 swapFree=66986236/67108860
[pid=3068] ppid=3065 vsize=10853144 memory=984888 CPUtime=2312.49 cores=1,3,5,7
/proc/3068/stat : 3068 (java) S 3065 3068 1113 0 -1 1077944320 361019 12992 0 0 230919 323 4 3 20 0 15 0 473544211 11113619456 246222 33554432000 4194304 4196468 140726254172608 140726254155152 139789606784759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
/proc/3068/statm: 2713286 246222 3634 1 0 2675341 0
[pid=3068/tid=3121] ppid=3065 vsize=10853144 memory=984888 CPUtime=2238.98 cores=1,3,5,7
/proc/3068/task/3121/stat : 3121 (java) R 3065 3068 1113 0 -1 4202560 74988 12992 0 0 223844 47 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789578620096 139789210682094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3122] ppid=3065 vsize=10853144 memory=0 CPUtime=11.47 cores=1,3,5,7
/proc/3068/task/3122/stat : 3122 (java) S 3065 3068 1113 0 -1 1077944384 17212 12992 0 0 1094 46 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789611027088 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3123] ppid=3065 vsize=10853144 memory=984888 CPUtime=11.53 cores=1,3,5,7
/proc/3068/task/3123/stat : 3123 (java) S 3065 3068 1113 0 -1 1077944384 23822 12992 0 0 1097 49 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789509917200 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3124] ppid=3065 vsize=10853144 memory=0 CPUtime=11.51 cores=1,3,5,7
/proc/3068/task/3124/stat : 3124 (java) S 3065 3068 1113 0 -1 1077944384 13777 12992 0 0 1096 48 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789179152784 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3125] ppid=3065 vsize=10853144 memory=984888 CPUtime=11.54 cores=1,3,5,7
/proc/3068/task/3125/stat : 3125 (java) S 3065 3068 1113 0 -1 1077944384 12624 12992 0 0 1098 49 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789178099984 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3126] ppid=3065 vsize=10853144 memory=3616 CPUtime=9.15 cores=1,3,5,7
/proc/3068/task/3126/stat : 3126 (java) S 3065 3068 1113 0 -1 1077944384 18657 12992 0 0 862 46 4 3 20 0 15 0 473544222 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789066292080 139789606795906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3127] ppid=3065 vsize=10853144 memory=984888 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3127/stat : 3127 (java) S 3065 3068 1113 0 -1 1077944384 19 12992 0 0 0 0 4 3 20 0 15 0 473544222 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788971664992 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3128] ppid=3065 vsize=10853144 memory=1556 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3128/stat : 3128 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544222 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788367684992 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3129] ppid=3065 vsize=10853144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3129/stat : 3129 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788127394128 139789606803355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3130] ppid=3065 vsize=10853144 memory=984888 CPUtime=5.83 cores=1,3,5,7
/proc/3068/task/3130/stat : 3130 (java) S 3065 3068 1113 0 -1 1077944384 52387 12992 0 0 571 5 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789065238896 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3131] ppid=3065 vsize=10853144 memory=3616 CPUtime=6.78 cores=1,3,5,7
/proc/3068/task/3131/stat : 3131 (java) S 3065 3068 1113 0 -1 1077944384 68655 12992 0 0 664 7 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789064186096 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3132] ppid=3065 vsize=10853144 memory=780 CPUtime=4.89 cores=1,3,5,7
/proc/3068/task/3132/stat : 3132 (java) S 3065 3068 1113 0 -1 1077944384 75123 12992 0 0 473 9 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789063133296 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3133] ppid=3065 vsize=10853144 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3133/stat : 3133 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788093835488 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3134] ppid=3065 vsize=10853144 memory=1112 CPUtime=1.33 cores=1,3,5,7
/proc/3068/task/3134/stat : 3134 (java) S 3065 3068 1113 0 -1 1077944384 1536 12992 0 0 59 67 4 3 20 0 15 0 473544226 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789062081712 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
Current children cumulated CPU time: 2312.49 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 984888 KiB

[startup+2322.3 s]
/proc/loadavg: 1.48 1.40 1.40 3/226 3500
/proc/meminfo: memFree=1466200/32770624 swapFree=66986236/67108860
[pid=3068] ppid=3065 vsize=10853144 memory=984888 CPUtime=2373.37 cores=1,3,5,7
/proc/3068/stat : 3068 (java) S 3065 3068 1113 0 -1 1077944320 362417 12992 0 0 237001 329 4 3 20 0 15 0 473544211 11113619456 246222 33554432000 4194304 4196468 140726254172608 140726254155152 139789606784759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
/proc/3068/statm: 2713286 246222 3634 1 0 2675341 0
[pid=3068/tid=3121] ppid=3065 vsize=10853144 memory=984888 CPUtime=2298.36 cores=1,3,5,7
/proc/3068/task/3121/stat : 3121 (java) R 3065 3068 1113 0 -1 4202560 75627 12992 0 0 229782 47 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789578620672 139789210134918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3122] ppid=3065 vsize=10853144 memory=1712 CPUtime=11.78 cores=1,3,5,7
/proc/3068/task/3122/stat : 3122 (java) S 3065 3068 1113 0 -1 1077944384 17283 12992 0 0 1124 47 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789611027088 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3123] ppid=3065 vsize=10853144 memory=984888 CPUtime=11.84 cores=1,3,5,7
/proc/3068/task/3123/stat : 3123 (java) S 3065 3068 1113 0 -1 1077944384 23882 12992 0 0 1127 50 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789509917200 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3124] ppid=3065 vsize=10853144 memory=984888 CPUtime=11.81 cores=1,3,5,7
/proc/3068/task/3124/stat : 3124 (java) S 3065 3068 1113 0 -1 1077944384 13817 12992 0 0 1125 49 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789179152784 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3125] ppid=3065 vsize=10853144 memory=984888 CPUtime=11.86 cores=1,3,5,7
/proc/3068/task/3125/stat : 3125 (java) S 3065 3068 1113 0 -1 1077944384 12970 12992 0 0 1128 51 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789178099984 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3126] ppid=3065 vsize=10853144 memory=55 CPUtime=9.39 cores=1,3,5,7
/proc/3068/task/3126/stat : 3126 (java) S 3065 3068 1113 0 -1 1077944384 18876 12992 0 0 885 47 4 3 20 0 15 0 473544222 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789066292080 139789606795906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3127] ppid=3065 vsize=10853144 memory=984888 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3127/stat : 3127 (java) S 3065 3068 1113 0 -1 1077944384 19 12992 0 0 0 0 4 3 20 0 15 0 473544222 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788971664992 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3128] ppid=3065 vsize=10853144 memory=984888 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3128/stat : 3128 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544222 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788367684992 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3129] ppid=3065 vsize=10853144 memory=984888 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3129/stat : 3129 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788127394128 139789606803355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3130] ppid=3065 vsize=10853144 memory=984888 CPUtime=5.84 cores=1,3,5,7
/proc/3068/task/3130/stat : 3130 (java) S 3065 3068 1113 0 -1 1077944384 52389 12992 0 0 571 6 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789065238896 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3131] ppid=3065 vsize=10853144 memory=984888 CPUtime=6.78 cores=1,3,5,7
/proc/3068/task/3131/stat : 3131 (java) S 3065 3068 1113 0 -1 1077944384 68657 12992 0 0 664 7 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789064186096 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3132] ppid=3065 vsize=10853144 memory=984888 CPUtime=4.89 cores=1,3,5,7
/proc/3068/task/3132/stat : 3132 (java) S 3065 3068 1113 0 -1 1077944384 75125 12992 0 0 473 9 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789063133296 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3133] ppid=3065 vsize=10853144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3133/stat : 3133 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788093835488 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3134] ppid=3065 vsize=10853144 memory=984888 CPUtime=1.36 cores=1,3,5,7
/proc/3068/task/3134/stat : 3134 (java) S 3065 3068 1113 0 -1 1077944384 1553 12992 0 0 61 68 4 3 20 0 15 0 473544226 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789062081712 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
Current children cumulated CPU time: 2373.37 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 984888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2348.6 s]
/proc/loadavg: 1.55 1.43 1.41 3/226 3502
/proc/meminfo: memFree=1464296/32770624 swapFree=66986236/67108860
[pid=3068] ppid=3065 vsize=10853144 memory=984888 CPUtime=2400.06 cores=1,3,5,7
/proc/3068/stat : 3068 (java) S 3065 3068 1113 0 -1 1077944320 363117 12992 0 0 239666 333 4 3 20 0 15 0 473544211 11113619456 246222 33554432000 4194304 4196468 140726254172608 140726254155152 139789606784759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
/proc/3068/statm: 2713286 246222 3634 1 0 2675341 0
[pid=3068/tid=3121] ppid=3065 vsize=10853144 memory=2832 CPUtime=2324.39 cores=1,3,5,7
/proc/3068/task/3121/stat : 3121 (java) R 3065 3068 1113 0 -1 4202560 75922 12992 0 0 232384 48 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789578620688 139789205698247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3122] ppid=3065 vsize=10853144 memory=8112282956445269571 CPUtime=11.91 cores=1,3,5,7
/proc/3068/task/3122/stat : 3122 (java) S 3065 3068 1113 0 -1 1077944384 17349 12992 0 0 1137 47 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789611027088 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3123] ppid=3065 vsize=10853144 memory=290763896594366775 CPUtime=11.98 cores=1,3,5,7
/proc/3068/task/3123/stat : 3123 (java) S 3065 3068 1113 0 -1 1077944384 23890 12992 0 0 1140 51 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789509917200 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3124] ppid=3065 vsize=10853144 memory=16098165312980883 CPUtime=11.94 cores=1,3,5,7
/proc/3068/task/3124/stat : 3124 (java) S 3065 3068 1113 0 -1 1077944384 13893 12992 0 0 1138 49 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789179152784 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3125] ppid=3065 vsize=10853144 memory=6628 CPUtime=11.99 cores=1,3,5,7
/proc/3068/task/3125/stat : 3125 (java) S 3065 3068 1113 0 -1 1077944384 13016 12992 0 0 1141 51 4 3 20 0 15 0 473544220 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789178099984 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3126] ppid=3065 vsize=10853144 memory=8836 CPUtime=9.49 cores=1,3,5,7
/proc/3068/task/3126/stat : 3126 (java) S 3065 3068 1113 0 -1 1077944384 19075 12992 0 0 895 47 4 3 20 0 15 0 473544222 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789066292080 139789606795906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3127] ppid=3065 vsize=10853144 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3127/stat : 3127 (java) S 3065 3068 1113 0 -1 1077944384 19 12992 0 0 0 0 4 3 20 0 15 0 473544222 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788971664992 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3128] ppid=3065 vsize=10853144 memory=13252 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3128/stat : 3128 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544222 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788367684992 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3129] ppid=3065 vsize=10853144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3129/stat : 3129 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788127394128 139789606803355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3130] ppid=3065 vsize=10853144 memory=0 CPUtime=5.84 cores=1,3,5,7
/proc/3068/task/3130/stat : 3130 (java) S 3065 3068 1113 0 -1 1077944384 52391 12992 0 0 571 6 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789065238896 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3131] ppid=3065 vsize=10853144 memory=0 CPUtime=6.78 cores=1,3,5,7
/proc/3068/task/3131/stat : 3131 (java) S 3065 3068 1113 0 -1 1077944384 68659 12992 0 0 664 7 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789064186096 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3132] ppid=3065 vsize=10853144 memory=0 CPUtime=4.89 cores=1,3,5,7
/proc/3068/task/3132/stat : 3132 (java) S 3065 3068 1113 0 -1 1077944384 75127 12992 0 0 473 9 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789063133296 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3133] ppid=3065 vsize=10853144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3068/task/3133/stat : 3133 (java) S 3065 3068 1113 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 473544225 11113619456 246222 33554432000 4194304 4196468 140726254172608 139788093835488 139789606794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
[pid=3068/tid=3134] ppid=3065 vsize=10853144 memory=279908523176704 CPUtime=1.37 cores=1,3,5,7
/proc/3068/task/3134/stat : 3134 (java) S 3065 3068 1113 0 -1 1077944384 1557 12992 0 0 61 69 4 3 20 0 15 0 473544226 11113619456 246222 33554432000 4194304 4196468 140726254172608 139789062081712 139789606795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19881984 140726254177007 140726254179525 140726254179525 140726254182351 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 984888 KiB

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

[startup+2348.63 s]
# the end of solver process 3068 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.73 s, system=3.37532 s

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

Child status: 143
Real time (s): 2348.63
CPU time (s): 2400.11
CPU user time (s): 2396.73
CPU system time (s): 3.37532
CPU usage (%): 102.192
Max. virtual memory (cumulated for all children) (KiB): 10854016
Max. memory (cumulated for all children) (KiB): 1118156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.73
system time used= 3.37532
maximum resident set size= 1119200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376921
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 257848
involuntary context switches= 7834


# summary of solver processes directly reported to runsolver:
#   pid: 3068
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2396.73
#   total CPU system time (s): 3.37532

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0765 second user time and 22.5416 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	24.2857
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 4403114

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