2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8-SuperNG 2018-06-13	SAT (TO)	17	2520.1	2475.04

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

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11563 MiB free)
  memory of node 1: 16384 MiB (9632 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296278-1532621155/watcher-4296278-1532621155 -o /tmp/evaluation-result-4296278-1532621155/solver-4296278-1532621155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532618672-6893 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1809607950 -superng HOME/instance-4296278-1532621155.xml 

running on 4 cores: 1,3,5,7

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=7318, runsolver pid=7315
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 1.18 1.20 1.32 4/206 7404
/proc/meminfo: memFree=21690028/32770624 swapFree=67108860/67108860
[pid=7318] ppid=7315 vsize=9972712 memory=16948 CPUtime=0.1 cores=1,3,5,7
/proc/7318/stat : 7318 (java) S 7315 7318 6861 0 -1 1077944320 4379 13264 0 0 1 1 5 3 20 0 6 0 79678669 10212057088 4237 33554432000 4194304 4196468 140731126803904 140731126786448 140607905115895 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
/proc/7318/statm: 2493178 4237 1934 1 0 2481616 0
[pid=7318/tid=7400] ppid=7315 vsize=9972712 memory=-8744147439808987071 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7400/stat : 7400 (java) R 7315 7318 6861 0 -1 4202560 2230 13264 0 0 0 0 5 3 20 0 6 0 79678678 10212057088 4303 33554432000 4194304 4196468 140731126803904 140607876952656 140607889196412 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7401] ppid=7315 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7401/stat : 7401 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 6 0 79678678 10212057088 4303 33554432000 4194304 4196468 140731126803904 140607909357968 140607905126101 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7402] ppid=7315 vsize=9972712 memory=140256114484864 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7402/stat : 7402 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 6 0 79678678 10212057088 4303 33554432000 4194304 4196468 140731126803904 140607478225168 140607905126101 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7403] ppid=7315 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7403/stat : 7403 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 6 0 79678678 10212057088 4303 33554432000 4194304 4196468 140731126803904 140607477172880 140607905126101 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7404] ppid=7315 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7404/stat : 7404 (java) S 7315 7318 6861 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 6 0 79678678 10212057088 4303 33554432000 4194304 4196468 140731126803904 140607476120080 140607905126101 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16948 KiB

[startup+0.210079 s]*
/proc/loadavg: 1.18 1.20 1.32 4/215 7413
/proc/meminfo: memFree=21650712/32770624 swapFree=67108860/67108860
[pid=7318] ppid=7315 vsize=10821524 memory=44344 CPUtime=0.26 cores=1,3,5,7
/proc/7318/stat : 7318 (java) S 7315 7318 6861 0 -1 1077944320 8798 13264 0 0 16 2 5 3 20 0 15 0 79678669 11081240576 11086 33554432000 4194304 4196468 140731126803904 140731126786448 140607905115895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
/proc/7318/statm: 2705381 11086 2973 1 0 2667804 0
[pid=7318/tid=7400] ppid=7315 vsize=10818936 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/7318/task/7400/stat : 7400 (java) R 7315 7318 6861 0 -1 4202560 6029 13264 0 0 10 2 5 3 20 0 15 0 79678678 11078590464 11005 33554432000 4194304 4196468 140731126803904 140607876940704 140607897795613 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7401] ppid=7315 vsize=10818936 memory=364 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7401/stat : 7401 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678678 11078590464 11071 33554432000 4194304 4196468 140731126803904 140607909357968 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7402] ppid=7315 vsize=10818936 memory=140256114822268 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7402/stat : 7402 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678678 11078590464 11071 33554432000 4194304 4196468 140731126803904 140607478225168 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7403] ppid=7315 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7403/stat : 7403 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678678 11078590464 11071 33554432000 4194304 4196468 140731126803904 140607477172880 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7404] ppid=7315 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7404/stat : 7404 (java) S 7315 7318 6861 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 79678678 11078590464 11137 33554432000 4194304 4196468 140731126803904 140607476120080 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7405] ppid=7315 vsize=10818936 memory=140256114484864 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7405/stat : 7405 (java) S 7315 7318 6861 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 79678680 11078590464 11137 33554432000 4194304 4196468 140731126803904 140607364262512 140607905127042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7406] ppid=7315 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7406/stat : 7406 (java) S 7315 7318 6861 0 -1 1077944384 33 13264 0 0 0 0 5 3 20 0 15 0 79678680 11078590464 11137 33554432000 4194304 4196468 140731126803904 140607363208480 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7407] ppid=7315 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7407/stat : 7407 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678681 11078590464 11137 33554432000 4194304 4196468 140731126803904 140606760281712 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7408] ppid=7315 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7408/stat : 7408 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678683 11078557696 11190 33554432000 4194304 4196468 140731126803904 140606452882000 140607905134491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7409] ppid=7315 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7318/task/7409/stat : 7409 (java) S 7315 7318 6861 0 -1 1077944384 492 13264 0 0 1 0 5 3 20 0 15 0 79678683 11078557696 11190 33554432000 4194304 4196468 140731126803904 140607329650800 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7410] ppid=7315 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/7318/task/7410/stat : 7410 (java) S 7315 7318 6861 0 -1 1077944384 89 13264 0 0 1 0 5 3 20 0 15 0 79678683 11078557696 11190 33554432000 4194304 4196468 140731126803904 140607328598000 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7411] ppid=7315 vsize=10818904 memory=140256114484864 CPUtime=0.11 cores=1,3,5,7
/proc/7318/task/7411/stat : 7411 (java) S 7315 7318 6861 0 -1 1077944384 551 13264 0 0 3 0 5 3 20 0 15 0 79678683 11078557696 11190 33554432000 4194304 4196468 140731126803904 140607327545712 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7412] ppid=7315 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7412/stat : 7412 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678684 11078557696 11190 33554432000 4194304 4196468 140731126803904 140606419323360 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7413] ppid=7315 vsize=10818904 memory=140256114484864 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7413/stat : 7413 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678684 11078557696 11190 33554432000 4194304 4196468 140731126803904 140607326493616 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 44344 KiB

