2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.4	SAT (TO)	220	252.09399	226.33501

3.22/2.19	c Concrete v3.4 running
12.39/5.19	o 20540
12.66/5.27	o 16432
12.97/5.33	o 12820
12.97/5.39	o 9928
13.60/5.53	o 4336
13.60/5.58	o 4020
13.91/5.63	o 3692
13.91/5.67	o 3348
14.23/5.71	o 2988
14.23/5.74	o 2976
14.53/5.86	o 2928
14.53/5.89	o 1696
15.16/6.01	o 1568
15.16/6.04	o 640
15.16/6.07	o 588
15.48/6.17	o 572
15.48/6.19	o 404
16.07/6.34	o 384
16.37/6.47	o 372
17.40/7.29	o 288
29.63/18.08	o 268
87.85/71.17	o 264
102.91/85.07	o 248
105.54/87.48	o 228
105.54/87.49	o 224
138.49/116.85	o 220
252.02/226.30	java.util.concurrent.TimeoutException
252.02/226.30		at concrete.MAC.mac(MAC.scala:74)
252.02/226.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.02/226.30		at scala.util.Try$.apply(Try.scala:209)
252.02/226.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/226.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/226.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/226.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/226.30		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.02/226.30		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/226.30		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/226.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/226.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/226.30		at concrete.MAC.oneRun(MAC.scala:146)
252.02/226.30		at concrete.MAC.nextSolution(MAC.scala:166)
252.02/226.30		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.02/226.31		at concrete.ProblemState.map(ProblemState.scala:203)
252.02/226.31		at concrete.ProblemState.map(ProblemState.scala:188)
252.02/226.31		at concrete.MAC.nextSolution(MAC.scala:195)
252.02/226.31		at concrete.Solver.hasNext(Solver.scala:202)
252.02/226.31		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.02/226.31		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.02/226.31		at concrete.Solver.toStream(Solver.scala:73)
252.02/226.31		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.02/226.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.02/226.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.02/226.31		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.02/226.31		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.02/226.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/226.31		at scala.util.Success.map(Try.scala:209)
252.02/226.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.02/226.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.02/226.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.02/226.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.02/226.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.02/226.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/226.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/226.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/226.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/226.31		at scala.collection.immutable.List.foreach(List.scala:389)
252.02/226.31		at scala.App.main(App.scala:76)
252.02/226.31		at scala.App.main$(App.scala:74)
252.02/226.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.02/226.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/226.31	v <instantiation cost="220">
252.02/226.31	v       <list>
252.02/226.31	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[35][0] y[35][1] y[35][2] y[35][3] y[36][0] y[36][1] y[36][2] y[37][0] y[37][1] y[38][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38]
252.02/226.31	v       </list>
252.02/226.31	v       <values>
252.02/226.31	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 -6 1 -4 1 2 3 -4 -3 -2 1 0 3 2 1 0 -1 0 1 0 3 0 1 4 -5 -2 1 -4 -1 -2 -1 0 -3 2 3 0 -1 -2 -1 1 36 1 16 1 4 9 16 9 4 1 0 9 4 1 0 1 0 1 0 9 0 1 16 25 4 1 16 1 4 1 0 9 4 9 0 1 4 1
252.02/226.31	v       </values>
252.02/226.31	v     </instantiation>
252.02/226.31	s SATISFIABLE

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13469 MiB free)
  memory of node 1: 16384 MiB (15439 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259553-1502647091/watcher-4259553-1502647091 -o /tmp/evaluation-result-4259553-1502647091/solver-4259553-1502647091 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259553-1502647091.xml 

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

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


[startup+0.100129 s]*
/proc/loadavg: 1.57 1.94 1.98 4/203 31063
/proc/meminfo: memFree=29601540/32770624 swapFree=67108860/67108860
[pid=31040] ppid=31037 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/31040/stat : 31040 (bash) S 31037 31040 8289 0 -1 4202496 896 6487 0 0 0 0 0 1 20 0 1 0 112524312 9867264 378 18446744073709551615 4194304 5098028 140726648081008 140726648075016 140026139941888 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 31920128 140726648082932 140726648083017 140726648083017 140726648086506 0
/proc/31040/statm: 2409 378 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1512 KiB

[startup+0.209958 s]*
/proc/loadavg: 1.57 1.94 1.98 4/204 31094
/proc/meminfo: memFree=29596708/32770624 swapFree=67108860/67108860
[pid=31040] ppid=31037 vsize=13358716 memory=16156 CPUtime=0.08 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31037 31040 8289 0 -1 1077944320 4237 12469 0 0 1 0 5 2 20 0 6 0 112524312 13679325184 4039 18446744073709551615 4194304 4196468 140731566902128 140731566884672 140089035677431 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
/proc/31040/statm: 3339679 4039 1902 1 0 3329176 0
[pid=31040/tid=31090] ppid=31037 vsize=13358716 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31090/stat : 31090 (java) R 31037 31040 8289 0 -1 4202560 2082 12469 0 0 0 0 5 2 20 0 6 0 112524333 13679325184 4039 18446744073709551615 4194304 4196468 140731566902128 140089039913552 140089017328868 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31091] ppid=31037 vsize=13358716 memory=330 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31091/stat : 31091 (java) S 31037 31040 8289 0 -1 1077944384 1 12469 0 0 0 0 5 2 20 0 6 0 112524333 13679325184 4039 18446744073709551615 4194304 4196468 140731566902128 140088955092112 140089035687637 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31092] ppid=31037 vsize=13358716 memory=288370903604180608 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31092/stat : 31092 (java) S 31037 31040 8289 0 -1 1077944384 1 12469 0 0 0 0 5 2 20 0 6 0 112524333 13679325184 4039 18446744073709551615 4194304 4196468 140731566902128 140088954039312 140089035687637 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31093] ppid=31037 vsize=13358716 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31093/stat : 31093 (java) S 31037 31040 8289 0 -1 1077944384 1 12469 0 0 0 0 5 2 20 0 6 0 112524333 13679325184 4039 18446744073709551615 4194304 4196468 140731566902128 140088952986512 140089035687637 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31094] ppid=31037 vsize=13358716 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31094/stat : 31094 (java) S 31037 31040 8289 0 -1 1077944384 2 12469 0 0 0 0 5 2 20 0 6 0 112524333 13679325184 4039 18446744073709551615 4194304 4196468 140731566902128 140088951933712 140089035687637 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13358716 KiB
Current children cumulated memory: 16156 KiB

