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