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