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-60-1_network-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_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-60-1_network-6.net.wcnf *** c c Min unsat cost LB: 573 ... c Min unsat cost LB: 1310 ... c Min unsat cost LB: 1465 ... c Min unsat cost LB: 2578 ... c Min unsat cost LB: 3292 ... c Min unsat cost LB: 4310 ... c Min unsat cost LB: 4582 ... c Min unsat cost LB: 4951 ... c Min unsat cost LB: 5929 ... c Min unsat cost LB: 6596 ... c Min unsat cost LB: 7949 ... c Min unsat cost LB: 8392 ... c Min unsat cost LB: 8633 ... c Min unsat cost LB: 8898 ... c Min unsat cost LB: 9217 ... c Min unsat cost LB: 9858 ... c Min unsat cost LB: 10129 ... c Min unsat cost LB: 10444 ... c Min unsat cost LB: 11227 ... c Min unsat cost LB: 12183 ... c Min unsat cost LB: 12884 ... c Min unsat cost LB: 12934 ... c Min unsat cost LB: 13455 ... c Min unsat cost LB: 13979 ... c Min unsat cost LB: 13980 ... c Min unsat cost LB: 14680 ... c Min unsat cost LB: 14934 ... c Min unsat cost LB: 15154 ... c Min unsat cost LB: 15478 ... c Min unsat cost LB: 15999 ... c Min unsat cost LB: 16592 ... c Min unsat cost LB: 16675 ... c Min unsat cost LB: 16743 ... c Min unsat cost LB: 16780 ... c Min unsat cost LB: 17456 ... c Min unsat cost LB: 17663 ... c Min unsat cost LB: 18217 ... c Min unsat cost LB: 18909 ... c Min unsat cost LB: 19374 ... c Min unsat cost LB: 19986 ... c Min unsat cost LB: 20770 ... c Min unsat cost LB: 21129 ... c Min unsat cost LB: 21247 ... c Min unsat cost LB: 21738 ... c Min unsat cost LB: 21742 ... c Min unsat cost LB: 21968 ... c Min unsat cost LB: 22979 ... c Min unsat cost LB: 23041 ... c Min unsat cost LB: 23070 ... c Min unsat cost LB: 24066 ... c Min unsat cost LB: 24165 ... c Min unsat cost LB: 24317 ... c Min unsat cost LB: 24422 ... c Min unsat cost LB: 24586 ... c Min unsat cost LB: 25416 ... c Min unsat cost LB: 25471 ... c Min unsat cost LB: 26042 ... c Min unsat cost LB: 26336 ... c Min unsat cost LB: 27010 ... c Min unsat cost LB: 27596 ... c Min unsat cost LB: 28287 ... c Min unsat cost LB: 28379 ... c Min unsat cost LB: 28407 ... c Min unsat cost LB: 28513 ... c Min unsat cost LB: 28555 ... c Min unsat cost LB: 29068 ... c Min unsat cost LB: 29202 ... c Min unsat cost LB: 29381 ... c Min unsat cost LB: 29856 ... c Min unsat cost LB: 30080 ... c Min unsat cost LB: 30108 ... c Min unsat cost LB: 30186 ... c Min unsat cost LB: 30231 ... c Min unsat cost LB: 30658 ... c Min unsat cost LB: 31554 ... c Min unsat cost LB: 31614 ... c Min unsat cost LB: 31727 ... c Min unsat cost LB: 31760 ... c Min unsat cost LB: 32510 ... c Min unsat cost LB: 32834 ... c Min unsat cost LB: 33308 ... c Min unsat cost LB: 33424 ... c Min unsat cost LB: 33447 ... c Min unsat cost LB: 33888 ... c Min unsat cost LB: 34066 ... c Min unsat cost LB: 34378 ... c Min unsat cost LB: 34540 ... c Min unsat cost LB: 34595 ... c Min unsat cost LB: 34757 ... c Min unsat cost LB: 34864 ... c Min unsat cost LB: 34931 ... c Min unsat cost LB: 35252 ... c Min unsat cost LB: 35407 ... c Min unsat cost LB: 35790 ... c Min unsat cost LB: 36046 ... c Min unsat cost LB: 36388 ... c Min unsat cost LB: 37080 ... c Min unsat cost LB: 37416 ... c Min unsat cost LB: 37440 ... c Min unsat cost LB: 37552 ... c Min unsat cost LB: 37623 ... c Min unsat cost LB: 37688 ... c Min unsat cost LB: 38361 ... c Min unsat cost LB: 38734 ... c Min unsat cost LB: 39102 ... c Min unsat cost LB: 39118 ... c Min unsat cost LB: 39596 ... c Min unsat cost LB: 40546 ... c Min unsat cost LB: 40883 ... c Min unsat cost LB: 41316 ... c Min unsat cost LB: 41332 ... c Min unsat cost LB: 41522 ... c Min unsat cost LB: 41561 ... c Min unsat cost LB: 41565 ... c Min unsat cost LB: 41583 ... c Min unsat cost LB: 41704 ... c Min unsat cost LB: 41796 ... c Min unsat cost LB: 42387 ... c Min unsat cost LB: 42550 ... c Min unsat cost LB: 42693 ... c Min unsat cost LB: 42699 ... c Min unsat cost LB: 42909 ... c Min unsat cost LB: 43386 ... c Min unsat cost LB: 43702 ... c Min unsat cost LB: 43724 ... c Min unsat cost LB: 43766 ... c Min unsat cost LB: 43867 ... c Min unsat cost LB: 43963 ... c Min unsat cost LB: 44296 ... c Min unsat cost LB: 44657 ... c Min unsat cost LB: 45176 ... c Min unsat cost LB: 45222 ... c Min unsat cost LB: 45237 ... c Min unsat cost LB: 45721 ... c Min unsat cost LB: 45907 ... c Min unsat cost LB: 45953 ... c Min unsat cost LB: 46081 ... c Min unsat cost LB: 46309 ... c Min unsat cost LB: 46332 ... c Min unsat cost LB: 46543 ... c Min unsat cost LB: 46553 ... c Min unsat cost LB: 46792 ... c Min unsat cost LB: 46823 ... c Min unsat cost LB: 47409 ... c Min unsat cost LB: 48319 ... c Min unsat cost LB: 49010 ... c Min unsat cost LB: 49201 ... c Min unsat cost LB: 49335 ... c Min unsat cost LB: 49464 ... c Min unsat cost LB: 49810 ... c Min unsat cost LB: 49890 ... c Min unsat cost LB: 49912 ... c Min unsat cost LB: 49999 ... o 49999 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 c CPU Time: 0.85187 0.853u 0.003s 0:00.86 98.8% 0+0k 0+0io 0pf+0w