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