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)	14	2520.07	2464.54

0.74/0.55	c Concrete v3.12.2.1568631193530 running
67.87/52.63	o 15
73.45/57.82	o 14
2520.02/2464.51	Exception in thread "main" java.util.concurrent.TimeoutException
2520.02/2464.51		at concrete.MAC.mac(MAC.scala:192)
2520.02/2464.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.02/2464.51		at scala.util.Try$.apply(Try.scala:212)
2520.02/2464.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.02/2464.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.02/2464.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.02/2464.51		at concrete.MAC.oneRun(MAC.scala:265)
2520.02/2464.51		at concrete.MAC.nextSolution(MAC.scala:284)
2520.02/2464.51		at concrete.MAC.nextSolution(MAC.scala:369)
2520.02/2464.51		at concrete.Solver.hasNext(Solver.scala:160)
2520.02/2464.51		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.02/2464.51		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.02/2464.51		at concrete.Solver.foreach(Solver.scala:67)
2520.02/2464.51		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.02/2464.51		at scala.util.Success.map(Try.scala:264)
2520.02/2464.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2464.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.02/2464.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.02/2464.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2464.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.02/2464.51		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.02/2464.51		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.02/2464.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.02/2464.51		at scala.App.$anonfun$main$1(App.scala:75)
2520.02/2464.51		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.02/2464.51		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.02/2464.51		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.02/2464.51		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.02/2464.51		at scala.App.main(App.scala:75)
2520.02/2464.51		at scala.App.main$(App.scala:73)
2520.02/2464.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.02/2464.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2464.52	v <instantiation
2520.02/2464.52	v         cost = '14'>
2520.02/2464.52	v       <list>
2520.02/2464.52	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.02/2464.52	v       </list>
2520.02/2464.52	v       <values>
2520.02/2464.52	v         10 11 0 9 4 3 13 14 12 8 2 6 7 1 5 0 0 1 1 2 2 3 4 4 5 5 5 5 5 6 0 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 1 1 2 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 2 2 3 3 3 3 3 3 0 1 1 1 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 2 2 2 2 2 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 2 3 3 3 0 0 1 2 2 3 3 3 4 5 5 6 6 6 6 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 0 0 1 1 1 2 3 3 3 3 3 3 3 3 3 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 2 2 2 2 3 3 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 0 0 0 0 0 0 1 1 2 2 3 3 3 3 4 0 1 1 2 2 2 2 3 3 3 3 3 3 4 4 0 1 1 1 1 1 1 1 2 2 2 3 3 3 3 0 0 0 0 0 0 0 0 0 0 1 1 2 3 3 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 2 2 2 2 3 4 4 4 4 4 0 0 1 1 2 2 3 3 3 3 3 3 3 3 3 0 0 1 2 2 2 2 2 2 2 2 2 3 3 4 0 0 0 0 1 2 2 3 4 5 5 5 5 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 0 0 0 1 1 1 1 2 3 3 3 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 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 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 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 1 0 1 1 0 0 1 0 1 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 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 1 1 1 1 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 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 2 8 14 13 14 14 14 14 14 14 14 13 12 11 7
2520.02/2464.52	v       </values>
2520.02/2464.52	v     </instantiation>
2520.02/2464.52	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 (14976 MiB free)
  memory of node 1: 16384 MiB (12865 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401122-1568679997/watcher-4401122-1568679997 -o /tmp/evaluation-result-4401122-1568679997/solver-4401122-1568679997 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568673291-22997 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1612266580 HOME/instance-4401122-1568679997.xml 

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

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

solver pid=25186, runsolver pid=25183

[startup+0.101658 s]*
/proc/loadavg: 1.47 1.59 1.64 3/222 25243
/proc/meminfo: memFree=28502368/32770624 swapFree=67004524/67108860
[pid=25186] ppid=25183 vsize=9972712 memory=17076 CPUtime=0.1 cores=0,2,4,6
/proc/25186/stat : 25186 (java) S 25183 25186 22966 0 -1 1077944320 4542 13145 0 0 1 1 5 3 20 0 6 0 444239275 10212057088 4269 33554432000 4194304 4196468 140737146687824 140737146670368 139682016394999 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
/proc/25186/statm: 2493178 4269 1935 1 0 2481616 0
[pid=25186/tid=25239] ppid=25183 vsize=9972712 memory=4279135704013962638 CPUtime=0.09 cores=0,2,4,6
/proc/25186/task/25239/stat : 25239 (java) R 25183 25186 22966 0 -1 4202560 2333 13145 0 0 1 0 5 3 20 0 6 0 444239284 10212057088 4269 33554432000 4194304 4196468 140737146687824 139681988231760 139682000475486 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25240] ppid=25183 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25240/stat : 25240 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 6 0 444239285 10212057088 4335 33554432000 4194304 4196468 140737146687824 139682020637584 139682016405205 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25241] ppid=25183 vsize=9972712 memory=139924224984704 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25241/stat : 25241 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 6 0 444239285 10212057088 4335 33554432000 4194304 4196468 140737146687824 139681935457040 139682016405205 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25242] ppid=25183 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25242/stat : 25242 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 6 0 444239285 10212057088 4335 33554432000 4194304 4196468 140737146687824 139681934404752 139682016405205 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25243] ppid=25183 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25243/stat : 25243 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 6 0 444239285 10212057088 4335 33554432000 4194304 4196468 140737146687824 139681587715088 139682016405205 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB

