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-50-2_network-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-7.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-50-2_network-7.net.wcnf *** c c Min unsat cost LB: 478 ... c Min unsat cost LB: 1837 ... c Min unsat cost LB: 2509 ... c Min unsat cost LB: 3947 ... c Min unsat cost LB: 5242 ... c Min unsat cost LB: 5452 ... c Min unsat cost LB: 6354 ... c Min unsat cost LB: 7176 ... c Min unsat cost LB: 7835 ... c Min unsat cost LB: 7879 ... c Min unsat cost LB: 8523 ... c Min unsat cost LB: 9298 ... c Min unsat cost LB: 9568 ... c Min unsat cost LB: 10335 ... c Min unsat cost LB: 10376 ... c Min unsat cost LB: 10495 ... c Min unsat cost LB: 10577 ... c Min unsat cost LB: 11071 ... c Min unsat cost LB: 11486 ... c Min unsat cost LB: 12197 ... c Min unsat cost LB: 12216 ... c Min unsat cost LB: 13612 ... c Min unsat cost LB: 13716 ... c Min unsat cost LB: 13755 ... c Min unsat cost LB: 13968 ... c Min unsat cost LB: 14115 ... c Min unsat cost LB: 14451 ... c Min unsat cost LB: 15072 ... c Min unsat cost LB: 15447 ... c Min unsat cost LB: 15455 ... c Min unsat cost LB: 15507 ... c Min unsat cost LB: 15691 ... c Min unsat cost LB: 15996 ... c Min unsat cost LB: 16002 ... c Min unsat cost LB: 16046 ... c Min unsat cost LB: 16070 ... c Min unsat cost LB: 16122 ... c Min unsat cost LB: 16204 ... c Min unsat cost LB: 16284 ... c Min unsat cost LB: 16437 ... c Min unsat cost LB: 17480 ... c Min unsat cost LB: 17491 ... c Min unsat cost LB: 17976 ... c Min unsat cost LB: 18284 ... c Min unsat cost LB: 18296 ... c Min unsat cost LB: 18380 ... c Min unsat cost LB: 19050 ... c Min unsat cost LB: 19069 ... c Min unsat cost LB: 19274 ... c Min unsat cost LB: 19282 ... c Min unsat cost LB: 19318 ... c Min unsat cost LB: 19791 ... c Min unsat cost LB: 19806 ... c Min unsat cost LB: 19830 ... c Min unsat cost LB: 19916 ... c Min unsat cost LB: 20333 ... c Min unsat cost LB: 20456 ... c Min unsat cost LB: 20660 ... c Min unsat cost LB: 20886 ... c Min unsat cost LB: 21172 ... c Min unsat cost LB: 21332 ... c Min unsat cost LB: 21396 ... c Min unsat cost LB: 21418 ... c Min unsat cost LB: 21420 ... c Min unsat cost LB: 21533 ... c Min unsat cost LB: 21563 ... c Min unsat cost LB: 21586 ... c Min unsat cost LB: 22050 ... c Min unsat cost LB: 22090 ... c Min unsat cost LB: 22200 ... c Min unsat cost LB: 22213 ... c Min unsat cost LB: 23034 ... c Min unsat cost LB: 23322 ... c Min unsat cost LB: 23364 ... c Min unsat cost LB: 23639 ... c Min unsat cost LB: 23667 ... c Min unsat cost LB: 23702 ... c Min unsat cost LB: 23717 ... c Min unsat cost LB: 23850 ... c Min unsat cost LB: 24603 ... c Min unsat cost LB: 24729 ... c Min unsat cost LB: 24802 ... c Min unsat cost LB: 24878 ... c Min unsat cost LB: 24891 ... c Min unsat cost LB: 25092 ... c Min unsat cost LB: 25275 ... c Min unsat cost LB: 25308 ... c Min unsat cost LB: 25477 ... c Min unsat cost LB: 25498 ... c Min unsat cost LB: 25537 ... c Min unsat cost LB: 25540 ... c Min unsat cost LB: 25698 ... c Min unsat cost LB: 25751 ... c Min unsat cost LB: 25773 ... c Min unsat cost LB: 25808 ... c Min unsat cost LB: 26001 ... c Min unsat cost LB: 26046 ... c Min unsat cost LB: 26084 ... c Min unsat cost LB: 26099 ... c Min unsat cost LB: 26115 ... c Min unsat cost LB: 26767 ... c Min unsat cost LB: 26771 ... c Min unsat cost LB: 26809 ... c Min unsat cost LB: 26875 ... c Min unsat cost LB: 26999 ... c Min unsat cost LB: 27141 ... c Min unsat cost LB: 27385 ... c Min unsat cost LB: 27419 ... c Min unsat cost LB: 27427 ... c Min unsat cost LB: 27575 ... c Min unsat cost LB: 27697 ... c Min unsat cost LB: 27730 ... c Min unsat cost LB: 27906 ... c Min unsat cost LB: 27912 ... c Min unsat cost LB: 27956 ... c Min unsat cost LB: 27974 ... c Min unsat cost LB: 28265 ... c Min unsat cost LB: 28281 ... c Min unsat cost LB: 28283 ... c Min unsat cost LB: 28299 ... c Min unsat cost LB: 28300 ... c Min unsat cost LB: 28376 ... c Min unsat cost LB: 28395 ... c Min unsat cost LB: 28403 ... c Min unsat cost LB: 28410 ... c Min unsat cost LB: 28421 ... c Min unsat cost LB: 28424 ... c Min unsat cost LB: 28429 ... c Min unsat cost LB: 28433 ... c Min unsat cost LB: 28457 ... c Min unsat cost LB: 28463 ... c Min unsat cost LB: 28471 ... c Min unsat cost LB: 28473 ... c Min unsat cost LB: 28475 ... c Min unsat cost LB: 28482 ... c Min unsat cost LB: 28489 ... c Min unsat cost LB: 28490 ... c Min unsat cost LB: 28508 ... c Min unsat cost LB: 28514 ... c Min unsat cost LB: 28520 ... c Min unsat cost LB: 28522 ... c Min unsat cost LB: 28529 ... c Min unsat cost LB: 28530 ... c Min unsat cost LB: 28535 ... c Min unsat cost LB: 29072 ... c Min unsat cost LB: 29302 ... c Min unsat cost LB: 29532 ... c Min unsat cost LB: 29560 ... c Min unsat cost LB: 29768 ... c Min unsat cost LB: 29796 ... c Min unsat cost LB: 29895 ... c Min unsat cost LB: 30026 ... c Min unsat cost LB: 30056 ... c Min unsat cost LB: 30319 ... c Min unsat cost LB: 30330 ... c Min unsat cost LB: 30559 ... c Min unsat cost LB: 30639 ... c Min unsat cost LB: 30767 ... c Min unsat cost LB: 30847 ... c Min unsat cost LB: 30883 ... c Min unsat cost LB: 31501 ... c Min unsat cost LB: 31668 ... c Min unsat cost LB: 31732 ... c Min unsat cost LB: 31878 ... c Min unsat cost LB: 32209 ... c Min unsat cost LB: 32254 ... c Min unsat cost LB: 32257 ... c Min unsat cost LB: 32371 ... c Min unsat cost LB: 32504 ... c Min unsat cost LB: 32643 ... c Min unsat cost LB: 32691 ... c Min unsat cost LB: 32753 ... c Min unsat cost LB: 32805 ... c Min unsat cost LB: 32815 ... c Min unsat cost LB: 32818 ... c Min unsat cost LB: 32833 ... c Min unsat cost LB: 32839 ... c Min unsat cost LB: 32932 ... c Min unsat cost LB: 32994 ... c Min unsat cost LB: 33000 ... c Min unsat cost LB: 33042 ... c Min unsat cost LB: 33056 ... c Min unsat cost LB: 33090 ... c Min unsat cost LB: 33434 ... c Min unsat cost LB: 33658 ... c Min unsat cost LB: 33773 ... c Min unsat cost LB: 34410 ... c Min unsat cost LB: 34488 ... c Min unsat cost LB: 34696 ... c Min unsat cost LB: 34728 ... c Min unsat cost LB: 34742 ... c Min unsat cost LB: 34793 ... c Min unsat cost LB: 34836 ... c Min unsat cost LB: 35004 ... c Min unsat cost LB: 35077 ... c Min unsat cost LB: 35138 ... c Min unsat cost LB: 35275 ... c Min unsat cost LB: 35305 ... c Min unsat cost LB: 35459 ... c Min unsat cost LB: 35497 ... c Min unsat cost LB: 35593 ... c Min unsat cost LB: 35623 ... c Min unsat cost LB: 35626 ... c Min unsat cost LB: 35684 ... c Min unsat cost LB: 35686 ... c Min unsat cost LB: 35697 ... c Min unsat cost LB: 35741 ... c Min unsat cost LB: 35746 ... c Min unsat cost LB: 35750 ... c Min unsat cost LB: 35751 ... c Min unsat cost LB: 35948 ... c Min unsat cost LB: 36092 ... c Min unsat cost LB: 36096 ... c Min unsat cost LB: 36103 ... c Min unsat cost LB: 36105 ... c Min unsat cost LB: 36120 ... c Min unsat cost LB: 36121 ... c Min unsat cost LB: 36126 ... c Min unsat cost LB: 36129 ... c Min unsat cost LB: 36130 ... c Min unsat cost LB: 36131 ... c Min unsat cost LB: 36137 ... c Min unsat cost LB: 36138 ... c Min unsat cost LB: 36143 ... c Min unsat cost LB: 36149 ... c Min unsat cost LB: 36151 ... c Min unsat cost LB: 36155 ... c Min unsat cost LB: 36156 ... c Min unsat cost LB: 36159 ... c Min unsat cost LB: 36162 ... c Min unsat cost LB: 36163 ... c Min unsat cost LB: 36168 ... c Min unsat cost LB: 36176 ... c Min unsat cost LB: 36181 ... c Min unsat cost LB: 36193 ... c Min unsat cost LB: 36197 ... c Min unsat cost LB: 36203 ... c Min unsat cost LB: 36204 ... c Min unsat cost LB: 36206 ... c Min unsat cost LB: 36212 ... c Min unsat cost LB: 36213 ... c Min unsat cost LB: 36217 ... c Min unsat cost LB: 36218 ... c Min unsat cost LB: 36219 ... c Min unsat cost LB: 36221 ... c Min unsat cost LB: 36374 ... c Min unsat cost LB: 36423 ... c Min unsat cost LB: 36424 ... c Min unsat cost LB: 36428 ... c Min unsat cost LB: 36429 ... c Min unsat cost LB: 36435 ... c Min unsat cost LB: 36521 ... c Min unsat cost LB: 36551 ... c Min unsat cost LB: 36557 ... c Min unsat cost LB: 36559 ... c Min unsat cost LB: 36578 ... c Min unsat cost LB: 36586 ... c Min unsat cost LB: 36613 ... c Min unsat cost LB: 36714 ... c Min unsat cost LB: 36824 ... c Min unsat cost LB: 36849 ... c Min unsat cost LB: 36930 ... c Min unsat cost LB: 36938 ... c Min unsat cost LB: 36962 ... c Min unsat cost LB: 37085 ... c Min unsat cost LB: 37093 ... c Min unsat cost LB: 37100 ... c Min unsat cost LB: 37132 ... c Min unsat cost LB: 37136 ... c Min unsat cost LB: 37159 ... c Min unsat cost LB: 37199 ... c Min unsat cost LB: 37210 ... c Min unsat cost LB: 37240 ... c Min unsat cost LB: 37242 ... c Min unsat cost LB: 37248 ... c Min unsat cost LB: 37275 ... c Min unsat cost LB: 37280 ... c Min unsat cost LB: 37303 ... c Min unsat cost LB: 37307 ... c Min unsat cost LB: 37309 ... c Min unsat cost LB: 37315 ... c Min unsat cost LB: 37318 ... c Min unsat cost LB: 37322 ... c Min unsat cost LB: 37376 ... c Min unsat cost LB: 37401 ... c Min unsat cost LB: 37431 ... c Min unsat cost LB: 37441 ... c Min unsat cost LB: 37528 ... c Min unsat cost LB: 37537 ... c Min unsat cost LB: 38046 ... c Min unsat cost LB: 38049 ... c Min unsat cost LB: 38219 ... c Min unsat cost LB: 38287 ... c Min unsat cost LB: 38291 ... c Min unsat cost LB: 38300 ... c Min unsat cost LB: 38309 ... c Min unsat cost LB: 38310 ... c Min unsat cost LB: 38353 ... c Min unsat cost LB: 38427 ... c Min unsat cost LB: 38608 ... c Min unsat cost LB: 38629 ... c Min unsat cost LB: 38644 ... c Min unsat cost LB: 38660 ... c Min unsat cost LB: 38830 ... c Min unsat cost LB: 38831 ... c Min unsat cost LB: 38832 ... c Min unsat cost LB: 38834 ... c Min unsat cost LB: 38835 ... c Min unsat cost LB: 38836 ... c Min unsat cost LB: 38837 ... c Min unsat cost LB: 38841 ... c Min unsat cost LB: 38843 ... c Min unsat cost LB: 38845 ... c Min unsat cost LB: 38846 ... c Min unsat cost LB: 38857 ... c Min unsat cost LB: 38859 ... c Min unsat cost LB: 38860 ... c Min unsat cost LB: 38862 ... c Min unsat cost LB: 38863 ... c Min unsat cost LB: 38864 ... c Min unsat cost LB: 38865 ... c Min unsat cost LB: 38866 ... c Min unsat cost LB: 38867 ... c Min unsat cost LB: 38868 ... c Min unsat cost LB: 38873 ... c Min unsat cost LB: 38876 ... c Min unsat cost LB: 38919 ... c Min unsat cost LB: 39001 ... c Min unsat cost LB: 39392 ... c Min unsat cost LB: 39406 ... c Min unsat cost LB: 39447 ... c Min unsat cost LB: 39651 ... c Min unsat cost LB: 39852 ... c Min unsat cost LB: 39963 ... c Min unsat cost LB: 40161 ... c Min unsat cost LB: 40212 ... c Min unsat cost LB: 40227 ... c Min unsat cost LB: 40228 ... c Min unsat cost LB: 40379 ... c Min unsat cost LB: 40395 ... c Min unsat cost LB: 40434 ... c Min unsat cost LB: 40458 ... c Min unsat cost LB: 40621 ... c Min unsat cost LB: 40633 ... c Min unsat cost LB: 40666 ... c Min unsat cost LB: 40680 ... c Min unsat cost LB: 40714 ... c Min unsat cost LB: 40743 ... c Min unsat cost LB: 40775 ... c Min unsat cost LB: 41185 ... c Min unsat cost LB: 41376 ... c Min unsat cost LB: 41377 ... c Min unsat cost LB: 41378 ... c Min unsat cost LB: 41379 ... c Min unsat cost LB: 41382 ... c Min unsat cost LB: 41395 ... c Min unsat cost LB: 41645 ... c Min unsat cost LB: 41646 ... c Min unsat cost LB: 41650 ... c Min unsat cost LB: 41653 ... c Min unsat cost LB: 41678 ... c Min unsat cost LB: 41679 ... c Min unsat cost LB: 41680 ... c Min unsat cost LB: 41683 ... c Min unsat cost LB: 41693 ... c Min unsat cost LB: 41694 ... c Min unsat cost LB: 41697 ... c Min unsat cost LB: 41701 ... c Min unsat cost LB: 41706 ... c Min unsat cost LB: 41707 ... c Min unsat cost LB: 41710 ... c Min unsat cost LB: 41711 ... c Min unsat cost LB: 41712 ... c Min unsat cost LB: 41713 ... c Min unsat cost LB: 41714 ... c Min unsat cost LB: 41927 ... c Min unsat cost LB: 41929 ... c Min unsat cost LB: 41931 ... c Min unsat cost LB: 41932 ... c Min unsat cost LB: 41934 ... c Min unsat cost LB: 41935 ... c Min unsat cost LB: 41937 ... c Min unsat cost LB: 41942 ... c Min unsat cost LB: 41943 ... c Min unsat cost LB: 41944 ... c Min unsat cost LB: 41945 ... c Min unsat cost LB: 41946 ... c Min unsat cost LB: 41948 ... c Min unsat cost LB: 41949 ... c Min unsat cost LB: 41950 ... c Min unsat cost LB: 41953 ... c Min unsat cost LB: 41955 ... c Min unsat cost LB: 41956 ... c Min unsat cost LB: 41965 ... c Min unsat cost LB: 41975 ... c Min unsat cost LB: 42008 ... c Min unsat cost LB: 42015 ... c Min unsat cost LB: 42105 ... c Min unsat cost LB: 42360 ... c Min unsat cost LB: 42395 ... c Min unsat cost LB: 42464 ... c Min unsat cost LB: 42487 ... c Min unsat cost LB: 42532 ... c Min unsat cost LB: 42560 ... c Min unsat cost LB: 42562 ... c Min unsat cost LB: 42581 ... c Min unsat cost LB: 42587 ... c Min unsat cost LB: 42734 ... c Min unsat cost LB: 42890 ... c Min unsat cost LB: 42915 ... c Min unsat cost LB: 42956 ... c Min unsat cost LB: 42957 ... c Min unsat cost LB: 42958 ... c Min unsat cost LB: 42960 ... c Min unsat cost LB: 42961 ... c Min unsat cost LB: 42962 ... c Min unsat cost LB: 42963 ... c Min unsat cost LB: 42965 ... c Min unsat cost LB: 42966 ... c Min unsat cost LB: 42967 ... c Min unsat cost LB: 42997 ... c Min unsat cost LB: 43002 ... c Min unsat cost LB: 43259 ... c Min unsat cost LB: 43358 ... c Min unsat cost LB: 43371 ... c Min unsat cost LB: 43475 ... c Min unsat cost LB: 43555 ... c Min unsat cost LB: 43691 ... c Min unsat cost LB: 43696 ... c Min unsat cost LB: 43731 ... c Min unsat cost LB: 43753 ... c Min unsat cost LB: 43775 ... c Min unsat cost LB: 43802 ... c Min unsat cost LB: 43909 ... c Min unsat cost LB: 43962 ... c Min unsat cost LB: 43975 ... c Min unsat cost LB: 43980 ... c Min unsat cost LB: 44008 ... c Min unsat cost LB: 44015 ... c Min unsat cost LB: 44114 ... c Min unsat cost LB: 44136 ... c Min unsat cost LB: 44149 ... c Min unsat cost LB: 44158 ... c Min unsat cost LB: 44197 ... c Min unsat cost LB: 44216 ... c Min unsat cost LB: 44222 ... c Min unsat cost LB: 44243 ... c Min unsat cost LB: 44246 ... c Min unsat cost LB: 44254 ... c Min unsat cost LB: 44275 ... c Min unsat cost LB: 44278 ... c Min unsat cost LB: 44279 ... c Min unsat cost LB: 44280 ... c Min unsat cost LB: 44286 ... c Min unsat cost LB: 44287 ... c Min unsat cost LB: 44288 ... c Min unsat cost LB: 44323 ... c Min unsat cost LB: 44363 ... c Min unsat cost LB: 44391 ... c Min unsat cost LB: 44495 ... c Min unsat cost LB: 44518 ... c Min unsat cost LB: 44525 ... c Min unsat cost LB: 44528 ... c Min unsat cost LB: 44530 ... c Min unsat cost LB: 44538 ... c Min unsat cost LB: 44569 ... c Min unsat cost LB: 44610 ... c Min unsat cost LB: 44630 ... c Min unsat cost LB: 44765 ... c Min unsat cost LB: 44790 ... c Min unsat cost LB: 44833 ... c Min unsat cost LB: 44843 ... c Min unsat cost LB: 44877 ... c Min unsat cost LB: 44918 ... c Min unsat cost LB: 44969 ... c Min unsat cost LB: 44992 ... c Min unsat cost LB: 44997 ... c Min unsat cost LB: 45055 ... c Min unsat cost LB: 45073 ... c Min unsat cost LB: 45077 ... c Min unsat cost LB: 45092 ... c Min unsat cost LB: 45112 ... c Min unsat cost LB: 45165 ... c Min unsat cost LB: 45253 ... c Min unsat cost LB: 45305 ... c Min unsat cost LB: 45399 ... c Min unsat cost LB: 45401 ... c Min unsat cost LB: 45402 ... c Min unsat cost LB: 45412 ... c Min unsat cost LB: 45425 ... c Min unsat cost LB: 45439 ... c Min unsat cost LB: 45450 ... c Min unsat cost LB: 45453 ... c Min unsat cost LB: 45467 ... c Min unsat cost LB: 45493 ... c Min unsat cost LB: 45497 ... c Min unsat cost LB: 45512 ... c Min unsat cost LB: 45530 ... c Min unsat cost LB: 45531 ... c Min unsat cost LB: 45540 ... c Min unsat cost LB: 45541 ... c Min unsat cost LB: 45656 ... c Min unsat cost LB: 45684 ... c Min unsat cost LB: 46059 ... c Min unsat cost LB: 46065 ... c Min unsat cost LB: 46072 ... c Min unsat cost LB: 46075 ... c Min unsat cost LB: 46078 ... c Min unsat cost LB: 46084 ... c Min unsat cost LB: 46093 ... c Min unsat cost LB: 46102 ... c Min unsat cost LB: 46104 ... c Min unsat cost LB: 46106 ... c Min unsat cost LB: 46110 ... c Min unsat cost LB: 46122 ... c Min unsat cost LB: 46143 ... c Min unsat cost LB: 46150 ... c Min unsat cost LB: 46172 ... c Min unsat cost LB: 46174 ... c Min unsat cost LB: 46176 ... c Min unsat cost LB: 46177 ... c Min unsat cost LB: 46178 ... c Min unsat cost LB: 46181 ... c Min unsat cost LB: 46182 ... c Min unsat cost LB: 46194 ... c Min unsat cost LB: 46199 ... c Min unsat cost LB: 46207 ... c Min unsat cost LB: 46208 ... c Min unsat cost LB: 46219 ... c Min unsat cost LB: 46240 ... c Min unsat cost LB: 46266 ... c Min unsat cost LB: 46269 ... c Min unsat cost LB: 46275 ... c Min unsat cost LB: 46285 ... c Min unsat cost LB: 46368 ... c Min unsat cost LB: 46394 ... c Min unsat cost LB: 46421 ... c Min unsat cost LB: 46443 ... c Min unsat cost LB: 46446 ... c Min unsat cost LB: 46454 ... c Min unsat cost LB: 46464 ... c Min unsat cost LB: 46569 ... c Min unsat cost LB: 46570 ... c Min unsat cost LB: 46571 ... c Min unsat cost LB: 46572 ... c Min unsat cost LB: 46573 ... c Min unsat cost LB: 46574 ... c Min unsat cost LB: 46575 ... c Min unsat cost LB: 46581 ... c Min unsat cost LB: 46582 ... c Min unsat cost LB: 46583 ... c Min unsat cost LB: 46589 ... o 46589 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 c CPU Time: 411.672 411.766u 0.579s 6:53.35 99.7% 0+0k 0+0io 0pf+0w