2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8 2018-06-13	SAT (TO)	17	2520.1	2467.14

0.99/0.74	c Concrete v3.8.1528841891564 running
9.22/4.39	o 20
9.85/4.50	o 19
9.85/4.55	o 18
10.18/4.60	o 17
2520.05/2467.11	Exception in thread "main" java.util.concurrent.TimeoutException
2520.05/2467.11		at concrete.MAC.mac(MAC.scala:188)
2520.05/2467.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2467.11		at scala.util.Try$.apply(Try.scala:209)
2520.05/2467.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2467.11		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2467.11		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2467.11		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2467.11		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2467.11		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2467.11		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2467.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2467.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2467.11		at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2467.11		at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2467.11		at concrete.MAC.nextSolution(MAC.scala:355)
2520.05/2467.11		at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2467.11		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2467.11		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2467.11		at concrete.Solver.foreach(Solver.scala:68)
2520.05/2467.11		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2467.11		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2467.11		at scala.util.Success.map(Try.scala:209)
2520.05/2467.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2467.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2467.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2467.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2467.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2467.11		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2467.11		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2467.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2467.11		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2467.11		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2467.11		at scala.App.main(App.scala:76)
2520.05/2467.11		at scala.App.main$(App.scala:74)
2520.05/2467.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2467.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2467.12	v <instantiation cost="17">
2520.05/2467.12	v       <list>
2520.05/2467.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.05/2467.12	v       </list>
2520.05/2467.12	v       <values>
2520.05/2467.12	v         11 10 11 11 8 9 3 6 8 5 5 0 3 5 6 5 4 4 2 7 4 10 3 0 6 2 10 11 11 7 9 7 9 2 3 9 1 8 2 9 1 10 6 2 7 0 6 1 6 4 8 11 4 3 5 7 1 10 1 11 0 8 0 10 0 11 6 5 5 5 5 5 6 5 5 5 6 8 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 3 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 4 0 0 0 0 0 1 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 0 3 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 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 3 0 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 4 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 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 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 3 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 4 0 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 4 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2
2520.05/2467.12	v       </values>
2520.05/2467.12	v     </instantiation>
2520.05/2467.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 (3744 MiB free)
  memory of node 1: 16384 MiB (6718 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296249-1532621144/watcher-4296249-1532621144 -o /tmp/evaluation-result-4296249-1532621144/solver-4296249-1532621144 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532618672-30869 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1809607950 HOME/instance-4296249-1532621144.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
Starting watchdog thread
solver pid=31326, runsolver pid=31323
Current StackSize limit: 8192 KiB


[startup+0.100122 s]*
/proc/loadavg: 1.51 1.33 1.33 4/206 31383
/proc/meminfo: memFree=10705092/32770624 swapFree=67108860/67108860
[pid=31326] ppid=31323 vsize=9972712 memory=17164 CPUtime=0.08 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31323 31326 30838 0 -1 1077944320 4467 13146 0 0 1 0 5 2 20 0 6 0 79677584 10212057088 4291 33554432000 4194304 4196468 140722936746560 140722936729104 140066206555895 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
/proc/31326/statm: 2493178 4291 1934 1 0 2481616 0
[pid=31326/tid=31379] ppid=31323 vsize=9972712 memory=4279135703980342926 CPUtime=0.08 cores=0,2,4,6
/proc/31326/task/31379/stat : 31379 (java) R 31323 31326 30838 0 -1 4202560 2273 13146 0 0 1 0 5 2 20 0 6 0 79677593 10212057088 4291 33554432000 4194304 4196468 140722936746560 140066178392656 140066184573136 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31380] ppid=31323 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31380/stat : 31380 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 6 0 79677593 10212057088 4291 33554432000 4194304 4196468 140722936746560 140066210797968 140066206566101 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31381] ppid=31323 vsize=9972712 memory=140612449031808 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31381/stat : 31381 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 6 0 79677593 10212057088 4291 33554432000 4194304 4196468 140722936746560 140065779820816 140066206566101 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31382] ppid=31323 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31382/stat : 31382 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 6 0 79677593 10212057088 4291 33554432000 4194304 4196468 140722936746560 140065778768528 140066206566101 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31383] ppid=31323 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31383/stat : 31383 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 6 0 79677593 10212057088 4291 33554432000 4194304 4196468 140722936746560 140065777715728 140066206566101 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17164 KiB

