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