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)	10	2400.05	2349.43

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401314-1568678790/watcher-4401314-1568678790 -o /tmp/evaluation-result-4401314-1568678790/solver-4401314-1568678790 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568673291-25919 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=434527036 HOME/instance-4401314-1568678790.xml 

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

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

solver pid=28225, runsolver pid=28222

[startup+0.1105 s]*
/proc/loadavg: 1.50 1.58 1.59 3/220 28282
/proc/meminfo: memFree=26666028/32770624 swapFree=66939904/67108860
[pid=28225] ppid=28222 vsize=10355560 memory=22684 CPUtime=0.09 cores=1,3,5,7
/proc/28225/stat : 28225 (java) S 28222 28225 25887 0 -1 1077944320 4900 13007 0 0 2 0 4 3 20 0 9 0 443793827 10604093440 5671 33554432000 4194304 4196468 140733688399856 140733688382400 139659819892471 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
/proc/28225/statm: 2588890 5671 2102 1 0 2551431 0
[pid=28225/tid=28278] ppid=28222 vsize=10355560 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/28225/task/28278/stat : 28278 (java) R 28222 28225 25887 0 -1 4202560 2678 13007 0 0 2 0 4 3 20 0 9 0 443793836 10604093440 5671 33554432000 4194304 4196468 140733688399856 139659791728496 139659803972958 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28279] ppid=28222 vsize=10355560 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28279/stat : 28279 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 9 0 443793837 10604093440 5671 33554432000 4194304 4196468 140733688399856 139659824135184 139659819902677 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28280] ppid=28222 vsize=10355560 memory=140122986952320 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28280/stat : 28280 (java) S 28222 28225 25887 0 -1 1077944384 2 13007 0 0 0 0 4 3 20 0 9 0 443793837 10604093440 5671 33554432000 4194304 4196468 140733688399856 139659723025552 139659819902677 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28281] ppid=28222 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28281/stat : 28281 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 9 0 443793837 10604093440 5671 33554432000 4194304 4196468 140733688399856 139659721972496 139659819902677 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28282] ppid=28222 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28282/stat : 28282 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 9 0 443793837 10604093440 5671 33554432000 4194304 4196468 140733688399856 139659390610320 139659819902677 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28283] ppid=28222 vsize=10355560 memory=140122986952320 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28283/stat : 28283 (java) S 28222 28225 25887 0 -1 1077944384 2 13007 0 0 0 0 4 3 20 0 9 0 443793838 10604093440 5671 33554432000 4194304 4196468 140733688399856 139659279341808 139659819903618 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28284] ppid=28222 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28284/stat : 28284 (java) S 28222 28225 25887 0 -1 1077944384 13 13007 0 0 0 0 4 3 20 0 9 0 443793839 10604093440 5671 33554432000 4194304 4196468 140733688399856 139658713359520 139659819902677 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28285] ppid=28222 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28285/stat : 28285 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 9 0 443793839 10604093440 5671 33554432000 4194304 4196468 140733688399856 139658579141424 139659819902677 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 22684 KiB

