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