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

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.12.3	SAT (TO)	1535	2400.19	2349.03

0.79/0.55	c Concrete v3.12.3.1568965526260 running
20.45/9.31	o 2001
20.45/9.34	o 1997
20.75/9.41	o 1982
20.75/9.43	o 1951
21.37/9.63	o 1933
21.37/9.65	o 1925
21.37/9.68	o 1913
21.37/9.69	o 1909
21.63/9.71	o 1903
21.83/9.88	o 1885
21.99/9.91	o 1876
21.99/10.00	o 1863
24.04/11.24	o 1767
24.04/11.26	o 1739
24.04/11.28	o 1735
24.04/11.29	o 1722
24.18/11.38	o 1680
24.32/11.42	o 1674
25.95/12.85	o 1672
25.95/12.88	o 1659
27.14/13.98	o 1656
27.14/14.00	o 1650
27.25/14.03	o 1644
27.25/14.05	o 1638
27.25/14.06	o 1634
27.25/14.09	o 1623
27.25/14.10	o 1617
27.35/14.13	o 1609
27.35/14.15	o 1595
27.35/14.19	o 1589
27.45/14.24	o 1585
27.55/14.34	o 1575
283.30/267.47	o 1566
283.30/267.48	o 1556
283.30/267.49	o 1553
700.78/678.42	o 1552
700.78/678.43	o 1543
701.19/678.81	o 1540
701.92/679.55	o 1535
2400.05/2348.90	Exception in thread "main" java.util.concurrent.TimeoutException
2400.05/2348.91		at concrete.MAC.mac(MAC.scala:192)
2400.05/2348.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.05/2348.91		at scala.util.Try$.apply(Try.scala:210)
2400.05/2348.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.05/2348.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.05/2348.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.05/2348.91		at concrete.MAC.oneRun(MAC.scala:265)
2400.05/2348.91		at concrete.MAC.nextSolution(MAC.scala:284)
2400.05/2348.91		at concrete.MAC.nextSolution(MAC.scala:369)
2400.05/2348.91		at concrete.Solver.hasNext(Solver.scala:160)
2400.05/2348.91		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.05/2348.91		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.05/2348.91		at concrete.Solver.foreach(Solver.scala:67)
2400.05/2348.91		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.05/2348.91		at scala.util.Success.map(Try.scala:262)
2400.05/2348.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.05/2348.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.05/2348.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.05/2348.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.05/2348.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.05/2348.91		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.05/2348.91		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.05/2348.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.05/2348.91		at scala.App.$anonfun$main$1(App.scala:73)
2400.05/2348.91		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2400.05/2348.91		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.05/2348.91		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.05/2348.91		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2400.05/2348.91		at scala.App.main(App.scala:73)
2400.05/2348.91		at scala.App.main$(App.scala:71)
2400.05/2348.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.05/2348.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.05/2348.92	v <instantiation
2400.05/2348.92	v         cost = '1535'>
2400.05/2348.92	v       <list>
2400.05/2348.92	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37]
2400.05/2348.92	v       </list>
2400.05/2348.92	v       <values>
2400.05/2348.92	v         0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 78 71 23 18 60 57 68 99 76 46 14 20 100 31 11 100 22 100 83 9 66 43 100 44 13 87 35 63 48 21 46 2 95 73 92 49
2400.05/2348.92	v       </values>
2400.05/2348.92	v     </instantiation>
2400.05/2348.92	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 (1240 MiB free)
  memory of node 1: 16384 MiB (61 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403291-1568972420/watcher-4403291-1568972420 -o /tmp/evaluation-result-4403291-1568972420/solver-4403291-1568972420 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568967595-6471 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=799927705 HOME/instance-4403291-1568972420.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100059 s]*
/proc/loadavg: 1.99 1.49 1.37 6/218 7861
/proc/meminfo: memFree=1327140/32770624 swapFree=66974376/67108860
[pid=7804] ppid=7801 vsize=9972712 memory=18332 CPUtime=0.1 cores=0,2,4,6
/proc/7804/stat : 7804 (java) S 7801 7804 6440 0 -1 1077944320 4337 13049 0 0 1 1 5 3 20 0 6 0 473508826 10212057088 4583 33554432000 4194304 4196468 140727623140672 140727623123216 140324961472247 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
/proc/7804/statm: 2493178 4583 1931 1 0 2481616 0
[pid=7804/tid=7857] ppid=7801 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7857/stat : 7857 (java) R 7801 7804 6440 0 -1 4202560 2130 13049 0 0 0 0 5 3 20 0 6 0 473508835 10212057088 4583 33554432000 4194304 4196468 140727623140672 140324933309008 140324947154773 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7858] ppid=7801 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7858/stat : 7858 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 6 0 473508836 10212057088 4583 33554432000 4194304 4196468 140727623140672 140324965714576 140324961482453 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7859] ppid=7801 vsize=9972712 memory=139918974912128 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7859/stat : 7859 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 6 0 473508836 10212057088 4583 33554432000 4194304 4196468 140727623140672 140324853987856 140324961482453 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7860] ppid=7801 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7860/stat : 7860 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 6 0 473508836 10212057088 4583 33554432000 4194304 4196468 140727623140672 140324852935056 140324961482453 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7861] ppid=7801 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7861/stat : 7861 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 6 0 473508836 10212057088 4583 33554432000 4194304 4196468 140727623140672 140324851882256 140324961482453 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18332 KiB

