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