Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_random-_home_maxsat_benchmarks_ms_random_highgirth_4SAT_HG-4SAT-V100-C900-100.cnf
Job file: /home/maxsat/benchmarks/ms_random/highgirth/4SAT/HG-4SAT-V100-C900-100.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 17
o 16
o 15
o 14
o 13
o 12
o 11
o 10
o 9
o 8
o 7
o 6
o 5
o 4
o 3
o 2
o 1
c 2650935 branches 246842 propagates
c total generalized unit propagation = 5545425, success = 47.74%
s OPTIMUM FOUND
c Optimal Solution = 1
v 52 16 -48 -80 73 36 -19 -41 5 17 85 -50 33 -29 79 98 4 14 90 72 -34 -54 62 -100 -75 53 84 45 30 -81 77 -68 13 -60 99 -88 96 15 71 -95 -83 -40 67 -10 -43 32 69 -78 -58 -35 -97 49 51 57 12 91 -46 -23 -89 -26 -93 31 -24 -3 -25 37 -87 -64 11 2 -39 9 -94 22 -65 42 -59 1 -21 61 -18 -55 28 -70 -63 82 76 86 -44 66 -8 27 47 -20 38 -56 6 -7 -92 -74
1422.793u 0.002s 23:43.13 99.9%	0+0k 0+0io 0pf+0w