2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: Concrete 3.4	SAT (TO)	143	2400.07	2315.54

3.69/2.11	c Concrete v3.4 running
15.29/5.64	o 17575
15.69/5.76	o 13711
16.56/5.98	o 13687
16.98/6.01	o 10615
16.98/6.05	o 10607
16.98/6.08	o 8303
17.40/6.11	o 8239
17.40/6.13	o 8167
17.40/6.16	o 6407
17.40/6.18	o 3487
17.81/6.20	o 2055
17.81/6.22	o 1831
17.81/6.26	o 1239
17.81/6.28	o 911
18.23/6.34	o 759
18.23/6.36	o 543
18.23/6.39	o 511
18.61/6.40	o 311
19.69/7.17	o 199
36.49/20.62	o 167
580.93/542.18	o 159
2211.21/2131.54	o 143
2400.02/2315.51	java.util.concurrent.TimeoutException
2400.02/2315.51		at concrete.MAC.mac(MAC.scala:74)
2400.02/2315.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.02/2315.51		at scala.util.Try$.apply(Try.scala:209)
2400.02/2315.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.02/2315.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.02/2315.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.02/2315.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.02/2315.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.02/2315.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.02/2315.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.02/2315.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.02/2315.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.02/2315.51		at concrete.MAC.oneRun(MAC.scala:146)
2400.02/2315.51		at concrete.MAC.nextSolution(MAC.scala:166)
2400.02/2315.51		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.02/2315.51		at concrete.ProblemState.map(ProblemState.scala:203)
2400.02/2315.51		at concrete.ProblemState.map(ProblemState.scala:188)
2400.02/2315.51		at concrete.MAC.nextSolution(MAC.scala:195)
2400.02/2315.51		at concrete.Solver.hasNext(Solver.scala:202)
2400.02/2315.51		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.02/2315.51		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.02/2315.51		at concrete.Solver.toStream(Solver.scala:73)
2400.02/2315.51		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.02/2315.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.02/2315.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.02/2315.51		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.02/2315.51		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.02/2315.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.02/2315.51		at scala.util.Success.map(Try.scala:209)
2400.02/2315.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.02/2315.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.02/2315.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.02/2315.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.02/2315.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.02/2315.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.02/2315.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.02/2315.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.02/2315.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.02/2315.51		at scala.collection.immutable.List.foreach(List.scala:389)
2400.02/2315.51		at scala.App.main(App.scala:76)
2400.02/2315.51		at scala.App.main$(App.scala:74)
2400.02/2315.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.02/2315.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.02/2315.52	v <instantiation cost="143">
2400.02/2315.52	v       <list>
2400.02/2315.52	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[33][0] y[33][1] y[33][2] y[33][3] y[34][0] y[34][1] y[34][2] y[35][0] y[35][1] y[36][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] 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]
2400.02/2315.52	v       </list>
2400.02/2315.52	v       <values>
2400.02/2315.52	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 3 0 -1 0 1 2 1 2 -1 -2 1 2 3 2 1 -4 -1 0 1 2 -1 -2 -3 0 -5 -4 1 0 -1 0 1 0 -3 -2 -1 -2 -1 9 0 1 0 1 4 1 4 1 4 1 4 9 4 1 16 1 0 1 4 1 4 9 0 25 16 1 0 1 0 1 0 9 4 1 4 1
2400.02/2315.52	v       </values>
2400.02/2315.52	v     </instantiation>
2400.02/2315.52	s SATISFIABLE

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247444-1500731896/watcher-4247444-1500731896 -o /tmp/evaluation-result-4247444-1500731896/solver-4247444-1500731896 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22996 --watchdog 2560 bin/concrete HOME/instance-4247444-1500731896.xml 

pid=29901
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.96 1.85 2.02 2/261 29904
/proc/meminfo: memFree=27722744/32770624 swapFree=5700/378892
[pid=29904] ppid=29901 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29904/stat : 29904 (bash) S 29901 29904 22965 0 -1 4202496 684 1533 0 0 0 0 0 0 20 0 1 0 8457121 9736192 350 33554432000 4194304 5098028 140720347619536 140720347617176 139859531824128 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 24186880 140720347620622 140720347620707 140720347620707 140720347623406 0
/proc/29904/statm: 2377 350 278 221 0 86 0

[startup+0.100142 s]
/proc/loadavg: 1.96 1.85 2.02 2/261 29904
/proc/meminfo: memFree=27722744/32770624 swapFree=5700/378892
[pid=29904] ppid=29901 vsize=9640 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/29904/stat : 29904 (bash) S 29901 29904 22965 0 -1 4202496 920 11826 0 0 0 0 7 2 20 0 1 0 8457121 9871360 380 33554432000 4194304 5098028 140720347619536 140720347615368 139859531824128 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 24186880 140720347620622 140720347620707 140720347620707 140720347623406 0
/proc/29904/statm: 2410 380 299 221 0 119 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9640

