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) | 1333 | 251.999 | 252.012 |
| Name | NurseRostering/ NurseRostering-03_c18.xml |
| MD5SUM | eb17d19b145b92a5bb64f51f86380189 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1502 |
| Best CPU time to get the best result obtained on this benchmark | 252.065 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 576 |
| Number of constraints | 1322 |
| Number of domains | 14 |
| Minimum domain size | 1 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":1,"count":28},{"size":2,"count":104},{"size":3,"count":3},{"size":4,"count":280},{"size":6,"count":10},{"size":15,"count":53},{"size":21,"count":98}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 25 |
| Distribution of variable degrees | [{"degree":2,"count":256},{"degree":3,"count":40},{"degree":12,"count":5},{"degree":13,"count":15},{"degree":14,"count":16},{"degree":15,"count":6},{"degree":16,"count":19},{"degree":17,"count":22},{"degree":18,"count":38},{"degree":19,"count":31},{"degree":20,"count":35},{"degree":21,"count":37},{"degree":22,"count":36},{"degree":23,"count":9},{"degree":24,"count":7},{"degree":25,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 21 |
| Distribution of constraint arities | [{"arity":2,"count":575},{"arity":3,"count":360},{"arity":4,"count":75},{"arity":6,"count":135},{"arity":7,"count":40},{"arity":15,"count":80},{"arity":20,"count":1},{"arity":21,"count":56}] |
| Number of extensional constraints | 316 |
| Number of intensional constraints | 174 |
| Distribution of constraint types | [{"type":"extension","count":316},{"type":"intension","count":174},{"type":"regular","count":480},{"type":"sum","count":40},{"type":"count","count":311},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 0.10/0.19 o 8844 0.10/0.19 o 8743 0.10/0.19 o 8642 0.10/0.19 o 8641 0.10/0.20 o 8640 0.10/0.20 o 8539 0.10/0.20 o 8439 0.10/0.20 o 8339 0.10/0.20 o 8338 0.10/0.20 o 8238 0.10/0.20 o 8237 0.10/0.20 o 8137 0.10/0.20 o 8136 0.10/0.21 o 8135 0.10/0.21 o 8033 0.10/0.21 o 8032 0.21/0.22 o 8031 0.21/0.30 o 8028 0.21/0.30 o 7928 0.21/0.30 o 7828 0.21/0.30 o 7826 0.21/0.30 o 7726 0.21/0.31 o 7724 0.21/0.31 o 7624 0.31/0.32 o 7525 0.31/0.35 o 7522 0.31/0.35 o 7520 0.41/0.50 o 7519 0.41/0.50 o 7518 0.41/0.50 o 7517 0.41/0.50 o 7516 0.51/0.57 o 7416 0.51/0.58 o 7316 0.51/0.58 o 7216 0.60/0.65 o 7116 0.60/0.65 o 7115 0.60/0.65 o 7015 0.60/0.65 o 7013 0.60/0.66 o 6914 0.60/0.66 o 6912 0.60/0.67 o 6707 0.60/0.67 o 6607 0.69/0.75 o 6507 0.79/0.83 o 6504 0.79/0.84 o 6503 0.79/0.84 o 6502 0.89/0.94 o 6501 0.89/0.96 o 6500 0.89/0.96 o 6499 1.19/1.20 o 6498 1.39/1.41 o 6398 1.39/1.41 o 6397 1.39/1.43 o 6297 1.39/1.45 o 6296 1.49/1.51 o 6295 1.69/1.72 o 6191 1.69/1.72 o 6094 1.69/1.72 o 6092 1.69/1.72 o 5992 1.69/1.72 o 5892 1.69/1.72 o 5791 1.69/1.73 o 5788 1.69/1.73 o 5687 1.69/1.73 o 5686 1.69/1.74 o 5589 1.69/1.74 o 5588 1.69/1.76 o 5482 1.69/1.78 o 5384 1.79/1.89 o 5382 1.79/1.89 o 5284 1.89/1.99 o 5183 2.79/2.86 o 5181 2.79/2.87 o 5180 2.79/2.88 o 5179 3.10/3.15 o 5178 3.49/3.57 o 5177 3.49/3.60 o 5078 3.59/3.62 o 5077 6.49/6.53 o 4977 6.49/6.53 o 4878 6.49/6.54 o 4877 6.59/6.61 o 4780 6.59/6.61 o 4778 11.89/11.92 o 4677 12.00/12.02 o 4580 12.00/12.02 o 4577 12.00/12.02 o 4480 12.59/12.69 o 4477 16.00/16.08 o 4376 16.00/16.09 o 4375 16.00/16.09 o 4274 16.00/16.09 o 4173 16.00/16.09 o 4171 16.00/16.09 o 4071 16.00/16.09 o 3971 16.00/16.09 o 3970 16.00/16.09 o 3872 16.00/16.09 o 3772 16.00/16.09 o 3771 16.10/16.12 o 3671 16.19/16.28 o 3574 16.49/16.56 o 3572 16.49/16.56 o 3570 16.49/16.58 o 3568 17.19/17.20 o 3567 17.49/17.57 o 3474 17.49/17.57 o 3473 18.00/18.01 o 3471 18.00/18.01 o 3470 18.00/18.01 o 3469 18.00/18.01 o 3468 18.00/18.02 o 3466 18.39/18.45 o 3372 18.69/18.70 o 3371 18.79/18.86 o 3271 18.79/18.86 o 3268 18.79/18.87 o 3267 18.79/18.87 o 3266 18.79/18.88 o 3170 18.79/18.88 o 3169 19.29/19.39 o 3168 19.39/19.41 o 3166 19.69/19.71 o 3164 21.79/21.81 o 3163 21.79/21.87 o 3063 21.79/21.88 o 3062 22.69/22.78 o 2967 22.69/22.78 o 2964 22.69/22.78 o 2867 22.69/22.78 o 2864 23.00/23.02 o 2863 23.00/23.03 o 2861 23.00/23.04 o 2761 23.29/23.33 o 2663 26.10/26.12 o 2661 29.19/29.24 o 2563 31.49/31.53 o 2562 40.89/40.98 o 2560 40.89/40.98 o 2559 46.39/46.41 o 2459 47.10/47.17 o 2359 50.69/50.76 o 2259 51.49/51.50 o 2258 52.29/52.32 o 2257 52.29/52.32 o 2256 52.49/52.50 o 2161 52.49/52.50 o 2160 52.49/52.51 o 2159 52.49/52.51 o 2158 52.49/52.51 o 2157 52.49/52.51 o 2156 54.29/54.32 o 2152 63.79/63.87 o 2151 63.79/63.88 o 2150 63.79/63.89 o 2149 91.69/91.72 o 2050 91.69/91.73 o 2049 93.49/93.55 o 2048 94.39/94.41 o 2047 94.39/94.41 o 1950 94.39/94.41 o 1949 94.39/94.41 o 1948 94.89/94.97 o 1945 96.09/96.12 o 1944 107.19/107.28 o 1846 108.09/108.13 o 1845 123.09/123.13 o 1747 123.09/123.14 o 1746 123.09/123.14 o 1745 135.89/135.90 o 1744 135.89/135.91 o 1743 135.89/135.92 o 1742 135.89/135.92 o 1741 165.69/165.72 o 1740 165.79/165.88 o 1647 165.79/165.88 o 1646 165.79/165.88 o 1645 165.79/165.88 o 1644 166.10/166.13 o 1643 166.10/166.17 o 1642 166.19/166.24 o 1641 166.19/166.28 o 1640 166.39/166.40 o 1546 166.39/166.40 o 1545 166.39/166.42 o 1544 166.39/166.43 o 1543 166.39/166.43 o 1542 166.39/166.44 o 1540 166.39/166.44 o 1440 166.39/166.46 o 1439 166.59/166.68 o 1438 166.59/166.69 o 1437 167.00/167.05 o 1434 171.49/171.52 o 1338 171.49/171.52 o 1337 171.49/171.54 o 1335 193.69/193.73 o 1333 251.99/252.00 s SATISFIABLE 251.99/252.00 v <instantiation type="solution"> 251.99/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[0][16] x[0][17] x[0][18] x[0][19] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] wk[8][0] wk[8][1] wk[9][0] wk[9][1] wk[10][0] wk[10][1] wk[11][0] wk[11][1] wk[12][0] wk[12][1] wk[13][0] wk[13][1] wk[14][0] wk[14][1] wk[15][0] wk[15][1] wk[16][0] wk[16][1] wk[17][0] wk[17][1] wk[18][0] wk[18][1] wk[19][0] wk[19][1] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] </list> 251.99/252.00 v <values> 3 3 3 3 0 3 1 3 1 3 0 2 3 3 1 2 3 3 2 3 3 1 3 0 0 1 2 3 1 3 0 2 3 1 2 3 3 3 3 3 0 1 3 2 0 1 2 0 2 3 1 3 1 1 3 3 3 3 3 3 0 1 1 2 3 1 3 0 2 0 3 3 1 1 3 3 3 3 3 0 0 1 1 2 3 1 3 1 2 0 3 3 3 2 3 3 2 1 3 3 3 3 2 3 0 3 3 1 3 0 3 1 3 3 1 0 3 3 0 3 3 3 2 3 0 3 0 1 3 0 0 1 3 3 1 0 3 3 0 3 3 2 2 0 3 0 2 3 1 0 1 1 0 3 1 1 3 1 3 3 3 2 3 0 3 0 3 3 1 3 1 1 0 3 2 3 3 3 3 1 1 2 3 2 0 1 3 0 3 3 1 1 0 1 2 3 2 3 0 3 1 3 2 3 0 3 2 1 3 0 1 3 1 1 3 3 3 3 3 3 1 3 2 3 0 3 2 1 3 0 1 3 2 2 3 3 3 3 3 3 1 2 3 0 3 0 3 3 2 3 3 3 2 2 3 3 1 1 3 1 1 2 3 0 3 0 3 3 2 3 3 3 3 2 3 3 1 1 3 1 3 5 0 6 0 4 5 5 0 2 5 7 5 0 4 5 8 0 0 6 4 5 0 5 1 1 5 7 3 5 0 6 0 4 5 5 7 0 0 7 3 6 0 5 0 5 2 7 3 3 2 6 0 5 4 5 0 4 3 7 2 1 1 10 0 2 2 10 0 4 0 10 3 0 1 10 1 3 0 10 2 3 3 12 3 4 3 10 3 5 3 9 4 5 2 9 2 5 4 9 4 3 1 12 6 3 1 10 4 6 3 7 3 4 2 11 4 5 4 7 2 5 2 11 2 3 4 11 2 4 4 10 2 4 3 11 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 2 2 2 3 0 0 0 0 2 1 0 1 1 0 0 0 3 0 2 0 3 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 300 100 0 0 200 200 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 100 0 100 100 0 0 </values> 251.99/252.01 v </instantiation>
OK 1333
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 (11402 MiB free)
memory of node 1: 16384 MiB (13321 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312462-1534699008/watcher-4312462-1534699008 -o /tmp/evaluation-result-4312462-1534699008/solver-4312462-1534699008 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534699008-27201 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1719962551 HOME/instance-4312462-1534699008.xml
running on 4 cores: 1,3,5,7
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=27230, runsolver pid=27227
[startup+0.100112 s]*
/proc/loadavg: 0.08 0.03 0.05 3/191 27231
/proc/meminfo: memFree=25275448/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=58128 memory=33060 CPUtime=0.1 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 8519 0 0 0 9 1 0 0 20 0 1 0 287463976 59523072 8265 33554432000 4194304 7499544 140733165332448 140733165329448 139761891296236 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 14566 8265 766 807 0 7557 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58128 KiB
Current children cumulated memory: 33060 KiB
[startup+0.2096 s]*
/proc/loadavg: 0.08 0.03 0.05 3/191 27231
/proc/meminfo: memFree=25252012/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71744 memory=46776 CPUtime=0.21 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 11951 0 0 0 20 1 0 0 20 0 1 0 287463976 73465856 11694 33554432000 4194304 7499544 140733165332448 140733165329448 5163917 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17936 11694 809 807 0 10927 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46776 KiB
[startup+0.309677 s]*
/proc/loadavg: 0.08 0.03 0.05 3/191 27231
/proc/meminfo: memFree=25247796/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71744 memory=46776 CPUtime=0.31 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 11951 0 0 0 30 1 0 0 20 0 1 0 287463976 73465856 11694 33554432000 4194304 7499544 140733165332448 140733165329448 5574857 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17936 11694 809 807 0 10927 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46776 KiB
[startup+0.70031 s]
/proc/loadavg: 0.08 0.03 0.05 3/191 27231
/proc/meminfo: memFree=25231632/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71744 memory=46776 CPUtime=0.69 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 11951 0 0 0 68 1 0 0 20 0 1 0 287463976 73465856 11694 33554432000 4194304 7499544 140733165332448 140733165327464 5574441 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17936 11694 809 807 0 10927 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46776 KiB
[startup+1.5003 s]
/proc/loadavg: 0.08 0.03 0.05 3/191 27231
/proc/meminfo: memFree=25222184/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71744 memory=46776 CPUtime=1.49 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 11951 0 0 0 148 1 0 0 20 0 1 0 287463976 73465856 11694 33554432000 4194304 7499544 140733165332448 140733165327464 4379003 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17936 11694 809 807 0 10927 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46776 KiB
[startup+3.10951 s]
/proc/loadavg: 0.08 0.03 0.05 3/191 27231
/proc/meminfo: memFree=24949508/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71744 memory=46832 CPUtime=3.1 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 16228 0 0 0 309 1 0 0 20 0 1 0 287463976 73465856 11708 33554432000 4194304 7499544 140733165332448 140733165327464 5790904 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17936 11708 810 807 0 10927 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46832 KiB
[startup+6.30023 s]
/proc/loadavg: 0.40 0.10 0.07 3/191 27231
/proc/meminfo: memFree=24943464/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71744 memory=46840 CPUtime=6.29 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 20403 0 0 0 628 1 0 0 20 0 1 0 287463976 73465856 11710 33554432000 4194304 7499544 140733165332448 140733165327464 5627528 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17936 11710 810 807 0 10927 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46840 KiB
[startup+12.7002 s]
/proc/loadavg: 0.52 0.13 0.08 3/191 27231
/proc/meminfo: memFree=24943588/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71744 memory=46856 CPUtime=12.69 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 24787 0 0 0 1267 2 0 0 20 0 1 0 287463976 73465856 11714 33554432000 4194304 7499544 140733165332448 140733165327464 4541974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17936 11714 810 807 0 10927 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 71744 KiB
Current children cumulated memory: 46856 KiB
[startup+25.5003 s]
/proc/loadavg: 0.75 0.19 0.10 3/191 27231
/proc/meminfo: memFree=24943864/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71884 memory=46912 CPUtime=25.49 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 33043 0 0 0 2547 2 0 0 20 0 1 0 287463976 73609216 11728 33554432000 4194304 7499544 140733165332448 140733165327464 4252713 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17971 11728 810 807 0 10962 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46912 KiB
[startup+51.1094 s]
/proc/loadavg: 1.31 0.38 0.17 3/191 27231
/proc/meminfo: memFree=24942704/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71884 memory=46912 CPUtime=51.1 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 37644 0 0 0 5108 2 0 0 20 0 1 0 287463976 73609216 11728 33554432000 4194304 7499544 140733165332448 140733165327464 4379010 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17971 11728 810 807 0 10962 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46912 KiB
[startup+102.3 s]
/proc/loadavg: 1.70 0.63 0.26 3/191 27232
/proc/meminfo: memFree=24942620/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71884 memory=46920 CPUtime=102.29 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 41921 0 0 0 10227 2 0 0 20 0 1 0 287463976 73609216 11730 33554432000 4194304 7499544 140733165332448 140733165327464 4580602 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17971 11730 810 807 0 10962 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46920 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 0.89 0.38 3/190 27233
/proc/meminfo: memFree=24942832/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71884 memory=46924 CPUtime=162.29 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 46203 0 0 0 16226 3 0 0 20 0 1 0 287463976 73609216 11731 33554432000 4194304 7499544 140733165332448 140733165327464 5837760 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17971 11731 810 807 0 10962 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46924 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.09 0.48 3/190 27241
/proc/meminfo: memFree=24941156/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71884 memory=46932 CPUtime=222.29 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 50477 0 0 0 22226 3 0 0 20 0 1 0 287463976 73609216 11733 33554432000 4194304 7499544 140733165332448 140733165327464 5574843 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17971 11733 810 807 0 10962 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46932 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 1.98 1.18 0.53 2/188 27242
/proc/meminfo: memFree=25272268/32770624 swapFree=67108856/67108860
[pid=27230] ppid=27227 vsize=71884 memory=46944 CPUtime=251.99 cores=1,3,5,7
/proc/27230/stat : 27230 (MistralXCSP) R 27227 27230 27169 0 -1 4202496 53675 0 0 0 25196 3 0 0 20 0 1 0 287463976 73609216 11736 33554432000 4194304 7499544 140733165332448 140733165327464 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 33271808 140733165339762 140733165339912 140733165339912 140733165342665 0
/proc/27230/statm: 17971 11736 810 807 0 10962 0
Current children cumulated CPU time: 251.99 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 46944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.012 s]
# the end of solver process 27230 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.965 s, system=0.034 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 252.012
CPU time (s): 251.999
CPU user time (s): 251.965
CPU system time (s): 0.034
CPU usage (%): 99.9951
Max. virtual memory (cumulated for all children) (KiB): 71884
Max. memory (cumulated for all children) (KiB): 46944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.965
system time used= 0.034
maximum resident set size= 46964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53716
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= 17
involuntary context switches= 91
# summary of solver processes directly reported to runsolver:
# pid: 27230
# total CPU time (s): 251.999
# total CPU user time (s): 251.965
# total CPU system time (s): 0.034
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.957398 second user time and 1.71539 second system time
The end
Begin job on node132 at 2018-08-19 19:16:48 IDJOB=4312462 IDBENCH=141051 IDSOLVER=2801 FILE ID=node132/4312462-1534699008 RUNJOBID= node132-1534699008-27201 PBS_JOBID= 21038721 Free space on /tmp= 59368 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/NurseRostering/NurseRostering-03_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312462-1534699008/watcher-4312462-1534699008 -o /tmp/evaluation-result-4312462-1534699008/solver-4312462-1534699008 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534699008-27201 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1719962551 HOME/instance-4312462-1534699008.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eb17d19b145b92a5bb64f51f86380189 RANDOM SEED=1719962551 node132.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.65 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.65 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.65 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.65 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: 25319108 kB MemAvailable: 31908136 kB Buffers: 269468 kB Cached: 6610552 kB SwapCached: 4 kB Active: 3884808 kB Inactive: 3050108 kB Active(anon): 30696 kB Inactive(anon): 92908 kB Active(file): 3854112 kB Inactive(file): 2957200 kB Unevictable: 7004 kB Mlocked: 7004 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 12052 kB Writeback: 0 kB AnonPages: 61812 kB Mapped: 23956 kB Shmem: 66204 kB Slab: 214816 kB SReclaimable: 187104 kB SUnreclaim: 27712 kB KernelStack: 3264 kB PageTables: 5144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 368060 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59364 MiB End job on node132 at 2018-08-19 19:21:00