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_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 121768
o 108274
o 108029
o 107849
o 107604
o 107533
o 107523
o 107452
o 107412
o 107329
o 107289
o 107248
o 107208
o 107202
o 107192
o 107161
o 107121
o 107100
o 107060
o 107053
o 107043
o 107012
o 106972
o 106951
o 106911
o 106905
o 106895
o 106864
o 106824
o 106803
o 106763
o 106727
o 106709
o 106670
o 106634
o 106594
o 106573
o 106533
o 106485
o 106445
o 106424
o 106384
o 106337
o 106297
o 106276
o 106236
o 106200
o 106179
o 106139
o 106092
o 106052
o 106031
o 105991
o 105955
o 105937
o 105917
o 105856
o 105785
o 105759
o 105753
o 105672
o 105611
o 105540
o 105504
o 105441
o 105360
o 105293
o 105212
o 105141
o 105063
o 104996
o 104915
o 104844
o 104808
o 104804
o 104768
o 104740
o 104736
o 104700
o 104670
o 104659
o 104634
o 104563
o 104502
o 104466
o 104462
o 104426
o 104396
o 104260
o 104220
o 104194
o 104154
o 104143
o 104118
o 104047
o 103986
o 103946
o 103941
o 103920
o 103880
o 103877
o 103876
o 103815
o 103810
o 103749
o 103702
o 103631
o 103570
o 103556
o 103495
o 103490
o 103429
o 103422
o 103406
o 103389
o 103382
o 103363
o 103281
o 103215
o 103212
o 103207
o 103146
o 103129
o 103122
o 103106
o 103089
o 103082
o 103074
o 103068
o 103007
o 103002
o 102941
o 102901
s OPTIMUM FOUND
c Optimal Solution = 102901
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
c Program terminated in 13.730 seconds.
13.735u 0.002s 0:13.77 99.7%	0+0k 0+0io 0pf+0w