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