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

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.12.2	SAT (TO)	14	2400.13	2346.63

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401515-1568690706/watcher-4401515-1568690706 -o /tmp/evaluation-result-4401515-1568690706/solver-4401515-1568690706 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568673293-1191 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1538733696 HOME/instance-4401515-1568690706.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=6578, runsolver pid=6575
Current StackSize limit: 8192 KiB


[startup+0.100164 s]*
/proc/loadavg: 1.57 1.47 1.41 3/219 6635
/proc/meminfo: memFree=29239484/32770624 swapFree=66988452/67108860
[pid=6578] ppid=6575 vsize=9972712 memory=16948 CPUtime=0.09 cores=0,2,4,6
/proc/6578/stat : 6578 (java) S 6575 6578 1158 0 -1 1077944320 4462 13178 0 0 1 0 5 3 20 0 6 0 445338377 10212057088 4237 33554432000 4194304 4196468 140737324291184 140737324273728 140361348013815 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
/proc/6578/statm: 2493178 4237 1935 1 0 2481616 0
[pid=6578/tid=6631] ppid=6575 vsize=9972712 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/6578/task/6631/stat : 6631 (java) R 6575 6578 1158 0 -1 4202560 2282 13178 0 0 1 0 5 3 20 0 6 0 445338387 10212057088 4237 33554432000 4194304 4196468 140737324291184 140361319850576 140361332094332 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6632] ppid=6575 vsize=9972712 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6632/stat : 6632 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 6 0 445338387 10212057088 4237 33554432000 4194304 4196468 140737324291184 140361352256400 140361348024021 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6633] ppid=6575 vsize=9972712 memory=140410256097584 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6633/stat : 6633 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 6 0 445338387 10212057088 4237 33554432000 4194304 4196468 140737324291184 140361277561616 140361348024021 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6634] ppid=6575 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6634/stat : 6634 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 6 0 445338387 10212057088 4237 33554432000 4194304 4196468 140737324291184 140360920259728 140361348024021 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6635] ppid=6575 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6635/stat : 6635 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 6 0 445338387 10212057088 4237 33554432000 4194304 4196468 140737324291184 140360919206928 140361348024021 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16948 KiB

[startup+0.214062 s]*
/proc/loadavg: 1.57 1.47 1.41 3/228 6644
/proc/meminfo: memFree=29213408/32770624 swapFree=66988452/67108860
[pid=6578] ppid=6575 vsize=10820196 memory=45936 CPUtime=0.27 cores=0,2,4,6
/proc/6578/stat : 6578 (java) S 6575 6578 1158 0 -1 1077944320 7373 13178 0 0 18 1 5 3 20 0 15 0 445338377 11079880704 11484 33554432000 4194304 4196468 140737324291184 140737324273728 140361348013815 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
/proc/6578/statm: 2705049 11484 3292 1 0 2667149 0
[pid=6578/tid=6631] ppid=6575 vsize=10820196 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/6578/task/6631/stat : 6631 (java) R 6575 6578 1158 0 -1 4202560 3888 13178 0 0 11 1 5 3 20 0 15 0 445338387 11079880704 11484 33554432000 4194304 4196468 140737324291184 140361319845056 140361332094302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6632] ppid=6575 vsize=10820196 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6632/stat : 6632 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338387 11079880704 11484 33554432000 4194304 4196468 140737324291184 140361352256400 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6633] ppid=6575 vsize=10820196 memory=140410256097584 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6633/stat : 6633 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338387 11079880704 11484 33554432000 4194304 4196468 140737324291184 140361277561616 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6634] ppid=6575 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6634/stat : 6634 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338387 11079880704 11484 33554432000 4194304 4196468 140737324291184 140360920259728 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6635] ppid=6575 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6635/stat : 6635 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338387 11079880704 11484 33554432000 4194304 4196468 140737324291184 140360919206928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6636] ppid=6575 vsize=10820196 memory=140410256090752 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6636/stat : 6636 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338389 11079880704 11484 33554432000 4194304 4196468 140737324291184 140360874629232 140361348024962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6637] ppid=6575 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6637/stat : 6637 (java) S 6575 6578 1158 0 -1 1077944384 13 13178 0 0 0 0 5 3 20 0 15 0 445338389 11079880704 11484 33554432000 4194304 4196468 140737324291184 140360806294304 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6638] ppid=6575 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6638/stat : 6638 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338390 11079880704 11484 33554432000 4194304 4196468 140737324291184 140360672076912 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6639] ppid=6575 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6639/stat : 6639 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338392 11079880704 11484 33554432000 4194304 4196468 140737324291184 140360068098128 140361348032411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6640] ppid=6575 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6578/task/6640/stat : 6640 (java) R 6575 6578 1158 0 -1 4202560 477 13178 0 0 1 0 5 3 20 0 15 0 445338392 11079880704 11484 33554432000 4194304 4196468 140737324291184 140360772737648 140361340303281 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6641] ppid=6575 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6641/stat : 6641 (java) S 6575 6578 1158 0 -1 1077944384 181 13178 0 0 0 0 5 3 20 0 15 0 445338392 11079880704 11484 33554432000 4194304 4196468 140737324291184 140360771684848 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6642] ppid=6575 vsize=10820196 memory=140410256090752 CPUtime=0.11 cores=0,2,4,6
/proc/6578/task/6642/stat : 6642 (java) S 6575 6578 1158 0 -1 1077944384 607 13178 0 0 3 0 5 3 20 0 15 0 445338392 11079880704 11484 33554432000 4194304 4196468 140737324291184 140360770632560 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6643] ppid=6575 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6643/stat : 6643 (java) S 6575 6578 1158 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 445338392 11079880704 11484 33554432000 4194304 4196468 140737324291184 140359598336992 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6644] ppid=6575 vsize=10820196 memory=140410256090752 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6644/stat : 6644 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338393 11079880704 11484 33554432000 4194304 4196468 140737324291184 140360769579440 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45936 KiB

