Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-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/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 171 2820 113935
WARNING: Ubcsat not found.
o 113935
o 98735
o 98651
o 98628
o 98570
o 98547
o 98497
o 98413
o 98390
o 98332
o 98309
o 98291
o 98268
o 98252
o 98202
o 98118
o 98095
o 98037
o 98014
o 97996
o 97973
o 97966
o 97948
o 97925
o 97913
o 97906
o 97865
o 97856
o 97849
o 97831
o 97808
o 97796
o 97789
o 97748
o 97741
o 97700
o 97691
o 97684
o 97666
o 97643
o 97631
o 97624
o 97583
o 97542
o 97533
o 97526
o 97508
o 97485
o 97473
o 97466
o 97425
o 97419
o 97407
o 97400
o 97359
o 97325
o 97319
o 97307
o 97300
o 97259
o 97236
o 97152
o 97129
o 97071
o 97048
o 97030
o 97007
o 97000
o 96982
o 96959
o 96947
o 96940
o 96899
o 96890
o 96883
o 96865
o 96842
o 96830
o 96823
o 96782
o 96775
o 96734
o 96725
o 96718
o 96700
o 96677
o 96665
o 96658
o 96617
o 96576
o 96567
o 96560
o 96542
o 96519
o 96507
o 96500
o 96459
o 96453
o 96441
o 96434
o 96393
o 96359
o 96353
o 96341
o 96334
o 96293
o 96253
o 96246
o 96239
o 96221
o 96198
o 96186
o 96179
o 96138
o 96132
o 96120
o 96113
o 96072
o 96032
o 95995
o 95955
o 95933
o 95926
o 95885
o 95845
o 95836
o 95796
o 95788
o 95781
o 95740
o 95734
o 95722
o 95715
o 95674
o 95634
o 95612
o 95605
o 95564
o 95524
o 95515
o 95475
o 95465
o 95425
o 95416
o 95376
o 95351
o 95311
o 95300
o 95293
o 95252
o 95212
o 95203
o 95193
o 95153
o 95144
o 95104
o 95086
o 95076
o 95036
o 95027
o 94987
o 94955
o 94917
o 94908
o 94868
o 94850
o 94840
o 94800
o 94791
o 94751
o 94730
o 94728
o 94687
o 94647
o 94628
o 94588
o 94579
o 94539
o 94511
o 94471
o 94462
o 94422
o 94390
o 94352
o 94343
o 94303
o 94275
o 94235
o 94226
o 94186
o 94165
c Learned clauses = 0
c NB_MONO= 135073674, NB_BRANCHE= 130914036, NB_BACK= 75047474 
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 0
1906.517u 0.039s 31:53.86 99.6%	0+0k 0+0io 0pf+0w