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)	17	2520.14	2471.04

0.99/0.74	c Concrete v3.9.2.1532736233296 running
13.34/5.50	o 20
13.34/5.54	o 19
13.34/5.58	o 18
13.98/5.72	o 17
2520.10/2471.01	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.10/2471.01		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.10/2471.01		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.10/2471.01		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.10/2471.01		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.10/2471.01		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.10/2471.01		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.10/2471.01		at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2520.10/2471.01		at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.10/2471.01		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.10/2471.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.10/2471.01		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.10/2471.01		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.10/2471.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.10/2471.01		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.10/2471.01		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.10/2471.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.10/2471.01		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.10/2471.01		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.10/2471.01		at scala.Option.map(Option.scala:146)
2520.10/2471.01		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.10/2471.01		at concrete.MAC.mac(MAC.scala:203)
2520.10/2471.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.10/2471.01		at scala.util.Try$.apply(Try.scala:209)
2520.10/2471.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.10/2471.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.10/2471.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.10/2471.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.10/2471.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.10/2471.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.10/2471.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.10/2471.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.10/2471.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.10/2471.01		at concrete.MAC.oneRun(MAC.scala:253)
2520.10/2471.01		at concrete.MAC.nextSolution(MAC.scala:272)
2520.10/2471.01		at concrete.MAC.nextSolution(MAC.scala:355)
2520.10/2471.01		at concrete.Solver.hasNext(Solver.scala:166)
2520.10/2471.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.10/2471.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.10/2471.01		at concrete.Solver.foreach(Solver.scala:68)
2520.10/2471.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.10/2471.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.10/2471.01		at scala.util.Success.map(Try.scala:209)
2520.10/2471.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.10/2471.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.10/2471.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.10/2471.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.10/2471.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.10/2471.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.10/2471.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.10/2471.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.10/2471.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.10/2471.01		at scala.collection.immutable.List.foreach(List.scala:389)
2520.10/2471.01		at scala.App.main(App.scala:76)
2520.10/2471.01		at scala.App.main$(App.scala:74)
2520.10/2471.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.10/2471.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.10/2471.02	v <instantiation cost="17">
2520.10/2471.02	v       <list>
2520.10/2471.02	v         prd[0] prd[1] prd[2] prd[3] prd[4] prd[5] prd[6] prd[7] prd[8] prd[9] prd[10] prd[11] prd[12] prd[13] prd[14] prd[15] prd[16] prd[17] prd[18] prd[19] prd[20] prd[21] prd[22] prd[23] prd[24] prd[25] prd[26] prd[27] prd[28] prd[29] prd[30] prd[31] prd[32] prd[33] prd[34] prd[35] prd[36] prd[37] prd[38] prd[39] prd[40] prd[41] prd[42] prd[43] prd[44] prd[45] prd[46] prd[47] prd[48] prd[49] prd[50] prd[51] prd[52] prd[53] prd[54] prd[55] prd[56] prd[57] prd[58] prd[59] prd[60] prd[61] prd[62] prd[63] prd[64] prd[65] nco[0] nco[1] nco[2] nco[3] nco[4] nco[5] nco[6] nco[7] nco[8] nco[9] nco[10] nco[11] ncr[0] ncr[1] ncr[2] ncr[3] ncr[4] ncr[5] ncr[6] ncr[7] ncr[8] ncr[9] ncr[10] ncr[11] cp[0][0] cp[0][1] cp[0][2] cp[0][3] cp[0][4] cp[0][5] cp[0][6] cp[0][7] cp[0][8] cp[0][9] cp[0][10] cp[0][11] cp[1][0] cp[1][1] cp[1][2] cp[1][3] cp[1][4] cp[1][5] cp[1][6] cp[1][7] cp[1][8] cp[1][9] cp[1][10] cp[1][11] cp[2][0] cp[2][1] cp[2][2] cp[2][3] cp[2][4] cp[2][5] cp[2][6] cp[2][7] cp[2][8] cp[2][9] cp[2][10] cp[2][11] cp[3][0] cp[3][1] cp[3][2] cp[3][3] cp[3][4] cp[3][5] cp[3][6] cp[3][7] cp[3][8] cp[3][9] cp[3][10] cp[3][11] cp[4][0] cp[4][1] cp[4][2] cp[4][3] cp[4][4] cp[4][5] cp[4][6] cp[4][7] cp[4][8] cp[4][9] cp[4][10] cp[4][11] cp[5][0] cp[5][1] cp[5][2] cp[5][3] cp[5][4] cp[5][5] cp[5][6] cp[5][7] cp[5][8] cp[5][9] cp[5][10] cp[5][11] cp[6][0] cp[6][1] cp[6][2] cp[6][3] cp[6][4] cp[6][5] cp[6][6] cp[6][7] cp[6][8] cp[6][9] cp[6][10] cp[6][11] cp[7][0] cp[7][1] cp[7][2] cp[7][3] cp[7][4] cp[7][5] cp[7][6] cp[7][7] cp[7][8] cp[7][9] cp[7][10] cp[7][11] cp[8][0] cp[8][1] cp[8][2] cp[8][3] cp[8][4] cp[8][5] cp[8][6] cp[8][7] cp[8][8] cp[8][9] cp[8][10] cp[8][11] cp[9][0] cp[9][1] cp[9][2] cp[9][3] cp[9][4] cp[9][5] cp[9][6] cp[9][7] cp[9][8] cp[9][9] cp[9][10] cp[9][11] cp[10][0] cp[10][1] cp[10][2] cp[10][3] cp[10][4] cp[10][5] cp[10][6] cp[10][7] cp[10][8] cp[10][9] cp[10][10] cp[10][11] cp[11][0] cp[11][1] cp[11][2] cp[11][3] cp[11][4] cp[11][5] cp[11][6] cp[11][7] cp[11][8] cp[11][9] cp[11][10] cp[11][11] cp[12][0] cp[12][1] cp[12][2] cp[12][3] cp[12][4] cp[12][5] cp[12][6] cp[12][7] cp[12][8] cp[12][9] cp[12][10] cp[12][11] cp[13][0] cp[13][1] cp[13][2] cp[13][3] cp[13][4] cp[13][5] cp[13][6] cp[13][7] cp[13][8] cp[13][9] cp[13][10] cp[13][11] cp[14][0] cp[14][1] cp[14][2] cp[14][3] cp[14][4] cp[14][5] cp[14][6] cp[14][7] cp[14][8] cp[14][9] cp[14][10] cp[14][11] cp[15][0] cp[15][1] cp[15][2] cp[15][3] cp[15][4] cp[15][5] cp[15][6] cp[15][7] cp[15][8] cp[15][9] cp[15][10] cp[15][11] cp[16][0] cp[16][1] cp[16][2] cp[16][3] cp[16][4] cp[16][5] cp[16][6] cp[16][7] cp[16][8] cp[16][9] cp[16][10] cp[16][11] cp[17][0] cp[17][1] cp[17][2] cp[17][3] cp[17][4] cp[17][5] cp[17][6] cp[17][7] cp[17][8] cp[17][9] cp[17][10] cp[17][11] cp[18][0] cp[18][1] cp[18][2] cp[18][3] cp[18][4] cp[18][5] cp[18][6] cp[18][7] cp[18][8] cp[18][9] cp[18][10] cp[18][11] cp[19][0] cp[19][1] cp[19][2] cp[19][3] cp[19][4] cp[19][5] cp[19][6] cp[19][7] cp[19][8] cp[19][9] cp[19][10] cp[19][11] cp[20][0] cp[20][1] cp[20][2] cp[20][3] cp[20][4] cp[20][5] cp[20][6] cp[20][7] cp[20][8] cp[20][9] cp[20][10] cp[20][11] cp[21][0] cp[21][1] cp[21][2] cp[21][3] cp[21][4] cp[21][5] cp[21][6] cp[21][7] cp[21][8] cp[21][9] cp[21][10] cp[21][11] cp[22][0] cp[22][1] cp[22][2] cp[22][3] cp[22][4] cp[22][5] cp[22][6] cp[22][7] cp[22][8] cp[22][9] cp[22][10] cp[22][11] cp[23][0] cp[23][1] cp[23][2] cp[23][3] cp[23][4] cp[23][5] cp[23][6] cp[23][7] cp[23][8] cp[23][9] cp[23][10] cp[23][11] cp[24][0] cp[24][1] cp[24][2] cp[24][3] cp[24][4] cp[24][5] cp[24][6] cp[24][7] cp[24][8] cp[24][9] cp[24][10] cp[24][11] cp[25][0] cp[25][1] cp[25][2] cp[25][3] cp[25][4] cp[25][5] cp[25][6] cp[25][7] cp[25][8] cp[25][9] cp[25][10] cp[25][11] cp[26][0] cp[26][1] cp[26][2] cp[26][3] cp[26][4] cp[26][5] cp[26][6] cp[26][7] cp[26][8] cp[26][9] cp[26][10] cp[26][11] cp[27][0] cp[27][1] cp[27][2] cp[27][3] cp[27][4] cp[27][5] cp[27][6] cp[27][7] cp[27][8] cp[27][9] cp[27][10] cp[27][11] cp[28][0] cp[28][1] cp[28][2] cp[28][3] cp[28][4] cp[28][5] cp[28][6] cp[28][7] cp[28][8] cp[28][9] cp[28][10] cp[28][11] cp[29][0] cp[29][1] cp[29][2] cp[29][3] cp[29][4] cp[29][5] cp[29][6] cp[29][7] cp[29][8] cp[29][9] cp[29][10] cp[29][11] cp[30][0] cp[30][1] cp[30][2] cp[30][3] cp[30][4] cp[30][5] cp[30][6] cp[30][7] cp[30][8] cp[30][9] cp[30][10] cp[30][11] cp[31][0] cp[31][1] cp[31][2] cp[31][3] cp[31][4] cp[31][5] cp[31][6] cp[31][7] cp[31][8] cp[31][9] cp[31][10] cp[31][11] cp[32][0] cp[32][1] cp[32][2] cp[32][3] cp[32][4] cp[32][5] cp[32][6] cp[32][7] cp[32][8] cp[32][9] cp[32][10] cp[32][11] cp[33][0] cp[33][1] cp[33][2] cp[33][3] cp[33][4] cp[33][5] cp[33][6] cp[33][7] cp[33][8] cp[33][9] cp[33][10] cp[33][11] cp[34][0] cp[34][1] cp[34][2] cp[34][3] cp[34][4] cp[34][5] cp[34][6] cp[34][7] cp[34][8] cp[34][9] cp[34][10] cp[34][11] cp[35][0] cp[35][1] cp[35][2] cp[35][3] cp[35][4] cp[35][5] cp[35][6] cp[35][7] cp[35][8] cp[35][9] cp[35][10] cp[35][11] cp[36][0] cp[36][1] cp[36][2] cp[36][3] cp[36][4] cp[36][5] cp[36][6] cp[36][7] cp[36][8] cp[36][9] cp[36][10] cp[36][11] cp[37][0] cp[37][1] cp[37][2] cp[37][3] cp[37][4] cp[37][5] cp[37][6] cp[37][7] cp[37][8] cp[37][9] cp[37][10] cp[37][11] cp[38][0] cp[38][1] cp[38][2] cp[38][3] cp[38][4] cp[38][5] cp[38][6] cp[38][7] cp[38][8] cp[38][9] cp[38][10] cp[38][11] cp[39][0] cp[39][1] cp[39][2] cp[39][3] cp[39][4] cp[39][5] cp[39][6] cp[39][7] cp[39][8] cp[39][9] cp[39][10] cp[39][11] cp[40][0] cp[40][1] cp[40][2] cp[40][3] cp[40][4] cp[40][5] cp[40][6] cp[40][7] cp[40][8] cp[40][9] cp[40][10] cp[40][11] cp[41][0] cp[41][1] cp[41][2] cp[41][3] cp[41][4] cp[41][5] cp[41][6] cp[41][7] cp[41][8] cp[41][9] cp[41][10] cp[41][11] cp[42][0] cp[42][1] cp[42][2] cp[42][3] cp[42][4] cp[42][5] cp[42][6] cp[42][7] cp[42][8] cp[42][9] cp[42][10] cp[42][11] cp[43][0] cp[43][1] cp[43][2] cp[43][3] cp[43][4] cp[43][5] cp[43][6] cp[43][7] cp[43][8] cp[43][9] cp[43][10] cp[43][11] cp[44][0] cp[44][1] cp[44][2] cp[44][3] cp[44][4] cp[44][5] cp[44][6] cp[44][7] cp[44][8] cp[44][9] cp[44][10] cp[44][11] cp[45][0] cp[45][1] cp[45][2] cp[45][3] cp[45][4] cp[45][5] cp[45][6] cp[45][7] cp[45][8] cp[45][9] cp[45][10] cp[45][11] cp[46][0] cp[46][1] cp[46][2] cp[46][3] cp[46][4] cp[46][5] cp[46][6] cp[46][7] cp[46][8] cp[46][9] cp[46][10] cp[46][11] cp[47][0] cp[47][1] cp[47][2] cp[47][3] cp[47][4] cp[47][5] cp[47][6] cp[47][7] cp[47][8] cp[47][9] cp[47][10] cp[47][11] cp[48][0] cp[48][1] cp[48][2] cp[48][3] cp[48][4] cp[48][5] cp[48][6] cp[48][7] cp[48][8] cp[48][9] cp[48][10] cp[48][11] cp[49][0] cp[49][1] cp[49][2] cp[49][3] cp[49][4] cp[49][5] cp[49][6] cp[49][7] cp[49][8] cp[49][9] cp[49][10] cp[49][11] cp[50][0] cp[50][1] cp[50][2] cp[50][3] cp[50][4] cp[50][5] cp[50][6] cp[50][7] cp[50][8] cp[50][9] cp[50][10] cp[50][11] cp[51][0] cp[51][1] cp[51][2] cp[51][3] cp[51][4] cp[51][5] cp[51][6] cp[51][7] cp[51][8] cp[51][9] cp[51][10] cp[51][11] cp[52][0] cp[52][1] cp[52][2] cp[52][3] cp[52][4] cp[52][5] cp[52][6] cp[52][7] cp[52][8] cp[52][9] cp[52][10] cp[52][11] cp[53][0] cp[53][1] cp[53][2] cp[53][3] cp[53][4] cp[53][5] cp[53][6] cp[53][7] cp[53][8] cp[53][9] cp[53][10] cp[53][11] cp[54][0] cp[54][1] cp[54][2] cp[54][3] cp[54][4] cp[54][5] cp[54][6] cp[54][7] cp[54][8] cp[54][9] cp[54][10] cp[54][11] cp[55][0] cp[55][1] cp[55][2] cp[55][3] cp[55][4] cp[55][5] cp[55][6] cp[55][7] cp[55][8] cp[55][9] cp[55][10] cp[55][11] cp[56][0] cp[56][1] cp[56][2] cp[56][3] cp[56][4] cp[56][5] cp[56][6] cp[56][7] cp[56][8] cp[56][9] cp[56][10] cp[56][11] cp[57][0] cp[57][1] cp[57][2] cp[57][3] cp[57][4] cp[57][5] cp[57][6] cp[57][7] cp[57][8] cp[57][9] cp[57][10] cp[57][11] cp[58][0] cp[58][1] cp[58][2] cp[58][3] cp[58][4] cp[58][5] cp[58][6] cp[58][7] cp[58][8] cp[58][9] cp[58][10] cp[58][11] cp[59][0] cp[59][1] cp[59][2] cp[59][3] cp[59][4] cp[59][5] cp[59][6] cp[59][7] cp[59][8] cp[59][9] cp[59][10] cp[59][11] cp[60][0] cp[60][1] cp[60][2] cp[60][3] cp[60][4] cp[60][5] cp[60][6] cp[60][7] cp[60][8] cp[60][9] cp[60][10] cp[60][11] cp[61][0] cp[61][1] cp[61][2] cp[61][3] cp[61][4] cp[61][5] cp[61][6] cp[61][7] cp[61][8] cp[61][9] cp[61][10] cp[61][11] cp[62][0] cp[62][1] cp[62][2] cp[62][3] cp[62][4] cp[62][5] cp[62][6] cp[62][7] cp[62][8] cp[62][9] cp[62][10] cp[62][11] cp[63][0] cp[63][1] cp[63][2] cp[63][3] cp[63][4] cp[63][5] cp[63][6] cp[63][7] cp[63][8] cp[63][9] cp[63][10] cp[63][11] cp[64][0] cp[64][1] cp[64][2] cp[64][3] cp[64][4] cp[64][5] cp[64][6] cp[64][7] cp[64][8] cp[64][9] cp[64][10] cp[64][11] cp[65][0] cp[65][1] cp[65][2] cp[65][3] cp[65][4] cp[65][5] cp[65][6] cp[65][7] cp[65][8] cp[65][9] cp[65][10] cp[65][11]
2520.10/2471.02	v       </list>
2520.10/2471.02	v       <values>
2520.10/2471.02	v         5 11 4 2 11 11 1 10 11 10 10 0 8 0 10 7 9 9 3 8 4 5 7 2 3 6 10 11 5 9 6 7 9 8 3 6 2 8 2 5 5 8 4 6 1 1 2 1 6 3 7 5 1 0 3 0 1 9 2 7 0 4 0 4 0 4 7 6 6 5 6 6 5 5 5 5 5 5 17 17 17 17 17 17 17 17 17 17 17 17 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0
2520.10/2471.02	v       </values>
2520.10/2471.02	v     </instantiation>
2520.10/2471.02	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 (9048 MiB free)
  memory of node 1: 16384 MiB (6805 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304820-1534155207/watcher-4304820-1534155207 -o /tmp/evaluation-result-4304820-1534155207/solver-4304820-1534155207 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534137835-2125 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1362884022 -superng HOME/instance-4304820-1534155207.xml 

running on 4 cores: 0,2,4,6

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=5505, runsolver pid=5502

[startup+0.100192 s]*
/proc/loadavg: 1.40 1.36 1.39 3/211 5562
/proc/meminfo: memFree=16227288/32770624 swapFree=67108852/67108860
[pid=5505] ppid=5502 vsize=10005480 memory=17076 CPUtime=0.09 cores=0,2,4,6
/proc/5505/stat : 5505 (java) S 5502 5505 1500 0 -1 1077944320 4390 13021 0 0 1 0 5 3 20 0 6 0 233083854 10245611520 4203 33554432000 4194304 4196468 140730077177952 140730077160496 139956262895351 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
/proc/5505/statm: 2501370 4203 1934 1 0 2489808 0
[pid=5505/tid=5558] ppid=5502 vsize=10005480 memory=-8530506832973971393 CPUtime=0.09 cores=0,2,4,6
/proc/5505/task/5558/stat : 5558 (java) R 5502 5505 1500 0 -1 4202560 2228 13021 0 0 1 0 5 3 20 0 6 0 233083863 10245611520 4269 33554432000 4194304 4196468 140730077177952 139956234732112 139956248577877 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5559] ppid=5502 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5559/stat : 5559 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 6 0 233083864 10245611520 4269 33554432000 4194304 4196468 140730077177952 139956267138064 139956262905557 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5560] ppid=5502 vsize=10005480 memory=139689425016448 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5560/stat : 5560 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 6 0 233083864 10245611520 4269 33554432000 4194304 4196468 140730077177952 139956148403344 139956262905557 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5561] ppid=5502 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5561/stat : 5561 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 6 0 233083864 10245611520 4269 33554432000 4194304 4196468 140730077177952 139956147350288 139956262905557 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5562] ppid=5502 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5562/stat : 5562 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 6 0 233083864 10245611520 4269 33554432000 4194304 4196468 140730077177952 139956146297744 139956262905557 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB

