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.12	2471.14

0.98/0.76	c Concrete v3.9.2.1532736233296 running
10.51/4.57	o 20
10.84/4.61	o 19
10.84/4.64	o 18
10.84/4.69	o 17
2520.07/2471.11	Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2471.11		at concrete.MAC.mac(MAC.scala:188)
2520.07/2471.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2471.11		at scala.util.Try$.apply(Try.scala:209)
2520.07/2471.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2471.11		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2471.11		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2471.11		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2471.11		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2471.11		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2471.11		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2471.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2471.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2471.11		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2471.11		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2471.11		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2471.11		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2471.11		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2471.11		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2471.11		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2471.11		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2471.11		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2471.11		at scala.util.Success.map(Try.scala:209)
2520.07/2471.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2471.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2471.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2471.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2471.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2471.11		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2471.11		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2471.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2471.11		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2471.11		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2471.11		at scala.App.main(App.scala:76)
2520.07/2471.11		at scala.App.main$(App.scala:74)
2520.07/2471.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2471.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2471.12	v <instantiation cost="17">
2520.07/2471.12	v       <list>
2520.07/2471.12	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.07/2471.12	v       </list>
2520.07/2471.12	v       <values>
2520.07/2471.12	v         9 11 8 11 10 11 1 10 11 9 9 0 8 3 6 9 8 8 8 10 3 6 4 0 10 3 11 7 6 10 6 9 5 7 4 6 1 3 3 6 7 11 4 1 2 0 7 1 7 3 2 5 5 2 2 1 2 4 1 4 0 5 0 5 0 5 6 6 5 6 5 6 6 5 5 5 5 6 17 17 17 17 17 17 17 17 17 17 17 17 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 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 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 4 0 0 0 0 0 0 0 0 0 0 0 4 0 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 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 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 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 4 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 0 0 0 0 1 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 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 0 3 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 3 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 3 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 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 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 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 4 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 4 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 3 0 0 0 0 0 0 0 0 0 0 0 2 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 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 3 0 0 0 0 0 0 0 0 2 0 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 4 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 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.07/2471.12	v       </values>
2520.07/2471.12	v     </instantiation>
2520.07/2471.12	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 (10309 MiB free)
  memory of node 1: 16384 MiB (5765 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304806-1534154336/watcher-4304806-1534154336 -o /tmp/evaluation-result-4304806-1534154336/solver-4304806-1534154336 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534136980-8317 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=380493365 -superng HOME/instance-4304806-1534154336.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=11632, runsolver pid=11629

[startup+0.10006 s]*
/proc/loadavg: 1.99 1.59 1.53 4/201 11684
/proc/meminfo: memFree=16443568/32770624 swapFree=67108844/67108860
[pid=11632] ppid=11629 vsize=425712 memory=5612 CPUtime=0.08 cores=0,2,4,6
/proc/11632/stat : 11632 (java) S 11629 11632 7925 0 -1 1077944320 2595 13052 0 0 0 0 5 3 20 0 2 0 232996797 435929088 1403 33554432000 4194304 4196468 140727506035696 140727506018240 140477205868279 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
/proc/11632/statm: 106428 1403 1064 1 0 95339 0
[pid=11632/tid=11685] ppid=11629 vsize=425712 memory=3054156605301687180 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11685/stat : 11685 (java) S 11629 11632 7925 0 -1 1077944384 405 13052 0 0 0 0 5 3 20 0 2 0 232996807 435929088 1403 33554432000 4194304 4196468 140727506035696 140477177711008 140477205879426 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 425712 KiB
Current children cumulated memory: 5612 KiB

[startup+0.220158 s]*
/proc/loadavg: 1.99 1.59 1.53 3/215 11698
/proc/meminfo: memFree=16408160/32770624 swapFree=67108844/67108860
[pid=11632] ppid=11629 vsize=10982696 memory=43876 CPUtime=0.26 cores=0,2,4,6
/proc/11632/stat : 11632 (java) S 11629 11632 7925 0 -1 1077944320 8302 13052 0 0 16 2 5 3 20 0 15 0 232996797 11246280704 10969 33554432000 4194304 4196468 140727506035696 140727506018240 140477205868279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
/proc/11632/statm: 2745674 10969 2967 1 0 2708109 0
[pid=11632/tid=11685] ppid=11629 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/11632/task/11685/stat : 11685 (java) R 11629 11632 7925 0 -1 4202560 4760 13052 0 0 10 1 5 3 20 0 15 0 232996807 11246280704 10969 33554432000 4194304 4196468 140727506035696 140477177655424 140477189948766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11686] ppid=11629 vsize=10982696 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11686/stat : 11686 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246280704 10969 33554432000 4194304 4196468 140727506035696 140477210111120 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11687] ppid=11629 vsize=10982696 memory=288370912583489152 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11687/stat : 11687 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246280704 10969 33554432000 4194304 4196468 140727506035696 140476745706512 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11688] ppid=11629 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11688/stat : 11688 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246280704 10969 33554432000 4194304 4196468 140727506035696 140476744653712 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11689] ppid=11629 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11689/stat : 11689 (java) S 11629 11632 7925 0 -1 1077944384 2 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246280704 10969 33554432000 4194304 4196468 140727506035696 140476743600912 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11690] ppid=11629 vsize=10982696 memory=140536431777408 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11690/stat : 11690 (java) S 11629 11632 7925 0 -1 1077944384 2 13052 0 0 0 0 5 3 20 0 15 0 232996809 11246280704 10969 33554432000 4194304 4196468 140727506035696 140476630931824 140477205879426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11691] ppid=11629 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11691/stat : 11691 (java) S 11629 11632 7925 0 -1 1077944384 13 13052 0 0 0 0 5 3 20 0 15 0 232996810 11246280704 10969 33554432000 4194304 4196468 140727506035696 140476032214048 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11692] ppid=11629 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11692/stat : 11692 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996810 11246280704 10969 33554432000 4194304 4196468 140727506035696 140475830887280 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11693] ppid=11629 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11693/stat : 11693 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11246280704 10969 33554432000 4194304 4196468 140727506035696 140475523487568 140477205886875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11694] ppid=11629 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11632/task/11694/stat : 11694 (java) S 11629 11632 7925 0 -1 1077944384 559 13052 0 0 1 0 5 3 20 0 15 0 232996813 11246280704 10969 33554432000 4194304 4196468 140727506035696 140476629879664 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11695] ppid=11629 vsize=10982696 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11632/task/11695/stat : 11695 (java) S 11629 11632 7925 0 -1 1077944384 72 13052 0 0 1 0 5 3 20 0 15 0 232996813 11246280704 10969 33554432000 4194304 4196468 140727506035696 140476628826864 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11696] ppid=11629 vsize=10982696 memory=140536431777408 CPUtime=0.11 cores=0,2,4,6
/proc/11632/task/11696/stat : 11696 (java) R 11629 11632 7925 0 -1 4202560 697 13052 0 0 3 0 5 3 20 0 15 0 232996813 11246280704 10969 33554432000 4194304 4196468 140727506035696 140476627774064 140477205880214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11697] ppid=11629 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11697/stat : 11697 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11246280704 10969 33554432000 4194304 4196468 140727506035696 140475092691680 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11698] ppid=11629 vsize=10982696 memory=140536431777408 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11698/stat : 11698 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996813 11246280704 10969 33554432000 4194304 4196468 140727506035696 140476626721456 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43876 KiB