[startup+0.210162 s]*
/proc/loadavg: 1.99 1.49 1.37 6/227 7870
/proc/meminfo: memFree=1303724/32770624 swapFree=66974376/67108860
[pid=7804] ppid=7801 vsize=10820164 memory=45060 CPUtime=0.26 cores=0,2,4,6
/proc/7804/stat : 7804 (java) S 7801 7804 6440 0 -1 1077944320 7167 13049 0 0 16 2 5 3 20 0 15 0 473508826 11079847936 11265 33554432000 4194304 4196468 140727623140672 140727623123216 140324961472247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
/proc/7804/statm: 2705041 11265 3287 1 0 2667149 0
[pid=7804/tid=7857] ppid=7801 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/7804/task/7857/stat : 7857 (java) R 7801 7804 6440 0 -1 4202560 3674 13049 0 0 10 1 5 3 20 0 15 0 473508835 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324933283280 140324961494173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7858] ppid=7801 vsize=10820196 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7858/stat : 7858 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508836 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324965714576 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7859] ppid=7801 vsize=10820196 memory=139918974920189 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7859/stat : 7859 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508836 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324853987856 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7860] ppid=7801 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7860/stat : 7860 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508836 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324852935056 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7861] ppid=7801 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7861/stat : 7861 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508836 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324851882256 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7862] ppid=7801 vsize=10820196 memory=139918974912128 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7862/stat : 7862 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508837 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324420660080 140324961483394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7863] ppid=7801 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7863/stat : 7863 (java) S 7801 7804 6440 0 -1 1077944384 33 13049 0 0 0 0 5 3 20 0 15 0 473508837 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324419606048 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7864] ppid=7801 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7864/stat : 7864 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508838 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324299072880 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7865] ppid=7801 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7865/stat : 7865 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508840 11079880704 11265 33554432000 4194304 4196468 140727623140672 140323493767504 140324961490843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7866] ppid=7801 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7804/task/7866/stat : 7866 (java) S 7801 7804 6440 0 -1 1077944384 467 13049 0 0 1 0 5 3 20 0 15 0 473508840 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324386048368 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7867] ppid=7801 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7867/stat : 7867 (java) R 7801 7804 6440 0 -1 4202560 183 13049 0 0 0 0 5 3 20 0 15 0 473508840 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324384995568 140324946384544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7868] ppid=7801 vsize=10820196 memory=139918974912128 CPUtime=0.11 cores=0,2,4,6
/proc/7804/task/7868/stat : 7868 (java) S 7801 7804 6440 0 -1 1077944384 605 13049 0 0 3 0 5 3 20 0 15 0 473508840 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324383942768 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7869] ppid=7801 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7869/stat : 7869 (java) S 7801 7804 6440 0 -1 1077944384 3 13049 0 0 0 0 5 3 20 0 15 0 473508841 11079880704 11265 33554432000 4194304 4196468 140727623140672 140323225331936 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7870] ppid=7801 vsize=10820196 memory=139918974912128 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7870/stat : 7870 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508841 11079880704 11265 33554432000 4194304 4196468 140727623140672 140324382891184 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 45060 KiB

