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_s2v120c1400-9.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1400-9.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 148
o 219
o 218
o 216
o 215
o 214
o 213
o 212
o 211
o 210
o 208
o 207
o 206
o 205
o 204
o 203
o 202
o 201
o 200
o 199
o 198
c 15473 branches 4775 propagates
c total generalized unit propagation = 34709, success = 44.37%
s OPTIMUM FOUND
c Optimal Solution = 198
v 111 -31 56 10 119 98 62 105 23 -118 -4 -42 115 -37 -32 25 28 -35 38 112 -36 -97 94 117 -34 95 -33 -120 74 102 -20 -5 70 -107 73 -116 -80 85 58 -24 -51 2 39 71 18 -65 -81 59 -6 -29 26 -43 -78 -11 3 -100 -89 -22 -48 12 14 -92 -44 -110 -106 -66 -76 -63 79 -67 9 55 40 93 87 53 -83 64 -60 -77 -45 19 52 -69 96 99 -103 -86 15 49 -101 -109 30 27 91 46 -7 -84 -1 68 -82 90 -54 16 17 104 -8 -21 -75 108 41 -13 88 -113 -57 47 61 -50 -114 -72
19.800u 0.001s 0:19.92 99.3%	0+0k 0+0io 0pf+0w