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