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