Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2018-07-02 | SAT (TO) | 8120 | 2400.07 | 2344.93 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko42_c18.xml |
| MD5SUM | ee3f8a7d47c87a95d16b6f1492d4a345 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 8186 |
| Best CPU time to get the best result obtained on this benchmark | 2520.13 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1806 |
| Number of constraints | 862 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 42 |
| Distribution of domain sizes | [{"size":8,"count":861},{"size":42,"count":42}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 42 |
| Distribution of variable degrees | [{"degree":0,"count":903},{"degree":2,"count":861},{"degree":42,"count":42}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 42 |
| Distribution of constraint arities | [{"arity":3,"count":861},{"arity":42,"count":1}] |
| Number of extensional constraints | 861 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":861},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.68/0.55 c version: 2018-07-02 0.68/0.55 c seed: 281437586 0.68/0.56 c timeout: 2400 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 4 0.68/0.58 c Parsing instance... 4.28/2.20 c Parsing done, starting first complete search... 4.72/2.36 o 10141 4.72/2.36 o 10123 5.05/2.43 o 10121 5.05/2.43 o 10113 5.05/2.43 o 10109 5.05/2.44 o 10101 5.05/2.45 o 10089 5.71/2.60 o 10055 5.71/2.60 o 10052 5.71/2.62 o 10017 5.71/2.62 o 10014 5.71/2.63 o 9990 5.71/2.63 o 9987 5.97/2.72 o 9980 5.97/2.73 o 9977 5.97/2.74 o 9975 5.97/2.75 o 9969 5.97/2.76 o 9963 5.97/2.76 o 9952 6.19/2.81 o 9940 6.19/2.81 o 9929 6.19/2.81 o 9921 6.52/3.02 o 9915 6.65/3.18 o 9909 6.77/3.23 o 9904 7.84/4.05 o 9897 11.45/7.55 c First complete search done, starting ALNS search... 11.78/7.73 o 9896 11.78/7.74 o 9888 12.46/8.39 o 9840 12.46/8.39 o 9804 12.46/8.40 o 9772 12.59/8.40 o 9752 12.59/8.41 o 9746 12.59/8.41 o 9743 12.59/8.43 o 9731 12.59/8.45 o 9727 12.59/8.48 o 9725 12.59/8.50 o 9718 12.72/8.50 o 9716 12.72/8.53 o 9714 12.72/8.54 o 9708 12.72/8.54 o 9696 13.12/8.94 o 9693 13.12/8.95 o 9686 13.23/9.08 o 9642 13.23/9.08 o 9588 13.23/9.09 o 9587 13.23/9.09 o 9498 13.23/9.09 o 9484 13.23/9.09 o 9474 13.34/9.16 o 9457 13.34/9.16 o 9439 13.34/9.16 o 9400 13.34/9.18 o 9350 13.34/9.18 o 9349 13.34/9.18 o 9328 15.46/11.05 o 9278 15.87/11.33 o 9220 17.11/12.27 o 9214 17.32/12.50 o 9212 24.56/19.32 o 9197 24.56/19.38 o 9161 24.56/19.39 o 9138 24.79/19.51 o 9116 24.79/19.51 o 9094 24.79/19.59 o 9068 25.59/20.22 o 9066 30.81/25.48 o 9057 31.13/25.73 o 9044 31.13/25.78 o 8964 31.13/25.78 o 8954 48.65/43.11 o 8942 60.67/55.09 o 8934 61.36/55.79 o 8929 61.87/56.23 o 8915 62.47/56.86 o 8910 62.47/56.88 o 8904 62.69/57.07 o 8902 65.38/59.74 o 8887 67.00/61.33 o 8867 67.00/61.34 o 8831 69.83/64.12 o 8824 69.92/64.20 o 8819 69.92/64.20 o 8813 95.10/89.33 o 8773 99.42/93.63 o 8770 102.53/96.78 o 8724 103.33/97.57 o 8723 103.33/97.59 o 8650 104.88/99.04 o 8626 107.38/101.59 o 8625 107.38/101.59 o 8615 115.61/109.70 o 8569 115.71/109.81 o 8567 115.71/109.89 o 8553 117.81/111.94 o 8548 118.61/112.75 o 8543 142.37/136.47 o 8523 149.72/143.79 o 8516 170.17/164.14 o 8504 180.09/174.03 o 8499 192.30/186.21 o 8484 204.82/198.77 o 8483 205.02/198.93 o 8470 287.82/281.55 o 8459 312.50/306.12 o 8445 334.78/328.34 o 8427 346.24/339.73 o 8417 346.44/339.94 o 8409 362.24/355.69 o 8377 398.29/391.19 o 8357 402.39/395.20 o 8356 418.22/410.60 o 8332 419.04/411.47 o 8324 443.56/435.43 o 8320 448.47/440.27 o 8306 469.22/460.50 o 8296 474.74/465.92 o 8290 474.85/466.01 o 8288 527.66/517.62 o 8283 542.15/531.81 o 8277 588.29/576.93 o 8269 588.59/577.26 o 8253 590.24/578.81 o 8241 599.67/588.03 o 8225 602.32/590.64 o 8220 609.49/597.62 o 8217 645.45/632.78 o 8201 645.55/632.87 o 8163 711.58/697.31 o 8160 746.04/730.82 o 8136 1140.05/1115.15 o 8126 1322.38/1293.24 o 8124 1834.37/1793.04 o 8120 2400.02/2344.91 s SATISFIABLE 2400.02/2344.91 v <instantiation> 2400.02/2344.91 v <list> 2400.02/2344.91 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[37][38] d[37][39] d[37][40] d[37][41] d[38][39] d[38][40] d[38][41] d[39][40] d[39][41] d[40][41] 2400.02/2344.91 v </list> 2400.02/2344.91 v <values> 2400.02/2344.91 v 22 15 35 4 2 6 40 29 1 34 9 17 11 16 26 38 12 18 19 41 24 32 13 30 25 20 31 10 27 14 3 8 39 33 28 21 36 23 0 37 5 7 4 10 2 5 0 0 5 1 5 2 2 0 0 0 5 2 0 2 0 0 2 0 2 2 2 0 2 2 0 0 0 2 1 0 5 6 2 0 1 2 0 5 2 5 5 2 2 1 0 5 0 0 2 0 5 0 5 5 0 0 5 2 0 0 2 0 2 0 0 5 5 0 2 2 0 1 0 5 0 0 2 5 10 0 3 5 10 5 2 1 5 0 2 5 5 0 5 5 1 0 2 0 2 0 2 0 5 0 0 1 0 1 0 5 0 10 0 2 10 5 1 6 5 5 5 1 0 3 6 2 5 2 0 5 0 5 5 2 0 0 5 2 4 0 0 2 0 1 0 2 1 2 6 0 4 2 1 1 10 2 5 1 0 1 5 5 1 0 5 0 0 1 1 2 1 3 2 2 1 6 0 1 2 0 0 5 1 1 1 5 1 10 10 5 0 6 0 0 0 4 0 10 10 1 1 2 4 5 1 1 2 0 2 2 6 3 10 2 2 0 5 1 5 2 4 0 2 5 0 0 0 0 1 0 0 5 5 5 1 0 0 1 0 5 5 0 4 0 0 5 0 0 0 5 0 1 2 1 0 5 0 1 0 0 2 1 5 10 2 2 5 1 2 10 0 2 1 3 4 5 4 1 0 5 0 3 2 0 2 0 5 4 0 2 1 0 0 0 0 2 3 2 10 0 0 5 10 5 10 0 4 0 1 10 0 3 2 2 1 10 0 0 0 0 1 0 1 5 0 2 0 1 0 5 5 10 5 3 2 2 5 2 0 1 5 10 2 10 0 1 2 0 5 4 5 1 2 5 2 2 0 5 0 0 2 5 2 5 5 5 5 10 0 10 0 0 3 5 0 0 0 1 0 2 2 5 2 1 3 1 0 4 0 1 5 1 2 0 0 3 0 5 5 5 6 2 1 2 10 0 10 2 2 0 2 2 4 0 0 0 0 2 5 6 0 2 10 5 5 1 4 5 5 1 1 0 5 10 0 2 5 1 0 2 5 1 5 1 0 3 0 0 5 0 2 2 0 3 0 5 10 5 0 5 5 0 1 6 1 1 6 0 0 5 3 5 1 5 3 0 0 0 0 10 2 4 10 2 4 5 0 3 2 1 0 0 2 5 0 0 0 0 0 2 0 0 4 2 2 2 0 3 0 4 0 2 2 10 0 10 2 5 1 2 10 0 1 0 1 2 10 0 0 2 5 0 5 6 0 1 5 0 10 5 0 5 2 1 0 5 4 1 2 0 5 1 1 0 1 0 0 1 10 2 1 5 5 10 0 1 0 5 1 2 2 2 2 5 0 0 3 0 10 1 0 2 2 0 5 2 10 3 1 2 5 2 6 1 4 10 2 1 0 0 2 5 0 0 5 0 1 0 1 2 6 5 0 5 5 6 1 10 2 0 1 0 2 0 5 3 2 1 1 1 4 0 1 0 0 2 1 3 2 5 2 0 2 0 4 5 5 4 0 0 10 2 0 10 5 10 10 2 2 3 4 0 5 0 0 2 5 5 2 2 10 5 5 10 5 2 5 0 2 2 10 0 1 1 0 0 1 1 2 5 5 5 3 5 3 5 0 0 2 5 0 0 0 2 4 5 4 10 5 1 5 0 0 5 5 5 10 1 0 1 3 5 0 1 0 5 2 4 1 0 0 5 0 5 10 0 4 5 0 1 2 10 2 4 0 2 0 3 2 0 0 2 1 0 1 0 0 5 10 5 0 5 2 0 1 5 2 0 0 0 2 3 10 5 2 2 2 1 2 5 10 10 1 5 2 5 0 2 5 1 2 10 3 5 1 5 0 5 5 2 1 0 10 3 0 0 2 6 5 0 1 0 0 5 2 5 2 0 10 5 5 6 0 0 2 5 10 5 0 0 5 0 0 2 10 5 5 5 5 2 1 0 10 10 10 5 2 10 3 5 2 10 1 6 4 2 5 2400.02/2344.91 v </values> 2400.02/2344.91 v </instantiation>
OK 8120
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 (10940 MiB free)
memory of node 1: 16384 MiB (8721 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291584-1532240755/watcher-4291584-1532240755 -o /tmp/evaluation-result-4291584-1532240755/solver-4291584-1532240755 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29116 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 281437586 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291584-1532240755.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=30769, runsolver pid=30766
Current StackSize limit: 8192 KiB
[startup+0.100117 s]*
/proc/loadavg: 1.46 1.40 1.44 3/215 30784
/proc/meminfo: memFree=20118280/32770624 swapFree=67108860/67108860
[pid=30769] ppid=30766 vsize=14082740 memory=31764 CPUtime=0.11 cores=0,2,4,6
/proc/30769/stat : 30769 (java) S 30766 30769 29085 0 -1 1077944320 6867 0 0 0 10 1 0 0 20 0 15 0 41638710 14420725760 7941 33554432000 4194304 4196468 140728473457472 140728473440016 140038981730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
/proc/30769/statm: 3520685 7941 3152 1 0 3482761 0
[pid=30769/tid=30771] ppid=30766 vsize=14082740 memory=-8701690554792185724 CPUtime=0.09 cores=0,2,4,6
/proc/30769/task/30771/stat : 30771 (java) R 30766 30769 29085 0 -1 4202560 4934 0 0 0 8 1 0 0 20 0 15 0 41638710 14420725760 8007 33554432000 4194304 4196468 140728473457472 140038985931912 140038962005760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30772] ppid=30766 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30772/stat : 30772 (java) S 30766 30769 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 8007 33554432000 4194304 4196468 140728473457472 140038953573392 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30773] ppid=30766 vsize=14082740 memory=140510567917184 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30773/stat : 30773 (java) S 30766 30769 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 8007 33554432000 4194304 4196468 140728473457472 140038576643216 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30774] ppid=30766 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30774/stat : 30774 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 8007 33554432000 4194304 4196468 140728473457472 140038575590160 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30775] ppid=30766 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30775/stat : 30775 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 8007 33554432000 4194304 4196468 140728473457472 140038574537616 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30776] ppid=30766 vsize=14082740 memory=140510567917184 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30776/stat : 30776 (java) S 30766 30769 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41638713 14420725760 8007 33554432000 4194304 4196468 140728473457472 140038456305904 140038981741186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30777] ppid=30766 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30777/stat : 30777 (java) S 30766 30769 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41638713 14420725760 8007 33554432000 4194304 4196468 140728473457472 140038455252128 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30778] ppid=30766 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30778/stat : 30778 (java) S 30766 30769 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41638713 14420725760 8007 33554432000 4194304 4196468 140728473457472 140038454199024 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30779] ppid=30766 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30779/stat : 30779 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 8073 33554432000 4194304 4196468 140728473457472 140038453147600 140038981748635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30780] ppid=30766 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30780/stat : 30780 (java) S 30766 30769 29085 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 8073 33554432000 4194304 4196468 140728473457472 140038452095728 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30781] ppid=30766 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30781/stat : 30781 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 8073 33554432000 4194304 4196468 140728473457472 140038451043184 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30782] ppid=30766 vsize=14082740 memory=140510567917184 CPUtime=0.01 cores=0,2,4,6
/proc/30769/task/30782/stat : 30782 (java) S 30766 30769 29085 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 41638716 14420725760 8073 33554432000 4194304 4196468 140728473457472 140038449990128 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30783] ppid=30766 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30783/stat : 30783 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 8073 33554432000 4194304 4196468 140728473457472 140038448937824 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30784] ppid=30766 vsize=14082740 memory=140510567917184 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30784/stat : 30784 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 8073 33554432000 4194304 4196468 140728473457472 140038447884848 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31764 KiB
[startup+0.210243 s]*
/proc/loadavg: 1.46 1.40 1.44 4/215 30784
/proc/meminfo: memFree=20102420/32770624 swapFree=67108860/67108860
[pid=30769] ppid=30766 vsize=14082740 memory=46492 CPUtime=0.3 cores=0,2,4,6
/proc/30769/stat : 30769 (java) S 30766 30769 29085 0 -1 1077944320 10170 0 0 0 28 2 0 0 20 0 15 0 41638710 14420725760 11623 33554432000 4194304 4196468 140728473457472 140728473440016 140038981730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
/proc/30769/statm: 3520685 11623 3412 1 0 3482761 0
[pid=30769/tid=30771] ppid=30766 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30769/task/30771/stat : 30771 (java) R 30766 30769 29085 0 -1 4202560 7782 0 0 0 18 1 0 0 20 0 15 0 41638710 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038985957344 140038981751386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30772] ppid=30766 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30772/stat : 30772 (java) S 30766 30769 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038953573392 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30773] ppid=30766 vsize=14082740 memory=288370886719628928 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30773/stat : 30773 (java) S 30766 30769 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038576643216 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30774] ppid=30766 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30774/stat : 30774 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038575590160 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30775] ppid=30766 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30775/stat : 30775 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038574537616 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30776] ppid=30766 vsize=14082740 memory=140510567917184 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30776/stat : 30776 (java) S 30766 30769 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41638713 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038456305904 140038981741186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30777] ppid=30766 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30777/stat : 30777 (java) S 30766 30769 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41638713 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038455252128 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30778] ppid=30766 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30778/stat : 30778 (java) S 30766 30769 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41638713 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038454199024 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30779] ppid=30766 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30779/stat : 30779 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038453147600 140038981748635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30780] ppid=30766 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30769/task/30780/stat : 30780 (java) R 30766 30769 29085 0 -1 4202560 529 0 0 0 2 0 0 0 20 0 15 0 41638716 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038452087232 140038963274590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30781] ppid=30766 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30781/stat : 30781 (java) R 30766 30769 29085 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038451043280 140038981740245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30782] ppid=30766 vsize=14082740 memory=140510567917184 CPUtime=0.06 cores=0,2,4,6
/proc/30769/task/30782/stat : 30782 (java) S 30766 30769 29085 0 -1 1077944384 406 0 0 0 6 0 0 0 20 0 15 0 41638716 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038449990128 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30783] ppid=30766 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30783/stat : 30783 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038448937824 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30784] ppid=30766 vsize=14082740 memory=140510567917184 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30784/stat : 30784 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 11623 33554432000 4194304 4196468 140728473457472 140038447884848 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46492 KiB
[startup+0.31037 s]*
/proc/loadavg: 1.46 1.40 1.44 3/215 30784
/proc/meminfo: memFree=20098200/32770624 swapFree=67108860/67108860
[pid=30769] ppid=30766 vsize=14082740 memory=49988 CPUtime=0.43 cores=0,2,4,6
/proc/30769/stat : 30769 (java) S 30766 30769 29085 0 -1 1077944320 10598 0 0 0 41 2 0 0 20 0 15 0 41638710 14420725760 12497 33554432000 4194304 4196468 140728473457472 140728473440016 140038981730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
/proc/30769/statm: 3520685 12497 3415 1 0 3482761 0
[pid=30769/tid=30771] ppid=30766 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/30769/task/30771/stat : 30771 (java) R 30766 30769 29085 0 -1 4202560 8137 0 0 0 28 2 0 0 20 0 15 0 41638710 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038985945440 140038963283352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30772] ppid=30766 vsize=14082740 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30772/stat : 30772 (java) S 30766 30769 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038953573392 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30773] ppid=30766 vsize=14082740 memory=288370886719628928 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30773/stat : 30773 (java) S 30766 30769 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038576643216 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30774] ppid=30766 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30774/stat : 30774 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038575590160 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30775] ppid=30766 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30775/stat : 30775 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638711 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038574537616 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30776] ppid=30766 vsize=14082740 memory=140510567917184 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30776/stat : 30776 (java) S 30766 30769 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41638713 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038456305904 140038981741186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30777] ppid=30766 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30777/stat : 30777 (java) S 30766 30769 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41638713 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038455252128 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30778] ppid=30766 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30778/stat : 30778 (java) S 30766 30769 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41638713 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038454199024 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30779] ppid=30766 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30779/stat : 30779 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038453147600 140038981748635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30780] ppid=30766 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30769/task/30780/stat : 30780 (java) S 30766 30769 29085 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 41638716 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038452095728 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30781] ppid=30766 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30769/task/30781/stat : 30781 (java) S 30766 30769 29085 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 15 0 41638716 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038451043184 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30782] ppid=30766 vsize=14082740 memory=140510567917184 CPUtime=0.08 cores=0,2,4,6
/proc/30769/task/30782/stat : 30782 (java) S 30766 30769 29085 0 -1 1077944384 438 0 0 0 8 0 0 0 20 0 15 0 41638716 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038449990128 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30783] ppid=30766 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30783/stat : 30783 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038448937824 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30784] ppid=30766 vsize=14082740 memory=140510567917184 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30784/stat : 30784 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638716 14420725760 12497 33554432000 4194304 4196468 140728473457472 140038447884848 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49988 KiB
[startup+0.700718 s]
/proc/loadavg: 1.46 1.40 1.44 3/215 30784
/proc/meminfo: memFree=20076560/32770624 swapFree=67108860/67108860
[pid=30769] ppid=30766 vsize=14084808 memory=87932 CPUtime=0.98 cores=0,2,4,6
/proc/30769/stat : 30769 (java) S 30766 30769 29085 0 -1 1077944320 17361 0 0 0 94 4 0 0 20 0 15 0 41638710 14422843392 21983 33554432000 4194304 4196468 140728473457472 140728473440016 140038981730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
/proc/30769/statm: 3521202 21983 3498 1 0 3483273 0
[pid=30769/tid=30771] ppid=30766 vsize=14084808 memory=1728 CPUtime=0.68 cores=0,2,4,6
/proc/30769/task/30771/stat : 30771 (java) R 30766 30769 29085 0 -1 4202560 14445 0 0 0 64 4 0 0 20 0 15 0 41638710 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038985954032 140038965810526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30772] ppid=30766 vsize=14084808 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30772/stat : 30772 (java) S 30766 30769 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41638711 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038953573392 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30773] ppid=30766 vsize=14084808 memory=11956 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30773/stat : 30773 (java) S 30766 30769 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41638711 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038576643216 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30774] ppid=30766 vsize=14084808 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30774/stat : 30774 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638711 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038575590160 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30775] ppid=30766 vsize=14084808 memory=792 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30775/stat : 30775 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638711 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038574537616 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30776] ppid=30766 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30776/stat : 30776 (java) S 30766 30769 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41638713 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038456305904 140038981741186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30777] ppid=30766 vsize=14084808 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30777/stat : 30777 (java) S 30766 30769 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41638713 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038455252128 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30778] ppid=30766 vsize=14084808 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30778/stat : 30778 (java) S 30766 30769 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41638713 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038454199024 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30779] ppid=30766 vsize=14084808 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30779/stat : 30779 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038453147600 140038981748635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30780] ppid=30766 vsize=14084808 memory=7163631965283378496 CPUtime=0.06 cores=0,2,4,6
/proc/30769/task/30780/stat : 30780 (java) S 30766 30769 29085 0 -1 1077944384 681 0 0 0 6 0 0 0 20 0 15 0 41638716 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038452095728 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30781] ppid=30766 vsize=14084808 memory=6083353102074538087 CPUtime=0.08 cores=0,2,4,6
/proc/30769/task/30781/stat : 30781 (java) R 30766 30769 29085 0 -1 1077944384 287 0 0 0 8 0 0 0 20 0 15 0 41638716 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038451043184 140038981741186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30782] ppid=30766 vsize=14084808 memory=7223888500751355984 CPUtime=0.15 cores=0,2,4,6
/proc/30769/task/30782/stat : 30782 (java) R 30766 30769 29085 0 -1 1077944384 566 0 0 0 15 0 0 0 20 0 15 0 41638716 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038449990128 140038981741186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30783] ppid=30766 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30783/stat : 30783 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038448937824 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30784] ppid=30766 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30784/stat : 30784 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638716 14422843392 21983 33554432000 4194304 4196468 140728473457472 140038447884848 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 87932 KiB
[startup+1.50191 s]
/proc/loadavg: 1.46 1.40 1.44 4/215 30784
/proc/meminfo: memFree=20041216/32770624 swapFree=67108860/67108860
[pid=30769] ppid=30766 vsize=14090952 memory=158480 CPUtime=2.99 cores=0,2,4,6
/proc/30769/stat : 30769 (java) S 30766 30769 29085 0 -1 1077944320 25549 0 0 0 292 7 0 0 20 0 15 0 41638710 14429134848 39620 33554432000 4194304 4196468 140728473457472 140728473440016 140038981730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
/proc/30769/statm: 3522738 39620 3547 1 0 3484809 0
[pid=30769/tid=30771] ppid=30766 vsize=14090952 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/30769/task/30771/stat : 30771 (java) R 30766 30769 29085 0 -1 4202560 18723 0 0 0 142 5 0 0 20 0 15 0 41638710 14429134848 39620 33554432000 4194304 4196468 140728473457472 140038985961648 140038981741974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30772] ppid=30766 vsize=14090952 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30772/stat : 30772 (java) S 30766 30769 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41638711 14429134848 39620 33554432000 4194304 4196468 140728473457472 140038953573392 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30773] ppid=30766 vsize=14090952 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30773/stat : 30773 (java) S 30766 30769 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41638711 14429134848 39620 33554432000 4194304 4196468 140728473457472 140038576643216 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30774] ppid=30766 vsize=14090952 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30774/stat : 30774 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638711 14429134848 39620 33554432000 4194304 4196468 140728473457472 140038575590160 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30775] ppid=30766 vsize=14090952 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30775/stat : 30775 (java) S 30766 30769 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41638711 14429134848 39620 33554432000 4194304 4196468 140728473457472 140038574537616 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30776] ppid=30766 vsize=14090952 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30776/stat : 30776 (java) S 30766 30769 29085 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 15 0 41638713 14429134848 39620 33554432000 4194304 4196468 140728473457472 140038456305904 140038981741186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
################
# More data... #
################
/proc/30769/task/30771/stat : 30771 (java) S 30766 30769 29085 0 -1 1077944384 142257 0 0 0 224049 75 0 0 20 0 15 0 41638710 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038985967168 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30772] ppid=30766 vsize=14093000 memory=580668 CPUtime=15.96 cores=0,2,4,6
/proc/30769/task/30772/stat : 30772 (java) S 30766 30769 29085 0 -1 1077944384 23873 0 0 0 1562 34 0 0 20 0 15 0 41638711 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038953573392 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30773] ppid=30766 vsize=14093000 memory=610304 CPUtime=15.94 cores=0,2,4,6
/proc/30769/task/30773/stat : 30773 (java) S 30766 30769 29085 0 -1 1077944384 27550 0 0 0 1562 32 0 0 20 0 15 0 41638711 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038576643232 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30774] ppid=30766 vsize=14093000 memory=615376 CPUtime=15.93 cores=0,2,4,6
/proc/30769/task/30774/stat : 30774 (java) S 30766 30769 29085 0 -1 1077944384 25398 0 0 0 1561 32 0 0 20 0 15 0 41638711 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038575590160 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30775] ppid=30766 vsize=14093000 memory=615376 CPUtime=15.94 cores=0,2,4,6
/proc/30769/task/30775/stat : 30775 (java) R 30766 30769 29085 0 -1 4202560 24713 0 0 0 1562 32 0 0 20 0 15 0 41638711 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038574537736 140038974358247 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30776] ppid=30766 vsize=14093000 memory=619096 CPUtime=3.25 cores=0,2,4,6
/proc/30769/task/30776/stat : 30776 (java) S 30766 30769 29085 0 -1 1077944384 71150 0 0 0 278 47 0 0 20 0 15 0 41638713 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038456304416 140038981740245 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30777] ppid=30766 vsize=14093000 memory=615376 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30777/stat : 30777 (java) S 30766 30769 29085 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 41638713 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038455252192 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30778] ppid=30766 vsize=14093000 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30778/stat : 30778 (java) S 30766 30769 29085 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41638713 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038454199040 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30779] ppid=30766 vsize=14093000 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30779/stat : 30779 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038453147600 140038981748635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30780] ppid=30766 vsize=14093000 memory=1408 CPUtime=2.12 cores=0,2,4,6
/proc/30769/task/30780/stat : 30780 (java) S 30766 30769 29085 0 -1 1077944384 18034 0 0 0 209 3 0 0 20 0 15 0 41638716 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038452095728 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30781] ppid=30766 vsize=14093000 memory=3212 CPUtime=2.19 cores=0,2,4,6
/proc/30769/task/30781/stat : 30781 (java) S 30766 30769 29085 0 -1 1077944384 17927 0 0 0 216 3 0 0 20 0 15 0 41638716 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038451043184 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30782] ppid=30766 vsize=14093000 memory=619096 CPUtime=1.41 cores=0,2,4,6
/proc/30769/task/30782/stat : 30782 (java) S 30766 30769 29085 0 -1 1077944384 49331 0 0 0 136 5 0 0 20 0 15 0 41638716 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038449990128 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30783] ppid=30766 vsize=14093000 memory=619096 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30783/stat : 30783 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038448937824 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30784] ppid=30766 vsize=14093000 memory=618960 CPUtime=1.21 cores=0,2,4,6
/proc/30769/task/30784/stat : 30784 (java) S 30766 30769 29085 0 -1 1077944384 2185 0 0 0 59 62 0 0 20 0 15 0 41638716 14431232000 155028 33554432000 4194304 4196468 140728473457472 140038447884848 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
Current children cumulated CPU time: 2315.29 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 620112 KiB
[startup+2322.3 s]
/proc/loadavg: 1.69 1.71 1.68 3/217 30959
/proc/meminfo: memFree=13406728/32770624 swapFree=67108860/67108860
[pid=30769] ppid=30766 vsize=14093000 memory=603172 CPUtime=2376.9 cores=0,2,4,6
/proc/30769/stat : 30769 (java) S 30766 30769 29085 0 -1 1077944320 410438 0 0 0 237376 314 0 0 20 0 15 0 41638710 14431232000 150793 33554432000 4194304 4196468 140728473457472 140728473440016 140038981730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
/proc/30769/statm: 3523250 150793 3624 1 0 3485321 0
[pid=30769/tid=30771] ppid=30766 vsize=14093000 memory=572132 CPUtime=2300.57 cores=0,2,4,6
/proc/30769/task/30771/stat : 30771 (java) R 30766 30769 29085 0 -1 4202560 144450 0 0 0 229981 76 0 0 20 0 15 0 41638710 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038985967184 140038629694976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30772] ppid=30766 vsize=14093000 memory=568796 CPUtime=16.5 cores=0,2,4,6
/proc/30769/task/30772/stat : 30772 (java) S 30766 30769 29085 0 -1 1077944384 24341 0 0 0 1615 35 0 0 20 0 15 0 41638711 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038953573392 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30773] ppid=30766 vsize=14093000 memory=591732 CPUtime=16.47 cores=0,2,4,6
/proc/30769/task/30773/stat : 30773 (java) S 30766 30769 29085 0 -1 1077944384 28118 0 0 0 1614 33 0 0 20 0 15 0 41638711 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038576643216 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30774] ppid=30766 vsize=14093000 memory=596076 CPUtime=16.48 cores=0,2,4,6
/proc/30769/task/30774/stat : 30774 (java) S 30766 30769 29085 0 -1 1077944384 25816 0 0 0 1614 34 0 0 20 0 15 0 41638711 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038575590160 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30775] ppid=30766 vsize=14093000 memory=613240 CPUtime=16.48 cores=0,2,4,6
/proc/30769/task/30775/stat : 30775 (java) S 30766 30769 29085 0 -1 1077944384 25265 0 0 0 1614 34 0 0 20 0 15 0 41638711 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038574537616 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30776] ppid=30766 vsize=14093000 memory=609840 CPUtime=3.33 cores=0,2,4,6
/proc/30769/task/30776/stat : 30776 (java) S 30766 30769 29085 0 -1 1077944384 73446 0 0 0 285 48 0 0 20 0 15 0 41638713 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038456305904 140038981741186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30777] ppid=30766 vsize=14093000 memory=606764 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30777/stat : 30777 (java) S 30766 30769 29085 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 41638713 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038455252192 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30778] ppid=30766 vsize=14093000 memory=603172 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30778/stat : 30778 (java) S 30766 30769 29085 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41638713 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038454199040 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30779] ppid=30766 vsize=14093000 memory=557512 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30779/stat : 30779 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038453147600 140038981748635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30780] ppid=30766 vsize=14093000 memory=560588 CPUtime=2.12 cores=0,2,4,6
/proc/30769/task/30780/stat : 30780 (java) S 30766 30769 29085 0 -1 1077944384 18055 0 0 0 209 3 0 0 20 0 15 0 41638716 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038452095728 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30781] ppid=30766 vsize=14093000 memory=609648 CPUtime=2.2 cores=0,2,4,6
/proc/30769/task/30781/stat : 30781 (java) S 30766 30769 29085 0 -1 1077944384 17969 0 0 0 217 3 0 0 20 0 15 0 41638716 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038451043184 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30782] ppid=30766 vsize=14093000 memory=-6035578597003478172 CPUtime=1.41 cores=0,2,4,6
/proc/30769/task/30782/stat : 30782 (java) S 30766 30769 29085 0 -1 1077944384 49343 0 0 0 136 5 0 0 20 0 15 0 41638716 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038449990128 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30783] ppid=30766 vsize=14093000 memory=606764 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30783/stat : 30783 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038448937824 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30784] ppid=30766 vsize=14093000 memory=1004 CPUtime=1.25 cores=0,2,4,6
/proc/30769/task/30784/stat : 30784 (java) S 30766 30769 29085 0 -1 1077944384 2201 0 0 0 61 64 0 0 20 0 15 0 41638716 14431232000 150793 33554432000 4194304 4196468 140728473457472 140038447884848 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
Current children cumulated CPU time: 2376.9 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 603172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2344.9 s]
/proc/loadavg: 1.63 1.69 1.68 3/217 30959
/proc/meminfo: memFree=13431956/32770624 swapFree=67108860/67108860
[pid=30769] ppid=30766 vsize=14093000 memory=569796 CPUtime=2400.02 cores=0,2,4,6
/proc/30769/stat : 30769 (java) S 30766 30769 29085 0 -1 1077944320 412344 0 0 0 239686 316 0 0 20 0 15 0 41638710 14431232000 142449 33554432000 4194304 4196468 140728473457472 140728473440016 140038981730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
/proc/30769/statm: 3523250 142449 3624 1 0 3485321 0
[pid=30769/tid=30771] ppid=30766 vsize=14093000 memory=573388 CPUtime=2322.94 cores=0,2,4,6
/proc/30769/task/30771/stat : 30771 (java) R 30766 30769 29085 0 -1 4202560 145325 0 0 0 232218 76 0 0 20 0 15 0 41638710 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038985967056 140038629695155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30772] ppid=30766 vsize=14093000 memory=573388 CPUtime=16.67 cores=0,2,4,6
/proc/30769/task/30772/stat : 30772 (java) S 30766 30769 29085 0 -1 1077944384 24569 0 0 0 1632 35 0 0 20 0 15 0 41638711 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038953573392 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30773] ppid=30766 vsize=14093000 memory=573388 CPUtime=16.65 cores=0,2,4,6
/proc/30769/task/30773/stat : 30773 (java) S 30766 30769 29085 0 -1 1077944384 28342 0 0 0 1632 33 0 0 20 0 15 0 41638711 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038576643216 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30774] ppid=30766 vsize=14093000 memory=573388 CPUtime=16.65 cores=0,2,4,6
/proc/30769/task/30774/stat : 30774 (java) S 30766 30769 29085 0 -1 1077944384 26045 0 0 0 1631 34 0 0 20 0 15 0 41638711 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038575590160 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30775] ppid=30766 vsize=14093000 memory=591732 CPUtime=16.65 cores=0,2,4,6
/proc/30769/task/30775/stat : 30775 (java) S 30766 30769 29085 0 -1 1077944384 25500 0 0 0 1631 34 0 0 20 0 15 0 41638711 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038574537616 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30776] ppid=30766 vsize=14093000 memory=587780 CPUtime=3.37 cores=0,2,4,6
/proc/30769/task/30776/stat : 30776 (java) S 30766 30769 29085 0 -1 1077944384 73471 0 0 0 288 49 0 0 20 0 15 0 41638713 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038456305904 140038981741186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30777] ppid=30766 vsize=14093000 memory=591372 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30777/stat : 30777 (java) S 30766 30769 29085 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 41638713 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038455252192 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30778] ppid=30766 vsize=14093000 memory=584160 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30778/stat : 30778 (java) S 30766 30769 29085 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41638713 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038454199040 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30779] ppid=30766 vsize=14093000 memory=573388 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30779/stat : 30779 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038453147600 140038981748635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30780] ppid=30766 vsize=14093000 memory=6791534058613427641 CPUtime=2.12 cores=0,2,4,6
/proc/30769/task/30780/stat : 30780 (java) S 30766 30769 29085 0 -1 1077944384 18055 0 0 0 209 3 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038452095728 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30781] ppid=30766 vsize=14093000 memory=6791534058613427641 CPUtime=2.2 cores=0,2,4,6
/proc/30769/task/30781/stat : 30781 (java) S 30766 30769 29085 0 -1 1077944384 17969 0 0 0 217 3 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038451043184 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30782] ppid=30766 vsize=14093000 memory=573388 CPUtime=1.41 cores=0,2,4,6
/proc/30769/task/30782/stat : 30782 (java) S 30766 30769 29085 0 -1 1077944384 49428 0 0 0 136 5 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038449990128 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30783] ppid=30766 vsize=14093000 memory=562460 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30783/stat : 30783 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038448937824 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30784] ppid=30766 vsize=14093000 memory=569796 CPUtime=1.26 cores=0,2,4,6
/proc/30769/task/30784/stat : 30784 (java) S 30766 30769 29085 0 -1 1077944384 2206 0 0 0 61 65 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038447884848 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 569796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2344.93 s]
# the end of solver process 30769 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.9 s, system=3.17188 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2344.9 s]
/proc/loadavg: 1.63 1.69 1.68 3/217 30959
/proc/meminfo: memFree=13431956/32770624 swapFree=67108860/67108860
[pid=30769] ppid=30766 vsize=14093000 memory=569796 CPUtime=2400.02 cores=0,2,4,6
/proc/30769/stat : 30769 (java) S 30766 30769 29085 0 -1 1077944320 412344 0 0 0 239686 316 0 0 20 0 15 0 41638710 14431232000 142449 33554432000 4194304 4196468 140728473457472 140728473440016 140038981730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
/proc/30769/statm: 3523250 142449 3624 1 0 3485321 0
[pid=30769/tid=30771] ppid=30766 vsize=14093000 memory=573388 CPUtime=2322.94 cores=0,2,4,6
/proc/30769/task/30771/stat : 30771 (java) R 30766 30769 29085 0 -1 4202560 145325 0 0 0 232218 76 0 0 20 0 15 0 41638710 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038985967056 140038629695155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30772] ppid=30766 vsize=14093000 memory=573388 CPUtime=16.67 cores=0,2,4,6
/proc/30769/task/30772/stat : 30772 (java) S 30766 30769 29085 0 -1 1077944384 24569 0 0 0 1632 35 0 0 20 0 15 0 41638711 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038953573392 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30773] ppid=30766 vsize=14093000 memory=573388 CPUtime=16.65 cores=0,2,4,6
/proc/30769/task/30773/stat : 30773 (java) S 30766 30769 29085 0 -1 1077944384 28342 0 0 0 1632 33 0 0 20 0 15 0 41638711 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038576643216 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30774] ppid=30766 vsize=14093000 memory=573388 CPUtime=16.65 cores=0,2,4,6
/proc/30769/task/30774/stat : 30774 (java) S 30766 30769 29085 0 -1 1077944384 26045 0 0 0 1631 34 0 0 20 0 15 0 41638711 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038575590160 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30775] ppid=30766 vsize=14093000 memory=591732 CPUtime=16.65 cores=0,2,4,6
/proc/30769/task/30775/stat : 30775 (java) S 30766 30769 29085 0 -1 1077944384 25500 0 0 0 1631 34 0 0 20 0 15 0 41638711 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038574537616 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30776] ppid=30766 vsize=14093000 memory=587780 CPUtime=3.37 cores=0,2,4,6
/proc/30769/task/30776/stat : 30776 (java) S 30766 30769 29085 0 -1 1077944384 73471 0 0 0 288 49 0 0 20 0 15 0 41638713 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038456305904 140038981741186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30777] ppid=30766 vsize=14093000 memory=591372 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30777/stat : 30777 (java) S 30766 30769 29085 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 41638713 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038455252192 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30778] ppid=30766 vsize=14093000 memory=584160 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30778/stat : 30778 (java) S 30766 30769 29085 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41638713 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038454199040 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30779] ppid=30766 vsize=14093000 memory=573388 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30779/stat : 30779 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038453147600 140038981748635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30780] ppid=30766 vsize=14093000 memory=6791534058613427641 CPUtime=2.12 cores=0,2,4,6
/proc/30769/task/30780/stat : 30780 (java) S 30766 30769 29085 0 -1 1077944384 18055 0 0 0 209 3 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038452095728 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30781] ppid=30766 vsize=14093000 memory=6791534058613427641 CPUtime=2.2 cores=0,2,4,6
/proc/30769/task/30781/stat : 30781 (java) S 30766 30769 29085 0 -1 1077944384 17969 0 0 0 217 3 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038451043184 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30782] ppid=30766 vsize=14093000 memory=573388 CPUtime=1.41 cores=0,2,4,6
/proc/30769/task/30782/stat : 30782 (java) S 30766 30769 29085 0 -1 1077944384 49428 0 0 0 136 5 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038449990128 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30783] ppid=30766 vsize=14093000 memory=562460 CPUtime=0 cores=0,2,4,6
/proc/30769/task/30783/stat : 30783 (java) S 30766 30769 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038448937824 140038981740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
[pid=30769/tid=30784] ppid=30766 vsize=14093000 memory=569796 CPUtime=1.26 cores=0,2,4,6
/proc/30769/task/30784/stat : 30784 (java) S 30766 30769 29085 0 -1 1077944384 2206 0 0 0 61 65 0 0 20 0 15 0 41638716 14431232000 142449 33554432000 4194304 4196468 140728473457472 140038447884848 140038981741186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 38436864 140728473465941 140728473466121 140728473466121 140728473468879 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 569796 KiB
Child status: 143
Real time (s): 2344.93
CPU time (s): 2400.07
CPU user time (s): 2396.9
CPU system time (s): 3.17188
CPU usage (%): 102.352
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 3846520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.9
system time used= 3.17188
maximum resident set size= 3849200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125335
involuntary context switches= 5717
# summary of solver processes directly reported to runsolver:
# pid: 30769
# total CPU time (s): 2400.07
# total CPU user time (s): 2396.9
# total CPU system time (s): 3.17188
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7933 second user time and 21.7546 second system time
The end
Begin job on node151 at 2018-07-22 08:25:55 IDJOB=4291584 IDBENCH=141246 IDSOLVER=2746 FILE ID=node151/4291584-1532240755 RUNJOBID= node151-1532226532-29116 PBS_JOBID= 21018950 Free space on /tmp= 55036 MiB SOLVER NAME= OscaR - Hybrid 2018-07-02 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko42_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291584-1532240755/watcher-4291584-1532240755 -o /tmp/evaluation-result-4291584-1532240755/solver-4291584-1532240755 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29116 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 281437586 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291584-1532240755.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee3f8a7d47c87a95d16b6f1492d4a345 RANDOM SEED=281437586 node151.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.87 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.87 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.87 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.87 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: 20135236 kB MemAvailable: 31483512 kB Buffers: 232828 kB Cached: 11264848 kB SwapCached: 0 kB Active: 1505508 kB Inactive: 10499152 kB Active(anon): 510028 kB Inactive(anon): 16936 kB Active(file): 995480 kB Inactive(file): 10482216 kB Unevictable: 7940 kB Mlocked: 7940 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 36008 kB Writeback: 0 kB AnonPages: 519208 kB Mapped: 48900 kB Shmem: 17032 kB Slab: 326484 kB SReclaimable: 299040 kB SUnreclaim: 27444 kB KernelStack: 3520 kB PageTables: 7040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1118776 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 352256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 55000 MiB End job on node151 at 2018-07-22 09:05:00