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