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