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_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0007.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 63965
o 63828
o 63817
o 63693
o 63556
o 63545
o 63488
o 63477
o 63104
o 62967
o 62956
o 62832
o 62695
o 62684
o 62627
o 62616
o 62614
o 62603
o 62546
o 62535
o 62451
o 62440
o 62383
o 62372
o 62370
o 62359
o 62302
o 62291
o 62282
o 62158
o 62021
o 62010
o 61953
o 61942
o 61940
o 61929
o 61872
o 61861
o 61777
o 61766
o 61709
o 61698
o 61696
o 61685
o 61628
o 61617
o 61610
o 61469
o 61388
o 61366
o 61225
o 61144
o 61128
o 61078
o 61056
o 60915
o 60834
o 60818
o 60750
o 60734
o 60684
o 60662
o 60521
o 60440
o 60424
o 60299
o 60218
o 60215
o 60134
o 60046
o 59905
o 59824
o 59763
o 59687
o 59546
o 59508
o 59472
o 59457
o 59391
o 59339
o 59283
o 59142
o 59141
o 59074
o 59059
o 58993
o 58970
o 58829
o 58739
c 654 branches 2216 propagates
c total generalized unit propagation = 3357, success = 14.51%
s OPTIMUM FOUND
c Optimal Solution = 58739
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
1.212u 0.001s 0:01.22 99.1%	0+0k 0+0io 0pf+0w