2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8-SuperNG 2018-06-13	SAT (TO)	18	2520.08	2458.63

1.00/0.75	c Concrete v3.8.1528841891564 running
11.13/4.84	o 23
11.13/4.89	o 22
11.47/4.93	o 21
12.13/5.12	o 20
12.42/5.23	o 19
12.42/5.29	o 18
2520.03/2458.60	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2458.60		at concrete.MAC.mac(MAC.scala:188)
2520.03/2458.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2458.60		at scala.util.Try$.apply(Try.scala:209)
2520.03/2458.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2458.60		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2458.60		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2458.60		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2458.60		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2458.60		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2458.60		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2458.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2458.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2458.60		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2458.60		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2458.60		at concrete.MAC.nextSolution(MAC.scala:355)
2520.03/2458.60		at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2458.60		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2458.60		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2458.60		at concrete.Solver.foreach(Solver.scala:68)
2520.03/2458.60		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2458.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2458.61		at scala.util.Success.map(Try.scala:209)
2520.03/2458.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2458.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2458.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2458.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2458.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2458.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2458.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2458.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2458.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2458.61		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2458.61		at scala.App.main(App.scala:76)
2520.03/2458.61		at scala.App.main$(App.scala:74)
2520.03/2458.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2458.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2458.61	v <instantiation cost="18">
2520.03/2458.61	v       <list>
2520.03/2458.61	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.03/2458.61	v       </list>
2520.03/2458.61	v       <values>
2520.03/2458.61	v         11 11 10 10 11 11 6 10 11 9 9 4 8 4 6 5 7 8 4 7 7 0 1 2 9 0 9 2 8 9 5 10 8 5 6 6 4 7 1 6 3 9 6 3 2 3 8 4 7 4 1 11 5 3 2 0 0 1 1 6 0 2 1 10 0 8 6 6 5 4 6 4 7 5 6 6 5 6 17 18 18 15 18 14 18 18 18 17 15 18 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 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 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 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 3 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 3 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 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 3 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 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 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 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 0 0 0 0 0 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0
2520.03/2458.61	v       </values>
2520.03/2458.61	v     </instantiation>
2520.03/2458.62	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 (6667 MiB free)
  memory of node 1: 16384 MiB (9664 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296262-1532620509/watcher-4296262-1532620509 -o /tmp/evaluation-result-4296262-1532620509/solver-4296262-1532620509 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532618017-6175 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=538299602 -superng HOME/instance-4296262-1532620509.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=6758, runsolver pid=6755

[startup+0.100093 s]*
/proc/loadavg: 2.09 1.55 1.42 3/202 6811
/proc/meminfo: memFree=16722268/32770624 swapFree=67108796/67108860
[pid=6758] ppid=6755 vsize=9972712 memory=16372 CPUtime=0.09 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6755 6758 6144 0 -1 1077944320 4266 12931 0 0 1 0 5 3 20 0 6 0 79614057 10212057088 4093 33554432000 4194304 4196468 140729127751344 140729127733888 140392021495543 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
/proc/6758/statm: 2493178 4093 1918 1 0 2481616 0
[pid=6758/tid=6811] ppid=6755 vsize=9972712 memory=-8529663507555467205 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6811/stat : 6811 (java) R 6755 6758 6144 0 -1 4202560 2107 12931 0 0 0 0 5 3 20 0 6 0 79614067 10212057088 4159 33554432000 4194304 4196468 140729127751344 140391993332304 140392005576030 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6812] ppid=6755 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6812/stat : 6812 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 6 0 79614067 10212057088 4159 33554432000 4194304 4196468 140729127751344 140392025737616 140392021505749 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6813] ppid=6755 vsize=9972712 memory=139744970131072 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6813/stat : 6813 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 6 0 79614067 10212057088 4159 33554432000 4194304 4196468 140729127751344 140391946696976 140392021505749 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6814] ppid=6755 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6814/stat : 6814 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 6 0 79614067 10212057088 4159 33554432000 4194304 4196468 140729127751344 140391593355920 140392021505749 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6815] ppid=6755 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6815/stat : 6815 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 6 0 79614067 10212057088 4159 33554432000 4194304 4196468 140729127751344 140391592303120 140392021505749 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16372 KiB