[startup+0.31062 s]*
/proc/loadavg: 1.57 1.47 1.41 3/228 6644
/proc/meminfo: memFree=29201088/32770624 swapFree=66988452/67108860
[pid=6578] ppid=6575 vsize=10820196 memory=54220 CPUtime=0.4 cores=0,2,4,6
/proc/6578/stat : 6578 (java) S 6575 6578 1158 0 -1 1077944320 10750 13178 0 0 29 3 5 3 20 0 15 0 445338377 11079880704 13555 33554432000 4194304 4196468 140737324291184 140737324273728 140361348013815 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
/proc/6578/statm: 2705049 13555 3310 1 0 2667149 0
[pid=6578/tid=6631] ppid=6575 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/6578/task/6631/stat : 6631 (java) R 6575 6578 1158 0 -1 4202560 7235 13178 0 0 19 2 5 3 20 0 15 0 445338387 11079880704 13555 33554432000 4194304 4196468 140737324291184 140361319836208 140361348035741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6632] ppid=6575 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6632/stat : 6632 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338387 11079880704 13555 33554432000 4194304 4196468 140737324291184 140361352256400 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6633] ppid=6575 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6633/stat : 6633 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338387 11079880704 13555 33554432000 4194304 4196468 140737324291184 140361277561616 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6634] ppid=6575 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6634/stat : 6634 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338387 11079880704 13555 33554432000 4194304 4196468 140737324291184 140360920259728 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6635] ppid=6575 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6635/stat : 6635 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338387 11079880704 13555 33554432000 4194304 4196468 140737324291184 140360919206928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6636] ppid=6575 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6636/stat : 6636 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338389 11079880704 13555 33554432000 4194304 4196468 140737324291184 140360874629232 140361348024962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6637] ppid=6575 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6637/stat : 6637 (java) S 6575 6578 1158 0 -1 1077944384 13 13178 0 0 0 0 5 3 20 0 15 0 445338389 11079880704 13555 33554432000 4194304 4196468 140737324291184 140360806294304 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6638] ppid=6575 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6638/stat : 6638 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338390 11079880704 13555 33554432000 4194304 4196468 140737324291184 140360672076912 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6639] ppid=6575 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6639/stat : 6639 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338392 11079880704 13555 33554432000 4194304 4196468 140737324291184 140360068098128 140361348032411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6640] ppid=6575 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6578/task/6640/stat : 6640 (java) S 6575 6578 1158 0 -1 1077944384 479 13178 0 0 2 0 5 3 20 0 15 0 445338392 11079880704 13555 33554432000 4194304 4196468 140737324291184 140360772737648 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6641] ppid=6575 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/6578/task/6641/stat : 6641 (java) S 6575 6578 1158 0 -1 1077944384 181 13178 0 0 1 0 5 3 20 0 15 0 445338392 11079880704 13555 33554432000 4194304 4196468 140737324291184 140360771684848 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6642] ppid=6575 vsize=10820196 memory=140410256090752 CPUtime=0.13 cores=0,2,4,6
/proc/6578/task/6642/stat : 6642 (java) S 6575 6578 1158 0 -1 1077944384 625 13178 0 0 5 0 5 3 20 0 15 0 445338392 11079880704 13555 33554432000 4194304 4196468 140737324291184 140360770632560 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6643] ppid=6575 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6643/stat : 6643 (java) S 6575 6578 1158 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 445338392 11079880704 13555 33554432000 4194304 4196468 140737324291184 140359598336992 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6644] ppid=6575 vsize=10820196 memory=140410256090752 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6644/stat : 6644 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338393 11079880704 13555 33554432000 4194304 4196468 140737324291184 140360769579440 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54220 KiB

