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)	229	2520.1299	2460.9299

3.25/2.19	c Concrete v3.4 running
12.91/5.31	o 23821
13.23/5.41	o 19861
13.23/5.46	o 16797
14.19/5.73	o 13053
14.19/5.77	o 10061
14.50/5.81	o 5981
14.50/5.86	o 4853
14.50/5.89	o 3677
14.81/5.93	o 3365
14.81/5.96	o 2749
14.81/5.99	o 2381
15.12/6.02	o 2349
15.12/6.05	o 2333
15.12/6.07	o 1893
15.46/6.11	o 1709
15.46/6.13	o 1605
15.46/6.15	o 933
15.74/6.25	o 733
15.74/6.27	o 661
16.02/6.36	o 637
16.02/6.37	o 469
16.16/6.40	o 445
16.16/6.42	o 357
16.72/6.85	o 325
22.71/11.31	o 261
33.46/21.24	o 237
2481.31/2422.87	o 229
2520.08/2460.91	java.util.concurrent.TimeoutException
2520.08/2460.91		at concrete.MAC.mac(MAC.scala:74)
2520.08/2460.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.08/2460.91		at scala.util.Try$.apply(Try.scala:209)
2520.08/2460.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2460.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2460.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2460.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2460.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.08/2460.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2460.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2460.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2460.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2460.91		at concrete.MAC.oneRun(MAC.scala:146)
2520.08/2460.91		at concrete.MAC.nextSolution(MAC.scala:166)
2520.08/2460.91		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.08/2460.91		at concrete.ProblemState.map(ProblemState.scala:203)
2520.08/2460.91		at concrete.ProblemState.map(ProblemState.scala:188)
2520.08/2460.91		at concrete.MAC.nextSolution(MAC.scala:195)
2520.08/2460.91		at concrete.Solver.hasNext(Solver.scala:202)
2520.08/2460.91		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.08/2460.91		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.08/2460.91		at concrete.Solver.toStream(Solver.scala:73)
2520.08/2460.91		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.08/2460.91		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.08/2460.91		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.08/2460.91		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.08/2460.91		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.08/2460.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2460.91		at scala.util.Success.map(Try.scala:209)
2520.08/2460.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.08/2460.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.08/2460.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.08/2460.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.08/2460.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.08/2460.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2460.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2460.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2460.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2460.91		at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2460.91		at scala.App.main(App.scala:76)
2520.08/2460.91		at scala.App.main$(App.scala:74)
2520.08/2460.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.08/2460.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2460.92	v <instantiation cost="229">
2520.08/2460.92	v       <list>
2520.08/2460.92	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[37][0] y[37][1] y[37][2] y[37][3] y[38][0] y[38][1] y[38][2] y[39][0] y[39][1] y[40][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40]
2520.08/2460.92	v       </list>
2520.08/2460.92	v       <values>
2520.08/2460.92	v         1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 0 1 6 -1 0 3 2 1 -2 1 4 1 0 1 0 5 2 -3 0 1 2 1 8 1 2 1 -2 1 -2 -3 0 -3 0 -1 -2 -1 0 1 2 1 1 0 1 36 1 0 9 4 1 4 1 16 1 0 1 0 25 4 9 0 1 4 1 64 1 4 1 4 1 4 9 0 9 0 1 4 1 0 1 4 1
2520.08/2460.92	v       </values>
2520.08/2460.92	v     </instantiation>
2520.08/2460.92	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-4261995-1502448311/watcher-4261995-1502448311 -o /tmp/evaluation-result-4261995-1502448311/solver-4261995-1502448311 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7498 --watchdog 2580 bin/concrete HOME/instance-4261995-1502448311.xml 

pid=21025
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: 2.68 1.95 1.77 3/198 21028
/proc/meminfo: memFree=31549260/32770624 swapFree=0/391772
[pid=21028] ppid=21025 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21028/stat : 21028 (runsolver) D 21025 21028 7434 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 33171808 24240128 106 18446744073709551615 4194304 4338465 140723791854592 140723791852232 139633894261463 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 10407936 140723791859921 140723791860297 140723791860297 140723791863754 0
/proc/21028/statm: 5918 106 53 36 0 2156 0

