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
o 71310
o 71254
o 71209
o 71193
o 71148
o 71104
o 71048
o 71003
o 70987
o 70942
o 70832
o 70776
o 70731
o 70715
o 70670
o 70626
o 70570
o 70525
o 70509
o 70464
o 70417
o 70361
o 70316
o 70252
o 70196
o 70139
o 70083
o 70046
o 69990
o 69952
o 69907
o 69843
o 69787
o 69730
o 69674
o 69637
o 69581
o 69569
o 69524
o 69476
o 69431
o 69404
o 69367
o 69311
o 69291
o 69254
o 69198
o 69158
o 69102
o 69098
o 69042
o 69030
o 68985
o 68937
o 68892
o 68865
o 68828
o 68772
o 68752
o 68715
o 68659
o 68619
o 68563
o 68530
o 68514
o 68458
o 68418
o 68362
o 68360
o 68302
o 68246
o 68231
o 68173
o 68117
o 68091
o 68046
o 68040
o 67982
o 67926
o 67911
o 67853
o 67797
c 568 branches 1942 propagates
c total generalized unit propagation = 2797, success = 10.26%
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
1.193u 0.000s 0:01.20 99.1%	0+0k 0+0io 0pf+0w