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_170_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 113935
o 97889
o 97805
o 97782
o 97724
o 97701
o 97651
o 97567
o 97544
o 97486
o 97463
o 97403
o 97380
o 97357
o 97299
o 97276
o 97216
o 97175
o 97159
o 97099
o 97058
o 97018
o 97017
o 97001
o 96941
o 96900
o 96860
o 96833
o 96792
o 96752
o 96735
o 96695
o 96668
o 96627
o 96587
o 96579
o 96539
o 96538
o 96530
o 96490
o 96455
o 96414
o 96407
o 96347
o 96306
o 96299
o 96258
o 96257
o 96250
o 96209
o 96189
o 96181
o 96140
o 96133
o 96092
o 96052
o 96042
o 96034
o 95993
o 95953
o 95922
o 95915
o 95914
o 95898
o 95838
o 95797
o 95757
o 95748
o 95708
o 95675
o 95634
o 95600
o 95577
o 95517
o 95476
o 95468
o 95427
o 95400
o 95359
o 95351
o 95310
o 95270
o 95242
o 95221
o 95194
o 95173
o 95135
o 95095
o 95074
o 95036
o 95028
o 94987
o 94958
o 94947
o 94940
o 94899
o 94898
o 94891
o 94850
o 94841
o 94800
o 94792
o 94751
o 94730
o 94714
o 94674
o 94659
o 94619
o 94597
o 94590
o 94549
o 94509
o 94471
o 94470
o 94463
o 94422
o 94393
o 94392
o 94359
o 94336
o 94276
o 94235
o 94227
o 94186
o 94165
s OPTIMUM FOUND
c Optimal Solution = 94165
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 -165 -166 -167 -168 -169 -170 -171
c Program terminated in 26.830 seconds.
26.833u 0.003s 0:26.89 99.7%	0+0k 0+0io 0pf+0w