Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C3500_H150_7.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_7.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3500 19143
WARNING: Ubcsat not found.
o 19143
o 4078
o 4069
o 4066
o 4065
o 4057
o 4056
o 4052
o 4040
o 4037
o 4033
o 4029
o 4026
o 4022
o 4015
o 4011
o 4008
o 3991
o 3990
o 3989
o 3988
o 3985
o 3975
o 3974
o 3973
o 3971
o 3955
o 3952
o 3950
o 3949
o 3945
o 3941
o 3938
o 3937
o 3934
o 3930
o 3909
o 3905
o 3896
o 3892
o 3891
o 3888
o 3879
o 3878
o 3876
o 3874
o 3872
o 3871
o 3870
o 3867
o 3864
o 3863
o 3861
o 3854
o 3852
o 3850
o 3845
o 3837
o 3834
o 3833
o 3827
o 3825
o 3822
o 3820
o 3819
o 3815
o 3814
o 3798
o 3796
o 3793
o 3788
o 3787
o 3786
o 3775
o 3769
o 3766
o 3759
o 3758
o 3752
o 3746
o 3743
o 3731
o 3729
o 3724
o 3723
o 3711
o 3705
o 3698
o 3696
o 3694
o 3686
o 3684
o 3680
o 3674
o 3670
o 3669
o 3666
o 3662
o 3660
o 3655
o 3629
o 3624
o 3622
o 3617
c Learned clauses = 0
c NB_MONO= 555, NB_BRANCHE= 2601, NB_BACK= 1330 
s OPTIMUM FOUND
c Optimal Solution = 3617
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 0
15.100u 0.010s 0:15.11 100.0%	0+0k 0+0io 0pf+0w