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_s2v120c1400-8.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1400-8.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 216
o 215
o 213
o 212
o 206
o 205
o 204
o 203
o 201
o 200
o 199
o 198
o 196
o 195
o 194
c 120298 branches 11299 propagates
c total generalized unit propagation = 251860, success = 47.75%
s OPTIMUM FOUND
c Optimal Solution = 194
v 36 22 -98 2 71 82 -72 70 84 107 -8 83 -24 90 26 -48 -47 97 -74 27 33 6 105 120 112 89 63 59 32 -51 -9 -78 -62 -94 -40 -45 -101 37 100 -88 -119 -64 -115 7 -109 -13 46 -38 113 -99 80 42 -75 56 -104 -52 54 50 39 -17 -117 81 -76 -1 -49 -21 86 87 61 -41 3 43 -10 -23 -85 110 -29 -53 -77 106 67 15 -92 103 93 -28 -55 34 -12 44 -19 111 -4 -116 -60 91 108 65 -30 57 31 20 96 -73 -68 102 18 -11 -95 -69 -35 -5 16 -14 66 -25 58 114 118 -79
162.303u 0.008s 2:43.18 99.4%	0+0k 0+0io 0pf+0w