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