Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-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/akmaxsat
o 184
o 182
o 181
o 179
o 177
o 176
o 175
o 174
o 173
o 172
o 171
o 170
o 169
o 168
c 206833 branches 44496 propagates
c total generalized unit propagation = 458128, success = 45.14%
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
290.297u 0.016s 4:52.10 99.3%	0+0k 0+0io 0pf+0w