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.07	2357.34

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396434-1568399065/watcher-4396434-1568399065 -o /tmp/evaluation-result-4396434-1568399065/solver-4396434-1568399065 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568393561-471 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1321760315 HOME/instance-4396434-1568399065.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
solver pid=2093, runsolver pid=2090
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 1.56 1.52 1.50 4/220 2150
/proc/meminfo: memFree=30388608/32770624 swapFree=66995148/67108860
[pid=2093] ppid=2090 vsize=9972712 memory=16816 CPUtime=0.1 cores=1,3,5,7
/proc/2093/stat : 2093 (java) S 2090 2093 436 0 -1 1077944320 4440 13358 0 0 1 1 5 3 20 0 6 0 416157949 10212057088 4204 33554432000 4194304 4196468 140729978033408 140729978015952 139909587558135 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
/proc/2093/statm: 2493178 4204 1935 1 0 2481616 0
[pid=2093/tid=2146] ppid=2090 vsize=9972712 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/2093/task/2146/stat : 2146 (java) R 2090 2093 436 0 -1 4202560 2269 13358 0 0 1 0 5 3 20 0 6 0 416157958 10212057088 4716 33554432000 4194304 4196468 140729978033408 139909559394896 139909568951869 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2147] ppid=2090 vsize=9972712 memory=4294967639 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2147/stat : 2147 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 6 0 416157959 10212057088 4716 33554432000 4194304 4196468 140729978033408 139909591800336 139909587568341 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2148] ppid=2090 vsize=9972712 memory=140261576897296 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2148/stat : 2148 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 6 0 416157959 10212057088 4716 33554432000 4194304 4196468 140729978033408 139909506620048 139909587568341 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2149] ppid=2090 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2149/stat : 2149 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 6 0 416157959 10212057088 4716 33554432000 4194304 4196468 140729978033408 139909505566992 139909587568341 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2150] ppid=2090 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2150/stat : 2150 (java) S 2090 2093 436 0 -1 1077944384 2 13358 0 0 0 0 5 3 20 0 6 0 416157959 10212057088 4716 33554432000 4194304 4196468 140729978033408 139909504514448 139909587568341 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB

[startup+0.210286 s]*
/proc/loadavg: 1.56 1.52 1.50 6/229 2159
/proc/meminfo: memFree=30368788/32770624 swapFree=66995148/67108860
[pid=2093] ppid=2090 vsize=10819664 memory=39072 CPUtime=0.26 cores=1,3,5,7
/proc/2093/stat : 2093 (java) S 2090 2093 436 0 -1 1077944320 7046 13358 0 0 16 2 5 3 20 0 15 0 416157949 11079335936 9768 33554432000 4194304 4196468 140729978033408 140729978015952 139909587558135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
/proc/2093/statm: 2704916 9768 3180 1 0 2667149 0
[pid=2093/tid=2146] ppid=2090 vsize=10819664 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/2093/task/2146/stat : 2146 (java) R 2090 2093 436 0 -1 4202560 3524 13358 0 0 10 1 5 3 20 0 15 0 416157958 11079335936 9768 33554432000 4194304 4196468 140729978033408 139909559364400 139909587570070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2147] ppid=2090 vsize=10819664 memory=4294967639 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2147/stat : 2147 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157959 11079335936 9768 33554432000 4194304 4196468 140729978033408 139909591800336 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2148] ppid=2090 vsize=10819664 memory=140261576897296 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2148/stat : 2148 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157959 11079335936 9768 33554432000 4194304 4196468 140729978033408 139909506620048 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2149] ppid=2090 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2149/stat : 2149 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157959 11079335936 9768 33554432000 4194304 4196468 140729978033408 139909505566992 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2150] ppid=2090 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2150/stat : 2150 (java) S 2090 2093 436 0 -1 1077944384 2 13358 0 0 0 0 5 3 20 0 15 0 416157959 11079335936 9768 33554432000 4194304 4196468 140729978033408 139909504514448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2151] ppid=2090 vsize=10819664 memory=140261574088320 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2151/stat : 2151 (java) S 2090 2093 436 0 -1 1077944384 2 13358 0 0 0 0 5 3 20 0 15 0 416157960 11079335936 9768 33554432000 4194304 4196468 140729978033408 139909114145520 139909587569282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2152] ppid=2090 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2152/stat : 2152 (java) S 2090 2093 436 0 -1 1077944384 13 13358 0 0 0 0 5 3 20 0 15 0 416157961 11079335936 9768 33554432000 4194304 4196468 140729978033408 139908492551840 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2153] ppid=2090 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2153/stat : 2153 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157961 11079335936 9768 33554432000 4194304 4196468 140729978033408 139908358333680 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2154] ppid=2090 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2154/stat : 2154 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11079335936 9768 33554432000 4194304 4196468 140729978033408 139908118043088 139909587576731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2155] ppid=2090 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2093/task/2155/stat : 2155 (java) S 2090 2093 436 0 -1 1077944384 468 13358 0 0 1 0 5 3 20 0 15 0 416157964 11079335936 9768 33554432000 4194304 4196468 140729978033408 139909113092336 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2156] ppid=2090 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/2093/task/2156/stat : 2156 (java) S 2090 2093 436 0 -1 1077944384 202 13358 0 0 1 0 5 3 20 0 15 0 416157964 11079335936 9768 33554432000 4194304 4196468 140729978033408 139909112039792 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2157] ppid=2090 vsize=10819664 memory=140261574088320 CPUtime=0.11 cores=1,3,5,7
/proc/2093/task/2157/stat : 2157 (java) R 2090 2093 436 0 -1 4202560 616 13358 0 0 3 0 5 3 20 0 15 0 416157964 11079335936 9768 33554432000 4194304 4196468 140729978033408 139909110986736 139909587579482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2158] ppid=2090 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2158/stat : 2158 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11079335936 9768 33554432000 4194304 4196468 140729978033408 139908084484448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2159] ppid=2090 vsize=10819664 memory=140261574088320 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2159/stat : 2159 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157964 11079335936 9768 33554432000 4194304 4196468 140729978033408 139909109935152 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39072 KiB