[startup+0.210443 s]*
/proc/loadavg: 1.40 1.36 1.39 3/220 5571
/proc/meminfo: memFree=16203956/32770624 swapFree=67108852/67108860
[pid=5505] ppid=5502 vsize=10982744 memory=45192 CPUtime=0.26 cores=0,2,4,6
/proc/5505/stat : 5505 (java) S 5502 5505 1500 0 -1 1077944320 8039 13021 0 0 17 1 5 3 20 0 15 0 233083854 11246329856 11298 33554432000 4194304 4196468 140730077177952 140730077160496 139956262895351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
/proc/5505/statm: 2745686 11298 2956 1 0 2708109 0
[pid=5505/tid=5558] ppid=5502 vsize=10982744 memory=8514701219931451533 CPUtime=0.2 cores=0,2,4,6
/proc/5505/task/5558/stat : 5558 (java) R 5502 5505 1500 0 -1 4202560 4649 13021 0 0 11 1 5 3 20 0 15 0 233083863 11246329856 11364 33554432000 4194304 4196468 140730077177952 139956234717168 139956262917277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5559] ppid=5502 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5559/stat : 5559 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246329856 11364 33554432000 4194304 4196468 140730077177952 139956267138064 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5560] ppid=5502 vsize=10982744 memory=139689425016448 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5560/stat : 5560 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246329856 11364 33554432000 4194304 4196468 140730077177952 139956148403344 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5561] ppid=5502 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5561/stat : 5561 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246329856 11364 33554432000 4194304 4196468 140730077177952 139956147350288 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5562] ppid=5502 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5562/stat : 5562 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246329856 11364 33554432000 4194304 4196468 140730077177952 139956146297744 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5563] ppid=5502 vsize=10982744 memory=139689425016448 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5563/stat : 5563 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083866 11246329856 11364 33554432000 4194304 4196468 140730077177952 139955232590064 139956262906498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5564] ppid=5502 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5564/stat : 5564 (java) S 5502 5505 1500 0 -1 1077944384 13 13021 0 0 0 0 5 3 20 0 15 0 233083866 11246329856 11364 33554432000 4194304 4196468 140730077177952 139955133211808 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5565] ppid=5502 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5565/stat : 5565 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083866 11246329856 11364 33554432000 4194304 4196468 140730077177952 139954931884784 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5566] ppid=5502 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5566/stat : 5566 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11246329856 11364 33554432000 4194304 4196468 140730077177952 139954624485328 139956262913947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5567] ppid=5502 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5505/task/5567/stat : 5567 (java) R 5502 5505 1500 0 -1 1077944384 557 13021 0 0 1 0 5 3 20 0 15 0 233083869 11246329856 11364 33554432000 4194304 4196468 140730077177952 139955231537904 139956262906498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5568] ppid=5502 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5568/stat : 5568 (java) S 5502 5505 1500 0 -1 1077944384 54 13021 0 0 0 0 5 3 20 0 15 0 233083869 11246329856 11364 33554432000 4194304 4196468 140730077177952 139955230485360 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5569] ppid=5502 vsize=10982744 memory=139689425016448 CPUtime=0.11 cores=0,2,4,6
/proc/5505/task/5569/stat : 5569 (java) S 5502 5505 1500 0 -1 1077944384 619 13021 0 0 3 0 5 3 20 0 15 0 233083869 11246329856 11364 33554432000 4194304 4196468 140730077177952 139955229432304 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5570] ppid=5502 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5570/stat : 5570 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11246329856 11364 33554432000 4194304 4196468 140730077177952 139954193689440 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5571] ppid=5502 vsize=10982744 memory=139689425016448 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5571/stat : 5571 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083870 11246329856 11364 33554432000 4194304 4196468 140730077177952 139955228379696 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45192 KiB

