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