Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Mistral-2.0 2017-06-28 | SAT (TO) | 13 | 2400.0701 | 2400.3101 |
| Name | OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml |
| MD5SUM | ca3b02115b63c058d23855e217e5f7b7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 13 |
| Best CPU time to get the best result obtained on this benchmark | 2400.0701 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 920 |
| Number of constraints | 881 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 41 |
| Distribution of domain sizes | [{"size":2,"count":800},{"size":40,"count":80},{"size":41,"count":40}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 41 |
| Distribution of variable degrees | [{"degree":2,"count":840},{"degree":9,"count":40},{"degree":41,"count":40}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 40 |
| Distribution of constraint arities | [{"arity":3,"count":800},{"arity":9,"count":40},{"arity":21,"count":40},{"arity":40,"count":1}] |
| Number of extensional constraints | 800 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":800},{"type":"allDifferent","count":1},{"type":"sum","count":40},{"type":"minimum","count":20},{"type":"maximum","count":20}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.05 c Mistral-2017-06-28 0.64/0.70 o 17 0.64/0.70 o 16 0.64/0.71 o 15 0.64/0.72 o 14 0.64/0.74 o 13 2400.06/2400.30 s SATISFIABLE 2400.06/2400.30 v <instantiation type="solution"> 2400.06/2400.30 v <list> p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] min[10] min[11] min[12] min[13] min[14] min[15] min[16] min[17] min[18] min[19] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] max[10] max[11] max[12] max[13] max[14] max[15] max[16] max[17] max[18] max[19] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][30] o[0][31] o[0][32] o[0][33] o[0][34] o[0][35] o[0][36] o[0][37] o[0][38] o[0][39] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][30] o[1][31] o[1][32] o[1][33] o[1][34] o[1][35] o[1][36] o[1][37] o[1][38] o[1][39] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][30] o[2][31] o[2][32] o[2][33] o[2][34] o[2][35] o[2][36] o[2][37] o[2][38] o[2][39] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][30] o[3][31] o[3][32] o[3][33] o[3][34] o[3][35] o[3][36] o[3][37] o[3][38] o[3][39] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][30] o[4][31] o[4][32] o[4][33] o[4][34] o[4][35] o[4][36] o[4][37] o[4][38] o[4][39] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][30] o[5][31] o[5][32] o[5][33] o[5][34] o[5][35] o[5][36] o[5][37] o[5][38] o[5][39] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][30] o[6][31] o[6][32] o[6][33] o[6][34] o[6][35] o[6][36] o[6][37] o[6][38] o[6][39] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][30] o[7][31] o[7][32] o[7][33] o[7][34] o[7][35] o[7][36] o[7][37] o[7][38] o[7][39] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][30] o[8][31] o[8][32] o[8][33] o[8][34] o[8][35] o[8][36] o[8][37] o[8][38] o[8][39] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][30] o[9][31] o[9][32] o[9][33] o[9][34] o[9][35] o[9][36] o[9][37] o[9][38] o[9][39] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][30] o[10][31] o[10][32] o[10][33] o[10][34] o[10][35] o[10][36] o[10][37] o[10][38] o[10][39] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][30] o[11][31] o[11][32] o[11][33] o[11][34] o[11][35] o[11][36] o[11][37] o[11][38] o[11][39] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][30] o[12][31] o[12][32] o[12][33] o[12][34] o[12][35] o[12][36] o[12][37] o[12][38] o[12][39] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][30] o[13][31] o[13][32] o[13][33] o[13][34] o[13][35] o[13][36] o[13][37] o[13][38] o[13][39] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][30] o[14][31] o[14][32] o[14][33] o[14][34] o[14][35] o[14][36] o[14][37] o[14][38] o[14][39] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][30] o[15][31] o[15][32] o[15][33] o[15][34] o[15][35] o[15][36] o[15][37] o[15][38] o[15][39] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][30] o[16][31] o[16][32] o[16][33] o[16][34] o[16][35] o[16][36] o[16][37] o[16][38] o[16][39] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][30] o[17][31] o[17][32] o[17][33] o[17][34] o[17][35] o[17][36] o[17][37] o[17][38] o[17][39] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][30] o[18][31] o[18][32] o[18][33] o[18][34] o[18][35] o[18][36] o[18][37] o[18][38] o[18][39] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][30] o[19][31] o[19][32] o[19][33] o[19][34] o[19][35] o[19][36] o[19][37] o[19][38] o[19][39] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[30] so[31] so[32] so[33] so[34] so[35] so[36] so[37] so[38] so[39] </list> 2400.06/2400.30 v <values> 10 19 20 18 24 23 27 35 36 33 34 31 32 22 7 3 2 1 9 8 0 28 17 29 26 37 25 38 30 39 21 14 16 6 11 5 13 4 12 15 0 4 0 4 0 15 0 23 17 27 21 14 16 6 7 3 2 1 1 1 13 28 20 29 26 37 27 38 36 39 36 39 34 39 32 39 22 14 16 15 1 1 1 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 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 1 1 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 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 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 1 1 1 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 0 0 0 1 1 1 1 1 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 0 1 1 1 1 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 0 4 7 8 9 11 11 12 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 12 11 10 10 10 9 9 8 8 6 5 4 </values> 2400.06/2400.30 v </instantiation>
OK 13
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241339-1502084084/watcher-4241339-1502084084 -o /tmp/evaluation-result-4241339-1502084084/solver-4241339-1502084084 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1179101272 HOME/instance-4241339-1502084084.xml pid=3017 running on 4 cores: 1,3,5,7 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.87 1.98 2.03 3/184 3020 /proc/meminfo: memFree=31642288/32770624 swapFree=0/359456 [pid=3020] ppid=3017 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/3020/stat : 3020 (runsolver) D 3017 3020 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10602089 24240128 106 18446744073709551615 4194304 4338465 140721749751696 140721749749336 140683395670743 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 20430848 140721749753995 140721749754442 140721749754442 140721749757898 0 /proc/3020/statm: 5918 106 53 36 0 2156 0 [startup+0.100627 s] /proc/loadavg: 1.87 1.98 2.03 3/184 3020 /proc/meminfo: memFree=31642288/32770624 swapFree=0/359456 [pid=3020] ppid=3017 vsize=43844 CPUtime=0.04 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 4822 0 0 0 4 0 0 0 20 0 1 0 10602089 44896256 4657 18446744073709551615 4194304 7402444 140732737362288 140732737353368 5888986 0 0 1 0 0 0 0 17 7 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 10961 4657 727 784 0 3975 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 43844 [startup+0.200626 s] /proc/loadavg: 1.87 1.98 2.03 3/184 3020 /proc/meminfo: memFree=31642288/32770624 swapFree=0/359456 [pid=3020] ppid=3017 vsize=81964 CPUtime=0.14 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 14355 0 0 0 12 2 0 0 20 0 1 0 10602089 83931136 14161 18446744073709551615 4194304 7402444 140732737362288 140732737353368 5888308 0 0 1 0 0 0 0 17 7 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 20491 14161 727 784 0 13505 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 81964 [startup+0.300628 s] /proc/loadavg: 1.87 1.98 2.03 3/184 3020 /proc/meminfo: memFree=31642288/32770624 swapFree=0/359456 [pid=3020] ppid=3017 vsize=116164 CPUtime=0.24 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 22918 0 0 0 21 3 0 0 20 0 1 0 10602089 118951936 22741 18446744073709551615 4194304 7402444 140732737362288 140732737355528 5909465 0 0 1 0 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 29041 22741 727 784 0 22055 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 116164 [startup+0.700315 s] /proc/loadavg: 1.87 1.98 2.03 3/184 3020 /proc/meminfo: memFree=31642288/32770624 swapFree=0/359456 [pid=3020] ppid=3017 vsize=229652 CPUtime=0.64 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 51315 0 0 0 58 6 0 0 20 0 1 0 10602089 235163648 51162 18446744073709551615 4194304 7402444 140732737362288 140732737355528 4484571 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 57413 51162 775 784 0 50427 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 229652 [startup+1.50031 s] /proc/loadavg: 1.88 1.98 2.03 3/185 3021 /proc/meminfo: memFree=31438988/32770624 swapFree=0/359456 [pid=3020] ppid=3017 vsize=231632 CPUtime=1.43 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 51840 0 0 0 137 6 0 0 20 0 1 0 10602089 237191168 51690 18446744073709551615 4194304 7402444 140732737362288 140732737355528 140587291073509 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 57908 51690 777 784 0 50922 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 231632 [startup+3.10032 s] /proc/loadavg: 1.88 1.98 2.03 3/185 3021 /proc/meminfo: memFree=31437872/32770624 swapFree=0/359456 [pid=3020] ppid=3017 vsize=231900 CPUtime=3.04 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 83443 0 0 0 296 8 0 0 20 0 1 0 10602089 237465600 51730 18446744073709551615 4194304 7402444 140732737362288 140732737355528 4484555 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 57975 51730 777 784 0 50989 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 231900 [startup+6.30032 s] /proc/loadavg: 1.89 1.98 2.03 3/185 3021 /proc/meminfo: memFree=31435640/32770624 swapFree=0/359456 [pid=3020] ppid=3017 vsize=234408 CPUtime=6.24 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 117031 0 0 0 614 10 0 0 20 0 1 0 10602089 240033792 52365 18446744073709551615 4194304 7402444 140732737362288 140732737356520 4484558 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 58602 52365 777 784 0 51616 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 234408 [startup+12.7003 s] /proc/loadavg: 1.90 1.98 2.03 3/185 3022 /proc/meminfo: memFree=31433956/32770624 swapFree=0/359476 [pid=3020] ppid=3017 vsize=234804 CPUtime=12.63 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 147536 0 0 0 1252 11 0 0 20 0 1 0 10602089 240439296 52422 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484555 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 58701 52422 777 784 0 51715 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 234804 [startup+25.5004 s] /proc/loadavg: 1.92 1.98 2.03 3/185 3022 /proc/meminfo: memFree=31433852/32770624 swapFree=0/359484 [pid=3020] ppid=3017 vsize=235332 CPUtime=25.43 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 206037 0 0 0 2529 14 0 0 20 0 1 0 10602089 240979968 52602 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484558 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 58833 52602 777 784 0 51847 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 235332 [startup+51.1004 s] /proc/loadavg: 1.95 1.99 2.03 3/185 3022 /proc/meminfo: memFree=31432980/32770624 swapFree=0/359496 [pid=3020] ppid=3017 vsize=235596 CPUtime=51.01 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 229083 0 0 0 5086 15 0 0 20 0 1 0 10602089 241250304 52668 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484737 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 58899 52668 777 784 0 51913 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 235596 [startup+102.3 s] /proc/loadavg: 1.98 1.99 2.03 3/182 3024 /proc/meminfo: memFree=31436392/32770624 swapFree=0/359532 [pid=3020] ppid=3017 vsize=235992 CPUtime=102.18 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 244372 0 0 0 10202 16 0 0 20 0 1 0 10602089 241655808 52778 18446744073709551615 4194304 7402444 140732737362288 140732737356824 5877812 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 58998 52778 777 784 0 52012 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 235992 [startup+162.3 s] /proc/loadavg: 1.99 1.99 2.03 3/182 3026 /proc/meminfo: memFree=31436276/32770624 swapFree=0/359564 [pid=3020] ppid=3017 vsize=236124 CPUtime=162.16 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 247280 0 0 0 16200 16 0 0 20 0 1 0 10602089 241790976 52783 18446744073709551615 4194304 7402444 140732737362288 140732737356824 5754000 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59031 52783 777 784 0 52045 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 236124 [startup+222.306 s] /proc/loadavg: 2.00 1.99 2.03 3/183 3029 /proc/meminfo: memFree=31437128/32770624 swapFree=0/359592 [pid=3020] ppid=3017 vsize=236124 CPUtime=222.16 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 248219 0 0 0 22200 16 0 0 20 0 1 0 10602089 241790976 52795 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484606 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59031 52795 777 784 0 52045 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 236124 [startup+282.3 s] /proc/loadavg: 2.00 1.99 2.03 3/182 3032 /proc/meminfo: memFree=31437296/32770624 swapFree=0/359624 [pid=3020] ppid=3017 vsize=236124 CPUtime=282.15 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 249130 0 0 0 28199 16 0 0 20 0 1 0 10602089 241790976 52814 18446744073709551615 4194304 7402444 140732737362288 140732737356824 5695885 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59031 52814 777 784 0 52045 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 236124 [startup+342.3 s] /proc/loadavg: 2.00 1.99 2.03 3/182 3034 /proc/meminfo: memFree=31437424/32770624 swapFree=0/359652 [pid=3020] ppid=3017 vsize=236124 CPUtime=342.15 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 250101 0 0 0 34199 16 0 0 20 0 1 0 10602089 241790976 52814 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484571 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59031 52814 777 784 0 52045 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 236124 [startup+402.3 s] /proc/loadavg: 2.00 1.99 2.03 3/182 3036 /proc/meminfo: memFree=31437892/32770624 swapFree=0/359684 [pid=3020] ppid=3017 vsize=236124 CPUtime=402.14 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 251038 0 0 0 40198 16 0 0 20 0 1 0 10602089 241790976 52814 18446744073709551615 4194304 7402444 140732737362288 140732737356824 5695885 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59031 52814 777 784 0 52045 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 236124 [startup+462.3 s] /proc/loadavg: 2.00 1.99 2.03 3/182 3039 /proc/meminfo: memFree=31437528/32770624 swapFree=0/359716 [pid=3020] ppid=3017 vsize=236256 CPUtime=462.14 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 251993 0 0 0 46198 16 0 0 20 0 1 0 10602089 241926144 52814 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484558 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59064 52814 777 784 0 52078 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 236256 [startup+522.3 s] /proc/loadavg: 2.00 1.99 2.03 3/181 3041 /proc/meminfo: memFree=31437544/32770624 swapFree=0/359752 [pid=3020] ppid=3017 vsize=236256 CPUtime=522.14 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 252953 0 0 0 52197 17 0 0 20 0 1 0 10602089 241926144 52830 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484555 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59064 52830 777 784 0 52078 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 236256 [startup+582.3 s] /proc/loadavg: 2.00 1.99 2.03 3/184 3057 /proc/meminfo: memFree=31433288/32770624 swapFree=0/359816 [pid=3020] ppid=3017 vsize=236256 CPUtime=582.14 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 253916 0 0 0 58197 17 0 0 20 0 1 0 10602089 241926144 52840 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484763 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59064 52840 777 784 0 52078 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 236256 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.03 2.03 2.05 3/181 3105 /proc/meminfo: memFree=31437028/32770624 swapFree=0/360348 [pid=3020] ppid=3017 vsize=236388 CPUtime=1542.09 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 269276 0 0 0 154192 17 0 0 20 0 1 0 10602089 242061312 52861 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484602 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52861 777 784 0 52111 0 Current children cumulated CPU time (s) 1542.09 Current children cumulated vsize (KiB) 236388 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 3107 /proc/meminfo: memFree=31436904/32770624 swapFree=0/360372 [pid=3020] ppid=3017 vsize=236388 CPUtime=1602.09 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 270255 0 0 0 160192 17 0 0 20 0 1 0 10602089 242061312 52861 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484571 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52861 777 784 0 52111 0 Current children cumulated CPU time (s) 1602.09 Current children cumulated vsize (KiB) 236388 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 3109 /proc/meminfo: memFree=31436824/32770624 swapFree=0/360400 [pid=3020] ppid=3017 vsize=236388 CPUtime=1662.09 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 271234 0 0 0 166191 18 0 0 20 0 1 0 10602089 242061312 52861 18446744073709551615 4194304 7402444 140732737362288 140732737356824 5753913 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52861 777 784 0 52111 0 Current children cumulated CPU time (s) 1662.09 Current children cumulated vsize (KiB) 236388 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 3111 /proc/meminfo: memFree=31436704/32770624 swapFree=0/360436 [pid=3020] ppid=3017 vsize=236388 CPUtime=1722.09 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 272218 0 0 0 172191 18 0 0 20 0 1 0 10602089 242061312 52861 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4709390 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52861 777 784 0 52111 0 Current children cumulated CPU time (s) 1722.09 Current children cumulated vsize (KiB) 236388 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 3127 /proc/meminfo: memFree=31424756/32770624 swapFree=0/360492 [pid=3020] ppid=3017 vsize=236388 CPUtime=1782.09 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 273159 0 0 0 178191 18 0 0 20 0 1 0 10602089 242061312 52861 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484585 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52861 777 784 0 52111 0 Current children cumulated CPU time (s) 1782.09 Current children cumulated vsize (KiB) 236388 [startup+1842.3 s] /proc/loadavg: 1.88 1.98 2.03 3/184 3321 /proc/meminfo: memFree=31447888/32770624 swapFree=0/360620 [pid=3020] ppid=3017 vsize=236388 CPUtime=1842.08 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 274181 0 0 0 184190 18 0 0 20 0 1 0 10602089 242061312 52869 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484555 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52869 777 784 0 52111 0 Current children cumulated CPU time (s) 1842.08 Current children cumulated vsize (KiB) 236388 [startup+1902.3 s] /proc/loadavg: 1.96 1.99 2.03 3/181 3323 /proc/meminfo: memFree=31450232/32770624 swapFree=0/360660 [pid=3020] ppid=3017 vsize=236388 CPUtime=1902.08 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 275169 0 0 0 190190 18 0 0 20 0 1 0 10602089 242061312 52869 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4377716 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52869 777 784 0 52111 0 Current children cumulated CPU time (s) 1902.08 Current children cumulated vsize (KiB) 236388 [startup+1962.3 s] /proc/loadavg: 1.98 1.99 2.03 3/181 3325 /proc/meminfo: memFree=31450352/32770624 swapFree=0/360692 [pid=3020] ppid=3017 vsize=236388 CPUtime=1962.08 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 276156 0 0 0 196190 18 0 0 20 0 1 0 10602089 242061312 52869 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484558 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52869 777 784 0 52111 0 Current children cumulated CPU time (s) 1962.08 Current children cumulated vsize (KiB) 236388 [startup+2022.3 s] /proc/loadavg: 1.99 1.99 2.03 3/181 3327 /proc/meminfo: memFree=31450564/32770624 swapFree=0/360720 [pid=3020] ppid=3017 vsize=236388 CPUtime=2022.07 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 277152 0 0 0 202189 18 0 0 20 0 1 0 10602089 242061312 52869 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484558 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52869 777 784 0 52111 0 Current children cumulated CPU time (s) 2022.07 Current children cumulated vsize (KiB) 236388 [startup+2082.3 s] /proc/loadavg: 2.00 1.99 2.03 3/181 3330 /proc/meminfo: memFree=31450440/32770624 swapFree=0/360768 [pid=3020] ppid=3017 vsize=236388 CPUtime=2082.07 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 278143 0 0 0 208189 18 0 0 20 0 1 0 10602089 242061312 52873 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484562 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52873 777 784 0 52111 0 Current children cumulated CPU time (s) 2082.07 Current children cumulated vsize (KiB) 236388 [startup+2142.3 s] /proc/loadavg: 2.00 1.99 2.03 3/181 3395 /proc/meminfo: memFree=31424636/32770624 swapFree=0/360828 [pid=3020] ppid=3017 vsize=236388 CPUtime=2142.07 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 279139 0 0 0 214189 18 0 0 20 0 1 0 10602089 242061312 52873 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484555 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52873 777 784 0 52111 0 Current children cumulated CPU time (s) 2142.07 Current children cumulated vsize (KiB) 236388 [startup+2202.31 s] /proc/loadavg: 2.00 1.99 2.03 3/181 3397 /proc/meminfo: memFree=31424396/32770624 swapFree=0/360868 [pid=3020] ppid=3017 vsize=236388 CPUtime=2202.07 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 280130 0 0 0 220189 18 0 0 20 0 1 0 10602089 242061312 52873 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484790 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52873 777 784 0 52111 0 Current children cumulated CPU time (s) 2202.07 Current children cumulated vsize (KiB) 236388 [startup+2262.3 s] /proc/loadavg: 2.11 2.02 2.05 3/181 3400 /proc/meminfo: memFree=31423908/32770624 swapFree=0/360896 [pid=3020] ppid=3017 vsize=236388 CPUtime=2262.06 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 281121 0 0 0 226188 18 0 0 20 0 1 0 10602089 242061312 52873 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484562 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52873 777 784 0 52111 0 Current children cumulated CPU time (s) 2262.06 Current children cumulated vsize (KiB) 236388 [startup+2322.3 s] /proc/loadavg: 2.04 2.01 2.05 3/181 3402 /proc/meminfo: memFree=31423788/32770624 swapFree=0/360932 [pid=3020] ppid=3017 vsize=236388 CPUtime=2322.06 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 282119 0 0 0 232188 18 0 0 20 0 1 0 10602089 242061312 52875 18446744073709551615 4194304 7402444 140732737362288 140732737356824 5754011 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52875 777 784 0 52111 0 Current children cumulated CPU time (s) 2322.06 Current children cumulated vsize (KiB) 236388 [startup+2382.3 s] /proc/loadavg: 2.02 2.01 2.05 3/185 3419 /proc/meminfo: memFree=31418740/32770624 swapFree=0/360996 [pid=3020] ppid=3017 vsize=236388 CPUtime=2382.05 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 283079 0 0 0 238187 18 0 0 20 0 1 0 10602089 242061312 52875 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484558 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52875 777 784 0 52111 0 Current children cumulated CPU time (s) 2382.05 Current children cumulated vsize (KiB) 236388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.01 2.01 2.05 3/185 3419 /proc/meminfo: memFree=31418772/32770624 swapFree=0/361016 [pid=3020] ppid=3017 vsize=236388 CPUtime=2400.06 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 283890 0 0 0 239988 18 0 0 20 0 1 0 10602089 242061312 52875 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484558 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52875 777 784 0 52111 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 236388 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3020 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.01 2.01 2.05 3/185 3419 /proc/meminfo: memFree=31418772/32770624 swapFree=0/361016 [pid=3020] ppid=3017 vsize=236388 CPUtime=2400.06 cores=1,3,5,7 /proc/3020/stat : 3020 (MistralXCSP) R 3017 3020 20633 0 -1 4202496 283890 0 0 0 239988 18 0 0 20 0 1 0 10602089 242061312 52875 18446744073709551615 4194304 7402444 140732737362288 140732737356824 4484558 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9500608 9505824 25743360 140732737368499 140732737368649 140732737368649 140732737372105 0 /proc/3020/statm: 59097 52875 777 784 0 52111 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 236388 Child status: 0 Real time (s): 2400.31 CPU time (s): 2400.07 CPU user time (s): 2399.88 CPU system time (s): 0.18899 CPU usage (%): 99.9902 Max. virtual memory (cumulated for all children) (KiB): 236388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.88 system time used= 0.18899 maximum resident set size= 211524 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283933 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 102 involuntary context switches= 669 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.45063 second user time and 11.2807 second system time The end
Begin job on node127 at 2017-08-07 07:20:39 IDJOB=4241339 IDBENCH=140502 IDSOLVER=2622 FILE ID=node127/4241339-1502084084 RUNJOBID= node127-1502041295-28343 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241339-1502084084/watcher-4241339-1502084084 -o /tmp/evaluation-result-4241339-1502084084/solver-4241339-1502084084 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1179101272 HOME/instance-4241339-1502084084.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca3b02115b63c058d23855e217e5f7b7 RANDOM SEED=1179101272 node127.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.92 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.92 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.92 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.92 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: 31642576 kB MemAvailable: 31970612 kB Buffers: 138620 kB Cached: 469808 kB SwapCached: 0 kB Active: 350604 kB Inactive: 367988 kB Active(anon): 110848 kB Inactive(anon): 8532 kB Active(file): 239756 kB Inactive(file): 359456 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6740 kB Writeback: 36 kB AnonPages: 110288 kB Mapped: 33884 kB Shmem: 8868 kB Slab: 113760 kB SReclaimable: 89316 kB SUnreclaim: 24444 kB KernelStack: 3264 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 352276 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 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= 62020 MiB End job on node127 at 2017-08-07 08:00:40