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_9.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 27555
o 5906
o 5897
o 5895
o 5892
o 5882
o 5876
o 5872
o 5868
o 5867
o 5863
o 5859
o 5855
o 5851
o 5850
o 5847
o 5844
o 5841
o 5828
o 5824
o 5820
o 5815
o 5812
o 5811
o 5808
o 5807
o 5805
o 5803
o 5800
o 5796
o 5793
o 5787
o 5782
o 5773
o 5769
o 5765
o 5760
o 5755
o 5754
o 5752
o 5750
o 5749
o 5748
o 5746
o 5736
o 5731
o 5726
o 5718
o 5714
o 5710
o 5702
o 5694
o 5687
o 5686
o 5683
o 5676
o 5668
o 5659
o 5656
o 5647
o 5641
o 5639
o 5635
o 5634
o 5626
o 5621
o 5620
o 5606
o 5600
o 5599
o 5596
o 5592
o 5588
o 5577
o 5565
o 5561
o 5558
o 5551
o 5550
o 5549
o 5546
o 5545
o 5540
o 5538
o 5525
o 5514
o 5508
o 5507
o 5505
o 5502
o 5499
o 5498
o 5496
o 5492
o 5488
o 5487
o 5483
o 5482
o 5479
o 5477
o 5476
o 5472
o 5468
o 5467
o 5466
o 5456
o 5453
o 5449
o 5441
o 5438
o 5436
o 5432
o 5428
o 5426
o 5420
o 5419
o 5418
o 5415
o 5413
o 5398
o 5376
s OPTIMUM FOUND
c Optimal Solution = 5376
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 129.140 seconds.
129.128u 0.006s 2:09.43 99.7%	0+0k 0+0io 0pf+0w