[startup+0.310458 s]*
/proc/loadavg: 1.99 1.59 1.53 2/215 11698
/proc/meminfo: memFree=16369504/32770624 swapFree=67108844/67108860
[pid=11632] ppid=11629 vsize=10983192 memory=52660 CPUtime=0.37 cores=0,2,4,6
/proc/11632/stat : 11632 (java) S 11629 11632 7925 0 -1 1077944320 9676 13052 0 0 27 2 5 3 20 0 15 0 232996797 11246788608 13165 33554432000 4194304 4196468 140727506035696 140727506018240 140477205868279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
/proc/11632/statm: 2745798 13165 3110 1 0 2708109 0
[pid=11632/tid=11685] ppid=11629 vsize=10983192 memory=7721456982681923891 CPUtime=0.27 cores=0,2,4,6
/proc/11632/task/11685/stat : 11685 (java) R 11629 11632 7925 0 -1 4202560 6094 13052 0 0 18 1 5 3 20 0 15 0 232996807 11246788608 13165 33554432000 4194304 4196468 140727506035696 140477177680288 140477191033918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11686] ppid=11629 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11686/stat : 11686 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246788608 13165 33554432000 4194304 4196468 140727506035696 140477210111120 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11687] ppid=11629 vsize=10983192 memory=140536431777408 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11687/stat : 11687 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246788608 13165 33554432000 4194304 4196468 140727506035696 140476745706512 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11688] ppid=11629 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11688/stat : 11688 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246788608 13165 33554432000 4194304 4196468 140727506035696 140476744653712 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11689] ppid=11629 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11689/stat : 11689 (java) S 11629 11632 7925 0 -1 1077944384 2 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246788608 13165 33554432000 4194304 4196468 140727506035696 140476743600912 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11690] ppid=11629 vsize=10983192 memory=140536431777408 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11690/stat : 11690 (java) S 11629 11632 7925 0 -1 1077944384 2 13052 0 0 0 0 5 3 20 0 15 0 232996809 11246788608 13165 33554432000 4194304 4196468 140727506035696 140476630931824 140477205879426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11691] ppid=11629 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11691/stat : 11691 (java) S 11629 11632 7925 0 -1 1077944384 13 13052 0 0 0 0 5 3 20 0 15 0 232996810 11246788608 13165 33554432000 4194304 4196468 140727506035696 140476032214048 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11692] ppid=11629 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11692/stat : 11692 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996810 11246788608 13165 33554432000 4194304 4196468 140727506035696 140475830887280 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11693] ppid=11629 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11693/stat : 11693 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11246788608 13165 33554432000 4194304 4196468 140727506035696 140475523487568 140477205886875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11694] ppid=11629 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11632/task/11694/stat : 11694 (java) S 11629 11632 7925 0 -1 1077944384 560 13052 0 0 1 0 5 3 20 0 15 0 232996813 11246788608 13165 33554432000 4194304 4196468 140727506035696 140476629879664 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11695] ppid=11629 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11632/task/11695/stat : 11695 (java) S 11629 11632 7925 0 -1 1077944384 77 13052 0 0 1 0 5 3 20 0 15 0 232996813 11246788608 13165 33554432000 4194304 4196468 140727506035696 140476628826864 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11696] ppid=11629 vsize=10983192 memory=140536431777408 CPUtime=0.13 cores=0,2,4,6
/proc/11632/task/11696/stat : 11696 (java) S 11629 11632 7925 0 -1 1077944384 727 13052 0 0 5 0 5 3 20 0 15 0 232996813 11246788608 13165 33554432000 4194304 4196468 140727506035696 140476627774064 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11697] ppid=11629 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11697/stat : 11697 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11246788608 13165 33554432000 4194304 4196468 140727506035696 140475092691680 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11698] ppid=11629 vsize=10983192 memory=140536431777408 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11698/stat : 11698 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996813 11246788608 13165 33554432000 4194304 4196468 140727506035696 140476626721456 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52660 KiB

