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.1	2465.93

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304805-1534153124/watcher-4304805-1534153124 -o /tmp/evaluation-result-4304805-1534153124/solver-4304805-1534153124 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534139133-9739 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1583569686 HOME/instance-4304805-1534153124.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=12171, runsolver pid=12168

[startup+0.100095 s]*
/proc/loadavg: 1.25 1.38 1.39 3/206 12228
/proc/meminfo: memFree=17107424/32770624 swapFree=67108796/67108860
[pid=12171] ppid=12168 vsize=10005480 memory=16548 CPUtime=0.1 cores=0,2,4,6
/proc/12171/stat : 12171 (java) S 12168 12171 8908 0 -1 1077944320 4312 12973 0 0 1 1 5 3 20 0 6 0 232875547 10245611520 4137 33554432000 4194304 4196468 140723203057600 140723203040144 140409379135223 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
/proc/12171/statm: 2501370 4137 1932 1 0 2489808 0
[pid=12171/tid=12224] ppid=12168 vsize=10005480 memory=5852835220496416925 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12224/stat : 12224 (java) R 12168 12171 8908 0 -1 4202560 2164 12973 0 0 0 0 5 3 20 0 6 0 232875556 10245611520 4203 33554432000 4194304 4196468 140723203057600 140409350971984 140409363215740 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12225] ppid=12168 vsize=10005480 memory=5793855866398566841 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12225/stat : 12225 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 6 0 232875557 10245611520 4203 33554432000 4194304 4196468 140723203057600 140409383377680 140409379145429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12226] ppid=12168 vsize=10005480 memory=140615388673664 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12226/stat : 12226 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 6 0 232875557 10245611520 4203 33554432000 4194304 4196468 140723203057600 140409264642960 140409379145429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12227] ppid=12168 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12227/stat : 12227 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 6 0 232875557 10245611520 4203 33554432000 4194304 4196468 140723203057600 140409263590416 140409379145429 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12228] ppid=12168 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12228/stat : 12228 (java) S 12168 12171 8908 0 -1 1077944384 2 12973 0 0 0 0 5 3 20 0 6 0 232875557 10245611520 4203 33554432000 4194304 4196468 140723203057600 140409262537872 140409379145429 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB

[startup+0.210034 s]*
/proc/loadavg: 1.23 1.37 1.39 3/215 12237
/proc/meminfo: memFree=17085484/32770624 swapFree=67108796/67108860
[pid=12171] ppid=12168 vsize=10982744 memory=42080 CPUtime=0.26 cores=0,2,4,6
/proc/12171/stat : 12171 (java) S 12168 12171 8908 0 -1 1077944320 7252 12973 0 0 17 1 5 3 20 0 15 0 232875547 11246329856 10520 33554432000 4194304 4196468 140723203057600 140723203040144 140409379135223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
/proc/12171/statm: 2745686 10520 2946 1 0 2708109 0
[pid=12171/tid=12224] ppid=12168 vsize=10982744 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/12171/task/12224/stat : 12224 (java) R 12168 12171 8908 0 -1 4202560 4015 12973 0 0 10 1 5 3 20 0 15 0 232875556 11246329856 10718 33554432000 4194304 4196468 140723203057600 140409350953464 140409359410972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12225] ppid=12168 vsize=10982744 memory=4211974341593464202 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12225/stat : 12225 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246329856 10718 33554432000 4194304 4196468 140723203057600 140409383377680 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12226] ppid=12168 vsize=10982744 memory=140615388673664 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12226/stat : 12226 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246329856 10784 33554432000 4194304 4196468 140723203057600 140409264642960 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12227] ppid=12168 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12227/stat : 12227 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246329856 10784 33554432000 4194304 4196468 140723203057600 140409263590416 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12228] ppid=12168 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12228/stat : 12228 (java) S 12168 12171 8908 0 -1 1077944384 2 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246329856 10784 33554432000 4194304 4196468 140723203057600 140409262537872 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12229] ppid=12168 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12229/stat : 12229 (java) S 12168 12171 8908 0 -1 1077944384 2 12973 0 0 0 0 5 3 20 0 15 0 232875559 11246329856 10784 33554432000 4194304 4196468 140723203057600 140408872187888 140409379146370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12230] ppid=12168 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12230/stat : 12230 (java) S 12168 12171 8908 0 -1 1077944384 13 12973 0 0 0 0 5 3 20 0 15 0 232875559 11246329856 10784 33554432000 4194304 4196468 140723203057600 140408252261280 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12231] ppid=12168 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12231/stat : 12231 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875559 11246329856 10784 33554432000 4194304 4196468 140723203057600 140408050934768 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12232] ppid=12168 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12232/stat : 12232 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11246329856 10784 33554432000 4194304 4196468 140723203057600 140407743535312 140409379153819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12233] ppid=12168 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12171/task/12233/stat : 12233 (java) S 12168 12171 8908 0 -1 1077944384 368 12973 0 0 1 0 5 3 20 0 15 0 232875562 11246329856 10784 33554432000 4194304 4196468 140723203057600 140408871135728 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12234] ppid=12168 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12234/stat : 12234 (java) S 12168 12171 8908 0 -1 1077944384 247 12973 0 0 0 0 5 3 20 0 15 0 232875562 11246329856 10784 33554432000 4194304 4196468 140723203057600 140408870083184 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12235] ppid=12168 vsize=10982744 memory=140615388673664 CPUtime=0.11 cores=0,2,4,6
/proc/12171/task/12235/stat : 12235 (java) S 12168 12171 8908 0 -1 1077944384 612 12973 0 0 3 0 5 3 20 0 15 0 232875562 11246329856 10784 33554432000 4194304 4196468 140723203057600 140408869030640 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12236] ppid=12168 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12236/stat : 12236 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11246329856 10784 33554432000 4194304 4196468 140723203057600 140407312739424 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12237] ppid=12168 vsize=10982744 memory=140615388673664 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12237/stat : 12237 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875563 11246329856 10784 33554432000 4194304 4196468 140723203057600 140408867977520 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42080 KiB

