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