[startup+0.210794 s]*
/proc/loadavg: 1.47 1.59 1.64 3/231 25252
/proc/meminfo: memFree=28480504/32770624 swapFree=67004524/67108860
[pid=25186] ppid=25183 vsize=10820020 memory=46588 CPUtime=0.27 cores=0,2,4,6
/proc/25186/stat : 25186 (java) S 25183 25186 22966 0 -1 1077944320 7522 13145 0 0 17 2 5 3 20 0 15 0 444239275 11079700480 11647 33554432000 4194304 4196468 140737146687824 140737146670368 139682016394999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
/proc/25186/statm: 2705005 11647 3249 1 0 2667149 0
[pid=25186/tid=25239] ppid=25183 vsize=10820164 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/25186/task/25239/stat : 25239 (java) R 25183 25186 22966 0 -1 4202560 4060 13145 0 0 11 1 5 3 20 0 15 0 444239284 11079847936 11647 33554432000 4194304 4196468 140737146687824 139681988174144 139681939471981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25240] ppid=25183 vsize=10820164 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25240/stat : 25240 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239285 11079847936 11647 33554432000 4194304 4196468 140737146687824 139682020637584 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25241] ppid=25183 vsize=10820164 memory=139924224984704 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25241/stat : 25241 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239285 11079847936 11647 33554432000 4194304 4196468 140737146687824 139681935457040 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25242] ppid=25183 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25242/stat : 25242 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239285 11079847936 11647 33554432000 4194304 4196468 140737146687824 139681934404752 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25243] ppid=25183 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25243/stat : 25243 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 444239285 11079847936 11647 33554432000 4194304 4196468 140737146687824 139681587715088 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25244] ppid=25183 vsize=10820164 memory=139924224984704 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25244/stat : 25244 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239287 11079847936 11647 33554432000 4194304 4196468 140737146687824 139681543088240 139682016406146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25245] ppid=25183 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25245/stat : 25245 (java) S 25183 25186 22966 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 444239287 11079847936 11647 33554432000 4194304 4196468 140737146687824 139681463264032 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25246] ppid=25183 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25246/stat : 25246 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 444239287 11079847936 11647 33554432000 4194304 4196468 140737146687824 139681329046640 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25247] ppid=25183 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25247/stat : 25247 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239290 11079847936 11647 33554432000 4194304 4196468 140737146687824 139680725067856 139682016413595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25248] ppid=25183 vsize=10820176 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25186/task/25248/stat : 25248 (java) R 25183 25186 22966 0 -1 4202560 437 13145 0 0 1 0 5 3 20 0 15 0 444239290 11079860224 11647 33554432000 4194304 4196468 140737146687824 139681542036080 139682009380041 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25249] ppid=25183 vsize=10820176 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/25186/task/25249/stat : 25249 (java) S 25183 25186 22966 0 -1 1077944384 213 13145 0 0 1 0 5 3 20 0 15 0 444239290 11079860224 11647 33554432000 4194304 4196468 140737146687824 139681540983280 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25250] ppid=25183 vsize=10820176 memory=139924224984704 CPUtime=0.11 cores=0,2,4,6
/proc/25186/task/25250/stat : 25250 (java) S 25183 25186 22966 0 -1 1077944384 604 13145 0 0 3 0 5 3 20 0 15 0 444239290 11079860224 11647 33554432000 4194304 4196468 140737146687824 139681539930992 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25251] ppid=25183 vsize=10820176 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25251/stat : 25251 (java) S 25183 25186 22966 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 444239290 11079860224 11647 33554432000 4194304 4196468 140737146687824 139680255306720 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25252] ppid=25183 vsize=10820176 memory=139924224984704 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25252/stat : 25252 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 444239291 11079860224 11647 33554432000 4194304 4196468 140737146687824 139681538877872 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 46588 KiB

[startup+0.310836 s]*
/proc/loadavg: 1.47 1.59 1.64 3/231 25252
/proc/meminfo: memFree=28468252/32770624 swapFree=67004524/67108860
[pid=25186] ppid=25183 vsize=10820196 memory=54880 CPUtime=0.4 cores=0,2,4,6
/proc/25186/stat : 25186 (java) S 25183 25186 22966 0 -1 1077944320 10921 13145 0 0 29 3 5 3 20 0 15 0 444239275 11079880704 13720 33554432000 4194304 4196468 140737146687824 140737146670368 139682016394999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
/proc/25186/statm: 2705049 13720 3304 1 0 2667149 0
[pid=25186/tid=25239] ppid=25183 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/25186/task/25239/stat : 25239 (java) R 25183 25186 22966 0 -1 4202560 7414 13145 0 0 19 2 5 3 20 0 15 0 444239284 11079880704 13720 33554432000 4194304 4196468 140737146687824 139681988203952 139682000475486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25240] ppid=25183 vsize=10820196 memory=7228928657774891088 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25240/stat : 25240 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239285 11079880704 13720 33554432000 4194304 4196468 140737146687824 139682020637584 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25241] ppid=25183 vsize=10820196 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25241/stat : 25241 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239285 11079880704 13720 33554432000 4194304 4196468 140737146687824 139681935457040 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25242] ppid=25183 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25242/stat : 25242 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239285 11079880704 13720 33554432000 4194304 4196468 140737146687824 139681934404752 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25243] ppid=25183 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25243/stat : 25243 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 444239285 11079880704 13720 33554432000 4194304 4196468 140737146687824 139681587715088 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25244] ppid=25183 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25244/stat : 25244 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239287 11079880704 13720 33554432000 4194304 4196468 140737146687824 139681543088240 139682016406146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25245] ppid=25183 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25245/stat : 25245 (java) S 25183 25186 22966 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 444239287 11079880704 13720 33554432000 4194304 4196468 140737146687824 139681463264032 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25246] ppid=25183 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25246/stat : 25246 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 444239287 11079880704 13720 33554432000 4194304 4196468 140737146687824 139681329046640 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25247] ppid=25183 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25247/stat : 25247 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239290 11079880704 13720 33554432000 4194304 4196468 140737146687824 139680725067856 139682016413595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25248] ppid=25183 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25186/task/25248/stat : 25248 (java) S 25183 25186 22966 0 -1 1077944384 448 13145 0 0 2 0 5 3 20 0 15 0 444239290 11079880704 13720 33554432000 4194304 4196468 140737146687824 139681542036080 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25249] ppid=25183 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25186/task/25249/stat : 25249 (java) S 25183 25186 22966 0 -1 1077944384 213 13145 0 0 1 0 5 3 20 0 15 0 444239290 11079880704 13720 33554432000 4194304 4196468 140737146687824 139681540983280 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25250] ppid=25183 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/25186/task/25250/stat : 25250 (java) S 25183 25186 22966 0 -1 1077944384 612 13145 0 0 5 0 5 3 20 0 15 0 444239290 11079880704 13720 33554432000 4194304 4196468 140737146687824 139681539930992 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25251] ppid=25183 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25251/stat : 25251 (java) S 25183 25186 22966 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 444239290 11079880704 13720 33554432000 4194304 4196468 140737146687824 139680255306720 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25252] ppid=25183 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25252/stat : 25252 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 444239291 11079880704 13720 33554432000 4194304 4196468 140737146687824 139681538877872 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54880 KiB

