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)	18	252.16	228.54

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302874-1532899345/watcher-4302874-1532899345 -o /tmp/evaluation-result-4302874-1532899345/solver-4302874-1532899345 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532895438-9921 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=738161545 -superng HOME/instance-4302874-1532899345.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=15681, runsolver pid=15678

[startup+0.101559 s]*
/proc/loadavg: 1.99 1.97 1.88 3/206 15738
/proc/meminfo: memFree=19024844/32770624 swapFree=67108860/67108860
[pid=15681] ppid=15678 vsize=10005480 memory=17216 CPUtime=0.09 cores=0,2,4,6
/proc/15681/stat : 15681 (java) S 15678 15681 8396 0 -1 1077944320 4430 13423 0 0 1 1 4 3 20 0 6 0 107497728 10245611520 4304 33554432000 4194304 4196468 140727223282352 140727223264896 140417953373943 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
/proc/15681/statm: 2501370 4304 1935 1 0 2489808 0
[pid=15681/tid=15734] ppid=15678 vsize=10005480 memory=4279135704013569934 CPUtime=0.08 cores=0,2,4,6
/proc/15681/task/15734/stat : 15734 (java) R 15678 15681 8396 0 -1 4202560 2254 13423 0 0 1 0 4 3 20 0 6 0 107497737 10245611520 4304 33554432000 4194304 4196468 140727223282352 140417925210704 140417953395869 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15735] ppid=15678 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15735/stat : 15735 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 6 0 107497738 10245611520 4304 33554432000 4194304 4196468 140727223282352 140417957616656 140417953384149 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15736] ppid=15678 vsize=10005480 memory=139933198386816 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15736/stat : 15736 (java) S 15678 15681 8396 0 -1 1077944384 2 13423 0 0 0 0 4 3 20 0 6 0 107497738 10245611520 4304 33554432000 4194304 4196468 140727223282352 140417493032080 140417953384149 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15737] ppid=15678 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15737/stat : 15737 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 6 0 107497738 10245611520 4304 33554432000 4194304 4196468 140727223282352 140417491979024 140417953384149 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15738] ppid=15678 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15738/stat : 15738 (java) S 15678 15681 8396 0 -1 1077944384 2 13423 0 0 0 0 4 3 20 0 6 0 107497738 10245611520 4304 33554432000 4194304 4196468 140727223282352 140417490926480 140417953384149 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17216 KiB

[startup+0.209923 s]*
/proc/loadavg: 1.99 1.97 1.88 3/215 15747
/proc/meminfo: memFree=19004952/32770624 swapFree=67108860/67108860
[pid=15681] ppid=15678 vsize=10982744 memory=42780 CPUtime=0.25 cores=0,2,4,6
/proc/15681/stat : 15681 (java) S 15678 15681 8396 0 -1 1077944320 7412 13423 0 0 16 2 4 3 20 0 15 0 107497728 11246329856 10695 33554432000 4194304 4196468 140727223282352 140727223264896 140417953373943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
/proc/15681/statm: 2745686 10695 2958 1 0 2708109 0
[pid=15681/tid=15734] ppid=15678 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/15681/task/15734/stat : 15734 (java) R 15678 15681 8396 0 -1 4202560 4104 13423 0 0 10 1 4 3 20 0 15 0 107497737 11246329856 10827 33554432000 4194304 4196468 140727223282352 140417925186600 140417933649771 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15735] ppid=15678 vsize=10982744 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15735/stat : 15735 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246329856 10827 33554432000 4194304 4196468 140727223282352 140417957616656 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15736] ppid=15678 vsize=10982744 memory=139933198386816 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15736/stat : 15736 (java) S 15678 15681 8396 0 -1 1077944384 2 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246329856 10827 33554432000 4194304 4196468 140727223282352 140417493032080 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15737] ppid=15678 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15737/stat : 15737 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246329856 10827 33554432000 4194304 4196468 140727223282352 140417491979024 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15738] ppid=15678 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15738/stat : 15738 (java) S 15678 15681 8396 0 -1 1077944384 2 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246329856 10827 33554432000 4194304 4196468 140727223282352 140417490926480 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15739] ppid=15678 vsize=10982744 memory=139933198386816 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15739/stat : 15739 (java) S 15678 15681 8396 0 -1 1077944384 2 13423 0 0 0 0 4 3 20 0 15 0 107497739 11246329856 10893 33554432000 4194304 4196468 140727223282352 140417379068144 140417953385090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15740] ppid=15678 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15740/stat : 15740 (java) S 15678 15681 8396 0 -1 1077944384 13 13423 0 0 0 0 4 3 20 0 15 0 107497740 11246329856 10893 33554432000 4194304 4196468 140727223282352 140416775087264 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15741] ppid=15678 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15741/stat : 15741 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497740 11246329856 10893 33554432000 4194304 4196468 140727223282352 140416573760240 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15742] ppid=15678 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15742/stat : 15742 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11246329856 10893 33554432000 4194304 4196468 140727223282352 140416266360784 140417953392539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15743] ppid=15678 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15681/task/15743/stat : 15743 (java) S 15678 15681 8396 0 -1 1077944384 410 13423 0 0 1 0 4 3 20 0 15 0 107497743 11246329856 10893 33554432000 4194304 4196468 140727223282352 140417378015984 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15744] ppid=15678 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15681/task/15744/stat : 15744 (java) S 15678 15681 8396 0 -1 1077944384 184 13423 0 0 1 0 4 3 20 0 15 0 107497743 11246329856 10893 33554432000 4194304 4196468 140727223282352 140417376963440 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15745] ppid=15678 vsize=10982744 memory=139933198386816 CPUtime=0.1 cores=0,2,4,6
/proc/15681/task/15745/stat : 15745 (java) S 15678 15681 8396 0 -1 1077944384 614 13423 0 0 3 0 4 3 20 0 15 0 107497743 11246329856 10893 33554432000 4194304 4196468 140727223282352 140417375910384 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15746] ppid=15678 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15746/stat : 15746 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11246329856 10893 33554432000 4194304 4196468 140727223282352 140415835564896 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15747] ppid=15678 vsize=10982744 memory=139933198386816 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15747/stat : 15747 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497743 11246329856 10893 33554432000 4194304 4196468 140727223282352 140417374857776 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42780 KiB

