Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_random-_home_maxsat_benchmarks_pms_random_pmax3sat_lo_file_rpms_wcnf_L3_V100_C300_H100_5.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/lo/file_rpms_wcnf_L3_V100_C300_H100_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1
o 0
c 32 branches 116 propagates
c total generalized unit propagation = 148, success = 0.00%
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.008u 0.002s 0:00.01 0.0%	0+0k 0+0io 0pf+0w