2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.12.2	SAT (TO)	10	2520.06	2471.53

0.74/0.60	c Concrete v3.12.2.1568631193530 running
20.98/8.33	o 15
20.98/8.35	o 14
26.44/12.84	o 13
30.57/16.16	o 12
30.73/16.23	o 11
39.52/24.23	o 10
2520.01/2471.50	Exception in thread "main" java.util.concurrent.TimeoutException
2520.01/2471.51		at concrete.MAC.mac(MAC.scala:192)
2520.01/2471.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.01/2471.51		at scala.util.Try$.apply(Try.scala:212)
2520.01/2471.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.01/2471.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.01/2471.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.01/2471.51		at concrete.MAC.oneRun(MAC.scala:265)
2520.01/2471.51		at concrete.MAC.nextSolution(MAC.scala:284)
2520.01/2471.51		at concrete.MAC.nextSolution(MAC.scala:369)
2520.01/2471.51		at concrete.Solver.hasNext(Solver.scala:160)
2520.01/2471.51		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.01/2471.51		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.01/2471.51		at concrete.Solver.foreach(Solver.scala:67)
2520.01/2471.51		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.01/2471.51		at scala.util.Success.map(Try.scala:264)
2520.01/2471.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2471.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.01/2471.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.01/2471.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2471.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.01/2471.51		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.01/2471.51		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.01/2471.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.01/2471.51		at scala.App.$anonfun$main$1(App.scala:75)
2520.01/2471.51		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.01/2471.51		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.01/2471.51		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.01/2471.51		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.01/2471.51		at scala.App.main(App.scala:75)
2520.01/2471.51		at scala.App.main$(App.scala:73)
2520.01/2471.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.01/2471.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2471.51	v <instantiation
2520.01/2471.51	v         cost = '10'>
2520.01/2471.51	v       <list>
2520.01/2471.51	v         p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14]
2520.01/2471.51	v       </list>
2520.01/2471.51	v       <values>
2520.01/2471.51	v         7 4 10 12 2 6 14 0 9 5 8 13 1 11 3 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 0 1 1 1 1 1 1 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 0 1 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 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 0 1 1 1 1 1 2 2 2 2 2 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 2 0 1 1 1 1 1 1 1 1 1 1 1 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 2 2 2 0 0 1 1 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 1 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 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 1 1 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 2 2 2 2 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 1 1 1 1 1 1 1 1 1 1 2 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 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 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 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 0 1 0 0 0 0 1 0 1 0 0 0 0 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 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 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 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 4 6 8 10 10 10 10 10 10 10 10 9 8 7 4
2520.01/2471.51	v       </values>
2520.01/2471.51	v     </instantiation>
2520.01/2471.51	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: 16375 MiB (13549 MiB free)
  memory of node 1: 16384 MiB (14493 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401014-1568679999/watcher-4401014-1568679999 -o /tmp/evaluation-result-4401014-1568679999/solver-4401014-1568679999 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324187754-10366 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1723364239 HOME/instance-4401014-1568679999.xml 

running on 4 cores: 4-7

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

solver pid=12172, runsolver pid=12169

[startup+0.100142 s]*
/proc/loadavg: 1.41 1.45 1.48 2/215 12225
/proc/meminfo: memFree=28711652/32770688 swapFree=66919992/67108860
[pid=12172] ppid=12169 vsize=9972712 memory=16020 CPUtime=0.09 cores=4-7
/proc/12172/stat : 12172 (java) S 12169 12172 10334 0 -1 1077944320 4226 13334 0 0 0 1 5 3 20 0 6 0 444006244 10212057088 4005 33554432000 4194304 4196468 140733532767872 140733532750416 139849526206199 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
/proc/12172/statm: 2493178 4005 1896 1 0 2481616 0
[pid=12172/tid=12225] ppid=12169 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=4-7
/proc/12172/task/12225/stat : 12225 (java) R 12169 12172 10334 0 -1 4202560 2071 13334 0 0 0 0 5 3 20 0 6 0 444006254 10212057088 4005 33554432000 4194304 4196468 140733532767872 139849498042960 139849510286686 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12226] ppid=12169 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=4-7
/proc/12172/task/12226/stat : 12226 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 6 0 444006254 10212057088 4071 33554432000 4194304 4196468 140733532767872 139849530448528 139849526216405 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12227] ppid=12169 vsize=9972712 memory=140679783614080 CPUtime=0.08 cores=4-7
/proc/12172/task/12227/stat : 12227 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 6 0 444006254 10212057088 4071 33554432000 4194304 4196468 140733532767872 139849445267984 139849526216405 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12228] ppid=12169 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12228/stat : 12228 (java) S 12169 12172 10334 0 -1 1077944384 2 13334 0 0 0 0 5 3 20 0 6 0 444006254 10212057088 4071 33554432000 4194304 4196468 140733532767872 139849444215184 139849526216405 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12229] ppid=12169 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7
/proc/12172/task/12229/stat : 12229 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 6 0 444006254 10212057088 4071 33554432000 4194304 4196468 140733532767872 139849443162384 139849526216405 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16020 KiB

