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

0.98/0.74	c Concrete v3.8.1528841891564 running
10.09/4.62	o 24
10.40/4.80	o 23
10.40/4.80	o 22
10.74/4.89	o 21
11.08/4.94	o 20
11.38/5.10	o 19
11.68/5.14	o 18
1282.51/1249.37	o 17
2520.07/2468.41	Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2468.41		at concrete.MAC.mac(MAC.scala:188)
2520.07/2468.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2468.41		at scala.util.Try$.apply(Try.scala:209)
2520.07/2468.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2468.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2468.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2468.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2468.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2468.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2468.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2468.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2468.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2468.41		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2468.41		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2468.41		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2468.41		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2468.41		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2468.41		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2468.41		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2468.41		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2468.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2468.41		at scala.util.Success.map(Try.scala:209)
2520.07/2468.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2468.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2468.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2468.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2468.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2468.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2468.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2468.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2468.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2468.41		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2468.41		at scala.App.main(App.scala:76)
2520.07/2468.41		at scala.App.main$(App.scala:74)
2520.07/2468.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2468.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2468.42	v <instantiation cost="17">
2520.07/2468.42	v       <list>
2520.07/2468.42	v         prd[0] prd[1] prd[2] prd[3] prd[4] prd[5] prd[6] prd[7] prd[8] prd[9] prd[10] prd[11] prd[12] prd[13] prd[14] prd[15] prd[16] prd[17] prd[18] prd[19] prd[20] prd[21] prd[22] prd[23] prd[24] prd[25] prd[26] prd[27] prd[28] prd[29] prd[30] prd[31] prd[32] prd[33] prd[34] prd[35] prd[36] prd[37] prd[38] prd[39] prd[40] prd[41] prd[42] prd[43] prd[44] prd[45] prd[46] prd[47] prd[48] prd[49] prd[50] prd[51] prd[52] prd[53] prd[54] prd[55] prd[56] prd[57] prd[58] prd[59] prd[60] prd[61] prd[62] prd[63] prd[64] prd[65] nco[0] nco[1] nco[2] nco[3] nco[4] nco[5] nco[6] nco[7] nco[8] nco[9] nco[10] nco[11] ncr[0] ncr[1] ncr[2] ncr[3] ncr[4] ncr[5] ncr[6] ncr[7] ncr[8] ncr[9] ncr[10] ncr[11] cp[0][0] cp[0][1] cp[0][2] cp[0][3] cp[0][4] cp[0][5] cp[0][6] cp[0][7] cp[0][8] cp[0][9] cp[0][10] cp[0][11] cp[1][0] cp[1][1] cp[1][2] cp[1][3] cp[1][4] cp[1][5] cp[1][6] cp[1][7] cp[1][8] cp[1][9] cp[1][10] cp[1][11] cp[2][0] cp[2][1] cp[2][2] cp[2][3] cp[2][4] cp[2][5] cp[2][6] cp[2][7] cp[2][8] cp[2][9] cp[2][10] cp[2][11] cp[3][0] cp[3][1] cp[3][2] cp[3][3] cp[3][4] cp[3][5] cp[3][6] cp[3][7] cp[3][8] cp[3][9] cp[3][10] cp[3][11] cp[4][0] cp[4][1] cp[4][2] cp[4][3] cp[4][4] cp[4][5] cp[4][6] cp[4][7] cp[4][8] cp[4][9] cp[4][10] cp[4][11] cp[5][0] cp[5][1] cp[5][2] cp[5][3] cp[5][4] cp[5][5] cp[5][6] cp[5][7] cp[5][8] cp[5][9] cp[5][10] cp[5][11] cp[6][0] cp[6][1] cp[6][2] cp[6][3] cp[6][4] cp[6][5] cp[6][6] cp[6][7] cp[6][8] cp[6][9] cp[6][10] cp[6][11] cp[7][0] cp[7][1] cp[7][2] cp[7][3] cp[7][4] cp[7][5] cp[7][6] cp[7][7] cp[7][8] cp[7][9] cp[7][10] cp[7][11] cp[8][0] cp[8][1] cp[8][2] cp[8][3] cp[8][4] cp[8][5] cp[8][6] cp[8][7] cp[8][8] cp[8][9] cp[8][10] cp[8][11] cp[9][0] cp[9][1] cp[9][2] cp[9][3] cp[9][4] cp[9][5] cp[9][6] cp[9][7] cp[9][8] cp[9][9] cp[9][10] cp[9][11] cp[10][0] cp[10][1] cp[10][2] cp[10][3] cp[10][4] cp[10][5] cp[10][6] cp[10][7] cp[10][8] cp[10][9] cp[10][10] cp[10][11] cp[11][0] cp[11][1] cp[11][2] cp[11][3] cp[11][4] cp[11][5] cp[11][6] cp[11][7] cp[11][8] cp[11][9] cp[11][10] cp[11][11] cp[12][0] cp[12][1] cp[12][2] cp[12][3] cp[12][4] cp[12][5] cp[12][6] cp[12][7] cp[12][8] cp[12][9] cp[12][10] cp[12][11] cp[13][0] cp[13][1] cp[13][2] cp[13][3] cp[13][4] cp[13][5] cp[13][6] cp[13][7] cp[13][8] cp[13][9] cp[13][10] cp[13][11] cp[14][0] cp[14][1] cp[14][2] cp[14][3] cp[14][4] cp[14][5] cp[14][6] cp[14][7] cp[14][8] cp[14][9] cp[14][10] cp[14][11] cp[15][0] cp[15][1] cp[15][2] cp[15][3] cp[15][4] cp[15][5] cp[15][6] cp[15][7] cp[15][8] cp[15][9] cp[15][10] cp[15][11] cp[16][0] cp[16][1] cp[16][2] cp[16][3] cp[16][4] cp[16][5] cp[16][6] cp[16][7] cp[16][8] cp[16][9] cp[16][10] cp[16][11] cp[17][0] cp[17][1] cp[17][2] cp[17][3] cp[17][4] cp[17][5] cp[17][6] cp[17][7] cp[17][8] cp[17][9] cp[17][10] cp[17][11] cp[18][0] cp[18][1] cp[18][2] cp[18][3] cp[18][4] cp[18][5] cp[18][6] cp[18][7] cp[18][8] cp[18][9] cp[18][10] cp[18][11] cp[19][0] cp[19][1] cp[19][2] cp[19][3] cp[19][4] cp[19][5] cp[19][6] cp[19][7] cp[19][8] cp[19][9] cp[19][10] cp[19][11] cp[20][0] cp[20][1] cp[20][2] cp[20][3] cp[20][4] cp[20][5] cp[20][6] cp[20][7] cp[20][8] cp[20][9] cp[20][10] cp[20][11] cp[21][0] cp[21][1] cp[21][2] cp[21][3] cp[21][4] cp[21][5] cp[21][6] cp[21][7] cp[21][8] cp[21][9] cp[21][10] cp[21][11] cp[22][0] cp[22][1] cp[22][2] cp[22][3] cp[22][4] cp[22][5] cp[22][6] cp[22][7] cp[22][8] cp[22][9] cp[22][10] cp[22][11] cp[23][0] cp[23][1] cp[23][2] cp[23][3] cp[23][4] cp[23][5] cp[23][6] cp[23][7] cp[23][8] cp[23][9] cp[23][10] cp[23][11] cp[24][0] cp[24][1] cp[24][2] cp[24][3] cp[24][4] cp[24][5] cp[24][6] cp[24][7] cp[24][8] cp[24][9] cp[24][10] cp[24][11] cp[25][0] cp[25][1] cp[25][2] cp[25][3] cp[25][4] cp[25][5] cp[25][6] cp[25][7] cp[25][8] cp[25][9] cp[25][10] cp[25][11] cp[26][0] cp[26][1] cp[26][2] cp[26][3] cp[26][4] cp[26][5] cp[26][6] cp[26][7] cp[26][8] cp[26][9] cp[26][10] cp[26][11] cp[27][0] cp[27][1] cp[27][2] cp[27][3] cp[27][4] cp[27][5] cp[27][6] cp[27][7] cp[27][8] cp[27][9] cp[27][10] cp[27][11] cp[28][0] cp[28][1] cp[28][2] cp[28][3] cp[28][4] cp[28][5] cp[28][6] cp[28][7] cp[28][8] cp[28][9] cp[28][10] cp[28][11] cp[29][0] cp[29][1] cp[29][2] cp[29][3] cp[29][4] cp[29][5] cp[29][6] cp[29][7] cp[29][8] cp[29][9] cp[29][10] cp[29][11] cp[30][0] cp[30][1] cp[30][2] cp[30][3] cp[30][4] cp[30][5] cp[30][6] cp[30][7] cp[30][8] cp[30][9] cp[30][10] cp[30][11] cp[31][0] cp[31][1] cp[31][2] cp[31][3] cp[31][4] cp[31][5] cp[31][6] cp[31][7] cp[31][8] cp[31][9] cp[31][10] cp[31][11] cp[32][0] cp[32][1] cp[32][2] cp[32][3] cp[32][4] cp[32][5] cp[32][6] cp[32][7] cp[32][8] cp[32][9] cp[32][10] cp[32][11] cp[33][0] cp[33][1] cp[33][2] cp[33][3] cp[33][4] cp[33][5] cp[33][6] cp[33][7] cp[33][8] cp[33][9] cp[33][10] cp[33][11] cp[34][0] cp[34][1] cp[34][2] cp[34][3] cp[34][4] cp[34][5] cp[34][6] cp[34][7] cp[34][8] cp[34][9] cp[34][10] cp[34][11] cp[35][0] cp[35][1] cp[35][2] cp[35][3] cp[35][4] cp[35][5] cp[35][6] cp[35][7] cp[35][8] cp[35][9] cp[35][10] cp[35][11] cp[36][0] cp[36][1] cp[36][2] cp[36][3] cp[36][4] cp[36][5] cp[36][6] cp[36][7] cp[36][8] cp[36][9] cp[36][10] cp[36][11] cp[37][0] cp[37][1] cp[37][2] cp[37][3] cp[37][4] cp[37][5] cp[37][6] cp[37][7] cp[37][8] cp[37][9] cp[37][10] cp[37][11] cp[38][0] cp[38][1] cp[38][2] cp[38][3] cp[38][4] cp[38][5] cp[38][6] cp[38][7] cp[38][8] cp[38][9] cp[38][10] cp[38][11] cp[39][0] cp[39][1] cp[39][2] cp[39][3] cp[39][4] cp[39][5] cp[39][6] cp[39][7] cp[39][8] cp[39][9] cp[39][10] cp[39][11] cp[40][0] cp[40][1] cp[40][2] cp[40][3] cp[40][4] cp[40][5] cp[40][6] cp[40][7] cp[40][8] cp[40][9] cp[40][10] cp[40][11] cp[41][0] cp[41][1] cp[41][2] cp[41][3] cp[41][4] cp[41][5] cp[41][6] cp[41][7] cp[41][8] cp[41][9] cp[41][10] cp[41][11] cp[42][0] cp[42][1] cp[42][2] cp[42][3] cp[42][4] cp[42][5] cp[42][6] cp[42][7] cp[42][8] cp[42][9] cp[42][10] cp[42][11] cp[43][0] cp[43][1] cp[43][2] cp[43][3] cp[43][4] cp[43][5] cp[43][6] cp[43][7] cp[43][8] cp[43][9] cp[43][10] cp[43][11] cp[44][0] cp[44][1] cp[44][2] cp[44][3] cp[44][4] cp[44][5] cp[44][6] cp[44][7] cp[44][8] cp[44][9] cp[44][10] cp[44][11] cp[45][0] cp[45][1] cp[45][2] cp[45][3] cp[45][4] cp[45][5] cp[45][6] cp[45][7] cp[45][8] cp[45][9] cp[45][10] cp[45][11] cp[46][0] cp[46][1] cp[46][2] cp[46][3] cp[46][4] cp[46][5] cp[46][6] cp[46][7] cp[46][8] cp[46][9] cp[46][10] cp[46][11] cp[47][0] cp[47][1] cp[47][2] cp[47][3] cp[47][4] cp[47][5] cp[47][6] cp[47][7] cp[47][8] cp[47][9] cp[47][10] cp[47][11] cp[48][0] cp[48][1] cp[48][2] cp[48][3] cp[48][4] cp[48][5] cp[48][6] cp[48][7] cp[48][8] cp[48][9] cp[48][10] cp[48][11] cp[49][0] cp[49][1] cp[49][2] cp[49][3] cp[49][4] cp[49][5] cp[49][6] cp[49][7] cp[49][8] cp[49][9] cp[49][10] cp[49][11] cp[50][0] cp[50][1] cp[50][2] cp[50][3] cp[50][4] cp[50][5] cp[50][6] cp[50][7] cp[50][8] cp[50][9] cp[50][10] cp[50][11] cp[51][0] cp[51][1] cp[51][2] cp[51][3] cp[51][4] cp[51][5] cp[51][6] cp[51][7] cp[51][8] cp[51][9] cp[51][10] cp[51][11] cp[52][0] cp[52][1] cp[52][2] cp[52][3] cp[52][4] cp[52][5] cp[52][6] cp[52][7] cp[52][8] cp[52][9] cp[52][10] cp[52][11] cp[53][0] cp[53][1] cp[53][2] cp[53][3] cp[53][4] cp[53][5] cp[53][6] cp[53][7] cp[53][8] cp[53][9] cp[53][10] cp[53][11] cp[54][0] cp[54][1] cp[54][2] cp[54][3] cp[54][4] cp[54][5] cp[54][6] cp[54][7] cp[54][8] cp[54][9] cp[54][10] cp[54][11] cp[55][0] cp[55][1] cp[55][2] cp[55][3] cp[55][4] cp[55][5] cp[55][6] cp[55][7] cp[55][8] cp[55][9] cp[55][10] cp[55][11] cp[56][0] cp[56][1] cp[56][2] cp[56][3] cp[56][4] cp[56][5] cp[56][6] cp[56][7] cp[56][8] cp[56][9] cp[56][10] cp[56][11] cp[57][0] cp[57][1] cp[57][2] cp[57][3] cp[57][4] cp[57][5] cp[57][6] cp[57][7] cp[57][8] cp[57][9] cp[57][10] cp[57][11] cp[58][0] cp[58][1] cp[58][2] cp[58][3] cp[58][4] cp[58][5] cp[58][6] cp[58][7] cp[58][8] cp[58][9] cp[58][10] cp[58][11] cp[59][0] cp[59][1] cp[59][2] cp[59][3] cp[59][4] cp[59][5] cp[59][6] cp[59][7] cp[59][8] cp[59][9] cp[59][10] cp[59][11] cp[60][0] cp[60][1] cp[60][2] cp[60][3] cp[60][4] cp[60][5] cp[60][6] cp[60][7] cp[60][8] cp[60][9] cp[60][10] cp[60][11] cp[61][0] cp[61][1] cp[61][2] cp[61][3] cp[61][4] cp[61][5] cp[61][6] cp[61][7] cp[61][8] cp[61][9] cp[61][10] cp[61][11] cp[62][0] cp[62][1] cp[62][2] cp[62][3] cp[62][4] cp[62][5] cp[62][6] cp[62][7] cp[62][8] cp[62][9] cp[62][10] cp[62][11] cp[63][0] cp[63][1] cp[63][2] cp[63][3] cp[63][4] cp[63][5] cp[63][6] cp[63][7] cp[63][8] cp[63][9] cp[63][10] cp[63][11] cp[64][0] cp[64][1] cp[64][2] cp[64][3] cp[64][4] cp[64][5] cp[64][6] cp[64][7] cp[64][8] cp[64][9] cp[64][10] cp[64][11] cp[65][0] cp[65][1] cp[65][2] cp[65][3] cp[65][4] cp[65][5] cp[65][6] cp[65][7] cp[65][8] cp[65][9] cp[65][10] cp[65][11]
2520.07/2468.42	v       </list>
2520.07/2468.42	v       <values>
2520.07/2468.42	v         7 10 5 0 11 11 1 9 11 10 10 0 6 3 6 5 9 9 8 10 3 5 4 2 8 2 11 11 1 7 7 4 6 8 8 3 1 5 6 3 1 10 9 4 2 0 7 6 0 8 2 1 6 7 3 0 5 7 2 2 0 4 5 3 1 4 6 6 6 6 5 6 6 6 5 4 5 5 17 17 17 17 17 17 17 17 17 17 17 17 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 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 4 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 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 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 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 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 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 3 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 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 0 0 0 4 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 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 2 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 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0
2520.07/2468.42	v       </values>
2520.07/2468.42	v     </instantiation>
2520.07/2468.42	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 (8050 MiB free)
  memory of node 1: 16384 MiB (12692 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296261-1532621193/watcher-4296261-1532621193 -o /tmp/evaluation-result-4296261-1532621193/solver-4296261-1532621193 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532621193-4735 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1202298922 HOME/instance-4296261-1532621193.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=4758, runsolver pid=4755

[startup+0.100996 s]*
/proc/loadavg: 2.24 2.06 1.98 1/193 4873
/proc/meminfo: memFree=21226860/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=9972712 memory=18328 CPUtime=0.08 cores=1,3,5,7
/proc/4758/stat : 4758 (java) S 4755 4758 4472 0 -1 1077944320 4201 13130 0 0 1 0 4 3 20 0 6 0 79682495 10212057088 4582 33554432000 4194304 4196468 140735009956560 140735009939104 140230330531575 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
/proc/4758/statm: 2493178 4582 1930 1 0 2481616 0
[pid=4758/tid=4865] ppid=4755 vsize=9972712 memory=8514701219931451533 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4865/stat : 4865 (java) R 4755 4758 4472 0 -1 4202560 2023 13130 0 0 0 0 4 3 20 0 6 0 79682504 10212057088 4582 33554432000 4194304 4196468 140735009956560 140230302368336 140230330553501 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4870] ppid=4755 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4870/stat : 4870 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 6 0 79682505 10212057088 4582 33554432000 4194304 4196468 140735009956560 140230334773648 140230330541781 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4871] ppid=4755 vsize=9972712 memory=140585107703424 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4871/stat : 4871 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 6 0 79682505 10212057088 4582 33554432000 4194304 4196468 140735009956560 140230223046928 140230330541781 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4872] ppid=4755 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4872/stat : 4872 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 6 0 79682505 10212057088 4582 33554432000 4194304 4196468 140735009956560 140230221994640 140230330541781 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4873] ppid=4755 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4873/stat : 4873 (java) S 4755 4758 4472 0 -1 1077944384 2 13130 0 0 0 0 4 3 20 0 6 0 79682505 10212057088 4582 33554432000 4194304 4196468 140735009956560 140230220941840 140230330541781 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB

[startup+0.209934 s]*
/proc/loadavg: 2.24 2.06 1.98 3/215 4895
/proc/meminfo: memFree=21188056/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=10818904 memory=40104 CPUtime=0.24 cores=1,3,5,7
/proc/4758/stat : 4758 (java) S 4755 4758 4472 0 -1 1077944320 7246 13130 0 0 16 1 4 3 20 0 15 0 79682495 11078557696 10026 33554432000 4194304 4196468 140735009956560 140735009939104 140230330531575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
/proc/4758/statm: 2704726 10026 2949 1 0 2667149 0
[pid=4758/tid=4865] ppid=4755 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/4758/task/4865/stat : 4865 (java) R 4755 4758 4472 0 -1 4202560 4026 13130 0 0 10 1 4 3 20 0 15 0 79682504 11078557696 10224 33554432000 4194304 4196468 140735009956560 140230302355992 140230310807296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4870] ppid=4755 vsize=10818904 memory=331 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4870/stat : 4870 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682505 11078557696 10224 33554432000 4194304 4196468 140735009956560 140230334773648 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4871] ppid=4755 vsize=10818904 memory=140585107717209 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4871/stat : 4871 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682505 11078557696 10290 33554432000 4194304 4196468 140735009956560 140230223046928 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4872] ppid=4755 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4872/stat : 4872 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682505 11078557696 10290 33554432000 4194304 4196468 140735009956560 140230221994640 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4873] ppid=4755 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4873/stat : 4873 (java) S 4755 4758 4472 0 -1 1077944384 2 13130 0 0 0 0 4 3 20 0 15 0 79682505 11078557696 10290 33554432000 4194304 4196468 140735009956560 140230220941840 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4878] ppid=4755 vsize=10818904 memory=140585107703424 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4878/stat : 4878 (java) S 4755 4758 4472 0 -1 1077944384 2 13130 0 0 0 0 4 3 20 0 15 0 79682506 11078557696 10290 33554432000 4194304 4196468 140735009956560 140229789825648 140230330542722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4880] ppid=4755 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4880/stat : 4880 (java) S 4755 4758 4472 0 -1 1077944384 33 13130 0 0 0 0 4 3 20 0 15 0 79682507 11078557696 10290 33554432000 4194304 4196468 140735009956560 140229788771616 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4881] ppid=4755 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4881/stat : 4881 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682507 11078557696 10290 33554432000 4194304 4196468 140735009956560 140229205812848 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4884] ppid=4755 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4884/stat : 4884 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11078557696 10290 33554432000 4194304 4196468 140735009956560 140228898413136 140230330550171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4885] ppid=4755 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4758/task/4885/stat : 4885 (java) S 4755 4758 4472 0 -1 1077944384 359 13130 0 0 1 0 4 3 20 0 15 0 79682510 11078557696 10290 33554432000 4194304 4196468 140735009956560 140229755213936 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4886] ppid=4755 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4886/stat : 4886 (java) S 4755 4758 4472 0 -1 1077944384 245 13130 0 0 0 0 4 3 20 0 15 0 79682510 11078557696 10290 33554432000 4194304 4196468 140735009956560 140229754161136 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4887] ppid=4755 vsize=10818904 memory=140585107703424 CPUtime=0.1 cores=1,3,5,7
/proc/4758/task/4887/stat : 4887 (java) S 4755 4758 4472 0 -1 1077944384 607 13130 0 0 3 0 4 3 20 0 15 0 79682510 11078557696 10290 33554432000 4194304 4196468 140735009956560 140229753108848 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4888] ppid=4755 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4888/stat : 4888 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11078557696 10290 33554432000 4194304 4196468 140735009956560 140228864854496 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4893] ppid=4755 vsize=10818904 memory=140585107703424 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4893/stat : 4893 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682510 11078557696 10290 33554432000 4194304 4196468 140735009956560 140229752056752 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40104 KiB