[startup+0.310207 s]*
/proc/loadavg: 1.56 1.52 1.50 3/229 2159
/proc/meminfo: memFree=30356228/32770624 swapFree=66995148/67108860
[pid=2093] ppid=2090 vsize=10820148 memory=50204 CPUtime=0.4 cores=1,3,5,7
/proc/2093/stat : 2093 (java) S 2090 2093 436 0 -1 1077944320 10761 13358 0 0 28 4 5 3 20 0 15 0 416157949 11079831552 12551 33554432000 4194304 4196468 140729978033408 140729978015952 139909587558135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
/proc/2093/statm: 2705037 12551 3312 1 0 2667149 0
[pid=2093/tid=2146] ppid=2090 vsize=10820148 memory=7892391828772250251 CPUtime=0.29 cores=1,3,5,7
/proc/2093/task/2146/stat : 2146 (java) R 2090 2093 436 0 -1 4202560 7210 13358 0 0 19 2 5 3 20 0 15 0 416157958 11079831552 12551 33554432000 4194304 4196468 140729978033408 139909559358048 139909568202802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2147] ppid=2090 vsize=10820148 memory=3691042062614868232 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2147/stat : 2147 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157959 11079831552 12551 33554432000 4194304 4196468 140729978033408 139909591800336 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2148] ppid=2090 vsize=10820148 memory=140261574088320 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2148/stat : 2148 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157959 11079831552 12551 33554432000 4194304 4196468 140729978033408 139909506620048 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2149] ppid=2090 vsize=10820148 memory=2209 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2149/stat : 2149 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157959 11079831552 12551 33554432000 4194304 4196468 140729978033408 139909505566992 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2150] ppid=2090 vsize=10820148 memory=2240 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2150/stat : 2150 (java) S 2090 2093 436 0 -1 1077944384 2 13358 0 0 0 0 5 3 20 0 15 0 416157959 11079831552 12551 33554432000 4194304 4196468 140729978033408 139909504514448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2151] ppid=2090 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2151/stat : 2151 (java) S 2090 2093 436 0 -1 1077944384 2 13358 0 0 0 0 5 3 20 0 15 0 416157960 11079831552 12551 33554432000 4194304 4196468 140729978033408 139909114145520 139909587569282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2152] ppid=2090 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2152/stat : 2152 (java) S 2090 2093 436 0 -1 1077944384 13 13358 0 0 0 0 5 3 20 0 15 0 416157961 11079831552 12551 33554432000 4194304 4196468 140729978033408 139908492551840 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2153] ppid=2090 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2153/stat : 2153 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157961 11079831552 12551 33554432000 4194304 4196468 140729978033408 139908358333680 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2154] ppid=2090 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2154/stat : 2154 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11079831552 12551 33554432000 4194304 4196468 140729978033408 139908118043088 139909587576731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2155] ppid=2090 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/2093/task/2155/stat : 2155 (java) S 2090 2093 436 0 -1 1077944384 477 13358 0 0 2 0 5 3 20 0 15 0 416157964 11079831552 12551 33554432000 4194304 4196468 140729978033408 139909113092336 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2156] ppid=2090 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/2093/task/2156/stat : 2156 (java) S 2090 2093 436 0 -1 1077944384 203 13358 0 0 1 0 5 3 20 0 15 0 416157964 11079831552 12551 33554432000 4194304 4196468 140729978033408 139909112039792 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2157] ppid=2090 vsize=10820148 memory=140261574088320 CPUtime=0.13 cores=1,3,5,7
/proc/2093/task/2157/stat : 2157 (java) R 2090 2093 436 0 -1 4202560 639 13358 0 0 5 0 5 3 20 0 15 0 416157964 11079831552 12551 33554432000 4194304 4196468 140729978033408 139909110986736 139909566263083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2158] ppid=2090 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2158/stat : 2158 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11079831552 12551 33554432000 4194304 4196468 140729978033408 139908084484448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2159] ppid=2090 vsize=10820148 memory=140261574088320 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2159/stat : 2159 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157964 11079831552 12551 33554432000 4194304 4196468 140729978033408 139909109935152 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50204 KiB

