2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	18	2520.06	2466.73

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304811-1534153576/watcher-4304811-1534153576 -o /tmp/evaluation-result-4304811-1534153576/solver-4304811-1534153576 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534138766-20507 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=247013887 HOME/instance-4304811-1534153576.xml 

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

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

solver pid=23368, runsolver pid=23365

[startup+0.100135 s]*
/proc/loadavg: 1.29 1.38 1.45 3/205 23424
/proc/meminfo: memFree=17118908/32770624 swapFree=67108196/67108860
[pid=23368] ppid=23365 vsize=10005480 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/23368/stat : 23368 (java) S 23365 23368 19646 0 -1 1077944320 4213 13264 0 0 1 0 5 2 20 0 6 0 232920783 10245611520 4582 33554432000 4194304 4196468 140729923681664 140729923664208 139956031565559 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
/proc/23368/statm: 2501370 4582 1930 1 0 2489808 0
[pid=23368/tid=23421] ppid=23365 vsize=10005480 memory=5852835220496416925 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23421/stat : 23421 (java) R 23365 23368 19646 0 -1 4202560 2027 13264 0 0 0 0 5 2 20 0 6 0 232920792 10245611520 4582 33554432000 4194304 4196468 140729923681664 139956003402320 139956031587485 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23422] ppid=23365 vsize=10005480 memory=5793855616910178745 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23422/stat : 23422 (java) S 23365 23368 19646 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 6 0 232920793 10245611520 4582 33554432000 4194304 4196468 140729923681664 139956035808400 139956031575765 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23423] ppid=23365 vsize=10005480 memory=140365900285568 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23423/stat : 23423 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 6 0 232920793 10245611520 4582 33554432000 4194304 4196468 140729923681664 139955890527248 139956031575765 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23424] ppid=23365 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23424/stat : 23424 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 6 0 232920793 10245611520 4582 33554432000 4194304 4196468 140729923681664 139955889474448 139956031575765 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23425] ppid=23365 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23425/stat : 23425 (java) S 23365 23368 19646 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 6 0 232920793 10245611520 4582 33554432000 4194304 4196468 140729923681664 139955888421648 139956031575765 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB

[startup+0.210173 s]*
/proc/loadavg: 1.29 1.38 1.45 3/215 23434
/proc/meminfo: memFree=17094924/32770624 swapFree=67108196/67108860
[pid=23368] ppid=23365 vsize=10982696 memory=45364 CPUtime=0.25 cores=0,2,4,6
/proc/23368/stat : 23368 (java) S 23365 23368 19646 0 -1 1077944320 8237 13264 0 0 16 2 5 2 20 0 15 0 232920783 11246280704 11341 33554432000 4194304 4196468 140729923681664 140729923664208 139956031565559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
/proc/23368/statm: 2745674 11341 2937 1 0 2708109 0
[pid=23368/tid=23421] ppid=23365 vsize=10982696 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/23368/task/23421/stat : 23421 (java) R 23365 23368 19646 0 -1 4202560 4756 13264 0 0 10 1 5 2 20 0 15 0 232920792 11246280704 11341 33554432000 4194304 4196468 140729923681664 139956003363216 139956011840889 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23422] ppid=23365 vsize=10982696 memory=4211974092105076106 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23422/stat : 23422 (java) S 23365 23368 19646 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246280704 11341 33554432000 4194304 4196468 140729923681664 139956035808400 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23423] ppid=23365 vsize=10982696 memory=140365900285568 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23423/stat : 23423 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246280704 11341 33554432000 4194304 4196468 140729923681664 139955890527248 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23424] ppid=23365 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23424/stat : 23424 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246280704 11341 33554432000 4194304 4196468 140729923681664 139955889474448 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23425] ppid=23365 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23425/stat : 23425 (java) S 23365 23368 19646 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246280704 11341 33554432000 4194304 4196468 140729923681664 139955888421648 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23426] ppid=23365 vsize=10982696 memory=140365900285568 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23426/stat : 23426 (java) S 23365 23368 19646 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 232920795 11246280704 11341 33554432000 4194304 4196468 140729923681664 139955457554800 139956031576706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23427] ppid=23365 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23427/stat : 23427 (java) S 23365 23368 19646 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 232920795 11246280704 11341 33554432000 4194304 4196468 140729923681664 139954811298848 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23428] ppid=23365 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23428/stat : 23428 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920795 11246280704 11341 33554432000 4194304 4196468 140729923681664 139954663449456 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23429] ppid=23365 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23429/stat : 23429 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11246280704 11341 33554432000 4194304 4196468 140729923681664 139954356049744 139956031584155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23430] ppid=23365 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23368/task/23430/stat : 23430 (java) S 23365 23368 19646 0 -1 1077944384 568 13264 0 0 1 0 5 2 20 0 15 0 232920798 11246280704 11341 33554432000 4194304 4196468 140729923681664 139955456502640 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23431] ppid=23365 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23431/stat : 23431 (java) S 23365 23368 19646 0 -1 1077944384 59 13264 0 0 0 0 5 2 20 0 15 0 232920798 11246280704 11341 33554432000 4194304 4196468 140729923681664 139955455449840 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23432] ppid=23365 vsize=10982696 memory=140365900285568 CPUtime=0.1 cores=0,2,4,6
/proc/23368/task/23432/stat : 23432 (java) S 23365 23368 19646 0 -1 1077944384 636 13264 0 0 3 0 5 2 20 0 15 0 232920798 11246280704 11341 33554432000 4194304 4196468 140729923681664 139955454397040 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23433] ppid=23365 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23433/stat : 23433 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11246280704 11341 33554432000 4194304 4196468 140729923681664 139953925253856 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23434] ppid=23365 vsize=10982696 memory=140365900285568 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23434/stat : 23434 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920799 11246280704 11341 33554432000 4194304 4196468 140729923681664 139955453344432 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45364 KiB

