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