[startup+0.310157 s]*
/proc/loadavg: 2.24 2.06 1.98 3/215 4895
/proc/meminfo: memFree=21162984/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=10819352 memory=52928 CPUtime=0.37 cores=1,3,5,7
/proc/4758/stat : 4758 (java) S 4755 4758 4472 0 -1 1077944320 10304 13130 0 0 28 2 4 3 20 0 15 0 79682495 11079016448 13232 33554432000 4194304 4196468 140735009956560 140735009939104 140230330531575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
/proc/4758/statm: 2704838 13232 3068 1 0 2667149 0
[pid=4758/tid=4865] ppid=4755 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/4758/task/4865/stat : 4865 (java) R 4755 4758 4472 0 -1 4202560 6845 13130 0 0 19 2 4 3 20 0 15 0 79682504 11079016448 13232 33554432000 4194304 4196468 140735009956560 140230302343584 140230312095104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4870] ppid=4755 vsize=10819352 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4870/stat : 4870 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682505 11079016448 13232 33554432000 4194304 4196468 140735009956560 140230334773648 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4871] ppid=4755 vsize=10819352 memory=140585107710417 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4871/stat : 4871 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682505 11079016448 13232 33554432000 4194304 4196468 140735009956560 140230223046928 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4872] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4872/stat : 4872 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682505 11079016448 13232 33554432000 4194304 4196468 140735009956560 140230221994640 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4873] ppid=4755 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4873/stat : 4873 (java) S 4755 4758 4472 0 -1 1077944384 2 13130 0 0 0 0 4 3 20 0 15 0 79682505 11079016448 13232 33554432000 4194304 4196468 140735009956560 140230220941840 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4878] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4878/stat : 4878 (java) S 4755 4758 4472 0 -1 1077944384 2 13130 0 0 0 0 4 3 20 0 15 0 79682506 11079016448 13232 33554432000 4194304 4196468 140735009956560 140229789825648 140230330542722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4880] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4880/stat : 4880 (java) S 4755 4758 4472 0 -1 1077944384 33 13130 0 0 0 0 4 3 20 0 15 0 79682507 11079016448 13232 33554432000 4194304 4196468 140735009956560 140229788771616 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4881] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4881/stat : 4881 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682507 11079016448 13232 33554432000 4194304 4196468 140735009956560 140229205812848 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4884] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4884/stat : 4884 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11079016448 13232 33554432000 4194304 4196468 140735009956560 140228898413136 140230330550171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4885] ppid=4755 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4758/task/4885/stat : 4885 (java) S 4755 4758 4472 0 -1 1077944384 361 13130 0 0 1 0 4 3 20 0 15 0 79682510 11079016448 13232 33554432000 4194304 4196468 140735009956560 140229755213936 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4886] ppid=4755 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4758/task/4886/stat : 4886 (java) S 4755 4758 4472 0 -1 1077944384 248 13130 0 0 1 0 4 3 20 0 15 0 79682510 11079016448 13232 33554432000 4194304 4196468 140735009956560 140229754161136 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4887] ppid=4755 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4758/task/4887/stat : 4887 (java) S 4755 4758 4472 0 -1 1077944384 613 13130 0 0 5 0 4 3 20 0 15 0 79682510 11079016448 13232 33554432000 4194304 4196468 140735009956560 140229753108848 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4888] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4888/stat : 4888 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11079016448 13232 33554432000 4194304 4196468 140735009956560 140228864854496 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4893] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4893/stat : 4893 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682510 11079016448 13232 33554432000 4194304 4196468 140735009956560 140229752056752 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52928 KiB

