2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	17	252.122	233.639

0.97/0.75	c Concrete v3.9.2.1532736233296 running
12.28/5.06	o 22
12.59/5.11	o 21
12.59/5.14	o 20
12.59/5.16	o 19
12.59/5.19	o 18
13.18/5.38	o 17
252.06/233.60	Exception in thread "main" java.util.concurrent.TimeoutException
252.06/233.60		at concrete.MAC.mac(MAC.scala:188)
252.06/233.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.06/233.60		at scala.util.Try$.apply(Try.scala:209)
252.06/233.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.06/233.60		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.06/233.60		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.06/233.60		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.06/233.60		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.06/233.60		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.06/233.60		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.06/233.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.06/233.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.06/233.60		at concrete.MAC.oneRun(MAC.scala:253)
252.06/233.60		at concrete.MAC.nextSolution(MAC.scala:272)
252.06/233.60		at concrete.MAC.nextSolution(MAC.scala:355)
252.06/233.60		at concrete.Solver.hasNext(Solver.scala:166)
252.06/233.60		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.06/233.60		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.06/233.60		at concrete.Solver.foreach(Solver.scala:68)
252.06/233.60		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.06/233.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.06/233.61		at scala.util.Success.map(Try.scala:209)
252.06/233.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.06/233.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.06/233.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.06/233.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.06/233.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.06/233.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.06/233.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.06/233.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.06/233.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.06/233.61		at scala.collection.immutable.List.foreach(List.scala:389)
252.06/233.61		at scala.App.main(App.scala:76)
252.06/233.61		at scala.App.main$(App.scala:74)
252.06/233.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.06/233.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.06/233.61	v <instantiation cost="17">
252.06/233.61	v       <list>
252.06/233.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]
252.06/233.61	v       </list>
252.06/233.61	v       <values>
252.06/233.61	v         3 5 1 4 11 11 1 4 10 10 10 0 3 0 4 9 9 8 3 9 8 11 2 1 1 1 11 2 6 7 10 5 9 6 7 4 5 8 6 11 7 10 8 8 2 0 9 1 4 3 2 5 7 2 7 1 5 0 6 4 0 3 0 6 0 6 7 7 5 5 6 5 6 5 5 5 5 5 17 17 17 17 17 17 17 17 17 17 17 17 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 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 1 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 0 4 0 0 0 0 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 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 1 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 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 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 2 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 3 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 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 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 3 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 3 0 0 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 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0
252.06/233.61	v       </values>
252.06/233.61	v     </instantiation>
252.06/233.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 (12090 MiB free)
  memory of node 1: 16384 MiB (14931 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302880-1532899409/watcher-4302880-1532899409 -o /tmp/evaluation-result-4302880-1532899409/solver-4302880-1532899409 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22776 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1433984135 -superng HOME/instance-4302880-1532899409.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=31557, runsolver pid=31554

[startup+0.100068 s]*
/proc/loadavg: 1.76 1.82 1.78 3/207 31614
/proc/meminfo: memFree=27664304/32770624 swapFree=67108860/67108860
[pid=31557] ppid=31554 vsize=10005480 memory=16552 CPUtime=0.08 cores=0,2,4,6
/proc/31557/stat : 31557 (java) S 31554 31557 13514 0 -1 1077944320 4274 13146 0 0 1 0 5 2 20 0 6 0 107504115 10245611520 4138 33554432000 4194304 4196468 140730205333184 140730205315728 140067596361463 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
/proc/31557/statm: 2501370 4138 1933 1 0 2489808 0
[pid=31557/tid=31610] ppid=31554 vsize=10005480 memory=4279135703946723981 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31610/stat : 31610 (java) R 31554 31557 13514 0 -1 4202560 2077 13146 0 0 0 0 5 2 20 0 6 0 107504124 10245611520 4138 33554432000 4194304 4196468 140730205333184 140067568198224 140067596383389 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31611] ppid=31554 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31611/stat : 31611 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 6 0 107504125 10245611520 4138 33554432000 4194304 4196468 140730205333184 140067600603664 140067596371669 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31612] ppid=31554 vsize=10005480 memory=139812137260672 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31612/stat : 31612 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 6 0 107504125 10245611520 4138 33554432000 4194304 4196468 140730205333184 140067481868944 140067596371669 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31613] ppid=31554 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31613/stat : 31613 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 6 0 107504125 10245611520 4138 33554432000 4194304 4196468 140730205333184 140067480815888 140067596371669 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31614] ppid=31554 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31614/stat : 31614 (java) S 31554 31557 13514 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 6 0 107504125 10245611520 4138 33554432000 4194304 4196468 140730205333184 140067479763344 140067596371669 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16552 KiB

