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