Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-partial_industrial-_home_jplanes_evaluation_benchmarks_partial_industrial_bcp-msp_normalized-par8-4.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-msp/normalized-par8-4.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-msp/normalized-par8-4.wcnf *** c c Min unsat cost LB: 1 ... c Min unsat cost LB: 2 ... c Min unsat cost LB: 3 ... c Min unsat cost LB: 4 ... c Min unsat cost LB: 5 ... c Min unsat cost LB: 6 ... c Min unsat cost LB: 7 ... c Min unsat cost LB: 8 ... c Min unsat cost LB: 9 ... c Min unsat cost LB: 10 ... c Min unsat cost LB: 11 ... c Min unsat cost LB: 12 ... c Min unsat cost LB: 13 ... c Min unsat cost LB: 14 ... c Min unsat cost LB: 15 ... c Min unsat cost LB: 16 ... c Min unsat cost LB: 17 ... c Min unsat cost LB: 18 ... c Min unsat cost LB: 19 ... c Min unsat cost LB: 20 ... c Min unsat cost LB: 21 ... c Min unsat cost LB: 22 ... c Min unsat cost LB: 23 ... c Min unsat cost LB: 24 ... c Min unsat cost LB: 25 ... c Min unsat cost LB: 26 ... c Min unsat cost LB: 27 ... c Min unsat cost LB: 28 ... c Min unsat cost LB: 29 ... c Min unsat cost LB: 30 ... c Min unsat cost LB: 31 ... c Min unsat cost LB: 32 ... c Min unsat cost LB: 33 ... c Min unsat cost LB: 34 ... c Min unsat cost LB: 35 ... c Min unsat cost LB: 36 ... c Min unsat cost LB: 37 ... c Min unsat cost LB: 38 ... c Min unsat cost LB: 39 ... c Min unsat cost LB: 40 ... c Min unsat cost LB: 41 ... c Min unsat cost LB: 42 ... c Min unsat cost LB: 43 ... c Min unsat cost LB: 44 ... c Min unsat cost LB: 45 ... c Min unsat cost LB: 46 ... c Min unsat cost LB: 47 ... c Min unsat cost LB: 48 ... c Min unsat cost LB: 49 ... c Min unsat cost LB: 50 ... c Min unsat cost LB: 51 ... c Min unsat cost LB: 52 ... c Min unsat cost LB: 53 ... c Min unsat cost LB: 54 ... c Min unsat cost LB: 55 ... c Min unsat cost LB: 56 ... c Min unsat cost LB: 57 ... c Min unsat cost LB: 58 ... c Min unsat cost LB: 59 ... c Min unsat cost LB: 60 ... c Min unsat cost LB: 61 ... c Min unsat cost LB: 62 ... c Min unsat cost LB: 63 ... c Min unsat cost LB: 64 ... c Min unsat cost LB: 65 ... c Min unsat cost LB: 66 ... c Min unsat cost LB: 67 ... c Min unsat cost LB: 68 ... c Min unsat cost LB: 69 ... c Min unsat cost LB: 70 ... c Min unsat cost LB: 71 ... c Min unsat cost LB: 72 ... c Min unsat cost LB: 73 ... c Min unsat cost LB: 74 ... c Min unsat cost LB: 75 ... c Min unsat cost LB: 76 ... c Min unsat cost LB: 77 ... c Min unsat cost LB: 78 ... c Min unsat cost LB: 79 ... c Min unsat cost LB: 80 ... c Min unsat cost LB: 81 ... c Min unsat cost LB: 82 ... c Min unsat cost LB: 83 ... c Min unsat cost LB: 84 ... c Min unsat cost LB: 85 ... c Min unsat cost LB: 86 ... c Min unsat cost LB: 87 ... c Min unsat cost LB: 88 ... c Min unsat cost LB: 89 ... c Min unsat cost LB: 90 ... c Min unsat cost LB: 91 ... c Min unsat cost LB: 92 ... c Min unsat cost LB: 93 ... c Min unsat cost LB: 94 ... c Min unsat cost LB: 95 ... c Min unsat cost LB: 96 ... c Min unsat cost LB: 97 ... c Min unsat cost LB: 98 ... c Min unsat cost LB: 99 ... c Min unsat cost LB: 100 ... c Min unsat cost LB: 101 ... c Min unsat cost LB: 102 ... c Min unsat cost LB: 103 ... c Min unsat cost LB: 104 ... c Min unsat cost LB: 105 ... c Min unsat cost LB: 106 ... c Min unsat cost LB: 107 ... c Min unsat cost LB: 108 ... c Min unsat cost LB: 109 ... c Min unsat cost LB: 110 ... c Min unsat cost LB: 111 ... c Min unsat cost LB: 112 ... c Min unsat cost LB: 113 ... c Min unsat cost LB: 114 ... c Min unsat cost LB: 115 ... c Min unsat cost LB: 116 ... c Min unsat cost LB: 117 ... c Min unsat cost LB: 118 ... c Min unsat cost LB: 119 ... c Min unsat cost LB: 120 ... c Min unsat cost LB: 121 ... c Min unsat cost LB: 122 ... c Min unsat cost LB: 123 ... c Min unsat cost LB: 124 ... c Min unsat cost LB: 125 ... c Min unsat cost LB: 126 ... c Min unsat cost LB: 127 ... c Min unsat cost LB: 128 ... c Min unsat cost LB: 129 ... c Min unsat cost LB: 130 ... c Min unsat cost LB: 131 ... c Min unsat cost LB: 132 ... c Min unsat cost LB: 133 ... c Min unsat cost LB: 134 ... c Min unsat cost LB: 135 ... c Min unsat cost LB: 136 ... c Min unsat cost LB: 137 ... c Min unsat cost LB: 138 ... c Min unsat cost LB: 139 ... c Min unsat cost LB: 140 ... c Min unsat cost LB: 141 ... c Min unsat cost LB: 142 ... c Min unsat cost LB: 143 ... c Min unsat cost LB: 144 ... c Min unsat cost LB: 145 ... c Min unsat cost LB: 146 ... c Min unsat cost LB: 147 ... c Min unsat cost LB: 148 ... c Min unsat cost LB: 149 ... c Min unsat cost LB: 150 ... c Min unsat cost LB: 151 ... c Min unsat cost LB: 152 ... c Min unsat cost LB: 153 ... c Min unsat cost LB: 154 ... c Min unsat cost LB: 155 ... c Min unsat cost LB: 156 ... c Min unsat cost LB: 157 ... c Min unsat cost LB: 158 ... c Min unsat cost LB: 159 ... c Min unsat cost LB: 160 ... c Min unsat cost LB: 161 ... c Min unsat cost LB: 162 ... c Min unsat cost LB: 163 ... c Min unsat cost LB: 164 ... c Min unsat cost LB: 165 ... c Min unsat cost LB: 166 ... c Min unsat cost LB: 167 ... c Min unsat cost LB: 168 ... c Min unsat cost LB: 169 ... c Min unsat cost LB: 170 ... c Min unsat cost LB: 171 ... c Min unsat cost LB: 172 ... c Min unsat cost LB: 173 ... c Min unsat cost LB: 174 ... c Min unsat cost LB: 175 ... c Min unsat cost LB: 176 ... c Min unsat cost LB: 177 ... c Min unsat cost LB: 178 ... c Min unsat cost LB: 179 ... c Min unsat cost LB: 180 ... c Min unsat cost LB: 181 ... c Min unsat cost LB: 182 ... c Min unsat cost LB: 183 ... c Min unsat cost LB: 184 ... c Min unsat cost LB: 185 ... c Min unsat cost LB: 186 ... c Min unsat cost LB: 187 ... c Min unsat cost LB: 188 ... c Min unsat cost LB: 189 ... c Min unsat cost LB: 190 ... c Min unsat cost LB: 191 ... c Min unsat cost LB: 192 ... c Min unsat cost LB: 193 ... c Min unsat cost LB: 194 ... c Min unsat cost LB: 195 ... c Min unsat cost LB: 196 ... c Min unsat cost LB: 197 ... c Min unsat cost LB: 198 ... c Min unsat cost LB: 199 ... c Min unsat cost LB: 200 ... c Min unsat cost LB: 201 ... c Min unsat cost LB: 202 ... c Min unsat cost LB: 203 ... c Min unsat cost LB: 204 ... c Min unsat cost LB: 205 ... c Min unsat cost LB: 206 ... c Min unsat cost LB: 207 ... c Min unsat cost LB: 208 ... c Min unsat cost LB: 209 ... c Min unsat cost LB: 210 ... c Min unsat cost LB: 211 ... c Min unsat cost LB: 212 ... c Min unsat cost LB: 213 ... c Min unsat cost LB: 214 ... c Min unsat cost LB: 215 ... c Min unsat cost LB: 216 ... c Min unsat cost LB: 217 ... c Min unsat cost LB: 218 ... c Min unsat cost LB: 219 ... c Min unsat cost LB: 220 ... c Min unsat cost LB: 221 ... c Min unsat cost LB: 222 ... c Min unsat cost LB: 223 ... c Min unsat cost LB: 224 ... c Min unsat cost LB: 225 ... c Min unsat cost LB: 226 ... c Min unsat cost LB: 227 ... c Min unsat cost LB: 228 ... c Min unsat cost LB: 229 ... c Min unsat cost LB: 230 ... c Min unsat cost LB: 231 ... c Min unsat cost LB: 232 ... c Min unsat cost LB: 233 ... c Min unsat cost LB: 234 ... c Min unsat cost LB: 235 ... c Min unsat cost LB: 236 ... c Min unsat cost LB: 237 ... c Min unsat cost LB: 238 ... c Min unsat cost LB: 239 ... c Min unsat cost LB: 240 ... c Min unsat cost LB: 241 ... c Min unsat cost LB: 242 ... c Min unsat cost LB: 243 ... c Min unsat cost LB: 244 ... c Min unsat cost LB: 245 ... c Min unsat cost LB: 246 ... c Min unsat cost LB: 247 ... c Min unsat cost LB: 248 ... c Min unsat cost LB: 249 ... c Min unsat cost LB: 250 ... c Min unsat cost LB: 251 ... c Min unsat cost LB: 252 ... c Min unsat cost LB: 253 ... c Min unsat cost LB: 254 ... c Min unsat cost LB: 255 ... c Min unsat cost LB: 256 ... c Min unsat cost LB: 257 ... c Min unsat cost LB: 258 ... c Min unsat cost LB: 259 ... c Min unsat cost LB: 260 ... c Min unsat cost LB: 261 ... c Min unsat cost LB: 262 ... c Min unsat cost LB: 263 ... c Min unsat cost LB: 264 ... c Min unsat cost LB: 265 ... c Min unsat cost LB: 266 ... c Min unsat cost LB: 267 ... c Min unsat cost LB: 268 ... c Min unsat cost LB: 269 ... c Min unsat cost LB: 270 ... c Min unsat cost LB: 271 ... c Min unsat cost LB: 272 ... c Min unsat cost LB: 273 ... c Min unsat cost LB: 274 ... c Min unsat cost LB: 275 ... c Min unsat cost LB: 276 ... c Min unsat cost LB: 277 ... c Min unsat cost LB: 278 ... c Min unsat cost LB: 279 ... c Min unsat cost LB: 280 ... c Min unsat cost LB: 281 ... c Min unsat cost LB: 282 ... c Min unsat cost LB: 283 ... c Min unsat cost LB: 284 ... c Min unsat cost LB: 285 ... c Min unsat cost LB: 286 ... c Min unsat cost LB: 287 ... c Min unsat cost LB: 288 ... c Min unsat cost LB: 289 ... c Min unsat cost LB: 290 ... c Min unsat cost LB: 291 ... c Min unsat cost LB: 292 ... c Min unsat cost LB: 293 ... c Min unsat cost LB: 294 ... c Min unsat cost LB: 295 ... c Min unsat cost LB: 296 ... c Min unsat cost LB: 297 ... c Min unsat cost LB: 298 ... c Min unsat cost LB: 299 ... c Min unsat cost LB: 300 ... c Min unsat cost LB: 301 ... c Min unsat cost LB: 302 ... c Min unsat cost LB: 303 ... c Min unsat cost LB: 304 ... c Min unsat cost LB: 305 ... c Min unsat cost LB: 306 ... c Min unsat cost LB: 307 ... c Min unsat cost LB: 308 ... c Min unsat cost LB: 309 ... c Min unsat cost LB: 310 ... c Min unsat cost LB: 311 ... c Min unsat cost LB: 312 ... c Min unsat cost LB: 313 ... c Min unsat cost LB: 314 ... c Min unsat cost LB: 315 ... c Min unsat cost LB: 316 ... c Min unsat cost LB: 317 ... c Min unsat cost LB: 318 ... c Min unsat cost LB: 319 ... c Min unsat cost LB: 320 ... c Min unsat cost LB: 321 ... c Min unsat cost LB: 322 ... c Min unsat cost LB: 323 ... c Min unsat cost LB: 324 ... c Min unsat cost LB: 325 ... c Min unsat cost LB: 326 ... c Min unsat cost LB: 327 ... c Min unsat cost LB: 328 ... c Min unsat cost LB: 329 ... c Min unsat cost LB: 330 ... c Min unsat cost LB: 331 ... c Min unsat cost LB: 332 ... c Min unsat cost LB: 333 ... c Min unsat cost LB: 334 ... c Min unsat cost LB: 335 ... c Min unsat cost LB: 336 ... c Min unsat cost LB: 337 ... c Min unsat cost LB: 338 ... c Min unsat cost LB: 339 ... c Min unsat cost LB: 340 ... c Min unsat cost LB: 341 ... c Min unsat cost LB: 342 ... c Min unsat cost LB: 343 ... c Min unsat cost LB: 344 ... c Min unsat cost LB: 345 ... c Min unsat cost LB: 346 ... c Min unsat cost LB: 347 ... c Min unsat cost LB: 348 ... c Min unsat cost LB: 349 ... c Min unsat cost LB: 350 ... o 350 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 -379 380 -381 382 -383 384 -385 386 -387 388 389 -390 -391 392 -393 394 -395 396 -397 398 -399 400 401 -402 -403 404 -405 406 -407 408 -409 410 -411 412 413 -414 -415 416 -417 418 -419 420 -421 422 -423 424 425 -426 -427 428 -429 430 -431 432 -433 434 -435 436 437 -438 -439 440 -441 442 -443 444 -445 446 -447 448 449 -450 -451 452 -453 454 -455 456 -457 458 -459 460 461 -462 -463 464 -465 466 -467 468 -469 470 -471 472 473 -474 -475 476 -477 478 -479 480 -481 482 -483 484 485 -486 -487 488 -489 490 -491 492 -493 494 -495 496 497 -498 -499 500 -501 502 -503 504 -505 506 -507 508 -509 510 -511 512 -513 514 -515 516 -517 518 -519 520 -521 522 -523 524 -525 526 -527 528 -529 530 -531 532 -533 534 -535 536 -537 538 -539 540 -541 542 -543 544 545 -546 -547 548 -549 550 -551 552 -553 554 -555 556 -557 558 -559 560 -561 562 -563 564 -565 566 -567 568 -569 570 -571 572 -573 574 -575 576 -577 578 -579 580 -581 582 -583 584 -585 586 -587 588 -589 590 -591 592 -593 594 -595 596 -597 598 -599 600 -601 602 -603 604 -605 606 -607 608 -609 610 -611 612 -613 614 -615 616 -617 618 -619 620 -621 622 -623 624 -625 626 -627 628 -629 630 -631 632 -633 634 -635 636 -637 638 -639 640 -641 642 -643 644 -645 646 -647 648 -649 650 -651 652 -653 654 -655 656 -657 658 -659 660 -661 662 -663 664 -665 666 -667 668 -669 670 -671 672 -673 674 -675 676 -677 678 -679 680 -681 682 -683 684 -685 686 -687 688 -689 690 -691 692 -693 694 -695 696 -697 698 -699 700 c CPU Time: 1.68874 1.690u 0.009s 0:01.70 99.4% 0+0k 0+0io 0pf+0w