[startup+0.31006 s]*
/proc/loadavg: 1.99 1.97 1.88 3/215 15747
/proc/meminfo: memFree=18997636/32770624 swapFree=67108860/67108860
[pid=15681] ppid=15678 vsize=10983192 memory=56500 CPUtime=0.38 cores=0,2,4,6
/proc/15681/stat : 15681 (java) S 15678 15681 8396 0 -1 1077944320 10693 13423 0 0 28 3 4 3 20 0 15 0 107497728 11246788608 14125 33554432000 4194304 4196468 140727223282352 140727223264896 140417953373943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
/proc/15681/statm: 2745798 14125 3077 1 0 2708109 0
[pid=15681/tid=15734] ppid=15678 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/15681/task/15734/stat : 15734 (java) R 15678 15681 8396 0 -1 4202560 7253 13423 0 0 19 2 4 3 20 0 15 0 107497737 11246788608 14125 33554432000 4194304 4196468 140727223282352 140417925185952 140417937454430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15735] ppid=15678 vsize=10983192 memory=6081918200710189137 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15735/stat : 15735 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246788608 14125 33554432000 4194304 4196468 140727223282352 140417957616656 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15736] ppid=15678 vsize=10982936 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15736/stat : 15736 (java) S 15678 15681 8396 0 -1 1077944384 2 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246526464 14167 33554432000 4194304 4196468 140727223282352 140417493032080 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15737] ppid=15678 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15737/stat : 15737 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246788608 14167 33554432000 4194304 4196468 140727223282352 140417491979024 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15738] ppid=15678 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15738/stat : 15738 (java) S 15678 15681 8396 0 -1 1077944384 2 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246788608 14167 33554432000 4194304 4196468 140727223282352 140417490926480 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15739] ppid=15678 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15739/stat : 15739 (java) S 15678 15681 8396 0 -1 1077944384 2 13423 0 0 0 0 4 3 20 0 15 0 107497739 11246788608 14167 33554432000 4194304 4196468 140727223282352 140417379068144 140417953385090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15740] ppid=15678 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15740/stat : 15740 (java) S 15678 15681 8396 0 -1 1077944384 13 13423 0 0 0 0 4 3 20 0 15 0 107497740 11246788608 14167 33554432000 4194304 4196468 140727223282352 140416775087264 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15741] ppid=15678 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15741/stat : 15741 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497740 11246788608 14167 33554432000 4194304 4196468 140727223282352 140416573760240 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15742] ppid=15678 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15742/stat : 15742 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11246788608 14167 33554432000 4194304 4196468 140727223282352 140416266360784 140417953392539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15743] ppid=15678 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15681/task/15743/stat : 15743 (java) S 15678 15681 8396 0 -1 1077944384 413 13423 0 0 1 0 4 3 20 0 15 0 107497743 11246788608 14167 33554432000 4194304 4196468 140727223282352 140417378015984 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15744] ppid=15678 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15681/task/15744/stat : 15744 (java) S 15678 15681 8396 0 -1 1077944384 186 13423 0 0 1 0 4 3 20 0 15 0 107497743 11246788608 14167 33554432000 4194304 4196468 140727223282352 140417376963440 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15745] ppid=15678 vsize=10983192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/15681/task/15745/stat : 15745 (java) S 15678 15681 8396 0 -1 1077944384 620 13423 0 0 4 0 4 3 20 0 15 0 107497743 11246788608 14167 33554432000 4194304 4196468 140727223282352 140417375910384 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15746] ppid=15678 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15746/stat : 15746 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11246788608 14167 33554432000 4194304 4196468 140727223282352 140415835564896 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15747] ppid=15678 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15747/stat : 15747 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497743 11246788608 14167 33554432000 4194304 4196468 140727223282352 140417374857776 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56500 KiB

