Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-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/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 27611
o 6086
o 6079
o 6075
o 6072
o 6066
o 6064
o 6061
o 6050
o 6048
o 6043
o 6033
o 6032
o 6031
o 6027
o 6024
o 6022
o 6016
o 6014
o 6013
o 6011
o 6009
o 6007
o 6005
o 6002
o 6001
o 6000
o 5997
o 5995
o 5993
o 5992
o 5991
o 5987
o 5986
o 5982
o 5981
o 5980
o 5976
o 5975
o 5970
o 5969
o 5968
o 5966
o 5964
o 5956
o 5955
o 5954
o 5949
o 5946
o 5945
o 5936
o 5935
o 5932
o 5930
o 5926
o 5925
o 5923
o 5920
o 5918
o 5913
o 5910
o 5908
o 5906
o 5902
o 5896
o 5893
o 5892
o 5886
o 5882
o 5881
o 5879
o 5878
o 5874
o 5868
o 5867
o 5866
o 5861
o 5860
o 5858
o 5857
o 5851
o 5843
o 5842
o 5840
o 5839
o 5832
o 5819
o 5815
o 5814
o 5811
o 5808
o 5806
o 5805
o 5803
o 5801
o 5798
o 5797
o 5795
o 5793
o 5790
o 5788
o 5784
o 5783
o 5780
o 5779
o 5778
o 5770
o 5766
o 5765
o 5764
o 5762
o 5761
o 5753
o 5750
o 5746
o 5743
o 5741
o 5740
o 5738
o 5733
o 5730
o 5723
o 5718
o 5717
o 5714
o 5710
o 5709
o 5705
o 5696
o 5686
o 5685
o 5684
o 5682
o 5679
o 5676
o 5674
o 5672
o 5666
o 5659
o 5656
o 5655
o 5650
o 5647
o 5646
o 5645
o 5644
o 5643
o 5641
o 5640
o 5636
o 5634
o 5630
o 5622
o 5619
o 5617
o 5615
o 5613
o 5606
o 5605
o 5602
o 5601
o 5599
o 5596
o 5593
o 5591
o 5590
o 5589
o 5587
o 5580
o 5578
o 5577
o 5570
o 5568
o 5565
o 5564
o 5562
o 5561
o 5559
o 5558
o 5556
o 5550
o 5546
o 5535
o 5532
o 5520
o 5519
o 5517
o 5515
o 5513
o 5511
o 5509
o 5508
o 5507
o 5506
o 5504
o 5503
o 5501
o 5499
o 5498
o 5494
o 5493
o 5488
o 5486
o 5482
o 5480
o 5475
o 5472
o 5469
o 5466
o 5464
o 5461
o 5460
o 5457
o 5454
o 5448
o 5447
o 5446
o 5443
o 5438
o 5427
o 5421
o 5419
o 5414
o 5413
o 5412
o 5402
o 5400
o 5398
o 5396
o 5392
o 5393
o 5392
o 5390
o 5389
o 5388
o 5387
o 5384
o 5381
o 5374
o 5373
o 5371
o 5365
o 5363
o 5359
o 5358
o 5355
o 5353
o 5350
o 5348
o 5345
o 5340
o 5338
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
c Program terminated in 142.640 seconds.
142.622u 0.033s 2:22.99 99.7%	0+0k 0+0io 0pf+0w