[startup+0.70072 s]
/proc/loadavg: 1.57 1.47 1.41 3/228 6644
/proc/meminfo: memFree=29187440/32770624 swapFree=66988452/67108860
[pid=6578] ppid=6575 vsize=10824364 memory=87172 CPUtime=1.13 cores=0,2,4,6
/proc/6578/stat : 6578 (java) S 6575 6578 1158 0 -1 1077944320 14995 13178 0 0 101 4 5 3 20 0 15 0 445338377 11084148736 21793 33554432000 4194304 4196468 140737324291184 140737324273728 140361348013815 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
/proc/6578/statm: 2706091 21793 3508 1 0 2668173 0
[pid=6578/tid=6631] ppid=6575 vsize=10824364 memory=7660742144744843625 CPUtime=0.67 cores=0,2,4,6
/proc/6578/task/6631/stat : 6631 (java) R 6575 6578 1158 0 -1 4202560 10563 13178 0 0 56 3 5 3 20 0 15 0 445338387 11084148736 21793 33554432000 4194304 4196468 140737324291184 140361319841440 140361348035741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6632] ppid=6575 vsize=10824364 memory=38516 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6632/stat : 6632 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338387 11084148736 21793 33554432000 4194304 4196468 140737324291184 140361352256400 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6633] ppid=6575 vsize=10824364 memory=280820262647264 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6633/stat : 6633 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338387 11084148736 21793 33554432000 4194304 4196468 140737324291184 140361277561616 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6634] ppid=6575 vsize=10824364 memory=280820262662464 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6634/stat : 6634 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338387 11084148736 21793 33554432000 4194304 4196468 140737324291184 140360920259728 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6635] ppid=6575 vsize=10824364 memory=140410256089633 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6635/stat : 6635 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338387 11084148736 21793 33554432000 4194304 4196468 140737324291184 140360919206928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6636] ppid=6575 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6636/stat : 6636 (java) S 6575 6578 1158 0 -1 1077944384 5 13178 0 0 0 0 5 3 20 0 15 0 445338389 11084148736 21793 33554432000 4194304 4196468 140737324291184 140360874629232 140361348024962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6637] ppid=6575 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6637/stat : 6637 (java) S 6575 6578 1158 0 -1 1077944384 13 13178 0 0 0 0 5 3 20 0 15 0 445338389 11084148736 21793 33554432000 4194304 4196468 140737324291184 140360806294304 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6638] ppid=6575 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6638/stat : 6638 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338390 11084148736 21793 33554432000 4194304 4196468 140737324291184 140360672076912 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6639] ppid=6575 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6639/stat : 6639 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338392 11084148736 21793 33554432000 4194304 4196468 140737324291184 140360068098128 140361348032411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6640] ppid=6575 vsize=10824364 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/6578/task/6640/stat : 6640 (java) R 6575 6578 1158 0 -1 1077944384 915 13178 0 0 14 0 5 3 20 0 15 0 445338392 11084148736 21793 33554432000 4194304 4196468 140737324291184 140360772737648 140361348024962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6641] ppid=6575 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/6578/task/6641/stat : 6641 (java) R 6575 6578 1158 0 -1 4202560 525 13178 0 0 12 0 5 3 20 0 15 0 445338392 11084148736 21793 33554432000 4194304 4196468 140737324291184 140360771684848 140361340998857 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6642] ppid=6575 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/6578/task/6642/stat : 6642 (java) S 6575 6578 1158 0 -1 1077944384 756 13178 0 0 17 0 5 3 20 0 15 0 445338392 11084148736 21793 33554432000 4194304 4196468 140737324291184 140360770632560 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6643] ppid=6575 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6643/stat : 6643 (java) S 6575 6578 1158 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 445338392 11084148736 21793 33554432000 4194304 4196468 140737324291184 140359598336992 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6644] ppid=6575 vsize=10824364 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6644/stat : 6644 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338393 11084148736 21793 33554432000 4194304 4196468 140737324291184 140360769579440 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87172 KiB

