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_7.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1600_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 993
o 1423
o 1419
o 1418
o 1417
o 1415
o 1414
o 1413
o 1411
o 1410
o 1408
o 1404
o 1403
o 1402
o 1399
o 1398
o 1396
o 1395
o 1393
o 1392
o 1390
o 1387
o 1382
o 1379
o 1374
o 1369
o 1365
o 1362
o 1359
o 1357
o 1355
o 1354
o 1351
o 1349
o 1348
o 1344
o 1342
o 1341
o 1338
o 1333
o 1331
o 1327
o 1326
o 1322
o 1321
o 1316
o 1313
o 1312
o 1305
o 1302
o 1300
o 1297
o 1295
o 1291
o 1285
o 1284
o 1283
o 1281
o 1280
o 1278
o 1275
o 1274
o 1268
o 1266
o 1264
o 1256
o 1253
o 1250
o 1248
o 1247
o 1244
o 1243
c 18334 branches 5061 propagates
c total generalized unit propagation = 38782, success = 46.59%
s OPTIMUM FOUND
c Optimal Solution = 1243
v 1 10 -11 -14 -18 -20 -21 24 25 -27 -28 -31 32 -41 -43 -45 48 51 -58 -61 -63 65 66 78 -80 -81 86 91 -96 99 -2 -3 4 7 -9 33 -42 -44 49 54 -57 -60 -67 71 -74 -76 -83 -93 -95 -5 -6 13 15 19 22 23 -29 34 36 38 -56 62 -70 -85 88 -89 8 -17 26 -35 46 55 -59 -68 -77 -82 -87 -90 98 37 39 -52 64 -75 79 100 -50 72 16 -30 73 84 -92 47 53 -69 94 -12 -97 40
131.631u 0.014s 2:12.28 99.5%	0+0k 0+0io 0pf+0w