[startup+0.701203 s]
/proc/loadavg: 1.99 1.59 1.53 5/215 11698
/proc/meminfo: memFree=16279224/32770624 swapFree=67108844/67108860
[pid=11632] ppid=11629 vsize=10983192 memory=88128 CPUtime=0.98 cores=0,2,4,6
/proc/11632/stat : 11632 (java) S 11629 11632 7925 0 -1 1077944320 16655 13052 0 0 86 4 5 3 20 0 15 0 232996797 11246788608 22032 33554432000 4194304 4196468 140727506035696 140727506018240 140477205868279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
/proc/11632/statm: 2745798 22032 3246 1 0 2708109 0
[pid=11632/tid=11685] ppid=11629 vsize=10983192 memory=140539919860283 CPUtime=0.66 cores=0,2,4,6
/proc/11632/task/11685/stat : 11685 (java) R 11629 11632 7925 0 -1 4202560 12032 13052 0 0 55 3 5 3 20 0 15 0 232996807 11246788608 22032 33554432000 4194304 4196468 140727506035696 140477177680792 140477184313030 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11686] ppid=11629 vsize=10983192 memory=140539919860285 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11686/stat : 11686 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246788608 22032 33554432000 4194304 4196468 140727506035696 140477210111120 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11687] ppid=11629 vsize=10983192 memory=140539919860286 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11687/stat : 11687 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246788608 22032 33554432000 4194304 4196468 140727506035696 140476745706512 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11688] ppid=11629 vsize=10983192 memory=140539919860287 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11688/stat : 11688 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246788608 22032 33554432000 4194304 4196468 140727506035696 140476744653712 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11689] ppid=11629 vsize=10983192 memory=140539919860296 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11689/stat : 11689 (java) S 11629 11632 7925 0 -1 1077944384 2 13052 0 0 0 0 5 3 20 0 15 0 232996808 11246788608 22032 33554432000 4194304 4196468 140727506035696 140476743600912 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11690] ppid=11629 vsize=10983192 memory=140539919860297 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11690/stat : 11690 (java) S 11629 11632 7925 0 -1 1077944384 5 13052 0 0 0 0 5 3 20 0 15 0 232996809 11246788608 22032 33554432000 4194304 4196468 140727506035696 140476630931824 140477205879426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11691] ppid=11629 vsize=10983192 memory=140539919860302 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11691/stat : 11691 (java) S 11629 11632 7925 0 -1 1077944384 13 13052 0 0 0 0 5 3 20 0 15 0 232996810 11246788608 22032 33554432000 4194304 4196468 140727506035696 140476032214048 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11692] ppid=11629 vsize=10983192 memory=1808 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11692/stat : 11692 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996810 11246788608 22032 33554432000 4194304 4196468 140727506035696 140475830887280 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11693] ppid=11629 vsize=10983192 memory=4639098309541128301 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11693/stat : 11693 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11246788608 22032 33554432000 4194304 4196468 140727506035696 140475523487568 140477205886875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11694] ppid=11629 vsize=10983192 memory=5867746568799808594 CPUtime=0.17 cores=0,2,4,6
/proc/11632/task/11694/stat : 11694 (java) S 11629 11632 7925 0 -1 1077944384 1183 13052 0 0 9 0 5 3 20 0 15 0 232996813 11246788608 22032 33554432000 4194304 4196468 140727506035696 140476629879664 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11695] ppid=11629 vsize=10983192 memory=6010706058066022483 CPUtime=0.15 cores=0,2,4,6
/proc/11632/task/11695/stat : 11695 (java) S 11629 11632 7925 0 -1 1077944384 335 13052 0 0 7 0 5 3 20 0 15 0 232996813 11246788608 22032 33554432000 4194304 4196468 140727506035696 140476628826864 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11696] ppid=11629 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/11632/task/11696/stat : 11696 (java) S 11629 11632 7925 0 -1 1077944384 884 13052 0 0 13 0 5 3 20 0 15 0 232996813 11246788608 22032 33554432000 4194304 4196468 140727506035696 140476627774064 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11697] ppid=11629 vsize=10983192 memory=12708 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11697/stat : 11697 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11246788608 22032 33554432000 4194304 4196468 140727506035696 140475092691680 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11698] ppid=11629 vsize=10983192 memory=34812 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11698/stat : 11698 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996813 11246788608 22032 33554432000 4194304 4196468 140727506035696 140476626721456 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88128 KiB