[startup+0.211067 s]*
/proc/loadavg: 1.41 1.45 1.48 4/228 12238
/proc/meminfo: memFree=28689944/32770688 swapFree=66919992/67108860
[pid=12172] ppid=12169 vsize=10819712 memory=38500 CPUtime=0.26 cores=4-7
/proc/12172/stat : 12172 (java) S 12169 12172 10334 0 -1 1077944320 6966 13334 0 0 16 2 5 3 20 0 15 0 444006244 11079385088 9625 33554432000 4194304 4196468 140733532767872 140733532750416 139849526206199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
/proc/12172/statm: 2704928 9625 3154 1 0 2667149 0
[pid=12172/tid=12225] ppid=12169 vsize=10819712 memory=7022364594140610616 CPUtime=0.19 cores=4-7
/proc/12172/task/12225/stat : 12225 (java) R 12169 12172 10334 0 -1 4202560 3485 13334 0 0 10 1 5 3 20 0 15 0 444006254 11079385088 9625 33554432000 4194304 4196468 140733532767872 139849498011424 139849509393008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12226] ppid=12169 vsize=10819712 memory=364 CPUtime=0.08 cores=4-7
/proc/12172/task/12226/stat : 12226 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006254 11079385088 9625 33554432000 4194304 4196468 140733532767872 139849530448528 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12227] ppid=12169 vsize=10819712 memory=288371055935325824 CPUtime=0.08 cores=4-7
/proc/12172/task/12227/stat : 12227 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006254 11079385088 9625 33554432000 4194304 4196468 140733532767872 139849445267984 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12228] ppid=12169 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12228/stat : 12228 (java) S 12169 12172 10334 0 -1 1077944384 2 13334 0 0 0 0 5 3 20 0 15 0 444006254 11079385088 9625 33554432000 4194304 4196468 140733532767872 139849444215184 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12229] ppid=12169 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7
/proc/12172/task/12229/stat : 12229 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006254 11079385088 9625 33554432000 4194304 4196468 140733532767872 139849443162384 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12230] ppid=12169 vsize=10819712 memory=140679783614080 CPUtime=0.08 cores=4-7
/proc/12172/task/12230/stat : 12230 (java) S 12169 12172 10334 0 -1 1077944384 2 13334 0 0 0 0 5 3 20 0 15 0 444006256 11079385088 9625 33554432000 4194304 4196468 140733532767872 139849052900208 139849526217346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12231] ppid=12169 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7
/proc/12172/task/12231/stat : 12231 (java) S 12169 12172 10334 0 -1 1077944384 13 13334 0 0 0 0 5 3 20 0 15 0 444006257 11079385088 9625 33554432000 4194304 4196468 140733532767872 139848966989344 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12232] ppid=12169 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12232/stat : 12232 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006257 11079385088 9625 33554432000 4194304 4196468 140733532767872 139848363009392 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12233] ppid=12169 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12233/stat : 12233 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11079385088 9625 33554432000 4194304 4196468 140733532767872 139848055609680 139849526224795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12234] ppid=12169 vsize=10819712 memory=0 CPUtime=0.09 cores=4-7
/proc/12172/task/12234/stat : 12234 (java) S 12169 12172 10334 0 -1 1077944384 590 13334 0 0 1 0 5 3 20 0 15 0 444006260 11079385088 9625 33554432000 4194304 4196468 140733532767872 139849051847024 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12235] ppid=12169 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7
/proc/12172/task/12235/stat : 12235 (java) S 12169 12172 10334 0 -1 1077944384 60 13334 0 0 0 0 5 3 20 0 15 0 444006260 11079385088 9625 33554432000 4194304 4196468 140733532767872 139849050794224 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12236] ppid=12169 vsize=10819712 memory=140679783614080 CPUtime=0.11 cores=4-7
/proc/12172/task/12236/stat : 12236 (java) S 12169 12172 10334 0 -1 1077944384 599 13334 0 0 3 0 5 3 20 0 15 0 444006260 11079385088 9625 33554432000 4194304 4196468 140733532767872 139849049741424 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12237] ppid=12169 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7
/proc/12172/task/12237/stat : 12237 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11079385088 9625 33554432000 4194304 4196468 140733532767872 139848022051040 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12238] ppid=12169 vsize=10819712 memory=140679783614080 CPUtime=0.08 cores=4-7
/proc/12172/task/12238/stat : 12238 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006260 11079385088 9625 33554432000 4194304 4196468 140733532767872 139849048689840 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 38500 KiB

[startup+0.311503 s]*
/proc/loadavg: 1.41 1.45 1.48 3/228 12238
/proc/meminfo: memFree=28677360/32770688 swapFree=66919992/67108860
[pid=12172] ppid=12169 vsize=10820196 memory=49816 CPUtime=0.4 cores=4-7
/proc/12172/stat : 12172 (java) S 12169 12172 10334 0 -1 1077944320 10643 13334 0 0 28 4 5 3 20 0 15 0 444006244 11079880704 12454 33554432000 4194304 4196468 140733532767872 140733532750416 139849526206199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
/proc/12172/statm: 2705049 12454 3314 1 0 2667149 0
[pid=12172/tid=12225] ppid=12169 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=4-7
/proc/12172/task/12225/stat : 12225 (java) R 12169 12172 10334 0 -1 4202560 7137 13334 0 0 18 2 5 3 20 0 15 0 444006254 11079880704 12454 33554432000 4194304 4196468 140733532767872 139849498015152 139849510286686 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12226] ppid=12169 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12226/stat : 12226 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006254 11079880704 12454 33554432000 4194304 4196468 140733532767872 139849530448528 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12227] ppid=12169 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12227/stat : 12227 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006254 11079880704 12454 33554432000 4194304 4196468 140733532767872 139849445267984 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12228] ppid=12169 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12228/stat : 12228 (java) S 12169 12172 10334 0 -1 1077944384 2 13334 0 0 0 0 5 3 20 0 15 0 444006254 11079880704 12454 33554432000 4194304 4196468 140733532767872 139849444215184 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12229] ppid=12169 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12229/stat : 12229 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006254 11079880704 12454 33554432000 4194304 4196468 140733532767872 139849443162384 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12230] ppid=12169 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12230/stat : 12230 (java) S 12169 12172 10334 0 -1 1077944384 2 13334 0 0 0 0 5 3 20 0 15 0 444006256 11079880704 12454 33554432000 4194304 4196468 140733532767872 139849052900208 139849526217346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12231] ppid=12169 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/12172/task/12231/stat : 12231 (java) S 12169 12172 10334 0 -1 1077944384 13 13334 0 0 0 0 5 3 20 0 15 0 444006257 11079880704 12454 33554432000 4194304 4196468 140733532767872 139848966989344 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12232] ppid=12169 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12232/stat : 12232 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006257 11079880704 12454 33554432000 4194304 4196468 140733532767872 139848363009392 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12233] ppid=12169 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12233/stat : 12233 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11079880704 12454 33554432000 4194304 4196468 140733532767872 139848055609680 139849526224795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12234] ppid=12169 vsize=10820196 memory=0 CPUtime=0.1 cores=4-7
/proc/12172/task/12234/stat : 12234 (java) S 12169 12172 10334 0 -1 1077944384 600 13334 0 0 2 0 5 3 20 0 15 0 444006260 11079880704 12454 33554432000 4194304 4196468 140733532767872 139849051847024 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12235] ppid=12169 vsize=10820196 memory=-1 CPUtime=0.09 cores=4-7
/proc/12172/task/12235/stat : 12235 (java) S 12169 12172 10334 0 -1 1077944384 60 13334 0 0 1 0 5 3 20 0 15 0 444006260 11079880704 12454 33554432000 4194304 4196468 140733532767872 139849050794224 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12236] ppid=12169 vsize=10820196 memory=140679783614080 CPUtime=0.13 cores=4-7
/proc/12172/task/12236/stat : 12236 (java) S 12169 12172 10334 0 -1 1077944384 616 13334 0 0 5 0 5 3 20 0 15 0 444006260 11079880704 12454 33554432000 4194304 4196468 140733532767872 139849049741424 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12237] ppid=12169 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/12172/task/12237/stat : 12237 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11079880704 12454 33554432000 4194304 4196468 140733532767872 139848022051040 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12238] ppid=12169 vsize=10820196 memory=140679783614080 CPUtime=0.08 cores=4-7
/proc/12172/task/12238/stat : 12238 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006260 11079880704 12454 33554432000 4194304 4196468 140733532767872 139849048689840 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49816 KiB

