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-20-2_network-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-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-20-2_network-7.net.wcnf *** c c Min unsat cost LB: 238 ... c Min unsat cost LB: 1342 ... c Min unsat cost LB: 2527 ... c Min unsat cost LB: 3821 ... c Min unsat cost LB: 3836 ... c Min unsat cost LB: 3869 ... c Min unsat cost LB: 4214 ... c Min unsat cost LB: 5126 ... c Min unsat cost LB: 5602 ... c Min unsat cost LB: 5673 ... c Min unsat cost LB: 5693 ... c Min unsat cost LB: 6269 ... c Min unsat cost LB: 6297 ... c Min unsat cost LB: 6511 ... c Min unsat cost LB: 6610 ... c Min unsat cost LB: 7091 ... c Min unsat cost LB: 7119 ... c Min unsat cost LB: 7187 ... c Min unsat cost LB: 7232 ... c Min unsat cost LB: 7271 ... c Min unsat cost LB: 7405 ... c Min unsat cost LB: 7644 ... c Min unsat cost LB: 7677 ... c Min unsat cost LB: 7684 ... c Min unsat cost LB: 8605 ... c Min unsat cost LB: 8956 ... c Min unsat cost LB: 8996 ... c Min unsat cost LB: 9082 ... c Min unsat cost LB: 9139 ... c Min unsat cost LB: 9280 ... c Min unsat cost LB: 9685 ... c Min unsat cost LB: 10410 ... c Min unsat cost LB: 10518 ... c Min unsat cost LB: 10637 ... c Min unsat cost LB: 10750 ... c Min unsat cost LB: 10925 ... c Min unsat cost LB: 11233 ... c Min unsat cost LB: 11296 ... c Min unsat cost LB: 11419 ... c Min unsat cost LB: 11487 ... c Min unsat cost LB: 11498 ... c Min unsat cost LB: 11751 ... c Min unsat cost LB: 11843 ... c Min unsat cost LB: 11888 ... c Min unsat cost LB: 12542 ... c Min unsat cost LB: 12696 ... c Min unsat cost LB: 12865 ... c Min unsat cost LB: 13316 ... c Min unsat cost LB: 13652 ... c Min unsat cost LB: 13802 ... c Min unsat cost LB: 13809 ... c Min unsat cost LB: 13820 ... c Min unsat cost LB: 14127 ... c Min unsat cost LB: 14437 ... c Min unsat cost LB: 14561 ... c Min unsat cost LB: 15283 ... c Min unsat cost LB: 15337 ... c Min unsat cost LB: 15435 ... c Min unsat cost LB: 15458 ... c Min unsat cost LB: 15504 ... c Min unsat cost LB: 15513 ... c Min unsat cost LB: 15570 ... c Min unsat cost LB: 15616 ... c Min unsat cost LB: 15683 ... c Min unsat cost LB: 15728 ... c Min unsat cost LB: 15813 ... c Min unsat cost LB: 15911 ... c Min unsat cost LB: 15913 ... c Min unsat cost LB: 15947 ... c Min unsat cost LB: 15975 ... c Min unsat cost LB: 16003 ... c Min unsat cost LB: 16018 ... c Min unsat cost LB: 16034 ... c Min unsat cost LB: 16153 ... c Min unsat cost LB: 16253 ... c Min unsat cost LB: 16323 ... c Min unsat cost LB: 16378 ... c Min unsat cost LB: 16469 ... c Min unsat cost LB: 16481 ... c Min unsat cost LB: 16549 ... c Min unsat cost LB: 16699 ... c Min unsat cost LB: 16712 ... c Min unsat cost LB: 16845 ... c Min unsat cost LB: 16865 ... c Min unsat cost LB: 16885 ... c Min unsat cost LB: 16951 ... c Min unsat cost LB: 16963 ... c Min unsat cost LB: 16967 ... c Min unsat cost LB: 16974 ... c Min unsat cost LB: 16979 ... c Min unsat cost LB: 16982 ... c Min unsat cost LB: 16985 ... c Min unsat cost LB: 16986 ... c Min unsat cost LB: 16991 ... c Min unsat cost LB: 16997 ... c Min unsat cost LB: 17005 ... c Min unsat cost LB: 17010 ... c Min unsat cost LB: 17017 ... c Min unsat cost LB: 17019 ... c Min unsat cost LB: 17020 ... c Min unsat cost LB: 17022 ... c Min unsat cost LB: 17023 ... c Min unsat cost LB: 17024 ... c Min unsat cost LB: 17025 ... c Min unsat cost LB: 17029 ... c Min unsat cost LB: 17031 ... c Min unsat cost LB: 17033 ... c Min unsat cost LB: 17034 ... c Min unsat cost LB: 17035 ... c Min unsat cost LB: 17037 ... c Min unsat cost LB: 17038 ... c Min unsat cost LB: 17046 ... c Min unsat cost LB: 17047 ... c Min unsat cost LB: 17050 ... c Min unsat cost LB: 17053 ... c Min unsat cost LB: 17219 ... c Min unsat cost LB: 17335 ... c Min unsat cost LB: 17378 ... c Min unsat cost LB: 17695 ... c Min unsat cost LB: 17702 ... c Min unsat cost LB: 17755 ... c Min unsat cost LB: 18155 ... c Min unsat cost LB: 18173 ... c Min unsat cost LB: 18278 ... c Min unsat cost LB: 18370 ... c Min unsat cost LB: 18381 ... c Min unsat cost LB: 18389 ... c Min unsat cost LB: 18422 ... c Min unsat cost LB: 18445 ... c Min unsat cost LB: 18495 ... c Min unsat cost LB: 18496 ... c Min unsat cost LB: 18507 ... c Min unsat cost LB: 18529 ... c Min unsat cost LB: 18554 ... c Min unsat cost LB: 18556 ... c Min unsat cost LB: 18577 ... c Min unsat cost LB: 18623 ... c Min unsat cost LB: 18640 ... c Min unsat cost LB: 18647 ... c Min unsat cost LB: 18662 ... c Min unsat cost LB: 18668 ... c Min unsat cost LB: 18669 ... o 18669 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 c CPU Time: 13.5579 13.581u 0.056s 0:13.67 99.7% 0+0k 0+0io 0pf+0w