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