[startup+0.310422 s]*
/proc/loadavg: 1.18 1.20 1.32 3/215 7413
/proc/meminfo: memFree=21630724/32770624 swapFree=67108860/67108860
[pid=7318] ppid=7315 vsize=10819352 memory=52640 CPUtime=0.39 cores=1,3,5,7
/proc/7318/stat : 7318 (java) S 7315 7318 6861 0 -1 1077944320 10756 13264 0 0 28 3 5 3 20 0 15 0 79678669 11079016448 13160 33554432000 4194304 4196468 140731126803904 140731126786448 140607905115895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
/proc/7318/statm: 2704838 13160 3092 1 0 2667149 0
[pid=7318/tid=7400] ppid=7315 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/7318/task/7400/stat : 7400 (java) R 7315 7318 6861 0 -1 4202560 7385 13264 0 0 18 2 5 3 20 0 15 0 79678678 11079016448 13160 33554432000 4194304 4196468 140731126803904 140607876927904 140607884655413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7401] ppid=7315 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7401/stat : 7401 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678678 11079016448 13160 33554432000 4194304 4196468 140731126803904 140607909357968 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7402] ppid=7315 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7402/stat : 7402 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678678 11079016448 13160 33554432000 4194304 4196468 140731126803904 140607478225168 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7403] ppid=7315 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7403/stat : 7403 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678678 11079016448 13160 33554432000 4194304 4196468 140731126803904 140607477172880 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7404] ppid=7315 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7404/stat : 7404 (java) S 7315 7318 6861 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 79678678 11079016448 13160 33554432000 4194304 4196468 140731126803904 140607476120080 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7405] ppid=7315 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7405/stat : 7405 (java) S 7315 7318 6861 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 79678680 11079016448 13160 33554432000 4194304 4196468 140731126803904 140607364262512 140607905127042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7406] ppid=7315 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7406/stat : 7406 (java) S 7315 7318 6861 0 -1 1077944384 33 13264 0 0 0 0 5 3 20 0 15 0 79678680 11079016448 13160 33554432000 4194304 4196468 140731126803904 140607363208480 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7407] ppid=7315 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7407/stat : 7407 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678681 11079016448 13160 33554432000 4194304 4196468 140731126803904 140606760281712 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7408] ppid=7315 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7408/stat : 7408 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678683 11079016448 13160 33554432000 4194304 4196468 140731126803904 140606452882000 140607905134491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7409] ppid=7315 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7318/task/7409/stat : 7409 (java) S 7315 7318 6861 0 -1 1077944384 493 13264 0 0 1 0 5 3 20 0 15 0 79678683 11079016448 13160 33554432000 4194304 4196468 140731126803904 140607329650800 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7410] ppid=7315 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/7318/task/7410/stat : 7410 (java) S 7315 7318 6861 0 -1 1077944384 89 13264 0 0 1 0 5 3 20 0 15 0 79678683 11079016448 13160 33554432000 4194304 4196468 140731126803904 140607328598000 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7411] ppid=7315 vsize=10819352 memory=140256114484864 CPUtime=0.13 cores=1,3,5,7
/proc/7318/task/7411/stat : 7411 (java) R 7315 7318 6861 0 -1 4202560 559 13264 0 0 5 0 5 3 20 0 15 0 79678683 11079016448 13160 33554432000 4194304 4196468 140731126803904 140607327545712 140607897353022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7412] ppid=7315 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7412/stat : 7412 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678684 11079016448 13160 33554432000 4194304 4196468 140731126803904 140606419323360 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7413] ppid=7315 vsize=10819352 memory=140256114484864 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7413/stat : 7413 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678684 11079016448 13160 33554432000 4194304 4196468 140731126803904 140607326493616 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52640 KiB

