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_140_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0007.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 90726
o 90603
o 90578
o 90520
o 90495
o 90370
o 90247
o 90222
o 90164
o 90139
o 90068
o 89945
o 89920
o 89862
o 89837
o 89712
o 89589
o 89564
o 89506
o 89481
o 89443
o 89418
o 89360
o 89335
o 89317
o 89288
o 89263
o 89205
o 89180
o 89162
o 89136
o 89111
o 89053
o 89028
o 89010
o 88988
o 88970
o 88941
o 88916
o 88858
o 88833
o 88815
o 88789
o 88764
o 88706
o 88681
o 88663
o 88654
o 88629
o 88608
o 88571
o 88546
o 88528
o 88502
o 88477
o 88456
o 88419
o 88394
o 88376
o 88373
o 88348
o 88347
o 88310
o 88285
o 88264
o 88227
o 88202
o 88184
o 88155
o 88130
o 88109
o 88072
o 88047
o 88029
o 88003
o 87978
o 87957
o 87920
o 87895
o 87877
o 87855
o 87837
o 87808
o 87783
o 87762
o 87725
o 87700
o 87682
o 87656
o 87631
o 87610
o 87573
o 87548
o 87530
o 87505
o 87480
o 87459
o 87422
o 87397
o 87388
o 87387
o 87350
o 87325
o 87304
o 87267
o 87242
o 87236
o 87235
o 87198
o 87173
o 87152
o 87115
o 87090
o 87082
o 87061
o 87024
o 86999
o 86974
o 86949
o 86928
o 86891
o 86866
o 86857
o 86856
o 86819
o 86794
o 86773
o 86736
o 86711
o 86705
o 86704
o 86667
o 86642
o 86621
o 86584
o 86559
o 86544
o 86523
o 86486
o 86461
o 86426
o 86401
o 86392
o 86391
o 86354
o 86329
o 86309
o 86308
o 86271
o 86246
o 86240
o 86239
o 86202
o 86177
o 86157
o 86156
o 86119
o 86094
o 86079
o 86058
o 86021
o 85996
o 85984
o 85947
o 85922
o 85911
o 85887
o 85850
o 85825
o 85813
o 85776
o 85751
o 85740
o 85728
o 85703
o 85682
o 85645
o 85620
o 85602
o 85582
o 85557
o 85536
o 85499
o 85474
o 85449
o 85431
o 85365
o 85328
o 85303
o 85240
o 85215
c 1803 branches 5720 propagates
c total generalized unit propagation = 8899, success = 15.46%
s OPTIMUM FOUND
c Optimal Solution = 85215
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
9.837u 0.000s 0:09.91 99.1%	0+0k 0+0io 0pf+0w