[startup+0.310384 s]*
/proc/loadavg: 1.99 1.49 1.37 8/227 7870
/proc/meminfo: memFree=1287876/32770624 swapFree=66974376/67108860
[pid=7804] ppid=7801 vsize=10820196 memory=53236 CPUtime=0.41 cores=0,2,4,6
/proc/7804/stat : 7804 (java) S 7801 7804 6440 0 -1 1077944320 10546 13049 0 0 29 4 5 3 20 0 15 0 473508826 11079880704 13309 33554432000 4194304 4196468 140727623140672 140727623123216 140324961472247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
/proc/7804/statm: 2705049 13309 3308 1 0 2667149 0
[pid=7804/tid=7857] ppid=7801 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/7804/task/7857/stat : 7857 (java) R 7801 7804 6440 0 -1 4202560 7016 13049 0 0 19 2 5 3 20 0 15 0 473508835 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324933281168 140324944659056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7858] ppid=7801 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7858/stat : 7858 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508836 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324965714576 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7859] ppid=7801 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7859/stat : 7859 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508836 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324853987856 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7860] ppid=7801 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7860/stat : 7860 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508836 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324852935056 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7861] ppid=7801 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7861/stat : 7861 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508836 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324851882256 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7862] ppid=7801 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7862/stat : 7862 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508837 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324420660080 140324961483394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7863] ppid=7801 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7863/stat : 7863 (java) S 7801 7804 6440 0 -1 1077944384 33 13049 0 0 0 0 5 3 20 0 15 0 473508837 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324419606048 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7864] ppid=7801 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7864/stat : 7864 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508838 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324299072880 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7865] ppid=7801 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7865/stat : 7865 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508840 11079880704 13309 33554432000 4194304 4196468 140727623140672 140323493767504 140324961490843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7866] ppid=7801 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7804/task/7866/stat : 7866 (java) S 7801 7804 6440 0 -1 1077944384 467 13049 0 0 1 0 5 3 20 0 15 0 473508840 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324386048368 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7867] ppid=7801 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/7804/task/7867/stat : 7867 (java) S 7801 7804 6440 0 -1 1077944384 193 13049 0 0 2 0 5 3 20 0 15 0 473508840 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324384995568 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7868] ppid=7801 vsize=10820196 memory=139918974912128 CPUtime=0.13 cores=0,2,4,6
/proc/7804/task/7868/stat : 7868 (java) S 7801 7804 6440 0 -1 1077944384 613 13049 0 0 5 0 5 3 20 0 15 0 473508840 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324383942768 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7869] ppid=7801 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7869/stat : 7869 (java) S 7801 7804 6440 0 -1 1077944384 3 13049 0 0 0 0 5 3 20 0 15 0 473508841 11079880704 13309 33554432000 4194304 4196468 140727623140672 140323225331936 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7870] ppid=7801 vsize=10820196 memory=139918974912128 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7870/stat : 7870 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508841 11079880704 13309 33554432000 4194304 4196468 140727623140672 140324382891184 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53236 KiB

[startup+0.701164 s]
/proc/loadavg: 1.99 1.49 1.37 6/227 7870
/proc/meminfo: memFree=1273244/32770624 swapFree=66974376/67108860
[pid=7804] ppid=7801 vsize=10824364 memory=85484 CPUtime=1.15 cores=0,2,4,6
/proc/7804/stat : 7804 (java) S 7801 7804 6440 0 -1 1077944320 14640 13049 0 0 102 5 5 3 20 0 15 0 473508826 11084148736 21371 33554432000 4194304 4196468 140727623140672 140727623123216 140324961472247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
/proc/7804/statm: 2706091 21371 3501 1 0 2668173 0
[pid=7804/tid=7857] ppid=7801 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/7804/task/7857/stat : 7857 (java) R 7801 7804 6440 0 -1 4202560 10018 13049 0 0 55 4 5 3 20 0 15 0 473508835 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324933299408 140324517310312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7858] ppid=7801 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7858/stat : 7858 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508836 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324965714576 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7859] ppid=7801 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7859/stat : 7859 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508836 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324853987856 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7860] ppid=7801 vsize=10824364 memory=279837655222240 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7860/stat : 7860 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508836 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324852935056 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7861] ppid=7801 vsize=10824364 memory=139918827466672 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7861/stat : 7861 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508836 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324851882256 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7862] ppid=7801 vsize=10824364 memory=139921444569670 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7862/stat : 7862 (java) S 7801 7804 6440 0 -1 1077944384 5 13049 0 0 0 0 5 3 20 0 15 0 473508837 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324420660080 140324961483394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7863] ppid=7801 vsize=10824364 memory=1552 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7863/stat : 7863 (java) S 7801 7804 6440 0 -1 1077944384 33 13049 0 0 0 0 5 3 20 0 15 0 473508837 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324419606048 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7864] ppid=7801 vsize=10824364 memory=7092418796125250880 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7864/stat : 7864 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508838 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324299072880 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7865] ppid=7801 vsize=10824364 memory=7453282923411564372 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7865/stat : 7865 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508840 11084148736 21371 33554432000 4194304 4196468 140727623140672 140323493767504 140324961490843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7866] ppid=7801 vsize=10824364 memory=5787213827096799335 CPUtime=0.21 cores=0,2,4,6
/proc/7804/task/7866/stat : 7866 (java) R 7801 7804 6440 0 -1 4202560 919 13049 0 0 13 0 5 3 20 0 15 0 473508840 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324386034464 140324941176337 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7867] ppid=7801 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/7804/task/7867/stat : 7867 (java) S 7801 7804 6440 0 -1 1077944384 666 13049 0 0 16 0 5 3 20 0 15 0 473508840 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324384995568 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7868] ppid=7801 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/7804/task/7868/stat : 7868 (java) R 7801 7804 6440 0 -1 4202560 777 13049 0 0 17 0 5 3 20 0 15 0 473508840 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324383942768 140324517183609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7869] ppid=7801 vsize=10824364 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7869/stat : 7869 (java) S 7801 7804 6440 0 -1 1077944384 3 13049 0 0 0 0 5 3 20 0 15 0 473508841 11084148736 21371 33554432000 4194304 4196468 140727623140672 140323225331936 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7870] ppid=7801 vsize=10824364 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7870/stat : 7870 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508841 11084148736 21371 33554432000 4194304 4196468 140727623140672 140324382891184 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85484 KiB

