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