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