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