2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.10	SAT (TO)	14	2520.11	2457.83

0.74/0.54	c Concrete v3.10.1560635388952 running
26.23/12.07	o 15
27.88/12.87	o 14
2520.07/2457.81	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.07/2457.81		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2520.07/2457.81		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57)
2520.07/2457.81		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.07/2457.81		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.07/2457.81		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.07/2457.81		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.07/2457.81		at concrete.heuristic.value.BestCost.select(BestCost.scala:57)
2520.07/2457.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.07/2457.81		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.07/2457.81		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.07/2457.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.07/2457.81		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.07/2457.81		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.07/2457.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.07/2457.81		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.07/2457.81		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.07/2457.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.07/2457.81		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2520.07/2457.81		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.07/2457.81		at scala.Option.map(Option.scala:243)
2520.07/2457.81		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.07/2457.81		at concrete.MAC.mac(MAC.scala:204)
2520.07/2457.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253)
2520.07/2457.81		at scala.util.Try$.apply(Try.scala:212)
2520.07/2457.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.07/2457.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.07/2457.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.07/2457.81		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2457.81		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2457.81		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2457.81		at concrete.Solver.hasNext(Solver.scala:160)
2520.07/2457.81		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2457.81		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2457.81		at concrete.Solver.foreach(Solver.scala:67)
2520.07/2457.81		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72)
2520.07/2457.81		at scala.util.Success.map(Try.scala:264)
2520.07/2457.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67)
2520.07/2457.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.07/2457.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.07/2457.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2457.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.07/2457.81		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.07/2457.81		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.07/2457.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.07/2457.81		at scala.App.$anonfun$main$1(App.scala:75)
2520.07/2457.81		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.07/2457.81		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2457.81		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2457.81		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.07/2457.81		at scala.App.main(App.scala:75)
2520.07/2457.81		at scala.App.main$(App.scala:73)
2520.07/2457.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.07/2457.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2457.82	v <instantiation
2520.07/2457.82	v         cost = '14'>
2520.07/2457.82	v       <list>
2520.07/2457.82	v         p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14]
2520.07/2457.82	v       </list>
2520.07/2457.82	v       <values>
2520.07/2457.82	v         7 1 5 6 2 8 12 14 9 11 0 3 13 4 10 0 0 1 1 1 2 2 3 3 3 4 4 5 6 6 0 0 1 1 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 3 0 0 0 0 0 0 0 0 0 0 1 2 2 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 1 1 2 2 3 3 3 3 3 3 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 0 0 0 0 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 3 3 3 0 0 0 1 1 2 3 3 4 4 5 6 6 6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 3 3 3 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 1 1 1 1 2 2 3 3 3 3 3 3 3 3 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 1 1 2 2 3 3 3 3 3 3 4 4 4 0 1 1 1 1 1 1 2 3 4 4 4 4 4 4 0 0 0 1 1 1 2 2 2 3 3 3 3 3 3 1 2 2 2 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 1 2 2 2 2 2 2 3 3 4 4 0 0 0 0 0 0 0 0 0 0 1 1 2 3 3 1 1 2 2 2 2 2 2 3 3 4 4 4 4 4 0 0 0 0 0 1 2 3 3 3 3 4 4 5 5 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 3 3 3 3 3 3 3 3 0 0 1 0 0 1 0 1 0 0 1 0 1 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 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 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 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 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 1 0 0 0 0 0 1 1 1 1 1 1 1 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 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 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 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 5 8 12 13 14 14 14 14 13 14 11 10 9 7 2
2520.07/2457.82	v       </values>
2520.07/2457.82	v     </instantiation>
2520.07/2457.82	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 (7397 MiB free)
  memory of node 1: 16384 MiB (11657 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387502-1568307716/watcher-4387502-1568307716 -o /tmp/evaluation-result-4387502-1568307716/solver-4387502-1568307716 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568286041-32307 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1454480659 HOME/instance-4387502-1568307716.xml 

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

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


[startup+0.100157 s]*
/proc/loadavg: 1.18 1.30 1.37 3/219 6217
/proc/meminfo: memFree=19501400/32770624 swapFree=66939720/67108860
[pid=6160] ppid=6157 vsize=9972712 memory=18328 CPUtime=0.1 cores=1,3,5,7
/proc/6160/stat : 6160 (java) S 6157 6160 31346 0 -1 1077944320 4352 13132 0 0 1 1 5 3 20 0 6 0 407038485 10212057088 4582 33554432000 4194304 4196468 140721901282304 140721901264848 140434269306615 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
/proc/6160/statm: 2493178 4582 1931 1 0 2481616 0
[pid=6160/tid=6213] ppid=6157 vsize=9972712 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/6160/task/6213/stat : 6213 (java) R 6157 6160 31346 0 -1 4202560 2176 13132 0 0 1 0 5 3 20 0 6 0 407038494 10212057088 4648 33554432000 4194304 4196468 140721901282304 140434241143376 140434254445066 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6214] ppid=6157 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6214/stat : 6214 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 6 0 407038495 10212057088 4648 33554432000 4194304 4196468 140721901282304 140434273549456 140434269316821 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6215] ppid=6157 vsize=9972712 memory=140662681327232 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6215/stat : 6215 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 6 0 407038495 10212057088 4648 33554432000 4194304 4196468 140721901282304 140434161822736 140434269316821 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6216] ppid=6157 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6216/stat : 6216 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 6 0 407038495 10212057088 4648 33554432000 4194304 4196468 140721901282304 140434160769936 140434269316821 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6217] ppid=6157 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6217/stat : 6217 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 6 0 407038495 10212057088 4648 33554432000 4194304 4196468 140721901282304 140434159717136 140434269316821 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB

