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