[startup+0.210643 s]*
/proc/loadavg: 1.51 1.33 1.33 6/215 31392
/proc/meminfo: memFree=10681408/32770624 swapFree=67108860/67108860
[pid=31326] ppid=31323 vsize=10818904 memory=47784 CPUtime=0.25 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31323 31326 30838 0 -1 1077944320 8159 13146 0 0 16 2 5 2 20 0 15 0 79677584 11078557696 11946 33554432000 4194304 4196468 140722936746560 140722936729104 140066206555895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
/proc/31326/statm: 2704726 11946 2956 1 0 2667149 0
[pid=31326/tid=31379] ppid=31323 vsize=10818904 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/31326/task/31379/stat : 31379 (java) R 31323 31326 30838 0 -1 4202560 4710 13146 0 0 10 1 5 2 20 0 15 0 79677593 11078557696 11946 33554432000 4194304 4196468 140722936746560 140066178373008 140066206567830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31380] ppid=31323 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31380/stat : 31380 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677593 11078557696 11946 33554432000 4194304 4196468 140722936746560 140066210797968 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31381] ppid=31323 vsize=10818904 memory=140612449031808 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31381/stat : 31381 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677593 11078557696 11946 33554432000 4194304 4196468 140722936746560 140065779820816 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31382] ppid=31323 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31382/stat : 31382 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677593 11078557696 11946 33554432000 4194304 4196468 140722936746560 140065778768528 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31383] ppid=31323 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31383/stat : 31383 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677593 11078557696 11946 33554432000 4194304 4196468 140722936746560 140065777715728 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31384] ppid=31323 vsize=10818904 memory=140612449031808 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31384/stat : 31384 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677595 11078557696 11946 33554432000 4194304 4196468 140722936746560 140065733139056 140066206567042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31385] ppid=31323 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31385/stat : 31385 (java) S 31323 31326 30838 0 -1 1077944384 13 13146 0 0 0 0 5 2 20 0 15 0 79677595 11078557696 11946 33554432000 4194304 4196468 140722936746560 140065661510944 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31386] ppid=31323 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31386/stat : 31386 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677596 11078557696 11946 33554432000 4194304 4196468 140722936746560 140065527293552 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31387] ppid=31323 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31387/stat : 31387 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677598 11078557696 11946 33554432000 4194304 4196468 140722936746560 140064923314768 140066206574491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31388] ppid=31323 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31326/task/31388/stat : 31388 (java) S 31323 31326 30838 0 -1 1077944384 552 13146 0 0 1 0 5 2 20 0 15 0 79677598 11078557696 11946 33554432000 4194304 4196468 140722936746560 140065732085872 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31389] ppid=31323 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31326/task/31389/stat : 31389 (java) R 31323 31326 30838 0 -1 1077944384 66 13146 0 0 1 0 5 2 20 0 15 0 79677598 11078557696 11946 33554432000 4194304 4196468 140722936746560 140065731033072 140066206567042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31390] ppid=31323 vsize=10818904 memory=140612449031808 CPUtime=0.1 cores=0,2,4,6
/proc/31326/task/31390/stat : 31390 (java) R 31323 31326 30838 0 -1 4202560 616 13146 0 0 3 0 5 2 20 0 15 0 79677598 11078557696 11946 33554432000 4194304 4196468 140722936746560 140065729980784 140066184924564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31391] ppid=31323 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31391/stat : 31391 (java) S 31323 31326 30838 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 79677599 11078557696 11946 33554432000 4194304 4196468 140722936746560 140064453552608 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31392] ppid=31323 vsize=10818904 memory=140612449031808 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31392/stat : 31392 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677599 11078557696 11946 33554432000 4194304 4196468 140722936746560 140065627954096 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 47784 KiB