[startup+0.700753 s]
/proc/loadavg: 1.99 1.97 1.88 3/215 15747
/proc/meminfo: memFree=18987140/32770624 swapFree=67108860/67108860
[pid=15681] ppid=15678 vsize=10983192 memory=88768 CPUtime=0.98 cores=0,2,4,6
/proc/15681/stat : 15681 (java) S 15678 15681 8396 0 -1 1077944320 16772 13423 0 0 86 5 4 3 20 0 15 0 107497728 11246788608 22192 33554432000 4194304 4196468 140727223282352 140727223264896 140417953373943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
/proc/15681/statm: 2745798 22192 3238 1 0 2708109 0
[pid=15681/tid=15734] ppid=15678 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15681/task/15734/stat : 15734 (java) R 15678 15681 8396 0 -1 4202560 12341 13423 0 0 55 4 4 3 20 0 15 0 107497737 11246788608 22192 33554432000 4194304 4196468 140727223282352 140417925196944 140417933649614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15735] ppid=15678 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15735/stat : 15735 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246788608 22192 33554432000 4194304 4196468 140727223282352 140417957616656 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15736] ppid=15678 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15736/stat : 15736 (java) S 15678 15681 8396 0 -1 1077944384 2 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246788608 22192 33554432000 4194304 4196468 140727223282352 140417493032080 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15737] ppid=15678 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15737/stat : 15737 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246788608 22192 33554432000 4194304 4196468 140727223282352 140417491979024 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15738] ppid=15678 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15738/stat : 15738 (java) S 15678 15681 8396 0 -1 1077944384 2 13423 0 0 0 0 4 3 20 0 15 0 107497738 11246788608 22192 33554432000 4194304 4196468 140727223282352 140417490926480 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15739] ppid=15678 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15739/stat : 15739 (java) S 15678 15681 8396 0 -1 1077944384 5 13423 0 0 0 0 4 3 20 0 15 0 107497739 11246788608 22192 33554432000 4194304 4196468 140727223282352 140417379068144 140417953385090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15740] ppid=15678 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15740/stat : 15740 (java) S 15678 15681 8396 0 -1 1077944384 13 13423 0 0 0 0 4 3 20 0 15 0 107497740 11246788608 22192 33554432000 4194304 4196468 140727223282352 140416775087264 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15741] ppid=15678 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15741/stat : 15741 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497740 11246788608 22192 33554432000 4194304 4196468 140727223282352 140416573760240 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15742] ppid=15678 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15742/stat : 15742 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11246788608 22192 33554432000 4194304 4196468 140727223282352 140416266360784 140417953392539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15743] ppid=15678 vsize=10983192 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/15681/task/15743/stat : 15743 (java) S 15678 15681 8396 0 -1 1077944384 813 13423 0 0 7 0 4 3 20 0 15 0 107497743 11246788608 22192 33554432000 4194304 4196468 140727223282352 140417378015984 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15744] ppid=15678 vsize=10983192 memory=15460 CPUtime=0.16 cores=0,2,4,6
/proc/15681/task/15744/stat : 15744 (java) S 15678 15681 8396 0 -1 1077944384 730 13423 0 0 9 0 4 3 20 0 15 0 107497743 11246788608 22192 33554432000 4194304 4196468 140727223282352 140417376963440 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15745] ppid=15678 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/15681/task/15745/stat : 15745 (java) S 15678 15681 8396 0 -1 1077944384 662 13423 0 0 13 0 4 3 20 0 15 0 107497743 11246788608 22192 33554432000 4194304 4196468 140727223282352 140417375910384 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15746] ppid=15678 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15746/stat : 15746 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11246788608 22192 33554432000 4194304 4196468 140727223282352 140415835564896 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15747] ppid=15678 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15747/stat : 15747 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497743 11246788608 22192 33554432000 4194304 4196468 140727223282352 140417374857776 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88768 KiB