[startup+0.210001 s]*
/proc/loadavg: 2.09 1.55 1.42 3/215 6824
/proc/meminfo: memFree=16697352/32770624 swapFree=67108796/67108860
[pid=6758] ppid=6755 vsize=10818904 memory=41000 CPUtime=0.26 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6755 6758 6144 0 -1 1077944320 7508 12931 0 0 16 2 5 3 20 0 15 0 79614057 11078557696 10250 33554432000 4194304 4196468 140729127751344 140729127733888 140392021495543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
/proc/6758/statm: 2704726 10250 2929 1 0 2667149 0
[pid=6758/tid=6811] ppid=6755 vsize=10818904 memory=8514701219931451533 CPUtime=0.18 cores=0,2,4,6
/proc/6758/task/6811/stat : 6811 (java) R 6755 6758 6144 0 -1 4202560 4329 12931 0 0 9 1 5 3 20 0 15 0 79614067 11078557696 10382 33554432000 4194304 4196468 140729127751344 140391993292464 140392001771371 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6812] ppid=6755 vsize=10818904 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6812/stat : 6812 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 15 0 79614067 11078557696 10448 33554432000 4194304 4196468 140729127751344 140392025737616 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6813] ppid=6755 vsize=10818904 memory=139744970131072 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6813/stat : 6813 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614067 11078557696 10448 33554432000 4194304 4196468 140729127751344 140391946696976 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6814] ppid=6755 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6814/stat : 6814 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 15 0 79614067 11078557696 10448 33554432000 4194304 4196468 140729127751344 140391593355920 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6815] ppid=6755 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6815/stat : 6815 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 15 0 79614067 11078557696 10448 33554432000 4194304 4196468 140729127751344 140391592303120 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6816] ppid=6755 vsize=10818904 memory=139744970131072 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6816/stat : 6816 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 15 0 79614069 11078557696 10448 33554432000 4194304 4196468 140729127751344 140391548185200 140392021506690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6817] ppid=6755 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6817/stat : 6817 (java) S 6755 6758 6144 0 -1 1077944384 13 12931 0 0 0 0 5 3 20 0 15 0 79614069 11078557696 10448 33554432000 4194304 4196468 140729127751344 140391475045664 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6818] ppid=6755 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6818/stat : 6818 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614070 11078557696 10448 33554432000 4194304 4196468 140729127751344 140390871066224 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6819] ppid=6755 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6819/stat : 6819 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614072 11078557696 10448 33554432000 4194304 4196468 140729127751344 140390563666512 140392021514139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6820] ppid=6755 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6758/task/6820/stat : 6820 (java) S 6755 6758 6144 0 -1 1077944384 523 12931 0 0 1 0 5 3 20 0 15 0 79614072 11078557696 10448 33554432000 4194304 4196468 140729127751344 140391547132016 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6821] ppid=6755 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6821/stat : 6821 (java) S 6755 6758 6144 0 -1 1077944384 56 12931 0 0 0 0 5 3 20 0 15 0 79614072 11078557696 10448 33554432000 4194304 4196468 140729127751344 140391546079216 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6822] ppid=6755 vsize=10818904 memory=139744970131072 CPUtime=0.11 cores=0,2,4,6
/proc/6758/task/6822/stat : 6822 (java) S 6755 6758 6144 0 -1 1077944384 562 12931 0 0 3 0 5 3 20 0 15 0 79614072 11078557696 10448 33554432000 4194304 4196468 140729127751344 140391545026928 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6823] ppid=6755 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6823/stat : 6823 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614073 11078557696 10514 33554432000 4194304 4196468 140729127751344 140390530107872 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6824] ppid=6755 vsize=10818904 memory=139744970131072 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6824/stat : 6824 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614073 11078557696 10514 33554432000 4194304 4196468 140729127751344 140391543974832 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41000 KiB

[startup+0.310275 s]*
/proc/loadavg: 2.09 1.55 1.42 3/215 6824
/proc/meminfo: memFree=16680912/32770624 swapFree=67108796/67108860
[pid=6758] ppid=6755 vsize=10819352 memory=53048 CPUtime=0.39 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6755 6758 6144 0 -1 1077944320 10416 12931 0 0 28 3 5 3 20 0 15 0 79614057 11079016448 13262 33554432000 4194304 4196468 140729127751344 140729127733888 140392021495543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
/proc/6758/statm: 2704838 13262 3048 1 0 2667149 0
[pid=6758/tid=6811] ppid=6755 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/6758/task/6811/stat : 6811 (java) R 6755 6758 6144 0 -1 4202560 7046 12931 0 0 18 2 5 3 20 0 15 0 79614067 11079016448 13304 33554432000 4194304 4196468 140729127751344 140391993307552 140392005576030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6812] ppid=6755 vsize=10819352 memory=7300729005115854928 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6812/stat : 6812 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 15 0 79614067 11079016448 13304 33554432000 4194304 4196468 140729127751344 140392025737616 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6813] ppid=6755 vsize=10819352 memory=2072 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6813/stat : 6813 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614067 11079016448 13304 33554432000 4194304 4196468 140729127751344 140391946696976 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6814] ppid=6755 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6814/stat : 6814 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 15 0 79614067 11079016448 13304 33554432000 4194304 4196468 140729127751344 140391593355920 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6815] ppid=6755 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6815/stat : 6815 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 15 0 79614067 11079016448 13304 33554432000 4194304 4196468 140729127751344 140391592303120 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6816] ppid=6755 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6816/stat : 6816 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 15 0 79614069 11079016448 13304 33554432000 4194304 4196468 140729127751344 140391548185200 140392021506690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6817] ppid=6755 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6817/stat : 6817 (java) S 6755 6758 6144 0 -1 1077944384 13 12931 0 0 0 0 5 3 20 0 15 0 79614069 11079016448 13304 33554432000 4194304 4196468 140729127751344 140391475045664 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6818] ppid=6755 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6818/stat : 6818 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614070 11079016448 13304 33554432000 4194304 4196468 140729127751344 140390871066224 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6819] ppid=6755 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6819/stat : 6819 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614072 11079016448 13304 33554432000 4194304 4196468 140729127751344 140390563666512 140392021514139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6820] ppid=6755 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6758/task/6820/stat : 6820 (java) S 6755 6758 6144 0 -1 1077944384 524 12931 0 0 2 0 5 3 20 0 15 0 79614072 11079016448 13304 33554432000 4194304 4196468 140729127751344 140391547132016 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6821] ppid=6755 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6758/task/6821/stat : 6821 (java) S 6755 6758 6144 0 -1 1077944384 56 12931 0 0 1 0 5 3 20 0 15 0 79614072 11079016448 13304 33554432000 4194304 4196468 140729127751344 140391546079216 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6822] ppid=6755 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6758/task/6822/stat : 6822 (java) S 6755 6758 6144 0 -1 1077944384 581 12931 0 0 5 0 5 3 20 0 15 0 79614072 11079016448 13304 33554432000 4194304 4196468 140729127751344 140391545026928 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6823] ppid=6755 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6823/stat : 6823 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614073 11079016448 13304 33554432000 4194304 4196468 140729127751344 140390530107872 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6824] ppid=6755 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6824/stat : 6824 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614073 11079016448 13304 33554432000 4194304 4196468 140729127751344 140391543974832 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53048 KiB

