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
c first lower bound: 72528
o 90478
o 90355
o 90317
o 90292
o 90122
o 89999
o 89961
o 89936
o 89916
o 89878
o 89853
o 89820
o 89697
o 89659
o 89634
o 89464
o 89341
o 89303
o 89278
o 89258
o 89220
o 89195
o 89157
o 89132
o 89112
o 89074
o 89049
o 89031
o 89002
o 88977
o 88957
o 88919
o 88894
o 88876
o 88850
o 88825
o 88805
o 88767
o 88742
o 88724
o 88715
o 88690
o 88670
o 88669
o 88632
o 88607
o 88589
o 88563
o 88538
o 88518
o 88517
o 88480
o 88455
o 88437
o 88435
o 88245
o 88208
o 88207
o 88170
o 88145
o 88125
o 88124
o 88087
o 88062
o 88061
o 88024
o 87999
o 87979
o 87978
o 87941
o 87916
o 87898
o 87869
o 87844
o 87824
o 87823
o 87786
o 87761
o 87743
o 87717
o 87692
o 87672
o 87671
o 87634
o 87609
o 87591
o 87555
o 87530
o 87402
o 87365
o 87364
o 87327
o 87302
o 87282
o 87281
o 87244
o 87219
o 87218
o 87181
o 87156
o 87136
o 87135
o 87098
o 87073
o 87055
o 87026
o 87001
o 86981
o 86980
o 86943
o 86918
o 86900
o 86874
o 86849
o 86829
o 86828
o 86791
o 86766
o 86748
o 86730
o 86705
o 86687
o 86659
o 86634
o 86616
o 86590
o 86565
o 86545
o 86544
o 86507
o 86482
o 86464
o 86446
o 86421
o 86403
o 86383
o 86382
o 86345
o 86320
o 86299
o 86262
o 86237
o 86219
o 86193
o 86168
o 86147
o 86110
o 86085
o 86067
o 86061
o 86036
o 86015
o 85978
o 85953
o 85935
o 85909
o 85884
o 85863
o 85826
o 85801
o 85783
o 85705
o 85680
o 85668
o 85643
o 85626
o 85620
o 85536
o 85499
o 85474
o 85472
o 85455
o 85449
o 85365
o 85328
o 85303
o 85240
o 85215
c 1350 branches 20869 propagates
c total generalized unit propagation = 2754, success = 36.49%
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
1.789u 0.000s 0:01.81 98.3%	0+0k 0+0io 0pf+0w