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