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)	17	2520.14	2475.04

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296250-1532618977/watcher-4296250-1532618977 -o /tmp/evaluation-result-4296250-1532618977/solver-4296250-1532618977 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532616503-11024 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=818358764 -superng HOME/instance-4296250-1532618977.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=11383, runsolver pid=11380

[startup+0.100059 s]*
/proc/loadavg: 1.23 1.28 1.37 5/205 11440
/proc/meminfo: memFree=20514992/32770624 swapFree=67108860/67108860
[pid=11383] ppid=11380 vsize=9972712 memory=16808 CPUtime=0.08 cores=0,2,4,6
/proc/11383/stat : 11383 (java) S 11380 11383 8081 0 -1 1077944320 4360 12879 0 0 1 0 5 2 20 0 6 0 79460929 10212057088 4202 33554432000 4194304 4196468 140728126177552 140728126160096 140411849572087 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
/proc/11383/statm: 2493178 4202 1934 1 0 2481616 0
[pid=11383/tid=11436] ppid=11380 vsize=9972712 memory=-8187100386482147110 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11436/stat : 11436 (java) R 11380 11383 8081 0 -1 4202560 2178 12879 0 0 0 0 5 2 20 0 6 0 79460938 10212057088 4202 33554432000 4194304 4196468 140728126177552 140411821408848 140411849594013 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11437] ppid=11380 vsize=9972712 memory=-3689349214911541841 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11437/stat : 11437 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 6 0 79460939 10212057088 4202 33554432000 4194304 4196468 140728126177552 140411853814032 140411849582293 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11438] ppid=11380 vsize=9972712 memory=139772961220224 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11438/stat : 11438 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 6 0 79460939 10212057088 4202 33554432000 4194304 4196468 140728126177552 140411423156624 140411849582293 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11439] ppid=11380 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11439/stat : 11439 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 6 0 79460939 10212057088 4202 33554432000 4194304 4196468 140728126177552 140411422104080 140411849582293 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11440] ppid=11380 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11440/stat : 11440 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 6 0 79460939 10212057088 4202 33554432000 4194304 4196468 140728126177552 140411421051536 140411849582293 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16808 KiB

[startup+0.210099 s]*
/proc/loadavg: 1.23 1.28 1.37 7/214 11449
/proc/meminfo: memFree=20469264/32770624 swapFree=67108860/67108860
[pid=11383] ppid=11380 vsize=10818856 memory=44596 CPUtime=0.25 cores=0,2,4,6
/proc/11383/stat : 11383 (java) S 11380 11383 8081 0 -1 1077944320 8514 12879 0 0 17 1 5 2 20 0 15 0 79460929 11078508544 11149 33554432000 4194304 4196468 140728126177552 140728126160096 140411849572087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
/proc/11383/statm: 2704714 11149 2961 1 0 2667149 0
[pid=11383/tid=11436] ppid=11380 vsize=10818856 memory=4495308486127878795 CPUtime=0.18 cores=0,2,4,6
/proc/11383/task/11436/stat : 11436 (java) R 11380 11383 8081 0 -1 4202560 5143 12879 0 0 10 1 5 2 20 0 15 0 79460938 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411821369744 140411831135643 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11437] ppid=11380 vsize=10818856 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11437/stat : 11437 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460939 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411853814032 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11438] ppid=11380 vsize=10818856 memory=139772961220224 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11438/stat : 11438 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460939 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411423156624 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11439] ppid=11380 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11439/stat : 11439 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460939 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411422104080 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11440] ppid=11380 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11440/stat : 11440 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460939 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411421051536 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11441] ppid=11380 vsize=10818856 memory=139772961220224 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11441/stat : 11441 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460940 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411309119984 140411849583234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11442] ppid=11380 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11442/stat : 11442 (java) S 11380 11383 8081 0 -1 1077944384 33 12879 0 0 0 0 5 2 20 0 15 0 79460941 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411308066208 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11443] ppid=11380 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11443/stat : 11443 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460941 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411205051888 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11444] ppid=11380 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11444/stat : 11444 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460943 11078508544 11149 33554432000 4194304 4196468 140728126177552 140410601073360 140411849590683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11445] ppid=11380 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11383/task/11445/stat : 11445 (java) S 11380 11383 8081 0 -1 1077944384 489 12879 0 0 1 0 5 2 20 0 15 0 79460943 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411274508272 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11446] ppid=11380 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11383/task/11446/stat : 11446 (java) S 11380 11383 8081 0 -1 1077944384 91 12879 0 0 1 0 5 2 20 0 15 0 79460943 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411273455728 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11447] ppid=11380 vsize=10818856 memory=139772961220224 CPUtime=0.1 cores=0,2,4,6
/proc/11383/task/11447/stat : 11447 (java) S 11380 11383 8081 0 -1 1077944384 554 12879 0 0 3 0 5 2 20 0 15 0 79460943 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411171494128 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11448] ppid=11380 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11448/stat : 11448 (java) S 11380 11383 8081 0 -1 1077944384 3 12879 0 0 0 0 5 2 20 0 15 0 79460944 11078508544 11149 33554432000 4194304 4196468 140728126177552 140410131311200 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11449] ppid=11380 vsize=10818856 memory=139772961220224 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11449/stat : 11449 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460944 11078508544 11149 33554432000 4194304 4196468 140728126177552 140411170442032 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 44596 KiB

