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