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