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_100v_s2v100c1500_8.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1500_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 982
o 1384
o 1376
o 1372
o 1368
o 1361
o 1357
o 1355
o 1350
o 1347
o 1343
o 1341
o 1332
o 1327
o 1324
o 1317
o 1316
o 1315
o 1314
o 1308
o 1306
o 1304
o 1298
o 1297
o 1296
o 1295
o 1293
o 1291
o 1287
o 1282
o 1281
o 1278
o 1274
o 1273
o 1270
o 1269
o 1264
o 1260
o 1258
o 1253
o 1251
o 1250
o 1248
o 1247
o 1246
o 1245
o 1244
o 1241
o 1239
o 1237
o 1236
o 1234
o 1230
o 1226
o 1225
o 1218
o 1217
c 8896 branches 3196 propagates
c total generalized unit propagation = 18729, success = 46.48%
s OPTIMUM FOUND
c Optimal Solution = 1217
v 3 1 -7 9 -10 11 22 31 -34 35 -36 39 40 44 45 48 51 55 58 -61 66 -67 69 76 -79 81 -86 87 -90 91 -94 -2 -6 -15 21 -32 -43 54 -62 -63 -64 65 80 -83 -100 4 -8 -14 16 24 25 -30 33 -38 46 -47 49 57 -71 -73 -74 75 -77 -78 85 -93 95 96 5 -12 -18 28 -89 -97 17 -23 -29 50 53 -72 26 41 -92 -27 -52 -84 -88 -99 -13 -56 60 70 82 37 -98 -19 -20 68 -42 -59
78.017u 0.008s 1:18.40 99.5%	0+0k 0+0io 0pf+0w