[startup+0.200326 s]
/proc/loadavg: 1.96 1.85 2.02 2/261 29904
/proc/meminfo: memFree=27722744/32770624 swapFree=5700/378892
[pid=29904] ppid=29901 vsize=10901872 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/29904/stat : 29904 (java) S 29901 29904 22965 0 -1 1077944320 5904 12503 0 0 9 2 7 3 20 0 20 0 8457121 11163516928 6583 33554432000 4194304 4196468 140728393681616 140728393664160 140618710138615 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
/proc/29904/statm: 2725468 6583 2680 1 0 2713890 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10901872

[startup+0.300304 s]
/proc/loadavg: 1.96 1.85 2.02 2/261 29904
/proc/meminfo: memFree=27722744/32770624 swapFree=5700/378892
[pid=29904] ppid=29901 vsize=10902392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/29904/stat : 29904 (java) S 29901 29904 22965 0 -1 1077944320 9574 12503 0 0 24 3 7 3 20 0 20 0 8457121 11164049408 10583 33554432000 4194304 4196468 140728393681616 140728393664160 140618710138615 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
/proc/29904/statm: 2725598 10583 2981 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392

[startup+0.700199 s]
/proc/loadavg: 1.96 1.85 2.02 2/261 29904
/proc/meminfo: memFree=27722744/32770624 swapFree=5700/378892
[pid=29904] ppid=29901 vsize=10902720 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/29904/stat : 29904 (java) S 29901 29904 22965 0 -1 1077944320 13090 12503 0 0 87 5 7 3 20 0 20 0 8457121 11164385280 16452 33554432000 4194304 4196468 140728393681616 140728393664160 140618710138615 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
/proc/29904/statm: 2725680 16452 3232 1 0 2713890 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10902720

[startup+1.50097 s]
/proc/loadavg: 1.96 1.85 2.02 3/281 29977
/proc/meminfo: memFree=27614852/32770624 swapFree=5700/378916
[pid=29904] ppid=29901 vsize=10915392 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/29904/stat : 29904 (java) S 29901 29904 22965 0 -1 1077944320 27873 12503 0 0 206 14 7 3 20 0 20 0 8457121 11177361408 44136 33554432000 4194304 4196468 140728393681616 140728393664160 140618710138615 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
/proc/29904/statm: 2728848 44136 3409 1 0 2716962 0
[pid=29904/tid=29959] ppid=29901 vsize=10915392 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29959/stat : 29959 (java) R 29901 29904 22965 0 -1 4202560 19737 12503 0 0 126 7 7 3 20 0 20 0 8457132 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618714365200 140618710150550 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29960] ppid=29901 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29960/stat : 29960 (java) S 29901 29904 22965 0 -1 1077944384 50 12503 0 0 1 0 7 3 20 0 20 0 8457133 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618646830224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29961] ppid=29901 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29961/stat : 29961 (java) S 29901 29904 22965 0 -1 1077944384 14 12503 0 0 0 0 7 3 20 0 20 0 8457133 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618645777424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29962] ppid=29901 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29962/stat : 29962 (java) S 29901 29904 22965 0 -1 1077944384 30 12503 0 0 0 0 7 3 20 0 20 0 8457133 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618644724624 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29963] ppid=29901 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29963/stat : 29963 (java) S 29901 29904 22965 0 -1 1077944384 145 12503 0 0 0 0 7 3 20 0 20 0 8457133 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618643671824 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29964] ppid=29901 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29964/stat : 29964 (java) S 29901 29904 22965 0 -1 1077944384 9 12503 0 0 0 0 7 3 20 0 20 0 8457133 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618642619024 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29965] ppid=29901 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29965/stat : 29965 (java) S 29901 29904 22965 0 -1 1077944384 17 12503 0 0 1 0 7 3 20 0 20 0 8457133 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618641566224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29966] ppid=29901 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29966/stat : 29966 (java) S 29901 29904 22965 0 -1 1077944384 23 12503 0 0 1 0 7 3 20 0 20 0 8457133 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618640513424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29967] ppid=29901 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29967/stat : 29967 (java) S 29901 29904 22965 0 -1 1077944384 35 12503 0 0 1 0 7 3 20 0 20 0 8457133 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618309167376 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29968] ppid=29901 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29968/stat : 29968 (java) S 29901 29904 22965 0 -1 1077944384 1465 12503 0 0 1 0 7 3 20 0 20 0 8457135 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618184727408 140618710149762 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29969] ppid=29901 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29969/stat : 29969 (java) S 29901 29904 22965 0 -1 1077944384 58 12503 0 0 0 0 7 3 20 0 20 0 8457135 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618183673376 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29970] ppid=29901 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29970/stat : 29970 (java) S 29901 29904 22965 0 -1 1077944384 43 12503 0 0 0 0 7 3 20 0 20 0 8457136 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618182620544 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29971] ppid=29901 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29971/stat : 29971 (java) S 29901 29904 22965 0 -1 1077944384 1 12503 0 0 0 0 7 3 20 0 20 0 8457139 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618181568848 140618710157211 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29972] ppid=29901 vsize=10915392 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29972/stat : 29972 (java) S 29901 29904 22965 0 -1 1077944384 690 12503 0 0 10 0 7 3 20 0 20 0 8457140 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618180516208 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29973] ppid=29901 vsize=10915392 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29973/stat : 29973 (java) S 29901 29904 22965 0 -1 1077944384 679 12503 0 0 14 0 7 3 20 0 20 0 8457140 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618179463408 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29974] ppid=29901 vsize=10915392 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29974/stat : 29974 (java) S 29901 29904 22965 0 -1 1077944384 1365 12503 0 0 16 0 7 3 20 0 20 0 8457140 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618178410608 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29975] ppid=29901 vsize=10915392 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29975/stat : 29975 (java) R 29901 29904 22965 0 -1 4202560 1380 12503 0 0 28 0 7 3 20 0 20 0 8457140 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618177357808 140618710159962 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29976] ppid=29901 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29976/stat : 29976 (java) S 29901 29904 22965 0 -1 1077944384 3 12503 0 0 0 0 7 3 20 0 20 0 8457140 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618176306272 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29977] ppid=29901 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29977/stat : 29977 (java) S 29901 29904 22965 0 -1 1077944384 6 12503 0 0 0 0 7 3 20 0 20 0 8457140 11177361408 44136 33554432000 4194304 4196468 140728393681616 140618175253552 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10915392