[startup+0.700743 s]
/proc/loadavg: 2.24 2.06 1.98 3/215 4895
/proc/meminfo: memFree=21140408/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=10819352 memory=85124 CPUtime=0.98 cores=1,3,5,7
/proc/4758/stat : 4758 (java) S 4755 4758 4472 0 -1 1077944320 16413 13130 0 0 87 4 4 3 20 0 15 0 79682495 11079016448 21281 33554432000 4194304 4196468 140735009956560 140735009939104 140230330531575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
/proc/4758/statm: 2704838 21281 3237 1 0 2667149 0
[pid=4758/tid=4865] ppid=4755 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/4758/task/4865/stat : 4865 (java) R 4755 4758 4472 0 -1 4202560 11885 13130 0 0 55 3 4 3 20 0 15 0 79682504 11079016448 21281 33554432000 4194304 4196468 140735009956560 140230302352400 140230313718384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4870] ppid=4755 vsize=10819352 memory=8242257093008308021 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4870/stat : 4870 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682505 11079016448 21281 33554432000 4194304 4196468 140735009956560 140230334773648 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4871] ppid=4755 vsize=10819352 memory=7012755875661107286 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4871/stat : 4871 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682505 11079016448 21281 33554432000 4194304 4196468 140735009956560 140230223046928 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4872] ppid=4755 vsize=10819352 memory=5859273620209619044 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4872/stat : 4872 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682505 11079016448 21281 33554432000 4194304 4196468 140735009956560 140230221994640 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4873] ppid=4755 vsize=10819352 memory=2319389199337275488 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4873/stat : 4873 (java) S 4755 4758 4472 0 -1 1077944384 2 13130 0 0 0 0 4 3 20 0 15 0 79682505 11079016448 21281 33554432000 4194304 4196468 140735009956560 140230220941840 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4878] ppid=4755 vsize=10819352 memory=140585107702289 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4878/stat : 4878 (java) S 4755 4758 4472 0 -1 1077944384 5 13130 0 0 0 0 4 3 20 0 15 0 79682506 11079016448 21281 33554432000 4194304 4196468 140735009956560 140229789825648 140230330542722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4880] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4880/stat : 4880 (java) S 4755 4758 4472 0 -1 1077944384 33 13130 0 0 0 0 4 3 20 0 15 0 79682507 11079016448 21281 33554432000 4194304 4196468 140735009956560 140229788771616 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4881] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4881/stat : 4881 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682507 11079016448 21281 33554432000 4194304 4196468 140735009956560 140229205812848 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4884] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4884/stat : 4884 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11079016448 21281 33554432000 4194304 4196468 140735009956560 140228898413136 140230330550171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4885] ppid=4755 vsize=10819352 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/4758/task/4885/stat : 4885 (java) S 4755 4758 4472 0 -1 1077944384 723 13130 0 0 7 0 4 3 20 0 15 0 79682510 11079016448 21281 33554432000 4194304 4196468 140735009956560 140229755213936 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4886] ppid=4755 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/4758/task/4886/stat : 4886 (java) S 4755 4758 4472 0 -1 1077944384 902 13130 0 0 10 0 4 3 20 0 15 0 79682510 11079016448 21281 33554432000 4194304 4196468 140735009956560 140229754161136 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4887] ppid=4755 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/4758/task/4887/stat : 4887 (java) S 4755 4758 4472 0 -1 1077944384 663 13130 0 0 13 0 4 3 20 0 15 0 79682510 11079016448 21281 33554432000 4194304 4196468 140735009956560 140229753108848 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4888] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4888/stat : 4888 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11079016448 21281 33554432000 4194304 4196468 140735009956560 140228864854496 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4893] ppid=4755 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4893/stat : 4893 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682510 11079016448 21281 33554432000 4194304 4196468 140735009956560 140229752056752 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85124 KiB