[startup+0.310269 s]*
/proc/loadavg: 1.23 1.37 1.39 3/215 12237
/proc/meminfo: memFree=17072688/32770624 swapFree=67108796/67108860
[pid=12171] ppid=12168 vsize=10983192 memory=55240 CPUtime=0.39 cores=0,2,4,6
/proc/12171/stat : 12171 (java) S 12168 12171 8908 0 -1 1077944320 10381 12973 0 0 28 3 5 3 20 0 15 0 232875547 11246788608 13810 33554432000 4194304 4196468 140723203057600 140723203040144 140409379135223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
/proc/12171/statm: 2745798 13810 3065 1 0 2708109 0
[pid=12171/tid=12224] ppid=12168 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/12171/task/12224/stat : 12224 (java) R 12168 12171 8908 0 -1 4202560 6937 12973 0 0 19 2 5 3 20 0 15 0 232875556 11246788608 13810 33554432000 4194304 4196468 140723203057600 140409350947232 140409359410972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12225] ppid=12168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12225/stat : 12225 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246788608 13810 33554432000 4194304 4196468 140723203057600 140409383377680 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12226] ppid=12168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12226/stat : 12226 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246788608 13810 33554432000 4194304 4196468 140723203057600 140409264642960 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12227] ppid=12168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12227/stat : 12227 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246788608 13810 33554432000 4194304 4196468 140723203057600 140409263590416 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12228] ppid=12168 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12228/stat : 12228 (java) S 12168 12171 8908 0 -1 1077944384 2 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246788608 13810 33554432000 4194304 4196468 140723203057600 140409262537872 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12229] ppid=12168 vsize=10983192 memory=140615388673663 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12229/stat : 12229 (java) S 12168 12171 8908 0 -1 1077944384 2 12973 0 0 0 0 5 3 20 0 15 0 232875559 11246788608 13810 33554432000 4194304 4196468 140723203057600 140408872187888 140409379146370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12230] ppid=12168 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12230/stat : 12230 (java) S 12168 12171 8908 0 -1 1077944384 13 12973 0 0 0 0 5 3 20 0 15 0 232875559 11246788608 13810 33554432000 4194304 4196468 140723203057600 140408252261280 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12231] ppid=12168 vsize=10983192 memory=140615388673664 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12231/stat : 12231 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875559 11246788608 13810 33554432000 4194304 4196468 140723203057600 140408050934768 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12232] ppid=12168 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12232/stat : 12232 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11246788608 13810 33554432000 4194304 4196468 140723203057600 140407743535312 140409379153819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12233] ppid=12168 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12171/task/12233/stat : 12233 (java) S 12168 12171 8908 0 -1 1077944384 368 12973 0 0 1 0 5 3 20 0 15 0 232875562 11246788608 13810 33554432000 4194304 4196468 140723203057600 140408871135728 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12234] ppid=12168 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12171/task/12234/stat : 12234 (java) S 12168 12171 8908 0 -1 1077944384 250 12973 0 0 1 0 5 3 20 0 15 0 232875562 11246788608 13810 33554432000 4194304 4196468 140723203057600 140408870083184 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12235] ppid=12168 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/12171/task/12235/stat : 12235 (java) S 12168 12171 8908 0 -1 1077944384 622 12973 0 0 5 0 5 3 20 0 15 0 232875562 11246788608 13810 33554432000 4194304 4196468 140723203057600 140408869030640 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12236] ppid=12168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12236/stat : 12236 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11246788608 13810 33554432000 4194304 4196468 140723203057600 140407312739424 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12237] ppid=12168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12237/stat : 12237 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875563 11246788608 13810 33554432000 4194304 4196468 140723203057600 140408867977520 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55240 KiB