[startup+0.210415 s]*
/proc/loadavg: 1.50 1.58 1.59 4/229 28291
/proc/meminfo: memFree=26648640/32770624 swapFree=66939904/67108860
[pid=28225] ppid=28222 vsize=10820196 memory=42272 CPUtime=0.26 cores=1,3,5,7
/proc/28225/stat : 28225 (java) S 28222 28225 25887 0 -1 1077944320 7405 13007 0 0 17 2 4 3 20 0 15 0 443793827 11079880704 10568 33554432000 4194304 4196468 140733688399856 140733688382400 139659819892471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
/proc/28225/statm: 2705049 10568 3269 1 0 2667149 0
[pid=28225/tid=28278] ppid=28222 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/28225/task/28278/stat : 28278 (java) R 28222 28225 25887 0 -1 4202560 3902 13007 0 0 11 1 4 3 20 0 15 0 443793836 11079880704 10568 33554432000 4194304 4196468 140733688399856 139659791697552 139659819914397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28279] ppid=28222 vsize=10820196 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28279/stat : 28279 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793837 11079880704 10568 33554432000 4194304 4196468 140733688399856 139659824135184 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28280] ppid=28222 vsize=10820196 memory=3979132194892330656 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28280/stat : 28280 (java) S 28222 28225 25887 0 -1 1077944384 2 13007 0 0 0 0 4 3 20 0 15 0 443793837 11079880704 10634 33554432000 4194304 4196468 140733688399856 139659723025552 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28281] ppid=28222 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28281/stat : 28281 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793837 11079880704 10634 33554432000 4194304 4196468 140733688399856 139659721972496 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28282] ppid=28222 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28282/stat : 28282 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793837 11079880704 10634 33554432000 4194304 4196468 140733688399856 139659390610320 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28283] ppid=28222 vsize=10820196 memory=140122986952320 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28283/stat : 28283 (java) S 28222 28225 25887 0 -1 1077944384 2 13007 0 0 0 0 4 3 20 0 15 0 443793838 11079880704 10634 33554432000 4194304 4196468 140733688399856 139659279341808 139659819903618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28284] ppid=28222 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28284/stat : 28284 (java) S 28222 28225 25887 0 -1 1077944384 13 13007 0 0 0 0 4 3 20 0 15 0 443793839 11079880704 10634 33554432000 4194304 4196468 140733688399856 139658713359520 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28285] ppid=28222 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28285/stat : 28285 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793839 11079880704 10634 33554432000 4194304 4196468 140733688399856 139658579141360 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28286] ppid=28222 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28286/stat : 28286 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793841 11079880704 10634 33554432000 4194304 4196468 140733688399856 139658338850768 139659819911067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28287] ppid=28222 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28225/task/28287/stat : 28287 (java) S 28222 28225 25887 0 -1 1077944384 345 13007 0 0 1 0 4 3 20 0 15 0 443793841 11079880704 10634 33554432000 4194304 4196468 140733688399856 139659278289648 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28288] ppid=28222 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28225/task/28288/stat : 28288 (java) R 28222 28225 25887 0 -1 4202560 307 13007 0 0 1 0 4 3 20 0 15 0 443793841 11079880704 10634 33554432000 4194304 4196468 140733688399856 139659277237104 139659801415386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28289] ppid=28222 vsize=10820196 memory=140122986952320 CPUtime=0.1 cores=1,3,5,7
/proc/28225/task/28289/stat : 28289 (java) S 28222 28225 25887 0 -1 1077944384 615 13007 0 0 3 0 4 3 20 0 15 0 443793841 11079880704 10634 33554432000 4194304 4196468 140733688399856 139659276184048 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28290] ppid=28222 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28290/stat : 28290 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793842 11079880704 10634 33554432000 4194304 4196468 140733688399856 139658305293152 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28291] ppid=28222 vsize=10820196 memory=140122986952320 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28291/stat : 28291 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793842 11079880704 10634 33554432000 4194304 4196468 140733688399856 139659275131440 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42272 KiB

[startup+0.310867 s]*
/proc/loadavg: 1.50 1.58 1.59 3/229 28291
/proc/meminfo: memFree=26636080/32770624 swapFree=66939904/67108860
[pid=28225] ppid=28222 vsize=10820196 memory=50552 CPUtime=0.4 cores=1,3,5,7
/proc/28225/stat : 28225 (java) S 28222 28225 25887 0 -1 1077944320 10872 13007 0 0 29 4 4 3 20 0 15 0 443793827 11079880704 12638 33554432000 4194304 4196468 140733688399856 140733688382400 139659819892471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
/proc/28225/statm: 2705049 12638 3317 1 0 2667149 0
[pid=28225/tid=28278] ppid=28222 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/28225/task/28278/stat : 28278 (java) R 28222 28225 25887 0 -1 4202560 7360 13007 0 0 19 2 4 3 20 0 15 0 443793836 11079880704 12638 33554432000 4194304 4196468 140733688399856 139659791701424 139659803972958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28279] ppid=28222 vsize=10820196 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28279/stat : 28279 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793837 11079880704 12638 33554432000 4194304 4196468 140733688399856 139659824135184 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28280] ppid=28222 vsize=10820196 memory=140122986959313 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28280/stat : 28280 (java) S 28222 28225 25887 0 -1 1077944384 2 13007 0 0 0 0 4 3 20 0 15 0 443793837 11079880704 12638 33554432000 4194304 4196468 140733688399856 139659723025552 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28281] ppid=28222 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28281/stat : 28281 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793837 11079880704 12638 33554432000 4194304 4196468 140733688399856 139659721972496 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28282] ppid=28222 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28282/stat : 28282 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793837 11079880704 12638 33554432000 4194304 4196468 140733688399856 139659390610320 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28283] ppid=28222 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28283/stat : 28283 (java) S 28222 28225 25887 0 -1 1077944384 2 13007 0 0 0 0 4 3 20 0 15 0 443793838 11079880704 12638 33554432000 4194304 4196468 140733688399856 139659279341808 139659819903618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28284] ppid=28222 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28284/stat : 28284 (java) S 28222 28225 25887 0 -1 1077944384 13 13007 0 0 0 0 4 3 20 0 15 0 443793839 11079880704 12638 33554432000 4194304 4196468 140733688399856 139658713359520 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28285] ppid=28222 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28285/stat : 28285 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793839 11079880704 12638 33554432000 4194304 4196468 140733688399856 139658579141360 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28286] ppid=28222 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28286/stat : 28286 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793841 11079880704 12638 33554432000 4194304 4196468 140733688399856 139658338850768 139659819911067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28287] ppid=28222 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28225/task/28287/stat : 28287 (java) S 28222 28225 25887 0 -1 1077944384 346 13007 0 0 1 0 4 3 20 0 15 0 443793841 11079880704 12638 33554432000 4194304 4196468 140733688399856 139659278289648 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28288] ppid=28222 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/28225/task/28288/stat : 28288 (java) S 28222 28225 25887 0 -1 1077944384 308 13007 0 0 2 0 4 3 20 0 15 0 443793841 11079880704 12638 33554432000 4194304 4196468 140733688399856 139659277237104 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28289] ppid=28222 vsize=10820196 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/28225/task/28289/stat : 28289 (java) S 28222 28225 25887 0 -1 1077944384 622 13007 0 0 4 0 4 3 20 0 15 0 443793841 11079880704 12638 33554432000 4194304 4196468 140733688399856 139659276184048 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28290] ppid=28222 vsize=10820196 memory=140122986952320 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28290/stat : 28290 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793842 11079880704 12638 33554432000 4194304 4196468 140733688399856 139658305293152 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28291] ppid=28222 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28291/stat : 28291 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793842 11079880704 12638 33554432000 4194304 4196468 140733688399856 139659275131440 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50552 KiB

