2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	18	2520.14	2456.53

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304812-1534154865/watcher-4304812-1534154865 -o /tmp/evaluation-result-4304812-1534154865/solver-4304812-1534154865 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534154865-7195 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1045924231 -superng HOME/instance-4304812-1534154865.xml 

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

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


[startup+0.100059 s]*
/proc/loadavg: 2.00 2.01 1.95 4/197 7338
/proc/meminfo: memFree=23609840/32770624 swapFree=67108688/67108860
[pid=7225] ppid=7218 vsize=10005480 memory=16548 CPUtime=0.08 cores=0,2,4,6
/proc/7225/stat : 7225 (java) S 7218 7225 4275 0 -1 1077944320 4289 12890 0 0 1 0 4 3 20 0 6 0 233049336 10245611520 4137 33554432000 4194304 4196468 140735588956480 140735588939024 140466158616311 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
/proc/7225/statm: 2501370 4137 1932 1 0 2489808 0
[pid=7225/tid=7330] ppid=7218 vsize=10005480 memory=8514701219931451533 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7330/stat : 7330 (java) R 7218 7225 4275 0 -1 4202560 2125 12890 0 0 0 0 4 3 20 0 6 0 233049345 10245611520 4137 33554432000 4194304 4196468 140735588956480 140466130453072 140466142696798 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7334] ppid=7218 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7334/stat : 7334 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 6 0 233049346 10245611520 4137 33554432000 4194304 4196468 140735588956480 140466162859024 140466158626517 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7336] ppid=7218 vsize=10005480 memory=140037780362880 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7336/stat : 7336 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 6 0 233049346 10245611520 4137 33554432000 4194304 4196468 140735588956480 140465698299024 140466158626517 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7337] ppid=7218 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7337/stat : 7337 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 6 0 233049346 10245611520 4137 33554432000 4194304 4196468 140735588956480 140465697245968 140466158626517 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7338] ppid=7218 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7338/stat : 7338 (java) S 7218 7225 4275 0 -1 1077944384 2 12890 0 0 0 0 4 3 20 0 6 0 233049346 10245611520 4203 33554432000 4194304 4196468 140735588956480 140465696193424 140466158626517 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB

[startup+0.209938 s]*
/proc/loadavg: 2.00 2.01 1.95 4/215 7356
/proc/meminfo: memFree=23563696/32770624 swapFree=67108688/67108860
[pid=7225] ppid=7218 vsize=10982744 memory=43316 CPUtime=0.25 cores=0,2,4,6
/proc/7225/stat : 7225 (java) S 7218 7225 4275 0 -1 1077944320 7537 12890 0 0 16 2 4 3 20 0 15 0 233049336 11246329856 10829 33554432000 4194304 4196468 140735588956480 140735588939024 140466158616311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
/proc/7225/statm: 2745686 10829 2956 1 0 2708109 0
[pid=7225/tid=7330] ppid=7218 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/7225/task/7330/stat : 7330 (java) R 7218 7225 4275 0 -1 4202560 4282 12890 0 0 10 1 4 3 20 0 15 0 233049345 11246329856 11027 33554432000 4194304 4196468 140735588956480 140466130438320 140466138892125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7334] ppid=7218 vsize=10982744 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7334/stat : 7334 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246329856 11027 33554432000 4194304 4196468 140735588956480 140466162859024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7336] ppid=7218 vsize=10982744 memory=140037780374702 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7336/stat : 7336 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246329856 11027 33554432000 4194304 4196468 140735588956480 140465698299024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7337] ppid=7218 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7337/stat : 7337 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246329856 11027 33554432000 4194304 4196468 140735588956480 140465697245968 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7338] ppid=7218 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7338/stat : 7338 (java) S 7218 7225 4275 0 -1 1077944384 2 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246329856 11027 33554432000 4194304 4196468 140735588956480 140465696193424 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7340] ppid=7218 vsize=10982744 memory=140037780362880 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7340/stat : 7340 (java) S 7218 7225 4275 0 -1 1077944384 2 12890 0 0 0 0 4 3 20 0 15 0 233049348 11246329856 11027 33554432000 4194304 4196468 140735588956480 140465651751152 140466158627458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7342] ppid=7218 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7342/stat : 7342 (java) S 7218 7225 4275 0 -1 1077944384 13 12890 0 0 0 0 4 3 20 0 15 0 233049348 11246329856 11027 33554432000 4194304 4196468 140735588956480 140464905774240 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7344] ppid=7218 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7344/stat : 7344 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049349 11246329856 11027 33554432000 4194304 4196468 140735588956480 140464757924592 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7349] ppid=7218 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7349/stat : 7349 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11246329856 11027 33554432000 4194304 4196468 140735588956480 140464450525136 140466158634907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7350] ppid=7218 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7225/task/7350/stat : 7350 (java) S 7218 7225 4275 0 -1 1077944384 420 12890 0 0 1 0 4 3 20 0 15 0 233049351 11246329856 11093 33554432000 4194304 4196468 140735588956480 140465650698992 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7351] ppid=7218 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7225/task/7351/stat : 7351 (java) S 7218 7225 4275 0 -1 1077944384 191 12890 0 0 1 0 4 3 20 0 15 0 233049351 11246329856 11093 33554432000 4194304 4196468 140735588956480 140465649646448 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7352] ppid=7218 vsize=10982744 memory=140037780362880 CPUtime=0.1 cores=0,2,4,6
/proc/7225/task/7352/stat : 7352 (java) S 7218 7225 4275 0 -1 1077944384 606 12890 0 0 3 0 4 3 20 0 15 0 233049351 11246329856 11093 33554432000 4194304 4196468 140735588956480 140465648593392 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7354] ppid=7218 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7354/stat : 7354 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11246329856 11093 33554432000 4194304 4196468 140735588956480 140464019729248 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7356] ppid=7218 vsize=10982744 memory=140037780362880 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7356/stat : 7356 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049352 11246329856 11093 33554432000 4194304 4196468 140735588956480 140465647540784 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43316 KiB