[startup+0.700762 s]
/proc/loadavg: 1.23 1.37 1.39 3/215 12237
/proc/meminfo: memFree=17061648/32770624 swapFree=67108796/67108860
[pid=12171] ppid=12168 vsize=10983192 memory=88244 CPUtime=1 cores=0,2,4,6
/proc/12171/stat : 12171 (java) S 12168 12171 8908 0 -1 1077944320 16717 12973 0 0 88 4 5 3 20 0 15 0 232875547 11246788608 22061 33554432000 4194304 4196468 140723203057600 140723203040144 140409379135223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
/proc/12171/statm: 2745798 22061 3238 1 0 2708109 0
[pid=12171/tid=12224] ppid=12168 vsize=10983192 memory=63196 CPUtime=0.67 cores=0,2,4,6
/proc/12171/task/12224/stat : 12224 (java) R 12168 12171 8908 0 -1 4202560 12181 12973 0 0 56 3 5 3 20 0 15 0 232875556 11246788608 22061 33554432000 4194304 4196468 140723203057600 140409350955512 140409363215710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12225] ppid=12168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12225/stat : 12225 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246788608 22061 33554432000 4194304 4196468 140723203057600 140409383377680 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12226] ppid=12168 vsize=10983192 memory=288230587427463918 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12226/stat : 12226 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246788608 22061 33554432000 4194304 4196468 140723203057600 140409264642960 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12227] ppid=12168 vsize=10983192 memory=16101459552896686 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12227/stat : 12227 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246788608 22061 33554432000 4194304 4196468 140723203057600 140409263590416 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12228] ppid=12168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12228/stat : 12228 (java) S 12168 12171 8908 0 -1 1077944384 2 12973 0 0 0 0 5 3 20 0 15 0 232875557 11246788608 22061 33554432000 4194304 4196468 140723203057600 140409262537872 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12229] ppid=12168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12229/stat : 12229 (java) S 12168 12171 8908 0 -1 1077944384 6 12973 0 0 0 0 5 3 20 0 15 0 232875559 11246788608 22061 33554432000 4194304 4196468 140723203057600 140408872187888 140409379146370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12230] ppid=12168 vsize=10983192 memory=140615283417696 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12230/stat : 12230 (java) S 12168 12171 8908 0 -1 1077944384 13 12973 0 0 0 0 5 3 20 0 15 0 232875559 11246788608 22061 33554432000 4194304 4196468 140723203057600 140408252261280 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12231] ppid=12168 vsize=10983192 memory=140617229272112 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12231/stat : 12231 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875559 11246788608 22061 33554432000 4194304 4196468 140723203057600 140408050934768 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12232] ppid=12168 vsize=10983192 memory=3884 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12232/stat : 12232 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11246788608 22061 33554432000 4194304 4196468 140723203057600 140407743535312 140409379153819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12233] ppid=12168 vsize=10983192 memory=7448488012996504144 CPUtime=0.17 cores=0,2,4,6
/proc/12171/task/12233/stat : 12233 (java) S 12168 12171 8908 0 -1 1077944384 973 12973 0 0 9 0 5 3 20 0 15 0 232875562 11246788608 22061 33554432000 4194304 4196468 140723203057600 140408871135728 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12234] ppid=12168 vsize=10983192 memory=7380106142448642416 CPUtime=0.15 cores=0,2,4,6
/proc/12171/task/12234/stat : 12234 (java) S 12168 12171 8908 0 -1 1077944384 630 12973 0 0 7 0 5 3 20 0 15 0 232875562 11246788608 22061 33554432000 4194304 4196468 140723203057600 140408870083184 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12235] ppid=12168 vsize=10983192 memory=6935655852964663376 CPUtime=0.21 cores=0,2,4,6
/proc/12171/task/12235/stat : 12235 (java) S 12168 12171 8908 0 -1 1077944384 714 12973 0 0 13 0 5 3 20 0 15 0 232875562 11246788608 22061 33554432000 4194304 4196468 140723203057600 140408869030640 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12236] ppid=12168 vsize=10983192 memory=5450909908396308010 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12236/stat : 12236 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11246788608 22061 33554432000 4194304 4196468 140723203057600 140407312739424 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12237] ppid=12168 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12237/stat : 12237 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875563 11246788608 22061 33554432000 4194304 4196468 140723203057600 140408867977520 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88244 KiB

