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_hi_file_rwpms_wcnf_L3_V100_C700_H100_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 51
o 51
c first lower bound: 0
c 23360 branches 34330 propagates
c total generalized unit propagation = 46947, success = 49.75%
s OPTIMUM FOUND
c Optimal Solution = 51
v -60 19 -20 38 -28 92 -64 18 58 -79 15 -73 71 35 39 11 49 -50 -44 -88 13 37 -98 99 55 30 -87 -21 42 1 16 14 -29 -85 86 81 80 -4 -5 -45 -53 -9 52 10 -63 -33 -41 -25 54 -94 -59 17 95 -67 72 24 -31 -34 36 -97 -74 70 -66 46 -57 -96 27 -90 -91 62 51 -84 82 23 12 8 69 -77 -47 -22 -68 -76 89 -100 -43 32 48 6 -65 93 -78 61 83 -3 26 -56 -40 2 -7 -75
31.758u 0.008s 0:31.80 99.8%	0+0k 0+0io 0pf+0w