2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	17	252.05	231.747

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302527-1532899061/watcher-4302527-1532899061 -o /tmp/evaluation-result-4302527-1532899061/solver-4302527-1532899061 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532895551-13369 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=94681092 HOME/instance-4302527-1532899061.xml 

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

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

solver pid=18854, runsolver pid=18851

[startup+0.100196 s]*
/proc/loadavg: 2.31 1.90 1.74 3/206 18911
/proc/meminfo: memFree=23617696/32770624 swapFree=67108688/67108860
[pid=18854] ppid=18851 vsize=10005480 memory=18596 CPUtime=0.09 cores=1,3,5,7
/proc/18854/stat : 18854 (java) S 18851 18854 6529 0 -1 1077944320 4299 13267 0 0 1 0 5 3 20 0 6 0 107468968 10245611520 4649 33554432000 4194304 4196468 140725644766128 140725644748672 140305911934711 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
/proc/18854/statm: 2501370 4649 1933 1 0 2489808 0
[pid=18854/tid=18907] ppid=18851 vsize=10005480 memory=4279135704014094991 CPUtime=0.09 cores=1,3,5,7
/proc/18854/task/18907/stat : 18907 (java) R 18851 18854 6529 0 -1 4202560 2105 13267 0 0 1 0 5 3 20 0 6 0 107468977 10245611520 4649 33554432000 4194304 4196468 140725644766128 140305883771472 140305911956637 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18908] ppid=18851 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18908/stat : 18908 (java) S 18851 18854 6529 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 6 0 107468978 10245611520 4649 33554432000 4194304 4196468 140725644766128 140305916176784 140305911944917 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18909] ppid=18851 vsize=10005480 memory=139771687712384 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18909/stat : 18909 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 6 0 107468978 10245611520 4649 33554432000 4194304 4196468 140725644766128 140305781512464 140305911944917 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18910] ppid=18851 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18910/stat : 18910 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 6 0 107468978 10245611520 4649 33554432000 4194304 4196468 140725644766128 140305780460176 140305911944917 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18911] ppid=18851 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18911/stat : 18911 (java) S 18851 18854 6529 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 6 0 107468978 10245611520 4649 33554432000 4194304 4196468 140725644766128 140305779407376 140305911944917 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18596 KiB

[startup+0.209876 s]*
/proc/loadavg: 2.31 1.90 1.74 3/215 18920
/proc/meminfo: memFree=23593936/32770624 swapFree=67108688/67108860
[pid=18854] ppid=18851 vsize=10982744 memory=44616 CPUtime=0.26 cores=1,3,5,7
/proc/18854/stat : 18854 (java) S 18851 18854 6529 0 -1 1077944320 7906 13267 0 0 17 1 5 3 20 0 15 0 107468968 11246329856 11154 33554432000 4194304 4196468 140725644766128 140725644748672 140305911934711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
/proc/18854/statm: 2745686 11154 2957 1 0 2708109 0
[pid=18854/tid=18907] ppid=18851 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/18854/task/18907/stat : 18907 (java) D 18851 18854 6529 0 -1 1077944384 4449 13267 0 0 11 0 5 3 20 0 15 0 107468977 11246329856 11154 33554432000 4194304 4196468 140725644766128 140305883759520 140305904613933 0 4 0 16800975 18446744072101572132 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18908] ppid=18851 vsize=10982744 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18908/stat : 18908 (java) S 18851 18854 6529 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246329856 11154 33554432000 4194304 4196468 140725644766128 140305916176784 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18909] ppid=18851 vsize=10982744 memory=288370147839424128 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18909/stat : 18909 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246329856 11154 33554432000 4194304 4196468 140725644766128 140305781512464 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18910] ppid=18851 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18910/stat : 18910 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246329856 11154 33554432000 4194304 4196468 140725644766128 140305780460176 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18911] ppid=18851 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18911/stat : 18911 (java) S 18851 18854 6529 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246362624 11154 33554432000 4194304 4196468 140725644766128 140305779407376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18912] ppid=18851 vsize=10982776 memory=139771687712384 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18912/stat : 18912 (java) S 18851 18854 6529 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 107468979 11246362624 11154 33554432000 4194304 4196468 140725644766128 140304881810032 140305911945858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18913] ppid=18851 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18913/stat : 18913 (java) S 18851 18854 6529 0 -1 1077944384 13 13267 0 0 0 0 5 3 20 0 15 0 107468980 11247345664 11220 33554432000 4194304 4196468 140725644766128 140304770393376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18914] ppid=18851 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18914/stat : 18914 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468980 11247345664 11220 33554432000 4194304 4196468 140725644766128 140304569067120 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18915] ppid=18851 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18915/stat : 18915 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468982 11247345664 11220 33554432000 4194304 4196468 140725644766128 140304261667408 140305911953307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18916] ppid=18851 vsize=10983736 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18854/task/18916/stat : 18916 (java) S 18851 18854 6529 0 -1 1077944384 417 13267 0 0 1 0 5 3 20 0 15 0 107468982 11247345664 11220 33554432000 4194304 4196468 140725644766128 140304880756848 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18917] ppid=18851 vsize=10983736 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/18854/task/18917/stat : 18917 (java) S 18851 18854 6529 0 -1 1077944384 191 13267 0 0 1 0 5 3 20 0 15 0 107468982 11247345664 11220 33554432000 4194304 4196468 140725644766128 140304879704048 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18918] ppid=18851 vsize=10983736 memory=139771687712384 CPUtime=0.11 cores=1,3,5,7
/proc/18854/task/18918/stat : 18918 (java) S 18851 18854 6529 0 -1 1077944384 631 13267 0 0 3 0 5 3 20 0 15 0 107468982 11247345664 11286 33554432000 4194304 4196468 140725644766128 140304878651760 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18919] ppid=18851 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18919/stat : 18919 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468983 11247345664 11286 33554432000 4194304 4196468 140725644766128 140303830870496 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18920] ppid=18851 vsize=10983736 memory=139771687712384 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18920/stat : 18920 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468983 11247345664 11286 33554432000 4194304 4196468 140725644766128 140304877599664 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44616 KiB

