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