[startup+3.10105 s]
/proc/loadavg: 1.96 1.85 2.02 2/281 29977
/proc/meminfo: memFree=27534316/32770624 swapFree=5700/378916
[pid=29904] ppid=29901 vsize=10923772 CPUtime=4.96 cores=0,2,4,6,8,10,12,14
/proc/29904/stat : 29904 (java) S 29901 29904 22965 0 -1 1077944320 37030 12503 0 0 469 17 7 3 20 0 20 0 8457121 11185942528 49004 33554432000 4194304 4196468 140728393681616 140728393664160 140618710138615 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
/proc/29904/statm: 2730943 49004 3475 1 0 2718498 0
[pid=29904/tid=29959] ppid=29901 vsize=10923772 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29959/stat : 29959 (java) R 29901 29904 22965 0 -1 4202560 25464 12503 0 0 238 8 7 3 20 0 20 0 8457132 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618714370304 140618710150550 0 4 0 16800975 0 0 0 -1 8 0 0 46 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29960] ppid=29901 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29960/stat : 29960 (java) S 29901 29904 22965 0 -1 1077944384 50 12503 0 0 1 0 7 3 20 0 20 0 8457133 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618646830224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29961] ppid=29901 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29961/stat : 29961 (java) S 29901 29904 22965 0 -1 1077944384 14 12503 0 0 0 0 7 3 20 0 20 0 8457133 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618645777424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29962] ppid=29901 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29962/stat : 29962 (java) S 29901 29904 22965 0 -1 1077944384 30 12503 0 0 0 0 7 3 20 0 20 0 8457133 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618644724624 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29963] ppid=29901 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29963/stat : 29963 (java) S 29901 29904 22965 0 -1 1077944384 145 12503 0 0 0 0 7 3 20 0 20 0 8457133 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618643671824 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29964] ppid=29901 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29964/stat : 29964 (java) S 29901 29904 22965 0 -1 1077944384 9 12503 0 0 0 0 7 3 20 0 20 0 8457133 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618642619024 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29965] ppid=29901 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29965/stat : 29965 (java) S 29901 29904 22965 0 -1 1077944384 17 12503 0 0 1 0 7 3 20 0 20 0 8457133 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618641566224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29966] ppid=29901 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29966/stat : 29966 (java) S 29901 29904 22965 0 -1 1077944384 23 12503 0 0 1 0 7 3 20 0 20 0 8457133 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618640513424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29967] ppid=29901 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29967/stat : 29967 (java) S 29901 29904 22965 0 -1 1077944384 35 12503 0 0 1 0 7 3 20 0 20 0 8457133 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618309167376 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29968] ppid=29901 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29968/stat : 29968 (java) S 29901 29904 22965 0 -1 1077944384 1486 12503 0 0 1 0 7 3 20 0 20 0 8457135 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618184727408 140618710149762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29969] ppid=29901 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29969/stat : 29969 (java) S 29901 29904 22965 0 -1 1077944384 58 12503 0 0 0 0 7 3 20 0 20 0 8457135 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618183673376 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29970] ppid=29901 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29970/stat : 29970 (java) S 29901 29904 22965 0 -1 1077944384 43 12503 0 0 0 0 7 3 20 0 20 0 8457136 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618182620544 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29971] ppid=29901 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29971/stat : 29971 (java) S 29901 29904 22965 0 -1 1077944384 1 12503 0 0 0 0 7 3 20 0 20 0 8457139 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618181568848 140618710157211 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29972] ppid=29901 vsize=10923772 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29972/stat : 29972 (java) R 29901 29904 22965 0 -1 4202560 1417 12503 0 0 42 1 7 3 20 0 20 0 8457140 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618180501600 140618695026449 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29973] ppid=29901 vsize=10923772 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29973/stat : 29973 (java) S 29901 29904 22965 0 -1 1077944384 983 12503 0 0 35 1 7 3 20 0 20 0 8457140 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618179463408 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29974] ppid=29901 vsize=10923772 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29974/stat : 29974 (java) R 29901 29904 22965 0 -1 4202560 2017 12503 0 0 47 0 7 3 20 0 20 0 8457140 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618178410608 140618710150550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29975] ppid=29901 vsize=10923772 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29975/stat : 29975 (java) R 29901 29904 22965 0 -1 4202560 3104 12503 0 0 94 1 7 3 20 0 20 0 8457140 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618177357808 140618694304320 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29976] ppid=29901 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29976/stat : 29976 (java) S 29901 29904 22965 0 -1 1077944384 3 12503 0 0 0 0 7 3 20 0 20 0 8457140 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618176306272 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29977] ppid=29901 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29977/stat : 29977 (java) S 29901 29904 22965 0 -1 1077944384 7 12503 0 0 0 0 7 3 20 0 20 0 8457140 11185942528 49004 33554432000 4194304 4196468 140728393681616 140618175253552 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 10923772