[startup+0.31025 s]*
/proc/loadavg: 1.23 1.28 1.37 10/217 11452
/proc/meminfo: memFree=20437716/32770624 swapFree=67108860/67108860
[pid=11383] ppid=11380 vsize=10819352 memory=55924 CPUtime=0.38 cores=0,2,4,6
/proc/11383/stat : 11383 (java) S 11380 11383 8081 0 -1 1077944320 10553 12879 0 0 29 2 5 2 20 0 15 0 79460929 11079016448 13981 33554432000 4194304 4196468 140728126177552 140728126160096 140411849572087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
/proc/11383/statm: 2704838 13981 3092 1 0 2667149 0
[pid=11383/tid=11436] ppid=11380 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/11383/task/11436/stat : 11436 (java) R 11380 11383 8081 0 -1 4202560 7178 12879 0 0 20 1 5 2 20 0 15 0 79460938 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411821384096 140411833652574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11437] ppid=11380 vsize=10819352 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11437/stat : 11437 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460939 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411853814032 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11438] ppid=11380 vsize=10819352 memory=2209 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11438/stat : 11438 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460939 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411423156624 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11439] ppid=11380 vsize=10819352 memory=92612 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11439/stat : 11439 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460939 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411422104080 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11440] ppid=11380 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11440/stat : 11440 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460939 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411421051536 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11441] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11441/stat : 11441 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460940 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411309119984 140411849583234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11442] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11442/stat : 11442 (java) S 11380 11383 8081 0 -1 1077944384 33 12879 0 0 0 0 5 2 20 0 15 0 79460941 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411308066208 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11443] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11443/stat : 11443 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460941 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411205051888 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11444] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11444/stat : 11444 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460943 11079016448 13981 33554432000 4194304 4196468 140728126177552 140410601073360 140411849590683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11445] ppid=11380 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11383/task/11445/stat : 11445 (java) S 11380 11383 8081 0 -1 1077944384 490 12879 0 0 1 0 5 2 20 0 15 0 79460943 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411274508272 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11446] ppid=11380 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11383/task/11446/stat : 11446 (java) S 11380 11383 8081 0 -1 1077944384 91 12879 0 0 1 0 5 2 20 0 15 0 79460943 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411273455728 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11447] ppid=11380 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11383/task/11447/stat : 11447 (java) R 11380 11383 8081 0 -1 4202560 562 12879 0 0 5 0 5 2 20 0 15 0 79460943 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411171494128 140411841809214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11448] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11448/stat : 11448 (java) S 11380 11383 8081 0 -1 1077944384 3 12879 0 0 0 0 5 2 20 0 15 0 79460944 11079016448 13981 33554432000 4194304 4196468 140728126177552 140410131311200 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11449] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11449/stat : 11449 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460944 11079016448 13981 33554432000 4194304 4196468 140728126177552 140411170442032 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55924 KiB

