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_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 128065
o 112744
o 112112
o 112055
o 111627
o 111570
o 111562
o 111533
o 111481
o 111473
o 111444
o 111398
o 110970
o 110913
o 110905
o 110876
o 110824
o 110816
o 110787
o 110532
o 110524
o 110495
o 110443
o 110435
o 110406
o 110267
o 110259
o 110230
o 110178
o 110170
o 110141
o 110106
o 110098
o 110069
o 110017
o 110009
o 109980
o 109913
o 109824
o 109802
o 109735
o 109646
o 109380
o 109291
o 109262
o 109115
o 109026
o 108997
o 108954
o 108865
o 108836
o 108769
o 108680
o 108676
o 108609
o 108520
o 108473
o 108443
o 108429
o 108395
o 108389
o 108358
o 108306
o 108304
o 108274
o 108256
o 108189
o 108100
o 108069
o 108040
o 107973
o 107884
o 107841
o 107811
o 107797
o 107763
o 107757
o 107731
o 107674
o 107672
o 107642
o 107597
o 107595
o 107558
o 107469
o 107439
o 107400
o 107370
o 107323
o 107309
o 107262
s OPTIMUM FOUND
c Optimal Solution = 107262
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
c Program terminated in 28.590 seconds.
28.587u 0.003s 0:28.59 99.9%	0+0k 0+0io 0pf+0w