[startup+1.50084 s]
/proc/loadavg: 1.23 1.37 1.39 3/215 12237
/proc/meminfo: memFree=17018108/32770624 swapFree=67108796/67108860
[pid=12171] ppid=12168 vsize=10998092 memory=187088 CPUtime=2.96 cores=0,2,4,6
/proc/12171/stat : 12171 (java) S 12168 12171 8908 0 -1 1077944320 27973 12973 0 0 278 10 5 3 20 0 15 0 232875547 11262046208 46772 33554432000 4194304 4196468 140723203057600 140723203040144 140409379135223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
/proc/12171/statm: 2749523 46772 3467 1 0 2711181 0
[pid=12171/tid=12224] ppid=12168 vsize=10998092 memory=5794554205747106151 CPUtime=1.42 cores=0,2,4,6
/proc/12171/task/12224/stat : 12224 (java) R 12168 12171 8908 0 -1 4202560 17708 12973 0 0 128 6 5 3 20 0 15 0 232875556 11262046208 46772 33554432000 4194304 4196468 140723203057600 140409350948152 140409360698798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12225] ppid=12168 vsize=10998092 memory=8170779234548606561 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12225/stat : 12225 (java) S 12168 12171 8908 0 -1 1077944384 6 12973 0 0 0 0 5 3 20 0 15 0 232875557 11262046208 46772 33554432000 4194304 4196468 140723203057600 140409383377680 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12226] ppid=12168 vsize=10998092 memory=7666628921444099684 CPUtime=0.09 cores=0,2,4,6
/proc/12171/task/12226/stat : 12226 (java) S 12168 12171 8908 0 -1 1077944384 93 12973 0 0 1 0 5 3 20 0 15 0 232875557 11262046208 46772 33554432000 4194304 4196468 140723203057600 140409264642960 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12227] ppid=12168 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12227/stat : 12227 (java) S 12168 12171 8908 0 -1 1077944384 181 12973 0 0 0 0 5 3 20 0 15 0 232875557 11262046208 46772 33554432000 4194304 4196468 140723203057600 140409263590416 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12228] ppid=12168 vsize=10998092 memory=193138438235620 CPUtime=0.09 cores=0,2,4,6
/proc/12171/task/12228/stat : 12228 (java) S 12168 12171 8908 0 -1 1077944384 40 12973 0 0 1 0 5 3 20 0 15 0 232875557 11262046208 46772 33554432000 4194304 4196468 140723203057600 140409262537872 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12229] ppid=12168 vsize=10998092 memory=1323249 CPUtime=0.09 cores=0,2,4,6
/proc/12171/task/12229/stat : 12229 (java) S 12168 12171 8908 0 -1 1077944384 57 12973 0 0 1 0 5 3 20 0 15 0 232875559 11262046208 46772 33554432000 4194304 4196468 140723203057600 140408872187888 140409379146370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12230] ppid=12168 vsize=10998092 memory=4638778402628129104 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12230/stat : 12230 (java) S 12168 12171 8908 0 -1 1077944384 14 12973 0 0 0 0 5 3 20 0 15 0 232875559 11262046208 46772 33554432000 4194304 4196468 140723203057600 140408252261280 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12231] ppid=12168 vsize=10998092 memory=6935649255759568960 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12231/stat : 12231 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875559 11262046208 46772 33554432000 4194304 4196468 140723203057600 140408050934768 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12232] ppid=12168 vsize=10998092 memory=281230566228208 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12232/stat : 12232 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11262046208 46772 33554432000 4194304 4196468 140723203057600 140407743535312 140409379153819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12233] ppid=12168 vsize=10998092 memory=6935650355271196736 CPUtime=0.6 cores=0,2,4,6
/proc/12171/task/12233/stat : 12233 (java) S 12168 12171 8908 0 -1 1077944384 3444 12973 0 0 52 0 5 3 20 0 15 0 232875562 11262046208 46772 33554432000 4194304 4196468 140723203057600 140408871135728 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12234] ppid=12168 vsize=10998092 memory=-6295573270462227296 CPUtime=0.6 cores=0,2,4,6
/proc/12171/task/12234/stat : 12234 (java) R 12168 12171 8908 0 -1 4202560 2720 12973 0 0 52 0 5 3 20 0 15 0 232875562 11262046208 46772 33554432000 4194304 4196468 140723203057600 140408870069208 140409360679450 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12235] ppid=12168 vsize=10998092 memory=6944656575208382560 CPUtime=0.44 cores=0,2,4,6
/proc/12171/task/12235/stat : 12235 (java) S 12168 12171 8908 0 -1 1077944384 1514 12973 0 0 36 0 5 3 20 0 15 0 232875562 11262046208 46772 33554432000 4194304 4196468 140723203057600 140408869030640 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12236] ppid=12168 vsize=10998092 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12236/stat : 12236 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11262046208 46772 33554432000 4194304 4196468 140723203057600 140407312739424 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12237] ppid=12168 vsize=10998092 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12237/stat : 12237 (java) S 12168 12171 8908 0 -1 1077944384 1 12973 0 0 0 0 5 3 20 0 15 0 232875563 11262046208 46772 33554432000 4194304 4196468 140723203057600 140408867977520 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 10998092 KiB

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

