2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.12.3	SAT (TO)	14	2400.14	2349.53

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403315-1568984374/watcher-4403315-1568984374 -o /var/tmp/evaluation-result-4403315-1568984374/solver-4403315-1568984374 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568963918-28492 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=801022688 HOME/instance-4403315-1568984374.xml 

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

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


[startup+0.10006 s]*
/proc/loadavg: 1.74 1.58 1.58 3/218 1227
/proc/meminfo: memFree=5334772/32770624 swapFree=66952548/67108860
[pid=1170] ppid=1166 vsize=9972712 memory=18336 CPUtime=0.09 cores=0,2,4,6
/proc/1170/stat : 1170 (java) S 1166 1170 28461 0 -1 1077944320 4320 13301 0 0 1 0 5 3 20 0 6 0 474692999 10212057088 4584 33554432000 4194304 4196468 140733881486608 140733881469152 140469175983863 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
/proc/1170/statm: 2493178 4584 1919 1 0 2481616 0
[pid=1170/tid=1223] ppid=1166 vsize=9972712 memory=8389772277269004345 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1223/stat : 1223 (java) R 1166 1170 28461 0 -1 4202560 2158 13301 0 0 0 0 5 3 20 0 6 0 474693008 10212057088 4649 33554432000 4194304 4196468 140733881486608 140469147820624 140469160064350 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1224] ppid=1166 vsize=9972712 memory=4294967661 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1224/stat : 1224 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 6 0 474693009 10212057088 4649 33554432000 4194304 4196468 140733881486608 140469180226448 140469175994069 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1225] ppid=1166 vsize=9972712 memory=140515539031133 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1225/stat : 1225 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 6 0 474693009 10212057088 4649 33554432000 4194304 4196468 140733881486608 140469068499728 140469175994069 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1226] ppid=1166 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1226/stat : 1226 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 6 0 474693009 10212057088 4649 33554432000 4194304 4196468 140733881486608 140469067447440 140469175994069 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1227] ppid=1166 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1227/stat : 1227 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 6 0 474693009 10212057088 4649 33554432000 4194304 4196468 140733881486608 140469066394640 140469175994069 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18336 KiB

[startup+0.210232 s]*
/proc/loadavg: 1.74 1.58 1.58 4/227 1236
/proc/meminfo: memFree=5312680/32770624 swapFree=66952548/67108860
[pid=1170] ppid=1166 vsize=10819716 memory=42952 CPUtime=0.26 cores=0,2,4,6
/proc/1170/stat : 1170 (java) S 1166 1170 28461 0 -1 1077944320 7044 13301 0 0 17 1 5 3 20 0 15 0 474692999 11079389184 10738 33554432000 4194304 4196468 140733881486608 140733881469152 140469175983863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
/proc/1170/statm: 2704929 10738 3176 1 0 2667149 0
[pid=1170/tid=1223] ppid=1166 vsize=10820164 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/1170/task/1223/stat : 1223 (java) R 1166 1170 28461 0 -1 4202560 3801 13301 0 0 11 1 5 3 20 0 15 0 474693008 11079847936 10898 33554432000 4194304 4196468 140733881486608 140469147794896 140469176005789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1224] ppid=1166 vsize=10820164 memory=4294967661 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1224/stat : 1224 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693009 11079847936 10898 33554432000 4194304 4196468 140733881486608 140469180226448 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1225] ppid=1166 vsize=10820164 memory=140515539031133 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1225/stat : 1225 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693009 11079847936 10898 33554432000 4194304 4196468 140733881486608 140469068499728 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1226] ppid=1166 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1226/stat : 1226 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693009 11079847936 10898 33554432000 4194304 4196468 140733881486608 140469067447440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1227] ppid=1166 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1227/stat : 1227 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693009 11079847936 10898 33554432000 4194304 4196468 140733881486608 140469066394640 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1228] ppid=1166 vsize=10820164 memory=140515539003008 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1228/stat : 1228 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693010 11079847936 10898 33554432000 4194304 4196468 140733881486608 140468634450032 140469175995010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1229] ppid=1166 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1229/stat : 1229 (java) S 1166 1170 28461 0 -1 1077944384 33 13301 0 0 0 0 5 3 20 0 15 0 474693011 11079847936 10898 33554432000 4194304 4196468 140733881486608 140468633396000 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1230] ppid=1166 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1230/stat : 1230 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693011 11079847936 10898 33554432000 4194304 4196468 140733881486608 140468516021360 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1231] ppid=1166 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1231/stat : 1231 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693013 11079847936 10898 33554432000 4194304 4196468 140733881486608 140467912042576 140469176002459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1232] ppid=1166 vsize=10820164 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1170/task/1232/stat : 1232 (java) S 1166 1170 28461 0 -1 1077944384 344 13301 0 0 1 0 5 3 20 0 15 0 474693013 11079847936 10898 33554432000 4194304 4196468 140733881486608 140468599839344 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1233] ppid=1166 vsize=10820164 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/1170/task/1233/stat : 1233 (java) S 1166 1170 28461 0 -1 1077944384 317 13301 0 0 1 0 5 3 20 0 15 0 474693014 11079847936 10898 33554432000 4194304 4196468 140733881486608 140468598786544 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1234] ppid=1166 vsize=10820164 memory=140515539003008 CPUtime=0.11 cores=0,2,4,6
/proc/1170/task/1234/stat : 1234 (java) S 1166 1170 28461 0 -1 1077944384 615 13301 0 0 3 0 5 3 20 0 15 0 474693014 11079847936 10898 33554432000 4194304 4196468 140733881486608 140468597734256 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1235] ppid=1166 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1235/stat : 1235 (java) S 1166 1170 28461 0 -1 1077944384 3 13301 0 0 0 0 5 3 20 0 15 0 474693014 11079847936 10898 33554432000 4194304 4196468 140733881486608 140467442281440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1236] ppid=1166 vsize=10820164 memory=140515539003008 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1236/stat : 1236 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693014 11079847936 10898 33554432000 4194304 4196468 140733881486608 140468596681136 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 42952 KiB