[startup+0.310722 s]*
/proc/loadavg: 1.40 1.36 1.39 3/220 5571
/proc/meminfo: memFree=16192512/32770624 swapFree=67108852/67108860
[pid=5505] ppid=5502 vsize=10983192 memory=56132 CPUtime=0.39 cores=0,2,4,6
/proc/5505/stat : 5505 (java) S 5502 5505 1500 0 -1 1077944320 10598 13021 0 0 29 2 5 3 20 0 15 0 233083854 11246788608 14033 33554432000 4194304 4196468 140730077177952 140730077160496 139956262895351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
/proc/5505/statm: 2745798 14033 3075 1 0 2708109 0
[pid=5505/tid=5558] ppid=5502 vsize=10983192 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/5505/task/5558/stat : 5558 (java) R 5502 5505 1500 0 -1 4202560 7142 13021 0 0 20 1 5 3 20 0 15 0 233083863 11246788608 14033 33554432000 4194304 4196468 140730077177952 139956234707360 139956262917277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5559] ppid=5502 vsize=10983192 memory=7588674581902282832 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5559/stat : 5559 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246788608 14033 33554432000 4194304 4196468 140730077177952 139956267138064 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5560] ppid=5502 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5560/stat : 5560 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246788608 14033 33554432000 4194304 4196468 140730077177952 139956148403344 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5561] ppid=5502 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5561/stat : 5561 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246788608 14033 33554432000 4194304 4196468 140730077177952 139956147350288 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5562] ppid=5502 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5562/stat : 5562 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246788608 14033 33554432000 4194304 4196468 140730077177952 139956146297744 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5563] ppid=5502 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5563/stat : 5563 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083866 11246788608 14033 33554432000 4194304 4196468 140730077177952 139955232590064 139956262906498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5564] ppid=5502 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5564/stat : 5564 (java) S 5502 5505 1500 0 -1 1077944384 13 13021 0 0 0 0 5 3 20 0 15 0 233083866 11246788608 14033 33554432000 4194304 4196468 140730077177952 139955133211808 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5565] ppid=5502 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5565/stat : 5565 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083866 11246788608 14033 33554432000 4194304 4196468 140730077177952 139954931884784 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5566] ppid=5502 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5566/stat : 5566 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11246788608 14033 33554432000 4194304 4196468 140730077177952 139954624485328 139956262913947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5567] ppid=5502 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/5505/task/5567/stat : 5567 (java) S 5502 5505 1500 0 -1 1077944384 558 13021 0 0 2 0 5 3 20 0 15 0 233083869 11246788608 14033 33554432000 4194304 4196468 140730077177952 139955231537904 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5568] ppid=5502 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5505/task/5568/stat : 5568 (java) S 5502 5505 1500 0 -1 1077944384 57 13021 0 0 1 0 5 3 20 0 15 0 233083869 11246788608 14033 33554432000 4194304 4196468 140730077177952 139955230485360 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5569] ppid=5502 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5505/task/5569/stat : 5569 (java) S 5502 5505 1500 0 -1 1077944384 624 13021 0 0 4 0 5 3 20 0 15 0 233083869 11246788608 14033 33554432000 4194304 4196468 140730077177952 139955229432304 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5570] ppid=5502 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5570/stat : 5570 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11246788608 14033 33554432000 4194304 4196468 140730077177952 139954193689440 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5571] ppid=5502 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5571/stat : 5571 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083870 11246788608 14033 33554432000 4194304 4196468 140730077177952 139955228379696 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56132 KiB

