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