[startup+1.50073 s]
/proc/loadavg: 1.57 1.47 1.41 6/228 6644
/proc/meminfo: memFree=29133580/32770624 swapFree=66988452/67108860
[pid=6578] ppid=6575 vsize=10834680 memory=202284 CPUtime=3.07 cores=0,2,4,6
/proc/6578/stat : 6578 (java) S 6575 6578 1158 0 -1 1077944320 28142 13178 0 0 289 10 5 3 20 0 15 0 445338377 11094712320 50571 33554432000 4194304 4196468 140737324291184 140737324273728 140361348013815 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
/proc/6578/statm: 2708670 50571 3591 1 0 2670733 0
[pid=6578/tid=6631] ppid=6575 vsize=10834680 memory=28535762721270 CPUtime=1.44 cores=0,2,4,6
/proc/6578/task/6631/stat : 6631 (java) R 6575 6578 1158 0 -1 4202560 15735 13178 0 0 130 6 5 3 20 0 15 0 445338387 11094712320 50571 33554432000 4194304 4196468 140737324291184 140361319844720 140361332094302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6632] ppid=6575 vsize=10834680 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/6578/task/6632/stat : 6632 (java) S 6575 6578 1158 0 -1 1077944384 65 13178 0 0 1 0 5 3 20 0 15 0 445338387 11094712320 50571 33554432000 4194304 4196468 140737324291184 140361352256400 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6633] ppid=6575 vsize=10834680 memory=131523 CPUtime=0.09 cores=0,2,4,6
/proc/6578/task/6633/stat : 6633 (java) S 6575 6578 1158 0 -1 1077944384 37 13178 0 0 1 0 5 3 20 0 15 0 445338387 11094712320 50571 33554432000 4194304 4196468 140737324291184 140361277561616 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6634] ppid=6575 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6578/task/6634/stat : 6634 (java) S 6575 6578 1158 0 -1 1077944384 309 13178 0 0 1 0 5 3 20 0 15 0 445338387 11094712320 50571 33554432000 4194304 4196468 140737324291184 140360920259728 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6635] ppid=6575 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6578/task/6635/stat : 6635 (java) S 6575 6578 1158 0 -1 1077944384 80 13178 0 0 1 0 5 3 20 0 15 0 445338387 11094712320 50571 33554432000 4194304 4196468 140737324291184 140360919206928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6636] ppid=6575 vsize=10834680 memory=280820262654848 CPUtime=0.09 cores=0,2,4,6
/proc/6578/task/6636/stat : 6636 (java) S 6575 6578 1158 0 -1 1077944384 128 13178 0 0 1 0 5 3 20 0 15 0 445338389 11094712320 50571 33554432000 4194304 4196468 140737324291184 140360874629232 140361348024962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6637] ppid=6575 vsize=10834680 memory=280820263082016 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6637/stat : 6637 (java) S 6575 6578 1158 0 -1 1077944384 14 13178 0 0 0 0 5 3 20 0 15 0 445338389 11094712320 50571 33554432000 4194304 4196468 140737324291184 140360806294368 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6638] ppid=6575 vsize=10834680 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6638/stat : 6638 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338390 11094712320 50571 33554432000 4194304 4196468 140737324291184 140360672076928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6639] ppid=6575 vsize=10834680 memory=6935649255759568960 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6639/stat : 6639 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338392 11094712320 50571 33554432000 4194304 4196468 140737324291184 140360068098128 140361348032411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6640] ppid=6575 vsize=10834680 memory=140410131430759 CPUtime=0.57 cores=0,2,4,6
/proc/6578/task/6640/stat : 6640 (java) S 6575 6578 1158 0 -1 1077944384 2227 13178 0 0 49 0 5 3 20 0 15 0 445338392 11094712320 50571 33554432000 4194304 4196468 140737324291184 140360772737648 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6641] ppid=6575 vsize=10834680 memory=-7233780906022716832 CPUtime=0.63 cores=0,2,4,6
/proc/6578/task/6641/stat : 6641 (java) S 6575 6578 1158 0 -1 1077944384 5099 13178 0 0 55 0 5 3 20 0 15 0 445338392 11094712320 50571 33554432000 4194304 4196468 140737324291184 140360771684848 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6642] ppid=6575 vsize=10834680 memory=-7531822216213012384 CPUtime=0.54 cores=0,2,4,6
/proc/6578/task/6642/stat : 6642 (java) S 6575 6578 1158 0 -1 1077944384 2235 13178 0 0 46 0 5 3 20 0 15 0 445338392 11094712320 50571 33554432000 4194304 4196468 140737324291184 140360770632560 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6643] ppid=6575 vsize=10834680 memory=6944656592452807323 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6643/stat : 6643 (java) S 6575 6578 1158 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 445338392 11094712320 50571 33554432000 4194304 4196468 140737324291184 140359598336992 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6644] ppid=6575 vsize=10834680 memory=6944656592452938395 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6644/stat : 6644 (java) S 6575 6578 1158 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 445338393 11094712320 50571 33554432000 4194304 4196468 140737324291184 140360769579440 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 10834680 KiB

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

