Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-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_ls/akmaxsat_ls
c initialized bestCost to 1699
o 1699
c 56 branches 277 propagates
c total generalized unit propagation = 390, success = 14.62%
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.973u 0.002s 0:03.00 99.0%	0+0k 0+0io 0pf+0w