[startup+0.210086 s]*
/proc/loadavg: 1.18 1.30 1.37 3/228 6226
/proc/meminfo: memFree=19482640/32770624 swapFree=66939720/67108860
[pid=6160] ppid=6157 vsize=10818940 memory=41812 CPUtime=0.26 cores=1,3,5,7
/proc/6160/stat : 6160 (java) S 6157 6160 31346 0 -1 1077944320 6783 13132 0 0 16 2 5 3 20 0 15 0 407038485 11078594560 10453 33554432000 4194304 4196468 140721901282304 140721901264848 140434269306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
/proc/6160/statm: 2704735 10453 2982 1 0 2667149 0
[pid=6160/tid=6213] ppid=6157 vsize=10818940 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/6160/task/6213/stat : 6213 (java) R 6157 6160 31346 0 -1 4202560 3280 13132 0 0 11 0 5 3 20 0 15 0 407038494 11078594560 10453 33554432000 4194304 4196468 140721901282304 140434241138816 140434253387132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6214] ppid=6157 vsize=10818940 memory=4294967660 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6214/stat : 6214 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038495 11078594560 10453 33554432000 4194304 4196468 140721901282304 140434273549456 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6215] ppid=6157 vsize=10818940 memory=140662683365126 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6215/stat : 6215 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038495 11078594560 10453 33554432000 4194304 4196468 140721901282304 140434161822736 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6216] ppid=6157 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6216/stat : 6216 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038495 11078594560 10453 33554432000 4194304 4196468 140721901282304 140434160769936 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6217] ppid=6157 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6217/stat : 6217 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038495 11078594560 10453 33554432000 4194304 4196468 140721901282304 140434159717136 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6218] ppid=6157 vsize=10818940 memory=140662681327232 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6218/stat : 6218 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038496 11078594560 10518 33554432000 4194304 4196468 140721901282304 140433728567664 140434269317762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6219] ppid=6157 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6219/stat : 6219 (java) S 6157 6160 31346 0 -1 1077944384 33 13132 0 0 0 0 5 3 20 0 15 0 407038497 11078594560 10518 33554432000 4194304 4196468 140721901282304 140433727513632 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6220] ppid=6157 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6220/stat : 6220 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038497 11078594560 10518 33554432000 4194304 4196468 140721901282304 140433619411824 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6221] ppid=6157 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6221/stat : 6221 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038500 11078594560 10518 33554432000 4194304 4196468 140721901282304 140433015433040 140434269325211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6222] ppid=6157 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6160/task/6222/stat : 6222 (java) R 6157 6160 31346 0 -1 1077944384 354 13132 0 0 1 0 5 3 20 0 15 0 407038500 11078594560 10518 33554432000 4194304 4196468 140721901282304 140433693956976 140434269317762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6223] ppid=6157 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6223/stat : 6223 (java) R 6157 6160 31346 0 -1 1077944384 280 13132 0 0 0 0 5 3 20 0 15 0 407038500 11078594560 10518 33554432000 4194304 4196468 140721901282304 140433692904176 140434269317762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6224] ppid=6157 vsize=10818940 memory=140662681327232 CPUtime=0.11 cores=1,3,5,7
/proc/6160/task/6224/stat : 6224 (java) R 6157 6160 31346 0 -1 1077944384 631 13132 0 0 3 0 5 3 20 0 15 0 407038500 11078594560 10518 33554432000 4194304 4196468 140721901282304 140433691851376 140434269317762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6225] ppid=6157 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6225/stat : 6225 (java) S 6157 6160 31346 0 -1 1077944384 3 13132 0 0 0 0 5 3 20 0 15 0 407038500 11078594560 10518 33554432000 4194304 4196468 140721901282304 140432545671904 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6226] ppid=6157 vsize=10818940 memory=140662681327232 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6226/stat : 6226 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038500 11078594560 10518 33554432000 4194304 4196468 140721901282304 140433690798768 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 41812 KiB

