Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_crafted-_home_maxsat_benchmarks_pms_crafted_pseudo_miplib_normalized-mps-v2-20-10-stein27.opb.msat.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/pseudo/miplib/normalized-mps-v2-20-10-stein27.opb.msat.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 9
o 19
o 18
c 21104822 branches 45357315 propagates
c total generalized unit propagation = 55323669, success = 37.50%
s OPTIMUM FOUND
c Optimal Solution = 18
v -1 -2 3 -4 -5 6 7 8 9 10 -11 -12 13 -14 15 -16 17 18 19 20 21 22 23 24 -25 26 27 28 -29 -199 -211 -218 34 35 33 37 38 36 32 -41 42 -40 44 -45 -43 -39 -31 30 -48 -47 -51 -52 -50 -54 -55 -53 -49 -46 -60 -59 -64 -63 -67 -66 -69 -70 68 -72 -71 -74 75 -73 65 -62 78 -77 -79 -81 -82 80 76 85 -84 -88 -87 90 -91 -89 -93 -92 -95 -96 94 86 -83 -99 -98 100 -102 -103 101 97 61 -58 107 -106 -108 -105 -110 109 -111 -114 -113 -115 -117 -116 -118 112 104 -57 -122 121 -123 -120 125 126 124 129 -128 130 -132 -133 131 127 119 139 138 142 141 144 145 -143 147 146 149 150 -148 -140 137 -153 152 -154 156 157 -155 -151 136 158 135 161 160 162 -165 164 -166 -163 -169 -170 168 -167 -171 -159 134 173 -175 -174 -177 -176 178 -172 -56 -181 -180 -182 -179 -184 -185 183 188 -187 -189 -186 -191 192 -190 -194 -193 195 -197 -198 -196 -201 200 -202 -203 -204 206 -205 -207 -209 -208 -210 213 -212 -214 -216 215 217 -220 -219 -221 222 -223 -224 226 -225 -227 -231 230 -232 -229 228 -233
1376.754u 0.003s 23:10.00 99.0%	0+0k 0+0io 0pf+0w