[startup+0.701592 s]
/proc/loadavg: 1.37 1.44 1.47 3/228 12238
/proc/meminfo: memFree=28665736/32770688 swapFree=66919992/67108860
[pid=12172] ppid=12169 vsize=10822316 memory=77988 CPUtime=1.06 cores=4-7
/proc/12172/stat : 12172 (java) S 12169 12172 10334 0 -1 1077944320 14692 13334 0 0 91 7 5 3 20 0 15 0 444006244 11082051584 19497 33554432000 4194304 4196468 140733532767872 140733532750416 139849526206199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
/proc/12172/statm: 2705579 19497 3508 1 0 2667661 0
[pid=12172/tid=12225] ppid=12169 vsize=10822316 memory=0 CPUtime=0.67 cores=4-7
/proc/12172/task/12225/stat : 12225 (java) R 12169 12172 10334 0 -1 4202560 10160 13334 0 0 54 5 5 3 20 0 15 0 444006254 11082051584 19497 33554432000 4194304 4196468 140733532767872 139849498034528 139849510286686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12226] ppid=12169 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12226/stat : 12226 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006254 11082051584 19497 33554432000 4194304 4196468 140733532767872 139849530448528 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12227] ppid=12169 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12227/stat : 12227 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006254 11082051584 19497 33554432000 4194304 4196468 140733532767872 139849445267984 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12228] ppid=12169 vsize=10822316 memory=281359281300416 CPUtime=0.08 cores=4-7
/proc/12172/task/12228/stat : 12228 (java) S 12169 12172 10334 0 -1 1077944384 2 13334 0 0 0 0 5 3 20 0 15 0 444006254 11082051584 19497 33554432000 4194304 4196468 140733532767872 139849444215184 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12229] ppid=12169 vsize=10822316 memory=54453877082601 CPUtime=0.08 cores=4-7
/proc/12172/task/12229/stat : 12229 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006254 11082051584 19497 33554432000 4194304 4196468 140733532767872 139849443162384 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12230] ppid=12169 vsize=10822316 memory=11523960686 CPUtime=0.08 cores=4-7
/proc/12172/task/12230/stat : 12230 (java) S 12169 12172 10334 0 -1 1077944384 5 13334 0 0 0 0 5 3 20 0 15 0 444006256 11082051584 19497 33554432000 4194304 4196468 140733532767872 139849052900208 139849526217346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12231] ppid=12169 vsize=10822316 memory=68 CPUtime=0.08 cores=4-7
/proc/12172/task/12231/stat : 12231 (java) S 12169 12172 10334 0 -1 1077944384 13 13334 0 0 0 0 5 3 20 0 15 0 444006257 11082051584 19497 33554432000 4194304 4196468 140733532767872 139848966989344 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12232] ppid=12169 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12232/stat : 12232 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006257 11082051584 19497 33554432000 4194304 4196468 140733532767872 139848363009392 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12233] ppid=12169 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12233/stat : 12233 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11082051584 19497 33554432000 4194304 4196468 140733532767872 139848055609680 139849526224795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12234] ppid=12169 vsize=10822316 memory=0 CPUtime=0.18 cores=4-7
/proc/12172/task/12234/stat : 12234 (java) R 12169 12172 10334 0 -1 4202560 1006 13334 0 0 10 0 5 3 20 0 15 0 444006260 11082051584 19497 33554432000 4194304 4196468 140733532767872 139849051833048 139849505452089 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12235] ppid=12169 vsize=10822316 memory=0 CPUtime=0.17 cores=4-7
/proc/12172/task/12235/stat : 12235 (java) R 12169 12172 10334 0 -1 4202560 483 13334 0 0 9 0 5 3 20 0 15 0 444006260 11082051584 19497 33554432000 4194304 4196468 140733532767872 139849050780544 139849526227546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12236] ppid=12169 vsize=10822316 memory=0 CPUtime=0.25 cores=4-7
/proc/12172/task/12236/stat : 12236 (java) S 12169 12172 10334 0 -1 1077944384 806 13334 0 0 17 0 5 3 20 0 15 0 444006260 11082051584 19497 33554432000 4194304 4196468 140733532767872 139849049741424 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12237] ppid=12169 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12237/stat : 12237 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11082051584 19497 33554432000 4194304 4196468 140733532767872 139848022051040 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12238] ppid=12169 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12238/stat : 12238 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006260 11082051584 19497 33554432000 4194304 4196468 140733532767872 139849048689840 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 77988 KiB

