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