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-60-1_network-4.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-4.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-60-1_network-4.net.wcnf *** c c Min unsat cost LB: 743 ... c Min unsat cost LB: 1353 ... c Min unsat cost LB: 2570 ... c Min unsat cost LB: 2598 ... c Min unsat cost LB: 4144 ... c Min unsat cost LB: 4151 ... c Min unsat cost LB: 5805 ... c Min unsat cost LB: 6141 ... c Min unsat cost LB: 6172 ... c Min unsat cost LB: 7317 ... c Min unsat cost LB: 7851 ... c Min unsat cost LB: 8372 ... c Min unsat cost LB: 8796 ... c Min unsat cost LB: 10420 ... c Min unsat cost LB: 10429 ... c Min unsat cost LB: 11027 ... c Min unsat cost LB: 11420 ... c Min unsat cost LB: 11461 ... c Min unsat cost LB: 11582 ... c Min unsat cost LB: 11601 ... c Min unsat cost LB: 12829 ... c Min unsat cost LB: 13059 ... c Min unsat cost LB: 13313 ... c Min unsat cost LB: 13526 ... c Min unsat cost LB: 13967 ... c Min unsat cost LB: 14380 ... c Min unsat cost LB: 14523 ... c Min unsat cost LB: 14656 ... c Min unsat cost LB: 14723 ... c Min unsat cost LB: 15008 ... c Min unsat cost LB: 15491 ... c Min unsat cost LB: 15660 ... c Min unsat cost LB: 15812 ... c Min unsat cost LB: 15878 ... c Min unsat cost LB: 15960 ... c Min unsat cost LB: 16467 ... c Min unsat cost LB: 16628 ... c Min unsat cost LB: 16985 ... c Min unsat cost LB: 17501 ... c Min unsat cost LB: 18207 ... c Min unsat cost LB: 18233 ... c Min unsat cost LB: 18778 ... c Min unsat cost LB: 19764 ... c Min unsat cost LB: 20080 ... c Min unsat cost LB: 20317 ... c Min unsat cost LB: 20956 ... c Min unsat cost LB: 21341 ... c Min unsat cost LB: 21381 ... c Min unsat cost LB: 21458 ... c Min unsat cost LB: 21742 ... c Min unsat cost LB: 22406 ... c Min unsat cost LB: 23286 ... c Min unsat cost LB: 24256 ... c Min unsat cost LB: 24597 ... c Min unsat cost LB: 24723 ... c Min unsat cost LB: 24773 ... c Min unsat cost LB: 24987 ... c Min unsat cost LB: 25025 ... c Min unsat cost LB: 25825 ... c Min unsat cost LB: 25837 ... c Min unsat cost LB: 26081 ... c Min unsat cost LB: 26288 ... c Min unsat cost LB: 26865 ... c Min unsat cost LB: 27828 ... c Min unsat cost LB: 28010 ... c Min unsat cost LB: 28557 ... c Min unsat cost LB: 29100 ... c Min unsat cost LB: 29170 ... c Min unsat cost LB: 29255 ... c Min unsat cost LB: 29953 ... c Min unsat cost LB: 30132 ... c Min unsat cost LB: 30280 ... c Min unsat cost LB: 30557 ... c Min unsat cost LB: 30704 ... c Min unsat cost LB: 30712 ... c Min unsat cost LB: 30777 ... c Min unsat cost LB: 30789 ... c Min unsat cost LB: 30795 ... c Min unsat cost LB: 30845 ... c Min unsat cost LB: 30971 ... c Min unsat cost LB: 31060 ... c Min unsat cost LB: 31515 ... c Min unsat cost LB: 31622 ... c Min unsat cost LB: 31688 ... c Min unsat cost LB: 31764 ... c Min unsat cost LB: 32412 ... c Min unsat cost LB: 32417 ... c Min unsat cost LB: 32697 ... c Min unsat cost LB: 32885 ... c Min unsat cost LB: 33390 ... c Min unsat cost LB: 33482 ... c Min unsat cost LB: 33569 ... c Min unsat cost LB: 33661 ... c Min unsat cost LB: 33949 ... c Min unsat cost LB: 34073 ... c Min unsat cost LB: 34131 ... c Min unsat cost LB: 34730 ... c Min unsat cost LB: 35726 ... c Min unsat cost LB: 35764 ... c Min unsat cost LB: 35860 ... c Min unsat cost LB: 35889 ... c Min unsat cost LB: 36069 ... c Min unsat cost LB: 36510 ... c Min unsat cost LB: 36669 ... c Min unsat cost LB: 36913 ... c Min unsat cost LB: 36917 ... c Min unsat cost LB: 37390 ... c Min unsat cost LB: 37696 ... c Min unsat cost LB: 37729 ... c Min unsat cost LB: 37878 ... c Min unsat cost LB: 37991 ... c Min unsat cost LB: 38178 ... c Min unsat cost LB: 38408 ... c Min unsat cost LB: 38473 ... c Min unsat cost LB: 38531 ... c Min unsat cost LB: 38634 ... c Min unsat cost LB: 39062 ... c Min unsat cost LB: 39066 ... c Min unsat cost LB: 39131 ... c Min unsat cost LB: 39158 ... c Min unsat cost LB: 39240 ... c Min unsat cost LB: 39370 ... c Min unsat cost LB: 39478 ... c Min unsat cost LB: 39500 ... c Min unsat cost LB: 39564 ... c Min unsat cost LB: 39744 ... c Min unsat cost LB: 39770 ... c Min unsat cost LB: 39782 ... c Min unsat cost LB: 39802 ... c Min unsat cost LB: 39803 ... c Min unsat cost LB: 39975 ... c Min unsat cost LB: 40764 ... c Min unsat cost LB: 40880 ... c Min unsat cost LB: 40994 ... c Min unsat cost LB: 41205 ... c Min unsat cost LB: 41239 ... c Min unsat cost LB: 41419 ... c Min unsat cost LB: 41811 ... c Min unsat cost LB: 42047 ... c Min unsat cost LB: 42196 ... c Min unsat cost LB: 42435 ... c Min unsat cost LB: 43013 ... c Min unsat cost LB: 44154 ... c Min unsat cost LB: 44383 ... c Min unsat cost LB: 44682 ... c Min unsat cost LB: 44686 ... c Min unsat cost LB: 44706 ... c Min unsat cost LB: 44718 ... c Min unsat cost LB: 44748 ... c Min unsat cost LB: 44751 ... c Min unsat cost LB: 44890 ... c Min unsat cost LB: 44916 ... c Min unsat cost LB: 45297 ... c Min unsat cost LB: 46230 ... c Min unsat cost LB: 46299 ... c Min unsat cost LB: 46311 ... c Min unsat cost LB: 46375 ... c Min unsat cost LB: 46548 ... c Min unsat cost LB: 46552 ... c Min unsat cost LB: 47990 ... c Min unsat cost LB: 48141 ... c Min unsat cost LB: 48250 ... c Min unsat cost LB: 48279 ... c Min unsat cost LB: 48365 ... c Min unsat cost LB: 48499 ... c Min unsat cost LB: 48545 ... c Min unsat cost LB: 49057 ... c Min unsat cost LB: 49252 ... c Min unsat cost LB: 49414 ... c Min unsat cost LB: 49428 ... c Min unsat cost LB: 49454 ... c Min unsat cost LB: 49500 ... c Min unsat cost LB: 49544 ... c Min unsat cost LB: 49593 ... c Min unsat cost LB: 49625 ... c Min unsat cost LB: 49662 ... c Min unsat cost LB: 49754 ... c Min unsat cost LB: 49759 ... c Min unsat cost LB: 50108 ... c Min unsat cost LB: 50172 ... c Min unsat cost LB: 50312 ... c Min unsat cost LB: 50553 ... c Min unsat cost LB: 50990 ... c Min unsat cost LB: 51019 ... c Min unsat cost LB: 51680 ... o 51680 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 c CPU Time: 1.65575 1.662u 0.006s 0:01.67 99.4% 0+0k 0+0io 0pf+0w