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) | 3515 | 251.95 | 252.011 |
| Name | NurseRostering/ NurseRostering-05_c18.xml |
| MD5SUM | b6cc1cad0a6ec682295352adb28466c6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2564 |
| Best CPU time to get the best result obtained on this benchmark | 252.13 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 834 |
| Number of constraints | 2135 |
| Number of domains | 14 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":170},{"size":3,"count":448},{"size":15,"count":10},{"size":17,"count":140},{"size":29,"count":32}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 23 |
| Distribution of variable degrees | [{"degree":2,"count":322},{"degree":3,"count":64},{"degree":11,"count":16},{"degree":12,"count":15},{"degree":13,"count":1},{"degree":14,"count":12},{"degree":15,"count":17},{"degree":16,"count":22},{"degree":17,"count":26},{"degree":18,"count":24},{"degree":19,"count":109},{"degree":20,"count":73},{"degree":21,"count":82},{"degree":22,"count":46},{"degree":23,"count":5}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":782},{"arity":3,"count":692},{"arity":4,"count":166},{"arity":6,"count":230},{"arity":7,"count":132},{"arity":17,"count":84},{"arity":29,"count":48},{"arity":32,"count":1}] |
| Number of extensional constraints | 516 |
| Number of intensional constraints | 266 |
| Distribution of constraint types | [{"type":"extension","count":516},{"type":"intension","count":266},{"type":"regular","count":826},{"type":"sum","count":32},{"type":"count","count":494},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.01 c Mistral 01082018 0.29/0.39 o 12425 0.29/0.39 o 12324 0.29/0.39 o 12223 0.29/0.40 o 12122 0.29/0.40 o 12021 0.29/0.40 o 11920 0.29/0.40 o 11819 0.29/0.40 o 11818 0.29/0.40 o 11817 0.29/0.41 o 11816 0.29/0.41 o 11716 0.29/0.41 o 11616 0.29/0.41 o 11516 0.29/0.41 o 11515 0.29/0.41 o 11514 0.39/0.42 o 11417 0.39/0.42 o 11317 0.39/0.42 o 11316 0.39/0.42 o 11216 0.39/0.42 o 11215 0.39/0.42 o 11117 0.39/0.43 o 11018 0.39/0.44 o 10921 0.39/0.44 o 10920 0.39/0.44 o 10820 0.39/0.48 o 10719 0.39/0.48 o 10718 0.39/0.48 o 10618 0.39/0.48 o 10517 0.39/0.48 o 10516 0.39/0.49 o 10416 0.39/0.49 o 10415 0.39/0.49 o 10414 0.39/0.49 o 10314 0.39/0.49 o 10213 0.39/0.49 o 10113 0.39/0.49 o 10112 0.39/0.50 o 10011 0.39/0.50 o 9911 0.39/0.50 o 9910 0.39/0.50 o 9909 0.39/0.50 o 9809 0.39/0.50 o 9808 0.39/0.51 o 9708 0.39/0.51 o 9707 0.39/0.51 o 9606 0.39/0.51 o 9506 0.39/0.51 o 9406 0.39/0.51 o 9405 0.49/0.52 o 9304 0.49/0.52 o 9201 0.49/0.52 o 9101 0.49/0.52 o 9100 0.49/0.52 o 9000 0.49/0.53 o 8998 0.49/0.53 o 8898 0.49/0.53 o 8897 0.49/0.53 o 8796 0.49/0.54 o 8695 0.49/0.54 o 8594 0.49/0.54 o 8493 0.49/0.54 o 8492 0.49/0.55 o 8491 0.49/0.55 o 8490 0.49/0.56 o 8392 0.49/0.57 o 8294 0.49/0.58 o 8293 0.49/0.58 o 8292 0.49/0.58 o 8192 0.49/0.58 o 8093 0.49/0.58 o 8092 0.49/0.59 o 7991 0.49/0.60 o 7990 0.49/0.60 o 7988 0.49/0.60 o 7987 0.58/0.64 o 7985 0.58/0.66 o 7983 0.67/0.76 o 7982 0.77/0.85 o 7981 0.87/0.91 o 7980 0.87/0.91 o 7979 0.87/0.92 o 7876 0.87/0.92 o 7875 0.87/0.92 o 7772 0.87/0.92 o 7770 0.87/0.96 o 7670 0.98/1.02 o 7669 1.17/1.23 o 7668 1.17/1.23 o 7667 1.27/1.31 o 7666 1.37/1.47 o 7567 1.37/1.47 o 7566 1.47/1.58 o 7565 3.78/3.80 o 7466 3.78/3.80 o 7465 3.88/3.93 o 7464 4.88/4.93 o 7264 4.88/4.93 o 7263 4.88/4.95 o 7162 4.88/4.95 o 7062 4.88/4.95 o 7061 4.88/4.95 o 6963 4.88/4.95 o 6962 5.09/5.13 o 6958 5.28/5.31 o 6957 5.28/5.32 o 6863 5.28/5.32 o 6862 5.28/5.32 o 6858 5.28/5.39 o 6857 6.68/6.70 o 6856 8.08/8.10 o 6758 8.08/8.11 o 6755 8.08/8.11 o 6654 10.08/10.17 o 6653 10.08/10.17 o 6652 10.27/10.30 o 6552 10.27/10.31 o 6551 10.77/10.81 o 6451 10.87/10.98 o 6450 10.87/10.99 o 6449 10.87/11.00 o 6349 10.87/11.00 o 6348 16.78/16.85 o 6347 16.78/16.85 o 6346 21.09/21.13 o 6345 21.09/21.14 o 6344 24.98/25.10 o 6343 25.08/25.11 o 6243 25.08/25.14 o 6142 25.17/25.20 o 6042 25.17/25.23 o 5941 25.27/25.31 o 5846 25.27/25.31 o 5845 25.27/25.31 o 5844 26.27/26.37 o 5843 27.57/27.68 o 5840 28.47/28.59 o 5839 31.67/31.77 o 5739 33.08/33.17 o 5645 33.27/33.30 o 5644 36.08/36.11 o 5643 44.16/44.24 o 5642 44.36/44.42 o 5641 80.05/80.17 o 5640 80.05/80.18 o 5540 80.05/80.18 o 5539 80.05/80.18 o 5439 80.24/80.35 o 5338 80.44/80.57 o 5336 80.54/80.66 o 5236 80.74/80.80 o 5235 80.74/80.87 o 5135 81.14/81.22 o 5134 81.14/81.26 o 5034 82.24/82.30 o 5033 84.44/84.51 o 5031 85.74/85.83 o 5029 127.54/127.65 o 4929 127.54/127.66 o 4928 128.44/128.52 o 4828 132.44/132.58 o 4727 159.74/159.85 o 4626 159.74/159.85 o 4625 159.74/159.85 o 4624 159.74/159.85 o 4623 159.84/159.98 o 4523 159.94/160.06 o 4426 159.94/160.07 o 4425 159.94/160.07 o 4424 160.24/160.32 o 4422 160.44/160.51 o 4421 160.44/160.51 o 4420 160.53/160.63 o 4322 160.63/160.70 o 4221 177.23/177.31 o 4220 177.23/177.31 o 4219 195.04/195.15 o 4218 198.43/198.52 o 4120 198.43/198.52 o 4119 201.23/201.37 o 4019 201.23/201.37 o 3919 201.33/201.40 o 3819 203.23/203.37 o 3817 203.53/203.65 o 3816 214.73/214.86 o 3815 216.04/216.16 o 3814 216.73/216.88 o 3812 218.73/218.87 o 3720 218.83/219.00 o 3716 223.23/223.33 o 3715 223.23/223.33 o 3714 223.63/223.73 o 3713 227.04/227.11 o 3613 227.04/227.16 o 3515 251.93/252.00 s SATISFIABLE 251.93/252.00 v <instantiation type="solution"> 251.93/252.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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ps[10][0] ps[10][1] ps[10][2] ps[11][0] ps[11][1] ps[11][2] ps[12][0] ps[12][1] ps[12][2] ps[13][0] ps[13][1] ps[13][2] ps[14][0] ps[14][1] ps[14][2] ps[15][0] ps[15][1] ps[15][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] 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] 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] 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] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2] </list> 251.93/252.01 v <values> 0 2 2 1 2 0 1 2 2 2 0 0 2 0 1 1 0 2 2 1 2 0 1 2 0 0 0 0 2 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 2 2 2 1 0 0 1 2 0 1 2 0 1 0 0 0 0 2 2 1 0 0 1 2 0 2 2 0 1 0 0 2 0 2 2 1 2 0 2 1 2 2 1 2 2 2 2 2 0 0 0 2 2 0 2 1 2 2 1 2 2 2 2 2 2 0 0 2 2 2 2 1 0 1 1 0 2 0 2 0 2 0 0 2 0 2 2 2 0 1 2 0 0 1 2 0 2 0 1 2 0 2 0 2 0 1 2 0 1 2 2 0 1 0 1 2 0 0 0 1 2 2 0 2 1 2 2 0 1 2 2 2 0 0 0 1 2 2 0 2 1 0 0 0 2 2 2 0 0 2 1 2 0 2 2 1 1 0 0 0 2 2 2 0 2 2 1 2 0 2 2 1 2 0 0 2 2 0 0 0 2 0 2 2 0 1 1 1 2 0 2 2 0 0 0 0 0 0 2 2 0 1 1 2 0 2 2 2 0 0 0 1 0 0 1 0 2 1 1 2 0 2 2 2 0 2 0 2 2 0 1 0 2 2 1 1 2 0 0 0 0 2 1 2 2 0 1 0 0 2 2 1 2 0 0 0 0 2 2 2 0 2 2 2 0 0 2 1 2 2 0 0 0 0 2 1 0 2 2 2 0 1 2 1 0 2 0 0 2 0 2 1 2 0 1 2 0 2 1 2 0 2 0 0 2 0 1 1 2 0 1 2 2 2 1 2 0 2 0 0 2 0 1 1 0 2 1 0 2 0 1 1 0 1 2 2 0 0 2 2 0 2 2 0 0 0 2 1 1 1 2 2 0 0 2 2 0 0 2 1 0 0 2 1 2 1 2 2 1 2 2 2 2 0 0 1 2 1 0 2 2 1 0 2 1 2 0 0 2 0 0 1 2 1 0 2 2 1 0 2 1 2 1 0 17 0 11 17 0 11 5 11 12 5 11 12 16 0 12 6 11 11 4 13 11 6 10 12 8 8 12 11 6 11 16 0 12 16 0 12 11 5 12 16 0 12 8 8 12 6 10 12 5 4 7 7 4 5 7 6 3 8 4 4 7 3 6 4 2 10 3 2 11 6 3 7 6 3 7 6 4 6 5 3 8 8 2 6 6 3 7 6 2 8 7 3 6 7 3 6 6 3 7 6 4 6 7 2 7 7 2 7 6 3 7 6 4 6 5 4 7 6 4 6 6 3 7 4 4 8 6 4 6 5 5 6 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 3 3 3 3 0 0 2 2 0 3 2 2 0 2 2 2 0 0 0 3 3 0 0 0 0 3 0 1 0 0 0 3 3 0 3 0 1 1 1 0 0 0 0 2 0 3 3 3 0 0 0 0 1 1 1 1 1 1 1 0 3 3 1 2 3 3 3 0 3 1 1 1 1 0 0 0 2 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 200 100 0 300 200 0 0 100 0 0 100 0 0 200 0 0 100 0 2 200 0 0 100 0 0 200 0 0 0 0 100 100 0 0 200 0 100 0 0 0 200 0 1 200 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 200 0 200 0 0 </values> 251.93/252.01 v </instantiation>
OK 3515
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 (13484 MiB free)
memory of node 1: 16384 MiB (11189 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312455-1534699007/watcher-4312455-1534699007 -o /tmp/evaluation-result-4312455-1534699007/solver-4312455-1534699007 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534699007-12902 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2023937646 HOME/instance-4312455-1534699007.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=12918, runsolver pid=12915
[startup+0.100089 s]*
/proc/loadavg: 0.00 0.01 0.05 2/188 12928
/proc/meminfo: memFree=25248688/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=35924 memory=10748 CPUtime=0.08 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 2927 0 5 0 8 0 0 0 20 0 1 0 287463861 36786176 2687 33554432000 4194304 7499544 140728766727792 140728766718696 4563992 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 8981 2687 745 807 0 1972 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 35924 KiB
Current children cumulated memory: 10748 KiB
[startup+0.209842 s]*
/proc/loadavg: 0.00 0.01 0.05 3/191 12934
/proc/meminfo: memFree=25191980/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=78640 memory=53504 CPUtime=0.19 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 13650 0 5 0 17 2 0 0 20 0 1 0 287463861 80527360 13376 33554432000 4194304 7499544 140728766727792 140728766718696 4563992 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 19660 13376 766 807 0 12651 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78640 KiB
Current children cumulated memory: 53504 KiB
[startup+0.309702 s]*
/proc/loadavg: 0.00 0.01 0.05 3/191 12934
/proc/meminfo: memFree=25164204/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99064 memory=73956 CPUtime=0.29 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 19012 0 5 0 26 3 0 0 20 0 1 0 287463861 101441536 18489 33554432000 4194304 7499544 140728766727792 140728766718696 4321623 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24766 18489 807 807 0 17757 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 99064 KiB
Current children cumulated memory: 73956 KiB
[startup+0.700302 s]
/proc/loadavg: 0.00 0.01 0.05 3/191 12934
/proc/meminfo: memFree=25156888/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99388 memory=74484 CPUtime=0.67 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 19111 0 5 0 64 3 0 0 20 0 1 0 287463861 101773312 18621 33554432000 4194304 7499544 140728766727792 140728766718696 4541955 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24847 18621 810 807 0 17838 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99388 KiB
Current children cumulated memory: 74484 KiB
[startup+1.50031 s]
/proc/loadavg: 0.00 0.01 0.05 3/191 12934
/proc/meminfo: memFree=25018980/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99388 memory=74484 CPUtime=1.47 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 19121 0 5 0 144 3 0 0 20 0 1 0 287463861 101773312 18621 33554432000 4194304 7499544 140728766727792 140728766722808 4398007 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24847 18621 810 807 0 17838 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 99388 KiB
Current children cumulated memory: 74484 KiB
[startup+3.10945 s]
/proc/loadavg: 0.16 0.05 0.06 3/191 12934
/proc/meminfo: memFree=24963704/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99388 memory=74548 CPUtime=3.09 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 25729 0 5 0 305 4 0 0 20 0 1 0 287463861 101773312 18637 33554432000 4194304 7499544 140728766727792 140728766722808 5648699 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24847 18637 810 807 0 17838 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 99388 KiB
Current children cumulated memory: 74548 KiB
[startup+6.30023 s]
/proc/loadavg: 0.16 0.05 0.06 3/191 12934
/proc/meminfo: memFree=24964152/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99520 memory=74568 CPUtime=6.28 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 32693 0 5 0 624 4 0 0 20 0 1 0 287463861 101908480 18642 33554432000 4194304 7499544 140728766727792 140728766722808 5838096 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24880 18642 810 807 0 17871 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 99520 KiB
Current children cumulated memory: 74568 KiB
[startup+12.7002 s]
/proc/loadavg: 0.45 0.11 0.08 3/191 12934
/proc/meminfo: memFree=24965048/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99520 memory=74576 CPUtime=12.67 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 39494 0 5 0 1263 4 0 0 20 0 1 0 287463861 101908480 18644 33554432000 4194304 7499544 140728766727792 140728766722808 4580235 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24880 18644 810 807 0 17871 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 99520 KiB
Current children cumulated memory: 74576 KiB
[startup+25.5003 s]
/proc/loadavg: 0.68 0.17 0.10 3/191 12934
/proc/meminfo: memFree=24965700/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99520 memory=74608 CPUtime=25.47 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 53063 0 5 0 2542 5 0 0 20 0 1 0 287463861 101908480 18652 33554432000 4194304 7499544 140728766727792 140728766722808 5585439 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24880 18652 810 807 0 17871 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 99520 KiB
Current children cumulated memory: 74608 KiB
[startup+51.1095 s]
/proc/loadavg: 1.13 0.32 0.15 3/191 12934
/proc/meminfo: memFree=24965004/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99520 memory=74628 CPUtime=51.07 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 59219 0 5 0 5102 5 0 0 20 0 1 0 287463861 101908480 18657 33554432000 4194304 7499544 140728766727792 140728766722808 5574967 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24880 18657 810 807 0 17871 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 99520 KiB
Current children cumulated memory: 74628 KiB
[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 3/191 12935
/proc/meminfo: memFree=24963744/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99520 memory=74632 CPUtime=102.24 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 60860 0 5 0 10219 5 0 0 20 0 1 0 287463861 101908480 18658 33554432000 4194304 7499544 140728766727792 140728766722808 5838034 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24880 18658 810 807 0 17871 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 99520 KiB
Current children cumulated memory: 74632 KiB
[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 3/191 12936
/proc/meminfo: memFree=24963892/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99520 memory=74644 CPUtime=162.23 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 61572 0 5 0 16218 5 0 0 20 0 1 0 287463861 101908480 18661 33554432000 4194304 7499544 140728766727792 140728766722808 5838144 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24880 18661 810 807 0 17871 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 99520 KiB
Current children cumulated memory: 74644 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 3/191 12944
/proc/meminfo: memFree=24964124/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99520 memory=74652 CPUtime=222.23 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 62215 0 5 0 22218 5 0 0 20 0 1 0 287463861 101908480 18663 33554432000 4194304 7499544 140728766727792 140728766722808 4541886 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24880 18663 810 807 0 17871 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 99520 KiB
Current children cumulated memory: 74652 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 1.97 1.15 0.52 3/192 12946
/proc/meminfo: memFree=24964292/32770624 swapFree=67108840/67108860
[pid=12918] ppid=12915 vsize=99520 memory=74664 CPUtime=251.93 cores=0,2,4,6
/proc/12918/stat : 12918 (MistralXCSP) R 12915 12918 12871 0 -1 4202496 62936 0 5 0 25188 5 0 0 20 0 1 0 287463861 101908480 18666 33554432000 4194304 7499544 140728766727792 140728766722808 4322992 0 0 4096 16386 0 0 0 17 0 0 0 1 0 0 9598848 9604096 27725824 140728766735474 140728766735624 140728766735624 140728766738377 0
/proc/12918/statm: 24880 18666 810 807 0 17871 0
Current children cumulated CPU time: 251.93 s
Current children cumulated vsize: 99520 KiB
Current children cumulated memory: 74664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.011 s]
# the end of solver process 12918 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.89 s, system=0.059993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 252.011
CPU time (s): 251.95
CPU user time (s): 251.89
CPU system time (s): 0.059993
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 99520
Max. memory (cumulated for all children) (KiB): 74664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.89
system time used= 0.059993
maximum resident set size= 74684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62970
page faults= 5
swaps= 0
block input operations= 3560
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48
involuntary context switches= 317
# summary of solver processes directly reported to runsolver:
# pid: 12918
# total CPU time (s): 251.95
# total CPU user time (s): 251.89
# total CPU system time (s): 0.059993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.94308 second user time and 1.72871 second system time
The end
Begin job on node135 at 2018-08-19 19:16:47 IDJOB=4312455 IDBENCH=141044 IDSOLVER=2801 FILE ID=node135/4312455-1534699007 RUNJOBID= node135-1534699007-12902 PBS_JOBID= 21038718 Free space on /tmp= 59196 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/NurseRostering/NurseRostering-05_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-4312455-1534699007/watcher-4312455-1534699007 -o /tmp/evaluation-result-4312455-1534699007/solver-4312455-1534699007 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534699007-12902 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2023937646 HOME/instance-4312455-1534699007.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6 RANDOM SEED=2023937646 node135.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.50 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.50 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.50 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.50 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: 25266072 kB MemAvailable: 31888892 kB Buffers: 212304 kB Cached: 6680828 kB SwapCached: 20 kB Active: 3862512 kB Inactive: 3084860 kB Active(anon): 34156 kB Inactive(anon): 89384 kB Active(file): 3828356 kB Inactive(file): 2995476 kB Unevictable: 7240 kB Mlocked: 7240 kB SwapTotal: 67108860 kB SwapFree: 67108840 kB Dirty: 6016 kB Writeback: 0 kB AnonPages: 61604 kB Mapped: 23108 kB Shmem: 66188 kB Slab: 255984 kB SReclaimable: 227448 kB SUnreclaim: 28536 kB KernelStack: 3136 kB PageTables: 5404 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 366872 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 59184 MiB End job on node135 at 2018-08-19 19:20:59