[startup+0.700752 s]
/proc/loadavg: 2.09 1.55 1.42 3/215 6824
/proc/meminfo: memFree=16670184/32770624 swapFree=67108796/67108860
[pid=6758] ppid=6755 vsize=10819352 memory=86272 CPUtime=1 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6755 6758 6144 0 -1 1077944320 16727 12931 0 0 87 5 5 3 20 0 15 0 79614057 11079016448 21568 33554432000 4194304 4196468 140729127751344 140729127733888 140392021495543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
/proc/6758/statm: 2704838 21568 3237 1 0 2667149 0
[pid=6758/tid=6811] ppid=6755 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/6758/task/6811/stat : 6811 (java) R 6755 6758 6144 0 -1 4202560 12275 12931 0 0 55 4 5 3 20 0 15 0 79614067 11079016448 21568 33554432000 4194304 4196468 140729127751344 140391993317264 140392001770885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6812] ppid=6755 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6812/stat : 6812 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 15 0 79614067 11079016448 21568 33554432000 4194304 4196468 140729127751344 140392025737616 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6813] ppid=6755 vsize=10819352 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6813/stat : 6813 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614067 11079016448 21568 33554432000 4194304 4196468 140729127751344 140391946696976 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6814] ppid=6755 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6814/stat : 6814 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 15 0 79614067 11079016448 21568 33554432000 4194304 4196468 140729127751344 140391593355920 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6815] ppid=6755 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6815/stat : 6815 (java) S 6755 6758 6144 0 -1 1077944384 2 12931 0 0 0 0 5 3 20 0 15 0 79614067 11079016448 21568 33554432000 4194304 4196468 140729127751344 140391592303120 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6816] ppid=6755 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6816/stat : 6816 (java) S 6755 6758 6144 0 -1 1077944384 5 12931 0 0 0 0 5 3 20 0 15 0 79614069 11079016448 21568 33554432000 4194304 4196468 140729127751344 140391548185200 140392021506690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6817] ppid=6755 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6817/stat : 6817 (java) S 6755 6758 6144 0 -1 1077944384 13 12931 0 0 0 0 5 3 20 0 15 0 79614069 11079016448 21568 33554432000 4194304 4196468 140729127751344 140391475045664 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6818] ppid=6755 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6818/stat : 6818 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614070 11079016448 21568 33554432000 4194304 4196468 140729127751344 140390871066224 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6819] ppid=6755 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6819/stat : 6819 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614072 11079016448 21568 33554432000 4194304 4196468 140729127751344 140390563666512 140392021514139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6820] ppid=6755 vsize=10819352 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/6758/task/6820/stat : 6820 (java) S 6755 6758 6144 0 -1 1077944384 1101 12931 0 0 9 0 5 3 20 0 15 0 79614072 11079016448 21568 33554432000 4194304 4196468 140729127751344 140391547132016 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6821] ppid=6755 vsize=10819352 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/6758/task/6821/stat : 6821 (java) S 6755 6758 6144 0 -1 1077944384 453 12931 0 0 7 0 5 3 20 0 15 0 79614072 11079016448 21568 33554432000 4194304 4196468 140729127751344 140391546079216 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6822] ppid=6755 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/6758/task/6822/stat : 6822 (java) S 6755 6758 6144 0 -1 1077944384 674 12931 0 0 13 0 5 3 20 0 15 0 79614072 11079016448 21568 33554432000 4194304 4196468 140729127751344 140391545026928 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6823] ppid=6755 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6823/stat : 6823 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614073 11079016448 21568 33554432000 4194304 4196468 140729127751344 140390530107872 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6824] ppid=6755 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6824/stat : 6824 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614073 11079016448 21568 33554432000 4194304 4196468 140729127751344 140391543974832 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86272 KiB