[startup+0.31019 s]*
/proc/loadavg: 2.00 2.01 1.95 4/215 7356
/proc/meminfo: memFree=23538640/32770624 swapFree=67108688/67108860
[pid=7225] ppid=7218 vsize=10983192 memory=56368 CPUtime=0.38 cores=0,2,4,6
/proc/7225/stat : 7225 (java) S 7218 7225 4275 0 -1 1077944320 10642 12890 0 0 28 3 4 3 20 0 15 0 233049336 11246788608 14092 33554432000 4194304 4196468 140735588956480 140735588939024 140466158616311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
/proc/7225/statm: 2745798 14092 3075 1 0 2708109 0
[pid=7225/tid=7330] ppid=7218 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/7225/task/7330/stat : 7330 (java) R 7218 7225 4275 0 -1 4202560 7194 12890 0 0 19 2 4 3 20 0 15 0 233049345 11246788608 14092 33554432000 4194304 4196468 140735588956480 140466130428320 140466140179871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7334] ppid=7218 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7334/stat : 7334 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246788608 14092 33554432000 4194304 4196468 140735588956480 140466162859024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7336] ppid=7218 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7336/stat : 7336 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246788608 14092 33554432000 4194304 4196468 140735588956480 140465698299024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7337] ppid=7218 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7337/stat : 7337 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246788608 14092 33554432000 4194304 4196468 140735588956480 140465697245968 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7338] ppid=7218 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7338/stat : 7338 (java) S 7218 7225 4275 0 -1 1077944384 2 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246788608 14092 33554432000 4194304 4196468 140735588956480 140465696193424 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7340] ppid=7218 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7340/stat : 7340 (java) S 7218 7225 4275 0 -1 1077944384 2 12890 0 0 0 0 4 3 20 0 15 0 233049348 11246788608 14092 33554432000 4194304 4196468 140735588956480 140465651751152 140466158627458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7342] ppid=7218 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7342/stat : 7342 (java) S 7218 7225 4275 0 -1 1077944384 13 12890 0 0 0 0 4 3 20 0 15 0 233049348 11246788608 14092 33554432000 4194304 4196468 140735588956480 140464905774240 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7344] ppid=7218 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7344/stat : 7344 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049349 11246788608 14092 33554432000 4194304 4196468 140735588956480 140464757924592 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7349] ppid=7218 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7349/stat : 7349 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11246788608 14092 33554432000 4194304 4196468 140735588956480 140464450525136 140466158634907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7350] ppid=7218 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7225/task/7350/stat : 7350 (java) S 7218 7225 4275 0 -1 1077944384 422 12890 0 0 1 0 4 3 20 0 15 0 233049351 11246788608 14092 33554432000 4194304 4196468 140735588956480 140465650698992 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7351] ppid=7218 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7225/task/7351/stat : 7351 (java) S 7218 7225 4275 0 -1 1077944384 191 12890 0 0 1 0 4 3 20 0 15 0 233049351 11246788608 14092 33554432000 4194304 4196468 140735588956480 140465649646448 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7352] ppid=7218 vsize=10983192 memory=140037780362880 CPUtime=0.12 cores=0,2,4,6
/proc/7225/task/7352/stat : 7352 (java) S 7218 7225 4275 0 -1 1077944384 617 12890 0 0 5 0 4 3 20 0 15 0 233049351 11246788608 14092 33554432000 4194304 4196468 140735588956480 140465648593392 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7354] ppid=7218 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7354/stat : 7354 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11246788608 14092 33554432000 4194304 4196468 140735588956480 140464019729248 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7356] ppid=7218 vsize=10983192 memory=140037780362880 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7356/stat : 7356 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049352 11246788608 14092 33554432000 4194304 4196468 140735588956480 140465647540784 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56368 KiB