[startup+0.310344 s]*
/proc/loadavg: 1.29 1.38 1.45 3/215 23434
/proc/meminfo: memFree=17080968/32770624 swapFree=67108196/67108860
[pid=23368] ppid=23365 vsize=10983192 memory=56952 CPUtime=0.38 cores=0,2,4,6
/proc/23368/stat : 23368 (java) S 23365 23368 19646 0 -1 1077944320 9797 13264 0 0 28 3 5 2 20 0 15 0 232920783 11246788608 14238 33554432000 4194304 4196468 140729923681664 140729923664208 139956031565559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
/proc/23368/statm: 2745798 14238 3069 1 0 2708109 0
[pid=23368/tid=23421] ppid=23365 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/23368/task/23421/stat : 23421 (java) R 23365 23368 19646 0 -1 4202560 6460 13264 0 0 19 2 5 2 20 0 15 0 232920792 11246788608 14370 33554432000 4194304 4196468 140729923681664 139956003377568 139956011841387 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23422] ppid=23365 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23422/stat : 23422 (java) S 23365 23368 19646 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246788608 14370 33554432000 4194304 4196468 140729923681664 139956035808400 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23423] ppid=23365 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23423/stat : 23423 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246788608 14370 33554432000 4194304 4196468 140729923681664 139955890527248 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23424] ppid=23365 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23424/stat : 23424 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246788608 14370 33554432000 4194304 4196468 140729923681664 139955889474448 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23425] ppid=23365 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23425/stat : 23425 (java) S 23365 23368 19646 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246788608 14370 33554432000 4194304 4196468 140729923681664 139955888421648 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23426] ppid=23365 vsize=10983192 memory=140365900285567 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23426/stat : 23426 (java) S 23365 23368 19646 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 232920795 11246788608 14370 33554432000 4194304 4196468 140729923681664 139955457554800 139956031576706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23427] ppid=23365 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23427/stat : 23427 (java) S 23365 23368 19646 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 232920795 11246788608 14370 33554432000 4194304 4196468 140729923681664 139954811298848 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23428] ppid=23365 vsize=10983192 memory=140365900285568 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23428/stat : 23428 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920795 11246788608 14370 33554432000 4194304 4196468 140729923681664 139954663449456 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23429] ppid=23365 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23429/stat : 23429 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11246788608 14370 33554432000 4194304 4196468 140729923681664 139954356049744 139956031584155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23430] ppid=23365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23368/task/23430/stat : 23430 (java) S 23365 23368 19646 0 -1 1077944384 568 13264 0 0 1 0 5 2 20 0 15 0 232920798 11246788608 14436 33554432000 4194304 4196468 140729923681664 139955456502640 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23431] ppid=23365 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23368/task/23431/stat : 23431 (java) S 23365 23368 19646 0 -1 1077944384 60 13264 0 0 1 0 5 2 20 0 15 0 232920798 11246788608 14436 33554432000 4194304 4196468 140729923681664 139955455449840 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23432] ppid=23365 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23368/task/23432/stat : 23432 (java) S 23365 23368 19646 0 -1 1077944384 641 13264 0 0 5 0 5 2 20 0 15 0 232920798 11246788608 14436 33554432000 4194304 4196468 140729923681664 139955454397040 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23433] ppid=23365 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23433/stat : 23433 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11246788608 14436 33554432000 4194304 4196468 140729923681664 139953925253856 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23434] ppid=23365 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23434/stat : 23434 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920799 11246788608 14436 33554432000 4194304 4196468 140729923681664 139955453344432 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56952 KiB

