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