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