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