Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-QMaxSat0.11-pms_crafted-_home_maxsat_benchmarks_pms_crafted_maxclicque_structured_MANN_a27.clq.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/maxclicque/structured/MANN_a27.clq.wcnf
Job solver: /home/maxsat/solvers/QMaxSat0.11/QMaxSat0.11
o 253
o 252
s OPTIMUM FOUND
v -1 2 3 4 5 6 7 8 9 10 11 12 13 -14 -15 -16 -17 18 -19 -20 21 22 -23 24 -25 26 27 28 -29 30 31 32 -33 -34 35 36 37 38 -39 40 41 -42 43 44 -45 46 -47 48 49 -50 51 52 53 -54 55 56 -57 58 59 -60 61 -62 63 -64 65 66 -67 68 69 70 71 -72 73 74 -75 -76 77 78 -79 80 81 -82 83 84 -85 86 87 -88 89 90 -91 92 93 -94 95 96 97 98 -99 100 101 -102 -103 104 105 106 -107 108 109 110 -111 112 -113 114 115 116 -117 118 -119 120 121 122 -123 -124 125 126 127 -128 129 130 131 -132 -133 134 135 136 -137 138 -139 140 141 142 143 -144 145 146 -147 148 149 -150 -151 152 153 -154 155 156 -157 158 159 -160 161 162 163 -164 165 166 167 -168 169 170 -171 172 -173 174 -175 176 177 178 179 -180 181 -182 183 184 185 -186 187 -188 189 -190 191 192 193 194 -195 -196 197 198 199 200 -201 -202 203 204 205 206 -207 208 209 -210 211 212 -213 -214 215 216 -217 218 219 220 -221 222 223 -224 225 -226 227 228 229 230 -231 -232 233 234 235 -236 237 -238 239 240 241 -242 243 -244 245 246 247 248 -249 250 -251 252 -253 254 255 -256 257 258 259 -260 261 -262 263 264 265 266 -267 268 269 -270 -271 272 273 -274 275 276 277 278 -279 -280 281 282 283 -284 285 -286 287 288 -289 290 291 292 293 -294 295 296 -297 -298 299 300 301 302 -303 304 -305 306 307 -308 309 -310 311 312 -313 314 315 316 -317 318 319 320 -321 -322 323 324 -325 326 327 -328 329 330 -331 332 333 -334 335 336 337 338 -339 340 341 -342 343 -344 345 -346 347 348 349 350 -351 352 -353 354 -355 356 357 358 -359 360 361 362 -363 -364 365 366 -367 368 369 -370 371 372 -373 374 375 376 377 -378 
c Answer = 252 by 2 loops
144.727u 0.015s 2:24.90 99.8%	0+0k 0+0io 0pf+0w