[startup+1.50076 s]
/proc/loadavg: 1.37 1.44 1.47 6/227 12238
/proc/meminfo: memFree=28622992/32770688 swapFree=66919992/67108860
[pid=12172] ppid=12169 vsize=10835404 memory=213120 CPUtime=3.37 cores=4-7
/proc/12172/stat : 12172 (java) S 12169 12172 10334 0 -1 1077944320 32497 13334 0 0 318 11 5 3 20 0 15 0 444006244 11095453696 53280 33554432000 4194304 4196468 140733532767872 140733532750416 139849526206199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
/proc/12172/statm: 2708851 53280 3578 1 0 2670914 0
[pid=12172/tid=12225] ppid=12169 vsize=10835404 memory=-5153189914156493159 CPUtime=1.42 cores=4-7
/proc/12172/task/12225/stat : 12225 (java) R 12169 12172 10334 0 -1 4202560 15439 13334 0 0 128 6 5 3 20 0 15 0 444006254 11095453696 53280 33554432000 4194304 4196468 140733532767872 139849498036032 139849510286686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12226] ppid=12169 vsize=10835404 memory=-7449457109154306455 CPUtime=0.09 cores=4-7
/proc/12172/task/12226/stat : 12226 (java) S 12169 12172 10334 0 -1 1077944384 237 13334 0 0 1 0 5 3 20 0 15 0 444006254 11095453696 53280 33554432000 4194304 4196468 140733532767872 139849530448528 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12227] ppid=12169 vsize=10835404 memory=6720696446780543624 CPUtime=0.09 cores=4-7
/proc/12172/task/12227/stat : 12227 (java) S 12169 12172 10334 0 -1 1077944384 22 13334 0 0 1 0 5 3 20 0 15 0 444006254 11095453696 53280 33554432000 4194304 4196468 140733532767872 139849445267984 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12228] ppid=12169 vsize=10835404 memory=-5153075247754915967 CPUtime=0.09 cores=4-7
/proc/12172/task/12228/stat : 12228 (java) S 12169 12172 10334 0 -1 1077944384 56 13334 0 0 1 0 5 3 20 0 15 0 444006254 11095453696 53280 33554432000 4194304 4196468 140733532767872 139849444215184 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12229] ppid=12169 vsize=10835404 memory=129688 CPUtime=0.09 cores=4-7
/proc/12172/task/12229/stat : 12229 (java) S 12169 12172 10334 0 -1 1077944384 34 13334 0 0 1 0 5 3 20 0 15 0 444006254 11095453696 53280 33554432000 4194304 4196468 140733532767872 139849443162384 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12230] ppid=12169 vsize=10835404 memory=0 CPUtime=0.09 cores=4-7
/proc/12172/task/12230/stat : 12230 (java) S 12169 12172 10334 0 -1 1077944384 121 13334 0 0 1 0 5 3 20 0 15 0 444006256 11095453696 53280 33554432000 4194304 4196468 140733532767872 139849052900208 139849526217346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12231] ppid=12169 vsize=10835404 memory=0 CPUtime=0.08 cores=4-7
/proc/12172/task/12231/stat : 12231 (java) S 12169 12172 10334 0 -1 1077944384 13 13334 0 0 0 0 5 3 20 0 15 0 444006257 11095453696 53280 33554432000 4194304 4196468 140733532767872 139848966989344 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12232] ppid=12169 vsize=10835404 memory=281359281094752 CPUtime=0.08 cores=4-7
/proc/12172/task/12232/stat : 12232 (java) S 12169 12172 10334 0 -1 1077944384 2 13334 0 0 0 0 5 3 20 0 15 0 444006257 11095453696 53280 33554432000 4194304 4196468 140733532767872 139848363009408 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12233] ppid=12169 vsize=10835404 memory=281359281509792 CPUtime=0.08 cores=4-7
/proc/12172/task/12233/stat : 12233 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11095453696 53280 33554432000 4194304 4196468 140733532767872 139848055609680 139849526224795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12234] ppid=12169 vsize=10835404 memory=140679640557088 CPUtime=0.88 cores=4-7
/proc/12172/task/12234/stat : 12234 (java) R 12169 12172 10334 0 -1 4202560 7372 13334 0 0 79 1 5 3 20 0 15 0 444006260 11095453696 53280 33554432000 4194304 4196468 140733532767872 139849051832520 139849505892867 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12235] ppid=12169 vsize=10835404 memory=0 CPUtime=0.64 cores=4-7
/proc/12172/task/12235/stat : 12235 (java) S 12169 12172 10334 0 -1 1077944384 4125 13334 0 0 56 0 5 3 20 0 15 0 444006260 11095453696 53280 33554432000 4194304 4196468 140733532767872 139849050794224 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12236] ppid=12169 vsize=10835404 memory=980 CPUtime=0.54 cores=4-7
/proc/12172/task/12236/stat : 12236 (java) S 12169 12172 10334 0 -1 1077944384 2863 13334 0 0 46 0 5 3 20 0 15 0 444006260 11095453696 53280 33554432000 4194304 4196468 140733532767872 139849049741424 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12237] ppid=12169 vsize=10835404 memory=14008 CPUtime=0.08 cores=4-7
/proc/12172/task/12237/stat : 12237 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11095453696 53280 33554432000 4194304 4196468 140733532767872 139848022051040 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12238] ppid=12169 vsize=10835404 memory=12028 CPUtime=0.08 cores=4-7
/proc/12172/task/12238/stat : 12238 (java) S 12169 12172 10334 0 -1 1077944384 1 13334 0 0 0 0 5 3 20 0 15 0 444006260 11095453696 53280 33554432000 4194304 4196468 140733532767872 139849048689840 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
Current children cumulated CPU time: 3.37 s
Current children cumulated vsize: 10835404 KiB

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