[startup+0.700787 s]
/proc/loadavg: 1.23 1.28 1.37 2/198 11452
/proc/meminfo: memFree=20502580/32770624 swapFree=67108860/67108860
[pid=11383] ppid=11380 vsize=10819352 memory=88960 CPUtime=0.99 cores=0,2,4,6
/proc/11383/stat : 11383 (java) S 11380 11383 8081 0 -1 1077944320 16857 12879 0 0 88 4 5 2 20 0 15 0 79460929 11079016448 22240 33554432000 4194304 4196468 140728126177552 140728126160096 140411849572087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
/proc/11383/statm: 2704838 22240 3241 1 0 2667149 0
[pid=11383/tid=11436] ppid=11380 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/11383/task/11436/stat : 11436 (java) R 11380 11383 8081 0 -1 4202560 12496 12879 0 0 56 3 5 2 20 0 15 0 79460938 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411821392912 140411831135616 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11437] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11437/stat : 11437 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460939 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411853814032 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11438] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11438/stat : 11438 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460939 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411423156624 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11439] ppid=11380 vsize=10819352 memory=8174711894690707253 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11439/stat : 11439 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460939 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411422104080 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11440] ppid=11380 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11440/stat : 11440 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460939 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411421051536 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11441] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11441/stat : 11441 (java) S 11380 11383 8081 0 -1 1077944384 5 12879 0 0 0 0 5 2 20 0 15 0 79460940 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411309119984 140411849583234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11442] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11442/stat : 11442 (java) S 11380 11383 8081 0 -1 1077944384 33 12879 0 0 0 0 5 2 20 0 15 0 79460941 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411308066208 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11443] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11443/stat : 11443 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460941 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411205051888 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11444] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11444/stat : 11444 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460943 11079016448 22240 33554432000 4194304 4196468 140728126177552 140410601073360 140411849590683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11445] ppid=11380 vsize=10819352 memory=6656426216303648864 CPUtime=0.14 cores=0,2,4,6
/proc/11383/task/11445/stat : 11445 (java) S 11380 11383 8081 0 -1 1077944384 756 12879 0 0 7 0 5 2 20 0 15 0 79460943 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411274508272 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11446] ppid=11380 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/11383/task/11446/stat : 11446 (java) S 11380 11383 8081 0 -1 1077944384 732 12879 0 0 10 0 5 2 20 0 15 0 79460943 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411273455728 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11447] ppid=11380 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/11383/task/11447/stat : 11447 (java) S 11380 11383 8081 0 -1 1077944384 633 12879 0 0 13 0 5 2 20 0 15 0 79460943 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411171494128 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11448] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11448/stat : 11448 (java) S 11380 11383 8081 0 -1 1077944384 3 12879 0 0 0 0 5 2 20 0 15 0 79460944 11079016448 22240 33554432000 4194304 4196468 140728126177552 140410131311200 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11449] ppid=11380 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11449/stat : 11449 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460944 11079016448 22240 33554432000 4194304 4196468 140728126177552 140411170442032 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88960 KiB

