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) | 145 | 251.91 | 252.01 |
| Name | StillLife/ StillLife-wastage-17_c18.xml |
| MD5SUM | 6bdaa478fa612f14e4ae80d6384d4ab1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 138 |
| Best CPU time to get the best result obtained on this benchmark | 252.145 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 742 |
| Number of constraints | 467 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 723 |
| Distribution of domain sizes | [{"size":2,"count":361},{"size":3,"count":361},{"size":290,"count":1},{"size":723,"count":19}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 20 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":358},{"degree":3,"count":22},{"degree":4,"count":68},{"degree":8,"count":64},{"degree":9,"count":225},{"degree":20,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 21 |
| Distribution of constraint arities | [{"arity":2,"count":87},{"arity":3,"count":68},{"arity":10,"count":289},{"arity":19,"count":4},{"arity":20,"count":1},{"arity":21,"count":18}] |
| Number of extensional constraints | 357 |
| Number of intensional constraints | 86 |
| Distribution of constraint types | [{"type":"extension","count":357},{"type":"intension","count":86},{"type":"sum","count":20},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.03 c Mistral 01082018 0.07/0.20 o 4 0.07/0.20 o 6 0.07/0.20 o 7 0.07/0.20 o 8 0.07/0.20 o 9 0.07/0.20 o 10 0.07/0.21 o 11 0.07/0.21 o 12 0.18/0.22 o 13 0.18/0.22 o 14 0.18/0.23 o 15 0.18/0.23 o 16 0.18/0.27 o 20 0.18/0.27 o 21 0.18/0.27 o 22 0.18/0.27 o 23 0.18/0.28 o 24 0.18/0.28 o 25 0.18/0.28 o 26 0.18/0.29 o 27 0.18/0.30 o 28 0.18/0.30 o 29 0.18/0.30 o 30 0.28/0.34 o 33 0.28/0.34 o 34 0.28/0.34 o 38 0.28/0.34 o 39 0.28/0.34 o 40 0.28/0.35 o 41 0.28/0.36 o 42 0.28/0.36 o 43 0.28/0.36 o 44 0.28/0.38 o 45 0.28/0.41 o 47 0.28/0.41 o 48 0.28/0.41 o 49 0.28/0.41 o 50 0.28/0.41 o 51 0.28/0.41 o 52 0.28/0.41 o 53 0.38/0.47 o 54 0.38/0.48 o 55 0.38/0.50 o 62 0.38/0.50 o 63 0.38/0.50 o 64 0.38/0.50 o 65 0.48/0.52 o 66 0.57/0.67 o 67 0.57/0.67 o 68 0.57/0.67 o 69 0.57/0.67 o 70 0.57/0.69 o 71 0.57/0.69 o 72 0.76/0.88 o 74 0.76/0.88 o 75 0.76/0.88 o 76 0.76/0.89 o 77 0.76/0.89 o 78 0.86/0.94 o 79 0.86/0.97 o 80 1.26/1.32 o 81 1.36/1.41 o 82 1.36/1.42 o 83 1.36/1.42 o 84 1.36/1.42 o 85 1.46/1.57 o 86 1.46/1.57 o 87 1.46/1.57 o 88 1.86/1.97 o 89 2.66/2.73 o 90 2.66/2.76 o 91 7.86/7.94 o 92 14.46/14.54 o 93 17.26/17.39 o 94 17.36/17.43 o 95 24.16/24.28 o 96 26.07/26.14 o 97 32.76/32.88 o 98 33.16/33.25 o 99 33.16/33.26 o 100 33.26/33.36 o 101 39.36/39.40 o 102 39.36/39.44 o 103 43.16/43.23 o 104 50.55/50.62 o 105 53.74/53.82 o 106 58.95/59.01 o 114 80.32/80.47 o 115 81.72/81.85 o 116 81.72/81.86 o 117 81.82/81.94 o 119 81.82/81.94 o 120 81.93/82.01 o 121 81.93/82.01 o 122 84.61/84.71 o 123 85.11/85.29 o 124 106.71/106.88 o 128 106.81/106.99 o 129 106.81/107.00 o 133 106.81/107.00 o 134 106.81/107.00 o 135 106.92/107.02 o 136 106.92/107.09 o 137 146.30/146.45 o 138 154.30/154.46 o 139 156.80/156.94 o 141 156.80/156.94 o 142 203.80/203.93 o 143 203.91/204.02 o 144 238.29/238.46 o 145 251.90/252.00 s SATISFIABLE 251.90/252.00 v <instantiation type="solution"> 251.90/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] z </list> 251.90/252.00 v <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 6 8 9 15 17 17 21 29 35 41 44 45 47 47 48 52 53 59 66 145 </values> 251.90/252.00 v </instantiation>
OK 145
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 (9711 MiB free)
memory of node 1: 16384 MiB (13775 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312444-1534698882/watcher-4312444-1534698882 -o /tmp/evaluation-result-4312444-1534698882/solver-4312444-1534698882 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534698881-28440 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1692366361 HOME/instance-4312444-1534698882.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
solver pid=28470, runsolver pid=28467
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 0.00 0.01 0.05 3/187 28471
/proc/meminfo: memFree=23953368/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=78928 memory=53368 CPUtime=0.07 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 13535 0 0 0 5 2 0 0 20 0 1 0 287451443 80822272 13342 33554432000 4194304 7499544 140732865544112 140732865541112 4254009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 19732 13342 695 807 0 12723 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 78928 KiB
Current children cumulated memory: 53368 KiB
[startup+0.20948 s]*
/proc/loadavg: 0.00 0.01 0.05 3/187 28471
/proc/meminfo: memFree=23924600/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99192 memory=74072 CPUtime=0.18 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 18744 0 0 0 15 3 0 0 20 0 1 0 287451443 101572608 18518 33554432000 4194304 7499544 140732865544112 140732865541112 4541765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24798 18518 790 807 0 17789 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 99192 KiB
Current children cumulated memory: 74072 KiB
[startup+0.30942 s]*
/proc/loadavg: 0.00 0.01 0.05 3/187 28471
/proc/meminfo: memFree=23923880/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99324 memory=74072 CPUtime=0.28 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 18782 0 0 0 25 3 0 0 20 0 1 0 287451443 101707776 18518 33554432000 4194304 7499544 140732865544112 140732865539128 140663446797285 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24831 18518 790 807 0 17822 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 99324 KiB
Current children cumulated memory: 74072 KiB
[startup+0.700308 s]
/proc/loadavg: 0.16 0.05 0.06 3/187 28471
/proc/meminfo: memFree=23923836/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99460 memory=74336 CPUtime=0.66 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 18833 0 0 0 63 3 0 0 20 0 1 0 287451443 101847040 18584 33554432000 4194304 7499544 140732865544112 140732865539128 4253104 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24865 18584 794 807 0 17856 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 99460 KiB
Current children cumulated memory: 74336 KiB
[startup+1.50026 s]
/proc/loadavg: 0.16 0.05 0.06 3/187 28471
/proc/meminfo: memFree=23923836/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99592 memory=74600 CPUtime=1.46 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 18853 0 0 0 143 3 0 0 20 0 1 0 287451443 101982208 18650 33554432000 4194304 7499544 140732865544112 140732865539128 5790971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24898 18650 796 807 0 17889 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 99592 KiB
Current children cumulated memory: 74600 KiB
[startup+3.1093 s]
/proc/loadavg: 0.16 0.05 0.06 3/187 28471
/proc/meminfo: memFree=23923340/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99592 memory=74684 CPUtime=3.07 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 28395 0 0 0 303 4 0 0 20 0 1 0 287451443 101982208 18671 33554432000 4194304 7499544 140732865544112 140732865539128 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24898 18671 796 807 0 17889 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 99592 KiB
Current children cumulated memory: 74684 KiB
[startup+6.30023 s]
/proc/loadavg: 0.31 0.08 0.07 3/187 28471
/proc/meminfo: memFree=23923040/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99724 memory=74732 CPUtime=6.26 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 38971 0 0 0 621 5 0 0 20 0 1 0 287451443 102117376 18683 33554432000 4194304 7499544 140732865544112 140732865538648 4379069 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24931 18683 796 807 0 17922 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 99724 KiB
Current children cumulated memory: 74732 KiB
[startup+12.7002 s]
/proc/loadavg: 0.45 0.11 0.08 3/187 28471
/proc/meminfo: memFree=23923168/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99724 memory=74760 CPUtime=12.66 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 49080 0 0 0 1260 6 0 0 20 0 1 0 287451443 102117376 18690 33554432000 4194304 7499544 140732865544112 140732865539128 4249975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24931 18690 796 807 0 17922 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 99724 KiB
Current children cumulated memory: 74760 KiB
[startup+25.5003 s]
/proc/loadavg: 0.68 0.17 0.10 3/188 28472
/proc/meminfo: memFree=23923684/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99724 memory=74812 CPUtime=25.46 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 68567 0 0 0 2539 7 0 0 20 0 1 0 287451443 102117376 18703 33554432000 4194304 7499544 140732865544112 140732865539128 5790967 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24931 18703 796 807 0 17922 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 99724 KiB
Current children cumulated memory: 74812 KiB
[startup+51.1093 s]
/proc/loadavg: 1.20 0.35 0.16 3/188 28472
/proc/meminfo: memFree=23922956/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99856 memory=74852 CPUtime=51.05 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 78975 0 0 0 5098 7 0 0 20 0 1 0 287451443 102252544 18713 33554432000 4194304 7499544 140732865544112 140732865539128 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24964 18713 796 807 0 17955 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 99856 KiB
Current children cumulated memory: 74852 KiB
[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 3/188 28473
/proc/meminfo: memFree=23924680/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99856 memory=74892 CPUtime=102.21 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 80967 0 0 0 10214 7 0 0 20 0 1 0 287451443 102252544 18723 33554432000 4194304 7499544 140732865544112 140732865539128 5790971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24964 18723 796 807 0 17955 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 99856 KiB
Current children cumulated memory: 74892 KiB
[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 3/188 28474
/proc/meminfo: memFree=23924160/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99988 memory=74944 CPUtime=162.21 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 81705 0 0 0 16213 8 0 0 20 0 1 0 287451443 102387712 18736 33554432000 4194304 7499544 140732865544112 140732865538584 4249975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24997 18736 796 807 0 17988 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 74944 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 3/188 28475
/proc/meminfo: memFree=23923776/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99988 memory=74976 CPUtime=222.2 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 82429 0 0 0 22212 8 0 0 20 0 1 0 287451443 102387712 18744 33554432000 4194304 7499544 140732865544112 140732865539128 4253104 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24997 18744 796 807 0 17988 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 74976 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 1.97 1.15 0.52 2/186 28476
/proc/meminfo: memFree=23978884/32770624 swapFree=67108792/67108860
[pid=28470] ppid=28467 vsize=99988 memory=74980 CPUtime=251.9 cores=0,2,4,6
/proc/28470/stat : 28470 (MistralXCSP) R 28467 28470 28409 0 -1 4202496 83121 0 0 0 25182 8 0 0 20 0 1 0 287451443 102387712 18745 33554432000 4194304 7499544 140732865544112 140732865539128 4253146 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 21807104 140732865549426 140732865549576 140732865549576 140732865552329 0
/proc/28470/statm: 24997 18745 796 807 0 17988 0
Current children cumulated CPU time: 251.9 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 74980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 28470 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.827 s, system=0.082986 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 252.01
CPU time (s): 251.91
CPU user time (s): 251.827
CPU system time (s): 0.082986
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 99988
Max. memory (cumulated for all children) (KiB): 74980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.827
system time used= 0.082986
maximum resident set size= 75000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83161
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= 39
involuntary context switches= 362
# summary of solver processes directly reported to runsolver:
# pid: 28470
# total CPU time (s): 251.91
# total CPU user time (s): 251.827
# total CPU system time (s): 0.082986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.93912 second user time and 1.76402 second system time
The end
Begin job on node150 at 2018-08-19 19:14:42 IDJOB=4312444 IDBENCH=141033 IDSOLVER=2801 FILE ID=node150/4312444-1534698882 RUNJOBID= node150-1534698881-28440 PBS_JOBID= 21038711 Free space on /tmp= 61180 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/StillLife/StillLife-wastage-17_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-4312444-1534698882/watcher-4312444-1534698882 -o /tmp/evaluation-result-4312444-1534698882/solver-4312444-1534698882 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534698881-28440 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1692366361 HOME/instance-4312444-1534698882.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6bdaa478fa612f14e4ae80d6384d4ab1 RANDOM SEED=1692366361 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24051796 kB MemAvailable: 31908172 kB Buffers: 202904 kB Cached: 7943704 kB SwapCached: 0 kB Active: 4324900 kB Inactive: 3875116 kB Active(anon): 30136 kB Inactive(anon): 92016 kB Active(file): 4294764 kB Inactive(file): 3783100 kB Unevictable: 7708 kB Mlocked: 7708 kB SwapTotal: 67108860 kB SwapFree: 67108792 kB Dirty: 11768 kB Writeback: 0 kB AnonPages: 60824 kB Mapped: 20456 kB Shmem: 66116 kB Slab: 216312 kB SReclaimable: 188692 kB SUnreclaim: 27620 kB KernelStack: 3104 kB PageTables: 5152 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 368064 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61172 MiB End job on node150 at 2018-08-19 19:18:54