[startup+1.50112 s]
/proc/loadavg: 2.09 1.55 1.42 3/215 6824
/proc/meminfo: memFree=16626264/32770624 swapFree=67108796/67108860
[pid=6758] ppid=6755 vsize=10834252 memory=177368 CPUtime=2.38 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6755 6758 6144 0 -1 1077944320 24468 12931 0 0 219 11 5 3 20 0 15 0 79614057 11094274048 44342 33554432000 4194304 4196468 140729127751344 140729127733888 140392021495543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
/proc/6758/statm: 2708563 44342 3467 1 0 2670221 0
[pid=6758/tid=6811] ppid=6755 vsize=10834252 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/6758/task/6811/stat : 6811 (java) R 6755 6758 6144 0 -1 4202560 17912 12931 0 0 128 7 5 3 20 0 15 0 79614067 11094274048 44342 33554432000 4194304 4196468 140729127751344 140391993326928 140391627932487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6812] ppid=6755 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6758/task/6812/stat : 6812 (java) S 6755 6758 6144 0 -1 1077944384 17 12931 0 0 1 0 5 3 20 0 15 0 79614067 11094274048 44342 33554432000 4194304 4196468 140729127751344 140392025737616 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6813] ppid=6755 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6758/task/6813/stat : 6813 (java) S 6755 6758 6144 0 -1 1077944384 47 12931 0 0 1 0 5 3 20 0 15 0 79614067 11094274048 44342 33554432000 4194304 4196468 140729127751344 140391946696976 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6814] ppid=6755 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6758/task/6814/stat : 6814 (java) S 6755 6758 6144 0 -1 1077944384 187 12931 0 0 1 0 5 3 20 0 15 0 79614067 11094274048 44342 33554432000 4194304 4196468 140729127751344 140391593355920 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6815] ppid=6755 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6815/stat : 6815 (java) S 6755 6758 6144 0 -1 1077944384 38 12931 0 0 0 0 5 3 20 0 15 0 79614067 11094274048 44342 33554432000 4194304 4196468 140729127751344 140391592303120 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6816] ppid=6755 vsize=10834252 memory=1399103955520229747 CPUtime=0.09 cores=0,2,4,6
/proc/6758/task/6816/stat : 6816 (java) S 6755 6758 6144 0 -1 1077944384 184 12931 0 0 1 0 5 3 20 0 15 0 79614069 11094274048 44342 33554432000 4194304 4196468 140729127751344 140391548185200 140392021506690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6817] ppid=6755 vsize=10834252 memory=279489628154112 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6817/stat : 6817 (java) S 6755 6758 6144 0 -1 1077944384 14 12931 0 0 0 0 5 3 20 0 15 0 79614069 11094274048 44342 33554432000 4194304 4196468 140729127751344 140391475045728 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6818] ppid=6755 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6818/stat : 6818 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614070 11094274048 44342 33554432000 4194304 4196468 140729127751344 140390871066240 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6819] ppid=6755 vsize=10834252 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6819/stat : 6819 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614072 11094274048 44342 33554432000 4194304 4196468 140729127751344 140390563666512 140392021514139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6820] ppid=6755 vsize=10834252 memory=832 CPUtime=0.32 cores=0,2,4,6
/proc/6758/task/6820/stat : 6820 (java) S 6755 6758 6144 0 -1 1077944384 1564 12931 0 0 24 0 5 3 20 0 15 0 79614072 11094274048 44342 33554432000 4194304 4196468 140729127751344 140391547132016 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6821] ppid=6755 vsize=10834252 memory=1608 CPUtime=0.3 cores=0,2,4,6
/proc/6758/task/6821/stat : 6821 (java) S 6755 6758 6144 0 -1 1077944384 882 12931 0 0 22 0 5 3 20 0 15 0 79614072 11094274048 44342 33554432000 4194304 4196468 140729127751344 140391546079216 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6822] ppid=6755 vsize=10834252 memory=5024 CPUtime=0.44 cores=0,2,4,6
/proc/6758/task/6822/stat : 6822 (java) R 6755 6758 6144 0 -1 4202560 1424 12931 0 0 36 0 5 3 20 0 15 0 79614072 11094274048 44342 33554432000 4194304 4196468 140729127751344 140391545026928 140392021516890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6823] ppid=6755 vsize=10834252 memory=4032 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6823/stat : 6823 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614073 11094274048 44342 33554432000 4194304 4196468 140729127751344 140390530107872 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6824] ppid=6755 vsize=10834252 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6824/stat : 6824 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614073 11094274048 44342 33554432000 4194304 4196468 140729127751344 140391543974832 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 10834252 KiB

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

