Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-ms_random-_home_maxsat_benchmarks_ms_random_max2sat_140v_s2v140c1400-3.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/140v/s2v140c1400-3.cnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 193
o 193
c 299874 branches 38280 propagates
c total generalized unit propagation = 638029, success = 47.00%
s OPTIMUM FOUND
c Optimal Solution = 193
v -86 -48 -99 13 -44 -64 122 -139 -131 -12 62 89 108 -127 28 75 49 102 38 26 9 -19 -8 -5 113 -106 52 -133 -100 101 6 43 21 -30 -20 -40 84 24 128 39 -70 126 110 11 -130 92 -94 104 -79 90 -81 -136 -3 -91 -117 33 54 -14 53 1 -65 137 -112 47 -119 -55 -22 -73 -45 59 -115 -125 -96 2 -120 -105 -60 10 124 -111 -98 -29 -76 15 -17 -16 74 88 -93 -85 34 61 -103 -71 -87 51 -82 140 -36 -95 46 -27 -80 -69 -114 -7 83 56 42 68 18 32 -37 -97 -41 77 -50 -135 4 -121 129 67 -118 35 -138 58 107 -31 -109 -132 -25 -66 116 -72 -57 -63 123 -78 -134 -23
455.611u 0.021s 7:37.15 99.6%	0+0k 0+0io 0pf+0w