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_highgirth_4SAT_HG-4SAT-V100-C900-12.cnf
Job file: /home/maxsat/benchmarks/ms_random/highgirth/4SAT/HG-4SAT-V100-C900-12.cnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 2
o 2
o 1
c 1127017 branches 243089 propagates
c total generalized unit propagation = 2493830, success = 45.06%
s OPTIMUM FOUND
c Optimal Solution = 1
v 96 30 -89 -97 -37 -20 54 71 55 -28 46 62 -73 -72 -45 -99 -17 -27 29 -70 93 -56 32 36 11 1 -40 -5 -82 -86 76 67 8 -63 -79 -48 -94 -38 57 65 -10 91 59 -19 90 -85 60 98 33 -52 -61 87 -84 100 35 58 23 53 80 -44 2 -4 14 78 -26 -6 51 74 21 -16 -34 -42 7 15 75 -83 -18 -92 -47 -50 -88 -31 -22 -49 69 -39 -12 77 -13 64 41 95 -3 68 -43 -9 -24 25 66 81
645.754u 0.013s 10:49.31 99.4%	0+0k 0+0io 13pf+0w