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_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1818
o 1818
c 53 branches 259 propagates
c total generalized unit propagation = 366, success = 14.75%
s OPTIMUM FOUND
c Optimal Solution = 1818
v -49 -10 61 -74 -146 -125 88 123 85 42 -54 -34 69 82 56 92 18 38 79 -1 78 120 84 -76 -145 89 143 21 -139 -26 -140 -29 68 -102 -113 27 86 25 -128 -75 133 64 -127 -58 -48 -115 -66 -147 6 -108 -72 135 -91 -55 -2 83 -60 17 -149 -106 -32 37 142 -117 81 -22 138 20 80 101 -126 -134 8 -131 -109 -98 70 148 31 100 119 129 4 -47 45 -41 63 39 124 -73 90 44 -93 -12 51 -94 -67 -136 -103 -16 104 -5 -40 -107 150 -28 -14 -3 105 95 62 111 -121 -77 -110 -57 -118 23 97 -114 112 137 -59 -11 71 7 -144 -141 130 -43 -52 122 9 -15 -96 -99 46 33 -53 65 -116 -24 -19 -36 -87 132 30 13 50 35
3.040u 0.006s 0:03.07 99.0%	0+0k 0+0io 0pf+0w