[startup+0.310456 s]*
/proc/loadavg: 1.74 1.58 1.58 4/227 1236
/proc/meminfo: memFree=5299776/32770624 swapFree=66952548/67108860
[pid=1170] ppid=1166 vsize=10820196 memory=51992 CPUtime=0.4 cores=0,2,4,6
/proc/1170/stat : 1170 (java) S 1166 1170 28461 0 -1 1077944320 10389 13301 0 0 30 2 5 3 20 0 15 0 474692999 11079880704 12998 33554432000 4194304 4196468 140733881486608 140733881469152 140469175983863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
/proc/1170/statm: 2705049 12998 3307 1 0 2667149 0
[pid=1170/tid=1223] ppid=1166 vsize=10820196 memory=1398720917958146503 CPUtime=0.3 cores=0,2,4,6
/proc/1170/task/1223/stat : 1223 (java) R 1166 1170 28461 0 -1 4202560 6845 13301 0 0 20 2 5 3 20 0 15 0 474693008 11079880704 12998 33554432000 4194304 4196468 140733881486608 140469147795408 140469160064350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1224] ppid=1166 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1224/stat : 1224 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693009 11079880704 12998 33554432000 4194304 4196468 140733881486608 140469180226448 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1225] ppid=1166 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1225/stat : 1225 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693009 11079880704 12998 33554432000 4194304 4196468 140733881486608 140469068499728 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1226] ppid=1166 vsize=10820196 memory=-1807685287725067907 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1226/stat : 1226 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693009 11079880704 12998 33554432000 4194304 4196468 140733881486608 140469067447440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1227] ppid=1166 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1227/stat : 1227 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693009 11079880704 12998 33554432000 4194304 4196468 140733881486608 140469066394640 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1228] ppid=1166 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1228/stat : 1228 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693010 11079880704 12998 33554432000 4194304 4196468 140733881486608 140468634450032 140469175995010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1229] ppid=1166 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1229/stat : 1229 (java) S 1166 1170 28461 0 -1 1077944384 33 13301 0 0 0 0 5 3 20 0 15 0 474693011 11079880704 12998 33554432000 4194304 4196468 140733881486608 140468633396000 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1230] ppid=1166 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1230/stat : 1230 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693011 11079880704 12998 33554432000 4194304 4196468 140733881486608 140468516021360 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1231] ppid=1166 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1231/stat : 1231 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693013 11079880704 12998 33554432000 4194304 4196468 140733881486608 140467912042576 140469176002459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1232] ppid=1166 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/1170/task/1232/stat : 1232 (java) S 1166 1170 28461 0 -1 1077944384 353 13301 0 0 2 0 5 3 20 0 15 0 474693013 11079880704 12998 33554432000 4194304 4196468 140733881486608 140468599839344 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1233] ppid=1166 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/1170/task/1233/stat : 1233 (java) S 1166 1170 28461 0 -1 1077944384 318 13301 0 0 2 0 5 3 20 0 15 0 474693014 11079880704 12998 33554432000 4194304 4196468 140733881486608 140468598786544 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1234] ppid=1166 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/1170/task/1234/stat : 1234 (java) S 1166 1170 28461 0 -1 1077944384 634 13301 0 0 5 0 5 3 20 0 15 0 474693014 11079880704 12998 33554432000 4194304 4196468 140733881486608 140468597734256 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1235] ppid=1166 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1235/stat : 1235 (java) S 1166 1170 28461 0 -1 1077944384 3 13301 0 0 0 0 5 3 20 0 15 0 474693014 11079880704 12998 33554432000 4194304 4196468 140733881486608 140467442281440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1236] ppid=1166 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1236/stat : 1236 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693014 11079880704 12998 33554432000 4194304 4196468 140733881486608 140468596681136 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51992 KiB

