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