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
o 194
o 193
o 191
o 190
o 188
o 187
o 186
c 90423 branches 15964 propagates
c total generalized unit propagation = 196793, success = 45.94%
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
116.896u 0.002s 1:57.02 99.8%	0+0k 0+0io 0pf+0w