[startup+1.5012 s]
/proc/loadavg: 1.99 1.59 1.53 2/215 11698
/proc/meminfo: memFree=16235020/32770624 swapFree=67108844/67108860
[pid=11632] ppid=11629 vsize=10998092 memory=189404 CPUtime=2.94 cores=0,2,4,6
/proc/11632/stat : 11632 (java) S 11629 11632 7925 0 -1 1077944320 27010 13052 0 0 277 9 5 3 20 0 15 0 232996797 11262046208 47351 33554432000 4194304 4196468 140727506035696 140727506018240 140477205868279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
/proc/11632/statm: 2749523 47351 3473 1 0 2711181 0
[pid=11632/tid=11685] ppid=11629 vsize=10998092 memory=63140 CPUtime=1.41 cores=0,2,4,6
/proc/11632/task/11685/stat : 11685 (java) R 11629 11632 7925 0 -1 4202560 17310 13052 0 0 128 5 5 3 20 0 15 0 232996807 11262046208 47351 33554432000 4194304 4196468 140727506035696 140477177685408 140477189948766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11686] ppid=11629 vsize=10998092 memory=2188 CPUtime=0.09 cores=0,2,4,6
/proc/11632/task/11686/stat : 11686 (java) S 11629 11632 7925 0 -1 1077944384 19 13052 0 0 1 0 5 3 20 0 15 0 232996808 11262046208 47351 33554432000 4194304 4196468 140727506035696 140477210111120 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11687] ppid=11629 vsize=10998092 memory=1240 CPUtime=0.09 cores=0,2,4,6
/proc/11632/task/11687/stat : 11687 (java) S 11629 11632 7925 0 -1 1077944384 25 13052 0 0 1 0 5 3 20 0 15 0 232996808 11262046208 47351 33554432000 4194304 4196468 140727506035696 140476745706512 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11688] ppid=11629 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11632/task/11688/stat : 11688 (java) S 11629 11632 7925 0 -1 1077944384 50 13052 0 0 1 0 5 3 20 0 15 0 232996808 11262046208 47351 33554432000 4194304 4196468 140727506035696 140476744653712 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11689] ppid=11629 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11689/stat : 11689 (java) S 11629 11632 7925 0 -1 1077944384 205 13052 0 0 0 0 5 3 20 0 15 0 232996808 11262046208 47351 33554432000 4194304 4196468 140727506035696 140476743600912 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11690] ppid=11629 vsize=10998092 memory=3184238456372072736 CPUtime=0.09 cores=0,2,4,6
/proc/11632/task/11690/stat : 11690 (java) S 11629 11632 7925 0 -1 1077944384 51 13052 0 0 1 0 5 3 20 0 15 0 232996809 11262046208 47351 33554432000 4194304 4196468 140727506035696 140476630931824 140477205879426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11691] ppid=11629 vsize=10998092 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11691/stat : 11691 (java) S 11629 11632 7925 0 -1 1077944384 13 13052 0 0 0 0 5 3 20 0 15 0 232996810 11262046208 47351 33554432000 4194304 4196468 140727506035696 140476032214048 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11692] ppid=11629 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11692/stat : 11692 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996810 11262046208 47351 33554432000 4194304 4196468 140727506035696 140475830887280 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11693] ppid=11629 vsize=10998092 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11693/stat : 11693 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11262046208 47351 33554432000 4194304 4196468 140727506035696 140475523487568 140477205886875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11694] ppid=11629 vsize=10998092 memory=281072591962352 CPUtime=0.62 cores=0,2,4,6
/proc/11632/task/11694/stat : 11694 (java) R 11629 11632 7925 0 -1 4202560 3159 13052 0 0 54 0 5 3 20 0 15 0 232996813 11262046208 47351 33554432000 4194304 4196468 140727506035696 140476629865824 140477190789317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11695] ppid=11629 vsize=10998092 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/11632/task/11695/stat : 11695 (java) R 11629 11632 7925 0 -1 4202560 2326 13052 0 0 50 0 5 3 20 0 15 0 232996813 11262046208 47351 33554432000 4194304 4196468 140727506035696 140476628812704 140477189424578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11696] ppid=11629 vsize=10998092 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/11632/task/11696/stat : 11696 (java) S 11629 11632 7925 0 -1 1077944384 1654 13052 0 0 36 0 5 3 20 0 15 0 232996813 11262046208 47351 33554432000 4194304 4196468 140727506035696 140476627774064 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11697] ppid=11629 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11697/stat : 11697 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11262046208 47351 33554432000 4194304 4196468 140727506035696 140475092691680 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11698] ppid=11629 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11698/stat : 11698 (java) S 11629 11632 7925 0 -1 1077944384 1 13052 0 0 0 0 5 3 20 0 15 0 232996813 11262046208 47351 33554432000 4194304 4196468 140727506035696 140476626721456 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 189404 KiB

