2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	3	2520.14	2449.78

0.98/0.73	c Concrete v3.9.2.1532736233296 running
827.08/773.27	o 3
2520.05/2449.72	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.05/2449.72		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.05/2449.72		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.05/2449.72		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.05/2449.72		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.05/2449.73		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.05/2449.73		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.05/2449.73		at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2520.05/2449.73		at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.05/2449.73		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.05/2449.73		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2449.73		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2449.73		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2449.73		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2449.73		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2449.73		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2449.73		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2449.73		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.05/2449.73		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.05/2449.73		at scala.Option.map(Option.scala:146)
2520.05/2449.73		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.05/2449.73		at concrete.MAC.mac(MAC.scala:203)
2520.05/2449.73		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2449.73		at scala.util.Try$.apply(Try.scala:209)
2520.05/2449.73		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2449.73		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2449.73		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2449.73		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2449.73		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2449.73		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2449.73		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2449.73		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2449.73		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2449.73		at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2449.73		at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2449.73		at concrete.MAC.nextSolution(MAC.scala:355)
2520.05/2449.73		at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2449.73		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2449.73		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2449.73		at concrete.Solver.foreach(Solver.scala:68)
2520.05/2449.73		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2449.73		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2449.73		at scala.util.Success.map(Try.scala:209)
2520.05/2449.73		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2449.73		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2449.73		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2449.73		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2449.73		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2449.73		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2449.73		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2449.73		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2449.73		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2449.73		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2449.73		at scala.App.main(App.scala:76)
2520.05/2449.73		at scala.App.main$(App.scala:74)
2520.05/2449.73		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2449.73		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2449.74	v <instantiation cost="3">
2520.05/2449.74	v       <list>
2520.05/2449.74	v         d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] npt[0] npt[1] npt[2] npt[3] npt[4] npt[5] npt[6] npt[7] npt[8] npt[9] npt[10] npt[11] npt[12] npt[13] npt[14] npt[15] npt[16] npt[17] npt[18] npt[19] npt[20] npt[21] npt[22] npt[23] npt[24] npt[25] npt[26] npt[27] npt[28] npt[29] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] nptv[0][0] nptv[0][1] nptv[0][2] nptv[0][3] nptv[0][4] nptv[0][5] nptv[0][6] nptv[0][7] nptv[0][8] nptv[0][9] nptv[0][10] nptv[0][11] nptv[0][12] nptv[0][13] nptv[0][14] nptv[0][15] nptv[0][16] nptv[0][17] nptv[0][18] nptv[0][19] nptv[0][20] nptv[0][21] nptv[0][22] nptv[0][23] nptv[0][24] nptv[0][25] nptv[0][26] nptv[0][27] nptv[0][28] nptv[0][29] nptv[1][0] nptv[1][1] nptv[1][2] nptv[1][3] nptv[1][4] nptv[1][5] nptv[1][6] nptv[1][7] nptv[1][8] nptv[1][9] nptv[1][10] nptv[1][11] nptv[1][12] nptv[1][13] nptv[1][14] nptv[1][15] nptv[1][16] nptv[1][17] nptv[1][18] nptv[1][19] nptv[1][20] nptv[1][21] nptv[1][22] nptv[1][23] nptv[1][24] nptv[1][25] nptv[1][26] nptv[1][27] nptv[1][28] nptv[1][29] nptv[2][0] nptv[2][1] nptv[2][2] nptv[2][3] nptv[2][4] nptv[2][5] nptv[2][6] nptv[2][7] nptv[2][8] nptv[2][9] nptv[2][10] nptv[2][11] nptv[2][12] nptv[2][13] nptv[2][14] nptv[2][15] nptv[2][16] nptv[2][17] nptv[2][18] nptv[2][19] nptv[2][20] nptv[2][21] nptv[2][22] nptv[2][23] nptv[2][24] nptv[2][25] nptv[2][26] nptv[2][27] nptv[2][28] nptv[2][29] nptv[3][0] nptv[3][1] nptv[3][2] nptv[3][3] nptv[3][4] nptv[3][5] nptv[3][6] nptv[3][7] nptv[3][8] nptv[3][9] nptv[3][10] nptv[3][11] nptv[3][12] nptv[3][13] nptv[3][14] nptv[3][15] nptv[3][16] nptv[3][17] nptv[3][18] nptv[3][19] nptv[3][20] nptv[3][21] nptv[3][22] nptv[3][23] nptv[3][24] nptv[3][25] nptv[3][26] nptv[3][27] nptv[3][28] nptv[3][29] nptv[4][0] nptv[4][1] nptv[4][2] nptv[4][3] nptv[4][4] nptv[4][5] nptv[4][6] nptv[4][7] nptv[4][8] nptv[4][9] nptv[4][10] nptv[4][11] nptv[4][12] nptv[4][13] nptv[4][14] nptv[4][15] nptv[4][16] nptv[4][17] nptv[4][18] nptv[4][19] nptv[4][20] nptv[4][21] nptv[4][22] nptv[4][23] nptv[4][24] nptv[4][25] nptv[4][26] nptv[4][27] nptv[4][28] nptv[4][29] nptv[5][0] nptv[5][1] nptv[5][2] nptv[5][3] nptv[5][4] nptv[5][5] nptv[5][6] nptv[5][7] nptv[5][8] nptv[5][9] nptv[5][10] nptv[5][11] nptv[5][12] nptv[5][13] nptv[5][14] nptv[5][15] nptv[5][16] nptv[5][17] nptv[5][18] nptv[5][19] nptv[5][20] nptv[5][21] nptv[5][22] nptv[5][23] nptv[5][24] nptv[5][25] nptv[5][26] nptv[5][27] nptv[5][28] nptv[5][29] nptv[6][0] nptv[6][1] nptv[6][2] nptv[6][3] nptv[6][4] nptv[6][5] nptv[6][6] nptv[6][7] nptv[6][8] nptv[6][9] nptv[6][10] nptv[6][11] nptv[6][12] nptv[6][13] nptv[6][14] nptv[6][15] nptv[6][16] nptv[6][17] nptv[6][18] nptv[6][19] nptv[6][20] nptv[6][21] nptv[6][22] nptv[6][23] nptv[6][24] nptv[6][25] nptv[6][26] nptv[6][27] nptv[6][28] nptv[6][29] nptv[7][0] nptv[7][1] nptv[7][2] nptv[7][3] nptv[7][4] nptv[7][5] nptv[7][6] nptv[7][7] nptv[7][8] nptv[7][9] nptv[7][10] nptv[7][11] nptv[7][12] nptv[7][13] nptv[7][14] nptv[7][15] nptv[7][16] nptv[7][17] nptv[7][18] nptv[7][19] nptv[7][20] nptv[7][21] nptv[7][22] nptv[7][23] nptv[7][24] nptv[7][25] nptv[7][26] nptv[7][27] nptv[7][28] nptv[7][29] nptv[8][0] nptv[8][1] nptv[8][2] nptv[8][3] nptv[8][4] nptv[8][5] nptv[8][6] nptv[8][7] nptv[8][8] nptv[8][9] nptv[8][10] nptv[8][11] nptv[8][12] nptv[8][13] nptv[8][14] nptv[8][15] nptv[8][16] nptv[8][17] nptv[8][18] nptv[8][19] nptv[8][20] nptv[8][21] nptv[8][22] nptv[8][23] nptv[8][24] nptv[8][25] nptv[8][26] nptv[8][27] nptv[8][28] nptv[8][29] nptv[9][0] nptv[9][1] nptv[9][2] nptv[9][3] nptv[9][4] nptv[9][5] nptv[9][6] nptv[9][7] nptv[9][8] nptv[9][9] nptv[9][10] nptv[9][11] nptv[9][12] nptv[9][13] nptv[9][14] nptv[9][15] nptv[9][16] nptv[9][17] nptv[9][18] nptv[9][19] nptv[9][20] nptv[9][21] nptv[9][22] nptv[9][23] nptv[9][24] nptv[9][25] nptv[9][26] nptv[9][27] nptv[9][28] nptv[9][29] nptv[10][0] nptv[10][1] nptv[10][2] nptv[10][3] nptv[10][4] nptv[10][5] nptv[10][6] nptv[10][7] nptv[10][8] nptv[10][9] nptv[10][10] nptv[10][11] nptv[10][12] nptv[10][13] nptv[10][14] nptv[10][15] nptv[10][16] nptv[10][17] nptv[10][18] nptv[10][19] nptv[10][20] nptv[10][21] nptv[10][22] nptv[10][23] nptv[10][24] nptv[10][25] nptv[10][26] nptv[10][27] nptv[10][28] nptv[10][29] nptv[11][0] nptv[11][1] nptv[11][2] nptv[11][3] nptv[11][4] nptv[11][5] nptv[11][6] nptv[11][7] nptv[11][8] nptv[11][9] nptv[11][10] nptv[11][11] nptv[11][12] nptv[11][13] nptv[11][14] nptv[11][15] nptv[11][16] nptv[11][17] nptv[11][18] nptv[11][19] nptv[11][20] nptv[11][21] nptv[11][22] nptv[11][23] nptv[11][24] nptv[11][25] nptv[11][26] nptv[11][27] nptv[11][28] nptv[11][29] nptv[12][0] nptv[12][1] nptv[12][2] nptv[12][3] nptv[12][4] nptv[12][5] nptv[12][6] nptv[12][7] nptv[12][8] nptv[12][9] nptv[12][10] nptv[12][11] nptv[12][12] nptv[12][13] nptv[12][14] nptv[12][15] nptv[12][16] nptv[12][17] nptv[12][18] nptv[12][19] nptv[12][20] nptv[12][21] nptv[12][22] nptv[12][23] nptv[12][24] nptv[12][25] nptv[12][26] nptv[12][27] nptv[12][28] nptv[12][29] nptv[13][0] nptv[13][1] nptv[13][2] nptv[13][3] nptv[13][4] nptv[13][5] nptv[13][6] nptv[13][7] nptv[13][8] nptv[13][9] nptv[13][10] nptv[13][11] nptv[13][12] nptv[13][13] nptv[13][14] nptv[13][15] nptv[13][16] nptv[13][17] nptv[13][18] nptv[13][19] nptv[13][20] nptv[13][21] nptv[13][22] nptv[13][23] nptv[13][24] nptv[13][25] nptv[13][26] nptv[13][27] nptv[13][28] nptv[13][29] nptv[14][0] nptv[14][1] nptv[14][2] nptv[14][3] nptv[14][4] nptv[14][5] nptv[14][6] nptv[14][7] nptv[14][8] nptv[14][9] nptv[14][10] nptv[14][11] nptv[14][12] nptv[14][13] nptv[14][14] nptv[14][15] nptv[14][16] nptv[14][17] nptv[14][18] nptv[14][19] nptv[14][20] nptv[14][21] nptv[14][22] nptv[14][23] nptv[14][24] nptv[14][25] nptv[14][26] nptv[14][27] nptv[14][28] nptv[14][29] nptv[15][0] nptv[15][1] nptv[15][2] nptv[15][3] nptv[15][4] nptv[15][5] nptv[15][6] nptv[15][7] nptv[15][8] nptv[15][9] nptv[15][10] nptv[15][11] nptv[15][12] nptv[15][13] nptv[15][14] nptv[15][15] nptv[15][16] nptv[15][17] nptv[15][18] nptv[15][19] nptv[15][20] nptv[15][21] nptv[15][22] nptv[15][23] nptv[15][24] nptv[15][25] nptv[15][26] nptv[15][27] nptv[15][28] nptv[15][29] nptv[16][0] nptv[16][1] nptv[16][2] nptv[16][3] nptv[16][4] nptv[16][5] nptv[16][6] nptv[16][7] nptv[16][8] nptv[16][9] nptv[16][10] nptv[16][11] nptv[16][12] nptv[16][13] nptv[16][14] nptv[16][15] nptv[16][16] nptv[16][17] nptv[16][18] nptv[16][19] nptv[16][20] nptv[16][21] nptv[16][22] nptv[16][23] nptv[16][24] nptv[16][25] nptv[16][26] nptv[16][27] nptv[16][28] nptv[16][29] nptv[17][0] nptv[17][1] nptv[17][2] nptv[17][3] nptv[17][4] nptv[17][5] nptv[17][6] nptv[17][7] nptv[17][8] nptv[17][9] nptv[17][10] nptv[17][11] nptv[17][12] nptv[17][13] nptv[17][14] nptv[17][15] nptv[17][16] nptv[17][17] nptv[17][18] nptv[17][19] nptv[17][20] nptv[17][21] nptv[17][22] nptv[17][23] nptv[17][24] nptv[17][25] nptv[17][26] nptv[17][27] nptv[17][28] nptv[17][29] nptv[18][0] nptv[18][1] nptv[18][2] nptv[18][3] nptv[18][4] nptv[18][5] nptv[18][6] nptv[18][7] nptv[18][8] nptv[18][9] nptv[18][10] nptv[18][11] nptv[18][12] nptv[18][13] nptv[18][14] nptv[18][15] nptv[18][16] nptv[18][17] nptv[18][18] nptv[18][19] nptv[18][20] nptv[18][21] nptv[18][22] nptv[18][23] nptv[18][24] nptv[18][25] nptv[18][26] nptv[18][27] nptv[18][28] nptv[18][29] nptv[19][0] nptv[19][1] nptv[19][2] nptv[19][3] nptv[19][4] nptv[19][5] nptv[19][6] nptv[19][7] nptv[19][8] nptv[19][9] nptv[19][10] nptv[19][11] nptv[19][12] nptv[19][13] nptv[19][14] nptv[19][15] nptv[19][16] nptv[19][17] nptv[19][18] nptv[19][19] nptv[19][20] nptv[19][21] nptv[19][22] nptv[19][23] nptv[19][24] nptv[19][25] nptv[19][26] nptv[19][27] nptv[19][28] nptv[19][29] nptv[20][0] nptv[20][1] nptv[20][2] nptv[20][3] nptv[20][4] nptv[20][5] nptv[20][6] nptv[20][7] nptv[20][8] nptv[20][9] nptv[20][10] nptv[20][11] nptv[20][12] nptv[20][13] nptv[20][14] nptv[20][15] nptv[20][16] nptv[20][17] nptv[20][18] nptv[20][19] nptv[20][20] nptv[20][21] nptv[20][22] nptv[20][23] nptv[20][24] nptv[20][25] nptv[20][26] nptv[20][27] nptv[20][28] nptv[20][29] nptv[21][0] nptv[21][1] nptv[21][2] nptv[21][3] nptv[21][4] nptv[21][5] nptv[21][6] nptv[21][7] nptv[21][8] nptv[21][9] nptv[21][10] nptv[21][11] nptv[21][12] nptv[21][13] nptv[21][14] nptv[21][15] nptv[21][16] nptv[21][17] nptv[21][18] nptv[21][19] nptv[21][20] nptv[21][21] nptv[21][22] nptv[21][23] nptv[21][24] nptv[21][25] nptv[21][26] nptv[21][27] nptv[21][28] nptv[21][29] nptv[22][0] nptv[22][1] nptv[22][2] nptv[22][3] nptv[22][4] nptv[22][5] nptv[22][6] nptv[22][7] nptv[22][8] nptv[22][9] nptv[22][10] nptv[22][11] nptv[22][12] nptv[22][13] nptv[22][14] nptv[22][15] nptv[22][16] nptv[22][17] nptv[22][18] nptv[22][19] nptv[22][20] nptv[22][21] nptv[22][22] nptv[22][23] nptv[22][24] nptv[22][25] nptv[22][26] nptv[22][27] nptv[22][28] nptv[22][29] nptv[23][0] nptv[23][1] nptv[23][2] nptv[23][3] nptv[23][4] nptv[23][5] nptv[23][6] nptv[23][7] nptv[23][8] nptv[23][9] nptv[23][10] nptv[23][11] nptv[23][12] nptv[23][13] nptv[23][14] nptv[23][15] nptv[23][16] nptv[23][17] nptv[23][18] nptv[23][19] nptv[23][20] nptv[23][21] nptv[23][22] nptv[23][23] nptv[23][24] nptv[23][25] nptv[23][26] nptv[23][27] nptv[23][28] nptv[23][29] nptv[24][0] nptv[24][1] nptv[24][2] nptv[24][3] nptv[24][4] nptv[24][5] nptv[24][6] nptv[24][7] nptv[24][8] nptv[24][9] nptv[24][10] nptv[24][11] nptv[24][12] nptv[24][13] nptv[24][14] nptv[24][15] nptv[24][16] nptv[24][17] nptv[24][18] nptv[24][19] nptv[24][20] nptv[24][21] nptv[24][22] nptv[24][23] nptv[24][24] nptv[24][25] nptv[24][26] nptv[24][27] nptv[24][28] nptv[24][29] nptv[25][0] nptv[25][1] nptv[25][2] nptv[25][3] nptv[25][4] nptv[25][5] nptv[25][6] nptv[25][7] nptv[25][8] nptv[25][9] nptv[25][10] nptv[25][11] nptv[25][12] nptv[25][13] nptv[25][14] nptv[25][15] nptv[25][16] nptv[25][17] nptv[25][18] nptv[25][19] nptv[25][20] nptv[25][21] nptv[25][22] nptv[25][23] nptv[25][24] nptv[25][25] nptv[25][26] nptv[25][27] nptv[25][28] nptv[25][29] nptv[26][0] nptv[26][1] nptv[26][2] nptv[26][3] nptv[26][4] nptv[26][5] nptv[26][6] nptv[26][7] nptv[26][8] nptv[26][9] nptv[26][10] nptv[26][11] nptv[26][12] nptv[26][13] nptv[26][14] nptv[26][15] nptv[26][16] nptv[26][17] nptv[26][18] nptv[26][19] nptv[26][20] nptv[26][21] nptv[26][22] nptv[26][23] nptv[26][24] nptv[26][25] nptv[26][26] nptv[26][27] nptv[26][28] nptv[26][29] nptv[27][0] nptv[27][1] nptv[27][2] nptv[27][3] nptv[27][4] nptv[27][5] nptv[27][6] nptv[27][7] nptv[27][8] nptv[27][9] nptv[27][10] nptv[27][11] nptv[27][12] nptv[27][13] nptv[27][14] nptv[27][15] nptv[27][16] nptv[27][17] nptv[27][18] nptv[27][19] nptv[27][20] nptv[27][21] nptv[27][22] nptv[27][23] nptv[27][24] nptv[27][25] nptv[27][26] nptv[27][27] nptv[27][28] nptv[27][29] nptv[28][0] nptv[28][1] nptv[28][2] nptv[28][3] nptv[28][4] nptv[28][5] nptv[28][6] nptv[28][7] nptv[28][8] nptv[28][9] nptv[28][10] nptv[28][11] nptv[28][12] nptv[28][13] nptv[28][14] nptv[28][15] nptv[28][16] nptv[28][17] nptv[28][18] nptv[28][19] nptv[28][20] nptv[28][21] nptv[28][22] nptv[28][23] nptv[28][24] nptv[28][25] nptv[28][26] nptv[28][27] nptv[28][28] nptv[28][29] nptv[29][0] nptv[29][1] nptv[29][2] nptv[29][3] nptv[29][4] nptv[29][5] nptv[29][6] nptv[29][7] nptv[29][8] nptv[29][9] nptv[29][10] nptv[29][11] nptv[29][12] nptv[29][13] nptv[29][14] nptv[29][15] nptv[29][16] nptv[29][17] nptv[29][18] nptv[29][19] nptv[29][20] nptv[29][21] nptv[29][22] nptv[29][23] nptv[29][24] nptv[29][25] nptv[29][26] nptv[29][27] nptv[29][28] nptv[29][29]
2520.05/2449.74	v       </list>
2520.05/2449.74	v       <values>
2520.05/2449.74	v         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 0 0 42 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 0 0 0 0 0 0 42 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 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 4 4 3 3 3 3 2 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 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 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 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 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 2 0 0 0 0 3 3 3 3 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 42 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 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 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 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 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 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 0 0 0 0 42 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 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 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 0 0 0 0 0 0 0 0 0 0 0 0 42 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 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 0 0 0 0 0 0 0 0 0 0 0 0 42 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 0 0 0 0 0 0 42 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 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 0 0 0 0 0 0 0 0 0 0 0 76 0 0 0 0 8 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 304 304 228 228 228 228 152 76 76 76 76 76 76 76 76 76 76 76 76 76 0 76 76 76 76 76 76 76 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 24 24 24 24 16 16 16 16 16 16 0 0 0 0 0 0 0 0 0 0 0 64 64 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 84 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0
2520.05/2449.74	v       </values>
2520.05/2449.74	v     </instantiation>
2520.05/2449.74	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 (8723 MiB free)
  memory of node 1: 16384 MiB (7120 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304532-1534100522/watcher-4304532-1534100522 -o /tmp/evaluation-result-4304532-1534100522/solver-4304532-1534100522 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534098057-27632 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1700790056 -superng HOME/instance-4304532-1534100522.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
Current StackSize limit: 8192 KiB

solver pid=28334, runsolver pid=28331

[startup+0.100124 s]*
/proc/loadavg: 1.36 1.31 1.32 3/208 28391
/proc/meminfo: memFree=16216412/32770624 swapFree=67108404/67108860
[pid=28334] ppid=28331 vsize=10005480 memory=19120 CPUtime=0.1 cores=1,3,5,7
/proc/28334/stat : 28334 (java) S 28331 28334 27600 0 -1 1077944320 4425 13444 0 0 1 1 5 3 20 0 6 0 227615366 10245611520 4780 33554432000 4194304 4196468 140720861061392 140720861043936 140505474465527 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
/proc/28334/statm: 2501370 4780 1934 1 0 2489808 0
[pid=28334/tid=28387] ppid=28331 vsize=10005480 memory=4279135703912971920 CPUtime=0.09 cores=1,3,5,7
/proc/28334/task/28387/stat : 28387 (java) R 28331 28334 27600 0 -1 4202560 2228 13444 0 0 1 0 5 3 20 0 6 0 227615375 10245611520 4780 33554432000 4194304 4196468 140720861061392 140505446302288 140505459777529 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28388] ppid=28331 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28388/stat : 28388 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 6 0 227615375 10245611520 4780 33554432000 4194304 4196468 140720861061392 140505478707600 140505474475733 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28389] ppid=28331 vsize=10005480 memory=140071335958144 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28389/stat : 28389 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 6 0 227615375 10245611520 4780 33554432000 4194304 4196468 140720861061392 140505359972624 140505474475733 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28390] ppid=28331 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28390/stat : 28390 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 6 0 227615375 10245611520 4780 33554432000 4194304 4196468 140720861061392 140505013475984 140505474475733 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28391] ppid=28331 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28391/stat : 28391 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 6 0 227615375 10245611520 4780 33554432000 4194304 4196468 140720861061392 140505012423184 140505474475733 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 19120 KiB