[startup+0.210198 s]*
/proc/loadavg: 1.76 1.82 1.78 3/216 31623
/proc/meminfo: memFree=27642564/32770624 swapFree=67108860/67108860
[pid=31557] ppid=31554 vsize=10982744 memory=41576 CPUtime=0.24 cores=0,2,4,6
/proc/31557/stat : 31557 (java) S 31554 31557 13514 0 -1 1077944320 7074 13146 0 0 16 1 5 2 20 0 15 0 107504115 11246329856 10394 33554432000 4194304 4196468 140730205333184 140730205315728 140067596361463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
/proc/31557/statm: 2745686 10394 2947 1 0 2708109 0
[pid=31557/tid=31610] ppid=31554 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/31557/task/31610/stat : 31610 (java) R 31554 31557 13514 0 -1 4202560 3635 13146 0 0 10 0 5 2 20 0 15 0 107504124 11246329856 10394 33554432000 4194304 4196468 140730205333184 140067568174472 140067579548272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31611] ppid=31554 vsize=10982744 memory=339 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31611/stat : 31611 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246329856 10394 33554432000 4194304 4196468 140730205333184 140067600603664 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31612] ppid=31554 vsize=10982744 memory=3978849296669398688 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31612/stat : 31612 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246329856 10394 33554432000 4194304 4196468 140730205333184 140067481868944 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31613] ppid=31554 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31613/stat : 31613 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246329856 10394 33554432000 4194304 4196468 140730205333184 140067480815888 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31614] ppid=31554 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31614/stat : 31614 (java) S 31554 31557 13514 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246329856 10394 33554432000 4194304 4196468 140730205333184 140067479763344 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31615] ppid=31554 vsize=10982744 memory=139812137260672 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31615/stat : 31615 (java) S 31554 31557 13514 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 107504127 11246329856 10394 33554432000 4194304 4196468 140730205333184 140067089464048 140067596372610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31616] ppid=31554 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31616/stat : 31616 (java) S 31554 31557 13514 0 -1 1077944384 13 13146 0 0 0 0 5 2 20 0 15 0 107504127 11246329856 10394 33554432000 4194304 4196468 140730205333184 140066346231456 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31617] ppid=31554 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31617/stat : 31617 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504127 11246329856 10394 33554432000 4194304 4196468 140730205333184 140066198381808 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31618] ppid=31554 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31618/stat : 31618 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11246329856 10394 33554432000 4194304 4196468 140730205333184 140065890982352 140067596380059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31619] ppid=31554 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31557/task/31619/stat : 31619 (java) S 31554 31557 13514 0 -1 1077944384 479 13146 0 0 1 0 5 2 20 0 15 0 107504130 11246329856 10394 33554432000 4194304 4196468 140730205333184 140067088410864 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31620] ppid=31554 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31620/stat : 31620 (java) S 31554 31557 13514 0 -1 1077944384 125 13146 0 0 0 0 5 2 20 0 15 0 107504130 11246329856 10394 33554432000 4194304 4196468 140730205333184 140067087358320 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31621] ppid=31554 vsize=10982744 memory=139812137260672 CPUtime=0.1 cores=0,2,4,6
/proc/31557/task/31621/stat : 31621 (java) S 31554 31557 13514 0 -1 1077944384 611 13146 0 0 3 0 5 2 20 0 15 0 107504130 11246329856 10394 33554432000 4194304 4196468 140730205333184 140067086305264 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31622] ppid=31554 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31622/stat : 31622 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11246329856 10394 33554432000 4194304 4196468 140730205333184 140065460185440 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31623] ppid=31554 vsize=10982744 memory=139812137260672 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31623/stat : 31623 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504131 11246329856 10394 33554432000 4194304 4196468 140730205333184 140067085253680 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41576 KiB

[startup+0.310088 s]*
/proc/loadavg: 1.76 1.82 1.78 3/216 31623
/proc/meminfo: memFree=27630420/32770624 swapFree=67108860/67108860
[pid=31557] ppid=31554 vsize=10983192 memory=53176 CPUtime=0.37 cores=0,2,4,6
/proc/31557/stat : 31557 (java) S 31554 31557 13514 0 -1 1077944320 9845 13146 0 0 28 2 5 2 20 0 15 0 107504115 11246788608 13294 33554432000 4194304 4196468 140730205333184 140730205315728 140067596361463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
/proc/31557/statm: 2745798 13294 3066 1 0 2708109 0
[pid=31557/tid=31610] ppid=31554 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/31557/task/31610/stat : 31610 (java) R 31554 31557 13514 0 -1 4202560 6394 13146 0 0 19 1 5 2 20 0 15 0 107504124 11246788608 13294 33554432000 4194304 4196468 140730205333184 140067568173472 140067576636793 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31611] ppid=31554 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31611/stat : 31611 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246788608 13294 33554432000 4194304 4196468 140730205333184 140067600603664 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31612] ppid=31554 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31612/stat : 31612 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246788608 13294 33554432000 4194304 4196468 140730205333184 140067481868944 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31613] ppid=31554 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31613/stat : 31613 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246788608 13294 33554432000 4194304 4196468 140730205333184 140067480815888 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31614] ppid=31554 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31614/stat : 31614 (java) S 31554 31557 13514 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246788608 13294 33554432000 4194304 4196468 140730205333184 140067479763344 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31615] ppid=31554 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31615/stat : 31615 (java) S 31554 31557 13514 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 107504127 11246788608 13294 33554432000 4194304 4196468 140730205333184 140067089464048 140067596372610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31616] ppid=31554 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31616/stat : 31616 (java) S 31554 31557 13514 0 -1 1077944384 13 13146 0 0 0 0 5 2 20 0 15 0 107504127 11246788608 13294 33554432000 4194304 4196468 140730205333184 140066346231456 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31617] ppid=31554 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31617/stat : 31617 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504127 11246788608 13294 33554432000 4194304 4196468 140730205333184 140066198381808 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31618] ppid=31554 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31618/stat : 31618 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11246788608 13294 33554432000 4194304 4196468 140730205333184 140065890982352 140067596380059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31619] ppid=31554 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31557/task/31619/stat : 31619 (java) S 31554 31557 13514 0 -1 1077944384 480 13146 0 0 2 0 5 2 20 0 15 0 107504130 11246788608 13294 33554432000 4194304 4196468 140730205333184 140067088410864 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31620] ppid=31554 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31557/task/31620/stat : 31620 (java) S 31554 31557 13514 0 -1 1077944384 125 13146 0 0 1 0 5 2 20 0 15 0 107504130 11246788608 13294 33554432000 4194304 4196468 140730205333184 140067087358320 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31621] ppid=31554 vsize=10983192 memory=139812137260672 CPUtime=0.12 cores=0,2,4,6
/proc/31557/task/31621/stat : 31621 (java) S 31554 31557 13514 0 -1 1077944384 622 13146 0 0 5 0 5 2 20 0 15 0 107504130 11246788608 13294 33554432000 4194304 4196468 140730205333184 140067086305264 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31622] ppid=31554 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31622/stat : 31622 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11246788608 13294 33554432000 4194304 4196468 140730205333184 140065460185440 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31623] ppid=31554 vsize=10983192 memory=139812137260672 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31623/stat : 31623 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504131 11246788608 13294 33554432000 4194304 4196468 140730205333184 140067085253680 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53176 KiB