[startup+1.50078 s]
/proc/loadavg: 2.24 2.06 1.98 3/215 4895
/proc/meminfo: memFree=21051556/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=10834252 memory=175956 CPUtime=2.34 cores=1,3,5,7
/proc/4758/stat : 4758 (java) S 4755 4758 4472 0 -1 1077944320 23583 13130 0 0 218 9 4 3 20 0 15 0 79682495 11094274048 43989 33554432000 4194304 4196468 140735009956560 140735009939104 140230330531575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
/proc/4758/statm: 2708563 43989 3470 1 0 2670221 0
[pid=4758/tid=4865] ppid=4755 vsize=10834252 memory=288230377057954046 CPUtime=1.42 cores=1,3,5,7
/proc/4758/task/4865/stat : 4865 (java) R 4755 4758 4472 0 -1 4202560 17229 13130 0 0 128 7 4 3 20 0 15 0 79682504 11094274048 43989 33554432000 4194304 4196468 140735009956560 140230302362880 140230315901474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4870] ppid=4755 vsize=10834252 memory=288293259724476569 CPUtime=0.08 cores=1,3,5,7
/proc/4758/task/4870/stat : 4870 (java) S 4755 4758 4472 0 -1 1077944384 52 13130 0 0 1 0 4 3 20 0 15 0 79682505 11094274048 43989 33554432000 4194304 4196468 140735009956560 140230334773648 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4871] ppid=4755 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4758/task/4871/stat : 4871 (java) S 4755 4758 4472 0 -1 1077944384 179 13130 0 0 1 0 4 3 20 0 15 0 79682505 11094274048 43989 33554432000 4194304 4196468 140735009956560 140230223046928 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4872] ppid=4755 vsize=10834252 memory=135512 CPUtime=0.08 cores=1,3,5,7
/proc/4758/task/4872/stat : 4872 (java) S 4755 4758 4472 0 -1 1077944384 29 13130 0 0 1 0 4 3 20 0 15 0 79682505 11094274048 43989 33554432000 4194304 4196468 140735009956560 140230221994640 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4873] ppid=4755 vsize=10834252 memory=4294969536 CPUtime=0.08 cores=1,3,5,7
/proc/4758/task/4873/stat : 4873 (java) S 4755 4758 4472 0 -1 1077944384 34 13130 0 0 1 0 4 3 20 0 15 0 79682505 11094274048 43989 33554432000 4194304 4196468 140735009956560 140230220941840 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4878] ppid=4755 vsize=10834252 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/4758/task/4878/stat : 4878 (java) S 4755 4758 4472 0 -1 1077944384 57 13130 0 0 1 0 4 3 20 0 15 0 79682506 11094274048 43989 33554432000 4194304 4196468 140735009956560 140229789825648 140230330542722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4880] ppid=4755 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4880/stat : 4880 (java) S 4755 4758 4472 0 -1 1077944384 33 13130 0 0 0 0 4 3 20 0 15 0 79682507 11094274048 43989 33554432000 4194304 4196468 140735009956560 140229788771680 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4881] ppid=4755 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4881/stat : 4881 (java) S 4755 4758 4472 0 -1 1077944384 2 13130 0 0 0 0 4 3 20 0 15 0 79682507 11094274048 43989 33554432000 4194304 4196468 140735009956560 140229205812864 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4884] ppid=4755 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4884/stat : 4884 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11094274048 43989 33554432000 4194304 4196468 140735009956560 140228898413136 140230330550171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4885] ppid=4755 vsize=10834252 memory=7300991857200084544 CPUtime=0.3 cores=1,3,5,7
/proc/4758/task/4885/stat : 4885 (java) S 4755 4758 4472 0 -1 1077944384 1374 13130 0 0 23 0 4 3 20 0 15 0 79682510 11094274048 43989 33554432000 4194304 4196468 140735009956560 140229755213936 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4886] ppid=4755 vsize=10834252 memory=-8965109360222903451 CPUtime=0.31 cores=1,3,5,7
/proc/4758/task/4886/stat : 4886 (java) S 4755 4758 4472 0 -1 1077944384 1067 13130 0 0 24 0 4 3 20 0 15 0 79682510 11094274048 43989 33554432000 4194304 4196468 140735009956560 140229754161136 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4887] ppid=4755 vsize=10834252 memory=5865748725838991935 CPUtime=0.41 cores=1,3,5,7
/proc/4758/task/4887/stat : 4887 (java) S 4755 4758 4472 0 -1 1077944384 1331 13130 0 0 34 0 4 3 20 0 15 0 79682510 11094274048 43989 33554432000 4194304 4196468 140735009956560 140229753108848 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4888] ppid=4755 vsize=10834252 memory=7517444937316722257 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4888/stat : 4888 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11094274048 43989 33554432000 4194304 4196468 140735009956560 140228864854496 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4893] ppid=4755 vsize=10834252 memory=7156326900290511713 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4893/stat : 4893 (java) S 4755 4758 4472 0 -1 1077944384 1 13130 0 0 0 0 4 3 20 0 15 0 79682510 11094274048 43989 33554432000 4194304 4196468 140735009956560 140229752056752 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 10834252 KiB

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