[startup+0.700785 s]
/proc/loadavg: 1.40 1.36 1.39 3/220 5571
/proc/meminfo: memFree=16181472/32770624 swapFree=67108852/67108860
[pid=5505] ppid=5502 vsize=10983192 memory=88560 CPUtime=0.99 cores=0,2,4,6
/proc/5505/stat : 5505 (java) S 5502 5505 1500 0 -1 1077944320 16759 13021 0 0 87 4 5 3 20 0 15 0 233083854 11246788608 22140 33554432000 4194304 4196468 140730077177952 140730077160496 139956262895351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
/proc/5505/statm: 2745798 22140 3238 1 0 2708109 0
[pid=5505/tid=5558] ppid=5502 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5505/task/5558/stat : 5558 (java) R 5502 5505 1500 0 -1 4202560 12234 13021 0 0 56 3 5 3 20 0 15 0 233083863 11246788608 22140 33554432000 4194304 4196468 140730077177952 139956234716176 139956246082160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5559] ppid=5502 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5559/stat : 5559 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246788608 22140 33554432000 4194304 4196468 140730077177952 139956267138064 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5560] ppid=5502 vsize=10983192 memory=3560 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5560/stat : 5560 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246788608 22140 33554432000 4194304 4196468 140730077177952 139956148403344 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5561] ppid=5502 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5561/stat : 5561 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246788608 22140 33554432000 4194304 4196468 140730077177952 139956147350288 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5562] ppid=5502 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5562/stat : 5562 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083864 11246788608 22140 33554432000 4194304 4196468 140730077177952 139956146297744 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5563] ppid=5502 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5563/stat : 5563 (java) S 5502 5505 1500 0 -1 1077944384 5 13021 0 0 0 0 5 3 20 0 15 0 233083866 11246788608 22140 33554432000 4194304 4196468 140730077177952 139955232590064 139956262906498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5564] ppid=5502 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5564/stat : 5564 (java) S 5502 5505 1500 0 -1 1077944384 13 13021 0 0 0 0 5 3 20 0 15 0 233083866 11246788608 22140 33554432000 4194304 4196468 140730077177952 139955133211808 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5565] ppid=5502 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5565/stat : 5565 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083866 11246788608 22140 33554432000 4194304 4196468 140730077177952 139954931884784 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5566] ppid=5502 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5566/stat : 5566 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11246788608 22140 33554432000 4194304 4196468 140730077177952 139954624485328 139956262913947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5567] ppid=5502 vsize=10983192 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/5505/task/5567/stat : 5567 (java) S 5502 5505 1500 0 -1 1077944384 1172 13021 0 0 10 0 5 3 20 0 15 0 233083869 11246788608 22140 33554432000 4194304 4196468 140730077177952 139955231537904 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5568] ppid=5502 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/5505/task/5568/stat : 5568 (java) S 5502 5505 1500 0 -1 1077944384 430 13021 0 0 7 0 5 3 20 0 15 0 233083869 11246788608 22140 33554432000 4194304 4196468 140730077177952 139955230485360 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5569] ppid=5502 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/5505/task/5569/stat : 5569 (java) S 5502 5505 1500 0 -1 1077944384 695 13021 0 0 13 0 5 3 20 0 15 0 233083869 11246788608 22140 33554432000 4194304 4196468 140730077177952 139955229432304 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5570] ppid=5502 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5570/stat : 5570 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11246788608 22140 33554432000 4194304 4196468 140730077177952 139954193689440 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5571] ppid=5502 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5571/stat : 5571 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083870 11246788608 22140 33554432000 4194304 4196468 140730077177952 139955228379696 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88560 KiB

