2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	SAT (TO)	220	252.067	226.147

0.98/0.74	c Concrete v3.9.2.1532736233296 running
14.26/5.66	o 300
16.85/6.44	o 264
69.20/50.79	o 260
77.70/58.72	o 220
252.02/226.11	Exception in thread "main" java.util.concurrent.TimeoutException
252.02/226.11		at concrete.MAC.mac(MAC.scala:188)
252.02/226.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.02/226.11		at scala.util.Try$.apply(Try.scala:209)
252.02/226.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/226.11		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/226.11		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/226.11		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/226.11		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.02/226.11		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/226.11		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/226.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/226.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/226.11		at concrete.MAC.oneRun(MAC.scala:253)
252.02/226.11		at concrete.MAC.nextSolution(MAC.scala:272)
252.02/226.11		at concrete.MAC.nextSolution(MAC.scala:355)
252.02/226.11		at concrete.Solver.hasNext(Solver.scala:166)
252.02/226.11		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.02/226.11		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.02/226.11		at concrete.Solver.foreach(Solver.scala:68)
252.02/226.11		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.02/226.11		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/226.11		at scala.util.Success.map(Try.scala:209)
252.02/226.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.02/226.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.02/226.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.02/226.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.02/226.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.02/226.11		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/226.11		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/226.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/226.11		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/226.11		at scala.collection.immutable.List.foreach(List.scala:389)
252.02/226.11		at scala.App.main(App.scala:76)
252.02/226.11		at scala.App.main$(App.scala:74)
252.02/226.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.02/226.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/226.12	v <instantiation cost="220">
252.02/226.12	v       <list>
252.02/226.12	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[35][0] y[35][1] y[35][2] y[35][3] y[36][0] y[36][1] y[36][2] y[37][0] y[37][1] y[38][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38]
252.02/226.12	v       </list>
252.02/226.12	v       <values>
252.02/226.12	v         1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -2 3 2 -1 2 1 2 -1 4 -1 0 -1 0 3 0 -1 0 -3 -4 -5 0 -3 0 -3 0 1 0 -3 0 -3 -2 7 -2 -3 2 1 -2 1 1 4 9 4 1 4 1 4 1 16 1 0 1 0 9 0 1 0 9 16 25 0 9 0 9 0 1 0 9 0 9 4 49 4 9 4 1 4 1
252.02/226.12	v       </values>
252.02/226.12	v     </instantiation>
252.02/226.12	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 (11188 MiB free)
  memory of node 1: 16384 MiB (15798 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302868-1532897559/watcher-4302868-1532897559 -o /tmp/evaluation-result-4302868-1532897559/solver-4302868-1532897559 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1671719854 -superng HOME/instance-4302868-1532897559.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=28400, runsolver pid=28397

[startup+0.100209 s]*
/proc/loadavg: 1.43 1.62 1.78 3/207 28457
/proc/meminfo: memFree=27628964/32770624 swapFree=67108860/67108860
[pid=28400] ppid=28397 vsize=10005480 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/28400/stat : 28400 (java) S 28397 28400 13514 0 -1 1077944320 4399 13197 0 0 1 0 4 3 20 0 6 0 107319045 10245611520 4270 33554432000 4194304 4196468 140723629146240 140723629128784 140667445370615 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
/proc/28400/statm: 2501370 4270 1935 1 0 2489808 0
[pid=28400/tid=28453] ppid=28397 vsize=10005480 memory=4279135703913364878 CPUtime=0.08 cores=1,3,5,7
/proc/28400/task/28453/stat : 28453 (java) R 28397 28400 13514 0 -1 4202560 2210 13197 0 0 1 0 4 3 20 0 6 0 107319054 10245611520 4270 33554432000 4194304 4196468 140723629146240 140667417207376 140667429451132 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28454] ppid=28397 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28454/stat : 28454 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 6 0 107319054 10245611520 4270 33554432000 4194304 4196468 140723629146240 140667449613456 140667445380821 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28455] ppid=28397 vsize=10005480 memory=140566789748352 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28455/stat : 28455 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 6 0 107319054 10245611520 4270 33554432000 4194304 4196468 140723629146240 140667304332304 140667445380821 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28456] ppid=28397 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28456/stat : 28456 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 6 0 107319054 10245611520 4270 33554432000 4194304 4196468 140723629146240 140667303279504 140667445380821 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28457] ppid=28397 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28457/stat : 28457 (java) S 28397 28400 13514 0 -1 1077944384 2 13197 0 0 0 0 4 3 20 0 6 0 107319054 10245611520 4270 33554432000 4194304 4196468 140723629146240 140667302226704 140667445380821 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB

