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