/proc/4758/task/4865/stat : 4865 (java) R 4755 4758 4472 0 -1 4202560 87975 13130 0 0 229563 49 4 3 20 0 15 0 79682504 11178180608 211812 33554432000 4194304 4196468 140735009956560 140230302366800 140229910726306 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4870] ppid=4755 vsize=10916192 memory=846836 CPUtime=11.49 cores=1,3,5,7
/proc/4758/task/4870/stat : 4870 (java) S 4755 4758 4472 0 -1 1077944384 11761 13130 0 0 1087 55 4 3 20 0 15 0 79682505 11178180608 211812 33554432000 4194304 4196468 140735009956560 140230334773648 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4871] ppid=4755 vsize=10916192 memory=846836 CPUtime=11.49 cores=1,3,5,7
/proc/4758/task/4871/stat : 4871 (java) S 4755 4758 4472 0 -1 1077944384 8200 13130 0 0 1083 59 4 3 20 0 15 0 79682505 11178180608 211812 33554432000 4194304 4196468 140735009956560 140230223046928 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4872] ppid=4755 vsize=10916192 memory=846836 CPUtime=11.48 cores=1,3,5,7
/proc/4758/task/4872/stat : 4872 (java) S 4755 4758 4472 0 -1 1077944384 15366 13130 0 0 1085 56 4 3 20 0 15 0 79682505 11178180608 211812 33554432000 4194304 4196468 140735009956560 140230221994640 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4873] ppid=4755 vsize=10916192 memory=847248 CPUtime=11.51 cores=1,3,5,7
/proc/4758/task/4873/stat : 4873 (java) S 4755 4758 4472 0 -1 1077944384 10175 13130 0 0 1087 57 4 3 20 0 15 0 79682505 11178180608 211812 33554432000 4194304 4196468 140735009956560 140230220941840 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4878] ppid=4755 vsize=10916192 memory=847248 CPUtime=11.45 cores=1,3,5,7
/proc/4758/task/4878/stat : 4878 (java) S 4755 4758 4472 0 -1 1077944384 12997 13130 0 0 1079 59 4 3 20 0 15 0 79682506 11178180608 211812 33554432000 4194304 4196468 140735009956560 140229789825648 140230330542722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4880] ppid=4755 vsize=10916192 memory=847248 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4880/stat : 4880 (java) S 4755 4758 4472 0 -1 1077944384 39 13130 0 0 0 0 4 3 20 0 15 0 79682507 11178180608 211812 33554432000 4194304 4196468 140735009956560 140229788771680 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4881] ppid=4755 vsize=10916192 memory=847248 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4881/stat : 4881 (java) S 4755 4758 4472 0 -1 1077944384 5 13130 0 0 0 0 4 3 20 0 15 0 79682507 11178180608 211812 33554432000 4194304 4196468 140735009956560 140229205812864 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4884] ppid=4755 vsize=10916192 memory=847248 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4884/stat : 4884 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11178180608 211812 33554432000 4194304 4196468 140735009956560 140228898413136 140230330550171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4885] ppid=4755 vsize=10916192 memory=847248 CPUtime=7.04 cores=1,3,5,7
/proc/4758/task/4885/stat : 4885 (java) S 4755 4758 4472 0 -1 1077944384 21375 13130 0 0 693 4 4 3 20 0 15 0 79682510 11178180608 211812 33554432000 4194304 4196468 140735009956560 140229755213936 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4886] ppid=4755 vsize=10916192 memory=847248 CPUtime=6.69 cores=1,3,5,7
/proc/4758/task/4886/stat : 4886 (java) S 4755 4758 4472 0 -1 1077944384 17868 13130 0 0 658 4 4 3 20 0 15 0 79682510 11178180608 211812 33554432000 4194304 4196468 140735009956560 140229754161136 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4887] ppid=4755 vsize=10916192 memory=847248 CPUtime=3.36 cores=1,3,5,7
/proc/4758/task/4887/stat : 4887 (java) S 4755 4758 4472 0 -1 1077944384 23607 13130 0 0 323 6 4 3 20 0 15 0 79682510 11178180608 211812 33554432000 4194304 4196468 140735009956560 140229753108848 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4888] ppid=4755 vsize=10916192 memory=7528 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4888/stat : 4888 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11178180608 211812 33554432000 4194304 4196468 140735009956560 140228864854496 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4893] ppid=4755 vsize=10916192 memory=840 CPUtime=1.54 cores=1,3,5,7
/proc/4758/task/4893/stat : 4893 (java) S 4755 4758 4472 0 -1 1077944384 1277 13130 0 0 66 81 4 3 20 0 15 0 79682510 11178180608 211812 33554432000 4194304 4196468 140735009956560 140229752056752 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
Current children cumulated CPU time: 2371.71 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 847248 KiB