[startup+0.210119 s]*
/proc/loadavg: 1.43 1.62 1.78 3/216 28466
/proc/meminfo: memFree=27601900/32770624 swapFree=67108860/67108860
[pid=28400] ppid=28397 vsize=10982696 memory=45132 CPUtime=0.26 cores=1,3,5,7
/proc/28400/stat : 28400 (java) S 28397 28400 13514 0 -1 1077944320 8677 13197 0 0 17 2 4 3 20 0 15 0 107319045 11246280704 11283 33554432000 4194304 4196468 140723629146240 140723629128784 140667445370615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
/proc/28400/statm: 2745674 11283 2932 1 0 2708109 0
[pid=28400/tid=28453] ppid=28397 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/28400/task/28453/stat : 28453 (java) R 28397 28400 13514 0 -1 4202560 5210 13197 0 0 10 1 4 3 20 0 15 0 107319054 11246280704 11283 33554432000 4194304 4196468 140723629146240 140667417168272 140667426935585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28454] ppid=28397 vsize=10982696 memory=339 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28454/stat : 28454 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246280704 11283 33554432000 4194304 4196468 140723629146240 140667449613456 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28455] ppid=28397 vsize=10982696 memory=3617998031667197600 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28455/stat : 28455 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246280704 11283 33554432000 4194304 4196468 140723629146240 140667304332304 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28456] ppid=28397 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28456/stat : 28456 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246280704 11283 33554432000 4194304 4196468 140723629146240 140667303279504 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28457] ppid=28397 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28457/stat : 28457 (java) S 28397 28400 13514 0 -1 1077944384 2 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246280704 11283 33554432000 4194304 4196468 140723629146240 140667302226704 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28458] ppid=28397 vsize=10982696 memory=140566789748352 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28458/stat : 28458 (java) S 28397 28400 13514 0 -1 1077944384 2 13197 0 0 0 0 4 3 20 0 15 0 107319056 11246280704 11283 33554432000 4194304 4196468 140723629146240 140666871343472 140667445381762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28459] ppid=28397 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28459/stat : 28459 (java) S 28397 28400 13514 0 -1 1077944384 13 13197 0 0 0 0 4 3 20 0 15 0 107319056 11246280704 11283 33554432000 4194304 4196468 140723629146240 140666232366112 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28460] ppid=28397 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28460/stat : 28460 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319056 11246280704 11283 33554432000 4194304 4196468 140723629146240 140666084516720 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28461] ppid=28397 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28461/stat : 28461 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11246280704 11283 33554432000 4194304 4196468 140723629146240 140665777117008 140667445389211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28462] ppid=28397 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28400/task/28462/stat : 28462 (java) S 28397 28400 13514 0 -1 1077944384 351 13197 0 0 1 0 4 3 20 0 15 0 107319059 11246280704 11283 33554432000 4194304 4196468 140723629146240 140666870291312 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28463] ppid=28397 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28400/task/28463/stat : 28463 (java) S 28397 28400 13514 0 -1 1077944384 261 13197 0 0 1 0 4 3 20 0 15 0 107319059 11246280704 11283 33554432000 4194304 4196468 140723629146240 140666869238512 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28464] ppid=28397 vsize=10982696 memory=140566789748352 CPUtime=0.1 cores=1,3,5,7
/proc/28400/task/28464/stat : 28464 (java) S 28397 28400 13514 0 -1 1077944384 636 13197 0 0 3 0 4 3 20 0 15 0 107319059 11246280704 11283 33554432000 4194304 4196468 140723629146240 140666868185712 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28465] ppid=28397 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28465/stat : 28465 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11246280704 11283 33554432000 4194304 4196468 140723629146240 140665346321120 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28466] ppid=28397 vsize=10982696 memory=140566789748352 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28466/stat : 28466 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319060 11246280704 11283 33554432000 4194304 4196468 140723629146240 140666867133104 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45132 KiB

[startup+0.310529 s]*
/proc/loadavg: 1.43 1.62 1.78 3/216 28466
/proc/meminfo: memFree=27592820/32770624 swapFree=67108860/67108860
[pid=28400] ppid=28397 vsize=10983192 memory=56476 CPUtime=0.38 cores=1,3,5,7
/proc/28400/stat : 28400 (java) S 28397 28400 13514 0 -1 1077944320 10710 13197 0 0 29 2 4 3 20 0 15 0 107319045 11246788608 14119 33554432000 4194304 4196468 140723629146240 140723629128784 140667445370615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
/proc/28400/statm: 2745798 14119 3064 1 0 2708109 0
[pid=28400/tid=28453] ppid=28397 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/28400/task/28453/stat : 28453 (java) R 28397 28400 13514 0 -1 4202560 7241 13197 0 0 20 2 4 3 20 0 15 0 107319054 11246788608 14119 33554432000 4194304 4196468 140723629146240 140667417182624 140667424902011 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28454] ppid=28397 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28454/stat : 28454 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246788608 14119 33554432000 4194304 4196468 140723629146240 140667449613456 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28455] ppid=28397 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28455/stat : 28455 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246788608 14119 33554432000 4194304 4196468 140723629146240 140667304332304 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28456] ppid=28397 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28456/stat : 28456 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246788608 14119 33554432000 4194304 4196468 140723629146240 140667303279504 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28457] ppid=28397 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28457/stat : 28457 (java) S 28397 28400 13514 0 -1 1077944384 2 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246788608 14119 33554432000 4194304 4196468 140723629146240 140667302226704 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28458] ppid=28397 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28458/stat : 28458 (java) S 28397 28400 13514 0 -1 1077944384 2 13197 0 0 0 0 4 3 20 0 15 0 107319056 11246788608 14119 33554432000 4194304 4196468 140723629146240 140666871343472 140667445381762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28459] ppid=28397 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28459/stat : 28459 (java) S 28397 28400 13514 0 -1 1077944384 13 13197 0 0 0 0 4 3 20 0 15 0 107319056 11246788608 14119 33554432000 4194304 4196468 140723629146240 140666232366112 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28460] ppid=28397 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28460/stat : 28460 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319056 11246788608 14119 33554432000 4194304 4196468 140723629146240 140666084516720 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28461] ppid=28397 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28461/stat : 28461 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11246788608 14119 33554432000 4194304 4196468 140723629146240 140665777117008 140667445389211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28462] ppid=28397 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28400/task/28462/stat : 28462 (java) S 28397 28400 13514 0 -1 1077944384 351 13197 0 0 1 0 4 3 20 0 15 0 107319059 11246788608 14119 33554432000 4194304 4196468 140723629146240 140666870291312 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28463] ppid=28397 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28400/task/28463/stat : 28463 (java) S 28397 28400 13514 0 -1 1077944384 262 13197 0 0 1 0 4 3 20 0 15 0 107319059 11246788608 14119 33554432000 4194304 4196468 140723629146240 140666869238512 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28464] ppid=28397 vsize=10983192 memory=140566789748352 CPUtime=0.11 cores=1,3,5,7
/proc/28400/task/28464/stat : 28464 (java) R 28397 28400 13514 0 -1 4202560 641 13197 0 0 4 0 4 3 20 0 15 0 107319059 11246788608 14119 33554432000 4194304 4196468 140723629146240 140666868185712 140667425559248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28465] ppid=28397 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28465/stat : 28465 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11246788608 14119 33554432000 4194304 4196468 140723629146240 140665346321120 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28466] ppid=28397 vsize=10983192 memory=140566789748352 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28466/stat : 28466 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319060 11246788608 14119 33554432000 4194304 4196468 140723629146240 140666867133104 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56476 KiB