[startup+0.701076 s]
/proc/loadavg: 1.56 1.52 1.50 3/229 2159
/proc/meminfo: memFree=30341196/32770624 swapFree=66995148/67108860
[pid=2093] ppid=2090 vsize=10824360 memory=84020 CPUtime=1.16 cores=1,3,5,7
/proc/2093/stat : 2093 (java) S 2090 2093 436 0 -1 1077944320 15202 13358 0 0 102 6 5 3 20 0 15 0 416157949 11084144640 21005 33554432000 4194304 4196468 140729978033408 140729978015952 139909587558135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
/proc/2093/statm: 2706090 21005 3508 1 0 2668173 0
[pid=2093/tid=2146] ppid=2090 vsize=10824360 memory=7301550374293618789 CPUtime=0.68 cores=1,3,5,7
/proc/2093/task/2146/stat : 2146 (java) R 2090 2093 436 0 -1 4202560 10390 13358 0 0 56 4 5 3 20 0 15 0 416157958 11084144640 21005 33554432000 4194304 4196468 140729978033408 139909559380624 139909570900993 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2147] ppid=2090 vsize=10824360 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2147/stat : 2147 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157959 11084144640 21005 33554432000 4194304 4196468 140729978033408 139909591800336 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2148] ppid=2090 vsize=10824360 memory=2809127 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2148/stat : 2148 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157959 11084144640 21005 33554432000 4194304 4196468 140729978033408 139909506620048 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2149] ppid=2090 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2149/stat : 2149 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157959 11084144640 21005 33554432000 4194304 4196468 140729978033408 139909505566992 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2150] ppid=2090 vsize=10824360 memory=3632 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2150/stat : 2150 (java) S 2090 2093 436 0 -1 1077944384 2 13358 0 0 0 0 5 3 20 0 15 0 416157959 11084144640 21005 33554432000 4194304 4196468 140729978033408 139909504514448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2151] ppid=2090 vsize=10824360 memory=8865 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2151/stat : 2151 (java) S 2090 2093 436 0 -1 1077944384 5 13358 0 0 0 0 5 3 20 0 15 0 416157960 11084144640 21005 33554432000 4194304 4196468 140729978033408 139909114145520 139909587569282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2152] ppid=2090 vsize=10824360 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2152/stat : 2152 (java) S 2090 2093 436 0 -1 1077944384 13 13358 0 0 0 0 5 3 20 0 15 0 416157961 11084144640 21005 33554432000 4194304 4196468 140729978033408 139908492551840 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2153] ppid=2090 vsize=10824360 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2153/stat : 2153 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157961 11084144640 21005 33554432000 4194304 4196468 140729978033408 139908358333680 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2154] ppid=2090 vsize=10824360 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2154/stat : 2154 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11084144640 21005 33554432000 4194304 4196468 140729978033408 139908118043088 139909587576731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2155] ppid=2090 vsize=10824360 memory=8868 CPUtime=0.24 cores=1,3,5,7
/proc/2093/task/2155/stat : 2155 (java) S 2090 2093 436 0 -1 1077944384 1007 13358 0 0 16 0 5 3 20 0 15 0 416157964 11084144640 21005 33554432000 4194304 4196468 140729978033408 139909113092336 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2156] ppid=2090 vsize=10824360 memory=3472328296227685905 CPUtime=0.2 cores=1,3,5,7
/proc/2093/task/2156/stat : 2156 (java) R 2090 2093 436 0 -1 4202560 663 13358 0 0 12 0 5 3 20 0 15 0 416157964 11084144640 21005 33554432000 4194304 4196468 140729978033408 139909112039792 139909567398866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2157] ppid=2090 vsize=10824360 memory=4420 CPUtime=0.25 cores=1,3,5,7
/proc/2093/task/2157/stat : 2157 (java) S 2090 2093 436 0 -1 1077944384 901 13358 0 0 17 0 5 3 20 0 15 0 416157964 11084144640 21005 33554432000 4194304 4196468 140729978033408 139909110986736 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2158] ppid=2090 vsize=10824360 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2158/stat : 2158 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11084144640 21005 33554432000 4194304 4196468 140729978033408 139908084484448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2159] ppid=2090 vsize=10824360 memory=6788 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2159/stat : 2159 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157964 11084144640 21005 33554432000 4194304 4196468 140729978033408 139909109935152 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 84020 KiB

