Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C2000_H150_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1917
o 1911
o 1902
o 1901
o 1879
o 1873
o 1866
o 1864
o 1862
o 1842
o 1839
o 1832
o 1827
o 1824
o 1822
o 1800
o 1787
o 1778
o 1775
o 1763
o 1754
o 1750
o 1749
o 1747
o 1744
o 1734
o 1725
o 1724
o 1723
o 1722
o 1717
o 1712
o 1710
o 1708
o 1707
o 1703
o 1702
o 1699
c 252 branches 1731 propagates
c total generalized unit propagation = 2134, success = 7.08%
s OPTIMUM FOUND
c Optimal Solution = 1699
v 22 83 -82 -13 -50 118 80 91 142 -119 150 -75 114 25 -123 46 81 -90 139 -47 126 -26 -105 -19 -29 18 -143 59 -72 -2 140 79 -116 -14 17 134 45 11 -69 -12 24 -3 -7 34 -44 137 -108 95 129 -112 -42 -84 -65 -87 33 -94 127 110 -6 38 98 5 -43 -106 -131 122 61 9 111 31 -115 -113 -100 55 4 41 -23 71 76 63 -145 66 -21 70 -133 -101 62 109 -103 135 -20 -40 -64 1 68 -120 27 -136 -53 -49 130 58 -97 -89 148 51 -144 39 92 28 -117 52 -57 -36 77 132 -30 74 -73 93 141 35 -88 -147 37 54 -16 138 -149 104 78 -121 -146 -96 -128 -85 -125 48 -15 -86 -8 -99 -60 56 10 -67 32 -107 102 -124
2.944u 0.000s 0:02.95 99.6%	0+0k 0+0io 0pf+0w