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