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