Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-ms_random-_home_maxsat_benchmarks_ms_random_max2sat_120v_s2v120c1400-2.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1400-2.cnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 191
o 191
c first lower bound: 145
c 17385 branches 399 propagates
c total generalized unit propagation = 35170, success = 49.43%
s OPTIMUM FOUND
c Optimal Solution = 191
v 97 20 100 -26 -60 -10 113 28 87 64 105 -85 41 75 -6 -14 -95 54 40 -63 37 65 -80 94 -46 -15 -78 -34 -108 25 -22 38 -117 17 -96 -99 72 39 -12 -89 -30 116 -110 76 35 81 -106 66 23 45 -29 109 -53 -36 68 59 -112 -8 -57 74 102 -47 77 -118 -4 69 -32 -49 5 -27 2 13 -55 -43 90 70 91 11 -104 107 114 -24 3 -42 -50 56 7 -115 -58 -71 -103 -119 9 -44 86 -82 88 -83 -61 -21 1 73 -18 111 101 -120 -62 52 93 -31 98 92 67 -16 -48 -19 -33 -51 -79 84
23.472u 0.004s 0:23.49 99.9%	0+0k 0+0io 0pf+0w