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