[startup+0.310235 s]*
/proc/loadavg: 2.13 1.87 1.73 3/215 18920
/proc/meminfo: memFree=23581532/32770624 swapFree=67108688/67108860
[pid=18854] ppid=18851 vsize=10983192 memory=55320 CPUtime=0.39 cores=1,3,5,7
/proc/18854/stat : 18854 (java) S 18851 18854 6529 0 -1 1077944320 10434 13267 0 0 29 2 5 3 20 0 15 0 107468968 11246788608 13830 33554432000 4194304 4196468 140725644766128 140725644748672 140305911934711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
/proc/18854/statm: 2745798 13830 3076 1 0 2708109 0
[pid=18854/tid=18907] ppid=18851 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18854/task/18907/stat : 18907 (java) R 18851 18854 6529 0 -1 4202560 6959 13267 0 0 20 1 5 3 20 0 15 0 107468977 11246788608 13830 33554432000 4194304 4196468 140725644766128 140305883746720 140305896015198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18908] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18908/stat : 18908 (java) S 18851 18854 6529 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246788608 13830 33554432000 4194304 4196468 140725644766128 140305916176784 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18909] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18909/stat : 18909 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246788608 13830 33554432000 4194304 4196468 140725644766128 140305781512464 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18910] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18910/stat : 18910 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246788608 13830 33554432000 4194304 4196468 140725644766128 140305780460176 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18911] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18911/stat : 18911 (java) S 18851 18854 6529 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246788608 13830 33554432000 4194304 4196468 140725644766128 140305779407376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18912] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18912/stat : 18912 (java) S 18851 18854 6529 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 107468979 11246788608 13830 33554432000 4194304 4196468 140725644766128 140304881810032 140305911945858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18913] ppid=18851 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18913/stat : 18913 (java) S 18851 18854 6529 0 -1 1077944384 13 13267 0 0 0 0 5 3 20 0 15 0 107468980 11246788608 13830 33554432000 4194304 4196468 140725644766128 140304770393376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18914] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18914/stat : 18914 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468980 11246788608 13830 33554432000 4194304 4196468 140725644766128 140304569067120 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18915] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18915/stat : 18915 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468982 11246788608 13830 33554432000 4194304 4196468 140725644766128 140304261667408 140305911953307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18916] ppid=18851 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18854/task/18916/stat : 18916 (java) S 18851 18854 6529 0 -1 1077944384 419 13267 0 0 1 0 5 3 20 0 15 0 107468982 11246788608 13830 33554432000 4194304 4196468 140725644766128 140304880756848 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18917] ppid=18851 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/18854/task/18917/stat : 18917 (java) S 18851 18854 6529 0 -1 1077944384 191 13267 0 0 1 0 5 3 20 0 15 0 107468982 11246788608 13830 33554432000 4194304 4196468 140725644766128 140304879704048 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18918] ppid=18851 vsize=10983192 memory=139771687712384 CPUtime=0.13 cores=1,3,5,7
/proc/18854/task/18918/stat : 18918 (java) R 18851 18854 6529 0 -1 4202560 647 13267 0 0 5 0 5 3 20 0 15 0 107468982 11246788608 13830 33554432000 4194304 4196468 140725644766128 140304878651760 140305890539341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18919] ppid=18851 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18919/stat : 18919 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468983 11246788608 13830 33554432000 4194304 4196468 140725644766128 140303830870496 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18920] ppid=18851 vsize=10983192 memory=139771687712384 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18920/stat : 18920 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468983 11246788608 13830 33554432000 4194304 4196468 140725644766128 140304877599664 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55320 KiB

