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-10.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1300-10.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
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
c 67182 branches 24807 propagates
c total generalized unit propagation = 159133, success = 42.19%
s OPTIMUM FOUND
c Optimal Solution = 180
v -90 -37 -68 40 89 -27 112 -79 16 -106 -38 -11 26 -63 56 -93 -54 2 105 -92 -73 -39 72 31 -4 10 58 15 114 -25 53 95 77 -8 -47 -100 75 -108 45 69 94 104 -119 61 70 -57 28 -67 9 36 -65 35 -5 -74 111 44 59 13 86 46 -120 83 -34 -18 6 -51 -91 -49 -118 82 66 19 -81 -101 7 -116 84 23 -99 33 98 -30 -76 -60 -64 87 107 -24 -110 78 -62 71 55 -113 88 32 -115 -41 -50 -80 -52 -103 -102 1 21 -97 14 -3 117 -43 -109 17 -29 -85 -48 -22 12 -42 96 -20
86.821u 0.004s 1:27.36 99.3%	0+0k 0+0io 0pf+0w