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