2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	17	2520.05	2466.33

0.97/0.76	c Concrete v3.9.2.1532736233296 running
10.47/4.54	o 21
10.47/4.59	o 20
10.78/4.62	o 19
10.78/4.65	o 18
10.78/4.69	o 17
2520.01/2466.30	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.01/2466.30		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.01/2466.30		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.01/2466.30		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.01/2466.30		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.01/2466.30		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.01/2466.30		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.01/2466.30		at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2520.01/2466.30		at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.01/2466.30		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.01/2466.30		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2466.30		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.01/2466.30		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.01/2466.30		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2466.30		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.01/2466.30		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.01/2466.30		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2466.30		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.01/2466.30		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.01/2466.30		at scala.Option.map(Option.scala:146)
2520.01/2466.30		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.01/2466.30		at concrete.MAC.mac(MAC.scala:203)
2520.01/2466.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.01/2466.30		at scala.util.Try$.apply(Try.scala:209)
2520.01/2466.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2466.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2466.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2466.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2466.30		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.01/2466.30		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2466.30		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2466.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2466.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2466.30		at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2466.30		at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2466.30		at concrete.MAC.nextSolution(MAC.scala:355)
2520.01/2466.30		at concrete.Solver.hasNext(Solver.scala:166)
2520.01/2466.30		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.01/2466.31		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.01/2466.31		at concrete.Solver.foreach(Solver.scala:68)
2520.01/2466.31		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.01/2466.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2466.31		at scala.util.Success.map(Try.scala:209)
2520.01/2466.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2466.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.01/2466.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.01/2466.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2466.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.01/2466.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2466.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2466.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2466.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2466.31		at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2466.31		at scala.App.main(App.scala:76)
2520.01/2466.31		at scala.App.main$(App.scala:74)
2520.01/2466.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.01/2466.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2466.31	v <instantiation cost="17">
2520.01/2466.31	v       <list>
2520.01/2466.31	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.01/2466.31	v       </list>
2520.01/2466.31	v       <values>
2520.01/2466.31	v         10 11 7 0 11 11 3 10 6 10 10 2 9 3 8 5 9 4 9 5 9 11 3 8 8 2 11 8 6 5 8 5 10 8 3 7 1 6 2 7 2 9 4 4 0 0 6 1 4 2 6 7 1 1 3 3 1 6 2 4 0 7 0 7 0 5 6 5 6 6 5 5 6 6 6 5 5 5 17 17 17 17 17 17 17 17 17 17 17 17 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 1 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 0 0 4 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 5 0 0 0 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 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 4 0 0 0 0 0 1 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 0 0 4 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 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 0 0 0 0 3 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 0 0 0 1 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 0 3 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 0 0 0 3 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 0 3 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 0 3 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 3 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 0 0 0 2 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 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 0 0 0 3 0 0 0 0 0 2 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 4 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 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 2 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 4 0 0 0 0 3 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 0 0
2520.01/2466.31	v       </values>
2520.01/2466.31	v     </instantiation>
2520.01/2466.32	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 (9818 MiB free)
  memory of node 1: 16384 MiB (7246 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304819-1534153984/watcher-4304819-1534153984 -o /tmp/evaluation-result-4304819-1534153984/solver-4304819-1534153984 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534139133-9740 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1999817404 HOME/instance-4304819-1534153984.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=12331, runsolver pid=12328

[startup+0.100089 s]*
/proc/loadavg: 1.00 1.32 1.38 3/206 12388
/proc/meminfo: memFree=17467300/32770624 swapFree=67108796/67108860
[pid=12331] ppid=12328 vsize=10005480 memory=16480 CPUtime=0.09 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 8908 0 -1 1077944320 3750 12878 0 0 0 1 5 3 20 0 6 0 232961589 10245611520 4120 33554432000 4194304 4196468 140723556143888 140723556126432 139812618890999 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
/proc/12331/statm: 2501370 4120 1551 1 0 2489808 0
[pid=12331/tid=12384] ppid=12328 vsize=10005480 memory=5852835220496416925 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12384/stat : 12384 (java) R 12328 12331 8908 0 -1 4202560 1827 12878 0 0 0 0 5 3 20 0 6 0 232961598 10245611520 4384 33554432000 4194304 4196468 140723556143888 139812590727760 139812508413549 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12385] ppid=12328 vsize=10005480 memory=5793855640415410617 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12385/stat : 12385 (java) S 12328 12331 8908 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 6 0 232961599 10245611520 4384 33554432000 4194304 4196468 140723556143888 139812623133456 139812618901205 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12386] ppid=12328 vsize=10005480 memory=140389405517440 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12386/stat : 12386 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 6 0 232961599 10245611520 4384 33554432000 4194304 4196468 140723556143888 139812477852560 139812618901205 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12387] ppid=12328 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12387/stat : 12387 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 6 0 232961599 10245611520 4384 33554432000 4194304 4196468 140723556143888 139812476800016 139812618901205 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12388] ppid=12328 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12388/stat : 12388 (java) S 12328 12331 8908 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 6 0 232961599 10245611520 4384 33554432000 4194304 4196468 140723556143888 139812475747472 139812618901205 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16480 KiB

