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