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