Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-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/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 10928
o 2041
o 2039
o 2038
o 2023
o 2022
o 2019
o 2017
o 2014
o 2009
o 2007
o 2001
o 1988
o 1985
o 1984
o 1974
o 1973
o 1971
o 1969
o 1968
o 1966
o 1959
o 1955
o 1953
o 1951
o 1950
o 1945
o 1940
o 1938
o 1927
o 1926
o 1918
o 1908
o 1900
o 1894
o 1891
o 1889
o 1888
o 1875
o 1872
o 1870
o 1867
o 1863
o 1856
o 1855
o 1852
o 1846
o 1845
o 1844
o 1843
o 1840
o 1839
o 1836
o 1830
o 1825
o 1824
o 1823
o 1821
o 1817
o 1813
o 1812
o 1811
o 1809
o 1808
o 1807
o 1805
o 1804
o 1799
o 1797
o 1795
o 1794
o 1789
o 1785
o 1784
o 1780
o 1772
o 1766
o 1764
o 1762
o 1757
o 1751
o 1750
o 1748
o 1746
o 1744
o 1743
o 1740
o 1739
o 1730
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
c Program terminated in 3.020 seconds.
3.019u 0.001s 0:03.02 99.6%	0+0k 0+0io 0pf+0w