Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27836
WARNING: Ubcsat not found.
o 27836
o 5990
o 5987
o 5985
o 5964
o 5962
o 5961
o 5948
o 5946
o 5940
o 5939
o 5935
o 5933
o 5931
o 5929
o 5926
o 5921
o 5916
o 5912
o 5910
o 5904
o 5901
o 5892
o 5890
o 5889
o 5880
o 5878
o 5874
o 5872
o 5867
o 5865
o 5861
o 5859
o 5856
o 5853
o 5851
o 5846
o 5844
o 5841
o 5840
o 5837
o 5836
o 5834
o 5829
o 5818
o 5813
o 5810
o 5808
o 5802
o 5797
o 5795
o 5794
o 5787
o 5785
o 5781
o 5776
o 5770
o 5766
o 5764
o 5763
o 5760
o 5759
o 5751
o 5743
o 5740
o 5739
o 5732
o 5726
o 5725
o 5720
o 5718
o 5711
o 5709
o 5706
o 5704
o 5699
o 5696
o 5694
o 5693
o 5692
o 5685
o 5683
o 5681
o 5679
o 5678
o 5677
o 5673
o 5666
o 5659
o 5658
o 5653
o 5651
o 5645
o 5643
o 5642
o 5637
o 5635
o 5632
o 5631
o 5626
o 5619
o 5618
o 5616
o 5613
o 5608
o 5606
o 5600
o 5594
o 5586
o 5579
o 5576
o 5570
o 5568
o 5562
o 5558
o 5557
o 5543
o 5542
o 5541
o 5539
o 5537
o 5535
o 5526
o 5525
o 5524
o 5520
o 5517
o 5512
o 5508
o 5507
o 5499
o 5497
o 5496
o 5487
o 5485
o 5481
o 5475
o 5473
o 5471
o 5470
o 5469
o 5468
o 5467
o 5460
o 5456
o 5451
o 5444
o 5443
o 5436
o 5435
o 5431
o 5425
o 5423
o 5412
o 5399
o 5386
o 5384
o 5372
o 5366
o 5360
o 5359
o 5357
o 5356
o 5351
o 5349
o 5348
o 5343
o 5341
o 5333
o 5332
o 5328
o 5327
o 5324
o 5318
o 5315
o 5312
c Learned clauses = 0
c NB_MONO= 663, NB_BRANCHE= 8311, NB_BACK= 4215 
s OPTIMUM FOUND
c Optimal Solution = 5312
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
147.109u 0.015s 2:28.05 99.3%	0+0k 0+0io 0pf+0w