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