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-4.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_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-40-2_network-4.net.wcnf *** c c Min unsat cost LB: 877 ... c Min unsat cost LB: 2356 ... c Min unsat cost LB: 2796 ... c Min unsat cost LB: 4119 ... c Min unsat cost LB: 5160 ... c Min unsat cost LB: 5565 ... c Min unsat cost LB: 6779 ... c Min unsat cost LB: 7003 ... c Min unsat cost LB: 7989 ... c Min unsat cost LB: 8894 ... c Min unsat cost LB: 9748 ... c Min unsat cost LB: 9919 ... c Min unsat cost LB: 11374 ... c Min unsat cost LB: 11937 ... c Min unsat cost LB: 12637 ... c Min unsat cost LB: 13090 ... c Min unsat cost LB: 13124 ... c Min unsat cost LB: 13889 ... c Min unsat cost LB: 14179 ... c Min unsat cost LB: 14749 ... c Min unsat cost LB: 15184 ... c Min unsat cost LB: 15508 ... c Min unsat cost LB: 16133 ... c Min unsat cost LB: 16147 ... c Min unsat cost LB: 16694 ... c Min unsat cost LB: 16855 ... c Min unsat cost LB: 17021 ... c Min unsat cost LB: 17068 ... c Min unsat cost LB: 17245 ... c Min unsat cost LB: 18061 ... c Min unsat cost LB: 18165 ... c Min unsat cost LB: 18329 ... c Min unsat cost LB: 18580 ... c Min unsat cost LB: 18828 ... c Min unsat cost LB: 19079 ... c Min unsat cost LB: 19275 ... c Min unsat cost LB: 19678 ... c Min unsat cost LB: 20057 ... c Min unsat cost LB: 20060 ... c Min unsat cost LB: 20242 ... c Min unsat cost LB: 20453 ... c Min unsat cost LB: 20458 ... c Min unsat cost LB: 20579 ... c Min unsat cost LB: 20588 ... c Min unsat cost LB: 20596 ... c Min unsat cost LB: 20630 ... c Min unsat cost LB: 20916 ... c Min unsat cost LB: 20963 ... c Min unsat cost LB: 20976 ... c Min unsat cost LB: 21099 ... c Min unsat cost LB: 21147 ... c Min unsat cost LB: 21157 ... c Min unsat cost LB: 21228 ... c Min unsat cost LB: 21233 ... c Min unsat cost LB: 21531 ... c Min unsat cost LB: 21755 ... c Min unsat cost LB: 22107 ... c Min unsat cost LB: 22136 ... c Min unsat cost LB: 22140 ... c Min unsat cost LB: 22162 ... c Min unsat cost LB: 22434 ... c Min unsat cost LB: 22560 ... c Min unsat cost LB: 22562 ... c Min unsat cost LB: 22593 ... c Min unsat cost LB: 22595 ... c Min unsat cost LB: 22626 ... c Min unsat cost LB: 22697 ... c Min unsat cost LB: 23047 ... c Min unsat cost LB: 23081 ... c Min unsat cost LB: 23106 ... c Min unsat cost LB: 23117 ... c Min unsat cost LB: 23204 ... c Min unsat cost LB: 23305 ... c Min unsat cost LB: 23374 ... c Min unsat cost LB: 23635 ... c Min unsat cost LB: 23722 ... c Min unsat cost LB: 23747 ... c Min unsat cost LB: 23758 ... c Min unsat cost LB: 23764 ... c Min unsat cost LB: 23838 ... c Min unsat cost LB: 23849 ... c Min unsat cost LB: 24158 ... c Min unsat cost LB: 24212 ... c Min unsat cost LB: 24711 ... c Min unsat cost LB: 24771 ... c Min unsat cost LB: 24838 ... c Min unsat cost LB: 24994 ... c Min unsat cost LB: 25095 ... c Min unsat cost LB: 25098 ... c Min unsat cost LB: 25151 ... c Min unsat cost LB: 25696 ... c Min unsat cost LB: 25850 ... c Min unsat cost LB: 25891 ... c Min unsat cost LB: 26010 ... c Min unsat cost LB: 26083 ... c Min unsat cost LB: 26172 ... c Min unsat cost LB: 26198 ... c Min unsat cost LB: 26251 ... c Min unsat cost LB: 26254 ... c Min unsat cost LB: 26301 ... c Min unsat cost LB: 26812 ... c Min unsat cost LB: 27215 ... c Min unsat cost LB: 27223 ... c Min unsat cost LB: 27397 ... c Min unsat cost LB: 27491 ... c Min unsat cost LB: 27648 ... c Min unsat cost LB: 27863 ... c Min unsat cost LB: 28655 ... c Min unsat cost LB: 28659 ... c Min unsat cost LB: 29351 ... c Min unsat cost LB: 29604 ... c Min unsat cost LB: 29637 ... c Min unsat cost LB: 29687 ... c Min unsat cost LB: 29750 ... c Min unsat cost LB: 29827 ... c Min unsat cost LB: 29846 ... c Min unsat cost LB: 29985 ... c Min unsat cost LB: 30067 ... c Min unsat cost LB: 30068 ... c Min unsat cost LB: 30096 ... c Min unsat cost LB: 30140 ... c Min unsat cost LB: 30172 ... c Min unsat cost LB: 30200 ... c Min unsat cost LB: 30278 ... c Min unsat cost LB: 30283 ... c Min unsat cost LB: 30292 ... c Min unsat cost LB: 30378 ... c Min unsat cost LB: 30386 ... c Min unsat cost LB: 30387 ... c Min unsat cost LB: 30413 ... c Min unsat cost LB: 30418 ... c Min unsat cost LB: 30420 ... c Min unsat cost LB: 30423 ... c Min unsat cost LB: 30430 ... c Min unsat cost LB: 30437 ... c Min unsat cost LB: 30450 ... c Min unsat cost LB: 30457 ... c Min unsat cost LB: 30465 ... c Min unsat cost LB: 30467 ... c Min unsat cost LB: 30497 ... c Min unsat cost LB: 30500 ... c Min unsat cost LB: 30507 ... c Min unsat cost LB: 30586 ... c Min unsat cost LB: 31028 ... c Min unsat cost LB: 31184 ... c Min unsat cost LB: 31209 ... c Min unsat cost LB: 31279 ... c Min unsat cost LB: 31360 ... c Min unsat cost LB: 31408 ... c Min unsat cost LB: 31579 ... c Min unsat cost LB: 31730 ... c Min unsat cost LB: 31779 ... c Min unsat cost LB: 32406 ... c Min unsat cost LB: 32548 ... c Min unsat cost LB: 32571 ... c Min unsat cost LB: 32753 ... c Min unsat cost LB: 32937 ... c Min unsat cost LB: 33030 ... c Min unsat cost LB: 33119 ... c Min unsat cost LB: 33243 ... c Min unsat cost LB: 33389 ... c Min unsat cost LB: 33770 ... c Min unsat cost LB: 33856 ... c Min unsat cost LB: 33914 ... c Min unsat cost LB: 33921 ... c Min unsat cost LB: 33949 ... c Min unsat cost LB: 33950 ... c Min unsat cost LB: 33957 ... c Min unsat cost LB: 33958 ... c Min unsat cost LB: 33966 ... c Min unsat cost LB: 33968 ... c Min unsat cost LB: 34113 ... c Min unsat cost LB: 34122 ... c Min unsat cost LB: 34130 ... c Min unsat cost LB: 34140 ... c Min unsat cost LB: 34157 ... c Min unsat cost LB: 34175 ... c Min unsat cost LB: 34203 ... c Min unsat cost LB: 34297 ... c Min unsat cost LB: 34543 ... c Min unsat cost LB: 35202 ... c Min unsat cost LB: 35207 ... c Min unsat cost LB: 35209 ... c Min unsat cost LB: 35211 ... c Min unsat cost LB: 35214 ... c Min unsat cost LB: 35215 ... c Min unsat cost LB: 35217 ... c Min unsat cost LB: 35218 ... c Min unsat cost LB: 35229 ... c Min unsat cost LB: 35230 ... c Min unsat cost LB: 35316 ... c Min unsat cost LB: 35512 ... c Min unsat cost LB: 35645 ... c Min unsat cost LB: 35792 ... c Min unsat cost LB: 36094 ... c Min unsat cost LB: 36137 ... c Min unsat cost LB: 36188 ... c Min unsat cost LB: 36194 ... c Min unsat cost LB: 36198 ... c Min unsat cost LB: 36230 ... c Min unsat cost LB: 36243 ... c Min unsat cost LB: 36292 ... c Min unsat cost LB: 36319 ... c Min unsat cost LB: 36471 ... c Min unsat cost LB: 36627 ... c Min unsat cost LB: 36658 ... c Min unsat cost LB: 36736 ... c Min unsat cost LB: 36763 ... c Min unsat cost LB: 36851 ... c Min unsat cost LB: 36859 ... c Min unsat cost LB: 36862 ... c Min unsat cost LB: 37145 ... c Min unsat cost LB: 37241 ... c Min unsat cost LB: 37322 ... c Min unsat cost LB: 37333 ... c Min unsat cost LB: 37349 ... c Min unsat cost LB: 37403 ... c Min unsat cost LB: 37434 ... c Min unsat cost LB: 37447 ... c Min unsat cost LB: 37575 ... c Min unsat cost LB: 37578 ... c Min unsat cost LB: 37590 ... c Min unsat cost LB: 37709 ... c Min unsat cost LB: 37720 ... c Min unsat cost LB: 37721 ... c Min unsat cost LB: 37725 ... c Min unsat cost LB: 37731 ... c Min unsat cost LB: 37736 ... c Min unsat cost LB: 37742 ... c Min unsat cost LB: 37751 ... c Min unsat cost LB: 37758 ... c Min unsat cost LB: 37787 ... c Min unsat cost LB: 37790 ... c Min unsat cost LB: 37792 ... c Min unsat cost LB: 37798 ... c Min unsat cost LB: 37799 ... c Min unsat cost LB: 37800 ... c Min unsat cost LB: 37803 ... c Min unsat cost LB: 37804 ... c Min unsat cost LB: 37805 ... c Min unsat cost LB: 37809 ... c Min unsat cost LB: 37812 ... c Min unsat cost LB: 37813 ... c Min unsat cost LB: 37814 ... c Min unsat cost LB: 37815 ... c Min unsat cost LB: 37817 ... c Min unsat cost LB: 37820 ... o 37820 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 c CPU Time: 21.4947 21.531u 0.031s 0:21.61 99.7% 0+0k 0+0io 0pf+0w