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
Concrete 3.4	SAT (TO)	143	2520.1499	2458.4299

3.16/2.19	c Concrete v3.4 running
12.13/5.10	o 17575
12.77/5.20	o 13711
13.75/5.51	o 13687
13.75/5.55	o 10615
13.75/5.59	o 10607
14.07/5.63	o 8303
14.07/5.67	o 8239
14.36/5.70	o 8167
14.36/5.73	o 6407
14.36/5.75	o 3487
14.36/5.78	o 2055
14.67/5.80	o 1831
14.67/5.85	o 1239
14.67/5.87	o 911
14.98/5.94	o 759
14.98/5.96	o 543
14.98/5.99	o 511
15.28/6.01	o 311
16.95/6.81	o 199
32.43/20.07	o 167
554.55/524.12	o 159
2065.69/2011.44	o 143
2520.09/2458.40	java.util.concurrent.TimeoutException
2520.09/2458.41		at concrete.MAC.mac(MAC.scala:74)
2520.09/2458.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.09/2458.41		at scala.util.Try$.apply(Try.scala:209)
2520.09/2458.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.09/2458.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.09/2458.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.09/2458.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.09/2458.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.09/2458.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.09/2458.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.09/2458.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.09/2458.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.09/2458.41		at concrete.MAC.oneRun(MAC.scala:146)
2520.09/2458.41		at concrete.MAC.nextSolution(MAC.scala:166)
2520.09/2458.41		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.09/2458.41		at concrete.ProblemState.map(ProblemState.scala:203)
2520.09/2458.41		at concrete.ProblemState.map(ProblemState.scala:188)
2520.09/2458.41		at concrete.MAC.nextSolution(MAC.scala:195)
2520.09/2458.41		at concrete.Solver.hasNext(Solver.scala:202)
2520.09/2458.41		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.09/2458.41		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.09/2458.41		at concrete.Solver.toStream(Solver.scala:73)
2520.09/2458.41		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.09/2458.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.09/2458.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.09/2458.41		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.09/2458.41		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.09/2458.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.09/2458.41		at scala.util.Success.map(Try.scala:209)
2520.09/2458.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.09/2458.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.09/2458.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.09/2458.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.09/2458.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.09/2458.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.09/2458.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.09/2458.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.09/2458.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.09/2458.41		at scala.collection.immutable.List.foreach(List.scala:389)
2520.09/2458.41		at scala.App.main(App.scala:76)
2520.09/2458.41		at scala.App.main$(App.scala:74)
2520.09/2458.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.09/2458.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.09/2458.41	v <instantiation cost="143">
2520.09/2458.41	v       <list>
2520.09/2458.41	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]
2520.09/2458.41	v       </list>
2520.09/2458.41	v       <values>
2520.09/2458.41	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
2520.09/2458.41	v       </values>
2520.09/2458.41	v     </instantiation>
2520.09/2458.41	s SATISFIABLE

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-4261993-1502449128/watcher-4261993-1502449128 -o /tmp/evaluation-result-4261993-1502449128/solver-4261993-1502449128 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502411413-16612 --watchdog 2580 bin/concrete HOME/instance-4261993-1502449128.xml 

pid=24290
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.63 1.52 1.45 2/194 24293
/proc/meminfo: memFree=30519692/32770624 swapFree=0/306500
[pid=24293] ppid=24290 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24293/stat : 24293 (runsolver) D 24290 24293 16548 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47108349 24240128 107 18446744073709551615 4194304 4338465 140720844338432 140720844336072 139891047707351 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 14778368 140720844341456 140720844341833 140720844341833 140720844345290 0
/proc/24293/statm: 5918 107 54 36 0 2156 0