[startup+1.50315 s]
/proc/loadavg: 1.56 1.52 1.50 5/228 2159
/proc/meminfo: memFree=30285044/32770624 swapFree=66995148/67108860
[pid=2093] ppid=2090 vsize=10837476 memory=217764 CPUtime=3.41 cores=1,3,5,7
/proc/2093/stat : 2093 (java) S 2090 2093 436 0 -1 1077944320 34059 13358 0 0 322 11 5 3 20 0 15 0 416157949 11097575424 54441 33554432000 4194304 4196468 140729978033408 140729978015952 139909587558135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
/proc/2093/statm: 2709369 54441 3591 1 0 2671433 0
[pid=2093/tid=2146] ppid=2090 vsize=10837476 memory=2809127 CPUtime=1.43 cores=1,3,5,7
/proc/2093/task/2146/stat : 2146 (java) R 2090 2093 436 0 -1 4202560 16283 13358 0 0 129 6 5 3 20 0 15 0 416157958 11097575424 54441 33554432000 4194304 4196468 140729978033408 139909559388096 139909587580061 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2147] ppid=2090 vsize=10837476 memory=280522836161632 CPUtime=0.09 cores=1,3,5,7
/proc/2093/task/2147/stat : 2147 (java) S 2090 2093 436 0 -1 1077944384 74 13358 0 0 1 0 5 3 20 0 15 0 416157959 11097575424 54441 33554432000 4194304 4196468 140729978033408 139909591800336 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2148] ppid=2090 vsize=10837476 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2093/task/2148/stat : 2148 (java) S 2090 2093 436 0 -1 1077944384 78 13358 0 0 1 0 5 3 20 0 15 0 416157959 11097575424 54441 33554432000 4194304 4196468 140729978033408 139909506620048 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2149] ppid=2090 vsize=10837476 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2093/task/2149/stat : 2149 (java) S 2090 2093 436 0 -1 1077944384 310 13358 0 0 1 0 5 3 20 0 15 0 416157959 11097575424 54441 33554432000 4194304 4196468 140729978033408 139909505566992 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2150] ppid=2090 vsize=10837476 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2093/task/2150/stat : 2150 (java) S 2090 2093 436 0 -1 1077944384 9 13358 0 0 1 0 5 3 20 0 15 0 416157959 11097575424 54441 33554432000 4194304 4196468 140729978033408 139909504514448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2151] ppid=2090 vsize=10837476 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2093/task/2151/stat : 2151 (java) S 2090 2093 436 0 -1 1077944384 142 13358 0 0 1 0 5 3 20 0 15 0 416157960 11097575424 54441 33554432000 4194304 4196468 140729978033408 139909114145520 139909587569282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2152] ppid=2090 vsize=10837476 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2152/stat : 2152 (java) S 2090 2093 436 0 -1 1077944384 13 13358 0 0 0 0 5 3 20 0 15 0 416157961 11097575424 54441 33554432000 4194304 4196468 140729978033408 139908492551840 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2153] ppid=2090 vsize=10837476 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2153/stat : 2153 (java) S 2090 2093 436 0 -1 1077944384 2 13358 0 0 0 0 5 3 20 0 15 0 416157961 11097575424 54441 33554432000 4194304 4196468 140729978033408 139908358333680 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2154] ppid=2090 vsize=10837476 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2154/stat : 2154 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11097575424 54441 33554432000 4194304 4196468 140729978033408 139908118043088 139909587576731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2155] ppid=2090 vsize=10837476 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/2093/task/2155/stat : 2155 (java) S 2090 2093 436 0 -1 1077944384 3432 13358 0 0 52 1 5 3 20 0 15 0 416157964 11097575424 54441 33554432000 4194304 4196468 140729978033408 139909113092336 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2156] ppid=2090 vsize=10837476 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/2093/task/2156/stat : 2156 (java) R 2090 2093 436 0 -1 4202560 8481 13358 0 0 85 1 5 3 20 0 15 0 416157964 11097575424 54441 33554432000 4194304 4196468 140729978033408 139909112025952 139909572479951 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2157] ppid=2090 vsize=10837476 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/2093/task/2157/stat : 2157 (java) S 2090 2093 436 0 -1 1077944384 3018 13358 0 0 45 0 5 3 20 0 15 0 416157964 11097575424 54441 33554432000 4194304 4196468 140729978033408 139909110986736 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2158] ppid=2090 vsize=10837476 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2158/stat : 2158 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11097575424 54441 33554432000 4194304 4196468 140729978033408 139908084484448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2159] ppid=2090 vsize=10837476 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2159/stat : 2159 (java) S 2090 2093 436 0 -1 1077944384 1 13358 0 0 0 0 5 3 20 0 15 0 416157964 11097575424 54441 33554432000 4194304 4196468 140729978033408 139909109935152 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
Current children cumulated CPU time: 3.41 s
Current children cumulated vsize: 10837476 KiB

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

