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