[startup+6.30116 s]
/proc/loadavg: 1.96 1.85 2.02 11/281 29977
/proc/meminfo: memFree=27353588/32770624 swapFree=5700/378928
[pid=29904] ppid=29901 vsize=10997500 CPUtime=18.23 cores=0,2,4,6,8,10,12,14
/proc/29904/stat : 29904 (java) S 29901 29904 22965 0 -1 1077944320 72509 12503 0 0 1784 29 7 3 20 0 20 0 8457121 11261440000 96830 33554432000 4194304 4196468 140728393681616 140728393664160 140618710138615 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
/proc/29904/statm: 2749375 96830 3499 1 0 2736930 0
[pid=29904/tid=29959] ppid=29901 vsize=10997500 CPUtime=5.41 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29959/stat : 29959 (java) R 29901 29904 22965 0 -1 4202560 39931 12503 0 0 519 12 7 3 20 0 20 0 8457132 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618714367104 140618340052668 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29960] ppid=29901 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29960/stat : 29960 (java) S 29901 29904 22965 0 -1 1077944384 63 12503 0 0 16 0 7 3 20 0 20 0 8457133 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618646830224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29961] ppid=29901 vsize=10997500 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29961/stat : 29961 (java) S 29901 29904 22965 0 -1 1077944384 42 12503 0 0 19 0 7 3 20 0 20 0 8457133 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618645777424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29962] ppid=29901 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29962/stat : 29962 (java) S 29901 29904 22965 0 -1 1077944384 57 12503 0 0 17 0 7 3 20 0 20 0 8457133 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618644724624 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29963] ppid=29901 vsize=10997500 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29963/stat : 29963 (java) S 29901 29904 22965 0 -1 1077944384 229 12503 0 0 18 1 7 3 20 0 20 0 8457133 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618643671824 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29964] ppid=29901 vsize=10997500 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29964/stat : 29964 (java) S 29901 29904 22965 0 -1 1077944384 29 12503 0 0 13 0 7 3 20 0 20 0 8457133 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618642619024 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29965] ppid=29901 vsize=10997500 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29965/stat : 29965 (java) S 29901 29904 22965 0 -1 1077944384 45 12503 0 0 14 0 7 3 20 0 20 0 8457133 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618641566224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29966] ppid=29901 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29966/stat : 29966 (java) S 29901 29904 22965 0 -1 1077944384 37 12503 0 0 17 0 7 3 20 0 20 0 8457133 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618640513424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29967] ppid=29901 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29967/stat : 29967 (java) S 29901 29904 22965 0 -1 1077944384 64 12503 0 0 18 0 7 3 20 0 20 0 8457133 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618309167376 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29968] ppid=29901 vsize=10997500 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29968/stat : 29968 (java) S 29901 29904 22965 0 -1 1077944384 2366 12503 0 0 15 0 7 3 20 0 20 0 8457135 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618184727408 140618710149762 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29969] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29969/stat : 29969 (java) S 29901 29904 22965 0 -1 1077944384 59 12503 0 0 0 0 7 3 20 0 20 0 8457135 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618183673504 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29970] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29970/stat : 29970 (java) S 29901 29904 22965 0 -1 1077944384 44 12503 0 0 0 0 7 3 20 0 20 0 8457136 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618182620544 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29971] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29971/stat : 29971 (java) S 29901 29904 22965 0 -1 1077944384 1 12503 0 0 0 0 7 3 20 0 20 0 8457139 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618181568848 140618710157211 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29972] ppid=29901 vsize=10997500 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29972/stat : 29972 (java) R 29901 29904 22965 0 -1 4202560 7067 12503 0 0 295 2 7 3 20 0 20 0 8457140 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618180503024 140618691683259 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29973] ppid=29901 vsize=10997500 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29973/stat : 29973 (java) R 29901 29904 22965 0 -1 4202560 4559 12503 0 0 263 2 7 3 20 0 20 0 8457140 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618179449968 140618694531039 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29974] ppid=29901 vsize=10997500 CPUtime=3.35 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29974/stat : 29974 (java) R 29901 29904 22965 0 -1 4202560 7703 12503 0 0 324 1 7 3 20 0 20 0 8457140 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618178403424 140618689362484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29975] ppid=29901 vsize=10997500 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29975/stat : 29975 (java) S 29901 29904 22965 0 -1 1077944384 8074 12503 0 0 228 3 7 3 20 0 20 0 8457140 11261440000 96830 33554432000 4194304 4196468 140728393681616 140618177357808 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29976] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14

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