/proc/6578/task/6631/stat : 6631 (java) R 6575 6578 1158 0 -1 4202560 70521 13178 0 0 217916 56 5 3 20 0 15 0 445338387 11113619456 229141 33554432000 4194304 4196468 140737324291184 140361319849488 140360966796032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6632] ppid=6575 vsize=10853144 memory=3620 CPUtime=11.32 cores=0,2,4,6
/proc/6578/task/6632/stat : 6632 (java) S 6575 6578 1158 0 -1 1077944384 12265 13178 0 0 1077 47 5 3 20 0 15 0 445338387 11113619456 229141 33554432000 4194304 4196468 140737324291184 140361352256400 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6633] ppid=6575 vsize=10853144 memory=916564 CPUtime=11.33 cores=0,2,4,6
/proc/6578/task/6633/stat : 6633 (java) S 6575 6578 1158 0 -1 1077944384 12766 13178 0 0 1079 46 5 3 20 0 15 0 445338387 11113619456 229141 33554432000 4194304 4196468 140737324291184 140361277561616 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6634] ppid=6575 vsize=10853144 memory=916564 CPUtime=11.32 cores=0,2,4,6
/proc/6578/task/6634/stat : 6634 (java) S 6575 6578 1158 0 -1 1077944384 10216 13178 0 0 1081 43 5 3 20 0 15 0 445338387 11113619456 229141 33554432000 4194304 4196468 140737324291184 140360920259728 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6635] ppid=6575 vsize=10853144 memory=916564 CPUtime=11.33 cores=0,2,4,6
/proc/6578/task/6635/stat : 6635 (java) S 6575 6578 1158 0 -1 1077944384 18206 13178 0 0 1071 54 5 3 20 0 15 0 445338387 11113619456 229141 33554432000 4194304 4196468 140737324291184 140360919206928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6636] ppid=6575 vsize=10853144 memory=916564 CPUtime=9.08 cores=0,2,4,6
/proc/6578/task/6636/stat : 6636 (java) S 6575 6578 1158 0 -1 1077944384 14356 13178 0 0 854 46 5 3 20 0 15 0 445338389 11113619456 229141 33554432000 4194304 4196468 140737324291184 140360874629232 140361348024962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6637] ppid=6575 vsize=10853144 memory=916564 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6637/stat : 6637 (java) S 6575 6578 1158 0 -1 1077944384 19 13178 0 0 0 0 5 3 20 0 15 0 445338389 11113619456 229141 33554432000 4194304 4196468 140737324291184 140360806294368 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6638] ppid=6575 vsize=10853144 memory=916564 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6638/stat : 6638 (java) S 6575 6578 1158 0 -1 1077944384 6 13178 0 0 0 0 5 3 20 0 15 0 445338390 11113619456 229141 33554432000 4194304 4196468 140737324291184 140360672076928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6639] ppid=6575 vsize=10853144 memory=916564 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6639/stat : 6639 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338392 11113619456 229141 33554432000 4194304 4196468 140737324291184 140360068098128 140361348032411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6640] ppid=6575 vsize=10853144 memory=916564 CPUtime=6.47 cores=0,2,4,6
/proc/6578/task/6640/stat : 6640 (java) S 6575 6578 1158 0 -1 1077944384 63618 13178 0 0 630 9 5 3 20 0 15 0 445338392 11113619456 229141 33554432000 4194304 4196468 140737324291184 140360772737648 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6641] ppid=6575 vsize=10853144 memory=916564 CPUtime=6.91 cores=0,2,4,6
/proc/6578/task/6641/stat : 6641 (java) S 6575 6578 1158 0 -1 1077944384 63296 13178 0 0 675 8 5 3 20 0 15 0 445338392 11113619456 229141 33554432000 4194304 4196468 140737324291184 140360771684848 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6642] ppid=6575 vsize=10853144 memory=740 CPUtime=5.17 cores=0,2,4,6
/proc/6578/task/6642/stat : 6642 (java) S 6575 6578 1158 0 -1 1077944384 76813 13178 0 0 496 13 5 3 20 0 15 0 445338392 11113619456 229141 33554432000 4194304 4196468 140737324291184 140360770632560 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6643] ppid=6575 vsize=10853144 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6643/stat : 6643 (java) S 6575 6578 1158 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 445338392 11113619456 229141 33554432000 4194304 4196468 140737324291184 140359598336992 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6644] ppid=6575 vsize=10853144 memory=916564 CPUtime=1.38 cores=0,2,4,6
/proc/6578/task/6644/stat : 6644 (java) S 6575 6578 1158 0 -1 1077944384 1375 13178 0 0 69 61 5 3 20 0 15 0 445338393 11113619456 229141 33554432000 4194304 4196468 140737324291184 140360769579440 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
Current children cumulated CPU time: 2253.5 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 916564 KiB