[startup+1.50068 s]
/proc/loadavg: 1.99 1.49 1.37 8/227 7870
/proc/meminfo: memFree=1222496/32770624 swapFree=66974376/67108860
[pid=7804] ppid=7801 vsize=10834680 memory=197044 CPUtime=2.96 cores=0,2,4,6
/proc/7804/stat : 7804 (java) S 7801 7804 6440 0 -1 1077944320 25754 13049 0 0 277 11 5 3 20 0 15 0 473508826 11094712320 49261 33554432000 4194304 4196468 140727623140672 140727623123216 140324961472247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
/proc/7804/statm: 2708670 49261 3582 1 0 2670733 0
[pid=7804/tid=7857] ppid=7801 vsize=10834680 memory=9252 CPUtime=1.43 cores=0,2,4,6
/proc/7804/task/7857/stat : 7857 (java) R 7801 7804 6440 0 -1 4202560 15654 13049 0 0 129 6 5 3 20 0 15 0 473508835 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324933298224 140324945552734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7858] ppid=7801 vsize=10834680 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/7804/task/7858/stat : 7858 (java) S 7801 7804 6440 0 -1 1077944384 97 13049 0 0 1 0 5 3 20 0 15 0 473508836 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324965714576 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7859] ppid=7801 vsize=10834680 memory=3199736 CPUtime=0.09 cores=0,2,4,6
/proc/7804/task/7859/stat : 7859 (java) S 7801 7804 6440 0 -1 1077944384 325 13049 0 0 1 0 5 3 20 0 15 0 473508836 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324853987856 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7860] ppid=7801 vsize=10834680 memory=1408 CPUtime=0.09 cores=0,2,4,6
/proc/7804/task/7860/stat : 7860 (java) S 7801 7804 6440 0 -1 1077944384 32 13049 0 0 1 0 5 3 20 0 15 0 473508836 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324852935056 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7861] ppid=7801 vsize=10834680 memory=85484 CPUtime=0.09 cores=0,2,4,6
/proc/7804/task/7861/stat : 7861 (java) S 7801 7804 6440 0 -1 1077944384 63 13049 0 0 1 0 5 3 20 0 15 0 473508836 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324851882256 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7862] ppid=7801 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7804/task/7862/stat : 7862 (java) S 7801 7804 6440 0 -1 1077944384 1381 13049 0 0 1 0 5 3 20 0 15 0 473508837 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324420660080 140324961483394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7863] ppid=7801 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7863/stat : 7863 (java) S 7801 7804 6440 0 -1 1077944384 34 13049 0 0 0 0 5 3 20 0 15 0 473508837 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324419606112 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7864] ppid=7801 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7864/stat : 7864 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508838 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324299072896 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7865] ppid=7801 vsize=10834680 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7865/stat : 7865 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508840 11094712320 49261 33554432000 4194304 4196468 140727623140672 140323493767504 140324961490843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7866] ppid=7801 vsize=10834680 memory=4638778398332698720 CPUtime=0.53 cores=0,2,4,6
/proc/7804/task/7866/stat : 7866 (java) S 7801 7804 6440 0 -1 1077944384 2372 13049 0 0 45 0 5 3 20 0 15 0 473508840 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324386048368 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7867] ppid=7801 vsize=10834680 memory=279837655210320 CPUtime=0.57 cores=0,2,4,6
/proc/7804/task/7867/stat : 7867 (java) S 7801 7804 6440 0 -1 1077944384 1668 13049 0 0 49 0 5 3 20 0 15 0 473508840 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324384995568 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7868] ppid=7801 vsize=10834680 memory=6944656425123290226 CPUtime=0.52 cores=0,2,4,6
/proc/7804/task/7868/stat : 7868 (java) S 7801 7804 6440 0 -1 1077944384 1912 13049 0 0 44 0 5 3 20 0 15 0 473508840 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324383942768 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7869] ppid=7801 vsize=10834680 memory=-7233780906022716832 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7869/stat : 7869 (java) S 7801 7804 6440 0 -1 1077944384 3 13049 0 0 0 0 5 3 20 0 15 0 473508841 11094712320 49261 33554432000 4194304 4196468 140727623140672 140323225331936 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7870] ppid=7801 vsize=10834680 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7870/stat : 7870 (java) S 7801 7804 6440 0 -1 1077944384 1 13049 0 0 0 0 5 3 20 0 15 0 473508841 11094712320 49261 33554432000 4194304 4196468 140727623140672 140324382891184 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 10834680 KiB

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

