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-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-1.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-1.net.wcnf *** c c Min unsat cost LB: 1171 ... c Min unsat cost LB: 1781 ... c Min unsat cost LB: 2905 ... c Min unsat cost LB: 3832 ... c Min unsat cost LB: 4440 ... c Min unsat cost LB: 5836 ... c Min unsat cost LB: 6053 ... c Min unsat cost LB: 7579 ... c Min unsat cost LB: 7780 ... c Min unsat cost LB: 7799 ... c Min unsat cost LB: 7940 ... c Min unsat cost LB: 8219 ... c Min unsat cost LB: 8521 ... c Min unsat cost LB: 9986 ... c Min unsat cost LB: 10244 ... c Min unsat cost LB: 10270 ... c Min unsat cost LB: 10283 ... c Min unsat cost LB: 10826 ... c Min unsat cost LB: 11531 ... c Min unsat cost LB: 11541 ... c Min unsat cost LB: 11551 ... c Min unsat cost LB: 11613 ... c Min unsat cost LB: 11633 ... c Min unsat cost LB: 11649 ... c Min unsat cost LB: 11790 ... c Min unsat cost LB: 11877 ... c Min unsat cost LB: 11890 ... c Min unsat cost LB: 11896 ... c Min unsat cost LB: 11909 ... c Min unsat cost LB: 12357 ... c Min unsat cost LB: 12998 ... c Min unsat cost LB: 13668 ... c Min unsat cost LB: 13764 ... c Min unsat cost LB: 13841 ... c Min unsat cost LB: 14729 ... c Min unsat cost LB: 14777 ... c Min unsat cost LB: 14850 ... c Min unsat cost LB: 14897 ... c Min unsat cost LB: 15190 ... c Min unsat cost LB: 15210 ... c Min unsat cost LB: 15267 ... c Min unsat cost LB: 15289 ... c Min unsat cost LB: 15299 ... c Min unsat cost LB: 15459 ... c Min unsat cost LB: 15469 ... c Min unsat cost LB: 15484 ... c Min unsat cost LB: 15520 ... c Min unsat cost LB: 15536 ... c Min unsat cost LB: 15571 ... c Min unsat cost LB: 15638 ... c Min unsat cost LB: 15943 ... c Min unsat cost LB: 16105 ... c Min unsat cost LB: 16316 ... c Min unsat cost LB: 16355 ... c Min unsat cost LB: 16417 ... c Min unsat cost LB: 16571 ... c Min unsat cost LB: 16646 ... c Min unsat cost LB: 16660 ... c Min unsat cost LB: 16709 ... c Min unsat cost LB: 16719 ... c Min unsat cost LB: 16727 ... c Min unsat cost LB: 16789 ... c Min unsat cost LB: 16864 ... c Min unsat cost LB: 16869 ... c Min unsat cost LB: 16871 ... c Min unsat cost LB: 16925 ... c Min unsat cost LB: 16926 ... c Min unsat cost LB: 16940 ... c Min unsat cost LB: 16994 ... c Min unsat cost LB: 17015 ... c Min unsat cost LB: 17021 ... c Min unsat cost LB: 17115 ... c Min unsat cost LB: 17155 ... c Min unsat cost LB: 17316 ... c Min unsat cost LB: 17380 ... c Min unsat cost LB: 17397 ... c Min unsat cost LB: 17544 ... c Min unsat cost LB: 17631 ... c Min unsat cost LB: 17746 ... c Min unsat cost LB: 17760 ... c Min unsat cost LB: 17768 ... c Min unsat cost LB: 17778 ... c Min unsat cost LB: 17779 ... c Min unsat cost LB: 17786 ... c Min unsat cost LB: 17800 ... c Min unsat cost LB: 17849 ... c Min unsat cost LB: 17850 ... c Min unsat cost LB: 17854 ... c Min unsat cost LB: 17870 ... c Min unsat cost LB: 17888 ... c Min unsat cost LB: 17950 ... c Min unsat cost LB: 17955 ... c Min unsat cost LB: 17969 ... c Min unsat cost LB: 18011 ... c Min unsat cost LB: 18044 ... c Min unsat cost LB: 18062 ... c Min unsat cost LB: 18137 ... c Min unsat cost LB: 18194 ... c Min unsat cost LB: 18281 ... c Min unsat cost LB: 18284 ... c Min unsat cost LB: 18428 ... c Min unsat cost LB: 18452 ... c Min unsat cost LB: 18492 ... c Min unsat cost LB: 18653 ... c Min unsat cost LB: 18670 ... c Min unsat cost LB: 18710 ... c Min unsat cost LB: 18752 ... c Min unsat cost LB: 18926 ... c Min unsat cost LB: 18987 ... c Min unsat cost LB: 18988 ... c Min unsat cost LB: 18993 ... c Min unsat cost LB: 19022 ... c Min unsat cost LB: 19035 ... c Min unsat cost LB: 19049 ... c Min unsat cost LB: 19084 ... c Min unsat cost LB: 19085 ... c Min unsat cost LB: 19089 ... c Min unsat cost LB: 19095 ... c Min unsat cost LB: 19097 ... c Min unsat cost LB: 19099 ... c Min unsat cost LB: 19324 ... c Min unsat cost LB: 19411 ... c Min unsat cost LB: 19414 ... c Min unsat cost LB: 19439 ... c Min unsat cost LB: 19525 ... c Min unsat cost LB: 19563 ... c Min unsat cost LB: 19598 ... c Min unsat cost LB: 19638 ... c Min unsat cost LB: 19639 ... c Min unsat cost LB: 19644 ... c Min unsat cost LB: 19660 ... c Min unsat cost LB: 19662 ... c Min unsat cost LB: 19663 ... c Min unsat cost LB: 19664 ... c Min unsat cost LB: 19667 ... c Min unsat cost LB: 19680 ... c Min unsat cost LB: 19681 ... c Min unsat cost LB: 19693 ... c Min unsat cost LB: 19706 ... c Min unsat cost LB: 19720 ... c Min unsat cost LB: 19721 ... c Min unsat cost LB: 19724 ... c Min unsat cost LB: 19761 ... c Min unsat cost LB: 19762 ... c Min unsat cost LB: 19763 ... c Min unsat cost LB: 19793 ... c Min unsat cost LB: 19808 ... c Min unsat cost LB: 19813 ... c Min unsat cost LB: 19886 ... c Min unsat cost LB: 19919 ... c Min unsat cost LB: 20041 ... c Min unsat cost LB: 20131 ... c Min unsat cost LB: 20170 ... c Min unsat cost LB: 20248 ... c Min unsat cost LB: 20287 ... c Min unsat cost LB: 20326 ... c Min unsat cost LB: 20580 ... c Min unsat cost LB: 21099 ... c Min unsat cost LB: 21276 ... c Min unsat cost LB: 21292 ... c Min unsat cost LB: 21359 ... c Min unsat cost LB: 21433 ... c Min unsat cost LB: 21729 ... c Min unsat cost LB: 21795 ... c Min unsat cost LB: 21805 ... c Min unsat cost LB: 21877 ... c Min unsat cost LB: 21893 ... c Min unsat cost LB: 21933 ... c Min unsat cost LB: 21978 ... c Min unsat cost LB: 22005 ... c Min unsat cost LB: 22007 ... c Min unsat cost LB: 22018 ... c Min unsat cost LB: 22023 ... c Min unsat cost LB: 22084 ... c Min unsat cost LB: 22101 ... c Min unsat cost LB: 22146 ... c Min unsat cost LB: 22175 ... c Min unsat cost LB: 22180 ... c Min unsat cost LB: 22190 ... c Min unsat cost LB: 22220 ... c Min unsat cost LB: 22236 ... c Min unsat cost LB: 22262 ... c Min unsat cost LB: 22270 ... c Min unsat cost LB: 22342 ... c Min unsat cost LB: 22351 ... c Min unsat cost LB: 22361 ... c Min unsat cost LB: 22382 ... c Min unsat cost LB: 22393 ... c Min unsat cost LB: 22398 ... c Min unsat cost LB: 22415 ... c Min unsat cost LB: 22507 ... c Min unsat cost LB: 22543 ... c Min unsat cost LB: 22644 ... c Min unsat cost LB: 22692 ... c Min unsat cost LB: 22756 ... c Min unsat cost LB: 22759 ... c Min unsat cost LB: 22779 ... c Min unsat cost LB: 22807 ... c Min unsat cost LB: 22809 ... c Min unsat cost LB: 22833 ... c Min unsat cost LB: 22868 ... c Min unsat cost LB: 22909 ... c Min unsat cost LB: 23120 ... c Min unsat cost LB: 23122 ... c Min unsat cost LB: 23128 ... c Min unsat cost LB: 23129 ... c Min unsat cost LB: 23132 ... c Min unsat cost LB: 23150 ... c Min unsat cost LB: 23155 ... c Min unsat cost LB: 23163 ... c Min unsat cost LB: 23189 ... c Min unsat cost LB: 23219 ... c Min unsat cost LB: 23224 ... c Min unsat cost LB: 23260 ... c Min unsat cost LB: 23277 ... c Min unsat cost LB: 23287 ... c Min unsat cost LB: 23316 ... c Min unsat cost LB: 23322 ... c Min unsat cost LB: 23386 ... c Min unsat cost LB: 23571 ... c Min unsat cost LB: 23573 ... o 23573 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 c CPU Time: 23.2225 23.242u 0.041s 0:23.37 99.6% 0+0k 0+0io 0pf+0w