[startup+0.310532 s]*
/proc/loadavg: 1.18 1.30 1.37 3/228 6226
/proc/meminfo: memFree=19471872/32770624 swapFree=66939720/67108860
[pid=6160] ppid=6157 vsize=10820096 memory=53144 CPUtime=0.4 cores=1,3,5,7
/proc/6160/stat : 6160 (java) S 6157 6160 31346 0 -1 1077944320 10518 13132 0 0 29 3 5 3 20 0 15 0 407038485 11079778304 13286 33554432000 4194304 4196468 140721901282304 140721901264848 140434269306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
/proc/6160/statm: 2705061 13286 3236 1 0 2667149 0
[pid=6160/tid=6213] ppid=6157 vsize=10820244 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/6160/task/6213/stat : 6213 (java) R 6157 6160 31346 0 -1 4202560 7018 13132 0 0 20 2 5 3 20 0 15 0 407038494 11079929856 13351 33554432000 4194304 4196468 140721901282304 140434241126832 140434269328541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6214] ppid=6157 vsize=10820244 memory=-8813974798734826869 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6214/stat : 6214 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038495 11079929856 13351 33554432000 4194304 4196468 140721901282304 140434273549456 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6215] ppid=6157 vsize=10820244 memory=-2843871824389457054 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6215/stat : 6215 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038495 11079929856 13351 33554432000 4194304 4196468 140721901282304 140434161822736 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6216] ppid=6157 vsize=10820244 memory=-8412656567334364540 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6216/stat : 6216 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038495 11079929856 13351 33554432000 4194304 4196468 140721901282304 140434160769936 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6217] ppid=6157 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6217/stat : 6217 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038495 11079929856 13351 33554432000 4194304 4196468 140721901282304 140434159717136 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6218] ppid=6157 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6218/stat : 6218 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038496 11079929856 13351 33554432000 4194304 4196468 140721901282304 140433728567664 140434269317762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6219] ppid=6157 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6219/stat : 6219 (java) S 6157 6160 31346 0 -1 1077944384 33 13132 0 0 0 0 5 3 20 0 15 0 407038497 11079929856 13351 33554432000 4194304 4196468 140721901282304 140433727513632 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6220] ppid=6157 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6220/stat : 6220 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038497 11079929856 13351 33554432000 4194304 4196468 140721901282304 140433619411824 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6221] ppid=6157 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6221/stat : 6221 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038500 11079929856 13351 33554432000 4194304 4196468 140721901282304 140433015433040 140434269325211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6222] ppid=6157 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6160/task/6222/stat : 6222 (java) R 6157 6160 31346 0 -1 4202560 354 13132 0 0 1 0 5 3 20 0 15 0 407038500 11079929856 13351 33554432000 4194304 4196468 140721901282304 140433693956976 140434250871200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6223] ppid=6157 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6160/task/6223/stat : 6223 (java) S 6157 6160 31346 0 -1 1077944384 282 13132 0 0 1 0 5 3 20 0 15 0 407038500 11079929856 13351 33554432000 4194304 4196468 140721901282304 140433692904176 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6224] ppid=6157 vsize=10820244 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/6160/task/6224/stat : 6224 (java) S 6157 6160 31346 0 -1 1077944384 644 13132 0 0 5 0 5 3 20 0 15 0 407038500 11079929856 13351 33554432000 4194304 4196468 140721901282304 140433691851376 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6225] ppid=6157 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6225/stat : 6225 (java) S 6157 6160 31346 0 -1 1077944384 3 13132 0 0 0 0 5 3 20 0 15 0 407038500 11079929856 13351 33554432000 4194304 4196468 140721901282304 140432545671904 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6226] ppid=6157 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6226/stat : 6226 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038500 11079929856 13351 33554432000 4194304 4196468 140721901282304 140433690798768 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 53144 KiB

[startup+0.700943 s]
/proc/loadavg: 1.18 1.30 1.37 5/228 6226
/proc/meminfo: memFree=19456288/32770624 swapFree=66939720/67108860
[pid=6160] ppid=6157 vsize=10824340 memory=82780 CPUtime=1.15 cores=1,3,5,7
/proc/6160/stat : 6160 (java) S 6157 6160 31346 0 -1 1077944320 14544 13132 0 0 102 5 5 3 20 0 15 0 407038485 11084124160 20695 33554432000 4194304 4196468 140721901282304 140721901264848 140434269306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
/proc/6160/statm: 2706085 20695 3510 1 0 2668173 0
[pid=6160/tid=6213] ppid=6157 vsize=10824340 memory=2437595268865 CPUtime=0.67 cores=1,3,5,7
/proc/6160/task/6213/stat : 6213 (java) R 6157 6160 31346 0 -1 4202560 10235 13132 0 0 56 3 5 3 20 0 15 0 407038494 11084124160 20695 33554432000 4194304 4196468 140721901282304 140434241124576 140434253387102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6214] ppid=6157 vsize=10824340 memory=2450480170753 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6214/stat : 6214 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038495 11084124160 20695 33554432000 4194304 4196468 140721901282304 140434273549456 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6215] ppid=6157 vsize=10824340 memory=2471955007233 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6215/stat : 6215 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038495 11084124160 20695 33554432000 4194304 4196468 140721901282304 140434161822736 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6216] ppid=6157 vsize=10824340 memory=2476249974529 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6216/stat : 6216 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038495 11084124160 20695 33554432000 4194304 4196468 140721901282304 140434160769936 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6217] ppid=6157 vsize=10824340 memory=8730425 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6217/stat : 6217 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038495 11084124160 20695 33554432000 4194304 4196468 140721901282304 140434159717136 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6218] ppid=6157 vsize=10824340 memory=4639649383340284835 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6218/stat : 6218 (java) S 6157 6160 31346 0 -1 1077944384 5 13132 0 0 0 0 5 3 20 0 15 0 407038496 11084124160 20695 33554432000 4194304 4196468 140721901282304 140433728567664 140434269317762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6219] ppid=6157 vsize=10824340 memory=5861826720752095312 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6219/stat : 6219 (java) S 6157 6160 31346 0 -1 1077944384 33 13132 0 0 0 0 5 3 20 0 15 0 407038497 11084124160 20695 33554432000 4194304 4196468 140721901282304 140433727513632 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6220] ppid=6157 vsize=10824340 memory=7013340846366745708 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6220/stat : 6220 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038497 11084124160 20695 33554432000 4194304 4196468 140721901282304 140433619411824 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6221] ppid=6157 vsize=10824340 memory=281325056075328 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6221/stat : 6221 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038500 11084124160 20695 33554432000 4194304 4196468 140721901282304 140433015433040 140434269325211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6222] ppid=6157 vsize=10824340 memory=140664473911905 CPUtime=0.23 cores=1,3,5,7
/proc/6160/task/6222/stat : 6222 (java) S 6157 6160 31346 0 -1 1077944384 733 13132 0 0 15 0 5 3 20 0 15 0 407038500 11084124160 20695 33554432000 4194304 4196468 140721901282304 140433693956976 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6223] ppid=6157 vsize=10824340 memory=143129785139850 CPUtime=0.21 cores=1,3,5,7
/proc/6160/task/6223/stat : 6223 (java) S 6157 6160 31346 0 -1 1077944384 527 13132 0 0 13 0 5 3 20 0 15 0 407038500 11084124160 20695 33554432000 4194304 4196468 140721901282304 140433692904176 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6224] ppid=6157 vsize=10824340 memory=140664473912185 CPUtime=0.25 cores=1,3,5,7
/proc/6160/task/6224/stat : 6224 (java) S 6157 6160 31346 0 -1 1077944384 791 13132 0 0 17 0 5 3 20 0 15 0 407038500 11084124160 20695 33554432000 4194304 4196468 140721901282304 140433691851376 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6225] ppid=6157 vsize=10824340 memory=140664473912187 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6225/stat : 6225 (java) S 6157 6160 31346 0 -1 1077944384 3 13132 0 0 0 0 5 3 20 0 15 0 407038500 11084124160 20695 33554432000 4194304 4196468 140721901282304 140432545671904 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6226] ppid=6157 vsize=10824340 memory=140664473912217 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6226/stat : 6226 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038500 11084124160 20695 33554432000 4194304 4196468 140721901282304 140433690798768 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 82780 KiB