[pid=7804/tid=7861] ppid=7801 vsize=10846988 memory=2336012 CPUtime=12.36 cores=0,2,4,6
/proc/7804/task/7861/stat : 7861 (java) S 7801 7804 6440 0 -1 1077944384 47134 13049 0 0 1165 63 5 3 20 0 15 0 473508836 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324851882256 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7862] ppid=7801 vsize=10846988 memory=3620 CPUtime=8.9 cores=0,2,4,6
/proc/7804/task/7862/stat : 7862 (java) S 7801 7804 6440 0 -1 1077944384 28762 13049 0 0 832 50 5 3 20 0 15 0 473508837 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324420660080 140324961483394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7863] ppid=7801 vsize=10846988 memory=2336012 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7863/stat : 7863 (java) S 7801 7804 6440 0 -1 1077944384 49 13049 0 0 0 0 5 3 20 0 15 0 473508837 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324419606176 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7864] ppid=7801 vsize=10846988 memory=2336012 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7864/stat : 7864 (java) S 7801 7804 6440 0 -1 1077944384 20 13049 0 0 0 0 5 3 20 0 15 0 473508838 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324299072896 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7865] ppid=7801 vsize=10846988 memory=54024 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7865/stat : 7865 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140323493767504 140324961490843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7866] ppid=7801 vsize=10846988 memory=2336012 CPUtime=5.25 cores=0,2,4,6
/proc/7804/task/7866/stat : 7866 (java) S 7801 7804 6440 0 -1 1077944384 14289 13049 0 0 514 3 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324386048368 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7867] ppid=7801 vsize=10846988 memory=2336012 CPUtime=5.47 cores=0,2,4,6
/proc/7804/task/7867/stat : 7867 (java) S 7801 7804 6440 0 -1 1077944384 16121 13049 0 0 536 3 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324384995568 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7868] ppid=7801 vsize=10846988 memory=2336012 CPUtime=2.44 cores=0,2,4,6
/proc/7804/task/7868/stat : 7868 (java) S 7801 7804 6440 0 -1 1077944384 16292 13049 0 0 232 4 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324383942768 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7869] ppid=7801 vsize=10846988 memory=2336012 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7869/stat : 7869 (java) S 7801 7804 6440 0 -1 1077944384 3 13049 0 0 0 0 5 3 20 0 15 0 473508841 11107315712 584003 33554432000 4194304 4196468 140727623140672 140323225331936 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7870] ppid=7801 vsize=10846988 memory=2336012 CPUtime=1.39 cores=0,2,4,6
/proc/7804/task/7870/stat : 7870 (java) S 7801 7804 6440 0 -1 1077944384 1710 13049 0 0 68 63 5 3 20 0 15 0 473508841 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324382891184 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 70 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
Current children cumulated CPU time: 2250.87 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2336012 KiB