[startup+1.50121 s]
/proc/loadavg: 1.99 1.97 1.88 3/215 15747
/proc/meminfo: memFree=18944344/32770624 swapFree=67108860/67108860
[pid=15681] ppid=15678 vsize=10998092 memory=187112 CPUtime=2.95 cores=0,2,4,6
/proc/15681/stat : 15681 (java) S 15678 15681 8396 0 -1 1077944320 27443 13423 0 0 278 10 4 3 20 0 15 0 107497728 11262046208 46778 33554432000 4194304 4196468 140727223282352 140727223264896 140417953373943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
/proc/15681/statm: 2749523 46778 3473 1 0 2711181 0
[pid=15681/tid=15734] ppid=15678 vsize=10998092 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/15681/task/15734/stat : 15734 (java) R 15678 15681 8396 0 -1 4202560 17698 13423 0 0 128 6 4 3 20 0 15 0 107497737 11262046208 46778 33554432000 4194304 4196468 140727223282352 140417925191072 140417934937495 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15735] ppid=15678 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15681/task/15735/stat : 15735 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 1 0 4 3 20 0 15 0 107497738 11262046208 46778 33554432000 4194304 4196468 140727223282352 140417957616656 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15736] ppid=15678 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15681/task/15736/stat : 15736 (java) S 15678 15681 8396 0 -1 1077944384 34 13423 0 0 1 0 4 3 20 0 15 0 107497738 11262046208 46778 33554432000 4194304 4196468 140727223282352 140417493032080 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15737] ppid=15678 vsize=10998092 memory=4051323354130624818 CPUtime=0.08 cores=0,2,4,6
/proc/15681/task/15737/stat : 15737 (java) S 15678 15681 8396 0 -1 1077944384 68 13423 0 0 1 0 4 3 20 0 15 0 107497738 11262046208 46778 33554432000 4194304 4196468 140727223282352 140417491979024 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15738] ppid=15678 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15738/stat : 15738 (java) S 15678 15681 8396 0 -1 1077944384 187 13423 0 0 0 0 4 3 20 0 15 0 107497738 11262046208 46778 33554432000 4194304 4196468 140727223282352 140417490926480 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15739] ppid=15678 vsize=10998092 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/15681/task/15739/stat : 15739 (java) S 15678 15681 8396 0 -1 1077944384 56 13423 0 0 1 0 4 3 20 0 15 0 107497739 11262046208 46778 33554432000 4194304 4196468 140727223282352 140417379068144 140417953385090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15740] ppid=15678 vsize=10998092 memory=279866108881152 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15740/stat : 15740 (java) S 15678 15681 8396 0 -1 1077944384 14 13423 0 0 0 0 4 3 20 0 15 0 107497740 11262046208 46778 33554432000 4194304 4196468 140727223282352 140416775087264 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15741] ppid=15678 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15741/stat : 15741 (java) S 15678 15681 8396 0 -1 1077944384 2 13423 0 0 0 0 4 3 20 0 15 0 107497740 11262046208 46778 33554432000 4194304 4196468 140727223282352 140416573760240 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15742] ppid=15678 vsize=10998092 memory=1196 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15742/stat : 15742 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11262046208 46778 33554432000 4194304 4196468 140727223282352 140416266360784 140417953392539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15743] ppid=15678 vsize=10998092 memory=5788 CPUtime=0.59 cores=0,2,4,6
/proc/15681/task/15743/stat : 15743 (java) R 15678 15681 8396 0 -1 4202560 2968 13423 0 0 52 0 4 3 20 0 15 0 107497743 11262046208 46778 33554432000 4194304 4196468 140727223282352 140417378002008 140417934918161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15744] ppid=15678 vsize=10998092 memory=4616 CPUtime=0.61 cores=0,2,4,6
/proc/15681/task/15744/stat : 15744 (java) R 15678 15681 8396 0 -1 4202560 2705 13423 0 0 54 0 4 3 20 0 15 0 107497743 11262046208 46778 33554432000 4194304 4196468 140727223282352 140417376959808 140417934903495 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15745] ppid=15678 vsize=10998092 memory=12032 CPUtime=0.43 cores=0,2,4,6
/proc/15681/task/15745/stat : 15745 (java) S 15678 15681 8396 0 -1 1077944384 1509 13423 0 0 36 0 4 3 20 0 15 0 107497743 11262046208 46778 33554432000 4194304 4196468 140727223282352 140417375910384 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15746] ppid=15678 vsize=10998092 memory=1008 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15746/stat : 15746 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11262046208 46778 33554432000 4194304 4196468 140727223282352 140415835564896 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15747] ppid=15678 vsize=10998092 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15747/stat : 15747 (java) S 15678 15681 8396 0 -1 1077944384 1 13423 0 0 0 0 4 3 20 0 15 0 107497743 11262046208 46778 33554432000 4194304 4196468 140727223282352 140417374857776 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10998092 KiB

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

