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_140v_s2v140c1400_1.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/140v/s2v140c1400_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 926
o 926
c first lower bound: 709
c 11002 branches 2857 propagates
c total generalized unit propagation = 24862, success = 44.26%
s OPTIMUM FOUND
c Optimal Solution = 926
v -139 -137 -140 -138 136 -135 133 -134 -131 -130 -128 -126 -127 129 -125 -123 122 -121 124 -120 -117 -116 115 114 -112 118 -111 -110 -108 107 -106 -105 132 -104 102 -101 113 -100 -109 99 98 97 -96 -95 94 -93 92 -91 103 -90 -89 -87 -86 85 88 -84 83 82 -81 -80 79 78 119 -77 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
107.344u 0.005s 1:47.39 99.9%	0+0k 0+0io 0pf+0w