[startup+0.700707 s]
/proc/loadavg: 1.29 1.38 1.45 3/215 23434
/proc/meminfo: memFree=17069580/32770624 swapFree=67108196/67108860
[pid=23368] ppid=23365 vsize=10983192 memory=91168 CPUtime=0.97 cores=0,2,4,6
/proc/23368/stat : 23368 (java) S 23365 23368 19646 0 -1 1077944320 16447 13264 0 0 86 4 5 2 20 0 15 0 232920783 11246788608 22792 33554432000 4194304 4196468 140729923681664 140729923664208 139956031565559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
/proc/23368/statm: 2745798 22792 3237 1 0 2708109 0
[pid=23368/tid=23421] ppid=23365 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/23368/task/23421/stat : 23421 (java) R 23365 23368 19646 0 -1 4202560 12002 13264 0 0 55 3 5 2 20 0 15 0 232920792 11246788608 22792 33554432000 4194304 4196468 140729923681664 139956003366120 139956013129115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23422] ppid=23365 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23422/stat : 23422 (java) S 23365 23368 19646 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246788608 22792 33554432000 4194304 4196468 140729923681664 139956035808400 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23423] ppid=23365 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23423/stat : 23423 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246788608 22792 33554432000 4194304 4196468 140729923681664 139955890527248 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23424] ppid=23365 vsize=10983192 memory=3472468661191776066 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23424/stat : 23424 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246788608 22792 33554432000 4194304 4196468 140729923681664 139955889474448 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23425] ppid=23365 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23425/stat : 23425 (java) S 23365 23368 19646 0 -1 1077944384 2 13264 0 0 0 0 5 2 20 0 15 0 232920793 11246788608 22792 33554432000 4194304 4196468 140729923681664 139955888421648 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23426] ppid=23365 vsize=10983192 memory=280731545002368 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23426/stat : 23426 (java) S 23365 23368 19646 0 -1 1077944384 5 13264 0 0 0 0 5 2 20 0 15 0 232920795 11246788608 22792 33554432000 4194304 4196468 140729923681664 139955457554800 139956031576706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23427] ppid=23365 vsize=10983192 memory=4028 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23427/stat : 23427 (java) S 23365 23368 19646 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 232920795 11246788608 22792 33554432000 4194304 4196468 140729923681664 139954811298848 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23428] ppid=23365 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23428/stat : 23428 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920795 11246788608 22792 33554432000 4194304 4196468 140729923681664 139954663449456 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23429] ppid=23365 vsize=10983192 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23429/stat : 23429 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11246788608 22792 33554432000 4194304 4196468 140729923681664 139954356049744 139956031584155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23430] ppid=23365 vsize=10983192 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/23368/task/23430/stat : 23430 (java) S 23365 23368 19646 0 -1 1077944384 1246 13264 0 0 9 0 5 2 20 0 15 0 232920798 11246788608 22792 33554432000 4194304 4196468 140729923681664 139955456502640 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23431] ppid=23365 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/23368/task/23431/stat : 23431 (java) S 23365 23368 19646 0 -1 1077944384 294 13264 0 0 6 0 5 2 20 0 15 0 232920798 11246788608 22792 33554432000 4194304 4196468 140729923681664 139955455449840 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23432] ppid=23365 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/23368/task/23432/stat : 23432 (java) S 23365 23368 19646 0 -1 1077944384 684 13264 0 0 13 0 5 2 20 0 15 0 232920798 11246788608 22792 33554432000 4194304 4196468 140729923681664 139955454397040 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23433] ppid=23365 vsize=10983192 memory=19265 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23433/stat : 23433 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11246788608 22792 33554432000 4194304 4196468 140729923681664 139953925253856 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23434] ppid=23365 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23434/stat : 23434 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920799 11246788608 22792 33554432000 4194304 4196468 140729923681664 139955453344432 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 91168 KiB