[startup+1.50075 s]
/proc/loadavg: 1.18 1.30 1.37 5/228 6226
/proc/meminfo: memFree=19399328/32770624 swapFree=66939720/67108860
[pid=6160] ppid=6157 vsize=10834656 memory=202516 CPUtime=3.13 cores=1,3,5,7
/proc/6160/stat : 6160 (java) S 6157 6160 31346 0 -1 1077944320 29349 13132 0 0 295 10 5 3 20 0 15 0 407038485 11094687744 50629 33554432000 4194304 4196468 140721901282304 140721901264848 140434269306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
/proc/6160/statm: 2708664 50629 3581 1 0 2670733 0
[pid=6160/tid=6213] ppid=6157 vsize=10834656 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/6160/task/6213/stat : 6213 (java) R 6157 6160 31346 0 -1 4202560 15458 13132 0 0 130 5 5 3 20 0 15 0 407038494 11094687744 50629 33554432000 4194304 4196468 140721901282304 140434241133632 140434253387102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6214] ppid=6157 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6160/task/6214/stat : 6214 (java) S 6157 6160 31346 0 -1 1077944384 58 13132 0 0 1 0 5 3 20 0 15 0 407038495 11094687744 50629 33554432000 4194304 4196468 140721901282304 140434273549456 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6215] ppid=6157 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6160/task/6215/stat : 6215 (java) S 6157 6160 31346 0 -1 1077944384 38 13132 0 0 1 0 5 3 20 0 15 0 407038495 11094687744 50629 33554432000 4194304 4196468 140721901282304 140434161822736 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6216] ppid=6157 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6160/task/6216/stat : 6216 (java) S 6157 6160 31346 0 -1 1077944384 314 13132 0 0 1 0 5 3 20 0 15 0 407038495 11094687744 50629 33554432000 4194304 4196468 140721901282304 140434160769936 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6217] ppid=6157 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6160/task/6217/stat : 6217 (java) S 6157 6160 31346 0 -1 1077944384 78 13132 0 0 1 0 5 3 20 0 15 0 407038495 11094687744 50629 33554432000 4194304 4196468 140721901282304 140434159717136 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6218] ppid=6157 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6160/task/6218/stat : 6218 (java) S 6157 6160 31346 0 -1 1077944384 466 13132 0 0 1 0 5 3 20 0 15 0 407038496 11094687744 50629 33554432000 4194304 4196468 140721901282304 140433728567664 140434269317762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6219] ppid=6157 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6219/stat : 6219 (java) S 6157 6160 31346 0 -1 1077944384 33 13132 0 0 0 0 5 3 20 0 15 0 407038497 11094687744 50629 33554432000 4194304 4196468 140721901282304 140433727513696 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6220] ppid=6157 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6220/stat : 6220 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038497 11094687744 50629 33554432000 4194304 4196468 140721901282304 140433619411840 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6221] ppid=6157 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6221/stat : 6221 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038500 11094687744 50629 33554432000 4194304 4196468 140721901282304 140433015433040 140434269325211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6222] ppid=6157 vsize=10834656 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/6160/task/6222/stat : 6222 (java) S 6157 6160 31346 0 -1 1077944384 2536 13132 0 0 52 0 5 3 20 0 15 0 407038500 11094687744 50629 33554432000 4194304 4196468 140721901282304 140433693956976 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6223] ppid=6157 vsize=10834656 memory=-7966001967407402336 CPUtime=0.67 cores=1,3,5,7
/proc/6160/task/6223/stat : 6223 (java) S 6157 6160 31346 0 -1 1077944384 5840 13132 0 0 58 1 5 3 20 0 15 0 407038500 11094687744 50629 33554432000 4194304 4196468 140721901282304 140433692904176 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6224] ppid=6157 vsize=10834656 memory=6944938067432061290 CPUtime=0.54 cores=1,3,5,7
/proc/6160/task/6224/stat : 6224 (java) S 6157 6160 31346 0 -1 1077944384 2313 13132 0 0 46 0 5 3 20 0 15 0 407038500 11094687744 50629 33554432000 4194304 4196468 140721901282304 140433691851376 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6225] ppid=6157 vsize=10834656 memory=7100839870102598768 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6225/stat : 6225 (java) S 6157 6160 31346 0 -1 1077944384 3 13132 0 0 0 0 5 3 20 0 15 0 407038500 11094687744 50629 33554432000 4194304 4196468 140721901282304 140432545671904 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6226] ppid=6157 vsize=10834656 memory=4627829655977429107 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6226/stat : 6226 (java) S 6157 6160 31346 0 -1 1077944384 1 13132 0 0 0 0 5 3 20 0 15 0 407038500 11094687744 50629 33554432000 4194304 4196468 140721901282304 140433690798768 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10834656 KiB

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

