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_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/akmaxsat/akmaxsat
c first lower bound: 81445
o 104804
o 104791
o 104789
o 104656
o 104643
o 104641
o 104624
o 104611
o 104609
o 104476
o 104463
o 104461
o 104397
o 104384
o 104382
o 104347
o 104334
o 104268
o 104255
o 104234
o 104221
o 104219
o 104184
o 104171
o 104105
o 104092
o 104037
o 104024
o 103970
o 103957
o 103902
o 103889
o 103855
o 103842
o 103821
o 103808
o 103806
o 103771
o 103758
o 103692
o 103679
o 103624
o 103611
o 103557
o 103544
o 103489
o 103476
o 103457
o 103444
o 103378
o 103365
o 103344
o 103331
o 103329
o 103294
o 103281
o 103215
o 103202
o 103147
o 103134
o 103080
o 103067
o 103012
o 102999
o 102965
o 102952
o 102931
o 102918
o 102916
o 102881
o 102868
o 102802
o 102789
o 102734
o 102721
o 102667
o 102654
o 102599
o 102586
o 102542
o 102529
o 102474
o 102461
o 102458
o 102445
o 102439
o 102437
o 102402
o 102389
o 102323
o 102310
o 102277
o 102264
o 102198
o 102185
o 102159
o 102146
o 102118
o 102050
o 101983
o 101915
o 101868
o 101834
o 101832
o 101784
o 101705
o 101637
o 101570
o 101502
o 101445
o 101377
o 101361
o 101355
o 101353
o 101305
o 101226
o 101180
o 101101
o 101062
o 101034
o 100995
o 100957
o 100950
o 100893
o 100825
o 100809
o 100803
o 100801
o 100753
o 100674
o 100628
o 100549
o 100510
o 100508
o 100462
o 100383
o 100344
o 100316
o 100277
o 100239
o 100226
o 100158
o 100142
o 100136
o 100134
o 100007
o 99882
o 99841
o 99716
o 99649
o 99611
o 99513
o 99475
o 99437
o 99399
o 99279
o 99272
o 99270
o 99143
o 99105
c 10296 branches 164943 propagates
c total generalized unit propagation = 20859, success = 46.10%
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
18.778u 0.001s 0:18.94 99.1%	0+0k 0+0io 0pf+0w