[startup+1.50079 s]
/proc/loadavg: 1.23 1.28 1.37 3/215 11549
/proc/meminfo: memFree=20431212/32770624 swapFree=67108860/67108860
[pid=11383] ppid=11380 vsize=10834252 memory=181620 CPUtime=2.37 cores=0,2,4,6
/proc/11383/stat : 11383 (java) S 11380 11383 8081 0 -1 1077944320 25388 12879 0 0 221 9 5 2 20 0 15 0 79460929 11094274048 45405 33554432000 4194304 4196468 140728126177552 140728126160096 140411849572087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
/proc/11383/statm: 2708563 45405 3475 1 0 2670221 0
[pid=11383/tid=11436] ppid=11380 vsize=10834252 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/11383/task/11436/stat : 11436 (java) R 11380 11383 8081 0 -1 4202560 18256 12879 0 0 130 5 5 2 20 0 15 0 79460938 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411821395184 140411849594013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11437] ppid=11380 vsize=10834252 memory=279545596942272 CPUtime=0.08 cores=0,2,4,6
/proc/11383/task/11437/stat : 11437 (java) S 11380 11383 8081 0 -1 1077944384 19 12879 0 0 1 0 5 2 20 0 15 0 79460939 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411853814032 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11438] ppid=11380 vsize=10834252 memory=279545596946688 CPUtime=0.08 cores=0,2,4,6
/proc/11383/task/11438/stat : 11438 (java) S 11380 11383 8081 0 -1 1077944384 204 12879 0 0 1 0 5 2 20 0 15 0 79460939 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411423156624 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11439] ppid=11380 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11383/task/11439/stat : 11439 (java) S 11380 11383 8081 0 -1 1077944384 73 12879 0 0 1 0 5 2 20 0 15 0 79460939 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411422104080 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11440] ppid=11380 vsize=10834252 memory=23712 CPUtime=0.08 cores=0,2,4,6
/proc/11383/task/11440/stat : 11440 (java) S 11380 11383 8081 0 -1 1077944384 25 12879 0 0 1 0 5 2 20 0 15 0 79460939 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411421051536 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11441] ppid=11380 vsize=10834252 memory=2420 CPUtime=0.08 cores=0,2,4,6
/proc/11383/task/11441/stat : 11441 (java) S 11380 11383 8081 0 -1 1077944384 936 12879 0 0 1 0 5 2 20 0 15 0 79460940 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411309119984 140411849583234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11442] ppid=11380 vsize=10834252 memory=1292 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11442/stat : 11442 (java) S 11380 11383 8081 0 -1 1077944384 55 12879 0 0 0 0 5 2 20 0 15 0 79460941 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411308066272 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11443] ppid=11380 vsize=10834252 memory=1728 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11443/stat : 11443 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460941 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411205051904 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11444] ppid=11380 vsize=10834252 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11444/stat : 11444 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460943 11094274048 45405 33554432000 4194304 4196468 140728126177552 140410601073360 140411849590683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11445] ppid=11380 vsize=10834252 memory=1012 CPUtime=0.28 cores=0,2,4,6
/proc/11383/task/11445/stat : 11445 (java) S 11380 11383 8081 0 -1 1077944384 935 12879 0 0 21 0 5 2 20 0 15 0 79460943 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411274508272 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11446] ppid=11380 vsize=10834252 memory=1228 CPUtime=0.33 cores=0,2,4,6
/proc/11383/task/11446/stat : 11446 (java) S 11380 11383 8081 0 -1 1077944384 1238 12879 0 0 26 0 5 2 20 0 15 0 79460943 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411273455728 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11447] ppid=11380 vsize=10834252 memory=1704 CPUtime=0.42 cores=0,2,4,6
/proc/11383/task/11447/stat : 11447 (java) S 11380 11383 8081 0 -1 1077944384 1450 12879 0 0 35 0 5 2 20 0 15 0 79460943 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411171494128 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11448] ppid=11380 vsize=10834252 memory=9996 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11448/stat : 11448 (java) S 11380 11383 8081 0 -1 1077944384 3 12879 0 0 0 0 5 2 20 0 15 0 79460944 11094274048 45405 33554432000 4194304 4196468 140728126177552 140410131311200 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11449] ppid=11380 vsize=10834252 memory=5792 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11449/stat : 11449 (java) S 11380 11383 8081 0 -1 1077944384 3 12879 0 0 0 0 5 2 20 0 15 0 79460944 11094274048 45405 33554432000 4194304 4196468 140728126177552 140411170442032 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 10834252 KiB

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