[startup+2262.3 s]
/proc/loadavg: 1.21 1.35 1.45 3/229 7642
/proc/meminfo: memFree=29197096/32770624 swapFree=66988536/67108860
[pid=6578] ppid=6575 vsize=10853144 memory=910916 CPUtime=2314.44 cores=0,2,4,6
/proc/6578/stat : 6578 (java) S 6575 6578 1158 0 -1 1077944320 347402 13178 0 0 231092 344 5 3 20 0 15 0 445338377 11113619456 227729 33554432000 4194304 4196468 140737324291184 140737324273728 140361348013815 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
/proc/6578/statm: 2713286 227729 3630 1 0 2675341 0
[pid=6578/tid=6631] ppid=6575 vsize=10853144 memory=910916 CPUtime=2239.16 cores=0,2,4,6
/proc/6578/task/6631/stat : 6631 (java) R 6575 6578 1158 0 -1 4202560 71296 13178 0 0 223852 56 5 3 20 0 15 0 445338387 11113619456 227729 33554432000 4194304 4196468 140737324291184 140361319848720 140360952738097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6632] ppid=6575 vsize=10853144 memory=910916 CPUtime=11.65 cores=0,2,4,6
/proc/6578/task/6632/stat : 6632 (java) S 6575 6578 1158 0 -1 1077944384 12339 13178 0 0 1109 48 5 3 20 0 15 0 445338387 11113619456 227729 33554432000 4194304 4196468 140737324291184 140361352256400 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6633] ppid=6575 vsize=10853144 memory=910916 CPUtime=11.66 cores=0,2,4,6
/proc/6578/task/6633/stat : 6633 (java) S 6575 6578 1158 0 -1 1077944384 12880 13178 0 0 1109 49 5 3 20 0 15 0 445338387 11113619456 227729 33554432000 4194304 4196468 140737324291184 140361277561616 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6634] ppid=6575 vsize=10853144 memory=910916 CPUtime=11.64 cores=0,2,4,6
/proc/6578/task/6634/stat : 6634 (java) S 6575 6578 1158 0 -1 1077944384 10666 13178 0 0 1112 44 5 3 20 0 15 0 445338387 11113619456 227729 33554432000 4194304 4196468 140737324291184 140360920259728 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6635] ppid=6575 vsize=10853144 memory=910916 CPUtime=11.65 cores=0,2,4,6
/proc/6578/task/6635/stat : 6635 (java) S 6575 6578 1158 0 -1 1077944384 18288 13178 0 0 1102 55 5 3 20 0 15 0 445338387 11113619456 227729 33554432000 4194304 4196468 140737324291184 140360919206928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6636] ppid=6575 vsize=10853144 memory=910916 CPUtime=9.33 cores=0,2,4,6
/proc/6578/task/6636/stat : 6636 (java) S 6575 6578 1158 0 -1 1077944384 14572 13178 0 0 878 47 5 3 20 0 15 0 445338389 11113619456 227729 33554432000 4194304 4196468 140737324291184 140360874629232 140361348024962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6637] ppid=6575 vsize=10853144 memory=910916 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6637/stat : 6637 (java) S 6575 6578 1158 0 -1 1077944384 19 13178 0 0 0 0 5 3 20 0 15 0 445338389 11113619456 227729 33554432000 4194304 4196468 140737324291184 140360806294368 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6638] ppid=6575 vsize=10853144 memory=910916 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6638/stat : 6638 (java) S 6575 6578 1158 0 -1 1077944384 6 13178 0 0 0 0 5 3 20 0 15 0 445338390 11113619456 227729 33554432000 4194304 4196468 140737324291184 140360672076928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6639] ppid=6575 vsize=10853144 memory=984 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6639/stat : 6639 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338392 11113619456 227729 33554432000 4194304 4196468 140737324291184 140360068098128 140361348032411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6640] ppid=6575 vsize=10853144 memory=910916 CPUtime=6.47 cores=0,2,4,6
/proc/6578/task/6640/stat : 6640 (java) S 6575 6578 1158 0 -1 1077944384 63620 13178 0 0 630 9 5 3 20 0 15 0 445338392 11113619456 227729 33554432000 4194304 4196468 140737324291184 140360772737648 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6641] ppid=6575 vsize=10853144 memory=910916 CPUtime=6.91 cores=0,2,4,6
/proc/6578/task/6641/stat : 6641 (java) S 6575 6578 1158 0 -1 1077944384 63298 13178 0 0 675 8 5 3 20 0 15 0 445338392 11113619456 227729 33554432000 4194304 4196468 140737324291184 140360771684848 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6642] ppid=6575 vsize=10853144 memory=910916 CPUtime=5.17 cores=0,2,4,6
/proc/6578/task/6642/stat : 6642 (java) S 6575 6578 1158 0 -1 1077944384 76815 13178 0 0 496 13 5 3 20 0 15 0 445338392 11113619456 227729 33554432000 4194304 4196468 140737324291184 140360770632560 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6643] ppid=6575 vsize=10853144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6643/stat : 6643 (java) S 6575 6578 1158 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 445338392 11113619456 227729 33554432000 4194304 4196468 140737324291184 140359598336992 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6644] ppid=6575 vsize=10853144 memory=280816907717740 CPUtime=1.42 cores=0,2,4,6
/proc/6578/task/6644/stat : 6644 (java) S 6575 6578 1158 0 -1 1077944384 1392 13178 0 0 71 63 5 3 20 0 15 0 445338393 11113619456 227729 33554432000 4194304 4196468 140737324291184 140360769579440 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
Current children cumulated CPU time: 2314.44 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 910916 KiB