[startup+0.700727 s]
/proc/loadavg: 1.76 1.82 1.78 3/216 31623
/proc/meminfo: memFree=27618760/32770624 swapFree=67108860/67108860
[pid=31557] ppid=31554 vsize=10983192 memory=88272 CPUtime=0.97 cores=0,2,4,6
/proc/31557/stat : 31557 (java) S 31554 31557 13514 0 -1 1077944320 16714 13146 0 0 87 3 5 2 20 0 15 0 107504115 11246788608 22068 33554432000 4194304 4196468 140730205333184 140730205315728 140067596361463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
/proc/31557/statm: 2745798 22068 3238 1 0 2708109 0
[pid=31557/tid=31610] ppid=31554 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/31557/task/31610/stat : 31610 (java) R 31554 31557 13514 0 -1 4202560 12187 13146 0 0 56 2 5 2 20 0 15 0 107504124 11246788608 22068 33554432000 4194304 4196468 140730205333184 140067568183184 140067577925023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31611] ppid=31554 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31611/stat : 31611 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246788608 22068 33554432000 4194304 4196468 140730205333184 140067600603664 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31612] ppid=31554 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31612/stat : 31612 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246788608 22068 33554432000 4194304 4196468 140730205333184 140067481868944 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31613] ppid=31554 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31613/stat : 31613 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246788608 22068 33554432000 4194304 4196468 140730205333184 140067480815888 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31614] ppid=31554 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31614/stat : 31614 (java) S 31554 31557 13514 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 107504125 11246788608 22068 33554432000 4194304 4196468 140730205333184 140067479763344 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31615] ppid=31554 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31615/stat : 31615 (java) S 31554 31557 13514 0 -1 1077944384 5 13146 0 0 0 0 5 2 20 0 15 0 107504127 11246788608 22068 33554432000 4194304 4196468 140730205333184 140067089464048 140067596372610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31616] ppid=31554 vsize=10983192 memory=139811990155952 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31616/stat : 31616 (java) S 31554 31557 13514 0 -1 1077944384 13 13146 0 0 0 0 5 2 20 0 15 0 107504127 11246788608 22068 33554432000 4194304 4196468 140730205333184 140066346231456 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31617] ppid=31554 vsize=10983192 memory=139814070387280 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31617/stat : 31617 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504127 11246788608 22068 33554432000 4194304 4196468 140730205333184 140066198381808 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31618] ppid=31554 vsize=10983192 memory=1020 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31618/stat : 31618 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11246788608 22068 33554432000 4194304 4196468 140730205333184 140065890982352 140067596380059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31619] ppid=31554 vsize=10983192 memory=7089042195949315648 CPUtime=0.16 cores=0,2,4,6
/proc/31557/task/31619/stat : 31619 (java) S 31554 31557 13514 0 -1 1077944384 895 13146 0 0 9 0 5 2 20 0 15 0 107504130 11246788608 22068 33554432000 4194304 4196468 140730205333184 140067088410864 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31620] ppid=31554 vsize=10983192 memory=7881696724453321575 CPUtime=0.15 cores=0,2,4,6
/proc/31557/task/31620/stat : 31620 (java) S 31554 31557 13514 0 -1 1077944384 697 13146 0 0 8 0 5 2 20 0 15 0 107504130 11246788608 22068 33554432000 4194304 4196468 140730205333184 140067087358320 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31621] ppid=31554 vsize=10983192 memory=5789189752906409301 CPUtime=0.2 cores=0,2,4,6
/proc/31557/task/31621/stat : 31621 (java) S 31554 31557 13514 0 -1 1077944384 708 13146 0 0 13 0 5 2 20 0 15 0 107504130 11246788608 22068 33554432000 4194304 4196468 140730205333184 140067086305264 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31622] ppid=31554 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31622/stat : 31622 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11246788608 22068 33554432000 4194304 4196468 140730205333184 140065460185440 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31623] ppid=31554 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31623/stat : 31623 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504131 11246788608 22068 33554432000 4194304 4196468 140730205333184 140067085253680 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88272 KiB