/proc/11383/task/11436/stat : 11436 (java) R 11380 11383 8081 0 -1 4202560 84570 12879 0 0 230575 43 5 2 20 0 15 0 79460938 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411821407360 140411439316627 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11437] ppid=11380 vsize=10916192 memory=978580 CPUtime=8.23 cores=0,2,4,6
/proc/11383/task/11437/stat : 11437 (java) S 11380 11383 8081 0 -1 1077944384 11814 12879 0 0 778 38 5 2 20 0 15 0 79460939 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411853814032 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11438] ppid=11380 vsize=10916192 memory=978580 CPUtime=8.34 cores=0,2,4,6
/proc/11383/task/11438/stat : 11438 (java) S 11380 11383 8081 0 -1 1077944384 9836 12879 0 0 787 40 5 2 20 0 15 0 79460939 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411423156624 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11439] ppid=11380 vsize=10916192 memory=978580 CPUtime=8.28 cores=0,2,4,6
/proc/11383/task/11439/stat : 11439 (java) S 11380 11383 8081 0 -1 1077944384 13028 12879 0 0 780 41 5 2 20 0 15 0 79460939 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411422104080 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11440] ppid=11380 vsize=10916192 memory=2636 CPUtime=8.27 cores=0,2,4,6
/proc/11383/task/11440/stat : 11440 (java) S 11380 11383 8081 0 -1 1077944384 9155 12879 0 0 778 42 5 2 20 0 15 0 79460939 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411421051536 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11441] ppid=11380 vsize=10916192 memory=978580 CPUtime=6.05 cores=0,2,4,6
/proc/11383/task/11441/stat : 11441 (java) S 11380 11383 8081 0 -1 1077944384 12617 12879 0 0 564 34 5 2 20 0 15 0 79460940 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411309119984 140411849583234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11442] ppid=11380 vsize=10916192 memory=978572 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11442/stat : 11442 (java) S 11380 11383 8081 0 -1 1077944384 55 12879 0 0 0 0 5 2 20 0 15 0 79460941 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411308066272 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11443] ppid=11380 vsize=10916192 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11443/stat : 11443 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460941 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411205051904 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11444] ppid=11380 vsize=10916192 memory=5792 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11444/stat : 11444 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460943 11178180608 244645 33554432000 4194304 4196468 140728126177552 140410601073360 140411849590683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11445] ppid=11380 vsize=10916192 memory=978580 CPUtime=7.85 cores=0,2,4,6
/proc/11383/task/11445/stat : 11445 (java) S 11380 11383 8081 0 -1 1077944384 42391 12879 0 0 771 7 5 2 20 0 15 0 79460943 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411274508272 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11446] ppid=11380 vsize=10916192 memory=978580 CPUtime=8.03 cores=0,2,4,6
/proc/11383/task/11446/stat : 11446 (java) S 11380 11383 8081 0 -1 1077944384 38544 12879 0 0 788 8 5 2 20 0 15 0 79460943 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411273455728 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11447] ppid=11380 vsize=10916192 memory=978580 CPUtime=3.73 cores=0,2,4,6
/proc/11383/task/11447/stat : 11447 (java) S 11380 11383 8081 0 -1 1077944384 34755 12879 0 0 359 7 5 2 20 0 15 0 79460943 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411171494128 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11448] ppid=11380 vsize=10916192 memory=978580 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11448/stat : 11448 (java) S 11380 11383 8081 0 -1 1077944384 3 12879 0 0 0 0 5 2 20 0 15 0 79460944 11178180608 244645 33554432000 4194304 4196468 140728126177552 140410131311200 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11449] ppid=11380 vsize=10916192 memory=978580 CPUtime=1.38 cores=0,2,4,6
/proc/11383/task/11449/stat : 11449 (java) S 11380 11383 8081 0 -1 1077944384 1085 12879 0 0 69 62 5 2 20 0 15 0 79460944 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411170442032 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
Current children cumulated CPU time: 2365.9 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 978580 KiB