[startup+0.701534 s]
/proc/loadavg: 1.50 1.58 1.59 5/229 28291
/proc/meminfo: memFree=26622140/32770624 swapFree=66939904/67108860
[pid=28225] ppid=28222 vsize=10824364 memory=83512 CPUtime=1.11 cores=1,3,5,7
/proc/28225/stat : 28225 (java) S 28222 28225 25887 0 -1 1077944320 15050 13007 0 0 99 5 4 3 20 0 15 0 443793827 11084148736 20878 33554432000 4194304 4196468 140733688399856 140733688382400 139659819892471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
/proc/28225/statm: 2706091 20878 3513 1 0 2668173 0
[pid=28225/tid=28278] ppid=28222 vsize=10824364 memory=140123308032550 CPUtime=0.66 cores=1,3,5,7
/proc/28225/task/28278/stat : 28278 (java) R 28222 28225 25887 0 -1 4202560 10384 13007 0 0 55 4 4 3 20 0 15 0 443793836 11084148736 20878 33554432000 4194304 4196468 140733688399856 139659791719024 139659803972958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28279] ppid=28222 vsize=10824364 memory=140123308032568 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28279/stat : 28279 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793837 11084148736 20878 33554432000 4194304 4196468 140733688399856 139659824135184 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28280] ppid=28222 vsize=10824364 memory=140123308032572 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28280/stat : 28280 (java) S 28222 28225 25887 0 -1 1077944384 2 13007 0 0 0 0 4 3 20 0 15 0 443793837 11084148736 20878 33554432000 4194304 4196468 140733688399856 139659723025552 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28281] ppid=28222 vsize=10824364 memory=140123308032573 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28281/stat : 28281 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793837 11084148736 20878 33554432000 4194304 4196468 140733688399856 139659721972496 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28282] ppid=28222 vsize=10824364 memory=140123308032584 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28282/stat : 28282 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793837 11084148736 20878 33554432000 4194304 4196468 140733688399856 139659390610320 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28283] ppid=28222 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28283/stat : 28283 (java) S 28222 28225 25887 0 -1 1077944384 5 13007 0 0 0 0 4 3 20 0 15 0 443793838 11084148736 20878 33554432000 4194304 4196468 140733688399856 139659279341808 139659819903618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28284] ppid=28222 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28284/stat : 28284 (java) S 28222 28225 25887 0 -1 1077944384 13 13007 0 0 0 0 4 3 20 0 15 0 443793839 11084148736 20878 33554432000 4194304 4196468 140733688399856 139658713359520 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28285] ppid=28222 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28285/stat : 28285 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793839 11084148736 20878 33554432000 4194304 4196468 140733688399856 139658579141360 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28286] ppid=28222 vsize=10824364 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28286/stat : 28286 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793841 11084148736 20878 33554432000 4194304 4196468 140733688399856 139658338850768 139659819911067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28287] ppid=28222 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/28225/task/28287/stat : 28287 (java) R 28222 28225 25887 0 -1 4202560 859 13007 0 0 13 0 4 3 20 0 15 0 443793841 11084148736 20878 33554432000 4194304 4196468 140733688399856 139659278289648 139659804181328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28288] ppid=28222 vsize=10824364 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/28225/task/28288/stat : 28288 (java) R 28222 28225 25887 0 -1 4202560 693 13007 0 0 12 0 4 3 20 0 15 0 443793841 11084148736 20878 33554432000 4194304 4196468 140733688399856 139659277223648 139659799152856 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28289] ppid=28222 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/28225/task/28289/stat : 28289 (java) S 28222 28225 25887 0 -1 1077944384 876 13007 0 0 16 1 4 3 20 0 15 0 443793841 11084148736 20878 33554432000 4194304 4196468 140733688399856 139659276184048 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28290] ppid=28222 vsize=10824364 memory=52 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28290/stat : 28290 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793842 11084148736 20878 33554432000 4194304 4196468 140733688399856 139658305293152 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28291] ppid=28222 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28291/stat : 28291 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793842 11084148736 20878 33554432000 4194304 4196468 140733688399856 139659275131440 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83512 KiB

