Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.12.2 | SAT (TO) | 961 | 2400.17 | 2354.56 |
| Name | Ramsey/Ramsey-m1-s1/ Ramsey-45.xml |
| MD5SUM | 1426235d943c6b8ba94de7087c35e664 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 1998.35 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2025 |
| Number of constraints | 14190 |
| Number of domains | 1 |
| Minimum domain size | 990 |
| Maximum domain size | 990 |
| Distribution of domain sizes | [{"size":990,"count":990}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 44 |
| Distribution of variable degrees | [{"degree":0,"count":1035},{"degree":44,"count":990}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":14190}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"nValues","count":14190}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.78/0.55 c Concrete v3.12.2.1568380929293 running 195.86/176.82 o 989 303.45/282.99 o 988 391.20/369.78 o 987 474.63/452.16 o 986 555.63/532.15 o 985 635.75/611.13 o 984 712.73/686.76 o 983 788.53/761.47 o 982 866.92/838.53 o 981 944.71/915.16 o 980 1019.42/988.72 o 979 1092.74/1060.98 o 978 1170.80/1137.68 o 977 1246.48/1212.19 o 976 1321.27/1285.70 o 975 1398.26/1361.40 o 974 1474.19/1436.15 o 973 1546.68/1507.90 o 972 1615.21/1575.84 o 971 1688.51/1648.49 o 970 1760.56/1719.90 o 969 1835.31/1793.94 o 968 1908.72/1866.77 o 967 1982.65/1940.01 o 966 2056.17/2012.97 o 965 2130.67/2086.80 o 964 2203.77/2159.43 o 963 2278.99/2234.16 o 962 2350.72/2305.40 o 961 2400.09/2354.52 Exception in thread "main" java.util.concurrent.TimeoutException 2400.09/2354.52 at concrete.MAC.mac(MAC.scala:192) 2400.09/2354.52 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2400.09/2354.52 at scala.util.Try$.apply(Try.scala:212) 2400.09/2354.52 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2400.09/2354.52 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2400.09/2354.52 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2400.09/2354.52 at concrete.MAC.oneRun(MAC.scala:265) 2400.09/2354.52 at concrete.MAC.nextSolution(MAC.scala:284) 2400.09/2354.52 at concrete.MAC.nextSolution(MAC.scala:369) 2400.09/2354.52 at concrete.Solver.hasNext(Solver.scala:160) 2400.09/2354.52 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.09/2354.52 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.09/2354.52 at concrete.Solver.foreach(Solver.scala:67) 2400.09/2354.52 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73) 2400.09/2354.52 at scala.util.Success.map(Try.scala:264) 2400.09/2354.52 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2400.09/2354.53 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2400.09/2354.53 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.09/2354.53 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2400.09/2354.53 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.09/2354.53 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2400.09/2354.53 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2400.09/2354.53 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2400.09/2354.53 at scala.App.$anonfun$main$1(App.scala:75) 2400.09/2354.53 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2400.09/2354.53 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.09/2354.53 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.09/2354.53 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2400.09/2354.53 at scala.App.main(App.scala:75) 2400.09/2354.53 at scala.App.main$(App.scala:73) 2400.09/2354.53 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.09/2354.53 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.09/2354.54 v <instantiation 2400.09/2354.54 v cost = '961'> 2400.09/2354.54 v <list> 2400.09/2354.54 v 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[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] 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[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] 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[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] 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[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] 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[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] 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[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] 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[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] 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[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] 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[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] 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[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] 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[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] 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[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] 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[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] 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[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] 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[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] 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[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] 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[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] 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[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] 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[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] 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[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] 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[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] 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[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] 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[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] 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[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] 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[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] 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[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] 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[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] 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[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] 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[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] 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[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][41] x[40][42] x[40][43] x[40][44] x[41][42] x[41][43] x[41][44] x[42][43] x[42][44] x[43][44] 2400.09/2354.54 v </list> 2400.09/2354.54 v <values> 2400.09/2354.54 v 5 5 4 961 3 2 2 2 2 961 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 960 4 960 3 2 2 2 2 2 2 1 961 1 1 1 1 1 1 1 961 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 3 3 2 960 2 960 2 960 1 961 1 1 960 1 1 961 961 1 0 0 961 961 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 961 2 2 2 1 1 1 1 1 961 1 1 1 1 1 0 0 0 0 0 0 0 961 0 0 961 0 0 0 0 0 0 0 0 0 0 0 0 961 2 2 3 3 2 1 2 1 960 1 1 1 1 1 1 961 0 0 0 0 0 0 0 961 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 3 2 961 3 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 3 3 3 1 1 1 1 1 1 961 1 1 1 1 0 0 0 0 0 0 0 0 961 0 0 0 0 0 961 0 0 0 0 0 0 0 0 3 3 3 1 1 961 1 961 1 961 1 1 1 1 0 0 0 0 0 0 0 0 961 0 0 0 0 961 0 0 0 0 0 0 0 0 0 4 961 960 1 1 1 1 1 1 1 1 1 961 0 0 961 0 0 0 0 0 0 0 961 0 0 961 0 961 0 0 0 0 0 0 0 5 1 1 961 960 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 961 0 0 0 0 0 0 0 0 0 0 0 0 0 0 961 1 1 1 1 1 1 1 1 1 1 1 0 0 0 961 0 0 0 0 0 0 961 0 0 0 0 0 0 0 0 0 0 0 4 4 3 961 3 961 2 2 2 2 0 0 0 961 0 961 0 0 0 0 0 0 0 961 0 0 0 0 0 0 0 0 0 5 3 3 961 2 2 2 2 2 0 0 0 0 0 0 961 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 960 3 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 961 0 0 961 0 961 0 0 0 4 5 2 2 2 2 2 0 0 0 0 0 0 0 961 961 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 961 0 961 0 2 2 2 2 3 0 0 0 961 0 0 0 0 0 0 0 0 0 0 0 0 0 961 0 961 0 0 0 4 3 3 4 3 0 0 0 0 0 0 0 0 0 0 0 961 0 0 0 0 0 0 0 0 0 0 3 5 961 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 961 0 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 961 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 961 961 0 0 0 0 0 0 0 3 0 0 0 0 961 0 0 0 0 0 961 0 0 0 0 0 0 0 0 0 0 0 961 5 961 3 2 2 2 2 3 961 1 1 1 1 1 1 961 1 961 1 1 1 961 3 3 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 960 3 3 2 2 3 3 2 1 1 1 1 1 961 1 1 1 1 1 1 960 960 4 2 961 2 2 1 1 1 1 1 1 1 1 960 1 1 1 2 2 2 961 4 2 1 1 1 1 1 1 1 1 1 1 1 1 3 4 961 4 961 960 1 1 1 1 1 1 1 1 1 1 1 3 4 960 4 1 1 1 961 1 961 1 1 1 1 1 1 4 3 3 1 1 1 1 961 1 1 1 1 1 1 1 961 960 1 1 1 1 1 1 1 2 1 1 1 1 4 1 1 961 1 1 961 1 1 1 1 961 1 961 1 1 1 1 1 1 1 1 961 1 1 5 4 5 4 3 2 2 2 2 2 2 3 4 3 961 2 2 2 2 2 2 4 960 3 2 961 2 2 2 2 5 3 2 2 2 2 2 2 3 2 2 2 961 2 2 2 2 2 3 2 2 4 3 4 3 961 3 5 3 3 3 960 4 961 3 4 2400.09/2354.54 v </values> 2400.09/2354.54 v </instantiation> 2400.09/2354.54 s SATISFIABLE
OK 961
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 (15225 MiB free)
memory of node 1: 16384 MiB (15017 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396598-1568403808/watcher-4396598-1568403808 -o /tmp/evaluation-result-4396598-1568403808/solver-4396598-1568403808 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568393447-11282 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1322222012 HOME/instance-4396598-1568403808.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=13862, runsolver pid=13859
Current StackSize limit: 8192 KiB
[startup+0.100132 s]*
/proc/loadavg: 1.75 1.45 1.43 3/223 13919
/proc/meminfo: memFree=30960356/32770624 swapFree=67004076/67108860
[pid=13862] ppid=13859 vsize=9972712 memory=19260 CPUtime=0.1 cores=0,2,4,6
/proc/13862/stat : 13862 (java) S 13859 13862 9544 0 -1 1077944320 4528 13164 0 0 1 1 5 3 20 0 6 0 416620459 10212057088 4815 33554432000 4194304 4196468 140732454520608 140732454503152 140170291482359 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
/proc/13862/statm: 2493178 4815 1947 1 0 2481616 0
[pid=13862/tid=13915] ppid=13859 vsize=9988792 memory=4279135703913234320 CPUtime=0.09 cores=0,2,4,6
/proc/13862/task/13915/stat : 13915 (java) R 13859 13862 9544 0 -1 4202560 2364 13164 0 0 1 0 5 3 20 0 6 0 416620468 10228523008 4815 33554432000 4194304 4196468 140732454520608 140170263319120 140170277072890 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13916] ppid=13859 vsize=9988792 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13916/stat : 13916 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 6 0 416620469 10228523008 4815 33554432000 4194304 4196468 140732454520608 140170295724432 140170291492565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13917] ppid=13859 vsize=9988792 memory=139683727390336 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13917/stat : 13917 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 6 0 416620469 10228523008 4881 33554432000 4194304 4196468 140732454520608 140170218883344 140170291492565 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13918] ppid=13859 vsize=9988792 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13918/stat : 13918 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 6 0 416620469 10228523008 4881 33554432000 4194304 4196468 140732454520608 140169863469712 140170291492565 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13919] ppid=13859 vsize=9988792 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13919/stat : 13919 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 6 0 416620469 10228523008 4881 33554432000 4194304 4196468 140732454520608 140169862416912 140170291492565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19260 KiB
[startup+0.212502 s]*
/proc/loadavg: 1.75 1.45 1.43 3/232 13928
/proc/meminfo: memFree=30936476/32770624 swapFree=67004076/67108860
[pid=13862] ppid=13859 vsize=10819664 memory=45008 CPUtime=0.27 cores=0,2,4,6
/proc/13862/stat : 13862 (java) S 13859 13862 9544 0 -1 1077944320 7062 13164 0 0 17 2 5 3 20 0 15 0 416620459 11079335936 11252 33554432000 4194304 4196468 140732454520608 140732454503152 140170291482359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
/proc/13862/statm: 2704916 11252 3157 1 0 2667149 0
[pid=13862/tid=13915] ppid=13859 vsize=10819664 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/13862/task/13915/stat : 13915 (java) R 13859 13862 9544 0 -1 4202560 3548 13164 0 0 11 1 5 3 20 0 15 0 416620468 11079335936 11252 33554432000 4194304 4196468 140732454520608 140170263314560 140170291494294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13916] ppid=13859 vsize=10819664 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13916/stat : 13916 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620469 11079335936 11252 33554432000 4194304 4196468 140732454520608 140170295724432 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13917] ppid=13859 vsize=10819664 memory=139683727390336 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13917/stat : 13917 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620469 11079335936 11252 33554432000 4194304 4196468 140732454520608 140170218883344 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13918] ppid=13859 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13918/stat : 13918 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620469 11079335936 11252 33554432000 4194304 4196468 140732454520608 140169863469712 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13919] ppid=13859 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13919/stat : 13919 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620469 11079335936 11252 33554432000 4194304 4196468 140732454520608 140169862416912 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13920] ppid=13859 vsize=10819664 memory=139683727390336 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13920/stat : 13920 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620470 11079335936 11252 33554432000 4194304 4196468 140732454520608 140169818163824 140170291493506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13921] ppid=13859 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13921/stat : 13921 (java) S 13859 13862 9544 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 416620471 11079335936 11252 33554432000 4194304 4196468 140732454520608 140169747359008 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13922] ppid=13859 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13922/stat : 13922 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620471 11079335936 11252 33554432000 4194304 4196468 140732454520608 140169613141616 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13923] ppid=13859 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13923/stat : 13923 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620474 11079335936 11252 33554432000 4194304 4196468 140732454520608 140169009162832 140170291500955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13924] ppid=13859 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13862/task/13924/stat : 13924 (java) S 13859 13862 9544 0 -1 1077944384 468 13164 0 0 1 0 5 3 20 0 15 0 416620474 11079335936 11252 33554432000 4194304 4196468 140732454520608 140169817110640 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13925] ppid=13859 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13862/task/13925/stat : 13925 (java) S 13859 13862 9544 0 -1 1077944384 197 13164 0 0 1 0 5 3 20 0 15 0 416620474 11079335936 11252 33554432000 4194304 4196468 140732454520608 140169816057840 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13926] ppid=13859 vsize=10819664 memory=139683727390336 CPUtime=0.11 cores=0,2,4,6
/proc/13862/task/13926/stat : 13926 (java) R 13859 13862 9544 0 -1 4202560 618 13164 0 0 3 0 5 3 20 0 15 0 416620474 11079335936 11252 33554432000 4194304 4196468 140732454520608 140169713801584 140170275562846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13927] ppid=13859 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13927/stat : 13927 (java) S 13859 13862 9544 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 416620474 11079335936 11252 33554432000 4194304 4196468 140732454520608 140168539400672 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13928] ppid=13859 vsize=10819664 memory=139683727390336 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13928/stat : 13928 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620474 11079335936 11764 33554432000 4194304 4196468 140732454520608 140169712749488 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 45008 KiB
[startup+0.310639 s]*
/proc/loadavg: 1.75 1.45 1.43 3/232 13928
/proc/meminfo: memFree=30923112/32770624 swapFree=67004076/67108860
[pid=13862] ppid=13859 vsize=10820148 memory=56388 CPUtime=0.4 cores=0,2,4,6
/proc/13862/stat : 13862 (java) S 13859 13862 9544 0 -1 1077944320 10766 13164 0 0 28 4 5 3 20 0 15 0 416620459 11079831552 14097 33554432000 4194304 4196468 140732454520608 140732454503152 140170291482359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
/proc/13862/statm: 2705037 14097 3318 1 0 2667149 0
[pid=13862/tid=13915] ppid=13859 vsize=10820148 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/13862/task/13915/stat : 13915 (java) R 13859 13862 9544 0 -1 4202560 7217 13164 0 0 19 3 5 3 20 0 15 0 416620468 11079831552 14097 33554432000 4194304 4196468 140732454520608 140170263282272 140170277670949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13916] ppid=13859 vsize=10820148 memory=7372784369679749456 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13916/stat : 13916 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620469 11079831552 14097 33554432000 4194304 4196468 140732454520608 140170295724432 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13917] ppid=13859 vsize=10820148 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13917/stat : 13917 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620469 11079831552 14097 33554432000 4194304 4196468 140732454520608 140170218883344 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13918] ppid=13859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13918/stat : 13918 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620469 11079831552 14097 33554432000 4194304 4196468 140732454520608 140169863469712 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13919] ppid=13859 vsize=10820148 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13919/stat : 13919 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620469 11079831552 14097 33554432000 4194304 4196468 140732454520608 140169862416912 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13920] ppid=13859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13920/stat : 13920 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620470 11079831552 14097 33554432000 4194304 4196468 140732454520608 140169818163824 140170291493506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13921] ppid=13859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13921/stat : 13921 (java) S 13859 13862 9544 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 416620471 11079831552 14097 33554432000 4194304 4196468 140732454520608 140169747359008 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13922] ppid=13859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13922/stat : 13922 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620471 11079831552 14097 33554432000 4194304 4196468 140732454520608 140169613141616 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13923] ppid=13859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13923/stat : 13923 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620474 11079831552 14097 33554432000 4194304 4196468 140732454520608 140169009162832 140170291500955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13924] ppid=13859 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13862/task/13924/stat : 13924 (java) S 13859 13862 9544 0 -1 1077944384 469 13164 0 0 1 0 5 3 20 0 15 0 416620474 11079831552 14097 33554432000 4194304 4196468 140732454520608 140169817110640 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13925] ppid=13859 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13862/task/13925/stat : 13925 (java) S 13859 13862 9544 0 -1 1077944384 206 13164 0 0 2 0 5 3 20 0 15 0 416620474 11079831552 14097 33554432000 4194304 4196468 140732454520608 140169816057840 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13926] ppid=13859 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13862/task/13926/stat : 13926 (java) S 13859 13862 9544 0 -1 1077944384 638 13164 0 0 5 0 5 3 20 0 15 0 416620474 11079831552 14097 33554432000 4194304 4196468 140732454520608 140169713801584 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13927] ppid=13859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13927/stat : 13927 (java) S 13859 13862 9544 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 416620474 11079831552 14097 33554432000 4194304 4196468 140732454520608 140168539400672 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13928] ppid=13859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13928/stat : 13928 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620474 11079831552 14097 33554432000 4194304 4196468 140732454520608 140169712749488 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 56388 KiB
[startup+0.703733 s]
/proc/loadavg: 1.75 1.45 1.43 3/232 13928
/proc/meminfo: memFree=30908604/32770624 swapFree=67004076/67108860
[pid=13862] ppid=13859 vsize=10824360 memory=89448 CPUtime=1.12 cores=0,2,4,6
/proc/13862/stat : 13862 (java) S 13859 13862 9544 0 -1 1077944320 15068 13164 0 0 98 6 5 3 20 0 15 0 416620459 11084144640 22362 33554432000 4194304 4196468 140732454520608 140732454503152 140170291482359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
/proc/13862/statm: 2706090 22362 3501 1 0 2668173 0
[pid=13862/tid=13915] ppid=13859 vsize=10824360 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/13862/task/13915/stat : 13915 (java) R 13859 13862 9544 0 -1 4202560 10338 13164 0 0 56 4 5 3 20 0 15 0 416620468 11084144640 22362 33554432000 4194304 4196468 140732454520608 140170263290816 140170271020972 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13916] ppid=13859 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13916/stat : 13916 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620469 11084144640 22362 33554432000 4194304 4196468 140732454520608 140170295724432 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13917] ppid=13859 vsize=10824360 memory=3280 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13917/stat : 13917 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620469 11084144640 22362 33554432000 4194304 4196468 140732454520608 140170218883344 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13918] ppid=13859 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13918/stat : 13918 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620469 11084144640 22362 33554432000 4194304 4196468 140732454520608 140169863469712 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13919] ppid=13859 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13919/stat : 13919 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620469 11084144640 22362 33554432000 4194304 4196468 140732454520608 140169862416912 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13920] ppid=13859 vsize=10824360 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13920/stat : 13920 (java) S 13859 13862 9544 0 -1 1077944384 5 13164 0 0 0 0 5 3 20 0 15 0 416620470 11084144640 22362 33554432000 4194304 4196468 140732454520608 140169818163824 140170291493506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13921] ppid=13859 vsize=10824360 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13921/stat : 13921 (java) S 13859 13862 9544 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 416620471 11084144640 22422 33554432000 4194304 4196468 140732454520608 140169747359008 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13922] ppid=13859 vsize=10824360 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13922/stat : 13922 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620471 11084144640 22422 33554432000 4194304 4196468 140732454520608 140169613141616 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13923] ppid=13859 vsize=10824360 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13923/stat : 13923 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620474 11084144640 22422 33554432000 4194304 4196468 140732454520608 140169009162832 140170291500955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13924] ppid=13859 vsize=10824360 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/13862/task/13924/stat : 13924 (java) R 13859 13862 9544 0 -1 4202560 964 13164 0 0 9 0 5 3 20 0 15 0 416620474 11084144640 22422 33554432000 4194304 4196468 140732454520608 140169817110640 140170277635142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13925] ppid=13859 vsize=10824360 memory=15460 CPUtime=0.22 cores=0,2,4,6
/proc/13862/task/13925/stat : 13925 (java) S 13859 13862 9544 0 -1 1077944384 722 13164 0 0 14 0 5 3 20 0 15 0 416620474 11084144640 22422 33554432000 4194304 4196468 140732454520608 140169816057840 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13926] ppid=13859 vsize=10824360 memory=17668 CPUtime=0.25 cores=0,2,4,6
/proc/13862/task/13926/stat : 13926 (java) S 13859 13862 9544 0 -1 1077944384 806 13164 0 0 17 0 5 3 20 0 15 0 416620474 11084144640 22422 33554432000 4194304 4196468 140732454520608 140169713801584 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13927] ppid=13859 vsize=10824360 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13927/stat : 13927 (java) S 13859 13862 9544 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 416620474 11084144640 22422 33554432000 4194304 4196468 140732454520608 140168539400672 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13928] ppid=13859 vsize=10824360 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13928/stat : 13928 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620474 11084144640 22422 33554432000 4194304 4196468 140732454520608 140169712749488 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 89448 KiB
[startup+1.50072 s]
/proc/loadavg: 1.75 1.45 1.43 5/232 13928
/proc/meminfo: memFree=30862864/32770624 swapFree=67004076/67108860
[pid=13862] ppid=13859 vsize=10831744 memory=264520 CPUtime=3.61 cores=0,2,4,6
/proc/13862/stat : 13862 (java) S 13859 13862 9544 0 -1 1077944320 34719 13164 0 0 342 11 5 3 20 0 15 0 416620459 11091705856 66130 33554432000 4194304 4196468 140732454520608 140732454503152 140170291482359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
/proc/13862/statm: 2707936 66130 3583 1 0 2670000 0
[pid=13862/tid=13915] ppid=13859 vsize=10831744 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/13862/task/13915/stat : 13915 (java) R 13859 13862 9544 0 -1 4202560 13307 13164 0 0 131 6 5 3 20 0 15 0 416620468 11091705856 66130 33554432000 4194304 4196468 140732454520608 140170263313424 140170277162481 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13916] ppid=13859 vsize=10831744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13916/stat : 13916 (java) S 13859 13862 9544 0 -1 1077944384 293 13164 0 0 0 0 5 3 20 0 15 0 416620469 11091705856 66130 33554432000 4194304 4196468 140732454520608 140170295724432 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13917] ppid=13859 vsize=10831744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13917/stat : 13917 (java) S 13859 13862 9544 0 -1 1077944384 140 13164 0 0 0 0 5 3 20 0 15 0 416620469 11091705856 66130 33554432000 4194304 4196468 140732454520608 140170218883344 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13918] ppid=13859 vsize=10831744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13918/stat : 13918 (java) S 13859 13862 9544 0 -1 1077944384 18 13164 0 0 0 0 5 3 20 0 15 0 416620469 11091705856 66130 33554432000 4194304 4196468 140732454520608 140169863469712 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13919] ppid=13859 vsize=10831744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13919/stat : 13919 (java) S 13859 13862 9544 0 -1 1077944384 32 13164 0 0 0 0 5 3 20 0 15 0 416620469 11091705856 66130 33554432000 4194304 4196468 140732454520608 140169862416912 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13920] ppid=13859 vsize=10831744 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13920/stat : 13920 (java) S 13859 13862 9544 0 -1 1077944384 95 13164 0 0 0 0 5 3 20 0 15 0 416620470 11091705856 66130 33554432000 4194304 4196468 140732454520608 140169818163824 140170291493506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13921] ppid=13859 vsize=10831744 memory=279367221586176 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13921/stat : 13921 (java) S 13859 13862 9544 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 416620471 11091705856 66130 33554432000 4194304 4196468 140732454520608 140169747359072 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13922] ppid=13859 vsize=10831744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13922/stat : 13922 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620471 11091705856 66130 33554432000 4194304 4196468 140732454520608 140169613141616 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13923] ppid=13859 vsize=10831744 memory=8252 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13923/stat : 13923 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620474 11091705856 66130 33554432000 4194304 4196468 140732454520608 140169009162832 140170291500955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13924] ppid=13859 vsize=10831744 memory=5928 CPUtime=0.9 cores=0,2,4,6
/proc/13862/task/13924/stat : 13924 (java) R 13859 13862 9544 0 -1 4202560 7024 13164 0 0 81 1 5 3 20 0 15 0 416620474 11091705856 66130 33554432000 4194304 4196468 140732454520608 140169817096664 140170276404325 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13925] ppid=13859 vsize=10831744 memory=1056 CPUtime=0.93 cores=0,2,4,6
/proc/13862/task/13925/stat : 13925 (java) R 13859 13862 9544 0 -1 4202560 9604 13164 0 0 85 0 5 3 20 0 15 0 416620474 11091705856 66130 33554432000 4194304 4196468 140732454520608 140169816043576 140170283771741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13926] ppid=13859 vsize=10831744 memory=1540 CPUtime=0.5 cores=0,2,4,6
/proc/13862/task/13926/stat : 13926 (java) S 13859 13862 9544 0 -1 1077944384 1977 13164 0 0 41 1 5 3 20 0 15 0 416620474 11091705856 66130 33554432000 4194304 4196468 140732454520608 140169713801584 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13927] ppid=13859 vsize=10831744 memory=728 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13927/stat : 13927 (java) S 13859 13862 9544 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 416620474 11091705856 66130 33554432000 4194304 4196468 140732454520608 140168539400672 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13928] ppid=13859 vsize=10831744 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13928/stat : 13928 (java) S 13859 13862 9544 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 416620474 11091705856 66130 33554432000 4194304 4196468 140732454520608 140169712749488 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
Current children cumulated CPU time: 3.61 s
Current children cumulated vsize: 10831744 KiB
################
# More data... #
################
/proc/13862/task/13915/stat : 13915 (java) R 13859 13862 9544 0 -1 4202560 503355 13164 0 0 224901 71 5 3 20 0 15 0 416620468 11107311616 733368 33554432000 4194304 4196468 140732454520608 140170263317936 140169895072902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13916] ppid=13859 vsize=10846984 memory=2933472 CPUtime=8.62 cores=0,2,4,6
/proc/13862/task/13916/stat : 13916 (java) S 13859 13862 9544 0 -1 1077944384 24430 13164 0 0 757 97 5 3 20 0 15 0 416620469 11107311616 733368 33554432000 4194304 4196468 140732454520608 140170295724432 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13917] ppid=13859 vsize=10846984 memory=2933472 CPUtime=8.59 cores=0,2,4,6
/proc/13862/task/13917/stat : 13917 (java) S 13859 13862 9544 0 -1 1077944384 23720 13164 0 0 756 95 5 3 20 0 15 0 416620469 11107311616 733368 33554432000 4194304 4196468 140732454520608 140170218883344 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13918] ppid=13859 vsize=10846984 memory=2933472 CPUtime=8.59 cores=0,2,4,6
/proc/13862/task/13918/stat : 13918 (java) S 13859 13862 9544 0 -1 1077944384 23818 13164 0 0 755 96 5 3 20 0 15 0 416620469 11107311616 733368 33554432000 4194304 4196468 140732454520608 140169863469712 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13919] ppid=13859 vsize=10846984 memory=2933472 CPUtime=8.6 cores=0,2,4,6
/proc/13862/task/13919/stat : 13919 (java) S 13859 13862 9544 0 -1 1077944384 24898 13164 0 0 754 98 5 3 20 0 15 0 416620469 11107311616 733368 33554432000 4194304 4196468 140732454520608 140169862416912 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13920] ppid=13859 vsize=10846984 memory=2933472 CPUtime=2.96 cores=0,2,4,6
/proc/13862/task/13920/stat : 13920 (java) S 13859 13862 9544 0 -1 1077944384 21041 13164 0 0 258 30 5 3 20 0 15 0 416620470 11107311616 733368 33554432000 4194304 4196468 140732454520608 140169818163824 140170291493506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13921] ppid=13859 vsize=10846984 memory=2933472 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13921/stat : 13921 (java) S 13859 13862 9544 0 -1 1077944384 35 13164 0 0 0 0 5 3 20 0 15 0 416620471 11107311616 733368 33554432000 4194304 4196468 140732454520608 140169747359072 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13922] ppid=13859 vsize=10846984 memory=2933472 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13922/stat : 13922 (java) S 13859 13862 9544 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 416620471 11107311616 733368 33554432000 4194304 4196468 140732454520608 140169613141632 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13923] ppid=13859 vsize=10846984 memory=2933472 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13923/stat : 13923 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620474 11107311616 733368 33554432000 4194304 4196468 140732454520608 140169009162832 140170291500955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13924] ppid=13859 vsize=10846984 memory=3280 CPUtime=8.93 cores=0,2,4,6
/proc/13862/task/13924/stat : 13924 (java) S 13859 13862 9544 0 -1 1077944384 53995 13164 0 0 879 6 5 3 20 0 15 0 416620474 11107311616 733368 33554432000 4194304 4196468 140732454520608 140169817110640 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13925] ppid=13859 vsize=10846984 memory=2933472 CPUtime=8.02 cores=0,2,4,6
/proc/13862/task/13925/stat : 13925 (java) S 13859 13862 9544 0 -1 1077944384 56714 13164 0 0 790 4 5 3 20 0 15 0 416620474 11107311616 733368 33554432000 4194304 4196468 140732454520608 140169816057840 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13926] ppid=13859 vsize=10846984 memory=2052 CPUtime=2.5 cores=0,2,4,6
/proc/13862/task/13926/stat : 13926 (java) S 13859 13862 9544 0 -1 1077944384 31385 13164 0 0 236 6 5 3 20 0 15 0 416620474 11107311616 733368 33554432000 4194304 4196468 140732454520608 140169713801584 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13927] ppid=13859 vsize=10846984 memory=2933472 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13927/stat : 13927 (java) S 13859 13862 9544 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 416620474 11107311616 733368 33554432000 4194304 4196468 140732454520608 140168539400672 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13928] ppid=13859 vsize=10846984 memory=2933472 CPUtime=1.3 cores=0,2,4,6
/proc/13862/task/13928/stat : 13928 (java) S 13859 13862 9544 0 -1 1077944384 1774 13164 0 0 61 61 5 3 20 0 15 0 416620474 11107311616 733368 33554432000 4194304 4196468 140732454520608 140169712749488 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
Current children cumulated CPU time: 2307.32 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2933472 KiB
[startup+2322.3 s]
/proc/loadavg: 1.73 1.64 1.54 3/230 14306
/proc/meminfo: memFree=27753852/32770624 swapFree=67004076/67108860
[pid=13862] ppid=13859 vsize=10846984 memory=3044324 CPUtime=2367.68 cores=0,2,4,6
/proc/13862/stat : 13862 (java) S 13859 13862 9544 0 -1 1077944320 785479 13164 0 0 236214 546 5 3 20 0 15 0 416620459 11107311616 761081 33554432000 4194304 4196468 140732454520608 140732454503152 140170291482359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
/proc/13862/statm: 2711746 761081 3644 1 0 2673805 0
[pid=13862/tid=13915] ppid=13859 vsize=10846984 memory=3036128 CPUtime=2309.68 cores=0,2,4,6
/proc/13862/task/13915/stat : 13915 (java) R 13859 13862 9544 0 -1 4202560 520246 13164 0 0 230887 73 5 3 20 0 15 0 416620468 11107311616 761081 33554432000 4194304 4196468 140732454520608 140170263316576 140169907225630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13916] ppid=13859 vsize=10846984 memory=3044324 CPUtime=8.72 cores=0,2,4,6
/proc/13862/task/13916/stat : 13916 (java) S 13859 13862 9544 0 -1 1077944384 24638 13164 0 0 765 99 5 3 20 0 15 0 416620469 11107311616 761081 33554432000 4194304 4196468 140732454520608 140170295724432 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13917] ppid=13859 vsize=10846984 memory=3044324 CPUtime=8.7 cores=0,2,4,6
/proc/13862/task/13917/stat : 13917 (java) S 13859 13862 9544 0 -1 1077944384 23871 13164 0 0 764 98 5 3 20 0 15 0 416620469 11107311616 761081 33554432000 4194304 4196468 140732454520608 140170218883344 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13918] ppid=13859 vsize=10846984 memory=3005320 CPUtime=8.71 cores=0,2,4,6
/proc/13862/task/13918/stat : 13918 (java) S 13859 13862 9544 0 -1 1077944384 24140 13164 0 0 764 99 5 3 20 0 15 0 416620469 11107311616 761081 33554432000 4194304 4196468 140732454520608 140169863469712 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13919] ppid=13859 vsize=10846984 memory=8 CPUtime=8.72 cores=0,2,4,6
/proc/13862/task/13919/stat : 13919 (java) S 13859 13862 9544 0 -1 1077944384 25094 13164 0 0 763 101 5 3 20 0 15 0 416620469 11107311616 761081 33554432000 4194304 4196468 140732454520608 140169862416912 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13920] ppid=13859 vsize=10846984 memory=3044324 CPUtime=2.96 cores=0,2,4,6
/proc/13862/task/13920/stat : 13920 (java) S 13859 13862 9544 0 -1 1077944384 21320 13164 0 0 258 30 5 3 20 0 15 0 416620470 11107311616 761081 33554432000 4194304 4196468 140732454520608 140169818163824 140170291493506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13921] ppid=13859 vsize=10846984 memory=3044324 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13921/stat : 13921 (java) S 13859 13862 9544 0 -1 1077944384 35 13164 0 0 0 0 5 3 20 0 15 0 416620471 11107311616 761081 33554432000 4194304 4196468 140732454520608 140169747359072 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13922] ppid=13859 vsize=10846984 memory=3036128 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13922/stat : 13922 (java) S 13859 13862 9544 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 416620471 11107311616 761081 33554432000 4194304 4196468 140732454520608 140169613141632 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13923] ppid=13859 vsize=10846984 memory=3036128 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13923/stat : 13923 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620474 11107311616 761081 33554432000 4194304 4196468 140732454520608 140169009162832 140170291500955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13924] ppid=13859 vsize=10846984 memory=6791534058613427641 CPUtime=8.93 cores=0,2,4,6
/proc/13862/task/13924/stat : 13924 (java) S 13859 13862 9544 0 -1 1077944384 53997 13164 0 0 879 6 5 3 20 0 15 0 416620474 11107311616 761081 33554432000 4194304 4196468 140732454520608 140169817110640 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13925] ppid=13859 vsize=10846984 memory=728 CPUtime=8.02 cores=0,2,4,6
/proc/13862/task/13925/stat : 13925 (java) S 13859 13862 9544 0 -1 1077944384 56716 13164 0 0 790 4 5 3 20 0 15 0 416620474 11107311616 761081 33554432000 4194304 4196468 140732454520608 140169816057840 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13926] ppid=13859 vsize=10846984 memory=3044324 CPUtime=2.5 cores=0,2,4,6
/proc/13862/task/13926/stat : 13926 (java) S 13859 13862 9544 0 -1 1077944384 31388 13164 0 0 236 6 5 3 20 0 15 0 416620474 11107311616 761081 33554432000 4194304 4196468 140732454520608 140169713801584 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13927] ppid=13859 vsize=10846984 memory=1616 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13927/stat : 13927 (java) S 13859 13862 9544 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 416620474 11107311616 761081 33554432000 4194304 4196468 140732454520608 140168539400672 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13928] ppid=13859 vsize=10846984 memory=3044324 CPUtime=1.33 cores=0,2,4,6
/proc/13862/task/13928/stat : 13928 (java) S 13859 13862 9544 0 -1 1077944384 1806 13164 0 0 62 63 5 3 20 0 15 0 416620474 11107311616 761081 33554432000 4194304 4196468 140732454520608 140169712749488 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
Current children cumulated CPU time: 2367.68 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3044324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2354.5 s]
/proc/loadavg: 1.54 1.60 1.53 3/231 14308
/proc/meminfo: memFree=27683668/32770624 swapFree=67004076/67108860
[pid=13862] ppid=13859 vsize=10846984 memory=3114116 CPUtime=2400.09 cores=0,2,4,6
/proc/13862/stat : 13862 (java) S 13859 13862 9544 0 -1 1077944320 797137 13164 0 0 239444 557 5 3 20 0 15 0 416620459 11107311616 778529 33554432000 4194304 4196468 140732454520608 140732454503152 140170291482359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
/proc/13862/statm: 2711746 778529 3644 1 0 2673805 0
[pid=13862/tid=13915] ppid=13859 vsize=10846984 memory=3114116 CPUtime=2341.81 cores=0,2,4,6
/proc/13862/task/13915/stat : 13915 (java) R 13859 13862 9544 0 -1 4202560 531737 13164 0 0 234099 74 5 3 20 0 15 0 416620468 11107311616 778529 33554432000 4194304 4196468 140732454520608 140170263316880 140169907282784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13916] ppid=13859 vsize=10846984 memory=3087412 CPUtime=8.79 cores=0,2,4,6
/proc/13862/task/13916/stat : 13916 (java) S 13859 13862 9544 0 -1 1077944384 24672 13164 0 0 769 102 5 3 20 0 15 0 416620469 11107311616 778529 33554432000 4194304 4196468 140732454520608 140170295724432 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13917] ppid=13859 vsize=10846984 memory=3087412 CPUtime=8.77 cores=0,2,4,6
/proc/13862/task/13917/stat : 13917 (java) S 13859 13862 9544 0 -1 1077944384 23910 13164 0 0 768 101 5 3 20 0 15 0 416620469 11107311616 778529 33554432000 4194304 4196468 140732454520608 140170218883344 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13918] ppid=13859 vsize=10846984 memory=3068900 CPUtime=8.77 cores=0,2,4,6
/proc/13862/task/13918/stat : 13918 (java) S 13859 13862 9544 0 -1 1077944384 24172 13164 0 0 768 101 5 3 20 0 15 0 416620469 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169863469712 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13919] ppid=13859 vsize=10846984 memory=3068900 CPUtime=8.78 cores=0,2,4,6
/proc/13862/task/13919/stat : 13919 (java) S 13859 13862 9544 0 -1 1077944384 25128 13164 0 0 767 103 5 3 20 0 15 0 416620469 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169862416912 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13920] ppid=13859 vsize=10846984 memory=3044324 CPUtime=2.97 cores=0,2,4,6
/proc/13862/task/13920/stat : 13920 (java) S 13859 13862 9544 0 -1 1077944384 21346 13164 0 0 258 31 5 3 20 0 15 0 416620470 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169818163824 140170291493506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13921] ppid=13859 vsize=10846984 memory=3068900 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13921/stat : 13921 (java) S 13859 13862 9544 0 -1 1077944384 35 13164 0 0 0 0 5 3 20 0 15 0 416620471 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169747359072 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13922] ppid=13859 vsize=10846984 memory=3044324 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13922/stat : 13922 (java) S 13859 13862 9544 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 416620471 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169613141632 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13923] ppid=13859 vsize=10846984 memory=3114116 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13923/stat : 13923 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169009162832 140170291500955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13924] ppid=13859 vsize=10846984 memory=3114116 CPUtime=8.93 cores=0,2,4,6
/proc/13862/task/13924/stat : 13924 (java) S 13859 13862 9544 0 -1 1077944384 53997 13164 0 0 879 6 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169817110640 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13925] ppid=13859 vsize=10846984 memory=3114116 CPUtime=8.03 cores=0,2,4,6
/proc/13862/task/13925/stat : 13925 (java) S 13859 13862 9544 0 -1 1077944384 56716 13164 0 0 791 4 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169816057840 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13926] ppid=13859 vsize=10846984 memory=3280 CPUtime=2.5 cores=0,2,4,6
/proc/13862/task/13926/stat : 13926 (java) S 13859 13862 9544 0 -1 1077944384 31388 13164 0 0 236 6 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169713801584 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13927] ppid=13859 vsize=10846984 memory=3114116 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13927/stat : 13927 (java) S 13859 13862 9544 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140168539400672 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13928] ppid=13859 vsize=10846984 memory=3114116 CPUtime=1.35 cores=0,2,4,6
/proc/13862/task/13928/stat : 13928 (java) S 13859 13862 9544 0 -1 1077944384 1808 13164 0 0 63 64 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169712749488 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3114116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2354.56 s]
# the end of solver process 13862 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2394.54 s, system=5.63102 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2354.5 s]
/proc/loadavg: 1.54 1.60 1.53 3/231 14308
/proc/meminfo: memFree=27683668/32770624 swapFree=67004076/67108860
[pid=13862] ppid=13859 vsize=10846984 memory=3114116 CPUtime=2400.09 cores=0,2,4,6
/proc/13862/stat : 13862 (java) S 13859 13862 9544 0 -1 1077944320 797137 13164 0 0 239444 557 5 3 20 0 15 0 416620459 11107311616 778529 33554432000 4194304 4196468 140732454520608 140732454503152 140170291482359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
/proc/13862/statm: 2711746 778529 3644 1 0 2673805 0
[pid=13862/tid=13915] ppid=13859 vsize=10846984 memory=3114116 CPUtime=2341.81 cores=0,2,4,6
/proc/13862/task/13915/stat : 13915 (java) R 13859 13862 9544 0 -1 4202560 531737 13164 0 0 234099 74 5 3 20 0 15 0 416620468 11107311616 778529 33554432000 4194304 4196468 140732454520608 140170263316880 140169907282784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13916] ppid=13859 vsize=10846984 memory=3087412 CPUtime=8.79 cores=0,2,4,6
/proc/13862/task/13916/stat : 13916 (java) S 13859 13862 9544 0 -1 1077944384 24672 13164 0 0 769 102 5 3 20 0 15 0 416620469 11107311616 778529 33554432000 4194304 4196468 140732454520608 140170295724432 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13917] ppid=13859 vsize=10846984 memory=3087412 CPUtime=8.77 cores=0,2,4,6
/proc/13862/task/13917/stat : 13917 (java) S 13859 13862 9544 0 -1 1077944384 23910 13164 0 0 768 101 5 3 20 0 15 0 416620469 11107311616 778529 33554432000 4194304 4196468 140732454520608 140170218883344 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13918] ppid=13859 vsize=10846984 memory=3068900 CPUtime=8.77 cores=0,2,4,6
/proc/13862/task/13918/stat : 13918 (java) S 13859 13862 9544 0 -1 1077944384 24172 13164 0 0 768 101 5 3 20 0 15 0 416620469 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169863469712 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13919] ppid=13859 vsize=10846984 memory=3068900 CPUtime=8.78 cores=0,2,4,6
/proc/13862/task/13919/stat : 13919 (java) S 13859 13862 9544 0 -1 1077944384 25128 13164 0 0 767 103 5 3 20 0 15 0 416620469 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169862416912 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13920] ppid=13859 vsize=10846984 memory=3044324 CPUtime=2.97 cores=0,2,4,6
/proc/13862/task/13920/stat : 13920 (java) S 13859 13862 9544 0 -1 1077944384 21346 13164 0 0 258 31 5 3 20 0 15 0 416620470 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169818163824 140170291493506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13921] ppid=13859 vsize=10846984 memory=3068900 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13921/stat : 13921 (java) S 13859 13862 9544 0 -1 1077944384 35 13164 0 0 0 0 5 3 20 0 15 0 416620471 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169747359072 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13922] ppid=13859 vsize=10846984 memory=3044324 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13922/stat : 13922 (java) S 13859 13862 9544 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 416620471 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169613141632 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13923] ppid=13859 vsize=10846984 memory=3114116 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13923/stat : 13923 (java) S 13859 13862 9544 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169009162832 140170291500955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13924] ppid=13859 vsize=10846984 memory=3114116 CPUtime=8.93 cores=0,2,4,6
/proc/13862/task/13924/stat : 13924 (java) S 13859 13862 9544 0 -1 1077944384 53997 13164 0 0 879 6 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169817110640 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13925] ppid=13859 vsize=10846984 memory=3114116 CPUtime=8.03 cores=0,2,4,6
/proc/13862/task/13925/stat : 13925 (java) S 13859 13862 9544 0 -1 1077944384 56716 13164 0 0 791 4 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169816057840 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13926] ppid=13859 vsize=10846984 memory=3280 CPUtime=2.5 cores=0,2,4,6
/proc/13862/task/13926/stat : 13926 (java) S 13859 13862 9544 0 -1 1077944384 31388 13164 0 0 236 6 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169713801584 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13927] ppid=13859 vsize=10846984 memory=3114116 CPUtime=0.08 cores=0,2,4,6
/proc/13862/task/13927/stat : 13927 (java) S 13859 13862 9544 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140168539400672 140170291492565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
[pid=13862/tid=13928] ppid=13859 vsize=10846984 memory=3114116 CPUtime=1.35 cores=0,2,4,6
/proc/13862/task/13928/stat : 13928 (java) S 13859 13862 9544 0 -1 1077944384 1808 13164 0 0 63 64 5 3 20 0 15 0 416620474 11107311616 778529 33554432000 4194304 4196468 140732454520608 140169712749488 140170291493506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21139456 140732454525679 140732454528197 140732454528197 140732454531023 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3114116 KiB
Child status: 143
Real time (s): 2354.56
CPU time (s): 2400.17
CPU user time (s): 2394.54
CPU system time (s): 5.63102
CPU usage (%): 101.937
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 3114116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.54
system time used= 5.63102
maximum resident set size= 3118252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 811112
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110431
involuntary context switches= 5640
# summary of solver processes directly reported to runsolver:
# pid: 13862
# total CPU time (s): 2400.17
# total CPU user time (s): 2394.54
# total CPU system time (s): 5.63102
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3871 second user time and 21.9303 second system time
The end
Begin job on node133 at 2019-09-13 21:42:49 IDJOB=4396598 IDBENCH=133905 IDSOLVER=2847 FILE ID=node133/4396598-1568403808 RUNJOBID= node133-1568393447-11282 PBS_JOBID= 21701853 Free space on /tmp= 59380 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-45.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396598-1568403808/watcher-4396598-1568403808 -o /tmp/evaluation-result-4396598-1568403808/solver-4396598-1568403808 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568393447-11282 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1322222012 HOME/instance-4396598-1568403808.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664 RANDOM SEED=1322222012 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30969780 kB MemAvailable: 31388384 kB Buffers: 179028 kB Cached: 524184 kB SwapCached: 3396 kB Active: 925788 kB Inactive: 297596 kB Active(anon): 544304 kB Inactive(anon): 16032 kB Active(file): 381484 kB Inactive(file): 281564 kB Unevictable: 111228 kB Mlocked: 111228 kB SwapTotal: 67108860 kB SwapFree: 67004076 kB Dirty: 36072 kB Writeback: 0 kB AnonPages: 629076 kB Mapped: 57944 kB Shmem: 31452 kB Slab: 171808 kB SReclaimable: 142780 kB SUnreclaim: 29028 kB KernelStack: 4048 kB PageTables: 7104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1790524 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 516096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 59344 MiB End job on node133 at 2019-09-13 22:22:04