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