[startup+1.50073 s]
/proc/loadavg: 1.50 1.58 1.59 5/229 28291
/proc/meminfo: memFree=26564076/32770624 swapFree=66939904/67108860
[pid=28225] ppid=28222 vsize=10837480 memory=218112 CPUtime=3.4 cores=1,3,5,7
/proc/28225/stat : 28225 (java) S 28222 28225 25887 0 -1 1077944320 34512 13007 0 0 323 10 4 3 20 0 15 0 443793827 11097579520 54528 33554432000 4194304 4196468 140733688399856 140733688382400 139659819892471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
/proc/28225/statm: 2709370 54528 3589 1 0 2671433 0
[pid=28225/tid=28278] ppid=28222 vsize=10837480 memory=1620 CPUtime=1.42 cores=1,3,5,7
/proc/28225/task/28278/stat : 28278 (java) R 28222 28225 25887 0 -1 4202560 16085 13007 0 0 129 6 4 3 20 0 15 0 443793836 11097579520 54528 33554432000 4194304 4196468 140733688399856 139659791710464 139659819914397 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28279] ppid=28222 vsize=10837480 memory=193204 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28279/stat : 28279 (java) S 28222 28225 25887 0 -1 1077944384 10 13007 0 0 0 0 4 3 20 0 15 0 443793837 11097579520 54528 33554432000 4194304 4196468 140733688399856 139659824135184 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28280] ppid=28222 vsize=10837480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28225/task/28280/stat : 28280 (java) S 28222 28225 25887 0 -1 1077944384 326 13007 0 0 1 0 4 3 20 0 15 0 443793837 11097579520 54528 33554432000 4194304 4196468 140733688399856 139659723025552 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28281] ppid=28222 vsize=10837480 memory=280245676939520 CPUtime=0.08 cores=1,3,5,7
/proc/28225/task/28281/stat : 28281 (java) S 28222 28225 25887 0 -1 1077944384 63 13007 0 0 1 0 4 3 20 0 15 0 443793837 11097579520 54528 33554432000 4194304 4196468 140733688399856 139659721972496 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28282] ppid=28222 vsize=10837480 memory=140122838472016 CPUtime=0.08 cores=1,3,5,7
/proc/28225/task/28282/stat : 28282 (java) S 28222 28225 25887 0 -1 1077944384 72 13007 0 0 1 0 4 3 20 0 15 0 443793837 11097579520 54528 33554432000 4194304 4196468 140733688399856 139659390610320 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28283] ppid=28222 vsize=10837480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28225/task/28283/stat : 28283 (java) S 28222 28225 25887 0 -1 1077944384 139 13007 0 0 1 0 4 3 20 0 15 0 443793838 11097579520 54528 33554432000 4194304 4196468 140733688399856 139659279341808 139659819903618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28284] ppid=28222 vsize=10837480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28284/stat : 28284 (java) S 28222 28225 25887 0 -1 1077944384 14 13007 0 0 0 0 4 3 20 0 15 0 443793839 11097579520 54528 33554432000 4194304 4196468 140733688399856 139658713359520 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28285] ppid=28222 vsize=10837480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28285/stat : 28285 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793839 11097579520 54528 33554432000 4194304 4196468 140733688399856 139658579141360 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28286] ppid=28222 vsize=10837480 memory=5571041044932679781 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28286/stat : 28286 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793841 11097579520 54528 33554432000 4194304 4196468 140733688399856 139658338850768 139659819911067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28287] ppid=28222 vsize=10837480 memory=7589527919058644587 CPUtime=0.62 cores=1,3,5,7
/proc/28225/task/28287/stat : 28287 (java) S 28222 28225 25887 0 -1 1077944384 3777 13007 0 0 55 0 4 3 20 0 15 0 443793841 11097579520 54528 33554432000 4194304 4196468 140733688399856 139659278289648 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28288] ppid=28222 vsize=10837480 memory=7158582011556357732 CPUtime=0.92 cores=1,3,5,7
/proc/28225/task/28288/stat : 28288 (java) R 28222 28225 25887 0 -1 4202560 9116 13007 0 0 85 0 4 3 20 0 15 0 443793841 11097579520 54528 33554432000 4194304 4196468 140733688399856 139659277223264 139659805003129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28289] ppid=28222 vsize=10837480 memory=7451584255169160530 CPUtime=0.52 cores=1,3,5,7
/proc/28225/task/28289/stat : 28289 (java) S 28222 28225 25887 0 -1 1077944384 2692 13007 0 0 44 1 4 3 20 0 15 0 443793841 11097579520 54528 33554432000 4194304 4196468 140733688399856 139659276184048 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0

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