[startup+1.5008 s]
/proc/loadavg: 1.40 1.36 1.39 5/220 5571
/proc/meminfo: memFree=16131788/32770624 swapFree=67108852/67108860
[pid=5505] ppid=5502 vsize=10998092 memory=185284 CPUtime=2.96 cores=0,2,4,6
/proc/5505/stat : 5505 (java) S 5502 5505 1500 0 -1 1077944320 27466 13021 0 0 278 10 5 3 20 0 15 0 233083854 11262046208 46321 33554432000 4194304 4196468 140730077177952 140730077160496 139956262895351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
/proc/5505/statm: 2749523 46321 3469 1 0 2711181 0
[pid=5505/tid=5558] ppid=5502 vsize=10998092 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/5505/task/5558/stat : 5558 (java) R 5502 5505 1500 0 -1 4202560 17685 13021 0 0 129 6 5 3 20 0 15 0 233083863 11262046208 46321 33554432000 4194304 4196468 140730077177952 139956234712480 139956246975838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5559] ppid=5502 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5505/task/5559/stat : 5559 (java) S 5502 5505 1500 0 -1 1077944384 27 13021 0 0 1 0 5 3 20 0 15 0 233083864 11262046208 46321 33554432000 4194304 4196468 140730077177952 139956267138064 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5560] ppid=5502 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5560/stat : 5560 (java) S 5502 5505 1500 0 -1 1077944384 26 13021 0 0 0 0 5 3 20 0 15 0 233083864 11262046208 46321 33554432000 4194304 4196468 140730077177952 139956148403344 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5561] ppid=5502 vsize=10998092 memory=3683998604062831409 CPUtime=0.09 cores=0,2,4,6
/proc/5505/task/5561/stat : 5561 (java) S 5502 5505 1500 0 -1 1077944384 85 13021 0 0 1 0 5 3 20 0 15 0 233083864 11262046208 46321 33554432000 4194304 4196468 140730077177952 139956147350288 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5562] ppid=5502 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5505/task/5562/stat : 5562 (java) S 5502 5505 1500 0 -1 1077944384 158 13021 0 0 1 0 5 3 20 0 15 0 233083864 11262046208 46321 33554432000 4194304 4196468 140730077177952 139956146297744 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5563] ppid=5502 vsize=10998092 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/5505/task/5563/stat : 5563 (java) S 5502 5505 1500 0 -1 1077944384 61 13021 0 0 1 0 5 3 20 0 15 0 233083866 11262046208 46321 33554432000 4194304 4196468 140730077177952 139955232590064 139956262906498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5564] ppid=5502 vsize=10998092 memory=279378630093056 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5564/stat : 5564 (java) S 5502 5505 1500 0 -1 1077944384 13 13021 0 0 0 0 5 3 20 0 15 0 233083866 11262046208 46321 33554432000 4194304 4196468 140730077177952 139955133211808 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5565] ppid=5502 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5565/stat : 5565 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083866 11262046208 46321 33554432000 4194304 4196468 140730077177952 139954931884784 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5566] ppid=5502 vsize=10998092 memory=1944 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5566/stat : 5566 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11262046208 46321 33554432000 4194304 4196468 140730077177952 139954624485328 139956262913947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5567] ppid=5502 vsize=10998092 memory=5772 CPUtime=0.66 cores=0,2,4,6
/proc/5505/task/5567/stat : 5567 (java) R 5502 5505 1500 0 -1 4202560 3208 13021 0 0 58 0 5 3 20 0 15 0 233083869 11262046208 46321 33554432000 4194304 4196468 140730077177952 139955231523928 139956244414977 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5568] ppid=5502 vsize=10998092 memory=1444 CPUtime=0.54 cores=0,2,4,6
/proc/5505/task/5568/stat : 5568 (java) S 5502 5505 1500 0 -1 1077944384 2449 13021 0 0 46 0 5 3 20 0 15 0 233083869 11262046208 46321 33554432000 4194304 4196468 140730077177952 139955230485360 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5569] ppid=5502 vsize=10998092 memory=1160 CPUtime=0.44 cores=0,2,4,6
/proc/5505/task/5569/stat : 5569 (java) S 5502 5505 1500 0 -1 1077944384 1550 13021 0 0 36 0 5 3 20 0 15 0 233083869 11262046208 46321 33554432000 4194304 4196468 140730077177952 139955229432304 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5570] ppid=5502 vsize=10998092 memory=968 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5570/stat : 5570 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11262046208 46321 33554432000 4194304 4196468 140730077177952 139954193689440 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5571] ppid=5502 vsize=10998092 memory=12144 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5571/stat : 5571 (java) S 5502 5505 1500 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 233083870 11262046208 46321 33554432000 4194304 4196468 140730077177952 139955228379696 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 10998092 KiB

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

