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
o 59341
o 58973
o 58749
o 58738
o 58637
o 58626
o 58593
o 58582
o 58489
o 58478
o 58445
o 58434
o 58409
o 58398
o 58381
o 58370
o 58345
o 58334
o 58256
o 58212
o 58176
o 58148
o 58112
o 58104
o 58099
o 58091
o 58064
o 58020
o 57984
o 57956
o 57920
o 57912
o 57907
o 57899
o 57831
o 57787
o 57751
o 57743
o 57738
o 57730
o 57671
o 57635
o 57627
o 57622
o 57614
o 57550
o 57514
o 57506
o 57505
o 57497
o 57479
o 57443
o 57435
o 57430
o 57422
o 57420
o 57384
o 57376
o 57371
o 57363
o 57251
o 57215
o 57207
o 57202
o 57194
o 57130
o 57094
o 57086
o 57085
o 57077
o 57058
o 57050
o 57045
o 57037
o 57036
o 57028
o 56940
o 56931
o 56896
o 56883
o 56874
o 56840
o 56836
o 56827
o 56823
c 1677 branches 5339 propagates
c total generalized unit propagation = 8532, success = 17.77%
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
3.994u 0.000s 0:03.99 100.0%	0+0k 0+0io 0pf+0w