[startup+0.710199 s]
/proc/loadavg: 1.47 1.59 1.64 4/231 25252
/proc/meminfo: memFree=28454088/32770624 swapFree=67004524/67108860
[pid=25186] ppid=25183 vsize=10824364 memory=87272 CPUtime=1.14 cores=0,2,4,6
/proc/25186/stat : 25186 (java) S 25183 25186 22966 0 -1 1077944320 15039 13145 0 0 101 5 5 3 20 0 15 0 444239275 11084148736 21818 33554432000 4194304 4196468 140737146687824 140737146670368 139682016394999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
/proc/25186/statm: 2706091 21818 3515 1 0 2668173 0
[pid=25186/tid=25239] ppid=25183 vsize=10824364 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/25186/task/25239/stat : 25239 (java) R 25183 25186 22966 0 -1 4202560 10341 13145 0 0 56 4 5 3 20 0 15 0 444239284 11084148736 21818 33554432000 4194304 4196468 140737146687824 139681988222160 139682016416925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25240] ppid=25183 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25240/stat : 25240 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239285 11084148736 21818 33554432000 4194304 4196468 140737146687824 139682020637584 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25241] ppid=25183 vsize=10824364 memory=3280 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25241/stat : 25241 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239285 11084148736 21818 33554432000 4194304 4196468 140737146687824 139681935457040 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25242] ppid=25183 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25242/stat : 25242 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239285 11084148736 21818 33554432000 4194304 4196468 140737146687824 139681934404752 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25243] ppid=25183 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25243/stat : 25243 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 444239285 11084148736 21818 33554432000 4194304 4196468 140737146687824 139681587715088 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25244] ppid=25183 vsize=10824364 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25244/stat : 25244 (java) S 25183 25186 22966 0 -1 1077944384 5 13145 0 0 0 0 5 3 20 0 15 0 444239287 11084148736 21818 33554432000 4194304 4196468 140737146687824 139681543088240 139682016406146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25245] ppid=25183 vsize=10824364 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25245/stat : 25245 (java) S 25183 25186 22966 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 444239287 11084148736 21818 33554432000 4194304 4196468 140737146687824 139681463264032 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25246] ppid=25183 vsize=10824364 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25246/stat : 25246 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 444239287 11084148736 21818 33554432000 4194304 4196468 140737146687824 139681329046640 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25247] ppid=25183 vsize=10824364 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25247/stat : 25247 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239290 11084148736 21818 33554432000 4194304 4196468 140737146687824 139680725067856 139682016413595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25248] ppid=25183 vsize=10824364 memory=13252 CPUtime=0.21 cores=0,2,4,6
/proc/25186/task/25248/stat : 25248 (java) R 25183 25186 22966 0 -1 4202560 969 13145 0 0 13 0 5 3 20 0 15 0 444239290 11084148736 21818 33554432000 4194304 4196468 140737146687824 139681542018240 139682000297263 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25249] ppid=25183 vsize=10824364 memory=15460 CPUtime=0.21 cores=0,2,4,6
/proc/25186/task/25249/stat : 25249 (java) R 25183 25186 22966 0 -1 4202560 642 13145 0 0 13 0 5 3 20 0 15 0 444239290 11084148736 21818 33554432000 4194304 4196468 140737146687824 139681540983280 139681994561480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25250] ppid=25183 vsize=10824364 memory=17668 CPUtime=0.25 cores=0,2,4,6
/proc/25186/task/25250/stat : 25250 (java) R 25183 25186 22966 0 -1 4202560 856 13145 0 0 17 0 5 3 20 0 15 0 444239290 11084148736 21818 33554432000 4194304 4196468 140737146687824 139681539930992 139682009491748 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25251] ppid=25183 vsize=10824364 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25251/stat : 25251 (java) S 25183 25186 22966 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 444239290 11084148736 21818 33554432000 4194304 4196468 140737146687824 139680255306720 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25252] ppid=25183 vsize=10824364 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25252/stat : 25252 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 444239291 11084148736 21818 33554432000 4194304 4196468 140737146687824 139681538877872 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87272 KiB

