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