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.04	2466.14

0.98/0.75	c Concrete v3.8.1528841891564 running
41.53/29.34	o 24
41.53/29.37	o 23
41.83/29.40	o 22
41.83/29.42	o 21
41.83/29.45	o 20
41.83/29.48	o 19
41.83/29.49	o 18
42.14/29.51	o 17
2520.00/2466.11	Exception in thread "main" java.util.concurrent.TimeoutException
2520.00/2466.11		at concrete.MAC.mac(MAC.scala:188)
2520.00/2466.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2466.11		at scala.util.Try$.apply(Try.scala:209)
2520.00/2466.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2466.11		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2466.11		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2466.11		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2466.11		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2466.11		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2466.11		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2466.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2466.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2466.11		at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2466.11		at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2466.11		at concrete.MAC.nextSolution(MAC.scala:355)
2520.00/2466.11		at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2466.11		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2466.11		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2466.11		at concrete.Solver.foreach(Solver.scala:68)
2520.00/2466.11		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2466.11		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2466.11		at scala.util.Success.map(Try.scala:209)
2520.00/2466.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2466.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2466.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2466.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2466.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2466.11		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2466.11		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2466.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2466.11		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2466.11		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2466.11		at scala.App.main(App.scala:76)
2520.00/2466.11		at scala.App.main$(App.scala:74)
2520.00/2466.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2466.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2466.12	v <instantiation cost="17">
2520.00/2466.12	v       <list>
2520.00/2466.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.00/2466.12	v       </list>
2520.00/2466.12	v       <values>
2520.00/2466.12	v         3 3 1 11 11 11 2 2 9 10 10 1 1 0 8 8 9 9 1 8 9 6 7 0 0 0 6 9 11 6 11 5 4 8 8 10 5 3 7 6 5 10 7 7 0 4 4 4 4 3 3 6 1 2 2 1 3 5 1 6 0 10 2 7 0 5 7 7 5 6 5 5 6 5 5 5 5 5 17 17 17 17 17 17 17 17 17 17 17 17 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 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 1 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 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 4 0 0 1 0 0 0 0 0 0 0 0 0 0 0 4 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 3 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 4 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 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 3 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 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 2 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 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 2 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 4 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 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 4 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 0 4 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0
2520.00/2466.12	v       </values>
2520.00/2466.12	v     </instantiation>
2520.00/2466.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 (8533 MiB free)
  memory of node 1: 16384 MiB (11538 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296277-1532621454/watcher-4296277-1532621454 -o /tmp/evaluation-result-4296277-1532621454/solver-4296277-1532621454 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532621454-11758 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=216689594 HOME/instance-4296277-1532621454.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=11788, runsolver pid=11781

[startup+0.100133 s]*
/proc/loadavg: 0.97 1.33 1.40 4/198 11901
/proc/meminfo: memFree=20539188/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=9972712 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 4301 13067 0 0 1 0 5 3 20 0 6 0 79708551 10212057088 4137 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2493178 4137 1932 1 0 2481616 0
[pid=11788/tid=11893] ppid=11781 vsize=9972712 memory=-6517102902069810590 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 2121 13067 0 0 0 0 5 3 20 0 6 0 79708561 10212057088 4137 33554432000 4194304 4196468 140729759729408 140265526645328 140265538889054 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 6 0 79708561 10212057088 4137 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=9972712 memory=140346574608000 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 6 0 79708561 10212057088 4137 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 6 0 79708561 10212057088 4137 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 6 0 79708562 10212057088 4137 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB

[startup+0.2098 s]*
/proc/loadavg: 0.97 1.33 1.40 4/216 11919
/proc/meminfo: memFree=20499116/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10818904 memory=39276 CPUtime=0.26 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 7557 13067 0 0 16 2 5 3 20 0 15 0 79708551 11078557696 9819 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2704726 9819 2967 1 0 2667149 0
[pid=11788/tid=11893] ppid=11781 vsize=10818904 memory=-5576991679852610352 CPUtime=0.19 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 4144 13067 0 0 10 1 5 3 20 0 15 0 79708561 11078557696 9819 33554432000 4194304 4196468 140729759729408 140265526604608 140265535074352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10818904 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11078557696 9885 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10818904 memory=140346574608000 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708561 11078557696 9885 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11078557696 9885 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708562 11078557696 9885 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10818904 memory=140346574608000 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708563 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 33 13067 0 0 0 0 5 3 20 0 15 0 79708563 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264758367776 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708564 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264639292784 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 568 13067 0 0 1 0 5 3 20 0 15 0 79708566 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 54 13067 0 0 0 0 5 3 20 0 15 0 79708566 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10818904 memory=140346574608000 CPUtime=0.11 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 596 13067 0 0 3 0 5 3 20 0 15 0 79708566 11078557696 9885 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11078557696 9951 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10818904 memory=140346574608000 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708567 11078557696 9951 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 39276 KiB

[startup+0.310086 s]*
/proc/loadavg: 0.97 1.33 1.40 4/216 11919
/proc/meminfo: memFree=20476072/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10819352 memory=51932 CPUtime=0.38 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 10602 13067 0 0 27 3 5 3 20 0 15 0 79708551 11079016448 12983 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2704838 12983 3086 1 0 2667149 0
[pid=11788/tid=11893] ppid=11781 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 7133 13067 0 0 19 2 5 3 20 0 15 0 79708561 11079016448 12983 33554432000 4194304 4196468 140729759729408 140265526620576 140265538889054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10819352 memory=5787213827347079232 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 12983 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10819352 memory=7649399375742316849 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 13025 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10819352 memory=4294969504 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 13025 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708562 11079016448 13025 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708563 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 33 13067 0 0 0 0 5 3 20 0 15 0 79708563 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264758367776 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708564 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264639292784 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 569 13067 0 0 1 0 5 3 20 0 15 0 79708566 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 54 13067 0 0 1 0 5 3 20 0 15 0 79708566 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 606 13067 0 0 4 0 5 3 20 0 15 0 79708566 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708567 11079016448 13025 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51932 KiB

[startup+0.700809 s]
/proc/loadavg: 0.97 1.33 1.40 4/216 11919
/proc/meminfo: memFree=20453868/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10819352 memory=84484 CPUtime=0.98 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 16793 13067 0 0 86 4 5 3 20 0 15 0 79708551 11079016448 21121 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2704838 21121 3240 1 0 2667149 0
[pid=11788/tid=11893] ppid=11781 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 12235 13067 0 0 55 3 5 3 20 0 15 0 79708561 11079016448 21121 33554432000 4194304 4196468 140729759729408 140265526630608 140265536372119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 21121 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10819352 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 21121 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708561 11079016448 21121 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 79708562 11079016448 21121 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 5 13067 0 0 0 0 5 3 20 0 15 0 79708563 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 33 13067 0 0 0 0 5 3 20 0 15 0 79708563 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264758367776 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708564 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264639292784 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10819352 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 1193 13067 0 0 9 0 5 3 20 0 15 0 79708566 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10819352 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 445 13067 0 0 7 0 5 3 20 0 15 0 79708566 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 675 13067 0 0 13 0 5 3 20 0 15 0 79708566 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708567 11079016448 21121 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84484 KiB

[startup+1.50201 s]
/proc/loadavg: 0.97 1.33 1.40 5/216 11919
/proc/meminfo: memFree=20364988/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10834252 memory=175820 CPUtime=2.35 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 24139 13067 0 0 218 9 5 3 20 0 15 0 79708551 11094274048 43955 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2708563 43955 3469 1 0 2670221 0
[pid=11788/tid=11893] ppid=11781 vsize=10834252 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 17748 13067 0 0 129 5 5 3 20 0 15 0 79708561 11094274048 43955 33554432000 4194304 4196468 140729759729408 140265526626208 140265477865153 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 24 13067 0 0 1 0 5 3 20 0 15 0 79708561 11094274048 43955 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 16 13067 0 0 1 0 5 3 20 0 15 0 79708561 11094274048 43955 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10834252 memory=1399103955520229747 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 204 13067 0 0 1 0 5 3 20 0 15 0 79708561 11094274048 43955 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10834252 memory=280692890085632 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 61 13067 0 0 1 0 5 3 20 0 15 0 79708562 11094274048 43955 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 54 13067 0 0 1 0 5 3 20 0 15 0 79708563 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10834252 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 34 13067 0 0 0 0 5 3 20 0 15 0 79708563 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264758367840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10834252 memory=1704 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708564 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264639292800 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10834252 memory=9996 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10834252 memory=5792 CPUtime=0.3 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 1482 13067 0 0 22 0 5 3 20 0 15 0 79708566 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10834252 memory=1936 CPUtime=0.31 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 1010 13067 0 0 23 0 5 3 20 0 15 0 79708566 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10834252 memory=1196 CPUtime=0.42 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 1306 13067 0 0 34 0 5 3 20 0 15 0 79708566 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10834252 memory=8532 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10834252 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 79708567 11094274048 43955 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 10834252 KiB

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

/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 92179 13067 0 0 235462 52 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265526643920 140265141933191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.21 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 12780 13067 0 0 1157 56 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.19 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 21710 13067 0 0 1150 61 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10916192 memory=13898514172380 CPUtime=12.2 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 10612 13067 0 0 1158 54 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10916192 memory=56 CPUtime=12.21 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 12944 13067 0 0 1152 61 5 3 20 0 15 0 79708562 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10916192 memory=6944656592455360604 CPUtime=11.19 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 14323 13067 0 0 1057 54 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10916192 memory=23836 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 53 13067 0 0 0 0 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264758367840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10916192 memory=998584 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 7 13067 0 0 0 0 5 3 20 0 15 0 79708564 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264639292800 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10916192 memory=1000632 CPUtime=7.21 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 17020 13067 0 0 710 3 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10916192 memory=971508 CPUtime=8.12 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 23176 13067 0 0 799 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10916192 memory=1000632 CPUtime=3.42 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 21235 13067 0 0 329 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10916192 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10916192 memory=796 CPUtime=1.56 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 882 13067 0 0 71 77 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 2434.9 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1000632 KiB

[startup+2442.3 s]
/proc/loadavg: 1.24 1.30 1.35 4/216 11994
/proc/meminfo: memFree=18599124/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10916192 memory=1000632 CPUtime=2495.81 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 230406 13067 0 0 249205 368 5 3 20 0 15 0 79708551 11178180608 250158 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2729048 250158 3531 1 0 2690701 0
[pid=11788/tid=11893] ppid=11781 vsize=10916192 memory=1000632 CPUtime=2414.53 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 92817 13067 0 0 241393 52 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265526643168 140265142699097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.52 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 12844 13067 0 0 1187 57 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.5 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 21754 13067 0 0 1181 61 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.51 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 10964 13067 0 0 1188 55 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.52 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 12974 13067 0 0 1183 61 5 3 20 0 15 0 79708562 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10916192 memory=1000632 CPUtime=11.47 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 14476 13067 0 0 1083 56 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 53 13067 0 0 0 0 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264758367840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 7 13067 0 0 0 0 5 3 20 0 15 0 79708564 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264639292800 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10916192 memory=4136 CPUtime=7.21 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 17020 13067 0 0 710 3 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10916192 memory=1000632 CPUtime=8.13 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 23176 13067 0 0 800 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10916192 memory=1000632 CPUtime=3.42 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 21235 13067 0 0 329 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10916192 memory=1000632 CPUtime=1.59 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 888 13067 0 0 72 79 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 2495.81 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1000632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2466.11 s]
/proc/loadavg: 1.30 1.31 1.35 4/216 11995
/proc/meminfo: memFree=18597068/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10916192 memory=1000632 CPUtime=2520 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 230847 13067 0 0 251621 371 5 3 20 0 15 0 79708551 11178180608 250158 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2729048 250158 3531 1 0 2690701 0
[pid=11788/tid=11893] ppid=11781 vsize=10916192 memory=5792 CPUtime=2438.09 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 93068 13067 0 0 243748 53 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265526643120 140265126956264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.65 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 12895 13067 0 0 1199 58 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.63 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 21767 13067 0 0 1193 62 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.64 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 10971 13067 0 0 1200 56 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10916192 memory=1796 CPUtime=12.65 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 13015 13067 0 0 1195 62 5 3 20 0 15 0 79708562 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10916192 memory=1000632 CPUtime=11.58 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 14545 13067 0 0 1094 56 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 53 13067 0 0 0 0 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264758367840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 7 13067 0 0 0 0 5 3 20 0 15 0 79708564 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264639292800 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10916192 memory=1000632 CPUtime=7.21 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 17022 13067 0 0 710 3 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10916192 memory=1000632 CPUtime=8.13 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 23178 13067 0 0 800 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10916192 memory=4136 CPUtime=3.42 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 21237 13067 0 0 329 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10916192 memory=6791534058613427641 CPUtime=1.61 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 891 13067 0 0 73 80 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1000632 KiB

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

