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