[startup+0.310278 s]*
/proc/loadavg: 1.51 1.33 1.33 6/215 31392
/proc/meminfo: memFree=10662176/32770624 swapFree=67108860/67108860
[pid=31326] ppid=31323 vsize=10819352 memory=58684 CPUtime=0.38 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31323 31326 30838 0 -1 1077944320 10655 13146 0 0 28 3 5 2 20 0 15 0 79677584 11079016448 14671 33554432000 4194304 4196468 140722936746560 140722936729104 140066206555895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
/proc/31326/statm: 2704838 14671 3103 1 0 2667149 0
[pid=31326/tid=31379] ppid=31323 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/31326/task/31379/stat : 31379 (java) R 31323 31326 30838 0 -1 4202560 7195 13146 0 0 19 2 5 2 20 0 15 0 79677593 11079016448 14671 33554432000 4194304 4196468 140722936746560 140066178367904 140066206577821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31380] ppid=31323 vsize=10819352 memory=7445101439888674896 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31380/stat : 31380 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677593 11079016448 14671 33554432000 4194304 4196468 140722936746560 140066210797968 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31381] ppid=31323 vsize=10819352 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31381/stat : 31381 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677593 11079016448 14671 33554432000 4194304 4196468 140722936746560 140065779820816 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31382] ppid=31323 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31382/stat : 31382 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677593 11079016448 14671 33554432000 4194304 4196468 140722936746560 140065778768528 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31383] ppid=31323 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31383/stat : 31383 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677593 11079016448 14671 33554432000 4194304 4196468 140722936746560 140065777715728 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31384] ppid=31323 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31384/stat : 31384 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677595 11079016448 14671 33554432000 4194304 4196468 140722936746560 140065733139056 140066206567042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31385] ppid=31323 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31385/stat : 31385 (java) S 31323 31326 30838 0 -1 1077944384 13 13146 0 0 0 0 5 2 20 0 15 0 79677595 11079016448 14671 33554432000 4194304 4196468 140722936746560 140065661510944 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31386] ppid=31323 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31386/stat : 31386 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677596 11079016448 14671 33554432000 4194304 4196468 140722936746560 140065527293552 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31387] ppid=31323 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31387/stat : 31387 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677598 11079016448 14671 33554432000 4194304 4196468 140722936746560 140064923314768 140066206574491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31388] ppid=31323 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31326/task/31388/stat : 31388 (java) S 31323 31326 30838 0 -1 1077944384 552 13146 0 0 1 0 5 2 20 0 15 0 79677598 11079016448 14671 33554432000 4194304 4196468 140722936746560 140065732085872 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31389] ppid=31323 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31326/task/31389/stat : 31389 (java) S 31323 31326 30838 0 -1 1077944384 67 13146 0 0 1 0 5 2 20 0 15 0 79677598 11079016448 14671 33554432000 4194304 4196468 140722936746560 140065731033072 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31390] ppid=31323 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31326/task/31390/stat : 31390 (java) S 31323 31326 30838 0 -1 1077944384 625 13146 0 0 5 0 5 2 20 0 15 0 79677598 11079016448 14671 33554432000 4194304 4196468 140722936746560 140065729980784 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31391] ppid=31323 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31391/stat : 31391 (java) S 31323 31326 30838 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 79677599 11079016448 14671 33554432000 4194304 4196468 140722936746560 140064453552608 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31392] ppid=31323 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31392/stat : 31392 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677599 11079016448 14671 33554432000 4194304 4196468 140722936746560 140065627954096 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 58684 KiB

