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_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-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27611
WARNING: Ubcsat not found.
o 27611
o 5855
o 5852
o 5851
o 5846
o 5841
o 5840
o 5835
o 5827
o 5826
o 5821
o 5819
o 5817
o 5815
o 5808
o 5807
o 5806
o 5801
o 5798
o 5793
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 5724
o 5721
o 5720
o 5719
o 5713
o 5709
o 5704
o 5698
o 5694
o 5690
o 5688
o 5684
o 5681
o 5680
o 5673
o 5672
o 5671
o 5669
o 5668
o 5666
o 5664
o 5661
o 5657
o 5654
o 5650
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 5602
o 5601
o 5600
o 5599
o 5593
o 5592
o 5588
o 5587
o 5586
o 5584
o 5582
o 5581
o 5580
o 5572
o 5568
o 5564
o 5561
o 5559
o 5557
o 5555
o 5553
o 5551
o 5548
o 5547
o 5546
o 5535
o 5532
o 5531
o 5530
o 5528
o 5527
o 5526
o 5525
o 5519
o 5515
o 5513
o 5511
o 5509
o 5508
o 5506
o 5504
o 5499
o 5498
o 5497
o 5496
o 5495
o 5494
o 5493
o 5488
o 5483
o 5478
o 5476
o 5475
o 5472
o 5469
o 5466
o 5464
o 5461
o 5460
o 5457
o 5454
o 5452
o 5450
o 5448
o 5446
o 5443
o 5438
o 5427
o 5421
o 5419
o 5414
o 5413
o 5410
o 5404
o 5400
o 5399
o 5395
o 5394
o 5393
o 5392
o 5390
o 5389
o 5388
o 5387
o 5384
o 5381
o 5377
o 5376
o 5373
o 5371
o 5365
o 5363
o 5362
o 5359
o 5348
o 5345
o 5340
o 5338
c Learned clauses = 0
c NB_MONO= 610, NB_BRANCHE= 6949, NB_BACK= 3550 
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
72.063u 0.024s 1:12.24 99.7%	0+0k 0+0io 0pf+0w