[startup+0.700691 s]
/proc/loadavg: 2.13 1.87 1.73 4/215 18920
/proc/meminfo: memFree=23571360/32770624 swapFree=67108688/67108860
[pid=18854] ppid=18851 vsize=10983192 memory=88624 CPUtime=0.99 cores=1,3,5,7
/proc/18854/stat : 18854 (java) S 18851 18854 6529 0 -1 1077944320 16751 13267 0 0 88 3 5 3 20 0 15 0 107468968 11246788608 22156 33554432000 4194304 4196468 140725644766128 140725644748672 140305911934711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
/proc/18854/statm: 2745798 22156 3238 1 0 2708109 0
[pid=18854/tid=18907] ppid=18851 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18854/task/18907/stat : 18907 (java) R 18851 18854 6529 0 -1 4202560 12182 13267 0 0 56 2 5 3 20 0 15 0 107468977 11246788608 22156 33554432000 4194304 4196468 140725644766128 140305883755536 140305896015198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18908] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18908/stat : 18908 (java) S 18851 18854 6529 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246788608 22156 33554432000 4194304 4196468 140725644766128 140305916176784 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18909] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18909/stat : 18909 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246788608 22156 33554432000 4194304 4196468 140725644766128 140305781512464 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18910] ppid=18851 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18910/stat : 18910 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246788608 22156 33554432000 4194304 4196468 140725644766128 140305780460176 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18911] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18911/stat : 18911 (java) S 18851 18854 6529 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 107468978 11246788608 22156 33554432000 4194304 4196468 140725644766128 140305779407376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18912] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18912/stat : 18912 (java) S 18851 18854 6529 0 -1 1077944384 5 13267 0 0 0 0 5 3 20 0 15 0 107468979 11246788608 22156 33554432000 4194304 4196468 140725644766128 140304881810032 140305911945858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18913] ppid=18851 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18913/stat : 18913 (java) S 18851 18854 6529 0 -1 1077944384 13 13267 0 0 0 0 5 3 20 0 15 0 107468980 11246788608 22156 33554432000 4194304 4196468 140725644766128 140304770393376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18914] ppid=18851 vsize=10983192 memory=139771590619920 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18914/stat : 18914 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468980 11246788608 22156 33554432000 4194304 4196468 140725644766128 140304569067120 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18915] ppid=18851 vsize=10983192 memory=139775415681617 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18915/stat : 18915 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468982 11246788608 22156 33554432000 4194304 4196468 140725644766128 140304261667408 140305911953307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18916] ppid=18851 vsize=10983192 memory=14076 CPUtime=0.16 cores=1,3,5,7
/proc/18854/task/18916/stat : 18916 (java) S 18851 18854 6529 0 -1 1077944384 842 13267 0 0 8 0 5 3 20 0 15 0 107468982 11246788608 22156 33554432000 4194304 4196468 140725644766128 140304880756848 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18917] ppid=18851 vsize=10983192 memory=4639098309541127269 CPUtime=0.17 cores=1,3,5,7
/proc/18854/task/18917/stat : 18917 (java) S 18851 18854 6529 0 -1 1077944384 755 13267 0 0 9 0 5 3 20 0 15 0 107468982 11246788608 22156 33554432000 4194304 4196468 140725644766128 140304879704048 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18918] ppid=18851 vsize=10983192 memory=7885635084775281009 CPUtime=0.21 cores=1,3,5,7
/proc/18854/task/18918/stat : 18918 (java) R 18851 18854 6529 0 -1 4202560 742 13267 0 0 13 0 5 3 20 0 15 0 107468982 11246788608 22156 33554432000 4194304 4196468 140725644766128 140304878651760 140305891070649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18919] ppid=18851 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18919/stat : 18919 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468983 11246788608 22156 33554432000 4194304 4196468 140725644766128 140303830870496 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18920] ppid=18851 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18920/stat : 18920 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468983 11246788608 22156 33554432000 4194304 4196468 140725644766128 140304877599664 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88624 KiB

