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_110_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0004.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 49038
o 59838
o 59470
o 59246
o 59235
o 59134
o 59123
o 58941
o 58930
o 58829
o 58818
o 58793
o 58782
o 58765
o 58754
o 58729
o 58718
o 58708
o 58596
o 58560
o 58532
o 58496
o 58488
o 58475
o 58439
o 58411
o 58375
o 58367
o 58363
o 58327
o 58319
o 58242
o 58206
o 58198
o 58183
o 58175
o 58171
o 58135
o 58127
o 58050
o 58014
o 58006
o 57991
o 57955
o 57947
o 57934
o 57898
o 57870
o 57834
o 57826
o 57822
o 57786
o 57778
o 57701
o 57665
o 57657
o 57642
o 57634
o 57630
o 57594
o 57586
o 57509
o 57473
o 57465
o 57393
o 57357
o 57349
o 57331
o 57322
o 57312
o 57294
o 57143
o 57125
o 57037
o 57019
o 57010
o 57000
o 56956
o 56938
o 56931
o 56923
o 56883
o 56874
o 56849
o 56836
o 56827
o 56823
c 2167 branches 20622 propagates
c total generalized unit propagation = 4626, success = 39.06%
s OPTIMUM FOUND
c Optimal Solution = 56823
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
1.249u 0.001s 0:01.26 98.4%	0+0k 0+0io 0pf+0w