Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_warehouses_cap131.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap131.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 15043689
o 15043689
c first lower bound: 7110664
o 15043520
o 15041986
o 15034754
o 15033406
o 15030285
o 15028937
o 15027714
o 15026366
o 15025586
o 15023934
o 15022586
o 15021363
o 15020015
o 15019235
o 15018860
o 15017512
o 15016289
o 15014941
o 15013289
o 15010718
o 15009370
o 15008215
o 15005644
o 15004296
o 15003680
o 14996348
o 14993777
o 14991906
o 14991879
o 14989335
o 14989308
o 14987987
o 14987960
o 14986832
o 14986805
o 14984261
o 14984234
o 14982913
o 14982886
o 14981765
o 14979194
o 14977846
o 14976691
o 14974120
o 14972772
o 14971670
o 14971120
o 14968549
o 14967201
o 14966596
o 14966046
o 14963475
o 14962127
o 14960850
o 14960245
o 14959695
o 14957124
o 14955776
o 14948120
o 14945549
o 14943651
o 14941080
o 14939732
o 14938006
o 14935435
o 14933537
o 14930966
o 14929618
o 14929087
o 14927361
o 14924790
o 14922892
o 14920321
o 14918973
o 14917818
o 14915247
o 14913899
o 14912622
o 14911467
o 14908896
o 14907548
o 14907504
o 14907196
o 14905848
o 14904640
o 14903820
o 14903710
o 14898882
o 14894413
o 14893065
o 14889339
o 14887991
o 14886768
o 14885420
o 14884143
o 14883363
o 14882988
o 14880417
o 14879069
o 14877799
o 14870467
o 14865998
o 14863427
o 14862079
o 14859822
o 14855353
o 14852782
o 14851434
o 14850279
o 14847708
o 14846360
o 14845083
o 14844303
o 14843928
o 14841357
o 14840009
o 14837594
o 14836317
o 14835712
o 14833814
o 14831243
o 14829895
o 14829851
o 14829543
o 14828195
o 14826987
o 14826167
o 14819214
o 14816643
o 14814745
o 14812174
o 14809100
o 14806529
o 14804631
o 14802060
o 14800712
o 14800178
o 14798280
o 14795709
o 14794361
o 14794317
o 14794024
o 14793204
o 14792661
o 14791453
o 14790633
o 14789853
o 14789287
o 14788935
o 14787727
o 14786907
o 14786379
o 14785559
o 14781699
o 14771585
o 14769014
o 14766511
o 14763940
o 14762663
o 14760160
o 14757589
o 14756241
o 14755691
o 14753120
o 14751772
o 14751728
o 14751420
o 14750072
o 14749392
o 14748864
o 14748044
o 14746377
o 14744495
o 14742597
o 14740026
o 14739982
o 14738678
o 14738634
o 14737898
o 14737854
o 14737523
o 14734952
o 14734908
o 14733604
o 14733560
o 14733252
o 14731904
o 14730696
o 14729876
o 14729517
o 14729306
o 14721974
o 14719403
o 14718055
o 14717505
o 14714934
o 14713586
o 14713052
o 14711704
o 14711154
o 14708583
o 14707235
o 14706630
o 14706080
o 14703509
o 14702161
o 14702117
o 14701809
o 14700461
o 14699253
o 14698433
o 14692399
o 14689828
o 14688507
o 14688480
o 14687352
o 14687325
o 14684781
o 14684754
o 14683433
o 14683406
o 14682883
o 14682856
o 14680312
o 14680285
o 14678964
o 14678937
o 14677687
o 14677660
o 14677055
o 14676532
o 14676505
o 14673961
o 14673934
o 14672613
o 14672586
o 14672569
o 14672542
o 14672261
o 14672234
o 14670913
o 14670886
o 14670171
o 14668823
o 14667546
o 14666766
o 14666391
o 14663820
o 14662472
o 14662428
o 14662120
o 14660772
o 14659564
o 14658744
o 14657756
o 14656936
o 14654722
o 14653374
o 14653330
o 14653022
o 14651674
o 14650466
o 14649646
o 14649287
o 14647389
o 14644818
o 14641744
o 14639173
o 14637275
o 14634704
o 14633356
o 14632822
o 14630924
o 14628353
o 14627005
o 14625850
o 14623279
o 14621931
o 14621887
o 14621579
o 14620231
o 14619023
o 14618203
o 14612169
o 14609598
o 14607700
o 14605129
o 14603781
o 14602055
o 14599484
o 14597586
o 14595015
o 14593667
o 14591235
o 14589887
o 14588664
o 14587316
o 14586536
o 14586161
o 14584813
o 14583590
o 14582242
o 14582198
o 14581890
o 14580542
o 14579334
o 14578514
o 14575952
o 14574604
o 14572878
o 14570307
o 14568959
o 14568409
o 14565838
o 14564490
o 14564446
o 14563956
o 14562608
o 14562058
o 14559487
o 14558139
o 14558095
o 14556984
o 14555636
o 14555592
o 14554413
o 14553065
o 14553021
o 14552713
o 14551365
o 14550157
o 14549337
o 14549288
o 14546717
o 14545369
o 14545325
o 14545017
o 14543669
o 14542461
o 14541641
o 14540350
o 14539002
o 14532380
o 14529809
o 14528461
o 14526029
o 14523458
o 14522110
o 14521560
o 14518989
o 14517641
o 14517036
o 14516486
o 14513915
o 14512567
o 14512523
o 14512215
o 14510867
o 14509659
o 14508839
o 14507269
o 14503089
o 14503062
o 14500518
o 14500491
o 14492948
o 14490377
o 14489029
o 14488479
o 14485908
o 14484560
o 14484026
o 14482678
o 14482128
o 14479557
o 14478209
o 14477054
o 14475706
o 14474483
o 14473135
o 14472675
o 14471327
o 14461892
o 14459321
o 14457423
o 14454852
o 14453504
o 14451778
o 14449207
o 14447309
o 14444738
o 14443390
o 14442785
o 14442235
o 14439664
o 14438316
o 14437039
o 14435884
o 14433313
o 14431965
o 14422859
o 14422832
o 14420288
o 14420261
o 14418363
o 14415792
o 14412718
o 14410147
o 14408249
o 14405678
o 14404330
o 14403175
o 14400604
o 14399256
o 14398722
o 14398547
o 14396824
o 14394253
o 14392905
o 14392861
o 14392553
o 14391205
o 14389997
o 14389768
o 14388420
o 14387640
o 14387265
o 14384694
o 14383346
o 14382069
o 14380914
o 14378343
o 14376995
o 14376951
o 14376643
o 14375295
o 14374087
o 14373258
o 14365926
o 14358694
o 14354225
o 14348580
o 14344111
o 14341540
o 14340192
o 14339412
o 14339037
o 14336466
o 14335118
o 14334584
o 14332686
o 14330115
o 14328767
o 14328723
o 14328415
o 14327067
o 14325859
o 14325039
o 14324534
o 14315237
o 14310576
o 14308005
o 14306657
o 14306107
o 14303536
o 14302188
o 14301583
o 14301033
o 14298462
o 14297114
o 14296609
o 14296580
o 14295232
o 14294727
o 14294682
o 14292111
o 14290763
o 14290258
o 14290214
o 14289063
o 14288558
o 14287855
o 14287350
o 14287035
o 14286530
o 14286495
o 14285723
o 14284943
o 14284568
o 14283220
o 14281997
o 14280649
o 14280144
o 14280100
o 14278949
o 14278444
o 14277741
o 14277236
o 14276921
o 14276416
o 14262886
o 14261538
o 14258417
o 14257069
o 14256564
o 14255846
o 14254498
o 14253993
o 14252066
o 14249495
o 14248990
o 14248147
o 14247642
o 14246955
o 14245732
o 14244384
o 14243879
o 14241952
o 14240604
o 14239381
o 14238033
o 14237528
o 14236878
o 14235530
o 14235025
o 14234307
o 14232959
o 14232454
o 14232410
o 14231259
o 14230754
o 14230051
o 14229546
o 14229231
o 14228726
o 14228624
o 14222414
o 14215082
o 14212511
o 14210613
o 14208069
o 14208042
o 14206721
o 14206694
o 14204968
o 14202397
o 14201049
o 14197928
o 14196580
o 14196046
o 14194698
o 14191577
o 14190229
o 14189449
o 14186503
o 14185155
o 14184650
o 14183455
o 14182950
o 14182247
o 14181742
o 14181427
o 14180922
o 14179572
o 14176214
o 14169458
o 14166887
o 14165539
o 14165034
o 14164990
o 14163839
o 14163334
o 14163136
o 14163092
o 14162418
o 14161913
o 14161070
o 14160565
o 14160521
o 14160213
o 14159370
o 14158865
o 14158162
o 14157657
o 14156067
o 14155562
o 14154719
o 14154214
o 14154170
o 14153862
o 14153019
o 14152514
o 14151811
o 14151306
o 14150991
o 14150486
o 14149645
o 14149140
o 14149096
o 14148788
o 14147945
o 14147440
o 14146737
o 14146232
o 14145917
o 14145412
o 14143656
o 14143151
o 14142308
o 14141803
o 14141759
o 14140608
o 14140103
o 14139400
o 14138895
o 14138580
o 14138075
o 14137740
o 14137037
o 14136532
o 14136217
o 14135712
o 14134362
o 14131791
o 14130470
o 14130443
o 14129920
o 14129893
o 14127349
o 14127322
o 14126001
o 14125974
o 14125496
o 14125469
o 14125467
o 14125440
o 14124092
o 14123587
o 14123542
o 14120971
o 14119623
o 14119118
o 14119101
o 14119074
o 14118431
o 14117208
o 14115860
o 14115326
o 14113978
o 14113428
o 14110857
o 14109509
o 14109465
o 14109004
o 14108960
o 14107809
o 14107304
o 14106601
o 14106096
o 14105781
o 14105276
o 14104435
o 14103930
o 14103886
o 14102735
o 14102230
o 14101527
o 14101022
o 14100707
o 14100202
o 14099967
o 14099264
o 14098759
o 14098444
o 14097939
o 14097664
o 14097159
o 14097098
o 14096593
o 14096549
o 14096241
o 14095398
o 14094893
o 14094190
o 14093685
o 14093370
o 14092865
o 14092226
o 14091721
o 14091546
o 14091041
o 14091018
o 14090513
o 14090198
o 14089693
o 14088852
o 14088347
o 14087152
o 14086647
o 14085944
o 14085439
o 14085124
o 14084619
o 14084384
o 14083681
o 14083176
o 14082861
o 14082356
o 14081515
o 14081471
o 14081163
o 14079815
o 14078607
o 14077787
o 14077282
o 14077271
o 14076956
o 14076451
o 14075574
o 14075069
o 14074351
o 14073003
o 14072498
o 14070144
o 14067573
o 14066225
o 14065720
o 14060030
o 14057459
o 14056111
o 14055606
o 14055561
o 14052990
o 14051642
o 14051137
o 14049210
o 14047862
o 14047357
o 14046639
o 14045291
o 14044786
o 14044136
o 14042788
o 14041565
o 14040217
o 14039712
o 14039668
o 14038517
o 14038012
o 14037309
o 14036804
o 14036489
o 14035984
o 14035649
o 14035144
o 14034441
o 14033936
o 14033621
o 14033116
o 14032880
o 14032375
o 14032331
o 14031180
o 14030675
o 14029972
o 14029467
o 14029152
o 14028647
o 14028134
o 14028090
o 14027782
o 14026434
o 14025226
o 14024406
o 14022968
o 14020397
o 14015928
o 14014046
o 14012148
o 14009577
o 14008229
o 14007449
o 14007074
o 14004503
o 14003155
o 14002240
o 14000892
o 13999737
o 13997166
o 13995818
o 13995774
o 13995466
o 13994118
o 13992910
o 13992090
o 13990879
o 13990835
o 13990527
o 13989179
o 13988979
o 13987631
o 13987129
o 13985781
o 13985737
o 13985429
o 13984081
o 13980495
o 13979147
o 13974850
o 13970381
o 13969033
o 13968989
o 13968428
o 13968384
o 13965307
o 13963959
o 13963915
o 13962682
o 13962638
o 13962077
o 13958956
o 13957608
o 13957564
o 13957256
o 13955908
o 13955345
o 13954740
o 13951619
o 13950271
o 13950227
o 13949919
o 13948571
o 13947891
o 13947363
o 13946543
o 13946000
o 13944792
o 13943972
o 13943066
o 13941718
o 13940896
o 13936135
o 13933564
o 13931666
o 13929095
o 13927747
o 13926592
o 13924021
o 13922673
o 13922102
o 13918376
o 13917028
o 13913907
o 13912559
o 13912025
o 13910677
o 13907556
o 13906208
o 13905293
o 13903945
o 13902790
o 13900219
o 13898871
o 13898827
o 13898519
o 13897171
o 13895963
o 13895143
o 13894440
o 13892542
o 13889971
o 13888623
o 13888089
o 13883620
o 13882272
o 13881286
o 13878854
o 13876283
o 13874935
o 13874891
o 13874583
o 13873235
o 13871209
o 13869861
o 13869817
o 13869509
o 13868161
o 13866953
o 13866133
o 13865964
o 13865414
o 13862843
o 13861495
o 13861451
o 13861143
o 13859795
o 13858587
o 13857767
o 13856948
o 13855725
o 13854377
o 13852943
o 13845611
o 13844263
o 13841142
o 13839794
o 13839260
o 13837912
o 13837362
o 13836014
o 13834791
o 13833443
o 13832457
o 13831923
o 13830575
o 13830025
o 13828677
o 13827454
o 13826106
o 13825501
o 13824951
o 13823603
o 13822380
o 13821032
o 13820988
o 13820680
o 13819332
o 13818124
o 13817304
o 13816825
o 13816005
o 13813878
o 13809409
o 13808061
o 13807527
o 13803058
o 13801710
o 13800555
o 13797984
o 13796636
o 13795721
o 13794373
o 13793218
o 13790647
o 13789299
o 13789255
o 13788947
o 13787599
o 13786391
o 13785571
o 13785451
o 13784228
o 13782880
o 13782836
o 13782528
o 13781180
o 13779972
o 13779924
o 13778576
o 13778532
o 13778224
o 13776876
o 13775668
o 13773573
o 13772225
o 13772181
o 13771873
o 13770525
o 13769317
o 13768497
o 13767151
o 13767107
o 13766799
o 13765451
o 13764243
o 13763423
o 13762360
o 13761012
o 13760968
o 13760660
o 13759312
o 13758104
o 13757284
o 13757021
o 13753900
o 13752552
o 13751637
o 13750289
o 13749684
o 13749134
o 13746563
o 13745215
o 13743938
o 13743158
o 13742783
o 13740212
o 13738864
o 13738820
o 13738512
o 13737164
o 13735956
o 13735136
o 13734892
o 13734848
o 13734358
o 13732460
o 13729889
o 13728541
o 13728497
o 13728189
o 13726841
o 13726061
o 13726038
o 13724815
o 13723467
o 13723423
o 13723115
o 13721767
o 13720559
o 13719739
o 13719732
o 13712723
o 13711375
o 13708254
o 13706906
o 13705683
o 13704335
o 13703801
o 13702453
o 13699332
o 13697984
o 13696998
o 13696464
o 13694566
o 13691995
o 13690647
o 13690042
o 13686921
o 13685573
o 13685529
o 13685221
o 13683873
o 13682665
o 13681845
o 13681366
o 13680546
o 13680427
o 13679219
o 13678399
o 13677071
o 13676521
o 13673950
o 13672602
o 13672068
o 13670720
o 13670170
o 13667599
o 13666251
o 13665265
o 13664731
o 13663383
o 13662833
o 13661485
o 13660262
o 13658914
o 13658870
o 13657759
o 13655188
o 13653840
o 13653796
o 13653488
o 13652140
o 13650932
o 13650112
o 13649170
o 13649143
o 13648184
o 13648157
o 13646907
o 13646880
o 13645752
o 13645725
o 13644404
o 13644377
o 13643181
o 13643154
o 13641833
o 13641806
o 13639391
o 13638043
o 13636766
o 13636161
o 13635611
o 13633040
o 13631692
o 13631648
o 13631340
o 13629992
o 13628784
o 13627964
o 13627584
o 13626236
o 13625456
o 13625081
o 13623733
o 13622510
o 13621162
o 13619885
o 13619280
o 13618730
o 13617382
o 13616159
o 13614811
o 13614593
o 13613370
o 13612022
o 13611361
o 13610811
o 13609463
o 13608240
o 13606892
o 13606044
o 13603787
o 13601216
o 13599868
o 13596747
o 13595399
o 13595389
o 13593132
o 13591784
o 13590561
o 13589213
o 13588663
o 13587315
o 13586092
o 13584744
o 13584139
o 13583589
o 13581018
o 13579670
o 13578755
o 13577407
o 13576252
o 13574904
o 13573681
o 13572333
o 13571056
o 13570276
o 13569901
o 13568553
o 13567330
o 13565982
o 13565129
o 13564524
o 13563974
o 13561403
o 13560055
o 13558778
o 13557998
o 13557623
o 13556275
o 13555052
o 13553704
o 13552021
o 13550673
o 13550006
o 13548658
o 13547381
o 13546776
o 13543655
o 13542307
o 13542149
o 13541599
o 13539028
o 13537680
o 13536765
o 13535417
o 13534637
o 13534262
o 13531691
o 13530343
o 13529066
o 13528286
o 13527911
o 13525340
o 13523992
o 13523177
o 13519451
o 13518103
o 13516880
o 13515532
o 13514617
o 13513269
o 13512114
o 13509543
o 13508195
o 13507661
o 13507486
o 13503192
o 13501844
o 13499156
o 13499129
o 13496585
o 13496558
o 13495237
o 13495210
o 13494082
o 13494055
o 13491511
o 13491484
o 13490163
o 13490136
o 13489248
o 13489221
o 13488643
o 13488616
o 13486745
o 13486718
o 13484174
o 13484147
o 13482826
o 13482799
o 13481522
o 13480367
o 13477796
o 13476448
o 13474033
o 13472685
o 13471408
o 13470803
o 13470253
o 13467682
o 13466334
o 13466217
o 13464869
o 13464089
o 13463714
o 13461143
o 13459795
o 13458157
o 13456809
o 13456204
o 13455654
o 13453083
o 13451735
o 13450820
o 13449472
o 13448692
o 13448317
o 13445746
o 13444398
o 13443121
o 13442516
o 13441966
o 13439395
o 13438047
o 13437729
o 13436381
o 13435244
o 13433896
o 13430775
o 13429427
o 13428204
o 13426856
o 13426251
o 13423130
o 13421782
o 13420867
o 13419519
o 13418914
o 13418364
o 13415793
o 13414445
o 13413168
o 13412388
o 13409442
o 13408094
o 13406982
o 13406202
o 13405827
o 13403256
o 13401908
o 13401358
o 13400010
o 13398787
o 13397439
o 13397395
o 13397087
o 13395739
o 13394531
o 13393711
o 13392036
o 13391456
o 13384124
o 13382776
o 13379655
o 13378307
o 13376787
o 13375439
o 13372318
o 13370970
o 13370436
o 13365967
o 13364619
o 13363320
o 13362521
o 13361173
o 13361157
o 13360303
o 13359723
o 13354962
o 13352391
o 13351043
o 13350493
o 13347922
o 13346574
o 13345054
o 13343706
o 13343156
o 13340585
o 13339237
o 13338703
o 13337355
o 13334234
o 13332886
o 13330243
o 13325774
o 13324426
o 13322906
o 13321008
o 13318437
o 13317089
o 13316555
o 13314657
o 13312086
o 13310738
o 13307012
o 13305664
o 13305620
o 13305312
o 13303964
o 13302756
o 13301936
o 13301119
o 13301075
o 13298687
o 13298643
o 13297339
o 13297295
o 13296116
o 13296072
o 13294768
o 13294724
o 13294163
o 13294119
o 13293613
o 13291042
o 13290998
o 13289694
o 13289650
o 13289342
o 13287994
o 13286786
o 13285966
o 13285752
o 13284972
o 13284597
o 13282026
o 13280678
o 13279401
o 13278796
o 13278246
o 13275675
o 13274327
o 13274259
o 13273104
o 13270533
o 13269185
o 13267908
o 13264182
o 13262834
o 13262449
o 13261101
o 13259878
o 13258530
o 13257253
o 13256098
o 13254750
o 13253527
o 13252179
o 13252135
o 13251827
o 13250479
o 13249271
o 13248451
o 13246891
o 13244993
o 13242422
o 13241074
o 13240540
o 13236071
o 13234723
o 13233568
o 13230997
o 13229649
o 13229264
o 13226693
o 13225345
o 13224068
o 13223288
o 13220342
o 13218994
o 13218619
o 13216048
o 13214700
o 13213423
o 13212818
o 13212268
o 13209697
o 13208349
o 13207131
o 13205783
o 13202662
o 13201314
o 13200709
o 13200534
o 13200159
o 13197588
o 13196240
o 13193740
o 13192392
o 13191787
o 13188666
o 13187318
o 13186095
o 13184747
o 13183635
o 13183085
o 13180514
o 13179166
o 13178386
o 13175440
o 13174092
o 13172815
o 13172035
o 13171660
o 13170312
o 13169089
o 13167741
o 13166755
o 13164323
o 13162975
o 13161752
o 13160404
o 13160360
o 13160052
o 13158704
o 13157496
o 13156676
o 13156580
o 13152111
o 13150763
o 13149983
o 13149608
o 13147037
o 13145689
o 13144412
o 13143632
o 13143257
o 13140686
o 13139338
o 13138423
o 13137643
o 13133349
o 13132001
o 13131957
o 13131649
o 13130301
o 13129093
o 13128273
o 13127542