[startup+0.700774 s]
/proc/loadavg: 1.51 1.33 1.33 3/215 31392
/proc/meminfo: memFree=10650640/32770624 swapFree=67108860/67108860
[pid=31326] ppid=31323 vsize=10819352 memory=90692 CPUtime=0.99 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31323 31326 30838 0 -1 1077944320 16769 13146 0 0 87 5 5 2 20 0 15 0 79677584 11079016448 22673 33554432000 4194304 4196468 140722936746560 140722936729104 140066206555895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
/proc/31326/statm: 2704838 22673 3244 1 0 2667149 0
[pid=31326/tid=31379] ppid=31323 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/31326/task/31379/stat : 31379 (java) R 31323 31326 30838 0 -1 4202560 12286 13146 0 0 56 3 5 2 20 0 15 0 79677593 11079016448 22673 33554432000 4194304 4196468 140722936746560 140066178376720 140066188119424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31380] ppid=31323 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31380/stat : 31380 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677593 11079016448 22673 33554432000 4194304 4196468 140722936746560 140066210797968 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31381] ppid=31323 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31381/stat : 31381 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677593 11079016448 22673 33554432000 4194304 4196468 140722936746560 140065779820816 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31382] ppid=31323 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31382/stat : 31382 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677593 11079016448 22673 33554432000 4194304 4196468 140722936746560 140065778768528 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31383] ppid=31323 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31383/stat : 31383 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677593 11079016448 22673 33554432000 4194304 4196468 140722936746560 140065777715728 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31384] ppid=31323 vsize=10819352 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31384/stat : 31384 (java) S 31323 31326 30838 0 -1 1077944384 5 13146 0 0 0 0 5 2 20 0 15 0 79677595 11079016448 22673 33554432000 4194304 4196468 140722936746560 140065733139056 140066206567042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31385] ppid=31323 vsize=10819352 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31385/stat : 31385 (java) S 31323 31326 30838 0 -1 1077944384 13 13146 0 0 0 0 5 2 20 0 15 0 79677595 11079016448 22673 33554432000 4194304 4196468 140722936746560 140065661510944 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31386] ppid=31323 vsize=10819352 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31386/stat : 31386 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677596 11079016448 22673 33554432000 4194304 4196468 140722936746560 140065527293552 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31387] ppid=31323 vsize=10819352 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31387/stat : 31387 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677598 11079016448 22673 33554432000 4194304 4196468 140722936746560 140064923314768 140066206574491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31388] ppid=31323 vsize=10819352 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/31326/task/31388/stat : 31388 (java) S 31323 31326 30838 0 -1 1077944384 1188 13146 0 0 10 0 5 2 20 0 15 0 79677598 11079016448 22673 33554432000 4194304 4196468 140722936746560 140065732085872 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31389] ppid=31323 vsize=10819352 memory=15460 CPUtime=0.13 cores=0,2,4,6
/proc/31326/task/31389/stat : 31389 (java) S 31323 31326 30838 0 -1 1077944384 404 13146 0 0 6 0 5 2 20 0 15 0 79677598 11079016448 22673 33554432000 4194304 4196468 140722936746560 140065731033072 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31390] ppid=31323 vsize=10819352 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/31326/task/31390/stat : 31390 (java) S 31323 31326 30838 0 -1 1077944384 672 13146 0 0 13 0 5 2 20 0 15 0 79677598 11079016448 22673 33554432000 4194304 4196468 140722936746560 140065729980784 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31391] ppid=31323 vsize=10819352 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31391/stat : 31391 (java) S 31323 31326 30838 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 79677599 11079016448 22673 33554432000 4194304 4196468 140722936746560 140064453552608 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31392] ppid=31323 vsize=10819352 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31392/stat : 31392 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677599 11079016448 22673 33554432000 4194304 4196468 140722936746560 140065627954096 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90692 KiB

[startup+1.50076 s]
/proc/loadavg: 1.51 1.33 1.33 3/215 31392
/proc/meminfo: memFree=10555380/32770624 swapFree=67108860/67108860
[pid=31326] ppid=31323 vsize=10834252 memory=181688 CPUtime=2.35 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31323 31326 30838 0 -1 1077944320 24183 13146 0 0 218 10 5 2 20 0 15 0 79677584 11094274048 45422 33554432000 4194304 4196468 140722936746560 140722936729104 140066206555895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
/proc/31326/statm: 2708563 45422 3470 1 0 2670221 0
[pid=31326/tid=31379] ppid=31323 vsize=10834252 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/31326/task/31379/stat : 31379 (java) R 31323 31326 30838 0 -1 4202560 17770 13146 0 0 130 5 5 2 20 0 15 0 79677593 11094274048 45422 33554432000 4194304 4196468 140722936746560 140066178385824 140066198793022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31380] ppid=31323 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31326/task/31380/stat : 31380 (java) S 31323 31326 30838 0 -1 1077944384 181 13146 0 0 1 0 5 2 20 0 15 0 79677593 11094274048 45422 33554432000 4194304 4196468 140722936746560 140066210797968 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31381] ppid=31323 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31326/task/31381/stat : 31381 (java) S 31323 31326 30838 0 -1 1077944384 21 13146 0 0 1 0 5 2 20 0 15 0 79677593 11094274048 45457 33554432000 4194304 4196468 140722936746560 140065779820816 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31382] ppid=31323 vsize=10834252 memory=3611949788955226161 CPUtime=0.08 cores=0,2,4,6
/proc/31326/task/31382/stat : 31382 (java) S 31323 31326 30838 0 -1 1077944384 53 13146 0 0 1 0 5 2 20 0 15 0 79677593 11094274048 45457 33554432000 4194304 4196468 140722936746560 140065778768528 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31383] ppid=31323 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31326/task/31383/stat : 31383 (java) S 31323 31326 30838 0 -1 1077944384 38 13146 0 0 1 0 5 2 20 0 15 0 79677593 11094274048 45457 33554432000 4194304 4196468 140722936746560 140065777715728 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31384] ppid=31323 vsize=10834252 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/31326/task/31384/stat : 31384 (java) S 31323 31326 30838 0 -1 1077944384 73 13146 0 0 1 0 5 2 20 0 15 0 79677595 11094274048 45457 33554432000 4194304 4196468 140722936746560 140065733139056 140066206567042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31385] ppid=31323 vsize=10834252 memory=281224660723968 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31385/stat : 31385 (java) S 31323 31326 30838 0 -1 1077944384 14 13146 0 0 0 0 5 2 20 0 15 0 79677595 11094274048 45457 33554432000 4194304 4196468 140722936746560 140065661511008 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31386] ppid=31323 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31386/stat : 31386 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677596 11094274048 45457 33554432000 4194304 4196468 140722936746560 140065527293568 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31387] ppid=31323 vsize=10834252 memory=5672 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31387/stat : 31387 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677598 11094274048 45457 33554432000 4194304 4196468 140722936746560 140064923314768 140066206574491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31388] ppid=31323 vsize=10834252 memory=4616 CPUtime=0.31 cores=0,2,4,6
/proc/31326/task/31388/stat : 31388 (java) S 31323 31326 30838 0 -1 1077944384 1656 13146 0 0 24 0 5 2 20 0 15 0 79677598 11094274048 45457 33554432000 4194304 4196468 140722936746560 140065732085872 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31389] ppid=31323 vsize=10834252 memory=1232 CPUtime=0.28 cores=0,2,4,6
/proc/31326/task/31389/stat : 31389 (java) S 31323 31326 30838 0 -1 1077944384 835 13146 0 0 21 0 5 2 20 0 15 0 79677598 11094274048 45457 33554432000 4194304 4196468 140722936746560 140065731033072 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31390] ppid=31323 vsize=10834252 memory=12036 CPUtime=0.42 cores=0,2,4,6
/proc/31326/task/31390/stat : 31390 (java) S 31323 31326 30838 0 -1 1077944384 1347 13146 0 0 35 0 5 2 20 0 15 0 79677598 11094274048 45457 33554432000 4194304 4196468 140722936746560 140065729980784 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31391] ppid=31323 vsize=10834252 memory=1724 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31391/stat : 31391 (java) S 31323 31326 30838 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 79677599 11094274048 45457 33554432000 4194304 4196468 140722936746560 140064453552608 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31392] ppid=31323 vsize=10834252 memory=8556 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31392/stat : 31392 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677599 11094274048 45457 33554432000 4194304 4196468 140722936746560 140065627954096 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
Current children cumulated CPU time: 2.35 s

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