[startup+0.700818 s]
/proc/loadavg: 2.00 2.01 1.95 4/215 7356
/proc/meminfo: memFree=23517128/32770624 swapFree=67108688/67108860
[pid=7225] ppid=7218 vsize=10983192 memory=88668 CPUtime=0.98 cores=0,2,4,6
/proc/7225/stat : 7225 (java) S 7218 7225 4275 0 -1 1077944320 16798 12890 0 0 87 4 4 3 20 0 15 0 233049336 11246788608 22167 33554432000 4194304 4196468 140735588956480 140735588939024 140466158616311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
/proc/7225/statm: 2745798 22167 3240 1 0 2708109 0
[pid=7225/tid=7330] ppid=7218 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/7225/task/7330/stat : 7330 (java) R 7218 7225 4275 0 -1 4202560 12209 12890 0 0 56 3 4 3 20 0 15 0 233049345 11246788608 22167 33554432000 4194304 4196468 140735588956480 140466130418592 140466158638237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7334] ppid=7218 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7334/stat : 7334 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246788608 22167 33554432000 4194304 4196468 140735588956480 140466162859024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7336] ppid=7218 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7336/stat : 7336 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246788608 22167 33554432000 4194304 4196468 140735588956480 140465698299024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7337] ppid=7218 vsize=10983192 memory=140037677265680 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7337/stat : 7337 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246788608 22167 33554432000 4194304 4196468 140735588956480 140465697245968 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7338] ppid=7218 vsize=10983192 memory=140041703653969 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7338/stat : 7338 (java) S 7218 7225 4275 0 -1 1077944384 2 12890 0 0 0 0 4 3 20 0 15 0 233049346 11246788608 22167 33554432000 4194304 4196468 140735588956480 140465696193424 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7340] ppid=7218 vsize=10983192 memory=12668 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7340/stat : 7340 (java) R 7218 7225 4275 0 -1 4202560 5 12890 0 0 0 0 4 3 20 0 15 0 233049348 11246788608 22167 33554432000 4194304 4196468 140735588956480 140465651751152 140466151333463 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7342] ppid=7218 vsize=10983192 memory=4639098309541127269 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7342/stat : 7342 (java) S 7218 7225 4275 0 -1 1077944384 13 12890 0 0 0 0 4 3 20 0 15 0 233049348 11246788608 22167 33554432000 4194304 4196468 140735588956480 140464905774240 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7344] ppid=7218 vsize=10983192 memory=6082220498109492328 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7344/stat : 7344 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049349 11246788608 22167 33554432000 4194304 4196468 140735588956480 140464757924592 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7349] ppid=7218 vsize=10983192 memory=3316 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7349/stat : 7349 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11246788608 22167 33554432000 4194304 4196468 140735588956480 140464450525136 140466158634907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7350] ppid=7218 vsize=10983192 memory=15768 CPUtime=0.16 cores=0,2,4,6
/proc/7225/task/7350/stat : 7350 (java) S 7218 7225 4275 0 -1 1077944384 1129 12890 0 0 9 0 4 3 20 0 15 0 233049351 11246788608 22167 33554432000 4194304 4196468 140735588956480 140465650698992 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7351] ppid=7218 vsize=10983192 memory=35788 CPUtime=0.14 cores=0,2,4,6
/proc/7225/task/7351/stat : 7351 (java) S 7218 7225 4275 0 -1 1077944384 552 12890 0 0 7 0 4 3 20 0 15 0 233049351 11246788608 22167 33554432000 4194304 4196468 140735588956480 140465649646448 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7352] ppid=7218 vsize=10983192 memory=1612 CPUtime=0.2 cores=0,2,4,6
/proc/7225/task/7352/stat : 7352 (java) S 7218 7225 4275 0 -1 1077944384 681 12890 0 0 13 0 4 3 20 0 15 0 233049351 11246788608 22167 33554432000 4194304 4196468 140735588956480 140465648593392 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7354] ppid=7218 vsize=10983192 memory=496 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7354/stat : 7354 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11246788608 22167 33554432000 4194304 4196468 140735588956480 140464019729248 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7356] ppid=7218 vsize=10983192 memory=924 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7356/stat : 7356 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049352 11246788608 22167 33554432000 4194304 4196468 140735588956480 140465647540784 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88668 KiB

