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-08-01 | SAT (TO) | 6408 | 2519.79 | 2520.01 |
| 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 01082018 0.69/0.70 o 17135 0.69/0.70 o 17034 0.69/0.71 o 16933 0.69/0.71 o 16832 0.69/0.71 o 16731 0.69/0.71 o 16633 0.69/0.72 o 16431 0.69/0.72 o 16428 0.69/0.72 o 16427 0.69/0.72 o 16327 0.69/0.73 o 16325 0.69/0.74 o 16324 0.69/0.74 o 16224 1.79/1.88 o 16223 1.89/2.00 o 16222 2.00/2.01 o 16221 2.00/2.02 o 16219 2.59/2.67 o 16218 2.59/2.67 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.26 o 16107 10.19/10.26 o 16008 10.19/10.26 o 16007 10.19/10.26 o 15906 10.19/10.27 o 15806 10.19/10.27 o 15705 10.19/10.27 o 15703 10.19/10.28 o 15602 10.19/10.28 o 15502 10.29/10.31 o 15501 10.29/10.37 o 15401 10.29/10.37 o 15400 10.29/10.37 o 15299 10.29/10.38 o 15198 10.39/10.46 o 15097 10.59/10.70 o 14894 11.49/11.50 o 14892 25.89/25.94 o 14891 26.10/26.17 o 14791 26.10/26.17 o 14790 26.19/26.21 o 14690 26.19/26.21 o 14689 26.19/26.25 o 14589 26.19/26.25 o 14588 26.19/26.26 o 14488 26.19/26.26 o 14487 26.19/26.26 o 14388 26.19/26.26 o 14387 26.19/26.27 o 14386 26.19/26.27 o 14286 26.19/26.28 o 14185 26.19/26.29 o 14084 26.59/26.62 o 13983 27.10/27.19 o 13883 27.10/27.20 o 13882 28.89/28.91 o 13786 28.89/28.91 o 13785 28.89/28.92 o 13783 31.39/31.41 o 13782 31.49/31.52 o 13781 39.69/39.73 o 13681 39.69/39.73 o 13581 39.78/39.88 o 13481 40.18/40.26 o 13380 40.18/40.27 o 13377 40.58/40.66 o 13277 40.58/40.66 o 13276 41.28/41.38 o 13176 49.99/50.06 o 13075 49.99/50.06 o 12974 49.99/50.06 o 12873 49.99/50.06 o 12772 49.99/50.07 o 12671 49.99/50.07 o 12570 49.99/50.07 o 12470 49.99/50.07 o 12468 49.99/50.07 o 12367 49.99/50.08 o 12366 49.99/50.08 o 12365 49.99/50.08 o 12265 49.99/50.08 o 12165 49.99/50.09 o 12067 49.99/50.09 o 12066 49.99/50.10 o 11965 50.09/50.11 o 11964 50.09/50.12 o 11963 50.09/50.13 o 11862 50.09/50.17 o 11762 50.28/50.31 o 11761 50.28/50.37 o 11661 50.28/50.38 o 11660 50.28/50.38 o 11560 52.88/52.92 o 11559 52.88/52.93 o 11461 52.88/52.95 o 11459 56.38/56.40 o 11458 56.38/56.43 o 11358 60.58/60.67 o 11258 119.97/120.01 o 11257 119.97/120.02 o 11256 131.26/131.39 o 11060 131.26/131.39 o 11059 131.46/131.51 o 11058 131.46/131.55 o 11057 131.46/131.56 o 10956 132.56/132.62 o 10856 260.96/261.04 o 10855 264.15/264.28 o 10854 266.06/266.15 o 10853 266.45/266.51 o 10851 266.45/266.51 o 10850 266.45/266.59 o 10657 266.45/266.59 o 10557 266.55/266.60 o 10457 267.15/267.25 o 10454 328.54/328.68 o 10353 328.54/328.68 o 10350 328.54/328.68 o 10249 328.54/328.69 o 10151 328.54/328.69 o 10050 328.54/328.69 o 10048 328.64/328.70 o 9949 328.64/328.71 o 9848 328.64/328.72 o 9749 328.64/328.72 o 9747 328.64/328.74 o 9746 328.64/328.75 o 9645 328.64/328.76 o 9547 328.74/328.85 o 9446 328.74/328.87 o 9345 328.74/328.87 o 9244 328.74/328.89 o 9143 328.84/328.93 o 9042 328.84/328.94 o 8941 328.84/328.98 o 8840 328.84/328.98 o 8739 328.95/329.02 o 8638 329.14/329.27 o 8637 329.95/330.03 o 8635 374.05/374.19 o 8535 374.05/374.19 o 8534 425.63/425.79 o 8533 425.73/425.80 o 8532 426.13/426.28 o 8531 810.40/810.57 o 8431 810.50/810.60 o 8331 847.60/847.78 o 8230 860.40/860.52 o 8129 971.90/972.10 o 8128 1023.29/1023.40 o 8027 1023.29/1023.40 o 7926 1023.29/1023.40 o 7824 1023.29/1023.42 o 7724 1023.29/1023.42 o 7723 1023.29/1023.43 o 7621 1023.59/1023.70 o 7522 1023.79/1023.95 o 7520 1024.49/1024.65 o 7421 1024.49/1024.65 o 7420 1036.19/1036.36 o 7323 1036.19/1036.36 o 7322 1036.19/1036.39 o 7321 1115.68/1115.80 o 7319 1115.68/1115.81 o 7317 1115.68/1115.81 o 7316 1160.99/1161.19 o 7315 1517.96/1518.19 o 7216 1517.96/1518.19 o 7215 1518.05/1518.21 o 7214 1518.05/1518.21 o 7114 1518.05/1518.23 o 7112 1518.15/1518.38 o 7014 1518.15/1518.38 o 7013 1518.35/1518.51 o 7012 1518.35/1518.52 o 7009 1518.35/1518.52 o 6909 1529.15/1529.31 o 6908 1823.32/1823.53 o 6808 1961.31/1961.53 o 6710 1961.31/1961.53 o 6709 1966.21/1966.47 o 6708 1966.41/1966.62 o 6707 1966.41/1966.63 o 6706 2042.11/2042.31 o 6705 2047.31/2047.50 o 6607 2047.31/2047.52 o 6606 2050.41/2050.64 o 6508 2050.41/2050.65 o 6507 2051.71/2051.90 o 6409 2051.71/2051.91 o 6408 2519.78/2520.00 s SATISFIABLE 2519.78/2520.00 v <instantiation type="solution"> 2519.78/2520.00 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> 2519.78/2520.00 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> 2519.78/2520.01 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 (1133 MiB free)
memory of node 1: 16384 MiB (2441 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303712-1533994944/watcher-4303712-1533994944 -o /tmp/evaluation-result-4303712-1533994944/solver-4303712-1533994944 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1533992207-26950 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1085235342 HOME/instance-4303712-1533994944.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27282, runsolver pid=27279
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 2.00 2.01 1.98 3/188 27283
/proc/meminfo: memFree=3651572/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=38264 memory=12860 CPUtime=0.1 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 3524 0 0 0 10 0 0 0 20 0 1 0 217057626 39182336 3215 33554432000 4194304 7499544 140737392399136 140737392396136 4563992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 9566 3215 745 807 0 2557 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38264 KiB
Current children cumulated memory: 12860 KiB
[startup+0.209681 s]*
/proc/loadavg: 2.00 2.01 1.98 3/188 27283
/proc/meminfo: memFree=3602096/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=88088 memory=62912 CPUtime=0.21 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 16220 0 0 0 19 2 0 0 20 0 1 0 217057626 90202112 15728 33554432000 4194304 7499544 140737392399136 140737392396136 4564151 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 22022 15728 761 807 0 15013 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 88088 KiB
Current children cumulated memory: 62912 KiB
[startup+0.309593 s]*
/proc/loadavg: 2.00 2.01 1.98 3/188 27283
/proc/meminfo: memFree=3588160/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=101652 memory=76372 CPUtime=0.31 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 19642 0 0 0 28 3 0 0 20 0 1 0 217057626 104091648 19093 33554432000 4194304 7499544 140737392399136 140737392396136 139632709422992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 25413 19093 766 807 0 18404 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 101652 KiB
Current children cumulated memory: 76372 KiB
[startup+0.700377 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27283
/proc/meminfo: memFree=3571140/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118408 memory=93268 CPUtime=0.69 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 23864 0 0 0 66 3 0 0 20 0 1 0 217057626 121249792 23317 33554432000 4194304 7499544 140737392399136 140737392393624 5163917 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29602 23317 809 807 0 22593 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 118408 KiB
Current children cumulated memory: 93268 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27283
/proc/meminfo: memFree=3571140/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118540 memory=93532 CPUtime=1.49 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 23879 0 0 0 146 3 0 0 20 0 1 0 217057626 121384960 23383 33554432000 4194304 7499544 140737392399136 140737392393592 5790362 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29635 23383 810 807 0 22626 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93532 KiB
[startup+3.10952 s]
/proc/loadavg: 1.92 2.00 1.97 3/188 27283
/proc/meminfo: memFree=3571016/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118540 memory=93572 CPUtime=3.1 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 32804 0 0 0 306 4 0 0 20 0 1 0 217057626 121384960 23393 33554432000 4194304 7499544 140737392399136 140737392394152 5163917 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29635 23393 810 807 0 22626 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93572 KiB
[startup+6.30033 s]
/proc/loadavg: 1.92 2.00 1.97 3/188 27283
/proc/meminfo: memFree=3571112/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118540 memory=93600 CPUtime=6.29 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 41719 0 0 0 625 4 0 0 20 0 1 0 217057626 121384960 23400 33554432000 4194304 7499544 140737392399136 140737392394152 4579920 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29635 23400 810 807 0 22626 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93600 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 1.97 3/188 27283
/proc/meminfo: memFree=3571468/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118540 memory=93644 CPUtime=12.69 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 50678 0 0 0 1265 4 0 0 20 0 1 0 217057626 121384960 23411 33554432000 4194304 7499544 140737392399136 140737392394152 4249975 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29635 23411 810 807 0 22626 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 118540 KiB
Current children cumulated memory: 93644 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.97 3/188 27283
/proc/meminfo: memFree=3571996/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118672 memory=93672 CPUtime=25.49 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 65405 0 0 0 2544 5 0 0 20 0 1 0 217057626 121520128 23418 33554432000 4194304 7499544 140737392399136 140737392393512 5574843 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29668 23418 810 807 0 22659 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93672 KiB
[startup+51.1094 s]
/proc/loadavg: 1.96 2.00 1.97 3/188 27283
/proc/meminfo: memFree=3571584/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118672 memory=93720 CPUtime=51.09 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 77271 0 0 0 5104 5 0 0 20 0 1 0 217057626 121520128 23430 33554432000 4194304 7499544 140737392399136 140737392394152 4580255 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29668 23430 810 807 0 22659 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93720 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.97 3/188 27284
/proc/meminfo: memFree=3571336/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118672 memory=93756 CPUtime=102.26 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 81984 0 0 0 10220 6 0 0 20 0 1 0 217057626 121520128 23439 33554432000 4194304 7499544 140737392399136 140737392394152 5612981 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29668 23439 810 807 0 22659 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93756 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.97 3/187 27285
/proc/meminfo: memFree=3571604/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118672 memory=93796 CPUtime=162.26 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 82653 0 0 0 16220 6 0 0 20 0 1 0 217057626 121520128 23449 33554432000 4194304 7499544 140737392399136 140737392394152 5790971 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29668 23449 810 807 0 22659 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93796 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/187 27286
/proc/meminfo: memFree=3571424/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118672 memory=93812 CPUtime=222.25 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 82903 0 0 0 22219 6 0 0 20 0 1 0 217057626 121520128 23453 33554432000 4194304 7499544 140737392399136 140737392394152 4257952 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29668 23453 810 807 0 22659 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93812 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/187 27287
/proc/meminfo: memFree=3571156/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118672 memory=93816 CPUtime=282.25 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 83201 0 0 0 28219 6 0 0 20 0 1 0 217057626 121520128 23454 33554432000 4194304 7499544 140737392399136 140737392394152 4246874 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29668 23454 810 807 0 22659 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 93816 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/187 27288
/proc/meminfo: memFree=3570512/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93840 CPUtime=342.24 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 83513 0 0 0 34218 6 0 0 20 0 1 0 217057626 121655296 23460 33554432000 4194304 7499544 140737392399136 140737392394152 4580628 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23460 810 807 0 22692 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93840 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/187 27289
/proc/meminfo: memFree=3570832/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93860 CPUtime=402.24 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 83782 0 0 0 40218 6 0 0 20 0 1 0 217057626 121655296 23465 33554432000 4194304 7499544 140737392399136 140737392394152 4257927 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23465 810 807 0 22692 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93860 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/187 27297
/proc/meminfo: memFree=3569916/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93864 CPUtime=462.23 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 84092 0 0 0 46217 6 0 0 20 0 1 0 217057626 121655296 23466 33554432000 4194304 7499544 140737392399136 140737392394152 4580879 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23466 810 807 0 22692 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93864 KiB
################
# More data... #
################
/proc/27282/statm: 29701 23485 810 807 0 22692 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93940 KiB
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.03 3/188 27360
/proc/meminfo: memFree=3570860/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93940 CPUtime=1782.13 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 90142 0 0 0 178207 6 0 0 20 0 1 0 217057626 121655296 23485 33554432000 4194304 7499544 140737392399136 140737392394152 5585175 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23485 810 807 0 22692 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93940 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.04 2.03 3/188 27361
/proc/meminfo: memFree=3570692/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93940 CPUtime=1842.12 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 90427 0 0 0 184206 6 0 0 20 0 1 0 217057626 121655296 23485 33554432000 4194304 7499544 140737392399136 140737392394152 4249927 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23485 810 807 0 22692 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93940 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/188 27362
/proc/meminfo: memFree=3570312/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93940 CPUtime=1902.12 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 90682 0 0 0 190206 6 0 0 20 0 1 0 217057626 121655296 23485 33554432000 4194304 7499544 140737392399136 140737392394152 4249922 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23485 810 807 0 22692 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93940 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/187 27363
/proc/meminfo: memFree=3570500/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93940 CPUtime=1962.11 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 91007 0 0 0 196205 6 0 0 20 0 1 0 217057626 121655296 23485 33554432000 4194304 7499544 140737392399136 140737392394152 5574972 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23485 810 807 0 22692 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93940 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/187 27364
/proc/meminfo: memFree=3570496/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93944 CPUtime=2022.11 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 91260 0 0 0 202205 6 0 0 20 0 1 0 217057626 121655296 23486 33554432000 4194304 7499544 140737392399136 140737392394152 5585647 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23486 810 807 0 22692 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93944 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 27365
/proc/meminfo: memFree=3570636/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93944 CPUtime=2082.1 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 91563 0 0 0 208204 6 0 0 20 0 1 0 217057626 121655296 23486 33554432000 4194304 7499544 140737392399136 140737392394152 5648699 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23486 810 807 0 22692 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93944 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 27366
/proc/meminfo: memFree=3570472/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93948 CPUtime=2142.1 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 91832 0 0 0 214204 6 0 0 20 0 1 0 217057626 121655296 23487 33554432000 4194304 7499544 140737392399136 140737392394152 5163917 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23487 810 807 0 22692 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93948 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 27367
/proc/meminfo: memFree=3570544/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93948 CPUtime=2202.09 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 92119 0 0 0 220203 6 0 0 20 0 1 0 217057626 121655296 23487 33554432000 4194304 7499544 140737392399136 140737392394152 5585523 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23487 810 807 0 22692 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93948 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/188 27376
/proc/meminfo: memFree=3569764/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93948 CPUtime=2262.09 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 92395 0 0 0 226203 6 0 0 20 0 1 0 217057626 121655296 23487 33554432000 4194304 7499544 140737392399136 140737392394152 4540486 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23487 810 807 0 22692 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93948 KiB
[startup+2322.3 s]
/proc/loadavg: 1.86 1.98 2.02 3/188 27499
/proc/meminfo: memFree=3881212/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93948 CPUtime=2322.08 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 92681 0 0 0 232202 6 0 0 20 0 1 0 217057626 121655296 23487 33554432000 4194304 7499544 140737392399136 140737392394152 5163917 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23487 810 807 0 22692 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93948 KiB
[startup+2382.3 s]
/proc/loadavg: 1.95 1.99 2.02 3/188 27500
/proc/meminfo: memFree=3880764/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93948 CPUtime=2382.08 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 92952 0 0 0 238202 6 0 0 20 0 1 0 217057626 121655296 23487 33554432000 4194304 7499544 140737392399136 140737392394152 4246811 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23487 810 807 0 22692 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93948 KiB
[startup+2442.3 s]
/proc/loadavg: 1.98 1.99 2.02 3/188 27501
/proc/meminfo: memFree=3880764/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93948 CPUtime=2442.08 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 93228 0 0 0 244202 6 0 0 20 0 1 0 217057626 121655296 23487 33554432000 4194304 7499544 140737392399136 140737392394152 5790900 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23487 810 807 0 22692 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93948 KiB
[startup+2502.3 s]
/proc/loadavg: 1.99 1.99 2.02 3/188 27502
/proc/meminfo: memFree=3880464/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93948 CPUtime=2502.07 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 93503 0 0 0 250201 6 0 0 20 0 1 0 217057626 121655296 23487 33554432000 4194304 7499544 140737392399136 140737392394152 4580576 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23487 810 807 0 22692 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93948 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.99 2.02 3/188 27502
/proc/meminfo: memFree=3880464/32770624 swapFree=67108860/67108860
[pid=27282] ppid=27279 vsize=118804 memory=93948 CPUtime=2519.78 cores=0,2,4,6
/proc/27282/stat : 27282 (MistralXCSP) R 27279 27282 26919 0 -1 4202496 93771 0 0 0 251972 6 0 0 20 0 1 0 217057626 121655296 23487 33554432000 4194304 7499544 140737392399136 140737392394152 4249666 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33198080 140737392407661 140737392407811 140737392407811 140737392410569 0
/proc/27282/statm: 29701 23487 810 807 0 22692 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 118804 KiB
Current children cumulated memory: 93948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27282 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.72 s, system=0.066994 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.79
CPU user time (s): 2519.72
CPU system time (s): 0.066994
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 118804
Max. memory (cumulated for all children) (KiB): 93948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.72
system time used= 0.066994
maximum resident set size= 93968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93809
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= 44
involuntary context switches= 3152
# summary of solver processes directly reported to runsolver:
# pid: 27282
# total CPU time (s): 2519.79
# total CPU user time (s): 2519.72
# total CPU system time (s): 0.066994
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.00753 second user time and 16.847 second system time
The end
Begin job on node151 at 2018-08-11 15:42:24 IDJOB=4303712 IDBENCH=141052 IDSOLVER=2779 FILE ID=node151/4303712-1533994944 RUNJOBID= node151-1533992207-26950 PBS_JOBID= 21036947 Free space on /tmp= 40852 MiB SOLVER NAME= Mistral-2.0 2018-08-01 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-4303712-1533994944/watcher-4303712-1533994944 -o /tmp/evaluation-result-4303712-1533994944/solver-4303712-1533994944 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1533992207-26950 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1085235342 HOME/instance-4303712-1533994944.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 39ce033b713bdbb29423ae6f53deb82d RANDOM SEED=1085235342 node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 3661936 kB MemAvailable: 31572540 kB Buffers: 248912 kB Cached: 27541360 kB SwapCached: 0 kB Active: 11095552 kB Inactive: 17080872 kB Active(anon): 335188 kB Inactive(anon): 103256 kB Active(file): 10760364 kB Inactive(file): 16977616 kB Unevictable: 7836 kB Mlocked: 7836 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5952 kB Writeback: 0 kB AnonPages: 393452 kB Mapped: 60972 kB Shmem: 49800 kB Slab: 629240 kB SReclaimable: 601084 kB SUnreclaim: 28156 kB KernelStack: 3344 kB PageTables: 6208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 707508 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 256000 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 40848 MiB End job on node151 at 2018-08-11 16:24:25