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_cap122.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap122.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 14639911
o 14639911
c first lower bound: 7631881
o 14639306
o 14638486
o 14638430
o 14638381
o 14637610
o 14637561
o 14637067
o 14636247
o 14636133
o 14635402
o 14634582
o 14634088
o 14633268
o 14632837
o 14631736
o 14631692
o 14630388
o 14630344
o 14630036
o 14628688
o 14627812
o 14627763
o 14626484
o 14626440
o 14626327
o 14626132
o 14624833
o 14624784
o 14623771
o 14623576
o 14622756
o 14621662
o 14621613
o 14620405
o 14620062
o 14618854
o 14618748
o 14617589
o 14617540
o 14617354
o 14616429
o 14616358
o 14616314
o 14614658
o 14613450
o 14613310
o 14612102
o 14611322
o 14611284
o 14609936
o 14609892
o 14609584
o 14608236
o 14607077
o 14607028
o 14606208
o 14605856
o 14604552
o 14604508
o 14603627
o 14603583
o 14602852
o 14601927
o 14601519
o 14600604
o 14600296
o 14598948
o 14598768
o 14597420
o 14595866
o 14595822
o 14594166
o 14593295
o 14593251
o 14591595
o 14591438
o 14588826
o 14588782
o 14587126
o 14586521
o 14583752
o 14583708
o 14582052
o 14580704
o 14579828
o 14579779
o 14579420
o 14579371
o 14578505
o 14578456
o 14578148
o 14576800
o 14575523
o 14574776
o 14574353
o 14573428
o 14571846
o 14571797
o 14570449
o 14570246
o 14569093
o 14568898
o 14567584
o 14567327
o 14566402
o 14564771
o 14563423
o 14562146
o 14560976
o 14560051
o 14558615
o 14558420
o 14557072
o 14556392
o 14555864
o 14555044
o 14554663
o 14554619
o 14553068
o 14551720
o 14550559
o 14549336
o 14548032
o 14547988
o 14546699
o 14546655
o 14546262
o 14543691
o 14542387
o 14542343
o 14542230
o 14542186
o 14541837
o 14541793
o 14539222
o 14537874
o 14537671
o 14536367
o 14536323
o 14535398
o 14535318
o 14533970
o 14533767
o 14532463
o 14532419
o 14531657
o 14531511
o 14531467
o 14531264
o 14529916
o 14528896
o 14528737
o 14528693
o 14527389
o 14527345
o 14526068
o 14525321
o 14524947
o 14524898
o 14524066
o 14524017
o 14523973
o 14523893
o 14522342
o 14521038
o 14520994
o 14519968
o 14519919
o 14519724
o 14519680
o 14519074
o 14519030
o 14518776
o 14518732
o 14517384
o 14516459
o 14514420
o 14513116
o 14513072
o 14512147
o 14510516
o 14509212
o 14509168
o 14508860
o 14507707
o 14507512
o 14506304
o 14505484
o 14505403
o 14505359
o 14502788
o 14501440
o 14501132
o 14499784
o 14498576
o 14497756
o 14495262
o 14495218
o 14493914
o 14493870
o 14492945
o 14491358
o 14491314
o 14490010
o 14489966
o 14489707
o 14489658
o 14488359
o 14488310
o 14487102
o 14486282
o 14485932
o 14485112
o 14485007
o 14484187
o 14483236
o 14482077
o 14482028
o 14481208
o 14481145
o 14479846
o 14479797
o 14478872
o 14477933
o 14476520
o 14475172
o 14474969
o 14473621
o 14472696
o 14472051
o 14470703
o 14469778
o 14469152
o 14468227
o 14467762
o 14466539
o 14465191
o 14464266
o 14463640
o 14462715
o 14462688
o 14460188
o 14458840
o 14457915
o 14457712
o 14457289
o 14456559
o 14456364
o 14455719
o 14454794
o 14454168
o 14453243
o 14452820
o 14451895
o 14451866
o 14450562
o 14449011
o 14447991
o 14446440
o 14445515
o 14445092
o 14444167
o 14444065
o 14443642
o 14442717
o 14442106
o 14440758
o 14439833
o 14439017
o 14437794
o 14436446
o 14435716
o 14435521
o 14435318
o 14434895
o 14433970
o 14431443
o 14430567
o 14430518
o 14430095
o 14429365
o 14429170
o 14428544
o 14427619
o 14427539
o 14426191
o 14425988
o 14424640
o 14424247
o 14422696
o 14421348