[startup+3.11022 s]
/proc/loadavg: 2.07 1.62 1.54 3/215 11698
/proc/meminfo: memFree=16102628/32770624 swapFree=67108844/67108860
[pid=11632] ppid=11629 vsize=11008352 memory=227420 CPUtime=6.66 cores=0,2,4,6
/proc/11632/stat : 11632 (java) S 11629 11632 7925 0 -1 1077944320 36876 13052 0 0 645 13 5 3 20 0 15 0 232996797 11272552448 56855 33554432000 4194304 4196468 140727506035696 140727506018240 140477205868279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
/proc/11632/statm: 2752088 56855 3496 1 0 2713741 0

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

/proc/11632/task/11685/stat : 11685 (java) R 11629 11632 7925 0 -1 4202560 98166 13052 0 0 236066 40 5 3 20 0 15 0 232996807 11345952768 246722 33554432000 4194304 4196468 140727506035696 140477177703024 140476795593216 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11686] ppid=11629 vsize=11080032 memory=986888 CPUtime=10.06 cores=0,2,4,6
/proc/11632/task/11686/stat : 11686 (java) S 11629 11632 7925 0 -1 1077944384 23241 13052 0 0 950 48 5 3 20 0 15 0 232996808 11345952768 246722 33554432000 4194304 4196468 140727506035696 140477210111120 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11687] ppid=11629 vsize=11080032 memory=986832 CPUtime=10.07 cores=0,2,4,6
/proc/11632/task/11687/stat : 11687 (java) S 11629 11632 7925 0 -1 1077944384 13741 13052 0 0 950 49 5 3 20 0 15 0 232996808 11345952768 246722 33554432000 4194304 4196468 140727506035696 140476745706512 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11688] ppid=11629 vsize=11080032 memory=986832 CPUtime=10.07 cores=0,2,4,6
/proc/11632/task/11688/stat : 11688 (java) S 11629 11632 7925 0 -1 1077944384 21923 13052 0 0 953 46 5 3 20 0 15 0 232996808 11345952768 246722 33554432000 4194304 4196468 140727506035696 140476744653712 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11689] ppid=11629 vsize=11080032 memory=986888 CPUtime=10.07 cores=0,2,4,6
/proc/11632/task/11689/stat : 11689 (java) S 11629 11632 7925 0 -1 1077944384 14205 13052 0 0 954 45 5 3 20 0 15 0 232996808 11345952768 246722 33554432000 4194304 4196468 140727506035696 140476743600912 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11690] ppid=11629 vsize=11080032 memory=986888 CPUtime=7.26 cores=0,2,4,6
/proc/11632/task/11690/stat : 11690 (java) S 11629 11632 7925 0 -1 1077944384 16656 13052 0 0 675 43 5 3 20 0 15 0 232996809 11345952768 246722 33554432000 4194304 4196468 140727506035696 140476630931824 140477205879426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11691] ppid=11629 vsize=11080032 memory=986888 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11691/stat : 11691 (java) S 11629 11632 7925 0 -1 1077944384 15 13052 0 0 0 0 5 3 20 0 15 0 232996810 11345952768 246722 33554432000 4194304 4196468 140727506035696 140476032214176 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11692] ppid=11629 vsize=11080032 memory=34852 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11692/stat : 11692 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996810 11345952768 246722 33554432000 4194304 4196468 140727506035696 140475830887296 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11693] ppid=11629 vsize=11080032 memory=2324 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11693/stat : 11693 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11345952768 246722 33554432000 4194304 4196468 140727506035696 140475523487568 140477205886875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11694] ppid=11629 vsize=11080032 memory=986832 CPUtime=8.52 cores=0,2,4,6
/proc/11632/task/11694/stat : 11694 (java) S 11629 11632 7925 0 -1 1077944384 36268 13052 0 0 839 5 5 3 20 0 15 0 232996813 11345952768 246722 33554432000 4194304 4196468 140727506035696 140476629879664 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11695] ppid=11629 vsize=11080032 memory=4140 CPUtime=8.11 cores=0,2,4,6
/proc/11632/task/11695/stat : 11695 (java) S 11629 11632 7925 0 -1 1077944384 33225 13052 0 0 797 6 5 3 20 0 15 0 232996813 11345952768 246722 33554432000 4194304 4196468 140727506035696 140476628826864 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11696] ppid=11629 vsize=11080032 memory=986888 CPUtime=3.72 cores=0,2,4,6
/proc/11632/task/11696/stat : 11696 (java) S 11629 11632 7925 0 -1 1077944384 36284 13052 0 0 358 6 5 3 20 0 15 0 232996813 11345952768 246722 33554432000 4194304 4196468 140727506035696 140476627774064 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11697] ppid=11629 vsize=11080032 memory=986832 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11697/stat : 11697 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11345952768 246722 33554432000 4194304 4196468 140727506035696 140475092691680 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11698] ppid=11629 vsize=11080032 memory=986888 CPUtime=1.52 cores=0,2,4,6
/proc/11632/task/11698/stat : 11698 (java) S 11629 11632 7925 0 -1 1077944384 1082 13052 0 0 67 77 5 3 20 0 15 0 232996813 11345952768 246722 33554432000 4194304 4196468 140727506035696 140476626721456 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
Current children cumulated CPU time: 2429.95 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 986888 KiB

