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
c first lower bound: 638
o 874
o 860
o 857
o 843
o 842
o 837
o 836
o 835
o 833
o 832
o 831
o 829
o 825
o 824
o 822
o 820
o 817
o 814
o 813
o 810
o 808
o 807
o 806
o 803
o 800
c 4882 branches 2410 propagates
c total generalized unit propagation = 10649, success = 44.92%
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
23.244u 0.001s 0:23.39 99.3%	0+0k 0+0io 0pf+0w