/proc/12171/task/12224/stat : 12224 (java) R 12168 12171 8908 0 -1 4202560 87607 12973 0 0 235504 51 5 3 20 0 15 0 232875556 11345952768 256370 33554432000 4194304 4196468 140723203057600 140409350970624 140408957301601 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12225] ppid=12168 vsize=11080032 memory=1025480 CPUtime=12.3 cores=0,2,4,6
/proc/12171/task/12225/stat : 12225 (java) S 12168 12171 8908 0 -1 1077944384 12710 12973 0 0 1166 56 5 3 20 0 15 0 232875557 11345952768 256370 33554432000 4194304 4196468 140723203057600 140409383377680 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12226] ppid=12168 vsize=11080032 memory=1025480 CPUtime=12.32 cores=0,2,4,6
/proc/12171/task/12226/stat : 12226 (java) S 12168 12171 8908 0 -1 1077944384 11886 12973 0 0 1166 58 5 3 20 0 15 0 232875557 11345952768 256370 33554432000 4194304 4196468 140723203057600 140409264642960 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12227] ppid=12168 vsize=11080032 memory=1025480 CPUtime=12.31 cores=0,2,4,6
/proc/12171/task/12227/stat : 12227 (java) S 12168 12171 8908 0 -1 1077944384 14010 12973 0 0 1164 59 5 3 20 0 15 0 232875557 11345952768 256370 33554432000 4194304 4196468 140723203057600 140409263590416 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12228] ppid=12168 vsize=11080032 memory=1025480 CPUtime=12.29 cores=0,2,4,6
/proc/12171/task/12228/stat : 12228 (java) S 12168 12171 8908 0 -1 1077944384 16296 12973 0 0 1161 60 5 3 20 0 15 0 232875557 11345952768 256370 33554432000 4194304 4196468 140723203057600 140409262537872 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12229] ppid=12168 vsize=11080032 memory=0 CPUtime=11.2 cores=0,2,4,6
/proc/12171/task/12229/stat : 12229 (java) S 12168 12171 8908 0 -1 1077944384 13054 12973 0 0 1054 58 5 3 20 0 15 0 232875559 11345952768 256370 33554432000 4194304 4196468 140723203057600 140408872187888 140409379146370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12230] ppid=12168 vsize=11080032 memory=39724 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12230/stat : 12230 (java) S 12168 12171 8908 0 -1 1077944384 17 12973 0 0 0 0 5 3 20 0 15 0 232875559 11345952768 256370 33554432000 4194304 4196468 140723203057600 140408252261344 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12231] ppid=12168 vsize=11080032 memory=1025480 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12231/stat : 12231 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875559 11345952768 256370 33554432000 4194304 4196468 140723203057600 140408050934784 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12232] ppid=12168 vsize=11080032 memory=1025480 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12232/stat : 12232 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11345952768 256370 33554432000 4194304 4196468 140723203057600 140407743535312 140409379153819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12233] ppid=12168 vsize=11080032 memory=3632 CPUtime=7.12 cores=0,2,4,6
/proc/12171/task/12233/stat : 12233 (java) S 12168 12171 8908 0 -1 1077944384 21043 12973 0 0 699 5 5 3 20 0 15 0 232875562 11345952768 256370 33554432000 4194304 4196468 140723203057600 140408871135728 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12234] ppid=12168 vsize=11080032 memory=63248 CPUtime=7.68 cores=0,2,4,6
/proc/12171/task/12234/stat : 12234 (java) S 12168 12171 8908 0 -1 1077944384 20690 12973 0 0 755 5 5 3 20 0 15 0 232875562 11345952768 256370 33554432000 4194304 4196468 140723203057600 140408870083184 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12235] ppid=12168 vsize=11080032 memory=1025480 CPUtime=3.45 cores=0,2,4,6
/proc/12171/task/12235/stat : 12235 (java) S 12168 12171 8908 0 -1 1077944384 24923 12973 0 0 330 7 5 3 20 0 15 0 232875562 11345952768 256370 33554432000 4194304 4196468 140723203057600 140408869030640 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12236] ppid=12168 vsize=11080032 memory=3632 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12236/stat : 12236 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11345952768 256370 33554432000 4194304 4196468 140723203057600 140407312739424 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12237] ppid=12168 vsize=11080032 memory=1025480 CPUtime=1.53 cores=0,2,4,6
/proc/12171/task/12237/stat : 12237 (java) S 12168 12171 8908 0 -1 1077944384 759 12973 0 0 73 72 5 3 20 0 15 0 232875563 11345952768 256370 33554432000 4194304 4196468 140723203057600 140408867977520 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
Current children cumulated CPU time: 2435.22 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1025480 KiB

