Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_random-_home_maxsat_benchmarks_pms_random_pmax3sat_hi_file_rpms_wcnf_L3_V100_C600_H100_6.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/hi/file_rpms_wcnf_L3_V100_C600_H100_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 33
o 32
o 31
o 30
o 29
o 28
o 27
o 26
o 25
o 24
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
c 22745 branches 34678 propagates
c total generalized unit propagation = 48772, success = 46.44%
s OPTIMUM FOUND
c Optimal Solution = 7
v 94 74 -43 99 6 31 -58 -38 -53 -3 46 -83 -22 4 72 -92 89 66 68 -50 -62 81 -84 -11 12 97 48 -63 69 -1 25 -27 -33 -79 14 47 -39 -65 -26 -20 42 -7 5 -64 82 9 61 -40 -87 -95 41 44 67 90 55 -100 -78 -45 -18 30 60 8 36 -35 80 56 -16 86 -2 71 -59 -10 98 21 -29 -52 -49 -24 -28 -34 51 37 -15 19 -96 85 76 70 -17 13 -88 54 32 -73 23 93 -77 57 -91 75
10.913u 0.003s 0:10.91 100.0%	0+0k 0+0io 0pf+0w