[startup+1.50079 s]
/proc/loadavg: 2.13 1.87 1.73 4/215 18920
/proc/meminfo: memFree=23524408/32770624 swapFree=67108688/67108860
[pid=18854] ppid=18851 vsize=10998092 memory=188744 CPUtime=2.97 cores=1,3,5,7
/proc/18854/stat : 18854 (java) S 18851 18854 6529 0 -1 1077944320 28111 13267 0 0 281 8 5 3 20 0 15 0 107468968 11262046208 47186 33554432000 4194304 4196468 140725644766128 140725644748672 140305911934711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
/proc/18854/statm: 2749523 47186 3474 1 0 2711181 0
[pid=18854/tid=18907] ppid=18851 vsize=10998092 memory=12848 CPUtime=1.41 cores=1,3,5,7
/proc/18854/task/18907/stat : 18907 (java) R 18851 18854 6529 0 -1 4202560 17850 13267 0 0 129 4 5 3 20 0 15 0 107468977 11262046208 47186 33554432000 4194304 4196468 140725644766128 140305883758400 140305904171838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18908] ppid=18851 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/18854/task/18908/stat : 18908 (java) S 18851 18854 6529 0 -1 1077944384 57 13267 0 0 1 0 5 3 20 0 15 0 107468978 11262046208 47186 33554432000 4194304 4196468 140725644766128 140305916176784 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18909] ppid=18851 vsize=10998092 memory=1404 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18909/stat : 18909 (java) S 18851 18854 6529 0 -1 1077944384 10 13267 0 0 0 0 5 3 20 0 15 0 107468978 11262046208 47186 33554432000 4194304 4196468 140725644766128 140305781512464 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18910] ppid=18851 vsize=10998092 memory=3092 CPUtime=0.09 cores=1,3,5,7
/proc/18854/task/18910/stat : 18910 (java) S 18851 18854 6529 0 -1 1077944384 30 13267 0 0 1 0 5 3 20 0 15 0 107468978 11262046208 47186 33554432000 4194304 4196468 140725644766128 140305780460176 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18911] ppid=18851 vsize=10998092 memory=88624 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18911/stat : 18911 (java) S 18851 18854 6529 0 -1 1077944384 200 13267 0 0 0 0 5 3 20 0 15 0 107468978 11262046208 47186 33554432000 4194304 4196468 140725644766128 140305779407376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18912] ppid=18851 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18854/task/18912/stat : 18912 (java) S 18851 18854 6529 0 -1 1077944384 94 13267 0 0 1 0 5 3 20 0 15 0 107468979 11262046208 47186 33554432000 4194304 4196468 140725644766128 140304881810032 140305911945858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18913] ppid=18851 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18913/stat : 18913 (java) S 18851 18854 6529 0 -1 1077944384 13 13267 0 0 0 0 5 3 20 0 15 0 107468980 11262046208 47186 33554432000 4194304 4196468 140725644766128 140304770393376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18914] ppid=18851 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18914/stat : 18914 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468980 11262046208 47186 33554432000 4194304 4196468 140725644766128 140304569067136 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18915] ppid=18851 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18915/stat : 18915 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468982 11262046208 47186 33554432000 4194304 4196468 140725644766128 140304261667408 140305911953307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18916] ppid=18851 vsize=10998092 memory=6935649255759568960 CPUtime=0.6 cores=1,3,5,7
/proc/18854/task/18916/stat : 18916 (java) S 18851 18854 6529 0 -1 1077944384 3122 13267 0 0 52 0 5 3 20 0 15 0 107468982 11262046208 47186 33554432000 4194304 4196468 140725644766128 140304880756848 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18917] ppid=18851 vsize=10998092 memory=279543181515648 CPUtime=0.63 cores=1,3,5,7
/proc/18854/task/18917/stat : 18917 (java) R 18851 18854 6529 0 -1 4202560 2741 13267 0 0 55 0 5 3 20 0 15 0 107468982 11262046208 47186 33554432000 4194304 4196468 140725644766128 140304879690072 140305893478942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18918] ppid=18851 vsize=10998092 memory=6944656592452938395 CPUtime=0.44 cores=1,3,5,7
/proc/18854/task/18918/stat : 18918 (java) S 18851 18854 6529 0 -1 1077944384 1788 13267 0 0 36 0 5 3 20 0 15 0 107468982 11262046208 47186 33554432000 4194304 4196468 140725644766128 140304878651760 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18919] ppid=18851 vsize=10998092 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18919/stat : 18919 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468983 11262046208 47186 33554432000 4194304 4196468 140725644766128 140303830870496 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18920] ppid=18851 vsize=10998092 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18920/stat : 18920 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468983 11262046208 47186 33554432000 4194304 4196468 140725644766128 140304877599664 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10998092 KiB

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

