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
c first lower bound: 1058
o 1359
o 1356
o 1354
o 1353
o 1351
o 1345
o 1344
o 1342
o 1337
o 1336
o 1335
o 1334
o 1333
o 1332
o 1331
o 1327
o 1324
o 1323
o 1321
o 1319
o 1317
o 1315
o 1309
o 1307
o 1305
o 1304
o 1301
o 1300
o 1298
c 6011 branches 2516 propagates
c total generalized unit propagation = 12906, success = 45.97%
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
52.187u 0.002s 0:52.51 99.3%	0+0k 0+0io 0pf+0w