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_130_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_130_0002.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 62542
o 76702
o 76657
o 76500
o 76455
o 76370
o 76325
o 76208
o 76163
o 76006
o 75961
o 75876
o 75831
o 75816
o 75659
o 75614
o 75529
o 75484
o 75478
o 75433
o 75366
o 75321
o 75315
o 75270
o 75236
o 75191
o 75185
o 75140
o 75073
o 75028
o 75022
o 74977
o 74967
o 74922
o 74916
o 74871
o 74837
o 74792
o 74786
o 74741
o 74674
o 74629
o 74623
o 74578
o 74570
o 74525
o 74519
o 74474
o 74447
o 74435
o 74409
o 74382
o 74358
o 74331
o 74326
o 74302
o 74275
o 74252
o 74225
o 74196
o 74169
o 74096
o 74051
o 74001
o 73956
o 73921
o 73888
o 73803
o 73758
o 73697
o 73652
o 73602
o 73557
o 73522
o 73489
o 73404
o 73359
o 73300
o 73255
o 73228
o 73216
o 73184
o 73139
o 73112
o 73083
o 73056
o 73006
o 72961
o 72934
o 72907
o 72890
o 72845
o 72818
o 72791
o 72789
o 72762
o 72735
o 72691
o 72664
o 72641
o 72596
o 72569
o 72561
o 72534
o 72528
o 72501
o 72443
o 72398
o 72371
o 72327
o 72282
o 72255
o 72226
o 72199
o 72182
o 72155
o 72153
o 72126
o 72099
o 72095
o 72078
o 72051
o 72049
o 72022
o 71995
o 71962
o 71917
o 71906
o 71861
o 71836
o 71777
o 71732
o 71720
o 71661
o 71616
o 71605
o 71560
o 71486
o 71441
o 71430
o 71385
c 1214 branches 15671 propagates
c total generalized unit propagation = 2330, success = 34.94%
s OPTIMUM FOUND
c Optimal Solution = 71385
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
1.165u 0.000s 0:01.18 98.3%	0+0k 0+0io 0pf+0w