[startup+0.211339 s]*
/proc/loadavg: 1.00 1.32 1.38 3/215 12397
/proc/meminfo: memFree=17446360/32770624 swapFree=67108796/67108860
[pid=12331] ppid=12328 vsize=10982744 memory=40940 CPUtime=0.23 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 8908 0 -1 1077944320 6415 12878 0 0 14 1 5 3 20 0 15 0 232961589 11246329856 10235 33554432000 4194304 4196468 140723556143888 140723556126432 139812618890999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
/proc/12331/statm: 2745686 10235 2954 1 0 2708109 0
[pid=12331/tid=12384] ppid=12328 vsize=10982744 memory=-8540663193526752614 CPUtime=0.17 cores=1,3,5,7
/proc/12331/task/12384/stat : 12384 (java) R 12328 12331 8908 0 -1 4202560 2986 12878 0 0 9 0 5 3 20 0 15 0 232961598 11246329856 10235 33554432000 4194304 4196468 140723556143888 139812590693960 139812602971486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12385] ppid=12328 vsize=10982744 memory=4211974115610307978 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12385/stat : 12385 (java) S 12328 12331 8908 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246329856 10235 33554432000 4194304 4196468 140723556143888 139812623133456 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12386] ppid=12328 vsize=10982744 memory=140389405517440 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12386/stat : 12386 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246329856 10235 33554432000 4194304 4196468 140723556143888 139812477852560 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12387] ppid=12328 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12387/stat : 12387 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246329856 10235 33554432000 4194304 4196468 140723556143888 139812476800016 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12388] ppid=12328 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12388/stat : 12388 (java) S 12328 12331 8908 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246329856 10235 33554432000 4194304 4196468 140723556143888 139812475747472 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12389] ppid=12328 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12389/stat : 12389 (java) S 12328 12331 8908 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 232961601 11246329856 10235 33554432000 4194304 4196468 140723556143888 139812044482544 139812618902146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12390] ppid=12328 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12390/stat : 12390 (java) S 12328 12331 8908 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 232961601 11246329856 10235 33554432000 4194304 4196468 140723556143888 139811453133728 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12391] ppid=12328 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12391/stat : 12391 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961601 11246329856 10235 33554432000 4194304 4196468 140723556143888 139811251807216 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12392] ppid=12328 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12392/stat : 12392 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11246329856 10235 33554432000 4194304 4196468 140723556143888 139810944407760 139812618909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12393] ppid=12328 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12393/stat : 12393 (java) S 12328 12331 8908 0 -1 1077944384 424 12878 0 0 0 0 5 3 20 0 15 0 232961604 11246329856 10235 33554432000 4194304 4196468 140723556143888 139812043430384 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12394] ppid=12328 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12394/stat : 12394 (java) S 12328 12331 8908 0 -1 1077944384 188 12878 0 0 0 0 5 3 20 0 15 0 232961604 11246329856 10235 33554432000 4194304 4196468 140723556143888 139812042377840 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12395] ppid=12328 vsize=10982744 memory=140389405517440 CPUtime=0.1 cores=1,3,5,7
/proc/12331/task/12395/stat : 12395 (java) R 12328 12331 8908 0 -1 4202560 607 12878 0 0 2 0 5 3 20 0 15 0 232961604 11246329856 10235 33554432000 4194304 4196468 140723556143888 139812041325296 139812597876224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12396] ppid=12328 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12396/stat : 12396 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11246329856 10235 33554432000 4194304 4196468 140723556143888 139810513611872 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12397] ppid=12328 vsize=10982744 memory=140389405517440 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12397/stat : 12397 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961606 11246329856 10235 33554432000 4194304 4196468 140723556143888 139812040272176 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 40940 KiB

