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_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_90_0001.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 58025
o 72625
o 72575
o 72531
o 72481
o 72203
o 72153
o 72109
o 72059
o 71714
o 71664
o 71620
o 71570
o 71292
o 71242
o 71198
o 71148
o 70910
o 70816
o 70790
o 70552
o 70458
o 70243
o 70149
o 69978
o 69884
o 69669
o 69575
o 69535
o 69441
o 69427
o 69347
o 69253
o 69131
o 69037
o 69011
o 68773
o 68679
o 68665
o 68657
o 68573
o 68523
o 68479
o 68429
o 68191
o 68097
o 68083
o 68019
o 67804
o 67710
o 67670
o 67576
o 67562
c 419 branches 3846 propagates
c total generalized unit propagation = 750, success = 32.67%
s OPTIMUM FOUND
c Optimal Solution = 67562
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
0.180u 0.000s 0:00.18 100.0%	0+0k 0+0io 0pf+0w