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_160_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 114629
o 100216
o 100208
o 100181
o 100173
o 100137
o 100129
o 100126
o 100118
o 100095
o 100087
o 100084
o 100076
o 99579
o 99544
o 99500
o 99458
o 99358
o 99323
o 99279
o 99237
o 99202
o 99160
o 99152
o 99147
o 99069
o 99034
o 98990
o 98948
o 98913
o 98871
o 98854
o 98812
o 98777
o 98735
o 98727
o 98722
o 98644
o 98609
o 98565
o 98523
o 98488
o 98446
o 98412
o 98370
o 98335
o 98293
o 98276
o 98234
o 98199
o 98157
o 98149
o 98144
o 98066
o 98031
o 97987
o 97945
o 97910
o 97868
o 97851
o 97807
o 97765
o 97744
o 97730
o 97688
o 97667
o 97665
o 97623
o 97602
o 97588
o 97546
o 97525
o 97519
o 97484
o 97442
o 97421
o 97412
o 97370
o 97335
o 97293
o 97270
o 97228
o 97193
o 97151
o 97130
o 97119
o 97096
o 97054
o 97019
o 96977
o 96892
o 96857
o 96813
o 96771
o 96736
o 96694
o 96671
o 96629
o 96594
o 96552
o 96546
o 96511
o 96469
o 96448
o 96416
o 96395
o 96351
o 96318
o 96274
o 96263
o 96242
o 96198
o 96165
o 96121
o 96116
o 95994
o 95959
o 95915
o 95882
o 95838
o 95817
o 95773
o 95740
o 95696
o 95669
o 95636
o 95592
o 95587
o 95552
o 95508
o 95475
o 95431
o 95386
o 95351
o 95307
o 95274
o 95230
o 95211
o 95207
o 95178
o 95163
o 95134
o 95129
o 95107
o 95092
o 95063
o 95039
s OPTIMUM FOUND
c Optimal Solution = 95039
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 -151 -152 153 154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164
c Program terminated in 30.130 seconds.
30.130u 0.000s 0:30.13 100.0%	0+0k 0+0io 0pf+0w