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