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