/proc/28225/task/28278/stat : 28278 (java) R 28222 28225 25887 0 -1 4202560 71482 13007 0 0 217965 49 4 3 20 0 15 0 443793836 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659791728592 139659422647402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28279] ppid=28222 vsize=10853144 memory=1027056 CPUtime=10.83 cores=1,3,5,7
/proc/28225/task/28279/stat : 28279 (java) S 28222 28225 25887 0 -1 1077944384 18991 13007 0 0 1028 48 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659824135184 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28280] ppid=28222 vsize=10853144 memory=1027056 CPUtime=10.86 cores=1,3,5,7
/proc/28225/task/28280/stat : 28280 (java) S 28222 28225 25887 0 -1 1077944384 10316 13007 0 0 1030 49 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659723025552 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28281] ppid=28222 vsize=10853144 memory=1027056 CPUtime=10.86 cores=1,3,5,7
/proc/28225/task/28281/stat : 28281 (java) S 28222 28225 25887 0 -1 1077944384 16739 13007 0 0 1031 48 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659721972496 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28282] ppid=28222 vsize=10853144 memory=1027056 CPUtime=10.85 cores=1,3,5,7
/proc/28225/task/28282/stat : 28282 (java) S 28222 28225 25887 0 -1 1077944384 15558 13007 0 0 1030 48 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659390610320 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28283] ppid=28222 vsize=10853144 memory=1027056 CPUtime=8.63 cores=1,3,5,7
/proc/28225/task/28283/stat : 28283 (java) S 28222 28225 25887 0 -1 1077944384 18408 13007 0 0 814 42 4 3 20 0 15 0 443793838 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659279341808 139659819903618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28284] ppid=28222 vsize=10853144 memory=1027056 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28284/stat : 28284 (java) S 28222 28225 25887 0 -1 1077944384 18 13007 0 0 0 0 4 3 20 0 15 0 443793839 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658713359584 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28285] ppid=28222 vsize=10853144 memory=1027572 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28285/stat : 28285 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793839 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658579141376 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28286] ppid=28222 vsize=10853144 memory=1027572 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28286/stat : 28286 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658338850768 139659819911067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28287] ppid=28222 vsize=10853144 memory=1027056 CPUtime=6.28 cores=1,3,5,7
/proc/28225/task/28287/stat : 28287 (java) S 28222 28225 25887 0 -1 1077944384 43583 13007 0 0 613 8 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659278289648 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28288] ppid=28222 vsize=10853144 memory=1027572 CPUtime=6.53 cores=1,3,5,7
/proc/28225/task/28288/stat : 28288 (java) S 28222 28225 25887 0 -1 1077944384 54420 13007 0 0 639 7 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659277237104 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28289] ppid=28222 vsize=10853144 memory=1028084 CPUtime=5.01 cores=1,3,5,7
/proc/28225/task/28289/stat : 28289 (java) S 28222 28225 25887 0 -1 1077944384 59876 13007 0 0 485 9 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659276184048 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28290] ppid=28222 vsize=10853144 memory=1436 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28290/stat : 28290 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793842 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658305293152 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28291] ppid=28222 vsize=10853144 memory=924 CPUtime=1.27 cores=1,3,5,7
/proc/28225/task/28291/stat : 28291 (java) S 28222 28225 25887 0 -1 1077944384 1306 13007 0 0 57 63 4 3 20 0 15 0 443793842 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659275131440 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
Current children cumulated CPU time: 2250.81 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 1027056 KiB