[startup+0.700709 s]
/proc/loadavg: 1.18 1.20 1.32 3/215 7413
/proc/meminfo: memFree=21611168/32770624 swapFree=67108860/67108860
[pid=7318] ppid=7315 vsize=10819352 memory=84876 CPUtime=0.99 cores=1,3,5,7
/proc/7318/stat : 7318 (java) S 7315 7318 6861 0 -1 1077944320 16799 13264 0 0 86 5 5 3 20 0 15 0 79678669 11079016448 21219 33554432000 4194304 4196468 140731126803904 140731126786448 140607905115895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
/proc/7318/statm: 2704838 21219 3237 1 0 2667149 0
[pid=7318/tid=7400] ppid=7315 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/7318/task/7400/stat : 7400 (java) R 7315 7318 6861 0 -1 4202560 12401 13264 0 0 55 4 5 3 20 0 15 0 79678678 11079016448 21219 33554432000 4194304 4196468 140731126803904 140607876936720 140607886679451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7401] ppid=7315 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7401/stat : 7401 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678678 11079016448 21219 33554432000 4194304 4196468 140731126803904 140607909357968 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7402] ppid=7315 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7402/stat : 7402 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678678 11079016448 21219 33554432000 4194304 4196468 140731126803904 140607478225168 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7403] ppid=7315 vsize=10819352 memory=140255982400304 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7403/stat : 7403 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678678 11079016448 21219 33554432000 4194304 4196468 140731126803904 140607477172880 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7404] ppid=7315 vsize=10819352 memory=140256452018766 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7404/stat : 7404 (java) S 7315 7318 6861 0 -1 1077944384 2 13264 0 0 0 0 5 3 20 0 15 0 79678678 11079016448 21219 33554432000 4194304 4196468 140731126803904 140607476120080 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7405] ppid=7315 vsize=10819352 memory=1424 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7405/stat : 7405 (java) S 7315 7318 6861 0 -1 1077944384 5 13264 0 0 0 0 5 3 20 0 15 0 79678680 11079016448 21219 33554432000 4194304 4196468 140731126803904 140607364262512 140607905127042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7406] ppid=7315 vsize=10819352 memory=7014751519683728977 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7406/stat : 7406 (java) S 7315 7318 6861 0 -1 1077944384 33 13264 0 0 0 0 5 3 20 0 15 0 79678680 11079016448 21219 33554432000 4194304 4196468 140731126803904 140607363208480 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7407] ppid=7315 vsize=10819352 memory=7885635084775281009 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7407/stat : 7407 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678681 11079016448 21219 33554432000 4194304 4196468 140731126803904 140606760281712 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7408] ppid=7315 vsize=10819352 memory=4052 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7408/stat : 7408 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678683 11079016448 21219 33554432000 4194304 4196468 140731126803904 140606452882000 140607905134491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7409] ppid=7315 vsize=10819352 memory=16248 CPUtime=0.17 cores=1,3,5,7
/proc/7318/task/7409/stat : 7409 (java) S 7315 7318 6861 0 -1 1077944384 1071 13264 0 0 9 0 5 3 20 0 15 0 79678683 11079016448 21219 33554432000 4194304 4196468 140731126803904 140607329650800 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7410] ppid=7315 vsize=10819352 memory=14604 CPUtime=0.15 cores=1,3,5,7
/proc/7318/task/7410/stat : 7410 (java) S 7315 7318 6861 0 -1 1077944384 487 13264 0 0 7 0 5 3 20 0 15 0 79678683 11079016448 21219 33554432000 4194304 4196468 140731126803904 140607328598000 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7411] ppid=7315 vsize=10819352 memory=1240 CPUtime=0.2 cores=1,3,5,7
/proc/7318/task/7411/stat : 7411 (java) S 7315 7318 6861 0 -1 1077944384 598 13264 0 0 12 0 5 3 20 0 15 0 79678683 11079016448 21219 33554432000 4194304 4196468 140731126803904 140607327545712 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7412] ppid=7315 vsize=10819352 memory=640 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7412/stat : 7412 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678684 11079016448 21219 33554432000 4194304 4196468 140731126803904 140606419323360 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7413] ppid=7315 vsize=10819352 memory=1792 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7413/stat : 7413 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678684 11079016448 21219 33554432000 4194304 4196468 140731126803904 140607326493616 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84876 KiB