[startup+1.50133 s]
/proc/loadavg: 1.29 1.38 1.45 3/215 23434
/proc/meminfo: memFree=17025700/32770624 swapFree=67108196/67108860
[pid=23368] ppid=23365 vsize=10998092 memory=187036 CPUtime=2.97 cores=0,2,4,6
/proc/23368/stat : 23368 (java) S 23365 23368 19646 0 -1 1077944320 26958 13264 0 0 280 10 5 2 20 0 15 0 232920783 11262046208 46759 33554432000 4194304 4196468 140729923681664 140729923664208 139956031565559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
/proc/23368/statm: 2749523 46759 3472 1 0 2711181 0
[pid=23368/tid=23421] ppid=23365 vsize=10998092 memory=4028 CPUtime=1.41 cores=0,2,4,6
/proc/23368/task/23421/stat : 23421 (java) R 23365 23368 19646 0 -1 4202560 17277 13264 0 0 128 6 5 2 20 0 15 0 232920792 11262046208 46759 33554432000 4194304 4196468 140729923681664 139956003369560 139956011837049 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23422] ppid=23365 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23368/task/23422/stat : 23422 (java) S 23365 23368 19646 0 -1 1077944384 206 13264 0 0 1 0 5 2 20 0 15 0 232920793 11262046208 46759 33554432000 4194304 4196468 140729923681664 139956035808400 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23423] ppid=23365 vsize=10998092 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/23368/task/23423/stat : 23423 (java) S 23365 23368 19646 0 -1 1077944384 55 13264 0 0 1 0 5 2 20 0 15 0 232920793 11262046208 46759 33554432000 4194304 4196468 140729923681664 139955890527248 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23424] ppid=23365 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23368/task/23424/stat : 23424 (java) S 23365 23368 19646 0 -1 1077944384 27 13264 0 0 1 0 5 2 20 0 15 0 232920793 11262046208 46759 33554432000 4194304 4196468 140729923681664 139955889474448 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23425] ppid=23365 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23425/stat : 23425 (java) S 23365 23368 19646 0 -1 1077944384 6 13264 0 0 0 0 5 2 20 0 15 0 232920793 11262046208 46759 33554432000 4194304 4196468 140729923681664 139955888421648 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23426] ppid=23365 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23368/task/23426/stat : 23426 (java) S 23365 23368 19646 0 -1 1077944384 58 13264 0 0 1 0 5 2 20 0 15 0 232920795 11262046208 46759 33554432000 4194304 4196468 140729923681664 139955457554800 139956031576706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23427] ppid=23365 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23427/stat : 23427 (java) S 23365 23368 19646 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 232920795 11262046208 46759 33554432000 4194304 4196468 140729923681664 139954811298848 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23428] ppid=23365 vsize=10998092 memory=37 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23428/stat : 23428 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920795 11262046208 46759 33554432000 4194304 4196468 140729923681664 139954663449456 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23429] ppid=23365 vsize=10998092 memory=36 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23429/stat : 23429 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11262046208 46759 33554432000 4194304 4196468 140729923681664 139954356049744 139956031584155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23430] ppid=23365 vsize=10998092 memory=35 CPUtime=0.63 cores=0,2,4,6
/proc/23368/task/23430/stat : 23430 (java) S 23365 23368 19646 0 -1 1077944384 3238 13264 0 0 56 0 5 2 20 0 15 0 232920798 11262046208 46759 33554432000 4194304 4196468 140729923681664 139955456502640 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23431] ppid=23365 vsize=10998092 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/23368/task/23431/stat : 23431 (java) S 23365 23368 19646 0 -1 1077944384 2253 13264 0 0 50 0 5 2 20 0 15 0 232920798 11262046208 46759 33554432000 4194304 4196468 140729923681664 139955455449840 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23432] ppid=23365 vsize=10998092 memory=56 CPUtime=0.43 cores=0,2,4,6
/proc/23368/task/23432/stat : 23432 (java) S 23365 23368 19646 0 -1 1077944384 1628 13264 0 0 36 0 5 2 20 0 15 0 232920798 11262046208 46759 33554432000 4194304 4196468 140729923681664 139955454397040 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23433] ppid=23365 vsize=10998092 memory=14775 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23433/stat : 23433 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11262046208 46759 33554432000 4194304 4196468 140729923681664 139953925253856 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23434] ppid=23365 vsize=10998092 memory=4350 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23434/stat : 23434 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920799 11262046208 46759 33554432000 4194304 4196468 140729923681664 139955453344432 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10998092 KiB

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