[startup+0.310017 s]*
/proc/loadavg: 1.57 1.94 1.98 4/213 31103
/proc/meminfo: memFree=29585228/32770624 swapFree=67108860/67108860
[pid=31040] ppid=31037 vsize=13974356 memory=29476 CPUtime=0.17 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31037 31040 8289 0 -1 1077944320 6230 12469 0 0 9 1 5 2 20 0 15 0 112524312 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140731566884672 140089035677431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
/proc/31040/statm: 3493589 7369 2855 1 0 3482965 0
[pid=31040/tid=31090] ppid=31037 vsize=13974356 memory=-8774313645642428999 CPUtime=0.13 cores=1,3,5,7
/proc/31040/task/31090/stat : 31090 (java) R 31037 31040 8289 0 -1 4202560 3050 12469 0 0 6 0 5 2 20 0 15 0 112524333 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140089039909384 140088629647053 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31091] ppid=31037 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31091/stat : 31091 (java) S 31037 31040 8289 0 -1 1077944384 1 12469 0 0 0 0 5 2 20 0 15 0 112524333 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140088955092112 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31092] ppid=31037 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31092/stat : 31092 (java) S 31037 31040 8289 0 -1 1077944384 1 12469 0 0 0 0 5 2 20 0 15 0 112524333 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140088954039312 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31093] ppid=31037 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31093/stat : 31093 (java) S 31037 31040 8289 0 -1 1077944384 1 12469 0 0 0 0 5 2 20 0 15 0 112524333 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140088952986512 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31094] ppid=31037 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31094/stat : 31094 (java) S 31037 31040 8289 0 -1 1077944384 2 12469 0 0 0 0 5 2 20 0 15 0 112524333 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140088951933712 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31095] ppid=31037 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31095/stat : 31095 (java) S 31037 31040 8289 0 -1 1077944384 2 12469 0 0 0 0 5 2 20 0 15 0 112524335 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140088514279792 140089035688578 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31096] ppid=31037 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31096/stat : 31096 (java) S 31037 31040 8289 0 -1 1077944384 33 12469 0 0 0 0 5 2 20 0 15 0 112524335 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140088513225760 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31097] ppid=31037 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31097/stat : 31097 (java) S 31037 31040 8289 0 -1 1077944384 21 12469 0 0 0 0 5 2 20 0 15 0 112524335 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140088512172912 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31098] ppid=31037 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31098/stat : 31098 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140088511121232 140089035696027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31099] ppid=31037 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31099/stat : 31099 (java) R 31037 31040 8289 0 -1 4202560 429 12469 0 0 0 0 5 2 20 0 15 0 112524338 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140088510062360 140089021699657 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31100] ppid=31037 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31100/stat : 31100 (java) D 31037 31040 8289 0 -1 4202560 139 12469 0 0 0 0 5 2 20 0 15 0 112524338 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140088509002616 140089028394583 0 4 1 16800974 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31101] ppid=31037 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31101/stat : 31101 (java) R 31037 31040 8289 0 -1 4202560 393 12469 0 0 1 0 5 2 20 0 15 0 112524338 14309740544 7369 18446744073709551615 4194304 4196468 140731566902128 140088507960616 140089014519915 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31102] ppid=31037 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31102/stat : 31102 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14309740544 7435 18446744073709551615 4194304 4196468 140731566902128 140088506911456 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31103] ppid=31037 vsize=13974356 memory=140527452468864 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31103/stat : 31103 (java) S 31037 31040 8289 0 -1 1077944384 1 12469 0 0 0 0 5 2 20 0 15 0 112524342 14309740544 7435 18446744073709551615 4194304 4196468 140731566902128 140088505858736 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 29476 KiB

