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_160_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0007.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 109849
o 109837
o 109417
o 109405
o 109308
o 109296
o 109190
o 109178
o 108758
o 108746
o 108649
o 108637
o 108598
o 108586
o 108489
o 108477
o 108371
o 108359
o 107939
o 107927
o 107830
o 107818
o 107618
o 107606
o 107509
o 107497
o 107422
o 107410
o 107404
o 107393
o 107381
o 107375
o 107373
o 107367
o 107356
o 107344
o 107338
o 107117
o 107105
o 106796
o 106784
o 106709
o 106697
o 106691
o 106680
o 106668
o 106662
o 106660
o 106654
o 106643
o 106631
o 106625
o 106596
o 106584
o 106509
o 106497
o 106491
o 106480
o 106468
o 106462
o 106460
o 106454
o 106443
o 106431
o 106425
o 106357
o 106345
o 106339
o 106328
o 106316
o 106310
o 106308
o 106302
o 106291
o 106279
o 106273
o 106244
o 106232
o 106157
o 106145
o 106139
o 106128
o 106116
o 106110
o 106108
o 106102
o 106091
o 106079
o 106073
o 105965
o 105953
o 105878
o 105866
o 105849
o 105837
o 105828
o 105811
o 105799
o 105791
o 105774
o 105762
o 105756
o 105744
o 105669
o 105657
o 105651
o 105640
o 105628
o 105622
o 105620
o 105614
o 105603
o 105591
o 105585
o 105534
o 105522
o 105496
o 105484
o 105459
o 105447
o 105403
o 105391
o 105385
o 105374
o 105362
o 105356
o 105354
o 105348
o 105337
o 105325
o 105319
o 105203
o 105191
o 105185
o 105174
o 105162
o 105156
o 105154
o 105148
o 105137
o 105125
o 105119
o 104924
o 104912
o 104895
o 104883
o 104874
o 104857
o 104845
o 104837
o 104820
o 104808
o 104757
o 104745
o 104719
o 104707
o 104682
o 104670
o 104665
o 104646
o 104634
o 104628
o 104524
o 104512
o 104506
o 104487
o 104475
o 104469
o 104343
o 104331
o 104305
o 104293
o 104268
o 104256
o 104252
o 104240
o 104234
o 104219
o 104207
o 104182
o 104170
o 104167
o 104128
o 104116
o 104110
o 104091
o 104079
o 104073
o 104045
o 104033
o 104007
o 103995
o 103994
o 103968
o 103956
o 103931
o 103919
o 103859
o 103847
o 103841
o 103831
o 103819
o 103813
o 103792
o 103780
o 103774
o 103755
o 103743
o 103737
o 103709
o 103697
o 103671
o 103659
o 103656
o 103626
o 103614
o 103588
o 103576
o 103473
o 103461
o 103455
c 21885 branches 52482 propagates
c total generalized unit propagation = 95555, success = 22.17%
s OPTIMUM FOUND
c Optimal Solution = 103455
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
87.008u 0.005s 1:27.13 99.8%	0+0k 0+0io 0pf+0w