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) | 6408 | 2400.09 | 2400.2 |
| Name | NurseRostering/ NurseRostering-07_c18.xml |
| MD5SUM | 39ce033b713bdbb29423ae6f53deb82d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5606 |
| Best CPU time to get the best result obtained on this benchmark | 2520.14 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1112 |
| Number of constraints | 2738 |
| Number of domains | 16 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":40},{"size":2,"count":248},{"size":4,"count":560},{"size":5,"count":3},{"size":10,"count":9},{"size":21,"count":196},{"size":29,"count":56}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 25 |
| Distribution of variable degrees | [{"degree":2,"count":472},{"degree":3,"count":80},{"degree":12,"count":5},{"degree":13,"count":15},{"degree":14,"count":19},{"degree":15,"count":3},{"degree":16,"count":15},{"degree":17,"count":25},{"degree":18,"count":28},{"degree":19,"count":37},{"degree":20,"count":69},{"degree":21,"count":127},{"degree":22,"count":116},{"degree":23,"count":48},{"degree":24,"count":48},{"degree":25,"count":5}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 40 |
| Distribution of constraint arities | [{"arity":2,"count":1145},{"arity":3,"count":780},{"arity":4,"count":165},{"arity":6,"count":345},{"arity":7,"count":110},{"arity":21,"count":112},{"arity":29,"count":80},{"arity":40,"count":1}] |
| Number of extensional constraints | 652 |
| Number of intensional constraints | 358 |
| Distribution of constraint types | [{"type":"extension","count":652},{"type":"intension","count":358},{"type":"regular","count":1040},{"type":"sum","count":40},{"type":"count","count":647},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 0.69/0.71 o 17135 0.69/0.71 o 17034 0.69/0.71 o 16933 0.69/0.71 o 16832 0.69/0.72 o 16731 0.69/0.72 o 16633 0.69/0.72 o 16431 0.69/0.72 o 16428 0.69/0.73 o 16427 0.69/0.73 o 16327 0.69/0.74 o 16325 0.69/0.74 o 16324 0.69/0.74 o 16224 1.79/1.88 o 16223 2.00/2.01 o 16222 2.00/2.01 o 16221 2.00/2.02 o 16219 2.59/2.67 o 16218 2.59/2.68 o 16217 2.79/2.87 o 16216 2.79/2.87 o 16215 2.79/2.88 o 16214 2.89/2.92 o 16213 4.89/4.93 o 16212 4.89/4.98 o 16211 4.89/5.00 o 16210 5.00/5.05 o 16209 7.59/7.60 o 16208 10.19/10.24 o 16107 10.19/10.24 o 16008 10.19/10.25 o 16007 10.19/10.25 o 15906 10.19/10.25 o 15806 10.19/10.25 o 15705 10.19/10.26 o 15703 10.19/10.26 o 15602 10.19/10.27 o 15502 10.19/10.29 o 15501 10.29/10.35 o 15401 10.29/10.36 o 15400 10.29/10.36 o 15299 10.29/10.37 o 15198 10.39/10.45 o 15097 10.58/10.68 o 14894 11.38/11.44 o 14892 24.68/24.77 o 14891 24.88/24.99 o 14791 24.88/24.99 o 14790 24.99/25.03 o 14690 24.99/25.03 o 14689 24.99/25.06 o 14589 24.99/25.07 o 14588 24.99/25.07 o 14488 24.99/25.07 o 14487 24.99/25.07 o 14388 24.99/25.08 o 14387 24.99/25.08 o 14386 24.99/25.09 o 14286 24.99/25.09 o 14185 24.99/25.10 o 14084 25.38/25.40 o 13983 25.88/25.94 o 13883 25.88/25.94 o 13882 27.48/27.54 o 13786 27.48/27.54 o 13785 27.48/27.54 o 13783 29.78/29.86 o 13782 29.88/29.96 o 13781 37.38/37.47 o 13681 37.38/37.47 o 13581 37.58/37.60 o 13481 37.88/37.96 o 13380 37.88/37.97 o 13377 38.28/38.33 o 13277 38.28/38.33 o 13276 38.88/39.00 o 13176 46.78/46.84 o 13075 46.78/46.84 o 12974 46.78/46.84 o 12873 46.78/46.85 o 12772 46.78/46.85 o 12671 46.78/46.85 o 12570 46.78/46.85 o 12470 46.78/46.86 o 12468 46.78/46.86 o 12367 46.78/46.86 o 12366 46.78/46.86 o 12365 46.78/46.86 o 12265 46.78/46.87 o 12165 46.78/46.87 o 12067 46.78/46.88 o 12066 46.78/46.88 o 11965 46.78/46.89 o 11964 46.87/46.90 o 11963 46.87/46.91 o 11862 46.87/46.95 o 11762 46.98/47.07 o 11761 47.08/47.13 o 11661 47.08/47.13 o 11660 47.08/47.14 o 11560 49.37/49.42 o 11559 49.37/49.42 o 11461 49.37/49.44 o 11459 52.37/52.48 o 11458 52.47/52.50 o 11358 56.27/56.34 o 11258 112.98/113.03 o 11257 112.98/113.04 o 11256 124.37/124.41 o 11060 124.37/124.41 o 11059 124.47/124.53 o 11058 124.47/124.57 o 11057 124.47/124.58 o 10956 125.57/125.64 o 10856 254.08/254.18 o 10855 257.37/257.42 o 10854 259.27/259.30 o 10853 259.57/259.65 o 10851 259.57/259.66 o 10850 259.67/259.74 o 10657 259.67/259.74 o 10557 259.67/259.74 o 10457 260.36/260.40 o 10454 321.76/321.83 o 10353 321.76/321.83 o 10350 321.76/321.84 o 10249 321.76/321.84 o 10151 321.76/321.84 o 10050 321.76/321.85 o 10048 321.76/321.85 o 9949 321.76/321.86 o 9848 321.76/321.87 o 9749 321.76/321.87 o 9747 321.76/321.89 o 9746 321.86/321.91 o 9645 321.86/321.91 o 9547 321.86/322.00 o 9446 321.97/322.02 o 9345 321.97/322.03 o 9244 321.97/322.04 o 9143 321.97/322.08 o 9042 321.97/322.10 o 8941 322.07/322.13 o 8840 322.07/322.14 o 8739 322.07/322.18 o 8638 322.36/322.43 o 8637 323.07/323.19 o 8635 367.36/367.49 o 8535 367.36/367.49 o 8534 419.16/419.20 o 8533 419.16/419.22 o 8532 419.56/419.70 o 8531 804.24/804.39 o 8431 804.34/804.42 o 8331 841.54/841.68 o 8230 854.34/854.44 o 8129 966.04/966.15 o 8128 1017.33/1017.49 o 8027 1017.33/1017.49 o 7926 1017.33/1017.50 o 7824 1017.43/1017.51 o 7724 1017.43/1017.51 o 7723 1017.43/1017.52 o 7621 1017.63/1017.80 o 7522 1017.94/1018.04 o 7520 1018.63/1018.74 o 7421 1018.63/1018.74 o 7420 1030.33/1030.44 o 7323 1030.33/1030.45 o 7322 1030.33/1030.48 o 7321 1109.63/1109.76 o 7319 1109.63/1109.77 o 7317 1109.63/1109.77 o 7316 1154.94/1155.08 o 7315 1511.81/1511.90 o 7216 1511.81/1511.90 o 7215 1511.81/1511.92 o 7214 1511.81/1511.92 o 7114 1511.81/1511.94 o 7112 1511.92/1512.09 o 7014 1511.92/1512.09 o 7013 1512.11/1512.23 o 7012 1512.11/1512.23 o 7009 1512.11/1512.23 o 6909 1522.92/1523.06 o 6908 1818.80/1818.92 o 6808 1957.60/1957.77 o 6710 1957.60/1957.78 o 6709 1962.60/1962.71 o 6708 1962.70/1962.86 o 6707 1962.70/1962.87 o 6706 2038.40/2038.55 o 6705 2043.60/2043.75 o 6607 2043.60/2043.77 o 6606 2046.70/2046.89 o 6508 2046.70/2046.89 o 6507 2048.01/2048.14 o 6409 2048.01/2048.15 o 6408 2400.09/2400.20 s SATISFIABLE 2400.09/2400.20 v <instantiation type="solution"> 2400.09/2400.20 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] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] 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] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] 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] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] 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] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] 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] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3] </list> 2400.09/2400.20 v <values> 3 3 3 0 3 3 0 0 3 0 0 3 0 2 0 3 3 1 1 1 0 0 3 0 3 3 0 0 0 0 0 3 1 2 0 3 3 3 3 3 0 0 1 0 1 0 3 1 0 1 0 3 1 3 0 3 1 3 3 3 0 0 1 3 1 0 3 1 0 2 0 0 3 3 0 3 1 3 3 3 3 0 2 3 1 0 0 3 0 2 0 0 3 3 0 1 3 3 1 3 3 3 3 3 1 3 0 3 3 3 1 0 3 0 0 1 3 3 2 3 3 3 3 3 1 3 0 3 3 3 3 1 3 0 3 3 1 3 3 0 1 3 2 0 3 2 0 3 1 3 3 1 1 0 3 3 1 3 3 0 1 3 2 0 3 2 0 3 1 3 3 1 2 0 3 3 3 3 1 0 1 0 2 0 3 3 3 0 1 0 3 3 2 0 0 1 3 0 1 3 1 0 3 0 2 3 3 1 1 0 3 3 3 0 0 3 3 0 1 3 3 3 3 0 2 0 0 1 3 1 0 3 3 3 0 3 1 1 3 0 3 3 0 3 3 0 0 2 3 1 0 1 3 3 3 3 3 2 3 0 0 3 0 3 3 0 0 2 3 1 0 1 0 3 3 3 3 3 3 3 1 0 1 3 3 2 0 3 0 3 1 1 1 0 3 3 0 3 3 3 3 1 3 0 0 3 0 3 1 3 1 2 1 1 0 2 3 3 3 1 3 3 3 0 0 3 3 0 3 3 1 2 1 3 1 3 3 3 2 3 0 3 0 0 2 0 3 0 3 0 3 2 1 3 1 3 3 3 3 3 0 0 0 0 2 2 3 0 3 0 3 3 1 3 3 3 1 3 3 3 0 0 0 0 3 3 3 3 0 3 3 3 3 3 3 1 3 3 0 3 0 0 0 3 3 3 3 3 0 3 3 3 3 0 3 1 3 0 3 3 1 1 3 3 0 3 0 3 3 2 0 0 3 0 3 1 3 0 3 3 3 1 3 3 1 3 0 3 3 2 0 0 1 0 1 1 3 0 3 0 3 3 2 3 1 0 0 3 0 3 0 1 1 1 1 3 3 3 3 3 1 3 2 3 3 0 0 0 0 3 2 2 1 1 1 3 0 3 3 3 1 1 2 0 3 0 3 0 0 3 3 2 1 1 1 3 3 3 3 3 3 1 3 0 0 0 3 0 0 2 3 3 2 3 1 3 3 3 3 3 3 1 3 0 0 0 3 1 0 2 3 3 3 3 1 1 1 1 1 0 8 8 0 12 10 6 0 12 6 3 7 12 16 0 0 12 5 7 4 12 12 0 4 12 16 0 0 12 9 5 2 12 12 5 0 11 6 4 6 12 11 4 1 12 5 7 5 11 2 12 3 11 10 4 2 12 10 8 0 10 0 8 1 19 2 7 0 19 5 3 1 19 1 6 2 19 7 2 0 19 7 3 1 9 9 1 1 9 7 6 0 7 7 4 1 8 7 3 2 8 4 3 1 12 3 3 0 14 4 5 2 9 4 4 3 9 7 4 2 7 6 4 1 9 6 4 1 9 5 2 2 11 6 2 1 11 5 5 1 9 4 6 2 8 3 3 2 12 6 2 2 10 6 2 2 10 6 1 0 13 6 1 0 13 6 3 1 10 6 5 1 8 4 5 1 10 5 4 3 8 4 5 2 9 5 2 2 11 5 7 1 7 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 2 2 0 3 3 0 3 0 1 0 0 0 0 0 0 0 1 1 1 1 1 3 3 3 0 1 1 1 3 3 0 1 1 1 1 0 0 2 2 3 0 3 0 0 0 3 3 3 3 3 2 2 2 0 0 0 0 0 0 0 3 3 3 3 0 1 2 2 2 2 0 0 0 3 3 3 3 3 0 0 0 0 2 0 0 2 2 1 2 2 2 2 0 0 1 1 1 2 2 2 2 3 3 3 0 0 0 0 1 0 0 2 0 0 2 0 0 0 0 0 0 3 3 0 0 2 2 0 0 0 0 2 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 300 200 0 5 500 0 0 3 0 200 0 3 100 0 0 4 400 0 0 0 100 200 0 100 400 200 0 0 0 0 0 0 200 1 0 4 0 0 0 4 100 100 0 0 100 0 0 1 100 0 0 0 300 100 0 0 0 0 0 0 0 0 0 0 0 0 0 2 300 0 0 2 300 100 0 0 500 200 0 0 200 200 0 0 0 0 0 2 0 300 0 0 0 200 0 0 100 0 0 0 0 0 0 3 0 0 0 0 0 100 0 </values> 2400.09/2400.20 v </instantiation>
OK 6408
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 (7826 MiB free)
memory of node 1: 16384 MiB (14113 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289293-1532190507/watcher-4289293-1532190507 -o /tmp/evaluation-result-4289293-1532190507/solver-4289293-1532190507 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532190500-23546 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 823653071 HOME/instance-4289293-1532190507.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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23636, runsolver pid=23633
[startup+0.10012 s]*
/proc/loadavg: 0.31 0.08 0.07 3/187 23637
/proc/meminfo: memFree=22457156/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=38264 memory=12864 CPUtime=0.1 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 3510 0 0 0 10 0 0 0 20 0 1 0 36613953 39182336 3216 33554432000 4194304 7498468 140722822575760 140722822572760 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 9566 3216 746 807 0 2557 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38264 KiB
Current children cumulated memory: 12864 KiB
[startup+0.209466 s]*
/proc/loadavg: 0.31 0.08 0.07 3/187 23637
/proc/meminfo: memFree=22407864/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=88088 memory=62916 CPUtime=0.21 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 16221 0 0 0 19 2 0 0 20 0 1 0 36613953 90202112 15729 33554432000 4194304 7498468 140722822575760 140722822569000 139817699959919 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 22022 15729 762 807 0 15013 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 88088 KiB
Current children cumulated memory: 62916 KiB
[startup+0.309579 s]*
/proc/loadavg: 0.31 0.08 0.07 3/187 23637
/proc/meminfo: memFree=22393524/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=101500 memory=76376 CPUtime=0.31 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 19605 0 0 0 29 2 0 0 20 0 1 0 36613953 103936000 19094 33554432000 4194304 7498468 140722822575760 140722822569000 139817706753356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 25375 19094 768 807 0 18366 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 101500 KiB
Current children cumulated memory: 76376 KiB
[startup+0.700347 s]
/proc/loadavg: 0.31 0.08 0.07 3/187 23637
/proc/meminfo: memFree=22376412/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118408 memory=93272 CPUtime=0.69 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 23862 0 0 0 66 3 0 0 20 0 1 0 36613953 121249792 23318 33554432000 4194304 7498468 140722822575760 140722822570392 5791352 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29602 23318 807 807 0 22593 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 118408 KiB
Current children cumulated memory: 93272 KiB
[startup+1.50034 s]
/proc/loadavg: 0.31 0.08 0.07 3/187 23637
/proc/meminfo: memFree=22376412/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118540 memory=93536 CPUtime=1.49 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 23877 0 0 0 146 3 0 0 20 0 1 0 36613953 121384960 23384 33554432000 4194304 7498468 140722822575760 140722822570392 4580796 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29635 23384 808 807 0 22626 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93536 KiB
[startup+3.10935 s]
/proc/loadavg: 0.31 0.08 0.07 3/187 23637
/proc/meminfo: memFree=22376104/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118540 memory=93568 CPUtime=3.1 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 32801 0 0 0 306 4 0 0 20 0 1 0 36613953 121384960 23392 33554432000 4194304 7498468 140722822575760 140722822570392 5164329 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29635 23392 808 807 0 22626 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93568 KiB
[startup+6.3003 s]
/proc/loadavg: 0.45 0.11 0.08 3/187 23637
/proc/meminfo: memFree=22375944/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118540 memory=93592 CPUtime=6.29 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 41715 0 0 0 625 4 0 0 20 0 1 0 36613953 121384960 23398 33554432000 4194304 7498468 140722822575760 140722822570776 5648564 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29635 23398 808 807 0 22626 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93592 KiB
[startup+12.7003 s]
/proc/loadavg: 0.57 0.14 0.09 3/187 23637
/proc/meminfo: memFree=22376144/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118540 memory=93668 CPUtime=12.68 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 50677 0 0 0 1264 4 0 0 20 0 1 0 36613953 121384960 23417 33554432000 4194304 7498468 140722822575760 140722822570776 5164378 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29635 23417 808 807 0 22626 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93668 KiB
[startup+25.5002 s]
/proc/loadavg: 0.89 0.23 0.12 3/187 23637
/proc/meminfo: memFree=22376676/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118672 memory=93696 CPUtime=25.48 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 64308 0 0 0 2543 5 0 0 20 0 1 0 36613953 121520128 23424 33554432000 4194304 7498468 140722822575760 140722822570776 5649131 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29668 23424 808 807 0 22659 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93696 KiB
[startup+51.1096 s]
/proc/loadavg: 1.27 0.38 0.17 3/187 23637
/proc/meminfo: memFree=22376544/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118672 memory=93732 CPUtime=51.08 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 69838 0 0 0 5103 5 0 0 20 0 1 0 36613953 121520128 23433 33554432000 4194304 7498468 140722822575760 140722822570776 4249991 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29668 23433 808 807 0 22659 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93732 KiB
[startup+102.3 s]
/proc/loadavg: 1.68 0.63 0.26 3/188 23646
/proc/meminfo: memFree=22375392/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118672 memory=93772 CPUtime=102.27 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 70565 0 0 0 10221 6 0 0 20 0 1 0 36613953 121520128 23443 33554432000 4194304 7498468 140722822575760 140722822570776 4397939 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29668 23443 808 807 0 22659 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93772 KiB
[startup+162.3 s]
/proc/loadavg: 1.88 0.88 0.37 3/187 23647
/proc/meminfo: memFree=22377764/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118672 memory=93792 CPUtime=162.27 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 71305 0 0 0 16221 6 0 0 20 0 1 0 36613953 121520128 23448 33554432000 4194304 7498468 140722822575760 140722822570776 5783680 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29668 23448 808 807 0 22659 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93792 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.08 0.47 3/188 23649
/proc/meminfo: memFree=22376544/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118672 memory=93804 CPUtime=222.27 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 71930 0 0 0 22221 6 0 0 20 0 1 0 36613953 121520128 23451 33554432000 4194304 7498468 140722822575760 140722822570776 4581056 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29668 23451 808 807 0 22659 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93804 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.25 0.57 3/188 23650
/proc/meminfo: memFree=22376488/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118672 memory=93812 CPUtime=282.26 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 72661 0 0 0 28220 6 0 0 20 0 1 0 36613953 121520128 23453 33554432000 4194304 7498468 140722822575760 140722822570776 5568209 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29668 23453 808 807 0 22659 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93812 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.39 0.66 3/188 23651
/proc/meminfo: memFree=22376368/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93832 CPUtime=342.26 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 73414 0 0 0 34220 6 0 0 20 0 1 0 36613953 121655296 23458 33554432000 4194304 7498468 140722822575760 140722822570776 5838205 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23458 808 807 0 22692 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93832 KiB
[startup+402.3 s]
/proc/loadavg: 1.96 1.48 0.74 3/187 23652
/proc/meminfo: memFree=22376248/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93852 CPUtime=402.26 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 74059 0 0 0 40220 6 0 0 20 0 1 0 36613953 121655296 23463 33554432000 4194304 7498468 140722822575760 140722822570776 5770541 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23463 808 807 0 22692 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93852 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 1.58 0.82 3/187 23653
/proc/meminfo: memFree=22376128/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93856 CPUtime=462.26 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 74809 0 0 0 46220 6 0 0 20 0 1 0 36613953 121655296 23464 33554432000 4194304 7498468 140722822575760 140722822570776 5585598 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23464 808 807 0 22692 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93856 KiB
################
# More data... #
################
/proc/23636/statm: 29701 23483 808 807 0 22692 0
Current children cumulated CPU time: 1602.21 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93932 KiB
[startup+1662.3 s]
/proc/loadavg: 2.34 2.07 1.70 3/187 23689
/proc/meminfo: memFree=22375168/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93932 CPUtime=1662.21 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 87758 0 0 0 166215 6 0 0 20 0 1 0 36613953 121655296 23483 33554432000 4194304 7498468 140722822575760 140722822570776 5164386 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23483 808 807 0 22692 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93932 KiB
[startup+1722.3 s]
/proc/loadavg: 2.27 2.11 1.74 3/187 23690
/proc/meminfo: memFree=22375280/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93932 CPUtime=1722.21 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 88335 0 0 0 172215 6 0 0 20 0 1 0 36613953 121655296 23483 33554432000 4194304 7498468 140722822575760 140722822570776 4580194 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23483 808 807 0 22692 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93932 KiB
[startup+1782.3 s]
/proc/loadavg: 2.10 2.09 1.76 3/187 23692
/proc/meminfo: memFree=22375136/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93932 CPUtime=1782.2 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 88920 0 0 0 178214 6 0 0 20 0 1 0 36613953 121655296 23483 33554432000 4194304 7498468 140722822575760 140722822570776 4258039 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23483 808 807 0 22692 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93932 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.07 1.77 3/187 23693
/proc/meminfo: memFree=22375256/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93932 CPUtime=1842.2 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 89582 0 0 0 184214 6 0 0 20 0 1 0 36613953 121655296 23483 33554432000 4194304 7498468 140722822575760 140722822570776 4249682 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23483 808 807 0 22692 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93932 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.06 1.79 3/188 23702
/proc/meminfo: memFree=22373964/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93932 CPUtime=1902.2 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 90163 0 0 0 190214 6 0 0 20 0 1 0 36613953 121655296 23483 33554432000 4194304 7498468 140722822575760 140722822570776 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23483 808 807 0 22692 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93932 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 1.80 3/189 23726
/proc/meminfo: memFree=22372428/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93932 CPUtime=1962.2 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 90931 0 0 0 196214 6 0 0 20 0 1 0 36613953 121655296 23483 33554432000 4194304 7498468 140722822575760 140722822570776 5770753 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23483 808 807 0 22692 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93932 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 1.81 3/189 23727
/proc/meminfo: memFree=22373432/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93936 CPUtime=2022.2 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 91485 0 0 0 202213 7 0 0 20 0 1 0 36613953 121655296 23484 33554432000 4194304 7498468 140722822575760 140722822570776 4249970 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23484 808 807 0 22692 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93936 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 1.82 3/189 23728
/proc/meminfo: memFree=22374328/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93936 CPUtime=2082.2 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 92185 0 0 0 208213 7 0 0 20 0 1 0 36613953 121655296 23484 33554432000 4194304 7498468 140722822575760 140722822570776 5164378 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23484 808 807 0 22692 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93936 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 1.83 3/189 23729
/proc/meminfo: memFree=22374272/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93940 CPUtime=2142.2 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 92822 0 0 0 214213 7 0 0 20 0 1 0 36613953 121655296 23485 33554432000 4194304 7498468 140722822575760 140722822570776 5783680 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23485 808 807 0 22692 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93940 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 1.85 3/188 23730
/proc/meminfo: memFree=22373920/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93940 CPUtime=2202.19 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 93486 0 0 0 220212 7 0 0 20 0 1 0 36613953 121655296 23485 33554432000 4194304 7498468 140722822575760 140722822570776 4405000 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23485 808 807 0 22692 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93940 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 1.86 3/187 23731
/proc/meminfo: memFree=22374056/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93940 CPUtime=2262.19 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 94139 0 0 0 226212 7 0 0 20 0 1 0 36613953 121655296 23485 33554432000 4194304 7498468 140722822575760 140722822570776 4246879 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23485 808 807 0 22692 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93940 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 23732
/proc/meminfo: memFree=22373928/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93940 CPUtime=2322.19 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 94816 0 0 0 232212 7 0 0 20 0 1 0 36613953 121655296 23485 33554432000 4194304 7498468 140722822575760 140722822570776 4541006 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23485 808 807 0 22692 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93940 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 23733
/proc/meminfo: memFree=22373784/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93940 CPUtime=2382.19 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 95462 0 0 0 238212 7 0 0 20 0 1 0 36613953 121655296 23485 33554432000 4194304 7498468 140722822575760 140722822570776 4580914 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23485 808 807 0 22692 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.01 2.01 1.87 3/187 23794
/proc/meminfo: memFree=22028860/32770624 swapFree=67108860/67108860
[pid=23636] ppid=23633 vsize=118804 memory=93940 CPUtime=2400.09 cores=1,3,5,7
/proc/23636/stat : 23636 (MistralXCSP) R 23633 23636 23514 0 -1 4202496 96084 0 0 0 240002 7 0 0 20 0 1 0 36613953 121655296 23485 33554432000 4194304 7498468 140722822575760 140722822570776 4580642 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30212096 140722822583406 140722822583555 140722822583555 140722822586313 0
/proc/23636/statm: 29701 23485 808 807 0 22692 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 23636 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.02 s, system=0.071997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.2
CPU time (s): 2400.09
CPU user time (s): 2400.02
CPU system time (s): 0.071997
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 118804
Max. memory (cumulated for all children) (KiB): 93940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.071997
maximum resident set size= 93960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96135
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= 40
involuntary context switches= 683
# summary of solver processes directly reported to runsolver:
# pid: 23636
# total CPU time (s): 2400.09
# total CPU user time (s): 2400.02
# total CPU system time (s): 0.071997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51688 second user time and 15.6858 second system time
The end
Begin job on node150 at 2018-07-21 18:28:27 IDJOB=4289293 IDBENCH=141052 IDSOLVER=2741 FILE ID=node150/4289293-1532190507 RUNJOBID= node150-1532190500-23546 PBS_JOBID= 21018925 Free space on /tmp= 57244 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/NurseRostering/NurseRostering-07_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-4289293-1532190507/watcher-4289293-1532190507 -o /tmp/evaluation-result-4289293-1532190507/solver-4289293-1532190507 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532190500-23546 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 823653071 HOME/instance-4289293-1532190507.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 39ce033b713bdbb29423ae6f53deb82d RANDOM SEED=823653071 node150.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.76 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.76 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.76 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.76 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: 22466744 kB MemAvailable: 31939836 kB Buffers: 216196 kB Cached: 9470776 kB SwapCached: 0 kB Active: 1022148 kB Inactive: 8719028 kB Active(anon): 56760 kB Inactive(anon): 16868 kB Active(file): 965388 kB Inactive(file): 8702160 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9240 kB Writeback: 24 kB AnonPages: 61972 kB Mapped: 36028 kB Shmem: 17032 kB Slab: 260156 kB SReclaimable: 234004 kB SUnreclaim: 26152 kB KernelStack: 3344 kB PageTables: 5100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 345972 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 57236 MiB End job on node150 at 2018-07-21 19:08:27