[startup+2382.3 s]
/proc/loadavg: 1.37 1.49 1.45 3/215 11645
/proc/meminfo: memFree=18415616/32770624 swapFree=67108860/67108860
[pid=11383] ppid=11380 vsize=10916192 memory=978580 CPUtime=2426.43 cores=0,2,4,6
/proc/11383/stat : 11383 (java) S 11380 11383 8081 0 -1 1077944320 261298 12879 0 0 242346 290 5 2 20 0 15 0 79460929 11178180608 244645 33554432000 4194304 4196468 140728126177552 140728126160096 140411849572087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
/proc/11383/statm: 2729048 244645 3528 1 0 2690701 0
[pid=11383/tid=11436] ppid=11380 vsize=10916192 memory=978580 CPUtime=2365.87 cores=0,2,4,6
/proc/11383/task/11436/stat : 11436 (java) R 11380 11383 8081 0 -1 4202560 85100 12879 0 0 236536 44 5 2 20 0 15 0 79460938 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411821406784 140411424309859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11437] ppid=11380 vsize=10916192 memory=978580 CPUtime=8.42 cores=0,2,4,6
/proc/11383/task/11437/stat : 11437 (java) S 11380 11383 8081 0 -1 1077944384 11856 12879 0 0 796 39 5 2 20 0 15 0 79460939 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411853814032 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11438] ppid=11380 vsize=10916192 memory=978580 CPUtime=8.52 cores=0,2,4,6
/proc/11383/task/11438/stat : 11438 (java) S 11380 11383 8081 0 -1 1077944384 9899 12879 0 0 805 40 5 2 20 0 15 0 79460939 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411423156624 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11439] ppid=11380 vsize=10916192 memory=978580 CPUtime=8.47 cores=0,2,4,6
/proc/11383/task/11439/stat : 11439 (java) S 11380 11383 8081 0 -1 1077944384 13065 12879 0 0 798 42 5 2 20 0 15 0 79460939 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411422104080 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11440] ppid=11380 vsize=10916192 memory=279545597512160 CPUtime=8.46 cores=0,2,4,6
/proc/11383/task/11440/stat : 11440 (java) S 11380 11383 8081 0 -1 1077944384 9508 12879 0 0 796 43 5 2 20 0 15 0 79460939 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411421051536 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11441] ppid=11380 vsize=10916192 memory=7450765127730619496 CPUtime=6.19 cores=0,2,4,6
/proc/11383/task/11441/stat : 11441 (java) S 11380 11383 8081 0 -1 1077944384 12823 12879 0 0 578 34 5 2 20 0 15 0 79460940 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411309119984 140411849583234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11442] ppid=11380 vsize=10916192 memory=978580 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11442/stat : 11442 (java) S 11380 11383 8081 0 -1 1077944384 55 12879 0 0 0 0 5 2 20 0 15 0 79460941 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411308066272 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11443] ppid=11380 vsize=10916192 memory=978580 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11443/stat : 11443 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460941 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411205051904 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11444] ppid=11380 vsize=10916192 memory=978580 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11444/stat : 11444 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460943 11178180608 244645 33554432000 4194304 4196468 140728126177552 140410601073360 140411849590683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11445] ppid=11380 vsize=10916192 memory=978580 CPUtime=7.85 cores=0,2,4,6
/proc/11383/task/11445/stat : 11445 (java) S 11380 11383 8081 0 -1 1077944384 42393 12879 0 0 771 7 5 2 20 0 15 0 79460943 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411274508272 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11446] ppid=11380 vsize=10916192 memory=4136 CPUtime=8.03 cores=0,2,4,6
/proc/11383/task/11446/stat : 11446 (java) S 11380 11383 8081 0 -1 1077944384 38546 12879 0 0 788 8 5 2 20 0 15 0 79460943 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411273455728 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11447] ppid=11380 vsize=10916192 memory=978580 CPUtime=3.73 cores=0,2,4,6
/proc/11383/task/11447/stat : 11447 (java) S 11380 11383 8081 0 -1 1077944384 34757 12879 0 0 359 7 5 2 20 0 15 0 79460943 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411171494128 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11448] ppid=11380 vsize=10916192 memory=1728 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11448/stat : 11448 (java) S 11380 11383 8081 0 -1 1077944384 3 12879 0 0 0 0 5 2 20 0 15 0 79460944 11178180608 244645 33554432000 4194304 4196468 140728126177552 140410131311200 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11449] ppid=11380 vsize=10916192 memory=796 CPUtime=1.42 cores=0,2,4,6
/proc/11383/task/11449/stat : 11449 (java) S 11380 11383 8081 0 -1 1077944384 1102 12879 0 0 71 64 5 2 20 0 15 0 79460944 11178180608 244645 33554432000 4194304 4196468 140728126177552 140411170442032 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
Current children cumulated CPU time: 2426.43 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 978580 KiB