[startup+0.212542 s]*
/proc/loadavg: 1.36 1.31 1.32 3/217 28400
/proc/meminfo: memFree=16192236/32770624 swapFree=67108404/67108860
[pid=28334] ppid=28331 vsize=10982696 memory=45748 CPUtime=0.27 cores=1,3,5,7
/proc/28334/stat : 28334 (java) S 28331 28334 27600 0 -1 1077944320 8824 13444 0 0 17 2 5 3 20 0 15 0 227615366 11246280704 11437 33554432000 4194304 4196468 140720861061392 140720861043936 140505474465527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
/proc/28334/statm: 2745674 11437 2932 1 0 2708109 0
[pid=28334/tid=28387] ppid=28331 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/28334/task/28387/stat : 28387 (java) R 28331 28334 27600 0 -1 4202560 5404 13444 0 0 10 1 5 3 20 0 15 0 227615375 11246280704 11437 33554432000 4194304 4196468 140720861061392 140505446263184 140505454741341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28388] ppid=28331 vsize=10982696 memory=364 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28388/stat : 28388 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246280704 11437 33554432000 4194304 4196468 140720861061392 140505478707600 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28389] ppid=28331 vsize=10982696 memory=140071335985448 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28389/stat : 28389 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246280704 11437 33554432000 4194304 4196468 140720861061392 140505359972624 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28390] ppid=28331 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28390/stat : 28390 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246280704 11437 33554432000 4194304 4196468 140720861061392 140505013475984 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28391] ppid=28331 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28391/stat : 28391 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246280704 11437 33554432000 4194304 4196468 140720861061392 140505012423184 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28392] ppid=28331 vsize=10982696 memory=140071335958144 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28392/stat : 28392 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 15 0 227615377 11246280704 11437 33554432000 4194304 4196468 140720861061392 140504967473776 140505474476674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28393] ppid=28331 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28393/stat : 28393 (java) S 28331 28334 27600 0 -1 1077944384 13 13444 0 0 0 0 5 3 20 0 15 0 227615377 11246280704 11437 33554432000 4194304 4196468 140720861061392 140504231568672 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28394] ppid=28331 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28394/stat : 28394 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 15 0 227615378 11246280704 11437 33554432000 4194304 4196468 140720861061392 140504083719792 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28395] ppid=28331 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28395/stat : 28395 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11246280704 11437 33554432000 4194304 4196468 140720861061392 140503776320080 140505474484123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28396] ppid=28331 vsize=10982696 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28334/task/28396/stat : 28396 (java) S 28331 28334 27600 0 -1 1077944384 361 13444 0 0 1 0 5 3 20 0 15 0 227615380 11246280704 11437 33554432000 4194304 4196468 140720861061392 140504966420592 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28397] ppid=28331 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28397/stat : 28397 (java) S 28331 28334 27600 0 -1 1077944384 255 13444 0 0 0 0 5 3 20 0 15 0 227615380 11246280704 11437 33554432000 4194304 4196468 140720861061392 140504965367792 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28398] ppid=28331 vsize=10982696 memory=140071335958144 CPUtime=0.11 cores=1,3,5,7
/proc/28334/task/28398/stat : 28398 (java) S 28331 28334 27600 0 -1 1077944384 630 13444 0 0 3 0 5 3 20 0 15 0 227615380 11246280704 11437 33554432000 4194304 4196468 140720861061392 140504964315504 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28399] ppid=28331 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28399/stat : 28399 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11246280704 11437 33554432000 4194304 4196468 140720861061392 140503345523168 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28400] ppid=28331 vsize=10982696 memory=140071335958144 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28400/stat : 28400 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 15 0 227615381 11246280704 11437 33554432000 4194304 4196468 140720861061392 140504963263408 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45748 KiB