/proc/5505/task/5558/stat : 5558 (java) R 5502 5505 1500 0 -1 4202560 93075 13021 0 0 230363 41 5 3 20 0 15 0 233083863 11345952768 240541 33554432000 4194304 4196468 140730077177952 139956234729792 139955841009469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5559] ppid=5502 vsize=11080032 memory=962164 CPUtime=9.43 cores=0,2,4,6
/proc/5505/task/5559/stat : 5559 (java) S 5502 5505 1500 0 -1 1077944384 11125 13021 0 0 895 40 5 3 20 0 15 0 233083864 11345952768 240541 33554432000 4194304 4196468 140730077177952 139956267138064 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5560] ppid=5502 vsize=11080032 memory=962164 CPUtime=9.44 cores=0,2,4,6
/proc/5505/task/5560/stat : 5560 (java) S 5502 5505 1500 0 -1 1077944384 15890 13021 0 0 893 43 5 3 20 0 15 0 233083864 11345952768 240541 33554432000 4194304 4196468 140730077177952 139956148403344 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5561] ppid=5502 vsize=11080032 memory=962164 CPUtime=9.42 cores=0,2,4,6
/proc/5505/task/5561/stat : 5561 (java) S 5502 5505 1500 0 -1 1077944384 18391 13021 0 0 892 42 5 3 20 0 15 0 233083864 11345952768 240541 33554432000 4194304 4196468 140730077177952 139956147350288 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5562] ppid=5502 vsize=11080032 memory=962164 CPUtime=9.4 cores=0,2,4,6
/proc/5505/task/5562/stat : 5562 (java) S 5502 5505 1500 0 -1 1077944384 19010 13021 0 0 888 44 5 3 20 0 15 0 233083864 11345952768 240541 33554432000 4194304 4196468 140730077177952 139956146297744 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5563] ppid=5502 vsize=11080032 memory=962164 CPUtime=6.74 cores=0,2,4,6
/proc/5505/task/5563/stat : 5563 (java) S 5502 5505 1500 0 -1 1077944384 15305 13021 0 0 627 39 5 3 20 0 15 0 233083866 11345952768 240541 33554432000 4194304 4196468 140730077177952 139955232590064 139956262906498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5564] ppid=5502 vsize=11080032 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5564/stat : 5564 (java) S 5502 5505 1500 0 -1 1077944384 14 13021 0 0 0 0 5 3 20 0 15 0 233083866 11345952768 240541 33554432000 4194304 4196468 140730077177952 139955133211936 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5565] ppid=5502 vsize=11080032 memory=1160 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5565/stat : 5565 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083866 11345952768 240541 33554432000 4194304 4196468 140730077177952 139954931884800 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5566] ppid=5502 vsize=11080032 memory=968 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5566/stat : 5566 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11345952768 240541 33554432000 4194304 4196468 140730077177952 139954624485328 139956262913947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5567] ppid=5502 vsize=11080032 memory=962164 CPUtime=8.3 cores=0,2,4,6
/proc/5505/task/5567/stat : 5567 (java) S 5502 5505 1500 0 -1 1077944384 38408 13021 0 0 816 6 5 3 20 0 15 0 233083869 11345952768 240541 33554432000 4194304 4196468 140730077177952 139955231537904 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5568] ppid=5502 vsize=11080032 memory=962164 CPUtime=8.35 cores=0,2,4,6
/proc/5505/task/5568/stat : 5568 (java) S 5502 5505 1500 0 -1 1077944384 37028 13021 0 0 821 6 5 3 20 0 15 0 233083869 11345952768 240541 33554432000 4194304 4196468 140730077177952 139955230485360 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5569] ppid=5502 vsize=11080032 memory=962164 CPUtime=3.7 cores=0,2,4,6
/proc/5505/task/5569/stat : 5569 (java) S 5502 5505 1500 0 -1 1077944384 35212 13021 0 0 354 8 5 3 20 0 15 0 233083869 11345952768 240541 33554432000 4194304 4196468 140730077177952 139955229432304 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5570] ppid=5502 vsize=11080032 memory=962164 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5570/stat : 5570 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11345952768 240541 33554432000 4194304 4196468 140730077177952 139954193689440 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5571] ppid=5502 vsize=11080032 memory=962164 CPUtime=1.35 cores=0,2,4,6
/proc/5505/task/5571/stat : 5571 (java) S 5502 5505 1500 0 -1 1077944384 1190 13021 0 0 63 64 5 3 20 0 15 0 233083870 11345952768 240541 33554432000 4194304 4196468 140730077177952 139955228379696 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
Current children cumulated CPU time: 2369.63 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 962164 KiB

[startup+2382.3 s]
/proc/loadavg: 1.30 1.40 1.40 3/220 5645
/proc/meminfo: memFree=15235180/32770624 swapFree=67108852/67108860
[pid=5505] ppid=5502 vsize=11080032 memory=962216 CPUtime=2430.37 cores=0,2,4,6
/proc/5505/stat : 5505 (java) S 5502 5505 1500 0 -1 1077944320 287796 13021 0 0 242729 300 5 3 20 0 15 0 233083854 11345952768 240554 33554432000 4194304 4196468 140730077177952 140730077160496 139956262895351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
/proc/5505/statm: 2770008 240554 3532 1 0 2731661 0
[pid=5505/tid=5558] ppid=5502 vsize=11080032 memory=962216 CPUtime=2363.62 cores=0,2,4,6
/proc/5505/task/5558/stat : 5558 (java) R 5502 5505 1500 0 -1 4202560 93546 13021 0 0 236313 41 5 3 20 0 15 0 233083863 11345952768 240554 33554432000 4194304 4196468 140730077177952 139956234730016 139955841009212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5559] ppid=5502 vsize=11080032 memory=962208 CPUtime=9.68 cores=0,2,4,6
/proc/5505/task/5559/stat : 5559 (java) S 5502 5505 1500 0 -1 1077944384 11148 13021 0 0 920 40 5 3 20 0 15 0 233083864 11345952768 240554 33554432000 4194304 4196468 140730077177952 139956267138064 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5560] ppid=5502 vsize=11080032 memory=0 CPUtime=9.68 cores=0,2,4,6
/proc/5505/task/5560/stat : 5560 (java) S 5502 5505 1500 0 -1 1077944384 15976 13021 0 0 916 44 5 3 20 0 15 0 233083864 11345952768 240554 33554432000 4194304 4196468 140730077177952 139956148403344 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5561] ppid=5502 vsize=11080032 memory=279378630658336 CPUtime=9.69 cores=0,2,4,6
/proc/5505/task/5561/stat : 5561 (java) S 5502 5505 1500 0 -1 1077944384 18469 13021 0 0 918 43 5 3 20 0 15 0 233083864 11345952768 240554 33554432000 4194304 4196468 140730077177952 139956147350288 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5562] ppid=5502 vsize=11080032 memory=962208 CPUtime=9.67 cores=0,2,4,6
/proc/5505/task/5562/stat : 5562 (java) S 5502 5505 1500 0 -1 1077944384 19067 13021 0 0 913 46 5 3 20 0 15 0 233083864 11345952768 240554 33554432000 4194304 4196468 140730077177952 139956146297744 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5563] ppid=5502 vsize=11080032 memory=55 CPUtime=6.9 cores=0,2,4,6
/proc/5505/task/5563/stat : 5563 (java) S 5502 5505 1500 0 -1 1077944384 15511 13021 0 0 642 40 5 3 20 0 15 0 233083866 11345952768 240554 33554432000 4194304 4196468 140730077177952 139955232590064 139956262906498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5564] ppid=5502 vsize=11080032 memory=962216 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5564/stat : 5564 (java) S 5502 5505 1500 0 -1 1077944384 14 13021 0 0 0 0 5 3 20 0 15 0 233083866 11345952768 240554 33554432000 4194304 4196468 140730077177952 139955133211936 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5565] ppid=5502 vsize=11080032 memory=962216 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5565/stat : 5565 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083866 11345952768 240554 33554432000 4194304 4196468 140730077177952 139954931884800 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5566] ppid=5502 vsize=11080032 memory=962216 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5566/stat : 5566 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11345952768 240554 33554432000 4194304 4196468 140730077177952 139954624485328 139956262913947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5567] ppid=5502 vsize=11080032 memory=8246488272409290857 CPUtime=8.3 cores=0,2,4,6
/proc/5505/task/5567/stat : 5567 (java) S 5502 5505 1500 0 -1 1077944384 38410 13021 0 0 816 6 5 3 20 0 15 0 233083869 11345952768 240554 33554432000 4194304 4196468 140730077177952 139955231537904 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5568] ppid=5502 vsize=11080032 memory=962208 CPUtime=8.35 cores=0,2,4,6
/proc/5505/task/5568/stat : 5568 (java) S 5502 5505 1500 0 -1 1077944384 37031 13021 0 0 821 6 5 3 20 0 15 0 233083869 11345952768 240554 33554432000 4194304 4196468 140730077177952 139955230485360 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5569] ppid=5502 vsize=11080032 memory=164 CPUtime=3.7 cores=0,2,4,6
/proc/5505/task/5569/stat : 5569 (java) S 5502 5505 1500 0 -1 1077944384 35214 13021 0 0 354 8 5 3 20 0 15 0 233083869 11345952768 240554 33554432000 4194304 4196468 140730077177952 139955229432304 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5570] ppid=5502 vsize=11080032 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5570/stat : 5570 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11345952768 240554 33554432000 4194304 4196468 140730077177952 139954193689440 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5571] ppid=5502 vsize=11080032 memory=1796 CPUtime=1.39 cores=0,2,4,6
/proc/5505/task/5571/stat : 5571 (java) S 5502 5505 1500 0 -1 1077944384 1206 13021 0 0 65 66 5 3 20 0 15 0 233083870 11345952768 240554 33554432000 4194304 4196468 140730077177952 139955228379696 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
Current children cumulated CPU time: 2430.37 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 962216 KiB