[startup+1.50074 s]
/proc/loadavg: 1.76 1.82 1.78 4/216 31623
/proc/meminfo: memFree=27574544/32770624 swapFree=67108860/67108860
[pid=31557] ppid=31554 vsize=10998092 memory=187056 CPUtime=2.93 cores=0,2,4,6
/proc/31557/stat : 31557 (java) S 31554 31557 13514 0 -1 1077944320 27449 13146 0 0 276 10 5 2 20 0 15 0 107504115 11262046208 46764 33554432000 4194304 4196468 140730205333184 140730205315728 140067596361463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
/proc/31557/statm: 2749523 46764 3467 1 0 2711181 0
[pid=31557/tid=31610] ppid=31554 vsize=10998092 memory=10757 CPUtime=1.41 cores=0,2,4,6
/proc/31557/task/31610/stat : 31610 (java) R 31554 31557 13514 0 -1 4202560 17594 13146 0 0 129 5 5 2 20 0 15 0 107504124 11262046208 46764 33554432000 4194304 4196468 140730205333184 140067568178592 140067596375350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31611] ppid=31554 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/31557/task/31611/stat : 31611 (java) S 31554 31557 13514 0 -1 1077944384 155 13146 0 0 1 0 5 2 20 0 15 0 107504125 11262046208 46764 33554432000 4194304 4196468 140730205333184 140067600603664 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31612] ppid=31554 vsize=10998092 memory=1404 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31612/stat : 31612 (java) S 31554 31557 13514 0 -1 1077944384 12 13146 0 0 0 0 5 2 20 0 15 0 107504125 11262046208 46764 33554432000 4194304 4196468 140730205333184 140067481868944 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31613] ppid=31554 vsize=10998092 memory=2940 CPUtime=0.08 cores=0,2,4,6
/proc/31557/task/31613/stat : 31613 (java) S 31554 31557 13514 0 -1 1077944384 87 13146 0 0 1 0 5 2 20 0 15 0 107504125 11262046208 46764 33554432000 4194304 4196468 140730205333184 140067480815888 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31614] ppid=31554 vsize=10998092 memory=88272 CPUtime=0.08 cores=0,2,4,6
/proc/31557/task/31614/stat : 31614 (java) S 31554 31557 13514 0 -1 1077944384 33 13146 0 0 1 0 5 2 20 0 15 0 107504125 11262046208 46764 33554432000 4194304 4196468 140730205333184 140067479763344 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31615] ppid=31554 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31557/task/31615/stat : 31615 (java) S 31554 31557 13514 0 -1 1077944384 55 13146 0 0 1 0 5 2 20 0 15 0 107504127 11262046208 46764 33554432000 4194304 4196468 140730205333184 140067089464048 140067596372610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31616] ppid=31554 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31616/stat : 31616 (java) S 31554 31557 13514 0 -1 1077944384 13 13146 0 0 0 0 5 2 20 0 15 0 107504127 11262046208 46764 33554432000 4194304 4196468 140730205333184 140066346231456 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31617] ppid=31554 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31617/stat : 31617 (java) S 31554 31557 13514 0 -1 1077944384 2 13146 0 0 0 0 5 2 20 0 15 0 107504127 11262046208 46764 33554432000 4194304 4196468 140730205333184 140066198381808 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31618] ppid=31554 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31618/stat : 31618 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11262046208 46764 33554432000 4194304 4196468 140730205333184 140065890982352 140067596380059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31619] ppid=31554 vsize=10998092 memory=4638778398332698720 CPUtime=0.58 cores=0,2,4,6
/proc/31557/task/31619/stat : 31619 (java) S 31554 31557 13514 0 -1 1077944384 3006 13146 0 0 51 0 5 2 20 0 15 0 107504130 11262046208 46764 33554432000 4194304 4196468 140730205333184 140067088410864 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31620] ppid=31554 vsize=10998092 memory=279623980587904 CPUtime=0.6 cores=0,2,4,6
/proc/31557/task/31620/stat : 31620 (java) R 31554 31557 13514 0 -1 4202560 2689 13146 0 0 53 0 5 2 20 0 15 0 107504130 11262046208 46764 33554432000 4194304 4196468 140730205333184 140067087344480 140067577905677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31621] ppid=31554 vsize=10998092 memory=6944656592452807323 CPUtime=0.43 cores=0,2,4,6
/proc/31557/task/31621/stat : 31621 (java) S 31554 31557 13514 0 -1 1077944384 1600 13146 0 0 36 0 5 2 20 0 15 0 107504130 11262046208 46764 33554432000 4194304 4196468 140730205333184 140067086305264 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31622] ppid=31554 vsize=10998092 memory=6944656591801719708 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31622/stat : 31622 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11262046208 46764 33554432000 4194304 4196468 140730205333184 140065460185440 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31623] ppid=31554 vsize=10998092 memory=1399101730491701635 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31623/stat : 31623 (java) S 31554 31557 13514 0 -1 1077944384 1 13146 0 0 0 0 5 2 20 0 15 0 107504131 11262046208 46764 33554432000 4194304 4196468 140730205333184 140067085253680 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10998092 KiB

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

