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-40-2_network-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-6.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-40-2_network-6.net.wcnf *** c c Min unsat cost LB: 348 ... c Min unsat cost LB: 1863 ... c Min unsat cost LB: 2801 ... c Min unsat cost LB: 4047 ... c Min unsat cost LB: 4781 ... c Min unsat cost LB: 5302 ... c Min unsat cost LB: 6179 ... c Min unsat cost LB: 7160 ... c Min unsat cost LB: 7789 ... c Min unsat cost LB: 7909 ... c Min unsat cost LB: 8047 ... c Min unsat cost LB: 8093 ... c Min unsat cost LB: 8234 ... c Min unsat cost LB: 9097 ... c Min unsat cost LB: 9644 ... c Min unsat cost LB: 9777 ... c Min unsat cost LB: 10697 ... c Min unsat cost LB: 11345 ... c Min unsat cost LB: 11361 ... c Min unsat cost LB: 11793 ... c Min unsat cost LB: 12517 ... c Min unsat cost LB: 12533 ... c Min unsat cost LB: 12689 ... c Min unsat cost LB: 12946 ... c Min unsat cost LB: 13055 ... c Min unsat cost LB: 13920 ... c Min unsat cost LB: 14006 ... c Min unsat cost LB: 14158 ... c Min unsat cost LB: 14646 ... c Min unsat cost LB: 14663 ... c Min unsat cost LB: 14816 ... c Min unsat cost LB: 15529 ... c Min unsat cost LB: 15816 ... c Min unsat cost LB: 15875 ... c Min unsat cost LB: 16273 ... c Min unsat cost LB: 16453 ... c Min unsat cost LB: 17337 ... c Min unsat cost LB: 17728 ... c Min unsat cost LB: 17804 ... c Min unsat cost LB: 17920 ... c Min unsat cost LB: 18036 ... c Min unsat cost LB: 18089 ... c Min unsat cost LB: 18383 ... c Min unsat cost LB: 18427 ... c Min unsat cost LB: 18504 ... c Min unsat cost LB: 18564 ... c Min unsat cost LB: 18566 ... c Min unsat cost LB: 18589 ... c Min unsat cost LB: 18599 ... c Min unsat cost LB: 18670 ... c Min unsat cost LB: 19241 ... c Min unsat cost LB: 19438 ... c Min unsat cost LB: 19455 ... c Min unsat cost LB: 19688 ... c Min unsat cost LB: 19764 ... c Min unsat cost LB: 19786 ... c Min unsat cost LB: 19846 ... c Min unsat cost LB: 20127 ... c Min unsat cost LB: 20712 ... c Min unsat cost LB: 20736 ... c Min unsat cost LB: 20830 ... c Min unsat cost LB: 20947 ... c Min unsat cost LB: 21008 ... c Min unsat cost LB: 21017 ... c Min unsat cost LB: 21034 ... c Min unsat cost LB: 21157 ... c Min unsat cost LB: 21161 ... c Min unsat cost LB: 21166 ... c Min unsat cost LB: 21174 ... c Min unsat cost LB: 21185 ... c Min unsat cost LB: 21191 ... c Min unsat cost LB: 21249 ... c Min unsat cost LB: 21258 ... c Min unsat cost LB: 21289 ... c Min unsat cost LB: 21296 ... c Min unsat cost LB: 21301 ... c Min unsat cost LB: 21305 ... c Min unsat cost LB: 21312 ... c Min unsat cost LB: 21313 ... c Min unsat cost LB: 21398 ... c Min unsat cost LB: 22410 ... c Min unsat cost LB: 22420 ... c Min unsat cost LB: 22499 ... c Min unsat cost LB: 23539 ... c Min unsat cost LB: 23578 ... c Min unsat cost LB: 23598 ... c Min unsat cost LB: 23600 ... c Min unsat cost LB: 23812 ... c Min unsat cost LB: 23813 ... c Min unsat cost LB: 23878 ... c Min unsat cost LB: 23914 ... c Min unsat cost LB: 24023 ... c Min unsat cost LB: 24035 ... c Min unsat cost LB: 24037 ... c Min unsat cost LB: 24070 ... c Min unsat cost LB: 24274 ... c Min unsat cost LB: 24327 ... c Min unsat cost LB: 24705 ... c Min unsat cost LB: 24716 ... c Min unsat cost LB: 24721 ... c Min unsat cost LB: 24781 ... c Min unsat cost LB: 24800 ... c Min unsat cost LB: 24801 ... c Min unsat cost LB: 24840 ... c Min unsat cost LB: 25004 ... c Min unsat cost LB: 25006 ... c Min unsat cost LB: 25010 ... c Min unsat cost LB: 25012 ... c Min unsat cost LB: 25068 ... c Min unsat cost LB: 25121 ... c Min unsat cost LB: 25132 ... c Min unsat cost LB: 25137 ... c Min unsat cost LB: 25249 ... c Min unsat cost LB: 25341 ... c Min unsat cost LB: 25394 ... c Min unsat cost LB: 25419 ... c Min unsat cost LB: 25426 ... c Min unsat cost LB: 25439 ... c Min unsat cost LB: 25478 ... c Min unsat cost LB: 25514 ... c Min unsat cost LB: 25689 ... c Min unsat cost LB: 25694 ... c Min unsat cost LB: 25718 ... c Min unsat cost LB: 25748 ... c Min unsat cost LB: 25750 ... c Min unsat cost LB: 25754 ... c Min unsat cost LB: 25755 ... c Min unsat cost LB: 25781 ... c Min unsat cost LB: 25782 ... c Min unsat cost LB: 25787 ... c Min unsat cost LB: 25793 ... c Min unsat cost LB: 25794 ... c Min unsat cost LB: 25797 ... c Min unsat cost LB: 25801 ... c Min unsat cost LB: 25803 ... c Min unsat cost LB: 25806 ... c Min unsat cost LB: 25813 ... c Min unsat cost LB: 25830 ... c Min unsat cost LB: 25842 ... c Min unsat cost LB: 25860 ... c Min unsat cost LB: 25915 ... c Min unsat cost LB: 25934 ... c Min unsat cost LB: 25977 ... c Min unsat cost LB: 26024 ... c Min unsat cost LB: 26035 ... c Min unsat cost LB: 26038 ... c Min unsat cost LB: 26045 ... c Min unsat cost LB: 26122 ... c Min unsat cost LB: 26133 ... c Min unsat cost LB: 26139 ... c Min unsat cost LB: 26144 ... c Min unsat cost LB: 26154 ... c Min unsat cost LB: 27221 ... c Min unsat cost LB: 27315 ... c Min unsat cost LB: 27330 ... c Min unsat cost LB: 27337 ... c Min unsat cost LB: 27466 ... c Min unsat cost LB: 27655 ... c Min unsat cost LB: 27665 ... c Min unsat cost LB: 27678 ... c Min unsat cost LB: 27681 ... c Min unsat cost LB: 27695 ... c Min unsat cost LB: 27699 ... c Min unsat cost LB: 27700 ... c Min unsat cost LB: 27702 ... c Min unsat cost LB: 27705 ... c Min unsat cost LB: 27708 ... c Min unsat cost LB: 27715 ... c Min unsat cost LB: 27716 ... c Min unsat cost LB: 27721 ... c Min unsat cost LB: 27725 ... c Min unsat cost LB: 27841 ... c Min unsat cost LB: 27893 ... c Min unsat cost LB: 28197 ... c Min unsat cost LB: 28470 ... c Min unsat cost LB: 28523 ... c Min unsat cost LB: 28797 ... c Min unsat cost LB: 29097 ... c Min unsat cost LB: 29103 ... c Min unsat cost LB: 29183 ... c Min unsat cost LB: 29336 ... c Min unsat cost LB: 29350 ... c Min unsat cost LB: 29356 ... c Min unsat cost LB: 29385 ... c Min unsat cost LB: 29415 ... c Min unsat cost LB: 29456 ... c Min unsat cost LB: 29509 ... c Min unsat cost LB: 29557 ... c Min unsat cost LB: 29571 ... c Min unsat cost LB: 29735 ... c Min unsat cost LB: 29806 ... c Min unsat cost LB: 29847 ... c Min unsat cost LB: 30023 ... c Min unsat cost LB: 30062 ... c Min unsat cost LB: 30183 ... c Min unsat cost LB: 30189 ... c Min unsat cost LB: 30190 ... c Min unsat cost LB: 30194 ... c Min unsat cost LB: 30199 ... c Min unsat cost LB: 30202 ... c Min unsat cost LB: 30203 ... c Min unsat cost LB: 30205 ... c Min unsat cost LB: 30208 ... c Min unsat cost LB: 30211 ... c Min unsat cost LB: 30214 ... c Min unsat cost LB: 30222 ... c Min unsat cost LB: 30236 ... c Min unsat cost LB: 30344 ... c Min unsat cost LB: 30384 ... c Min unsat cost LB: 30396 ... c Min unsat cost LB: 30435 ... c Min unsat cost LB: 30437 ... c Min unsat cost LB: 30441 ... c Min unsat cost LB: 30469 ... c Min unsat cost LB: 30472 ... c Min unsat cost LB: 30770 ... c Min unsat cost LB: 31088 ... c Min unsat cost LB: 31154 ... c Min unsat cost LB: 31192 ... c Min unsat cost LB: 31238 ... c Min unsat cost LB: 31284 ... c Min unsat cost LB: 31332 ... c Min unsat cost LB: 31388 ... c Min unsat cost LB: 31427 ... c Min unsat cost LB: 31495 ... c Min unsat cost LB: 31604 ... c Min unsat cost LB: 31661 ... c Min unsat cost LB: 31729 ... c Min unsat cost LB: 31783 ... c Min unsat cost LB: 31915 ... c Min unsat cost LB: 31983 ... c Min unsat cost LB: 32036 ... c Min unsat cost LB: 32039 ... c Min unsat cost LB: 32258 ... c Min unsat cost LB: 32262 ... c Min unsat cost LB: 32264 ... c Min unsat cost LB: 32322 ... c Min unsat cost LB: 32530 ... c Min unsat cost LB: 32562 ... c Min unsat cost LB: 32564 ... c Min unsat cost LB: 32576 ... c Min unsat cost LB: 32592 ... c Min unsat cost LB: 32629 ... c Min unsat cost LB: 32667 ... c Min unsat cost LB: 32668 ... c Min unsat cost LB: 32737 ... c Min unsat cost LB: 33001 ... c Min unsat cost LB: 33012 ... c Min unsat cost LB: 33041 ... c Min unsat cost LB: 33044 ... c Min unsat cost LB: 33069 ... c Min unsat cost LB: 33070 ... c Min unsat cost LB: 33073 ... c Min unsat cost LB: 33074 ... c Min unsat cost LB: 33111 ... c Min unsat cost LB: 33127 ... c Min unsat cost LB: 33142 ... c Min unsat cost LB: 33183 ... c Min unsat cost LB: 33214 ... c Min unsat cost LB: 33229 ... c Min unsat cost LB: 33242 ... c Min unsat cost LB: 33246 ... c Min unsat cost LB: 33247 ... c Min unsat cost LB: 34042 ... c Min unsat cost LB: 34736 ... c Min unsat cost LB: 34953 ... c Min unsat cost LB: 34974 ... c Min unsat cost LB: 34975 ... c Min unsat cost LB: 35101 ... c Min unsat cost LB: 35117 ... c Min unsat cost LB: 35184 ... c Min unsat cost LB: 35195 ... c Min unsat cost LB: 35199 ... o 35199 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 c CPU Time: 33.033 33.057u 0.040s 0:33.17 99.7% 0+0k 0+0io 0pf+0w