/proc/6160/task/6213/stat : 6213 (java) R 6157 6160 31346 0 -1 4202560 64812 13132 0 0 229849 47 5 3 20 0 15 0 407038494 11111497728 260704 33554432000 4194304 4196468 140721901282304 140434241142736 140433857896631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6214] ppid=6157 vsize=10851072 memory=1040768 CPUtime=12.2 cores=1,3,5,7
/proc/6160/task/6214/stat : 6214 (java) S 6157 6160 31346 0 -1 1077944384 10448 13132 0 0 1158 54 5 3 20 0 15 0 407038495 11111497728 260704 33554432000 4194304 4196468 140721901282304 140434273549456 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6215] ppid=6157 vsize=10851072 memory=1042816 CPUtime=12.11 cores=1,3,5,7
/proc/6160/task/6215/stat : 6215 (java) S 6157 6160 31346 0 -1 1077944384 13249 13132 0 0 1152 51 5 3 20 0 15 0 407038495 11111497728 260704 33554432000 4194304 4196468 140721901282304 140434161822736 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6216] ppid=6157 vsize=10851072 memory=1042816 CPUtime=12.12 cores=1,3,5,7
/proc/6160/task/6216/stat : 6216 (java) S 6157 6160 31346 0 -1 1077944384 13700 13132 0 0 1153 51 5 3 20 0 15 0 407038495 11111497728 260704 33554432000 4194304 4196468 140721901282304 140434160769936 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6217] ppid=6157 vsize=10851072 memory=1042816 CPUtime=12.09 cores=1,3,5,7
/proc/6160/task/6217/stat : 6217 (java) S 6157 6160 31346 0 -1 1077944384 8038 13132 0 0 1152 49 5 3 20 0 15 0 407038495 11111497728 260704 33554432000 4194304 4196468 140721901282304 140434159717136 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6218] ppid=6157 vsize=10851072 memory=1042816 CPUtime=9.49 cores=1,3,5,7
/proc/6160/task/6218/stat : 6218 (java) S 6157 6160 31346 0 -1 1077944384 14394 13132 0 0 888 53 5 3 20 0 15 0 407038496 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433728567664 140434269317762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6219] ppid=6157 vsize=10851072 memory=1042816 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6219/stat : 6219 (java) S 6157 6160 31346 0 -1 1077944384 42 13132 0 0 0 0 5 3 20 0 15 0 407038497 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433727513696 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6220] ppid=6157 vsize=10851072 memory=1042816 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6220/stat : 6220 (java) S 6157 6160 31346 0 -1 1077944384 4 13132 0 0 0 0 5 3 20 0 15 0 407038497 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433619411840 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6221] ppid=6157 vsize=10851072 memory=1042816 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6221/stat : 6221 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433015433040 140434269325211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6222] ppid=6157 vsize=10851072 memory=1042816 CPUtime=9.69 cores=1,3,5,7
/proc/6160/task/6222/stat : 6222 (java) S 6157 6160 31346 0 -1 1077944384 40848 13132 0 0 953 8 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433693956976 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6223] ppid=6157 vsize=10851072 memory=1042816 CPUtime=9.31 cores=1,3,5,7
/proc/6160/task/6223/stat : 6223 (java) S 6157 6160 31346 0 -1 1077944384 38747 13132 0 0 917 6 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433692904176 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6224] ppid=6157 vsize=10851072 memory=1042816 CPUtime=5.58 cores=1,3,5,7
/proc/6160/task/6224/stat : 6224 (java) S 6157 6160 31346 0 -1 1077944384 36272 13132 0 0 543 7 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433691851376 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6225] ppid=6157 vsize=10851072 memory=1980 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6225/stat : 6225 (java) S 6157 6160 31346 0 -1 1077944384 3 13132 0 0 0 0 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140432545671904 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6226] ppid=6157 vsize=10851072 memory=1042816 CPUtime=1.28 cores=1,3,5,7
/proc/6160/task/6226/stat : 6226 (java) S 6157 6160 31346 0 -1 1077944384 1601 13132 0 0 55 65 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433690798768 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1042816 KiB