[startup+2442.3 s]
/proc/loadavg: 1.17 1.28 1.33 3/215 12465
/proc/meminfo: memFree=16453200/32770624 swapFree=67108796/67108860
[pid=12171] ppid=12168 vsize=11080032 memory=1027528 CPUtime=2496.09 cores=0,2,4,6
/proc/12171/stat : 12171 (java) S 12168 12171 8908 0 -1 1077944320 226446 12973 0 0 249229 372 5 3 20 0 15 0 232875547 11345952768 256882 33554432000 4194304 4196468 140723203057600 140723203040144 140409379135223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
/proc/12171/statm: 2770008 256882 3530 1 0 2731661 0
[pid=12171/tid=12224] ppid=12168 vsize=11080032 memory=1027528 CPUtime=2414.99 cores=0,2,4,6
/proc/12171/task/12224/stat : 12224 (java) R 12168 12171 8908 0 -1 4202560 88190 12973 0 0 241440 51 5 3 20 0 15 0 232875556 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409350970688 140408953658310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12225] ppid=12168 vsize=11080032 memory=1027528 CPUtime=12.61 cores=0,2,4,6
/proc/12171/task/12225/stat : 12225 (java) S 12168 12171 8908 0 -1 1077944384 12747 12973 0 0 1195 58 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409383377680 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12226] ppid=12168 vsize=11080032 memory=1027528 CPUtime=12.62 cores=0,2,4,6
/proc/12171/task/12226/stat : 12226 (java) S 12168 12171 8908 0 -1 1077944384 11921 12973 0 0 1195 59 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409264642960 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12227] ppid=12168 vsize=11080032 memory=1025480 CPUtime=12.62 cores=0,2,4,6
/proc/12171/task/12227/stat : 12227 (java) S 12168 12171 8908 0 -1 1077944384 14045 12973 0 0 1194 60 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409263590416 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12228] ppid=12168 vsize=11080032 memory=1027528 CPUtime=12.59 cores=0,2,4,6
/proc/12171/task/12228/stat : 12228 (java) S 12168 12171 8908 0 -1 1077944384 16662 12973 0 0 1190 61 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409262537872 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12229] ppid=12168 vsize=11080032 memory=1027528 CPUtime=11.46 cores=0,2,4,6
/proc/12171/task/12229/stat : 12229 (java) S 12168 12171 8908 0 -1 1077944384 13237 12973 0 0 1078 60 5 3 20 0 15 0 232875559 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408872187888 140409379146370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12230] ppid=12168 vsize=11080032 memory=1027528 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12230/stat : 12230 (java) S 12168 12171 8908 0 -1 1077944384 17 12973 0 0 0 0 5 3 20 0 15 0 232875559 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408252261344 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12231] ppid=12168 vsize=11080032 memory=1027528 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12231/stat : 12231 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875559 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408050934784 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12232] ppid=12168 vsize=11080032 memory=5656 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12232/stat : 12232 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140407743535312 140409379153819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12233] ppid=12168 vsize=11080032 memory=1027528 CPUtime=7.12 cores=0,2,4,6
/proc/12171/task/12233/stat : 12233 (java) S 12168 12171 8908 0 -1 1077944384 21043 12973 0 0 699 5 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408871135728 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12234] ppid=12168 vsize=11080032 memory=1027528 CPUtime=7.68 cores=0,2,4,6
/proc/12171/task/12234/stat : 12234 (java) S 12168 12171 8908 0 -1 1077944384 20690 12973 0 0 755 5 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408870083184 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12235] ppid=12168 vsize=11080032 memory=1027528 CPUtime=3.45 cores=0,2,4,6
/proc/12171/task/12235/stat : 12235 (java) S 12168 12171 8908 0 -1 1077944384 24923 12973 0 0 330 7 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408869030640 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12236] ppid=12168 vsize=11080032 memory=1027528 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12236/stat : 12236 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140407312739424 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12237] ppid=12168 vsize=11080032 memory=1027528 CPUtime=1.57 cores=0,2,4,6
/proc/12171/task/12237/stat : 12237 (java) S 12168 12171 8908 0 -1 1077944384 774 12973 0 0 75 74 5 3 20 0 15 0 232875563 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408867977520 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
Current children cumulated CPU time: 2496.09 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1027528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.9 s]
/proc/loadavg: 1.34 1.31 1.34 3/215 12465
/proc/meminfo: memFree=16453448/32770624 swapFree=67108796/67108860
[pid=12171] ppid=12168 vsize=11080032 memory=1027528 CPUtime=2520.06 cores=0,2,4,6
/proc/12171/stat : 12171 (java) S 12168 12171 8908 0 -1 1077944320 227188 12973 0 0 251623 375 5 3 20 0 15 0 232875547 11345952768 256882 33554432000 4194304 4196468 140723203057600 140723203040144 140409379135223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
/proc/12171/statm: 2770008 256882 3530 1 0 2731661 0
[pid=12171/tid=12224] ppid=12168 vsize=11080032 memory=1027528 CPUtime=2438.33 cores=0,2,4,6
/proc/12171/task/12224/stat : 12224 (java) R 12168 12171 8908 0 -1 4202560 88553 12973 0 0 243774 51 5 3 20 0 15 0 232875556 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409350970608 140408956782892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12225] ppid=12168 vsize=11080032 memory=1027528 CPUtime=12.72 cores=0,2,4,6
/proc/12171/task/12225/stat : 12225 (java) S 12168 12171 8908 0 -1 1077944384 12835 12973 0 0 1206 58 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409383377680 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12226] ppid=12168 vsize=11080032 memory=1027528 CPUtime=12.75 cores=0,2,4,6
/proc/12171/task/12226/stat : 12226 (java) S 12168 12171 8908 0 -1 1077944384 11928 12973 0 0 1207 60 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409264642960 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12227] ppid=12168 vsize=11080032 memory=1027528 CPUtime=12.75 cores=0,2,4,6
/proc/12171/task/12227/stat : 12227 (java) S 12168 12171 8908 0 -1 1077944384 14051 12973 0 0 1206 61 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409263590416 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12228] ppid=12168 vsize=11080032 memory=1027528 CPUtime=12.71 cores=0,2,4,6
/proc/12171/task/12228/stat : 12228 (java) S 12168 12171 8908 0 -1 1077944384 16728 12973 0 0 1202 61 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409262537872 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12229] ppid=12168 vsize=11080032 memory=1168 CPUtime=11.56 cores=0,2,4,6
/proc/12171/task/12229/stat : 12229 (java) S 12168 12171 8908 0 -1 1077944384 13428 12973 0 0 1088 60 5 3 20 0 15 0 232875559 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408872187888 140409379146370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12230] ppid=12168 vsize=11080032 memory=7589500375349226861 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12230/stat : 12230 (java) S 12168 12171 8908 0 -1 1077944384 17 12973 0 0 0 0 5 3 20 0 15 0 232875559 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408252261344 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12231] ppid=12168 vsize=11080032 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12231/stat : 12231 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875559 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408050934784 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12232] ppid=12168 vsize=11080032 memory=3185 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12232/stat : 12232 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140407743535312 140409379153819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12233] ppid=12168 vsize=11080032 memory=1027528 CPUtime=7.12 cores=0,2,4,6
/proc/12171/task/12233/stat : 12233 (java) S 12168 12171 8908 0 -1 1077944384 21045 12973 0 0 699 5 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408871135728 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12234] ppid=12168 vsize=11080032 memory=1027528 CPUtime=7.68 cores=0,2,4,6
/proc/12171/task/12234/stat : 12234 (java) S 12168 12171 8908 0 -1 1077944384 20692 12973 0 0 755 5 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408870083184 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12235] ppid=12168 vsize=11080032 memory=1027528 CPUtime=3.45 cores=0,2,4,6
/proc/12171/task/12235/stat : 12235 (java) S 12168 12171 8908 0 -1 1077944384 24925 12973 0 0 330 7 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408869030640 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12236] ppid=12168 vsize=11080032 memory=3632 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12236/stat : 12236 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140407312739424 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12237] ppid=12168 vsize=11080032 memory=1027528 CPUtime=1.58 cores=0,2,4,6
/proc/12171/task/12237/stat : 12237 (java) S 12168 12171 8908 0 -1 1077944384 789 12973 0 0 75 75 5 3 20 0 15 0 232875563 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408867977520 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1027528 KiB

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

