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-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-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-30-2_network-6.net.wcnf *** c c Min unsat cost LB: 1633 ... c Min unsat cost LB: 2295 ... c Min unsat cost LB: 2999 ... c Min unsat cost LB: 3180 ... c Min unsat cost LB: 4212 ... c Min unsat cost LB: 5032 ... c Min unsat cost LB: 5089 ... c Min unsat cost LB: 5820 ... c Min unsat cost LB: 5842 ... c Min unsat cost LB: 6067 ... c Min unsat cost LB: 6556 ... c Min unsat cost LB: 6566 ... c Min unsat cost LB: 7179 ... c Min unsat cost LB: 7348 ... c Min unsat cost LB: 8641 ... c Min unsat cost LB: 8786 ... c Min unsat cost LB: 9129 ... c Min unsat cost LB: 9229 ... c Min unsat cost LB: 9259 ... c Min unsat cost LB: 9281 ... c Min unsat cost LB: 9338 ... c Min unsat cost LB: 9721 ... c Min unsat cost LB: 10086 ... c Min unsat cost LB: 10173 ... c Min unsat cost LB: 10297 ... c Min unsat cost LB: 11326 ... c Min unsat cost LB: 11580 ... c Min unsat cost LB: 11692 ... c Min unsat cost LB: 11810 ... c Min unsat cost LB: 11885 ... c Min unsat cost LB: 12190 ... c Min unsat cost LB: 12415 ... c Min unsat cost LB: 12547 ... c Min unsat cost LB: 12865 ... c Min unsat cost LB: 13009 ... c Min unsat cost LB: 13119 ... c Min unsat cost LB: 13252 ... c Min unsat cost LB: 13283 ... c Min unsat cost LB: 13315 ... c Min unsat cost LB: 13377 ... c Min unsat cost LB: 13408 ... c Min unsat cost LB: 13482 ... c Min unsat cost LB: 13970 ... c Min unsat cost LB: 14086 ... c Min unsat cost LB: 14118 ... c Min unsat cost LB: 14522 ... c Min unsat cost LB: 14535 ... c Min unsat cost LB: 14692 ... c Min unsat cost LB: 14863 ... c Min unsat cost LB: 14974 ... c Min unsat cost LB: 15614 ... c Min unsat cost LB: 15642 ... c Min unsat cost LB: 15706 ... c Min unsat cost LB: 15748 ... c Min unsat cost LB: 15758 ... c Min unsat cost LB: 15799 ... c Min unsat cost LB: 15889 ... c Min unsat cost LB: 16032 ... c Min unsat cost LB: 16090 ... c Min unsat cost LB: 16396 ... c Min unsat cost LB: 16538 ... c Min unsat cost LB: 16652 ... c Min unsat cost LB: 16737 ... c Min unsat cost LB: 16764 ... c Min unsat cost LB: 16765 ... c Min unsat cost LB: 16801 ... c Min unsat cost LB: 16813 ... c Min unsat cost LB: 16895 ... c Min unsat cost LB: 16978 ... c Min unsat cost LB: 17020 ... c Min unsat cost LB: 17030 ... c Min unsat cost LB: 17058 ... c Min unsat cost LB: 17084 ... c Min unsat cost LB: 17125 ... c Min unsat cost LB: 17188 ... c Min unsat cost LB: 17271 ... c Min unsat cost LB: 17313 ... c Min unsat cost LB: 17337 ... c Min unsat cost LB: 17372 ... c Min unsat cost LB: 17398 ... c Min unsat cost LB: 17401 ... c Min unsat cost LB: 17426 ... c Min unsat cost LB: 17436 ... c Min unsat cost LB: 17477 ... c Min unsat cost LB: 17519 ... c Min unsat cost LB: 17584 ... c Min unsat cost LB: 17625 ... c Min unsat cost LB: 17821 ... c Min unsat cost LB: 17950 ... c Min unsat cost LB: 17953 ... c Min unsat cost LB: 18121 ... c Min unsat cost LB: 18135 ... c Min unsat cost LB: 18140 ... c Min unsat cost LB: 18142 ... c Min unsat cost LB: 18225 ... c Min unsat cost LB: 18235 ... c Min unsat cost LB: 18292 ... c Min unsat cost LB: 18318 ... c Min unsat cost LB: 18345 ... c Min unsat cost LB: 18478 ... c Min unsat cost LB: 18489 ... c Min unsat cost LB: 18517 ... c Min unsat cost LB: 18599 ... c Min unsat cost LB: 18950 ... c Min unsat cost LB: 18965 ... c Min unsat cost LB: 19048 ... c Min unsat cost LB: 19095 ... c Min unsat cost LB: 19559 ... c Min unsat cost LB: 19741 ... c Min unsat cost LB: 19804 ... c Min unsat cost LB: 19998 ... c Min unsat cost LB: 20349 ... c Min unsat cost LB: 20652 ... c Min unsat cost LB: 20760 ... c Min unsat cost LB: 20823 ... c Min unsat cost LB: 20917 ... c Min unsat cost LB: 21158 ... c Min unsat cost LB: 21164 ... c Min unsat cost LB: 21243 ... c Min unsat cost LB: 21544 ... c Min unsat cost LB: 21646 ... c Min unsat cost LB: 21954 ... c Min unsat cost LB: 22149 ... c Min unsat cost LB: 22161 ... c Min unsat cost LB: 22246 ... c Min unsat cost LB: 22265 ... c Min unsat cost LB: 22403 ... c Min unsat cost LB: 22430 ... c Min unsat cost LB: 22445 ... c Min unsat cost LB: 22451 ... c Min unsat cost LB: 22466 ... c Min unsat cost LB: 22493 ... c Min unsat cost LB: 22524 ... c Min unsat cost LB: 22563 ... c Min unsat cost LB: 22574 ... c Min unsat cost LB: 22592 ... c Min unsat cost LB: 22594 ... c Min unsat cost LB: 22602 ... c Min unsat cost LB: 22609 ... c Min unsat cost LB: 22626 ... c Min unsat cost LB: 22634 ... c Min unsat cost LB: 22635 ... c Min unsat cost LB: 22637 ... c Min unsat cost LB: 22648 ... c Min unsat cost LB: 22649 ... c Min unsat cost LB: 22656 ... c Min unsat cost LB: 22657 ... c Min unsat cost LB: 22663 ... c Min unsat cost LB: 22665 ... c Min unsat cost LB: 22667 ... c Min unsat cost LB: 22668 ... c Min unsat cost LB: 22671 ... c Min unsat cost LB: 22673 ... c Min unsat cost LB: 22675 ... c Min unsat cost LB: 22681 ... c Min unsat cost LB: 22682 ... c Min unsat cost LB: 22683 ... c Min unsat cost LB: 22684 ... c Min unsat cost LB: 22685 ... c Min unsat cost LB: 22691 ... c Min unsat cost LB: 22692 ... c Min unsat cost LB: 22708 ... c Min unsat cost LB: 22709 ... c Min unsat cost LB: 22711 ... c Min unsat cost LB: 22715 ... c Min unsat cost LB: 22717 ... c Min unsat cost LB: 22719 ... c Min unsat cost LB: 22721 ... c Min unsat cost LB: 22722 ... c Min unsat cost LB: 22723 ... c Min unsat cost LB: 22724 ... c Min unsat cost LB: 22729 ... c Min unsat cost LB: 22730 ... c Min unsat cost LB: 22731 ... c Min unsat cost LB: 22732 ... c Min unsat cost LB: 22733 ... c Min unsat cost LB: 22735 ... c Min unsat cost LB: 22736 ... c Min unsat cost LB: 22737 ... c Min unsat cost LB: 22738 ... c Min unsat cost LB: 22739 ... c Min unsat cost LB: 22740 ... c Min unsat cost LB: 22741 ... c Min unsat cost LB: 22742 ... c Min unsat cost LB: 22743 ... c Min unsat cost LB: 22744 ... c Min unsat cost LB: 22745 ... c Min unsat cost LB: 22746 ... c Min unsat cost LB: 22747 ... o 22747 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 c CPU Time: 13.5229 13.536u 0.021s 0:13.59 99.7% 0+0k 0+0io 0pf+0w