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-10.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1400-10.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 233
o 232
o 231
o 229
o 228
o 227
o 226
o 225
o 224
o 223
o 222
o 221
o 220
o 219
o 218
o 217
o 216
o 215
o 213
o 212
o 211
c 664456 branches 78641 propagates
c total generalized unit propagation = 1407492, success = 47.20%
s OPTIMUM FOUND
c Optimal Solution = 211
v -98 72 -37 -26 115 -93 -31 -35 -64 -32 15 -120 -54 113 -92 117 -52 -11 46 -8 42 101 118 13 110 -102 7 88 -103 -87 67 5 -23 38 114 -44 -109 45 -61 -17 51 -96 -62 43 68 -60 -116 53 -33 21 18 -36 94 106 -1 78 -4 -24 -83 84 22 -55 25 -112 -58 -48 90 47 104 -99 10 -74 -49 3 -80 82 -77 -105 -6 111 -39 -69 -108 41 -95 86 29 119 -71 -100 2 28 -97 76 81 107 20 -73 56 -9 75 -34 -14 -89 16 70 -91 19 63 27 57 -59 85 65 -50 66 79 -30 40 -12
840.298u 0.003s 14:01.12 99.9%	0+0k 0+0io 0pf+0w