[startup+0.700754 s]
/proc/loadavg: 1.74 1.58 1.58 3/227 1236
/proc/meminfo: memFree=5284192/32770624 swapFree=66952548/67108860
[pid=1170] ppid=1166 vsize=10824364 memory=85420 CPUtime=1.15 cores=0,2,4,6
/proc/1170/stat : 1170 (java) S 1166 1170 28461 0 -1 1077944320 15068 13301 0 0 102 5 5 3 20 0 15 0 474692999 11084148736 21355 33554432000 4194304 4196468 140733881486608 140733881469152 140469175983863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
/proc/1170/statm: 2706091 21355 3514 1 0 2668173 0
[pid=1170/tid=1223] ppid=1166 vsize=10824364 memory=55 CPUtime=0.67 cores=0,2,4,6
/proc/1170/task/1223/stat : 1223 (java) R 1166 1170 28461 0 -1 4202560 10433 13301 0 0 56 3 5 3 20 0 15 0 474693008 11084148736 21355 33554432000 4194304 4196468 140733881486608 140469147813408 140469176005789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1224] ppid=1166 vsize=10824364 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1224/stat : 1224 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693009 11084148736 21355 33554432000 4194304 4196468 140733881486608 140469180226448 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1225] ppid=1166 vsize=10824364 memory=1044 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1225/stat : 1225 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693009 11084148736 21355 33554432000 4194304 4196468 140733881486608 140469068499728 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1226] ppid=1166 vsize=10824364 memory=708 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1226/stat : 1226 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693009 11084148736 21355 33554432000 4194304 4196468 140733881486608 140469067447440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1227] ppid=1166 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1227/stat : 1227 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693009 11084148736 21355 33554432000 4194304 4196468 140733881486608 140469066394640 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1228] ppid=1166 vsize=10824364 memory=4634274592177799264 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1228/stat : 1228 (java) S 1166 1170 28461 0 -1 1077944384 5 13301 0 0 0 0 5 3 20 0 15 0 474693010 11084148736 21355 33554432000 4194304 4196468 140733881486608 140468634450032 140469175995010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1229] ppid=1166 vsize=10824364 memory=4634249303410360416 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1229/stat : 1229 (java) S 1166 1170 28461 0 -1 1077944384 33 13301 0 0 0 0 5 3 20 0 15 0 474693011 11084148736 21355 33554432000 4194304 4196468 140733881486608 140468633396000 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1230] ppid=1166 vsize=10824364 memory=7742969266734009136 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1230/stat : 1230 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693011 11084148736 21355 33554432000 4194304 4196468 140733881486608 140468516021360 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1231] ppid=1166 vsize=10824364 memory=3053511329498284128 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1231/stat : 1231 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693013 11084148736 21355 33554432000 4194304 4196468 140733881486608 140467912042576 140469176002459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1232] ppid=1166 vsize=10824364 memory=4641053305371381840 CPUtime=0.24 cores=0,2,4,6
/proc/1170/task/1232/stat : 1232 (java) R 1166 1170 28461 0 -1 4202560 808 13301 0 0 16 0 5 3 20 0 15 0 474693013 11084148736 21355 33554432000 4194304 4196468 140733881486608 140468599839344 140469162040006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1233] ppid=1166 vsize=10824364 memory=6935649255759568960 CPUtime=0.2 cores=0,2,4,6
/proc/1170/task/1233/stat : 1233 (java) S 1166 1170 28461 0 -1 1077944384 732 13301 0 0 12 0 5 3 20 0 15 0 474693014 11084148736 21355 33554432000 4194304 4196468 140733881486608 140468598786544 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1234] ppid=1166 vsize=10824364 memory=6935649255759568960 CPUtime=0.25 cores=0,2,4,6
/proc/1170/task/1234/stat : 1234 (java) S 1166 1170 28461 0 -1 1077944384 841 13301 0 0 17 0 5 3 20 0 15 0 474693014 11084148736 21355 33554432000 4194304 4196468 140733881486608 140468597734256 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1235] ppid=1166 vsize=10824364 memory=6935649255759568960 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1235/stat : 1235 (java) S 1166 1170 28461 0 -1 1077944384 3 13301 0 0 0 0 5 3 20 0 15 0 474693014 11084148736 21355 33554432000 4194304 4196468 140733881486608 140467442281440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1236] ppid=1166 vsize=10824364 memory=7373628819840327744 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1236/stat : 1236 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693014 11084148736 21355 33554432000 4194304 4196468 140733881486608 140468596681136 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85420 KiB

