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_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0007.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 51323
o 65746
o 65498
o 65299
o 65297
o 65034
o 64786
o 64587
o 64585
o 64567
o 64565
o 64302
o 64054
o 63855
o 63853
o 63777
o 63775
o 63628
o 63429
o 63427
o 63351
o 63349
o 63308
o 63306
o 63159
o 62960
o 62958
o 62882
o 62880
o 62783
o 62584
o 62506
o 62333
o 62255
o 62246
o 62168
o 62097
o 62095
o 62019
o 62017
o 61969
o 61721
o 61643
o 61634
o 61556
o 61481
o 61403
o 61394
o 61316
o 61278
o 61233
o 61155
o 61117
o 60898
o 60854
o 60737
o 60693
o 60615
o 60599
o 60555
o 60477
c 647 branches 7373 propagates
c total generalized unit propagation = 1193, success = 33.45%
s OPTIMUM FOUND
c Optimal Solution = 60477
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
0.465u 0.001s 0:00.48 95.8%	0+0k 0+0io 0pf+0w