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_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_160_0000.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 89781
o 108596
o 108577
o 108571
o 108552
o 108372
o 108353
o 108347
o 108328
o 107940
o 107921
o 107915
o 107896
o 107716
o 107697
o 107691
o 107672
o 107345
o 107326
o 107320
o 107301
o 107121
o 107102
o 107096
o 107077
o 107076
o 107070
o 107051
o 106724
o 106705
o 106699
o 106680
o 106500
o 106481
o 106475
o 106456
o 106255
o 106236
o 106230
o 106211
o 106031
o 106012
o 106006
o 105987
o 105978
o 105972
o 105953
o 105940
o 105931
o 105925
o 105906
o 105901
o 105888
o 105879
o 105873
o 105854
o 105850
o 105844
o 105825
o 105811
o 105793
o 105784
o 105778
o 105759
o 105755
o 105749
o 105730
o 105728
o 105715
o 105706
o 105681
o 105677
o 105652
o 105638
o 105620
o 105611
o 105586
o 105582
o 105557
o 105553
o 105540
o 105531
o 105525
o 105506
o 105501
o 105488
o 105479
o 105473
o 105454
o 105351
o 105326
o 105127
o 105102
o 104955
o 104930
o 104921
o 104896
o 104883
o 104874
o 104849
o 104844
o 104831
o 104822
o 104797
o 104788
o 104779
o 104754
o 104736
o 104727
o 104702
o 104585
o 104560
o 104413
o 104388
o 104310
o 104285
o 104276
o 104251
o 104233
o 104224
o 104199
c 3040 branches 45539 propagates
c total generalized unit propagation = 6126, success = 43.78%
s OPTIMUM FOUND
c Optimal Solution = 104199
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
4.288u 0.003s 0:04.29 99.7%	0+0k 0+0io 0pf+0w