/proc/23368/task/23421/stat : 23421 (java) R 23365 23368 19646 0 -1 4202560 85799 13264 0 0 235458 51 5 2 20 0 15 0 232920792 11345952768 197727 33554432000 4194304 4196468 140729923681664 139956003401024 139955569389181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23422] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.11 cores=0,2,4,6
/proc/23368/task/23422/stat : 23422 (java) S 23365 23368 19646 0 -1 1077944384 14343 13264 0 0 1148 56 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139956035808400 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23423] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.1 cores=0,2,4,6
/proc/23368/task/23423/stat : 23423 (java) S 23365 23368 19646 0 -1 1077944384 10056 13264 0 0 1144 59 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955890527248 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23424] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.1 cores=0,2,4,6
/proc/23368/task/23424/stat : 23424 (java) S 23365 23368 19646 0 -1 1077944384 11384 13264 0 0 1143 60 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955889474448 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23425] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.07 cores=0,2,4,6
/proc/23368/task/23425/stat : 23425 (java) S 23365 23368 19646 0 -1 1077944384 13127 13264 0 0 1146 54 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955888421648 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23426] ppid=23365 vsize=11080032 memory=790908 CPUtime=11.19 cores=0,2,4,6
/proc/23368/task/23426/stat : 23426 (java) S 23365 23368 19646 0 -1 1077944384 16980 13264 0 0 1053 59 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955457554800 139956031576706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23427] ppid=23365 vsize=11080032 memory=790896 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23427/stat : 23427 (java) S 23365 23368 19646 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954811298912 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23428] ppid=23365 vsize=11080032 memory=4028 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23428/stat : 23428 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954663449472 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23429] ppid=23365 vsize=11080032 memory=790908 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23429/stat : 23429 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954356049744 139956031584155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23430] ppid=23365 vsize=11080032 memory=4028 CPUtime=8.04 cores=0,2,4,6
/proc/23368/task/23430/stat : 23430 (java) S 23365 23368 19646 0 -1 1077944384 35033 13264 0 0 792 5 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955456502640 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23431] ppid=23365 vsize=11080032 memory=4028 CPUtime=7.3 cores=0,2,4,6
/proc/23368/task/23431/stat : 23431 (java) S 23365 23368 19646 0 -1 1077944384 25415 13264 0 0 719 4 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955455449840 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23432] ppid=23365 vsize=11080032 memory=63184 CPUtime=3.36 cores=0,2,4,6
/proc/23368/task/23432/stat : 23432 (java) S 23365 23368 19646 0 -1 1077944384 23465 13264 0 0 323 6 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955454397040 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23433] ppid=23365 vsize=11080032 memory=2096 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23433/stat : 23433 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139953925253856 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23434] ppid=23365 vsize=11080032 memory=928 CPUtime=1.39 cores=0,2,4,6
/proc/23368/task/23434/stat : 23434 (java) S 23365 23368 19646 0 -1 1077944384 1298 13264 0 0 69 63 5 2 20 0 15 0 232920799 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955453344432 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
Current children cumulated CPU time: 2434.31 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 790908 KiB