[startup+0.700718 s]
/proc/loadavg: 1.57 1.94 1.98 3/213 31103
/proc/meminfo: memFree=29557676/32770624 swapFree=67108860/67108860
[pid=31040] ppid=31037 vsize=13974784 memory=60464 CPUtime=0.69 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31037 31040 8289 0 -1 1077944320 13694 12469 0 0 58 4 5 2 20 0 15 0 112524312 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140731566884672 140089035677431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
/proc/31040/statm: 3493696 15116 3115 1 0 3482965 0
[pid=31040/tid=31090] ppid=31037 vsize=13974784 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/31040/task/31090/stat : 31090 (java) R 31037 31040 8289 0 -1 4202560 10073 12469 0 0 42 3 5 2 20 0 15 0 112524333 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140089039884048 140089013811034 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31091] ppid=31037 vsize=13974784 memory=53872 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31091/stat : 31091 (java) S 31037 31040 8289 0 -1 1077944384 1 12469 0 0 0 0 5 2 20 0 15 0 112524333 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088955092112 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31092] ppid=31037 vsize=13974784 memory=-8774313645642428999 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31092/stat : 31092 (java) S 31037 31040 8289 0 -1 1077944384 1 12469 0 0 0 0 5 2 20 0 15 0 112524333 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088954039312 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31093] ppid=31037 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31093/stat : 31093 (java) S 31037 31040 8289 0 -1 1077944384 1 12469 0 0 0 0 5 2 20 0 15 0 112524333 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088952986512 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31094] ppid=31037 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31094/stat : 31094 (java) S 31037 31040 8289 0 -1 1077944384 2 12469 0 0 0 0 5 2 20 0 15 0 112524333 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088951933712 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31095] ppid=31037 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31095/stat : 31095 (java) S 31037 31040 8289 0 -1 1077944384 5 12469 0 0 0 0 5 2 20 0 15 0 112524335 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088514279792 140089035688578 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31096] ppid=31037 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31096/stat : 31096 (java) S 31037 31040 8289 0 -1 1077944384 33 12469 0 0 0 0 5 2 20 0 15 0 112524335 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088513225760 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31097] ppid=31037 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31097/stat : 31097 (java) S 31037 31040 8289 0 -1 1077944384 21 12469 0 0 0 0 5 2 20 0 15 0 112524335 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088512172912 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31098] ppid=31037 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31098/stat : 31098 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088511121232 140089035696027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31099] ppid=31037 vsize=13974784 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/31040/task/31099/stat : 31099 (java) S 31037 31040 8289 0 -1 1077944384 618 12469 0 0 3 0 5 2 20 0 15 0 112524338 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088510069616 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31100] ppid=31037 vsize=13974784 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31040/task/31100/stat : 31100 (java) R 31037 31040 8289 0 -1 1077944384 236 12469 0 0 2 0 5 2 20 0 15 0 112524338 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088509016816 140089035688578 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31101] ppid=31037 vsize=13974784 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/31040/task/31101/stat : 31101 (java) R 31037 31040 8289 0 -1 1077944384 543 12469 0 0 10 0 5 2 20 0 15 0 112524338 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088507964016 140089035688578 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31102] ppid=31037 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31102/stat : 31102 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088506911456 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31103] ppid=31037 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31103/stat : 31103 (java) S 31037 31040 8289 0 -1 1077944384 2 12469 0 0 0 0 5 2 20 0 15 0 112524342 14310178816 15116 18446744073709551615 4194304 4196468 140731566902128 140088505858736 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 60464 KiB