[startup+0.310354 s]*
/proc/loadavg: 1.36 1.31 1.32 3/217 28400
/proc/meminfo: memFree=16169288/32770624 swapFree=67108404/67108860
[pid=28334] ppid=28331 vsize=10983192 memory=55248 CPUtime=0.39 cores=1,3,5,7
/proc/28334/stat : 28334 (java) S 28331 28334 27600 0 -1 1077944320 10425 13444 0 0 28 3 5 3 20 0 15 0 227615366 11246788608 13812 33554432000 4194304 4196468 140720861061392 140720861043936 140505474465527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
/proc/28334/statm: 2745798 13812 3064 1 0 2708109 0
[pid=28334/tid=28387] ppid=28331 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/28334/task/28387/stat : 28387 (java) R 28331 28334 27600 0 -1 4202560 6949 13444 0 0 19 2 5 3 20 0 15 0 227615375 11246788608 13812 33554432000 4194304 4196468 140720861061392 140505446285536 140505458546014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28388] ppid=28331 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28388/stat : 28388 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246788608 13812 33554432000 4194304 4196468 140720861061392 140505478707600 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28389] ppid=28331 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28389/stat : 28389 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246788608 13812 33554432000 4194304 4196468 140720861061392 140505359972624 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28390] ppid=28331 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28390/stat : 28390 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246788608 13812 33554432000 4194304 4196468 140720861061392 140505013475984 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28391] ppid=28331 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28391/stat : 28391 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246788608 13812 33554432000 4194304 4196468 140720861061392 140505012423184 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28392] ppid=28331 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28392/stat : 28392 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 15 0 227615377 11246788608 13812 33554432000 4194304 4196468 140720861061392 140504967473776 140505474476674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28393] ppid=28331 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28393/stat : 28393 (java) S 28331 28334 27600 0 -1 1077944384 13 13444 0 0 0 0 5 3 20 0 15 0 227615377 11246788608 13812 33554432000 4194304 4196468 140720861061392 140504231568672 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28394] ppid=28331 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28394/stat : 28394 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 15 0 227615378 11246788608 13812 33554432000 4194304 4196468 140720861061392 140504083719792 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28395] ppid=28331 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28395/stat : 28395 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11246788608 13812 33554432000 4194304 4196468 140720861061392 140503776320080 140505474484123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28396] ppid=28331 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28334/task/28396/stat : 28396 (java) S 28331 28334 27600 0 -1 1077944384 363 13444 0 0 1 0 5 3 20 0 15 0 227615380 11246788608 13812 33554432000 4194304 4196468 140720861061392 140504966420592 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28397] ppid=28331 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/28334/task/28397/stat : 28397 (java) S 28331 28334 27600 0 -1 1077944384 255 13444 0 0 1 0 5 3 20 0 15 0 227615380 11246788608 13812 33554432000 4194304 4196468 140720861061392 140504965367792 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28398] ppid=28331 vsize=10983192 memory=140071335958144 CPUtime=0.13 cores=1,3,5,7
/proc/28334/task/28398/stat : 28398 (java) S 28331 28334 27600 0 -1 1077944384 638 13444 0 0 5 0 5 3 20 0 15 0 227615380 11246788608 13812 33554432000 4194304 4196468 140720861061392 140504964315504 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28399] ppid=28331 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28399/stat : 28399 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11246788608 13812 33554432000 4194304 4196468 140720861061392 140503345523168 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28400] ppid=28331 vsize=10983192 memory=140071335958144 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28400/stat : 28400 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 15 0 227615381 11246788608 13812 33554432000 4194304 4196468 140720861061392 140504963263408 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55248 KiB