[startup+0.700755 s]
/proc/loadavg: 1.43 1.62 1.78 3/216 28466
/proc/meminfo: memFree=27582124/32770624 swapFree=67108860/67108860
[pid=28400] ppid=28397 vsize=10983192 memory=89180 CPUtime=0.98 cores=1,3,5,7
/proc/28400/stat : 28400 (java) S 28397 28400 13514 0 -1 1077944320 16924 13197 0 0 86 5 4 3 20 0 15 0 107319045 11246788608 22295 33554432000 4194304 4196468 140723629146240 140723629128784 140667445370615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
/proc/28400/statm: 2745798 22295 3237 1 0 2708109 0
[pid=28400/tid=28453] ppid=28397 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/28400/task/28453/stat : 28453 (java) R 28397 28400 13514 0 -1 4202560 12486 13197 0 0 55 3 4 3 20 0 15 0 107319054 11246788608 22295 33554432000 4194304 4196468 140723629146240 140667417191440 140667425645750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28454] ppid=28397 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28454/stat : 28454 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246788608 22295 33554432000 4194304 4196468 140723629146240 140667449613456 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28455] ppid=28397 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28455/stat : 28455 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246788608 22295 33554432000 4194304 4196468 140723629146240 140667304332304 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28456] ppid=28397 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28456/stat : 28456 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246788608 22295 33554432000 4194304 4196468 140723629146240 140667303279504 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28457] ppid=28397 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28457/stat : 28457 (java) S 28397 28400 13514 0 -1 1077944384 2 13197 0 0 0 0 4 3 20 0 15 0 107319054 11246788608 22295 33554432000 4194304 4196468 140723629146240 140667302226704 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28458] ppid=28397 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28458/stat : 28458 (java) S 28397 28400 13514 0 -1 1077944384 5 13197 0 0 0 0 4 3 20 0 15 0 107319056 11246788608 22295 33554432000 4194304 4196468 140723629146240 140666871343472 140667445381762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28459] ppid=28397 vsize=10983192 memory=140566629331632 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28459/stat : 28459 (java) S 28397 28400 13514 0 -1 1077944384 13 13197 0 0 0 0 4 3 20 0 15 0 107319056 11246788608 22295 33554432000 4194304 4196468 140723629146240 140666232366112 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28460] ppid=28397 vsize=10983192 memory=140569984631376 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28460/stat : 28460 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319056 11246788608 22295 33554432000 4194304 4196468 140723629146240 140666084516720 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28461] ppid=28397 vsize=10983192 memory=1020 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28461/stat : 28461 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11246788608 22295 33554432000 4194304 4196468 140723629146240 140665777117008 140667445389211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28462] ppid=28397 vsize=10983192 memory=7089042195949315648 CPUtime=0.14 cores=1,3,5,7
/proc/28400/task/28462/stat : 28462 (java) S 28397 28400 13514 0 -1 1077944384 628 13197 0 0 7 0 4 3 20 0 15 0 107319059 11246788608 22295 33554432000 4194304 4196468 140723629146240 140666870291312 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28463] ppid=28397 vsize=10983192 memory=7881696724453321575 CPUtime=0.16 cores=1,3,5,7
/proc/28400/task/28463/stat : 28463 (java) S 28397 28400 13514 0 -1 1077944384 896 13197 0 0 9 0 4 3 20 0 15 0 107319059 11246788608 22295 33554432000 4194304 4196468 140723629146240 140666869238512 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28464] ppid=28397 vsize=10983192 memory=5789189752906409301 CPUtime=0.2 cores=1,3,5,7
/proc/28400/task/28464/stat : 28464 (java) S 28397 28400 13514 0 -1 1077944384 692 13197 0 0 13 0 4 3 20 0 15 0 107319059 11246788608 22295 33554432000 4194304 4196468 140723629146240 140666868185712 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28465] ppid=28397 vsize=10983192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28465/stat : 28465 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11246788608 22295 33554432000 4194304 4196468 140723629146240 140665346321120 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28466] ppid=28397 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28466/stat : 28466 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319060 11246788608 22295 33554432000 4194304 4196468 140723629146240 140666867133104 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89180 KiB