/proc/18854/task/18907/stat : 18907 (java) R 18851 18854 6529 0 -1 4202560 48846 13267 0 0 16078 25 5 3 20 0 15 0 107468977 11345952768 252715 33554432000 4194304 4196468 140725644766128 140305883769424 140305474807432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18908] ppid=18851 vsize=11080032 memory=1009272 CPUtime=0.54 cores=1,3,5,7
/proc/18854/task/18908/stat : 18908 (java) S 18851 18854 6529 0 -1 1077944384 2101 13267 0 0 41 5 5 3 20 0 15 0 107468978 11345952768 252715 33554432000 4194304 4196468 140725644766128 140305916176784 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18909] ppid=18851 vsize=11080032 memory=1009292 CPUtime=0.54 cores=1,3,5,7
/proc/18854/task/18909/stat : 18909 (java) S 18851 18854 6529 0 -1 1077944384 1782 13267 0 0 42 4 5 3 20 0 15 0 107468978 11345952768 252715 33554432000 4194304 4196468 140725644766128 140305781512464 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18910] ppid=18851 vsize=11080032 memory=1008796 CPUtime=0.55 cores=1,3,5,7
/proc/18854/task/18910/stat : 18910 (java) S 18851 18854 6529 0 -1 1077944384 3513 13267 0 0 42 5 5 3 20 0 15 0 107468978 11345952768 252715 33554432000 4194304 4196468 140725644766128 140305780460176 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18911] ppid=18851 vsize=11080032 memory=1009292 CPUtime=0.54 cores=1,3,5,7
/proc/18854/task/18911/stat : 18911 (java) S 18851 18854 6529 0 -1 1077944384 1318 13267 0 0 42 4 5 3 20 0 15 0 107468978 11345952768 252715 33554432000 4194304 4196468 140725644766128 140305779407376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18912] ppid=18851 vsize=11080032 memory=4140 CPUtime=0.55 cores=1,3,5,7
/proc/18854/task/18912/stat : 18912 (java) S 18851 18854 6529 0 -1 1077944384 3208 13267 0 0 44 3 5 3 20 0 15 0 107468979 11345952768 252715 33554432000 4194304 4196468 140725644766128 140304881810032 140305911945858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18913] ppid=18851 vsize=11080032 memory=1009272 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18913/stat : 18913 (java) S 18851 18854 6529 0 -1 1077944384 14 13267 0 0 0 0 5 3 20 0 15 0 107468980 11345952768 252715 33554432000 4194304 4196468 140725644766128 140304770393440 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18914] ppid=18851 vsize=11080032 memory=1004 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18914/stat : 18914 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468980 11345952768 252715 33554432000 4194304 4196468 140725644766128 140304569067136 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18915] ppid=18851 vsize=11080032 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18915/stat : 18915 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468982 11345952768 252715 33554432000 4194304 4196468 140725644766128 140304261667408 140305911953307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18916] ppid=18851 vsize=11080032 memory=14076 CPUtime=7.2 cores=1,3,5,7
/proc/18854/task/18916/stat : 18916 (java) S 18851 18854 6529 0 -1 1077944384 16787 13267 0 0 707 5 5 3 20 0 15 0 107468982 11345952768 252715 33554432000 4194304 4196468 140725644766128 140304880756848 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18917] ppid=18851 vsize=11080032 memory=1009292 CPUtime=7.76 cores=1,3,5,7
/proc/18854/task/18917/stat : 18917 (java) S 18851 18854 6529 0 -1 1077944384 21016 13267 0 0 763 5 5 3 20 0 15 0 107468982 11345952768 252715 33554432000 4194304 4196468 140725644766128 140304879704048 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18918] ppid=18851 vsize=11080032 memory=1009292 CPUtime=3.39 cores=1,3,5,7
/proc/18854/task/18918/stat : 18918 (java) S 18851 18854 6529 0 -1 1077944384 20337 13267 0 0 326 5 5 3 20 0 15 0 107468982 11345952768 252715 33554432000 4194304 4196468 140725644766128 140304878651760 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18919] ppid=18851 vsize=11080032 memory=1009272 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18919/stat : 18919 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468983 11345952768 252715 33554432000 4194304 4196468 140725644766128 140303830870496 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18920] ppid=18851 vsize=11080032 memory=1009272 CPUtime=0.16 cores=1,3,5,7
/proc/18854/task/18920/stat : 18920 (java) S 18851 18854 6529 0 -1 1077944384 104 13267 0 0 3 5 5 3 20 0 15 0 107468983 11345952768 252715 33554432000 4194304 4196468 140725644766128 140304877599664 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
Current children cumulated CPU time: 181.71 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1010860 KiB