[startup+1.50144 s]
/proc/loadavg: 2.00 2.01 1.95 5/215 7356
/proc/meminfo: memFree=23425456/32770624 swapFree=67108688/67108860
[pid=7225] ppid=7218 vsize=10998092 memory=187488 CPUtime=2.97 cores=0,2,4,6
/proc/7225/stat : 7225 (java) S 7218 7225 4275 0 -1 1077944320 27599 12890 0 0 280 10 4 3 20 0 15 0 233049336 11262046208 46872 33554432000 4194304 4196468 140735588956480 140735588939024 140466158616311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
/proc/7225/statm: 2749523 46872 3471 1 0 2711181 0
[pid=7225/tid=7330] ppid=7218 vsize=10998092 memory=65232 CPUtime=1.41 cores=0,2,4,6
/proc/7225/task/7330/stat : 7330 (java) R 7218 7225 4275 0 -1 4202560 17509 12890 0 0 128 6 4 3 20 0 15 0 233049345 11262046208 46872 33554432000 4194304 4196468 140735588956480 140466130423984 140466143781950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7334] ppid=7218 vsize=10998092 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/7225/task/7334/stat : 7334 (java) S 7218 7225 4275 0 -1 1077944384 30 12890 0 0 1 0 4 3 20 0 15 0 233049346 11262046208 46872 33554432000 4194304 4196468 140735588956480 140466162859024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7336] ppid=7218 vsize=10998092 memory=280075354562720 CPUtime=0.08 cores=0,2,4,6
/proc/7225/task/7336/stat : 7336 (java) S 7218 7225 4275 0 -1 1077944384 150 12890 0 0 1 0 4 3 20 0 15 0 233049346 11262046208 46872 33554432000 4194304 4196468 140735588956480 140465698299024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7337] ppid=7218 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7225/task/7337/stat : 7337 (java) S 7218 7225 4275 0 -1 1077944384 9 12890 0 0 1 0 4 3 20 0 15 0 233049346 11262046208 46872 33554432000 4194304 4196468 140735588956480 140465697245968 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7338] ppid=7218 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7338/stat : 7338 (java) S 7218 7225 4275 0 -1 1077944384 106 12890 0 0 0 0 4 3 20 0 15 0 233049346 11262046208 46872 33554432000 4194304 4196468 140735588956480 140465696193424 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7340] ppid=7218 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7225/task/7340/stat : 7340 (java) S 7218 7225 4275 0 -1 1077944384 55 12890 0 0 1 0 4 3 20 0 15 0 233049348 11262046208 46872 33554432000 4194304 4196468 140735588956480 140465651751152 140466158627458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7342] ppid=7218 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7342/stat : 7342 (java) S 7218 7225 4275 0 -1 1077944384 14 12890 0 0 0 0 4 3 20 0 15 0 233049348 11262046208 46872 33554432000 4194304 4196468 140735588956480 140464905774240 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7344] ppid=7218 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7344/stat : 7344 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049349 11262046208 46872 33554432000 4194304 4196468 140735588956480 140464757924592 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7349] ppid=7218 vsize=10998092 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7349/stat : 7349 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11262046208 46872 33554432000 4194304 4196468 140735588956480 140464450525136 140466158634907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7350] ppid=7218 vsize=10998092 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/7225/task/7350/stat : 7350 (java) R 7218 7225 4275 0 -1 4202560 3310 12890 0 0 58 1 4 3 20 0 15 0 233049351 11262046208 46872 33554432000 4194304 4196468 140735588956480 140465650685152 140466140160529 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7351] ppid=7218 vsize=10998092 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/7225/task/7351/stat : 7351 (java) S 7218 7225 4275 0 -1 1077944384 2644 12890 0 0 49 0 4 3 20 0 15 0 233049351 11262046208 46872 33554432000 4194304 4196468 140735588956480 140465649646448 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7352] ppid=7218 vsize=10998092 memory=8112282956445269571 CPUtime=0.43 cores=0,2,4,6
/proc/7225/task/7352/stat : 7352 (java) S 7218 7225 4275 0 -1 1077944384 1568 12890 0 0 36 0 4 3 20 0 15 0 233049351 11262046208 46872 33554432000 4194304 4196468 140735588956480 140465648593392 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7354] ppid=7218 vsize=10998092 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7354/stat : 7354 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11262046208 46872 33554432000 4194304 4196468 140735588956480 140464019729248 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7356] ppid=7218 vsize=10998092 memory=280075354807200 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7356/stat : 7356 (java) S 7218 7225 4275 0 -1 1077944384 1 12890 0 0 0 0 4 3 20 0 15 0 233049352 11262046208 46872 33554432000 4194304 4196468 140735588956480 140465647540784 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10998092 KiB

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

