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