/proc/2093/task/2146/stat : 2146 (java) R 2090 2093 436 0 -1 4202560 64391 13358 0 0 224644 36 5 3 20 0 15 0 416157958 11113615360 196122 33554432000 4194304 4196468 140729978033408 139909559394320 139909200906759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2147] ppid=2090 vsize=10853140 memory=784488 CPUtime=7.66 cores=1,3,5,7
/proc/2093/task/2147/stat : 2147 (java) S 2090 2093 436 0 -1 1077944384 8780 13358 0 0 723 35 5 3 20 0 15 0 416157959 11113615360 196122 33554432000 4194304 4196468 140729978033408 139909591800336 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2148] ppid=2090 vsize=10853140 memory=4925 CPUtime=7.69 cores=1,3,5,7
/proc/2093/task/2148/stat : 2148 (java) S 2090 2093 436 0 -1 1077944384 10293 13358 0 0 724 37 5 3 20 0 15 0 416157959 11113615360 196122 33554432000 4194304 4196468 140729978033408 139909506620048 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2149] ppid=2090 vsize=10853140 memory=784488 CPUtime=7.66 cores=1,3,5,7
/proc/2093/task/2149/stat : 2149 (java) S 2090 2093 436 0 -1 1077944384 10135 13358 0 0 722 36 5 3 20 0 15 0 416157959 11113615360 196122 33554432000 4194304 4196468 140729978033408 139909505566992 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2150] ppid=2090 vsize=10853140 memory=784488 CPUtime=7.68 cores=1,3,5,7
/proc/2093/task/2150/stat : 2150 (java) S 2090 2093 436 0 -1 1077944384 13933 13358 0 0 726 34 5 3 20 0 15 0 416157959 11113615360 196122 33554432000 4194304 4196468 140729978033408 139909504514448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2151] ppid=2090 vsize=10853140 memory=784488 CPUtime=6.33 cores=1,3,5,7
/proc/2093/task/2151/stat : 2151 (java) S 2090 2093 436 0 -1 1077944384 13851 13358 0 0 596 29 5 3 20 0 15 0 416157960 11113615360 196122 33554432000 4194304 4196468 140729978033408 139909114145520 139909587569282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2152] ppid=2090 vsize=10853140 memory=784488 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2152/stat : 2152 (java) S 2090 2093 436 0 -1 1077944384 16 13358 0 0 0 0 5 3 20 0 15 0 416157961 11113615360 196122 33554432000 4194304 4196468 140729978033408 139908492551904 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2153] ppid=2090 vsize=10853140 memory=3472328296227679313 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2153/stat : 2153 (java) S 2090 2093 436 0 -1 1077944384 2 13358 0 0 0 0 5 3 20 0 15 0 416157961 11113615360 196122 33554432000 4194304 4196468 140729978033408 139908358333696 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2154] ppid=2090 vsize=10853140 memory=784488 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2154/stat : 2154 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11113615360 196122 33554432000 4194304 4196468 140729978033408 139908118043088 139909587576731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2155] ppid=2090 vsize=10853140 memory=2356 CPUtime=7.13 cores=1,3,5,7
/proc/2093/task/2155/stat : 2155 (java) S 2090 2093 436 0 -1 1077944384 53643 13358 0 0 698 7 5 3 20 0 15 0 416157964 11113615360 196122 33554432000 4194304 4196468 140729978033408 139909113092336 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2156] ppid=2090 vsize=10853140 memory=5904 CPUtime=7.36 cores=1,3,5,7
/proc/2093/task/2156/stat : 2156 (java) S 2090 2093 436 0 -1 1077944384 60517 13358 0 0 721 7 5 3 20 0 15 0 416157964 11113615360 196122 33554432000 4194304 4196468 140729978033408 139909112039792 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2157] ppid=2090 vsize=10853140 memory=664 CPUtime=5.1 cores=1,3,5,7
/proc/2093/task/2157/stat : 2157 (java) S 2090 2093 436 0 -1 1077944384 77256 13358 0 0 492 10 5 3 20 0 15 0 416157964 11113615360 196122 33554432000 4194304 4196468 140729978033408 139909110986736 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2158] ppid=2090 vsize=10853140 memory=784488 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2158/stat : 2158 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11113615360 196122 33554432000 4194304 4196468 140729978033408 139908084484448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2159] ppid=2090 vsize=10853140 memory=784488 CPUtime=1.23 cores=1,3,5,7
/proc/2093/task/2159/stat : 2159 (java) S 2090 2093 436 0 -1 1077944384 1689 13358 0 0 55 60 5 3 20 0 15 0 416157964 11113615360 196122 33554432000 4194304 4196468 140729978033408 139909109935152 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
Current children cumulated CPU time: 2304.11 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 784488 KiB

