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