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