Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-06-15 | SAT (TO) | 1109 | 2400.01 | 2399.9 |
| Name | NurseRostering/ NurseRostering-03_c18.xml |
| MD5SUM | eb17d19b145b92a5bb64f51f86380189 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1249 |
| Best CPU time to get the best result obtained on this benchmark | 2400.37 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 576 |
| Number of constraints | 1322 |
| Number of domains | 14 |
| Minimum domain size | 1 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":1,"count":28},{"size":2,"count":104},{"size":3,"count":3},{"size":4,"count":280},{"size":6,"count":10},{"size":15,"count":53},{"size":21,"count":98}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 25 |
| Distribution of variable degrees | [{"degree":2,"count":256},{"degree":3,"count":40},{"degree":12,"count":5},{"degree":13,"count":15},{"degree":14,"count":16},{"degree":15,"count":6},{"degree":16,"count":19},{"degree":17,"count":22},{"degree":18,"count":38},{"degree":19,"count":31},{"degree":20,"count":35},{"degree":21,"count":37},{"degree":22,"count":36},{"degree":23,"count":9},{"degree":24,"count":7},{"degree":25,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 21 |
| Distribution of constraint arities | [{"arity":2,"count":575},{"arity":3,"count":360},{"arity":4,"count":75},{"arity":6,"count":135},{"arity":7,"count":40},{"arity":15,"count":80},{"arity":20,"count":1},{"arity":21,"count":56}] |
| Number of extensional constraints | 316 |
| Number of intensional constraints | 174 |
| Distribution of constraint types | [{"type":"extension","count":316},{"type":"intension","count":174},{"type":"regular","count":480},{"type":"sum","count":40},{"type":"count","count":311},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 0.10/0.20 o 8844 0.10/0.20 o 8743 0.10/0.20 o 8642 0.10/0.20 o 8641 0.10/0.20 o 8640 0.10/0.20 o 8539 0.10/0.20 o 8439 0.10/0.20 o 8339 0.10/0.20 o 8338 0.10/0.20 o 8238 0.10/0.20 o 8237 0.10/0.20 o 8137 0.10/0.21 o 8136 0.10/0.21 o 8135 0.10/0.21 o 8033 0.10/0.21 o 8032 0.21/0.22 o 8031 0.21/0.30 o 8028 0.21/0.30 o 7928 0.21/0.30 o 7828 0.21/0.31 o 7826 0.21/0.31 o 7726 0.21/0.31 o 7724 0.21/0.31 o 7624 0.31/0.32 o 7525 0.31/0.35 o 7522 0.31/0.36 o 7520 0.41/0.50 o 7519 0.41/0.50 o 7518 0.41/0.50 o 7517 0.41/0.51 o 7516 0.51/0.57 o 7416 0.51/0.58 o 7316 0.51/0.59 o 7216 0.60/0.65 o 7116 0.60/0.65 o 7115 0.60/0.65 o 7015 0.60/0.65 o 7013 0.60/0.66 o 6914 0.60/0.66 o 6912 0.60/0.67 o 6707 0.60/0.67 o 6607 0.69/0.75 o 6507 0.79/0.83 o 6504 0.79/0.84 o 6503 0.79/0.84 o 6502 0.89/0.94 o 6501 0.89/0.96 o 6500 0.89/0.96 o 6499 1.19/1.20 o 6498 1.39/1.40 o 6398 1.39/1.40 o 6397 1.39/1.42 o 6297 1.39/1.44 o 6296 1.49/1.51 o 6295 1.69/1.71 o 6191 1.69/1.71 o 6094 1.69/1.71 o 6092 1.69/1.71 o 5992 1.69/1.72 o 5892 1.69/1.72 o 5791 1.69/1.72 o 5788 1.69/1.72 o 5687 1.69/1.73 o 5686 1.69/1.73 o 5589 1.69/1.73 o 5588 1.69/1.75 o 5482 1.69/1.78 o 5384 1.79/1.88 o 5382 1.79/1.89 o 5284 1.89/1.98 o 5183 2.79/2.86 o 5181 2.79/2.86 o 5180 2.79/2.87 o 5179 3.09/3.14 o 5178 3.49/3.56 o 5177 3.49/3.59 o 5078 3.59/3.61 o 5077 6.48/6.52 o 4977 6.48/6.52 o 4878 6.48/6.52 o 4877 6.48/6.59 o 4780 6.58/6.60 o 4778 11.79/11.89 o 4677 11.89/11.98 o 4580 11.89/11.98 o 4577 11.89/11.98 o 4480 12.59/12.65 o 4477 16.00/16.03 o 4376 16.00/16.03 o 4375 16.00/16.03 o 4274 16.00/16.03 o 4173 16.00/16.03 o 4171 16.00/16.04 o 4071 16.00/16.04 o 3971 16.00/16.04 o 3970 16.00/16.04 o 3872 16.00/16.04 o 3772 16.00/16.04 o 3771 16.00/16.07 o 3671 16.19/16.23 o 3574 16.49/16.51 o 3572 16.49/16.51 o 3570 16.49/16.52 o 3568 17.10/17.15 o 3567 17.49/17.52 o 3474 17.49/17.52 o 3473 17.89/17.96 o 3471 17.89/17.96 o 3470 17.89/17.96 o 3469 17.89/17.96 o 3468 17.89/17.97 o 3466 18.29/18.39 o 3372 18.59/18.65 o 3371 18.79/18.81 o 3271 18.79/18.81 o 3268 18.79/18.81 o 3267 18.79/18.82 o 3266 18.79/18.83 o 3170 18.79/18.83 o 3169 19.29/19.34 o 3168 19.29/19.35 o 3166 19.59/19.65 o 3164 21.69/21.76 o 3163 21.79/21.81 o 3063 21.79/21.82 o 3062 22.59/22.69 o 2967 22.59/22.69 o 2964 22.59/22.70 o 2867 22.69/22.70 o 2864 22.89/22.92 o 2863 22.89/22.93 o 2861 22.89/22.93 o 2761 23.19/23.22 o 2663 25.89/25.90 o 2661 28.79/28.89 o 2563 31.00/31.09 o 2562 39.79/39.82 o 2560 39.79/39.82 o 2559 44.68/44.70 o 2459 45.28/45.36 o 2359 48.38/48.48 o 2259 49.09/49.12 o 2258 49.78/49.84 o 2257 49.78/49.84 o 2256 49.88/50.00 o 2161 49.88/50.00 o 2160 49.88/50.00 o 2159 49.99/50.01 o 2158 49.99/50.01 o 2157 49.99/50.01 o 2156 51.48/51.59 o 2152 59.78/59.87 o 2151 59.78/59.88 o 2150 59.78/59.88 o 2149 83.88/83.97 o 2050 83.88/83.97 o 2049 85.48/85.55 o 2048 86.18/86.29 o 2047 86.28/86.30 o 1950 86.28/86.30 o 1949 86.28/86.30 o 1948 86.68/86.78 o 1945 87.68/87.78 o 1944 97.38/97.43 o 1846 98.09/98.16 o 1845 111.09/111.16 o 1747 111.09/111.16 o 1746 111.09/111.16 o 1745 122.18/122.28 o 1744 122.18/122.29 o 1743 122.18/122.29 o 1742 122.28/122.30 o 1741 147.99/148.04 o 1740 148.09/148.18 o 1647 148.09/148.18 o 1646 148.09/148.18 o 1645 148.09/148.18 o 1644 148.38/148.40 o 1643 148.38/148.43 o 1642 148.38/148.49 o 1641 148.48/148.53 o 1640 148.58/148.63 o 1546 148.58/148.63 o 1545 148.58/148.65 o 1544 148.58/148.65 o 1543 148.58/148.65 o 1542 148.58/148.66 o 1540 148.58/148.66 o 1440 148.58/148.68 o 1439 148.78/148.88 o 1438 148.78/148.88 o 1437 149.09/149.19 o 1434 152.99/153.07 o 1338 152.99/153.08 o 1337 152.99/153.09 o 1335 172.18/172.25 o 1333 270.19/270.25 o 1332 270.59/270.68 o 1331 270.59/270.68 o 1330 270.89/270.93 o 1328 271.10/271.13 o 1326 272.10/272.12 o 1325 272.10/272.12 o 1324 273.69/273.74 o 1321 280.89/281.00 o 1319 371.69/371.77 o 1221 371.89/371.93 o 1219 520.70/520.79 o 1217 520.70/520.79 o 1216 520.80/520.85 o 1214 520.90/520.93 o 1213 521.01/521.04 o 1212 521.01/521.05 o 1211 579.90/579.96 o 1122 580.01/580.01 o 1120 580.40/580.40 o 1118 1207.23/1207.28 o 1115 1352.64/1352.66 o 1109 2400.00/2399.90 s SATISFIABLE 2400.00/2399.90 v <instantiation type="solution"> 2400.00/2399.90 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] wk[8][0] wk[8][1] wk[9][0] wk[9][1] wk[10][0] wk[10][1] wk[11][0] wk[11][1] wk[12][0] wk[12][1] wk[13][0] wk[13][1] wk[14][0] wk[14][1] wk[15][0] wk[15][1] wk[16][0] wk[16][1] wk[17][0] wk[17][1] wk[18][0] wk[18][1] wk[19][0] wk[19][1] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] </list> 2400.00/2399.90 v <values> 3 1 3 3 0 3 2 3 1 3 0 2 3 3 2 1 3 3 3 3 0 1 3 0 0 1 2 3 1 3 1 2 3 3 2 3 3 3 3 3 0 1 3 2 3 1 2 0 1 3 1 3 0 1 3 3 3 3 2 3 0 1 2 2 3 1 3 0 1 0 3 3 1 1 3 3 3 3 3 0 1 1 2 2 0 1 3 0 3 1 3 3 2 1 3 3 2 3 3 3 3 3 2 3 0 3 0 1 3 3 3 1 3 1 1 0 3 3 0 3 3 3 2 3 0 3 0 2 3 3 1 1 3 2 1 0 3 3 0 3 1 2 2 0 3 0 1 3 3 1 1 1 3 3 1 3 2 0 0 3 1 2 3 0 3 0 3 3 3 1 1 2 0 3 1 3 3 3 3 3 1 3 3 2 0 0 3 2 0 1 1 2 1 3 1 2 3 3 3 0 3 3 0 3 0 3 2 2 1 3 1 3 1 1 1 3 3 3 3 3 3 3 0 3 0 3 2 2 2 3 1 3 2 1 3 3 3 1 3 3 1 2 3 0 3 1 3 3 2 0 3 3 2 3 3 3 1 1 3 1 1 2 3 0 3 1 3 3 2 0 3 3 2 3 3 3 1 1 3 1 3 6 0 5 0 5 4 5 2 0 5 7 5 0 4 5 8 0 0 6 3 6 0 5 2 1 5 6 3 1 4 6 1 5 3 5 3 4 0 7 1 8 0 5 0 3 4 7 2 3 4 5 0 6 1 7 0 6 2 6 2 1 1 10 0 2 2 10 1 3 0 10 3 0 1 10 2 2 0 10 2 3 3 12 3 4 3 10 3 5 3 9 4 5 2 9 2 5 4 9 4 4 1 11 4 3 3 10 4 6 3 7 3 4 2 11 4 5 4 7 2 5 2 11 2 3 4 11 2 5 3 10 2 5 3 10 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 100 0 200 200 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 200 0 100 0 0 0 </values> 2400.00/2399.90 v </instantiation>
OK 1109
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 (8789 MiB free)
memory of node 1: 16384 MiB (11009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289292-1532190504/watcher-4289292-1532190504 -o /tmp/evaluation-result-4289292-1532190504/solver-4289292-1532190504 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532190502-26183 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289292-1532190504.xml
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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=26213, runsolver pid=26210
Current StackSize limit: 8192 KiB
[startup+0.100622 s]*
/proc/loadavg: 0.00 0.01 0.05 3/188 26214
/proc/meminfo: memFree=20246824/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=57600 memory=32272 CPUtime=0.1 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 8372 0 0 0 9 1 0 0 20 0 1 0 36613636 58982400 8068 33554432000 4194304 7498468 140722676094368 140722676084376 140526772816869 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 14400 8068 768 807 0 7391 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57600 KiB
Current children cumulated memory: 32272 KiB
[startup+0.20966 s]*
/proc/loadavg: 0.00 0.01 0.05 3/188 26214
/proc/meminfo: memFree=20231192/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71744 memory=46780 CPUtime=0.21 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 11950 0 0 0 20 1 0 0 20 0 1 0 36613636 73465856 11695 33554432000 4194304 7498468 140722676094368 140722676084376 5164349 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17936 11695 807 807 0 10927 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46780 KiB
[startup+0.309708 s]*
/proc/loadavg: 0.00 0.01 0.05 3/188 26214
/proc/meminfo: memFree=20231192/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71744 memory=46780 CPUtime=0.31 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 11950 0 0 0 30 1 0 0 20 0 1 0 36613636 73465856 11695 33554432000 4194304 7498468 140722676094368 140722676084376 5573851 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17936 11695 807 807 0 10927 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46780 KiB
[startup+0.700297 s]
/proc/loadavg: 0.00 0.01 0.05 3/188 26214
/proc/meminfo: memFree=20230776/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71744 memory=46780 CPUtime=0.69 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 11950 0 0 0 68 1 0 0 20 0 1 0 36613636 73465856 11695 33554432000 4194304 7498468 140722676094368 140722676089384 4243564 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17936 11695 807 807 0 10927 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46780 KiB
[startup+1.50029 s]
/proc/loadavg: 0.00 0.01 0.05 3/188 26214
/proc/meminfo: memFree=20230776/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71744 memory=46780 CPUtime=1.49 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 11950 0 0 0 148 1 0 0 20 0 1 0 36613636 73465856 11695 33554432000 4194304 7498468 140722676094368 140722676089384 5164340 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17936 11695 807 807 0 10927 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46780 KiB
[startup+3.10934 s]
/proc/loadavg: 0.08 0.03 0.05 3/188 26214
/proc/meminfo: memFree=20230708/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71744 memory=46824 CPUtime=3.09 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 16228 0 0 0 308 1 0 0 20 0 1 0 36613636 73465856 11706 33554432000 4194304 7498468 140722676094368 140722676089384 5585653 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17936 11706 808 807 0 10927 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46824 KiB
[startup+6.30022 s]
/proc/loadavg: 0.08 0.03 0.05 3/188 26214
/proc/meminfo: memFree=20231196/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71744 memory=46832 CPUtime=6.28 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 20404 0 0 0 627 1 0 0 20 0 1 0 36613636 73465856 11708 33554432000 4194304 7498468 140722676094368 140722676089384 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17936 11708 808 807 0 10927 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46832 KiB
[startup+12.7002 s]
/proc/loadavg: 0.38 0.10 0.07 3/188 26214
/proc/meminfo: memFree=20231180/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71744 memory=46848 CPUtime=12.69 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 24789 0 0 0 1267 2 0 0 20 0 1 0 36613636 73465856 11712 33554432000 4194304 7498468 140722676094368 140722676089384 4540904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17936 11712 808 807 0 10927 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46848 KiB
[startup+25.5003 s]
/proc/loadavg: 0.55 0.14 0.09 3/188 26214
/proc/meminfo: memFree=20231928/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=46976 CPUtime=25.49 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 32625 0 0 0 2547 2 0 0 20 0 1 0 36613636 73609216 11744 33554432000 4194304 7498468 140722676094368 140722676089384 4580275 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11744 808 807 0 10962 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46976 KiB
[startup+51.1095 s]
/proc/loadavg: 1.04 0.29 0.14 3/188 26214
/proc/meminfo: memFree=20232020/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=46976 CPUtime=51.09 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 35879 0 0 0 5107 2 0 0 20 0 1 0 36613636 73609216 11744 33554432000 4194304 7498468 140722676094368 140722676089384 4246802 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11744 808 807 0 10962 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46976 KiB
[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.24 3/188 26222
/proc/meminfo: memFree=20231204/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=46988 CPUtime=102.28 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 36275 0 0 0 10226 2 0 0 20 0 1 0 36613636 73609216 11747 33554432000 4194304 7498468 140722676094368 140722676089384 4249682 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11747 808 807 0 10962 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46988 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.84 0.35 3/187 26223
/proc/meminfo: memFree=20232432/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47000 CPUtime=162.28 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 36673 0 0 0 16226 2 0 0 20 0 1 0 36613636 73609216 11750 33554432000 4194304 7498468 140722676094368 140722676089384 4257899 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11750 808 807 0 10962 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47000 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.46 3/188 26225
/proc/meminfo: memFree=20231440/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47004 CPUtime=222.28 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 37061 0 0 0 22226 2 0 0 20 0 1 0 36613636 73609216 11751 33554432000 4194304 7498468 140722676094368 140722676089384 5628038 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11751 808 807 0 10962 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47004 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.55 3/188 26226
/proc/meminfo: memFree=20231276/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47004 CPUtime=282.29 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 37075 0 0 0 28227 2 0 0 20 0 1 0 36613636 73609216 11751 33554432000 4194304 7498468 140722676094368 140722676089384 5791212 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11751 808 807 0 10962 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47004 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 3/187 26227
/proc/meminfo: memFree=20231224/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47020 CPUtime=342.29 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 37404 0 0 0 34227 2 0 0 20 0 1 0 36613636 73609216 11755 33554432000 4194304 7498468 140722676094368 140722676089384 5791328 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11755 808 807 0 10962 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47020 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 3/187 26228
/proc/meminfo: memFree=20231536/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47020 CPUtime=402.29 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 37476 0 0 0 40227 2 0 0 20 0 1 0 36613636 73609216 11755 33554432000 4194304 7498468 140722676094368 140722676089384 4249936 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11755 808 807 0 10962 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47020 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.81 3/187 26229
/proc/meminfo: memFree=20231276/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47020 CPUtime=462.3 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 37827 0 0 0 46228 2 0 0 20 0 1 0 36613636 73609216 11755 33554432000 4194304 7498468 140722676094368 140722676089384 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11755 808 807 0 10962 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47020 KiB
################
# More data... #
################
/proc/26213/statm: 17971 11760 808 807 0 10962 0
Current children cumulated CPU time: 1662.37 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47040 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.71 3/187 26266
/proc/meminfo: memFree=20230204/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47040 CPUtime=1722.37 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 41561 0 0 0 172234 3 0 0 20 0 1 0 36613636 73609216 11760 33554432000 4194304 7498468 140722676094368 140722676089384 5575289 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11760 808 807 0 10962 0
Current children cumulated CPU time: 1722.37 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47040 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.73 3/187 26268
/proc/meminfo: memFree=20229320/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47040 CPUtime=1782.37 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 41897 0 0 0 178234 3 0 0 20 0 1 0 36613636 73609216 11760 33554432000 4194304 7498468 140722676094368 140722676089384 4378989 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11760 808 807 0 10962 0
Current children cumulated CPU time: 1782.37 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47040 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.75 3/187 26269
/proc/meminfo: memFree=20229944/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47040 CPUtime=1842.38 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 41899 0 0 0 184235 3 0 0 20 0 1 0 36613636 73609216 11760 33554432000 4194304 7498468 140722676094368 140722676089384 5585510 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11760 808 807 0 10962 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47040 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/188 26278
/proc/meminfo: memFree=20229268/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47040 CPUtime=1902.38 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 42234 0 0 0 190235 3 0 0 20 0 1 0 36613636 73609216 11760 33554432000 4194304 7498468 140722676094368 140722676089384 4319820 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11760 808 807 0 10962 0
Current children cumulated CPU time: 1902.38 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47040 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/188 26301
/proc/meminfo: memFree=20228228/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47040 CPUtime=1962.38 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 42237 0 0 0 196235 3 0 0 20 0 1 0 36613636 73609216 11760 33554432000 4194304 7498468 140722676094368 140722676089384 4581090 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11760 808 807 0 10962 0
Current children cumulated CPU time: 1962.38 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47040 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/188 26302
/proc/meminfo: memFree=20229272/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47040 CPUtime=2022.39 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 42632 0 0 0 202236 3 0 0 20 0 1 0 36613636 73609216 11760 33554432000 4194304 7498468 140722676094368 140722676089384 4542355 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11760 808 807 0 10962 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47040 KiB
[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 1.81 3/188 26303
/proc/meminfo: memFree=20228968/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47040 CPUtime=2082.39 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 42632 0 0 0 208236 3 0 0 20 0 1 0 36613636 73609216 11760 33554432000 4194304 7498468 140722676094368 140722676089384 4542266 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11760 808 807 0 10962 0
Current children cumulated CPU time: 2082.39 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47040 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 1.82 3/188 26304
/proc/meminfo: memFree=20229160/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47044 CPUtime=2142.39 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 42999 0 0 0 214236 3 0 0 20 0 1 0 36613636 73609216 11761 33554432000 4194304 7498468 140722676094368 140722676089384 4378923 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11761 808 807 0 10962 0
Current children cumulated CPU time: 2142.39 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47044 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.83 3/187 26305
/proc/meminfo: memFree=20229124/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47044 CPUtime=2202.39 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 42999 0 0 0 220236 3 0 0 20 0 1 0 36613636 73609216 11761 33554432000 4194304 7498468 140722676094368 140722676089384 4580275 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11761 808 807 0 10962 0
Current children cumulated CPU time: 2202.39 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47044 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/187 26306
/proc/meminfo: memFree=20229168/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47044 CPUtime=2262.4 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 43365 0 0 0 226237 3 0 0 20 0 1 0 36613636 73609216 11761 33554432000 4194304 7498468 140722676094368 140722676089384 4404919 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11761 808 807 0 10962 0
Current children cumulated CPU time: 2262.4 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47044 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/187 26307
/proc/meminfo: memFree=20229044/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47044 CPUtime=2322.4 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 43368 0 0 0 232237 3 0 0 20 0 1 0 36613636 73609216 11761 33554432000 4194304 7498468 140722676094368 140722676089384 5791735 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11761 808 807 0 10962 0
Current children cumulated CPU time: 2322.4 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47044 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 26308
/proc/meminfo: memFree=20229468/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47044 CPUtime=2382.4 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 43736 0 0 0 238237 3 0 0 20 0 1 0 36613636 73609216 11761 33554432000 4194304 7498468 140722676094368 140722676089384 5838511 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11761 808 807 0 10962 0
Current children cumulated CPU time: 2382.4 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 26308
/proc/meminfo: memFree=20229468/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47044 CPUtime=2400 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 43736 0 0 0 239997 3 0 0 20 0 1 0 36613636 73609216 11761 33554432000 4194304 7498468 140722676094368 140722676089384 5774093 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11761 808 807 0 10962 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 26213 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.98 s, system=0.033001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 26308
/proc/meminfo: memFree=20229468/32770624 swapFree=67108860/67108860
[pid=26213] ppid=26210 vsize=71884 memory=47044 CPUtime=2400 cores=1,3,5,7
/proc/26213/stat : 26213 (MistralXCSP) R 26210 26213 26151 0 -1 4202496 43736 0 0 0 239997 3 0 0 20 0 1 0 36613636 73609216 11761 33554432000 4194304 7498468 140722676094368 140722676089384 5774093 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 39837696 140722676098157 140722676098307 140722676098307 140722676101065 0
/proc/26213/statm: 17971 11761 808 807 0 10962 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 47044 KiB
Child status: 0
Real time (s): 2399.9
CPU time (s): 2400.01
CPU user time (s): 2399.98
CPU system time (s): 0.033001
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 71884
Max. memory (cumulated for all children) (KiB): 47044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.033001
maximum resident set size= 47064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43766
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= 22
involuntary context switches= 652
# summary of solver processes directly reported to runsolver:
# pid: 26213
# total CPU time (s): 2400.01
# total CPU user time (s): 2399.98
# total CPU system time (s): 0.033001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.21754 second user time and 16.035 second system time
The end
Begin job on node107 at 2018-07-21 18:28:24 IDJOB=4289292 IDBENCH=141051 IDSOLVER=2741 FILE ID=node107/4289292-1532190504 RUNJOBID= node107-1532190502-26183 PBS_JOBID= 21018936 Free space on /tmp= 55160 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/NurseRostering/NurseRostering-03_c18.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-4289292-1532190504/watcher-4289292-1532190504 -o /tmp/evaluation-result-4289292-1532190504/solver-4289292-1532190504 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532190502-26183 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289292-1532190504.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eb17d19b145b92a5bb64f51f86380189 RANDOM SEED=1377696294 node107.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.40 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.40 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.40 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.40 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: 20275532 kB MemAvailable: 31892684 kB Buffers: 220768 kB Cached: 11552376 kB SwapCached: 0 kB Active: 1474672 kB Inactive: 10400732 kB Active(anon): 105520 kB Inactive(anon): 16864 kB Active(file): 1369152 kB Inactive(file): 10383868 kB Unevictable: 7152 kB Mlocked: 7152 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 17792 kB Writeback: 0 kB AnonPages: 109632 kB Mapped: 36100 kB Shmem: 17036 kB Slab: 317068 kB SReclaimable: 292592 kB SUnreclaim: 24476 kB KernelStack: 3168 kB PageTables: 5212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 391720 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 55152 MiB End job on node107 at 2018-07-21 19:08:25