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