[startup+1.50584 s]
/proc/loadavg: 1.57 1.94 1.98 3/213 31103
/proc/meminfo: memFree=29519188/32770624 swapFree=67108860/67108860
[pid=31040] ppid=31037 vsize=13985408 memory=173000 CPUtime=1.93 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31037 31040 8289 0 -1 1077944320 28817 12469 0 0 175 11 5 2 20 0 15 0 112524312 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140731566884672 140089035677431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
/proc/31040/statm: 3496352 43250 3370 1 0 3485525 0
[pid=31040/tid=31090] ppid=31037 vsize=13985408 memory=-8774313645642428999 CPUtime=1.29 cores=1,3,5,7
/proc/31040/task/31090/stat : 31090 (java) R 31037 31040 8289 0 -1 4202560 21941 12469 0 0 115 7 5 2 20 0 15 0 112524333 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140089039895728 140089020207405 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31091] ppid=31037 vsize=13985408 memory=-7017668738701635502 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31091/stat : 31091 (java) S 31037 31040 8289 0 -1 1077944384 59 12469 0 0 1 0 5 2 20 0 15 0 112524333 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088955092112 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31092] ppid=31037 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31092/stat : 31092 (java) S 31037 31040 8289 0 -1 1077944384 42 12469 0 0 1 0 5 2 20 0 15 0 112524333 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088954039312 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31093] ppid=31037 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31093/stat : 31093 (java) S 31037 31040 8289 0 -1 1077944384 198 12469 0 0 1 0 5 2 20 0 15 0 112524333 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088952986512 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31094] ppid=31037 vsize=13985408 memory=19153 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31094/stat : 31094 (java) S 31037 31040 8289 0 -1 1077944384 61 12469 0 0 1 0 5 2 20 0 15 0 112524333 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088951933712 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31095] ppid=31037 vsize=13985408 memory=288230600312364799 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31095/stat : 31095 (java) S 31037 31040 8289 0 -1 1077944384 1166 12469 0 0 1 0 5 2 20 0 15 0 112524335 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088514279792 140089035688578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31096] ppid=31037 vsize=13985408 memory=16101455257955772 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31096/stat : 31096 (java) S 31037 31040 8289 0 -1 1077944384 55 12469 0 0 0 0 5 2 20 0 15 0 112524335 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088513225760 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31097] ppid=31037 vsize=13985408 memory=825307185 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31097/stat : 31097 (java) R 31037 31040 8289 0 -1 4202560 45 12469 0 0 0 0 5 2 20 0 15 0 112524335 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088512169520 140088629661764 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31098] ppid=31037 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31098/stat : 31098 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088511121232 140089035696027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31099] ppid=31037 vsize=13985408 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/31040/task/31099/stat : 31099 (java) R 31037 31040 8289 0 -1 1077944384 973 12469 0 0 14 0 5 2 20 0 15 0 112524338 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088510069616 140089035688578 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31100] ppid=31037 vsize=13985408 memory=6944656592455359580 CPUtime=0.23 cores=1,3,5,7
/proc/31040/task/31100/stat : 31100 (java) R 31037 31040 8289 0 -1 4202560 820 12469 0 0 16 0 5 2 20 0 15 0 112524338 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088509016816 140089035689366 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31101] ppid=31037 vsize=13985408 memory=6944656592455097440 CPUtime=0.3 cores=1,3,5,7
/proc/31040/task/31101/stat : 31101 (java) R 31037 31040 8289 0 -1 4202560 1292 12469 0 0 23 0 5 2 20 0 15 0 112524338 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088507960416 140089014209729 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31102] ppid=31037 vsize=13985408 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31102/stat : 31102 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088506911456 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31103] ppid=31037 vsize=13985408 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31103/stat : 31103 (java) S 31037 31040 8289 0 -1 1077944384 7 12469 0 0 0 0 5 2 20 0 15 0 112524342 14321057792 43250 18446744073709551615 4194304 4196468 140731566902128 140088505858736 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 173000 KiB

