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