/proc/31326/task/31379/stat : 31379 (java) R 31323 31326 30838 0 -1 4202560 95343 13146 0 0 235479 54 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140066178390720 140065818160039 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31380] ppid=31323 vsize=10916192 memory=1016000 CPUtime=11.77 cores=0,2,4,6
/proc/31326/task/31380/stat : 31380 (java) S 31323 31326 30838 0 -1 1077944384 13939 13146 0 0 1109 61 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140066210797968 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31381] ppid=31323 vsize=10916192 memory=1016000 CPUtime=11.82 cores=0,2,4,6
/proc/31326/task/31381/stat : 31381 (java) S 31323 31326 30838 0 -1 1077944384 26444 13146 0 0 1115 60 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065779820816 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31382] ppid=31323 vsize=10916192 memory=1016000 CPUtime=11.77 cores=0,2,4,6
/proc/31326/task/31382/stat : 31382 (java) S 31323 31326 30838 0 -1 1077944384 20977 13146 0 0 1112 58 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065778768528 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31383] ppid=31323 vsize=10916192 memory=1016000 CPUtime=11.76 cores=0,2,4,6
/proc/31326/task/31383/stat : 31383 (java) S 31323 31326 30838 0 -1 1077944384 18361 13146 0 0 1113 56 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065777715728 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31384] ppid=31323 vsize=10916192 memory=1016000 CPUtime=11.98 cores=0,2,4,6
/proc/31326/task/31384/stat : 31384 (java) S 31323 31326 30838 0 -1 1077944384 18488 13146 0 0 1140 51 5 2 20 0 15 0 79677595 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065733139056 140066206567042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31385] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31385/stat : 31385 (java) S 31323 31326 30838 0 -1 1077944384 14 13146 0 0 0 0 5 2 20 0 15 0 79677595 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065661511008 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31386] ppid=31323 vsize=10916192 memory=1013952 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31386/stat : 31386 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677596 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065527293568 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31387] ppid=31323 vsize=10916192 memory=15872 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31387/stat : 31387 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140064923314768 140066206574491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31388] ppid=31323 vsize=10916192 memory=56 CPUtime=7.44 cores=0,2,4,6
/proc/31326/task/31388/stat : 31388 (java) S 31323 31326 30838 0 -1 1077944384 22096 13146 0 0 733 4 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065732085872 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31389] ppid=31323 vsize=10916192 memory=1016000 CPUtime=7.54 cores=0,2,4,6
/proc/31326/task/31389/stat : 31389 (java) S 31323 31326 30838 0 -1 1077944384 23567 13146 0 0 743 4 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065731033072 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31390] ppid=31323 vsize=10916192 memory=1016000 CPUtime=3.41 cores=0,2,4,6
/proc/31326/task/31390/stat : 31390 (java) S 31323 31326 30838 0 -1 1077944384 24424 13146 0 0 329 5 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065729980784 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31391] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31391/stat : 31391 (java) S 31323 31326 30838 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 79677599 11178180608 254000 33554432000 4194304 4196468 140722936746560 140064453552608 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31392] ppid=31323 vsize=10916192 memory=4140 CPUtime=1.58 cores=0,2,4,6
/proc/31326/task/31392/stat : 31392 (java) S 31323 31326 30838 0 -1 1077944384 1046 13146 0 0 74 77 5 2 20 0 15 0 79677599 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065627954096 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
Current children cumulated CPU time: 2433.94 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1016000 KiB