[startup+1.50269 s]
/proc/loadavg: 1.51 1.60 1.64 6/231 25252
/proc/meminfo: memFree=28406440/32770624 swapFree=67004524/67108860
[pid=25186] ppid=25183 vsize=10834680 memory=200640 CPUtime=3.03 cores=0,2,4,6
/proc/25186/stat : 25186 (java) S 25183 25186 22966 0 -1 1077944320 25757 13145 0 0 284 11 5 3 20 0 15 0 444239275 11094712320 50160 33554432000 4194304 4196468 140737146687824 140737146670368 139682016394999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
/proc/25186/statm: 2708670 50160 3594 1 0 2670733 0
[pid=25186/tid=25239] ppid=25183 vsize=10834680 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/25186/task/25239/stat : 25239 (java) S 25183 25186 22966 0 -1 1077944384 15754 13145 0 0 129 6 5 3 20 0 15 0 444239284 11094712320 50160 33554432000 4194304 4196468 140737146687824 139681988218096 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25240] ppid=25183 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25186/task/25240/stat : 25240 (java) S 25183 25186 22966 0 -1 1077944384 79 13145 0 0 1 0 5 3 20 0 15 0 444239285 11094712320 50160 33554432000 4194304 4196468 140737146687824 139682020637584 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25241] ppid=25183 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25186/task/25241/stat : 25241 (java) S 25183 25186 22966 0 -1 1077944384 317 13145 0 0 1 0 5 3 20 0 15 0 444239285 11094712320 50160 33554432000 4194304 4196468 140737146687824 139681935457040 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25242] ppid=25183 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25186/task/25242/stat : 25242 (java) S 25183 25186 22966 0 -1 1077944384 67 13145 0 0 1 0 5 3 20 0 15 0 444239285 11094712320 50160 33554432000 4194304 4196468 140737146687824 139681934404752 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25243] ppid=25183 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25186/task/25243/stat : 25243 (java) S 25183 25186 22966 0 -1 1077944384 35 13145 0 0 1 0 5 3 20 0 15 0 444239285 11094712320 50160 33554432000 4194304 4196468 140737146687824 139681587715088 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25244] ppid=25183 vsize=10834680 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/25186/task/25244/stat : 25244 (java) S 25183 25186 22966 0 -1 1077944384 503 13145 0 0 1 0 5 3 20 0 15 0 444239287 11094712320 50160 33554432000 4194304 4196468 140737146687824 139681543088240 139682016406146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25245] ppid=25183 vsize=10834680 memory=279848123705600 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25245/stat : 25245 (java) S 25183 25186 22966 0 -1 1077944384 14 13145 0 0 0 0 5 3 20 0 15 0 444239287 11094712320 50160 33554432000 4194304 4196468 140737146687824 139681463264096 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25246] ppid=25183 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25246/stat : 25246 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 444239287 11094712320 50160 33554432000 4194304 4196468 140737146687824 139681329046656 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25247] ppid=25183 vsize=10834680 memory=8252 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25247/stat : 25247 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239290 11094712320 50160 33554432000 4194304 4196468 140737146687824 139680725067856 139682016413595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25248] ppid=25183 vsize=10834680 memory=6032 CPUtime=0.58 cores=0,2,4,6
/proc/25186/task/25248/stat : 25248 (java) S 25183 25186 22966 0 -1 1077944384 2618 13145 0 0 50 0 5 3 20 0 15 0 444239290 11094712320 50160 33554432000 4194304 4196468 140737146687824 139681542036080 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25249] ppid=25183 vsize=10834680 memory=1056 CPUtime=0.59 cores=0,2,4,6
/proc/25186/task/25249/stat : 25249 (java) S 25183 25186 22966 0 -1 1077944384 2228 13145 0 0 51 0 5 3 20 0 15 0 444239290 11094712320 50160 33554432000 4194304 4196468 140737146687824 139681540983280 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25250] ppid=25183 vsize=10834680 memory=1540 CPUtime=0.53 cores=0,2,4,6
/proc/25186/task/25250/stat : 25250 (java) S 25183 25186 22966 0 -1 1077944384 1942 13145 0 0 45 0 5 3 20 0 15 0 444239290 11094712320 50160 33554432000 4194304 4196468 140737146687824 139681539930992 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25251] ppid=25183 vsize=10834680 memory=728 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25251/stat : 25251 (java) S 25183 25186 22966 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 444239290 11094712320 50160 33554432000 4194304 4196468 140737146687824 139680255306720 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25252] ppid=25183 vsize=10834680 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25252/stat : 25252 (java) S 25183 25186 22966 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 444239291 11094712320 50160 33554432000 4194304 4196468 140737146687824 139681538877872 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10834680 KiB

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