[startup+1.50078 s]
/proc/loadavg: 1.74 1.58 1.58 6/227 1236
/proc/meminfo: memFree=5231144/32770624 swapFree=66952548/67108860
[pid=1170] ppid=1166 vsize=10834680 memory=200188 CPUtime=3.14 cores=0,2,4,6
/proc/1170/stat : 1170 (java) S 1166 1170 28461 0 -1 1077944320 28973 13301 0 0 295 11 5 3 20 0 15 0 474692999 11094712320 50047 33554432000 4194304 4196468 140733881486608 140733881469152 140469175983863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
/proc/1170/statm: 2708670 50047 3590 1 0 2670733 0
[pid=1170/tid=1223] ppid=1166 vsize=10834680 memory=117 CPUtime=1.43 cores=0,2,4,6
/proc/1170/task/1223/stat : 1223 (java) R 1166 1170 28461 0 -1 4202560 15771 13301 0 0 129 6 5 3 20 0 15 0 474693008 11094712320 50047 33554432000 4194304 4196468 140733881486608 140469147803904 140469160064350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1224] ppid=1166 vsize=10834680 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1224/stat : 1224 (java) S 1166 1170 28461 0 -1 1077944384 18 13301 0 0 0 0 5 3 20 0 15 0 474693009 11094712320 50047 33554432000 4194304 4196468 140733881486608 140469180226448 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1225] ppid=1166 vsize=10834680 memory=1044 CPUtime=0.09 cores=0,2,4,6
/proc/1170/task/1225/stat : 1225 (java) S 1166 1170 28461 0 -1 1077944384 76 13301 0 0 1 0 5 3 20 0 15 0 474693009 11094712320 50047 33554432000 4194304 4196468 140733881486608 140469068499728 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1226] ppid=1166 vsize=10834680 memory=708 CPUtime=0.09 cores=0,2,4,6
/proc/1170/task/1226/stat : 1226 (java) S 1166 1170 28461 0 -1 1077944384 55 13301 0 0 1 0 5 3 20 0 15 0 474693009 11094712320 50047 33554432000 4194304 4196468 140733881486608 140469067447440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1227] ppid=1166 vsize=10834680 memory=33 CPUtime=0.09 cores=0,2,4,6
/proc/1170/task/1227/stat : 1227 (java) S 1166 1170 28461 0 -1 1077944384 341 13301 0 0 1 0 5 3 20 0 15 0 474693009 11094712320 50047 33554432000 4194304 4196468 140733881486608 140469066394640 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1228] ppid=1166 vsize=10834680 memory=7306916055891837008 CPUtime=0.09 cores=0,2,4,6
/proc/1170/task/1228/stat : 1228 (java) S 1166 1170 28461 0 -1 1077944384 108 13301 0 0 1 0 5 3 20 0 15 0 474693010 11094712320 50047 33554432000 4194304 4196468 140733881486608 140468634450032 140469175995010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1229] ppid=1166 vsize=10834680 memory=288283389822501717 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1229/stat : 1229 (java) S 1166 1170 28461 0 -1 1077944384 33 13301 0 0 0 0 5 3 20 0 15 0 474693011 11094712320 50047 33554432000 4194304 4196468 140733881486608 140468633396064 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1230] ppid=1166 vsize=10834680 memory=3905523791580921968 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1230/stat : 1230 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693011 11094712320 50047 33554432000 4194304 4196468 140733881486608 140468516021360 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1231] ppid=1166 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1231/stat : 1231 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693013 11094712320 50047 33554432000 4194304 4196468 140733881486608 140467912042576 140469176002459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1232] ppid=1166 vsize=10834680 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/1170/task/1232/stat : 1232 (java) S 1166 1170 28461 0 -1 1077944384 5804 13301 0 0 61 0 5 3 20 0 15 0 474693013 11094712320 50047 33554432000 4194304 4196468 140733881486608 140468599839344 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1233] ppid=1166 vsize=10834680 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/1170/task/1233/stat : 1233 (java) S 1166 1170 28461 0 -1 1077944384 2240 13301 0 0 51 0 5 3 20 0 15 0 474693014 11094712320 50047 33554432000 4194304 4196468 140733881486608 140468598786544 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1234] ppid=1166 vsize=10834680 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/1170/task/1234/stat : 1234 (java) S 1166 1170 28461 0 -1 1077944384 2318 13301 0 0 45 0 5 3 20 0 15 0 474693014 11094712320 50047 33554432000 4194304 4196468 140733881486608 140468597734256 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1235] ppid=1166 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1235/stat : 1235 (java) S 1166 1170 28461 0 -1 1077944384 3 13301 0 0 0 0 5 3 20 0 15 0 474693014 11094712320 50047 33554432000 4194304 4196468 140733881486608 140467442281440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1236] ppid=1166 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1236/stat : 1236 (java) S 1166 1170 28461 0 -1 1077944384 1 13301 0 0 0 0 5 3 20 0 15 0 474693014 11094712320 50047 33554432000 4194304 4196468 140733881486608 140468596681136 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 10834680 KiB

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

