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_4.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1200_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 656
o 873
o 870
o 869
o 868
o 867
o 861
o 853
o 852
o 849
o 847
o 843
o 841
o 838
o 837
o 833
o 829
o 824
o 823
o 822
o 819
o 818
o 815
o 814
o 813
o 812
o 809
o 808
o 807
o 805
o 800
o 799
o 798
c 1452 branches 2243 propagates
c total generalized unit propagation = 3595, success = 37.27%
s OPTIMUM FOUND
c Optimal Solution = 798
v 1 6 -9 -13 26 -33 36 -38 42 46 63 70 71 76 81 82 -84 -93 97 99 2 -7 10 -11 -18 -19 34 -40 -41 -45 51 -74 85 94 100 -3 -32 -35 -39 -79 -90 -92 96 5 4 22 27 28 50 -52 -54 59 -72 77 89 -91 98 -12 14 21 24 -31 -44 -55 -62 -66 -86 -87 -95 16 30 43 48 49 -61 67 -68 -15 -17 -23 -47 -65 75 8 -20 37 56 -58 -69 -73 -57 83 88 -25 60 -29 53 -80 64 78
7.007u 0.002s 0:07.01 99.8%	0+0k 0+0io 0pf+0w