[startup+2322.3 s]
/proc/loadavg: 1.36 1.33 1.36 3/229 2534
/proc/meminfo: memFree=30404456/32770624 swapFree=66995200/67108860
[pid=2093] ppid=2090 vsize=10853140 memory=784520 CPUtime=2364.7 cores=1,3,5,7
/proc/2093/stat : 2093 (java) S 2090 2093 436 0 -1 1077944320 317547 13358 0 0 236200 262 5 3 20 0 15 0 416157949 11113615360 196130 33554432000 4194304 4196468 140729978033408 140729978015952 139909587558135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
/proc/2093/statm: 2713285 196130 3633 1 0 2675341 0
[pid=2093/tid=2146] ppid=2090 vsize=10853140 memory=784520 CPUtime=2306.47 cores=1,3,5,7
/proc/2093/task/2146/stat : 2146 (java) R 2090 2093 436 0 -1 4202560 64838 13358 0 0 230603 36 5 3 20 0 15 0 416157958 11113615360 196130 33554432000 4194304 4196468 140729978033408 139909559394240 139909189047768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2147] ppid=2090 vsize=10853140 memory=784520 CPUtime=7.85 cores=1,3,5,7
/proc/2093/task/2147/stat : 2147 (java) S 2090 2093 436 0 -1 1077944384 8798 13358 0 0 742 35 5 3 20 0 15 0 416157959 11113615360 196130 33554432000 4194304 4196468 140729978033408 139909591800336 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2148] ppid=2090 vsize=10853140 memory=784520 CPUtime=7.89 cores=1,3,5,7
/proc/2093/task/2148/stat : 2148 (java) S 2090 2093 436 0 -1 1077944384 10320 13358 0 0 743 38 5 3 20 0 15 0 416157959 11113615360 196130 33554432000 4194304 4196468 140729978033408 139909506620048 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2149] ppid=2090 vsize=10853140 memory=784520 CPUtime=7.86 cores=1,3,5,7
/proc/2093/task/2149/stat : 2149 (java) S 2090 2093 436 0 -1 1077944384 10426 13358 0 0 741 37 5 3 20 0 15 0 416157959 11113615360 196130 33554432000 4194304 4196468 140729978033408 139909505566992 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2150] ppid=2090 vsize=10853140 memory=784520 CPUtime=7.87 cores=1,3,5,7
/proc/2093/task/2150/stat : 2150 (java) S 2090 2093 436 0 -1 1077944384 13961 13358 0 0 745 34 5 3 20 0 15 0 416157959 11113615360 196130 33554432000 4194304 4196468 140729978033408 139909504514448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2151] ppid=2090 vsize=10853140 memory=916 CPUtime=6.5 cores=1,3,5,7
/proc/2093/task/2151/stat : 2151 (java) S 2090 2093 436 0 -1 1077944384 13861 13358 0 0 612 30 5 3 20 0 15 0 416157960 11113615360 196130 33554432000 4194304 4196468 140729978033408 139909114145520 139909587569282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2152] ppid=2090 vsize=10853140 memory=784488 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2152/stat : 2152 (java) S 2090 2093 436 0 -1 1077944384 16 13358 0 0 0 0 5 3 20 0 15 0 416157961 11113615360 196130 33554432000 4194304 4196468 140729978033408 139908492551904 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2153] ppid=2090 vsize=10853140 memory=3632 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2153/stat : 2153 (java) S 2090 2093 436 0 -1 1077944384 2 13358 0 0 0 0 5 3 20 0 15 0 416157961 11113615360 196130 33554432000 4194304 4196468 140729978033408 139908358333696 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2154] ppid=2090 vsize=10853140 memory=14008 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2154/stat : 2154 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11113615360 196130 33554432000 4194304 4196468 140729978033408 139908118043088 139909587576731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2155] ppid=2090 vsize=10853140 memory=1564 CPUtime=7.14 cores=1,3,5,7
/proc/2093/task/2155/stat : 2155 (java) S 2090 2093 436 0 -1 1077944384 53643 13358 0 0 699 7 5 3 20 0 15 0 416157964 11113615360 196130 33554432000 4194304 4196468 140729978033408 139909113092336 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2156] ppid=2090 vsize=10853140 memory=784520 CPUtime=7.36 cores=1,3,5,7
/proc/2093/task/2156/stat : 2156 (java) S 2090 2093 436 0 -1 1077944384 60517 13358 0 0 721 7 5 3 20 0 15 0 416157964 11113615360 196130 33554432000 4194304 4196468 140729978033408 139909112039792 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2157] ppid=2090 vsize=10853140 memory=784520 CPUtime=5.1 cores=1,3,5,7
/proc/2093/task/2157/stat : 2157 (java) S 2090 2093 436 0 -1 1077944384 77256 13358 0 0 492 10 5 3 20 0 15 0 416157964 11113615360 196130 33554432000 4194304 4196468 140729978033408 139909110986736 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2158] ppid=2090 vsize=10853140 memory=784520 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2158/stat : 2158 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11113615360 196130 33554432000 4194304 4196468 140729978033408 139908084484448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2159] ppid=2090 vsize=10853140 memory=784520 CPUtime=1.26 cores=1,3,5,7
/proc/2093/task/2159/stat : 2159 (java) S 2090 2093 436 0 -1 1077944384 1693 13358 0 0 57 61 5 3 20 0 15 0 416157964 11113615360 196130 33554432000 4194304 4196468 140729978033408 139909109935152 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
Current children cumulated CPU time: 2364.7 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 784520 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2357.3 s]
/proc/loadavg: 1.56 1.39 1.37 3/229 2537
/proc/meminfo: memFree=30394176/32770624 swapFree=66995200/67108860
[pid=2093] ppid=2090 vsize=10853140 memory=784572 CPUtime=2400.02 cores=1,3,5,7
/proc/2093/stat : 2093 (java) S 2090 2093 436 0 -1 1077944320 318323 13358 0 0 239730 264 5 3 20 0 15 0 416157949 11113615360 196143 33554432000 4194304 4196468 140729978033408 140729978015952 139909587558135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
/proc/2093/statm: 2713285 196143 3633 1 0 2675341 0
[pid=2093/tid=2146] ppid=2090 vsize=10853140 memory=784572 CPUtime=2341.24 cores=1,3,5,7
/proc/2093/task/2146/stat : 2146 (java) R 2090 2093 436 0 -1 4202560 65186 13358 0 0 234079 37 5 3 20 0 15 0 416157958 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909559393936 139909196667919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2147] ppid=2090 vsize=10853140 memory=782344 CPUtime=7.97 cores=1,3,5,7
/proc/2093/task/2147/stat : 2147 (java) S 2090 2093 436 0 -1 1077944384 8887 13358 0 0 753 36 5 3 20 0 15 0 416157959 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909591800336 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2148] ppid=2090 vsize=10853140 memory=784572 CPUtime=8.01 cores=1,3,5,7
/proc/2093/task/2148/stat : 2148 (java) S 2090 2093 436 0 -1 1077944384 10355 13358 0 0 755 38 5 3 20 0 15 0 416157959 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909506620048 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2149] ppid=2090 vsize=10853140 memory=164 CPUtime=7.97 cores=1,3,5,7
/proc/2093/task/2149/stat : 2149 (java) S 2090 2093 436 0 -1 1077944384 10440 13358 0 0 752 37 5 3 20 0 15 0 416157959 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909505566992 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2150] ppid=2090 vsize=10853140 memory=784572 CPUtime=7.98 cores=1,3,5,7
/proc/2093/task/2150/stat : 2150 (java) S 2090 2093 436 0 -1 1077944384 14020 13358 0 0 756 34 5 3 20 0 15 0 416157959 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909504514448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2151] ppid=2090 vsize=10853140 memory=120 CPUtime=6.6 cores=1,3,5,7
/proc/2093/task/2151/stat : 2151 (java) S 2090 2093 436 0 -1 1077944384 14068 13358 0 0 621 31 5 3 20 0 15 0 416157960 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909114145520 139909587569282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2152] ppid=2090 vsize=10853140 memory=3632 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2152/stat : 2152 (java) S 2090 2093 436 0 -1 1077944384 16 13358 0 0 0 0 5 3 20 0 15 0 416157961 11113615360 196143 33554432000 4194304 4196468 140729978033408 139908492551904 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2153] ppid=2090 vsize=10853140 memory=784520 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2153/stat : 2153 (java) S 2090 2093 436 0 -1 1077944384 2 13358 0 0 0 0 5 3 20 0 15 0 416157961 11113615360 196143 33554432000 4194304 4196468 140729978033408 139908358333696 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2154] ppid=2090 vsize=10853140 memory=784544 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2154/stat : 2154 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139908118043088 139909587576731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2155] ppid=2090 vsize=10853140 memory=784572 CPUtime=7.14 cores=1,3,5,7
/proc/2093/task/2155/stat : 2155 (java) S 2090 2093 436 0 -1 1077944384 53645 13358 0 0 699 7 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909113092336 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2156] ppid=2090 vsize=10853140 memory=784572 CPUtime=7.36 cores=1,3,5,7
/proc/2093/task/2156/stat : 2156 (java) S 2090 2093 436 0 -1 1077944384 60519 13358 0 0 721 7 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909112039792 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2157] ppid=2090 vsize=10853140 memory=3156 CPUtime=5.1 cores=1,3,5,7
/proc/2093/task/2157/stat : 2157 (java) S 2090 2093 436 0 -1 1077944384 77258 13358 0 0 492 10 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909110986736 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2158] ppid=2090 vsize=10853140 memory=784572 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2158/stat : 2158 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139908084484448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2159] ppid=2090 vsize=10853140 memory=9272834394290 CPUtime=1.28 cores=1,3,5,7
/proc/2093/task/2159/stat : 2159 (java) S 2090 2093 436 0 -1 1077944384 1711 13358 0 0 58 62 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909109935152 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 784572 KiB

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

