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
o 188
o 187
o 186
o 185
o 184
o 183
o 182
o 181
o 180
o 179
o 178
o 177
o 176
o 175
o 174
o 172
o 171
c 366005 branches 94838 propagates
c total generalized unit propagation = 826817, success = 44.26%
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
500.207u 0.018s 8:20.74 99.8%	0+0k 0+0io 0pf+0w