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-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-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-40-2_network-7.net.wcnf *** c c Min unsat cost LB: 500 ... c Min unsat cost LB: 1821 ... c Min unsat cost LB: 3006 ... c Min unsat cost LB: 4415 ... c Min unsat cost LB: 5294 ... c Min unsat cost LB: 5356 ... c Min unsat cost LB: 5399 ... c Min unsat cost LB: 6909 ... c Min unsat cost LB: 7172 ... c Min unsat cost LB: 8724 ... c Min unsat cost LB: 10014 ... c Min unsat cost LB: 10252 ... c Min unsat cost LB: 10284 ... c Min unsat cost LB: 11133 ... c Min unsat cost LB: 11908 ... c Min unsat cost LB: 12002 ... c Min unsat cost LB: 12259 ... c Min unsat cost LB: 12320 ... c Min unsat cost LB: 12482 ... c Min unsat cost LB: 13060 ... c Min unsat cost LB: 13087 ... c Min unsat cost LB: 13121 ... c Min unsat cost LB: 13518 ... c Min unsat cost LB: 14456 ... c Min unsat cost LB: 14711 ... c Min unsat cost LB: 14847 ... c Min unsat cost LB: 15108 ... c Min unsat cost LB: 15608 ... c Min unsat cost LB: 15694 ... c Min unsat cost LB: 15863 ... c Min unsat cost LB: 16200 ... c Min unsat cost LB: 16292 ... c Min unsat cost LB: 16330 ... c Min unsat cost LB: 16397 ... c Min unsat cost LB: 16857 ... c Min unsat cost LB: 17071 ... c Min unsat cost LB: 17148 ... c Min unsat cost LB: 17326 ... c Min unsat cost LB: 17928 ... c Min unsat cost LB: 17965 ... c Min unsat cost LB: 18304 ... c Min unsat cost LB: 18518 ... c Min unsat cost LB: 20520 ... c Min unsat cost LB: 21215 ... c Min unsat cost LB: 21638 ... c Min unsat cost LB: 21939 ... c Min unsat cost LB: 22625 ... c Min unsat cost LB: 22670 ... c Min unsat cost LB: 23128 ... c Min unsat cost LB: 23729 ... c Min unsat cost LB: 24192 ... c Min unsat cost LB: 24294 ... c Min unsat cost LB: 24372 ... c Min unsat cost LB: 24575 ... c Min unsat cost LB: 24826 ... c Min unsat cost LB: 24968 ... c Min unsat cost LB: 27672 ... c Min unsat cost LB: 27738 ... c Min unsat cost LB: 27777 ... c Min unsat cost LB: 27805 ... c Min unsat cost LB: 28102 ... c Min unsat cost LB: 28179 ... c Min unsat cost LB: 28358 ... c Min unsat cost LB: 28491 ... c Min unsat cost LB: 28615 ... c Min unsat cost LB: 28678 ... c Min unsat cost LB: 28689 ... c Min unsat cost LB: 28712 ... c Min unsat cost LB: 28791 ... c Min unsat cost LB: 28850 ... c Min unsat cost LB: 28867 ... c Min unsat cost LB: 29002 ... c Min unsat cost LB: 29071 ... c Min unsat cost LB: 29150 ... c Min unsat cost LB: 29420 ... c Min unsat cost LB: 29702 ... c Min unsat cost LB: 29716 ... c Min unsat cost LB: 29780 ... c Min unsat cost LB: 29871 ... c Min unsat cost LB: 29887 ... c Min unsat cost LB: 30030 ... c Min unsat cost LB: 30070 ... c Min unsat cost LB: 30266 ... c Min unsat cost LB: 30803 ... c Min unsat cost LB: 30883 ... c Min unsat cost LB: 30932 ... c Min unsat cost LB: 31293 ... c Min unsat cost LB: 32068 ... c Min unsat cost LB: 32109 ... c Min unsat cost LB: 32157 ... c Min unsat cost LB: 32191 ... c Min unsat cost LB: 32218 ... c Min unsat cost LB: 32242 ... c Min unsat cost LB: 32250 ... c Min unsat cost LB: 32252 ... c Min unsat cost LB: 32298 ... c Min unsat cost LB: 32562 ... c Min unsat cost LB: 32831 ... c Min unsat cost LB: 32895 ... c Min unsat cost LB: 33107 ... c Min unsat cost LB: 33174 ... c Min unsat cost LB: 33374 ... c Min unsat cost LB: 33420 ... c Min unsat cost LB: 33488 ... c Min unsat cost LB: 33505 ... c Min unsat cost LB: 33519 ... c Min unsat cost LB: 33565 ... c Min unsat cost LB: 33570 ... c Min unsat cost LB: 33775 ... c Min unsat cost LB: 33822 ... c Min unsat cost LB: 33880 ... c Min unsat cost LB: 33899 ... c Min unsat cost LB: 33999 ... c Min unsat cost LB: 34050 ... c Min unsat cost LB: 34058 ... c Min unsat cost LB: 34091 ... c Min unsat cost LB: 34174 ... c Min unsat cost LB: 34248 ... c Min unsat cost LB: 34737 ... c Min unsat cost LB: 34952 ... c Min unsat cost LB: 34994 ... c Min unsat cost LB: 35176 ... c Min unsat cost LB: 35426 ... c Min unsat cost LB: 35487 ... c Min unsat cost LB: 35558 ... c Min unsat cost LB: 35610 ... c Min unsat cost LB: 35642 ... c Min unsat cost LB: 35666 ... c Min unsat cost LB: 35690 ... c Min unsat cost LB: 35735 ... c Min unsat cost LB: 36026 ... c Min unsat cost LB: 36043 ... c Min unsat cost LB: 36363 ... c Min unsat cost LB: 36430 ... c Min unsat cost LB: 36459 ... c Min unsat cost LB: 36471 ... c Min unsat cost LB: 36509 ... c Min unsat cost LB: 36535 ... c Min unsat cost LB: 36932 ... c Min unsat cost LB: 36944 ... c Min unsat cost LB: 36949 ... c Min unsat cost LB: 36964 ... c Min unsat cost LB: 37036 ... o 37036 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 c CPU Time: 3.00754 3.015u 0.007s 0:03.03 99.3% 0+0k 0+0io 0pf+0w