Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-30-2_network-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-10.net.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/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-10.net.wcnf *** c c Min unsat cost LB: 1123 ... c Min unsat cost LB: 1819 ... c Min unsat cost LB: 3394 ... c Min unsat cost LB: 3652 ... c Min unsat cost LB: 4612 ... c Min unsat cost LB: 5395 ... c Min unsat cost LB: 6083 ... c Min unsat cost LB: 6108 ... c Min unsat cost LB: 6765 ... c Min unsat cost LB: 6939 ... c Min unsat cost LB: 7453 ... c Min unsat cost LB: 7517 ... c Min unsat cost LB: 7522 ... c Min unsat cost LB: 8166 ... c Min unsat cost LB: 8335 ... c Min unsat cost LB: 8737 ... c Min unsat cost LB: 8996 ... c Min unsat cost LB: 9185 ... c Min unsat cost LB: 9272 ... c Min unsat cost LB: 9383 ... c Min unsat cost LB: 9475 ... c Min unsat cost LB: 9981 ... c Min unsat cost LB: 10000 ... c Min unsat cost LB: 10213 ... c Min unsat cost LB: 10296 ... c Min unsat cost LB: 10457 ... c Min unsat cost LB: 10505 ... c Min unsat cost LB: 10714 ... c Min unsat cost LB: 10883 ... c Min unsat cost LB: 11397 ... c Min unsat cost LB: 11412 ... c Min unsat cost LB: 11772 ... c Min unsat cost LB: 12174 ... c Min unsat cost LB: 13321 ... c Min unsat cost LB: 13475 ... c Min unsat cost LB: 13477 ... c Min unsat cost LB: 14363 ... c Min unsat cost LB: 14663 ... c Min unsat cost LB: 15056 ... c Min unsat cost LB: 15291 ... c Min unsat cost LB: 15378 ... c Min unsat cost LB: 15413 ... c Min unsat cost LB: 15426 ... c Min unsat cost LB: 15452 ... c Min unsat cost LB: 15536 ... c Min unsat cost LB: 15637 ... c Min unsat cost LB: 15651 ... c Min unsat cost LB: 15664 ... c Min unsat cost LB: 15699 ... c Min unsat cost LB: 15739 ... c Min unsat cost LB: 15937 ... c Min unsat cost LB: 15951 ... c Min unsat cost LB: 16038 ... c Min unsat cost LB: 16106 ... c Min unsat cost LB: 16385 ... c Min unsat cost LB: 16387 ... c Min unsat cost LB: 16446 ... c Min unsat cost LB: 16523 ... c Min unsat cost LB: 16877 ... c Min unsat cost LB: 16964 ... c Min unsat cost LB: 16981 ... c Min unsat cost LB: 17075 ... c Min unsat cost LB: 17258 ... c Min unsat cost LB: 17417 ... c Min unsat cost LB: 17561 ... c Min unsat cost LB: 17678 ... c Min unsat cost LB: 17810 ... c Min unsat cost LB: 17895 ... c Min unsat cost LB: 17897 ... c Min unsat cost LB: 18119 ... c Min unsat cost LB: 18176 ... c Min unsat cost LB: 18193 ... c Min unsat cost LB: 18283 ... c Min unsat cost LB: 18448 ... c Min unsat cost LB: 18450 ... c Min unsat cost LB: 18552 ... c Min unsat cost LB: 18588 ... c Min unsat cost LB: 18590 ... c Min unsat cost LB: 18681 ... c Min unsat cost LB: 18718 ... c Min unsat cost LB: 18759 ... c Min unsat cost LB: 18952 ... c Min unsat cost LB: 18984 ... c Min unsat cost LB: 19231 ... c Min unsat cost LB: 19276 ... c Min unsat cost LB: 19289 ... c Min unsat cost LB: 19300 ... c Min unsat cost LB: 19370 ... c Min unsat cost LB: 19382 ... c Min unsat cost LB: 19383 ... c Min unsat cost LB: 19397 ... c Min unsat cost LB: 19408 ... c Min unsat cost LB: 19476 ... c Min unsat cost LB: 19489 ... c Min unsat cost LB: 19490 ... c Min unsat cost LB: 19493 ... c Min unsat cost LB: 19505 ... c Min unsat cost LB: 19511 ... c Min unsat cost LB: 19522 ... c Min unsat cost LB: 19540 ... c Min unsat cost LB: 19571 ... c Min unsat cost LB: 19574 ... c Min unsat cost LB: 19585 ... c Min unsat cost LB: 19595 ... c Min unsat cost LB: 19606 ... c Min unsat cost LB: 19610 ... c Min unsat cost LB: 19643 ... c Min unsat cost LB: 19778 ... c Min unsat cost LB: 19882 ... c Min unsat cost LB: 19896 ... c Min unsat cost LB: 20084 ... c Min unsat cost LB: 20112 ... c Min unsat cost LB: 20144 ... c Min unsat cost LB: 20217 ... c Min unsat cost LB: 20229 ... c Min unsat cost LB: 20239 ... c Min unsat cost LB: 20262 ... c Min unsat cost LB: 20320 ... c Min unsat cost LB: 20335 ... c Min unsat cost LB: 20350 ... c Min unsat cost LB: 20430 ... c Min unsat cost LB: 20678 ... c Min unsat cost LB: 21111 ... c Min unsat cost LB: 21113 ... c Min unsat cost LB: 21164 ... c Min unsat cost LB: 21170 ... c Min unsat cost LB: 21179 ... c Min unsat cost LB: 21181 ... c Min unsat cost LB: 21183 ... c Min unsat cost LB: 21215 ... c Min unsat cost LB: 21238 ... c Min unsat cost LB: 21298 ... c Min unsat cost LB: 21299 ... c Min unsat cost LB: 21306 ... c Min unsat cost LB: 21331 ... c Min unsat cost LB: 21342 ... c Min unsat cost LB: 21432 ... c Min unsat cost LB: 21483 ... c Min unsat cost LB: 21485 ... c Min unsat cost LB: 21487 ... c Min unsat cost LB: 21493 ... c Min unsat cost LB: 21525 ... c Min unsat cost LB: 21527 ... c Min unsat cost LB: 21536 ... c Min unsat cost LB: 21597 ... c Min unsat cost LB: 21599 ... c Min unsat cost LB: 21820 ... c Min unsat cost LB: 21963 ... c Min unsat cost LB: 21980 ... c Min unsat cost LB: 21989 ... c Min unsat cost LB: 21993 ... c Min unsat cost LB: 21998 ... c Min unsat cost LB: 21999 ... c Min unsat cost LB: 22254 ... c Min unsat cost LB: 22281 ... c Min unsat cost LB: 22445 ... c Min unsat cost LB: 22875 ... c Min unsat cost LB: 23100 ... c Min unsat cost LB: 23139 ... c Min unsat cost LB: 23269 ... c Min unsat cost LB: 23275 ... c Min unsat cost LB: 23289 ... c Min unsat cost LB: 23336 ... c Min unsat cost LB: 23474 ... c Min unsat cost LB: 23603 ... c Min unsat cost LB: 23670 ... c Min unsat cost LB: 23703 ... c Min unsat cost LB: 23706 ... c Min unsat cost LB: 23712 ... c Min unsat cost LB: 23739 ... c Min unsat cost LB: 23762 ... c Min unsat cost LB: 23784 ... c Min unsat cost LB: 23858 ... c Min unsat cost LB: 23891 ... c Min unsat cost LB: 23987 ... c Min unsat cost LB: 24004 ... c Min unsat cost LB: 24026 ... c Min unsat cost LB: 24029 ... c Min unsat cost LB: 24076 ... c Min unsat cost LB: 24088 ... c Min unsat cost LB: 24106 ... c Min unsat cost LB: 24160 ... c Min unsat cost LB: 24173 ... c Min unsat cost LB: 24239 ... c Min unsat cost LB: 24241 ... c Min unsat cost LB: 24264 ... c Min unsat cost LB: 24296 ... c Min unsat cost LB: 24297 ... c Min unsat cost LB: 24312 ... c Min unsat cost LB: 24313 ... c Min unsat cost LB: 24331 ... c Min unsat cost LB: 24360 ... c Min unsat cost LB: 24395 ... c Min unsat cost LB: 24397 ... c Min unsat cost LB: 24398 ... c Min unsat cost LB: 24427 ... c Min unsat cost LB: 24429 ... c Min unsat cost LB: 24430 ... c Min unsat cost LB: 24449 ... c Min unsat cost LB: 24453 ... c Min unsat cost LB: 24461 ... c Min unsat cost LB: 24462 ... c Min unsat cost LB: 24472 ... c Min unsat cost LB: 24491 ... c Min unsat cost LB: 24494 ... c Min unsat cost LB: 24506 ... c Min unsat cost LB: 24517 ... c Min unsat cost LB: 24549 ... c Min unsat cost LB: 24560 ... c Min unsat cost LB: 24567 ... c Min unsat cost LB: 24568 ... c Min unsat cost LB: 24574 ... c Min unsat cost LB: 24602 ... c Min unsat cost LB: 24618 ... c Min unsat cost LB: 24625 ... c Min unsat cost LB: 24643 ... c Min unsat cost LB: 24672 ... c Min unsat cost LB: 24691 ... c Min unsat cost LB: 24698 ... c Min unsat cost LB: 24723 ... c Min unsat cost LB: 24735 ... c Min unsat cost LB: 24745 ... c Min unsat cost LB: 24760 ... c Min unsat cost LB: 24777 ... c Min unsat cost LB: 24794 ... c Min unsat cost LB: 24795 ... c Min unsat cost LB: 24805 ... c Min unsat cost LB: 24817 ... c Min unsat cost LB: 24832 ... c Min unsat cost LB: 24847 ... c Min unsat cost LB: 24860 ... c Min unsat cost LB: 24948 ... c Min unsat cost LB: 24971 ... c Min unsat cost LB: 24984 ... c Min unsat cost LB: 24998 ... c Min unsat cost LB: 25008 ... c Min unsat cost LB: 25012 ... c Min unsat cost LB: 25075 ... c Min unsat cost LB: 25090 ... c Min unsat cost LB: 25107 ... c Min unsat cost LB: 25112 ... c Min unsat cost LB: 25118 ... c Min unsat cost LB: 25119 ... c Min unsat cost LB: 25126 ... c Min unsat cost LB: 25133 ... c Min unsat cost LB: 25144 ... c Min unsat cost LB: 25163 ... c Min unsat cost LB: 25179 ... c Min unsat cost LB: 25207 ... c Min unsat cost LB: 25208 ... c Min unsat cost LB: 25221 ... c Min unsat cost LB: 25549 ... c Min unsat cost LB: 25604 ... c Min unsat cost LB: 25635 ... c Min unsat cost LB: 25643 ... c Min unsat cost LB: 25671 ... c Min unsat cost LB: 25690 ... c Min unsat cost LB: 25776 ... c Min unsat cost LB: 26130 ... c Min unsat cost LB: 26199 ... c Min unsat cost LB: 26200 ... c Min unsat cost LB: 26201 ... c Min unsat cost LB: 26203 ... c Min unsat cost LB: 26207 ... c Min unsat cost LB: 26217 ... c Min unsat cost LB: 26219 ... c Min unsat cost LB: 26232 ... c Min unsat cost LB: 26240 ... c Min unsat cost LB: 26242 ... c Min unsat cost LB: 26243 ... c Min unsat cost LB: 26244 ... c Min unsat cost LB: 26266 ... c Min unsat cost LB: 26321 ... c Min unsat cost LB: 26327 ... c Min unsat cost LB: 26328 ... c Min unsat cost LB: 26340 ... c Min unsat cost LB: 26352 ... c Min unsat cost LB: 26365 ... c Min unsat cost LB: 26376 ... c Min unsat cost LB: 26377 ... c Min unsat cost LB: 26379 ... c Min unsat cost LB: 26385 ... c Min unsat cost LB: 26387 ... c Min unsat cost LB: 26391 ... c Min unsat cost LB: 26392 ... c Min unsat cost LB: 26393 ... c Min unsat cost LB: 26394 ... c Min unsat cost LB: 26395 ... c Min unsat cost LB: 26397 ... c Min unsat cost LB: 26398 ... c Min unsat cost LB: 26399 ... c Min unsat cost LB: 26401 ... c Min unsat cost LB: 26405 ... c Min unsat cost LB: 26407 ... c Min unsat cost LB: 26409 ... c Min unsat cost LB: 26410 ... c Min unsat cost LB: 26423 ... c Min unsat cost LB: 26424 ... c Min unsat cost LB: 26425 ... c Min unsat cost LB: 26458 ... c Min unsat cost LB: 26513 ... c Min unsat cost LB: 26515 ... c Min unsat cost LB: 26523 ... c Min unsat cost LB: 26526 ... c Min unsat cost LB: 26544 ... c Min unsat cost LB: 26546 ... c Min unsat cost LB: 26548 ... c Min unsat cost LB: 26557 ... c Min unsat cost LB: 26558 ... c Min unsat cost LB: 26560 ... c Min unsat cost LB: 26583 ... c Min unsat cost LB: 26584 ... c Min unsat cost LB: 26585 ... c Min unsat cost LB: 26586 ... c Min unsat cost LB: 26589 ... c Min unsat cost LB: 26590 ... c Min unsat cost LB: 26591 ... c Min unsat cost LB: 26592 ... c Min unsat cost LB: 26593 ... c Min unsat cost LB: 26601 ... c Min unsat cost LB: 26607 ... c Min unsat cost LB: 26611 ... c Min unsat cost LB: 26617 ... c Min unsat cost LB: 26625 ... c Min unsat cost LB: 26626 ... c Min unsat cost LB: 26627 ... c Min unsat cost LB: 26628 ... c Min unsat cost LB: 26656 ... c Min unsat cost LB: 26659 ... c Min unsat cost LB: 26660 ... c Min unsat cost LB: 26661 ... c Min unsat cost LB: 26662 ... c Min unsat cost LB: 26670 ... c Min unsat cost LB: 26678 ... c Min unsat cost LB: 26679 ... o 26679 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 c CPU Time: 63.6403 63.706u 0.075s 1:03.93 99.7% 0+0k 0+0io 0pf+0w