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