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_9.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27555
WARNING: Ubcsat not found.
o 27555
o 5919
o 5917
o 5904
o 5891
o 5889
o 5882
o 5876
o 5872
o 5868
o 5867
o 5863
o 5859
o 5855
o 5850
o 5849
o 5847
o 5844
o 5836
o 5828
o 5824
o 5820
o 5819
o 5815
o 5814
o 5812
o 5811
o 5810
o 5807
o 5805
o 5803
o 5802
o 5800
o 5799
o 5798
o 5796
o 5794
o 5791
o 5788
o 5785
o 5784
o 5783
o 5778
o 5773
o 5769
o 5765
o 5760
o 5758
o 5754
o 5751
o 5750
o 5749
o 5748
o 5746
o 5737
o 5735
o 5731
o 5718
o 5714
o 5710
o 5702
o 5694
o 5690
o 5687
o 5686
o 5683
o 5676
o 5668
o 5661
o 5656
o 5647
o 5641
o 5639
o 5637
o 5635
o 5634
o 5627
o 5621
o 5620
o 5610
o 5606
o 5605
o 5600
o 5593
o 5591
o 5588
o 5584
o 5577
o 5573
o 5565
o 5561
o 5558
o 5551
o 5548
o 5546
o 5545
o 5543
o 5535
o 5534
o 5530
o 5524
o 5518
o 5517
o 5515
o 5511
o 5508
o 5505
o 5502
o 5491
o 5489
o 5488
o 5486
o 5484
o 5483
o 5481
o 5477
o 5476
o 5472
o 5471
o 5469
o 5468
o 5466
o 5463
o 5462
o 5460
o 5458
o 5455
o 5449
o 5447
o 5445
o 5442
o 5438
o 5437
o 5431
o 5425
o 5421
o 5420
o 5419
o 5418
o 5415
o 5413
o 5408
o 5398
o 5393
o 5390
o 5376
c Learned clauses = 1
c NB_MONO= 516, NB_BRANCHE= 12691, NB_BACK= 6399 
s OPTIMUM FOUND
c Optimal Solution = 5376
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
129.340u 0.011s 2:09.46 99.9%	0+0k 0+0io 0pf+0w