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 51180 branches 15157 propagates
c total generalized unit propagation = 117518, success = 43.55%
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
72.816u 0.008s 1:13.28 99.3%	0+0k 0+0io 0pf+0w