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