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_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0006.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 58953
o 72721
o 72665
o 72328
o 72272
o 72235
o 72227
o 72190
o 72154
o 72122
o 72066
o 72029
o 72021
o 71984
o 71948
o 71850
o 71794
o 71757
o 71749
o 71712
o 71676
o 71644
o 71588
o 71551
o 71543
o 71506
o 71470
o 71430
o 71374
o 71329
o 71293
o 71224
o 71168
o 71123
o 71087
o 71086
o 71049
o 71012
o 71004
o 70967
o 70891
o 70835
o 70790
o 70685
o 70629
o 70584
o 70583
o 70390
o 70334
o 70289
o 70276
o 70220
o 70175
o 70174
o 70015
o 69959
o 69958
o 69773
o 69717
o 69672
o 69671
o 69512
o 69456
o 69455
o 69348
o 69292
o 69247
o 69246
o 69234
o 69178
o 69133
o 69132
o 68973
o 68917
o 68916
o 68900
o 68863
o 68807
o 68804
o 68752
o 68715
o 68659
o 68656
o 68619
o 68563
o 68530
o 68504
o 68503
o 68487
o 68447
o 68391
o 68339
o 68299
o 68243
o 68210
o 68205
o 68160
o 68147
o 68091
o 68046
o 68040
o 67982
o 67926
o 67911
o 67853
o 67797
c 639 branches 6091 propagates
c total generalized unit propagation = 1192, success = 28.61%
s OPTIMUM FOUND
c Optimal Solution = 67797
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
0.318u 0.001s 0:00.34 91.1%	0+0k 0+0io 0pf+0w