[startup+2442.3 s]
/proc/loadavg: 1.18 1.21 1.30 2/194 11846
/proc/meminfo: memFree=16313476/32770624 swapFree=67108844/67108860
[pid=11632] ppid=11629 vsize=11080032 memory=986900 CPUtime=2490.82 cores=0,2,4,6
/proc/11632/stat : 11632 (java) S 11629 11632 7925 0 -1 1077944320 298081 13052 0 0 248752 322 5 3 20 0 15 0 232996797 11345952768 246725 33554432000 4194304 4196468 140727506035696 140727506018240 140477205868279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
/proc/11632/statm: 2770008 246725 3530 1 0 2731661 0
[pid=11632/tid=11685] ppid=11629 vsize=11080032 memory=986900 CPUtime=2420.55 cores=0,2,4,6
/proc/11632/task/11685/stat : 11685 (java) R 11629 11632 7925 0 -1 4202560 98760 13052 0 0 242006 41 5 3 20 0 15 0 232996807 11345952768 246725 33554432000 4194304 4196468 140727506035696 140477177702784 140476790627217 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11686] ppid=11629 vsize=11080032 memory=986900 CPUtime=10.37 cores=0,2,4,6
/proc/11632/task/11686/stat : 11686 (java) S 11629 11632 7925 0 -1 1077944384 23273 13052 0 0 980 49 5 3 20 0 15 0 232996808 11345952768 246725 33554432000 4194304 4196468 140727506035696 140477210111120 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11687] ppid=11629 vsize=11080032 memory=986900 CPUtime=10.38 cores=0,2,4,6
/proc/11632/task/11687/stat : 11687 (java) S 11629 11632 7925 0 -1 1077944384 13895 13052 0 0 980 50 5 3 20 0 15 0 232996808 11345952768 246725 33554432000 4194304 4196468 140727506035696 140476745706512 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11688] ppid=11629 vsize=11080032 memory=986892 CPUtime=10.38 cores=0,2,4,6
/proc/11632/task/11688/stat : 11688 (java) S 11629 11632 7925 0 -1 1077944384 21957 13052 0 0 982 48 5 3 20 0 15 0 232996808 11345952768 246725 33554432000 4194304 4196468 140727506035696 140476744653712 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11689] ppid=11629 vsize=11080032 memory=986892 CPUtime=10.39 cores=0,2,4,6
/proc/11632/task/11689/stat : 11689 (java) S 11629 11632 7925 0 -1 1077944384 14227 13052 0 0 984 47 5 3 20 0 15 0 232996808 11345952768 246725 33554432000 4194304 4196468 140727506035696 140476743600912 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11690] ppid=11629 vsize=11080032 memory=986892 CPUtime=7.46 cores=0,2,4,6
/proc/11632/task/11690/stat : 11690 (java) S 11629 11632 7925 0 -1 1077944384 16868 13052 0 0 694 44 5 3 20 0 15 0 232996809 11345952768 246725 33554432000 4194304 4196468 140727506035696 140476630931824 140477205879426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11691] ppid=11629 vsize=11080032 memory=986900 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11691/stat : 11691 (java) S 11629 11632 7925 0 -1 1077944384 15 13052 0 0 0 0 5 3 20 0 15 0 232996810 11345952768 246725 33554432000 4194304 4196468 140727506035696 140476032214176 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11692] ppid=11629 vsize=11080032 memory=986900 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11692/stat : 11692 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996810 11345952768 246725 33554432000 4194304 4196468 140727506035696 140475830887296 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11693] ppid=11629 vsize=11080032 memory=986900 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11693/stat : 11693 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11345952768 246725 33554432000 4194304 4196468 140727506035696 140475523487568 140477205886875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11694] ppid=11629 vsize=11080032 memory=986900 CPUtime=8.52 cores=0,2,4,6
/proc/11632/task/11694/stat : 11694 (java) S 11629 11632 7925 0 -1 1077944384 36270 13052 0 0 839 5 5 3 20 0 15 0 232996813 11345952768 246725 33554432000 4194304 4196468 140727506035696 140476629879664 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11695] ppid=11629 vsize=11080032 memory=986900 CPUtime=8.11 cores=0,2,4,6
/proc/11632/task/11695/stat : 11695 (java) S 11629 11632 7925 0 -1 1077944384 33229 13052 0 0 797 6 5 3 20 0 15 0 232996813 11345952768 246725 33554432000 4194304 4196468 140727506035696 140476628826864 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11696] ppid=11629 vsize=11080032 memory=986892 CPUtime=3.72 cores=0,2,4,6
/proc/11632/task/11696/stat : 11696 (java) S 11629 11632 7925 0 -1 1077944384 36288 13052 0 0 358 6 5 3 20 0 15 0 232996813 11345952768 246725 33554432000 4194304 4196468 140727506035696 140476627774064 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11697] ppid=11629 vsize=11080032 memory=756 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11697/stat : 11697 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11345952768 246725 33554432000 4194304 4196468 140727506035696 140475092691680 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11698] ppid=11629 vsize=11080032 memory=6791534058613427641 CPUtime=1.56 cores=0,2,4,6
/proc/11632/task/11698/stat : 11698 (java) S 11629 11632 7925 0 -1 1077944384 1100 13052 0 0 69 79 5 3 20 0 15 0 232996813 11345952768 246725 33554432000 4194304 4196468 140727506035696 140476626721456 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
Current children cumulated CPU time: 2490.82 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 986900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2471.11 s]
/proc/loadavg: 0.72 1.09 1.26 2/194 11853
/proc/meminfo: memFree=16310936/32770624 swapFree=67108844/67108860
[pid=11632] ppid=11629 vsize=11080032 memory=988956 CPUtime=2520.07 cores=0,2,4,6
/proc/11632/stat : 11632 (java) S 11629 11632 7925 0 -1 1077944320 298756 13052 0 0 251673 326 5 3 20 0 15 0 232996797 11345952768 247239 33554432000 4194304 4196468 140727506035696 140727506018240 140477205868279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
/proc/11632/statm: 2770008 247239 3530 1 0 2731661 0
[pid=11632/tid=11685] ppid=11629 vsize=11080032 memory=988956 CPUtime=2449.07 cores=0,2,4,6
/proc/11632/task/11685/stat : 11685 (java) R 11629 11632 7925 0 -1 4202560 99086 13052 0 0 244858 41 5 3 20 0 15 0 232996807 11345952768 247239 33554432000 4194304 4196468 140727506035696 140477177702960 140477190183516 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11686] ppid=11629 vsize=11080032 memory=988956 CPUtime=10.51 cores=0,2,4,6
/proc/11632/task/11686/stat : 11686 (java) S 11629 11632 7925 0 -1 1077944384 23285 13052 0 0 994 49 5 3 20 0 15 0 232996808 11345952768 247239 33554432000 4194304 4196468 140727506035696 140477210111120 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11687] ppid=11629 vsize=11080032 memory=988956 CPUtime=10.53 cores=0,2,4,6
/proc/11632/task/11687/stat : 11687 (java) S 11629 11632 7925 0 -1 1077944384 13930 13052 0 0 994 51 5 3 20 0 15 0 232996808 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476745706512 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11688] ppid=11629 vsize=11080032 memory=988956 CPUtime=10.53 cores=0,2,4,6
/proc/11632/task/11688/stat : 11688 (java) S 11629 11632 7925 0 -1 1077944384 22037 13052 0 0 997 48 5 3 20 0 15 0 232996808 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476744653712 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11689] ppid=11629 vsize=11080032 memory=988956 CPUtime=10.53 cores=0,2,4,6
/proc/11632/task/11689/stat : 11689 (java) S 11629 11632 7925 0 -1 1077944384 14241 13052 0 0 997 48 5 3 20 0 15 0 232996808 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476743600912 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11690] ppid=11629 vsize=11080032 memory=1038 CPUtime=7.57 cores=0,2,4,6
/proc/11632/task/11690/stat : 11690 (java) S 11629 11632 7925 0 -1 1077944384 17061 13052 0 0 704 45 5 3 20 0 15 0 232996809 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476630931824 140477205879426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11691] ppid=11629 vsize=11080032 memory=988956 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11691/stat : 11691 (java) S 11629 11632 7925 0 -1 1077944384 15 13052 0 0 0 0 5 3 20 0 15 0 232996810 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476032214176 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11692] ppid=11629 vsize=11080032 memory=988956 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11692/stat : 11692 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996810 11345952768 247239 33554432000 4194304 4196468 140727506035696 140475830887296 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11693] ppid=11629 vsize=11080032 memory=988956 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11693/stat : 11693 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140475523487568 140477205886875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11694] ppid=11629 vsize=11080032 memory=988956 CPUtime=8.52 cores=0,2,4,6
/proc/11632/task/11694/stat : 11694 (java) S 11629 11632 7925 0 -1 1077944384 36272 13052 0 0 839 5 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476629879664 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11695] ppid=11629 vsize=11080032 memory=988956 CPUtime=8.11 cores=0,2,4,6
/proc/11632/task/11695/stat : 11695 (java) S 11629 11632 7925 0 -1 1077944384 33229 13052 0 0 797 6 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476628826864 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11696] ppid=11629 vsize=11080032 memory=988956 CPUtime=3.72 cores=0,2,4,6
/proc/11632/task/11696/stat : 11696 (java) S 11629 11632 7925 0 -1 1077944384 36288 13052 0 0 358 6 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476627774064 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11697] ppid=11629 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11697/stat : 11697 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140475092691680 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11698] ppid=11629 vsize=11080032 memory=4140 CPUtime=1.57 cores=0,2,4,6
/proc/11632/task/11698/stat : 11698 (java) S 11629 11632 7925 0 -1 1077944384 1113 13052 0 0 70 79 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476626721456 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 988956 KiB

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

