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_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_0.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27631
WARNING: Ubcsat not found.
o 27631
o 5937
o 5935
o 5927
o 5925
o 5920
o 5917
o 5886
o 5882
o 5877
o 5873
o 5869
o 5865
o 5863
o 5859
o 5854
o 5851
o 5841
o 5833
o 5827
o 5826
o 5823
o 5817
o 5815
o 5812
o 5810
o 5807
o 5805
o 5802
o 5800
o 5797
o 5795
o 5793
o 5789
o 5784
o 5783
o 5775
o 5770
o 5766
o 5763
o 5758
o 5755
o 5754
o 5750
o 5749
o 5748
o 5745
o 5742
o 5739
o 5736
o 5729
o 5726
o 5725
o 5722
o 5721
o 5716
o 5715
o 5713
o 5698
o 5688
o 5684
o 5675
o 5674
o 5672
o 5671
o 5669
o 5667
o 5664
o 5662
o 5655
o 5654
o 5650
o 5644
o 5629
o 5626
o 5625
o 5622
o 5621
o 5619
o 5617
o 5614
o 5610
o 5609
o 5605
o 5604
o 5598
o 5594
o 5591
o 5575
o 5569
o 5567
o 5563
o 5561
o 5559
o 5551
o 5520
o 5519
o 5518
o 5515
o 5513
o 5510
o 5499
o 5498
o 5497
o 5496
o 5495
o 5488
o 5487
o 5473
o 5467
o 5463
o 5460
o 5448
o 5445
o 5443
o 5440
o 5436
o 5433
o 5432
o 5418
o 5412
o 5411
o 5406
o 5402
o 5392
o 5385
o 5377
o 5372
o 5365
o 5363
o 5362
c Learned clauses = 0
c NB_MONO= 451, NB_BRANCHE= 4073, NB_BACK= 2074 
s OPTIMUM FOUND
c Optimal Solution = 5362
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
34.498u 0.016s 0:34.58 99.7%	0+0k 0+0io 0pf+0w