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_s2v100c1600_6.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1600_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 986
o 1399
o 1390
o 1389
o 1385
o 1382
o 1376
o 1375
o 1374
o 1373
o 1372
o 1371
o 1370
o 1366
o 1364
o 1363
o 1361
o 1359
o 1355
o 1354
o 1353
o 1351
o 1350
o 1347
o 1345
o 1343
o 1342
o 1340
o 1339
o 1338
o 1337
o 1336
o 1335
o 1333
o 1330
o 1329
o 1328
o 1327
o 1326
o 1320
o 1318
o 1316
o 1315
o 1314
o 1312
o 1308
o 1307
o 1300
o 1297
o 1296
o 1293
o 1290
o 1288
o 1285
o 1283
o 1280
o 1279
o 1278
o 1277
o 1275
o 1271
o 1269
o 1260
o 1258
o 1252
o 1251
o 1250
o 1244
o 1243
o 1242
o 1240
o 1234
o 1229
o 1223
o 1222
o 1219
o 1215
o 1213
o 1208
o 1207
o 1205
o 1204
o 1203
o 1202
o 1192
o 1191
o 1190
c 3515 branches 5645 propagates
c total generalized unit propagation = 8933, success = 36.20%
s OPTIMUM FOUND
c Optimal Solution = 1190
v 5 -1 9 13 -14 -19 -26 29 -32 33 -35 38 42 50 55 56 -61 62 63 -66 -73 74 76 77 84 85 86 -87 89 96 -98 2 -6 8 -10 -11 -15 24 36 39 41 -46 59 -64 70 -71 75 -81 91 95 -97 3 -17 -20 -21 28 -30 34 49 -53 54 58 -60 -72 78 79 80 82 83 -90 -93 -94 -4 -12 16 22 25 -40 43 47 57 68 88 -7 -18 -27 48 65 100 31 -45 44 -52 69 92 -51 -23 37 67 -99
21.307u 0.006s 0:21.32 99.9%	0+0k 0+0io 0pf+0w