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_8.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_8.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27662
WARNING: Ubcsat not found.
o 27662
o 5803
o 5800
o 5799
o 5798
o 5790
o 5788
o 5787
o 5782
o 5770
o 5767
o 5759
o 5751
o 5750
o 5734
o 5725
o 5723
o 5722
o 5715
o 5714
o 5713
o 5702
o 5699
o 5695
o 5684
o 5683
o 5682
o 5681
o 5669
o 5666
o 5654
o 5652
o 5651
o 5637
o 5630
o 5629
o 5626
o 5620
o 5605
o 5602
o 5599
o 5596
o 5594
o 5585
o 5581
o 5578
o 5576
o 5569
o 5566
o 5565
o 5562
o 5559
o 5555
o 5550
o 5547
o 5546
o 5544
o 5538
o 5531
o 5515
o 5513
o 5501
o 5498
o 5492
o 5489
o 5487
o 5485
o 5484
o 5483
o 5479
o 5478
o 5476
o 5472
o 5471
o 5469
o 5467
o 5466
o 5463
o 5461
o 5460
o 5458
o 5456
o 5449
o 5447
o 5441
o 5440
o 5434
o 5432
o 5431
o 5429
o 5422
o 5408
o 5399
o 5393
o 5388
o 5383
o 5382
o 5370
o 5369
o 5363
o 5359
o 5356
o 5352
o 5347
o 5341
o 5339
c Learned clauses = 0
c NB_MONO= 354, NB_BRANCHE= 1958, NB_BACK= 1027 
s OPTIMUM FOUND
c Optimal Solution = 5339
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
13.386u 0.009s 0:13.42 99.7%	0+0k 0+0io 0pf+0w