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