[startup+0.700735 s]
/proc/loadavg: 1.36 1.31 1.32 3/217 28400
/proc/meminfo: memFree=16164420/32770624 swapFree=67108404/67108860
[pid=28334] ppid=28331 vsize=10983192 memory=89000 CPUtime=0.98 cores=1,3,5,7
/proc/28334/stat : 28334 (java) S 28331 28334 27600 0 -1 1077944320 16850 13444 0 0 86 4 5 3 20 0 15 0 227615366 11246788608 22250 33554432000 4194304 4196468 140720861061392 140720861043936 140505474465527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
/proc/28334/statm: 2745798 22250 3246 1 0 2708109 0
[pid=28334/tid=28387] ppid=28331 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/28334/task/28387/stat : 28387 (java) R 28331 28334 27600 0 -1 4202560 12381 13444 0 0 56 3 5 3 20 0 15 0 227615375 11246788608 22250 33554432000 4194304 4196468 140720861061392 140505446286352 140505456030489 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28388] ppid=28331 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28388/stat : 28388 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246788608 22250 33554432000 4194304 4196468 140720861061392 140505478707600 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28389] ppid=28331 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28389/stat : 28389 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246788608 22250 33554432000 4194304 4196468 140720861061392 140505359972624 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28390] ppid=28331 vsize=10983192 memory=140071231697712 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28390/stat : 28390 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246788608 22250 33554432000 4194304 4196468 140720861061392 140505013475984 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28391] ppid=28331 vsize=10983192 memory=140071768425036 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28391/stat : 28391 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 15 0 227615375 11246788608 22250 33554432000 4194304 4196468 140720861061392 140505012423184 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28392] ppid=28331 vsize=10983192 memory=4000 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28392/stat : 28392 (java) S 28331 28334 27600 0 -1 1077944384 5 13444 0 0 0 0 5 3 20 0 15 0 227615377 11246788608 22250 33554432000 4194304 4196468 140720861061392 140504967473776 140505474476674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28393] ppid=28331 vsize=10983192 memory=4639098309541128813 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28393/stat : 28393 (java) S 28331 28334 27600 0 -1 1077944384 13 13444 0 0 0 0 5 3 20 0 15 0 227615377 11246788608 22250 33554432000 4194304 4196468 140720861061392 140504231568672 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28394] ppid=28331 vsize=10983192 memory=6082220498126138728 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28394/stat : 28394 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 15 0 227615378 11246788608 22250 33554432000 4194304 4196468 140720861061392 140504083719792 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28395] ppid=28331 vsize=10983192 memory=4044 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28395/stat : 28395 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11246788608 22250 33554432000 4194304 4196468 140720861061392 140503776320080 140505474484123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28396] ppid=28331 vsize=10983192 memory=34172 CPUtime=0.15 cores=1,3,5,7
/proc/28334/task/28396/stat : 28396 (java) S 28331 28334 27600 0 -1 1077944384 608 13444 0 0 7 0 5 3 20 0 15 0 227615380 11246788608 22250 33554432000 4194304 4196468 140720861061392 140504966420592 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28397] ppid=28331 vsize=10983192 memory=14644 CPUtime=0.17 cores=1,3,5,7
/proc/28334/task/28397/stat : 28397 (java) S 28331 28334 27600 0 -1 1077944384 926 13444 0 0 9 0 5 3 20 0 15 0 227615380 11246788608 22250 33554432000 4194304 4196468 140720861061392 140504965367792 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28398] ppid=28331 vsize=10983192 memory=1720 CPUtime=0.21 cores=1,3,5,7
/proc/28334/task/28398/stat : 28398 (java) S 28331 28334 27600 0 -1 1077944384 711 13444 0 0 13 0 5 3 20 0 15 0 227615380 11246788608 22250 33554432000 4194304 4196468 140720861061392 140504964315504 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28399] ppid=28331 vsize=10983192 memory=508 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28399/stat : 28399 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11246788608 22250 33554432000 4194304 4196468 140720861061392 140503345523168 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28400] ppid=28331 vsize=10983192 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28400/stat : 28400 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 15 0 227615381 11246788608 22250 33554432000 4194304 4196468 140720861061392 140504963263408 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89000 KiB