[startup+0.100061 s]
/proc/loadavg: 2.68 1.95 1.77 3/198 21028
/proc/meminfo: memFree=31549260/32770624 swapFree=0/391772
[pid=21028] ppid=21025 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/21028/stat : 21028 (bash) S 21025 21028 7434 0 -1 4202496 682 1544 0 0 0 0 0 0 20 0 1 0 33171808 9736192 351 18446744073709551615 4194304 5098028 140721206631952 140721206629592 139969594248192 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 9285632 140721206632980 140721206633065 140721206633065 140721206636522 0
/proc/21028/statm: 2377 351 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200138 s]
/proc/loadavg: 2.68 1.95 1.77 3/198 21028
/proc/meminfo: memFree=31549260/32770624 swapFree=0/391772
[pid=21028] ppid=21025 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/21028/stat : 21028 (bash) S 21025 21028 7434 0 -1 4202496 891 6486 0 0 0 0 0 1 20 0 1 0 33171808 9867264 376 18446744073709551615 4194304 5098028 140721206631952 140721206625960 139969594248192 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 9285632 140721206632980 140721206633065 140721206633065 140721206636522 0
/proc/21028/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300259 s]
/proc/loadavg: 2.68 1.95 1.77 3/198 21028
/proc/meminfo: memFree=31549260/32770624 swapFree=0/391772
[pid=21028] ppid=21025 vsize=13973936 CPUtime=0.16 cores=1,3,5,7
/proc/21028/stat : 21028 (java) S 21025 21028 7434 0 -1 1077944320 5816 12806 0 0 7 1 5 3 20 0 15 0 33171808 14309310464 5891 18446744073709551615 4194304 4196468 140736481695344 140736481677888 140070337146615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
/proc/21028/statm: 3493484 5891 2653 1 0 3482965 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13973936

[startup+0.700296 s]
/proc/loadavg: 2.68 1.95 1.77 3/198 21028
/proc/meminfo: memFree=31549260/32770624 swapFree=0/391772
[pid=21028] ppid=21025 vsize=13974784 CPUtime=0.71 cores=1,3,5,7
/proc/21028/stat : 21028 (java) S 21025 21028 7434 0 -1 1077944320 14015 12806 0 0 60 3 5 3 20 0 15 0 33171808 14310178816 14961 18446744073709551615 4194304 4196468 140736481695344 140736481677888 140070337146615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
/proc/21028/statm: 3493696 14961 3135 1 0 3482965 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784

[startup+1.50053 s]
/proc/loadavg: 2.68 1.95 1.77 5/213 21091
/proc/meminfo: memFree=31336028/32770624 swapFree=0/392076
[pid=21028] ppid=21025 vsize=13985408 CPUtime=1.94 cores=1,3,5,7
/proc/21028/stat : 21028 (java) S 21025 21028 7434 0 -1 1077944320 29640 12806 0 0 178 8 5 3 20 0 15 0 33171808 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140736481677888 140070337146615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
/proc/21028/statm: 3496352 42767 3381 1 0 3485525 0
[pid=21028/tid=21078] ppid=21025 vsize=13985408 CPUtime=1.3 cores=1,3,5,7
/proc/21028/task/21078/stat : 21078 (java) R 21025 21028 7434 0 -1 4202560 22231 12806 0 0 117 5 5 3 20 0 15 0 33171828 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140070341367040 140070321227102 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21079] ppid=21025 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/21028/task/21079/stat : 21079 (java) S 21025 21028 7434 0 -1 1077944384 52 12806 0 0 1 0 5 3 20 0 15 0 33171829 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140070294112912 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21080] ppid=21025 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/21028/task/21080/stat : 21080 (java) S 21025 21028 7434 0 -1 1077944384 39 12806 0 0 1 0 5 3 20 0 15 0 33171829 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069935704592 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21081] ppid=21025 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/21028/task/21081/stat : 21081 (java) S 21025 21028 7434 0 -1 1077944384 188 12806 0 0 1 0 5 3 20 0 15 0 33171829 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069934651792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21082] ppid=21025 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/21028/task/21082/stat : 21082 (java) S 21025 21028 7434 0 -1 1077944384 75 12806 0 0 1 0 5 3 20 0 15 0 33171829 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069933598992 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21083] ppid=21025 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/21028/task/21083/stat : 21083 (java) S 21025 21028 7434 0 -1 1077944384 1631 12806 0 0 1 0 5 3 20 0 15 0 33171830 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069815675760 140070337157762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21084] ppid=21025 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21084/stat : 21084 (java) S 21025 21028 7434 0 -1 1077944384 58 12806 0 0 0 0 5 3 20 0 15 0 33171831 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069814621728 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21085] ppid=21025 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21085/stat : 21085 (java) S 21025 21028 7434 0 -1 1077944384 44 12806 0 0 0 0 5 3 20 0 15 0 33171831 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069813568880 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21086] ppid=21025 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21086/stat : 21086 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069812517200 140070337165211 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21087] ppid=21025 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/21028/task/21087/stat : 21087 (java) S 21025 21028 7434 0 -1 1077944384 991 12806 0 0 13 0 5 3 20 0 15 0 33171834 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069811464560 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21088] ppid=21025 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/21028/task/21088/stat : 21088 (java) S 21025 21028 7434 0 -1 1077944384 740 12806 0 0 16 0 5 3 20 0 15 0 33171834 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069810411760 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21089] ppid=21025 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/21028/task/21089/stat : 21089 (java) S 21025 21028 7434 0 -1 1077944384 1426 12806 0 0 23 0 5 3 20 0 15 0 33171834 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069809358960 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21090] ppid=21025 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21090/stat : 21090 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069808306400 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21091] ppid=21025 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21091/stat : 21091 (java) S 21025 21028 7434 0 -1 1077944384 8 12806 0 0 0 0 5 3 20 0 15 0 33171837 14321057792 42767 18446744073709551615 4194304 4196468 140736481695344 140069807254704 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 13985408