/proc/12172/task/12225/stat : 12225 (java) R 12169 12172 10334 0 -1 4202560 71941 13334 0 0 230226 44 5 3 20 0 15 0 444006254 11113619456 222872 33554432000 4194304 4196468 140733532767872 139849498042448 139849137838559 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12226] ppid=12169 vsize=10853144 memory=3232 CPUtime=9.51 cores=4-7
/proc/12172/task/12226/stat : 12226 (java) S 12169 12172 10334 0 -1 1077944384 12680 13334 0 0 904 39 5 3 20 0 15 0 444006254 11113619456 222872 33554432000 4194304 4196468 140733532767872 139849530448528 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12227] ppid=12169 vsize=10853144 memory=891488 CPUtime=9.54 cores=4-7
/proc/12172/task/12227/stat : 12227 (java) S 12169 12172 10334 0 -1 1077944384 18907 13334 0 0 905 41 5 3 20 0 15 0 444006254 11113619456 222872 33554432000 4194304 4196468 140733532767872 139849445267984 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12228] ppid=12169 vsize=10853144 memory=288230574492221466 CPUtime=9.54 cores=4-7
/proc/12172/task/12228/stat : 12228 (java) S 12169 12172 10334 0 -1 1077944384 16409 13334 0 0 900 46 5 3 20 0 15 0 444006254 11113619456 222872 33554432000 4194304 4196468 140733532767872 139849444215184 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12229] ppid=12169 vsize=10853144 memory=288230591755977018 CPUtime=9.57 cores=4-7
/proc/12172/task/12229/stat : 12229 (java) S 12169 12172 10334 0 -1 1077944384 15898 13334 0 0 909 40 5 3 20 0 15 0 444006254 11113619456 222872 33554432000 4194304 4196468 140733532767872 139849443162384 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12230] ppid=12169 vsize=10853144 memory=14128948594347155 CPUtime=8.12 cores=4-7
/proc/12172/task/12230/stat : 12230 (java) S 12169 12172 10334 0 -1 1077944384 18300 13334 0 0 763 41 5 3 20 0 15 0 444006256 11113619456 222872 33554432000 4194304 4196468 140733532767872 139849052900208 139849526217346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12231] ppid=12169 vsize=10853144 memory=751704 CPUtime=0.08 cores=4-7
/proc/12172/task/12231/stat : 12231 (java) S 12169 12172 10334 0 -1 1077944384 18 13334 0 0 0 0 5 3 20 0 15 0 444006257 11113619456 222872 33554432000 4194304 4196468 140733532767872 139848966989408 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12232] ppid=12169 vsize=10853144 memory=1656 CPUtime=0.08 cores=4-7
/proc/12172/task/12232/stat : 12232 (java) S 12169 12172 10334 0 -1 1077944384 6 13334 0 0 0 0 5 3 20 0 15 0 444006257 11113619456 222872 33554432000 4194304 4196468 140733532767872 139848363009408 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12233] ppid=12169 vsize=10853144 memory=1398722017469774279 CPUtime=0.08 cores=4-7
/proc/12172/task/12233/stat : 12233 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11113619456 222872 33554432000 4194304 4196468 140733532767872 139848055609680 139849526224795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12234] ppid=12169 vsize=10853144 memory=4872558044660077418 CPUtime=7.14 cores=4-7
/proc/12172/task/12234/stat : 12234 (java) S 12169 12172 10334 0 -1 1077944384 47497 13334 0 0 699 7 5 3 20 0 15 0 444006260 11113619456 222872 33554432000 4194304 4196468 140733532767872 139849051847024 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12235] ppid=12169 vsize=10853144 memory=984 CPUtime=7.04 cores=4-7
/proc/12172/task/12235/stat : 12235 (java) S 12169 12172 10334 0 -1 1077944384 47624 13334 0 0 689 7 5 3 20 0 15 0 444006260 11113619456 222872 33554432000 4194304 4196468 140733532767872 139849050794224 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12236] ppid=12169 vsize=10853144 memory=2020 CPUtime=5.22 cores=4-7
/proc/12172/task/12236/stat : 12236 (java) S 12169 12172 10334 0 -1 1077944384 58065 13334 0 0 506 8 5 3 20 0 15 0 444006260 11113619456 222872 33554432000 4194304 4196468 140733532767872 139849049741424 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12237] ppid=12169 vsize=10853144 memory=1428 CPUtime=0.08 cores=4-7
/proc/12172/task/12237/stat : 12237 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11113619456 222872 33554432000 4194304 4196468 140733532767872 139848022051040 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12238] ppid=12169 vsize=10853144 memory=776 CPUtime=1.22 cores=4-7
/proc/12172/task/12238/stat : 12238 (java) S 12169 12172 10334 0 -1 1077944384 1752 13334 0 0 52 62 5 3 20 0 15 0 444006260 11113619456 222872 33554432000 4194304 4196468 140733532767872 139849048689840 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
Current children cumulated CPU time: 2369.06 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 891488 KiB