[startup+0.310598 s]*
/proc/loadavg: 1.00 1.32 1.38 4/215 12397
/proc/meminfo: memFree=17432716/32770624 swapFree=67108796/67108860
[pid=12331] ppid=12328 vsize=10983192 memory=52384 CPUtime=0.36 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 8908 0 -1 1077944320 9609 12878 0 0 25 3 5 3 20 0 15 0 232961589 11246788608 13096 33554432000 4194304 4196468 140723556143888 140723556126432 139812618890999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
/proc/12331/statm: 2745798 13096 3073 1 0 2708109 0
[pid=12331/tid=12384] ppid=12328 vsize=10983192 memory=6791534058613427641 CPUtime=0.26 cores=1,3,5,7
/proc/12331/task/12384/stat : 12384 (java) R 12328 12331 8908 0 -1 4202560 6193 12878 0 0 17 1 5 3 20 0 15 0 232961598 11246788608 13105 33554432000 4194304 4196468 140723556143888 139812590703008 139812611608103 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12385] ppid=12328 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12385/stat : 12385 (java) S 12328 12331 8908 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246788608 13105 33554432000 4194304 4196468 140723556143888 139812623133456 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12386] ppid=12328 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12386/stat : 12386 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246788608 13105 33554432000 4194304 4196468 140723556143888 139812477852560 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12387] ppid=12328 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12387/stat : 12387 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246788608 13105 33554432000 4194304 4196468 140723556143888 139812476800016 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12388] ppid=12328 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12388/stat : 12388 (java) S 12328 12331 8908 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246788608 13105 33554432000 4194304 4196468 140723556143888 139812475747472 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12389] ppid=12328 vsize=10983192 memory=140389405517439 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12389/stat : 12389 (java) S 12328 12331 8908 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 232961601 11246788608 13105 33554432000 4194304 4196468 140723556143888 139812044482544 139812618902146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12390] ppid=12328 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12390/stat : 12390 (java) S 12328 12331 8908 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 232961601 11246788608 13105 33554432000 4194304 4196468 140723556143888 139811453133728 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12391] ppid=12328 vsize=10983192 memory=140389405517440 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12391/stat : 12391 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961601 11246788608 13105 33554432000 4194304 4196468 140723556143888 139811251807216 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12392] ppid=12328 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12392/stat : 12392 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11246788608 13105 33554432000 4194304 4196468 140723556143888 139810944407760 139812618909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12393] ppid=12328 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12331/task/12393/stat : 12393 (java) S 12328 12331 8908 0 -1 1077944384 424 12878 0 0 1 0 5 3 20 0 15 0 232961604 11246788608 13105 33554432000 4194304 4196468 140723556143888 139812043430384 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12394] ppid=12328 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12331/task/12394/stat : 12394 (java) S 12328 12331 8908 0 -1 1077944384 189 12878 0 0 1 0 5 3 20 0 15 0 232961604 11246788608 13105 33554432000 4194304 4196468 140723556143888 139812042377840 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12395] ppid=12328 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12331/task/12395/stat : 12395 (java) S 12328 12331 8908 0 -1 1077944384 618 12878 0 0 4 0 5 3 20 0 15 0 232961604 11246788608 13105 33554432000 4194304 4196468 140723556143888 139812041325296 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12396] ppid=12328 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12396/stat : 12396 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11246788608 13105 33554432000 4194304 4196468 140723556143888 139810513611872 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12397] ppid=12328 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12397/stat : 12397 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961606 11246788608 13105 33554432000 4194304 4196468 140723556143888 139812040272176 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52384 KiB

[startup+0.700762 s]
/proc/loadavg: 1.00 1.32 1.38 3/215 12397
/proc/meminfo: memFree=17420248/32770624 swapFree=67108796/67108860
[pid=12331] ppid=12328 vsize=10983192 memory=88684 CPUtime=0.97 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 8908 0 -1 1077944320 16275 12878 0 0 84 5 5 3 20 0 15 0 232961589 11246788608 22171 33554432000 4194304 4196468 140723556143888 140723556126432 139812618890999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
/proc/12331/statm: 2745798 22171 3237 1 0 2708109 0
[pid=12331/tid=12384] ppid=12328 vsize=10983192 memory=63212 CPUtime=0.64 cores=1,3,5,7
/proc/12331/task/12384/stat : 12384 (java) R 12328 12331 8908 0 -1 4202560 11714 12878 0 0 53 3 5 3 20 0 15 0 232961598 11246788608 22171 33554432000 4194304 4196468 140723556143888 139812590718880 139812600454543 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12385] ppid=12328 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12385/stat : 12385 (java) S 12328 12331 8908 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246788608 22171 33554432000 4194304 4196468 140723556143888 139812623133456 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12386] ppid=12328 vsize=10983192 memory=288230587427463918 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12386/stat : 12386 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246788608 22171 33554432000 4194304 4196468 140723556143888 139812477852560 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12387] ppid=12328 vsize=10983192 memory=16101459552896686 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12387/stat : 12387 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246788608 22171 33554432000 4194304 4196468 140723556143888 139812476800016 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12388] ppid=12328 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12388/stat : 12388 (java) S 12328 12331 8908 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 232961599 11246788608 22171 33554432000 4194304 4196468 140723556143888 139812475747472 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12389] ppid=12328 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12389/stat : 12389 (java) S 12328 12331 8908 0 -1 1077944384 6 12878 0 0 0 0 5 3 20 0 15 0 232961601 11246788608 22171 33554432000 4194304 4196468 140723556143888 139812044482544 139812618902146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12390] ppid=12328 vsize=10983192 memory=140389260763744 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12390/stat : 12390 (java) S 12328 12331 8908 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 232961601 11246788608 22171 33554432000 4194304 4196468 140723556143888 139811453133728 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12391] ppid=12328 vsize=10983192 memory=140389596005424 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12391/stat : 12391 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961601 11246788608 22171 33554432000 4194304 4196468 140723556143888 139811251807216 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12392] ppid=12328 vsize=10983192 memory=3884 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12392/stat : 12392 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11246788608 22171 33554432000 4194304 4196468 140723556143888 139810944407760 139812618909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12393] ppid=12328 vsize=10983192 memory=7448488012996504144 CPUtime=0.17 cores=1,3,5,7
/proc/12331/task/12393/stat : 12393 (java) S 12328 12331 8908 0 -1 1077944384 1104 12878 0 0 9 0 5 3 20 0 15 0 232961604 11246788608 22171 33554432000 4194304 4196468 140723556143888 139812043430384 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12394] ppid=12328 vsize=10983192 memory=7380106142448642416 CPUtime=0.15 cores=1,3,5,7
/proc/12331/task/12394/stat : 12394 (java) S 12328 12331 8908 0 -1 1077944384 561 12878 0 0 7 0 5 3 20 0 15 0 232961604 11246788608 22171 33554432000 4194304 4196468 140723556143888 139812042377840 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12395] ppid=12328 vsize=10983192 memory=6935655852964663376 CPUtime=0.21 cores=1,3,5,7
/proc/12331/task/12395/stat : 12395 (java) S 12328 12331 8908 0 -1 1077944384 675 12878 0 0 13 0 5 3 20 0 15 0 232961604 11246788608 22171 33554432000 4194304 4196468 140723556143888 139812041325296 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12396] ppid=12328 vsize=10983192 memory=5450909908396308010 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12396/stat : 12396 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11246788608 22171 33554432000 4194304 4196468 140723556143888 139810513611872 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12397] ppid=12328 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12397/stat : 12397 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961606 11246788608 22171 33554432000 4194304 4196468 140723556143888 139812040272176 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88684 KiB