[startup+2442.3 s]
/proc/loadavg: 1.11 1.39 1.42 3/216 11654
/proc/meminfo: memFree=18423756/32770624 swapFree=67108860/67108860
[pid=11383] ppid=11380 vsize=10916192 memory=974476 CPUtime=2487.03 cores=0,2,4,6
/proc/11383/stat : 11383 (java) S 11380 11383 8081 0 -1 1077944320 262955 12879 0 0 248401 295 5 2 20 0 15 0 79460929 11178180608 243619 33554432000 4194304 4196468 140728126177552 140728126160096 140411849572087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
/proc/11383/statm: 2729048 243619 3528 1 0 2690701 0
[pid=11383/tid=11436] ppid=11380 vsize=10916192 memory=974476 CPUtime=2425.49 cores=0,2,4,6
/proc/11383/task/11436/stat : 11436 (java) R 11380 11383 8081 0 -1 4202560 85997 12879 0 0 242498 44 5 2 20 0 15 0 79460938 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411821407360 140411428200247 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11437] ppid=11380 vsize=10916192 memory=974476 CPUtime=8.61 cores=0,2,4,6
/proc/11383/task/11437/stat : 11437 (java) S 11380 11383 8081 0 -1 1077944384 11867 12879 0 0 815 39 5 2 20 0 15 0 79460939 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411853814032 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11438] ppid=11380 vsize=10916192 memory=974476 CPUtime=8.73 cores=0,2,4,6
/proc/11383/task/11438/stat : 11438 (java) S 11380 11383 8081 0 -1 1077944384 9943 12879 0 0 825 41 5 2 20 0 15 0 79460939 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411423156624 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11439] ppid=11380 vsize=10916192 memory=974476 CPUtime=8.66 cores=0,2,4,6
/proc/11383/task/11439/stat : 11439 (java) S 11380 11383 8081 0 -1 1077944384 13467 12879 0 0 817 42 5 2 20 0 15 0 79460939 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411422104080 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11440] ppid=11380 vsize=10916192 memory=974476 CPUtime=8.65 cores=0,2,4,6
/proc/11383/task/11440/stat : 11440 (java) S 11380 11383 8081 0 -1 1077944384 9575 12879 0 0 815 43 5 2 20 0 15 0 79460939 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411421051536 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11441] ppid=11380 vsize=10916192 memory=7450765127730619496 CPUtime=6.33 cores=0,2,4,6
/proc/11383/task/11441/stat : 11441 (java) S 11380 11383 8081 0 -1 1077944384 13032 12879 0 0 591 35 5 2 20 0 15 0 79460940 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411309119984 140411849583234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11442] ppid=11380 vsize=10916192 memory=974476 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11442/stat : 11442 (java) S 11380 11383 8081 0 -1 1077944384 55 12879 0 0 0 0 5 2 20 0 15 0 79460941 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411308066272 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11443] ppid=11380 vsize=10916192 memory=974476 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11443/stat : 11443 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460941 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411205051904 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11444] ppid=11380 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11444/stat : 11444 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460943 11178180608 243619 33554432000 4194304 4196468 140728126177552 140410601073360 140411849590683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11445] ppid=11380 vsize=10916192 memory=0 CPUtime=7.85 cores=0,2,4,6
/proc/11383/task/11445/stat : 11445 (java) S 11380 11383 8081 0 -1 1077944384 42397 12879 0 0 771 7 5 2 20 0 15 0 79460943 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411274508272 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11446] ppid=11380 vsize=10916192 memory=974476 CPUtime=8.03 cores=0,2,4,6
/proc/11383/task/11446/stat : 11446 (java) S 11380 11383 8081 0 -1 1077944384 38550 12879 0 0 788 8 5 2 20 0 15 0 79460943 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411273455728 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11447] ppid=11380 vsize=10916192 memory=974476 CPUtime=3.73 cores=0,2,4,6
/proc/11383/task/11447/stat : 11447 (java) S 11380 11383 8081 0 -1 1077944384 34759 12879 0 0 359 7 5 2 20 0 15 0 79460943 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411171494128 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11448] ppid=11380 vsize=10916192 memory=974476 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11448/stat : 11448 (java) S 11380 11383 8081 0 -1 1077944384 3 12879 0 0 0 0 5 2 20 0 15 0 79460944 11178180608 243619 33554432000 4194304 4196468 140728126177552 140410131311200 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11449] ppid=11380 vsize=10916192 memory=2420 CPUtime=1.45 cores=0,2,4,6
/proc/11383/task/11449/stat : 11449 (java) S 11380 11383 8081 0 -1 1077944384 1119 12879 0 0 72 66 5 2 20 0 15 0 79460944 11178180608 243619 33554432000 4194304 4196468 140728126177552 140411170442032 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
Current children cumulated CPU time: 2487.03 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 974476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2475 s]*
/proc/loadavg: 1.06 1.35 1.40 2/195 11706
/proc/meminfo: memFree=19615416/32770624 swapFree=67108860/67108860
[pid=11383] ppid=11380 vsize=10916192 memory=974496 CPUtime=2520.09 cores=0,2,4,6
/proc/11383/stat : 11383 (java) S 11380 11383 8081 0 -1 1077944320 263521 12879 0 0 251704 298 5 2 20 0 15 0 79460929 11178180608 243624 33554432000 4194304 4196468 140728126177552 140728126160096 140411849572087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
/proc/11383/statm: 2729048 243624 3528 1 0 2690701 0
[pid=11383/tid=11436] ppid=11380 vsize=10916192 memory=6791534058613427641 CPUtime=2457.99 cores=0,2,4,6
/proc/11383/task/11436/stat : 11436 (java) R 11380 11383 8081 0 -1 4202560 86277 12879 0 0 245748 44 5 2 20 0 15 0 79460938 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411821407408 140411439495808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11437] ppid=11380 vsize=10916192 memory=4126316290023845779 CPUtime=8.73 cores=0,2,4,6
/proc/11383/task/11437/stat : 11437 (java) S 11380 11383 8081 0 -1 1077944384 11916 12879 0 0 826 40 5 2 20 0 15 0 79460939 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411853814032 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11438] ppid=11380 vsize=10916192 memory=7667186313559041894 CPUtime=8.85 cores=0,2,4,6
/proc/11383/task/11438/stat : 11438 (java) S 11380 11383 8081 0 -1 1077944384 9984 12879 0 0 837 41 5 2 20 0 15 0 79460939 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411423156624 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11439] ppid=11380 vsize=10916192 memory=7450765127730619496 CPUtime=8.78 cores=0,2,4,6
/proc/11383/task/11439/stat : 11439 (java) S 11380 11383 8081 0 -1 1077944384 13469 12879 0 0 828 43 5 2 20 0 15 0 79460939 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411422104080 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11440] ppid=11380 vsize=10916192 memory=7450765127730619496 CPUtime=8.77 cores=0,2,4,6
/proc/11383/task/11440/stat : 11440 (java) S 11380 11383 8081 0 -1 1077944384 9579 12879 0 0 826 44 5 2 20 0 15 0 79460939 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411421051536 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11441] ppid=11380 vsize=10916192 memory=7450765127730619496 CPUtime=6.42 cores=0,2,4,6
/proc/11383/task/11441/stat : 11441 (java) S 11380 11383 8081 0 -1 1077944384 13208 12879 0 0 599 36 5 2 20 0 15 0 79460940 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411309119984 140411849583234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11442] ppid=11380 vsize=10916192 memory=7667186313559041894 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11442/stat : 11442 (java) S 11380 11383 8081 0 -1 1077944384 55 12879 0 0 0 0 5 2 20 0 15 0 79460941 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411308066272 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11443] ppid=11380 vsize=10916192 memory=7811324707376414820 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11443/stat : 11443 (java) S 11380 11383 8081 0 -1 1077944384 1 12879 0 0 0 0 5 2 20 0 15 0 79460941 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411205051904 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11444] ppid=11380 vsize=10916192 memory=7235147594880805952 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11444/stat : 11444 (java) S 11380 11383 8081 0 -1 1077944384 2 12879 0 0 0 0 5 2 20 0 15 0 79460943 11178180608 243624 33554432000 4194304 4196468 140728126177552 140410601073360 140411849590683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11445] ppid=11380 vsize=10916192 memory=7235147594880805952 CPUtime=7.85 cores=0,2,4,6
/proc/11383/task/11445/stat : 11445 (java) S 11380 11383 8081 0 -1 1077944384 42397 12879 0 0 771 7 5 2 20 0 15 0 79460943 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411274508272 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11446] ppid=11380 vsize=10916192 memory=0 CPUtime=8.03 cores=0,2,4,6
/proc/11383/task/11446/stat : 11446 (java) S 11380 11383 8081 0 -1 1077944384 38551 12879 0 0 788 8 5 2 20 0 15 0 79460943 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411273455728 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11447] ppid=11380 vsize=10916192 memory=7523105291930915429 CPUtime=3.73 cores=0,2,4,6
/proc/11383/task/11447/stat : 11447 (java) S 11380 11383 8081 0 -1 1077944384 34759 12879 0 0 359 7 5 2 20 0 15 0 79460943 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411171494128 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11448] ppid=11380 vsize=10916192 memory=974496 CPUtime=0.07 cores=0,2,4,6
/proc/11383/task/11448/stat : 11448 (java) S 11380 11383 8081 0 -1 1077944384 3 12879 0 0 0 0 5 2 20 0 15 0 79460944 11178180608 243624 33554432000 4194304 4196468 140728126177552 140410131311200 140411849582293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
[pid=11383/tid=11449] ppid=11380 vsize=10916192 memory=279545599074560 CPUtime=1.47 cores=0,2,4,6
/proc/11383/task/11449/stat : 11449 (java) S 11380 11383 8081 0 -1 1077944384 1132 12879 0 0 73 67 5 2 20 0 15 0 79460944 11178180608 243624 33554432000 4194304 4196468 140728126177552 140411170442032 140411849583234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16625664 140728126179500 140728126182748 140728126182748 140728126185423 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 974496 KiB

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

[startup+2475.04 s]
# the end of solver process 11383 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.12 s, system=3.02592 s

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

Child status: 143
Real time (s): 2475.04
CPU time (s): 2520.14
CPU user time (s): 2517.12
CPU system time (s): 3.02592
CPU usage (%): 101.822
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 1283644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.12
system time used= 3.02592
maximum resident set size= 1286232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277702
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 198033
involuntary context switches= 5674


# summary of solver processes directly reported to runsolver:
#   pid: 11383
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2517.12
#   total CPU system time (s): 3.02592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.648 second user time and 21.5861 second system time

The end

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

Trace number 4296250

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