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_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-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27956
WARNING: Ubcsat not found.
o 27956
o 6083
o 6079
o 6078
o 6074
o 6067
o 6064
o 6063
o 6062
o 6036
o 6030
o 6029
o 6024
o 6018
o 6017
o 6015
o 6014
o 6012
o 6009
o 6003
o 5998
o 5997
o 5993
o 5992
o 5989
o 5986
o 5984
o 5983
o 5980
o 5978
o 5976
o 5975
o 5973
o 5972
o 5971
o 5970
o 5969
o 5968
o 5967
o 5966
o 5965
o 5964
o 5962
o 5960
o 5958
o 5954
o 5953
o 5952
o 5942
o 5927
o 5925
o 5917
o 5912
o 5910
o 5908
o 5906
o 5899
o 5896
o 5893
o 5892
o 5882
o 5878
o 5875
o 5869
o 5865
o 5864
o 5863
o 5862
o 5860
o 5858
o 5857
o 5855
o 5854
o 5852
o 5851
o 5848
o 5841
o 5840
o 5839
o 5836
o 5830
o 5826
o 5825
o 5824
o 5823
o 5821
o 5819
o 5817
o 5815
o 5814
o 5812
o 5811
o 5810
o 5807
o 5805
o 5803
o 5801
o 5794
o 5793
o 5788
o 5787
o 5786
o 5785
o 5775
o 5774
o 5772
o 5771
o 5767
o 5766
o 5762
o 5761
o 5759
o 5758
o 5754
o 5752
o 5740
o 5739
o 5735
o 5732
o 5727
o 5726
o 5725
o 5723
o 5721
o 5716
o 5715
o 5713
o 5711
o 5705
o 5704
o 5700
o 5697
o 5696
o 5695
o 5693
o 5687
o 5684
o 5679
o 5678
o 5675
o 5664
o 5663
o 5658
o 5654
o 5649
o 5639
o 5636
o 5633
o 5628
o 5627
o 5622
o 5614
o 5604
o 5594
o 5586
o 5582
o 5581
o 5576
o 5572
o 5571
o 5570
o 5567
o 5566
o 5564
o 5557
o 5556
o 5553
o 5546
o 5545
o 5539
o 5538
o 5535
o 5534
o 5522
o 5521
o 5517
o 5512
o 5510
o 5507
o 5506
o 5504
o 5493
o 5492
o 5488
o 5486
o 5483
o 5478
o 5475
o 5471
o 5469
o 5468
c Learned clauses = 0
c NB_MONO= 723, NB_BRANCHE= 52908, NB_BACK= 26525 
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
482.528u 0.014s 8:03.37 99.8%	0+0k 0+0io 0pf+0w