[startup+1.50073 s]
/proc/loadavg: 1.18 1.20 1.32 4/215 7413
/proc/meminfo: memFree=21518568/32770624 swapFree=67108860/67108860
[pid=7318] ppid=7315 vsize=10834252 memory=175604 CPUtime=2.35 cores=1,3,5,7
/proc/7318/stat : 7318 (java) S 7315 7318 6861 0 -1 1077944320 24131 13264 0 0 217 10 5 3 20 0 15 0 79678669 11094274048 43901 33554432000 4194304 4196468 140731126803904 140731126786448 140607905115895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
/proc/7318/statm: 2708563 43901 3469 1 0 2670221 0
[pid=7318/tid=7400] ppid=7315 vsize=10834252 memory=61428 CPUtime=1.43 cores=1,3,5,7
/proc/7318/task/7400/stat : 7400 (java) R 7315 7318 6861 0 -1 4202560 17873 13264 0 0 129 6 5 3 20 0 15 0 79678678 11094274048 43901 33554432000 4194304 4196468 140731126803904 140607876947280 140607889196382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7401] ppid=7315 vsize=10834252 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/7318/task/7401/stat : 7401 (java) S 7315 7318 6861 0 -1 1077944384 64 13264 0 0 1 0 5 3 20 0 15 0 79678678 11094274048 43901 33554432000 4194304 4196468 140731126803904 140607909357968 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7402] ppid=7315 vsize=10834252 memory=280511964831904 CPUtime=0.09 cores=1,3,5,7
/proc/7318/task/7402/stat : 7402 (java) S 7315 7318 6861 0 -1 1077944384 209 13264 0 0 1 0 5 3 20 0 15 0 79678678 11094274048 43901 33554432000 4194304 4196468 140731126803904 140607478225168 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7403] ppid=7315 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7318/task/7403/stat : 7403 (java) S 7315 7318 6861 0 -1 1077944384 21 13264 0 0 1 0 5 3 20 0 15 0 79678678 11094274048 43901 33554432000 4194304 4196468 140731126803904 140607477172880 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7404] ppid=7315 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7318/task/7404/stat : 7404 (java) S 7315 7318 6861 0 -1 1077944384 27 13264 0 0 1 0 5 3 20 0 15 0 79678678 11094274048 43901 33554432000 4194304 4196468 140731126803904 140607476120080 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7405] ppid=7315 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7318/task/7405/stat : 7405 (java) S 7315 7318 6861 0 -1 1077944384 52 13264 0 0 1 0 5 3 20 0 15 0 79678680 11094274048 43901 33554432000 4194304 4196468 140731126803904 140607364262512 140607905127042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7406] ppid=7315 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7406/stat : 7406 (java) S 7315 7318 6861 0 -1 1077944384 34 13264 0 0 0 0 5 3 20 0 15 0 79678680 11094274048 43901 33554432000 4194304 4196468 140731126803904 140607363208544 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7407] ppid=7315 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7407/stat : 7407 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678681 11094274048 43901 33554432000 4194304 4196468 140731126803904 140606760281728 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7408] ppid=7315 vsize=10834252 memory=-5921431000321636112 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7408/stat : 7408 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678683 11094274048 43901 33554432000 4194304 4196468 140731126803904 140606452882000 140607905134491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7409] ppid=7315 vsize=10834252 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/7318/task/7409/stat : 7409 (java) S 7315 7318 6861 0 -1 1077944384 1535 13264 0 0 23 0 5 3 20 0 15 0 79678683 11094274048 43901 33554432000 4194304 4196468 140731126803904 140607329650800 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7410] ppid=7315 vsize=10834252 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/7318/task/7410/stat : 7410 (java) S 7315 7318 6861 0 -1 1077944384 944 13264 0 0 22 0 5 3 20 0 15 0 79678683 11094274048 43901 33554432000 4194304 4196468 140731126803904 140607328598000 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7411] ppid=7315 vsize=10834252 memory=8112282956445269571 CPUtime=0.42 cores=1,3,5,7
/proc/7318/task/7411/stat : 7411 (java) S 7315 7318 6861 0 -1 1077944384 1174 13264 0 0 34 0 5 3 20 0 15 0 79678683 11094274048 43901 33554432000 4194304 4196468 140731126803904 140607327545712 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7412] ppid=7315 vsize=10834252 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7412/stat : 7412 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678684 11094274048 43901 33554432000 4194304 4196468 140731126803904 140606419323360 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7413] ppid=7315 vsize=10834252 memory=280511965076352 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7413/stat : 7413 (java) S 7315 7318 6861 0 -1 1077944384 1 13264 0 0 0 0 5 3 20 0 15 0 79678684 11094274048 43901 33554432000 4194304 4196468 140731126803904 140607326493616 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 10834252 KiB

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