/proc/31557/task/31610/stat : 31610 (java) R 31554 31557 13514 0 -1 4202560 51090 13146 0 0 10150 22 5 2 20 0 15 0 107504124 11345952768 246134 33554432000 4194304 4196468 140730205333184 140067568192992 140067158807252 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31611] ppid=31554 vsize=11080032 memory=279623981398656 CPUtime=0.37 cores=0,2,4,6
/proc/31557/task/31611/stat : 31611 (java) S 31554 31557 13514 0 -1 1077944384 1409 13146 0 0 22 8 5 2 20 0 15 0 107504125 11345952768 246134 33554432000 4194304 4196468 140730205333184 140067600603664 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31612] ppid=31554 vsize=11080032 memory=164 CPUtime=0.36 cores=0,2,4,6
/proc/31557/task/31612/stat : 31612 (java) S 31554 31557 13514 0 -1 1077944384 2647 13146 0 0 21 8 5 2 20 0 15 0 107504125 11345952768 246134 33554432000 4194304 4196468 140730205333184 140067481868944 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31613] ppid=31554 vsize=11080032 memory=1700 CPUtime=0.36 cores=0,2,4,6
/proc/31557/task/31613/stat : 31613 (java) S 31554 31557 13514 0 -1 1077944384 2037 13146 0 0 22 7 5 2 20 0 15 0 107504125 11345952768 246134 33554432000 4194304 4196468 140730205333184 140067480815888 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31614] ppid=31554 vsize=11080032 memory=1172 CPUtime=0.37 cores=0,2,4,6
/proc/31557/task/31614/stat : 31614 (java) S 31554 31557 13514 0 -1 1077944384 2118 13146 0 0 22 8 5 2 20 0 15 0 107504125 11345952768 246134 33554432000 4194304 4196468 140730205333184 140067479763344 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31615] ppid=31554 vsize=11080032 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/31557/task/31615/stat : 31615 (java) S 31554 31557 13514 0 -1 1077944384 3095 13146 0 0 9 1 5 2 20 0 15 0 107504127 11345952768 246134 33554432000 4194304 4196468 140730205333184 140067089464048 140067596372610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31616] ppid=31554 vsize=11080032 memory=5 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31616/stat : 31616 (java) S 31554 31557 13514 0 -1 1077944384 14 13146 0 0 0 0 5 2 20 0 15 0 107504127 11345952768 246134 33554432000 4194304 4196468 140730205333184 140066346231584 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31617] ppid=31554 vsize=11080032 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31617/stat : 31617 (java) S 31554 31557 13514 0 -1 1077944384 4 13146 0 0 0 0 5 2 20 0 15 0 107504127 11345952768 246134 33554432000 4194304 4196468 140730205333184 140066198381824 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31618] ppid=31554 vsize=11080032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31618/stat : 31618 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11345952768 246134 33554432000 4194304 4196468 140730205333184 140065890982352 140067596380059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31619] ppid=31554 vsize=11080032 memory=279623980097840 CPUtime=6.02 cores=0,2,4,6
/proc/31557/task/31619/stat : 31619 (java) S 31554 31557 13514 0 -1 1077944384 20620 13146 0 0 591 4 5 2 20 0 15 0 107504130 11345952768 246134 33554432000 4194304 4196468 140730205333184 140067088410864 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31620] ppid=31554 vsize=11080032 memory=6003392214093752679 CPUtime=5.99 cores=0,2,4,6
/proc/31557/task/31620/stat : 31620 (java) S 31554 31557 13514 0 -1 1077944384 16056 13146 0 0 590 2 5 2 20 0 15 0 107504130 11345952768 246134 33554432000 4194304 4196468 140730205333184 140067087358320 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31621] ppid=31554 vsize=11080032 memory=139811990263649 CPUtime=2.53 cores=0,2,4,6
/proc/31557/task/31621/stat : 31621 (java) S 31554 31557 13514 0 -1 1077944384 15770 13146 0 0 242 4 5 2 20 0 15 0 107504130 11345952768 246134 33554432000 4194304 4196468 140730205333184 140067086305264 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31622] ppid=31554 vsize=11080032 memory=29179 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31622/stat : 31622 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11345952768 246134 33554432000 4194304 4196468 140730205333184 140065460185440 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31623] ppid=31554 vsize=11080032 memory=26897 CPUtime=0.12 cores=0,2,4,6
/proc/31557/task/31623/stat : 31623 (java) S 31554 31557 13514 0 -1 1077944384 198 13146 0 0 3 2 5 2 20 0 15 0 107504131 11345952768 246134 33554432000 4194304 4196468 140730205333184 140067085253680 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
Current children cumulated CPU time: 117.55 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 984536 KiB

