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