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