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