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-30-2_network-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-9.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-30-2_network-9.net.wcnf *** c c Min unsat cost LB: 911 ... c Min unsat cost LB: 3094 ... c Min unsat cost LB: 3101 ... c Min unsat cost LB: 4042 ... c Min unsat cost LB: 4163 ... c Min unsat cost LB: 4594 ... c Min unsat cost LB: 6268 ... c Min unsat cost LB: 6530 ... c Min unsat cost LB: 7947 ... c Min unsat cost LB: 8273 ... c Min unsat cost LB: 8320 ... c Min unsat cost LB: 8384 ... c Min unsat cost LB: 8486 ... c Min unsat cost LB: 8674 ... c Min unsat cost LB: 8954 ... c Min unsat cost LB: 9041 ... c Min unsat cost LB: 9299 ... c Min unsat cost LB: 9985 ... c Min unsat cost LB: 10022 ... c Min unsat cost LB: 10059 ... c Min unsat cost LB: 10446 ... c Min unsat cost LB: 10447 ... c Min unsat cost LB: 10561 ... c Min unsat cost LB: 10562 ... c Min unsat cost LB: 10599 ... c Min unsat cost LB: 10661 ... c Min unsat cost LB: 11424 ... c Min unsat cost LB: 12211 ... c Min unsat cost LB: 12440 ... c Min unsat cost LB: 12481 ... c Min unsat cost LB: 12593 ... c Min unsat cost LB: 13135 ... c Min unsat cost LB: 13323 ... c Min unsat cost LB: 13342 ... c Min unsat cost LB: 13858 ... c Min unsat cost LB: 14901 ... c Min unsat cost LB: 14926 ... c Min unsat cost LB: 15003 ... c Min unsat cost LB: 15237 ... c Min unsat cost LB: 15308 ... c Min unsat cost LB: 15411 ... c Min unsat cost LB: 15430 ... c Min unsat cost LB: 15607 ... c Min unsat cost LB: 15655 ... c Min unsat cost LB: 16139 ... c Min unsat cost LB: 16406 ... c Min unsat cost LB: 16624 ... c Min unsat cost LB: 16693 ... c Min unsat cost LB: 16703 ... c Min unsat cost LB: 16888 ... c Min unsat cost LB: 16904 ... c Min unsat cost LB: 17168 ... c Min unsat cost LB: 17273 ... c Min unsat cost LB: 17353 ... c Min unsat cost LB: 17538 ... c Min unsat cost LB: 17539 ... c Min unsat cost LB: 17570 ... c Min unsat cost LB: 17575 ... c Min unsat cost LB: 17585 ... c Min unsat cost LB: 17643 ... c Min unsat cost LB: 17700 ... c Min unsat cost LB: 17885 ... c Min unsat cost LB: 18282 ... c Min unsat cost LB: 18393 ... c Min unsat cost LB: 18451 ... c Min unsat cost LB: 18453 ... c Min unsat cost LB: 18572 ... c Min unsat cost LB: 18695 ... c Min unsat cost LB: 18696 ... c Min unsat cost LB: 18697 ... c Min unsat cost LB: 18876 ... c Min unsat cost LB: 19128 ... c Min unsat cost LB: 19235 ... c Min unsat cost LB: 19498 ... c Min unsat cost LB: 19508 ... c Min unsat cost LB: 19519 ... c Min unsat cost LB: 19521 ... c Min unsat cost LB: 19538 ... c Min unsat cost LB: 19608 ... c Min unsat cost LB: 19619 ... c Min unsat cost LB: 19677 ... c Min unsat cost LB: 20234 ... c Min unsat cost LB: 20320 ... c Min unsat cost LB: 20355 ... c Min unsat cost LB: 20809 ... c Min unsat cost LB: 21057 ... c Min unsat cost LB: 21160 ... c Min unsat cost LB: 21286 ... c Min unsat cost LB: 21382 ... c Min unsat cost LB: 21549 ... c Min unsat cost LB: 21561 ... c Min unsat cost LB: 21568 ... c Min unsat cost LB: 21611 ... c Min unsat cost LB: 21796 ... c Min unsat cost LB: 21798 ... c Min unsat cost LB: 21803 ... c Min unsat cost LB: 21806 ... c Min unsat cost LB: 21817 ... c Min unsat cost LB: 21847 ... c Min unsat cost LB: 21864 ... c Min unsat cost LB: 21888 ... c Min unsat cost LB: 21905 ... c Min unsat cost LB: 21910 ... c Min unsat cost LB: 22022 ... c Min unsat cost LB: 22027 ... c Min unsat cost LB: 22063 ... c Min unsat cost LB: 22074 ... c Min unsat cost LB: 22116 ... c Min unsat cost LB: 22117 ... c Min unsat cost LB: 22120 ... c Min unsat cost LB: 22125 ... c Min unsat cost LB: 22128 ... c Min unsat cost LB: 22139 ... c Min unsat cost LB: 22156 ... c Min unsat cost LB: 22169 ... c Min unsat cost LB: 22206 ... c Min unsat cost LB: 22213 ... c Min unsat cost LB: 22226 ... c Min unsat cost LB: 22320 ... c Min unsat cost LB: 22332 ... c Min unsat cost LB: 22359 ... c Min unsat cost LB: 22361 ... c Min unsat cost LB: 22374 ... c Min unsat cost LB: 22384 ... c Min unsat cost LB: 22416 ... c Min unsat cost LB: 22428 ... c Min unsat cost LB: 22497 ... c Min unsat cost LB: 22548 ... c Min unsat cost LB: 22572 ... c Min unsat cost LB: 22630 ... c Min unsat cost LB: 22651 ... c Min unsat cost LB: 22658 ... c Min unsat cost LB: 22739 ... c Min unsat cost LB: 22781 ... c Min unsat cost LB: 22847 ... c Min unsat cost LB: 22900 ... c Min unsat cost LB: 22989 ... c Min unsat cost LB: 23025 ... c Min unsat cost LB: 23042 ... c Min unsat cost LB: 23133 ... c Min unsat cost LB: 23380 ... c Min unsat cost LB: 23451 ... c Min unsat cost LB: 23535 ... c Min unsat cost LB: 23547 ... c Min unsat cost LB: 23581 ... c Min unsat cost LB: 23610 ... c Min unsat cost LB: 23775 ... c Min unsat cost LB: 23782 ... c Min unsat cost LB: 23975 ... c Min unsat cost LB: 23978 ... c Min unsat cost LB: 24046 ... c Min unsat cost LB: 24222 ... c Min unsat cost LB: 24334 ... c Min unsat cost LB: 24351 ... c Min unsat cost LB: 24362 ... c Min unsat cost LB: 24384 ... c Min unsat cost LB: 24433 ... c Min unsat cost LB: 24468 ... c Min unsat cost LB: 24524 ... c Min unsat cost LB: 24539 ... c Min unsat cost LB: 24723 ... c Min unsat cost LB: 24725 ... c Min unsat cost LB: 24757 ... c Min unsat cost LB: 24779 ... c Min unsat cost LB: 24782 ... c Min unsat cost LB: 24788 ... c Min unsat cost LB: 24798 ... c Min unsat cost LB: 24836 ... c Min unsat cost LB: 24844 ... c Min unsat cost LB: 24862 ... c Min unsat cost LB: 24876 ... c Min unsat cost LB: 24878 ... c Min unsat cost LB: 25302 ... c Min unsat cost LB: 25334 ... c Min unsat cost LB: 25377 ... c Min unsat cost LB: 25423 ... c Min unsat cost LB: 25459 ... c Min unsat cost LB: 25474 ... c Min unsat cost LB: 25512 ... c Min unsat cost LB: 25514 ... c Min unsat cost LB: 25523 ... c Min unsat cost LB: 25547 ... c Min unsat cost LB: 25560 ... c Min unsat cost LB: 25647 ... c Min unsat cost LB: 25702 ... c Min unsat cost LB: 25710 ... c Min unsat cost LB: 25720 ... c Min unsat cost LB: 25734 ... c Min unsat cost LB: 25736 ... c Min unsat cost LB: 25874 ... c Min unsat cost LB: 25876 ... c Min unsat cost LB: 25877 ... c Min unsat cost LB: 25889 ... c Min unsat cost LB: 25891 ... c Min unsat cost LB: 25901 ... c Min unsat cost LB: 26061 ... c Min unsat cost LB: 26068 ... c Min unsat cost LB: 26078 ... c Min unsat cost LB: 26080 ... c Min unsat cost LB: 26081 ... c Min unsat cost LB: 26096 ... c Min unsat cost LB: 26100 ... c Min unsat cost LB: 26137 ... c Min unsat cost LB: 26139 ... c Min unsat cost LB: 26159 ... c Min unsat cost LB: 26167 ... c Min unsat cost LB: 26168 ... c Min unsat cost LB: 26177 ... c Min unsat cost LB: 26180 ... c Min unsat cost LB: 26188 ... c Min unsat cost LB: 26190 ... c Min unsat cost LB: 26193 ... c Min unsat cost LB: 26195 ... c Min unsat cost LB: 26196 ... c Min unsat cost LB: 26201 ... c Min unsat cost LB: 26202 ... c Min unsat cost LB: 26204 ... c Min unsat cost LB: 26212 ... c Min unsat cost LB: 26215 ... c Min unsat cost LB: 26218 ... c Min unsat cost LB: 26223 ... c Min unsat cost LB: 26224 ... c Min unsat cost LB: 26228 ... c Min unsat cost LB: 26236 ... c Min unsat cost LB: 26238 ... c Min unsat cost LB: 26240 ... c Min unsat cost LB: 26245 ... c Min unsat cost LB: 26248 ... c Min unsat cost LB: 26260 ... c Min unsat cost LB: 26262 ... c Min unsat cost LB: 26279 ... c Min unsat cost LB: 26297 ... c Min unsat cost LB: 26305 ... c Min unsat cost LB: 26312 ... c Min unsat cost LB: 26322 ... c Min unsat cost LB: 26324 ... c Min unsat cost LB: 26327 ... c Min unsat cost LB: 26334 ... c Min unsat cost LB: 26339 ... c Min unsat cost LB: 26340 ... c Min unsat cost LB: 26342 ... c Min unsat cost LB: 26344 ... c Min unsat cost LB: 26345 ... c Min unsat cost LB: 26351 ... c Min unsat cost LB: 26353 ... c Min unsat cost LB: 26354 ... c Min unsat cost LB: 26355 ... c Min unsat cost LB: 26356 ... c Min unsat cost LB: 26358 ... c Min unsat cost LB: 26361 ... c Min unsat cost LB: 26365 ... c Min unsat cost LB: 26368 ... c Min unsat cost LB: 26370 ... c Min unsat cost LB: 26371 ... c Min unsat cost LB: 26372 ... c Min unsat cost LB: 26373 ... c Min unsat cost LB: 26375 ... c Min unsat cost LB: 26376 ... c Min unsat cost LB: 26378 ... c Min unsat cost LB: 26379 ... c Min unsat cost LB: 26380 ... c Min unsat cost LB: 26381 ... o 26381 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 c CPU Time: 37.4873 37.531u 0.041s 0:37.58 99.9% 0+0k 0+0io 0pf+0w