[startup+2357.34 s]
# the end of solver process 2093 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.39 s, system=2.68743 s

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

[startup+2357.3 s]
/proc/loadavg: 1.56 1.39 1.37 3/229 2537
/proc/meminfo: memFree=30394176/32770624 swapFree=66995200/67108860
[pid=2093] ppid=2090 vsize=10853140 memory=784572 CPUtime=2400.02 cores=1,3,5,7
/proc/2093/stat : 2093 (java) S 2090 2093 436 0 -1 1077944320 318323 13358 0 0 239730 264 5 3 20 0 15 0 416157949 11113615360 196143 33554432000 4194304 4196468 140729978033408 140729978015952 139909587558135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
/proc/2093/statm: 2713285 196143 3633 1 0 2675341 0
[pid=2093/tid=2146] ppid=2090 vsize=10853140 memory=784572 CPUtime=2341.24 cores=1,3,5,7
/proc/2093/task/2146/stat : 2146 (java) R 2090 2093 436 0 -1 4202560 65186 13358 0 0 234079 37 5 3 20 0 15 0 416157958 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909559393936 139909196667919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2147] ppid=2090 vsize=10853140 memory=782344 CPUtime=7.97 cores=1,3,5,7
/proc/2093/task/2147/stat : 2147 (java) S 2090 2093 436 0 -1 1077944384 8887 13358 0 0 753 36 5 3 20 0 15 0 416157959 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909591800336 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2148] ppid=2090 vsize=10853140 memory=784572 CPUtime=8.01 cores=1,3,5,7
/proc/2093/task/2148/stat : 2148 (java) S 2090 2093 436 0 -1 1077944384 10355 13358 0 0 755 38 5 3 20 0 15 0 416157959 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909506620048 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2149] ppid=2090 vsize=10853140 memory=164 CPUtime=7.97 cores=1,3,5,7
/proc/2093/task/2149/stat : 2149 (java) S 2090 2093 436 0 -1 1077944384 10440 13358 0 0 752 37 5 3 20 0 15 0 416157959 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909505566992 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2150] ppid=2090 vsize=10853140 memory=784572 CPUtime=7.98 cores=1,3,5,7
/proc/2093/task/2150/stat : 2150 (java) S 2090 2093 436 0 -1 1077944384 14020 13358 0 0 756 34 5 3 20 0 15 0 416157959 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909504514448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2151] ppid=2090 vsize=10853140 memory=120 CPUtime=6.6 cores=1,3,5,7
/proc/2093/task/2151/stat : 2151 (java) S 2090 2093 436 0 -1 1077944384 14068 13358 0 0 621 31 5 3 20 0 15 0 416157960 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909114145520 139909587569282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2152] ppid=2090 vsize=10853140 memory=3632 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2152/stat : 2152 (java) S 2090 2093 436 0 -1 1077944384 16 13358 0 0 0 0 5 3 20 0 15 0 416157961 11113615360 196143 33554432000 4194304 4196468 140729978033408 139908492551904 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2153] ppid=2090 vsize=10853140 memory=784520 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2153/stat : 2153 (java) S 2090 2093 436 0 -1 1077944384 2 13358 0 0 0 0 5 3 20 0 15 0 416157961 11113615360 196143 33554432000 4194304 4196468 140729978033408 139908358333696 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2154] ppid=2090 vsize=10853140 memory=784544 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2154/stat : 2154 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139908118043088 139909587576731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2155] ppid=2090 vsize=10853140 memory=784572 CPUtime=7.14 cores=1,3,5,7
/proc/2093/task/2155/stat : 2155 (java) S 2090 2093 436 0 -1 1077944384 53645 13358 0 0 699 7 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909113092336 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2156] ppid=2090 vsize=10853140 memory=784572 CPUtime=7.36 cores=1,3,5,7
/proc/2093/task/2156/stat : 2156 (java) S 2090 2093 436 0 -1 1077944384 60519 13358 0 0 721 7 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909112039792 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2157] ppid=2090 vsize=10853140 memory=3156 CPUtime=5.1 cores=1,3,5,7
/proc/2093/task/2157/stat : 2157 (java) S 2090 2093 436 0 -1 1077944384 77258 13358 0 0 492 10 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909110986736 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2158] ppid=2090 vsize=10853140 memory=784572 CPUtime=0.08 cores=1,3,5,7
/proc/2093/task/2158/stat : 2158 (java) S 2090 2093 436 0 -1 1077944384 3 13358 0 0 0 0 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139908084484448 139909587568341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
[pid=2093/tid=2159] ppid=2090 vsize=10853140 memory=9272834394290 CPUtime=1.28 cores=1,3,5,7
/proc/2093/task/2159/stat : 2159 (java) S 2090 2093 436 0 -1 1077944384 1711 13358 0 0 58 62 5 3 20 0 15 0 416157964 11113615360 196143 33554432000 4194304 4196468 140729978033408 139909109935152 139909587569282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140729978039023 140729978041541 140729978041541 140729978044367 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 784572 KiB

Child status: 143
Real time (s): 2357.34
CPU time (s): 2400.07
CPU user time (s): 2397.39
CPU system time (s): 2.68743
CPU usage (%): 101.813
Max. virtual memory (cumulated for all children) (KiB): 10853932
Max. memory (cumulated for all children) (KiB): 892028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.39
system time used= 2.68743
maximum resident set size= 894076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 192011
involuntary context switches= 5786


# summary of solver processes directly reported to runsolver:
#   pid: 2093
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2397.39
#   total CPU system time (s): 2.68743

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.031 second user time and 22.471 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 4396434

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