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