Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_170_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0000.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 128769
o 128735
o 128616
o 128582
o 128552
o 128518
o 128486
o 128395
o 128361
o 128242
o 128208
o 128178
o 128144
o 128112
o 128062
o 128030
o 128025
o 127991
o 127872
o 127838
o 127808
o 127774
o 127742
o 127692
o 127660
o 127658
o 127626
o 127544
o 127510
o 127391
o 127357
o 127327
o 127293
o 127261
o 127211
o 127179
o 127174
o 127140
o 127021
o 126987
o 126957
o 126923
o 126891
o 126841
o 126809
o 126807
o 126775
o 126727
o 126695
o 126693
o 126661
o 126648
o 126598
o 126566
o 126564
o 126532
o 126484
o 126452
o 126450
o 126418
o 126410
o 126291
o 126257
o 126227
o 126193
o 126161
o 126111
o 126079
o 126074
o 126040
o 125921
o 125887
o 125857
o 125823
o 125791
o 125741
o 125709
o 125707
o 125675
o 125627
o 125595
o 125593
o 125561
o 125548
o 125498
o 125466
o 125464
o 125432
o 125384
o 125352
o 125350
o 125318
o 125305
o 125277
o 125275
o 125243
o 125195
o 125163
o 125161
o 125129
o 125116
o 125066
o 125034
o 125032
o 125000
o 124952
o 124920
o 124918
o 124886
o 124873
o 124851
o 124832
o 124819
o 124791
o 124789
o 124757
o 124709
o 124677
o 124675
o 124643
o 124630
o 124580
o 124548
o 124546
o 124514
o 124466
o 124434
o 124432
o 124400
o 124387
o 124385
o 124372
o 124344
o 124310
o 124280
o 124246
o 124214
o 124212
o 124180
o 124166
o 124132
o 124100
o 124098
o 124066
o 124065
o 124031
o 123999
o 123997
o 123965
o 123950
o 123926
o 123892
o 123862
o 123828
o 123796
o 123794
o 123762
o 123748
o 123714
o 123682
o 123680
o 123648
o 123647
o 123613
o 123581
o 123579
o 123547
o 123532
o 123499
o 123467
o 123465
o 123433
o 123418
o 123408
o 123393
o 123360
o 123328
o 123326
o 123294
o 123279
o 123191
o 123157
o 123125
o 123123
o 123091
o 123077
o 123043
o 123011
o 123009
o 122977
o 122976
o 122942
o 122910
o 122908
o 122876
o 122861
o 122828
o 122796
o 122794
o 122762
o 122747
o 122735
o 122720
o 122538
o 122504
o 122424
o 122390
o 122368
o 122342
o 122331
o 122302
o 122290
o 122271
o 122204
o 122170
c 20732 branches 68681 propagates
c total generalized unit propagation = 109775, success = 18.55%
s OPTIMUM FOUND
c Optimal Solution = 122170
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
146.696u 0.002s 2:26.73 99.9%	0+0k 0+0io 0pf+0w