/proc/29904/task/29973/stat : 29973 (java) S 29901 29904 22965 0 -1 1077944384 15456 12503 0 0 736 7 7 3 20 0 20 0 8457140 11261440000 281068 33554432000 4194304 4196468 140728393681616 140618179463408 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29974] ppid=29901 vsize=10997500 CPUtime=7.88 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29974/stat : 29974 (java) S 29901 29904 22965 0 -1 1077944384 18352 12503 0 0 773 5 7 3 20 0 20 0 8457140 11261440000 281068 33554432000 4194304 4196468 140728393681616 140618178410608 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29975] ppid=29901 vsize=10997500 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29975/stat : 29975 (java) S 29901 29904 22965 0 -1 1077944384 31771 12503 0 0 417 7 7 3 20 0 20 0 8457140 11261440000 281068 33554432000 4194304 4196468 140728393681616 140618177357808 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29976] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29976/stat : 29976 (java) S 29901 29904 22965 0 -1 1077944384 3 12503 0 0 0 0 7 3 20 0 20 0 8457140 11261440000 281068 33554432000 4194304 4196468 140728393681616 140618176306272 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29977] ppid=29901 vsize=10997500 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29977/stat : 29977 (java) S 29901 29904 22965 0 -1 1077944384 1060 12503 0 0 59 60 7 3 20 0 20 0 8457140 11261440000 281068 33554432000 4194304 4196468 140728393681616 140618175253552 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
Current children cumulated CPU time (s) 2283.85
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 1.33 1.39 1.52 3/281 30347
/proc/meminfo: memFree=29209976/32770624 swapFree=5700/380312
[pid=29904] ppid=29901 vsize=10997500 CPUtime=2345.41 cores=0,2,4,6,8,10,12,14
/proc/29904/stat : 29904 (java) S 29901 29904 22965 0 -1 1077944320 255609 12503 0 0 234116 415 7 3 20 0 20 0 8457121 11261440000 278887 33554432000 4194304 4196468 140728393681616 140728393664160 140618710138615 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
/proc/29904/statm: 2749375 278887 3528 1 0 2736930 0
[pid=29904/tid=29959] ppid=29901 vsize=10997500 CPUtime=2242.51 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29959/stat : 29959 (java) R 29901 29904 22965 0 -1 4202560 88045 12503 0 0 224198 43 7 3 20 0 20 0 8457132 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618714372720 140618327407592 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29960] ppid=29901 vsize=10997500 CPUtime=8.43 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29960/stat : 29960 (java) S 29901 29904 22965 0 -1 1077944384 10660 12503 0 0 797 36 7 3 20 0 20 0 8457133 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618646830224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29961] ppid=29901 vsize=10997500 CPUtime=8.62 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29961/stat : 29961 (java) S 29901 29904 22965 0 -1 1077944384 7482 12503 0 0 818 34 7 3 20 0 20 0 8457133 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618645777424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29962] ppid=29901 vsize=10997500 CPUtime=8.5 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29962/stat : 29962 (java) S 29901 29904 22965 0 -1 1077944384 8692 12503 0 0 800 40 7 3 20 0 20 0 8457133 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618644724624 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29963] ppid=29901 vsize=10997500 CPUtime=8.59 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29963/stat : 29963 (java) S 29901 29904 22965 0 -1 1077944384 10814 12503 0 0 814 35 7 3 20 0 20 0 8457133 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618643671824 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29964] ppid=29901 vsize=10997500 CPUtime=8.61 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29964/stat : 29964 (java) S 29901 29904 22965 0 -1 1077944384 8545 12503 0 0 814 37 7 3 20 0 20 0 8457133 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618642619024 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29965] ppid=29901 vsize=10997500 CPUtime=8.58 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29965/stat : 29965 (java) S 29901 29904 22965 0 -1 1077944384 5848 12503 0 0 816 32 7 3 20 0 20 0 8457133 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618641566224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29966] ppid=29901 vsize=10997500 CPUtime=8.54 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29966/stat : 29966 (java) S 29901 29904 22965 0 -1 1077944384 5358 12503 0 0 809 35 7 3 20 0 20 0 8457133 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618640513424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29967] ppid=29901 vsize=10997500 CPUtime=8.69 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29967/stat : 29967 (java) S 29901 29904 22965 0 -1 1077944384 8677 12503 0 0 826 33 7 3 20 0 20 0 8457133 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618309167376 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29968] ppid=29901 vsize=10997500 CPUtime=6.92 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29968/stat : 29968 (java) S 29901 29904 22965 0 -1 1077944384 16509 12503 0 0 648 34 7 3 20 0 20 0 8457135 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618184727408 140618710149762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29969] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29969/stat : 29969 (java) S 29901 29904 22965 0 -1 1077944384 67 12503 0 0 0 0 7 3 20 0 20 0 8457135 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618183673504 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29970] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29970/stat : 29970 (java) S 29901 29904 22965 0 -1 1077944384 44 12503 0 0 0 0 7 3 20 0 20 0 8457136 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618182620544 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29971] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29971/stat : 29971 (java) S 29901 29904 22965 0 -1 1077944384 1 12503 0 0 0 0 7 3 20 0 20 0 8457139 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618181568848 140618710157211 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29972] ppid=29901 vsize=10997500 CPUtime=7.58 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29972/stat : 29972 (java) S 29901 29904 22965 0 -1 1077944384 16066 12503 0 0 741 7 7 3 20 0 20 0 8457140 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618180516208 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29973] ppid=29901 vsize=10997500 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29973/stat : 29973 (java) S 29901 29904 22965 0 -1 1077944384 15458 12503 0 0 737 7 7 3 20 0 20 0 8457140 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618179463408 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29974] ppid=29901 vsize=10997500 CPUtime=7.88 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29974/stat : 29974 (java) S 29901 29904 22965 0 -1 1077944384 18354 12503 0 0 773 5 7 3 20 0 20 0 8457140 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618178410608 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29975] ppid=29901 vsize=10997500 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29975/stat : 29975 (java) S 29901 29904 22965 0 -1 1077944384 31773 12503 0 0 417 7 7 3 20 0 20 0 8457140 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618177357808 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29976] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29976/stat : 29976 (java) S 29901 29904 22965 0 -1 1077944384 3 12503 0 0 0 0 7 3 20 0 20 0 8457140 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618176306272 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29977] ppid=29901 vsize=10997500 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29977/stat : 29977 (java) S 29901 29904 22965 0 -1 1077944384 1085 12503 0 0 61 62 7 3 20 0 20 0 8457140 11261440000 278887 33554432000 4194304 4196468 140728393681616 140618175253552 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
Current children cumulated CPU time (s) 2345.41
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2315.5 s]
/proc/loadavg: 1.56 1.44 1.53 3/281 30348
/proc/meminfo: memFree=29233392/32770624 swapFree=5700/380348
[pid=29904] ppid=29901 vsize=10997500 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/29904/stat : 29904 (java) S 29901 29904 22965 0 -1 1077944320 256848 12503 0 0 239569 423 7 3 20 0 20 0 8457121 11261440000 278759 33554432000 4194304 4196468 140728393681616 140728393664160 140618710138615 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
/proc/29904/statm: 2749375 278759 3528 1 0 2736930 0
[pid=29904/tid=29959] ppid=29901 vsize=10997500 CPUtime=2295.24 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29959/stat : 29959 (java) R 29901 29904 22965 0 -1 4202560 88604 12503 0 0 229471 43 7 3 20 0 20 0 8457132 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618714372752 140618340667037 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29960] ppid=29901 vsize=10997500 CPUtime=8.63 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29960/stat : 29960 (java) S 29901 29904 22965 0 -1 1077944384 10732 12503 0 0 817 36 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618646830224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29961] ppid=29901 vsize=10997500 CPUtime=8.84 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29961/stat : 29961 (java) S 29901 29904 22965 0 -1 1077944384 7715 12503 0 0 838 36 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618645777424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29962] ppid=29901 vsize=10997500 CPUtime=8.71 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29962/stat : 29962 (java) S 29901 29904 22965 0 -1 1077944384 8719 12503 0 0 820 41 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618644724624 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29963] ppid=29901 vsize=10997500 CPUtime=8.79 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29963/stat : 29963 (java) S 29901 29904 22965 0 -1 1077944384 10830 12503 0 0 833 36 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618643671824 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29964] ppid=29901 vsize=10997500 CPUtime=8.83 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29964/stat : 29964 (java) S 29901 29904 22965 0 -1 1077944384 8560 12503 0 0 835 38 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618642619024 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29965] ppid=29901 vsize=10997500 CPUtime=8.79 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29965/stat : 29965 (java) S 29901 29904 22965 0 -1 1077944384 5905 12503 0 0 836 33 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618641566224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29966] ppid=29901 vsize=10997500 CPUtime=8.74 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29966/stat : 29966 (java) S 29901 29904 22965 0 -1 1077944384 5374 12503 0 0 829 35 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618640513424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29967] ppid=29901 vsize=10997500 CPUtime=8.89 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29967/stat : 29967 (java) S 29901 29904 22965 0 -1 1077944384 8694 12503 0 0 845 34 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618309167376 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29968] ppid=29901 vsize=10997500 CPUtime=7.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29968/stat : 29968 (java) S 29901 29904 22965 0 -1 1077944384 16714 12503 0 0 665 35 7 3 20 0 20 0 8457135 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618184727408 140618710149762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29969] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29969/stat : 29969 (java) S 29901 29904 22965 0 -1 1077944384 67 12503 0 0 0 0 7 3 20 0 20 0 8457135 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618183673504 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29970] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29970/stat : 29970 (java) S 29901 29904 22965 0 -1 1077944384 44 12503 0 0 0 0 7 3 20 0 20 0 8457136 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618182620544 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29971] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29971/stat : 29971 (java) S 29901 29904 22965 0 -1 1077944384 1 12503 0 0 0 0 7 3 20 0 20 0 8457139 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618181568848 140618710157211 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29972] ppid=29901 vsize=10997500 CPUtime=7.58 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29972/stat : 29972 (java) S 29901 29904 22965 0 -1 1077944384 16068 12503 0 0 741 7 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618180516208 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29973] ppid=29901 vsize=10997500 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29973/stat : 29973 (java) S 29901 29904 22965 0 -1 1077944384 15460 12503 0 0 737 7 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618179463408 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29974] ppid=29901 vsize=10997500 CPUtime=7.88 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29974/stat : 29974 (java) S 29901 29904 22965 0 -1 1077944384 18356 12503 0 0 773 5 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618178410608 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29975] ppid=29901 vsize=10997500 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29975/stat : 29975 (java) S 29901 29904 22965 0 -1 1077944384 31775 12503 0 0 417 7 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618177357808 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29976] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29976/stat : 29976 (java) S 29901 29904 22965 0 -1 1077944384 3 12503 0 0 0 0 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618176306272 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29977] ppid=29901 vsize=10997500 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29977/stat : 29977 (java) S 29901 29904 22965 0 -1 1077944384 1099 12503 0 0 63 63 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618175253552 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29904 sig 9
??? kill -29904 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2315.5 s]
/proc/loadavg: 1.56 1.44 1.53 3/281 30348
/proc/meminfo: memFree=29233392/32770624 swapFree=5700/380348
[pid=29904] ppid=29901 vsize=10997500 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/29904/stat : 29904 (java) S 29901 29904 22965 0 -1 1077944320 256848 12503 0 0 239569 423 7 3 20 0 20 0 8457121 11261440000 278759 33554432000 4194304 4196468 140728393681616 140728393664160 140618710138615 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
/proc/29904/statm: 2749375 278759 3528 1 0 2736930 0
[pid=29904/tid=29959] ppid=29901 vsize=10997500 CPUtime=2295.24 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29959/stat : 29959 (java) R 29901 29904 22965 0 -1 4202560 88604 12503 0 0 229471 43 7 3 20 0 20 0 8457132 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618714372752 140618340667037 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29960] ppid=29901 vsize=10997500 CPUtime=8.63 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29960/stat : 29960 (java) S 29901 29904 22965 0 -1 1077944384 10732 12503 0 0 817 36 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618646830224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29961] ppid=29901 vsize=10997500 CPUtime=8.84 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29961/stat : 29961 (java) S 29901 29904 22965 0 -1 1077944384 7715 12503 0 0 838 36 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618645777424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29962] ppid=29901 vsize=10997500 CPUtime=8.71 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29962/stat : 29962 (java) S 29901 29904 22965 0 -1 1077944384 8719 12503 0 0 820 41 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618644724624 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29963] ppid=29901 vsize=10997500 CPUtime=8.79 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29963/stat : 29963 (java) S 29901 29904 22965 0 -1 1077944384 10830 12503 0 0 833 36 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618643671824 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29964] ppid=29901 vsize=10997500 CPUtime=8.83 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29964/stat : 29964 (java) S 29901 29904 22965 0 -1 1077944384 8560 12503 0 0 835 38 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618642619024 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29965] ppid=29901 vsize=10997500 CPUtime=8.79 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29965/stat : 29965 (java) S 29901 29904 22965 0 -1 1077944384 5905 12503 0 0 836 33 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618641566224 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29966] ppid=29901 vsize=10997500 CPUtime=8.74 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29966/stat : 29966 (java) S 29901 29904 22965 0 -1 1077944384 5374 12503 0 0 829 35 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618640513424 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29967] ppid=29901 vsize=10997500 CPUtime=8.89 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29967/stat : 29967 (java) S 29901 29904 22965 0 -1 1077944384 8694 12503 0 0 845 34 7 3 20 0 20 0 8457133 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618309167376 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29968] ppid=29901 vsize=10997500 CPUtime=7.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29968/stat : 29968 (java) S 29901 29904 22965 0 -1 1077944384 16714 12503 0 0 665 35 7 3 20 0 20 0 8457135 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618184727408 140618710149762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29969] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29969/stat : 29969 (java) S 29901 29904 22965 0 -1 1077944384 67 12503 0 0 0 0 7 3 20 0 20 0 8457135 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618183673504 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29970] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29970/stat : 29970 (java) S 29901 29904 22965 0 -1 1077944384 44 12503 0 0 0 0 7 3 20 0 20 0 8457136 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618182620544 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29971] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29971/stat : 29971 (java) S 29901 29904 22965 0 -1 1077944384 1 12503 0 0 0 0 7 3 20 0 20 0 8457139 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618181568848 140618710157211 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29972] ppid=29901 vsize=10997500 CPUtime=7.58 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29972/stat : 29972 (java) S 29901 29904 22965 0 -1 1077944384 16068 12503 0 0 741 7 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618180516208 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29973] ppid=29901 vsize=10997500 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29973/stat : 29973 (java) S 29901 29904 22965 0 -1 1077944384 15460 12503 0 0 737 7 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618179463408 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29974] ppid=29901 vsize=10997500 CPUtime=7.88 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29974/stat : 29974 (java) S 29901 29904 22965 0 -1 1077944384 18356 12503 0 0 773 5 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618178410608 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29975] ppid=29901 vsize=10997500 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29975/stat : 29975 (java) S 29901 29904 22965 0 -1 1077944384 31775 12503 0 0 417 7 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618177357808 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29976] ppid=29901 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29976/stat : 29976 (java) S 29901 29904 22965 0 -1 1077944384 3 12503 0 0 0 0 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618176306272 140618710148821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
[pid=29904/tid=29977] ppid=29901 vsize=10997500 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/29904/task/29977/stat : 29977 (java) S 29901 29904 22965 0 -1 1077944384 1099 12503 0 0 63 63 7 3 20 0 20 0 8457140 11261440000 278759 33554432000 4194304 4196468 140728393681616 140618175253552 140618710149762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19267584 140728393689793 140728393692567 140728393692567 140728393695183 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500