[startup+0.100093 s]
/proc/loadavg: 1.63 1.52 1.45 2/194 24293
/proc/meminfo: memFree=30519692/32770624 swapFree=0/306500
[pid=24293] ppid=24290 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/24293/stat : 24293 (bash) S 24290 24293 16548 0 -1 4202496 715 3535 0 0 0 0 0 0 20 0 1 0 47108349 9736192 355 18446744073709551615 4194304 5098028 140728698113968 140728698111608 139731029019648 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 31244288 140728698118676 140728698118761 140728698118761 140728698122218 0
/proc/24293/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200238 s]
/proc/loadavg: 1.63 1.52 1.45 2/194 24293
/proc/meminfo: memFree=30519692/32770624 swapFree=0/306500
[pid=24293] ppid=24290 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/24293/stat : 24293 (bash) S 24290 24293 16548 0 -1 4202496 892 6483 0 0 0 0 0 1 20 0 1 0 47108349 9867264 373 18446744073709551615 4194304 5098028 140728698113968 140728698107976 139731029019648 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 31244288 140728698118676 140728698118761 140728698118761 140728698122218 0
/proc/24293/statm: 2409 373 292 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300306 s]
/proc/loadavg: 1.63 1.52 1.45 2/194 24293
/proc/meminfo: memFree=30519692/32770624 swapFree=0/306500
[pid=24293] ppid=24290 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/24293/stat : 24293 (java) S 24290 24293 16548 0 -1 1077944320 5810 12725 0 0 5 1 4 3 20 0 14 0 47108349 14241083392 5492 18446744073709551615 4194304 4196468 140728335858320 140728335840864 139651368357623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
/proc/24293/statm: 3476827 5492 2568 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700291 s]
/proc/loadavg: 1.63 1.52 1.45 2/194 24293
/proc/meminfo: memFree=30519692/32770624 swapFree=0/306500
[pid=24293] ppid=24290 vsize=13974784 CPUtime=0.68 cores=1,3,5,7
/proc/24293/stat : 24293 (java) S 24290 24293 16548 0 -1 1077944320 13867 12725 0 0 57 4 4 3 20 0 15 0 47108349 14310178816 14279 18446744073709551615 4194304 4196468 140728335858320 140728335840864 139651368357623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
/proc/24293/statm: 3493696 14279 3112 1 0 3482965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784

[startup+1.50301 s]
/proc/loadavg: 1.58 1.51 1.45 3/209 24356
/proc/meminfo: memFree=30423204/32770624 swapFree=0/306620
[pid=24293] ppid=24290 vsize=13985408 CPUtime=1.89 cores=1,3,5,7
/proc/24293/stat : 24293 (java) S 24290 24293 16548 0 -1 1077944320 26780 12725 0 0 171 11 4 3 20 0 15 0 47108349 14321057792 43249 18446744073709551615 4194304 4196468 140728335858320 140728335840864 139651368357623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
/proc/24293/statm: 3496352 43249 3362 1 0 3485525 0
[pid=24293/tid=24343] ppid=24290 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/24293/task/24343/stat : 24343 (java) S 24290 24293 16548 0 -1 1077944384 20570 12725 0 0 113 7 4 3 20 0 15 0 47108371 14321057792 43249 18446744073709551615 4194304 4196468 140728335858320 139651372576032 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24344] ppid=24290 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24344/stat : 24344 (java) S 24290 24293 16548 0 -1 1077944384 183 12725 0 0 0 0 4 3 20 0 15 0 47108372 14321057792 43249 18446744073709551615 4194304 4196468 140728335858320 139650968926736 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24345] ppid=24290 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24345/stat : 24345 (java) S 24290 24293 16548 0 -1 1077944384 41 12725 0 0 0 0 4 3 20 0 15 0 47108372 14321057792 43249 18446744073709551615 4194304 4196468 140728335858320 139650967874192 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24346] ppid=24290 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24293/task/24346/stat : 24346 (java) S 24290 24293 16548 0 -1 1077944384 41 12725 0 0 1 0 4 3 20 0 15 0 47108372 14321057792 43249 18446744073709551615 4194304 4196468 140728335858320 139650966821136 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24347] ppid=24290 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24293/task/24347/stat : 24347 (java) S 24290 24293 16548 0 -1 1077944384 41 12725 0 0 1 0 4 3 20 0 15 0 47108372 14321057792 43249 18446744073709551615 4194304 4196468 140728335858320 139650965768592 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24348] ppid=24290 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24293/task/24348/stat : 24348 (java) R 24290 24293 16548 0 -1 4202560 630 12725 0 0 1 0 4 3 20 0 15 0 47108373 14321057792 43249 18446744073709551615 4194304 4196468 140728335858320 139650352219424 139651360647072 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24349] ppid=24290 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24349/stat : 24349 (java) S 24290 24293 16548 0 -1 1077944384 33 12725 0 0 0 0 4 3 20 0 15 0 47108374 14321057792 43249 18446744073709551615 4194304 4196468 140728335858320 139650351167136 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24350] ppid=24290 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24350/stat : 24350 (java) S 24290 24293 16548 0 -1 1077944384 21 12725 0 0 0 0 4 3 20 0 15 0 47108374 14321057792 43147 18446744073709551615 4194304 4196468 140728335858320 139650350114032 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24351] ppid=24290 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24351/stat : 24351 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14321057792 43147 18446744073709551615 4194304 4196468 140728335858320 139650349062608 139651368376219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24352] ppid=24290 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/24293/task/24352/stat : 24352 (java) S 24290 24293 16548 0 -1 1077944384 1087 12725 0 0 17 0 4 3 20 0 15 0 47108377 14321057792 43147 18446744073709551615 4194304 4196468 140728335858320 139650348009712 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24353] ppid=24290 vsize=13985408 CPUtime=0.18 cores=1,3,5,7
/proc/24293/task/24353/stat : 24353 (java) S 24290 24293 16548 0 -1 1077944384 732 12725 0 0 11 0 4 3 20 0 15 0 47108377 14321057792 43147 18446744073709551615 4194304 4196468 140728335858320 139650346957168 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24354] ppid=24290 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/24293/task/24354/stat : 24354 (java) S 24290 24293 16548 0 -1 1077944384 1240 12725 0 0 22 0 4 3 20 0 15 0 47108377 14321057792 43147 18446744073709551615 4194304 4196468 140728335858320 139650345904112 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24355] ppid=24290 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24355/stat : 24355 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14321057792 43147 18446744073709551615 4194304 4196468 140728335858320 139650344851808 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24356] ppid=24290 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24356/stat : 24356 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108380 14321057792 43147 18446744073709551615 4194304 4196468 140728335858320 139650343799856 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408