/proc/1170/task/1223/stat : 1223 (java) R 1166 1170 28461 0 -1 4202560 75136 13301 0 0 223868 48 5 3 20 0 15 0 474693008 11113619456 220893 33554432000 4194304 4196468 140733881486608 140469147819136 140468754771083 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1224] ppid=1166 vsize=10853144 memory=883572 CPUtime=11.42 cores=0,2,4,6
/proc/1170/task/1224/stat : 1224 (java) S 1166 1170 28461 0 -1 1077944384 17467 13301 0 0 1088 46 5 3 20 0 15 0 474693009 11113619456 220893 33554432000 4194304 4196468 140733881486608 140469180226448 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1225] ppid=1166 vsize=10853144 memory=883364 CPUtime=11.42 cores=0,2,4,6
/proc/1170/task/1225/stat : 1225 (java) S 1166 1170 28461 0 -1 1077944384 18136 13301 0 0 1090 44 5 3 20 0 15 0 474693009 11113619456 220893 33554432000 4194304 4196468 140733881486608 140469068499728 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1226] ppid=1166 vsize=10853144 memory=885568 CPUtime=11.41 cores=0,2,4,6
/proc/1170/task/1226/stat : 1226 (java) S 1166 1170 28461 0 -1 1077944384 18899 13301 0 0 1088 45 5 3 20 0 15 0 474693009 11113619456 220893 33554432000 4194304 4196468 140733881486608 140469067447440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1227] ppid=1166 vsize=10853144 memory=884572 CPUtime=11.43 cores=0,2,4,6
/proc/1170/task/1227/stat : 1227 (java) S 1166 1170 28461 0 -1 1077944384 16642 13301 0 0 1087 48 5 3 20 0 15 0 474693009 11113619456 220893 33554432000 4194304 4196468 140733881486608 140469066394640 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1228] ppid=1166 vsize=10853144 memory=883572 CPUtime=9.04 cores=0,2,4,6
/proc/1170/task/1228/stat : 1228 (java) S 1166 1170 28461 0 -1 1077944384 17095 13301 0 0 852 44 5 3 20 0 15 0 474693010 11113619456 220893 33554432000 4194304 4196468 140733881486608 140468634450032 140469175995010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1229] ppid=1166 vsize=10853144 memory=883572 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1229/stat : 1229 (java) S 1166 1170 28461 0 -1 1077944384 47 13301 0 0 0 0 5 3 20 0 15 0 474693011 11113619456 220893 33554432000 4194304 4196468 140733881486608 140468633396064 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1230] ppid=1166 vsize=10853144 memory=883572 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1230/stat : 1230 (java) S 1166 1170 28461 0 -1 1077944384 13 13301 0 0 0 0 5 3 20 0 15 0 474693011 11113619456 220893 33554432000 4194304 4196468 140733881486608 140468516021376 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1231] ppid=1166 vsize=10853144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1231/stat : 1231 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693013 11113619456 220893 33554432000 4194304 4196468 140733881486608 140467912042576 140469176002459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1232] ppid=1166 vsize=10853144 memory=883572 CPUtime=5.98 cores=0,2,4,6
/proc/1170/task/1232/stat : 1232 (java) S 1166 1170 28461 0 -1 1077944384 64551 13301 0 0 583 7 5 3 20 0 15 0 474693013 11113619456 220893 33554432000 4194304 4196468 140733881486608 140468599839344 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1233] ppid=1166 vsize=10853144 memory=883572 CPUtime=5.97 cores=0,2,4,6
/proc/1170/task/1233/stat : 1233 (java) S 1166 1170 28461 0 -1 1077944384 54468 13301 0 0 580 9 5 3 20 0 15 0 474693014 11113619456 220893 33554432000 4194304 4196468 140733881486608 140468598786544 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1234] ppid=1166 vsize=10853144 memory=883572 CPUtime=4.87 cores=0,2,4,6
/proc/1170/task/1234/stat : 1234 (java) S 1166 1170 28461 0 -1 1077944384 78423 13301 0 0 470 9 5 3 20 0 15 0 474693014 11113619456 220893 33554432000 4194304 4196468 140733881486608 140468597734256 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1235] ppid=1166 vsize=10853144 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1235/stat : 1235 (java) S 1166 1170 28461 0 -1 1077944384 3 13301 0 0 0 0 5 3 20 0 15 0 474693014 11113619456 220893 33554432000 4194304 4196468 140733881486608 140467442281440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1236] ppid=1166 vsize=10853144 memory=883572 CPUtime=1.42 cores=0,2,4,6
/proc/1170/task/1236/stat : 1236 (java) S 1166 1170 28461 0 -1 1077944384 1444 13301 0 0 69 65 5 3 20 0 15 0 474693014 11113619456 220893 33554432000 4194304 4196468 140733881486608 140468596681136 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
Current children cumulated CPU time: 2311.59 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 883572 KiB

