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_s2v120c1400_6.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 959
o 959
c first lower bound: 789
c 1366 branches 214 propagates
c total generalized unit propagation = 2947, success = 46.39%
s OPTIMUM FOUND
c Optimal Solution = 959
v 115 -116 -118 113 -119 -112 117 -111 109 -107 -106 -120 104 103 108 110 -101 -99 98 -97 102 -96 100 95 -94 93 -92 91 -90 89 88 87 -86 85 84 83 82 81 -80 79 -114 -78 77 76 75 74 73 72 105 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
11.356u 0.007s 0:11.41 99.4%	0+0k 0+0io 0pf+0w