[startup+1.50073 s]
/proc/loadavg: 1.00 1.32 1.38 5/215 12397
/proc/meminfo: memFree=17370256/32770624 swapFree=67108796/67108860
[pid=12331] ppid=12328 vsize=10998092 memory=188216 CPUtime=2.91 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 8908 0 -1 1077944320 27734 12878 0 0 272 11 5 3 20 0 15 0 232961589 11262046208 47054 33554432000 4194304 4196468 140723556143888 140723556126432 139812618890999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
/proc/12331/statm: 2749523 47054 3467 1 0 2711181 0
[pid=12331/tid=12384] ppid=12328 vsize=10998092 memory=5794554205747106147 CPUtime=1.39 cores=1,3,5,7
/proc/12331/task/12384/stat : 12384 (java) R 12328 12331 8908 0 -1 4202560 17211 12878 0 0 124 7 5 3 20 0 15 0 232961598 11262046208 47054 33554432000 4194304 4196468 140723556143888 139812590708496 139812602971486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12385] ppid=12328 vsize=10998092 memory=7956294202783458913 CPUtime=0.09 cores=1,3,5,7
/proc/12331/task/12385/stat : 12385 (java) S 12328 12331 8908 0 -1 1077944384 55 12878 0 0 1 0 5 3 20 0 15 0 232961599 11262046208 47054 33554432000 4194304 4196468 140723556143888 139812623133456 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12386] ppid=12328 vsize=10998092 memory=7739532048396085870 CPUtime=0.09 cores=1,3,5,7
/proc/12331/task/12386/stat : 12386 (java) S 12328 12331 8908 0 -1 1077944384 184 12878 0 0 1 0 5 3 20 0 15 0 232961599 11262046208 47054 33554432000 4194304 4196468 140723556143888 139812477852560 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12387] ppid=12328 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12331/task/12387/stat : 12387 (java) S 12328 12331 8908 0 -1 1077944384 18 12878 0 0 1 0 5 3 20 0 15 0 232961599 11262046208 47054 33554432000 4194304 4196468 140723556143888 139812476800016 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12388] ppid=12328 vsize=10998092 memory=193599610349188 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12388/stat : 12388 (java) S 12328 12331 8908 0 -1 1077944384 45 12878 0 0 0 0 5 3 20 0 15 0 232961599 11262046208 47054 33554432000 4194304 4196468 140723556143888 139812475747472 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12389] ppid=12328 vsize=10998092 memory=1323249 CPUtime=0.09 cores=1,3,5,7
/proc/12331/task/12389/stat : 12389 (java) S 12328 12331 8908 0 -1 1077944384 198 12878 0 0 1 0 5 3 20 0 15 0 232961601 11262046208 47054 33554432000 4194304 4196468 140723556143888 139812044482544 139812618902146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12390] ppid=12328 vsize=10998092 memory=4638778428397932880 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12390/stat : 12390 (java) S 12328 12331 8908 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 232961601 11262046208 47054 33554432000 4194304 4196468 140723556143888 139811453133792 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12391] ppid=12328 vsize=10998092 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12391/stat : 12391 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961601 11262046208 47054 33554432000 4194304 4196468 140723556143888 139811251807216 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12392] ppid=12328 vsize=10998092 memory=280778520920304 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12392/stat : 12392 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11262046208 47054 33554432000 4194304 4196468 140723556143888 139810944407760 139812618909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12393] ppid=12328 vsize=10998092 memory=6935650355271196736 CPUtime=0.64 cores=1,3,5,7
/proc/12331/task/12393/stat : 12393 (java) S 12328 12331 8908 0 -1 1077944384 3265 12878 0 0 55 1 5 3 20 0 15 0 232961604 11262046208 47054 33554432000 4194304 4196468 140723556143888 139812043430384 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12394] ppid=12328 vsize=10998092 memory=-6295573270462489695 CPUtime=0.56 cores=1,3,5,7
/proc/12331/task/12394/stat : 12394 (java) S 12328 12331 8908 0 -1 1077944384 2970 12878 0 0 48 0 5 3 20 0 15 0 232961604 11262046208 47054 33554432000 4194304 4196468 140723556143888 139812042377840 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12395] ppid=12328 vsize=10998092 memory=6944656575208382560 CPUtime=0.44 cores=1,3,5,7
/proc/12331/task/12395/stat : 12395 (java) S 12328 12331 8908 0 -1 1077944384 1579 12878 0 0 36 0 5 3 20 0 15 0 232961604 11262046208 47054 33554432000 4194304 4196468 140723556143888 139812041325296 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12396] ppid=12328 vsize=10998092 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12396/stat : 12396 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11262046208 47054 33554432000 4194304 4196468 140723556143888 139810513611872 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12397] ppid=12328 vsize=10998092 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12397/stat : 12397 (java) S 12328 12331 8908 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 232961606 11262046208 47054 33554432000 4194304 4196468 140723556143888 139812040272176 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10998092 KiB

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

