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_2.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 27836
o 5950
o 5939
o 5931
o 5923
o 5922
o 5913
o 5911
o 5909
o 5908
o 5885
o 5878
o 5877
o 5874
o 5872
o 5855
o 5852
o 5847
o 5846
o 5844
o 5832
o 5827
o 5826
o 5815
o 5796
o 5794
o 5792
o 5791
o 5790
o 5786
o 5782
o 5758
o 5740
o 5731
o 5728
o 5720
o 5704
o 5672
o 5669
o 5666
o 5660
o 5654
o 5650
o 5642
o 5627
o 5624
o 5618
o 5615
o 5610
o 5607
o 5605
o 5604
o 5602
o 5599
o 5597
o 5595
o 5590
o 5582
o 5580
o 5579
o 5572
o 5570
o 5564
o 5562
o 5558
o 5556
o 5548
o 5545
o 5543
o 5541
o 5536
o 5534
o 5526
o 5525
o 5523
o 5521
o 5520
o 5517
o 5512
o 5507
o 5505
o 5504
o 5502
o 5500
o 5499
o 5497
o 5494
o 5492
o 5491
o 5489
o 5485
o 5482
o 5475
o 5473
o 5471
o 5469
o 5468
o 5467
o 5460
o 5451
o 5444
o 5441
o 5433
o 5431
o 5423
o 5421
o 5418
o 5417
o 5408
o 5404
o 5400
o 5394
o 5393
o 5392
o 5384
o 5372
o 5366
o 5360
o 5359
o 5357
o 5350
o 5349
o 5348
o 5339
o 5337
o 5335
o 5330
o 5328
o 5327
o 5326
o 5324
o 5318
o 5315
o 5312
s OPTIMUM FOUND
c Optimal Solution = 5312
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 481.310 seconds.
481.236u 0.125s 8:02.38 99.7%	0+0k 0+0io 0pf+0w