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