[startup+2382.3 s]
/proc/loadavg: 1.28 1.37 1.38 3/227 12612
/proc/meminfo: memFree=27788912/32770688 swapFree=66919992/67108860
[pid=12172] ppid=12169 vsize=10853144 memory=893640 CPUtime=2429.75 cores=4-7
/proc/12172/stat : 12172 (java) S 12169 12172 10334 0 -1 1077944320 312753 13334 0 0 242659 308 5 3 20 0 15 0 444006244 11113619456 223410 33554432000 4194304 4196468 140733532767872 140733532750416 139849526206199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
/proc/12172/statm: 2713286 223410 3636 1 0 2675341 0
[pid=12172/tid=12225] ppid=12169 vsize=10853144 memory=6791534058613427641 CPUtime=2362.28 cores=4-7
/proc/12172/task/12225/stat : 12225 (java) R 12169 12172 10334 0 -1 4202560 72549 13334 0 0 236175 45 5 3 20 0 15 0 444006254 11113619456 223410 33554432000 4194304 4196468 140733532767872 139849498042352 139849139695213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12226] ppid=12169 vsize=10853144 memory=2636 CPUtime=9.75 cores=4-7
/proc/12172/task/12226/stat : 12226 (java) S 12169 12172 10334 0 -1 1077944384 12850 13334 0 0 927 40 5 3 20 0 15 0 444006254 11113619456 223410 33554432000 4194304 4196468 140733532767872 139849530448528 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12227] ppid=12169 vsize=10853144 memory=2916 CPUtime=9.78 cores=4-7
/proc/12172/task/12227/stat : 12227 (java) S 12169 12172 10334 0 -1 1077944384 19190 13334 0 0 927 43 5 3 20 0 15 0 444006254 11113619456 223410 33554432000 4194304 4196468 140733532767872 139849445267984 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12228] ppid=12169 vsize=10853144 memory=1412 CPUtime=9.77 cores=4-7
/proc/12172/task/12228/stat : 12228 (java) S 12169 12172 10334 0 -1 1077944384 16435 13334 0 0 922 47 5 3 20 0 15 0 444006254 11113619456 223410 33554432000 4194304 4196468 140733532767872 139849444215184 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12229] ppid=12169 vsize=10853144 memory=3232 CPUtime=9.8 cores=4-7
/proc/12172/task/12229/stat : 12229 (java) S 12169 12172 10334 0 -1 1077944384 16003 13334 0 0 931 41 5 3 20 0 15 0 444006254 11113619456 223410 33554432000 4194304 4196468 140733532767872 139849443162384 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12230] ppid=12169 vsize=10853144 memory=893640 CPUtime=8.32 cores=4-7
/proc/12172/task/12230/stat : 12230 (java) S 12169 12172 10334 0 -1 1077944384 18530 13334 0 0 782 42 5 3 20 0 15 0 444006256 11113619456 223410 33554432000 4194304 4196468 140733532767872 139849052900208 139849526217346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12231] ppid=12169 vsize=10853144 memory=893640 CPUtime=0.08 cores=4-7
/proc/12172/task/12231/stat : 12231 (java) S 12169 12172 10334 0 -1 1077944384 18 13334 0 0 0 0 5 3 20 0 15 0 444006257 11113619456 223410 33554432000 4194304 4196468 140733532767872 139848966989408 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12232] ppid=12169 vsize=10853144 memory=14008 CPUtime=0.08 cores=4-7
/proc/12172/task/12232/stat : 12232 (java) S 12169 12172 10334 0 -1 1077944384 6 13334 0 0 0 0 5 3 20 0 15 0 444006257 11113619456 223410 33554432000 4194304 4196468 140733532767872 139848363009408 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12233] ppid=12169 vsize=10853144 memory=12028 CPUtime=0.08 cores=4-7
/proc/12172/task/12233/stat : 12233 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11113619456 223410 33554432000 4194304 4196468 140733532767872 139848055609680 139849526224795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12234] ppid=12169 vsize=10853144 memory=29244 CPUtime=7.14 cores=4-7
/proc/12172/task/12234/stat : 12234 (java) S 12169 12172 10334 0 -1 1077944384 47499 13334 0 0 699 7 5 3 20 0 15 0 444006260 11113619456 223410 33554432000 4194304 4196468 140733532767872 139849051847024 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12235] ppid=12169 vsize=10853144 memory=2120 CPUtime=7.04 cores=4-7
/proc/12172/task/12235/stat : 12235 (java) S 12169 12172 10334 0 -1 1077944384 47626 13334 0 0 689 7 5 3 20 0 15 0 444006260 11113619456 223410 33554432000 4194304 4196468 140733532767872 139849050794224 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12236] ppid=12169 vsize=10853144 memory=496 CPUtime=5.22 cores=4-7
/proc/12172/task/12236/stat : 12236 (java) S 12169 12172 10334 0 -1 1077944384 58067 13334 0 0 506 8 5 3 20 0 15 0 444006260 11113619456 223410 33554432000 4194304 4196468 140733532767872 139849049741424 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12237] ppid=12169 vsize=10853144 memory=893640 CPUtime=0.08 cores=4-7
/proc/12172/task/12237/stat : 12237 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11113619456 223410 33554432000 4194304 4196468 140733532767872 139848022051040 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12238] ppid=12169 vsize=10853144 memory=1724 CPUtime=1.26 cores=4-7
/proc/12172/task/12238/stat : 12238 (java) S 12169 12172 10334 0 -1 1077944384 1768 13334 0 0 54 64 5 3 20 0 15 0 444006260 11113619456 223410 33554432000 4194304 4196468 140733532767872 139849048689840 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
Current children cumulated CPU time: 2429.75 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 893640 KiB