[startup+2465.93 s]
# the end of solver process 12171 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.3 s, system=3.79847 s

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

[startup+2465.9 s]
/proc/loadavg: 1.34 1.31 1.34 3/215 12465
/proc/meminfo: memFree=16453448/32770624 swapFree=67108796/67108860
[pid=12171] ppid=12168 vsize=11080032 memory=1027528 CPUtime=2520.06 cores=0,2,4,6
/proc/12171/stat : 12171 (java) S 12168 12171 8908 0 -1 1077944320 227188 12973 0 0 251623 375 5 3 20 0 15 0 232875547 11345952768 256882 33554432000 4194304 4196468 140723203057600 140723203040144 140409379135223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
/proc/12171/statm: 2770008 256882 3530 1 0 2731661 0
[pid=12171/tid=12224] ppid=12168 vsize=11080032 memory=1027528 CPUtime=2438.33 cores=0,2,4,6
/proc/12171/task/12224/stat : 12224 (java) R 12168 12171 8908 0 -1 4202560 88553 12973 0 0 243774 51 5 3 20 0 15 0 232875556 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409350970608 140408956782892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12225] ppid=12168 vsize=11080032 memory=1027528 CPUtime=12.72 cores=0,2,4,6
/proc/12171/task/12225/stat : 12225 (java) S 12168 12171 8908 0 -1 1077944384 12835 12973 0 0 1206 58 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409383377680 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12226] ppid=12168 vsize=11080032 memory=1027528 CPUtime=12.75 cores=0,2,4,6
/proc/12171/task/12226/stat : 12226 (java) S 12168 12171 8908 0 -1 1077944384 11928 12973 0 0 1207 60 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409264642960 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12227] ppid=12168 vsize=11080032 memory=1027528 CPUtime=12.75 cores=0,2,4,6
/proc/12171/task/12227/stat : 12227 (java) S 12168 12171 8908 0 -1 1077944384 14051 12973 0 0 1206 61 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409263590416 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12228] ppid=12168 vsize=11080032 memory=1027528 CPUtime=12.71 cores=0,2,4,6
/proc/12171/task/12228/stat : 12228 (java) S 12168 12171 8908 0 -1 1077944384 16728 12973 0 0 1202 61 5 3 20 0 15 0 232875557 11345952768 256882 33554432000 4194304 4196468 140723203057600 140409262537872 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12229] ppid=12168 vsize=11080032 memory=1168 CPUtime=11.56 cores=0,2,4,6
/proc/12171/task/12229/stat : 12229 (java) S 12168 12171 8908 0 -1 1077944384 13428 12973 0 0 1088 60 5 3 20 0 15 0 232875559 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408872187888 140409379146370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12230] ppid=12168 vsize=11080032 memory=7589500375349226861 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12230/stat : 12230 (java) S 12168 12171 8908 0 -1 1077944384 17 12973 0 0 0 0 5 3 20 0 15 0 232875559 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408252261344 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12231] ppid=12168 vsize=11080032 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12231/stat : 12231 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875559 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408050934784 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12232] ppid=12168 vsize=11080032 memory=3185 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12232/stat : 12232 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140407743535312 140409379153819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12233] ppid=12168 vsize=11080032 memory=1027528 CPUtime=7.12 cores=0,2,4,6
/proc/12171/task/12233/stat : 12233 (java) S 12168 12171 8908 0 -1 1077944384 21045 12973 0 0 699 5 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408871135728 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12234] ppid=12168 vsize=11080032 memory=1027528 CPUtime=7.68 cores=0,2,4,6
/proc/12171/task/12234/stat : 12234 (java) S 12168 12171 8908 0 -1 1077944384 20692 12973 0 0 755 5 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408870083184 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12235] ppid=12168 vsize=11080032 memory=1027528 CPUtime=3.45 cores=0,2,4,6
/proc/12171/task/12235/stat : 12235 (java) S 12168 12171 8908 0 -1 1077944384 24925 12973 0 0 330 7 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408869030640 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12236] ppid=12168 vsize=11080032 memory=3632 CPUtime=0.08 cores=0,2,4,6
/proc/12171/task/12236/stat : 12236 (java) S 12168 12171 8908 0 -1 1077944384 3 12973 0 0 0 0 5 3 20 0 15 0 232875562 11345952768 256882 33554432000 4194304 4196468 140723203057600 140407312739424 140409379145429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
[pid=12171/tid=12237] ppid=12168 vsize=11080032 memory=1027528 CPUtime=1.58 cores=0,2,4,6
/proc/12171/task/12237/stat : 12237 (java) S 12168 12171 8908 0 -1 1077944384 789 12973 0 0 75 75 5 3 20 0 15 0 232875563 11345952768 256882 33554432000 4194304 4196468 140723203057600 140408867977520 140409379146370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38490112 140723203066476 140723203069276 140723203069276 140723203071951 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1027528 KiB

Child status: 143
Real time (s): 2465.93
CPU time (s): 2520.1
CPU user time (s): 2516.3
CPU system time (s): 3.79847
CPU usage (%): 102.197
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 1027528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.3
system time used= 3.79847
maximum resident set size= 1029904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 301711
involuntary context switches= 9529


# summary of solver processes directly reported to runsolver:
#   pid: 12171
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.3
#   total CPU system time (s): 3.79847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5392 second user time and 24.9575 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 4304805

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