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_cap121.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap121.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 15043689
o 15043689
o 15041559
o 15038904
o 15032238
o 15032092
o 15023989
o 15020289
o 15019218
o 15015518
o 15010579
o 15006879
o 15005808
o 15002108
o 14999746
o 14997464
o 14997091
o 14990425
o 14982176
o 14978476
o 14977405
o 14973705
o 14968419
o 14963648
o 14959948
o 14957265
o 14952494
o 14948794
o 14943508
o 14938737
o 14935037
o 14931824
o 14927706
o 14924006
o 14921738
o 14921592
o 14913489
o 14908718
o 14905018
o 14902949
o 14898178
o 14891823
o 14885157
o 14885011
o 14876908
o 14872137
o 14868437
o 14866103
o 14858000
o 14849751
o 14844980
o 14840062
o 14831813
o 14823710
o 14818939
o 14815239
o 14812971
o 14812825
o 14804722
o 14799951
o 14796251
o 14794028
o 14790328
o 14788060
o 14787914
o 14779811
o 14775040
o 14771340
o 14768127
o 14766054
o 14761283
o 14757583
o 14754370
o 14751248
o 14747548
o 14746477
o 14742777
o 14741625
o 14734586
o 14726337
o 14722637
o 14721566
o 14717866
o 14714653
o 14712580
o 14708880
o 14707809
o 14704109
o 14700896
o 14695755
o 14692055
o 14685016
o 14676767
o 14673067
o 14671996
o 14668296
o 14667144
o 14660105
o 14651856
o 14648156
o 14647085
o 14643385
o 14640172
o 14638099
o 14634399
o 14633328
o 14629628
o 14626415
o 14625687
o 14622474
o 14620288
o 14617075
o 14616679
o 14615608
o 14611908
o 14607656
o 14599407
o 14595334
o 14588668
o 14580419
o 14575648
o 14571948
o 14568735
o 14555508
o 14550737
o 14547037
o 14543824
o 14541751
o 14536980
o 14533280
o 14530067
o 14529339
o 14526126
o 14521262
o 14517562
o 14516491
o 14512791
o 14509578
o 14508079
o 14507008
o 14503308
o 14499822