Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax3sat_lo_file_rwpms_wcnf_L3_V100_C300_H100_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C300_H100_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2
o 1
o 0
c 38 branches 82 propagates
c total generalized unit propagation = 121, success = 0.83%
s OPTIMUM FOUND
c Optimal Solution = 0
v -82 -67 11 71 78 -56 51 -65 -52 -47 100 -91 24 96 -83 39 7 23 -89 87 98 -32 -88 3 21 -79 57 80 99 2 -12 16 -69 -28 -55 13 -70 81 -29 62 -50 -17 64 -44 9 66 90 27 -41 38 -86 -58 93 -1 -19 60 84 25 -10 37 -8 48 -76 -63 -35 43 14 46 54 75 -95 -61 45 -31 -26 68 4 15 -92 -72 20 59 -73 34 -18 49 -22 77 -85 -74 6 -30 -5 -53 -33 36 94 40 -42 97
0.009u 0.001s 0:00.01 0.0%	0+0k 0+0io 0pf+0w