/proc/25186/task/25239/stat : 25239 (java) R 25183 25186 22966 0 -1 4202560 67960 13145 0 0 229807 50 5 3 20 0 15 0 444239284 11113619456 227742 33554432000 4194304 4196468 140737146687824 139681988230656 139681998916725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25240] ppid=25183 vsize=10853144 memory=13564890539362749 CPUtime=12.07 cores=0,2,4,6
/proc/25186/task/25240/stat : 25240 (java) S 25183 25186 22966 0 -1 1077944384 10496 13145 0 0 1152 47 5 3 20 0 15 0 444239285 11113619456 227742 33554432000 4194304 4196468 140737146687824 139682020637584 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25241] ppid=25183 vsize=10853144 memory=6791534058613427641 CPUtime=12.11 cores=0,2,4,6
/proc/25186/task/25241/stat : 25241 (java) S 25183 25186 22966 0 -1 1077944384 11901 13145 0 0 1153 50 5 3 20 0 15 0 444239285 11113619456 227742 33554432000 4194304 4196468 140737146687824 139681935457040 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25242] ppid=25183 vsize=10853144 memory=303430223234596890 CPUtime=12.1 cores=0,2,4,6
/proc/25186/task/25242/stat : 25242 (java) S 25183 25186 22966 0 -1 1077944384 14499 13145 0 0 1148 54 5 3 20 0 15 0 444239285 11113619456 227742 33554432000 4194304 4196468 140737146687824 139681934404752 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25243] ppid=25183 vsize=10853144 memory=288230583166042426 CPUtime=12.13 cores=0,2,4,6
/proc/25186/task/25243/stat : 25243 (java) S 25183 25186 22966 0 -1 1077944384 12547 13145 0 0 1156 49 5 3 20 0 15 0 444239285 11113619456 227742 33554432000 4194304 4196468 140737146687824 139681587715088 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25244] ppid=25183 vsize=10853144 memory=6791534058613427641 CPUtime=9.47 cores=0,2,4,6
/proc/25186/task/25244/stat : 25244 (java) S 25183 25186 22966 0 -1 1077944384 13496 13145 0 0 888 51 5 3 20 0 15 0 444239287 11113619456 227742 33554432000 4194304 4196468 140737146687824 139681543088240 139682016406146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25245] ppid=25183 vsize=10853144 memory=2116 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25245/stat : 25245 (java) S 25183 25186 22966 0 -1 1077944384 20 13145 0 0 0 0 5 3 20 0 15 0 444239287 11113619456 227742 33554432000 4194304 4196468 140737146687824 139681463264096 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25246] ppid=25183 vsize=10853144 memory=25304 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25246/stat : 25246 (java) S 25183 25186 22966 0 -1 1077944384 6 13145 0 0 0 0 5 3 20 0 15 0 444239287 11113619456 227742 33554432000 4194304 4196468 140737146687824 139681329046656 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25247] ppid=25183 vsize=10853144 memory=496 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25247/stat : 25247 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239290 11113619456 227742 33554432000 4194304 4196468 140737146687824 139680725067856 139682016413595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25248] ppid=25183 vsize=10853144 memory=1056 CPUtime=6.78 cores=0,2,4,6
/proc/25186/task/25248/stat : 25248 (java) S 25183 25186 22966 0 -1 1077944384 55338 13145 0 0 665 5 5 3 20 0 15 0 444239290 11113619456 227742 33554432000 4194304 4196468 140737146687824 139681542036080 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25249] ppid=25183 vsize=10853144 memory=1540 CPUtime=6.49 cores=0,2,4,6
/proc/25186/task/25249/stat : 25249 (java) S 25183 25186 22966 0 -1 1077944384 56035 13145 0 0 635 6 5 3 20 0 15 0 444239290 11113619456 227742 33554432000 4194304 4196468 140737146687824 139681540983280 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25250] ppid=25183 vsize=10853144 memory=728 CPUtime=4.91 cores=0,2,4,6
/proc/25186/task/25250/stat : 25250 (java) S 25183 25186 22966 0 -1 1077944384 69349 13145 0 0 474 9 5 3 20 0 15 0 444239290 11113619456 227742 33554432000 4194304 4196468 140737146687824 139681539930992 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25251] ppid=25183 vsize=10853144 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25251/stat : 25251 (java) S 25183 25186 22966 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 444239290 11113619456 227742 33554432000 4194304 4196468 140737146687824 139680255306720 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25252] ppid=25183 vsize=10853144 memory=1212 CPUtime=1.36 cores=0,2,4,6
/proc/25186/task/25252/stat : 25252 (java) S 25183 25186 22966 0 -1 1077944384 1529 13145 0 0 62 66 5 3 20 0 15 0 444239291 11113619456 227742 33554432000 4194304 4196468 140737146687824 139681538877872 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
Current children cumulated CPU time: 2375.45 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 910968 KiB