[startup+1.50073 s]
/proc/loadavg: 1.43 1.62 1.78 3/216 28466
/proc/meminfo: memFree=27535544/32770624 swapFree=67108860/67108860
[pid=28400] ppid=28397 vsize=10998092 memory=192600 CPUtime=2.64 cores=1,3,5,7
/proc/28400/stat : 28400 (java) S 28397 28400 13514 0 -1 1077944320 24253 13197 0 0 244 13 4 3 20 0 15 0 107319045 11262046208 48150 33554432000 4194304 4196468 140723629146240 140723629128784 140667445370615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
/proc/28400/statm: 2749523 48150 3477 1 0 2711181 0
[pid=28400/tid=28453] ppid=28397 vsize=10998092 memory=10757 CPUtime=1.42 cores=1,3,5,7
/proc/28400/task/28453/stat : 28453 (java) R 28397 28400 13514 0 -1 4202560 17275 13197 0 0 128 7 4 3 20 0 15 0 107319054 11262046208 48150 33554432000 4194304 4196468 140723629146240 140667417187744 140667445392541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28454] ppid=28397 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/28400/task/28454/stat : 28454 (java) S 28397 28400 13514 0 -1 1077944384 30 13197 0 0 1 0 4 3 20 0 15 0 107319054 11262046208 48150 33554432000 4194304 4196468 140723629146240 140667449613456 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28455] ppid=28397 vsize=10998092 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/28400/task/28455/stat : 28455 (java) S 28397 28400 13514 0 -1 1077944384 21 13197 0 0 1 0 4 3 20 0 15 0 107319054 11262046208 48150 33554432000 4194304 4196468 140723629146240 140667304332304 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28456] ppid=28397 vsize=10998092 memory=3140 CPUtime=0.08 cores=1,3,5,7
/proc/28400/task/28456/stat : 28456 (java) S 28397 28400 13514 0 -1 1077944384 48 13197 0 0 1 0 4 3 20 0 15 0 107319054 11262046208 48150 33554432000 4194304 4196468 140723629146240 140667303279504 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28457] ppid=28397 vsize=10998092 memory=89180 CPUtime=0.08 cores=1,3,5,7
/proc/28400/task/28457/stat : 28457 (java) S 28397 28400 13514 0 -1 1077944384 172 13197 0 0 1 0 4 3 20 0 15 0 107319054 11262046208 48150 33554432000 4194304 4196468 140723629146240 140667302226704 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28458] ppid=28397 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28400/task/28458/stat : 28458 (java) S 28397 28400 13514 0 -1 1077944384 60 13197 0 0 1 0 4 3 20 0 15 0 107319056 11262046208 48150 33554432000 4194304 4196468 140723629146240 140666871343472 140667445381762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28459] ppid=28397 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28459/stat : 28459 (java) S 28397 28400 13514 0 -1 1077944384 14 13197 0 0 0 0 4 3 20 0 15 0 107319056 11262046208 48150 33554432000 4194304 4196468 140723629146240 140666232366176 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28460] ppid=28397 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28460/stat : 28460 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319056 11262046208 48150 33554432000 4194304 4196468 140723629146240 140666084516736 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28461] ppid=28397 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28461/stat : 28461 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11262046208 48150 33554432000 4194304 4196468 140723629146240 140665777117008 140667445389211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28462] ppid=28397 vsize=10998092 memory=4638778398332698720 CPUtime=0.44 cores=1,3,5,7
/proc/28400/task/28462/stat : 28462 (java) S 28397 28400 13514 0 -1 1077944384 1582 13197 0 0 36 1 4 3 20 0 15 0 107319059 11262046208 48150 33554432000 4194304 4196468 140723629146240 140666870291312 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28463] ppid=28397 vsize=10998092 memory=281133258939264 CPUtime=0.37 cores=1,3,5,7
/proc/28400/task/28463/stat : 28463 (java) S 28397 28400 13514 0 -1 1077944384 1289 13197 0 0 30 0 4 3 20 0 15 0 107319059 11262046208 48150 33554432000 4194304 4196468 140723629146240 140666869238512 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28464] ppid=28397 vsize=10998092 memory=6944656592452807323 CPUtime=0.49 cores=1,3,5,7
/proc/28400/task/28464/stat : 28464 (java) S 28397 28400 13514 0 -1 1077944384 1563 13197 0 0 42 0 4 3 20 0 15 0 107319059 11262046208 48150 33554432000 4194304 4196468 140723629146240 140666868185712 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28465] ppid=28397 vsize=10998092 memory=6944656591801719708 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28465/stat : 28465 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11262046208 48150 33554432000 4194304 4196468 140723629146240 140665346321120 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28466] ppid=28397 vsize=10998092 memory=1399101730491701635 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28466/stat : 28466 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319060 11262046208 48150 33554432000 4194304 4196468 140723629146240 140666867133104 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 10998092 KiB

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

