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_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_0.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 27631
o 5867
o 5859
o 5848
o 5844
o 5842
o 5839
o 5836
o 5834
o 5826
o 5823
o 5821
o 5817
o 5814
o 5811
o 5809
o 5807
o 5804
o 5800
o 5796
o 5793
o 5792
o 5790
o 5783
o 5781
o 5779
o 5772
o 5771
o 5770
o 5762
o 5761
o 5760
o 5757
o 5751
o 5749
o 5747
o 5745
o 5744
o 5742
o 5740
o 5739
o 5736
o 5729
o 5724
o 5722
o 5721
o 5716
o 5715
o 5713
o 5712
o 5710
o 5709
o 5704
o 5702
o 5697
o 5696
o 5695
o 5689
o 5688
o 5685
o 5684
o 5675
o 5674
o 5672
o 5671
o 5664
o 5661
o 5655
o 5649
o 5646
o 5637
o 5634
o 5629
o 5625
o 5621
o 5619
o 5617
o 5610
o 5609
o 5608
o 5606
o 5605
o 5604
o 5598
o 5594
o 5591
o 5546
o 5541
o 5540
o 5538
o 5531
o 5523
o 5518
o 5516
o 5513
o 5504
o 5502
o 5499
o 5495
o 5492
o 5491
o 5479
o 5473
o 5467
o 5463
o 5455
o 5448
o 5445
o 5443
o 5440
o 5436
o 5433
o 5432
o 5423
o 5418
o 5415
o 5412
o 5406
o 5402
o 5392
o 5385
o 5377
o 5372
o 5370
o 5365
o 5363
o 5362
s OPTIMUM FOUND
c Optimal Solution = 5362
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 67.660 seconds.
67.650u 0.005s 1:07.81 99.7%	0+0k 0+0io 0pf+0w