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_120v_s2v120c1300_3.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1300_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 941
o 941
c first lower bound: 751
c 1470 branches 40 propagates
c total generalized unit propagation = 2981, success = 49.35%
s OPTIMUM FOUND
c Optimal Solution = 941
v -119 -114 -115 -113 120 -112 111 109 -108 107 -106 117 -105 118 -104 -116 -103 -102 -110 101 -100 99 -98 97 96 -94 -95 93 -92 -90 89 88 87 86 85 -84 83 82 -81 -80 -79 78 -77 91 -76 75 -74 73 -72 -71 70 69 -68 -67 66 65 -64 -63 -62 61 60 59 58 -57 -56 55 54 53 -52 51 50 49 -48 47 -46 45 -44 -43 42 -41 40 -39 38 -37 -36 35 34 33 -32 -31 -30 -29 -28 27 26 25 -24 -23 22 21 -20 19 18 17 16 -15 -14 -13 -12 -11 10 -9 -8 -7 6 5 -4 -3 -2 1
12.036u 0.010s 0:12.06 99.8%	0+0k 0+0io 0pf+0w