[startup+2262.3 s]
/proc/loadavg: 1.12 1.20 1.29 3/228 28619
/proc/meminfo: memFree=27829116/32770624 swapFree=66939904/67108860
[pid=28225] ppid=28222 vsize=10853144 memory=1027056 CPUtime=2311.64 cores=1,3,5,7
/proc/28225/stat : 28225 (java) S 28222 28225 25887 0 -1 1077944320 314444 13007 0 0 230825 332 4 3 20 0 15 0 443793827 11113619456 256764 33554432000 4194304 4196468 140733688399856 140733688382400 139659819892471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
/proc/28225/statm: 2713286 256764 3632 1 0 2675341 0
[pid=28225/tid=28278] ppid=28222 vsize=10853144 memory=1027056 CPUtime=2239.62 cores=1,3,5,7
/proc/28225/task/28278/stat : 28278 (java) R 28222 28225 25887 0 -1 4202560 72152 13007 0 0 223905 50 4 3 20 0 15 0 443793836 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659791728448 139659421470551 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28279] ppid=28222 vsize=10853144 memory=1027056 CPUtime=11.12 cores=1,3,5,7
/proc/28225/task/28279/stat : 28279 (java) S 28222 28225 25887 0 -1 1077944384 19006 13007 0 0 1055 50 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659824135184 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28280] ppid=28222 vsize=10853144 memory=1027056 CPUtime=11.14 cores=1,3,5,7
/proc/28225/task/28280/stat : 28280 (java) S 28222 28225 25887 0 -1 1077944384 10348 13007 0 0 1057 50 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659723025552 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28281] ppid=28222 vsize=10853144 memory=3504 CPUtime=11.15 cores=1,3,5,7
/proc/28225/task/28281/stat : 28281 (java) S 28222 28225 25887 0 -1 1077944384 16786 13007 0 0 1059 49 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659721972496 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28282] ppid=28222 vsize=10853144 memory=0 CPUtime=11.14 cores=1,3,5,7
/proc/28225/task/28282/stat : 28282 (java) S 28222 28225 25887 0 -1 1077944384 15917 13007 0 0 1057 50 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659390610320 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28283] ppid=28222 vsize=10853144 memory=1027056 CPUtime=8.85 cores=1,3,5,7
/proc/28225/task/28283/stat : 28283 (java) S 28222 28225 25887 0 -1 1077944384 18615 13007 0 0 835 43 4 3 20 0 15 0 443793838 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659279341808 139659819903618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28284] ppid=28222 vsize=10853144 memory=1027056 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28284/stat : 28284 (java) S 28222 28225 25887 0 -1 1077944384 18 13007 0 0 0 0 4 3 20 0 15 0 443793839 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658713359584 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28285] ppid=28222 vsize=10853144 memory=1027056 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28285/stat : 28285 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793839 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658579141376 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28286] ppid=28222 vsize=10853144 memory=1027056 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28286/stat : 28286 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658338850768 139659819911067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28287] ppid=28222 vsize=10853144 memory=1027056 CPUtime=6.28 cores=1,3,5,7
/proc/28225/task/28287/stat : 28287 (java) S 28222 28225 25887 0 -1 1077944384 43585 13007 0 0 613 8 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659278289648 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28288] ppid=28222 vsize=10853144 memory=1027056 CPUtime=6.53 cores=1,3,5,7
/proc/28225/task/28288/stat : 28288 (java) S 28222 28225 25887 0 -1 1077944384 54599 13007 0 0 639 7 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659277237104 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28289] ppid=28222 vsize=10853144 memory=121508919799459 CPUtime=5.01 cores=1,3,5,7
/proc/28225/task/28289/stat : 28289 (java) S 28222 28225 25887 0 -1 1077944384 59878 13007 0 0 485 9 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659276184048 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28290] ppid=28222 vsize=10853144 memory=10748 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28290/stat : 28290 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793842 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658305293152 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28291] ppid=28222 vsize=10853144 memory=47660 CPUtime=1.31 cores=1,3,5,7
/proc/28225/task/28291/stat : 28291 (java) S 28222 28225 25887 0 -1 1077944384 1323 13007 0 0 59 65 4 3 20 0 15 0 443793842 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659275131440 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
Current children cumulated CPU time: 2311.64 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 1027056 KiB