[startup+1.50093 s]
/proc/loadavg: 1.36 1.31 1.32 4/217 28400
/proc/meminfo: memFree=16123976/32770624 swapFree=67108404/67108860
[pid=28334] ppid=28331 vsize=11002572 memory=220972 CPUtime=3.16 cores=1,3,5,7
/proc/28334/stat : 28334 (java) S 28331 28334 27600 0 -1 1077944320 31156 13444 0 0 298 10 5 3 20 0 15 0 227615366 11266633728 55243 33554432000 4194304 4196468 140720861061392 140720861043936 140505474465527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
/proc/28334/statm: 2750643 55243 3473 1 0 2712301 0
[pid=28334/tid=28387] ppid=28331 vsize=11002572 memory=65052 CPUtime=1.42 cores=1,3,5,7
/proc/28334/task/28387/stat : 28387 (java) R 28331 28334 27600 0 -1 1077944384 18492 13444 0 0 128 6 5 3 20 0 15 0 227615375 11266633728 55243 33554432000 4194304 4196468 140720861061392 140505446282944 140505474475733 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28388] ppid=28331 vsize=11002572 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/28334/task/28388/stat : 28388 (java) S 28331 28334 27600 0 -1 1077944384 10 13444 0 0 1 0 5 3 20 0 15 0 227615375 11266633728 55243 33554432000 4194304 4196468 140720861061392 140505478707600 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28389] ppid=28331 vsize=11002572 memory=280142463426720 CPUtime=0.09 cores=1,3,5,7
/proc/28334/task/28389/stat : 28389 (java) S 28331 28334 27600 0 -1 1077944384 35 13444 0 0 1 0 5 3 20 0 15 0 227615375 11266633728 55243 33554432000 4194304 4196468 140720861061392 140505359972624 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28390] ppid=28331 vsize=11002572 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28334/task/28390/stat : 28390 (java) S 28331 28334 27600 0 -1 1077944384 175 13444 0 0 1 0 5 3 20 0 15 0 227615375 11266633728 55243 33554432000 4194304 4196468 140720861061392 140505013475984 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28391] ppid=28331 vsize=11002572 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28391/stat : 28391 (java) S 28331 28334 27600 0 -1 1077944384 69 13444 0 0 0 0 5 3 20 0 15 0 227615375 11266633728 55243 33554432000 4194304 4196468 140720861061392 140505012423184 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28392] ppid=28331 vsize=11002572 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28334/task/28392/stat : 28392 (java) S 28331 28334 27600 0 -1 1077944384 54 13444 0 0 1 0 5 3 20 0 15 0 227615377 11266633728 55243 33554432000 4194304 4196468 140720861061392 140504967473776 140505474476674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28393] ppid=28331 vsize=11002572 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28393/stat : 28393 (java) S 28331 28334 27600 0 -1 1077944384 13 13444 0 0 0 0 5 3 20 0 15 0 227615377 11266633728 55243 33554432000 4194304 4196468 140720861061392 140504231568736 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28394] ppid=28331 vsize=11002572 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28394/stat : 28394 (java) S 28331 28334 27600 0 -1 1077944384 1 13444 0 0 0 0 5 3 20 0 15 0 227615378 11266633728 55243 33554432000 4194304 4196468 140720861061392 140504083719792 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28395] ppid=28331 vsize=11002572 memory=-5921431000321636112 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28395/stat : 28395 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11266633728 55243 33554432000 4194304 4196468 140720861061392 140503776320080 140505474484123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28396] ppid=28331 vsize=11002572 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/28334/task/28396/stat : 28396 (java) R 28331 28334 27600 0 -1 4202560 3729 13444 0 0 58 0 5 3 20 0 15 0 227615380 11266633728 55243 33554432000 4194304 4196468 140720861061392 140504966406568 140505455985212 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28397] ppid=28331 vsize=11002572 memory=10 CPUtime=0.69 cores=1,3,5,7
/proc/28334/task/28397/stat : 28397 (java) R 28331 28334 27600 0 -1 4202560 4581 13444 0 0 60 1 5 3 20 0 15 0 227615380 11266633728 55243 33554432000 4194304 4196468 140720861061392 140504965353768 140505456009754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28398] ppid=28331 vsize=11002572 memory=6791534058613427641 CPUtime=0.51 cores=1,3,5,7
/proc/28334/task/28398/stat : 28398 (java) R 28331 28334 27600 0 -1 4202560 1798 13444 0 0 43 0 5 3 20 0 15 0 227615380 11266633728 55243 33554432000 4194304 4196468 140720861061392 140504964315504 140505459631166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28399] ppid=28331 vsize=11002572 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28399/stat : 28399 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11266633728 55243 33554432000 4194304 4196468 140720861061392 140503345523168 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28400] ppid=28331 vsize=11002572 memory=280142463671232 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28400/stat : 28400 (java) S 28331 28334 27600 0 -1 1077944384 2 13444 0 0 0 0 5 3 20 0 15 0 227615381 11266633728 55243 33554432000 4194304 4196468 140720861061392 140504963263408 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 11002572 KiB

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

