Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2000 10928
WARNING: Ubcsat not found.
o 10928
o 2166
o 2162
o 2153
o 2149
o 2140
o 2129
o 2125
o 2117
o 2116
o 2115
o 2112
o 2103
o 2101
o 2100
o 2091
o 2079
o 2077
o 2065
o 2064
o 2062
o 2057
o 2051
o 2047
o 2041
o 2039
o 2038
o 2036
o 2030
o 2028
o 2027
o 2026
o 2021
o 2019
o 2017
o 2015
o 2009
o 2006
o 2004
o 2003
o 2001
o 2000
o 1998
o 1995
o 1990
o 1989
o 1988
o 1985
o 1984
o 1983
o 1979
o 1978
o 1977
o 1976
o 1973
o 1970
o 1969
o 1968
o 1967
o 1965
o 1959
o 1955
o 1952
o 1950
o 1949
o 1948
o 1944
o 1937
o 1936
o 1935
o 1934
o 1933
o 1923
o 1922
o 1921
o 1916
o 1911
o 1910
o 1908
o 1907
o 1906
o 1902
o 1900
o 1898
o 1896
o 1895
o 1894
o 1890
o 1888
o 1886
o 1885
o 1881
o 1879
o 1878
o 1877
o 1876
o 1874
o 1873
o 1872
o 1870
o 1868
o 1866
o 1862
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 1828
o 1827
o 1824
o 1821
o 1820
o 1816
o 1814
o 1812
o 1806
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= 1179, NB_BRANCHE= 2435, NB_BACK= 1225 
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.994u 0.010s 0:05.00 100.0%	0+0k 0+0io 0pf+0w