/proc/6758/task/6811/stat : 6811 (java) R 6755 6758 6144 0 -1 4202560 115047 12931 0 0 229708 56 5 3 20 0 15 0 79614067 11178180608 285951 33554432000 4194304 4196468 140729127751344 140391993330976 140391642996225 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6812] ppid=6755 vsize=10916192 memory=1143696 CPUtime=13.4 cores=0,2,4,6
/proc/6758/task/6812/stat : 6812 (java) S 6755 6758 6144 0 -1 1077944384 17347 12931 0 0 1278 54 5 3 20 0 15 0 79614067 11178180608 285951 33554432000 4194304 4196468 140729127751344 140392025737616 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6813] ppid=6755 vsize=10916192 memory=1143696 CPUtime=13.39 cores=0,2,4,6
/proc/6758/task/6813/stat : 6813 (java) S 6755 6758 6144 0 -1 1077944384 21387 12931 0 0 1276 55 5 3 20 0 15 0 79614067 11178180608 285951 33554432000 4194304 4196468 140729127751344 140391946696976 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6814] ppid=6755 vsize=10916192 memory=1143696 CPUtime=13.39 cores=0,2,4,6
/proc/6758/task/6814/stat : 6814 (java) S 6755 6758 6144 0 -1 1077944384 25523 12931 0 0 1272 59 5 3 20 0 15 0 79614067 11178180608 285951 33554432000 4194304 4196468 140729127751344 140391593355920 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6815] ppid=6755 vsize=10916192 memory=1143760 CPUtime=13.4 cores=0,2,4,6
/proc/6758/task/6815/stat : 6815 (java) S 6755 6758 6144 0 -1 1077944384 22732 12931 0 0 1275 57 5 3 20 0 15 0 79614067 11178180608 285951 33554432000 4194304 4196468 140729127751344 140391592303120 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6816] ppid=6755 vsize=10916192 memory=1143760 CPUtime=8.66 cores=0,2,4,6
/proc/6758/task/6816/stat : 6816 (java) S 6755 6758 6144 0 -1 1077944384 19333 12931 0 0 813 45 5 3 20 0 15 0 79614069 11178180608 285951 33554432000 4194304 4196468 140729127751344 140391548185200 140392021506690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6817] ppid=6755 vsize=10916192 memory=1143760 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6817/stat : 6817 (java) S 6755 6758 6144 0 -1 1077944384 14 12931 0 0 0 0 5 3 20 0 15 0 79614069 11178180608 285951 33554432000 4194304 4196468 140729127751344 140391475045728 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6818] ppid=6755 vsize=10916192 memory=1143760 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6818/stat : 6818 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614070 11178180608 285951 33554432000 4194304 4196468 140729127751344 140390871066240 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6819] ppid=6755 vsize=10916192 memory=1143760 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6819/stat : 6819 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614072 11178180608 285951 33554432000 4194304 4196468 140729127751344 140390563666512 140392021514139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6820] ppid=6755 vsize=10916192 memory=1143760 CPUtime=7.87 cores=0,2,4,6
/proc/6758/task/6820/stat : 6820 (java) S 6755 6758 6144 0 -1 1077944384 33104 12931 0 0 774 5 5 3 20 0 15 0 79614072 11178180608 285951 33554432000 4194304 4196468 140729127751344 140391547132016 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6821] ppid=6755 vsize=10916192 memory=4104 CPUtime=9.03 cores=0,2,4,6
/proc/6758/task/6821/stat : 6821 (java) S 6755 6758 6144 0 -1 1077944384 55695 12931 0 0 888 7 5 3 20 0 15 0 79614072 11178180608 285951 33554432000 4194304 4196468 140729127751344 140391546079216 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6822] ppid=6755 vsize=10916192 memory=1143760 CPUtime=3.66 cores=0,2,4,6
/proc/6758/task/6822/stat : 6822 (java) S 6755 6758 6144 0 -1 1077944384 30716 12931 0 0 353 5 5 3 20 0 15 0 79614072 11178180608 285951 33554432000 4194304 4196468 140729127751344 140391545026928 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6823] ppid=6755 vsize=10916192 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6823/stat : 6823 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614073 11178180608 285951 33554432000 4194304 4196468 140729127751344 140390530107872 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6824] ppid=6755 vsize=10916192 memory=4032 CPUtime=1.42 cores=0,2,4,6
/proc/6758/task/6824/stat : 6824 (java) S 6755 6758 6144 0 -1 1077944384 1959 12931 0 0 66 68 5 3 20 0 15 0 79614073 11178180608 285951 33554432000 4194304 4196468 140729127751344 140391543974832 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
Current children cumulated CPU time: 2381.32 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1143804 KiB

