Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2000 10928
WARNING: Ubcsat not found.
o 10928
o 2140
o 2137
o 2134
o 2132
o 2126
o 2120
o 2118
o 2117
o 2111
o 2108
o 2102
o 2096
o 2095
o 2090
o 2083
o 2079
o 2076
o 2075
o 2066
o 2059
o 2051
o 2049
o 2041
o 2038
o 2032
o 2029
o 2028
o 2024
o 2015
o 2010
o 2008
o 2007
o 2002
o 2000
o 1996
o 1988
o 1981
o 1978
o 1977
o 1975
o 1968
o 1966
o 1964
o 1962
o 1959
o 1955
o 1947
o 1946
o 1944
o 1937
o 1936
o 1927
o 1924
o 1920
o 1919
o 1917
o 1915
o 1914
o 1911
o 1904
o 1902
o 1901
o 1891
o 1889
o 1883
o 1881
o 1879
o 1876
o 1875
o 1869
o 1868
o 1866
o 1865
o 1863
o 1861
o 1855
o 1854
o 1852
o 1851
o 1849
o 1846
o 1845
o 1844
o 1841
o 1836
o 1835
o 1834
o 1828
o 1824
o 1820
o 1816
o 1814
o 1812
o 1806
o 1799
o 1798
o 1796
o 1795
o 1788
o 1784
o 1779
o 1777
o 1775
o 1772
o 1770
o 1769
o 1767
o 1766
o 1765
o 1761
o 1757
o 1755
o 1753
o 1749
o 1748
o 1747
o 1745
o 1744
o 1743
o 1733
o 1731
o 1730
c Learned clauses = 0
c NB_MONO= 913, NB_BRANCHE= 1976, NB_BACK= 993 
s OPTIMUM FOUND
c Optimal Solution = 1730
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 -135 136 137 -138 -139 140 141 -142 143 144 145 146 147 -148 -149 -150 0
4.720u 0.008s 0:04.74 99.5%	0+0k 0+0io 0pf+0w