[startup+3.113 s]
/proc/loadavg: 1.53 1.93 1.97 6/213 31103
/proc/meminfo: memFree=29402044/32770624 swapFree=67108860/67108860
[pid=31040] ppid=31037 vsize=13997884 memory=226268 CPUtime=6.19 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31037 31040 8289 0 -1 1077944320 45103 12469 0 0 595 17 5 2 20 0 15 0 112524312 14333833216 56567 18446744073709551615 4194304 4196468 140731566902128 140731566884672 140089035677431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
/proc/31040/statm: 3499471 56567 3448 1 0 3488085 0
[pid=31040/tid=31090] ppid=31037 vsize=13997884 memory=207356 CPUtime=2.87 cores=1,3,5,7
/proc/31040/task/31090/stat : 31090 (java) R 31037 31040 8289 0 -1 4202560 29257 12469 0 0 270 10 5 2 20 0 15 0 112524333 14333833216 56567 18446744073709551615 4194304 4196468 140731566902128 140089039905800 140088629559539 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31091] ppid=31037 vsize=13997884 memory=66120 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31091/stat : 31091 (java) S 31037 31040 8289 0 -1 1077944384 59 12469 0 0 1 0 5 2 20 0 15 0 112524333 14333833216 56567 18446744073709551615 4194304 4196468 140731566902128 140088955092112 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31092] ppid=31037 vsize=13997884 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31092/stat : 31092 (java) S 31037 31040 8289 0 -1 1077944384 42 12469 0 0 1 0 5 2 20 0 15 0 112524333 14333833216 56567 18446744073709551615 4194304 4196468 140731566902128 140088954039312 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31093] ppid=31037 vsize=13997884 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31093/stat : 31093 (java) S 31037 31040 8289 0 -1 1077944384 198 12469 0 0 1 0 5 2 20 0 15 0 112524333 14333833216 56567 18446744073709551615 4194304 4196468 140731566902128 140088952986512 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31094] ppid=31037 vsize=13997884 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31094/stat : 31094 (java) S 31037 31040 8289 0 -1 1077944384 61 12469 0 0 1 0 5 2 20 0 15 0 112524333 14333833216 56567 18446744073709551615 4194304 4196468 140731566902128 140088951933712 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31095] ppid=31037 vsize=13997884 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31040/task/31095/stat : 31095 (java) S 31037 31040 8289 0 -1 1077944384 1182 12469 0 0 1 0 5 2 20 0 15 0 112524335 14333833216 56567 18446744073709551615 4194304 4196468 140731566902128 140088514279792 140089035688578 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31096] ppid=31037 vsize=13997884 memory=5787244630853636434 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31096/stat : 31096 (java) S 31037 31040 8289 0 -1 1077944384 55 12469 0 0 0 0 5 2 20 0 15 0 112524335 14333833216 56567 18446744073709551615 4194304 4196468 140731566902128 140088513225760 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31097] ppid=31037 vsize=13997884 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31097/stat : 31097 (java) S 31037 31040 8289 0 -1 1077944384 45 12469 0 0 0 0 5 2 20 0 15 0 112524335 14333833216 56567 18446744073709551615 4194304 4196468 140731566902128 140088512172912 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31098] ppid=31037 vsize=13997884 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31098/stat : 31098 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14333833216 56567 18446744073709551615 4194304 4196468 140731566902128 140088511121232 140089035696027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31099] ppid=31037 vsize=13997884 memory=193140 CPUtime=1.2 cores=1,3,5,7
/proc/31040/task/31099/stat : 31099 (java) R 31037 31040 8289 0 -1 4202560 4633 12469 0 0 112 1 5 2 20 0 15 0 112524338 14333833216 56567 18446744073709551615 4194304 4196468 140731566902128 140088510047216 140089015110523 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0

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

/proc/31040/task/31090/stat : 31090 (java) S 31037 31040 8289 0 -1 1077944384 56589 12469 0 0 16046 28 5 2 20 0 15 0 112524333 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140089039911616 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31091] ppid=31037 vsize=14069564 memory=1033852 CPUtime=0.64 cores=1,3,5,7
/proc/31040/task/31091/stat : 31091 (java) S 31037 31040 8289 0 -1 1077944384 3780 12469 0 0 52 5 5 2 20 0 15 0 112524333 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088955092128 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31092] ppid=31037 vsize=14069564 memory=1033852 CPUtime=0.63 cores=1,3,5,7
/proc/31040/task/31092/stat : 31092 (java) S 31037 31040 8289 0 -1 1077944384 1337 12469 0 0 52 4 5 2 20 0 15 0 112524333 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088954039312 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31093] ppid=31037 vsize=14069564 memory=6009579127871728229 CPUtime=0.64 cores=1,3,5,7
/proc/31040/task/31093/stat : 31093 (java) R 31037 31040 8289 0 -1 4202560 2462 12469 0 0 52 5 5 2 20 0 15 0 112524333 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088952986632 140089028305639 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31094] ppid=31037 vsize=14069564 memory=1036300 CPUtime=0.64 cores=1,3,5,7
/proc/31040/task/31094/stat : 31094 (java) S 31037 31040 8289 0 -1 1077944384 952 12469 0 0 53 4 5 2 20 0 15 0 112524333 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088951933712 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31095] ppid=31037 vsize=14069564 memory=956 CPUtime=0.56 cores=1,3,5,7
/proc/31040/task/31095/stat : 31095 (java) S 31037 31040 8289 0 -1 1077944384 3679 12469 0 0 46 3 5 2 20 0 15 0 112524335 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088514278304 140089035687637 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31096] ppid=31037 vsize=14069564 memory=1036260 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31096/stat : 31096 (java) S 31037 31040 8289 0 -1 1077944384 72 12469 0 0 0 0 5 2 20 0 15 0 112524335 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088513225824 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31097] ppid=31037 vsize=14069564 memory=2440 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31097/stat : 31097 (java) S 31037 31040 8289 0 -1 1077944384 51 12469 0 0 0 0 5 2 20 0 15 0 112524335 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088512172928 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31098] ppid=31037 vsize=14069564 memory=1036260 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31098/stat : 31098 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088511121232 140089035696027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31099] ppid=31037 vsize=14069564 memory=1036260 CPUtime=9.8 cores=1,3,5,7
/proc/31040/task/31099/stat : 31099 (java) S 31037 31040 8289 0 -1 1077944384 19585 12469 0 0 968 5 5 2 20 0 15 0 112524338 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088510069616 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31100] ppid=31037 vsize=14069564 memory=4040 CPUtime=9.82 cores=1,3,5,7
/proc/31040/task/31100/stat : 31100 (java) S 31037 31040 8289 0 -1 1077944384 20537 12469 0 0 970 5 5 2 20 0 15 0 112524338 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088509016816 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31101] ppid=31037 vsize=14069564 memory=33492 CPUtime=4.01 cores=1,3,5,7
/proc/31040/task/31101/stat : 31101 (java) S 31037 31040 8289 0 -1 1077944384 22901 12469 0 0 387 7 5 2 20 0 15 0 112524338 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088507964016 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31102] ppid=31037 vsize=14069564 memory=1033852 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31102/stat : 31102 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088506911456 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31103] ppid=31037 vsize=14069564 memory=1033852 CPUtime=0.15 cores=1,3,5,7
/proc/31040/task/31103/stat : 31103 (java) S 31037 31040 8289 0 -1 1077944384 563 12469 0 0 3 5 5 2 20 0 15 0 112524342 14407233536 258463 18446744073709551615 4194304 4196468 140731566902128 140088505858736 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
Current children cumulated CPU time: 187.18 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1033852 KiB

