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