Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-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_ls/akmaxsat_ls
c initialized bestCost to 18
o 18
c first lower bound: 9
c 21845258 branches 45838240 propagates
c total generalized unit propagation = 56316132, success = 38.10%
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
1393.112u 0.007s 23:13.49 99.9%	0+0k 0+0io 0pf+0w