[startup+2442.3 s]
/proc/loadavg: 1.33 1.36 1.38 3/227 12616
/proc/meminfo: memFree=27789540/32770688 swapFree=66919992/67108860
[pid=12172] ppid=12169 vsize=10853144 memory=893704 CPUtime=2490.46 cores=4-7
/proc/12172/stat : 12172 (java) S 12169 12172 10334 0 -1 1077944320 314194 13334 0 0 248723 315 5 3 20 0 15 0 444006244 11113619456 223426 33554432000 4194304 4196468 140733532767872 140733532750416 139849526206199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
/proc/12172/statm: 2713286 223426 3636 1 0 2675341 0
[pid=12172/tid=12225] ppid=12169 vsize=10853144 memory=984 CPUtime=2421.8 cores=4-7
/proc/12172/task/12225/stat : 12225 (java) R 12169 12172 10334 0 -1 4202560 73150 13334 0 0 242126 46 5 3 20 0 15 0 444006254 11113619456 223426 33554432000 4194304 4196468 140733532767872 139849498042464 139849138789893 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12226] ppid=12169 vsize=10853144 memory=6836 CPUtime=9.98 cores=4-7
/proc/12172/task/12226/stat : 12226 (java) S 12169 12172 10334 0 -1 1077944384 12909 13334 0 0 949 41 5 3 20 0 15 0 444006254 11113619456 223426 33554432000 4194304 4196468 140733532767872 139849530448528 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12227] ppid=12169 vsize=10853144 memory=1428 CPUtime=10.02 cores=4-7
/proc/12172/task/12227/stat : 12227 (java) S 12169 12172 10334 0 -1 1077944384 19269 13334 0 0 950 44 5 3 20 0 15 0 444006254 11113619456 223426 33554432000 4194304 4196468 140733532767872 139849445267984 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12228] ppid=12169 vsize=10853144 memory=776 CPUtime=10.01 cores=4-7
/proc/12172/task/12228/stat : 12228 (java) S 12169 12172 10334 0 -1 1077944384 16599 13334 0 0 945 48 5 3 20 0 15 0 444006254 11113619456 223426 33554432000 4194304 4196468 140733532767872 139849444215184 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12229] ppid=12169 vsize=10853144 memory=660 CPUtime=10.04 cores=4-7
/proc/12172/task/12229/stat : 12229 (java) S 12169 12172 10334 0 -1 1077944384 16286 13334 0 0 954 42 5 3 20 0 15 0 444006254 11113619456 223426 33554432000 4194304 4196468 140733532767872 139849443162384 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12230] ppid=12169 vsize=10853144 memory=1556 CPUtime=8.53 cores=4-7
/proc/12172/task/12230/stat : 12230 (java) S 12169 12172 10334 0 -1 1077944384 18762 13334 0 0 802 43 5 3 20 0 15 0 444006256 11113619456 223426 33554432000 4194304 4196468 140733532767872 139849052900208 139849526217346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12231] ppid=12169 vsize=10853144 memory=9588 CPUtime=0.08 cores=4-7
/proc/12172/task/12231/stat : 12231 (java) S 12169 12172 10334 0 -1 1077944384 18 13334 0 0 0 0 5 3 20 0 15 0 444006257 11113619456 223426 33554432000 4194304 4196468 140733532767872 139848966989408 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12232] ppid=12169 vsize=10853144 memory=1712 CPUtime=0.08 cores=4-7
/proc/12172/task/12232/stat : 12232 (java) S 12169 12172 10334 0 -1 1077944384 6 13334 0 0 0 0 5 3 20 0 15 0 444006257 11113619456 223426 33554432000 4194304 4196468 140733532767872 139848363009408 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12233] ppid=12169 vsize=10853144 memory=5996 CPUtime=0.08 cores=4-7
/proc/12172/task/12233/stat : 12233 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11113619456 223426 33554432000 4194304 4196468 140733532767872 139848055609680 139849526224795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12234] ppid=12169 vsize=10853144 memory=4156 CPUtime=7.14 cores=4-7
/proc/12172/task/12234/stat : 12234 (java) S 12169 12172 10334 0 -1 1077944384 47501 13334 0 0 699 7 5 3 20 0 15 0 444006260 11113619456 223426 33554432000 4194304 4196468 140733532767872 139849051847024 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12235] ppid=12169 vsize=10853144 memory=1056 CPUtime=7.04 cores=4-7
/proc/12172/task/12235/stat : 12235 (java) S 12169 12172 10334 0 -1 1077944384 47628 13334 0 0 689 7 5 3 20 0 15 0 444006260 11113619456 223426 33554432000 4194304 4196468 140733532767872 139849050794224 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12236] ppid=12169 vsize=10853144 memory=2828 CPUtime=5.22 cores=4-7
/proc/12172/task/12236/stat : 12236 (java) S 12169 12172 10334 0 -1 1077944384 58069 13334 0 0 506 8 5 3 20 0 15 0 444006260 11113619456 223426 33554432000 4194304 4196468 140733532767872 139849049741424 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12237] ppid=12169 vsize=10853144 memory=1176 CPUtime=0.08 cores=4-7
/proc/12172/task/12237/stat : 12237 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11113619456 223426 33554432000 4194304 4196468 140733532767872 139848022051040 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12238] ppid=12169 vsize=10853144 memory=288230574492221466 CPUtime=1.28 cores=4-7
/proc/12172/task/12238/stat : 12238 (java) S 12169 12172 10334 0 -1 1077944384 1785 13334 0 0 55 65 5 3 20 0 15 0 444006260 11113619456 223426 33554432000 4194304 4196468 140733532767872 139849048689840 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
Current children cumulated CPU time: 2490.46 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 893704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2471.5 s]
/proc/loadavg: 1.39 1.37 1.39 3/227 12619
/proc/meminfo: memFree=27778644/32770688 swapFree=66919992/67108860
[pid=12172] ppid=12169 vsize=10853144 memory=893736 CPUtime=2520.01 cores=4-7
/proc/12172/stat : 12172 (java) S 12169 12172 10334 0 -1 1077944320 314897 13334 0 0 251674 319 5 3 20 0 15 0 444006244 11113619456 223434 33554432000 4194304 4196468 140733532767872 140733532750416 139849526206199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
/proc/12172/statm: 2713286 223434 3636 1 0 2675341 0
[pid=12172/tid=12225] ppid=12169 vsize=10853144 memory=1560 CPUtime=2450.75 cores=4-7
/proc/12172/task/12225/stat : 12225 (java) R 12169 12172 10334 0 -1 4202560 73388 13334 0 0 245021 46 5 3 20 0 15 0 444006254 11113619456 223434 33554432000 4194304 4196468 140733532767872 139849498041744 139849139930732 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12226] ppid=12169 vsize=10853144 memory=55624 CPUtime=10.11 cores=4-7
/proc/12172/task/12226/stat : 12226 (java) S 12169 12172 10334 0 -1 1077944384 13119 13334 0 0 961 42 5 3 20 0 15 0 444006254 11113619456 223434 33554432000 4194304 4196468 140733532767872 139849530448528 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12227] ppid=12169 vsize=10853144 memory=984 CPUtime=10.13 cores=4-7
/proc/12172/task/12227/stat : 12227 (java) S 12169 12172 10334 0 -1 1077944384 19275 13334 0 0 961 44 5 3 20 0 15 0 444006254 11113619456 223434 33554432000 4194304 4196468 140733532767872 139849445267984 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12228] ppid=12169 vsize=10853144 memory=2020 CPUtime=10.13 cores=4-7
/proc/12172/task/12228/stat : 12228 (java) S 12169 12172 10334 0 -1 1077944384 16627 13334 0 0 956 49 5 3 20 0 15 0 444006254 11113619456 223434 33554432000 4194304 4196468 140733532767872 139849444215184 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12229] ppid=12169 vsize=10853144 memory=1428 CPUtime=10.16 cores=4-7
/proc/12172/task/12229/stat : 12229 (java) S 12169 12172 10334 0 -1 1077944384 16293 13334 0 0 965 43 5 3 20 0 15 0 444006254 11113619456 223434 33554432000 4194304 4196468 140733532767872 139849443162384 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12230] ppid=12169 vsize=10853144 memory=776 CPUtime=8.63 cores=4-7
/proc/12172/task/12230/stat : 12230 (java) S 12169 12172 10334 0 -1 1077944384 18963 13334 0 0 811 44 5 3 20 0 15 0 444006256 11113619456 223434 33554432000 4194304 4196468 140733532767872 139849052900208 139849526217346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12231] ppid=12169 vsize=10853144 memory=660 CPUtime=0.08 cores=4-7
/proc/12172/task/12231/stat : 12231 (java) S 12169 12172 10334 0 -1 1077944384 18 13334 0 0 0 0 5 3 20 0 15 0 444006257 11113619456 223434 33554432000 4194304 4196468 140733532767872 139848966989408 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12232] ppid=12169 vsize=10853144 memory=1556 CPUtime=0.08 cores=4-7
/proc/12172/task/12232/stat : 12232 (java) S 12169 12172 10334 0 -1 1077944384 6 13334 0 0 0 0 5 3 20 0 15 0 444006257 11113619456 223434 33554432000 4194304 4196468 140733532767872 139848363009408 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12233] ppid=12169 vsize=10853144 memory=4104 CPUtime=0.08 cores=4-7
/proc/12172/task/12233/stat : 12233 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11113619456 223434 33554432000 4194304 4196468 140733532767872 139848055609680 139849526224795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12234] ppid=12169 vsize=10853144 memory=1408 CPUtime=7.14 cores=4-7
/proc/12172/task/12234/stat : 12234 (java) S 12169 12172 10334 0 -1 1077944384 47501 13334 0 0 699 7 5 3 20 0 15 0 444006260 11113619456 223434 33554432000 4194304 4196468 140733532767872 139849051847024 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12235] ppid=12169 vsize=10853144 memory=3208 CPUtime=7.04 cores=4-7
/proc/12172/task/12235/stat : 12235 (java) S 12169 12172 10334 0 -1 1077944384 47628 13334 0 0 689 7 5 3 20 0 15 0 444006260 11113619456 223434 33554432000 4194304 4196468 140733532767872 139849050794224 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12236] ppid=12169 vsize=10853144 memory=757660 CPUtime=5.22 cores=4-7
/proc/12172/task/12236/stat : 12236 (java) S 12169 12172 10334 0 -1 1077944384 58069 13334 0 0 506 8 5 3 20 0 15 0 444006260 11113619456 223434 33554432000 4194304 4196468 140733532767872 139849049741424 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12237] ppid=12169 vsize=10853144 memory=1656 CPUtime=0.08 cores=4-7
/proc/12172/task/12237/stat : 12237 (java) S 12169 12172 10334 0 -1 1077944384 3 13334 0 0 0 0 5 3 20 0 15 0 444006260 11113619456 223434 33554432000 4194304 4196468 140733532767872 139848022051040 139849526216405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
[pid=12172/tid=12238] ppid=12169 vsize=10853144 memory=1398722017469774279 CPUtime=1.3 cores=4-7
/proc/12172/task/12238/stat : 12238 (java) S 12169 12172 10334 0 -1 1077944384 1798 13334 0 0 56 66 5 3 20 0 15 0 444006260 11113619456 223434 33554432000 4194304 4196468 140733532767872 139849048689840 139849526217346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7606272 140733532769007 140733532771525 140733532771525 140733532774351 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 893736 KiB

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

[startup+2471.53 s]
# the end of solver process 12172 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.81 s, system=3.24123 s

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

Child status: 143
Real time (s): 2471.53
CPU time (s): 2520.06
CPU user time (s): 2516.81
CPU system time (s): 3.24123
CPU usage (%): 101.963
Max. virtual memory (cumulated for all children) (KiB): 10853144
Max. memory (cumulated for all children) (KiB): 976048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.81
system time used= 3.24123
maximum resident set size= 977552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329238
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 231918
involuntary context switches= 4961


# summary of solver processes directly reported to runsolver:
#   pid: 12172
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.81
#   total CPU system time (s): 3.24123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9367 second user time and 26.87 second system time

The end

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

Trace number 4401014

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