Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_170_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0007.txt.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/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 97429
o 97406
o 97356
o 97272
o 97249
o 97191
o 97168
o 97108
o 97067
o 97051
o 96991
o 96950
o 96910
o 96909
o 96893
o 96833
o 96792
o 96752
o 96744
o 96704
o 96668
o 96627
o 96587
o 96578
o 96538
o 96530
o 96490
o 96472
o 96471
o 96438
o 96415
o 96355
o 96314
o 96306
o 96266
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 95683
o 95642
o 95641
o 95608
o 95585
o 95525
o 95484
o 95476
o 95468
o 95427
o 95400
o 95359
o 95351
o 95310
o 95270
o 95260
o 95239
o 95184
o 95143
o 95122
o 95095
o 95074
o 95036
o 95028
o 94987
o 94947
o 94940
o 94899
o 94898
o 94891
o 94850
o 94841
o 94800
o 94792
o 94751
o 94730
o 94722
o 94715
o 94674
o 94666
o 94660
o 94619
o 94598
o 94557
o 94550
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.540 seconds.
26.536u 0.002s 0:26.55 99.9%	0+0k 0+0io 0pf+0w