Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_100v_s2v100c1300_6.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1300_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 933
o 933
c first lower bound: 748
c 667 branches 12 propagates
c total generalized unit propagation = 1347, success = 49.59%
s OPTIMUM FOUND
c Optimal Solution = 933
v 4 1 18 21 23 -34 36 -43 45 48 49 -52 -54 -55 62 -64 65 -74 79 -85 -88 93 97 -14 2 15 22 -29 32 -38 -41 46 47 -53 56 67 -76 -80 -84 -86 -89 96 98 3 -20 31 61 63 -69 73 81 90 -94 -5 -7 -8 9 13 44 50 -51 -70 72 77 87 -92 -12 -26 27 -33 -37 -39 40 -60 -66 68 71 -78 82 6 24 28 -99 -25 -10 30 -95 16 -35 -42 58 75 83 -11 -17 91 -19 57 -59 100
6.296u 0.007s 0:06.32 99.5%	0+0k 0+0io 0pf+0w