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
o 815
o 809
o 808
o 803
o 801
o 797
o 795
o 787
o 785
o 780
o 770
o 764
o 757
o 750
o 745
o 744
o 743
o 741
o 740
o 739
o 738
o 737
o 736
o 735
o 734
c 344 branches 1218 propagates
c total generalized unit propagation = 1839, success = 15.06%
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.480u 0.000s 0:01.52 97.3%	0+0k 0+0io 0pf+0w