/proc/7225/task/7330/stat : 7330 (java) R 7218 7225 4275 0 -1 4202560 118682 12890 0 0 235703 63 4 3 20 0 15 0 233049345 11345952768 348018 33554432000 4194304 4196468 140735588956480 140466130451392 140465728265895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7334] ppid=7218 vsize=11080032 memory=1392072 CPUtime=14.05 cores=0,2,4,6
/proc/7225/task/7334/stat : 7334 (java) S 7218 7225 4275 0 -1 1077944384 16983 12890 0 0 1332 66 4 3 20 0 15 0 233049346 11345952768 348018 33554432000 4194304 4196468 140735588956480 140466162859024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7336] ppid=7218 vsize=11080032 memory=1392072 CPUtime=14.04 cores=0,2,4,6
/proc/7225/task/7336/stat : 7336 (java) S 7218 7225 4275 0 -1 1077944384 30949 12890 0 0 1330 67 4 3 20 0 15 0 233049346 11345952768 348018 33554432000 4194304 4196468 140735588956480 140465698299024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7337] ppid=7218 vsize=11080032 memory=1392072 CPUtime=13.99 cores=0,2,4,6
/proc/7225/task/7337/stat : 7337 (java) S 7218 7225 4275 0 -1 1077944384 23321 12890 0 0 1324 68 4 3 20 0 15 0 233049346 11345952768 348018 33554432000 4194304 4196468 140735588956480 140465697245968 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7338] ppid=7218 vsize=11080032 memory=816 CPUtime=14.06 cores=0,2,4,6
/proc/7225/task/7338/stat : 7338 (java) S 7218 7225 4275 0 -1 1077944384 31593 12890 0 0 1330 69 4 3 20 0 15 0 233049346 11345952768 348018 33554432000 4194304 4196468 140735588956480 140465696193424 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7340] ppid=7218 vsize=11080032 memory=1392072 CPUtime=8.24 cores=0,2,4,6
/proc/7225/task/7340/stat : 7340 (java) S 7218 7225 4275 0 -1 1077944384 29313 12890 0 0 769 48 4 3 20 0 15 0 233049348 11345952768 348018 33554432000 4194304 4196468 140735588956480 140465651751152 140466158627458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7342] ppid=7218 vsize=11080032 memory=1392072 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7342/stat : 7342 (java) S 7218 7225 4275 0 -1 1077944384 14 12890 0 0 0 0 4 3 20 0 15 0 233049348 11345952768 348018 33554432000 4194304 4196468 140735588956480 140464905774304 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7344] ppid=7218 vsize=11080032 memory=1392072 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7344/stat : 7344 (java) S 7218 7225 4275 0 -1 1077944384 2 12890 0 0 0 0 4 3 20 0 15 0 233049349 11345952768 348018 33554432000 4194304 4196468 140735588956480 140464757924608 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7349] ppid=7218 vsize=11080032 memory=1392072 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7349/stat : 7349 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11345952768 348018 33554432000 4194304 4196468 140735588956480 140464450525136 140466158634907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7350] ppid=7218 vsize=11080032 memory=1620 CPUtime=8.81 cores=0,2,4,6
/proc/7225/task/7350/stat : 7350 (java) S 7218 7225 4275 0 -1 1077944384 43225 12890 0 0 868 6 4 3 20 0 15 0 233049351 11345952768 348018 33554432000 4194304 4196468 140735588956480 140465650698992 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7351] ppid=7218 vsize=11080032 memory=1392072 CPUtime=9.31 cores=0,2,4,6
/proc/7225/task/7351/stat : 7351 (java) S 7218 7225 4275 0 -1 1077944384 53095 12890 0 0 917 7 4 3 20 0 15 0 233049351 11345952768 348018 33554432000 4194304 4196468 140735588956480 140465649646448 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7352] ppid=7218 vsize=11080032 memory=1392072 CPUtime=3.59 cores=0,2,4,6
/proc/7225/task/7352/stat : 7352 (java) S 7218 7225 4275 0 -1 1077944384 41050 12890 0 0 345 7 4 3 20 0 15 0 233049351 11345952768 348018 33554432000 4194304 4196468 140735588956480 140465648593392 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7354] ppid=7218 vsize=11080032 memory=280075355699360 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7354/stat : 7354 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11345952768 348018 33554432000 4194304 4196468 140735588956480 140464019729248 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7356] ppid=7218 vsize=11080032 memory=6225758540995782507 CPUtime=1.26 cores=0,2,4,6
/proc/7225/task/7356/stat : 7356 (java) S 7218 7225 4275 0 -1 1077944384 1308 12890 0 0 58 61 4 3 20 0 15 0 233049352 11345952768 348018 33554432000 4194304 4196468 140735588956480 140465647540784 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
Current children cumulated CPU time: 2444.55 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1392072 KiB