[startup+2382.3 s]
/proc/loadavg: 1.36 1.38 1.40 3/215 6918
/proc/meminfo: memFree=15565848/32770624 swapFree=67108796/67108860
[pid=6758] ppid=6755 vsize=10916192 memory=1143848 CPUtime=2442.39 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6755 6758 6144 0 -1 1077944320 346788 12931 0 0 243858 373 5 3 20 0 15 0 79614057 11178180608 285962 33554432000 4194304 4196468 140729127751344 140729127733888 140392021495543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
/proc/6758/statm: 2729048 285962 3533 1 0 2690701 0
[pid=6758/tid=6811] ppid=6755 vsize=10916192 memory=1143848 CPUtime=2357.02 cores=0,2,4,6
/proc/6758/task/6811/stat : 6811 (java) R 6755 6758 6144 0 -1 4202560 115937 12931 0 0 235637 57 5 3 20 0 15 0 79614067 11178180608 285962 33554432000 4194304 4196468 140729127751344 140391993330864 140391638841186 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6812] ppid=6755 vsize=10916192 memory=1143848 CPUtime=13.77 cores=0,2,4,6
/proc/6758/task/6812/stat : 6812 (java) S 6755 6758 6144 0 -1 1077944384 17362 12931 0 0 1314 55 5 3 20 0 15 0 79614067 11178180608 285962 33554432000 4194304 4196468 140729127751344 140392025737616 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6813] ppid=6755 vsize=10916192 memory=1143848 CPUtime=13.76 cores=0,2,4,6
/proc/6758/task/6813/stat : 6813 (java) S 6755 6758 6144 0 -1 1077944384 21399 12931 0 0 1312 56 5 3 20 0 15 0 79614067 11178180608 285962 33554432000 4194304 4196468 140729127751344 140391946696976 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6814] ppid=6755 vsize=10916192 memory=1143820 CPUtime=13.77 cores=0,2,4,6
/proc/6758/task/6814/stat : 6814 (java) S 6755 6758 6144 0 -1 1077944384 25901 12931 0 0 1309 60 5 3 20 0 15 0 79614067 11178180608 285962 33554432000 4194304 4196468 140729127751344 140391593355920 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6815] ppid=6755 vsize=10916192 memory=0 CPUtime=13.78 cores=0,2,4,6
/proc/6758/task/6815/stat : 6815 (java) S 6755 6758 6144 0 -1 1077944384 22905 12931 0 0 1312 58 5 3 20 0 15 0 79614067 11178180608 285962 33554432000 4194304 4196468 140729127751344 140391592303120 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6816] ppid=6755 vsize=10916192 memory=1143804 CPUtime=8.9 cores=0,2,4,6
/proc/6758/task/6816/stat : 6816 (java) S 6755 6758 6144 0 -1 1077944384 19568 12931 0 0 836 46 5 3 20 0 15 0 79614069 11178180608 285962 33554432000 4194304 4196468 140729127751344 140391548185200 140392021506690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6817] ppid=6755 vsize=10916192 memory=1143804 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6817/stat : 6817 (java) S 6755 6758 6144 0 -1 1077944384 14 12931 0 0 0 0 5 3 20 0 15 0 79614069 11178180608 285962 33554432000 4194304 4196468 140729127751344 140391475045728 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6818] ppid=6755 vsize=10916192 memory=7024 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6818/stat : 6818 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614070 11178180608 285962 33554432000 4194304 4196468 140729127751344 140390871066240 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6819] ppid=6755 vsize=10916192 memory=15044 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6819/stat : 6819 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614072 11178180608 285962 33554432000 4194304 4196468 140729127751344 140390563666512 140392021514139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6820] ppid=6755 vsize=10916192 memory=1143848 CPUtime=7.87 cores=0,2,4,6
/proc/6758/task/6820/stat : 6820 (java) S 6755 6758 6144 0 -1 1077944384 33108 12931 0 0 774 5 5 3 20 0 15 0 79614072 11178180608 285962 33554432000 4194304 4196468 140729127751344 140391547132016 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6821] ppid=6755 vsize=10916192 memory=924 CPUtime=9.03 cores=0,2,4,6
/proc/6758/task/6821/stat : 6821 (java) S 6755 6758 6144 0 -1 1077944384 55699 12931 0 0 888 7 5 3 20 0 15 0 79614072 11178180608 285962 33554432000 4194304 4196468 140729127751344 140391546079216 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6822] ppid=6755 vsize=10916192 memory=1143848 CPUtime=3.66 cores=0,2,4,6
/proc/6758/task/6822/stat : 6822 (java) S 6755 6758 6144 0 -1 1077944384 30720 12931 0 0 353 5 5 3 20 0 15 0 79614072 11178180608 285962 33554432000 4194304 4196468 140729127751344 140391545026928 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6823] ppid=6755 vsize=10916192 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6823/stat : 6823 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614073 11178180608 285962 33554432000 4194304 4196468 140729127751344 140390530107872 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6824] ppid=6755 vsize=10916192 memory=3708 CPUtime=1.46 cores=0,2,4,6
/proc/6758/task/6824/stat : 6824 (java) S 6755 6758 6144 0 -1 1077944384 1977 12931 0 0 68 70 5 3 20 0 15 0 79614073 11178180608 285962 33554432000 4194304 4196468 140729127751344 140391543974832 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
Current children cumulated CPU time: 2442.39 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1143848 KiB