[startup+3.10314 s]
/proc/loadavg: 2.68 1.95 1.77 7/213 21091
/proc/meminfo: memFree=31219292/32770624 swapFree=0/392076
[pid=21028] ppid=21025 vsize=13997884 CPUtime=6.31 cores=1,3,5,7
/proc/21028/stat : 21028 (java) S 21025 21028 7434 0 -1 1077944320 47855 12806 0 0 608 15 5 3 20 0 15 0 33171808 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140736481677888 140070337146615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
/proc/21028/statm: 3499471 56966 3455 1 0 3488085 0
[pid=21028/tid=21078] ppid=21025 vsize=13997884 CPUtime=2.89 cores=1,3,5,7
/proc/21028/task/21078/stat : 21078 (java) R 21025 21028 7434 0 -1 4202560 28739 12806 0 0 273 8 5 3 20 0 15 0 33171828 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140070341365760 140070315410337 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21079] ppid=21025 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/21028/task/21079/stat : 21079 (java) S 21025 21028 7434 0 -1 1077944384 52 12806 0 0 1 0 5 3 20 0 15 0 33171829 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140070294112912 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21080] ppid=21025 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/21028/task/21080/stat : 21080 (java) S 21025 21028 7434 0 -1 1077944384 39 12806 0 0 1 0 5 3 20 0 15 0 33171829 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069935704592 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21081] ppid=21025 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/21028/task/21081/stat : 21081 (java) S 21025 21028 7434 0 -1 1077944384 188 12806 0 0 1 0 5 3 20 0 15 0 33171829 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069934651792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21082] ppid=21025 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/21028/task/21082/stat : 21082 (java) S 21025 21028 7434 0 -1 1077944384 75 12806 0 0 1 0 5 3 20 0 15 0 33171829 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069933598992 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21083] ppid=21025 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/21028/task/21083/stat : 21083 (java) S 21025 21028 7434 0 -1 1077944384 1670 12806 0 0 1 0 5 3 20 0 15 0 33171830 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069815675760 140070337157762 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21084] ppid=21025 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21084/stat : 21084 (java) S 21025 21028 7434 0 -1 1077944384 58 12806 0 0 0 0 5 3 20 0 15 0 33171831 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069814621728 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21085] ppid=21025 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21085/stat : 21085 (java) S 21025 21028 7434 0 -1 1077944384 44 12806 0 0 0 0 5 3 20 0 15 0 33171831 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069813568880 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21086] ppid=21025 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21086/stat : 21086 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069812517200 140070337165211 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21087] ppid=21025 vsize=13997884 CPUtime=1.01 cores=1,3,5,7
/proc/21028/task/21087/stat : 21087 (java) R 21025 21028 7434 0 -1 4202560 3332 12806 0 0 93 0 5 3 20 0 15 0 33171834 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069811449768 140070322068536 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21088] ppid=21025 vsize=13997884 CPUtime=1.28 cores=1,3,5,7
/proc/21028/task/21088/stat : 21088 (java) R 21025 21028 7434 0 -1 4202560 5127 12806 0 0 120 0 5 3 20 0 15 0 33171834 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069810394608 140070337160464 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21089] ppid=21025 vsize=13997884 CPUtime=1.24 cores=1,3,5,7
/proc/21028/task/21089/stat : 21089 (java) R 21025 21028 7434 0 -1 4202560 6364 12806 0 0 113 3 5 3 20 0 15 0 33171834 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069809356216 140069973262443 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21090] ppid=21025 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21090/stat : 21090 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069808306400 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21091] ppid=21025 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21091/stat : 21091 (java) R 21025 21028 7434 0 -1 1077944384 10 12806 0 0 0 0 5 3 20 0 15 0 33171837 14333833216 56966 18446744073709551615 4194304 4196468 140736481695344 140069807254704 140070337157762 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 13997884

