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_160_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_160_0003.txt.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 128065
o 112374
o 112344
o 111742
o 111712
o 111685
o 111655
o 111257
o 111227
o 111200
o 111170
o 111134
o 111104
o 111077
o 111047
o 110819
o 110789
o 110696
o 110666
o 110637
o 110624
o 110620
o 110503
o 110473
o 110462
o 110432
o 110403
o 110367
o 110337
o 110308
o 110162
o 110132
o 110121
o 110091
o 110062
o 110026
o 109996
o 109967
o 109947
o 109936
o 109906
o 109841
o 109811
o 109790
o 109761
o 109725
o 109695
o 109666
o 109646
o 109635
o 109605
o 109540
o 109510
o 109509
o 109480
o 109391
o 109350
o 109329
o 109288
o 109255
o 109193
o 109164
o 109050
o 109009
o 108988
o 108947
o 108918
o 108914
o 108852
o 108823
o 108803
o 108762
o 108667
o 108643
o 108602
o 108507
o 108460
o 108430
o 108376
o 108345
o 108293
o 108274
o 108250
o 108244
o 108182
o 108153
o 108086
o 107997
o 107973
o 107884
o 107828
o 107798
o 107744
o 107718
o 107661
o 107642
o 107618
o 107599
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 27.500 seconds.
27.495u 0.003s 0:27.57 99.7%	0+0k 0+0io 0pf+0w