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_7.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_7.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 27956
o 5986
o 5974
o 5961
o 5955
o 5954
o 5953
o 5952
o 5942
o 5941
o 5940
o 5928
o 5916
o 5914
o 5905
o 5901
o 5900
o 5899
o 5896
o 5893
o 5892
o 5878
o 5865
o 5863
o 5862
o 5859
o 5858
o 5856
o 5855
o 5854
o 5852
o 5847
o 5841
o 5840
o 5838
o 5831
o 5829
o 5825
o 5824
o 5823
o 5821
o 5819
o 5817
o 5815
o 5814
o 5812
o 5810
o 5808
o 5805
o 5803
o 5801
o 5794
o 5788
o 5787
o 5786
o 5785
o 5775
o 5766
o 5762
o 5761
o 5759
o 5754
o 5752
o 5743
o 5740
o 5735
o 5732
o 5727
o 5726
o 5721
o 5716
o 5715
o 5713
o 5711
o 5705
o 5704
o 5703
o 5700
o 5697
o 5696
o 5693
o 5687
o 5684
o 5677
o 5674
o 5673
o 5664
o 5663
o 5658
o 5654
o 5649
o 5639
o 5636
o 5633
o 5632
o 5628
o 5627
o 5622
o 5614
o 5604
o 5599
o 5594
o 5582
o 5581
o 5576
o 5572
o 5564
o 5563
o 5559
o 5556
o 5553
o 5552
o 5549
o 5545
o 5539
o 5538
o 5535
o 5534
o 5521
o 5520
o 5517
o 5512
o 5507
o 5506
o 5504
o 5495
o 5493
o 5492
o 5488
o 5486
o 5483
o 5478
o 5475
o 5474
o 5471
o 5469
o 5468
s OPTIMUM FOUND
c Optimal Solution = 5468
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 572.090 seconds.
572.008u 0.011s 9:32.06 99.9%	0+0k 0+0io 0pf+0w