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