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_1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_1.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27611
WARNING: Ubcsat not found.
o 27611
o 5900
o 5896
o 5892
o 5891
o 5889
o 5884
o 5883
o 5878
o 5877
o 5875
o 5874
o 5873
o 5870
o 5867
o 5864
o 5863
o 5862
o 5861
o 5860
o 5859
o 5858
o 5852
o 5846
o 5841
o 5840
o 5839
o 5838
o 5837
o 5833
o 5827
o 5826
o 5825
o 5824
o 5821
o 5819
o 5817
o 5815
o 5813
o 5809
o 5808
o 5807
o 5806
o 5802
o 5801
o 5798
o 5794
o 5788
o 5783
o 5782
o 5776
o 5774
o 5764
o 5759
o 5757
o 5749
o 5741
o 5736
o 5732
o 5729
o 5728
o 5724
o 5720
o 5719
o 5711
o 5710
o 5705
o 5698
o 5690
o 5682
o 5678
o 5673
o 5672
o 5671
o 5669
o 5666
o 5664
o 5663
o 5661
o 5659
o 5654
o 5653
o 5652
o 5650
o 5649
o 5648
o 5644
o 5643
o 5640
o 5636
o 5634
o 5628
o 5625
o 5624
o 5622
o 5621
o 5619
o 5618
o 5614
o 5611
o 5609
o 5608
o 5606
o 5605
o 5602
o 5601
o 5600
o 5597
o 5593
o 5592
o 5588
o 5587
o 5586
o 5584
o 5583
o 5582
o 5581
o 5580
o 5575
o 5572
o 5564
o 5561
o 5559
o 5557
o 5546
o 5535
o 5532
o 5528
o 5527
o 5520
o 5519
o 5517
o 5515
o 5513
o 5511
o 5509
o 5508
o 5507
o 5505
o 5504
o 5499
o 5497
o 5496
o 5495
o 5494
o 5493
o 5488
o 5482
o 5480
o 5475
o 5472
o 5469
o 5466
o 5464
o 5461
o 5460
o 5458
o 5457
o 5452
o 5450
o 5448
o 5447
o 5446
o 5443
o 5438
o 5434
o 5427
o 5421
o 5419
o 5414
o 5413
o 5409
o 5408
o 5405
o 5402
o 5398
o 5396
o 5392
o 5390
o 5388
o 5387
o 5384
o 5381
o 5377
o 5376
o 5373
o 5371
o 5365
o 5363
o 5359
o 5355
o 5352
o 5348
o 5345
o 5340
o 5338
c Learned clauses = 0
c NB_MONO= 705, NB_BRANCHE= 11979, NB_BACK= 6064 
s OPTIMUM FOUND
c Optimal Solution = 5338
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
112.400u 0.011s 1:52.67 99.7%	0+0k 0+0io 0pf+0w