/proc/7318/task/7400/stat : 7400 (java) R 7315 7318 6861 0 -1 4202560 99267 13264 0 0 230541 43 5 3 20 0 15 0 79678678 11178180608 242746 33554432000 4194304 4196468 140731126803904 140607876950336 140607525579646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7401] ppid=7315 vsize=10916192 memory=0 CPUtime=8.08 cores=1,3,5,7
/proc/7318/task/7401/stat : 7401 (java) S 7315 7318 6861 0 -1 1077944384 17119 13264 0 0 764 36 5 3 20 0 15 0 79678678 11178180608 242746 33554432000 4194304 4196468 140731126803904 140607909357968 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7402] ppid=7315 vsize=10916192 memory=970984 CPUtime=8.11 cores=1,3,5,7
/proc/7318/task/7402/stat : 7402 (java) S 7315 7318 6861 0 -1 1077944384 15385 13264 0 0 767 36 5 3 20 0 15 0 79678678 11178180608 242746 33554432000 4194304 4196468 140731126803904 140607478225168 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7403] ppid=7315 vsize=10916192 memory=970984 CPUtime=8.09 cores=1,3,5,7
/proc/7318/task/7403/stat : 7403 (java) S 7315 7318 6861 0 -1 1077944384 15767 13264 0 0 762 39 5 3 20 0 15 0 79678678 11178180608 242746 33554432000 4194304 4196468 140731126803904 140607477172880 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7404] ppid=7315 vsize=10916192 memory=970984 CPUtime=8.08 cores=1,3,5,7
/proc/7318/task/7404/stat : 7404 (java) S 7315 7318 6861 0 -1 1077944384 14775 13264 0 0 763 37 5 3 20 0 15 0 79678678 11178180608 242746 33554432000 4194304 4196468 140731126803904 140607476120080 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7405] ppid=7315 vsize=10916192 memory=970984 CPUtime=6.47 cores=1,3,5,7
/proc/7318/task/7405/stat : 7405 (java) S 7315 7318 6861 0 -1 1077944384 15092 13264 0 0 605 34 5 3 20 0 15 0 79678680 11178180608 242746 33554432000 4194304 4196468 140731126803904 140607364262512 140607905127042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7406] ppid=7315 vsize=10916192 memory=970984 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7406/stat : 7406 (java) S 7315 7318 6861 0 -1 1077944384 51 13264 0 0 0 0 5 3 20 0 15 0 79678680 11178180608 242746 33554432000 4194304 4196468 140731126803904 140607363208544 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7407] ppid=7315 vsize=10916192 memory=2324 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7407/stat : 7407 (java) S 7315 7318 6861 0 -1 1077944384 11 13264 0 0 0 0 5 3 20 0 15 0 79678681 11178180608 242746 33554432000 4194304 4196468 140731126803904 140606760281728 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7408] ppid=7315 vsize=10916192 memory=1840 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7408/stat : 7408 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678683 11178180608 242746 33554432000 4194304 4196468 140731126803904 140606452882000 140607905134491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7409] ppid=7315 vsize=10916192 memory=8112282956445269571 CPUtime=8.51 cores=1,3,5,7
/proc/7318/task/7409/stat : 7409 (java) S 7315 7318 6861 0 -1 1077944384 31757 13264 0 0 836 7 5 3 20 0 15 0 79678683 11178180608 242746 33554432000 4194304 4196468 140731126803904 140607329650800 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7410] ppid=7315 vsize=10916192 memory=970984 CPUtime=8.26 cores=1,3,5,7
/proc/7318/task/7410/stat : 7410 (java) S 7315 7318 6861 0 -1 1077944384 23661 13264 0 0 813 5 5 3 20 0 15 0 79678683 11178180608 242746 33554432000 4194304 4196468 140731126803904 140607328598000 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7411] ppid=7315 vsize=10916192 memory=288230574492221466 CPUtime=3.52 cores=1,3,5,7
/proc/7318/task/7411/stat : 7411 (java) S 7315 7318 6861 0 -1 1077944384 25938 13264 0 0 338 6 5 3 20 0 15 0 79678683 11178180608 242746 33554432000 4194304 4196468 140731126803904 140607327545712 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7412] ppid=7315 vsize=10916192 memory=288230583166042426 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7412/stat : 7412 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678684 11178180608 242746 33554432000 4194304 4196468 140731126803904 140606419323360 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7413] ppid=7315 vsize=10916192 memory=13564894834330169 CPUtime=1.23 cores=1,3,5,7
/proc/7318/task/7413/stat : 7413 (java) S 7315 7318 6861 0 -1 1077944384 970 13264 0 0 53 62 5 3 20 0 15 0 79678684 11178180608 242746 33554432000 4194304 4196468 140731126803904 140607326493616 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
Current children cumulated CPU time: 2365.66 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 970984 KiB