[startup+2442.3 s]
/proc/loadavg: 1.33 1.38 1.36 3/215 31467
/proc/meminfo: memFree=8606724/32770624 swapFree=67108860/67108860
[pid=31326] ppid=31323 vsize=10916192 memory=1016000 CPUtime=2494.85 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31323 31326 30838 0 -1 1077944320 268387 13146 0 0 249106 372 5 2 20 0 15 0 79677584 11178180608 254000 33554432000 4194304 4196468 140722936746560 140722936729104 140066206555895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
/proc/31326/statm: 2729048 254000 3532 1 0 2690701 0
[pid=31326/tid=31379] ppid=31323 vsize=10916192 memory=1016000 CPUtime=2414.68 cores=0,2,4,6
/proc/31326/task/31379/stat : 31379 (java) R 31323 31326 30838 0 -1 4202560 96053 13146 0 0 241406 55 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140066178390688 140065821879038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31380] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.09 cores=0,2,4,6
/proc/31326/task/31380/stat : 31380 (java) S 31323 31326 30838 0 -1 1077944384 14016 13146 0 0 1139 63 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140066210797968 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31381] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.14 cores=0,2,4,6
/proc/31326/task/31381/stat : 31381 (java) S 31323 31326 30838 0 -1 1077944384 26489 13146 0 0 1146 61 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065779820816 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31382] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.09 cores=0,2,4,6
/proc/31326/task/31382/stat : 31382 (java) S 31323 31326 30838 0 -1 1077944384 21345 13146 0 0 1142 60 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065778768528 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31383] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.07 cores=0,2,4,6
/proc/31326/task/31383/stat : 31383 (java) S 31323 31326 30838 0 -1 1077944384 18429 13146 0 0 1143 57 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065777715728 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31384] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.3 cores=0,2,4,6
/proc/31326/task/31384/stat : 31384 (java) S 31323 31326 30838 0 -1 1077944384 18699 13146 0 0 1170 53 5 2 20 0 15 0 79677595 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065733139056 140066206567042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31385] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31385/stat : 31385 (java) S 31323 31326 30838 0 -1 1077944384 14 13146 0 0 0 0 5 2 20 0 15 0 79677595 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065661511008 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31386] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31386/stat : 31386 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677596 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065527293568 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31387] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31387/stat : 31387 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140064923314768 140066206574491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31388] ppid=31323 vsize=10916192 memory=1016000 CPUtime=7.44 cores=0,2,4,6
/proc/31326/task/31388/stat : 31388 (java) S 31323 31326 30838 0 -1 1077944384 22098 13146 0 0 733 4 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065732085872 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31389] ppid=31323 vsize=10916192 memory=1016000 CPUtime=7.54 cores=0,2,4,6
/proc/31326/task/31389/stat : 31389 (java) S 31323 31326 30838 0 -1 1077944384 23569 13146 0 0 743 4 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065731033072 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31390] ppid=31323 vsize=10916192 memory=1016000 CPUtime=3.41 cores=0,2,4,6
/proc/31326/task/31390/stat : 31390 (java) S 31323 31326 30838 0 -1 1077944384 24426 13146 0 0 329 5 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065729980784 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31391] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31391/stat : 31391 (java) S 31323 31326 30838 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 79677599 11178180608 254000 33554432000 4194304 4196468 140722936746560 140064453552608 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31392] ppid=31323 vsize=10916192 memory=2620 CPUtime=1.62 cores=0,2,4,6
/proc/31326/task/31392/stat : 31392 (java) S 31323 31326 30838 0 -1 1077944384 1054 13146 0 0 76 79 5 2 20 0 15 0 79677599 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065627954096 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
Current children cumulated CPU time: 2494.85 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1016000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2467.11 s]
/proc/loadavg: 1.25 1.37 1.36 2/194 31518
/proc/meminfo: memFree=10126748/32770624 swapFree=67108860/67108860
[pid=31326] ppid=31323 vsize=10916192 memory=1016000 CPUtime=2520.05 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31323 31326 30838 0 -1 1077944320 269091 13146 0 0 251623 375 5 2 20 0 15 0 79677584 11178180608 254000 33554432000 4194304 4196468 140722936746560 140722936729104 140066206555895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
/proc/31326/statm: 2729048 254000 3532 1 0 2690701 0
[pid=31326/tid=31379] ppid=31323 vsize=10916192 memory=1836 CPUtime=2439.19 cores=0,2,4,6
/proc/31326/task/31379/stat : 31379 (java) R 31323 31326 30838 0 -1 4202560 96396 13146 0 0 243857 55 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140066178391504 140065826428174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31380] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.22 cores=0,2,4,6
/proc/31326/task/31380/stat : 31380 (java) S 31323 31326 30838 0 -1 1077944384 14053 13146 0 0 1152 63 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140066210797968 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31381] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.28 cores=0,2,4,6
/proc/31326/task/31381/stat : 31381 (java) S 31323 31326 30838 0 -1 1077944384 26526 13146 0 0 1159 62 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065779820816 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31382] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.22 cores=0,2,4,6
/proc/31326/task/31382/stat : 31382 (java) S 31323 31326 30838 0 -1 1077944384 21371 13146 0 0 1154 61 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065778768528 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31383] ppid=31323 vsize=10916192 memory=65 CPUtime=12.21 cores=0,2,4,6
/proc/31326/task/31383/stat : 31383 (java) S 31323 31326 30838 0 -1 1077944384 18491 13146 0 0 1156 58 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065777715728 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31384] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.43 cores=0,2,4,6
/proc/31326/task/31384/stat : 31384 (java) S 31323 31326 30838 0 -1 1077944384 18877 13146 0 0 1183 53 5 2 20 0 15 0 79677595 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065733139056 140066206567042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31385] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31385/stat : 31385 (java) S 31323 31326 30838 0 -1 1077944384 14 13146 0 0 0 0 5 2 20 0 15 0 79677595 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065661511008 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31386] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31386/stat : 31386 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677596 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065527293568 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31387] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31387/stat : 31387 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140064923314768 140066206574491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31388] ppid=31323 vsize=10916192 memory=1016000 CPUtime=7.44 cores=0,2,4,6
/proc/31326/task/31388/stat : 31388 (java) S 31323 31326 30838 0 -1 1077944384 22100 13146 0 0 733 4 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065732085872 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31389] ppid=31323 vsize=10916192 memory=1016000 CPUtime=7.54 cores=0,2,4,6
/proc/31326/task/31389/stat : 31389 (java) S 31323 31326 30838 0 -1 1077944384 23571 13146 0 0 743 4 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065731033072 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31390] ppid=31323 vsize=10916192 memory=1296 CPUtime=3.41 cores=0,2,4,6
/proc/31326/task/31390/stat : 31390 (java) S 31323 31326 30838 0 -1 1077944384 24428 13146 0 0 329 5 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065729980784 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31391] ppid=31323 vsize=10916192 memory=2412 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31391/stat : 31391 (java) S 31323 31326 30838 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 79677599 11178180608 254000 33554432000 4194304 4196468 140722936746560 140064453552608 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31392] ppid=31323 vsize=10916192 memory=1016000 CPUtime=1.64 cores=0,2,4,6
/proc/31326/task/31392/stat : 31392 (java) S 31323 31326 30838 0 -1 1077944384 1069 13146 0 0 77 80 5 2 20 0 15 0 79677599 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065627954096 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1016000 KiB

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

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

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