[startup+2442.3 s]
/proc/loadavg: 1.91 1.56 1.45 3/220 5646
/proc/meminfo: memFree=15239072/32770624 swapFree=67108852/67108860
[pid=5505] ppid=5502 vsize=11080032 memory=962324 CPUtime=2491.06 cores=0,2,4,6
/proc/5505/stat : 5505 (java) S 5502 5505 1500 0 -1 1077944320 288519 13021 0 0 248794 304 5 3 20 0 15 0 233083854 11345952768 240581 33554432000 4194304 4196468 140730077177952 140730077160496 139956262895351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
/proc/5505/statm: 2770008 240581 3532 1 0 2731661 0
[pid=5505/tid=5558] ppid=5502 vsize=11080032 memory=962324 CPUtime=2423.13 cores=0,2,4,6
/proc/5505/task/5558/stat : 5558 (java) R 5502 5505 1500 0 -1 4202560 93992 13021 0 0 242263 42 5 3 20 0 15 0 233083863 11345952768 240581 33554432000 4194304 4196468 140730077177952 139956234729792 139955840497901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5559] ppid=5502 vsize=11080032 memory=962324 CPUtime=9.93 cores=0,2,4,6
/proc/5505/task/5559/stat : 5559 (java) S 5502 5505 1500 0 -1 1077944384 11235 13021 0 0 945 40 5 3 20 0 15 0 233083864 11345952768 240581 33554432000 4194304 4196468 140730077177952 139956267138064 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5560] ppid=5502 vsize=11080032 memory=962324 CPUtime=9.94 cores=0,2,4,6
/proc/5505/task/5560/stat : 5560 (java) S 5502 5505 1500 0 -1 1077944384 16001 13021 0 0 941 45 5 3 20 0 15 0 233083864 11345952768 240581 33554432000 4194304 4196468 140730077177952 139956148403344 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5561] ppid=5502 vsize=11080032 memory=962324 CPUtime=9.94 cores=0,2,4,6
/proc/5505/task/5561/stat : 5561 (java) S 5502 5505 1500 0 -1 1077944384 18562 13021 0 0 942 44 5 3 20 0 15 0 233083864 11345952768 240581 33554432000 4194304 4196468 140730077177952 139956147350288 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5562] ppid=5502 vsize=11080032 memory=5772 CPUtime=9.91 cores=0,2,4,6
/proc/5505/task/5562/stat : 5562 (java) S 5502 5505 1500 0 -1 1077944384 19093 13021 0 0 937 46 5 3 20 0 15 0 233083864 11345952768 240581 33554432000 4194304 4196468 140730077177952 139956146297744 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5563] ppid=5502 vsize=11080032 memory=962320 CPUtime=7.07 cores=0,2,4,6
/proc/5505/task/5563/stat : 5563 (java) S 5502 5505 1500 0 -1 1077944384 15546 13021 0 0 658 41 5 3 20 0 15 0 233083866 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955232590064 139956262906498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5564] ppid=5502 vsize=11080032 memory=962208 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5564/stat : 5564 (java) S 5502 5505 1500 0 -1 1077944384 14 13021 0 0 0 0 5 3 20 0 15 0 233083866 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955133211936 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5565] ppid=5502 vsize=11080032 memory=962216 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5565/stat : 5565 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083866 11345952768 240581 33554432000 4194304 4196468 140730077177952 139954931884800 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5566] ppid=5502 vsize=11080032 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5566/stat : 5566 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11345952768 240581 33554432000 4194304 4196468 140730077177952 139954624485328 139956262913947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5567] ppid=5502 vsize=11080032 memory=962324 CPUtime=8.31 cores=0,2,4,6
/proc/5505/task/5567/stat : 5567 (java) S 5502 5505 1500 0 -1 1077944384 38412 13021 0 0 817 6 5 3 20 0 15 0 233083869 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955231537904 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5568] ppid=5502 vsize=11080032 memory=962324 CPUtime=8.35 cores=0,2,4,6
/proc/5505/task/5568/stat : 5568 (java) S 5502 5505 1500 0 -1 1077944384 37033 13021 0 0 821 6 5 3 20 0 15 0 233083869 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955230485360 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5569] ppid=5502 vsize=11080032 memory=962324 CPUtime=3.7 cores=0,2,4,6
/proc/5505/task/5569/stat : 5569 (java) S 5502 5505 1500 0 -1 1077944384 35216 13021 0 0 354 8 5 3 20 0 15 0 233083869 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955229432304 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5570] ppid=5502 vsize=11080032 memory=2432 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5570/stat : 5570 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11345952768 240581 33554432000 4194304 4196468 140730077177952 139954193689440 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5571] ppid=5502 vsize=11080032 memory=962324 CPUtime=1.43 cores=0,2,4,6
/proc/5505/task/5571/stat : 5571 (java) S 5502 5505 1500 0 -1 1077944384 1211 13021 0 0 67 68 5 3 20 0 15 0 233083870 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955228379696 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
Current children cumulated CPU time: 2491.06 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 962324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2471 s]*
/proc/loadavg: 1.47 1.49 1.43 2/199 5697
/proc/meminfo: memFree=16103596/32770624 swapFree=67108852/67108860
[pid=5505] ppid=5502 vsize=11080032 memory=962324 CPUtime=2520.1 cores=0,2,4,6
/proc/5505/stat : 5505 (java) S 5502 5505 1500 0 -1 1077944320 288930 13021 0 0 251694 308 5 3 20 0 15 0 233083854 11345952768 240581 33554432000 4194304 4196468 140730077177952 140730077160496 139956262895351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
/proc/5505/statm: 2770008 240581 3532 1 0 2731661 0
[pid=5505/tid=5558] ppid=5502 vsize=11080032 memory=8112282956445269571 CPUtime=2451.59 cores=0,2,4,6
/proc/5505/task/5558/stat : 5558 (java) R 5502 5505 1500 0 -1 4202560 94173 13021 0 0 245108 43 5 3 20 0 15 0 233083863 11345952768 240581 33554432000 4194304 4196468 140730077177952 139956234730720 139955838124807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5559] ppid=5502 vsize=11080032 memory=4872558044660077418 CPUtime=10.04 cores=0,2,4,6
/proc/5505/task/5559/stat : 5559 (java) S 5502 5505 1500 0 -1 1077944384 11240 13021 0 0 956 40 5 3 20 0 15 0 233083864 11345952768 240581 33554432000 4194304 4196468 140730077177952 139956267138064 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5560] ppid=5502 vsize=11080032 memory=6940425710098071653 CPUtime=10.05 cores=0,2,4,6
/proc/5505/task/5560/stat : 5560 (java) S 5502 5505 1500 0 -1 1077944384 16009 13021 0 0 952 45 5 3 20 0 15 0 233083864 11345952768 240581 33554432000 4194304 4196468 140730077177952 139956148403344 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5561] ppid=5502 vsize=11080032 memory=7522789705703581008 CPUtime=10.05 cores=0,2,4,6
/proc/5505/task/5561/stat : 5561 (java) S 5502 5505 1500 0 -1 1077944384 18575 13021 0 0 953 44 5 3 20 0 15 0 233083864 11345952768 240581 33554432000 4194304 4196468 140730077177952 139956147350288 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5562] ppid=5502 vsize=11080032 memory=4279353494052561728 CPUtime=10.04 cores=0,2,4,6
/proc/5505/task/5562/stat : 5562 (java) S 5502 5505 1500 0 -1 1077944384 19105 13021 0 0 949 47 5 3 20 0 15 0 233083864 11345952768 240581 33554432000 4194304 4196468 140730077177952 139956146297744 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5563] ppid=5502 vsize=11080032 memory=139689316209290 CPUtime=7.14 cores=0,2,4,6
/proc/5505/task/5563/stat : 5563 (java) S 5502 5505 1500 0 -1 1077944384 15725 13021 0 0 665 41 5 3 20 0 15 0 233083866 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955232590064 139956262906498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5564] ppid=5502 vsize=11080032 memory=-7249806322133643294 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5564/stat : 5564 (java) S 5502 5505 1500 0 -1 1077944384 14 13021 0 0 0 0 5 3 20 0 15 0 233083866 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955133211936 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5565] ppid=5502 vsize=11080032 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5565/stat : 5565 (java) S 5502 5505 1500 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 233083866 11345952768 240581 33554432000 4194304 4196468 140730077177952 139954931884800 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5566] ppid=5502 vsize=11080032 memory=1788 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5566/stat : 5566 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11345952768 240581 33554432000 4194304 4196468 140730077177952 139954624485328 139956262913947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5567] ppid=5502 vsize=11080032 memory=1232 CPUtime=8.31 cores=0,2,4,6
/proc/5505/task/5567/stat : 5567 (java) S 5502 5505 1500 0 -1 1077944384 38412 13021 0 0 817 6 5 3 20 0 15 0 233083869 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955231537904 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5568] ppid=5502 vsize=11080032 memory=644 CPUtime=8.35 cores=0,2,4,6
/proc/5505/task/5568/stat : 5568 (java) S 5502 5505 1500 0 -1 1077944384 37033 13021 0 0 821 6 5 3 20 0 15 0 233083869 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955230485360 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5569] ppid=5502 vsize=11080032 memory=952 CPUtime=3.7 cores=0,2,4,6
/proc/5505/task/5569/stat : 5569 (java) S 5502 5505 1500 0 -1 1077944384 35216 13021 0 0 354 8 5 3 20 0 15 0 233083869 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955229432304 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5570] ppid=5502 vsize=11080032 memory=1796 CPUtime=0.08 cores=0,2,4,6
/proc/5505/task/5570/stat : 5570 (java) S 5502 5505 1500 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 233083869 11345952768 240581 33554432000 4194304 4196468 140730077177952 139954193689440 139956262905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
[pid=5505/tid=5571] ppid=5502 vsize=11080032 memory=912 CPUtime=1.44 cores=0,2,4,6
/proc/5505/task/5571/stat : 5571 (java) S 5502 5505 1500 0 -1 1077944384 1224 13021 0 0 68 68 5 3 20 0 15 0 233083870 11345952768 240581 33554432000 4194304 4196468 140730077177952 139955228379696 139956262906498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 28528640 140730077182563 140730077185372 140730077185372 140730077188047 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 962324 KiB

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

