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