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