[startup+2322.3 s]
/proc/loadavg: 1.31 1.35 1.44 3/229 7646
/proc/meminfo: memFree=29244612/32770624 swapFree=66988536/67108860
[pid=6578] ppid=6575 vsize=10853144 memory=909380 CPUtime=2375.38 cores=0,2,4,6
/proc/6578/stat : 6578 (java) S 6575 6578 1158 0 -1 1077944320 348843 13178 0 0 237178 352 5 3 20 0 15 0 445338377 11113619456 227345 33554432000 4194304 4196468 140737324291184 140737324273728 140361348013815 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
/proc/6578/statm: 2713286 227345 3630 1 0 2675341 0
[pid=6578/tid=6631] ppid=6575 vsize=10853144 memory=909380 CPUtime=2298.53 cores=0,2,4,6
/proc/6578/task/6631/stat : 6631 (java) R 6575 6578 1158 0 -1 4202560 71962 13178 0 0 229788 57 5 3 20 0 15 0 445338387 11113619456 227345 33554432000 4194304 4196468 140737324291184 140361319849232 140360959638790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6632] ppid=6575 vsize=10853144 memory=909380 CPUtime=11.97 cores=0,2,4,6
/proc/6578/task/6632/stat : 6632 (java) S 6575 6578 1158 0 -1 1077944384 12697 13178 0 0 1139 50 5 3 20 0 15 0 445338387 11113619456 227345 33554432000 4194304 4196468 140737324291184 140361352256400 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6633] ppid=6575 vsize=10853144 memory=909380 CPUtime=11.97 cores=0,2,4,6
/proc/6578/task/6633/stat : 6633 (java) S 6575 6578 1158 0 -1 1077944384 12930 13178 0 0 1139 50 5 3 20 0 15 0 445338387 11113619456 227345 33554432000 4194304 4196468 140737324291184 140361277561616 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6634] ppid=6575 vsize=10853144 memory=909380 CPUtime=11.97 cores=0,2,4,6
/proc/6578/task/6634/stat : 6634 (java) S 6575 6578 1158 0 -1 1077944384 10756 13178 0 0 1143 46 5 3 20 0 15 0 445338387 11113619456 227345 33554432000 4194304 4196468 140737324291184 140360920259728 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6635] ppid=6575 vsize=10853144 memory=909380 CPUtime=11.97 cores=0,2,4,6
/proc/6578/task/6635/stat : 6635 (java) S 6575 6578 1158 0 -1 1077944384 18321 13178 0 0 1133 56 5 3 20 0 15 0 445338387 11113619456 227345 33554432000 4194304 4196468 140737324291184 140360919206928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6636] ppid=6575 vsize=10853144 memory=909380 CPUtime=9.58 cores=0,2,4,6
/proc/6578/task/6636/stat : 6636 (java) S 6575 6578 1158 0 -1 1077944384 14802 13178 0 0 902 48 5 3 20 0 15 0 445338389 11113619456 227345 33554432000 4194304 4196468 140737324291184 140360874629232 140361348024962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6637] ppid=6575 vsize=10853144 memory=909380 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6637/stat : 6637 (java) S 6575 6578 1158 0 -1 1077944384 19 13178 0 0 0 0 5 3 20 0 15 0 445338389 11113619456 227345 33554432000 4194304 4196468 140737324291184 140360806294368 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6638] ppid=6575 vsize=10853144 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6638/stat : 6638 (java) S 6575 6578 1158 0 -1 1077944384 6 13178 0 0 0 0 5 3 20 0 15 0 445338390 11113619456 227345 33554432000 4194304 4196468 140737324291184 140360672076928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6639] ppid=6575 vsize=10853144 memory=909380 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6639/stat : 6639 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338392 11113619456 227345 33554432000 4194304 4196468 140737324291184 140360068098128 140361348032411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6640] ppid=6575 vsize=10853144 memory=909380 CPUtime=6.47 cores=0,2,4,6
/proc/6578/task/6640/stat : 6640 (java) S 6575 6578 1158 0 -1 1077944384 63622 13178 0 0 630 9 5 3 20 0 15 0 445338392 11113619456 227345 33554432000 4194304 4196468 140737324291184 140360772737648 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6641] ppid=6575 vsize=10853144 memory=909380 CPUtime=6.91 cores=0,2,4,6
/proc/6578/task/6641/stat : 6641 (java) S 6575 6578 1158 0 -1 1077944384 63300 13178 0 0 675 8 5 3 20 0 15 0 445338392 11113619456 227345 33554432000 4194304 4196468 140737324291184 140360771684848 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6642] ppid=6575 vsize=10853144 memory=3620 CPUtime=5.17 cores=0,2,4,6
/proc/6578/task/6642/stat : 6642 (java) S 6575 6578 1158 0 -1 1077944384 76817 13178 0 0 496 13 5 3 20 0 15 0 445338392 11113619456 227345 33554432000 4194304 4196468 140737324291184 140360770632560 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6643] ppid=6575 vsize=10853144 memory=38620 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6643/stat : 6643 (java) S 6575 6578 1158 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 445338392 11113619456 227345 33554432000 4194304 4196468 140737324291184 140359598336992 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6644] ppid=6575 vsize=10853144 memory=288230574492221466 CPUtime=1.46 cores=0,2,4,6
/proc/6578/task/6644/stat : 6644 (java) S 6575 6578 1158 0 -1 1077944384 1400 13178 0 0 73 65 5 3 20 0 15 0 445338393 11113619456 227345 33554432000 4194304 4196468 140737324291184 140360769579440 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
Current children cumulated CPU time: 2375.38 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 909380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2346.6 s]
/proc/loadavg: 1.20 1.32 1.43 3/229 7650
/proc/meminfo: memFree=29289848/32770624 swapFree=66988536/67108860
[pid=6578] ppid=6575 vsize=10853144 memory=908864 CPUtime=2400.08 cores=0,2,4,6
/proc/6578/stat : 6578 (java) S 6575 6578 1158 0 -1 1077944320 349451 13178 0 0 239646 354 5 3 20 0 15 0 445338377 11113619456 227216 33554432000 4194304 4196468 140737324291184 140737324273728 140361348013815 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
/proc/6578/statm: 2713286 227216 3630 1 0 2675341 0
[pid=6578/tid=6631] ppid=6575 vsize=10853144 memory=984 CPUtime=2322.57 cores=0,2,4,6
/proc/6578/task/6631/stat : 6631 (java) R 6575 6578 1158 0 -1 4202560 72200 13178 0 0 232192 57 5 3 20 0 15 0 445338387 11113619456 227216 33554432000 4194304 4196468 140737324291184 140361319849360 140360966159654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6632] ppid=6575 vsize=10853144 memory=2004 CPUtime=12.11 cores=0,2,4,6
/proc/6578/task/6632/stat : 6632 (java) S 6575 6578 1158 0 -1 1077944384 12800 13178 0 0 1153 50 5 3 20 0 15 0 445338387 11113619456 227216 33554432000 4194304 4196468 140737324291184 140361352256400 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6633] ppid=6575 vsize=10853144 memory=8112282956445269571 CPUtime=12.1 cores=0,2,4,6
/proc/6578/task/6633/stat : 6633 (java) S 6575 6578 1158 0 -1 1077944384 12961 13178 0 0 1152 50 5 3 20 0 15 0 445338387 11113619456 227216 33554432000 4194304 4196468 140737324291184 140361277561616 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6634] ppid=6575 vsize=10853144 memory=3288 CPUtime=12.11 cores=0,2,4,6
/proc/6578/task/6634/stat : 6634 (java) S 6575 6578 1158 0 -1 1077944384 10776 13178 0 0 1157 46 5 3 20 0 15 0 445338387 11113619456 227216 33554432000 4194304 4196468 140737324291184 140360920259728 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6635] ppid=6575 vsize=10853144 memory=908864 CPUtime=12.1 cores=0,2,4,6
/proc/6578/task/6635/stat : 6635 (java) S 6575 6578 1158 0 -1 1077944384 18343 13178 0 0 1145 57 5 3 20 0 15 0 445338387 11113619456 227216 33554432000 4194304 4196468 140737324291184 140360919206928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6636] ppid=6575 vsize=10853144 memory=1408 CPUtime=9.69 cores=0,2,4,6
/proc/6578/task/6636/stat : 6636 (java) S 6575 6578 1158 0 -1 1077944384 14984 13178 0 0 912 49 5 3 20 0 15 0 445338389 11113619456 227216 33554432000 4194304 4196468 140737324291184 140360874629232 140361348024962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6637] ppid=6575 vsize=10853144 memory=3260 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6637/stat : 6637 (java) S 6575 6578 1158 0 -1 1077944384 19 13178 0 0 0 0 5 3 20 0 15 0 445338389 11113619456 227216 33554432000 4194304 4196468 140737324291184 140360806294368 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6638] ppid=6575 vsize=10853144 memory=935008 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6638/stat : 6638 (java) S 6575 6578 1158 0 -1 1077944384 6 13178 0 0 0 0 5 3 20 0 15 0 445338390 11113619456 227216 33554432000 4194304 4196468 140737324291184 140360672076928 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6639] ppid=6575 vsize=10853144 memory=4100 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6639/stat : 6639 (java) S 6575 6578 1158 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 445338392 11113619456 227216 33554432000 4194304 4196468 140737324291184 140360068098128 140361348032411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6640] ppid=6575 vsize=10853144 memory=1736 CPUtime=6.47 cores=0,2,4,6
/proc/6578/task/6640/stat : 6640 (java) S 6575 6578 1158 0 -1 1077944384 63622 13178 0 0 630 9 5 3 20 0 15 0 445338392 11113619456 227216 33554432000 4194304 4196468 140737324291184 140360772737648 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6641] ppid=6575 vsize=10853144 memory=1398722017469774279 CPUtime=6.91 cores=0,2,4,6
/proc/6578/task/6641/stat : 6641 (java) S 6575 6578 1158 0 -1 1077944384 63300 13178 0 0 675 8 5 3 20 0 15 0 445338392 11113619456 227216 33554432000 4194304 4196468 140737324291184 140360771684848 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6642] ppid=6575 vsize=10853144 memory=4126316290023845779 CPUtime=5.17 cores=0,2,4,6
/proc/6578/task/6642/stat : 6642 (java) S 6575 6578 1158 0 -1 1077944384 76818 13178 0 0 496 13 5 3 20 0 15 0 445338392 11113619456 227216 33554432000 4194304 4196468 140737324291184 140360770632560 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6643] ppid=6575 vsize=10853144 memory=20976 CPUtime=0.08 cores=0,2,4,6
/proc/6578/task/6643/stat : 6643 (java) S 6575 6578 1158 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 445338392 11113619456 227216 33554432000 4194304 4196468 140737324291184 140359598336992 140361348024021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
[pid=6578/tid=6644] ppid=6575 vsize=10853144 memory=301741373374332954 CPUtime=1.47 cores=0,2,4,6
/proc/6578/task/6644/stat : 6644 (java) S 6575 6578 1158 0 -1 1077944384 1411 13178 0 0 74 65 5 3 20 0 15 0 445338393 11113619456 227216 33554432000 4194304 4196468 140737324291184 140360769579440 140361348024962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140737324292847 140737324295365 140737324295365 140737324298191 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 908864 KiB

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

[startup+2346.63 s]
# the end of solver process 6578 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.55 s, system=3.58587 s

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

Child status: 143
Real time (s): 2346.63
CPU time (s): 2400.13
CPU user time (s): 2396.55
CPU system time (s): 3.58587
CPU usage (%): 102.28
Max. virtual memory (cumulated for all children) (KiB): 10856768
Max. memory (cumulated for all children) (KiB): 1077000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.55
system time used= 3.58587
maximum resident set size= 1079048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363718
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 255346
involuntary context switches= 5707


# summary of solver processes directly reported to runsolver:
#   pid: 6578
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2396.55
#   total CPU system time (s): 3.58587

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9732 second user time and 22.3548 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 4401515

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