/proc/12331/task/12384/stat : 12384 (java) R 12328 12331 8908 0 -1 4202560 88660 12878 0 0 235473 53 5 3 20 0 15 0 232961598 11345952768 255032 33554432000 4194304 4196468 140723556143888 139812590725552 139812157766079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12385] ppid=12328 vsize=11080032 memory=1020128 CPUtime=12.03 cores=1,3,5,7
/proc/12331/task/12385/stat : 12385 (java) S 12328 12331 8908 0 -1 1077944384 13642 12878 0 0 1135 60 5 3 20 0 15 0 232961599 11345952768 255032 33554432000 4194304 4196468 140723556143888 139812623133456 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12386] ppid=12328 vsize=11080032 memory=1020056 CPUtime=12.08 cores=1,3,5,7
/proc/12331/task/12386/stat : 12386 (java) S 12328 12331 8908 0 -1 1077944384 20519 12878 0 0 1138 62 5 3 20 0 15 0 232961599 11345952768 255032 33554432000 4194304 4196468 140723556143888 139812477852560 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12387] ppid=12328 vsize=11080032 memory=56 CPUtime=12.1 cores=1,3,5,7
/proc/12331/task/12387/stat : 12387 (java) S 12328 12331 8908 0 -1 1077944384 11399 12878 0 0 1144 58 5 3 20 0 15 0 232961599 11345952768 255032 33554432000 4194304 4196468 140723556143888 139812476800016 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12388] ppid=12328 vsize=11080032 memory=56 CPUtime=12.07 cores=1,3,5,7
/proc/12331/task/12388/stat : 12388 (java) S 12328 12331 8908 0 -1 1077944384 13989 12878 0 0 1143 56 5 3 20 0 15 0 232961599 11345952768 255032 33554432000 4194304 4196468 140723556143888 139812475747472 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12389] ppid=12328 vsize=11080032 memory=1020128 CPUtime=11.16 cores=1,3,5,7
/proc/12331/task/12389/stat : 12389 (java) S 12328 12331 8908 0 -1 1077944384 14448 12878 0 0 1050 58 5 3 20 0 15 0 232961601 11345952768 255032 33554432000 4194304 4196468 140723556143888 139812044482544 139812618902146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12390] ppid=12328 vsize=11080032 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12390/stat : 12390 (java) S 12328 12331 8908 0 -1 1077944384 14 12878 0 0 0 0 5 3 20 0 15 0 232961601 11345952768 255032 33554432000 4194304 4196468 140723556143888 139811453133856 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12391] ppid=12328 vsize=11080032 memory=1020128 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12391/stat : 12391 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961601 11345952768 255032 33554432000 4194304 4196468 140723556143888 139811251807232 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12392] ppid=12328 vsize=11080032 memory=1020128 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12392/stat : 12392 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11345952768 255032 33554432000 4194304 4196468 140723556143888 139810944407760 139812618909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12393] ppid=12328 vsize=11080032 memory=1020128 CPUtime=8.07 cores=1,3,5,7
/proc/12331/task/12393/stat : 12393 (java) S 12328 12331 8908 0 -1 1077944384 27635 12878 0 0 793 6 5 3 20 0 15 0 232961604 11345952768 255032 33554432000 4194304 4196468 140723556143888 139812043430384 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12394] ppid=12328 vsize=11080032 memory=3632 CPUtime=7.55 cores=1,3,5,7
/proc/12331/task/12394/stat : 12394 (java) S 12328 12331 8908 0 -1 1077944384 26009 12878 0 0 741 6 5 3 20 0 15 0 232961604 11345952768 255032 33554432000 4194304 4196468 140723556143888 139812042377840 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12395] ppid=12328 vsize=11080032 memory=1020128 CPUtime=3.42 cores=1,3,5,7
/proc/12331/task/12395/stat : 12395 (java) S 12328 12331 8908 0 -1 1077944384 22630 12878 0 0 329 5 5 3 20 0 15 0 232961604 11345952768 255032 33554432000 4194304 4196468 140723556143888 139812041325296 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12396] ppid=12328 vsize=11080032 memory=3632 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12396/stat : 12396 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11345952768 255032 33554432000 4194304 4196468 140723556143888 139810513611872 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12397] ppid=12328 vsize=11080032 memory=63264 CPUtime=1.53 cores=1,3,5,7
/proc/12331/task/12397/stat : 12397 (java) S 12328 12331 8908 0 -1 1077944384 737 12878 0 0 58 87 5 3 20 0 15 0 232961606 11345952768 255032 33554432000 4194304 4196468 140723556143888 139812040272176 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
Current children cumulated CPU time: 2434.74 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1020128 KiB