[startup+2467.11 s]
/proc/loadavg: 1.25 1.37 1.36 2/194 31518
/proc/meminfo: memFree=10126748/32770624 swapFree=67108860/67108860
[pid=31326] ppid=31323 vsize=10916192 memory=1016000 CPUtime=2520.05 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31323 31326 30838 0 -1 1077944320 269091 13146 0 0 251623 375 5 2 20 0 15 0 79677584 11178180608 254000 33554432000 4194304 4196468 140722936746560 140722936729104 140066206555895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
/proc/31326/statm: 2729048 254000 3532 1 0 2690701 0
[pid=31326/tid=31379] ppid=31323 vsize=10916192 memory=1836 CPUtime=2439.19 cores=0,2,4,6
/proc/31326/task/31379/stat : 31379 (java) R 31323 31326 30838 0 -1 4202560 96396 13146 0 0 243857 55 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140066178391504 140065826428174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31380] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.22 cores=0,2,4,6
/proc/31326/task/31380/stat : 31380 (java) S 31323 31326 30838 0 -1 1077944384 14053 13146 0 0 1152 63 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140066210797968 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31381] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.28 cores=0,2,4,6
/proc/31326/task/31381/stat : 31381 (java) S 31323 31326 30838 0 -1 1077944384 26526 13146 0 0 1159 62 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065779820816 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31382] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.22 cores=0,2,4,6
/proc/31326/task/31382/stat : 31382 (java) S 31323 31326 30838 0 -1 1077944384 21371 13146 0 0 1154 61 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065778768528 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31383] ppid=31323 vsize=10916192 memory=65 CPUtime=12.21 cores=0,2,4,6
/proc/31326/task/31383/stat : 31383 (java) S 31323 31326 30838 0 -1 1077944384 18491 13146 0 0 1156 58 5 2 20 0 15 0 79677593 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065777715728 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31384] ppid=31323 vsize=10916192 memory=1016000 CPUtime=12.43 cores=0,2,4,6
/proc/31326/task/31384/stat : 31384 (java) S 31323 31326 30838 0 -1 1077944384 18877 13146 0 0 1183 53 5 2 20 0 15 0 79677595 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065733139056 140066206567042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31385] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31385/stat : 31385 (java) S 31323 31326 30838 0 -1 1077944384 14 13146 0 0 0 0 5 2 20 0 15 0 79677595 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065661511008 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31386] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31386/stat : 31386 (java) S 31323 31326 30838 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 79677596 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065527293568 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31387] ppid=31323 vsize=10916192 memory=1016000 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31387/stat : 31387 (java) S 31323 31326 30838 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140064923314768 140066206574491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31388] ppid=31323 vsize=10916192 memory=1016000 CPUtime=7.44 cores=0,2,4,6
/proc/31326/task/31388/stat : 31388 (java) S 31323 31326 30838 0 -1 1077944384 22100 13146 0 0 733 4 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065732085872 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31389] ppid=31323 vsize=10916192 memory=1016000 CPUtime=7.54 cores=0,2,4,6
/proc/31326/task/31389/stat : 31389 (java) S 31323 31326 30838 0 -1 1077944384 23571 13146 0 0 743 4 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065731033072 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31390] ppid=31323 vsize=10916192 memory=1296 CPUtime=3.41 cores=0,2,4,6
/proc/31326/task/31390/stat : 31390 (java) S 31323 31326 30838 0 -1 1077944384 24428 13146 0 0 329 5 5 2 20 0 15 0 79677598 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065729980784 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31391] ppid=31323 vsize=10916192 memory=2412 CPUtime=0.07 cores=0,2,4,6
/proc/31326/task/31391/stat : 31391 (java) S 31323 31326 30838 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 79677599 11178180608 254000 33554432000 4194304 4196468 140722936746560 140064453552608 140066206566101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
[pid=31326/tid=31392] ppid=31323 vsize=10916192 memory=1016000 CPUtime=1.64 cores=0,2,4,6
/proc/31326/task/31392/stat : 31392 (java) S 31323 31326 30838 0 -1 1077944384 1069 13146 0 0 77 80 5 2 20 0 15 0 79677599 11178180608 254000 33554432000 4194304 4196468 140722936746560 140065627954096 140066206567042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27725824 140722936748654 140722936751452 140722936751452 140722936754127 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1016000 KiB

Child status: 143
Real time (s): 2467.14
CPU time (s): 2520.1
CPU user time (s): 2516.3
CPU system time (s): 3.79761
CPU usage (%): 102.147
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 1016000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.3
system time used= 3.79761
maximum resident set size= 1020276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283404
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 297744
involuntary context switches= 9321


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5584 second user time and 24.0345 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 4296249

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