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