[startup+2322.3 s]
/proc/loadavg: 1.15 1.31 1.38 3/226 1740
/proc/meminfo: memFree=5591044/32770624 swapFree=66952564/67108860
[pid=1170] ppid=1166 vsize=10853144 memory=882072 CPUtime=2372.46 cores=0,2,4,6
/proc/1170/stat : 1170 (java) S 1166 1170 28461 0 -1 1077944320 366141 13301 0 0 236913 325 5 3 20 0 15 0 474692999 11113619456 220518 33554432000 4194304 4196468 140733881486608 140733881469152 140469175983863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
/proc/1170/statm: 2713286 220518 3634 1 0 2675341 0
[pid=1170/tid=1223] ppid=1166 vsize=10853144 memory=882072 CPUtime=2298.62 cores=0,2,4,6
/proc/1170/task/1223/stat : 1223 (java) R 1166 1170 28461 0 -1 4202560 75822 13301 0 0 229805 49 5 3 20 0 15 0 474693008 11113619456 220518 33554432000 4194304 4196468 140733881486608 140469147819328 140468754617490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1224] ppid=1166 vsize=10853144 memory=883612 CPUtime=11.73 cores=0,2,4,6
/proc/1170/task/1224/stat : 1224 (java) S 1166 1170 28461 0 -1 1077944384 17511 13301 0 0 1118 47 5 3 20 0 15 0 474693009 11113619456 220518 33554432000 4194304 4196468 140733881486608 140469180226448 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1225] ppid=1166 vsize=10853144 memory=883612 CPUtime=11.72 cores=0,2,4,6
/proc/1170/task/1225/stat : 1225 (java) S 1166 1170 28461 0 -1 1077944384 18444 13301 0 0 1119 45 5 3 20 0 15 0 474693009 11113619456 220518 33554432000 4194304 4196468 140733881486608 140469068499728 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1226] ppid=1166 vsize=10853144 memory=883612 CPUtime=11.72 cores=0,2,4,6
/proc/1170/task/1226/stat : 1226 (java) S 1166 1170 28461 0 -1 1077944384 19196 13301 0 0 1118 46 5 3 20 0 15 0 474693009 11113619456 220518 33554432000 4194304 4196468 140733881486608 140469067447440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1227] ppid=1166 vsize=10853144 memory=882072 CPUtime=11.74 cores=0,2,4,6
/proc/1170/task/1227/stat : 1227 (java) S 1166 1170 28461 0 -1 1077944384 16681 13301 0 0 1117 49 5 3 20 0 15 0 474693009 11113619456 220518 33554432000 4194304 4196468 140733881486608 140469066394640 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1228] ppid=1166 vsize=10853144 memory=882072 CPUtime=9.27 cores=0,2,4,6
/proc/1170/task/1228/stat : 1228 (java) S 1166 1170 28461 0 -1 1077944384 17309 13301 0 0 875 44 5 3 20 0 15 0 474693010 11113619456 220518 33554432000 4194304 4196468 140733881486608 140468634450032 140469175995010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1229] ppid=1166 vsize=10853144 memory=882072 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1229/stat : 1229 (java) S 1166 1170 28461 0 -1 1077944384 47 13301 0 0 0 0 5 3 20 0 15 0 474693011 11113619456 220518 33554432000 4194304 4196468 140733881486608 140468633396064 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1230] ppid=1166 vsize=10853144 memory=882072 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1230/stat : 1230 (java) S 1166 1170 28461 0 -1 1077944384 13 13301 0 0 0 0 5 3 20 0 15 0 474693011 11113619456 220518 33554432000 4194304 4196468 140733881486608 140468516021376 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1231] ppid=1166 vsize=10853144 memory=882072 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1231/stat : 1231 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693013 11113619456 220518 33554432000 4194304 4196468 140733881486608 140467912042576 140469176002459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1232] ppid=1166 vsize=10853144 memory=882072 CPUtime=5.98 cores=0,2,4,6
/proc/1170/task/1232/stat : 1232 (java) S 1166 1170 28461 0 -1 1077944384 64553 13301 0 0 583 7 5 3 20 0 15 0 474693013 11113619456 220518 33554432000 4194304 4196468 140733881486608 140468599839344 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1233] ppid=1166 vsize=10853144 memory=164 CPUtime=5.97 cores=0,2,4,6
/proc/1170/task/1233/stat : 1233 (java) S 1166 1170 28461 0 -1 1077944384 54470 13301 0 0 580 9 5 3 20 0 15 0 474693014 11113619456 220518 33554432000 4194304 4196468 140733881486608 140468598786544 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1234] ppid=1166 vsize=10853144 memory=882072 CPUtime=4.87 cores=0,2,4,6
/proc/1170/task/1234/stat : 1234 (java) S 1166 1170 28461 0 -1 1077944384 78425 13301 0 0 470 9 5 3 20 0 15 0 474693014 11113619456 220518 33554432000 4194304 4196468 140733881486608 140468597734256 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1235] ppid=1166 vsize=10853144 memory=882072 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1235/stat : 1235 (java) S 1166 1170 28461 0 -1 1077944384 3 13301 0 0 0 0 5 3 20 0 15 0 474693014 11113619456 220518 33554432000 4194304 4196468 140733881486608 140467442281440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1236] ppid=1166 vsize=10853144 memory=1556 CPUtime=1.45 cores=0,2,4,6
/proc/1170/task/1236/stat : 1236 (java) S 1166 1170 28461 0 -1 1077944384 1462 13301 0 0 70 67 5 3 20 0 15 0 474693014 11113619456 220518 33554432000 4194304 4196468 140733881486608 140468596681136 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
Current children cumulated CPU time: 2372.46 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 882072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2349.5 s]
/proc/loadavg: 1.16 1.30 1.37 3/226 1742
/proc/meminfo: memFree=5588876/32770624 swapFree=66952564/67108860
[pid=1170] ppid=1166 vsize=10853144 memory=884160 CPUtime=2400.09 cores=0,2,4,6
/proc/1170/stat : 1170 (java) S 1166 1170 28461 0 -1 1077944320 367022 13301 0 0 239673 328 5 3 20 0 15 0 474692999 11113619456 221040 33554432000 4194304 4196468 140733881486608 140733881469152 140469175983863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
/proc/1170/statm: 2713286 221040 3634 1 0 2675341 0
[pid=1170/tid=1223] ppid=1166 vsize=10853144 memory=883612 CPUtime=2325.52 cores=0,2,4,6
/proc/1170/task/1223/stat : 1223 (java) R 1166 1170 28461 0 -1 4202560 76239 13301 0 0 232495 49 5 3 20 0 15 0 474693008 11113619456 221040 33554432000 4194304 4196468 140733881486608 140469147818928 140468754617241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1224] ppid=1166 vsize=10853144 memory=882072 CPUtime=11.88 cores=0,2,4,6
/proc/1170/task/1224/stat : 1224 (java) S 1166 1170 28461 0 -1 1077944384 17555 13301 0 0 1132 48 5 3 20 0 15 0 474693009 11113619456 221040 33554432000 4194304 4196468 140733881486608 140469180226448 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1225] ppid=1166 vsize=10853144 memory=882072 CPUtime=11.88 cores=0,2,4,6
/proc/1170/task/1225/stat : 1225 (java) S 1166 1170 28461 0 -1 1077944384 18503 13301 0 0 1134 46 5 3 20 0 15 0 474693009 11113619456 221040 33554432000 4194304 4196468 140733881486608 140469068499728 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1226] ppid=1166 vsize=10853144 memory=884160 CPUtime=11.87 cores=0,2,4,6
/proc/1170/task/1226/stat : 1226 (java) S 1166 1170 28461 0 -1 1077944384 19490 13301 0 0 1132 47 5 3 20 0 15 0 474693009 11113619456 221040 33554432000 4194304 4196468 140733881486608 140469067447440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1227] ppid=1166 vsize=10853144 memory=882072 CPUtime=11.88 cores=0,2,4,6
/proc/1170/task/1227/stat : 1227 (java) S 1166 1170 28461 0 -1 1077944384 16714 13301 0 0 1130 50 5 3 20 0 15 0 474693009 11113619456 221040 33554432000 4194304 4196468 140733881486608 140469066394640 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1228] ppid=1166 vsize=10853144 memory=884160 CPUtime=9.39 cores=0,2,4,6
/proc/1170/task/1228/stat : 1228 (java) S 1166 1170 28461 0 -1 1077944384 17333 13301 0 0 886 45 5 3 20 0 15 0 474693010 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468634450032 140469175995010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1229] ppid=1166 vsize=10853144 memory=884160 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1229/stat : 1229 (java) S 1166 1170 28461 0 -1 1077944384 47 13301 0 0 0 0 5 3 20 0 15 0 474693011 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468633396064 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1230] ppid=1166 vsize=10853144 memory=884160 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1230/stat : 1230 (java) S 1166 1170 28461 0 -1 1077944384 13 13301 0 0 0 0 5 3 20 0 15 0 474693011 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468516021376 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1231] ppid=1166 vsize=10853144 memory=884160 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1231/stat : 1231 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693013 11113619456 221040 33554432000 4194304 4196468 140733881486608 140467912042576 140469176002459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1232] ppid=1166 vsize=10853144 memory=3580 CPUtime=5.98 cores=0,2,4,6
/proc/1170/task/1232/stat : 1232 (java) S 1166 1170 28461 0 -1 1077944384 64555 13301 0 0 583 7 5 3 20 0 15 0 474693013 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468599839344 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1233] ppid=1166 vsize=10853144 memory=40120 CPUtime=5.97 cores=0,2,4,6
/proc/1170/task/1233/stat : 1233 (java) S 1166 1170 28461 0 -1 1077944384 54472 13301 0 0 580 9 5 3 20 0 15 0 474693014 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468598786544 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1234] ppid=1166 vsize=10853144 memory=3580 CPUtime=4.87 cores=0,2,4,6
/proc/1170/task/1234/stat : 1234 (java) S 1166 1170 28461 0 -1 1077944384 78427 13301 0 0 470 9 5 3 20 0 15 0 474693014 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468597734256 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1235] ppid=1166 vsize=10853144 memory=40120 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1235/stat : 1235 (java) S 1166 1170 28461 0 -1 1077944384 3 13301 0 0 0 0 5 3 20 0 15 0 474693014 11113619456 221040 33554432000 4194304 4196468 140733881486608 140467442281440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1236] ppid=1166 vsize=10853144 memory=884120 CPUtime=1.47 cores=0,2,4,6
/proc/1170/task/1236/stat : 1236 (java) S 1166 1170 28461 0 -1 1077944384 1466 13301 0 0 71 68 5 3 20 0 15 0 474693014 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468596681136 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 884160 KiB

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

