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