/proc/28400/task/28453/stat : 28453 (java) R 28397 28400 13514 0 -1 4202560 53379 13197 0 0 16113 27 4 3 20 0 15 0 107319054 11348049920 323338 33554432000 4194304 4196468 140723629146240 140667417205952 140666980227142 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28454] ppid=28397 vsize=11082080 memory=1293352 CPUtime=0.54 cores=1,3,5,7
/proc/28400/task/28454/stat : 28454 (java) S 28397 28400 13514 0 -1 1077944384 2855 13197 0 0 37 10 4 3 20 0 15 0 107319054 11348049920 323338 33554432000 4194304 4196468 140723629146240 140667449613456 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28455] ppid=28397 vsize=11082080 memory=1293352 CPUtime=0.55 cores=1,3,5,7
/proc/28400/task/28455/stat : 28455 (java) S 28397 28400 13514 0 -1 1077944384 1431 13197 0 0 39 9 4 3 20 0 15 0 107319054 11348049920 323338 33554432000 4194304 4196468 140723629146240 140667304332304 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28456] ppid=28397 vsize=11082080 memory=1301536 CPUtime=0.55 cores=1,3,5,7
/proc/28400/task/28456/stat : 28456 (java) S 28397 28400 13514 0 -1 1077944384 2151 13197 0 0 38 10 4 3 20 0 15 0 107319054 11348049920 323338 33554432000 4194304 4196468 140723629146240 140667303279504 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28457] ppid=28397 vsize=11082080 memory=1293352 CPUtime=0.55 cores=1,3,5,7
/proc/28400/task/28457/stat : 28457 (java) S 28397 28400 13514 0 -1 1077944384 3068 13197 0 0 37 11 4 3 20 0 15 0 107319054 11348049920 323338 33554432000 4194304 4196468 140723629146240 140667302226704 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28458] ppid=28397 vsize=11082080 memory=1293352 CPUtime=0.26 cores=1,3,5,7
/proc/28400/task/28458/stat : 28458 (java) S 28397 28400 13514 0 -1 1077944384 5900 13197 0 0 17 2 4 3 20 0 15 0 107319056 11348049920 323338 33554432000 4194304 4196468 140723629146240 140666871343472 140667445381762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28459] ppid=28397 vsize=11082080 memory=1293352 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28459/stat : 28459 (java) S 28397 28400 13514 0 -1 1077944384 14 13197 0 0 0 0 4 3 20 0 15 0 107319056 11348049920 323338 33554432000 4194304 4196468 140723629146240 140666232366176 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28460] ppid=28397 vsize=11082080 memory=1293352 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28460/stat : 28460 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319056 11348049920 323338 33554432000 4194304 4196468 140723629146240 140666084516736 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28461] ppid=28397 vsize=11082080 memory=1293352 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28461/stat : 28461 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11348049920 323338 33554432000 4194304 4196468 140723629146240 140665777117008 140667445389211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28462] ppid=28397 vsize=11082080 memory=1293352 CPUtime=9.39 cores=1,3,5,7
/proc/28400/task/28462/stat : 28462 (java) S 28397 28400 13514 0 -1 1077944384 32450 13197 0 0 926 6 4 3 20 0 15 0 107319059 11348049920 323338 33554432000 4194304 4196468 140723629146240 140666870291312 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28463] ppid=28397 vsize=11082080 memory=1812 CPUtime=9.31 cores=1,3,5,7
/proc/28400/task/28463/stat : 28463 (java) S 28397 28400 13514 0 -1 1077944384 31258 13197 0 0 919 5 4 3 20 0 15 0 107319059 11348049920 323338 33554432000 4194304 4196468 140723629146240 140666869238512 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28464] ppid=28397 vsize=11082080 memory=1293352 CPUtime=3.83 cores=1,3,5,7
/proc/28400/task/28464/stat : 28464 (java) S 28397 28400 13514 0 -1 1077944384 29312 13197 0 0 370 6 4 3 20 0 15 0 107319059 11348049920 323338 33554432000 4194304 4196468 140723629146240 140666868185712 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28465] ppid=28397 vsize=11082080 memory=1293352 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28465/stat : 28465 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11348049920 323338 33554432000 4194304 4196468 140723629146240 140665346321120 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28466] ppid=28397 vsize=11082080 memory=2236 CPUtime=0.15 cores=1,3,5,7
/proc/28400/task/28466/stat : 28466 (java) S 28397 28400 13514 0 -1 1077944384 273 13197 0 0 4 4 4 3 20 0 15 0 107319060 11348049920 323338 33554432000 4194304 4196468 140723629146240 140666867133104 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
Current children cumulated CPU time: 186.09 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1293352 KiB

