Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_140v_s2v140c1600_8.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/140v/s2v140c1600_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1261
o 1259
o 1256
o 1253
o 1252
o 1251
o 1248
o 1246
o 1243
o 1241
o 1240
o 1238
o 1236
o 1234
o 1233
o 1232
o 1231
o 1229
o 1227
o 1222
o 1221
o 1220
o 1219
o 1218
o 1216
o 1215
o 1208
o 1205
o 1203
o 1201
o 1197
o 1196
o 1194
o 1193
o 1191
o 1189
o 1188
o 1187
o 1186
o 1185
o 1184
o 1180
c 34168 branches 9920 propagates
c total generalized unit propagation = 78159, success = 43.59%
s OPTIMUM FOUND
c Optimal Solution = 1180
v 135 -140 -131 -134 -130 -129 128 -126 127 125 132 -137 124 -139 -123 -121 -138 -119 -117 -116 120 115 113 133 112 -111 -110 109 -108 -107 106 -105 104 102 103 -101 -100 99 98 -97 96 -94 -93 -92 -91 -122 90 -89 118 88 114 87 86 -85 84 83 -82 -81 -80 -79 -95 -78 -77 -76 75 74 73 136 72 71 70 -69 68 67 66 65 -64 63 -62 -61 -60 -59 -58 -57 -56 -55 -54 -53 -52 51 50 49 -48 47 -46 45 -44 -43 -42 41 -40 39 38 37 -36 35 34 -33 -32 31 30 -29 -28 27 26 -25 -24 23 22 -21 -20 19 18 17 16 15 -14 -13 -12 11 -10 -9 -8 -7 -6 -5 -4 -3 2 -1
349.643u 0.004s 5:49.77 99.9%	0+0k 0+0io 0pf+0w