[startup+2262.3 s]
/proc/loadavg: 1.96 1.69 1.57 3/227 8105
/proc/meminfo: memFree=374996/32770624 swapFree=66974396/67108860
[pid=7804] ppid=7801 vsize=10846988 memory=2336012 CPUtime=2311.94 cores=0,2,4,6
/proc/7804/stat : 7804 (java) S 7801 7804 6440 0 -1 1077944320 1656382 13049 0 0 230571 615 5 3 20 0 15 0 473508826 11107315712 584003 33554432000 4194304 4196468 140727623140672 140727623123216 140324961472247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
/proc/7804/statm: 2711747 584003 3629 1 0 2673805 0
[pid=7804/tid=7857] ppid=7801 vsize=10846988 memory=716 CPUtime=2237.75 cores=0,2,4,6
/proc/7804/task/7857/stat : 7857 (java) R 7801 7804 6440 0 -1 4202560 1362109 13049 0 0 223486 281 5 3 20 0 15 0 473508835 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324933308304 140324529243873 0 4 0 16800975 0 0 0 -1 4 0 0 66 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7858] ppid=7801 vsize=10846988 memory=2336012 CPUtime=12.79 cores=0,2,4,6
/proc/7804/task/7858/stat : 7858 (java) S 7801 7804 6440 0 -1 1077944384 52867 13049 0 0 1203 68 5 3 20 0 15 0 473508836 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324965714576 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7859] ppid=7801 vsize=10846988 memory=2336012 CPUtime=12.76 cores=0,2,4,6
/proc/7804/task/7859/stat : 7859 (java) S 7801 7804 6440 0 -1 1077944384 54288 13049 0 0 1200 68 5 3 20 0 15 0 473508836 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324853987856 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7860] ppid=7801 vsize=10846988 memory=2336012 CPUtime=12.78 cores=0,2,4,6
/proc/7804/task/7860/stat : 7860 (java) S 7801 7804 6440 0 -1 1077944384 58359 13049 0 0 1206 64 5 3 20 0 15 0 473508836 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324852935056 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7861] ppid=7801 vsize=10846988 memory=2336012 CPUtime=12.72 cores=0,2,4,6
/proc/7804/task/7861/stat : 7861 (java) S 7801 7804 6440 0 -1 1077944384 48513 13049 0 0 1200 64 5 3 20 0 15 0 473508836 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324851882256 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7862] ppid=7801 vsize=10846988 memory=2336012 CPUtime=9.16 cores=0,2,4,6
/proc/7804/task/7862/stat : 7862 (java) S 7801 7804 6440 0 -1 1077944384 29478 13049 0 0 856 52 5 3 20 0 15 0 473508837 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324420660080 140324961483394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7863] ppid=7801 vsize=10846988 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7863/stat : 7863 (java) S 7801 7804 6440 0 -1 1077944384 49 13049 0 0 0 0 5 3 20 0 15 0 473508837 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324419606176 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7864] ppid=7801 vsize=10846988 memory=2336012 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7864/stat : 7864 (java) S 7801 7804 6440 0 -1 1077944384 20 13049 0 0 0 0 5 3 20 0 15 0 473508838 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324299072896 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7865] ppid=7801 vsize=10846988 memory=2336012 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7865/stat : 7865 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140323493767504 140324961490843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7866] ppid=7801 vsize=10846988 memory=2336012 CPUtime=5.25 cores=0,2,4,6
/proc/7804/task/7866/stat : 7866 (java) S 7801 7804 6440 0 -1 1077944384 14294 13049 0 0 514 3 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324386048368 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7867] ppid=7801 vsize=10846988 memory=2336012 CPUtime=5.47 cores=0,2,4,6
/proc/7804/task/7867/stat : 7867 (java) S 7801 7804 6440 0 -1 1077944384 16126 13049 0 0 536 3 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324384995568 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7868] ppid=7801 vsize=10846988 memory=780 CPUtime=2.44 cores=0,2,4,6
/proc/7804/task/7868/stat : 7868 (java) S 7801 7804 6440 0 -1 1077944384 16298 13049 0 0 232 4 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324383942768 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7869] ppid=7801 vsize=10846988 memory=1552 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7869/stat : 7869 (java) S 7801 7804 6440 0 -1 1077944384 3 13049 0 0 0 0 5 3 20 0 15 0 473508841 11107315712 584003 33554432000 4194304 4196468 140727623140672 140323225331936 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7870] ppid=7801 vsize=10846988 memory=3620 CPUtime=1.42 cores=0,2,4,6
/proc/7804/task/7870/stat : 7870 (java) S 7801 7804 6440 0 -1 1077944384 1766 13049 0 0 69 65 5 3 20 0 15 0 473508841 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324382891184 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 70 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
Current children cumulated CPU time: 2311.94 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2336012 KiB

