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