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_8.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_8.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 27662
o 5834
o 5833
o 5832
o 5829
o 5806
o 5798
o 5791
o 5790
o 5771
o 5768
o 5764
o 5759
o 5754
o 5744
o 5727
o 5722
o 5719
o 5695
o 5692
o 5691
o 5688
o 5684
o 5660
o 5659
o 5657
o 5656
o 5652
o 5651
o 5645
o 5644
o 5640
o 5616
o 5612
o 5609
o 5604
o 5594
o 5592
o 5585
o 5576
o 5569
o 5566
o 5565
o 5562
o 5559
o 5558
o 5555
o 5547
o 5542
o 5540
o 5539
o 5528
o 5518
o 5513
o 5512
o 5508
o 5501
o 5489
o 5487
o 5485
o 5484
o 5483
o 5479
o 5478
o 5476
o 5466
o 5465
o 5460
o 5458
o 5457
o 5456
o 5449
o 5441
o 5440
o 5434
o 5433
o 5430
o 5429
o 5428
o 5419
o 5415
o 5404
o 5402
o 5399
o 5397
o 5393
o 5392
o 5385
o 5372
o 5371
o 5366
o 5357
o 5353
o 5351
o 5349
o 5347
o 5346
o 5341
o 5339
s OPTIMUM FOUND
c Optimal Solution = 5339
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 16.150 seconds.
16.151u 0.009s 0:16.16 99.9%	0+0k 0+0io 0pf+0w