[startup+2382.3 s]
/proc/loadavg: 1.34 1.41 1.45 3/215 4969
/proc/meminfo: memFree=19451344/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=10916192 memory=849348 CPUtime=2432.65 cores=1,3,5,7
/proc/4758/stat : 4758 (java) S 4755 4758 4472 0 -1 1077944320 214704 13130 0 0 242889 369 4 3 20 0 15 0 79682495 11178180608 212337 33554432000 4194304 4196468 140735009956560 140735009939104 140230330531575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
/proc/4758/statm: 2729048 212337 3530 1 0 2690701 0
[pid=4758/tid=4865] ppid=4755 vsize=10916192 memory=849348 CPUtime=2355.44 cores=1,3,5,7
/proc/4758/task/4865/stat : 4865 (java) R 4755 4758 4472 0 -1 4202560 88824 13130 0 0 235487 50 4 3 20 0 15 0 79682504 11178180608 212337 33554432000 4194304 4196468 140735009956560 140230302367136 140229910283943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4870] ppid=4755 vsize=10916192 memory=849348 CPUtime=11.82 cores=1,3,5,7
/proc/4758/task/4870/stat : 4870 (java) S 4755 4758 4472 0 -1 1077944384 11810 13130 0 0 1118 57 4 3 20 0 15 0 79682505 11178180608 212337 33554432000 4194304 4196468 140735009956560 140230334773648 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4871] ppid=4755 vsize=10916192 memory=849348 CPUtime=11.81 cores=1,3,5,7
/proc/4758/task/4871/stat : 4871 (java) S 4755 4758 4472 0 -1 1077944384 8252 13130 0 0 1114 60 4 3 20 0 15 0 79682505 11178180608 212337 33554432000 4194304 4196468 140735009956560 140230223046928 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4872] ppid=4755 vsize=10916192 memory=849348 CPUtime=11.8 cores=1,3,5,7
/proc/4758/task/4872/stat : 4872 (java) S 4755 4758 4472 0 -1 1077944384 15722 13130 0 0 1116 57 4 3 20 0 15 0 79682505 11178180608 212337 33554432000 4194304 4196468 140735009956560 140230221994640 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4873] ppid=4755 vsize=10916192 memory=849348 CPUtime=11.83 cores=1,3,5,7
/proc/4758/task/4873/stat : 4873 (java) S 4755 4758 4472 0 -1 1077944384 10229 13130 0 0 1118 58 4 3 20 0 15 0 79682505 11178180608 212337 33554432000 4194304 4196468 140735009956560 140230220941840 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4878] ppid=4755 vsize=10916192 memory=849348 CPUtime=11.77 cores=1,3,5,7
/proc/4758/task/4878/stat : 4878 (java) S 4755 4758 4472 0 -1 1077944384 13196 13130 0 0 1110 60 4 3 20 0 15 0 79682506 11178180608 212337 33554432000 4194304 4196468 140735009956560 140229789825648 140230330542722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4880] ppid=4755 vsize=10916192 memory=849348 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4880/stat : 4880 (java) S 4755 4758 4472 0 -1 1077944384 39 13130 0 0 0 0 4 3 20 0 15 0 79682507 11178180608 212337 33554432000 4194304 4196468 140735009956560 140229788771680 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4881] ppid=4755 vsize=10916192 memory=849348 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4881/stat : 4881 (java) S 4755 4758 4472 0 -1 1077944384 5 13130 0 0 0 0 4 3 20 0 15 0 79682507 11178180608 212337 33554432000 4194304 4196468 140735009956560 140229205812864 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4884] ppid=4755 vsize=10916192 memory=849348 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4884/stat : 4884 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11178180608 212337 33554432000 4194304 4196468 140735009956560 140228898413136 140230330550171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4885] ppid=4755 vsize=10916192 memory=849348 CPUtime=7.08 cores=1,3,5,7
/proc/4758/task/4885/stat : 4885 (java) S 4755 4758 4472 0 -1 1077944384 21454 13130 0 0 697 4 4 3 20 0 15 0 79682510 11178180608 212337 33554432000 4194304 4196468 140735009956560 140229755213936 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4886] ppid=4755 vsize=10916192 memory=849348 CPUtime=6.69 cores=1,3,5,7
/proc/4758/task/4886/stat : 4886 (java) S 4755 4758 4472 0 -1 1077944384 17870 13130 0 0 658 4 4 3 20 0 15 0 79682510 11178180608 212337 33554432000 4194304 4196468 140735009956560 140229754161136 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4887] ppid=4755 vsize=10916192 memory=849348 CPUtime=3.36 cores=1,3,5,7
/proc/4758/task/4887/stat : 4887 (java) S 4755 4758 4472 0 -1 1077944384 23814 13130 0 0 323 6 4 3 20 0 15 0 79682510 11178180608 212337 33554432000 4194304 4196468 140735009956560 140229753108848 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4888] ppid=4755 vsize=10916192 memory=849348 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4888/stat : 4888 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11178180608 212337 33554432000 4194304 4196468 140735009956560 140228864854496 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4893] ppid=4755 vsize=10916192 memory=1236 CPUtime=1.58 cores=1,3,5,7
/proc/4758/task/4893/stat : 4893 (java) S 4755 4758 4472 0 -1 1077944384 1294 13130 0 0 68 83 4 3 20 0 15 0 79682510 11178180608 212337 33554432000 4194304 4196468 140735009956560 140229752056752 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
Current children cumulated CPU time: 2432.65 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 849348 KiB

