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