[startup+2382.3 s]
/proc/loadavg: 1.35 1.42 1.42 3/215 7485
/proc/meminfo: memFree=19959272/32770624 swapFree=67108860/67108860
[pid=7318] ppid=7315 vsize=10916192 memory=971028 CPUtime=2426.35 cores=1,3,5,7
/proc/7318/stat : 7318 (java) S 7315 7318 6861 0 -1 1077944320 263358 13264 0 0 242350 277 5 3 20 0 15 0 79678669 11178180608 242757 33554432000 4194304 4196468 140731126803904 140731126786448 140607905115895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
/proc/7318/statm: 2729048 242757 3533 1 0 2690701 0
[pid=7318/tid=7400] ppid=7315 vsize=10916192 memory=971028 CPUtime=2365.45 cores=1,3,5,7
/proc/7318/task/7400/stat : 7400 (java) R 7315 7318 6861 0 -1 4202560 99858 13264 0 0 236493 44 5 3 20 0 15 0 79678678 11178180608 242757 33554432000 4194304 4196468 140731126803904 140607876950672 140607528054993 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7401] ppid=7315 vsize=10916192 memory=971028 CPUtime=8.32 cores=1,3,5,7
/proc/7318/task/7401/stat : 7401 (java) S 7315 7318 6861 0 -1 1077944384 17458 13264 0 0 787 37 5 3 20 0 15 0 79678678 11178180608 242757 33554432000 4194304 4196468 140731126803904 140607909357968 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7402] ppid=7315 vsize=10916192 memory=971028 CPUtime=8.35 cores=1,3,5,7
/proc/7318/task/7402/stat : 7402 (java) S 7315 7318 6861 0 -1 1077944384 15467 13264 0 0 790 37 5 3 20 0 15 0 79678678 11178180608 242757 33554432000 4194304 4196468 140731126803904 140607478225168 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7403] ppid=7315 vsize=10916192 memory=971028 CPUtime=8.32 cores=1,3,5,7
/proc/7318/task/7403/stat : 7403 (java) S 7315 7318 6861 0 -1 1077944384 15838 13264 0 0 785 39 5 3 20 0 15 0 79678678 11178180608 242757 33554432000 4194304 4196468 140731126803904 140607477172880 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7404] ppid=7315 vsize=10916192 memory=971028 CPUtime=8.32 cores=1,3,5,7
/proc/7318/task/7404/stat : 7404 (java) S 7315 7318 6861 0 -1 1077944384 14836 13264 0 0 786 38 5 3 20 0 15 0 79678678 11178180608 242757 33554432000 4194304 4196468 140731126803904 140607476120080 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7405] ppid=7315 vsize=10916192 memory=971028 CPUtime=6.65 cores=1,3,5,7
/proc/7318/task/7405/stat : 7405 (java) S 7315 7318 6861 0 -1 1077944384 15293 13264 0 0 622 35 5 3 20 0 15 0 79678680 11178180608 242757 33554432000 4194304 4196468 140731126803904 140607364262512 140607905127042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7406] ppid=7315 vsize=10916192 memory=971028 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7406/stat : 7406 (java) S 7315 7318 6861 0 -1 1077944384 51 13264 0 0 0 0 5 3 20 0 15 0 79678680 11178180608 242757 33554432000 4194304 4196468 140731126803904 140607363208544 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7407] ppid=7315 vsize=10916192 memory=971028 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7407/stat : 7407 (java) S 7315 7318 6861 0 -1 1077944384 11 13264 0 0 0 0 5 3 20 0 15 0 79678681 11178180608 242757 33554432000 4194304 4196468 140731126803904 140606760281728 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7408] ppid=7315 vsize=10916192 memory=971028 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7408/stat : 7408 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678683 11178180608 242757 33554432000 4194304 4196468 140731126803904 140606452882000 140607905134491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7409] ppid=7315 vsize=10916192 memory=970984 CPUtime=8.51 cores=1,3,5,7
/proc/7318/task/7409/stat : 7409 (java) S 7315 7318 6861 0 -1 1077944384 31759 13264 0 0 836 7 5 3 20 0 15 0 79678683 11178180608 242757 33554432000 4194304 4196468 140731126803904 140607329650800 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7410] ppid=7315 vsize=10916192 memory=970984 CPUtime=8.26 cores=1,3,5,7
/proc/7318/task/7410/stat : 7410 (java) S 7315 7318 6861 0 -1 1077944384 23663 13264 0 0 813 5 5 3 20 0 15 0 79678683 11178180608 242757 33554432000 4194304 4196468 140731126803904 140607328598000 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7411] ppid=7315 vsize=10916192 memory=1568 CPUtime=3.52 cores=1,3,5,7
/proc/7318/task/7411/stat : 7411 (java) S 7315 7318 6861 0 -1 1077944384 25940 13264 0 0 338 6 5 3 20 0 15 0 79678683 11178180608 242757 33554432000 4194304 4196468 140731126803904 140607327545712 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7412] ppid=7315 vsize=10916192 memory=2240 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7412/stat : 7412 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678684 11178180608 242757 33554432000 4194304 4196468 140731126803904 140606419323360 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7413] ppid=7315 vsize=10916192 memory=8112282956445269571 CPUtime=1.25 cores=1,3,5,7
/proc/7318/task/7413/stat : 7413 (java) S 7315 7318 6861 0 -1 1077944384 987 13264 0 0 53 64 5 3 20 0 15 0 79678684 11178180608 242757 33554432000 4194304 4196468 140731126803904 140607326493616 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
Current children cumulated CPU time: 2426.35 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 971028 KiB