[startup+2466.14 s]
# the end of solver process 11788 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.28 s, system=3.76075 s

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

[startup+2466.11 s]
/proc/loadavg: 1.30 1.31 1.35 4/216 11995
/proc/meminfo: memFree=18597068/32770624 swapFree=67108860/67108860
[pid=11788] ppid=11781 vsize=10916192 memory=1000632 CPUtime=2520 cores=0,2,4,6
/proc/11788/stat : 11788 (java) S 11781 11788 8081 0 -1 1077944320 230847 13067 0 0 251621 371 5 3 20 0 15 0 79708551 11178180608 250158 33554432000 4194304 4196468 140729759729408 140729759711952 140265554808567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
/proc/11788/statm: 2729048 250158 3531 1 0 2690701 0
[pid=11788/tid=11893] ppid=11781 vsize=10916192 memory=5792 CPUtime=2438.09 cores=0,2,4,6
/proc/11788/task/11893/stat : 11893 (java) R 11781 11788 8081 0 -1 4202560 93068 13067 0 0 243748 53 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265526643120 140265126956264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11898] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.65 cores=0,2,4,6
/proc/11788/task/11898/stat : 11898 (java) S 11781 11788 8081 0 -1 1077944384 12895 13067 0 0 1199 58 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265559050896 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11899] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.63 cores=0,2,4,6
/proc/11788/task/11899/stat : 11899 (java) S 11781 11788 8081 0 -1 1077944384 21767 13067 0 0 1193 62 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265447324176 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11900] ppid=11781 vsize=10916192 memory=1000632 CPUtime=12.64 cores=0,2,4,6
/proc/11788/task/11900/stat : 11900 (java) S 11781 11788 8081 0 -1 1077944384 10971 13067 0 0 1200 56 5 3 20 0 15 0 79708561 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265446271376 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11901] ppid=11781 vsize=10916192 memory=1796 CPUtime=12.65 cores=0,2,4,6
/proc/11788/task/11901/stat : 11901 (java) S 11781 11788 8081 0 -1 1077944384 13015 13067 0 0 1195 62 5 3 20 0 15 0 79708562 11178180608 250158 33554432000 4194304 4196468 140729759729408 140265125832976 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11903] ppid=11781 vsize=10916192 memory=1000632 CPUtime=11.58 cores=0,2,4,6
/proc/11788/task/11903/stat : 11903 (java) S 11781 11788 8081 0 -1 1077944384 14545 13067 0 0 1094 56 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264759421808 140265554819714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11906] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11906/stat : 11906 (java) S 11781 11788 8081 0 -1 1077944384 53 13067 0 0 0 0 5 3 20 0 15 0 79708563 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264758367840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11907] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11907/stat : 11907 (java) S 11781 11788 8081 0 -1 1077944384 7 13067 0 0 0 0 5 3 20 0 15 0 79708564 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264639292800 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11913] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11913/stat : 11913 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264130566480 140265554827163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11914] ppid=11781 vsize=10916192 memory=1000632 CPUtime=7.21 cores=0,2,4,6
/proc/11788/task/11914/stat : 11914 (java) S 11781 11788 8081 0 -1 1077944384 17022 13067 0 0 710 3 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264724810096 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11915] ppid=11781 vsize=10916192 memory=1000632 CPUtime=8.13 cores=0,2,4,6
/proc/11788/task/11915/stat : 11915 (java) S 11781 11788 8081 0 -1 1077944384 23178 13067 0 0 800 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264723757296 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11916] ppid=11781 vsize=10916192 memory=4136 CPUtime=3.42 cores=0,2,4,6
/proc/11788/task/11916/stat : 11916 (java) S 11781 11788 8081 0 -1 1077944384 21237 13067 0 0 329 5 5 3 20 0 15 0 79708566 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264722704496 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11918] ppid=11781 vsize=10916192 memory=1000632 CPUtime=0.08 cores=0,2,4,6
/proc/11788/task/11918/stat : 11918 (java) S 11781 11788 8081 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264097007840 140265554818773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
[pid=11788/tid=11919] ppid=11781 vsize=10916192 memory=6791534058613427641 CPUtime=1.61 cores=0,2,4,6
/proc/11788/task/11919/stat : 11919 (java) S 11781 11788 8081 0 -1 1077944384 891 13067 0 0 73 80 5 3 20 0 15 0 79708567 11178180608 250158 33554432000 4194304 4196468 140729759729408 140264721652912 140265554819714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38969344 140729759738479 140729759741276 140729759741276 140729759743951 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1000632 KiB

Child status: 143
Real time (s): 2466.14
CPU time (s): 2520.04
CPU user time (s): 2516.28
CPU system time (s): 3.76075
CPU usage (%): 102.186
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 1000632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.28
system time used= 3.76075
maximum resident set size= 1004884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 304703
involuntary context switches= 8881


# summary of solver processes directly reported to runsolver:
#   pid: 11788
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2516.28
#   total CPU system time (s): 3.76075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2023 second user time and 22.8612 second system time

The end

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

Trace number 4296277

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