[startup+222.301 s]
/proc/loadavg: 1.48 1.65 1.68 4/216 19063
/proc/meminfo: memFree=23601612/32770624 swapFree=67108688/67108860
[pid=18854] ppid=18851 vsize=11080032 memory=1010392 CPUtime=242.48 cores=1,3,5,7
/proc/18854/stat : 18854 (java) S 18851 18854 6529 0 -1 1077944320 126704 13267 0 0 24167 73 5 3 20 0 15 0 107468968 11345952768 252598 33554432000 4194304 4196468 140725644766128 140725644748672 140305911934711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
/proc/18854/statm: 2770008 252598 3530 1 0 2731661 0
[pid=18854/tid=18907] ppid=18851 vsize=11080032 memory=1010392 CPUtime=220.48 cores=1,3,5,7
/proc/18854/task/18907/stat : 18907 (java) R 18851 18854 6529 0 -1 4202560 50293 13267 0 0 22015 25 5 3 20 0 15 0 107468977 11345952768 252598 33554432000 4194304 4196468 140725644766128 140305883769264 140305467278092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18908] ppid=18851 vsize=11080032 memory=1010392 CPUtime=0.8 cores=1,3,5,7
/proc/18854/task/18908/stat : 18908 (java) S 18851 18854 6529 0 -1 1077944384 2889 13267 0 0 66 6 5 3 20 0 15 0 107468978 11345952768 252598 33554432000 4194304 4196468 140725644766128 140305916176784 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18909] ppid=18851 vsize=11080032 memory=1010392 CPUtime=0.81 cores=1,3,5,7
/proc/18854/task/18909/stat : 18909 (java) S 18851 18854 6529 0 -1 1077944384 1854 13267 0 0 67 6 5 3 20 0 15 0 107468978 11345952768 252598 33554432000 4194304 4196468 140725644766128 140305781512464 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18910] ppid=18851 vsize=11080032 memory=1010392 CPUtime=0.82 cores=1,3,5,7
/proc/18854/task/18910/stat : 18910 (java) S 18851 18854 6529 0 -1 1077944384 4103 13267 0 0 68 6 5 3 20 0 15 0 107468978 11345952768 252598 33554432000 4194304 4196468 140725644766128 140305780460176 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18911] ppid=18851 vsize=11080032 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/18854/task/18911/stat : 18911 (java) S 18851 18854 6529 0 -1 1077944384 1474 13267 0 0 67 5 5 3 20 0 15 0 107468978 11345952768 252598 33554432000 4194304 4196468 140725644766128 140305779407376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18912] ppid=18851 vsize=11080032 memory=279543181525144 CPUtime=0.82 cores=1,3,5,7
/proc/18854/task/18912/stat : 18912 (java) S 18851 18854 6529 0 -1 1077944384 3601 13267 0 0 70 4 5 3 20 0 15 0 107468979 11345952768 252598 33554432000 4194304 4196468 140725644766128 140304881810032 140305911945858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18913] ppid=18851 vsize=11080032 memory=1010392 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18913/stat : 18913 (java) S 18851 18854 6529 0 -1 1077944384 14 13267 0 0 0 0 5 3 20 0 15 0 107468980 11345952768 252598 33554432000 4194304 4196468 140725644766128 140304770393440 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18914] ppid=18851 vsize=11080032 memory=1010392 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18914/stat : 18914 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468980 11345952768 252598 33554432000 4194304 4196468 140725644766128 140304569067136 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18915] ppid=18851 vsize=11080032 memory=1010392 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18915/stat : 18915 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468982 11345952768 252598 33554432000 4194304 4196468 140725644766128 140304261667408 140305911953307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18916] ppid=18851 vsize=11080032 memory=1010392 CPUtime=7.21 cores=1,3,5,7
/proc/18854/task/18916/stat : 18916 (java) S 18851 18854 6529 0 -1 1077944384 18798 13267 0 0 708 5 5 3 20 0 15 0 107468982 11345952768 252598 33554432000 4194304 4196468 140725644766128 140304880756848 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18917] ppid=18851 vsize=11080032 memory=1010392 CPUtime=7.76 cores=1,3,5,7
/proc/18854/task/18917/stat : 18917 (java) S 18851 18854 6529 0 -1 1077944384 21018 13267 0 0 763 5 5 3 20 0 15 0 107468982 11345952768 252598 33554432000 4194304 4196468 140725644766128 140304879704048 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18918] ppid=18851 vsize=11080032 memory=1010392 CPUtime=3.39 cores=1,3,5,7
/proc/18854/task/18918/stat : 18918 (java) S 18851 18854 6529 0 -1 1077944384 20340 13267 0 0 326 5 5 3 20 0 15 0 107468982 11345952768 252598 33554432000 4194304 4196468 140725644766128 140304878651760 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18919] ppid=18851 vsize=11080032 memory=1010392 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18919/stat : 18919 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468983 11345952768 252598 33554432000 4194304 4196468 140725644766128 140303830870496 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18920] ppid=18851 vsize=11080032 memory=4140 CPUtime=0.19 cores=1,3,5,7
/proc/18854/task/18920/stat : 18920 (java) S 18851 18854 6529 0 -1 1077944384 115 13267 0 0 4 7 5 3 20 0 15 0 107468983 11345952768 252598 33554432000 4194304 4196468 140725644766128 140304877599664 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
Current children cumulated CPU time: 242.48 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1010392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+231.701 s]
/proc/loadavg: 1.40 1.63 1.67 3/216 19063
/proc/meminfo: memFree=23601612/32770624 swapFree=67108688/67108860
[pid=18854] ppid=18851 vsize=11080032 memory=1010436 CPUtime=252.01 cores=1,3,5,7
/proc/18854/stat : 18854 (java) S 18851 18854 6529 0 -1 1077944320 127221 13267 0 0 25118 75 5 3 20 0 15 0 107468968 11345952768 252609 33554432000 4194304 4196468 140725644766128 140725644748672 140305911934711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
/proc/18854/statm: 2770008 252609 3530 1 0 2731661 0
[pid=18854/tid=18907] ppid=18851 vsize=11080032 memory=279543181674512 CPUtime=229.78 cores=1,3,5,7
/proc/18854/task/18907/stat : 18907 (java) R 18851 18854 6529 0 -1 4202560 50383 13267 0 0 22945 25 5 3 20 0 15 0 107468977 11345952768 252609 33554432000 4194304 4196468 140725644766128 140305883769936 140305474956644 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18908] ppid=18851 vsize=11080032 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/18854/task/18908/stat : 18908 (java) S 18851 18854 6529 0 -1 1077944384 2919 13267 0 0 70 6 5 3 20 0 15 0 107468978 11345952768 252609 33554432000 4194304 4196468 140725644766128 140305916176784 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18909] ppid=18851 vsize=11080032 memory=1010436 CPUtime=0.85 cores=1,3,5,7
/proc/18854/task/18909/stat : 18909 (java) S 18851 18854 6529 0 -1 1077944384 1884 13267 0 0 71 6 5 3 20 0 15 0 107468978 11345952768 252609 33554432000 4194304 4196468 140725644766128 140305781512464 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18910] ppid=18851 vsize=11080032 memory=1010436 CPUtime=0.86 cores=1,3,5,7
/proc/18854/task/18910/stat : 18910 (java) S 18851 18854 6529 0 -1 1077944384 4462 13267 0 0 71 7 5 3 20 0 15 0 107468978 11345952768 252609 33554432000 4194304 4196468 140725644766128 140305780460176 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18911] ppid=18851 vsize=11080032 memory=1010436 CPUtime=0.84 cores=1,3,5,7
/proc/18854/task/18911/stat : 18911 (java) S 18851 18854 6529 0 -1 1077944384 1482 13267 0 0 71 5 5 3 20 0 15 0 107468978 11345952768 252609 33554432000 4194304 4196468 140725644766128 140305779407376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18912] ppid=18851 vsize=11080032 memory=1010436 CPUtime=0.87 cores=1,3,5,7
/proc/18854/task/18912/stat : 18912 (java) S 18851 18854 6529 0 -1 1077944384 3601 13267 0 0 74 5 5 3 20 0 15 0 107468979 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304881810032 140305911945858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18913] ppid=18851 vsize=11080032 memory=1010436 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18913/stat : 18913 (java) S 18851 18854 6529 0 -1 1077944384 14 13267 0 0 0 0 5 3 20 0 15 0 107468980 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304770393440 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18914] ppid=18851 vsize=11080032 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18914/stat : 18914 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468980 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304569067136 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18915] ppid=18851 vsize=11080032 memory=1010392 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18915/stat : 18915 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468982 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304261667408 140305911953307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18916] ppid=18851 vsize=11080032 memory=1010392 CPUtime=7.21 cores=1,3,5,7
/proc/18854/task/18916/stat : 18916 (java) S 18851 18854 6529 0 -1 1077944384 18798 13267 0 0 708 5 5 3 20 0 15 0 107468982 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304880756848 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18917] ppid=18851 vsize=11080032 memory=1296 CPUtime=7.76 cores=1,3,5,7
/proc/18854/task/18917/stat : 18917 (java) S 18851 18854 6529 0 -1 1077944384 21018 13267 0 0 763 5 5 3 20 0 15 0 107468982 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304879704048 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18918] ppid=18851 vsize=11080032 memory=2408 CPUtime=3.39 cores=1,3,5,7
/proc/18854/task/18918/stat : 18918 (java) S 18851 18854 6529 0 -1 1077944384 20340 13267 0 0 326 5 5 3 20 0 15 0 107468982 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304878651760 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18919] ppid=18851 vsize=11080032 memory=1010392 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18919/stat : 18919 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468983 11345952768 252609 33554432000 4194304 4196468 140725644766128 140303830870496 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18920] ppid=18851 vsize=11080032 memory=4616 CPUtime=0.21 cores=1,3,5,7
/proc/18854/task/18920/stat : 18920 (java) S 18851 18854 6529 0 -1 1077944384 115 13267 0 0 5 8 5 3 20 0 15 0 107468983 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304877599664 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1010436 KiB

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