[startup+2442.3 s]
/proc/loadavg: 0.70 0.71 0.93 2/195 12547
/proc/meminfo: memFree=17477364/32770624 swapFree=67108796/67108860
[pid=12331] ppid=12328 vsize=11080032 memory=1022188 CPUtime=2495.64 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 8908 0 -1 1077944320 243225 12878 0 0 249171 385 5 3 20 0 15 0 232961589 11345952768 255547 33554432000 4194304 4196468 140723556143888 140723556126432 139812618890999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
/proc/12331/statm: 2770008 255547 3529 1 0 2731661 0
[pid=12331/tid=12384] ppid=12328 vsize=11080032 memory=1022188 CPUtime=2414.63 cores=1,3,5,7
/proc/12331/task/12384/stat : 12384 (java) R 12328 12331 8908 0 -1 4202560 89303 12878 0 0 241401 54 5 3 20 0 15 0 232961598 11345952768 255547 33554432000 4194304 4196468 140723556143888 139812590725616 139812157029275 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12385] ppid=12328 vsize=11080032 memory=6791534058613427641 CPUtime=12.36 cores=1,3,5,7
/proc/12331/task/12385/stat : 12385 (java) S 12328 12331 8908 0 -1 1077944384 13685 12878 0 0 1166 62 5 3 20 0 15 0 232961599 11345952768 255547 33554432000 4194304 4196468 140723556143888 139812623133456 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12386] ppid=12328 vsize=11080032 memory=56 CPUtime=12.4 cores=1,3,5,7
/proc/12331/task/12386/stat : 12386 (java) S 12328 12331 8908 0 -1 1077944384 20539 12878 0 0 1169 63 5 3 20 0 15 0 232961599 11345952768 255547 33554432000 4194304 4196468 140723556143888 139812477852560 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12387] ppid=12328 vsize=11080032 memory=1020140 CPUtime=12.43 cores=1,3,5,7
/proc/12331/task/12387/stat : 12387 (java) S 12328 12331 8908 0 -1 1077944384 11808 12878 0 0 1175 60 5 3 20 0 15 0 232961599 11345952768 255547 33554432000 4194304 4196468 140723556143888 139812476800016 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12388] ppid=12328 vsize=11080032 memory=1020140 CPUtime=12.39 cores=1,3,5,7
/proc/12331/task/12388/stat : 12388 (java) S 12328 12331 8908 0 -1 1077944384 14017 12878 0 0 1173 58 5 3 20 0 15 0 232961599 11345952768 255547 33554432000 4194304 4196468 140723556143888 139812475747472 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12389] ppid=12328 vsize=11080032 memory=1020140 CPUtime=11.44 cores=1,3,5,7
/proc/12331/task/12389/stat : 12389 (java) S 12328 12331 8908 0 -1 1077944384 14639 12878 0 0 1076 60 5 3 20 0 15 0 232961601 11345952768 255547 33554432000 4194304 4196468 140723556143888 139812044482544 139812618902146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12390] ppid=12328 vsize=11080032 memory=1020140 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12390/stat : 12390 (java) S 12328 12331 8908 0 -1 1077944384 14 12878 0 0 0 0 5 3 20 0 15 0 232961601 11345952768 255547 33554432000 4194304 4196468 140723556143888 139811453133856 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12391] ppid=12328 vsize=11080032 memory=1022188 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12391/stat : 12391 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961601 11345952768 255547 33554432000 4194304 4196468 140723556143888 139811251807232 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12392] ppid=12328 vsize=11080032 memory=1022188 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12392/stat : 12392 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11345952768 255547 33554432000 4194304 4196468 140723556143888 139810944407760 139812618909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12393] ppid=12328 vsize=11080032 memory=1020140 CPUtime=8.07 cores=1,3,5,7
/proc/12331/task/12393/stat : 12393 (java) S 12328 12331 8908 0 -1 1077944384 27635 12878 0 0 793 6 5 3 20 0 15 0 232961604 11345952768 255547 33554432000 4194304 4196468 140723556143888 139812043430384 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12394] ppid=12328 vsize=11080032 memory=1020140 CPUtime=7.55 cores=1,3,5,7
/proc/12331/task/12394/stat : 12394 (java) S 12328 12331 8908 0 -1 1077944384 26009 12878 0 0 741 6 5 3 20 0 15 0 232961604 11345952768 255547 33554432000 4194304 4196468 140723556143888 139812042377840 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12395] ppid=12328 vsize=11080032 memory=1022188 CPUtime=3.42 cores=1,3,5,7
/proc/12331/task/12395/stat : 12395 (java) S 12328 12331 8908 0 -1 1077944384 22630 12878 0 0 329 5 5 3 20 0 15 0 232961604 11345952768 255547 33554432000 4194304 4196468 140723556143888 139812041325296 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12396] ppid=12328 vsize=11080032 memory=3632 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12396/stat : 12396 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11345952768 255547 33554432000 4194304 4196468 140723556143888 139810513611872 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12397] ppid=12328 vsize=11080032 memory=1776 CPUtime=1.57 cores=1,3,5,7
/proc/12331/task/12397/stat : 12397 (java) S 12328 12331 8908 0 -1 1077944384 751 12878 0 0 60 89 5 3 20 0 15 0 232961606 11345952768 255547 33554432000 4194304 4196468 140723556143888 139812040272176 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
Current children cumulated CPU time: 2495.64 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1022188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2466.3 s]
/proc/loadavg: 0.65 0.70 0.92 2/195 12548
/proc/meminfo: memFree=17477000/32770624 swapFree=67108796/67108860
[pid=12331] ppid=12328 vsize=11080032 memory=1022196 CPUtime=2520.01 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 8908 0 -1 1077944320 243892 12878 0 0 251605 388 5 3 20 0 15 0 232961589 11345952768 255549 33554432000 4194304 4196468 140723556143888 140723556126432 139812618890999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
/proc/12331/statm: 2770008 255549 3529 1 0 2731661 0
[pid=12331/tid=12384] ppid=12328 vsize=11080032 memory=1022196 CPUtime=2438.33 cores=1,3,5,7
/proc/12331/task/12384/stat : 12384 (java) R 12328 12331 8908 0 -1 4202560 89630 12878 0 0 243770 55 5 3 20 0 15 0 232961598 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812590726144 139812157760438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12385] ppid=12328 vsize=11080032 memory=1022188 CPUtime=12.49 cores=1,3,5,7
/proc/12331/task/12385/stat : 12385 (java) S 12328 12331 8908 0 -1 1077944384 13701 12878 0 0 1179 62 5 3 20 0 15 0 232961599 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812623133456 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12386] ppid=12328 vsize=11080032 memory=1022196 CPUtime=12.54 cores=1,3,5,7
/proc/12331/task/12386/stat : 12386 (java) S 12328 12331 8908 0 -1 1077944384 20551 12878 0 0 1182 64 5 3 20 0 15 0 232961599 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812477852560 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12387] ppid=12328 vsize=11080032 memory=1022196 CPUtime=12.56 cores=1,3,5,7
/proc/12331/task/12387/stat : 12387 (java) S 12328 12331 8908 0 -1 1077944384 11814 12878 0 0 1188 60 5 3 20 0 15 0 232961599 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812476800016 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12388] ppid=12328 vsize=11080032 memory=1022196 CPUtime=12.52 cores=1,3,5,7
/proc/12331/task/12388/stat : 12388 (java) S 12328 12331 8908 0 -1 1077944384 14115 12878 0 0 1186 58 5 3 20 0 15 0 232961599 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812475747472 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12389] ppid=12328 vsize=11080032 memory=1022196 CPUtime=11.56 cores=1,3,5,7
/proc/12331/task/12389/stat : 12389 (java) S 12328 12331 8908 0 -1 1077944384 14826 12878 0 0 1088 60 5 3 20 0 15 0 232961601 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812044482544 139812618902146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12390] ppid=12328 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12390/stat : 12390 (java) S 12328 12331 8908 0 -1 1077944384 14 12878 0 0 0 0 5 3 20 0 15 0 232961601 11345952768 255549 33554432000 4194304 4196468 140723556143888 139811453133856 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12391] ppid=12328 vsize=11080032 memory=1022196 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12391/stat : 12391 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961601 11345952768 255549 33554432000 4194304 4196468 140723556143888 139811251807232 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12392] ppid=12328 vsize=11080032 memory=1022196 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12392/stat : 12392 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11345952768 255549 33554432000 4194304 4196468 140723556143888 139810944407760 139812618909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12393] ppid=12328 vsize=11080032 memory=164 CPUtime=8.07 cores=1,3,5,7
/proc/12331/task/12393/stat : 12393 (java) S 12328 12331 8908 0 -1 1077944384 27637 12878 0 0 793 6 5 3 20 0 15 0 232961604 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812043430384 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12394] ppid=12328 vsize=11080032 memory=1022196 CPUtime=7.55 cores=1,3,5,7
/proc/12331/task/12394/stat : 12394 (java) S 12328 12331 8908 0 -1 1077944384 26011 12878 0 0 741 6 5 3 20 0 15 0 232961604 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812042377840 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12395] ppid=12328 vsize=11080032 memory=1022196 CPUtime=3.42 cores=1,3,5,7
/proc/12331/task/12395/stat : 12395 (java) S 12328 12331 8908 0 -1 1077944384 22632 12878 0 0 329 5 5 3 20 0 15 0 232961604 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812041325296 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12396] ppid=12328 vsize=11080032 memory=1022196 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12396/stat : 12396 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11345952768 255549 33554432000 4194304 4196468 140723556143888 139810513611872 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12397] ppid=12328 vsize=11080032 memory=1592 CPUtime=1.59 cores=1,3,5,7
/proc/12331/task/12397/stat : 12397 (java) S 12328 12331 8908 0 -1 1077944384 766 12878 0 0 60 91 5 3 20 0 15 0 232961606 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812040272176 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1022196 KiB

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