[startup+2382.3 s]
/proc/loadavg: 1.52 1.44 1.41 3/228 6834
/proc/meminfo: memFree=18538140/32770624 swapFree=66939724/67108860
[pid=6160] ppid=6157 vsize=10851072 memory=1042816 CPUtime=2443.32 cores=1,3,5,7
/proc/6160/stat : 6160 (java) S 6157 6160 31346 0 -1 1077944320 245828 13132 0 0 243970 354 5 3 20 0 15 0 407038485 11111497728 260704 33554432000 4194304 4196468 140721901282304 140721901264848 140434269306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
/proc/6160/statm: 2712768 260704 3627 1 0 2674829 0
[pid=6160/tid=6213] ppid=6157 vsize=10851072 memory=1042816 CPUtime=2358.39 cores=1,3,5,7
/proc/6160/task/6213/stat : 6213 (java) R 6157 6160 31346 0 -1 4202560 65501 13132 0 0 235782 49 5 3 20 0 15 0 407038494 11111497728 260704 33554432000 4194304 4196468 140721901282304 140434241141584 140433857761995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6214] ppid=6157 vsize=10851072 memory=1042816 CPUtime=12.53 cores=1,3,5,7
/proc/6160/task/6214/stat : 6214 (java) S 6157 6160 31346 0 -1 1077944384 10467 13132 0 0 1190 55 5 3 20 0 15 0 407038495 11111497728 260704 33554432000 4194304 4196468 140721901282304 140434273549456 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6215] ppid=6157 vsize=10851072 memory=1042816 CPUtime=12.46 cores=1,3,5,7
/proc/6160/task/6215/stat : 6215 (java) S 6157 6160 31346 0 -1 1077944384 13354 13132 0 0 1185 53 5 3 20 0 15 0 407038495 11111497728 260704 33554432000 4194304 4196468 140721901282304 140434161822736 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6216] ppid=6157 vsize=10851072 memory=1042816 CPUtime=12.47 cores=1,3,5,7
/proc/6160/task/6216/stat : 6216 (java) S 6157 6160 31346 0 -1 1077944384 13738 13132 0 0 1186 53 5 3 20 0 15 0 407038495 11111497728 260704 33554432000 4194304 4196468 140721901282304 140434160769936 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6217] ppid=6157 vsize=10851072 memory=1042816 CPUtime=12.43 cores=1,3,5,7
/proc/6160/task/6217/stat : 6217 (java) S 6157 6160 31346 0 -1 1077944384 8404 13132 0 0 1185 50 5 3 20 0 15 0 407038495 11111497728 260704 33554432000 4194304 4196468 140721901282304 140434159717136 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6218] ppid=6157 vsize=10851072 memory=2120 CPUtime=9.76 cores=1,3,5,7
/proc/6160/task/6218/stat : 6218 (java) S 6157 6160 31346 0 -1 1077944384 14611 13132 0 0 913 55 5 3 20 0 15 0 407038496 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433728567664 140434269317762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6219] ppid=6157 vsize=10851072 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6219/stat : 6219 (java) S 6157 6160 31346 0 -1 1077944384 42 13132 0 0 0 0 5 3 20 0 15 0 407038497 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433727513696 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6220] ppid=6157 vsize=10851072 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6220/stat : 6220 (java) S 6157 6160 31346 0 -1 1077944384 4 13132 0 0 0 0 5 3 20 0 15 0 407038497 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433619411840 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6221] ppid=6157 vsize=10851072 memory=1042816 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6221/stat : 6221 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433015433040 140434269325211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6222] ppid=6157 vsize=10851072 memory=1042816 CPUtime=9.69 cores=1,3,5,7
/proc/6160/task/6222/stat : 6222 (java) S 6157 6160 31346 0 -1 1077944384 40850 13132 0 0 953 8 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433693956976 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6223] ppid=6157 vsize=10851072 memory=2004 CPUtime=9.31 cores=1,3,5,7
/proc/6160/task/6223/stat : 6223 (java) S 6157 6160 31346 0 -1 1077944384 38750 13132 0 0 917 6 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433692904176 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6224] ppid=6157 vsize=10851072 memory=1376 CPUtime=5.58 cores=1,3,5,7
/proc/6160/task/6224/stat : 6224 (java) S 6157 6160 31346 0 -1 1077944384 36274 13132 0 0 543 7 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433691851376 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6225] ppid=6157 vsize=10851072 memory=804 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6225/stat : 6225 (java) S 6157 6160 31346 0 -1 1077944384 3 13132 0 0 0 0 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140432545671904 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6226] ppid=6157 vsize=10851072 memory=1408 CPUtime=1.3 cores=1,3,5,7
/proc/6160/task/6226/stat : 6226 (java) S 6157 6160 31346 0 -1 1077944384 1618 13132 0 0 56 66 5 3 20 0 15 0 407038500 11111497728 260704 33554432000 4194304 4196468 140721901282304 140433690798768 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
Current children cumulated CPU time: 2443.32 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1042816 KiB

