Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-QMaxSat-pms_crafted-_home_maxsat_benchmarks_pms_crafted_MAXCLIQUE_STRUCTURED_MANN_a27.clq.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/MAXCLIQUE/STRUCTURED/MANN_a27.clq.wcnf
Job solver: /home/maxsat/solvers/QMaxSat/QMaxSat
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
122.969u 0.013s 2:03.86 99.2%	0+0k 0+0io 0pf+0w