Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-06-15 | SAT (TO) | 186 | 2400.11 | 2400.01 |
| Name | StillLife/ StillLife-wastage-19_c18.xml |
| MD5SUM | bc316652a8a0d5c7d33934cb88eaeb44 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 190 |
| Best CPU time to get the best result obtained on this benchmark | 154.096 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 904 |
| Number of constraints | 559 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 883 |
| Distribution of domain sizes | [{"size":2,"count":441},{"size":3,"count":441},{"size":362,"count":1},{"size":883,"count":21}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 22 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":438},{"degree":3,"count":24},{"degree":4,"count":76},{"degree":8,"count":72},{"degree":9,"count":289},{"degree":22,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 23 |
| Distribution of constraint arities | [{"arity":2,"count":97},{"arity":3,"count":76},{"arity":10,"count":361},{"arity":21,"count":4},{"arity":22,"count":1},{"arity":23,"count":20}] |
| Number of extensional constraints | 437 |
| Number of intensional constraints | 96 |
| Distribution of constraint types | [{"type":"extension","count":437},{"type":"intension","count":96},{"type":"sum","count":22},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.03 c Mistral 16062018 0.18/0.24 o 4 0.18/0.24 o 6 0.18/0.25 o 7 0.18/0.25 o 8 0.18/0.25 o 9 0.18/0.25 o 10 0.18/0.25 o 11 0.18/0.25 o 12 0.18/0.26 o 13 0.18/0.26 o 14 0.18/0.27 o 15 0.18/0.27 o 16 0.27/0.32 o 18 0.27/0.32 o 19 0.27/0.32 o 20 0.27/0.33 o 23 0.27/0.33 o 24 0.27/0.33 o 25 0.27/0.39 o 29 0.27/0.39 o 30 0.27/0.39 o 33 0.27/0.39 o 34 0.27/0.39 o 35 0.27/0.39 o 36 0.27/0.39 o 37 0.27/0.41 o 38 0.37/0.44 o 39 0.37/0.44 o 40 0.37/0.44 o 41 0.37/0.48 o 43 0.37/0.48 o 44 0.37/0.48 o 45 0.37/0.48 o 46 0.37/0.48 o 47 0.37/0.49 o 48 0.37/0.49 o 49 0.37/0.49 o 50 0.37/0.49 o 51 0.37/0.50 o 52 0.37/0.51 o 53 0.47/0.57 o 54 0.47/0.60 o 55 0.57/0.62 o 59 0.57/0.64 o 60 0.57/0.66 o 61 0.57/0.68 o 62 0.66/0.70 o 64 0.66/0.70 o 65 0.76/0.86 o 66 0.76/0.86 o 67 0.76/0.87 o 68 0.76/0.87 o 69 0.76/0.88 o 101 0.76/0.88 o 102 0.86/0.97 o 103 0.86/0.97 o 104 0.86/0.97 o 105 0.86/0.98 o 106 0.86/0.98 o 107 1.06/1.12 o 108 1.06/1.13 o 109 1.06/1.13 o 110 1.06/1.14 o 111 1.06/1.14 o 112 1.06/1.16 o 113 1.06/1.16 o 114 1.06/1.16 o 115 1.06/1.17 o 116 1.16/1.26 o 117 1.16/1.26 o 118 1.16/1.29 o 119 1.36/1.41 o 120 1.56/1.60 o 123 1.96/2.01 o 124 2.45/2.59 o 125 2.45/2.59 o 131 2.45/2.60 o 132 2.55/2.68 o 133 2.75/2.86 o 134 3.06/3.12 o 135 3.35/3.40 o 136 3.35/3.47 o 137 3.85/3.99 o 138 4.65/4.76 o 139 4.85/4.91 o 140 4.96/5.07 o 141 6.65/6.78 o 142 6.85/6.99 o 143 6.96/7.06 o 144 7.55/7.63 o 145 8.06/8.13 o 146 8.06/8.15 o 147 8.55/8.61 o 148 10.96/11.08 o 149 11.06/11.11 o 150 11.06/11.14 o 151 11.06/11.14 o 153 11.06/11.14 o 154 11.06/11.15 o 155 11.06/11.19 o 156 11.35/11.45 o 157 11.45/11.56 o 158 15.85/15.91 o 159 15.85/15.91 o 160 16.25/16.39 o 161 19.34/19.43 o 162 19.84/19.91 o 163 19.95/20.04 o 164 21.14/21.29 o 165 21.34/21.41 o 166 21.34/21.41 o 167 39.24/39.30 o 168 54.33/54.40 o 169 57.43/57.55 o 170 99.33/99.43 o 171 99.43/99.54 o 172 99.43/99.54 o 173 99.43/99.54 o 175 99.43/99.54 o 176 99.63/99.79 o 177 109.13/109.28 o 178 327.85/327.93 o 179 342.55/342.60 o 180 410.75/410.80 o 181 457.45/457.50 o 182 643.27/643.37 o 183 669.87/669.97 o 184 788.58/788.61 o 185 1095.02/1095.03 o 186 2400.10/2400.01 s SATISFIABLE 2400.10/2400.01 v <instantiation type="solution"> 2400.10/2400.01 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[0][20] 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[1][20] 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[2][20] 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[3][20] 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[4][20] 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[5][20] 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[6][20] 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[7][20] 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[8][20] 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[9][20] 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[10][20] 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[11][20] 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[12][20] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] 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[0][19] w[0][20] 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[1][19] w[1][20] 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[2][19] w[2][20] 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[3][19] w[3][20] 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[4][19] w[4][20] 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[5][19] w[5][20] 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[6][19] w[6][20] 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[7][19] w[7][20] 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[8][19] w[8][20] 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[9][19] w[9][20] 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[10][19] w[10][20] 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[11][19] w[11][20] 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[12][19] w[12][20] 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[13][19] w[13][20] 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[14][19] w[14][20] 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[15][19] w[15][20] 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[16][19] w[16][20] 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[17][19] w[17][20] 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] w[18][19] w[18][20] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] 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] ws[19] ws[20] z </list> 2400.10/2400.01 v <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 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 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 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 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 0 0 2 0 0 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 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 1 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 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 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 6 6 6 11 13 13 16 17 17 21 24 28 30 32 34 35 36 43 45 47 54 186 </values> 2400.10/2400.01 v </instantiation>
OK 186
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 (7841 MiB free)
memory of node 1: 16384 MiB (8971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289272-1532190502/watcher-4289272-1532190502 -o /tmp/evaluation-result-4289272-1532190502/solver-4289272-1532190502 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532190501-26286 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289272-1532190502.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26302, runsolver pid=26299
[startup+0.100219 s]*
/proc/loadavg: 0.00 0.01 0.05 2/187 26304
/proc/meminfo: memFree=17180344/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=70256 memory=44728 CPUtime=0.07 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 11374 0 3 0 5 2 0 0 20 0 1 0 36613364 71942144 11182 33554432000 4194304 7498468 140726003340832 140726003332216 5790441 0 0 4096 0 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 17564 11182 697 807 0 10555 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 70256 KiB
Current children cumulated memory: 44728 KiB
[startup+0.210172 s]*
/proc/loadavg: 0.00 0.01 0.05 2/187 26304
/proc/meminfo: memFree=17127332/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=115624 memory=90552 CPUtime=0.18 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 22826 0 3 0 15 3 0 0 20 0 1 0 36613364 118398976 22638 33554432000 4194304 7498468 140726003340832 140726003332216 4253153 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 28906 22638 781 807 0 21897 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 115624 KiB
Current children cumulated memory: 90552 KiB
[startup+0.309676 s]*
/proc/loadavg: 0.00 0.01 0.05 2/187 26304
/proc/meminfo: memFree=17126340/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=116356 memory=91212 CPUtime=0.27 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 23053 0 3 0 24 3 0 0 20 0 1 0 36613364 119148544 22803 33554432000 4194304 7498468 140726003340832 140726003332216 140143137426405 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29089 22803 786 807 0 22080 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 116356 KiB
Current children cumulated memory: 91212 KiB
[startup+0.700411 s]
/proc/loadavg: 0.00 0.01 0.05 3/193 26319
/proc/meminfo: memFree=17110972/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=116752 memory=91740 CPUtime=0.66 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 23155 0 3 0 63 3 0 0 20 0 1 0 36613364 119554048 22935 33554432000 4194304 7498468 140726003340832 140726003332216 5791406 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29188 22935 794 807 0 22179 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 116752 KiB
Current children cumulated memory: 91740 KiB
[startup+1.50042 s]
/proc/loadavg: 0.00 0.01 0.05 3/193 26319
/proc/meminfo: memFree=17074144/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=116884 memory=91740 CPUtime=1.46 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 23185 0 3 0 143 3 0 0 20 0 1 0 36613364 119689216 22935 33554432000 4194304 7498468 140726003340832 140726003332216 5791454 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29221 22935 794 807 0 22212 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 116884 KiB
Current children cumulated memory: 91740 KiB
[startup+3.10974 s]
/proc/loadavg: 0.00 0.01 0.05 3/193 26319
/proc/meminfo: memFree=17073592/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117016 memory=92044 CPUtime=3.06 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 35588 0 3 0 303 3 0 0 20 0 1 0 36613364 119824384 23011 33554432000 4194304 7498468 140726003340832 140726003335848 4580687 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29254 23011 795 807 0 22245 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 117016 KiB
Current children cumulated memory: 92044 KiB
[startup+6.30039 s]
/proc/loadavg: 0.24 0.06 0.06 3/193 26319
/proc/meminfo: memFree=17073576/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117148 memory=92164 CPUtime=6.25 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 48091 0 3 0 621 4 0 0 20 0 1 0 36613364 119959552 23041 33554432000 4194304 7498468 140726003340832 140726003335848 4245328 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29287 23041 795 807 0 22278 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 117148 KiB
Current children cumulated memory: 92164 KiB
[startup+12.7004 s]
/proc/loadavg: 0.38 0.10 0.07 3/193 26319
/proc/meminfo: memFree=17073732/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117280 memory=92260 CPUtime=12.65 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 60039 0 3 0 1260 5 0 0 20 0 1 0 36613364 120094720 23065 33554432000 4194304 7498468 140726003340832 140726003335848 5791406 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29320 23065 795 807 0 22311 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 117280 KiB
Current children cumulated memory: 92260 KiB
[startup+25.5004 s]
/proc/loadavg: 0.74 0.19 0.10 3/193 26319
/proc/meminfo: memFree=17074996/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117280 memory=92332 CPUtime=25.45 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 75390 0 3 0 2539 6 0 0 20 0 1 0 36613364 120094720 23083 33554432000 4194304 7498468 140726003340832 140726003335848 5791410 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29320 23083 795 807 0 22311 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 117280 KiB
Current children cumulated memory: 92332 KiB
[startup+51.11 s]
/proc/loadavg: 1.17 0.34 0.15 3/193 26319
/proc/meminfo: memFree=17075028/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117280 memory=92360 CPUtime=51.04 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 80224 0 3 0 5098 6 0 0 20 0 1 0 36613364 120094720 23090 33554432000 4194304 7498468 140726003340832 140726003335848 5791406 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29320 23090 795 807 0 22311 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 117280 KiB
Current children cumulated memory: 92360 KiB
[startup+102.3 s]
/proc/loadavg: 1.59 0.58 0.25 3/193 26328
/proc/meminfo: memFree=17074148/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117280 memory=92384 CPUtime=102.23 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 81298 0 3 0 10217 6 0 0 20 0 1 0 36613364 120094720 23096 33554432000 4194304 7498468 140726003340832 140726003335848 4378989 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29320 23096 795 807 0 22311 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 117280 KiB
Current children cumulated memory: 92384 KiB
[startup+162.3 s]
/proc/loadavg: 1.85 0.84 0.35 3/194 26330
/proc/meminfo: memFree=17074304/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92412 CPUtime=162.24 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 81863 0 3 0 16218 6 0 0 20 0 1 0 36613364 120229888 23103 33554432000 4194304 7498468 140726003340832 140726003335848 4252512 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23103 795 807 0 22344 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92412 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.46 3/194 26331
/proc/meminfo: memFree=17074320/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92420 CPUtime=222.24 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 82427 0 3 0 22218 6 0 0 20 0 1 0 36613364 120229888 23105 33554432000 4194304 7498468 140726003340832 140726003335848 5791624 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23105 795 807 0 22344 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92420 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.55 3/194 26332
/proc/meminfo: memFree=17074048/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92420 CPUtime=282.24 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 82428 0 3 0 28218 6 0 0 20 0 1 0 36613364 120229888 23105 33554432000 4194304 7498468 140726003340832 140726003335848 4253179 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23105 795 807 0 22344 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92420 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 3/192 26333
/proc/meminfo: memFree=17074240/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92428 CPUtime=342.25 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 83000 0 3 0 34219 6 0 0 20 0 1 0 36613364 120229888 23107 33554432000 4194304 7498468 140726003340832 140726003335848 5791446 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23107 795 807 0 22344 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92428 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 3/191 26334
/proc/meminfo: memFree=17074468/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92428 CPUtime=402.25 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 83001 0 3 0 40219 6 0 0 20 0 1 0 36613364 120229888 23107 33554432000 4194304 7498468 140726003340832 140726003335848 4580120 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23107 795 807 0 22344 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92428 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.81 3/191 26335
/proc/meminfo: memFree=17074564/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92436 CPUtime=462.25 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 83513 0 3 0 46219 6 0 0 20 0 1 0 36613364 120229888 23109 33554432000 4194304 7498468 140726003340832 140726003335848 5791419 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23109 795 807 0 22344 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92436 KiB
################
# More data... #
################
/proc/26302/statm: 29353 23121 795 807 0 22344 0
Current children cumulated CPU time: 1602.34 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92484 KiB
[startup+1662.3 s]
/proc/loadavg: 2.05 2.00 1.68 3/191 26377
/proc/meminfo: memFree=17073300/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92488 CPUtime=1662.34 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 88812 0 3 0 166227 7 0 0 20 0 1 0 36613364 120229888 23122 33554432000 4194304 7498468 140726003340832 140726003335848 5791040 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23122 795 807 0 22344 0
Current children cumulated CPU time: 1662.34 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92488 KiB
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 1.70 3/191 26378
/proc/meminfo: memFree=17073172/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92488 CPUtime=1722.35 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 88814 0 3 0 172228 7 0 0 20 0 1 0 36613364 120229888 23122 33554432000 4194304 7498468 140726003340832 140726003335848 4250007 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23122 795 807 0 22344 0
Current children cumulated CPU time: 1722.35 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92488 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.72 3/191 26380
/proc/meminfo: memFree=17072648/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92488 CPUtime=1782.35 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 89351 0 3 0 178228 7 0 0 20 0 1 0 36613364 120229888 23122 33554432000 4194304 7498468 140726003340832 140726003335848 5791406 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23122 795 807 0 22344 0
Current children cumulated CPU time: 1782.35 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92488 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/191 26381
/proc/meminfo: memFree=17073160/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92488 CPUtime=1842.36 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 89353 0 3 0 184229 7 0 0 20 0 1 0 36613364 120229888 23122 33554432000 4194304 7498468 140726003340832 140726003335848 5838192 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23122 795 807 0 22344 0
Current children cumulated CPU time: 1842.36 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92488 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/192 26390
/proc/meminfo: memFree=17072332/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92492 CPUtime=1902.36 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 89885 0 3 0 190229 7 0 0 20 0 1 0 36613364 120229888 23123 33554432000 4194304 7498468 140726003340832 140726003335848 5773638 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23123 795 807 0 22344 0
Current children cumulated CPU time: 1902.36 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92492 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/193 26414
/proc/meminfo: memFree=17071160/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92492 CPUtime=1962.36 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 89886 0 3 0 196229 7 0 0 20 0 1 0 36613364 120229888 23123 33554432000 4194304 7498468 140726003340832 140726003335848 4403360 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23123 795 807 0 22344 0
Current children cumulated CPU time: 1962.36 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92492 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/193 26415
/proc/meminfo: memFree=17072876/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92492 CPUtime=2022.37 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 90422 0 3 0 202230 7 0 0 20 0 1 0 36613364 120229888 23123 33554432000 4194304 7498468 140726003340832 140726003335848 4253171 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23123 795 807 0 22344 0
Current children cumulated CPU time: 2022.37 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92492 KiB
[startup+2082.3 s]
/proc/loadavg: 2.13 2.03 1.81 3/194 26417
/proc/meminfo: memFree=17072868/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92492 CPUtime=2082.37 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 90425 0 3 0 208230 7 0 0 20 0 1 0 36613364 120229888 23123 33554432000 4194304 7498468 140726003340832 140726003335848 4580282 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23123 795 807 0 22344 0
Current children cumulated CPU time: 2082.37 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92492 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 1.82 3/194 26418
/proc/meminfo: memFree=17072904/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92492 CPUtime=2142.38 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 90950 0 3 0 214231 7 0 0 20 0 1 0 36613364 120229888 23123 33554432000 4194304 7498468 140726003340832 140726003335848 5772566 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23123 795 807 0 22344 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92492 KiB
[startup+2202.3 s]
/proc/loadavg: 2.58 2.18 1.88 3/194 26419
/proc/meminfo: memFree=17072524/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92492 CPUtime=2202.38 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 90951 0 3 0 220231 7 0 0 20 0 1 0 36613364 120229888 23123 33554432000 4194304 7498468 140726003340832 140726003335848 4404954 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23123 795 807 0 22344 0
Current children cumulated CPU time: 2202.38 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92492 KiB
[startup+2262.3 s]
/proc/loadavg: 2.21 2.14 1.89 3/192 26420
/proc/meminfo: memFree=17072680/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92496 CPUtime=2262.38 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 91437 0 3 0 226231 7 0 0 20 0 1 0 36613364 120229888 23124 33554432000 4194304 7498468 140726003340832 140726003335848 5791406 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23124 795 807 0 22344 0
Current children cumulated CPU time: 2262.38 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92496 KiB
[startup+2322.3 s]
/proc/loadavg: 2.12 2.13 1.90 3/192 26421
/proc/meminfo: memFree=17072648/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92496 CPUtime=2322.39 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 91443 0 3 0 232232 7 0 0 20 0 1 0 36613364 120229888 23124 33554432000 4194304 7498468 140726003340832 140726003335848 5164386 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23124 795 807 0 22344 0
Current children cumulated CPU time: 2322.39 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92496 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.11 1.91 3/191 26423
/proc/meminfo: memFree=17072508/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92500 CPUtime=2382.39 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 91897 0 3 0 238232 7 0 0 20 0 1 0 36613364 120229888 23125 33554432000 4194304 7498468 140726003340832 140726003335848 4404880 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23125 795 807 0 22344 0
Current children cumulated CPU time: 2382.39 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.03 2.10 1.91 3/191 26423
/proc/meminfo: memFree=17072508/32770624 swapFree=67108860/67108860
[pid=26302] ppid=26299 vsize=117412 memory=92500 CPUtime=2400.1 cores=0,2,4,6
/proc/26302/stat : 26302 (MistralXCSP) R 26299 26302 26255 0 -1 4202496 91898 0 3 0 240003 7 0 0 20 0 1 0 36613364 120229888 23125 33554432000 4194304 7498468 140726003340832 140726003335848 5791403 0 0 4096 16386 0 0 0 17 4 0 0 2 0 0 9598848 9604096 30957568 140726003344493 140726003344643 140726003344643 140726003347401 0
/proc/26302/statm: 29353 23125 795 807 0 22344 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 26302 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.04 s, system=0.074005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.01
CPU time (s): 2400.11
CPU user time (s): 2400.04
CPU system time (s): 0.074005
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 117412
Max. memory (cumulated for all children) (KiB): 92500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.074005
maximum resident set size= 92520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91942
page faults= 3
swaps= 0
block input operations= 3320
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59
involuntary context switches= 740
# summary of solver processes directly reported to runsolver:
# pid: 26302
# total CPU time (s): 2400.11
# total CPU user time (s): 2400.04
# total CPU system time (s): 0.074005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.11989 second user time and 17.733 second system time
The end
Begin job on node133 at 2018-07-21 18:28:22 IDJOB=4289272 IDBENCH=141031 IDSOLVER=2741 FILE ID=node133/4289272-1532190502 RUNJOBID= node133-1532190501-26286 PBS_JOBID= 21018934 Free space on /tmp= 52648 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/StillLife/StillLife-wastage-19_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-4289272-1532190502/watcher-4289272-1532190502 -o /tmp/evaluation-result-4289272-1532190502/solver-4289272-1532190502 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532190501-26286 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289272-1532190502.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bc316652a8a0d5c7d33934cb88eaeb44 RANDOM SEED=1377696294 node133.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.24 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.24 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.24 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.24 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: 17218104 kB MemAvailable: 31942248 kB Buffers: 213524 kB Cached: 14592996 kB SwapCached: 0 kB Active: 1135632 kB Inactive: 13722640 kB Active(anon): 54336 kB Inactive(anon): 17024 kB Active(file): 1081296 kB Inactive(file): 13705616 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8672 kB Writeback: 0 kB AnonPages: 58928 kB Mapped: 34640 kB Shmem: 17056 kB Slab: 391100 kB SReclaimable: 365692 kB SUnreclaim: 25408 kB KernelStack: 3232 kB PageTables: 4824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 318676 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: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 52632 MiB End job on node133 at 2018-07-21 19:08:22