[startup+2442.3 s]
/proc/loadavg: 1.38 1.36 1.36 3/215 23662
/proc/meminfo: memFree=16858856/32770624 swapFree=67108196/67108860
[pid=23368] ppid=23365 vsize=11080032 memory=790908 CPUtime=2495.22 cores=0,2,4,6
/proc/23368/stat : 23368 (java) S 23365 23368 19646 0 -1 1077944320 240581 13264 0 0 249152 363 5 2 20 0 15 0 232920783 11345952768 197727 33554432000 4194304 4196468 140729923681664 140729923664208 139956031565559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
/proc/23368/statm: 2770008 197727 3530 1 0 2731661 0
[pid=23368/tid=23421] ppid=23365 vsize=11080032 memory=790908 CPUtime=2414.44 cores=0,2,4,6
/proc/23368/task/23421/stat : 23421 (java) R 23365 23368 19646 0 -1 4202560 86500 13264 0 0 241385 52 5 2 20 0 15 0 232920792 11345952768 197727 33554432000 4194304 4196468 140729923681664 139956003400704 139955557067870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23422] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.44 cores=0,2,4,6
/proc/23368/task/23422/stat : 23422 (java) S 23365 23368 19646 0 -1 1077944384 14711 13264 0 0 1180 57 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139956035808400 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23423] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.43 cores=0,2,4,6
/proc/23368/task/23423/stat : 23423 (java) S 23365 23368 19646 0 -1 1077944384 10090 13264 0 0 1175 61 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955890527248 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23424] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.42 cores=0,2,4,6
/proc/23368/task/23424/stat : 23424 (java) S 23365 23368 19646 0 -1 1077944384 11412 13264 0 0 1174 61 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955889474448 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23425] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.4 cores=0,2,4,6
/proc/23368/task/23425/stat : 23425 (java) S 23365 23368 19646 0 -1 1077944384 13239 13264 0 0 1177 56 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955888421648 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23426] ppid=23365 vsize=11080032 memory=790908 CPUtime=11.49 cores=0,2,4,6
/proc/23368/task/23426/stat : 23426 (java) S 23365 23368 19646 0 -1 1077944384 17186 13264 0 0 1082 60 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955457554800 139956031576706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23427] ppid=23365 vsize=11080032 memory=790908 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23427/stat : 23427 (java) S 23365 23368 19646 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954811298912 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23428] ppid=23365 vsize=11080032 memory=790908 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23428/stat : 23428 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954663449472 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23429] ppid=23365 vsize=11080032 memory=790908 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23429/stat : 23429 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954356049744 139956031584155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23430] ppid=23365 vsize=11080032 memory=1140 CPUtime=8.04 cores=0,2,4,6
/proc/23368/task/23430/stat : 23430 (java) S 23365 23368 19646 0 -1 1077944384 35035 13264 0 0 792 5 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955456502640 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23431] ppid=23365 vsize=11080032 memory=4032 CPUtime=7.3 cores=0,2,4,6
/proc/23368/task/23431/stat : 23431 (java) S 23365 23368 19646 0 -1 1077944384 25417 13264 0 0 719 4 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955455449840 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23432] ppid=23365 vsize=11080032 memory=17816 CPUtime=3.37 cores=0,2,4,6
/proc/23368/task/23432/stat : 23432 (java) S 23365 23368 19646 0 -1 1077944384 23467 13264 0 0 323 7 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955454397040 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23433] ppid=23365 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23433/stat : 23433 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139953925253856 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23434] ppid=23365 vsize=11080032 memory=2612 CPUtime=1.43 cores=0,2,4,6
/proc/23368/task/23434/stat : 23434 (java) S 23365 23368 19646 0 -1 1077944384 1315 13264 0 0 71 65 5 2 20 0 15 0 232920799 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955453344432 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
Current children cumulated CPU time: 2495.22 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 790908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2466.7 s]
/proc/loadavg: 1.46 1.38 1.37 3/215 23662
/proc/meminfo: memFree=16857056/32770624 swapFree=67108196/67108860
[pid=23368] ppid=23365 vsize=11080032 memory=790908 CPUtime=2520.01 cores=0,2,4,6
/proc/23368/stat : 23368 (java) S 23365 23368 19646 0 -1 1077944320 240821 13264 0 0 251628 366 5 2 20 0 15 0 232920783 11345952768 197727 33554432000 4194304 4196468 140729923681664 140729923664208 139956031565559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
/proc/23368/statm: 2770008 197727 3530 1 0 2731661 0
[pid=23368/tid=23421] ppid=23365 vsize=11080032 memory=790908 CPUtime=2438.55 cores=0,2,4,6
/proc/23368/task/23421/stat : 23421 (java) R 23365 23368 19646 0 -1 4202560 86716 13264 0 0 243796 52 5 2 20 0 15 0 232920792 11345952768 197727 33554432000 4194304 4196468 140729923681664 139956003400864 139955570574759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23422] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.57 cores=0,2,4,6
/proc/23368/task/23422/stat : 23422 (java) S 23365 23368 19646 0 -1 1077944384 14711 13264 0 0 1193 57 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139956035808400 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23423] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.56 cores=0,2,4,6
/proc/23368/task/23423/stat : 23423 (java) S 23365 23368 19646 0 -1 1077944384 10092 13264 0 0 1188 61 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955890527248 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23424] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.56 cores=0,2,4,6
/proc/23368/task/23424/stat : 23424 (java) S 23365 23368 19646 0 -1 1077944384 11415 13264 0 0 1187 62 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955889474448 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23425] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.53 cores=0,2,4,6
/proc/23368/task/23425/stat : 23425 (java) S 23365 23368 19646 0 -1 1077944384 13253 13264 0 0 1190 56 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955888421648 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23426] ppid=23365 vsize=11080032 memory=790908 CPUtime=11.61 cores=0,2,4,6
/proc/23368/task/23426/stat : 23426 (java) S 23365 23368 19646 0 -1 1077944384 17189 13264 0 0 1093 61 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955457554800 139956031576706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23427] ppid=23365 vsize=11080032 memory=790908 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23427/stat : 23427 (java) S 23365 23368 19646 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954811298912 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23428] ppid=23365 vsize=11080032 memory=790908 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23428/stat : 23428 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954663449472 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23429] ppid=23365 vsize=11080032 memory=4032 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23429/stat : 23429 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954356049744 139956031584155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23430] ppid=23365 vsize=11080032 memory=790908 CPUtime=8.04 cores=0,2,4,6
/proc/23368/task/23430/stat : 23430 (java) S 23365 23368 19646 0 -1 1077944384 35035 13264 0 0 792 5 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955456502640 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23431] ppid=23365 vsize=11080032 memory=4028 CPUtime=7.3 cores=0,2,4,6
/proc/23368/task/23431/stat : 23431 (java) S 23365 23368 19646 0 -1 1077944384 25417 13264 0 0 719 4 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955455449840 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23432] ppid=23365 vsize=11080032 memory=790908 CPUtime=3.37 cores=0,2,4,6
/proc/23368/task/23432/stat : 23432 (java) S 23365 23368 19646 0 -1 1077944384 23467 13264 0 0 323 7 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955454397040 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23433] ppid=23365 vsize=11080032 memory=790908 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23433/stat : 23433 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139953925253856 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23434] ppid=23365 vsize=11080032 memory=4168 CPUtime=1.44 cores=0,2,4,6
/proc/23368/task/23434/stat : 23434 (java) S 23365 23368 19646 0 -1 1077944384 1317 13264 0 0 72 65 5 2 20 0 15 0 232920799 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955453344432 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 790908 KiB

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

