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