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_90_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0003.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 51678
o 51652
o 51343
o 51317
o 51006
o 50980
o 50671
o 50645
o 50479
o 50453
o 50142
o 50116
o 49807
o 49781
o 49763
o 49737
o 49729
o 49703
o 49685
o 49659
o 49402
o 49376
o 49324
o 49298
o 49214
o 49188
o 49136
o 49110
o 49089
o 49013
o 48987
o 48935
o 48909
o 48891
o 48865
o 48837
o 48811
o 48787
o 48759
o 48733
o 48675
o 48649
o 48628
o 48605
o 48584
o 48574
o 48551
o 48530
o 48474
o 48448
o 48430
o 48404
o 48394
o 48376
o 48350
o 48326
o 48316
o 48298
o 48272
o 48270
o 48244
o 48223
o 48216
o 48190
o 48169
o 48069
o 48043
o 48015
o 47989
o 47965
o 47937
o 47911
o 47881
o 47855
o 47827
o 47801
o 47777
o 47749
o 47723
o 47712
o 47704
o 47678
o 47660
o 47634
o 47499
o 47473
o 47377
o 47351
o 47299
o 47273
o 47189
o 47163
o 47111
o 47085
o 47082
o 46986
o 46960
o 46908
o 46882
c 396 branches 1112 propagates
c total generalized unit propagation = 1661, success = 9.21%
s OPTIMUM FOUND
c Optimal Solution = 46882
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
0.463u 0.000s 0:00.47 97.8%	0+0k 0+0io 0pf+0w