Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C5000_H150_7.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_7.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27956
WARNING: Ubcsat not found.
o 27956
o 6046
o 6042
o 6027
o 6025
o 6024
o 6016
o 6010
o 6009
o 6000
o 5999
o 5997
o 5996
o 5995
o 5990
o 5988
o 5979
o 5978
o 5976
o 5968
o 5967
o 5966
o 5965
o 5962
o 5956
o 5954
o 5953
o 5952
o 5951
o 5942
o 5941
o 5940
o 5939
o 5938
o 5934
o 5930
o 5929
o 5928
o 5915
o 5912
o 5906
o 5905
o 5904
o 5902
o 5901
o 5899
o 5896
o 5893
o 5892
o 5880
o 5877
o 5875
o 5873
o 5870
o 5866
o 5864
o 5863
o 5862
o 5858
o 5857
o 5855
o 5854
o 5852
o 5849
o 5848
o 5847
o 5846
o 5845
o 5836
o 5833
o 5831
o 5828
o 5826
o 5821
o 5819
o 5817
o 5815
o 5814
o 5812
o 5810
o 5809
o 5808
o 5802
o 5801
o 5799
o 5797
o 5793
o 5792
o 5791
o 5787
o 5786
o 5785
o 5783
o 5781
o 5778
o 5768
o 5766
o 5764
o 5762
o 5761
o 5758
o 5756
o 5753
o 5749
o 5747
o 5745
o 5744
o 5740
o 5739
o 5737
o 5732
o 5727
o 5726
o 5721
o 5716
o 5715
o 5713
o 5711
o 5708
o 5707
o 5705
o 5704
o 5703
o 5697
o 5696
o 5695
o 5693
o 5687
o 5684
o 5683
o 5682
o 5678
o 5677
o 5675
o 5674
o 5672
o 5670
o 5669
o 5668
o 5665
o 5664
o 5663
o 5662
o 5656
o 5655
o 5645
o 5638
o 5637
o 5630
o 5629
o 5628
o 5621
o 5619
o 5615
o 5609
o 5607
o 5603
o 5598
o 5594
o 5585
o 5584
o 5583
o 5579
o 5569
o 5566
o 5556
o 5553
o 5546
o 5545
o 5542
o 5539
o 5538
o 5535
o 5530
o 5522
o 5521
o 5517
o 5512
o 5507
o 5506
o 5504
o 5493
o 5478
o 5476
o 5475
o 5471
o 5469
o 5468
c Learned clauses = 0
c NB_MONO= 736, NB_BRANCHE= 15871, NB_BACK= 8000 
s OPTIMUM FOUND
c Optimal Solution = 5468
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
215.480u 0.049s 3:35.97 99.7%	0+0k 0+0io 0pf+0w