[startup+2442.3 s]
/proc/loadavg: 1.47 1.41 1.41 3/215 6919
/proc/meminfo: memFree=15565928/32770624 swapFree=67108796/67108860
[pid=6758] ppid=6755 vsize=10916192 memory=1143896 CPUtime=2503.45 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6755 6758 6144 0 -1 1077944320 348496 12931 0 0 249956 381 5 3 20 0 15 0 79614057 11178180608 285974 33554432000 4194304 4196468 140729127751344 140729127733888 140392021495543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
/proc/6758/statm: 2729048 285974 3533 1 0 2690701 0
[pid=6758/tid=6811] ppid=6755 vsize=10916192 memory=1143896 CPUtime=2416.35 cores=0,2,4,6
/proc/6758/task/6811/stat : 6811 (java) R 6755 6758 6144 0 -1 4202560 116817 12931 0 0 241569 58 5 3 20 0 15 0 79614067 11178180608 285974 33554432000 4194304 4196468 140729127751344 140391993330768 140391641059020 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6812] ppid=6755 vsize=10916192 memory=1143848 CPUtime=14.14 cores=0,2,4,6
/proc/6758/task/6812/stat : 6812 (java) S 6755 6758 6144 0 -1 1077944384 17394 12931 0 0 1350 56 5 3 20 0 15 0 79614067 11178180608 285974 33554432000 4194304 4196468 140729127751344 140392025737616 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6813] ppid=6755 vsize=10916192 memory=1143848 CPUtime=14.12 cores=0,2,4,6
/proc/6758/task/6813/stat : 6813 (java) S 6755 6758 6144 0 -1 1077944384 21773 12931 0 0 1347 57 5 3 20 0 15 0 79614067 11178180608 285974 33554432000 4194304 4196468 140729127751344 140391946696976 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6814] ppid=6755 vsize=10916192 memory=1143876 CPUtime=14.13 cores=0,2,4,6
/proc/6758/task/6814/stat : 6814 (java) S 6755 6758 6144 0 -1 1077944384 26072 12931 0 0 1344 61 5 3 20 0 15 0 79614067 11178180608 285974 33554432000 4194304 4196468 140729127751344 140391593355920 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6815] ppid=6755 vsize=10916192 memory=1143892 CPUtime=14.15 cores=0,2,4,6
/proc/6758/task/6815/stat : 6815 (java) S 6755 6758 6144 0 -1 1077944384 22920 12931 0 0 1348 59 5 3 20 0 15 0 79614067 11178180608 285974 33554432000 4194304 4196468 140729127751344 140391592303120 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6816] ppid=6755 vsize=10916192 memory=1143892 CPUtime=9.12 cores=0,2,4,6
/proc/6758/task/6816/stat : 6816 (java) S 6755 6758 6144 0 -1 1077944384 19781 12931 0 0 857 47 5 3 20 0 15 0 79614069 11178180608 285974 33554432000 4194304 4196468 140729127751344 140391548185200 140392021506690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6817] ppid=6755 vsize=10916192 memory=1143896 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6817/stat : 6817 (java) S 6755 6758 6144 0 -1 1077944384 14 12931 0 0 0 0 5 3 20 0 15 0 79614069 11178180608 285974 33554432000 4194304 4196468 140729127751344 140391475045728 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6818] ppid=6755 vsize=10916192 memory=1143896 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6818/stat : 6818 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614070 11178180608 285974 33554432000 4194304 4196468 140729127751344 140390871066240 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6819] ppid=6755 vsize=10916192 memory=1143896 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6819/stat : 6819 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614072 11178180608 285974 33554432000 4194304 4196468 140729127751344 140390563666512 140392021514139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6820] ppid=6755 vsize=10916192 memory=1143896 CPUtime=7.87 cores=0,2,4,6
/proc/6758/task/6820/stat : 6820 (java) S 6755 6758 6144 0 -1 1077944384 33110 12931 0 0 774 5 5 3 20 0 15 0 79614072 11178180608 285974 33554432000 4194304 4196468 140729127751344 140391547132016 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6821] ppid=6755 vsize=10916192 memory=1143896 CPUtime=9.03 cores=0,2,4,6
/proc/6758/task/6821/stat : 6821 (java) S 6755 6758 6144 0 -1 1077944384 55702 12931 0 0 888 7 5 3 20 0 15 0 79614072 11178180608 285974 33554432000 4194304 4196468 140729127751344 140391546079216 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6822] ppid=6755 vsize=10916192 memory=1143896 CPUtime=3.66 cores=0,2,4,6
/proc/6758/task/6822/stat : 6822 (java) S 6755 6758 6144 0 -1 1077944384 30722 12931 0 0 353 5 5 3 20 0 15 0 79614072 11178180608 285974 33554432000 4194304 4196468 140729127751344 140391545026928 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6823] ppid=6755 vsize=10916192 memory=1143896 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6823/stat : 6823 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614073 11178180608 285974 33554432000 4194304 4196468 140729127751344 140390530107872 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6824] ppid=6755 vsize=10916192 memory=1143896 CPUtime=1.49 cores=0,2,4,6
/proc/6758/task/6824/stat : 6824 (java) S 6755 6758 6144 0 -1 1077944384 1993 12931 0 0 70 71 5 3 20 0 15 0 79614073 11178180608 285974 33554432000 4194304 4196468 140729127751344 140391543974832 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
Current children cumulated CPU time: 2503.45 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1143896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2458.6 s]
/proc/loadavg: 1.29 1.38 1.40 2/194 6970
/proc/meminfo: memFree=16442444/32770624 swapFree=67108796/67108860
[pid=6758] ppid=6755 vsize=10916192 memory=1143904 CPUtime=2520.03 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6755 6758 6144 0 -1 1077944320 349121 12931 0 0 251613 382 5 3 20 0 15 0 79614057 11178180608 285976 33554432000 4194304 4196468 140729127751344 140729127733888 140392021495543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
/proc/6758/statm: 2729048 285976 3533 1 0 2690701 0
[pid=6758/tid=6811] ppid=6755 vsize=10916192 memory=920 CPUtime=2432.45 cores=0,2,4,6
/proc/6758/task/6811/stat : 6811 (java) R 6755 6758 6144 0 -1 4202560 117056 12931 0 0 243179 58 5 3 20 0 15 0 79614067 11178180608 285976 33554432000 4194304 4196468 140729127751344 140391993331424 140391642583967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6812] ppid=6755 vsize=10916192 memory=3848 CPUtime=14.23 cores=0,2,4,6
/proc/6758/task/6812/stat : 6812 (java) S 6755 6758 6144 0 -1 1077944384 17396 12931 0 0 1359 56 5 3 20 0 15 0 79614067 11178180608 285976 33554432000 4194304 4196468 140729127751344 140392025737616 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6813] ppid=6755 vsize=10916192 memory=2644 CPUtime=14.22 cores=0,2,4,6
/proc/6758/task/6813/stat : 6813 (java) S 6755 6758 6144 0 -1 1077944384 21777 12931 0 0 1357 57 5 3 20 0 15 0 79614067 11178180608 285976 33554432000 4194304 4196468 140729127751344 140391946696976 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6814] ppid=6755 vsize=10916192 memory=3708 CPUtime=14.23 cores=0,2,4,6
/proc/6758/task/6814/stat : 6814 (java) S 6755 6758 6144 0 -1 1077944384 26430 12931 0 0 1354 61 5 3 20 0 15 0 79614067 11178180608 285976 33554432000 4194304 4196468 140729127751344 140391593355920 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6815] ppid=6755 vsize=10916192 memory=23516 CPUtime=14.25 cores=0,2,4,6
/proc/6758/task/6815/stat : 6815 (java) S 6755 6758 6144 0 -1 1077944384 22929 12931 0 0 1358 59 5 3 20 0 15 0 79614067 11178180608 285976 33554432000 4194304 4196468 140729127751344 140391592303120 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6816] ppid=6755 vsize=10916192 memory=924 CPUtime=9.19 cores=0,2,4,6
/proc/6758/task/6816/stat : 6816 (java) S 6755 6758 6144 0 -1 1077944384 19792 12931 0 0 864 47 5 3 20 0 15 0 79614069 11178180608 285976 33554432000 4194304 4196468 140729127751344 140391548185200 140392021506690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6817] ppid=6755 vsize=10916192 memory=1572 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6817/stat : 6817 (java) S 6755 6758 6144 0 -1 1077944384 14 12931 0 0 0 0 5 3 20 0 15 0 79614069 11178180608 285976 33554432000 4194304 4196468 140729127751344 140391475045728 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6818] ppid=6755 vsize=10916192 memory=2092 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6818/stat : 6818 (java) S 6755 6758 6144 0 -1 1077944384 1 12931 0 0 0 0 5 3 20 0 15 0 79614070 11178180608 285976 33554432000 4194304 4196468 140729127751344 140390871066240 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6819] ppid=6755 vsize=10916192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6819/stat : 6819 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614072 11178180608 285976 33554432000 4194304 4196468 140729127751344 140390563666512 140392021514139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6820] ppid=6755 vsize=10916192 memory=6428055288713275761 CPUtime=7.87 cores=0,2,4,6
/proc/6758/task/6820/stat : 6820 (java) S 6755 6758 6144 0 -1 1077944384 33110 12931 0 0 774 5 5 3 20 0 15 0 79614072 11178180608 285976 33554432000 4194304 4196468 140729127751344 140391547132016 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6821] ppid=6755 vsize=10916192 memory=8030539639652246354 CPUtime=9.03 cores=0,2,4,6
/proc/6758/task/6821/stat : 6821 (java) S 6755 6758 6144 0 -1 1077944384 55702 12931 0 0 888 7 5 3 20 0 15 0 79614072 11178180608 285976 33554432000 4194304 4196468 140729127751344 140391546079216 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6822] ppid=6755 vsize=10916192 memory=8030539640577614955 CPUtime=3.66 cores=0,2,4,6
/proc/6758/task/6822/stat : 6822 (java) S 6755 6758 6144 0 -1 1077944384 30722 12931 0 0 353 5 5 3 20 0 15 0 79614072 11178180608 285976 33554432000 4194304 4196468 140729127751344 140391545026928 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6823] ppid=6755 vsize=10916192 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/6758/task/6823/stat : 6823 (java) S 6755 6758 6144 0 -1 1077944384 3 12931 0 0 0 0 5 3 20 0 15 0 79614073 11178180608 285976 33554432000 4194304 4196468 140729127751344 140390530107872 140392021505749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
[pid=6758/tid=6824] ppid=6755 vsize=10916192 memory=23516 CPUtime=1.51 cores=0,2,4,6
/proc/6758/task/6824/stat : 6824 (java) S 6755 6758 6144 0 -1 1077944384 1995 12931 0 0 71 72 5 3 20 0 15 0 79614073 11178180608 285976 33554432000 4194304 4196468 140729127751344 140391543974832 140392021506690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30474240 140729127753900 140729127757148 140729127757148 140729127759823 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1143904 KiB

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

[startup+2458.63 s]
# the end of solver process 6758 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.2 s, system=3.87122 s

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

Child status: 143
Real time (s): 2458.63
CPU time (s): 2520.08
CPU user time (s): 2516.2
CPU system time (s): 3.87122
CPU usage (%): 102.499
Max. virtual memory (cumulated for all children) (KiB): 10918828
Max. memory (cumulated for all children) (KiB): 1846680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.2
system time used= 3.87122
maximum resident set size= 1857468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 237693
involuntary context switches= 8059


# summary of solver processes directly reported to runsolver:
#   pid: 6758
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.2
#   total CPU system time (s): 3.87122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4496 second user time and 23.5613 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 4296262

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