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_s2v140c1200-3.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/140v/s2v140c1200-3.cnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 155
o 155
c first lower bound: 111
c 38919 branches 8851 propagates
c total generalized unit propagation = 86688, success = 44.90%
s OPTIMUM FOUND
c Optimal Solution = 155
v -8 -109 1 -52 17 11 -76 65 -2 -62 56 92 -59 117 -82 84 -137 -138 -7 -61 -72 63 -97 -86 -16 -27 116 112 68 83 33 -121 41 -6 -15 -130 22 74 -119 -55 48 -105 21 -13 12 44 -66 43 -81 -79 -87 107 132 -40 -4 -19 38 129 -32 126 45 10 24 139 -111 -122 34 -9 46 134 -110 106 3 36 96 20 -47 -23 28 80 -71 -94 18 -64 -102 54 -57 -26 -25 -29 -100 124 78 104 -115 -140 -103 49 42 73 -53 30 -69 31 -39 -127 -136 75 70 -98 -89 -51 -50 123 -77 101 88 120 -67 -125 93 -14 -108 131 135 -37 -113 -114 90 -58 -95 -5 118 128 35 60 -91 99 133 -85
52.039u 0.008s 0:52.37 99.3%	0+0k 0+0io 0pf+0w