Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_140_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 120787
o 102166
o 101792
o 101778
o 101761
o 101725
o 101711
o 101694
o 101687
o 101670
o 101634
o 101620
o 101603
o 101580
o 101566
o 101549
o 101536
o 101519
o 101496
o 101482
o 101465
o 101455
o 101441
o 101424
o 101417
o 101400
o 101364
o 101350
o 101333
o 101310
o 101296
o 101279
o 101266
o 101249
o 101226
o 101212
o 101195
o 101178
o 101164
o 101147
o 101134
o 101117
o 101094
o 101080
o 101063
o 101021
o 100967
o 100937
o 100883
o 100823
o 100816
o 100810
o 100803
o 100786
o 100750
o 100736
o 100719
o 100696
o 100682
o 100665
o 100662
o 100645
o 100585
o 100571
o 100554
o 100541
o 100481
o 100467
o 100450
o 100407
o 100353
o 100281
o 100267
o 100250
o 100207
o 100153
o 100142
o 100125
o 100102
o 100088
o 100071
o 100047
o 100033
o 100016
o 100009
o 99992
o 99956
o 99942
o 99925
o 99902
o 99888
o 99871
o 99862
o 99848
o 99831
o 99828
o 99792
o 99778
o 99761
o 99754
o 99718
o 99704
o 99687
o 99677
o 99653
o 99586
o 99584
o 99567
o 99507
o 99493
o 99476
o 99453
o 99439
o 99422
o 99335
o 99281
o 99218
o 99127
o 99115
o 99098
o 99085
o 99042
o 99028
o 99011
o 98942
o 98851
o 98762
o 98691
o 98677
o 98660
o 98600
o 98586
o 98569
o 98526
o 98512
o 98495
o 98485
o 98394
s OPTIMUM FOUND
c Optimal Solution = 98394
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
c Program terminated in 2.810 seconds.
2.814u 0.001s 0:02.82 99.6%	0+0k 0+0io 0pf+0w