[startup+2382.3 s]
/proc/loadavg: 1.45 1.33 1.39 3/231 27187
/proc/meminfo: memFree=29283804/32770624 swapFree=67004524/67108860
[pid=25186] ppid=25183 vsize=10853144 memory=911060 CPUtime=2436.42 cores=0,2,4,6
/proc/25186/stat : 25186 (java) S 25183 25186 22966 0 -1 1077944320 316772 13145 0 0 243286 348 5 3 20 0 15 0 444239275 11113619456 227765 33554432000 4194304 4196468 140737146687824 140737146670368 139682016394999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
/proc/25186/statm: 2713286 227765 3634 1 0 2675341 0
[pid=25186/tid=25239] ppid=25183 vsize=10853144 memory=1716 CPUtime=2358.04 cores=0,2,4,6
/proc/25186/task/25239/stat : 25239 (java) R 25183 25186 22966 0 -1 4202560 68655 13145 0 0 235746 50 5 3 20 0 15 0 444239284 11113619456 227765 33554432000 4194304 4196468 140737146687824 139681988230464 139681630544583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25240] ppid=25183 vsize=10853144 memory=784 CPUtime=12.39 cores=0,2,4,6
/proc/25186/task/25240/stat : 25240 (java) S 25183 25186 22966 0 -1 1077944384 10511 13145 0 0 1182 49 5 3 20 0 15 0 444239285 11113619456 227765 33554432000 4194304 4196468 140737146687824 139682020637584 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25241] ppid=25183 vsize=10853144 memory=8252 CPUtime=12.44 cores=0,2,4,6
/proc/25186/task/25241/stat : 25241 (java) S 25183 25186 22966 0 -1 1077944384 12016 13145 0 0 1185 51 5 3 20 0 15 0 444239285 11113619456 227765 33554432000 4194304 4196468 140737146687824 139681935457040 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25242] ppid=25183 vsize=10853144 memory=6791534058613427641 CPUtime=12.42 cores=0,2,4,6
/proc/25186/task/25242/stat : 25242 (java) S 25183 25186 22966 0 -1 1077944384 14781 13145 0 0 1179 55 5 3 20 0 15 0 444239285 11113619456 227765 33554432000 4194304 4196468 140737146687824 139681934404752 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25243] ppid=25183 vsize=10853144 memory=1220 CPUtime=12.45 cores=0,2,4,6
/proc/25186/task/25243/stat : 25243 (java) S 25183 25186 22966 0 -1 1077944384 12612 13145 0 0 1186 51 5 3 20 0 15 0 444239285 11113619456 227765 33554432000 4194304 4196468 140737146687824 139681587715088 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25244] ppid=25183 vsize=10853144 memory=1716 CPUtime=9.72 cores=0,2,4,6
/proc/25186/task/25244/stat : 25244 (java) S 25183 25186 22966 0 -1 1077944384 13687 13145 0 0 911 53 5 3 20 0 15 0 444239287 11113619456 227765 33554432000 4194304 4196468 140737146687824 139681543088240 139682016406146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25245] ppid=25183 vsize=10853144 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25245/stat : 25245 (java) S 25183 25186 22966 0 -1 1077944384 20 13145 0 0 0 0 5 3 20 0 15 0 444239287 11113619456 227765 33554432000 4194304 4196468 140737146687824 139681463264096 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25246] ppid=25183 vsize=10853144 memory=288230583166042426 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25246/stat : 25246 (java) S 25183 25186 22966 0 -1 1077944384 6 13145 0 0 0 0 5 3 20 0 15 0 444239287 11113619456 227765 33554432000 4194304 4196468 140737146687824 139681329046656 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25247] ppid=25183 vsize=10853144 memory=13564890539362749 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25247/stat : 25247 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239290 11113619456 227765 33554432000 4194304 4196468 140737146687824 139680725067856 139682016413595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25248] ppid=25183 vsize=10853144 memory=4000 CPUtime=6.78 cores=0,2,4,6
/proc/25186/task/25248/stat : 25248 (java) S 25183 25186 22966 0 -1 1077944384 55340 13145 0 0 665 5 5 3 20 0 15 0 444239290 11113619456 227765 33554432000 4194304 4196468 140737146687824 139681542036080 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25249] ppid=25183 vsize=10853144 memory=2832 CPUtime=6.49 cores=0,2,4,6
/proc/25186/task/25249/stat : 25249 (java) S 25183 25186 22966 0 -1 1077944384 56037 13145 0 0 635 6 5 3 20 0 15 0 444239290 11113619456 227765 33554432000 4194304 4196468 140737146687824 139681540983280 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25250] ppid=25183 vsize=10853144 memory=1212 CPUtime=4.91 cores=0,2,4,6
/proc/25186/task/25250/stat : 25250 (java) S 25183 25186 22966 0 -1 1077944384 69351 13145 0 0 474 9 5 3 20 0 15 0 444239290 11113619456 227765 33554432000 4194304 4196468 140737146687824 139681539930992 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25251] ppid=25183 vsize=10853144 memory=1036 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25251/stat : 25251 (java) S 25183 25186 22966 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 444239290 11113619456 227765 33554432000 4194304 4196468 140737146687824 139680255306720 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25252] ppid=25183 vsize=10853144 memory=14008 CPUtime=1.39 cores=0,2,4,6
/proc/25186/task/25252/stat : 25252 (java) S 25183 25186 22966 0 -1 1077944384 1545 13145 0 0 63 68 5 3 20 0 15 0 444239291 11113619456 227765 33554432000 4194304 4196468 140737146687824 139681538877872 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
Current children cumulated CPU time: 2436.42 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 911060 KiB

