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_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C300_H100_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 26
o 22
o 18
o 13
o 11
o 10
o 8
o 7
o 5
o 4
o 2
o 0
c 46 branches 516 propagates
c total generalized unit propagation = 564, success = 0.35%
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.022u 0.000s 0:00.02 100.0%	0+0k 0+0io 0pf+0w