[startup+2442.3 s]
/proc/loadavg: 1.24 1.36 1.43 3/215 4970
/proc/meminfo: memFree=19451260/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=10916192 memory=849592 CPUtime=2493.57 cores=1,3,5,7
/proc/4758/stat : 4758 (java) S 4755 4758 4472 0 -1 1077944320 217187 13130 0 0 248972 378 4 3 20 0 15 0 79682495 11178180608 212398 33554432000 4194304 4196468 140735009956560 140735009939104 140230330531575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
/proc/4758/statm: 2729048 212398 3530 1 0 2690701 0
[pid=4758/tid=4865] ppid=4755 vsize=10916192 memory=849592 CPUtime=2414.7 cores=1,3,5,7
/proc/4758/task/4865/stat : 4865 (java) R 4755 4758 4472 0 -1 4202560 89647 13130 0 0 241412 51 4 3 20 0 15 0 79682504 11178180608 212398 33554432000 4194304 4196468 140735009956560 140230302367328 140229907288654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4870] ppid=4755 vsize=10916192 memory=13048 CPUtime=12.14 cores=1,3,5,7
/proc/4758/task/4870/stat : 4870 (java) S 4755 4758 4472 0 -1 1077944384 11837 13130 0 0 1148 59 4 3 20 0 15 0 79682505 11178180608 212398 33554432000 4194304 4196468 140735009956560 140230334773648 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4871] ppid=4755 vsize=10916192 memory=849592 CPUtime=12.13 cores=1,3,5,7
/proc/4758/task/4871/stat : 4871 (java) S 4755 4758 4472 0 -1 1077944384 8324 13130 0 0 1144 62 4 3 20 0 15 0 79682505 11178180608 212398 33554432000 4194304 4196468 140735009956560 140230223046928 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4872] ppid=4755 vsize=10916192 memory=849592 CPUtime=12.13 cores=1,3,5,7
/proc/4758/task/4872/stat : 4872 (java) S 4755 4758 4472 0 -1 1077944384 15800 13130 0 0 1147 59 4 3 20 0 15 0 79682505 11178180608 212398 33554432000 4194304 4196468 140735009956560 140230221994640 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4873] ppid=4755 vsize=10916192 memory=849592 CPUtime=12.16 cores=1,3,5,7
/proc/4758/task/4873/stat : 4873 (java) S 4755 4758 4472 0 -1 1077944384 10566 13130 0 0 1149 60 4 3 20 0 15 0 79682505 11178180608 212398 33554432000 4194304 4196468 140735009956560 140230220941840 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4878] ppid=4755 vsize=10916192 memory=849592 CPUtime=12.09 cores=1,3,5,7
/proc/4758/task/4878/stat : 4878 (java) S 4755 4758 4472 0 -1 1077944384 13388 13130 0 0 1140 62 4 3 20 0 15 0 79682506 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229789825648 140230330542722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4880] ppid=4755 vsize=10916192 memory=849592 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4880/stat : 4880 (java) S 4755 4758 4472 0 -1 1077944384 39 13130 0 0 0 0 4 3 20 0 15 0 79682507 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229788771680 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4881] ppid=4755 vsize=10916192 memory=849592 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4881/stat : 4881 (java) S 4755 4758 4472 0 -1 1077944384 5 13130 0 0 0 0 4 3 20 0 15 0 79682507 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229205812864 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4884] ppid=4755 vsize=10916192 memory=849592 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4884/stat : 4884 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140228898413136 140230330550171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4885] ppid=4755 vsize=10916192 memory=849592 CPUtime=7.08 cores=1,3,5,7
/proc/4758/task/4885/stat : 4885 (java) S 4755 4758 4472 0 -1 1077944384 21577 13130 0 0 697 4 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229755213936 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4886] ppid=4755 vsize=10916192 memory=849592 CPUtime=6.71 cores=1,3,5,7
/proc/4758/task/4886/stat : 4886 (java) S 4755 4758 4472 0 -1 1077944384 18412 13130 0 0 660 4 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229754161136 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4887] ppid=4755 vsize=10916192 memory=849592 CPUtime=3.37 cores=1,3,5,7
/proc/4758/task/4887/stat : 4887 (java) S 4755 4758 4472 0 -1 1077944384 24085 13130 0 0 324 6 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229753108848 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4888] ppid=4755 vsize=10916192 memory=849592 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4888/stat : 4888 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140228864854496 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4893] ppid=4755 vsize=10916192 memory=849592 CPUtime=1.62 cores=1,3,5,7
/proc/4758/task/4893/stat : 4893 (java) S 4755 4758 4472 0 -1 1077944384 1312 13130 0 0 70 85 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229752056752 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
Current children cumulated CPU time: 2493.57 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 849592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2468.4 s]
/proc/loadavg: 1.08 1.32 1.41 2/194 5022
/proc/meminfo: memFree=20427904/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=10916192 memory=849592 CPUtime=2520.07 cores=1,3,5,7
/proc/4758/stat : 4758 (java) S 4755 4758 4472 0 -1 1077944320 217564 13130 0 0 251619 381 4 3 20 0 15 0 79682495 11178180608 212398 33554432000 4194304 4196468 140735009956560 140735009939104 140230330531575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
/proc/4758/statm: 2729048 212398 3530 1 0 2690701 0
[pid=4758/tid=4865] ppid=4755 vsize=10916192 memory=1948 CPUtime=2440.48 cores=1,3,5,7
/proc/4758/task/4865/stat : 4865 (java) R 4755 4758 4472 0 -1 4202560 89871 13130 0 0 243990 51 4 3 20 0 15 0 79682504 11178180608 212398 33554432000 4194304 4196468 140735009956560 140230302367056 140229910900161 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4870] ppid=4755 vsize=10916192 memory=1200 CPUtime=12.28 cores=1,3,5,7
/proc/4758/task/4870/stat : 4870 (java) S 4755 4758 4472 0 -1 1077944384 11840 13130 0 0 1161 60 4 3 20 0 15 0 79682505 11178180608 212398 33554432000 4194304 4196468 140735009956560 140230334773648 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4871] ppid=4755 vsize=10916192 memory=8548 CPUtime=12.27 cores=1,3,5,7
/proc/4758/task/4871/stat : 4871 (java) S 4755 4758 4472 0 -1 1077944384 8327 13130 0 0 1158 62 4 3 20 0 15 0 79682505 11178180608 212398 33554432000 4194304 4196468 140735009956560 140230223046928 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4872] ppid=4755 vsize=10916192 memory=1948 CPUtime=12.26 cores=1,3,5,7
/proc/4758/task/4872/stat : 4872 (java) S 4755 4758 4472 0 -1 1077944384 15800 13130 0 0 1160 59 4 3 20 0 15 0 79682505 11178180608 212398 33554432000 4194304 4196468 140735009956560 140230221994640 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4873] ppid=4755 vsize=10916192 memory=1200 CPUtime=12.3 cores=1,3,5,7
/proc/4758/task/4873/stat : 4873 (java) S 4755 4758 4472 0 -1 1077944384 10566 13130 0 0 1163 60 4 3 20 0 15 0 79682505 11178180608 212398 33554432000 4194304 4196468 140735009956560 140230220941840 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4878] ppid=4755 vsize=10916192 memory=8548 CPUtime=12.23 cores=1,3,5,7
/proc/4758/task/4878/stat : 4878 (java) S 4755 4758 4472 0 -1 1077944384 13391 13130 0 0 1153 63 4 3 20 0 15 0 79682506 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229789825648 140230330542722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4880] ppid=4755 vsize=10916192 memory=800 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4880/stat : 4880 (java) S 4755 4758 4472 0 -1 1077944384 39 13130 0 0 0 0 4 3 20 0 15 0 79682507 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229788771680 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4881] ppid=4755 vsize=10916192 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4881/stat : 4881 (java) S 4755 4758 4472 0 -1 1077944384 5 13130 0 0 0 0 4 3 20 0 15 0 79682507 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229205812864 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4884] ppid=4755 vsize=10916192 memory=16436 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4884/stat : 4884 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140228898413136 140230330550171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4885] ppid=4755 vsize=10916192 memory=13900 CPUtime=7.08 cores=1,3,5,7
/proc/4758/task/4885/stat : 4885 (java) S 4755 4758 4472 0 -1 1077944384 21720 13130 0 0 697 4 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229755213936 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4886] ppid=4755 vsize=10916192 memory=4008 CPUtime=6.71 cores=1,3,5,7
/proc/4758/task/4886/stat : 4886 (java) S 4755 4758 4472 0 -1 1077944384 18412 13130 0 0 660 4 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229754161136 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4887] ppid=4755 vsize=10916192 memory=1796 CPUtime=3.37 cores=1,3,5,7
/proc/4758/task/4887/stat : 4887 (java) S 4755 4758 4472 0 -1 1077944384 24085 13130 0 0 324 6 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229753108848 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4888] ppid=4755 vsize=10916192 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/4758/task/4888/stat : 4888 (java) S 4755 4758 4472 0 -1 1077944384 3 13130 0 0 0 0 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140228864854496 140230330541781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
[pid=4758/tid=4893] ppid=4755 vsize=10916192 memory=956 CPUtime=1.64 cores=1,3,5,7
/proc/4758/task/4893/stat : 4893 (java) S 4755 4758 4472 0 -1 1077944384 1313 13130 0 0 71 86 4 3 20 0 15 0 79682510 11178180608 212398 33554432000 4194304 4196468 140735009956560 140229752056752 140230330542722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140735009962606 140735009965404 140735009965404 140735009968079 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 849592 KiB

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

[startup+2468.43 s]
# the end of solver process 4758 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.27 s, system=3.85686 s

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

Child status: 143
Real time (s): 2468.43
CPU time (s): 2520.12
CPU user time (s): 2516.27
CPU system time (s): 3.85686
CPU usage (%): 102.094
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 973400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.27
system time used= 3.85686
maximum resident set size= 975448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295190
involuntary context switches= 8099


# summary of solver processes directly reported to runsolver:
#   pid: 4758
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.27
#   total CPU system time (s): 3.85686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4229 second user time and 27.7408 second system time

The end

Name	Bacp/Bacp-m1/ Bacp-m1-12a-nodv_c18.xml
MD5SUM	6bd8ab3a70062286acb1d027c508a0d0
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.02
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 4296261

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