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