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