[startup+3.10166 s]
/proc/loadavg: 1.58 1.51 1.45 5/209 24356
/proc/meminfo: memFree=30348068/32770624 swapFree=0/306620
[pid=24293] ppid=24290 vsize=13997884 CPUtime=5.87 cores=1,3,5,7
/proc/24293/stat : 24293 (java) S 24290 24293 16548 0 -1 1077944320 36592 12725 0 0 565 15 4 3 20 0 15 0 47108349 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 140728335840864 139651368357623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
/proc/24293/statm: 3499471 55378 3444 1 0 3488085 0
[pid=24293/tid=24343] ppid=24290 vsize=13997884 CPUtime=2.85 cores=1,3,5,7
/proc/24293/task/24343/stat : 24343 (java) R 24290 24293 16548 0 -1 4202560 24597 12725 0 0 270 8 4 3 20 0 15 0 47108371 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139651372591568 139651351713546 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24344] ppid=24290 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24344/stat : 24344 (java) S 24290 24293 16548 0 -1 1077944384 183 12725 0 0 0 0 4 3 20 0 15 0 47108372 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650968926736 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24345] ppid=24290 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24345/stat : 24345 (java) S 24290 24293 16548 0 -1 1077944384 41 12725 0 0 0 0 4 3 20 0 15 0 47108372 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650967874192 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24346] ppid=24290 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24293/task/24346/stat : 24346 (java) S 24290 24293 16548 0 -1 1077944384 41 12725 0 0 1 0 4 3 20 0 15 0 47108372 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650966821136 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24347] ppid=24290 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24293/task/24347/stat : 24347 (java) S 24290 24293 16548 0 -1 1077944384 41 12725 0 0 1 0 4 3 20 0 15 0 47108372 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650965768592 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24348] ppid=24290 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24293/task/24348/stat : 24348 (java) S 24290 24293 16548 0 -1 1077944384 633 12725 0 0 1 0 4 3 20 0 15 0 47108373 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650352220912 139651368368770 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24349] ppid=24290 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24349/stat : 24349 (java) S 24290 24293 16548 0 -1 1077944384 54 12725 0 0 0 0 4 3 20 0 15 0 47108374 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650351167200 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24350] ppid=24290 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24350/stat : 24350 (java) S 24290 24293 16548 0 -1 1077944384 45 12725 0 0 0 0 4 3 20 0 15 0 47108374 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650350114048 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24351] ppid=24290 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24351/stat : 24351 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650349062608 139651368376219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24352] ppid=24290 vsize=13997884 CPUtime=1.01 cores=1,3,5,7
/proc/24293/task/24352/stat : 24352 (java) R 24290 24293 16548 0 -1 1077944384 2105 12725 0 0 93 1 4 3 20 0 15 0 47108377 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650347998384 139651368367829 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24353] ppid=24290 vsize=13997884 CPUtime=0.85 cores=1,3,5,7
/proc/24293/task/24353/stat : 24353 (java) R 24290 24293 16548 0 -1 4202560 1938 12725 0 0 78 0 4 3 20 0 15 0 47108377 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650346933152 139651349106224 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24354] ppid=24290 vsize=13997884 CPUtime=1.23 cores=1,3,5,7
/proc/24293/task/24354/stat : 24354 (java) S 24290 24293 16548 0 -1 1077944384 4753 12725 0 0 115 1 4 3 20 0 15 0 47108377 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650345904112 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24355] ppid=24290 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24355/stat : 24355 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650344851808 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24356] ppid=24290 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24356/stat : 24356 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108380 14333833216 55378 18446744073709551615 4194304 4196468 140728335858320 139650343799856 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 13997884

