Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_120v_s2v120c1200_4.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1200_4.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 6531
o 900
o 895
o 894
o 893
o 890
o 886
o 883
o 882
o 878
o 877
o 873
o 872
o 869
o 868
o 867
o 865
o 863
o 862
o 861
o 858
o 856
o 853
o 845
o 844
o 842
o 840
o 838
o 835
o 833
o 831
o 830
o 829
o 826
o 825
o 824
o 823
o 821
o 819
o 816
o 815
o 811
s OPTIMUM FOUND
c Optimal Solution = 811
v 1 2 3 -4 -5 -6 7 8 -9 -10 11 -12 -13 14 15 16 -17 18 19 20 21 22 -23 -24 25 26 27 -28 29 -30 -31 -32 33 34 35 36 -37 38 39 40 41 42 43 44 45 -46 -47 48 49 -50 -51 52 -53 54 55 -56 57 58 59 -60 -61 -62 -63 -64 65 66 -67 -68 -69 -70 71 -72 73 74 -75 -76 77 -78 79 -80 81 82 -83 -84 -85 -86 87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 101 102 -103 104 105 -106 -107 -108 109 110 -111 -112 -113 114 115 -116 117 -118 -119 -120
c Program terminated in 80.850 seconds.
80.840u 0.006s 1:20.98 99.8%	0+0k 0+0io 5pf+0w