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_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0004.txt.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 117484
o 105986
o 105973
o 105971
o 105857
o 105844
o 105806
o 105793
o 105791
o 105677
o 105664
o 105598
o 105585
o 105584
o 105582
o 105468
o 105455
o 105417
o 105404
o 105402
o 105288
o 105275
o 105209
o 105196
o 105125
o 105112
o 105046
o 105033
o 104970
o 104957
o 104942
o 104929
o 104927
o 104813
o 104800
o 104734
o 104721
o 104660
o 104647
o 104581
o 104568
o 104558
o 104497
o 104484
o 104418
o 104405
o 104402
o 104392
o 104331
o 104318
o 104252
o 104239
o 104196
o 104183
o 104117
o 104104
o 104074
o 104061
o 104058
o 104048
o 103987
o 103974
o 103908
o 103895
o 103852
o 103839
o 103773
o 103760
o 103727
o 103714
o 103648
o 103635
o 103618
o 103605
o 103602
o 103592
o 103581
o 103568
o 103566
o 103452
o 103439
o 103433
o 103431
o 103317
o 103304
o 103192
o 103179
o 103171
o 103168
o 103158
o 103097
o 103084
o 103018
o 103005
o 102962
o 102949
o 102883
o 102870
o 102837
o 102824
o 102758
o 102745
o 102728
o 102715
o 102712
o 102702
o 102691
o 102678
o 102676
o 102562
o 102549
o 102543
o 102541
o 102427
o 102414
o 102302
o 102289
o 102249
o 102236
o 102227
o 102211
o 102198
o 102098
o 102085
o 101973
o 101960
o 101920
o 101907
o 101890
o 101877
o 101851
o 101838
o 101806
o 101793
o 101787
o 101785
o 101671
o 101658
o 101546
o 101533
o 101493
o 101480
o 101479
o 101466
o 101426
o 101413
o 101398
o 101385
o 101345
o 101332
o 101331
o 101318
o 101278
o 101265
o 101262
o 101251
o 101238
o 101150
o 101137
o 101126
o 101113
o 101083
o 101070
o 101059
o 101046
o 100997
o 100984
o 100978
o 100976
o 100862
o 100849
o 100737
o 100724
o 100670
o 100657
o 100574
o 100449
o 100396
o 100382
o 100329
o 100301
o 100248
o 100234
o 100181
o 100178
o 100154
o 100053
o 100029
o 99986
o 99962
o 99900
o 99894
o 99892
o 99765
o 99640
o 99573
o 99535
o 99511
o 99468
o 99401
o 99363
o 99297
o 99265
o 99227
o 99143
o 99105
s OPTIMUM FOUND
c Optimal Solution = 99105
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 51.180 seconds.
51.176u 0.007s 0:51.36 99.6%	0+0k 0+0io 0pf+0w