[startup+222.301 s]
/proc/loadavg: 1.56 1.88 1.95 3/214 31236
/proc/meminfo: memFree=29499776/32770624 swapFree=67108860/67108860
[pid=31040] ppid=31037 vsize=14069564 memory=1028868 CPUtime=247.98 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31037 31040 8289 0 -1 1077944320 138714 12469 0 0 24712 79 5 2 20 0 15 0 112524312 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140731566884672 140089035677431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
/proc/31040/statm: 3517391 257217 3492 1 0 3506005 0
[pid=31040/tid=31090] ppid=31037 vsize=14069564 memory=1028760 CPUtime=220.2 cores=1,3,5,7
/proc/31040/task/31090/stat : 31090 (java) R 31037 31040 8289 0 -1 4202560 58110 12469 0 0 21985 28 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140089039911088 140088633085244 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31091] ppid=31037 vsize=14069564 memory=9878424783013 CPUtime=0.92 cores=1,3,5,7
/proc/31040/task/31091/stat : 31091 (java) S 31037 31040 8289 0 -1 1077944384 3895 12469 0 0 79 6 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088955092112 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31092] ppid=31037 vsize=14069564 memory=1028760 CPUtime=0.91 cores=1,3,5,7
/proc/31040/task/31092/stat : 31092 (java) S 31037 31040 8289 0 -1 1077944384 2949 12469 0 0 78 6 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088954039312 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31093] ppid=31037 vsize=14069564 memory=1028760 CPUtime=0.92 cores=1,3,5,7
/proc/31040/task/31093/stat : 31093 (java) S 31037 31040 8289 0 -1 1077944384 2738 12469 0 0 79 6 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088952986512 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31094] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.93 cores=1,3,5,7
/proc/31040/task/31094/stat : 31094 (java) S 31037 31040 8289 0 -1 1077944384 1076 12469 0 0 81 5 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088951933712 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31095] ppid=31037 vsize=14069564 memory=1008 CPUtime=0.8 cores=1,3,5,7
/proc/31040/task/31095/stat : 31095 (java) S 31037 31040 8289 0 -1 1077944384 4048 12469 0 0 69 4 5 2 20 0 15 0 112524335 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088514279792 140089035688578 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31096] ppid=31037 vsize=14069564 memory=1026620 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31096/stat : 31096 (java) S 31037 31040 8289 0 -1 1077944384 72 12469 0 0 0 0 5 2 20 0 15 0 112524335 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088513225824 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31097] ppid=31037 vsize=14069564 memory=1028760 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31097/stat : 31097 (java) S 31037 31040 8289 0 -1 1077944384 51 12469 0 0 0 0 5 2 20 0 15 0 112524335 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088512172928 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31098] ppid=31037 vsize=14069564 memory=1028760 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31098/stat : 31098 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088511121232 140089035696027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31099] ppid=31037 vsize=14069564 memory=1028868 CPUtime=9.8 cores=1,3,5,7
/proc/31040/task/31099/stat : 31099 (java) S 31037 31040 8289 0 -1 1077944384 19588 12469 0 0 968 5 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088510069616 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31100] ppid=31037 vsize=14069564 memory=1028868 CPUtime=9.82 cores=1,3,5,7
/proc/31040/task/31100/stat : 31100 (java) S 31037 31040 8289 0 -1 1077944384 20542 12469 0 0 970 5 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088509016816 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31101] ppid=31037 vsize=14069564 memory=1028760 CPUtime=4.01 cores=1,3,5,7
/proc/31040/task/31101/stat : 31101 (java) S 31037 31040 8289 0 -1 1077944384 22903 12469 0 0 387 7 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088507964016 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31102] ppid=31037 vsize=14069564 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31102/stat : 31102 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088506911456 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31103] ppid=31037 vsize=14069564 memory=2952 CPUtime=0.18 cores=1,3,5,7
/proc/31040/task/31103/stat : 31103 (java) S 31037 31040 8289 0 -1 1077944384 584 12469 0 0 4 7 5 2 20 0 15 0 112524342 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088505858736 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
Current children cumulated CPU time: 247.98 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1028868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+226.301 s]
/proc/loadavg: 1.56 1.88 1.95 3/214 31237
/proc/meminfo: memFree=29499280/32770624 swapFree=67108860/67108860
[pid=31040] ppid=31037 vsize=14069564 memory=1028868 CPUtime=252.02 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31037 31040 8289 0 -1 1077944320 138751 12469 0 0 25116 79 5 2 20 0 15 0 112524312 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140731566884672 140089035677431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
/proc/31040/statm: 3517391 257217 3492 1 0 3506005 0
[pid=31040/tid=31090] ppid=31037 vsize=14069564 memory=1028868 CPUtime=224.16 cores=1,3,5,7
/proc/31040/task/31090/stat : 31090 (java) R 31037 31040 8289 0 -1 4202560 58132 12469 0 0 22381 28 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140089039910656 140088650098003 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31091] ppid=31037 vsize=14069564 memory=1028760 CPUtime=0.94 cores=1,3,5,7
/proc/31040/task/31091/stat : 31091 (java) S 31037 31040 8289 0 -1 1077944384 3899 12469 0 0 81 6 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088955092112 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31092] ppid=31037 vsize=14069564 memory=9878424783013 CPUtime=0.93 cores=1,3,5,7
/proc/31040/task/31092/stat : 31092 (java) S 31037 31040 8289 0 -1 1077944384 2951 12469 0 0 80 6 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088954039312 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31093] ppid=31037 vsize=14069564 memory=1028760 CPUtime=0.94 cores=1,3,5,7
/proc/31040/task/31093/stat : 31093 (java) S 31037 31040 8289 0 -1 1077944384 2742 12469 0 0 81 6 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088952986512 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31094] ppid=31037 vsize=14069564 memory=1028760 CPUtime=0.95 cores=1,3,5,7
/proc/31040/task/31094/stat : 31094 (java) S 31037 31040 8289 0 -1 1077944384 1080 12469 0 0 83 5 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088951933712 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31095] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.81 cores=1,3,5,7
/proc/31040/task/31095/stat : 31095 (java) S 31037 31040 8289 0 -1 1077944384 4049 12469 0 0 70 4 5 2 20 0 15 0 112524335 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088514279792 140089035688578 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31096] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31096/stat : 31096 (java) S 31037 31040 8289 0 -1 1077944384 72 12469 0 0 0 0 5 2 20 0 15 0 112524335 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088513225824 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31097] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31097/stat : 31097 (java) S 31037 31040 8289 0 -1 1077944384 51 12469 0 0 0 0 5 2 20 0 15 0 112524335 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088512172928 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31098] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31098/stat : 31098 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088511121232 140089035696027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31099] ppid=31037 vsize=14069564 memory=1028868 CPUtime=9.8 cores=1,3,5,7
/proc/31040/task/31099/stat : 31099 (java) S 31037 31040 8289 0 -1 1077944384 19588 12469 0 0 968 5 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088510069616 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31100] ppid=31037 vsize=14069564 memory=1028868 CPUtime=9.82 cores=1,3,5,7
/proc/31040/task/31100/stat : 31100 (java) S 31037 31040 8289 0 -1 1077944384 20542 12469 0 0 970 5 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088509016816 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31101] ppid=31037 vsize=14069564 memory=1026620 CPUtime=4.01 cores=1,3,5,7
/proc/31040/task/31101/stat : 31101 (java) S 31037 31040 8289 0 -1 1077944384 22903 12469 0 0 387 7 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088507964016 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31102] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31102/stat : 31102 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088506911456 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31103] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.19 cores=1,3,5,7
/proc/31040/task/31103/stat : 31103 (java) S 31037 31040 8289 0 -1 1077944384 584 12469 0 0 5 7 5 2 20 0 15 0 112524342 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088505858736 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1028868 KiB

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

