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_150_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0000.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 87731
o 87707
o 87472
o 87448
o 87330
o 87306
o 87071
o 87047
o 87037
o 87009
o 86985
o 86867
o 86843
o 86608
o 86584
o 86574
o 86565
o 86541
o 86423
o 86399
o 86164
o 86140
o 86130
o 86067
o 86043
o 86033
o 86024
o 86000
o 85882
o 85858
o 85623
o 85599
o 85589
o 85499
o 85475
o 85465
o 85437
o 85413
o 85295
o 85271
o 85036
o 85012
o 85002
o 84993
o 84969
o 84851
o 84827
o 84592
o 84568
o 84558
o 84549
o 84436
o 84412
o 84402
o 84393
o 84271
o 84247
o 84237
o 84117
o 84093
o 84083
o 84032
o 83878
o 83833
o 83801
o 83777
o 83738
o 83693
o 83663
o 83620
o 83596
o 83586
o 83466
o 83442
o 83432
o 83381
o 83227
o 83182
o 83150
o 83126
o 83087
o 83042
o 83036
o 82991
o 82945
o 82921
o 82882
o 82837
o 82831
o 82786
o 82775
o 82724
o 82656
o 82605
o 82570
o 82519
o 82460
o 82409
o 82364
o 82339
o 82275
o 82224
o 82179
c 3099 branches 9082 propagates
c total generalized unit propagation = 15042, success = 19.02%
s OPTIMUM FOUND
c Optimal Solution = 82179
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 114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 125 -126 -127 128 -129 -130 -131 -132 133 -134 -135 -136 -137 -138 -139 -140 141 142 143 -144 -145 -146 147 -148 -149 -150
22.091u 0.003s 0:22.24 99.3%	0+0k 0+0io 0pf+0w