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_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_160_0005.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 99850
o 128730
o 128612
o 128508
o 128253
o 128135
o 128031
o 128009
o 127891
o 127787
o 127532
o 127414
o 127310
o 127300
o 127201
o 127061
o 126957
o 126584
o 126480
o 126470
o 126446
o 126342
o 126332
o 126212
o 126108
o 126098
o 126074
o 125970
o 125960
o 125878
o 125868
o 125844
o 125740
o 125730
o 125610
o 125506
o 125496
o 125472
o 125368
o 125358
o 125301
o 125291
o 125267
o 125163
o 125153
o 125105
o 125095
o 124980
o 124876
o 124866
o 124842
o 124738
o 124728
o 124671
o 124661
o 124637
o 124533
o 124523
o 124475
o 124465
o 124459
o 124449
o 124444
o 124396
o 124386
o 124380
o 124370
o 124362
o 124352
o 124346
o 124336
o 124271
o 124261
o 124213
o 124203
o 124197
o 124187
o 124182
o 124134
o 124124
o 124118
o 124108
o 124029
o 124019
o 123962
o 123952
o 123928
o 123824
o 123814
o 123766
o 123756
o 123750
o 123740
o 123735
o 123687
o 123677
o 123671
o 123661
o 123653
o 123643
o 123637
o 123627
o 123562
o 123552
o 123504
o 123494
o 123488
o 123478
o 123473
o 123425
o 123415
o 123409
o 123399
o 123397
o 123391
o 123381
o 123374
o 123364
o 123358
o 123348
o 123346
o 123316
o 123306
o 123298
o 123288
o 123254
o 123244
o 123220
o 123116
o 123106
o 122986
o 122882
o 122872
o 122848
o 122744
o 122734
o 122726
o 122716
o 122686
o 122676
o 122668
o 122658
o 122652
o 122642
o 122626
o 122616
o 122612
o 122602
o 122600
o 122590
o 122243
o 122233
o 122185
o 122175
o 122127
o 122117
o 122113
o 122103
o 122085
o 122075
o 122071
o 122061
o 122047
o 122037
o 122033
o 122023
o 122005
o 121995
o 121991
o 121981
o 121977
o 121967
c 26405 branches 329475 propagates
c total generalized unit propagation = 55964, success = 44.91%
s OPTIMUM FOUND
c Optimal Solution = 121967
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
28.809u 0.003s 0:28.86 99.7%	0+0k 0+0io 0pf+0w