/proc/28334/task/28387/stat : 28387 (java) R 28331 28334 27600 0 -1 4202560 187216 13444 0 0 236614 71 5 3 20 0 15 0 227615375 11348049920 837367 33554432000 4194304 4196468 140720861061392 140505446299312 140505059371406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28388] ppid=28331 vsize=11082080 memory=0 CPUtime=14.18 cores=1,3,5,7
/proc/28334/task/28388/stat : 28388 (java) S 28331 28334 27600 0 -1 1077944384 37324 13444 0 0 1357 53 5 3 20 0 15 0 227615375 11348049920 837367 33554432000 4194304 4196468 140720861061392 140505478707600 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28389] ppid=28331 vsize=11082080 memory=3347420 CPUtime=14.13 cores=1,3,5,7
/proc/28334/task/28389/stat : 28389 (java) S 28331 28334 27600 0 -1 1077944384 29346 13444 0 0 1352 53 5 3 20 0 15 0 227615375 11348049920 837367 33554432000 4194304 4196468 140720861061392 140505359972624 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28390] ppid=28331 vsize=11082080 memory=33 CPUtime=14.16 cores=1,3,5,7
/proc/28334/task/28390/stat : 28390 (java) S 28331 28334 27600 0 -1 1077944384 33005 13444 0 0 1356 52 5 3 20 0 15 0 227615375 11348049920 837367 33554432000 4194304 4196468 140720861061392 140505013475984 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28391] ppid=28331 vsize=11082080 memory=3349468 CPUtime=14.1 cores=1,3,5,7
/proc/28334/task/28391/stat : 28391 (java) S 28331 28334 27600 0 -1 1077944384 39188 13444 0 0 1350 52 5 3 20 0 15 0 227615375 11348049920 837367 33554432000 4194304 4196468 140720861061392 140505012423184 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28392] ppid=28331 vsize=11082080 memory=3359196 CPUtime=1.05 cores=1,3,5,7
/proc/28334/task/28392/stat : 28392 (java) S 28331 28334 27600 0 -1 1077944384 59830 13444 0 0 85 12 5 3 20 0 15 0 227615377 11348049920 837367 33554432000 4194304 4196468 140720861061392 140504967473776 140505474476674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28393] ppid=28331 vsize=11082080 memory=3347420 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28393/stat : 28393 (java) S 28331 28334 27600 0 -1 1077944384 15 13444 0 0 0 0 5 3 20 0 15 0 227615377 11348049920 837367 33554432000 4194304 4196468 140720861061392 140504231568800 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28394] ppid=28331 vsize=11082080 memory=3349468 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28394/stat : 28394 (java) S 28331 28334 27600 0 -1 1077944384 12 13444 0 0 0 0 5 3 20 0 15 0 227615378 11348049920 837367 33554432000 4194304 4196468 140720861061392 140504083719808 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28395] ppid=28331 vsize=11082080 memory=3349468 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28395/stat : 28395 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11348049920 837367 33554432000 4194304 4196468 140720861061392 140503776320080 140505474484123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28396] ppid=28331 vsize=11082080 memory=812 CPUtime=11.83 cores=1,3,5,7
/proc/28334/task/28396/stat : 28396 (java) S 28331 28334 27600 0 -1 1077944384 90710 13444 0 0 1167 8 5 3 20 0 15 0 227615380 11348049920 837367 33554432000 4194304 4196468 140720861061392 140504966420592 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28397] ppid=28331 vsize=11082080 memory=1692 CPUtime=11.73 cores=1,3,5,7
/proc/28334/task/28397/stat : 28397 (java) S 28331 28334 27600 0 -1 1077944384 79015 13444 0 0 1157 8 5 3 20 0 15 0 227615380 11348049920 837367 33554432000 4194304 4196468 140720861061392 140504965367792 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28398] ppid=28331 vsize=11082080 memory=3349468 CPUtime=3.57 cores=1,3,5,7
/proc/28334/task/28398/stat : 28398 (java) S 28331 28334 27600 0 -1 1077944384 70714 13444 0 0 341 8 5 3 20 0 15 0 227615380 11348049920 837367 33554432000 4194304 4196468 140720861061392 140504964315504 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28399] ppid=28331 vsize=11082080 memory=3349468 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28399/stat : 28399 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11348049920 837367 33554432000 4194304 4196468 140720861061392 140503345523168 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28400] ppid=28331 vsize=11082080 memory=3349468 CPUtime=1.4 cores=1,3,5,7
/proc/28334/task/28400/stat : 28400 (java) S 28331 28334 27600 0 -1 1077944384 2131 13444 0 0 61 71 5 3 20 0 15 0 227615381 11348049920 837367 33554432000 4194304 4196468 140720861061392 140504963263408 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
Current children cumulated CPU time: 2452.49 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3349468 KiB