[startup+2466.33 s]
# the end of solver process 12331 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.12 s, system=3.92955 s

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

[startup+2466.3 s]
/proc/loadavg: 0.65 0.70 0.92 2/195 12548
/proc/meminfo: memFree=17477000/32770624 swapFree=67108796/67108860
[pid=12331] ppid=12328 vsize=11080032 memory=1022196 CPUtime=2520.01 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 8908 0 -1 1077944320 243892 12878 0 0 251605 388 5 3 20 0 15 0 232961589 11345952768 255549 33554432000 4194304 4196468 140723556143888 140723556126432 139812618890999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
/proc/12331/statm: 2770008 255549 3529 1 0 2731661 0
[pid=12331/tid=12384] ppid=12328 vsize=11080032 memory=1022196 CPUtime=2438.33 cores=1,3,5,7
/proc/12331/task/12384/stat : 12384 (java) R 12328 12331 8908 0 -1 4202560 89630 12878 0 0 243770 55 5 3 20 0 15 0 232961598 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812590726144 139812157760438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12385] ppid=12328 vsize=11080032 memory=1022188 CPUtime=12.49 cores=1,3,5,7
/proc/12331/task/12385/stat : 12385 (java) S 12328 12331 8908 0 -1 1077944384 13701 12878 0 0 1179 62 5 3 20 0 15 0 232961599 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812623133456 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12386] ppid=12328 vsize=11080032 memory=1022196 CPUtime=12.54 cores=1,3,5,7
/proc/12331/task/12386/stat : 12386 (java) S 12328 12331 8908 0 -1 1077944384 20551 12878 0 0 1182 64 5 3 20 0 15 0 232961599 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812477852560 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12387] ppid=12328 vsize=11080032 memory=1022196 CPUtime=12.56 cores=1,3,5,7
/proc/12331/task/12387/stat : 12387 (java) S 12328 12331 8908 0 -1 1077944384 11814 12878 0 0 1188 60 5 3 20 0 15 0 232961599 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812476800016 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12388] ppid=12328 vsize=11080032 memory=1022196 CPUtime=12.52 cores=1,3,5,7
/proc/12331/task/12388/stat : 12388 (java) S 12328 12331 8908 0 -1 1077944384 14115 12878 0 0 1186 58 5 3 20 0 15 0 232961599 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812475747472 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12389] ppid=12328 vsize=11080032 memory=1022196 CPUtime=11.56 cores=1,3,5,7
/proc/12331/task/12389/stat : 12389 (java) S 12328 12331 8908 0 -1 1077944384 14826 12878 0 0 1088 60 5 3 20 0 15 0 232961601 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812044482544 139812618902146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12390] ppid=12328 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12390/stat : 12390 (java) S 12328 12331 8908 0 -1 1077944384 14 12878 0 0 0 0 5 3 20 0 15 0 232961601 11345952768 255549 33554432000 4194304 4196468 140723556143888 139811453133856 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12391] ppid=12328 vsize=11080032 memory=1022196 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12391/stat : 12391 (java) S 12328 12331 8908 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 232961601 11345952768 255549 33554432000 4194304 4196468 140723556143888 139811251807232 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12392] ppid=12328 vsize=11080032 memory=1022196 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12392/stat : 12392 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11345952768 255549 33554432000 4194304 4196468 140723556143888 139810944407760 139812618909595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12393] ppid=12328 vsize=11080032 memory=164 CPUtime=8.07 cores=1,3,5,7
/proc/12331/task/12393/stat : 12393 (java) S 12328 12331 8908 0 -1 1077944384 27637 12878 0 0 793 6 5 3 20 0 15 0 232961604 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812043430384 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12394] ppid=12328 vsize=11080032 memory=1022196 CPUtime=7.55 cores=1,3,5,7
/proc/12331/task/12394/stat : 12394 (java) S 12328 12331 8908 0 -1 1077944384 26011 12878 0 0 741 6 5 3 20 0 15 0 232961604 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812042377840 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12395] ppid=12328 vsize=11080032 memory=1022196 CPUtime=3.42 cores=1,3,5,7
/proc/12331/task/12395/stat : 12395 (java) S 12328 12331 8908 0 -1 1077944384 22632 12878 0 0 329 5 5 3 20 0 15 0 232961604 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812041325296 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12396] ppid=12328 vsize=11080032 memory=1022196 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12396/stat : 12396 (java) S 12328 12331 8908 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 232961604 11345952768 255549 33554432000 4194304 4196468 140723556143888 139810513611872 139812618901205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
[pid=12331/tid=12397] ppid=12328 vsize=11080032 memory=1592 CPUtime=1.59 cores=1,3,5,7
/proc/12331/task/12397/stat : 12397 (java) S 12328 12331 8908 0 -1 1077944384 766 12878 0 0 60 91 5 3 20 0 15 0 232961606 11345952768 255549 33554432000 4194304 4196468 140723556143888 139812040272176 139812618902146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7516160 140723556149868 140723556152668 140723556152668 140723556155343 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1022196 KiB

Child status: 143
Real time (s): 2466.33
CPU time (s): 2520.05
CPU user time (s): 2516.12
CPU system time (s): 3.92955
CPU usage (%): 102.178
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 1022196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.12
system time used= 3.92955
maximum resident set size= 1024668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305673
involuntary context switches= 7280


# summary of solver processes directly reported to runsolver:
#   pid: 12331
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2516.12
#   total CPU system time (s): 3.92955

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4121 second user time and 22.091 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 4304819

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