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
c first lower bound: 141
o 213
o 212
o 208
o 207
o 206
o 205
o 204
o 203
o 202
o 201
o 200
o 199
o 197
o 196
o 195
o 194
c 68909 branches 6676 propagates
c total generalized unit propagation = 143725, success = 47.91%
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
86.717u 0.006s 1:26.81 99.8%	0+0k 0+0io 0pf+0w