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