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