/proc/15681/task/15734/stat : 15734 (java) R 15678 15681 8396 0 -1 4202560 57449 13423 0 0 16083 28 4 3 20 0 15 0 107497737 11345952768 412975 33554432000 4194304 4196468 140727223282352 140417925206544 140417540124063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15735] ppid=15678 vsize=11080032 memory=1710384 CPUtime=0.9 cores=0,2,4,6
/proc/15681/task/15735/stat : 15735 (java) S 15678 15681 8396 0 -1 1077944384 1213 13423 0 0 58 25 4 3 20 0 15 0 107497738 11345952768 412975 33554432000 4194304 4196468 140727223282352 140417957616656 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15736] ppid=15678 vsize=11080032 memory=1710384 CPUtime=0.93 cores=0,2,4,6
/proc/15681/task/15736/stat : 15736 (java) S 15678 15681 8396 0 -1 1077944384 3825 13423 0 0 59 27 4 3 20 0 15 0 107497738 11345952768 412975 33554432000 4194304 4196468 140727223282352 140417493032080 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15737] ppid=15678 vsize=11080032 memory=1689860 CPUtime=0.91 cores=0,2,4,6
/proc/15681/task/15737/stat : 15737 (java) S 15678 15681 8396 0 -1 1077944384 3319 13423 0 0 57 27 4 3 20 0 15 0 107497738 11345952768 412975 33554432000 4194304 4196468 140727223282352 140417491979024 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15738] ppid=15678 vsize=11080032 memory=1671392 CPUtime=0.92 cores=0,2,4,6
/proc/15681/task/15738/stat : 15738 (java) S 15678 15681 8396 0 -1 1077944384 2039 13423 0 0 57 28 4 3 20 0 15 0 107497738 11345952768 412975 33554432000 4194304 4196468 140727223282352 140417490926480 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15739] ppid=15678 vsize=11080032 memory=1668828 CPUtime=0.19 cores=0,2,4,6
/proc/15681/task/15739/stat : 15739 (java) S 15678 15681 8396 0 -1 1077944384 6949 13423 0 0 11 1 4 3 20 0 15 0 107497739 11345952768 412975 33554432000 4194304 4196468 140727223282352 140417379068144 140417953385090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15740] ppid=15678 vsize=11080032 memory=12032 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15740/stat : 15740 (java) S 15678 15681 8396 0 -1 1077944384 14 13423 0 0 0 0 4 3 20 0 15 0 107497740 11345952768 412975 33554432000 4194304 4196468 140727223282352 140416775087328 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15741] ppid=15678 vsize=11080032 memory=1651900 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15741/stat : 15741 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497740 11345952768 412975 33554432000 4194304 4196468 140727223282352 140416573760256 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15742] ppid=15678 vsize=11080032 memory=1651900 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15742/stat : 15742 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11345952768 412975 33554432000 4194304 4196468 140727223282352 140416266360784 140417953392539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15743] ppid=15678 vsize=11080032 memory=1668828 CPUtime=8.5 cores=0,2,4,6
/proc/15681/task/15743/stat : 15743 (java) S 15678 15681 8396 0 -1 1077944384 24083 13423 0 0 838 5 4 3 20 0 15 0 107497743 11345952768 412975 33554432000 4194304 4196468 140727223282352 140417378015984 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15744] ppid=15678 vsize=11080032 memory=1668828 CPUtime=8.48 cores=0,2,4,6
/proc/15681/task/15744/stat : 15744 (java) S 15678 15681 8396 0 -1 1077944384 18932 13423 0 0 835 6 4 3 20 0 15 0 107497743 11345952768 412975 33554432000 4194304 4196468 140727223282352 140417376963440 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15745] ppid=15678 vsize=11080032 memory=1671392 CPUtime=3.59 cores=0,2,4,6
/proc/15681/task/15745/stat : 15745 (java) S 15678 15681 8396 0 -1 1077944384 21054 13423 0 0 345 7 4 3 20 0 15 0 107497743 11345952768 412975 33554432000 4194304 4196468 140727223282352 140417375910384 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15746] ppid=15678 vsize=11080032 memory=30504 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15746/stat : 15746 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11345952768 412975 33554432000 4194304 4196468 140727223282352 140415835564896 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15747] ppid=15678 vsize=11080032 memory=1668828 CPUtime=0.16 cores=0,2,4,6
/proc/15681/task/15747/stat : 15747 (java) S 15678 15681 8396 0 -1 1077944384 187 13423 0 0 4 5 4 3 20 0 15 0 107497743 11345952768 412975 33554432000 4194304 4196468 140727223282352 140417374857776 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
Current children cumulated CPU time: 185.25 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1651900 KiB

