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