[startup+2442.3 s]
/proc/loadavg: 1.51 1.50 1.50 3/217 28603
/proc/meminfo: memFree=12921468/32770624 swapFree=67108404/67108860
[pid=28334] ppid=28331 vsize=11082080 memory=3413104 CPUtime=2512.64 cores=1,3,5,7
/proc/28334/stat : 28334 (java) S 28331 28334 27600 0 -1 1077944320 639278 13444 0 0 250874 382 5 3 20 0 15 0 227615366 11348049920 853276 33554432000 4194304 4196468 140720861061392 140720861043936 140505474465527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
/proc/28334/statm: 2770520 853276 3533 1 0 2732173 0
[pid=28334/tid=28387] ppid=28331 vsize=11082080 memory=3384344 CPUtime=2426.89 cores=1,3,5,7
/proc/28334/task/28387/stat : 28387 (java) R 28331 28334 27600 0 -1 4202560 192134 13444 0 0 242608 73 5 3 20 0 15 0 227615375 11348049920 853276 33554432000 4194304 4196468 140720861061392 140505446299712 140505062246676 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28388] ppid=28331 vsize=11082080 memory=3411024 CPUtime=14.21 cores=1,3,5,7
/proc/28334/task/28388/stat : 28388 (java) S 28331 28334 27600 0 -1 1077944384 38151 13444 0 0 1360 53 5 3 20 0 15 0 227615375 11348049920 853276 33554432000 4194304 4196468 140720861061392 140505478707600 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28389] ppid=28331 vsize=11082080 memory=3411024 CPUtime=14.17 cores=1,3,5,7
/proc/28334/task/28389/stat : 28389 (java) S 28331 28334 27600 0 -1 1077944384 29415 13444 0 0 1355 54 5 3 20 0 15 0 227615375 11348049920 853276 33554432000 4194304 4196468 140720861061392 140505359972624 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28390] ppid=28331 vsize=11082080 memory=3413104 CPUtime=14.18 cores=1,3,5,7
/proc/28334/task/28390/stat : 28390 (java) S 28331 28334 27600 0 -1 1077944384 33336 13444 0 0 1358 52 5 3 20 0 15 0 227615375 11348049920 853276 33554432000 4194304 4196468 140720861061392 140505013475984 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28391] ppid=28331 vsize=11082080 memory=3413104 CPUtime=14.14 cores=1,3,5,7
/proc/28334/task/28391/stat : 28391 (java) S 28331 28334 27600 0 -1 1077944384 39465 13444 0 0 1353 53 5 3 20 0 15 0 227615375 11348049920 853276 33554432000 4194304 4196468 140720861061392 140505012423184 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28392] ppid=28331 vsize=11082080 memory=33 CPUtime=1.06 cores=1,3,5,7
/proc/28334/task/28392/stat : 28392 (java) S 28331 28334 27600 0 -1 1077944384 60210 13444 0 0 86 12 5 3 20 0 15 0 227615377 11348049920 853276 33554432000 4194304 4196468 140720861061392 140504967473776 140505474476674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28393] ppid=28331 vsize=11082080 memory=3396660 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28393/stat : 28393 (java) S 28331 28334 27600 0 -1 1077944384 15 13444 0 0 0 0 5 3 20 0 15 0 227615377 11348049920 853276 33554432000 4194304 4196468 140720861061392 140504231568800 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28394] ppid=28331 vsize=11082080 memory=3413104 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28394/stat : 28394 (java) S 28331 28334 27600 0 -1 1077944384 12 13444 0 0 0 0 5 3 20 0 15 0 227615378 11348049920 853276 33554432000 4194304 4196468 140720861061392 140504083719808 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28395] ppid=28331 vsize=11082080 memory=3413104 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28395/stat : 28395 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11348049920 853276 33554432000 4194304 4196468 140720861061392 140503776320080 140505474484123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28396] ppid=28331 vsize=11082080 memory=3411024 CPUtime=11.83 cores=1,3,5,7
/proc/28334/task/28396/stat : 28396 (java) S 28331 28334 27600 0 -1 1077944384 90712 13444 0 0 1167 8 5 3 20 0 15 0 227615380 11348049920 853276 33554432000 4194304 4196468 140720861061392 140504966420592 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28397] ppid=28331 vsize=11082080 memory=3411024 CPUtime=11.75 cores=1,3,5,7
/proc/28334/task/28397/stat : 28397 (java) S 28331 28334 27600 0 -1 1077944384 80262 13444 0 0 1159 8 5 3 20 0 15 0 227615380 11348049920 853276 33554432000 4194304 4196468 140720861061392 140504965367792 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28398] ppid=28331 vsize=11082080 memory=3411024 CPUtime=3.57 cores=1,3,5,7
/proc/28334/task/28398/stat : 28398 (java) S 28331 28334 27600 0 -1 1077944384 71194 13444 0 0 341 8 5 3 20 0 15 0 227615380 11348049920 853276 33554432000 4194304 4196468 140720861061392 140504964315504 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28399] ppid=28331 vsize=11082080 memory=15212 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28399/stat : 28399 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11348049920 853276 33554432000 4194304 4196468 140720861061392 140503345523168 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28400] ppid=28331 vsize=11082080 memory=3413104 CPUtime=1.43 cores=1,3,5,7
/proc/28334/task/28400/stat : 28400 (java) S 28331 28334 27600 0 -1 1077944384 2175 13444 0 0 62 73 5 3 20 0 15 0 227615381 11348049920 853276 33554432000 4194304 4196468 140720861061392 140504963263408 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
Current children cumulated CPU time: 2512.64 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3413104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2449.7 s]
/proc/loadavg: 1.39 1.47 1.49 3/217 28603
/proc/meminfo: memFree=12902912/32770624 swapFree=67108404/67108860
[pid=28334] ppid=28331 vsize=11082080 memory=3431584 CPUtime=2520.05 cores=1,3,5,7
/proc/28334/stat : 28334 (java) S 28331 28334 27600 0 -1 1077944320 641699 13444 0 0 251615 382 5 3 20 0 15 0 227615366 11348049920 857896 33554432000 4194304 4196468 140720861061392 140720861043936 140505474465527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
/proc/28334/statm: 2770520 857896 3533 1 0 2732173 0
[pid=28334/tid=28387] ppid=28331 vsize=11082080 memory=3431584 CPUtime=2434.27 cores=1,3,5,7
/proc/28334/task/28387/stat : 28387 (java) R 28331 28334 27600 0 -1 4202560 192842 13444 0 0 243346 73 5 3 20 0 15 0 227615375 11348049920 857896 33554432000 4194304 4196468 140720861061392 140505446299312 140505060410165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28388] ppid=28331 vsize=11082080 memory=3431584 CPUtime=14.22 cores=1,3,5,7
/proc/28334/task/28388/stat : 28388 (java) S 28331 28334 27600 0 -1 1077944384 38249 13444 0 0 1360 54 5 3 20 0 15 0 227615375 11348049920 857896 33554432000 4194304 4196468 140720861061392 140505478707600 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28389] ppid=28331 vsize=11082080 memory=3684 CPUtime=14.17 cores=1,3,5,7
/proc/28334/task/28389/stat : 28389 (java) S 28331 28334 27600 0 -1 1077944384 30208 13444 0 0 1355 54 5 3 20 0 15 0 227615375 11348049920 857896 33554432000 4194304 4196468 140720861061392 140505359972624 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28390] ppid=28331 vsize=11082080 memory=3413104 CPUtime=14.19 cores=1,3,5,7
/proc/28334/task/28390/stat : 28390 (java) S 28331 28334 27600 0 -1 1077944384 33533 13444 0 0 1359 52 5 3 20 0 15 0 227615375 11348049920 857896 33554432000 4194304 4196468 140720861061392 140505013475984 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28391] ppid=28331 vsize=11082080 memory=3396660 CPUtime=14.15 cores=1,3,5,7
/proc/28334/task/28391/stat : 28391 (java) S 28331 28334 27600 0 -1 1077944384 39789 13444 0 0 1354 53 5 3 20 0 15 0 227615375 11348049920 857896 33554432000 4194304 4196468 140720861061392 140505012423184 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28392] ppid=28331 vsize=11082080 memory=3413104 CPUtime=1.06 cores=1,3,5,7
/proc/28334/task/28392/stat : 28392 (java) S 28331 28334 27600 0 -1 1077944384 60496 13444 0 0 86 12 5 3 20 0 15 0 227615377 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504967473776 140505474476674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28393] ppid=28331 vsize=11082080 memory=3429496 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28393/stat : 28393 (java) S 28331 28334 27600 0 -1 1077944384 15 13444 0 0 0 0 5 3 20 0 15 0 227615377 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504231568800 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28394] ppid=28331 vsize=11082080 memory=3413104 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28394/stat : 28394 (java) S 28331 28334 27600 0 -1 1077944384 12 13444 0 0 0 0 5 3 20 0 15 0 227615378 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504083719808 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28395] ppid=28331 vsize=11082080 memory=3429496 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28395/stat : 28395 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11348049920 857896 33554432000 4194304 4196468 140720861061392 140503776320080 140505474484123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28396] ppid=28331 vsize=11082080 memory=3429496 CPUtime=11.83 cores=1,3,5,7
/proc/28334/task/28396/stat : 28396 (java) S 28331 28334 27600 0 -1 1077944384 90716 13444 0 0 1167 8 5 3 20 0 15 0 227615380 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504966420592 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28397] ppid=28331 vsize=11082080 memory=3431584 CPUtime=11.75 cores=1,3,5,7
/proc/28334/task/28397/stat : 28397 (java) S 28331 28334 27600 0 -1 1077944384 80268 13444 0 0 1159 8 5 3 20 0 15 0 227615380 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504965367792 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28398] ppid=28331 vsize=11082080 memory=756 CPUtime=3.57 cores=1,3,5,7
/proc/28334/task/28398/stat : 28398 (java) S 28331 28334 27600 0 -1 1077944384 71198 13444 0 0 341 8 5 3 20 0 15 0 227615380 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504964315504 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28399] ppid=28331 vsize=11082080 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28399/stat : 28399 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11348049920 857896 33554432000 4194304 4196468 140720861061392 140503345523168 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28400] ppid=28331 vsize=11082080 memory=3431584 CPUtime=1.43 cores=1,3,5,7
/proc/28334/task/28400/stat : 28400 (java) S 28331 28334 27600 0 -1 1077944384 2176 13444 0 0 62 73 5 3 20 0 15 0 227615381 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504963263408 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3431584 KiB

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