[startup+6.30068 s]
/proc/loadavg: 1.58 1.51 1.45 5/209 24356
/proc/meminfo: memFree=30156312/32770624 swapFree=0/306628
[pid=24293] ppid=24290 vsize=14069564 CPUtime=16.01 cores=1,3,5,7
/proc/24293/stat : 24293 (java) S 24290 24293 16548 0 -1 1077944320 76165 12725 0 0 1571 23 4 3 20 0 15 0 47108349 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 140728335840864 139651368357623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
/proc/24293/statm: 3517391 103729 3478 1 0 3506005 0
[pid=24293/tid=24343] ppid=24290 vsize=14069564 CPUtime=5.75 cores=1,3,5,7
/proc/24293/task/24343/stat : 24343 (java) R 24290 24293 16548 0 -1 4202560 42095 12725 0 0 555 13 4 3 20 0 15 0 47108371 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139651372589184 139651030533845 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24344] ppid=24290 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/24293/task/24344/stat : 24344 (java) S 24290 24293 16548 0 -1 1077944384 760 12725 0 0 12 1 4 3 20 0 15 0 47108372 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650968926736 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24345] ppid=24290 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/24293/task/24345/stat : 24345 (java) S 24290 24293 16548 0 -1 1077944384 53 12725 0 0 10 0 4 3 20 0 15 0 47108372 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650967874192 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24346] ppid=24290 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/24293/task/24346/stat : 24346 (java) S 24290 24293 16548 0 -1 1077944384 71 12725 0 0 14 0 4 3 20 0 15 0 47108372 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650966821136 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24347] ppid=24290 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/24293/task/24347/stat : 24347 (java) S 24290 24293 16548 0 -1 1077944384 212 12725 0 0 14 0 4 3 20 0 15 0 47108372 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650965768592 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24348] ppid=24290 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/24293/task/24348/stat : 24348 (java) S 24290 24293 16548 0 -1 1077944384 2630 12725 0 0 15 0 4 3 20 0 15 0 47108373 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650352220912 139651368368770 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24349] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24349/stat : 24349 (java) S 24290 24293 16548 0 -1 1077944384 57 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650351167264 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24350] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24350/stat : 24350 (java) S 24290 24293 16548 0 -1 1077944384 49 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650350114048 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24351] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24351/stat : 24351 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650349062608 139651368376219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24352] ppid=24290 vsize=14069564 CPUtime=3.74 cores=1,3,5,7
/proc/24293/task/24352/stat : 24352 (java) R 24290 24293 16548 0 -1 4202560 9379 12725 0 0 365 2 4 3 20 0 15 0 47108377 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650347996032 139651345952400 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24353] ppid=24290 vsize=14069564 CPUtime=3.82 cores=1,3,5,7
/proc/24293/task/24353/stat : 24353 (java) R 24290 24293 16548 0 -1 4202560 10571 12725 0 0 373 2 4 3 20 0 15 0 47108377 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650346957168 139651347617991 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24354] ppid=24290 vsize=14069564 CPUtime=2.17 cores=1,3,5,7
/proc/24293/task/24354/stat : 24354 (java) S 24290 24293 16548 0 -1 1077944384 8116 12725 0 0 208 2 4 3 20 0 15 0 47108377 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650345904112 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24355] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24355/stat : 24355 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650344851808 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24356] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24356/stat : 24356 (java) S 24290 24293 16548 0 -1 1077944384 14 12725 0 0 0 0 4 3 20 0 15 0 47108380 14407233536 103729 18446744073709551615 4194304 4196468 140728335858320 139650343799856 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
Current children cumulated CPU time (s) 16.01
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.72 1.55 1.46 4/209 24356
/proc/meminfo: memFree=29844088/32770624 swapFree=0/306628
[pid=24293] ppid=24290 vsize=14069564 CPUtime=24.39 cores=1,3,5,7
/proc/24293/stat : 24293 (java) S 24290 24293 16548 0 -1 1077944320 82998 12725 0 0 2402 30 4 3 20 0 15 0 47108349 14407233536 172120 18446744073709551615 4194304 4196468 140728335858320 140728335840864 139651368357623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
/proc/24293/statm: 3517391 172120 3488 1 0 3506005 0
[pid=24293/tid=24343] ppid=24290 vsize=14069564 CPUtime=12.12 cores=1,3,5,7
/proc/24293/task/24343/stat : 24343 (java) R 24290 24293 16548 0 -1 4202560 43194 12725 0 0 1188 17 4 3 20 0 15 0 47108371 14407233536 172120 18446744073709551615 4194304 4196468 140728335858320 139651372588544 139651029772135 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24344] ppid=24290 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/24293/task/24344/stat : 24344 (java) S 24290 24293 16548 0 -1 1077944384 1717 12725 0 0 13 1 4 3 20 0 15 0 47108372 14407233536 172120 18446744073709551615 4194304 4196468 140728335858320 139650968926736 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24345] ppid=24290 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/24293/task/24345/stat : 24345 (java) S 24290 24293 16548 0 -1 1077944384 133 12725 0 0 11 0 4 3 20 0 15 0 47108372 14407233536 172120 18446744073709551615 4194304 4196468 140728335858320 139650967874192 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24346] ppid=24290 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/24293/task/24346/stat : 24346 (java) S 24290 24293 16548 0 -1 1077944384 174 12725 0 0 15 0 4 3 20 0 15 0 47108372 14407233536 172120 18446744073709551615 4194304 4196468 140728335858320 139650966821136 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24347] ppid=24290 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/24293/task/24347/stat : 24347 (java) S 24290 24293 16548 0 -1 1077944384 331 12725 0 0 15 0 4 3 20 0 15 0 47108372 14407233536 172120 18446744073709551615 4194304 4196468 140728335858320 139650965768592 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24348] ppid=24290 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/24293/task/24348/stat : 24348 (java) S 24290 24293 16548 0 -1 1077944384 2782 12725 0 0 15 0 4 3 20 0 15 0 47108373 14407233536 172120 18446744073709551615 4194304 4196468 140728335858320 139650352220912 139651368368770 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24349] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24349/stat : 24349 (java) S 24290 24293 16548 0 -1 1077944384 57 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 172120 18446744073709551615 4194304 4196468 140728335858320 139650351167264 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24350] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24350/stat : 24350 (java) S 24290 24293 16548 0 -1 1077944384 49 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 172120 18446744073709551615 4194304 4196468 140728335858320 139650350114048 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24351] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24351/stat : 24351 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 172120 18446744073709551615 4194304 4196468 140728335858320 139650349062608 139651368376219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0

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

