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_s2v100c1200_6.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1200_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 617
o 913
o 912
o 911
o 908
o 907
o 905
o 900
o 897
o 896
o 894
o 885
o 883
o 880
o 876
o 875
o 856
o 854
o 851
o 846
o 839
o 836
o 833
o 828
o 825
o 824
o 823
o 819
o 816
o 814
o 812
o 811
o 808
o 797
o 796
o 792
o 785
o 780
o 779
o 776
o 772
o 767
o 766
o 763
o 760
o 753
o 745
o 740
o 737
o 735
o 734
c 487 branches 2350 propagates
c total generalized unit propagation = 1653, success = 18.33%
s OPTIMUM FOUND
c Optimal Solution = 734
v 7 -1 -17 -33 -35 38 39 44 -46 -49 59 -60 -64 -69 72 73 74 78 -88 -89 -2 15 -24 -30 31 40 43 47 52 -56 62 66 -83 96 -99 3 10 -14 20 -51 -54 -55 57 63 71 77 81 82 -86 94 -95 98 -4 5 -6 -19 -22 23 26 32 34 37 -41 -53 -58 70 76 80 -92 93 100 8 -11 -12 -21 -25 -42 -87 -97 -28 91 9 36 -67 75 84 27 -45 79 85 -90 -48 61 -65 13 16 29 68 -18 50
1.118u 0.001s 0:01.12 99.1%	0+0k 0+0io 0pf+0w