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
c first lower bound: 946
o 1344
o 1342
o 1337
o 1333
o 1328
o 1323
o 1321
o 1317
o 1316
o 1315
o 1314
o 1310
o 1306
o 1305
o 1304
o 1302
o 1301
o 1300
o 1299
o 1297
o 1293
o 1292
o 1291
o 1288
o 1287
o 1286
o 1284
o 1282
o 1281
o 1279
o 1278
o 1277
o 1276
o 1274
o 1272
o 1271
o 1269
o 1266
o 1264
o 1262
o 1261
o 1259
o 1258
o 1256
o 1254
o 1253
o 1249
o 1246
o 1242
o 1239
o 1238
o 1236
o 1234
o 1233
o 1231
o 1229
o 1228
o 1226
o 1224
o 1223
o 1222
o 1221
o 1220
o 1219
o 1218
o 1217
o 1215
o 1213
o 1209
o 1208
o 1206
o 1205
o 1204
o 1201
o 1197
o 1196
o 1194
o 1191
o 1189
o 1188
o 1187
o 1186
o 1185
o 1184
o 1180
c 22329 branches 9983 propagates
c total generalized unit propagation = 50803, success = 43.30%
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
201.929u 0.023s 3:22.58 99.6%	0+0k 0+0io 0pf+0w