[startup+226.335 s]
# the end of solver process 31040 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.246 s, system=0.848853 s

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

[startup+226.301 s]
/proc/loadavg: 1.56 1.88 1.95 3/214 31237
/proc/meminfo: memFree=29499280/32770624 swapFree=67108860/67108860
[pid=31040] ppid=31037 vsize=14069564 memory=1028868 CPUtime=252.02 cores=1,3,5,7
/proc/31040/stat : 31040 (java) S 31037 31040 8289 0 -1 1077944320 138751 12469 0 0 25116 79 5 2 20 0 15 0 112524312 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140731566884672 140089035677431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
/proc/31040/statm: 3517391 257217 3492 1 0 3506005 0
[pid=31040/tid=31090] ppid=31037 vsize=14069564 memory=1028868 CPUtime=224.16 cores=1,3,5,7
/proc/31040/task/31090/stat : 31090 (java) R 31037 31040 8289 0 -1 4202560 58132 12469 0 0 22381 28 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140089039910656 140088650098003 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31091] ppid=31037 vsize=14069564 memory=1028760 CPUtime=0.94 cores=1,3,5,7
/proc/31040/task/31091/stat : 31091 (java) S 31037 31040 8289 0 -1 1077944384 3899 12469 0 0 81 6 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088955092112 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31092] ppid=31037 vsize=14069564 memory=9878424783013 CPUtime=0.93 cores=1,3,5,7
/proc/31040/task/31092/stat : 31092 (java) S 31037 31040 8289 0 -1 1077944384 2951 12469 0 0 80 6 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088954039312 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31093] ppid=31037 vsize=14069564 memory=1028760 CPUtime=0.94 cores=1,3,5,7
/proc/31040/task/31093/stat : 31093 (java) S 31037 31040 8289 0 -1 1077944384 2742 12469 0 0 81 6 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088952986512 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31094] ppid=31037 vsize=14069564 memory=1028760 CPUtime=0.95 cores=1,3,5,7
/proc/31040/task/31094/stat : 31094 (java) S 31037 31040 8289 0 -1 1077944384 1080 12469 0 0 83 5 5 2 20 0 15 0 112524333 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088951933712 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31095] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.81 cores=1,3,5,7
/proc/31040/task/31095/stat : 31095 (java) S 31037 31040 8289 0 -1 1077944384 4049 12469 0 0 70 4 5 2 20 0 15 0 112524335 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088514279792 140089035688578 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31096] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31096/stat : 31096 (java) S 31037 31040 8289 0 -1 1077944384 72 12469 0 0 0 0 5 2 20 0 15 0 112524335 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088513225824 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31097] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31097/stat : 31097 (java) S 31037 31040 8289 0 -1 1077944384 51 12469 0 0 0 0 5 2 20 0 15 0 112524335 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088512172928 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31098] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31098/stat : 31098 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088511121232 140089035696027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31099] ppid=31037 vsize=14069564 memory=1028868 CPUtime=9.8 cores=1,3,5,7
/proc/31040/task/31099/stat : 31099 (java) S 31037 31040 8289 0 -1 1077944384 19588 12469 0 0 968 5 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088510069616 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31100] ppid=31037 vsize=14069564 memory=1028868 CPUtime=9.82 cores=1,3,5,7
/proc/31040/task/31100/stat : 31100 (java) S 31037 31040 8289 0 -1 1077944384 20542 12469 0 0 970 5 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088509016816 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31101] ppid=31037 vsize=14069564 memory=1026620 CPUtime=4.01 cores=1,3,5,7
/proc/31040/task/31101/stat : 31101 (java) S 31037 31040 8289 0 -1 1077944384 22903 12469 0 0 387 7 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088507964016 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31102] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.07 cores=1,3,5,7
/proc/31040/task/31102/stat : 31102 (java) S 31037 31040 8289 0 -1 1077944384 3 12469 0 0 0 0 5 2 20 0 15 0 112524338 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088506911456 140089035687637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
[pid=31040/tid=31103] ppid=31037 vsize=14069564 memory=1028868 CPUtime=0.19 cores=1,3,5,7
/proc/31040/task/31103/stat : 31103 (java) S 31037 31040 8289 0 -1 1077944384 584 12469 0 0 5 7 5 2 20 0 15 0 112524342 14407233536 257217 18446744073709551615 4194304 4196468 140731566902128 140088505858736 140089035688578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30523392 140731566909360 140731566912145 140731566912145 140731566915535 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1028868 KiB

Child status: 143
Real time (s): 226.335
CPU time (s): 252.094
CPU user time (s): 251.246
CPU system time (s): 0.848853
CPU usage (%): 111.381
Max. virtual memory (cumulated for all children) (KiB): 14071664
Max. memory (cumulated for all children) (KiB): 1055800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.246
system time used= 0.848853
maximum resident set size= 1055804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34063
involuntary context switches= 1534


# summary of solver processes directly reported to runsolver:
#   pid: 31040
#   total CPU time (s): 252.094
#   total CPU user time (s): 251.246
#   total CPU system time (s): 0.848853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40218 second user time and 2.16161 second system time

The end

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

Trace number 4259553

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