[startup+2471.14 s]
# the end of solver process 11632 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.81 s, system=3.30407 s

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

[startup+2471.11 s]
/proc/loadavg: 0.72 1.09 1.26 2/194 11853
/proc/meminfo: memFree=16310936/32770624 swapFree=67108844/67108860
[pid=11632] ppid=11629 vsize=11080032 memory=988956 CPUtime=2520.07 cores=0,2,4,6
/proc/11632/stat : 11632 (java) S 11629 11632 7925 0 -1 1077944320 298756 13052 0 0 251673 326 5 3 20 0 15 0 232996797 11345952768 247239 33554432000 4194304 4196468 140727506035696 140727506018240 140477205868279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
/proc/11632/statm: 2770008 247239 3530 1 0 2731661 0
[pid=11632/tid=11685] ppid=11629 vsize=11080032 memory=988956 CPUtime=2449.07 cores=0,2,4,6
/proc/11632/task/11685/stat : 11685 (java) R 11629 11632 7925 0 -1 4202560 99086 13052 0 0 244858 41 5 3 20 0 15 0 232996807 11345952768 247239 33554432000 4194304 4196468 140727506035696 140477177702960 140477190183516 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11686] ppid=11629 vsize=11080032 memory=988956 CPUtime=10.51 cores=0,2,4,6
/proc/11632/task/11686/stat : 11686 (java) S 11629 11632 7925 0 -1 1077944384 23285 13052 0 0 994 49 5 3 20 0 15 0 232996808 11345952768 247239 33554432000 4194304 4196468 140727506035696 140477210111120 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11687] ppid=11629 vsize=11080032 memory=988956 CPUtime=10.53 cores=0,2,4,6
/proc/11632/task/11687/stat : 11687 (java) S 11629 11632 7925 0 -1 1077944384 13930 13052 0 0 994 51 5 3 20 0 15 0 232996808 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476745706512 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11688] ppid=11629 vsize=11080032 memory=988956 CPUtime=10.53 cores=0,2,4,6
/proc/11632/task/11688/stat : 11688 (java) S 11629 11632 7925 0 -1 1077944384 22037 13052 0 0 997 48 5 3 20 0 15 0 232996808 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476744653712 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11689] ppid=11629 vsize=11080032 memory=988956 CPUtime=10.53 cores=0,2,4,6
/proc/11632/task/11689/stat : 11689 (java) S 11629 11632 7925 0 -1 1077944384 14241 13052 0 0 997 48 5 3 20 0 15 0 232996808 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476743600912 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11690] ppid=11629 vsize=11080032 memory=1038 CPUtime=7.57 cores=0,2,4,6
/proc/11632/task/11690/stat : 11690 (java) S 11629 11632 7925 0 -1 1077944384 17061 13052 0 0 704 45 5 3 20 0 15 0 232996809 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476630931824 140477205879426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11691] ppid=11629 vsize=11080032 memory=988956 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11691/stat : 11691 (java) S 11629 11632 7925 0 -1 1077944384 15 13052 0 0 0 0 5 3 20 0 15 0 232996810 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476032214176 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11692] ppid=11629 vsize=11080032 memory=988956 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11692/stat : 11692 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996810 11345952768 247239 33554432000 4194304 4196468 140727506035696 140475830887296 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11693] ppid=11629 vsize=11080032 memory=988956 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11693/stat : 11693 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140475523487568 140477205886875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11694] ppid=11629 vsize=11080032 memory=988956 CPUtime=8.52 cores=0,2,4,6
/proc/11632/task/11694/stat : 11694 (java) S 11629 11632 7925 0 -1 1077944384 36272 13052 0 0 839 5 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476629879664 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11695] ppid=11629 vsize=11080032 memory=988956 CPUtime=8.11 cores=0,2,4,6
/proc/11632/task/11695/stat : 11695 (java) S 11629 11632 7925 0 -1 1077944384 33229 13052 0 0 797 6 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476628826864 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11696] ppid=11629 vsize=11080032 memory=988956 CPUtime=3.72 cores=0,2,4,6
/proc/11632/task/11696/stat : 11696 (java) S 11629 11632 7925 0 -1 1077944384 36288 13052 0 0 358 6 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476627774064 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11697] ppid=11629 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11632/task/11697/stat : 11697 (java) S 11629 11632 7925 0 -1 1077944384 3 13052 0 0 0 0 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140475092691680 140477205878485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
[pid=11632/tid=11698] ppid=11629 vsize=11080032 memory=4140 CPUtime=1.57 cores=0,2,4,6
/proc/11632/task/11698/stat : 11698 (java) S 11629 11632 7925 0 -1 1077944384 1113 13052 0 0 70 79 5 3 20 0 15 0 232996813 11345952768 247239 33554432000 4194304 4196468 140727506035696 140476626721456 140477205879426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140727506037348 140727506040156 140727506040156 140727506042831 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 988956 KiB

Child status: 143
Real time (s): 2471.14
CPU time (s): 2520.12
CPU user time (s): 2516.81
CPU system time (s): 3.30407
CPU usage (%): 101.982
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 1290096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.81
system time used= 3.30407
maximum resident set size= 1293512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220840
involuntary context switches= 10196


# summary of solver processes directly reported to runsolver:
#   pid: 11632
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.81
#   total CPU system time (s): 3.30407

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7301 second user time and 23.0953 second system time

The end

Name	Bacp/Bacp-m1/ Bacp-m1-12b_c18.xml
MD5SUM	295649d4a2f2dba0d6a8c50decbb73e2
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	2519.83
Satisfiable
(Un)Satisfiability was proved
Number of variables	882
Number of constraints	155
Number of domains	8
Minimum domain size	2
Maximum domain size	12
Distribution of domain sizes	[{"size":2,"count":792},{"size":7,"count":12},{"size":11,"count":12},{"size":12,"count":66}]
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 4304806

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