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