[startup+2442.3 s]
/proc/loadavg: 1.72 1.61 1.57 4/215 7430
/proc/meminfo: memFree=21434908/32770624 swapFree=67108688/67108860
[pid=7225] ppid=7218 vsize=11080032 memory=1394168 CPUtime=2505.62 cores=0,2,4,6
/proc/7225/stat : 7225 (java) S 7218 7225 4275 0 -1 1077944320 393283 12890 0 0 250135 420 4 3 20 0 15 0 233049336 11345952768 348542 33554432000 4194304 4196468 140735588956480 140735588939024 140466158616311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
/proc/7225/statm: 2770008 348542 3531 1 0 2731661 0
[pid=7225/tid=7330] ppid=7218 vsize=11080032 memory=1394168 CPUtime=2417.11 cores=0,2,4,6
/proc/7225/task/7330/stat : 7330 (java) R 7218 7225 4275 0 -1 4202560 119360 12890 0 0 241641 63 4 3 20 0 15 0 233049345 11345952768 348542 33554432000 4194304 4196468 140735588956480 140466130451808 140465730476800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7334] ppid=7218 vsize=11080032 memory=1394168 CPUtime=14.41 cores=0,2,4,6
/proc/7225/task/7334/stat : 7334 (java) S 7218 7225 4275 0 -1 1077944384 17057 12890 0 0 1367 67 4 3 20 0 15 0 233049346 11345952768 348542 33554432000 4194304 4196468 140735588956480 140466162859024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7336] ppid=7218 vsize=11080032 memory=1394168 CPUtime=14.4 cores=0,2,4,6
/proc/7225/task/7336/stat : 7336 (java) S 7218 7225 4275 0 -1 1077944384 31008 12890 0 0 1365 68 4 3 20 0 15 0 233049346 11345952768 348542 33554432000 4194304 4196468 140735588956480 140465698299024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7337] ppid=7218 vsize=11080032 memory=0 CPUtime=14.34 cores=0,2,4,6
/proc/7225/task/7337/stat : 7337 (java) S 7218 7225 4275 0 -1 1077944384 23420 12890 0 0 1358 69 4 3 20 0 15 0 233049346 11345952768 348542 33554432000 4194304 4196468 140735588956480 140465697245968 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7338] ppid=7218 vsize=11080032 memory=1394168 CPUtime=14.42 cores=0,2,4,6
/proc/7225/task/7338/stat : 7338 (java) S 7218 7225 4275 0 -1 1077944384 31650 12890 0 0 1365 70 4 3 20 0 15 0 233049346 11345952768 348542 33554432000 4194304 4196468 140735588956480 140465696193424 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7340] ppid=7218 vsize=11080032 memory=1394168 CPUtime=8.44 cores=0,2,4,6
/proc/7225/task/7340/stat : 7340 (java) S 7218 7225 4275 0 -1 1077944384 29521 12890 0 0 787 50 4 3 20 0 15 0 233049348 11345952768 348542 33554432000 4194304 4196468 140735588956480 140465651751152 140466158627458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7342] ppid=7218 vsize=11080032 memory=1394168 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7342/stat : 7342 (java) S 7218 7225 4275 0 -1 1077944384 14 12890 0 0 0 0 4 3 20 0 15 0 233049348 11345952768 348542 33554432000 4194304 4196468 140735588956480 140464905774304 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7344] ppid=7218 vsize=11080032 memory=1394168 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7344/stat : 7344 (java) S 7218 7225 4275 0 -1 1077944384 2 12890 0 0 0 0 4 3 20 0 15 0 233049349 11345952768 348542 33554432000 4194304 4196468 140735588956480 140464757924608 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7349] ppid=7218 vsize=11080032 memory=1394168 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7349/stat : 7349 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11345952768 348542 33554432000 4194304 4196468 140735588956480 140464450525136 140466158634907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7350] ppid=7218 vsize=11080032 memory=1394168 CPUtime=8.82 cores=0,2,4,6
/proc/7225/task/7350/stat : 7350 (java) S 7218 7225 4275 0 -1 1077944384 43443 12890 0 0 869 6 4 3 20 0 15 0 233049351 11345952768 348542 33554432000 4194304 4196468 140735588956480 140465650698992 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7351] ppid=7218 vsize=11080032 memory=1394168 CPUtime=9.31 cores=0,2,4,6
/proc/7225/task/7351/stat : 7351 (java) S 7218 7225 4275 0 -1 1077944384 53097 12890 0 0 917 7 4 3 20 0 15 0 233049351 11345952768 348542 33554432000 4194304 4196468 140735588956480 140465649646448 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7352] ppid=7218 vsize=11080032 memory=1394168 CPUtime=3.6 cores=0,2,4,6
/proc/7225/task/7352/stat : 7352 (java) S 7218 7225 4275 0 -1 1077944384 41184 12890 0 0 346 7 4 3 20 0 15 0 233049351 11345952768 348542 33554432000 4194304 4196468 140735588956480 140465648593392 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7354] ppid=7218 vsize=11080032 memory=1394168 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7354/stat : 7354 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11345952768 348542 33554432000 4194304 4196468 140735588956480 140464019729248 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7356] ppid=7218 vsize=11080032 memory=1224 CPUtime=1.29 cores=0,2,4,6
/proc/7225/task/7356/stat : 7356 (java) S 7218 7225 4275 0 -1 1077944384 1325 12890 0 0 60 62 4 3 20 0 15 0 233049352 11345952768 348542 33554432000 4194304 4196468 140735588956480 140465647540784 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
Current children cumulated CPU time: 2505.62 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1394168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2456.5 s]
/proc/loadavg: 1.56 1.58 1.56 4/215 7430
/proc/meminfo: memFree=21435032/32770624 swapFree=67108688/67108860
[pid=7225] ppid=7218 vsize=11080032 memory=1394184 CPUtime=2520.08 cores=0,2,4,6
/proc/7225/stat : 7225 (java) S 7218 7225 4275 0 -1 1077944320 393909 12890 0 0 251580 421 4 3 20 0 15 0 233049336 11345952768 348546 33554432000 4194304 4196468 140735588956480 140735588939024 140466158616311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
/proc/7225/statm: 2770008 348546 3531 1 0 2731661 0
[pid=7225/tid=7330] ppid=7218 vsize=11080032 memory=1394184 CPUtime=2431.14 cores=0,2,4,6
/proc/7225/task/7330/stat : 7330 (java) R 7218 7225 4275 0 -1 4202560 119628 12890 0 0 243044 63 4 3 20 0 15 0 233049345 11345952768 348546 33554432000 4194304 4196468 140735588956480 140466130452048 140465732624597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7334] ppid=7218 vsize=11080032 memory=1394184 CPUtime=14.5 cores=0,2,4,6
/proc/7225/task/7334/stat : 7334 (java) S 7218 7225 4275 0 -1 1077944384 17061 12890 0 0 1376 67 4 3 20 0 15 0 233049346 11345952768 348546 33554432000 4194304 4196468 140735588956480 140466162859024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7336] ppid=7218 vsize=11080032 memory=4452 CPUtime=14.5 cores=0,2,4,6
/proc/7225/task/7336/stat : 7336 (java) S 7218 7225 4275 0 -1 1077944384 31013 12890 0 0 1374 69 4 3 20 0 15 0 233049346 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465698299024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7337] ppid=7218 vsize=11080032 memory=1394184 CPUtime=14.44 cores=0,2,4,6
/proc/7225/task/7337/stat : 7337 (java) S 7218 7225 4275 0 -1 1077944384 23482 12890 0 0 1368 69 4 3 20 0 15 0 233049346 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465697245968 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7338] ppid=7218 vsize=11080032 memory=1394184 CPUtime=14.51 cores=0,2,4,6
/proc/7225/task/7338/stat : 7338 (java) S 7218 7225 4275 0 -1 1077944384 31743 12890 0 0 1374 70 4 3 20 0 15 0 233049346 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465696193424 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7340] ppid=7218 vsize=11080032 memory=1394168 CPUtime=8.49 cores=0,2,4,6
/proc/7225/task/7340/stat : 7340 (java) S 7218 7225 4275 0 -1 1077944384 29702 12890 0 0 792 50 4 3 20 0 15 0 233049348 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465651751152 140466158627458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7342] ppid=7218 vsize=11080032 memory=1394168 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7342/stat : 7342 (java) S 7218 7225 4275 0 -1 1077944384 14 12890 0 0 0 0 4 3 20 0 15 0 233049348 11345952768 348546 33554432000 4194304 4196468 140735588956480 140464905774304 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7344] ppid=7218 vsize=11080032 memory=1394168 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7344/stat : 7344 (java) S 7218 7225 4275 0 -1 1077944384 2 12890 0 0 0 0 4 3 20 0 15 0 233049349 11345952768 348546 33554432000 4194304 4196468 140735588956480 140464757924608 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7349] ppid=7218 vsize=11080032 memory=1394168 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7349/stat : 7349 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11345952768 348546 33554432000 4194304 4196468 140735588956480 140464450525136 140466158634907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7350] ppid=7218 vsize=11080032 memory=1394168 CPUtime=8.82 cores=0,2,4,6
/proc/7225/task/7350/stat : 7350 (java) S 7218 7225 4275 0 -1 1077944384 43443 12890 0 0 869 6 4 3 20 0 15 0 233049351 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465650698992 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7351] ppid=7218 vsize=11080032 memory=1394184 CPUtime=9.31 cores=0,2,4,6
/proc/7225/task/7351/stat : 7351 (java) S 7218 7225 4275 0 -1 1077944384 53097 12890 0 0 917 7 4 3 20 0 15 0 233049351 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465649646448 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7352] ppid=7218 vsize=11080032 memory=1394184 CPUtime=3.6 cores=0,2,4,6
/proc/7225/task/7352/stat : 7352 (java) S 7218 7225 4275 0 -1 1077944384 41184 12890 0 0 346 7 4 3 20 0 15 0 233049351 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465648593392 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7354] ppid=7218 vsize=11080032 memory=12668 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7354/stat : 7354 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11345952768 348546 33554432000 4194304 4196468 140735588956480 140464019729248 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7356] ppid=7218 vsize=11080032 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/7225/task/7356/stat : 7356 (java) S 7218 7225 4275 0 -1 1077944384 1338 12890 0 0 60 63 4 3 20 0 15 0 233049352 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465647540784 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1394184 KiB

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