[startup+222.301 s]
/proc/loadavg: 0.86 1.52 1.73 2/194 15802
/proc/meminfo: memFree=18938764/32770624 swapFree=67108860/67108860
[pid=15681] ppid=15678 vsize=11080032 memory=1434484 CPUtime=245.79 cores=0,2,4,6
/proc/15681/stat : 15681 (java) S 15678 15681 8396 0 -1 1077944320 146280 13423 0 0 24404 168 4 3 20 0 15 0 107497728 11345952768 358621 33554432000 4194304 4196468 140727223282352 140727223264896 140417953373943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
/proc/15681/statm: 2770008 358621 3530 1 0 2731661 0
[pid=15681/tid=15734] ppid=15678 vsize=11080032 memory=1434484 CPUtime=220.89 cores=0,2,4,6
/proc/15681/task/15734/stat : 15734 (java) R 15678 15681 8396 0 -1 4202560 59276 13423 0 0 22053 29 4 3 20 0 15 0 107497737 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417925209344 140417541919165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15735] ppid=15678 vsize=11080032 memory=1441152 CPUtime=1.07 cores=0,2,4,6
/proc/15681/task/15735/stat : 15735 (java) S 15678 15681 8396 0 -1 1077944384 1917 13423 0 0 73 27 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417957616656 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15736] ppid=15678 vsize=11080032 memory=1434484 CPUtime=1.09 cores=0,2,4,6
/proc/15681/task/15736/stat : 15736 (java) S 15678 15681 8396 0 -1 1077944384 3914 13423 0 0 74 28 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417493032080 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15737] ppid=15678 vsize=11080032 memory=279866109376656 CPUtime=1.07 cores=0,2,4,6
/proc/15681/task/15737/stat : 15737 (java) S 15678 15681 8396 0 -1 1077944384 3462 13423 0 0 72 28 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417491979024 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15738] ppid=15678 vsize=11080032 memory=1451412 CPUtime=1.08 cores=0,2,4,6
/proc/15681/task/15738/stat : 15738 (java) S 15678 15681 8396 0 -1 1077944384 3358 13423 0 0 71 30 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417490926480 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15739] ppid=15678 vsize=11080032 memory=1434484 CPUtime=0.27 cores=0,2,4,6
/proc/15681/task/15739/stat : 15739 (java) S 15678 15681 8396 0 -1 1077944384 7312 13423 0 0 18 2 4 3 20 0 15 0 107497739 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417379068144 140417953385090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15740] ppid=15678 vsize=11080032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15740/stat : 15740 (java) S 15678 15681 8396 0 -1 1077944384 14 13423 0 0 0 0 4 3 20 0 15 0 107497740 11345952768 358621 33554432000 4194304 4196468 140727223282352 140416775087328 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15741] ppid=15678 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15741/stat : 15741 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497740 11345952768 358621 33554432000 4194304 4196468 140727223282352 140416573760256 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15742] ppid=15678 vsize=11080032 memory=1434484 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15742/stat : 15742 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140416266360784 140417953392539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15743] ppid=15678 vsize=11080032 memory=1500588 CPUtime=8.54 cores=0,2,4,6
/proc/15681/task/15743/stat : 15743 (java) S 15678 15681 8396 0 -1 1077944384 24210 13423 0 0 842 5 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417378015984 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15744] ppid=15678 vsize=11080032 memory=1543144 CPUtime=8.53 cores=0,2,4,6
/proc/15681/task/15744/stat : 15744 (java) S 15678 15681 8396 0 -1 1077944384 19347 13423 0 0 840 6 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417376963440 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15745] ppid=15678 vsize=11080032 memory=6791534058613427641 CPUtime=3.59 cores=0,2,4,6
/proc/15681/task/15745/stat : 15745 (java) S 15678 15681 8396 0 -1 1077944384 21057 13423 0 0 345 7 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417375910384 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15746] ppid=15678 vsize=11080032 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15746/stat : 15746 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140415835564896 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15747] ppid=15678 vsize=11080032 memory=30504 CPUtime=0.19 cores=0,2,4,6
/proc/15681/task/15747/stat : 15747 (java) S 15678 15681 8396 0 -1 1077944384 210 13423 0 0 6 6 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417374857776 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
Current children cumulated CPU time: 245.79 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1434484 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+228.501 s]
/proc/loadavg: 0.88 1.50 1.72 2/194 15802
/proc/meminfo: memFree=18938764/32770624 swapFree=67108860/67108860
[pid=15681] ppid=15678 vsize=11080032 memory=1434484 CPUtime=252.08 cores=0,2,4,6
/proc/15681/stat : 15681 (java) S 15678 15681 8396 0 -1 1077944320 149370 13423 0 0 25033 168 4 3 20 0 15 0 107497728 11345952768 358621 33554432000 4194304 4196468 140727223282352 140727223264896 140417953373943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
/proc/15681/statm: 2770008 358621 3530 1 0 2731661 0
[pid=15681/tid=15734] ppid=15678 vsize=11080032 memory=1434484 CPUtime=227.03 cores=0,2,4,6
/proc/15681/task/15734/stat : 15734 (java) R 15678 15681 8396 0 -1 4202560 59372 13423 0 0 22667 29 4 3 20 0 15 0 107497737 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417925208816 140417541698331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15735] ppid=15678 vsize=11080032 memory=1434484 CPUtime=1.09 cores=0,2,4,6
/proc/15681/task/15735/stat : 15735 (java) S 15678 15681 8396 0 -1 1077944384 1919 13423 0 0 75 27 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417957616656 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15736] ppid=15678 vsize=11080032 memory=1441152 CPUtime=1.12 cores=0,2,4,6
/proc/15681/task/15736/stat : 15736 (java) S 15678 15681 8396 0 -1 1077944384 3915 13423 0 0 77 28 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417493032080 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15737] ppid=15678 vsize=11080032 memory=1434484 CPUtime=1.1 cores=0,2,4,6
/proc/15681/task/15737/stat : 15737 (java) S 15678 15681 8396 0 -1 1077944384 3464 13423 0 0 74 29 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417491979024 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15738] ppid=15678 vsize=11080032 memory=1434484 CPUtime=1.11 cores=0,2,4,6
/proc/15681/task/15738/stat : 15738 (java) S 15678 15681 8396 0 -1 1077944384 3359 13423 0 0 74 30 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417490926480 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15739] ppid=15678 vsize=11080032 memory=279866109376656 CPUtime=0.29 cores=0,2,4,6
/proc/15681/task/15739/stat : 15739 (java) S 15678 15681 8396 0 -1 1077944384 7323 13423 0 0 20 2 4 3 20 0 15 0 107497739 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417379068144 140417953385090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15740] ppid=15678 vsize=11080032 memory=15872 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15740/stat : 15740 (java) S 15678 15681 8396 0 -1 1077944384 14 13423 0 0 0 0 4 3 20 0 15 0 107497740 11345952768 358621 33554432000 4194304 4196468 140727223282352 140416775087328 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15741] ppid=15678 vsize=11080032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15741/stat : 15741 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497740 11345952768 358621 33554432000 4194304 4196468 140727223282352 140416573760256 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15742] ppid=15678 vsize=11080032 memory=1796 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15742/stat : 15742 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140416266360784 140417953392539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15743] ppid=15678 vsize=11080032 memory=1434484 CPUtime=8.55 cores=0,2,4,6
/proc/15681/task/15743/stat : 15743 (java) S 15678 15681 8396 0 -1 1077944384 25622 13423 0 0 843 5 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417378015984 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15744] ppid=15678 vsize=11080032 memory=1434484 CPUtime=8.53 cores=0,2,4,6
/proc/15681/task/15744/stat : 15744 (java) S 15678 15681 8396 0 -1 1077944384 20912 13423 0 0 840 6 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417376963440 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15745] ppid=15678 vsize=11080032 memory=6791534058613427641 CPUtime=3.59 cores=0,2,4,6
/proc/15681/task/15745/stat : 15745 (java) S 15678 15681 8396 0 -1 1077944384 21057 13423 0 0 345 7 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417375910384 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15746] ppid=15678 vsize=11080032 memory=3848 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15746/stat : 15746 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140415835564896 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15747] ppid=15678 vsize=11080032 memory=1434484 CPUtime=0.19 cores=0,2,4,6
/proc/15681/task/15747/stat : 15747 (java) S 15678 15681 8396 0 -1 1077944384 210 13423 0 0 6 6 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417374857776 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1434484 KiB

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