[startup+2442.3 s]
/proc/loadavg: 1.20 1.36 1.39 3/228 6838
/proc/meminfo: memFree=18535240/32770624 swapFree=66939724/67108860
[pid=6160] ppid=6157 vsize=10851072 memory=1044864 CPUtime=2504.33 cores=1,3,5,7
/proc/6160/stat : 6160 (java) S 6157 6160 31346 0 -1 1077944320 247317 13132 0 0 250062 363 5 3 20 0 15 0 407038485 11111497728 261216 33554432000 4194304 4196468 140721901282304 140721901264848 140434269306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
/proc/6160/statm: 2712768 261216 3627 1 0 2674829 0
[pid=6160/tid=6213] ppid=6157 vsize=10851072 memory=1044864 CPUtime=2417.74 cores=1,3,5,7
/proc/6160/task/6213/stat : 6213 (java) R 6157 6160 31346 0 -1 4202560 66197 13132 0 0 241717 49 5 3 20 0 15 0 407038494 11111497728 261216 33554432000 4194304 4196468 140721901282304 140434241142256 140433858169585 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6214] ppid=6157 vsize=10851072 memory=1044864 CPUtime=12.88 cores=1,3,5,7
/proc/6160/task/6214/stat : 6214 (java) S 6157 6160 31346 0 -1 1077944384 10826 13132 0 0 1223 57 5 3 20 0 15 0 407038495 11111497728 261216 33554432000 4194304 4196468 140721901282304 140434273549456 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6215] ppid=6157 vsize=10851072 memory=1042816 CPUtime=12.79 cores=1,3,5,7
/proc/6160/task/6215/stat : 6215 (java) S 6157 6160 31346 0 -1 1077944384 13381 13132 0 0 1217 54 5 3 20 0 15 0 407038495 11111497728 261216 33554432000 4194304 4196468 140721901282304 140434161822736 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6216] ppid=6157 vsize=10851072 memory=1042816 CPUtime=12.81 cores=1,3,5,7
/proc/6160/task/6216/stat : 6216 (java) S 6157 6160 31346 0 -1 1077944384 13833 13132 0 0 1219 54 5 3 20 0 15 0 407038495 11111497728 261216 33554432000 4194304 4196468 140721901282304 140434160769936 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6217] ppid=6157 vsize=10851072 memory=1042816 CPUtime=12.78 cores=1,3,5,7
/proc/6160/task/6217/stat : 6217 (java) S 6157 6160 31346 0 -1 1077944384 8465 13132 0 0 1218 52 5 3 20 0 15 0 407038495 11111497728 261216 33554432000 4194304 4196468 140721901282304 140434159717136 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6218] ppid=6157 vsize=10851072 memory=1042816 CPUtime=10.02 cores=1,3,5,7
/proc/6160/task/6218/stat : 6218 (java) S 6157 6160 31346 0 -1 1077944384 14838 13132 0 0 938 56 5 3 20 0 15 0 407038496 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433728567664 140434269317762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6219] ppid=6157 vsize=10851072 memory=1042816 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6219/stat : 6219 (java) S 6157 6160 31346 0 -1 1077944384 42 13132 0 0 0 0 5 3 20 0 15 0 407038497 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433727513696 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6220] ppid=6157 vsize=10851072 memory=1044864 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6220/stat : 6220 (java) S 6157 6160 31346 0 -1 1077944384 4 13132 0 0 0 0 5 3 20 0 15 0 407038497 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433619411840 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6221] ppid=6157 vsize=10851072 memory=1042816 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6221/stat : 6221 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433015433040 140434269325211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6222] ppid=6157 vsize=10851072 memory=1548 CPUtime=9.69 cores=1,3,5,7
/proc/6160/task/6222/stat : 6222 (java) S 6157 6160 31346 0 -1 1077944384 40852 13132 0 0 953 8 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433693956976 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6223] ppid=6157 vsize=10851072 memory=8112282956445269571 CPUtime=9.31 cores=1,3,5,7
/proc/6160/task/6223/stat : 6223 (java) S 6157 6160 31346 0 -1 1077944384 38753 13132 0 0 917 6 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433692904176 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6224] ppid=6157 vsize=10851072 memory=1042816 CPUtime=5.58 cores=1,3,5,7
/proc/6160/task/6224/stat : 6224 (java) S 6157 6160 31346 0 -1 1077944384 36276 13132 0 0 543 7 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433691851376 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6225] ppid=6157 vsize=10851072 memory=1042816 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6225/stat : 6225 (java) S 6157 6160 31346 0 -1 1077944384 3 13132 0 0 0 0 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140432545671904 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6226] ppid=6157 vsize=10851072 memory=1042816 CPUtime=1.34 cores=1,3,5,7
/proc/6160/task/6226/stat : 6226 (java) S 6157 6160 31346 0 -1 1077944384 1635 13132 0 0 57 69 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433690798768 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
Current children cumulated CPU time: 2504.33 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1044864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457.8 s]
/proc/loadavg: 1.14 1.34 1.38 3/228 6840
/proc/meminfo: memFree=18535220/32770624 swapFree=66939724/67108860
[pid=6160] ppid=6157 vsize=10851072 memory=1044864 CPUtime=2520.07 cores=1,3,5,7
/proc/6160/stat : 6160 (java) S 6157 6160 31346 0 -1 1077944320 247465 13132 0 0 251634 365 5 3 20 0 15 0 407038485 11111497728 261216 33554432000 4194304 4196468 140721901282304 140721901264848 140434269306615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
/proc/6160/statm: 2712768 261216 3627 1 0 2674829 0
[pid=6160/tid=6213] ppid=6157 vsize=10851072 memory=3620 CPUtime=2433.09 cores=1,3,5,7
/proc/6160/task/6213/stat : 6213 (java) R 6157 6160 31346 0 -1 4202560 66335 13132 0 0 243252 49 5 3 20 0 15 0 407038494 11111497728 261216 33554432000 4194304 4196468 140721901282304 140434241142992 140433838642416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6214] ppid=6157 vsize=10851072 memory=36576 CPUtime=12.95 cores=1,3,5,7
/proc/6160/task/6214/stat : 6214 (java) S 6157 6160 31346 0 -1 1077944384 10828 13132 0 0 1229 58 5 3 20 0 15 0 407038495 11111497728 261216 33554432000 4194304 4196468 140721901282304 140434273549456 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6215] ppid=6157 vsize=10851072 memory=3248 CPUtime=12.87 cores=1,3,5,7
/proc/6160/task/6215/stat : 6215 (java) S 6157 6160 31346 0 -1 1077944384 13381 13132 0 0 1225 54 5 3 20 0 15 0 407038495 11111497728 261216 33554432000 4194304 4196468 140721901282304 140434161822736 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6216] ppid=6157 vsize=10851072 memory=1724 CPUtime=12.9 cores=1,3,5,7
/proc/6160/task/6216/stat : 6216 (java) S 6157 6160 31346 0 -1 1077944384 13835 13132 0 0 1227 55 5 3 20 0 15 0 407038495 11111497728 261216 33554432000 4194304 4196468 140721901282304 140434160769936 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6217] ppid=6157 vsize=10851072 memory=5956 CPUtime=12.86 cores=1,3,5,7
/proc/6160/task/6217/stat : 6217 (java) S 6157 6160 31346 0 -1 1077944384 8466 13132 0 0 1226 52 5 3 20 0 15 0 407038495 11111497728 261216 33554432000 4194304 4196468 140721901282304 140434159717136 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6218] ppid=6157 vsize=10851072 memory=10604 CPUtime=10.08 cores=1,3,5,7
/proc/6160/task/6218/stat : 6218 (java) S 6157 6160 31346 0 -1 1077944384 14841 13132 0 0 943 57 5 3 20 0 15 0 407038496 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433728567664 140434269317762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6219] ppid=6157 vsize=10851072 memory=728 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6219/stat : 6219 (java) S 6157 6160 31346 0 -1 1077944384 42 13132 0 0 0 0 5 3 20 0 15 0 407038497 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433727513696 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6220] ppid=6157 vsize=10851072 memory=780 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6220/stat : 6220 (java) S 6157 6160 31346 0 -1 1077944384 4 13132 0 0 0 0 5 3 20 0 15 0 407038497 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433619411840 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6221] ppid=6157 vsize=10851072 memory=1044864 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6221/stat : 6221 (java) S 6157 6160 31346 0 -1 1077944384 2 13132 0 0 0 0 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433015433040 140434269325211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6222] ppid=6157 vsize=10851072 memory=3620 CPUtime=9.69 cores=1,3,5,7
/proc/6160/task/6222/stat : 6222 (java) S 6157 6160 31346 0 -1 1077944384 40852 13132 0 0 953 8 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433693956976 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6223] ppid=6157 vsize=10851072 memory=0 CPUtime=9.31 cores=1,3,5,7
/proc/6160/task/6223/stat : 6223 (java) S 6157 6160 31346 0 -1 1077944384 38753 13132 0 0 917 6 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433692904176 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6224] ppid=6157 vsize=10851072 memory=1724 CPUtime=5.58 cores=1,3,5,7
/proc/6160/task/6224/stat : 6224 (java) S 6157 6160 31346 0 -1 1077944384 36276 13132 0 0 543 7 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433691851376 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6225] ppid=6157 vsize=10851072 memory=5956 CPUtime=0.08 cores=1,3,5,7
/proc/6160/task/6225/stat : 6225 (java) S 6157 6160 31346 0 -1 1077944384 3 13132 0 0 0 0 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140432545671904 140434269316821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
[pid=6160/tid=6226] ppid=6157 vsize=10851072 memory=1040768 CPUtime=1.34 cores=1,3,5,7
/proc/6160/task/6226/stat : 6226 (java) S 6157 6160 31346 0 -1 1077944384 1637 13132 0 0 57 69 5 3 20 0 15 0 407038500 11111497728 261216 33554432000 4194304 4196468 140721901282304 140433690798768 140434269317762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21307392 140721901284085 140721901286597 140721901286597 140721901289423 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1044864 KiB

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

[startup+2457.83 s]
# the end of solver process 6160 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.42 s, system=3.6952 s

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

Child status: 143
Real time (s): 2457.83
CPU time (s): 2520.11
CPU user time (s): 2516.42
CPU system time (s): 3.6952
CPU usage (%): 102.534
Max. virtual memory (cumulated for all children) (KiB): 10853992
Max. memory (cumulated for all children) (KiB): 1049316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.42
system time used= 3.6952
maximum resident set size= 1051364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261685
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 280426
involuntary context switches= 4951


# summary of solver processes directly reported to runsolver:
#   pid: 6160
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2516.42
#   total CPU system time (s): 3.6952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.403 second user time and 20.1471 second system time

The end

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

Trace number 4387502

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