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