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_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1600_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1388
o 1386
o 1384
o 1379
o 1378
o 1371
o 1361
o 1355
o 1351
o 1350
o 1347
o 1346
o 1341
o 1339
o 1337
o 1335
o 1333
o 1332
o 1331
o 1330
o 1329
o 1328
o 1324
o 1323
o 1307
o 1305
o 1304
o 1300
o 1298
c 7025 branches 1585 propagates
c total generalized unit propagation = 15569, success = 44.70%
s OPTIMUM FOUND
c Optimal Solution = 1298
v -4 1 5 6 7 -8 9 -10 12 14 -15 -20 -21 22 -23 -26 35 39 41 -42 -48 -49 50 57 60 -62 72 -74 -87 -91 -92 97 99 -2 -16 18 33 -34 37 -38 -40 -45 -46 51 -53 54 55 65 -67 68 -69 -71 -80 83 86 89 -94 96 -98 3 11 -17 24 -30 -32 43 44 -47 56 58 73 -76 79 88 90 25 -63 64 70 19 27 -36 -52 66 -13 31 -77 78 82 -93 28 -61 84 100 -29 -59 -81 75 95 -85
71.535u 0.008s 1:11.77 99.6%	0+0k 0+0io 0pf+0w