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