[startup+2322.3 s]
/proc/loadavg: 1.65 1.65 1.56 3/227 8238
/proc/meminfo: memFree=3489820/32770624 swapFree=66974396/67108860
[pid=7804] ppid=7801 vsize=10846988 memory=2336012 CPUtime=2372.98 cores=0,2,4,6
/proc/7804/stat : 7804 (java) S 7801 7804 6440 0 -1 1077944320 1665194 13049 0 0 236667 623 5 3 20 0 15 0 473508826 11107315712 584003 33554432000 4194304 4196468 140727623140672 140727623123216 140324961472247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
/proc/7804/statm: 2711747 584003 3629 1 0 2673805 0
[pid=7804/tid=7857] ppid=7801 vsize=10846988 memory=2336012 CPUtime=2297.06 cores=0,2,4,6
/proc/7804/task/7857/stat : 7857 (java) R 7801 7804 6440 0 -1 4202560 1364843 13049 0 0 229415 283 5 3 20 0 15 0 473508835 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324933308304 140324530952611 0 4 0 16800975 0 0 0 -1 2 0 0 66 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7858] ppid=7801 vsize=10846988 memory=2336012 CPUtime=13.15 cores=0,2,4,6
/proc/7804/task/7858/stat : 7858 (java) S 7801 7804 6440 0 -1 1077944384 53143 13049 0 0 1238 69 5 3 20 0 15 0 473508836 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324965714576 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7859] ppid=7801 vsize=10846988 memory=2336012 CPUtime=13.13 cores=0,2,4,6
/proc/7804/task/7859/stat : 7859 (java) S 7801 7804 6440 0 -1 1077944384 54677 13049 0 0 1236 69 5 3 20 0 15 0 473508836 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324853987856 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7860] ppid=7801 vsize=10846988 memory=2336012 CPUtime=13.15 cores=0,2,4,6
/proc/7804/task/7860/stat : 7860 (java) S 7801 7804 6440 0 -1 1077944384 60797 13049 0 0 1242 65 5 3 20 0 15 0 473508836 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324852935056 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7861] ppid=7801 vsize=10846988 memory=2336012 CPUtime=13.08 cores=0,2,4,6
/proc/7804/task/7861/stat : 7861 (java) S 7801 7804 6440 0 -1 1077944384 50420 13049 0 0 1235 65 5 3 20 0 15 0 473508836 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324851882256 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7862] ppid=7801 vsize=10846988 memory=1640 CPUtime=9.41 cores=0,2,4,6
/proc/7804/task/7862/stat : 7862 (java) S 7801 7804 6440 0 -1 1077944384 30471 13049 0 0 880 53 5 3 20 0 15 0 473508837 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324420660080 140324961483394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7863] ppid=7801 vsize=10846988 memory=1980 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7863/stat : 7863 (java) S 7801 7804 6440 0 -1 1077944384 49 13049 0 0 0 0 5 3 20 0 15 0 473508837 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324419606176 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7864] ppid=7801 vsize=10846988 memory=2336012 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7864/stat : 7864 (java) S 7801 7804 6440 0 -1 1077944384 20 13049 0 0 0 0 5 3 20 0 15 0 473508838 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324299072896 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7865] ppid=7801 vsize=10846988 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7865/stat : 7865 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140323493767504 140324961490843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7866] ppid=7801 vsize=10846988 memory=2336012 CPUtime=5.25 cores=0,2,4,6
/proc/7804/task/7866/stat : 7866 (java) S 7801 7804 6440 0 -1 1077944384 14300 13049 0 0 514 3 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324386048368 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7867] ppid=7801 vsize=10846988 memory=2336012 CPUtime=5.47 cores=0,2,4,6
/proc/7804/task/7867/stat : 7867 (java) S 7801 7804 6440 0 -1 1077944384 16130 13049 0 0 536 3 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324384995568 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7868] ppid=7801 vsize=10846988 memory=2336012 CPUtime=2.44 cores=0,2,4,6
/proc/7804/task/7868/stat : 7868 (java) S 7801 7804 6440 0 -1 1077944384 16302 13049 0 0 232 4 5 3 20 0 15 0 473508840 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324383942768 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7869] ppid=7801 vsize=10846988 memory=2336012 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7869/stat : 7869 (java) S 7801 7804 6440 0 -1 1077944384 3 13049 0 0 0 0 5 3 20 0 15 0 473508841 11107315712 584003 33554432000 4194304 4196468 140727623140672 140323225331936 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7870] ppid=7801 vsize=10846988 memory=2336012 CPUtime=1.45 cores=0,2,4,6
/proc/7804/task/7870/stat : 7870 (java) S 7801 7804 6440 0 -1 1077944384 1827 13049 0 0 71 66 5 3 20 0 15 0 473508841 11107315712 584003 33554432000 4194304 4196468 140727623140672 140324382891184 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 70 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
Current children cumulated CPU time: 2372.98 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2336012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2348.9 s]
/proc/loadavg: 1.58 1.64 1.56 3/227 8239
/proc/meminfo: memFree=3521052/32770624 swapFree=66974396/67108860
[pid=7804] ppid=7801 vsize=10846988 memory=2319596 CPUtime=2400.05 cores=0,2,4,6
/proc/7804/stat : 7804 (java) S 7801 7804 6440 0 -1 1077944320 1672183 13049 0 0 239369 628 5 3 20 0 15 0 473508826 11107315712 579899 33554432000 4194304 4196468 140727623140672 140727623123216 140324961472247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
/proc/7804/statm: 2711747 579899 3629 1 0 2673805 0
[pid=7804/tid=7857] ppid=7801 vsize=10846988 memory=2320112 CPUtime=2323.36 cores=0,2,4,6
/proc/7804/task/7857/stat : 7857 (java) R 7801 7804 6440 0 -1 4202560 1366940 13049 0 0 232044 284 5 3 20 0 15 0 473508835 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324933308384 140324530952884 0 4 0 16800975 0 0 0 -1 2 0 0 66 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7858] ppid=7801 vsize=10846988 memory=2323700 CPUtime=13.31 cores=0,2,4,6
/proc/7804/task/7858/stat : 7858 (java) S 7801 7804 6440 0 -1 1077944384 54418 13049 0 0 1253 70 5 3 20 0 15 0 473508836 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324965714576 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7859] ppid=7801 vsize=10846988 memory=2332936 CPUtime=13.29 cores=0,2,4,6
/proc/7804/task/7859/stat : 7859 (java) S 7801 7804 6440 0 -1 1077944384 55399 13049 0 0 1251 70 5 3 20 0 15 0 473508836 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324853987856 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7860] ppid=7801 vsize=10846988 memory=2331908 CPUtime=13.31 cores=0,2,4,6
/proc/7804/task/7860/stat : 7860 (java) S 7801 7804 6440 0 -1 1077944384 61653 13049 0 0 1257 66 5 3 20 0 15 0 473508836 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324852935056 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7861] ppid=7801 vsize=10846988 memory=2336012 CPUtime=13.25 cores=0,2,4,6
/proc/7804/task/7861/stat : 7861 (java) S 7801 7804 6440 0 -1 1077944384 52093 13049 0 0 1251 66 5 3 20 0 15 0 473508836 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324851882256 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7862] ppid=7801 vsize=10846988 memory=2336012 CPUtime=9.52 cores=0,2,4,6
/proc/7804/task/7862/stat : 7862 (java) S 7801 7804 6440 0 -1 1077944384 30808 13049 0 0 890 54 5 3 20 0 15 0 473508837 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324420660080 140324961483394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7863] ppid=7801 vsize=10846988 memory=2327804 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7863/stat : 7863 (java) S 7801 7804 6440 0 -1 1077944384 49 13049 0 0 0 0 5 3 20 0 15 0 473508837 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324419606176 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7864] ppid=7801 vsize=10846988 memory=2319596 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7864/stat : 7864 (java) S 7801 7804 6440 0 -1 1077944384 20 13049 0 0 0 0 5 3 20 0 15 0 473508838 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324299072896 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7865] ppid=7801 vsize=10846988 memory=2321136 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7865/stat : 7865 (java) S 7801 7804 6440 0 -1 1077944384 2 13049 0 0 0 0 5 3 20 0 15 0 473508840 11107315712 579899 33554432000 4194304 4196468 140727623140672 140323493767504 140324961490843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7866] ppid=7801 vsize=10846988 memory=12040 CPUtime=5.25 cores=0,2,4,6
/proc/7804/task/7866/stat : 7866 (java) S 7801 7804 6440 0 -1 1077944384 14303 13049 0 0 514 3 5 3 20 0 15 0 473508840 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324386048368 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7867] ppid=7801 vsize=10846988 memory=3620 CPUtime=5.47 cores=0,2,4,6
/proc/7804/task/7867/stat : 7867 (java) S 7801 7804 6440 0 -1 1077944384 16132 13049 0 0 536 3 5 3 20 0 15 0 473508840 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324384995568 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7868] ppid=7801 vsize=10846988 memory=54024 CPUtime=2.44 cores=0,2,4,6
/proc/7804/task/7868/stat : 7868 (java) S 7801 7804 6440 0 -1 1077944384 16304 13049 0 0 232 4 5 3 20 0 15 0 473508840 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324383942768 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7869] ppid=7801 vsize=10846988 memory=2321648 CPUtime=0.08 cores=0,2,4,6
/proc/7804/task/7869/stat : 7869 (java) S 7801 7804 6440 0 -1 1077944384 3 13049 0 0 0 0 5 3 20 0 15 0 473508841 11107315712 579899 33554432000 4194304 4196468 140727623140672 140323225331936 140324961482453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
[pid=7804/tid=7870] ppid=7801 vsize=10846988 memory=1192 CPUtime=1.47 cores=0,2,4,6
/proc/7804/task/7870/stat : 7870 (java) S 7801 7804 6440 0 -1 1077944384 1849 13049 0 0 72 67 5 3 20 0 15 0 473508841 11107315712 579899 33554432000 4194304 4196468 140727623140672 140324382891184 140324961483394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 18280448 140727623146224 140727623148741 140727623148741 140727623151567 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2319596 KiB

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

