Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C3500_H150_1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_1.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 19445
o 3995
o 3991
o 3988
o 3986
o 3980
o 3970
o 3969
o 3964
o 3963
o 3962
o 3961
o 3959
o 3956
o 3954
o 3953
o 3944
o 3940
o 3938
o 3929
o 3916
o 3914
o 3913
o 3912
o 3899
o 3897
o 3893
o 3882
o 3880
o 3879
o 3877
o 3876
o 3865
o 3863
o 3860
o 3853
o 3849
o 3847
o 3846
o 3845
o 3844
o 3833
o 3831
o 3830
o 3828
o 3818
o 3814
o 3812
o 3811
o 3807
o 3804
o 3803
o 3796
o 3795
o 3787
o 3784
o 3776
o 3770
o 3768
o 3767
o 3765
o 3764
o 3763
o 3756
o 3754
o 3742
o 3739
o 3734
o 3733
o 3727
o 3726
o 3724
o 3722
o 3719
o 3714
o 3707
o 3704
o 3700
o 3699
o 3694
o 3693
o 3689
o 3687
o 3683
o 3679
o 3678
o 3677
o 3675
o 3670
o 3663
o 3662
s OPTIMUM FOUND
c Optimal Solution = 3662
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 121 -122 123 -124 -125 -126 127 -128 -129 -130 131 -132 133 -134 -135 136 137 -138 139 140 141 -142 -143 144 -145 -146 -147 -148 -149 150
c Program terminated in 15.110 seconds.
15.107u 0.004s 0:15.15 99.6%	0+0k 0+0io 0pf+0w