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