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_6.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_6.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 27519
o 5822
o 5821
o 5811
o 5809
o 5808
o 5807
o 5784
o 5778
o 5759
o 5753
o 5749
o 5748
o 5747
o 5743
o 5732
o 5721
o 5719
o 5715
o 5708
o 5706
o 5698
o 5695
o 5688
o 5686
o 5685
o 5684
o 5678
o 5672
o 5670
o 5665
o 5659
o 5656
o 5652
o 5646
o 5645
o 5641
o 5640
o 5639
o 5635
o 5632
o 5629
o 5625
o 5622
o 5619
o 5617
o 5613
o 5611
o 5610
o 5608
o 5607
o 5602
o 5600
o 5593
o 5591
o 5590
o 5585
o 5581
o 5580
o 5576
o 5574
o 5572
o 5569
o 5566
o 5562
o 5556
o 5555
o 5554
o 5549
o 5540
o 5539
o 5538
o 5531
o 5527
o 5526
o 5511
o 5503
o 5499
o 5494
o 5492
o 5491
o 5485
o 5483
o 5479
o 5477
o 5475
o 5469
o 5466
o 5461
o 5459
o 5454
o 5453
o 5452
o 5451
o 5448
o 5447
o 5444
o 5443
o 5437
o 5435
o 5434
o 5432
o 5430
o 5428
s OPTIMUM FOUND
c Optimal Solution = 5428
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 170.620 seconds.
170.594u 0.007s 2:50.68 99.9%	0+0k 0+0io 0pf+0w