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