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