/proc/24293/task/24355/stat : 24355 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650344851808 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24356] ppid=24290 vsize=14069564 CPUtime=1.36 cores=1,3,5,7
/proc/24293/task/24356/stat : 24356 (java) S 24290 24293 16548 0 -1 1077944384 856 12725 0 0 52 77 4 3 20 0 15 0 47108380 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650343799856 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
Current children cumulated CPU time (s) 2320.8
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 1.56 1.39 1.35 6/209 24664
/proc/meminfo: memFree=29533288/32770624 swapFree=0/307380
[pid=24293] ppid=24290 vsize=14069564 CPUtime=2381.77 cores=1,3,5,7
/proc/24293/stat : 24293 (java) S 24290 24293 16548 0 -1 1077944320 209089 12725 0 0 237813 357 4 3 20 0 15 0 47108349 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 140728335840864 139651368357623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
/proc/24293/statm: 3517391 257214 3488 1 0 3506005 0
[pid=24293/tid=24343] ppid=24290 vsize=14069564 CPUtime=2296.15 cores=1,3,5,7
/proc/24293/task/24343/stat : 24343 (java) R 24290 24293 16548 0 -1 4202560 86075 12725 0 0 229555 53 4 3 20 0 15 0 47108371 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139651372591840 139651030346516 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24344] ppid=24290 vsize=14069564 CPUtime=12.61 cores=1,3,5,7
/proc/24293/task/24344/stat : 24344 (java) S 24290 24293 16548 0 -1 1077944384 8748 12725 0 0 1200 54 4 3 20 0 15 0 47108372 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650968926736 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24345] ppid=24290 vsize=14069564 CPUtime=12.57 cores=1,3,5,7
/proc/24293/task/24345/stat : 24345 (java) S 24290 24293 16548 0 -1 1077944384 8192 12725 0 0 1195 55 4 3 20 0 15 0 47108372 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650967874192 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24346] ppid=24290 vsize=14069564 CPUtime=12.64 cores=1,3,5,7
/proc/24293/task/24346/stat : 24346 (java) S 24290 24293 16548 0 -1 1077944384 9936 12725 0 0 1206 51 4 3 20 0 15 0 47108372 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650966821136 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24347] ppid=24290 vsize=14069564 CPUtime=12.64 cores=1,3,5,7
/proc/24293/task/24347/stat : 24347 (java) S 24290 24293 16548 0 -1 1077944384 9970 12725 0 0 1204 53 4 3 20 0 15 0 47108372 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650965768592 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24348] ppid=24290 vsize=14069564 CPUtime=10.38 cores=1,3,5,7
/proc/24293/task/24348/stat : 24348 (java) S 24290 24293 16548 0 -1 1077944384 10227 12725 0 0 976 55 4 3 20 0 15 0 47108373 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650352220912 139651368368770 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24349] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24349/stat : 24349 (java) S 24290 24293 16548 0 -1 1077944384 65 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650351167264 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24350] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24350/stat : 24350 (java) S 24290 24293 16548 0 -1 1077944384 49 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650350114048 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24351] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24351/stat : 24351 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650349062608 139651368376219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24352] ppid=24290 vsize=14069564 CPUtime=9.77 cores=1,3,5,7
/proc/24293/task/24352/stat : 24352 (java) S 24290 24293 16548 0 -1 1077944384 19273 12725 0 0 964 6 4 3 20 0 15 0 47108377 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650348009712 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24353] ppid=24290 vsize=14069564 CPUtime=10.11 cores=1,3,5,7
/proc/24293/task/24353/stat : 24353 (java) S 24290 24293 16548 0 -1 1077944384 23665 12725 0 0 999 5 4 3 20 0 15 0 47108377 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650346957168 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24354] ppid=24290 vsize=14069564 CPUtime=4.04 cores=1,3,5,7
/proc/24293/task/24354/stat : 24354 (java) S 24290 24293 16548 0 -1 1077944384 29861 12725 0 0 391 6 4 3 20 0 15 0 47108377 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650345904112 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24355] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24355/stat : 24355 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650344851808 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24356] ppid=24290 vsize=14069564 CPUtime=1.4 cores=1,3,5,7
/proc/24293/task/24356/stat : 24356 (java) S 24290 24293 16548 0 -1 1077944384 870 12725 0 0 54 79 4 3 20 0 15 0 47108380 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650343799856 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
Current children cumulated CPU time (s) 2381.77
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.37 1.38 1.34 3/209 24666
/proc/meminfo: memFree=29531136/32770624 swapFree=0/307400
[pid=24293] ppid=24290 vsize=14069564 CPUtime=2442.76 cores=1,3,5,7
/proc/24293/stat : 24293 (java) S 24290 24293 16548 0 -1 1077944320 210337 12725 0 0 243903 366 4 3 20 0 15 0 47108349 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 140728335840864 139651368357623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
/proc/24293/statm: 3517391 257214 3488 1 0 3506005 0
[pid=24293/tid=24343] ppid=24290 vsize=14069564 CPUtime=2355.45 cores=1,3,5,7
/proc/24293/task/24343/stat : 24343 (java) R 24290 24293 16548 0 -1 4202560 86927 12725 0 0 235483 55 4 3 20 0 15 0 47108371 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139651372591936 139651030548616 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24344] ppid=24290 vsize=14069564 CPUtime=12.95 cores=1,3,5,7
/proc/24293/task/24344/stat : 24344 (java) S 24290 24293 16548 0 -1 1077944384 8768 12725 0 0 1232 56 4 3 20 0 15 0 47108372 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650968926736 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24345] ppid=24290 vsize=14069564 CPUtime=12.92 cores=1,3,5,7
/proc/24293/task/24345/stat : 24345 (java) S 24290 24293 16548 0 -1 1077944384 8454 12725 0 0 1229 56 4 3 20 0 15 0 47108372 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650967874192 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24346] ppid=24290 vsize=14069564 CPUtime=12.98 cores=1,3,5,7
/proc/24293/task/24346/stat : 24346 (java) S 24290 24293 16548 0 -1 1077944384 9970 12725 0 0 1239 52 4 3 20 0 15 0 47108372 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650966821136 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24347] ppid=24290 vsize=14069564 CPUtime=12.99 cores=1,3,5,7
/proc/24293/task/24347/stat : 24347 (java) S 24290 24293 16548 0 -1 1077944384 10010 12725 0 0 1238 54 4 3 20 0 15 0 47108372 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650965768592 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24348] ppid=24290 vsize=14069564 CPUtime=10.65 cores=1,3,5,7
/proc/24293/task/24348/stat : 24348 (java) S 24290 24293 16548 0 -1 1077944384 10255 12725 0 0 1002 56 4 3 20 0 15 0 47108373 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650352220912 139651368368770 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24349] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24349/stat : 24349 (java) S 24290 24293 16548 0 -1 1077944384 65 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650351167264 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24350] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24350/stat : 24350 (java) S 24290 24293 16548 0 -1 1077944384 49 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650350114048 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24351] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24351/stat : 24351 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650349062608 139651368376219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24352] ppid=24290 vsize=14069564 CPUtime=9.77 cores=1,3,5,7
/proc/24293/task/24352/stat : 24352 (java) S 24290 24293 16548 0 -1 1077944384 19275 12725 0 0 964 6 4 3 20 0 15 0 47108377 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650348009712 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24353] ppid=24290 vsize=14069564 CPUtime=10.11 cores=1,3,5,7
/proc/24293/task/24353/stat : 24353 (java) S 24290 24293 16548 0 -1 1077944384 23667 12725 0 0 999 5 4 3 20 0 15 0 47108377 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650346957168 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24354] ppid=24290 vsize=14069564 CPUtime=4.04 cores=1,3,5,7
/proc/24293/task/24354/stat : 24354 (java) S 24290 24293 16548 0 -1 1077944384 29863 12725 0 0 391 6 4 3 20 0 15 0 47108377 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650345904112 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24355] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24355/stat : 24355 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650344851808 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24356] ppid=24290 vsize=14069564 CPUtime=1.43 cores=1,3,5,7
/proc/24293/task/24356/stat : 24356 (java) S 24290 24293 16548 0 -1 1077944384 876 12725 0 0 56 80 4 3 20 0 15 0 47108380 14407233536 257214 18446744073709551615 4194304 4196468 140728335858320 139650343799856 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
Current children cumulated CPU time (s) 2442.76
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.44 1.40 1.35 3/209 24669
/proc/meminfo: memFree=29528920/32770624 swapFree=0/307432
[pid=24293] ppid=24290 vsize=14069564 CPUtime=2503.71 cores=1,3,5,7
/proc/24293/stat : 24293 (java) S 24290 24293 16548 0 -1 1077944320 211703 12725 0 0 249989 375 4 3 20 0 15 0 47108349 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 140728335840864 139651368357623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
/proc/24293/statm: 3517391 257726 3488 1 0 3506005 0
[pid=24293/tid=24343] ppid=24290 vsize=14069564 CPUtime=2414.75 cores=1,3,5,7
/proc/24293/task/24343/stat : 24343 (java) R 24290 24293 16548 0 -1 4202560 87731 12725 0 0 241412 56 4 3 20 0 15 0 47108371 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139651372591888 139651030508672 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24344] ppid=24290 vsize=14069564 CPUtime=13.29 cores=1,3,5,7
/proc/24293/task/24344/stat : 24344 (java) S 24290 24293 16548 0 -1 1077944384 8790 12725 0 0 1265 57 4 3 20 0 15 0 47108372 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650968926736 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24345] ppid=24290 vsize=14069564 CPUtime=13.25 cores=1,3,5,7
/proc/24293/task/24345/stat : 24345 (java) S 24290 24293 16548 0 -1 1077944384 8738 12725 0 0 1261 57 4 3 20 0 15 0 47108372 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650967874192 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24346] ppid=24290 vsize=14069564 CPUtime=13.32 cores=1,3,5,7
/proc/24293/task/24346/stat : 24346 (java) S 24290 24293 16548 0 -1 1077944384 10089 12725 0 0 1271 54 4 3 20 0 15 0 47108372 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650966821136 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24347] ppid=24290 vsize=14069564 CPUtime=13.32 cores=1,3,5,7
/proc/24293/task/24347/stat : 24347 (java) S 24290 24293 16548 0 -1 1077944384 10025 12725 0 0 1269 56 4 3 20 0 15 0 47108372 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650965768592 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24348] ppid=24290 vsize=14069564 CPUtime=10.92 cores=1,3,5,7
/proc/24293/task/24348/stat : 24348 (java) S 24290 24293 16548 0 -1 1077944384 10364 12725 0 0 1027 58 4 3 20 0 15 0 47108373 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650352220912 139651368368770 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24349] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24349/stat : 24349 (java) S 24290 24293 16548 0 -1 1077944384 65 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650351167264 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24350] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24350/stat : 24350 (java) S 24290 24293 16548 0 -1 1077944384 49 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650350114048 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24351] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24351/stat : 24351 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650349062608 139651368376219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24352] ppid=24290 vsize=14069564 CPUtime=9.77 cores=1,3,5,7
/proc/24293/task/24352/stat : 24352 (java) S 24290 24293 16548 0 -1 1077944384 19275 12725 0 0 964 6 4 3 20 0 15 0 47108377 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650348009712 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24353] ppid=24290 vsize=14069564 CPUtime=10.11 cores=1,3,5,7
/proc/24293/task/24353/stat : 24353 (java) S 24290 24293 16548 0 -1 1077944384 23667 12725 0 0 999 5 4 3 20 0 15 0 47108377 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650346957168 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24354] ppid=24290 vsize=14069564 CPUtime=4.04 cores=1,3,5,7
/proc/24293/task/24354/stat : 24354 (java) S 24290 24293 16548 0 -1 1077944384 29863 12725 0 0 391 6 4 3 20 0 15 0 47108377 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650345904112 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24355] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24355/stat : 24355 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650344851808 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24356] ppid=24290 vsize=14069564 CPUtime=1.47 cores=1,3,5,7
/proc/24293/task/24356/stat : 24356 (java) S 24290 24293 16548 0 -1 1077944384 889 12725 0 0 58 82 4 3 20 0 15 0 47108380 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650343799856 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
Current children cumulated CPU time (s) 2503.71
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2458.4 s]
/proc/loadavg: 1.35 1.38 1.35 3/209 24670
/proc/meminfo: memFree=29528932/32770624 swapFree=0/307452
[pid=24293] ppid=24290 vsize=14069564 CPUtime=2520.09 cores=1,3,5,7
/proc/24293/stat : 24293 (java) S 24290 24293 16548 0 -1 1077944320 211857 12725 0 0 251625 377 4 3 20 0 15 0 47108349 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 140728335840864 139651368357623 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
/proc/24293/statm: 3517391 257726 3488 1 0 3506005 0
[pid=24293/tid=24343] ppid=24290 vsize=14069564 CPUtime=2430.67 cores=1,3,5,7
/proc/24293/task/24343/stat : 24343 (java) R 24290 24293 16548 0 -1 4202560 87838 12725 0 0 243004 56 4 3 20 0 15 0 47108371 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139651372592048 139651031937751 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24344] ppid=24290 vsize=14069564 CPUtime=13.38 cores=1,3,5,7
/proc/24293/task/24344/stat : 24344 (java) S 24290 24293 16548 0 -1 1077944384 8792 12725 0 0 1274 57 4 3 20 0 15 0 47108372 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650968926736 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24345] ppid=24290 vsize=14069564 CPUtime=13.35 cores=1,3,5,7
/proc/24293/task/24345/stat : 24345 (java) S 24290 24293 16548 0 -1 1077944384 8738 12725 0 0 1270 58 4 3 20 0 15 0 47108372 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650967874192 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24346] ppid=24290 vsize=14069564 CPUtime=13.42 cores=1,3,5,7
/proc/24293/task/24346/stat : 24346 (java) S 24290 24293 16548 0 -1 1077944384 10105 12725 0 0 1280 55 4 3 20 0 15 0 47108372 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650966821136 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24347] ppid=24290 vsize=14069564 CPUtime=13.42 cores=1,3,5,7
/proc/24293/task/24347/stat : 24347 (java) S 24290 24293 16548 0 -1 1077944384 10025 12725 0 0 1279 56 4 3 20 0 15 0 47108372 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650965768592 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24348] ppid=24290 vsize=14069564 CPUtime=10.99 cores=1,3,5,7
/proc/24293/task/24348/stat : 24348 (java) S 24290 24293 16548 0 -1 1077944384 10383 12725 0 0 1034 58 4 3 20 0 15 0 47108373 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650352220912 139651368368770 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24349] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24349/stat : 24349 (java) S 24290 24293 16548 0 -1 1077944384 65 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650351167264 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24350] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24350/stat : 24350 (java) S 24290 24293 16548 0 -1 1077944384 49 12725 0 0 0 0 4 3 20 0 15 0 47108374 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650350114048 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24351] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24351/stat : 24351 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650349062608 139651368376219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24352] ppid=24290 vsize=14069564 CPUtime=9.77 cores=1,3,5,7
/proc/24293/task/24352/stat : 24352 (java) S 24290 24293 16548 0 -1 1077944384 19277 12725 0 0 964 6 4 3 20 0 15 0 47108377 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650348009712 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24353] ppid=24290 vsize=14069564 CPUtime=10.11 cores=1,3,5,7
/proc/24293/task/24353/stat : 24353 (java) S 24290 24293 16548 0 -1 1077944384 23669 12725 0 0 999 5 4 3 20 0 15 0 47108377 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650346957168 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24354] ppid=24290 vsize=14069564 CPUtime=4.04 cores=1,3,5,7
/proc/24293/task/24354/stat : 24354 (java) S 24290 24293 16548 0 -1 1077944384 29865 12725 0 0 391 6 4 3 20 0 15 0 47108377 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650345904112 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24355] ppid=24290 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/24293/task/24355/stat : 24355 (java) S 24290 24293 16548 0 -1 1077944384 3 12725 0 0 0 0 4 3 20 0 15 0 47108377 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650344851808 139651368367829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
[pid=24293/tid=24356] ppid=24290 vsize=14069564 CPUtime=1.48 cores=1,3,5,7
/proc/24293/task/24356/stat : 24356 (java) S 24290 24293 16548 0 -1 1077944384 893 12725 0 0 58 83 4 3 20 0 15 0 47108380 14407233536 257726 18446744073709551615 4194304 4196468 140728335858320 139650343799856 139651368368770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30822400 140728335865808 140728335868593 140728335868593 140728335871951 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 14069564

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 24293 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2458.43
CPU time (s): 2520.15
CPU user time (s): 2516.33
CPU system time (s): 3.82045
CPU usage (%): 102.511
Max. virtual memory (cumulated for all children) (KiB): 14072276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.33
system time used= 3.82045
maximum resident set size= 1031580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226119
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295883
involuntary context switches= 10508

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.953 second user time and 13.0939 second system time

The end

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 4261993

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