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