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_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C300_H100_6.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 33 -71 -99 87 -75 -72 -94 89 -73 -61 8 -80 -74 76 31 62 -77 22 -19 -20 85 -38 57 27 -17 5 -56 14 -18 -21 63 -96 -41 -52 25 -78 -59 55 -23 -10 91 -4 -32 84 -24 -81 -43 -83 88 97 -66 30 50 3 -68 51 42 28 -53 -13 -12 95 100 -26 -92 7 -2 54 -58 64 98 -70 1 6 86 29 79 -15 39 -44 -46 67 -49 69 48 -45 40 -82 93 -34 9 -37 36 -90 -65 -16 -60 -35 47 11
0.008u 0.005s 0:00.01 0.0%	0+0k 0+0io 0pf+0w