[startup+222.301 s]
/proc/loadavg: 1.72 1.66 1.76 3/215 28597
/proc/meminfo: memFree=25972604/32770624 swapFree=67108860/67108860
[pid=28400] ppid=28397 vsize=11082080 memory=1288392 CPUtime=248.03 cores=1,3,5,7
/proc/28400/stat : 28400 (java) S 28397 28400 13514 0 -1 1077944320 178136 13197 0 0 24696 100 4 3 20 0 15 0 107319045 11348049920 322098 33554432000 4194304 4196468 140723629146240 140723629128784 140667445370615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
/proc/28400/statm: 2770520 322098 3536 1 0 2732173 0
[pid=28400/tid=28453] ppid=28397 vsize=11082080 memory=1289380 CPUtime=220.94 cores=1,3,5,7
/proc/28400/task/28453/stat : 28453 (java) R 28397 28400 13514 0 -1 4202560 54988 13197 0 0 22059 28 4 3 20 0 15 0 107319054 11348049920 322098 33554432000 4194304 4196468 140723629146240 140667417205984 140666980227317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28454] ppid=28397 vsize=11082080 memory=1288392 CPUtime=0.85 cores=1,3,5,7
/proc/28400/task/28454/stat : 28454 (java) S 28397 28400 13514 0 -1 1077944384 3023 13197 0 0 67 11 4 3 20 0 15 0 107319054 11348049920 322098 33554432000 4194304 4196468 140723629146240 140667449613456 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28455] ppid=28397 vsize=11082080 memory=1288392 CPUtime=0.86 cores=1,3,5,7
/proc/28400/task/28455/stat : 28455 (java) S 28397 28400 13514 0 -1 1077944384 2130 13197 0 0 68 11 4 3 20 0 15 0 107319054 11348049920 322098 33554432000 4194304 4196468 140723629146240 140667304332304 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28456] ppid=28397 vsize=11082080 memory=1288392 CPUtime=0.85 cores=1,3,5,7
/proc/28400/task/28456/stat : 28456 (java) S 28397 28400 13514 0 -1 1077944384 2253 13197 0 0 67 11 4 3 20 0 15 0 107319054 11348049920 322098 33554432000 4194304 4196468 140723629146240 140667303279504 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28457] ppid=28397 vsize=11082080 memory=1286344 CPUtime=0.85 cores=1,3,5,7
/proc/28400/task/28457/stat : 28457 (java) S 28397 28400 13514 0 -1 1077944384 4199 13197 0 0 66 12 4 3 20 0 15 0 107319054 11348049920 322098 33554432000 4194304 4196468 140723629146240 140667302226704 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28458] ppid=28397 vsize=11082080 memory=1286344 CPUtime=0.45 cores=1,3,5,7
/proc/28400/task/28458/stat : 28458 (java) S 28397 28400 13514 0 -1 1077944384 6241 13197 0 0 35 3 4 3 20 0 15 0 107319056 11348049920 322098 33554432000 4194304 4196468 140723629146240 140666871343472 140667445381762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28459] ppid=28397 vsize=11082080 memory=1286344 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28459/stat : 28459 (java) S 28397 28400 13514 0 -1 1077944384 14 13197 0 0 0 0 4 3 20 0 15 0 107319056 11348049920 322098 33554432000 4194304 4196468 140723629146240 140666232366176 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28460] ppid=28397 vsize=11082080 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28460/stat : 28460 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319056 11348049920 322098 33554432000 4194304 4196468 140723629146240 140666084516736 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28461] ppid=28397 vsize=11082080 memory=30476 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28461/stat : 28461 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11348049920 322098 33554432000 4194304 4196468 140723629146240 140665777117008 140667445389211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28462] ppid=28397 vsize=11082080 memory=1288392 CPUtime=9.82 cores=1,3,5,7
/proc/28400/task/28462/stat : 28462 (java) S 28397 28400 13514 0 -1 1077944384 35449 13197 0 0 969 6 4 3 20 0 15 0 107319059 11348049920 322098 33554432000 4194304 4196468 140723629146240 140666870291312 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28463] ppid=28397 vsize=11082080 memory=1992 CPUtime=9.69 cores=1,3,5,7
/proc/28400/task/28463/stat : 28463 (java) S 28397 28400 13514 0 -1 1077944384 34629 13197 0 0 956 6 4 3 20 0 15 0 107319059 11348049920 322098 33554432000 4194304 4196468 140723629146240 140666869238512 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28464] ppid=28397 vsize=11082080 memory=6791534058613427641 CPUtime=4.07 cores=1,3,5,7
/proc/28400/task/28464/stat : 28464 (java) S 28397 28400 13514 0 -1 1077944384 32675 13197 0 0 394 6 4 3 20 0 15 0 107319059 11348049920 322098 33554432000 4194304 4196468 140723629146240 140666868185712 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28465] ppid=28397 vsize=11082080 memory=1288392 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28465/stat : 28465 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11348049920 322098 33554432000 4194304 4196468 140723629146240 140665346321120 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28466] ppid=28397 vsize=11082080 memory=4140 CPUtime=0.2 cores=1,3,5,7
/proc/28400/task/28466/stat : 28466 (java) S 28397 28400 13514 0 -1 1077944384 337 13197 0 0 6 7 4 3 20 0 15 0 107319060 11348049920 322098 33554432000 4194304 4196468 140723629146240 140666867133104 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
Current children cumulated CPU time: 248.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1288392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+226.11 s]
/proc/loadavg: 1.66 1.65 1.76 4/215 28597
/proc/meminfo: memFree=25976736/32770624 swapFree=67108860/67108860
[pid=28400] ppid=28397 vsize=11082080 memory=1288560 CPUtime=252.02 cores=1,3,5,7
/proc/28400/stat : 28400 (java) S 28397 28400 13514 0 -1 1077944320 179948 13197 0 0 25094 101 4 3 20 0 15 0 107319045 11348049920 322140 33554432000 4194304 4196468 140723629146240 140723629128784 140667445370615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
/proc/28400/statm: 2770520 322140 3536 1 0 2732173 0
[pid=28400/tid=28453] ppid=28397 vsize=11082080 memory=1288392 CPUtime=224.71 cores=1,3,5,7
/proc/28400/task/28453/stat : 28453 (java) R 28397 28400 13514 0 -1 4202560 55177 13197 0 0 22436 28 4 3 20 0 15 0 107319054 11348049920 322140 33554432000 4194304 4196468 140723629146240 140667417205744 140666979545920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28454] ppid=28397 vsize=11082080 memory=1289380 CPUtime=0.87 cores=1,3,5,7
/proc/28400/task/28454/stat : 28454 (java) S 28397 28400 13514 0 -1 1077944384 3063 13197 0 0 69 11 4 3 20 0 15 0 107319054 11348049920 322140 33554432000 4194304 4196468 140723629146240 140667449613456 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28455] ppid=28397 vsize=11082080 memory=1288560 CPUtime=0.88 cores=1,3,5,7
/proc/28400/task/28455/stat : 28455 (java) S 28397 28400 13514 0 -1 1077944384 2165 13197 0 0 70 11 4 3 20 0 15 0 107319054 11348049920 322140 33554432000 4194304 4196468 140723629146240 140667304332304 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28456] ppid=28397 vsize=11082080 memory=1286344 CPUtime=0.87 cores=1,3,5,7
/proc/28400/task/28456/stat : 28456 (java) S 28397 28400 13514 0 -1 1077944384 3343 13197 0 0 69 11 4 3 20 0 15 0 107319054 11348049920 322140 33554432000 4194304 4196468 140723629146240 140667303279504 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28457] ppid=28397 vsize=11082080 memory=1240 CPUtime=0.87 cores=1,3,5,7
/proc/28400/task/28457/stat : 28457 (java) S 28397 28400 13514 0 -1 1077944384 4283 13197 0 0 68 12 4 3 20 0 15 0 107319054 11348049920 322140 33554432000 4194304 4196468 140723629146240 140667302226704 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28458] ppid=28397 vsize=11082080 memory=1520 CPUtime=0.46 cores=1,3,5,7
/proc/28400/task/28458/stat : 28458 (java) S 28397 28400 13514 0 -1 1077944384 6247 13197 0 0 36 3 4 3 20 0 15 0 107319056 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666871343472 140667445381762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28459] ppid=28397 vsize=11082080 memory=1288392 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28459/stat : 28459 (java) S 28397 28400 13514 0 -1 1077944384 14 13197 0 0 0 0 4 3 20 0 15 0 107319056 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666232366176 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28460] ppid=28397 vsize=11082080 memory=1288392 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28460/stat : 28460 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319056 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666084516736 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28461] ppid=28397 vsize=11082080 memory=1286344 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28461/stat : 28461 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11348049920 322140 33554432000 4194304 4196468 140723629146240 140665777117008 140667445389211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28462] ppid=28397 vsize=11082080 memory=1286344 CPUtime=9.86 cores=1,3,5,7
/proc/28400/task/28462/stat : 28462 (java) S 28397 28400 13514 0 -1 1077944384 35751 13197 0 0 973 6 4 3 20 0 15 0 107319059 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666870291312 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28463] ppid=28397 vsize=11082080 memory=1696 CPUtime=9.72 cores=1,3,5,7
/proc/28400/task/28463/stat : 28463 (java) S 28397 28400 13514 0 -1 1077944384 34630 13197 0 0 959 6 4 3 20 0 15 0 107319059 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666869238512 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28464] ppid=28397 vsize=11082080 memory=916 CPUtime=4.1 cores=1,3,5,7
/proc/28400/task/28464/stat : 28464 (java) S 28397 28400 13514 0 -1 1077944384 32733 13197 0 0 397 6 4 3 20 0 15 0 107319059 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666868185712 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28465] ppid=28397 vsize=11082080 memory=1288392 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28465/stat : 28465 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11348049920 322140 33554432000 4194304 4196468 140723629146240 140665346321120 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28466] ppid=28397 vsize=11082080 memory=1256 CPUtime=0.2 cores=1,3,5,7
/proc/28400/task/28466/stat : 28466 (java) S 28397 28400 13514 0 -1 1077944384 344 13197 0 0 6 7 4 3 20 0 15 0 107319060 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666867133104 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1288560 KiB

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