[startup+162.301 s]
/proc/loadavg: 1.25 1.60 1.71 2/194 31677
/proc/meminfo: memFree=27695520/32770624 swapFree=67108860/67108860
[pid=31557] ppid=31554 vsize=11080032 memory=892708 CPUtime=179.16 cores=0,2,4,6
/proc/31557/stat : 31557 (java) S 31554 31557 13514 0 -1 1077944320 128479 13146 0 0 17833 76 5 2 20 0 15 0 107504115 11345952768 223177 33554432000 4194304 4196468 140730205333184 140730205315728 140067596361463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
/proc/31557/statm: 2770008 223177 3531 1 0 2731661 0
[pid=31557/tid=31610] ppid=31554 vsize=11080032 memory=893220 CPUtime=161.54 cores=0,2,4,6
/proc/31557/task/31610/stat : 31610 (java) R 31554 31557 13514 0 -1 4202560 52550 13146 0 0 16124 23 5 2 20 0 15 0 107504124 11345952768 223177 33554432000 4194304 4196468 140730205333184 140067568196144 140067159181017 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31611] ppid=31554 vsize=11080032 memory=894248 CPUtime=0.48 cores=0,2,4,6
/proc/31557/task/31611/stat : 31611 (java) S 31554 31557 13514 0 -1 1077944384 1964 13146 0 0 33 8 5 2 20 0 15 0 107504125 11345952768 223177 33554432000 4194304 4196468 140730205333184 140067600603664 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31612] ppid=31554 vsize=11080032 memory=902960 CPUtime=0.47 cores=0,2,4,6
/proc/31557/task/31612/stat : 31612 (java) S 31554 31557 13514 0 -1 1077944384 2706 13146 0 0 32 8 5 2 20 0 15 0 107504125 11345952768 223177 33554432000 4194304 4196468 140730205333184 140067481868944 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31613] ppid=31554 vsize=11080032 memory=916296 CPUtime=0.47 cores=0,2,4,6
/proc/31557/task/31613/stat : 31613 (java) S 31554 31557 13514 0 -1 1077944384 2074 13146 0 0 32 8 5 2 20 0 15 0 107504125 11345952768 223177 33554432000 4194304 4196468 140730205333184 140067480815888 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31614] ppid=31554 vsize=11080032 memory=898856 CPUtime=0.49 cores=0,2,4,6
/proc/31557/task/31614/stat : 31614 (java) S 31554 31557 13514 0 -1 1077944384 2263 13146 0 0 33 9 5 2 20 0 15 0 107504125 11345952768 223177 33554432000 4194304 4196468 140730205333184 140067479763344 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31615] ppid=31554 vsize=11080032 memory=895272 CPUtime=0.25 cores=0,2,4,6
/proc/31557/task/31615/stat : 31615 (java) S 31554 31557 13514 0 -1 1077944384 3380 13146 0 0 16 2 5 2 20 0 15 0 107504127 11345952768 223177 33554432000 4194304 4196468 140730205333184 140067089464048 140067596372610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31616] ppid=31554 vsize=11080032 memory=894248 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31616/stat : 31616 (java) S 31554 31557 13514 0 -1 1077944384 14 13146 0 0 0 0 5 2 20 0 15 0 107504127 11345952768 223177 33554432000 4194304 4196468 140730205333184 140066346231584 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31617] ppid=31554 vsize=11080032 memory=895784 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31617/stat : 31617 (java) S 31554 31557 13514 0 -1 1077944384 4 13146 0 0 0 0 5 2 20 0 15 0 107504127 11345952768 223177 33554432000 4194304 4196468 140730205333184 140066198381824 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31618] ppid=31554 vsize=11080032 memory=894248 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31618/stat : 31618 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11345952768 223177 33554432000 4194304 4196468 140730205333184 140065890982352 140067596380059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31619] ppid=31554 vsize=11080032 memory=892708 CPUtime=6.6 cores=0,2,4,6
/proc/31557/task/31619/stat : 31619 (java) S 31554 31557 13514 0 -1 1077944384 24660 13146 0 0 649 4 5 2 20 0 15 0 107504130 11345952768 223177 33554432000 4194304 4196468 140730205333184 140067088410864 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31620] ppid=31554 vsize=11080032 memory=10368 CPUtime=6.51 cores=0,2,4,6
/proc/31557/task/31620/stat : 31620 (java) S 31554 31557 13514 0 -1 1077944384 18036 13146 0 0 642 2 5 2 20 0 15 0 107504130 11345952768 223177 33554432000 4194304 4196468 140730205333184 140067087358320 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31621] ppid=31554 vsize=11080032 memory=971196 CPUtime=2.72 cores=0,2,4,6
/proc/31557/task/31621/stat : 31621 (java) S 31554 31557 13514 0 -1 1077944384 18402 13146 0 0 261 4 5 2 20 0 15 0 107504130 11345952768 223177 33554432000 4194304 4196468 140730205333184 140067086305264 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31622] ppid=31554 vsize=11080032 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31622/stat : 31622 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11345952768 223177 33554432000 4194304 4196468 140730205333184 140065460185440 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31623] ppid=31554 vsize=11080032 memory=892708 CPUtime=0.15 cores=0,2,4,6
/proc/31557/task/31623/stat : 31623 (java) S 31554 31557 13514 0 -1 1077944384 224 13146 0 0 4 4 5 2 20 0 15 0 107504131 11345952768 223177 33554432000 4194304 4196468 140730205333184 140067085253680 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
Current children cumulated CPU time: 179.16 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 892708 KiB