[startup+6.30118 s]
/proc/loadavg: 2.87 2.00 1.79 3/213 21091
/proc/meminfo: memFree=30854540/32770624 swapFree=0/392076
[pid=21028] ppid=21025 vsize=14069564 CPUtime=16.02 cores=1,3,5,7
/proc/21028/stat : 21028 (java) S 21025 21028 7434 0 -1 1077944320 75692 12806 0 0 1569 25 5 3 20 0 15 0 33171808 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140736481677888 140070337146615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
/proc/21028/statm: 3517391 96560 3492 1 0 3506005 0
[pid=21028/tid=21078] ppid=21025 vsize=14069564 CPUtime=5.79 cores=1,3,5,7
/proc/21028/task/21078/stat : 21078 (java) R 21025 21028 7434 0 -1 4202560 42147 12806 0 0 558 13 5 3 20 0 15 0 33171828 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140070341378856 140069973599320 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21079] ppid=21025 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/21028/task/21079/stat : 21079 (java) S 21025 21028 7434 0 -1 1077944384 731 12806 0 0 15 0 5 3 20 0 15 0 33171829 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140070294112912 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21080] ppid=21025 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/21028/task/21080/stat : 21080 (java) S 21025 21028 7434 0 -1 1077944384 311 12806 0 0 14 0 5 3 20 0 15 0 33171829 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069935704592 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21081] ppid=21025 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/21028/task/21081/stat : 21081 (java) S 21025 21028 7434 0 -1 1077944384 330 12806 0 0 13 0 5 3 20 0 15 0 33171829 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069934651792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21082] ppid=21025 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/21028/task/21082/stat : 21082 (java) S 21025 21028 7434 0 -1 1077944384 147 12806 0 0 13 0 5 3 20 0 15 0 33171829 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069933598992 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21083] ppid=21025 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/21028/task/21083/stat : 21083 (java) S 21025 21028 7434 0 -1 1077944384 2501 12806 0 0 14 0 5 3 20 0 15 0 33171830 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069815675760 140070337157762 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21084] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21084/stat : 21084 (java) S 21025 21028 7434 0 -1 1077944384 66 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069814621792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21085] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21085/stat : 21085 (java) S 21025 21028 7434 0 -1 1077944384 56 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069813568896 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21086] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21086/stat : 21086 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069812517200 140070337165211 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21087] ppid=21025 vsize=14069564 CPUtime=3.64 cores=1,3,5,7
/proc/21028/task/21087/stat : 21087 (java) S 21025 21028 7434 0 -1 1077944384 8449 12806 0 0 354 2 5 3 20 0 15 0 33171834 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069811464560 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21088] ppid=21025 vsize=14069564 CPUtime=3.83 cores=1,3,5,7
/proc/21028/task/21088/stat : 21088 (java) S 21025 21028 7434 0 -1 1077944384 9688 12806 0 0 373 2 5 3 20 0 15 0 33171834 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069810411760 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21089] ppid=21025 vsize=14069564 CPUtime=2.19 cores=1,3,5,7
/proc/21028/task/21089/stat : 21089 (java) S 21025 21028 7434 0 -1 1077944384 9088 12806 0 0 208 3 5 3 20 0 15 0 33171834 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069809358960 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21090] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21090/stat : 21090 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069808306400 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21091] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21091/stat : 21091 (java) S 21025 21028 7434 0 -1 1077944384 21 12806 0 0 0 0 5 3 20 0 15 0 33171837 14407233536 96560 18446744073709551615 4194304 4196468 140736481695344 140069807254704 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
Current children cumulated CPU time (s) 16.02
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 2.80 2.00 1.79 3/213 21091
/proc/meminfo: memFree=30350564/32770624 swapFree=0/392080
[pid=21028] ppid=21025 vsize=14069564 CPUtime=24.37 cores=1,3,5,7
/proc/21028/stat : 21028 (java) S 21025 21028 7434 0 -1 1077944320 85734 12806 0 0 2399 30 5 3 20 0 15 0 33171808 14407233536 154570 18446744073709551615 4194304 4196468 140736481695344 140736481677888 140070337146615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
/proc/21028/statm: 3517391 154570 3495 1 0 3506005 0
[pid=21028/tid=21078] ppid=21025 vsize=14069564 CPUtime=12.17 cores=1,3,5,7
/proc/21028/task/21078/stat : 21078 (java) R 21025 21028 7434 0 -1 4202560 42693 12806 0 0 1193 16 5 3 20 0 15 0 33171828 14407233536 154570 18446744073709551615 4194304 4196468 140736481695344 140070341378000 140069994286750 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21079] ppid=21025 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/21028/task/21079/stat : 21079 (java) S 21025 21028 7434 0 -1 1077944384 737 12806 0 0 16 0 5 3 20 0 15 0 33171829 14407233536 154570 18446744073709551615 4194304 4196468 140736481695344 140070294112912 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21080] ppid=21025 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/21028/task/21080/stat : 21080 (java) S 21025 21028 7434 0 -1 1077944384 327 12806 0 0 15 0 5 3 20 0 15 0 33171829 14407233536 154570 18446744073709551615 4194304 4196468 140736481695344 140069935704592 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21081] ppid=21025 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/21028/task/21081/stat : 21081 (java) S 21025 21028 7434 0 -1 1077944384 336 12806 0 0 14 0 5 3 20 0 15 0 33171829 14407233536 154570 18446744073709551615 4194304 4196468 140736481695344 140069934651792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21082] ppid=21025 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/21028/task/21082/stat : 21082 (java) S 21025 21028 7434 0 -1 1077944384 153 12806 0 0 14 0 5 3 20 0 15 0 33171829 14407233536 154570 18446744073709551615 4194304 4196468 140736481695344 140069933598992 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21083] ppid=21025 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/21028/task/21083/stat : 21083 (java) S 21025 21028 7434 0 -1 1077944384 2614 12806 0 0 15 0 5 3 20 0 15 0 33171830 14407233536 154570 18446744073709551615 4194304 4196468 140736481695344 140069815675760 140070337157762 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21084] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21084/stat : 21084 (java) S 21025 21028 7434 0 -1 1077944384 66 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 154570 18446744073709551615 4194304 4196468 140736481695344 140069814621792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21085] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21085/stat : 21085 (java) S 21025 21028 7434 0 -1 1077944384 56 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 154570 18446744073709551615 4194304 4196468 140736481695344 140069813568896 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21086] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21086/stat : 21086 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 154570 18446744073709551615 4194304 4196468 140736481695344 140069812517200 140070337165211 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0

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

