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_s2v100c1200_4.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1200_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 798
o 798
c first lower bound: 641
c 485 branches 29 propagates
c total generalized unit propagation = 1000, success = 48.60%
s OPTIMUM FOUND
c Optimal Solution = 798
v 1 6 -9 -13 26 -33 36 -38 42 46 63 70 71 76 81 82 -84 -93 97 99 2 -7 10 -11 -18 -19 34 -40 -41 -45 51 -74 85 94 100 -3 -32 -35 -39 -79 -90 -92 96 5 4 22 27 28 50 -52 -54 59 -72 77 89 -91 98 -12 14 21 24 -31 -44 -55 -62 -66 -86 -87 -95 16 30 43 48 49 -61 67 -68 -15 -17 -23 -47 -65 75 8 -20 37 56 -58 -69 -73 -57 83 88 -25 60 -29 53 -80 64 78
3.761u 0.003s 0:03.84 97.9%	0+0k 0+0io 0pf+0w