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-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-2.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-2.net.wcnf *** c c Min unsat cost LB: 1783 ... c Min unsat cost LB: 1949 ... c Min unsat cost LB: 3315 ... c Min unsat cost LB: 3668 ... c Min unsat cost LB: 4675 ... c Min unsat cost LB: 4758 ... c Min unsat cost LB: 4953 ... c Min unsat cost LB: 5111 ... c Min unsat cost LB: 5129 ... c Min unsat cost LB: 6376 ... c Min unsat cost LB: 6689 ... c Min unsat cost LB: 7630 ... c Min unsat cost LB: 9202 ... c Min unsat cost LB: 10047 ... c Min unsat cost LB: 12208 ... c Min unsat cost LB: 12752 ... c Min unsat cost LB: 13069 ... c Min unsat cost LB: 13130 ... c Min unsat cost LB: 13597 ... c Min unsat cost LB: 13685 ... c Min unsat cost LB: 13963 ... c Min unsat cost LB: 14633 ... c Min unsat cost LB: 15453 ... c Min unsat cost LB: 15721 ... c Min unsat cost LB: 16633 ... c Min unsat cost LB: 17014 ... c Min unsat cost LB: 17034 ... c Min unsat cost LB: 17423 ... c Min unsat cost LB: 17730 ... c Min unsat cost LB: 18134 ... c Min unsat cost LB: 18302 ... c Min unsat cost LB: 18567 ... c Min unsat cost LB: 19073 ... c Min unsat cost LB: 19674 ... c Min unsat cost LB: 19984 ... c Min unsat cost LB: 20130 ... c Min unsat cost LB: 20308 ... c Min unsat cost LB: 20310 ... c Min unsat cost LB: 20940 ... c Min unsat cost LB: 21251 ... c Min unsat cost LB: 21934 ... c Min unsat cost LB: 22082 ... c Min unsat cost LB: 22294 ... c Min unsat cost LB: 22428 ... c Min unsat cost LB: 22814 ... c Min unsat cost LB: 22943 ... c Min unsat cost LB: 23598 ... c Min unsat cost LB: 23921 ... c Min unsat cost LB: 24846 ... c Min unsat cost LB: 25095 ... c Min unsat cost LB: 25753 ... c Min unsat cost LB: 26172 ... c Min unsat cost LB: 26396 ... c Min unsat cost LB: 26479 ... c Min unsat cost LB: 27749 ... c Min unsat cost LB: 27857 ... c Min unsat cost LB: 27910 ... c Min unsat cost LB: 27998 ... c Min unsat cost LB: 28006 ... c Min unsat cost LB: 28047 ... c Min unsat cost LB: 28167 ... c Min unsat cost LB: 28267 ... c Min unsat cost LB: 28551 ... c Min unsat cost LB: 28614 ... c Min unsat cost LB: 29240 ... c Min unsat cost LB: 29480 ... c Min unsat cost LB: 29738 ... c Min unsat cost LB: 29879 ... c Min unsat cost LB: 29914 ... c Min unsat cost LB: 30791 ... c Min unsat cost LB: 31614 ... c Min unsat cost LB: 31780 ... c Min unsat cost LB: 31911 ... c Min unsat cost LB: 32213 ... c Min unsat cost LB: 32704 ... c Min unsat cost LB: 32862 ... c Min unsat cost LB: 32928 ... c Min unsat cost LB: 33251 ... c Min unsat cost LB: 33502 ... c Min unsat cost LB: 34380 ... c Min unsat cost LB: 34611 ... c Min unsat cost LB: 34696 ... c Min unsat cost LB: 35789 ... c Min unsat cost LB: 35862 ... c Min unsat cost LB: 36007 ... c Min unsat cost LB: 36335 ... c Min unsat cost LB: 36796 ... c Min unsat cost LB: 36968 ... c Min unsat cost LB: 37026 ... c Min unsat cost LB: 37300 ... c Min unsat cost LB: 37840 ... c Min unsat cost LB: 37868 ... c Min unsat cost LB: 37901 ... c Min unsat cost LB: 38731 ... c Min unsat cost LB: 38743 ... c Min unsat cost LB: 39098 ... c Min unsat cost LB: 39124 ... c Min unsat cost LB: 39314 ... c Min unsat cost LB: 39400 ... c Min unsat cost LB: 39416 ... c Min unsat cost LB: 39426 ... c Min unsat cost LB: 39441 ... c Min unsat cost LB: 39467 ... c Min unsat cost LB: 39500 ... c Min unsat cost LB: 39806 ... c Min unsat cost LB: 39986 ... c Min unsat cost LB: 41192 ... c Min unsat cost LB: 41329 ... c Min unsat cost LB: 41519 ... c Min unsat cost LB: 41565 ... c Min unsat cost LB: 41946 ... c Min unsat cost LB: 42000 ... c Min unsat cost LB: 42122 ... c Min unsat cost LB: 42137 ... c Min unsat cost LB: 43425 ... c Min unsat cost LB: 43453 ... c Min unsat cost LB: 43854 ... c Min unsat cost LB: 44158 ... c Min unsat cost LB: 44437 ... c Min unsat cost LB: 44630 ... c Min unsat cost LB: 44951 ... c Min unsat cost LB: 45023 ... c Min unsat cost LB: 45033 ... c Min unsat cost LB: 45038 ... c Min unsat cost LB: 45039 ... c Min unsat cost LB: 45054 ... c Min unsat cost LB: 45341 ... c Min unsat cost LB: 45498 ... c Min unsat cost LB: 45794 ... c Min unsat cost LB: 45832 ... c Min unsat cost LB: 46006 ... c Min unsat cost LB: 46250 ... c Min unsat cost LB: 46686 ... c Min unsat cost LB: 47258 ... c Min unsat cost LB: 47570 ... c Min unsat cost LB: 47655 ... c Min unsat cost LB: 48082 ... c Min unsat cost LB: 48238 ... c Min unsat cost LB: 48674 ... c Min unsat cost LB: 48716 ... c Min unsat cost LB: 48906 ... c Min unsat cost LB: 49038 ... c Min unsat cost LB: 49045 ... c Min unsat cost LB: 49048 ... c Min unsat cost LB: 49049 ... c Min unsat cost LB: 49495 ... c Min unsat cost LB: 49585 ... c Min unsat cost LB: 49608 ... c Min unsat cost LB: 49630 ... c Min unsat cost LB: 49781 ... c Min unsat cost LB: 50155 ... c Min unsat cost LB: 50157 ... c Min unsat cost LB: 50335 ... c Min unsat cost LB: 50398 ... c Min unsat cost LB: 50428 ... c Min unsat cost LB: 50455 ... c Min unsat cost LB: 51081 ... c Min unsat cost LB: 51145 ... c Min unsat cost LB: 51146 ... c Min unsat cost LB: 51149 ... c Min unsat cost LB: 51155 ... c Min unsat cost LB: 51156 ... c Min unsat cost LB: 51350 ... c Min unsat cost LB: 51351 ... c Min unsat cost LB: 51354 ... c Min unsat cost LB: 51453 ... c Min unsat cost LB: 51645 ... c Min unsat cost LB: 51976 ... c Min unsat cost LB: 51984 ... c Min unsat cost LB: 52286 ... c Min unsat cost LB: 53060 ... c Min unsat cost LB: 53194 ... c Min unsat cost LB: 53209 ... c Min unsat cost LB: 53367 ... c Min unsat cost LB: 53627 ... c Min unsat cost LB: 54419 ... c Min unsat cost LB: 54500 ... c Min unsat cost LB: 54505 ... c Min unsat cost LB: 54557 ... c Min unsat cost LB: 54669 ... c Min unsat cost LB: 54718 ... c Min unsat cost LB: 54749 ... c Min unsat cost LB: 54822 ... c Min unsat cost LB: 55312 ... o 55312 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 c CPU Time: 2.15767 2.166u 0.003s 0:02.18 99.0% 0+0k 0+0io 0pf+0w