[startup+2442.3 s]
/proc/loadavg: 1.41 1.33 1.39 3/231 27191
/proc/meminfo: memFree=29281924/32770624 swapFree=67004524/67108860
[pid=25186] ppid=25183 vsize=10853144 memory=910140 CPUtime=2497.43 cores=0,2,4,6
/proc/25186/stat : 25186 (java) S 25183 25186 22966 0 -1 1077944320 318230 13145 0 0 249381 354 5 3 20 0 15 0 444239275 11113619456 227535 33554432000 4194304 4196468 140737146687824 140737146670368 139682016394999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
/proc/25186/statm: 2713286 227535 3634 1 0 2675341 0
[pid=25186/tid=25239] ppid=25183 vsize=10853144 memory=288230583166042426 CPUtime=2417.36 cores=0,2,4,6
/proc/25186/task/25239/stat : 25239 (java) R 25183 25186 22966 0 -1 4202560 69403 13145 0 0 241677 51 5 3 20 0 15 0 444239284 11113619456 227535 33554432000 4194304 4196468 140737146687824 139681988229840 139681635527095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25240] ppid=25183 vsize=10853144 memory=13564890539362749 CPUtime=12.74 cores=0,2,4,6
/proc/25186/task/25240/stat : 25240 (java) S 25183 25186 22966 0 -1 1077944384 10600 13145 0 0 1216 50 5 3 20 0 15 0 444239285 11113619456 227535 33554432000 4194304 4196468 140737146687824 139682020637584 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25241] ppid=25183 vsize=10853144 memory=2052 CPUtime=12.78 cores=0,2,4,6
/proc/25186/task/25241/stat : 25241 (java) S 25183 25186 22966 0 -1 1077944384 12099 13145 0 0 1218 52 5 3 20 0 15 0 444239285 11113619456 227535 33554432000 4194304 4196468 140737146687824 139681935457040 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25242] ppid=25183 vsize=10853144 memory=1220 CPUtime=12.77 cores=0,2,4,6
/proc/25186/task/25242/stat : 25242 (java) S 25183 25186 22966 0 -1 1077944384 14834 13145 0 0 1213 56 5 3 20 0 15 0 444239285 11113619456 227535 33554432000 4194304 4196468 140737146687824 139681934404752 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25243] ppid=25183 vsize=10853144 memory=1716 CPUtime=12.81 cores=0,2,4,6
/proc/25186/task/25243/stat : 25243 (java) S 25183 25186 22966 0 -1 1077944384 12890 13145 0 0 1220 53 5 3 20 0 15 0 444239285 11113619456 227535 33554432000 4194304 4196468 140737146687824 139681587715088 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25244] ppid=25183 vsize=10853144 memory=784 CPUtime=9.99 cores=0,2,4,6
/proc/25186/task/25244/stat : 25244 (java) S 25183 25186 22966 0 -1 1077944384 13871 13145 0 0 937 54 5 3 20 0 15 0 444239287 11113619456 227535 33554432000 4194304 4196468 140737146687824 139681543088240 139682016406146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25245] ppid=25183 vsize=10853144 memory=8252 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25245/stat : 25245 (java) S 25183 25186 22966 0 -1 1077944384 20 13145 0 0 0 0 5 3 20 0 15 0 444239287 11113619456 227535 33554432000 4194304 4196468 140737146687824 139681463264096 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25246] ppid=25183 vsize=10853144 memory=6032 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25246/stat : 25246 (java) S 25183 25186 22966 0 -1 1077944384 6 13145 0 0 0 0 5 3 20 0 15 0 444239287 11113619456 227535 33554432000 4194304 4196468 140737146687824 139681329046656 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25247] ppid=25183 vsize=10853144 memory=1056 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25247/stat : 25247 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239290 11113619456 227535 33554432000 4194304 4196468 140737146687824 139680725067856 139682016413595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25248] ppid=25183 vsize=10853144 memory=1540 CPUtime=6.78 cores=0,2,4,6
/proc/25186/task/25248/stat : 25248 (java) S 25183 25186 22966 0 -1 1077944384 55342 13145 0 0 665 5 5 3 20 0 15 0 444239290 11113619456 227535 33554432000 4194304 4196468 140737146687824 139681542036080 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25249] ppid=25183 vsize=10853144 memory=728 CPUtime=6.49 cores=0,2,4,6
/proc/25186/task/25249/stat : 25249 (java) S 25183 25186 22966 0 -1 1077944384 56039 13145 0 0 635 6 5 3 20 0 15 0 444239290 11113619456 227535 33554432000 4194304 4196468 140737146687824 139681540983280 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25250] ppid=25183 vsize=10853144 memory=4000 CPUtime=4.91 cores=0,2,4,6
/proc/25186/task/25250/stat : 25250 (java) S 25183 25186 22966 0 -1 1077944384 69353 13145 0 0 474 9 5 3 20 0 15 0 444239290 11113619456 227535 33554432000 4194304 4196468 140737146687824 139681539930992 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25251] ppid=25183 vsize=10853144 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25251/stat : 25251 (java) S 25183 25186 22966 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 444239290 11113619456 227535 33554432000 4194304 4196468 140737146687824 139680255306720 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25252] ppid=25183 vsize=10853144 memory=1212 CPUtime=1.42 cores=0,2,4,6
/proc/25186/task/25252/stat : 25252 (java) S 25183 25186 22966 0 -1 1077944384 1562 13145 0 0 65 69 5 3 20 0 15 0 444239291 11113619456 227535 33554432000 4194304 4196468 140737146687824 139681538877872 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
Current children cumulated CPU time: 2497.43 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 910140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2464.5 s]
/proc/loadavg: 1.50 1.36 1.39 3/231 27194
/proc/meminfo: memFree=29284304/32770624 swapFree=67004524/67108860
[pid=25186] ppid=25183 vsize=10853144 memory=907608 CPUtime=2520.02 cores=0,2,4,6
/proc/25186/stat : 25186 (java) S 25183 25186 22966 0 -1 1077944320 319029 13145 0 0 251637 357 5 3 20 0 15 0 444239275 11113619456 226902 33554432000 4194304 4196468 140737146687824 140737146670368 139682016394999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
/proc/25186/statm: 2713286 226902 3634 1 0 2675341 0
[pid=25186/tid=25239] ppid=25183 vsize=10853144 memory=3236 CPUtime=2439.31 cores=0,2,4,6
/proc/25186/task/25239/stat : 25239 (java) R 25183 25186 22966 0 -1 4202560 69795 13145 0 0 243872 51 5 3 20 0 15 0 444239284 11113619456 226902 33554432000 4194304 4196468 140737146687824 139681988230400 139681635150198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25240] ppid=25183 vsize=10853144 memory=6791534058613427641 CPUtime=12.87 cores=0,2,4,6
/proc/25186/task/25240/stat : 25240 (java) S 25183 25186 22966 0 -1 1077944384 10878 13145 0 0 1229 50 5 3 20 0 15 0 444239285 11113619456 226902 33554432000 4194304 4196468 140737146687824 139682020637584 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25241] ppid=25183 vsize=10853144 memory=2832 CPUtime=12.91 cores=0,2,4,6
/proc/25186/task/25241/stat : 25241 (java) S 25183 25186 22966 0 -1 1077944384 12124 13145 0 0 1230 53 5 3 20 0 15 0 444239285 11113619456 226902 33554432000 4194304 4196468 140737146687824 139681935457040 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25242] ppid=25183 vsize=10853144 memory=1212 CPUtime=12.91 cores=0,2,4,6
/proc/25186/task/25242/stat : 25242 (java) S 25183 25186 22966 0 -1 1077944384 14882 13145 0 0 1225 58 5 3 20 0 15 0 444239285 11113619456 226902 33554432000 4194304 4196468 140737146687824 139681934404752 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25243] ppid=25183 vsize=10853144 memory=1036 CPUtime=12.94 cores=0,2,4,6
/proc/25186/task/25243/stat : 25243 (java) S 25183 25186 22966 0 -1 1077944384 12908 13145 0 0 1233 53 5 3 20 0 15 0 444239285 11113619456 226902 33554432000 4194304 4196468 140737146687824 139681587715088 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25244] ppid=25183 vsize=10853144 memory=14008 CPUtime=10.08 cores=0,2,4,6
/proc/25186/task/25244/stat : 25244 (java) S 25183 25186 22966 0 -1 1077944384 13899 13145 0 0 946 54 5 3 20 0 15 0 444239287 11113619456 226902 33554432000 4194304 4196468 140737146687824 139681543088240 139682016406146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25245] ppid=25183 vsize=10853144 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25245/stat : 25245 (java) S 25183 25186 22966 0 -1 1077944384 20 13145 0 0 0 0 5 3 20 0 15 0 444239287 11113619456 226902 33554432000 4194304 4196468 140737146687824 139681463264096 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25246] ppid=25183 vsize=10853144 memory=728 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25246/stat : 25246 (java) S 25183 25186 22966 0 -1 1077944384 6 13145 0 0 0 0 5 3 20 0 15 0 444239287 11113619456 226902 33554432000 4194304 4196468 140737146687824 139681329046656 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25247] ppid=25183 vsize=10853144 memory=12024 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25247/stat : 25247 (java) S 25183 25186 22966 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 444239290 11113619456 226902 33554432000 4194304 4196468 140737146687824 139680725067856 139682016413595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25248] ppid=25183 vsize=10853144 memory=2116 CPUtime=6.78 cores=0,2,4,6
/proc/25186/task/25248/stat : 25248 (java) S 25183 25186 22966 0 -1 1077944384 55344 13145 0 0 665 5 5 3 20 0 15 0 444239290 11113619456 226902 33554432000 4194304 4196468 140737146687824 139681542036080 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25249] ppid=25183 vsize=10853144 memory=25304 CPUtime=6.49 cores=0,2,4,6
/proc/25186/task/25249/stat : 25249 (java) S 25183 25186 22966 0 -1 1077944384 56041 13145 0 0 635 6 5 3 20 0 15 0 444239290 11113619456 226902 33554432000 4194304 4196468 140737146687824 139681540983280 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25250] ppid=25183 vsize=10853144 memory=496 CPUtime=4.91 cores=0,2,4,6
/proc/25186/task/25250/stat : 25250 (java) S 25183 25186 22966 0 -1 1077944384 69355 13145 0 0 474 9 5 3 20 0 15 0 444239290 11113619456 226902 33554432000 4194304 4196468 140737146687824 139681539930992 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25251] ppid=25183 vsize=10853144 memory=1564 CPUtime=0.08 cores=0,2,4,6
/proc/25186/task/25251/stat : 25251 (java) S 25183 25186 22966 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 444239290 11113619456 226902 33554432000 4194304 4196468 140737146687824 139680255306720 139682016405205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
[pid=25186/tid=25252] ppid=25183 vsize=10853144 memory=928 CPUtime=1.44 cores=0,2,4,6
/proc/25186/task/25252/stat : 25252 (java) S 25183 25186 22966 0 -1 1077944384 1566 13145 0 0 66 70 5 3 20 0 15 0 444239291 11113619456 226902 33554432000 4194304 4196468 140737146687824 139681538877872 139682016406146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35553280 140737146690287 140737146692805 140737146692805 140737146695631 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 907608 KiB

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

[startup+2464.54 s]
# the end of solver process 25186 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.45 s, system=3.62124 s

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

Child status: 143
Real time (s): 2464.54
CPU time (s): 2520.07
CPU user time (s): 2516.45
CPU system time (s): 3.62124
CPU usage (%): 102.253
Max. virtual memory (cumulated for all children) (KiB): 10854016
Max. memory (cumulated for all children) (KiB): 1092400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.45
system time used= 3.62124
maximum resident set size= 1093440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270565
involuntary context switches= 8018


# summary of solver processes directly reported to runsolver:
#   pid: 25186
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2516.45
#   total CPU system time (s): 3.62124

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2039 second user time and 23.1329 second system time

The end

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

Trace number 4401122

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