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_80_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_80_0001.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 38510
o 48348
o 48342
o 48336
o 48327
o 48321
o 48315
o 47969
o 47963
o 47957
o 47948
o 47942
o 47936
o 47932
o 47926
o 47920
o 47911
o 47905
o 47899
o 47849
o 47843
o 47837
o 47828
o 47822
o 47816
o 47812
o 47806
o 47800
o 47791
o 47785
o 47779
o 47763
o 47756
o 47750
o 47744
o 47740
o 47734
o 47728
o 47719
o 47713
o 47707
o 47691
o 47667
o 47661
o 47655
o 47646
o 47640
o 47634
o 47547
o 47541
o 47535
o 47526
o 47520
o 47514
o 47498
o 47475
o 47469
o 47463
o 47454
o 47448
o 47442
o 47426
o 47384
o 47378
o 47372
o 47363
o 47357
o 47351
o 47005
o 46999
o 46993
o 46984
o 46978
o 46972
o 46968
o 46962
o 46956
o 46947
o 46941
o 46935
o 46885
o 46879
o 46873
o 46864
o 46858
o 46852
o 46848
o 46842
o 46836
o 46827
o 46821
o 46815
o 46799
o 46792
o 46786
o 46780
o 46776
o 46770
o 46764
o 46755
o 46749
o 46743
o 46727
o 46703
o 46697
o 46691
o 46682
o 46676
o 46670
o 46583
o 46577
o 46571
o 46562
o 46556
o 46550
o 46534
o 46511
o 46505
o 46499
o 46490
o 46484
o 46478
o 46462
o 46396
o 46375
o 46324
o 46303
o 46294
o 46288
o 46282
o 46195
o 46189
o 46183
o 46174
o 46168
o 46162
o 46146
o 46123
o 46117
o 46111
o 46102
o 46096
o 46090
o 46074
o 46008
o 45987
o 45936
o 45915
o 45879
o 45858
o 45840
o 45819
o 45768
o 45747
o 45711
o 45690
o 45688
o 45679
o 45650
o 45629
o 45613
o 45592
o 45578
o 45557
o 45541
o 45520
o 45457
o 45451
o 45445
o 45436
o 45430
o 45424
o 45420
o 45414
o 45408
o 45399
o 45393
o 45387
o 45337
o 45331
o 45325
o 45316
o 45310
o 45304
o 45300
o 45294
o 45288
o 45279
o 45273
o 45267
o 45251
o 45210
o 45204
o 45198
o 45189
o 45183
o 45177
o 45173
o 45167
o 45161
o 45152
o 45146
o 45140
o 45124
o 45117
o 45111
o 45105
o 45101
o 45095
o 45089
o 45080
o 45074
o 45068
o 45052
o 45035
o 45029
o 45023
o 45014
o 45008
o 45002
o 44986
o 44908
o 44902
o 44896
o 44887
o 44881
o 44875
o 44859
o 44836
o 44830
o 44824
o 44815
o 44809
o 44803
o 44787
o 44721
o 44700
o 44649
o 44628
o 44617
o 44588
o 44567
o 44551
o 44530
o 44516
o 44495
o 44479
o 44458
o 44449
o 44420
o 44399
o 44383
o 44362
o 44348
o 44327
o 44311
o 44290
o 44281
o 44260
o 44209
o 44188
o 44187
o 44181
o 44175
o 44171
o 44165
o 44159
o 44150
o 44144
o 44138
o 44122
o 44115
o 44109
o 44103
o 44099
o 44093
o 44087
o 44078
o 44072
o 44066
o 44050
o 44021
o 44000
o 43984
o 43963
o 43949
o 43928
o 43912
o 43891
c 423 branches 1901 propagates
c total generalized unit propagation = 601, success = 10.98%
s OPTIMUM FOUND
c Optimal Solution = 43891
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
0.045u 0.000s 0:00.04 100.0%	0+0k 0+0io 0pf+0w