[startup+2471.04 s]
# the end of solver process 5505 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.02 s, system=3.12058 s

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

Child status: 143
Real time (s): 2471.04
CPU time (s): 2520.14
CPU user time (s): 2517.02
CPU system time (s): 3.12058
CPU usage (%): 101.987
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 1252692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.02
system time used= 3.12058
maximum resident set size= 1253732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302867
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209411
involuntary context switches= 9281


# summary of solver processes directly reported to runsolver:
#   pid: 5505
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2517.02
#   total CPU system time (s): 3.12058

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6742 second user time and 24.0194 second system time

The end

Name	Bacp/Bacp-m1/ Bacp-m1-12a_c18.xml
MD5SUM	a0da543bfb057198f80e5909cc102093
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	17
Best CPU time to get the best result obtained on this benchmark	2520
Satisfiable
(Un)Satisfiability was proved
Number of variables	882
Number of constraints	155
Number of domains	8
Minimum domain size	2
Maximum domain size	15
Distribution of domain sizes	[{"size":2,"count":792},{"size":9,"count":12},{"size":12,"count":66},{"size":15,"count":12}]
Minimum variable degree	1
Maximum variable degree	19
Distribution of variable degrees	[{"degree":1,"count":12},{"degree":2,"count":804},{"degree":13,"count":11},{"degree":14,"count":20},{"degree":15,"count":15},{"degree":16,"count":9},{"degree":17,"count":6},{"degree":18,"count":1},{"degree":19,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	67
Distribution of constraint arities	[{"arity":2,"count":65},{"arity":13,"count":66},{"arity":67,"count":24}]
Number of extensional constraints	66
Number of intensional constraints	65
Distribution of constraint types	[{"type":"extension","count":66},{"type":"intension","count":65},{"type":"sum","count":12},{"type":"count","count":12}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4304820

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