[startup+228.54 s]
# the end of solver process 15681 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.416 s, system=1.7441 s

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

[startup+228.501 s]
/proc/loadavg: 0.88 1.50 1.72 2/194 15802
/proc/meminfo: memFree=18938764/32770624 swapFree=67108860/67108860
[pid=15681] ppid=15678 vsize=11080032 memory=1434484 CPUtime=252.08 cores=0,2,4,6
/proc/15681/stat : 15681 (java) S 15678 15681 8396 0 -1 1077944320 149370 13423 0 0 25033 168 4 3 20 0 15 0 107497728 11345952768 358621 33554432000 4194304 4196468 140727223282352 140727223264896 140417953373943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
/proc/15681/statm: 2770008 358621 3530 1 0 2731661 0
[pid=15681/tid=15734] ppid=15678 vsize=11080032 memory=1434484 CPUtime=227.03 cores=0,2,4,6
/proc/15681/task/15734/stat : 15734 (java) R 15678 15681 8396 0 -1 4202560 59372 13423 0 0 22667 29 4 3 20 0 15 0 107497737 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417925208816 140417541698331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15735] ppid=15678 vsize=11080032 memory=1434484 CPUtime=1.09 cores=0,2,4,6
/proc/15681/task/15735/stat : 15735 (java) S 15678 15681 8396 0 -1 1077944384 1919 13423 0 0 75 27 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417957616656 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15736] ppid=15678 vsize=11080032 memory=1441152 CPUtime=1.12 cores=0,2,4,6
/proc/15681/task/15736/stat : 15736 (java) S 15678 15681 8396 0 -1 1077944384 3915 13423 0 0 77 28 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417493032080 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15737] ppid=15678 vsize=11080032 memory=1434484 CPUtime=1.1 cores=0,2,4,6
/proc/15681/task/15737/stat : 15737 (java) S 15678 15681 8396 0 -1 1077944384 3464 13423 0 0 74 29 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417491979024 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15738] ppid=15678 vsize=11080032 memory=1434484 CPUtime=1.11 cores=0,2,4,6
/proc/15681/task/15738/stat : 15738 (java) S 15678 15681 8396 0 -1 1077944384 3359 13423 0 0 74 30 4 3 20 0 15 0 107497738 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417490926480 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15739] ppid=15678 vsize=11080032 memory=279866109376656 CPUtime=0.29 cores=0,2,4,6
/proc/15681/task/15739/stat : 15739 (java) S 15678 15681 8396 0 -1 1077944384 7323 13423 0 0 20 2 4 3 20 0 15 0 107497739 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417379068144 140417953385090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15740] ppid=15678 vsize=11080032 memory=15872 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15740/stat : 15740 (java) S 15678 15681 8396 0 -1 1077944384 14 13423 0 0 0 0 4 3 20 0 15 0 107497740 11345952768 358621 33554432000 4194304 4196468 140727223282352 140416775087328 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15741] ppid=15678 vsize=11080032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15741/stat : 15741 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497740 11345952768 358621 33554432000 4194304 4196468 140727223282352 140416573760256 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15742] ppid=15678 vsize=11080032 memory=1796 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15742/stat : 15742 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140416266360784 140417953392539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15743] ppid=15678 vsize=11080032 memory=1434484 CPUtime=8.55 cores=0,2,4,6
/proc/15681/task/15743/stat : 15743 (java) S 15678 15681 8396 0 -1 1077944384 25622 13423 0 0 843 5 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417378015984 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15744] ppid=15678 vsize=11080032 memory=1434484 CPUtime=8.53 cores=0,2,4,6
/proc/15681/task/15744/stat : 15744 (java) S 15678 15681 8396 0 -1 1077944384 20912 13423 0 0 840 6 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417376963440 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15745] ppid=15678 vsize=11080032 memory=6791534058613427641 CPUtime=3.59 cores=0,2,4,6
/proc/15681/task/15745/stat : 15745 (java) S 15678 15681 8396 0 -1 1077944384 21057 13423 0 0 345 7 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417375910384 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15746] ppid=15678 vsize=11080032 memory=3848 CPUtime=0.07 cores=0,2,4,6
/proc/15681/task/15746/stat : 15746 (java) S 15678 15681 8396 0 -1 1077944384 3 13423 0 0 0 0 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140415835564896 140417953384149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
[pid=15681/tid=15747] ppid=15678 vsize=11080032 memory=1434484 CPUtime=0.19 cores=0,2,4,6
/proc/15681/task/15747/stat : 15747 (java) S 15678 15681 8396 0 -1 1077944384 210 13423 0 0 6 6 4 3 20 0 15 0 107497743 11345952768 358621 33554432000 4194304 4196468 140727223282352 140417374857776 140417953385090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29675520 140727223286377 140727223289185 140727223289185 140727223291855 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1434484 KiB

Child status: 143
Real time (s): 228.54
CPU time (s): 252.16
CPU user time (s): 250.416
CPU system time (s): 1.7441
CPU usage (%): 110.335
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 2032580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.416
system time used= 1.7441
maximum resident set size= 2032580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165816
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= 22631
involuntary context switches= 573


# summary of solver processes directly reported to runsolver:
#   pid: 15681
#   total CPU time (s): 252.16
#   total CPU user time (s): 250.416
#   total CPU system time (s): 1.7441

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45819 second user time and 2.11412 second system time

The end

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

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