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