Child status: 143
Real time (s): 2315.54
CPU time (s): 2400.07
CPU user time (s): 2395.79
CPU system time (s): 4.27363
CPU usage (%): 103.651
Max. virtual memory (cumulated for all children) (KiB): 10997500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.79
system time used= 4.27363
maximum resident set size= 1168264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 306807
involuntary context switches= 183942

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9134 second user time and 21.5466 second system time

The end

Launcher Data

Begin job on node130 at 2017-07-22 15:58:16
IDJOB=4247444
IDBENCH=127025
IDSOLVER=2630
FILE ID=node130/4247444-1500731896
RUNJOBID= node130-1500712981-22996
PBS_JOBID= 20623351
Free space on /tmp= 61856 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-038.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247444-1500731896/watcher-4247444-1500731896 -o /tmp/evaluation-result-4247444-1500731896/solver-4247444-1500731896 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22996 --watchdog 2560  bin/concrete HOME/instance-4247444-1500731896.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 5c46c59146557e02d06c9ff3e1746190
RANDOM SEED=9500049

node130.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27723156 kB
MemAvailable:   28151948 kB
Buffers:          149932 kB
Cached:           557904 kB
SwapCached:            0 kB
Active:          4213632 kB
Inactive:         387736 kB
Active(anon):    3896424 kB
Inactive(anon):     8844 kB
Active(file):     317208 kB
Inactive(file):   378892 kB
Unevictable:        5700 kB
Mlocked:            5700 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24676 kB
Writeback:             0 kB
AnonPages:       3905792 kB
Mapped:            44240 kB
Shmem:              8844 kB
Slab:             132304 kB
SReclaimable:      97052 kB
SUnreclaim:        35252 kB
KernelStack:        4848 kB
PageTables:        13280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4249220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3622912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61832 MiB
End job on node130 at 2017-07-22 16:36:52

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml
MD5SUM	5c46c59146557e02d06c9ff3e1746190
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	95
Best CPU time to get the best result obtained on this benchmark	20037.801
Satisfiable
(Un)Satisfiability was proved
Number of variables	1481
Number of constraints	777
Number of domains	75
Minimum domain size	2
Maximum domain size	75
Distribution of domain sizes	[{"size":2,"count":742},{"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":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"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}]
Minimum variable degree	0
Maximum variable degree	37
Distribution of variable degrees	[{"degree":0,"count":666},{"degree":2,"count":777},{"degree":37,"count":38}]
Minimum constraint arity	2
Maximum constraint arity	38
Distribution of constraint arities	[{"arity":2,"count":38},{"arity":3,"count":704},{"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}]
Number of extensional constraints	0
Number of intensional constraints	740
Distribution of constraint types	[{"type":"intension","count":740},{"type":"sum","count":37}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4247444

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