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