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_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-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27662
WARNING: Ubcsat not found.
o 27662
o 5800
o 5795
o 5786
o 5779
o 5770
o 5768
o 5767
o 5759
o 5754
o 5753
o 5740
o 5733
o 5723
o 5721
o 5718
o 5708
o 5703
o 5699
o 5697
o 5692
o 5691
o 5680
o 5672
o 5671
o 5663
o 5659
o 5655
o 5652
o 5649
o 5637
o 5635
o 5629
o 5627
o 5623
o 5618
o 5615
o 5609
o 5604
o 5596
o 5591
o 5581
o 5580
o 5577
o 5568
o 5565
o 5562
o 5545
o 5540
o 5539
o 5528
o 5518
o 5515
o 5514
o 5513
o 5512
o 5508
o 5501
o 5498
o 5492
o 5489
o 5487
o 5485
o 5484
o 5482
o 5479
o 5478
o 5476
o 5474
o 5471
o 5469
o 5466
o 5463
o 5461
o 5460
o 5456
o 5449
o 5444
o 5441
o 5440
o 5434
o 5433
o 5432
o 5431
o 5429
o 5424
o 5419
o 5416
o 5415
o 5414
o 5404
o 5402
o 5399
o 5397
o 5392
o 5387
o 5385
o 5383
o 5382
o 5378
o 5372
o 5370
o 5369
o 5364
o 5357
o 5353
o 5351
o 5350
o 5349
o 5347
o 5346
o 5341
o 5339
c Learned clauses = 0
c NB_MONO= 393, NB_BRANCHE= 3025, NB_BACK= 1545 
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
20.963u 0.010s 0:20.98 99.9%	0+0k 0+0io 0pf+0w