[startup+226.147 s]
# the end of solver process 28400 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.004 s, system=1.06332 s

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

[startup+226.11 s]
/proc/loadavg: 1.66 1.65 1.76 4/215 28597
/proc/meminfo: memFree=25976736/32770624 swapFree=67108860/67108860
[pid=28400] ppid=28397 vsize=11082080 memory=1288560 CPUtime=252.02 cores=1,3,5,7
/proc/28400/stat : 28400 (java) S 28397 28400 13514 0 -1 1077944320 179948 13197 0 0 25094 101 4 3 20 0 15 0 107319045 11348049920 322140 33554432000 4194304 4196468 140723629146240 140723629128784 140667445370615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
/proc/28400/statm: 2770520 322140 3536 1 0 2732173 0
[pid=28400/tid=28453] ppid=28397 vsize=11082080 memory=1288392 CPUtime=224.71 cores=1,3,5,7
/proc/28400/task/28453/stat : 28453 (java) R 28397 28400 13514 0 -1 4202560 55177 13197 0 0 22436 28 4 3 20 0 15 0 107319054 11348049920 322140 33554432000 4194304 4196468 140723629146240 140667417205744 140666979545920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28454] ppid=28397 vsize=11082080 memory=1289380 CPUtime=0.87 cores=1,3,5,7
/proc/28400/task/28454/stat : 28454 (java) S 28397 28400 13514 0 -1 1077944384 3063 13197 0 0 69 11 4 3 20 0 15 0 107319054 11348049920 322140 33554432000 4194304 4196468 140723629146240 140667449613456 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28455] ppid=28397 vsize=11082080 memory=1288560 CPUtime=0.88 cores=1,3,5,7
/proc/28400/task/28455/stat : 28455 (java) S 28397 28400 13514 0 -1 1077944384 2165 13197 0 0 70 11 4 3 20 0 15 0 107319054 11348049920 322140 33554432000 4194304 4196468 140723629146240 140667304332304 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28456] ppid=28397 vsize=11082080 memory=1286344 CPUtime=0.87 cores=1,3,5,7
/proc/28400/task/28456/stat : 28456 (java) S 28397 28400 13514 0 -1 1077944384 3343 13197 0 0 69 11 4 3 20 0 15 0 107319054 11348049920 322140 33554432000 4194304 4196468 140723629146240 140667303279504 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28457] ppid=28397 vsize=11082080 memory=1240 CPUtime=0.87 cores=1,3,5,7
/proc/28400/task/28457/stat : 28457 (java) S 28397 28400 13514 0 -1 1077944384 4283 13197 0 0 68 12 4 3 20 0 15 0 107319054 11348049920 322140 33554432000 4194304 4196468 140723629146240 140667302226704 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28458] ppid=28397 vsize=11082080 memory=1520 CPUtime=0.46 cores=1,3,5,7
/proc/28400/task/28458/stat : 28458 (java) S 28397 28400 13514 0 -1 1077944384 6247 13197 0 0 36 3 4 3 20 0 15 0 107319056 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666871343472 140667445381762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28459] ppid=28397 vsize=11082080 memory=1288392 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28459/stat : 28459 (java) S 28397 28400 13514 0 -1 1077944384 14 13197 0 0 0 0 4 3 20 0 15 0 107319056 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666232366176 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28460] ppid=28397 vsize=11082080 memory=1288392 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28460/stat : 28460 (java) S 28397 28400 13514 0 -1 1077944384 1 13197 0 0 0 0 4 3 20 0 15 0 107319056 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666084516736 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28461] ppid=28397 vsize=11082080 memory=1286344 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28461/stat : 28461 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11348049920 322140 33554432000 4194304 4196468 140723629146240 140665777117008 140667445389211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28462] ppid=28397 vsize=11082080 memory=1286344 CPUtime=9.86 cores=1,3,5,7
/proc/28400/task/28462/stat : 28462 (java) S 28397 28400 13514 0 -1 1077944384 35751 13197 0 0 973 6 4 3 20 0 15 0 107319059 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666870291312 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28463] ppid=28397 vsize=11082080 memory=1696 CPUtime=9.72 cores=1,3,5,7
/proc/28400/task/28463/stat : 28463 (java) S 28397 28400 13514 0 -1 1077944384 34630 13197 0 0 959 6 4 3 20 0 15 0 107319059 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666869238512 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28464] ppid=28397 vsize=11082080 memory=916 CPUtime=4.1 cores=1,3,5,7
/proc/28400/task/28464/stat : 28464 (java) S 28397 28400 13514 0 -1 1077944384 32733 13197 0 0 397 6 4 3 20 0 15 0 107319059 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666868185712 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28465] ppid=28397 vsize=11082080 memory=1288392 CPUtime=0.07 cores=1,3,5,7
/proc/28400/task/28465/stat : 28465 (java) S 28397 28400 13514 0 -1 1077944384 3 13197 0 0 0 0 4 3 20 0 15 0 107319059 11348049920 322140 33554432000 4194304 4196468 140723629146240 140665346321120 140667445380821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
[pid=28400/tid=28466] ppid=28397 vsize=11082080 memory=1256 CPUtime=0.2 cores=1,3,5,7
/proc/28400/task/28466/stat : 28466 (java) S 28397 28400 13514 0 -1 1077944384 344 13197 0 0 6 7 4 3 20 0 15 0 107319060 11348049920 322140 33554432000 4194304 4196468 140723629146240 140666867133104 140667445381762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140723629152872 140723629155681 140723629155681 140723629158351 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1288560 KiB