[startup+2322.3 s]
/proc/loadavg: 1.30 1.24 1.30 3/228 28623
/proc/meminfo: memFree=27807496/32770624 swapFree=66939904/67108860
[pid=28225] ppid=28222 vsize=10853144 memory=1027056 CPUtime=2372.54 cores=1,3,5,7
/proc/28225/stat : 28225 (java) S 28222 28225 25887 0 -1 1077944320 315796 13007 0 0 236906 341 4 3 20 0 15 0 443793827 11113619456 256764 33554432000 4194304 4196468 140733688399856 140733688382400 139659819892471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
/proc/28225/statm: 2713286 256764 3632 1 0 2675341 0
[pid=28225/tid=28278] ppid=28222 vsize=10853144 memory=1027056 CPUtime=2298.96 cores=1,3,5,7
/proc/28225/task/28278/stat : 28278 (java) R 28222 28225 25887 0 -1 4202560 72805 13007 0 0 229839 50 4 3 20 0 15 0 443793836 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659791728240 139659403662886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28279] ppid=28222 vsize=10853144 memory=280245677135104 CPUtime=11.44 cores=1,3,5,7
/proc/28225/task/28279/stat : 28279 (java) S 28222 28225 25887 0 -1 1077944384 19044 13007 0 0 1086 51 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659824135184 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28280] ppid=28222 vsize=10853144 memory=1027056 CPUtime=11.47 cores=1,3,5,7
/proc/28225/task/28280/stat : 28280 (java) S 28222 28225 25887 0 -1 1077944384 10624 13007 0 0 1088 52 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659723025552 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28281] ppid=28222 vsize=10853144 memory=1027056 CPUtime=11.46 cores=1,3,5,7
/proc/28225/task/28281/stat : 28281 (java) S 28222 28225 25887 0 -1 1077944384 16842 13007 0 0 1089 50 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659721972496 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28282] ppid=28222 vsize=10853144 memory=280245676894136 CPUtime=11.46 cores=1,3,5,7
/proc/28225/task/28282/stat : 28282 (java) S 28222 28225 25887 0 -1 1077944384 15999 13007 0 0 1087 52 4 3 20 0 15 0 443793837 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659390610320 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28283] ppid=28222 vsize=10853144 memory=1027056 CPUtime=9.1 cores=1,3,5,7
/proc/28225/task/28283/stat : 28283 (java) S 28222 28225 25887 0 -1 1077944384 18839 13007 0 0 858 45 4 3 20 0 15 0 443793838 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659279341808 139659819903618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28284] ppid=28222 vsize=10853144 memory=1027056 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28284/stat : 28284 (java) S 28222 28225 25887 0 -1 1077944384 18 13007 0 0 0 0 4 3 20 0 15 0 443793839 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658713359584 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28285] ppid=28222 vsize=10853144 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28285/stat : 28285 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793839 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658579141376 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28286] ppid=28222 vsize=10853144 memory=1027056 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28286/stat : 28286 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658338850768 139659819911067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28287] ppid=28222 vsize=10853144 memory=988 CPUtime=6.28 cores=1,3,5,7
/proc/28225/task/28287/stat : 28287 (java) S 28222 28225 25887 0 -1 1077944384 43587 13007 0 0 613 8 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659278289648 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28288] ppid=28222 vsize=10853144 memory=1027056 CPUtime=6.53 cores=1,3,5,7
/proc/28225/task/28288/stat : 28288 (java) S 28222 28225 25887 0 -1 1077944384 54601 13007 0 0 639 7 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659277237104 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28289] ppid=28222 vsize=10853144 memory=1027056 CPUtime=5.01 cores=1,3,5,7
/proc/28225/task/28289/stat : 28289 (java) S 28222 28225 25887 0 -1 1077944384 59880 13007 0 0 485 9 4 3 20 0 15 0 443793841 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659276184048 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28290] ppid=28222 vsize=10853144 memory=1027056 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28290/stat : 28290 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793842 11113619456 256764 33554432000 4194304 4196468 140733688399856 139658305293152 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28291] ppid=28222 vsize=10853144 memory=1560 CPUtime=1.34 cores=1,3,5,7
/proc/28225/task/28291/stat : 28291 (java) S 28222 28225 25887 0 -1 1077944384 1340 13007 0 0 60 67 4 3 20 0 15 0 443793842 11113619456 256764 33554432000 4194304 4196468 140733688399856 139659275131440 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
Current children cumulated CPU time: 2372.54 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 1027056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2349.4 s]
/proc/loadavg: 1.45 1.28 1.32 3/229 28627
/proc/meminfo: memFree=27820604/32770624 swapFree=66939904/67108860
[pid=28225] ppid=28222 vsize=10853144 memory=1029104 CPUtime=2400 cores=1,3,5,7
/proc/28225/stat : 28225 (java) S 28222 28225 25887 0 -1 1077944320 316002 13007 0 0 239649 344 4 3 20 0 15 0 443793827 11113619456 257276 33554432000 4194304 4196468 140733688399856 140733688382400 139659819892471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
/proc/28225/statm: 2713286 257276 3632 1 0 2675341 0
[pid=28225/tid=28278] ppid=28222 vsize=10853144 memory=3140 CPUtime=2325.77 cores=1,3,5,7
/proc/28225/task/28278/stat : 28278 (java) R 28222 28225 25887 0 -1 4202560 72981 13007 0 0 232519 51 4 3 20 0 15 0 443793836 11113619456 257276 33554432000 4194304 4196468 140733688399856 139659791728192 139659406795246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28279] ppid=28222 vsize=10853144 memory=3504 CPUtime=11.58 cores=1,3,5,7
/proc/28225/task/28279/stat : 28279 (java) S 28222 28225 25887 0 -1 1077944384 19049 13007 0 0 1099 52 4 3 20 0 15 0 443793837 11113619456 257276 33554432000 4194304 4196468 140733688399856 139659824135184 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28280] ppid=28222 vsize=10853144 memory=47660 CPUtime=11.6 cores=1,3,5,7
/proc/28225/task/28280/stat : 28280 (java) S 28222 28225 25887 0 -1 1077944384 10630 13007 0 0 1100 53 4 3 20 0 15 0 443793837 11113619456 257276 33554432000 4194304 4196468 140733688399856 139659723025552 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28281] ppid=28222 vsize=10853144 memory=988 CPUtime=11.6 cores=1,3,5,7
/proc/28225/task/28281/stat : 28281 (java) S 28222 28225 25887 0 -1 1077944384 16847 13007 0 0 1103 50 4 3 20 0 15 0 443793837 11113619456 257276 33554432000 4194304 4196468 140733688399856 139659721972496 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28282] ppid=28222 vsize=10853144 memory=2008 CPUtime=11.59 cores=1,3,5,7
/proc/28225/task/28282/stat : 28282 (java) S 28222 28225 25887 0 -1 1077944384 16003 13007 0 0 1100 52 4 3 20 0 15 0 443793837 11113619456 257276 33554432000 4194304 4196468 140733688399856 139659390610320 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28283] ppid=28222 vsize=10853144 memory=6791534058613427641 CPUtime=9.21 cores=1,3,5,7
/proc/28225/task/28283/stat : 28283 (java) S 28222 28225 25887 0 -1 1077944384 18847 13007 0 0 868 46 4 3 20 0 15 0 443793838 11113619456 257276 33554432000 4194304 4196468 140733688399856 139659279341808 139659819903618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28284] ppid=28222 vsize=10853144 memory=1208 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28284/stat : 28284 (java) S 28222 28225 25887 0 -1 1077944384 18 13007 0 0 0 0 4 3 20 0 15 0 443793839 11113619456 257276 33554432000 4194304 4196468 140733688399856 139658713359584 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28285] ppid=28222 vsize=10853144 memory=3192 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28285/stat : 28285 (java) S 28222 28225 25887 0 -1 1077944384 1 13007 0 0 0 0 4 3 20 0 15 0 443793839 11113619456 257276 33554432000 4194304 4196468 140733688399856 139658579141376 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28286] ppid=28222 vsize=10853144 memory=303430223234596890 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28286/stat : 28286 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793841 11113619456 257276 33554432000 4194304 4196468 140733688399856 139658338850768 139659819911067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28287] ppid=28222 vsize=10853144 memory=288230596050944315 CPUtime=6.28 cores=1,3,5,7
/proc/28225/task/28287/stat : 28287 (java) S 28222 28225 25887 0 -1 1077944384 43587 13007 0 0 613 8 4 3 20 0 15 0 443793841 11113619456 257276 33554432000 4194304 4196468 140733688399856 139659278289648 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28288] ppid=28222 vsize=10853144 memory=15816698942991872 CPUtime=6.53 cores=1,3,5,7
/proc/28225/task/28288/stat : 28288 (java) S 28222 28225 25887 0 -1 1077944384 54601 13007 0 0 639 7 4 3 20 0 15 0 443793841 11113619456 257276 33554432000 4194304 4196468 140733688399856 139659277237104 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28289] ppid=28222 vsize=10853144 memory=776 CPUtime=5.01 cores=1,3,5,7
/proc/28225/task/28289/stat : 28289 (java) S 28222 28225 25887 0 -1 1077944384 59880 13007 0 0 485 9 4 3 20 0 15 0 443793841 11113619456 257276 33554432000 4194304 4196468 140733688399856 139659276184048 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28290] ppid=28222 vsize=10853144 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/28225/task/28290/stat : 28290 (java) S 28222 28225 25887 0 -1 1077944384 3 13007 0 0 0 0 4 3 20 0 15 0 443793842 11113619456 257276 33554432000 4194304 4196468 140733688399856 139658305293152 139659819902677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
[pid=28225/tid=28291] ppid=28222 vsize=10853144 memory=668 CPUtime=1.36 cores=1,3,5,7
/proc/28225/task/28291/stat : 28291 (java) S 28222 28225 25887 0 -1 1077944384 1342 13007 0 0 61 68 4 3 20 0 15 0 443793842 11113619456 257276 33554432000 4194304 4196468 140733688399856 139659275131440 139659819903618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140733688408816 140733688411333 140733688411333 140733688414159 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 1029104 KiB

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

[startup+2349.43 s]
# the end of solver process 28225 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.56 s, system=3.49333 s

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

Child status: 143
Real time (s): 2349.43
CPU time (s): 2400.05
CPU user time (s): 2396.56
CPU system time (s): 3.49333
CPU usage (%): 102.155
Max. virtual memory (cumulated for all children) (KiB): 10854016
Max. memory (cumulated for all children) (KiB): 1072152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.56
system time used= 3.49333
maximum resident set size= 1074200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330063
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 248567
involuntary context switches= 5746


# summary of solver processes directly reported to runsolver:
#   pid: 28225
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2396.56
#   total CPU system time (s): 3.49333

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.407 second user time and 22.6081 second system time

The end

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

Trace number 4401314

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