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