[startup+2449.78 s]
# the end of solver process 28334 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.25 s, system=3.89002 s

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

[startup+2449.7 s]
/proc/loadavg: 1.39 1.47 1.49 3/217 28603
/proc/meminfo: memFree=12902912/32770624 swapFree=67108404/67108860
[pid=28334] ppid=28331 vsize=11082080 memory=3431584 CPUtime=2520.05 cores=1,3,5,7
/proc/28334/stat : 28334 (java) S 28331 28334 27600 0 -1 1077944320 641699 13444 0 0 251615 382 5 3 20 0 15 0 227615366 11348049920 857896 33554432000 4194304 4196468 140720861061392 140720861043936 140505474465527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
/proc/28334/statm: 2770520 857896 3533 1 0 2732173 0
[pid=28334/tid=28387] ppid=28331 vsize=11082080 memory=3431584 CPUtime=2434.27 cores=1,3,5,7
/proc/28334/task/28387/stat : 28387 (java) R 28331 28334 27600 0 -1 4202560 192842 13444 0 0 243346 73 5 3 20 0 15 0 227615375 11348049920 857896 33554432000 4194304 4196468 140720861061392 140505446299312 140505060410165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28388] ppid=28331 vsize=11082080 memory=3431584 CPUtime=14.22 cores=1,3,5,7
/proc/28334/task/28388/stat : 28388 (java) S 28331 28334 27600 0 -1 1077944384 38249 13444 0 0 1360 54 5 3 20 0 15 0 227615375 11348049920 857896 33554432000 4194304 4196468 140720861061392 140505478707600 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28389] ppid=28331 vsize=11082080 memory=3684 CPUtime=14.17 cores=1,3,5,7
/proc/28334/task/28389/stat : 28389 (java) S 28331 28334 27600 0 -1 1077944384 30208 13444 0 0 1355 54 5 3 20 0 15 0 227615375 11348049920 857896 33554432000 4194304 4196468 140720861061392 140505359972624 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28390] ppid=28331 vsize=11082080 memory=3413104 CPUtime=14.19 cores=1,3,5,7
/proc/28334/task/28390/stat : 28390 (java) S 28331 28334 27600 0 -1 1077944384 33533 13444 0 0 1359 52 5 3 20 0 15 0 227615375 11348049920 857896 33554432000 4194304 4196468 140720861061392 140505013475984 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28391] ppid=28331 vsize=11082080 memory=3396660 CPUtime=14.15 cores=1,3,5,7
/proc/28334/task/28391/stat : 28391 (java) S 28331 28334 27600 0 -1 1077944384 39789 13444 0 0 1354 53 5 3 20 0 15 0 227615375 11348049920 857896 33554432000 4194304 4196468 140720861061392 140505012423184 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28392] ppid=28331 vsize=11082080 memory=3413104 CPUtime=1.06 cores=1,3,5,7
/proc/28334/task/28392/stat : 28392 (java) S 28331 28334 27600 0 -1 1077944384 60496 13444 0 0 86 12 5 3 20 0 15 0 227615377 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504967473776 140505474476674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28393] ppid=28331 vsize=11082080 memory=3429496 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28393/stat : 28393 (java) S 28331 28334 27600 0 -1 1077944384 15 13444 0 0 0 0 5 3 20 0 15 0 227615377 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504231568800 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28394] ppid=28331 vsize=11082080 memory=3413104 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28394/stat : 28394 (java) S 28331 28334 27600 0 -1 1077944384 12 13444 0 0 0 0 5 3 20 0 15 0 227615378 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504083719808 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28395] ppid=28331 vsize=11082080 memory=3429496 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28395/stat : 28395 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11348049920 857896 33554432000 4194304 4196468 140720861061392 140503776320080 140505474484123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28396] ppid=28331 vsize=11082080 memory=3429496 CPUtime=11.83 cores=1,3,5,7
/proc/28334/task/28396/stat : 28396 (java) S 28331 28334 27600 0 -1 1077944384 90716 13444 0 0 1167 8 5 3 20 0 15 0 227615380 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504966420592 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28397] ppid=28331 vsize=11082080 memory=3431584 CPUtime=11.75 cores=1,3,5,7
/proc/28334/task/28397/stat : 28397 (java) S 28331 28334 27600 0 -1 1077944384 80268 13444 0 0 1159 8 5 3 20 0 15 0 227615380 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504965367792 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28398] ppid=28331 vsize=11082080 memory=756 CPUtime=3.57 cores=1,3,5,7
/proc/28334/task/28398/stat : 28398 (java) S 28331 28334 27600 0 -1 1077944384 71198 13444 0 0 341 8 5 3 20 0 15 0 227615380 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504964315504 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28399] ppid=28331 vsize=11082080 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/28334/task/28399/stat : 28399 (java) S 28331 28334 27600 0 -1 1077944384 3 13444 0 0 0 0 5 3 20 0 15 0 227615380 11348049920 857896 33554432000 4194304 4196468 140720861061392 140503345523168 140505474475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
[pid=28334/tid=28400] ppid=28331 vsize=11082080 memory=3431584 CPUtime=1.43 cores=1,3,5,7
/proc/28334/task/28400/stat : 28400 (java) S 28331 28334 27600 0 -1 1077944384 2176 13444 0 0 62 73 5 3 20 0 15 0 227615381 11348049920 857896 33554432000 4194304 4196468 140720861061392 140504963263408 140505474476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35405824 140720861067875 140720861070684 140720861070684 140720861073359 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3431584 KiB

Child status: 143
Real time (s): 2449.78
CPU time (s): 2520.14
CPU user time (s): 2516.25
CPU system time (s): 3.89002
CPU usage (%): 102.872
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3967188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.25
system time used= 3.89002
maximum resident set size= 3967188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 660185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74788
involuntary context switches= 2035


# summary of solver processes directly reported to runsolver:
#   pid: 28334
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2516.25
#   total CPU system time (s): 3.89002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0307 second user time and 22.7444 second system time

The end

Name	TemplateDesign/ TemplateDesign-m1s-herbs_c18.xml
MD5SUM	f93f81431bc4a45d4c2655bc4c8b27b0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	2
Best CPU time to get the best result obtained on this benchmark	163.517
Satisfiable
(Un)Satisfiability was proved
Number of variables	1860
Number of constraints	990
Number of domains	11
Minimum domain size	2
Maximum domain size	308
Distribution of domain sizes	[{"size":2,"count":30},{"size":43,"count":900},{"size":66,"count":60},{"size":77,"count":210},{"size":88,"count":120},{"size":99,"count":180},{"size":110,"count":120},{"size":165,"count":30},{"size":253,"count":120},{"size":281,"count":30},{"size":308,"count":60}]
Minimum variable degree	2
Maximum variable degree	31
Distribution of variable degrees	[{"degree":2,"count":1830},{"degree":31,"count":30}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":30},{"arity":3,"count":900},{"arity":30,"count":60}]
Number of extensional constraints	30
Number of intensional constraints	900
Distribution of constraint types	[{"type":"extension","count":30},{"type":"intension","count":900},{"type":"sum","count":60}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4304532

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data