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