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_wmax2sat_100v_s2v100c1300_6.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1300_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 758
o 1034
o 1032
o 1031
o 1019
o 1017
o 1015
o 1009
o 996
o 994
o 993
o 991
o 990
o 981
o 978
o 977
o 974
o 973
o 971
o 969
o 964
o 962
o 960
o 953
o 946
o 945
o 942
o 941
o 939
o 938
o 937
o 933
c 1031 branches 2211 propagates
c total generalized unit propagation = 2705, success = 34.42%
s OPTIMUM FOUND
c Optimal Solution = 933
v 4 1 18 21 23 -34 36 -43 45 48 49 -52 -54 -55 62 -64 65 -74 79 -85 -88 93 97 -14 2 15 22 -29 32 -38 -41 46 47 -53 56 67 -76 -80 -84 -86 -89 96 98 3 -20 31 61 63 -69 73 81 90 -94 -5 -7 -8 9 13 44 50 -51 -70 72 77 87 -92 -12 -26 27 -33 -37 -39 40 -60 -66 68 71 -78 82 6 24 28 -99 -25 -10 30 -95 16 -35 -42 58 75 83 -11 -17 91 -19 57 -59 100
6.585u 0.002s 0:06.61 99.5%	0+0k 0+0io 0pf+0w