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_4.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1007
o 1007
c 9932 branches 784 propagates
c total generalized unit propagation = 20649, success = 48.10%
s OPTIMUM FOUND
c Optimal Solution = 1007
v -115 117 -113 -114 112 118 -109 -110 107 106 -105 104 -108 -103 119 102 -100 -98 97 111 -96 -95 -94 -93 92 91 -90 -88 -87 120 116 -86 85 101 84 -83 -82 -81 -80 79 78 -99 77 -76 -75 -74 73 -72 -71 70 -69 68 -67 -66 65 64 63 62 -61 60 89 -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
81.891u 0.010s 1:22.00 99.8%	0+0k 0+0io 0pf+0w