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