Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_random-_home_maxsat_benchmarks_wms_random_wmax3sat_lo_file_rwms_wcnf_L3_V70_C300_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax3sat/lo/file_rwms_wcnf_L3_V70_C300_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 20
o 12
o 10
o 9
o 8
o 7
o 6
o 5
o 4
o 3
o 2
o 1
o 0
c 79 branches 559 propagates
c total generalized unit propagation = 672, success = 5.06%
s OPTIMUM FOUND
c Optimal Solution = 0
v -52 49 -27 -58 47 -45 57 40 26 -34 12 55 59 -53 -6 31 -69 -67 -5 -23 61 -19 -1 -10 -20 -42 60 46 33 16 -44 29 -65 39 32 -24 37 -43 -66 25 -36 13 8 7 50 -21 70 -28 -41 38 51 -56 30 22 4 18 35 -11 3 -62 15 14 63 -68 -2 -9 -54 -64 48 -17
0.040u 0.001s 0:00.04 100.0%	0+0k 0+0io 0pf+0w