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