Child status: 143
Real time (s): 226.147
CPU time (s): 252.067
CPU user time (s): 251.004
CPU system time (s): 1.06332
CPU usage (%): 111.462
Max. virtual memory (cumulated for all children) (KiB): 11082668
Max. memory (cumulated for all children) (KiB): 1478868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.004
system time used= 1.06332
maximum resident set size= 1478868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24467
involuntary context switches= 435


# summary of solver processes directly reported to runsolver:
#   pid: 28400
#   total CPU time (s): 252.067
#   total CPU user time (s): 251.004
#   total CPU system time (s): 1.06332

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31986 second user time and 2.28516 second system time

The end

Name	LowAutocorrelation/ LowAutocorrelation-040_c18.xml
MD5SUM	4e9e0842de773da2d9de44121d9bf85e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	156
Best CPU time to get the best result obtained on this benchmark	252.102
Satisfiable
(Un)Satisfiability was proved
Number of variables	1639
Number of constraints	858
Number of domains	79
Minimum domain size	2
Maximum domain size	79
Distribution of domain sizes	[{"size":2,"count":821},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}]
Minimum variable degree	0
Maximum variable degree	39
Distribution of variable degrees	[{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}]
Minimum constraint arity	2
Maximum constraint arity	40
Distribution of constraint arities	[{"arity":2,"count":40},{"arity":3,"count":781},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	819
Distribution of constraint types	[{"type":"intension","count":819},{"type":"sum","count":39}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4302868

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