[startup+2466.73 s]
# the end of solver process 23368 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.36 s, system=3.69513 s

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

[startup+2466.7 s]
/proc/loadavg: 1.46 1.38 1.37 3/215 23662
/proc/meminfo: memFree=16857056/32770624 swapFree=67108196/67108860
[pid=23368] ppid=23365 vsize=11080032 memory=790908 CPUtime=2520.01 cores=0,2,4,6
/proc/23368/stat : 23368 (java) S 23365 23368 19646 0 -1 1077944320 240821 13264 0 0 251628 366 5 2 20 0 15 0 232920783 11345952768 197727 33554432000 4194304 4196468 140729923681664 140729923664208 139956031565559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
/proc/23368/statm: 2770008 197727 3530 1 0 2731661 0
[pid=23368/tid=23421] ppid=23365 vsize=11080032 memory=790908 CPUtime=2438.55 cores=0,2,4,6
/proc/23368/task/23421/stat : 23421 (java) R 23365 23368 19646 0 -1 4202560 86716 13264 0 0 243796 52 5 2 20 0 15 0 232920792 11345952768 197727 33554432000 4194304 4196468 140729923681664 139956003400864 139955570574759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23422] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.57 cores=0,2,4,6
/proc/23368/task/23422/stat : 23422 (java) S 23365 23368 19646 0 -1 1077944384 14711 13264 0 0 1193 57 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139956035808400 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23423] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.56 cores=0,2,4,6
/proc/23368/task/23423/stat : 23423 (java) S 23365 23368 19646 0 -1 1077944384 10092 13264 0 0 1188 61 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955890527248 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23424] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.56 cores=0,2,4,6
/proc/23368/task/23424/stat : 23424 (java) S 23365 23368 19646 0 -1 1077944384 11415 13264 0 0 1187 62 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955889474448 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23425] ppid=23365 vsize=11080032 memory=790908 CPUtime=12.53 cores=0,2,4,6
/proc/23368/task/23425/stat : 23425 (java) S 23365 23368 19646 0 -1 1077944384 13253 13264 0 0 1190 56 5 2 20 0 15 0 232920793 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955888421648 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23426] ppid=23365 vsize=11080032 memory=790908 CPUtime=11.61 cores=0,2,4,6
/proc/23368/task/23426/stat : 23426 (java) S 23365 23368 19646 0 -1 1077944384 17189 13264 0 0 1093 61 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955457554800 139956031576706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23427] ppid=23365 vsize=11080032 memory=790908 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23427/stat : 23427 (java) S 23365 23368 19646 0 -1 1077944384 13 13264 0 0 0 0 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954811298912 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23428] ppid=23365 vsize=11080032 memory=790908 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23428/stat : 23428 (java) S 23365 23368 19646 0 -1 1077944384 1 13264 0 0 0 0 5 2 20 0 15 0 232920795 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954663449472 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23429] ppid=23365 vsize=11080032 memory=4032 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23429/stat : 23429 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139954356049744 139956031584155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23430] ppid=23365 vsize=11080032 memory=790908 CPUtime=8.04 cores=0,2,4,6
/proc/23368/task/23430/stat : 23430 (java) S 23365 23368 19646 0 -1 1077944384 35035 13264 0 0 792 5 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955456502640 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23431] ppid=23365 vsize=11080032 memory=4028 CPUtime=7.3 cores=0,2,4,6
/proc/23368/task/23431/stat : 23431 (java) S 23365 23368 19646 0 -1 1077944384 25417 13264 0 0 719 4 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955455449840 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23432] ppid=23365 vsize=11080032 memory=790908 CPUtime=3.37 cores=0,2,4,6
/proc/23368/task/23432/stat : 23432 (java) S 23365 23368 19646 0 -1 1077944384 23467 13264 0 0 323 7 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955454397040 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23433] ppid=23365 vsize=11080032 memory=790908 CPUtime=0.07 cores=0,2,4,6
/proc/23368/task/23433/stat : 23433 (java) S 23365 23368 19646 0 -1 1077944384 3 13264 0 0 0 0 5 2 20 0 15 0 232920798 11345952768 197727 33554432000 4194304 4196468 140729923681664 139953925253856 139956031575765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
[pid=23368/tid=23434] ppid=23365 vsize=11080032 memory=4168 CPUtime=1.44 cores=0,2,4,6
/proc/23368/task/23434/stat : 23434 (java) S 23365 23368 19646 0 -1 1077944384 1317 13264 0 0 72 65 5 2 20 0 15 0 232920799 11345952768 197727 33554432000 4194304 4196468 140729923681664 139955453344432 139956031576706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27594752 140729923689069 140729923691868 140729923691868 140729923694543 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 790908 KiB

Child status: 143
Real time (s): 2466.73
CPU time (s): 2520.06
CPU user time (s): 2516.36
CPU system time (s): 3.69513
CPU usage (%): 102.162
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 897008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.36
system time used= 3.69513
maximum resident set size= 897008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 308840
involuntary context switches= 9054


# summary of solver processes directly reported to runsolver:
#   pid: 23368
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.36
#   total CPU system time (s): 3.69513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8913 second user time and 19.6214 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 4304811

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