Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_industrial-_home_maxsat_benchmarks_pms_industrial_bcp-hipp-yRa1_simp_simp-test_chr10_HCB_75.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr10_HCB_75.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 13
o 21
o 20
o 19
o 18
o 17
o 16
o 15
c 8222 branches 55397 propagates
c total generalized unit propagation = 17800, success = 42.65%
s OPTIMUM FOUND
c Optimal Solution = 15
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 -37 -36 -40 -39 -38 -44 -43 -42 -41 -45 -48 47 46 49 -50 -51 52 -53 54 55 56 -57 -58 63 62 61 60 -59 -64 65 -66 -67 68 -69 70 71 72 -73 -74 75 76 77 85 84 83 82 81 80 79 -78 -86 -87 88 89 90 91 -92 -93 -94 -95 96 97 98 99 100 101 102 103 -104 105 106 -117 116 115 114 113 112 111 110 109 108 107 -118 119 120 121 -122 123 -124 125 126 -127 -128 134 133 132 131 130 -129 -135 -136 137 138 139 140 141 142 143 144 145 146 147 151 150 149 148 -152 -153 -154 155 -156 -157 158 -159 160 161 -162 -163 -164 165 166 167 175 174 173 172 171 170 169 -168 187 186 185 184 183 182 181 -180 179 178 177 176 188 -189 190 -191 -192 -193 -194 195 196 197 198 208 207 206 205 204 203 202 201 -200 199 -223 222 221 220 219 218 217 216 215 214 213 212 211 210 209 224 -225 -226 227 -228 -229 230 -231 232 233 -234 -235 -236 237 238 239 256 255 254 253 252 251 250 249 248 247 246 245 244 243 -242 241 240 -272 271 270 269 268 267 266 265 264 263 262 261 260 259 258 257 273 -274 -275 276 -277 -278 279 -280 -281 -282 -283 284 285 286 287 302 301 300 299 298 297 296 295 294 293 292 291 290 289 288 320 319 318 317 316 315 314 313 312 311 310 309 308 307 306 305 304 -303 329 328 327 326 325 324 323 322 -321 339 338 337 336 335 334 333 332 331 -330 352 351 350 349 348 347 346 345 344 343 342 341 -340 364 363 362 361 360 359 358 357 356 355 354 -353 373 372 371 370 369 368 367 366 -365 382 381 380 379 378 377 376 375 -374 390 389 388 387 386 385 384 -383 401 400 399 398 397 396 395 394 393 392 -391 411 410 409 408 407 406 405 404 403 -402 427 426 425 424 423 422 421 420 419 418 417 416 415 414 413 -412 439 438 437 436 435 434 433 432 431 430 429 -428 446 445 444 443 442 441 -440 452 451 450 449 448 -447 456 455 454 -453 458 -457
6.989u 0.006s 0:07.01 99.5%	0+0k 0+0io 0pf+0w