[startup+222.301 s]
/proc/loadavg: 0.93 1.44 1.64 2/194 31678
/proc/meminfo: memFree=27703260/32770624 swapFree=67108860/67108860
[pid=31557] ppid=31554 vsize=11080032 memory=885584 CPUtime=240.52 cores=0,2,4,6
/proc/31557/stat : 31557 (java) S 31554 31557 13514 0 -1 1077944320 139068 13146 0 0 23963 82 5 2 20 0 15 0 107504115 11345952768 221396 33554432000 4194304 4196468 140730205333184 140730205315728 140067596361463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
/proc/31557/statm: 2770008 221396 3531 1 0 2731661 0
[pid=31557/tid=31610] ppid=31554 vsize=11080032 memory=885584 CPUtime=221.12 cores=0,2,4,6
/proc/31557/task/31610/stat : 31610 (java) R 31554 31557 13514 0 -1 4202560 54243 13146 0 0 22081 24 5 2 20 0 15 0 107504124 11345952768 221396 33554432000 4194304 4196468 140730205333184 140067568195920 140067171541504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31611] ppid=31554 vsize=11080032 memory=885584 CPUtime=0.67 cores=0,2,4,6
/proc/31557/task/31611/stat : 31611 (java) S 31554 31557 13514 0 -1 1077944384 3166 13146 0 0 51 9 5 2 20 0 15 0 107504125 11345952768 221396 33554432000 4194304 4196468 140730205333184 140067600603664 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31612] ppid=31554 vsize=11080032 memory=885584 CPUtime=0.66 cores=0,2,4,6
/proc/31557/task/31612/stat : 31612 (java) S 31554 31557 13514 0 -1 1077944384 2817 13146 0 0 50 9 5 2 20 0 15 0 107504125 11345952768 221396 33554432000 4194304 4196468 140730205333184 140067481868944 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31613] ppid=31554 vsize=11080032 memory=885584 CPUtime=0.67 cores=0,2,4,6
/proc/31557/task/31613/stat : 31613 (java) S 31554 31557 13514 0 -1 1077944384 2660 13146 0 0 51 9 5 2 20 0 15 0 107504125 11345952768 221396 33554432000 4194304 4196468 140730205333184 140067480815888 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31614] ppid=31554 vsize=11080032 memory=885584 CPUtime=0.68 cores=0,2,4,6
/proc/31557/task/31614/stat : 31614 (java) S 31554 31557 13514 0 -1 1077944384 2402 13146 0 0 51 10 5 2 20 0 15 0 107504125 11345952768 221396 33554432000 4194304 4196468 140730205333184 140067479763344 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31615] ppid=31554 vsize=11080032 memory=885584 CPUtime=0.42 cores=0,2,4,6
/proc/31557/task/31615/stat : 31615 (java) S 31554 31557 13514 0 -1 1077944384 3674 13146 0 0 32 3 5 2 20 0 15 0 107504127 11345952768 221396 33554432000 4194304 4196468 140730205333184 140067089464048 140067596372610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31616] ppid=31554 vsize=11080032 memory=885584 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31616/stat : 31616 (java) S 31554 31557 13514 0 -1 1077944384 14 13146 0 0 0 0 5 2 20 0 15 0 107504127 11345952768 221396 33554432000 4194304 4196468 140730205333184 140066346231584 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31617] ppid=31554 vsize=11080032 memory=3360 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31617/stat : 31617 (java) S 31554 31557 13514 0 -1 1077944384 4 13146 0 0 0 0 5 2 20 0 15 0 107504127 11345952768 221396 33554432000 4194304 4196468 140730205333184 140066198381824 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31618] ppid=31554 vsize=11080032 memory=164 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31618/stat : 31618 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11345952768 221396 33554432000 4194304 4196468 140730205333184 140065890982352 140067596380059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31619] ppid=31554 vsize=11080032 memory=885584 CPUtime=6.93 cores=0,2,4,6
/proc/31557/task/31619/stat : 31619 (java) S 31554 31557 13514 0 -1 1077944384 27563 13146 0 0 682 4 5 2 20 0 15 0 107504130 11345952768 221396 33554432000 4194304 4196468 140730205333184 140067088410864 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31620] ppid=31554 vsize=11080032 memory=4140 CPUtime=6.85 cores=0,2,4,6
/proc/31557/task/31620/stat : 31620 (java) S 31554 31557 13514 0 -1 1077944384 19300 13146 0 0 675 3 5 2 20 0 15 0 107504130 11345952768 221396 33554432000 4194304 4196468 140730205333184 140067087358320 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31621] ppid=31554 vsize=11080032 memory=30520 CPUtime=2.84 cores=0,2,4,6
/proc/31557/task/31621/stat : 31621 (java) S 31554 31557 13514 0 -1 1077944384 20770 13146 0 0 273 4 5 2 20 0 15 0 107504130 11345952768 221396 33554432000 4194304 4196468 140730205333184 140067086305264 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31622] ppid=31554 vsize=11080032 memory=2204 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31622/stat : 31622 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11345952768 221396 33554432000 4194304 4196468 140730205333184 140065460185440 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31623] ppid=31554 vsize=11080032 memory=39 CPUtime=0.19 cores=0,2,4,6
/proc/31557/task/31623/stat : 31623 (java) S 31554 31557 13514 0 -1 1077944384 253 13146 0 0 6 6 5 2 20 0 15 0 107504131 11345952768 221396 33554432000 4194304 4196468 140730205333184 140067085253680 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
Current children cumulated CPU time: 240.52 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 885584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+233.601 s]
/proc/loadavg: 0.94 1.42 1.64 2/194 31678
/proc/meminfo: memFree=27710336/32770624 swapFree=67108860/67108860
[pid=31557] ppid=31554 vsize=11080032 memory=878964 CPUtime=252.06 cores=0,2,4,6
/proc/31557/stat : 31557 (java) S 31554 31557 13514 0 -1 1077944320 141474 13146 0 0 25116 83 5 2 20 0 15 0 107504115 11345952768 219741 33554432000 4194304 4196468 140730205333184 140730205315728 140067596361463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
/proc/31557/statm: 2770008 219741 3531 1 0 2731661 0
[pid=31557/tid=31610] ppid=31554 vsize=11080032 memory=844 CPUtime=232.33 cores=0,2,4,6
/proc/31557/task/31610/stat : 31610 (java) R 31554 31557 13514 0 -1 4202560 54434 13146 0 0 23202 24 5 2 20 0 15 0 107504124 11345952768 219741 33554432000 4194304 4196468 140730205333184 140067568197232 140067174316658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31611] ppid=31554 vsize=11080032 memory=3360 CPUtime=0.72 cores=0,2,4,6
/proc/31557/task/31611/stat : 31611 (java) S 31554 31557 13514 0 -1 1077944384 4314 13146 0 0 56 9 5 2 20 0 15 0 107504125 11345952768 219741 33554432000 4194304 4196468 140730205333184 140067600603664 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31612] ppid=31554 vsize=11080032 memory=880504 CPUtime=0.71 cores=0,2,4,6
/proc/31557/task/31612/stat : 31612 (java) S 31554 31557 13514 0 -1 1077944384 2824 13146 0 0 55 9 5 2 20 0 15 0 107504125 11345952768 219741 33554432000 4194304 4196468 140730205333184 140067481868944 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31613] ppid=31554 vsize=11080032 memory=1020 CPUtime=0.71 cores=0,2,4,6
/proc/31557/task/31613/stat : 31613 (java) S 31554 31557 13514 0 -1 1077944384 2688 13146 0 0 55 9 5 2 20 0 15 0 107504125 11345952768 219741 33554432000 4194304 4196468 140730205333184 140067480815888 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31614] ppid=31554 vsize=11080032 memory=5456 CPUtime=0.72 cores=0,2,4,6
/proc/31557/task/31614/stat : 31614 (java) S 31554 31557 13514 0 -1 1077944384 2442 13146 0 0 55 10 5 2 20 0 15 0 107504125 11345952768 219741 33554432000 4194304 4196468 140730205333184 140067479763344 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31615] ppid=31554 vsize=11080032 memory=756 CPUtime=0.46 cores=0,2,4,6
/proc/31557/task/31615/stat : 31615 (java) S 31554 31557 13514 0 -1 1077944384 3722 13146 0 0 35 4 5 2 20 0 15 0 107504127 11345952768 219741 33554432000 4194304 4196468 140730205333184 140067089464048 140067596372610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31616] ppid=31554 vsize=11080032 memory=63 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31616/stat : 31616 (java) S 31554 31557 13514 0 -1 1077944384 14 13146 0 0 0 0 5 2 20 0 15 0 107504127 11345952768 219741 33554432000 4194304 4196468 140730205333184 140066346231584 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31617] ppid=31554 vsize=11080032 memory=77 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31617/stat : 31617 (java) S 31554 31557 13514 0 -1 1077944384 4 13146 0 0 0 0 5 2 20 0 15 0 107504127 11345952768 219741 33554432000 4194304 4196468 140730205333184 140066198381824 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31618] ppid=31554 vsize=11080032 memory=18164 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31618/stat : 31618 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11345952768 219741 33554432000 4194304 4196468 140730205333184 140065890982352 140067596380059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31619] ppid=31554 vsize=11080032 memory=-8341965534556230502 CPUtime=6.98 cores=0,2,4,6
/proc/31557/task/31619/stat : 31619 (java) S 31554 31557 13514 0 -1 1077944384 27896 13146 0 0 687 4 5 2 20 0 15 0 107504130 11345952768 219741 33554432000 4194304 4196468 140730205333184 140067088410864 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31620] ppid=31554 vsize=11080032 memory=6791534058613427641 CPUtime=6.89 cores=0,2,4,6
/proc/31557/task/31620/stat : 31620 (java) S 31554 31557 13514 0 -1 1077944384 19872 13146 0 0 679 3 5 2 20 0 15 0 107504130 11345952768 219741 33554432000 4194304 4196468 140730205333184 140067087358320 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31621] ppid=31554 vsize=11080032 memory=844 CPUtime=2.86 cores=0,2,4,6
/proc/31557/task/31621/stat : 31621 (java) S 31554 31557 13514 0 -1 1077944384 20800 13146 0 0 275 4 5 2 20 0 15 0 107504130 11345952768 219741 33554432000 4194304 4196468 140730205333184 140067086305264 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31622] ppid=31554 vsize=11080032 memory=3360 CPUtime=0.07 cores=0,2,4,6
/proc/31557/task/31622/stat : 31622 (java) S 31554 31557 13514 0 -1 1077944384 3 13146 0 0 0 0 5 2 20 0 15 0 107504130 11345952768 219741 33554432000 4194304 4196468 140730205333184 140065460185440 140067596371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
[pid=31557/tid=31623] ppid=31554 vsize=11080032 memory=2724 CPUtime=0.19 cores=0,2,4,6
/proc/31557/task/31623/stat : 31623 (java) S 31554 31557 13514 0 -1 1077944384 262 13146 0 0 6 6 5 2 20 0 15 0 107504131 11345952768 219741 33554432000 4194304 4196468 140730205333184 140067085253680 140067596372610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39755776 140730205342312 140730205345121 140730205345121 140730205347791 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 878964 KiB

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

[startup+233.639 s]
# the end of solver process 31557 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.24 s, system=0.882223 s

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

Child status: 143
Real time (s): 233.639
CPU time (s): 252.122
CPU user time (s): 251.24
CPU system time (s): 0.882223
CPU usage (%): 107.911
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 1108460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.24
system time used= 0.882223
maximum resident set size= 1113108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155552
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22982
involuntary context switches= 1199


# summary of solver processes directly reported to runsolver:
#   pid: 31557
#   total CPU time (s): 252.122
#   total CPU user time (s): 251.24
#   total CPU system time (s): 0.882223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43573 second user time and 2.1612 second system time

The end

Name	Bacp/Bacp-m1/ Bacp-m1-12a_c18.xml
MD5SUM	a0da543bfb057198f80e5909cc102093
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	17
Best CPU time to get the best result obtained on this benchmark	251.57
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 4302880

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