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_7.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1200_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 898
o 895
o 894
o 893
o 890
o 887
o 884
o 883
o 880
o 879
o 873
o 871
o 869
o 864
o 855
o 850
o 848
o 847
o 846
o 845
o 837
o 836
o 833
o 832
o 829
o 828
o 825
o 824
o 822
o 820
o 818
o 817
o 814
o 808
o 806
o 803
o 800
c 6865 branches 2192 propagates
c total generalized unit propagation = 15845, success = 42.84%
s OPTIMUM FOUND
c Optimal Solution = 800
v -1 6 12 20 -21 30 -36 37 41 43 -51 54 58 61 75 81 89 -93 98 3 -2 5 11 16 -26 39 40 -45 46 -49 53 -55 -56 -64 66 -70 -72 -74 -76 77 83 96 -23 -25 -29 33 34 -35 -48 50 -57 63 69 71 73 82 88 90 -8 -4 -9 13 17 -19 22 27 -28 -62 80 -91 -92 32 44 59 -79 99 10 -31 38 65 -67 68 87 7 14 42 47 -60 -85 -100 -15 -18 24 -52 -78 -94 -97 -86 84 -95
35.569u 0.001s 0:35.62 99.8%	0+0k 0+0io 0pf+0w