[startup+2349.03 s]
# the end of solver process 7804 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2393.77 s, system=6.41659 s

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

[startup+2349.01 s]*
/proc/loadavg: 1.58 1.64 1.56 3/214 8241
/proc/meminfo: memFree=5414248/32770624 swapFree=66974396/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2349.03
CPU time (s): 2400.19
CPU user time (s): 2393.77
CPU system time (s): 6.41659
CPU usage (%): 102.178
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2884624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.77
system time used= 6.41659
maximum resident set size= 2884704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1688906
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 255331
involuntary context switches= 6751


# summary of solver processes directly reported to runsolver:
#   pid: 7804
#   total CPU time (s): 2400.19
#   total CPU user time (s): 2393.77
#   total CPU system time (s): 6.41659

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4237 second user time and 21.901 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n38-k5.xml
MD5SUM	681710e79c8377b968f88ec392af942b
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	770
Best CPU time to get the best result obtained on this benchmark	2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	1482
Number of constraints	1443
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":38},{"size":2,"count":1406},{"size":101,"count":37}]
Minimum variable degree	0
Maximum variable degree	73
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":38},{"degree":2,"count":74},{"degree":4,"count":1332},{"degree":73,"count":37}]
Minimum constraint arity	1
Maximum constraint arity	37
Distribution of constraint arities	[{"arity":1,"count":37},{"arity":3,"count":1332},{"arity":37,"count":74}]
Number of extensional constraints	0
Number of intensional constraints	37
Distribution of constraint types	[{"type":"intension","count":37},{"type":"sum","count":1332},{"type":"count","count":74}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4403291

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