[startup+2456.53 s]
# the end of solver process 7225 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.88 s, system=4.26487 s

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

[startup+2456.5 s]
/proc/loadavg: 1.56 1.58 1.56 4/215 7430
/proc/meminfo: memFree=21435032/32770624 swapFree=67108688/67108860
[pid=7225] ppid=7218 vsize=11080032 memory=1394184 CPUtime=2520.08 cores=0,2,4,6
/proc/7225/stat : 7225 (java) S 7218 7225 4275 0 -1 1077944320 393909 12890 0 0 251580 421 4 3 20 0 15 0 233049336 11345952768 348546 33554432000 4194304 4196468 140735588956480 140735588939024 140466158616311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
/proc/7225/statm: 2770008 348546 3531 1 0 2731661 0
[pid=7225/tid=7330] ppid=7218 vsize=11080032 memory=1394184 CPUtime=2431.14 cores=0,2,4,6
/proc/7225/task/7330/stat : 7330 (java) R 7218 7225 4275 0 -1 4202560 119628 12890 0 0 243044 63 4 3 20 0 15 0 233049345 11345952768 348546 33554432000 4194304 4196468 140735588956480 140466130452048 140465732624597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7334] ppid=7218 vsize=11080032 memory=1394184 CPUtime=14.5 cores=0,2,4,6
/proc/7225/task/7334/stat : 7334 (java) S 7218 7225 4275 0 -1 1077944384 17061 12890 0 0 1376 67 4 3 20 0 15 0 233049346 11345952768 348546 33554432000 4194304 4196468 140735588956480 140466162859024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7336] ppid=7218 vsize=11080032 memory=4452 CPUtime=14.5 cores=0,2,4,6
/proc/7225/task/7336/stat : 7336 (java) S 7218 7225 4275 0 -1 1077944384 31013 12890 0 0 1374 69 4 3 20 0 15 0 233049346 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465698299024 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7337] ppid=7218 vsize=11080032 memory=1394184 CPUtime=14.44 cores=0,2,4,6
/proc/7225/task/7337/stat : 7337 (java) S 7218 7225 4275 0 -1 1077944384 23482 12890 0 0 1368 69 4 3 20 0 15 0 233049346 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465697245968 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7338] ppid=7218 vsize=11080032 memory=1394184 CPUtime=14.51 cores=0,2,4,6
/proc/7225/task/7338/stat : 7338 (java) S 7218 7225 4275 0 -1 1077944384 31743 12890 0 0 1374 70 4 3 20 0 15 0 233049346 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465696193424 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7340] ppid=7218 vsize=11080032 memory=1394168 CPUtime=8.49 cores=0,2,4,6
/proc/7225/task/7340/stat : 7340 (java) S 7218 7225 4275 0 -1 1077944384 29702 12890 0 0 792 50 4 3 20 0 15 0 233049348 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465651751152 140466158627458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7342] ppid=7218 vsize=11080032 memory=1394168 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7342/stat : 7342 (java) S 7218 7225 4275 0 -1 1077944384 14 12890 0 0 0 0 4 3 20 0 15 0 233049348 11345952768 348546 33554432000 4194304 4196468 140735588956480 140464905774304 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7344] ppid=7218 vsize=11080032 memory=1394168 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7344/stat : 7344 (java) S 7218 7225 4275 0 -1 1077944384 2 12890 0 0 0 0 4 3 20 0 15 0 233049349 11345952768 348546 33554432000 4194304 4196468 140735588956480 140464757924608 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7349] ppid=7218 vsize=11080032 memory=1394168 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7349/stat : 7349 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11345952768 348546 33554432000 4194304 4196468 140735588956480 140464450525136 140466158634907 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7350] ppid=7218 vsize=11080032 memory=1394168 CPUtime=8.82 cores=0,2,4,6
/proc/7225/task/7350/stat : 7350 (java) S 7218 7225 4275 0 -1 1077944384 43443 12890 0 0 869 6 4 3 20 0 15 0 233049351 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465650698992 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7351] ppid=7218 vsize=11080032 memory=1394184 CPUtime=9.31 cores=0,2,4,6
/proc/7225/task/7351/stat : 7351 (java) S 7218 7225 4275 0 -1 1077944384 53097 12890 0 0 917 7 4 3 20 0 15 0 233049351 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465649646448 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7352] ppid=7218 vsize=11080032 memory=1394184 CPUtime=3.6 cores=0,2,4,6
/proc/7225/task/7352/stat : 7352 (java) S 7218 7225 4275 0 -1 1077944384 41184 12890 0 0 346 7 4 3 20 0 15 0 233049351 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465648593392 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7354] ppid=7218 vsize=11080032 memory=12668 CPUtime=0.07 cores=0,2,4,6
/proc/7225/task/7354/stat : 7354 (java) S 7218 7225 4275 0 -1 1077944384 3 12890 0 0 0 0 4 3 20 0 15 0 233049351 11345952768 348546 33554432000 4194304 4196468 140735588956480 140464019729248 140466158626517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
[pid=7225/tid=7356] ppid=7218 vsize=11080032 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/7225/task/7356/stat : 7356 (java) S 7218 7225 4275 0 -1 1077944384 1338 12890 0 0 60 63 4 3 20 0 15 0 233049352 11345952768 348546 33554432000 4194304 4196468 140735588956480 140465647540784 140466158627458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13107200 140735588964963 140735588967772 140735588967772 140735588970447 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1394184 KiB

Child status: 143
Real time (s): 2456.53
CPU time (s): 2520.14
CPU user time (s): 2515.88
CPU system time (s): 4.26487
CPU usage (%): 102.59
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 2121864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.88
system time used= 4.26487
maximum resident set size= 2126552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 243381
involuntary context switches= 7010


# summary of solver processes directly reported to runsolver:
#   pid: 7225
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2515.88
#   total CPU system time (s): 4.26487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5384 second user time and 23.0237 second system time

The end

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

Trace number 4304812

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