[startup+2349.53 s]
# the end of solver process 1170 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.82 s, system=3.32394 s

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

[startup+2349.5 s]
/proc/loadavg: 1.16 1.30 1.37 3/226 1742
/proc/meminfo: memFree=5588876/32770624 swapFree=66952564/67108860
[pid=1170] ppid=1166 vsize=10853144 memory=884160 CPUtime=2400.09 cores=0,2,4,6
/proc/1170/stat : 1170 (java) S 1166 1170 28461 0 -1 1077944320 367022 13301 0 0 239673 328 5 3 20 0 15 0 474692999 11113619456 221040 33554432000 4194304 4196468 140733881486608 140733881469152 140469175983863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
/proc/1170/statm: 2713286 221040 3634 1 0 2675341 0
[pid=1170/tid=1223] ppid=1166 vsize=10853144 memory=883612 CPUtime=2325.52 cores=0,2,4,6
/proc/1170/task/1223/stat : 1223 (java) R 1166 1170 28461 0 -1 4202560 76239 13301 0 0 232495 49 5 3 20 0 15 0 474693008 11113619456 221040 33554432000 4194304 4196468 140733881486608 140469147818928 140468754617241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1224] ppid=1166 vsize=10853144 memory=882072 CPUtime=11.88 cores=0,2,4,6
/proc/1170/task/1224/stat : 1224 (java) S 1166 1170 28461 0 -1 1077944384 17555 13301 0 0 1132 48 5 3 20 0 15 0 474693009 11113619456 221040 33554432000 4194304 4196468 140733881486608 140469180226448 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1225] ppid=1166 vsize=10853144 memory=882072 CPUtime=11.88 cores=0,2,4,6
/proc/1170/task/1225/stat : 1225 (java) S 1166 1170 28461 0 -1 1077944384 18503 13301 0 0 1134 46 5 3 20 0 15 0 474693009 11113619456 221040 33554432000 4194304 4196468 140733881486608 140469068499728 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1226] ppid=1166 vsize=10853144 memory=884160 CPUtime=11.87 cores=0,2,4,6
/proc/1170/task/1226/stat : 1226 (java) S 1166 1170 28461 0 -1 1077944384 19490 13301 0 0 1132 47 5 3 20 0 15 0 474693009 11113619456 221040 33554432000 4194304 4196468 140733881486608 140469067447440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1227] ppid=1166 vsize=10853144 memory=882072 CPUtime=11.88 cores=0,2,4,6
/proc/1170/task/1227/stat : 1227 (java) S 1166 1170 28461 0 -1 1077944384 16714 13301 0 0 1130 50 5 3 20 0 15 0 474693009 11113619456 221040 33554432000 4194304 4196468 140733881486608 140469066394640 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1228] ppid=1166 vsize=10853144 memory=884160 CPUtime=9.39 cores=0,2,4,6
/proc/1170/task/1228/stat : 1228 (java) S 1166 1170 28461 0 -1 1077944384 17333 13301 0 0 886 45 5 3 20 0 15 0 474693010 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468634450032 140469175995010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1229] ppid=1166 vsize=10853144 memory=884160 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1229/stat : 1229 (java) S 1166 1170 28461 0 -1 1077944384 47 13301 0 0 0 0 5 3 20 0 15 0 474693011 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468633396064 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1230] ppid=1166 vsize=10853144 memory=884160 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1230/stat : 1230 (java) S 1166 1170 28461 0 -1 1077944384 13 13301 0 0 0 0 5 3 20 0 15 0 474693011 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468516021376 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1231] ppid=1166 vsize=10853144 memory=884160 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1231/stat : 1231 (java) S 1166 1170 28461 0 -1 1077944384 2 13301 0 0 0 0 5 3 20 0 15 0 474693013 11113619456 221040 33554432000 4194304 4196468 140733881486608 140467912042576 140469176002459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1232] ppid=1166 vsize=10853144 memory=3580 CPUtime=5.98 cores=0,2,4,6
/proc/1170/task/1232/stat : 1232 (java) S 1166 1170 28461 0 -1 1077944384 64555 13301 0 0 583 7 5 3 20 0 15 0 474693013 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468599839344 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1233] ppid=1166 vsize=10853144 memory=40120 CPUtime=5.97 cores=0,2,4,6
/proc/1170/task/1233/stat : 1233 (java) S 1166 1170 28461 0 -1 1077944384 54472 13301 0 0 580 9 5 3 20 0 15 0 474693014 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468598786544 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1234] ppid=1166 vsize=10853144 memory=3580 CPUtime=4.87 cores=0,2,4,6
/proc/1170/task/1234/stat : 1234 (java) S 1166 1170 28461 0 -1 1077944384 78427 13301 0 0 470 9 5 3 20 0 15 0 474693014 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468597734256 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1235] ppid=1166 vsize=10853144 memory=40120 CPUtime=0.08 cores=0,2,4,6
/proc/1170/task/1235/stat : 1235 (java) S 1166 1170 28461 0 -1 1077944384 3 13301 0 0 0 0 5 3 20 0 15 0 474693014 11113619456 221040 33554432000 4194304 4196468 140733881486608 140467442281440 140469175994069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
[pid=1170/tid=1236] ppid=1166 vsize=10853144 memory=884120 CPUtime=1.47 cores=0,2,4,6
/proc/1170/task/1236/stat : 1236 (java) S 1166 1170 28461 0 -1 1077944384 1466 13301 0 0 71 68 5 3 20 0 15 0 474693014 11113619456 221040 33554432000 4194304 4196468 140733881486608 140468596681136 140469175995010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30720000 140733881494116 140733881496757 140733881496757 140733881499599 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 884160 KiB

Child status: 143
Real time (s): 2349.53
CPU time (s): 2400.14
CPU user time (s): 2396.82
CPU system time (s): 3.32394
CPU usage (%): 102.154
Max. virtual memory (cumulated for all children) (KiB): 10853144
Max. memory (cumulated for all children) (KiB): 1054292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.82
system time used= 3.32394
maximum resident set size= 1056340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381535
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 248742
involuntary context switches= 7406


# summary of solver processes directly reported to runsolver:
#   pid: 1170
#   total CPU time (s): 2400.14
#   total CPU user time (s): 2396.82
#   total CPU system time (s): 3.32394

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9277 second user time and 25.0371 second system time

The end

Name	OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-pb-30-15-1.xml
MD5SUM	200d8ff13be0114d953e34120514972f
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	67.0084
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 4403315

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