[startup+231.747 s]
# the end of solver process 18854 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.248 s, system=0.801865 s

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

[startup+231.701 s]
/proc/loadavg: 1.40 1.63 1.67 3/216 19063
/proc/meminfo: memFree=23601612/32770624 swapFree=67108688/67108860
[pid=18854] ppid=18851 vsize=11080032 memory=1010436 CPUtime=252.01 cores=1,3,5,7
/proc/18854/stat : 18854 (java) S 18851 18854 6529 0 -1 1077944320 127221 13267 0 0 25118 75 5 3 20 0 15 0 107468968 11345952768 252609 33554432000 4194304 4196468 140725644766128 140725644748672 140305911934711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
/proc/18854/statm: 2770008 252609 3530 1 0 2731661 0
[pid=18854/tid=18907] ppid=18851 vsize=11080032 memory=279543181674512 CPUtime=229.78 cores=1,3,5,7
/proc/18854/task/18907/stat : 18907 (java) R 18851 18854 6529 0 -1 4202560 50383 13267 0 0 22945 25 5 3 20 0 15 0 107468977 11345952768 252609 33554432000 4194304 4196468 140725644766128 140305883769936 140305474956644 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18908] ppid=18851 vsize=11080032 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/18854/task/18908/stat : 18908 (java) S 18851 18854 6529 0 -1 1077944384 2919 13267 0 0 70 6 5 3 20 0 15 0 107468978 11345952768 252609 33554432000 4194304 4196468 140725644766128 140305916176784 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18909] ppid=18851 vsize=11080032 memory=1010436 CPUtime=0.85 cores=1,3,5,7
/proc/18854/task/18909/stat : 18909 (java) S 18851 18854 6529 0 -1 1077944384 1884 13267 0 0 71 6 5 3 20 0 15 0 107468978 11345952768 252609 33554432000 4194304 4196468 140725644766128 140305781512464 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18910] ppid=18851 vsize=11080032 memory=1010436 CPUtime=0.86 cores=1,3,5,7
/proc/18854/task/18910/stat : 18910 (java) S 18851 18854 6529 0 -1 1077944384 4462 13267 0 0 71 7 5 3 20 0 15 0 107468978 11345952768 252609 33554432000 4194304 4196468 140725644766128 140305780460176 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18911] ppid=18851 vsize=11080032 memory=1010436 CPUtime=0.84 cores=1,3,5,7
/proc/18854/task/18911/stat : 18911 (java) S 18851 18854 6529 0 -1 1077944384 1482 13267 0 0 71 5 5 3 20 0 15 0 107468978 11345952768 252609 33554432000 4194304 4196468 140725644766128 140305779407376 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18912] ppid=18851 vsize=11080032 memory=1010436 CPUtime=0.87 cores=1,3,5,7
/proc/18854/task/18912/stat : 18912 (java) S 18851 18854 6529 0 -1 1077944384 3601 13267 0 0 74 5 5 3 20 0 15 0 107468979 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304881810032 140305911945858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18913] ppid=18851 vsize=11080032 memory=1010436 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18913/stat : 18913 (java) S 18851 18854 6529 0 -1 1077944384 14 13267 0 0 0 0 5 3 20 0 15 0 107468980 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304770393440 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18914] ppid=18851 vsize=11080032 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18914/stat : 18914 (java) S 18851 18854 6529 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 107468980 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304569067136 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18915] ppid=18851 vsize=11080032 memory=1010392 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18915/stat : 18915 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468982 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304261667408 140305911953307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18916] ppid=18851 vsize=11080032 memory=1010392 CPUtime=7.21 cores=1,3,5,7
/proc/18854/task/18916/stat : 18916 (java) S 18851 18854 6529 0 -1 1077944384 18798 13267 0 0 708 5 5 3 20 0 15 0 107468982 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304880756848 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18917] ppid=18851 vsize=11080032 memory=1296 CPUtime=7.76 cores=1,3,5,7
/proc/18854/task/18917/stat : 18917 (java) S 18851 18854 6529 0 -1 1077944384 21018 13267 0 0 763 5 5 3 20 0 15 0 107468982 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304879704048 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18918] ppid=18851 vsize=11080032 memory=2408 CPUtime=3.39 cores=1,3,5,7
/proc/18854/task/18918/stat : 18918 (java) S 18851 18854 6529 0 -1 1077944384 20340 13267 0 0 326 5 5 3 20 0 15 0 107468982 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304878651760 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18919] ppid=18851 vsize=11080032 memory=1010392 CPUtime=0.08 cores=1,3,5,7
/proc/18854/task/18919/stat : 18919 (java) S 18851 18854 6529 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 107468983 11345952768 252609 33554432000 4194304 4196468 140725644766128 140303830870496 140305911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
[pid=18854/tid=18920] ppid=18851 vsize=11080032 memory=4616 CPUtime=0.21 cores=1,3,5,7
/proc/18854/task/18920/stat : 18920 (java) S 18851 18854 6529 0 -1 1077944384 115 13267 0 0 5 8 5 3 20 0 15 0 107468983 11345952768 252609 33554432000 4194304 4196468 140725644766128 140304877599664 140305911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140725644774003 140725644776801 140725644776801 140725644779471 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1010436 KiB

Child status: 143
Real time (s): 231.747
CPU time (s): 252.05
CPU user time (s): 251.248
CPU system time (s): 0.801865
CPU usage (%): 108.761
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 1032832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.248
system time used= 0.801865
maximum resident set size= 1034880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32269
involuntary context switches= 728


# summary of solver processes directly reported to runsolver:
#   pid: 18854
#   total CPU time (s): 252.05
#   total CPU user time (s): 251.248
#   total CPU system time (s): 0.801865

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38943 second user time and 2.25171 second system time

The end

Name	Bacp/Bacp-m1/ Bacp-m1-12b_c18.xml
MD5SUM	295649d4a2f2dba0d6a8c50decbb73e2
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	17
Best CPU time to get the best result obtained on this benchmark	251.167
Satisfiable
(Un)Satisfiability was proved
Number of variables	882
Number of constraints	155
Number of domains	8
Minimum domain size	2
Maximum domain size	12
Distribution of domain sizes	[{"size":2,"count":792},{"size":7,"count":12},{"size":11,"count":12},{"size":12,"count":66}]
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 4302527

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