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-5.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1300-5.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 128
o 185
o 184
o 183
o 182
o 180
o 179
o 178
o 176
o 175
o 174
o 173
o 172
o 171
o 170
o 169
o 168
c 16345 branches 4067 propagates
c total generalized unit propagation = 35825, success = 45.44%
s OPTIMUM FOUND
c Optimal Solution = 168
v -92 37 -101 34 86 -11 30 95 -102 28 110 -109 -32 57 -33 89 -29 -5 62 -115 -120 -94 -24 60 108 -49 20 18 -107 52 -22 -51 118 -117 -6 -50 79 -38 116 -100 14 -4 -45 -88 -67 -114 85 -111 119 -23 -10 -73 -87 -83 36 81 53 54 -46 -65 55 -31 -13 7 80 -66 -44 61 75 112 -19 106 3 98 -78 16 2 113 -39 26 -84 1 -90 40 -48 -99 -41 64 -82 -71 97 -76 -69 96 -103 77 25 -74 -91 -17 -72 -93 -43 -104 -12 -42 58 59 70 63 56 35 -21 47 105 27 68 -15 -9 8
16.823u 0.002s 0:16.85 99.8%	0+0k 0+0io 0pf+0w