[startup+2442.3 s]
/proc/loadavg: 1.33 1.41 1.41 4/215 7486
/proc/meminfo: memFree=19962172/32770624 swapFree=67108860/67108860
[pid=7318] ppid=7315 vsize=10916192 memory=966988 CPUtime=2487.02 cores=1,3,5,7
/proc/7318/stat : 7318 (java) S 7315 7318 6861 0 -1 1077944320 265698 13264 0 0 248413 281 5 3 20 0 15 0 79678669 11178180608 241747 33554432000 4194304 4196468 140731126803904 140731126786448 140607905115895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
/proc/7318/statm: 2729048 241747 3533 1 0 2690701 0
[pid=7318/tid=7400] ppid=7315 vsize=10916192 memory=967500 CPUtime=2424.96 cores=1,3,5,7
/proc/7318/task/7400/stat : 7400 (java) R 7315 7318 6861 0 -1 4202560 100803 13264 0 0 242444 44 5 3 20 0 15 0 79678678 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607876950704 140607528054993 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7401] ppid=7315 vsize=10916192 memory=971028 CPUtime=8.56 cores=1,3,5,7
/proc/7318/task/7401/stat : 7401 (java) S 7315 7318 6861 0 -1 1077944384 17633 13264 0 0 810 38 5 3 20 0 15 0 79678678 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607909357968 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7402] ppid=7315 vsize=10916192 memory=971040 CPUtime=8.6 cores=1,3,5,7
/proc/7318/task/7402/stat : 7402 (java) S 7315 7318 6861 0 -1 1077944384 15569 13264 0 0 814 38 5 3 20 0 15 0 79678678 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607478225168 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7403] ppid=7315 vsize=10916192 memory=973144 CPUtime=8.56 cores=1,3,5,7
/proc/7318/task/7403/stat : 7403 (java) S 7315 7318 6861 0 -1 1077944384 16285 13264 0 0 808 40 5 3 20 0 15 0 79678678 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607477172880 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7404] ppid=7315 vsize=10916192 memory=973104 CPUtime=8.56 cores=1,3,5,7
/proc/7318/task/7404/stat : 7404 (java) S 7315 7318 6861 0 -1 1077944384 15001 13264 0 0 810 38 5 3 20 0 15 0 79678678 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607476120080 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7405] ppid=7315 vsize=10916192 memory=966988 CPUtime=6.84 cores=1,3,5,7
/proc/7318/task/7405/stat : 7405 (java) S 7315 7318 6861 0 -1 1077944384 15515 13264 0 0 640 36 5 3 20 0 15 0 79678680 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607364262512 140607905127042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7406] ppid=7315 vsize=10916192 memory=971056 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7406/stat : 7406 (java) S 7315 7318 6861 0 -1 1077944384 51 13264 0 0 0 0 5 3 20 0 15 0 79678680 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607363208544 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7407] ppid=7315 vsize=10916192 memory=970068 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7407/stat : 7407 (java) S 7315 7318 6861 0 -1 1077944384 11 13264 0 0 0 0 5 3 20 0 15 0 79678681 11178180608 241747 33554432000 4194304 4196468 140731126803904 140606760281728 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7408] ppid=7315 vsize=10916192 memory=971092 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7408/stat : 7408 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678683 11178180608 241747 33554432000 4194304 4196468 140731126803904 140606452882000 140607905134491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7409] ppid=7315 vsize=10916192 memory=966988 CPUtime=8.51 cores=1,3,5,7
/proc/7318/task/7409/stat : 7409 (java) S 7315 7318 6861 0 -1 1077944384 31761 13264 0 0 836 7 5 3 20 0 15 0 79678683 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607329650800 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7410] ppid=7315 vsize=10916192 memory=966988 CPUtime=8.26 cores=1,3,5,7
/proc/7318/task/7410/stat : 7410 (java) S 7315 7318 6861 0 -1 1077944384 23665 13264 0 0 813 5 5 3 20 0 15 0 79678683 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607328598000 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7411] ppid=7315 vsize=10916192 memory=973104 CPUtime=3.53 cores=1,3,5,7
/proc/7318/task/7411/stat : 7411 (java) S 7315 7318 6861 0 -1 1077944384 26203 13264 0 0 339 6 5 3 20 0 15 0 79678683 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607327545712 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7412] ppid=7315 vsize=10916192 memory=4592 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7412/stat : 7412 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678684 11178180608 241747 33554432000 4194304 4196468 140731126803904 140606419323360 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7413] ppid=7315 vsize=10916192 memory=973144 CPUtime=1.28 cores=1,3,5,7
/proc/7318/task/7413/stat : 7413 (java) S 7315 7318 6861 0 -1 1077944384 1004 13264 0 0 55 65 5 3 20 0 15 0 79678684 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607326493616 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
Current children cumulated CPU time: 2487.02 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 966988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2475 s]*
/proc/loadavg: 1.30 1.40 1.41 4/215 7487
/proc/meminfo: memFree=19961884/32770624 swapFree=67108860/67108860
[pid=7318] ppid=7315 vsize=10916192 memory=966988 CPUtime=2520.06 cores=1,3,5,7
/proc/7318/stat : 7318 (java) S 7315 7318 6861 0 -1 1077944320 266076 13264 0 0 251714 284 5 3 20 0 15 0 79678669 11178180608 241747 33554432000 4194304 4196468 140731126803904 140731126786448 140607905115895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
/proc/7318/statm: 2729048 241747 3533 1 0 2690701 0
[pid=7318/tid=7400] ppid=7315 vsize=10916192 memory=-6733704525061579059 CPUtime=2457.44 cores=1,3,5,7
/proc/7318/task/7400/stat : 7400 (java) R 7315 7318 6861 0 -1 4202560 101165 13264 0 0 245692 44 5 3 20 0 15 0 79678678 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607876950656 140607528056485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7401] ppid=7315 vsize=10916192 memory=4126316290023845779 CPUtime=8.67 cores=1,3,5,7
/proc/7318/task/7401/stat : 7401 (java) S 7315 7318 6861 0 -1 1077944384 17633 13264 0 0 821 38 5 3 20 0 15 0 79678678 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607909357968 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7402] ppid=7315 vsize=10916192 memory=7522534624021665376 CPUtime=8.7 cores=1,3,5,7
/proc/7318/task/7402/stat : 7402 (java) S 7315 7318 6861 0 -1 1077944384 15571 13264 0 0 824 38 5 3 20 0 15 0 79678678 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607478225168 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7403] ppid=7315 vsize=10916192 memory=7012478927933763684 CPUtime=8.66 cores=1,3,5,7
/proc/7318/task/7403/stat : 7403 (java) S 7315 7318 6861 0 -1 1077944384 16291 13264 0 0 818 40 5 3 20 0 15 0 79678678 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607477172880 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7404] ppid=7315 vsize=10916192 memory=7667167690614138738 CPUtime=8.67 cores=1,3,5,7
/proc/7318/task/7404/stat : 7404 (java) S 7315 7318 6861 0 -1 1077944384 15003 13264 0 0 820 39 5 3 20 0 15 0 79678678 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607476120080 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7405] ppid=7315 vsize=10916192 memory=8099001999198279017 CPUtime=6.92 cores=1,3,5,7
/proc/7318/task/7405/stat : 7405 (java) S 7315 7318 6861 0 -1 1077944384 15517 13264 0 0 648 36 5 3 20 0 15 0 79678680 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607364262512 140607905127042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7406] ppid=7315 vsize=10916192 memory=7301274440227581796 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7406/stat : 7406 (java) S 7315 7318 6861 0 -1 1077944384 51 13264 0 0 0 0 5 3 20 0 15 0 79678680 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607363208544 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7407] ppid=7315 vsize=10916192 memory=7234822126386571122 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7407/stat : 7407 (java) S 7315 7318 6861 0 -1 1077944384 11 13264 0 0 0 0 5 3 20 0 15 0 79678681 11178180608 241747 33554432000 4194304 4196468 140731126803904 140606760281728 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7408] ppid=7315 vsize=10916192 memory=8514701219781441950 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7408/stat : 7408 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678683 11178180608 241747 33554432000 4194304 4196468 140731126803904 140606452882000 140607905134491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7409] ppid=7315 vsize=10916192 memory=7234822126386571122 CPUtime=8.51 cores=1,3,5,7
/proc/7318/task/7409/stat : 7409 (java) S 7315 7318 6861 0 -1 1077944384 31761 13264 0 0 836 7 5 3 20 0 15 0 79678683 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607329650800 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7410] ppid=7315 vsize=10916192 memory=7234822126386571122 CPUtime=8.26 cores=1,3,5,7
/proc/7318/task/7410/stat : 7410 (java) S 7315 7318 6861 0 -1 1077944384 23665 13264 0 0 813 5 5 3 20 0 15 0 79678683 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607328598000 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7411] ppid=7315 vsize=10916192 memory=5937550163968093287 CPUtime=3.53 cores=1,3,5,7
/proc/7318/task/7411/stat : 7411 (java) S 7315 7318 6861 0 -1 1077944384 26203 13264 0 0 339 6 5 3 20 0 15 0 79678683 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607327545712 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7412] ppid=7315 vsize=10916192 memory=7092436500316710720 CPUtime=0.08 cores=1,3,5,7
/proc/7318/task/7412/stat : 7412 (java) S 7315 7318 6861 0 -1 1077944384 3 13264 0 0 0 0 5 3 20 0 15 0 79678684 11178180608 241747 33554432000 4194304 4196468 140731126803904 140606419323360 140607905126101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
[pid=7318/tid=7413] ppid=7315 vsize=10916192 memory=7092436500316710720 CPUtime=1.3 cores=1,3,5,7
/proc/7318/task/7413/stat : 7413 (java) S 7315 7318 6861 0 -1 1077944384 1008 13264 0 0 56 66 5 3 20 0 15 0 79678684 11178180608 241747 33554432000 4194304 4196468 140731126803904 140607326493616 140607905127042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12873728 140731126810795 140731126814044 140731126814044 140731126816719 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 966988 KiB

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

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

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

Child status: 143
Real time (s): 2475.04
CPU time (s): 2520.1
CPU user time (s): 2517.21
CPU system time (s): 2.88525
CPU usage (%): 101.821
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 1312928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.21
system time used= 2.88525
maximum resident set size= 1315972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280203
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 193177
involuntary context switches= 5148


# summary of solver processes directly reported to runsolver:
#   pid: 7318
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2517.21
#   total CPU system time (s): 2.88525

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5546 second user time and 20.8741 second system time

The end

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

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