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