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_120v_s2v120c1300-4.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1300-4.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 206
o 203
o 202
o 201
o 200
o 199
o 198
o 197
o 196
o 195
o 194
o 193
o 192
o 191
o 190
o 189
o 188
o 187
o 186
o 185
o 184
o 183
o 182
o 181
o 180
o 179
o 178
o 177
o 176
c 41668 branches 12216 propagates
c total generalized unit propagation = 95485, success = 43.57%
s OPTIMUM FOUND
c Optimal Solution = 176
v -57 -44 -86 -119 84 69 7 1 103 70 -25 -85 4 47 76 -41 -91 39 5 -11 35 67 -59 118 -18 -20 -21 -96 -83 55 53 -81 -60 -23 -46 73 61 -78 -58 22 77 -104 89 94 49 14 -87 82 -112 -43 -72 93 -90 33 -75 -97 8 -64 -110 -62 117 52 30 13 26 -45 -92 111 50 -27 -15 40 29 -99 16 100 19 51 -3 114 -42 -80 -102 -71 -56 66 -38 10 -74 -9 -105 -116 -107 37 88 109 -65 -12 -31 -54 120 36 34 -48 -98 -108 17 -68 106 115 -6 24 2 -79 32 -63 28 -95 -113 101
51.092u 0.001s 0:51.15 99.8%	0+0k 0+0io 0pf+0w