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_170_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0002.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 113031
o 113018
o 112778
o 112765
o 112760
o 112563
o 112550
o 112545
o 112412
o 112399
o 112394
o 112373
o 112360
o 112355
o 112345
o 112332
o 112327
o 112215
o 112202
o 112197
o 112195
o 112182
o 112177
o 112176
o 112163
o 112158
o 112156
o 112143
o 112138
o 112135
o 112130
o 112128
o 112115
o 112110
o 111999
o 111986
o 111981
o 111784
o 111771
o 111766
o 111633
o 111620
o 111615
o 111594
o 111581
o 111576
o 111566
o 111553
o 111548
o 111436
o 111423
o 111418
o 111416
o 111403
o 111398
o 111397
o 111384
o 111379
o 111377
o 111364
o 111359
o 111356
o 111351
o 111349
o 111336
o 111331
o 111329
o 111316
o 111311
o 111301
o 111288
o 111283
o 111171
o 111158
o 111153
o 111151
o 111138
o 111133
o 111132
o 111119
o 111114
o 111112
o 111099
o 111094
o 111091
o 111086
o 111084
o 111071
o 111066
o 110966
o 110953
o 110948
o 110946
o 110933
o 110928
o 110927
o 110914
o 110909
o 110907
o 110894
o 110889
o 110886
o 110881
o 110879
o 110866
o 110861
o 110859
o 110846
o 110841
o 110831
o 110818
o 110813
o 110701
o 110688
o 110683
o 110681
o 110668
o 110663
o 110662
o 110649
o 110644
o 110642
o 110629
o 110624
o 110621
o 110616
o 110614
o 110601
o 110596
o 110527
o 110514
o 110509
o 110507
o 110494
o 110489
o 110488
o 110475
o 110470
o 110468
o 110455
o 110450
o 110447
o 110442
o 110440
o 110427
o 110422
o 110401
o 110388
o 110383
o 110381
o 110368
o 110363
o 110362
o 110349
o 110344
o 110342
o 110329
o 110324
o 110321
o 110316
o 110314
o 110301
o 110296
o 110293
o 110291
o 110278
o 110273
o 110272
o 110259
o 110254
o 110252
o 110239
o 110234
o 110231
o 110226
o 110224
o 110211
o 110206
o 110204
o 110191
o 110186
o 110176
o 110163
o 110158
o 110046
o 110033
o 110028
o 110026
o 110013
o 110008
o 110007
o 109994
o 109989
o 109987
o 109974
o 109969
o 109966
o 109961
o 109959
o 109946
o 109941
o 109872
o 109859
o 109854
o 109852
o 109839
o 109834
o 109833
o 109820
o 109815
o 109813
o 109800
o 109795
o 109792
o 109787
o 109785
o 109772
o 109767
o 109746
o 109733
o 109728
o 109726
o 109713
o 109708
o 109707
o 109694
o 109689
o 109687
o 109674
o 109669
o 109666
o 109661
o 109659
o 109646
o 109641
o 109531
o 109518
o 109513
o 109511
o 109498
o 109493
o 109492
o 109479
o 109474
o 109472
o 109459
o 109454
o 109451
o 109446
o 109444
o 109431
o 109426
o 109357
o 109344
o 109339
o 109337
o 109324
o 109319
o 109318
o 109305
o 109300
o 109298
o 109285
o 109280
o 109277
o 109272
o 109270
o 109257
o 109252
o 109231
o 109218
o 109213
o 109211
o 109198
o 109193
o 109192
o 109179
o 109174
o 109172
o 109159
o 109154
o 109151
o 109146
o 109144
o 109131
o 109126
o 109123
o 109118
o 109108
o 109095
o 109090
o 109088
o 109075
o 109070
o 109069
o 109067
o 109062
o 109060
o 109047
o 109042
o 109039
o 109034
o 109032
o 109019
o 109014
o 108967
o 108954
o 108949
o 108947
o 108934
o 108929
o 108926
o 108921
o 108919
o 108906
o 108901
o 108898
o 108893
o 108891
o 108878
o 108873
o 108870
o 108865
o 108863
o 108850
o 108845
o 108819
o 108806
o 108801
o 108791
o 108778
o 108773
o 108763
o 108750
o 108745
o 108735
o 108722
o 108717
o 108716
o 108711
o 108706
o 108691
o 108686
o 108683
o 108678
o 108663
o 108658
o 108657
o 108651
o 108646
o 108623
o 108618
o 108603
o 108598
o 108515
o 108510
o 108495
o 108490
o 108489
o 108455
o 108450
o 108435
o 108430
o 108420
o 108415
o 108407
o 108402
o 108332
o 108327
o 108312
o 108307
o 108272
o 108267
o 108252
o 108247
o 108244
o 108229
o 108224
o 108221
o 108216
o 108201
o 108196
o 108161
o 108156
o 108133
o 108128
o 108113
o 108108
o 108066
o 108061
o 108046
o 108041
o 108038
o 108033
o 108018
o 108013
o 108012
o 107997
o 107992
o 107977
o 107972
o 107971
o 107960
o 107955
o 107932
o 107927
o 107904
o 107899
o 107876
o 107871
o 107848
o 107843
o 107842
o 107839
o 107838
o 107833
o 107828
o 107825
o 107820
o 107805
o 107800
o 107797
o 107792
o 107777
o 107772
o 107769
o 107764
o 107749
o 107744
o 107743
c 17199 branches 52847 propagates
c total generalized unit propagation = 86280, success = 18.82%
s OPTIMUM FOUND
c Optimal Solution = 107743
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 -151 -152 -153 -154 -155 -156 -157 -158 -159 160 161 162 -163 -164 -165 -166 -167 168 -169 -170
109.130u 0.004s 1:49.82 99.3%	0+0k 0+0io 0pf+0w