/proc/21028/task/21090/stat : 21090 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 215964 18446744073709551615 4194304 4196468 140736481695344 140069808306400 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21091] ppid=21025 vsize=14069564 CPUtime=1.56 cores=1,3,5,7
/proc/21028/task/21091/stat : 21091 (java) S 21025 21028 7434 0 -1 1077944384 846 12806 0 0 72 76 5 3 20 0 15 0 33171837 14407233536 215964 18446744073709551615 4194304 4196468 140736481695344 140069807254704 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
Current children cumulated CPU time (s) 2379.09
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.31 1.39 1.40 3/212 21381
/proc/meminfo: memFree=29851900/32770624 swapFree=0/393040
[pid=21028] ppid=21025 vsize=14069564 CPUtime=2440.13 cores=1,3,5,7
/proc/21028/stat : 21028 (java) S 21025 21028 7434 0 -1 1077944320 213001 12806 0 0 243667 338 5 3 20 0 15 0 33171808 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140736481677888 140070337146615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
/proc/21028/statm: 3517391 214937 3495 1 0 3506005 0
[pid=21028/tid=21078] ppid=21025 vsize=14069564 CPUtime=2356.84 cores=1,3,5,7
/proc/21028/task/21078/stat : 21078 (java) R 21025 21028 7434 0 -1 4202560 84594 12806 0 0 235628 48 5 3 20 0 15 0 33171828 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140070341380672 140069994081394 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21079] ppid=21025 vsize=14069564 CPUtime=12.05 cores=1,3,5,7
/proc/21028/task/21079/stat : 21079 (java) S 21025 21028 7434 0 -1 1077944384 9771 12806 0 0 1145 52 5 3 20 0 15 0 33171829 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140070294112912 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21080] ppid=21025 vsize=14069564 CPUtime=12.03 cores=1,3,5,7
/proc/21028/task/21080/stat : 21080 (java) S 21025 21028 7434 0 -1 1077944384 9815 12806 0 0 1140 55 5 3 20 0 15 0 33171829 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069935704592 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21081] ppid=21025 vsize=14069564 CPUtime=12.02 cores=1,3,5,7
/proc/21028/task/21081/stat : 21081 (java) S 21025 21028 7434 0 -1 1077944384 9213 12806 0 0 1143 51 5 3 20 0 15 0 33171829 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069934651792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21082] ppid=21025 vsize=14069564 CPUtime=12.02 cores=1,3,5,7
/proc/21028/task/21082/stat : 21082 (java) S 21025 21028 7434 0 -1 1077944384 12205 12806 0 0 1145 49 5 3 20 0 15 0 33171829 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069933598992 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21083] ppid=21025 vsize=14069564 CPUtime=9.96 cores=1,3,5,7
/proc/21028/task/21083/stat : 21083 (java) S 21025 21028 7434 0 -1 1077944384 12630 12806 0 0 937 51 5 3 20 0 15 0 33171830 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069815675760 140070337157762 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21084] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21084/stat : 21084 (java) S 21025 21028 7434 0 -1 1077944384 72 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069814621792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21085] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21085/stat : 21085 (java) S 21025 21028 7434 0 -1 1077944384 56 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069813568896 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21086] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21086/stat : 21086 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069812517200 140070337165211 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21087] ppid=21025 vsize=14069564 CPUtime=9.98 cores=1,3,5,7
/proc/21028/task/21087/stat : 21087 (java) S 21025 21028 7434 0 -1 1077944384 21603 12806 0 0 985 5 5 3 20 0 15 0 33171834 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069811464560 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21088] ppid=21025 vsize=14069564 CPUtime=10.13 cores=1,3,5,7
/proc/21028/task/21088/stat : 21088 (java) S 21025 21028 7434 0 -1 1077944384 25466 12806 0 0 1000 5 5 3 20 0 15 0 33171834 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069810411760 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21089] ppid=21025 vsize=14069564 CPUtime=4.11 cores=1,3,5,7
/proc/21028/task/21089/stat : 21089 (java) S 21025 21028 7434 0 -1 1077944384 24557 12806 0 0 395 8 5 3 20 0 15 0 33171834 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069809358960 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21090] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21090/stat : 21090 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069808306400 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21091] ppid=21025 vsize=14069564 CPUtime=1.6 cores=1,3,5,7
/proc/21028/task/21091/stat : 21091 (java) S 21025 21028 7434 0 -1 1077944384 862 12806 0 0 74 78 5 3 20 0 15 0 33171837 14407233536 214937 18446744073709551615 4194304 4196468 140736481695344 140069807254704 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
Current children cumulated CPU time (s) 2440.13
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.28 1.38 1.40 3/212 21383
/proc/meminfo: memFree=29860024/32770624 swapFree=0/393064
[pid=21028] ppid=21025 vsize=14069564 CPUtime=2501.22 cores=1,3,5,7
/proc/21028/stat : 21028 (java) S 21025 21028 7434 0 -1 1077944320 217199 12806 0 0 249767 347 5 3 20 0 15 0 33171808 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140736481677888 140070337146615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
/proc/21028/statm: 3517391 212499 3495 1 0 3506005 0
[pid=21028/tid=21078] ppid=21025 vsize=14069564 CPUtime=2416.12 cores=1,3,5,7
/proc/21028/task/21078/stat : 21078 (java) R 21025 21028 7434 0 -1 4202560 86027 12806 0 0 241555 49 5 3 20 0 15 0 33171828 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140070341380832 140069994236151 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21079] ppid=21025 vsize=14069564 CPUtime=12.41 cores=1,3,5,7
/proc/21028/task/21079/stat : 21079 (java) S 21025 21028 7434 0 -1 1077944384 9872 12806 0 0 1179 54 5 3 20 0 15 0 33171829 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140070294112912 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21080] ppid=21025 vsize=14069564 CPUtime=12.38 cores=1,3,5,7
/proc/21028/task/21080/stat : 21080 (java) S 21025 21028 7434 0 -1 1077944384 10085 12806 0 0 1173 57 5 3 20 0 15 0 33171829 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069935704592 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21081] ppid=21025 vsize=14069564 CPUtime=12.37 cores=1,3,5,7
/proc/21028/task/21081/stat : 21081 (java) S 21025 21028 7434 0 -1 1077944384 9348 12806 0 0 1177 52 5 3 20 0 15 0 33171829 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069934651792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21082] ppid=21025 vsize=14069564 CPUtime=12.38 cores=1,3,5,7
/proc/21028/task/21082/stat : 21082 (java) S 21025 21028 7434 0 -1 1077944384 12490 12806 0 0 1180 50 5 3 20 0 15 0 33171829 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069933598992 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21083] ppid=21025 vsize=14069564 CPUtime=10.23 cores=1,3,5,7
/proc/21028/task/21083/stat : 21083 (java) S 21025 21028 7434 0 -1 1077944384 12835 12806 0 0 963 52 5 3 20 0 15 0 33171830 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069815675760 140070337157762 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21084] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21084/stat : 21084 (java) S 21025 21028 7434 0 -1 1077944384 77 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069814621792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21085] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21085/stat : 21085 (java) S 21025 21028 7434 0 -1 1077944384 56 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069813568896 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21086] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21086/stat : 21086 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069812517200 140070337165211 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21087] ppid=21025 vsize=14069564 CPUtime=9.99 cores=1,3,5,7
/proc/21028/task/21087/stat : 21087 (java) S 21025 21028 7434 0 -1 1077944384 21857 12806 0 0 986 5 5 3 20 0 15 0 33171834 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069811464560 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21088] ppid=21025 vsize=14069564 CPUtime=10.18 cores=1,3,5,7
/proc/21028/task/21088/stat : 21088 (java) S 21025 21028 7434 0 -1 1077944384 25730 12806 0 0 1005 5 5 3 20 0 15 0 33171834 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069810411760 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21089] ppid=21025 vsize=14069564 CPUtime=4.13 cores=1,3,5,7
/proc/21028/task/21089/stat : 21089 (java) S 21025 21028 7434 0 -1 1077944384 25794 12806 0 0 397 8 5 3 20 0 15 0 33171834 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069809358960 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21090] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21090/stat : 21090 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069808306400 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21091] ppid=21025 vsize=14069564 CPUtime=1.64 cores=1,3,5,7
/proc/21028/task/21091/stat : 21091 (java) S 21025 21028 7434 0 -1 1077944384 871 12806 0 0 76 80 5 3 20 0 15 0 33171837 14407233536 212499 18446744073709551615 4194304 4196468 140736481695344 140069807254704 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
Current children cumulated CPU time (s) 2501.22
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2460.9 s]
/proc/loadavg: 1.20 1.35 1.39 3/209 21383
/proc/meminfo: memFree=29871912/32770624 swapFree=0/393056
[pid=21028] ppid=21025 vsize=14069564 CPUtime=2520.08 cores=1,3,5,7
/proc/21028/stat : 21028 (java) S 21025 21028 7434 0 -1 1077944320 218066 12806 0 0 251651 349 5 3 20 0 15 0 33171808 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140736481677888 140070337146615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
/proc/21028/statm: 3517391 210318 3495 1 0 3506005 0
[pid=21028/tid=21078] ppid=21025 vsize=14069564 CPUtime=2434.51 cores=1,3,5,7
/proc/21028/task/21078/stat : 21078 (java) R 21025 21028 7434 0 -1 4202560 86489 12806 0 0 243394 49 5 3 20 0 15 0 33171828 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140070341380800 140069993333415 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21079] ppid=21025 vsize=14069564 CPUtime=12.5 cores=1,3,5,7
/proc/21028/task/21079/stat : 21079 (java) S 21025 21028 7434 0 -1 1077944384 9875 12806 0 0 1188 54 5 3 20 0 15 0 33171829 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140070294112912 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21080] ppid=21025 vsize=14069564 CPUtime=12.47 cores=1,3,5,7
/proc/21028/task/21080/stat : 21080 (java) S 21025 21028 7434 0 -1 1077944384 10099 12806 0 0 1182 57 5 3 20 0 15 0 33171829 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069935704592 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21081] ppid=21025 vsize=14069564 CPUtime=12.47 cores=1,3,5,7
/proc/21028/task/21081/stat : 21081 (java) S 21025 21028 7434 0 -1 1077944384 9566 12806 0 0 1186 53 5 3 20 0 15 0 33171829 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069934651792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21082] ppid=21025 vsize=14069564 CPUtime=12.47 cores=1,3,5,7
/proc/21028/task/21082/stat : 21082 (java) S 21025 21028 7434 0 -1 1077944384 12621 12806 0 0 1189 50 5 3 20 0 15 0 33171829 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069933598992 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21083] ppid=21025 vsize=14069564 CPUtime=10.31 cores=1,3,5,7
/proc/21028/task/21083/stat : 21083 (java) S 21025 21028 7434 0 -1 1077944384 12856 12806 0 0 970 53 5 3 20 0 15 0 33171830 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069815675760 140070337157762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21084] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21084/stat : 21084 (java) S 21025 21028 7434 0 -1 1077944384 77 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069814621792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21085] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21085/stat : 21085 (java) S 21025 21028 7434 0 -1 1077944384 56 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069813568896 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21086] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21086/stat : 21086 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069812517200 140070337165211 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21087] ppid=21025 vsize=14069564 CPUtime=9.99 cores=1,3,5,7
/proc/21028/task/21087/stat : 21087 (java) S 21025 21028 7434 0 -1 1077944384 21859 12806 0 0 986 5 5 3 20 0 15 0 33171834 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069811464560 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21088] ppid=21025 vsize=14069564 CPUtime=10.18 cores=1,3,5,7
/proc/21028/task/21088/stat : 21088 (java) S 21025 21028 7434 0 -1 1077944384 25732 12806 0 0 1005 5 5 3 20 0 15 0 33171834 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069810411760 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21089] ppid=21025 vsize=14069564 CPUtime=4.13 cores=1,3,5,7
/proc/21028/task/21089/stat : 21089 (java) S 21025 21028 7434 0 -1 1077944384 25796 12806 0 0 397 8 5 3 20 0 15 0 33171834 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069809358960 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21090] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21090/stat : 21090 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069808306400 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21091] ppid=21025 vsize=14069564 CPUtime=1.66 cores=1,3,5,7
/proc/21028/task/21091/stat : 21091 (java) S 21025 21028 7434 0 -1 1077944384 883 12806 0 0 77 81 5 3 20 0 15 0 33171837 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069807254704 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
Current children cumulated CPU time (s) 2520.08
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 21028 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2460.9 s]
/proc/loadavg: 1.20 1.35 1.39 3/209 21383
/proc/meminfo: memFree=29871912/32770624 swapFree=0/393056
[pid=21028] ppid=21025 vsize=14069564 CPUtime=2520.08 cores=1,3,5,7
/proc/21028/stat : 21028 (java) S 21025 21028 7434 0 -1 1077944320 218066 12806 0 0 251651 349 5 3 20 0 15 0 33171808 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140736481677888 140070337146615 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
/proc/21028/statm: 3517391 210318 3495 1 0 3506005 0
[pid=21028/tid=21078] ppid=21025 vsize=14069564 CPUtime=2434.51 cores=1,3,5,7
/proc/21028/task/21078/stat : 21078 (java) R 21025 21028 7434 0 -1 4202560 86489 12806 0 0 243394 49 5 3 20 0 15 0 33171828 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140070341380800 140069993333415 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21079] ppid=21025 vsize=14069564 CPUtime=12.5 cores=1,3,5,7
/proc/21028/task/21079/stat : 21079 (java) S 21025 21028 7434 0 -1 1077944384 9875 12806 0 0 1188 54 5 3 20 0 15 0 33171829 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140070294112912 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21080] ppid=21025 vsize=14069564 CPUtime=12.47 cores=1,3,5,7
/proc/21028/task/21080/stat : 21080 (java) S 21025 21028 7434 0 -1 1077944384 10099 12806 0 0 1182 57 5 3 20 0 15 0 33171829 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069935704592 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21081] ppid=21025 vsize=14069564 CPUtime=12.47 cores=1,3,5,7
/proc/21028/task/21081/stat : 21081 (java) S 21025 21028 7434 0 -1 1077944384 9566 12806 0 0 1186 53 5 3 20 0 15 0 33171829 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069934651792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21082] ppid=21025 vsize=14069564 CPUtime=12.47 cores=1,3,5,7
/proc/21028/task/21082/stat : 21082 (java) S 21025 21028 7434 0 -1 1077944384 12621 12806 0 0 1189 50 5 3 20 0 15 0 33171829 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069933598992 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21083] ppid=21025 vsize=14069564 CPUtime=10.31 cores=1,3,5,7
/proc/21028/task/21083/stat : 21083 (java) S 21025 21028 7434 0 -1 1077944384 12856 12806 0 0 970 53 5 3 20 0 15 0 33171830 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069815675760 140070337157762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21084] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21084/stat : 21084 (java) S 21025 21028 7434 0 -1 1077944384 77 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069814621792 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21085] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21085/stat : 21085 (java) S 21025 21028 7434 0 -1 1077944384 56 12806 0 0 0 0 5 3 20 0 15 0 33171831 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069813568896 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21086] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21086/stat : 21086 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069812517200 140070337165211 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21087] ppid=21025 vsize=14069564 CPUtime=9.99 cores=1,3,5,7
/proc/21028/task/21087/stat : 21087 (java) S 21025 21028 7434 0 -1 1077944384 21859 12806 0 0 986 5 5 3 20 0 15 0 33171834 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069811464560 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21088] ppid=21025 vsize=14069564 CPUtime=10.18 cores=1,3,5,7
/proc/21028/task/21088/stat : 21088 (java) S 21025 21028 7434 0 -1 1077944384 25732 12806 0 0 1005 5 5 3 20 0 15 0 33171834 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069810411760 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21089] ppid=21025 vsize=14069564 CPUtime=4.13 cores=1,3,5,7
/proc/21028/task/21089/stat : 21089 (java) S 21025 21028 7434 0 -1 1077944384 25796 12806 0 0 397 8 5 3 20 0 15 0 33171834 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069809358960 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21090] ppid=21025 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/21028/task/21090/stat : 21090 (java) S 21025 21028 7434 0 -1 1077944384 3 12806 0 0 0 0 5 3 20 0 15 0 33171834 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069808306400 140070337156821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
[pid=21028/tid=21091] ppid=21025 vsize=14069564 CPUtime=1.66 cores=1,3,5,7
/proc/21028/task/21091/stat : 21091 (java) S 21025 21028 7434 0 -1 1077944384 883 12806 0 0 77 81 5 3 20 0 15 0 33171837 14407233536 210318 18446744073709551615 4194304 4196468 140736481695344 140069807254704 140070337157762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140736481699792 140736481702577 140736481702577 140736481705935 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2460.93
CPU time (s): 2520.13
CPU user time (s): 2516.6
CPU system time (s): 3.53347
CPU usage (%): 102.406
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.6
system time used= 3.53347
maximum resident set size= 876256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 279133
involuntary context switches= 6983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9228 second user time and 14.1161 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml
MD5SUM	406abf126875c7059afeaa5170034bef
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	157
Best CPU time to get the best result obtained on this benchmark	20003.6
Satisfiable
(Un)Satisfiability was proved
Number of variables	1805
Number of constraints	943
Number of domains	83
Minimum domain size	2
Maximum domain size	83
Distribution of domain sizes	[{"size":2,"count":904},{"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":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}]
Minimum variable degree	0
Maximum variable degree	41
Distribution of variable degrees	[{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	42
Distribution of constraint arities	[{"arity":2,"count":42},{"arity":3,"count":862},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	902
Distribution of constraint types	[{"type":"intension","count":902},{"type":"sum","count":41}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4261995

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