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_4.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_4.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27427
WARNING: Ubcsat not found.
o 27427
o 5885
o 5879
o 5877
o 5872
o 5869
o 5862
o 5861
o 5859
o 5852
o 5848
o 5845
o 5842
o 5835
o 5834
o 5829
o 5828
o 5825
o 5823
o 5821
o 5819
o 5812
o 5811
o 5803
o 5797
o 5795
o 5793
o 5789
o 5781
o 5780
o 5777
o 5767
o 5763
o 5759
o 5750
o 5746
o 5742
o 5739
o 5738
o 5735
o 5730
o 5729
o 5728
o 5727
o 5723
o 5722
o 5718
o 5716
o 5714
o 5708
o 5697
o 5684
o 5682
o 5679
o 5675
o 5673
o 5672
o 5671
o 5668
o 5655
o 5648
o 5646
o 5644
o 5642
o 5632
o 5629
o 5623
o 5614
o 5593
o 5592
o 5588
o 5586
o 5585
o 5584
o 5578
o 5569
o 5568
o 5566
o 5558
o 5541
o 5538
o 5526
o 5521
o 5520
o 5516
o 5513
o 5494
o 5489
o 5486
o 5482
o 5477
o 5472
o 5470
o 5464
o 5451
c Learned clauses = 0
c NB_MONO= 308, NB_BRANCHE= 18117, NB_BACK= 9088 
s OPTIMUM FOUND
c Optimal Solution = 5451
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
359.195u 0.021s 5:59.24 99.9%	0+0k 0+0io 0pf+0w