Open javier-romero opened 3 years ago
Hi Javier,
I see from the output that you are using the default "params.pcs" file. It seems that it is outdated and the parameters do not have the correct arguments. Could you try again using all_params.pcs?
If it does resolve the problem let me know so that I can delete the old file and add a new default.
Hola, I can try, but I don't know how, what should I do for that?
To use a different pcs file use the --pcs_file
option.
So, add --pcs_file=pcs/all_params.pcs
to your command line.
Mmm, still doesnt work:
python scripts/acclingo --instance_dir ./examples --binary binaries/clingo --tae_args "{\"mode\": \"clingo\"}" --verbose_level DEBUG --pcs_file=pcs/all_params.pcs
INFO:smac.utils.io.cmd_reader.CMDReader:Output to smac3-output_2021-06-29_11:06:53_952611
DEBUG:smac.scenario.scenario.Scenario:SMAC and Scenario Options:
DEBUG:smac.scenario.scenario.Scenario:Output directory does not exist! Will be created.
DEBUG:smac.scenario.scenario.Scenario:Writing scenario-file to smac3-output_2021-06-29_11:06:53_952611/run_12345/scenario.txt.
DEBUG:smac.scenario.scenario.Scenario:Setting the pcs_fn-attr of written scenario from pcs/all_params.pcs to smac3-output_2021-06-29_11:06:53_952611/run_12345/all_params.json
WARNING:smac.facade.smac_ac_facade.SMAC4AC:Runtime as objective automatically activates log(y) transformation
INFO:smac.initial_design.default_configuration_design.DefaultConfiguration:Running initial design for 1 configurations
INFO:smac.optimizer.smbo.SMBO:Running initial design
DEBUG:smac.intensification.intensification.Intensifier:Using challengers provided
DEBUG:smac.optimizer.smbo.SMBO:Total time: 0.0001, time spent on choosing next configurations: 0.0001 (0.50), time left for intensification: 0.0001 (0.50)
DEBUG:smac.optimizer.smbo.SMBO:Intensify - evaluate challenger
INFO:smac.intensification.intensification.Intensifier:First run, no incumbent provided; challenger is assumed to be the incumbent
DEBUG:smac.intensification.intensification.Intensifier:Intensify on Configuration:
@0:1:sat-prepro, Value: '2'
@0:2:sat-prepro, Value: 10
@0:3:sat-prepro, Value: 25
@0:4:sat-prepro, Value: '0'
@0:5:sat-prepro, Value: 0
@0:F:backprop, Value: 'yes'
@0:F:learn-explicit, Value: 'no'
@0:F:no-gamma, Value: 'no'
@0:S:eqCond, Value: 'no'
@0:S:sat-prepro, Value: 'yes'
@0:no:eq, Value: '0'
@0:solver, Value: 'clasp3'
@0:trans-ext, Value: 'dynamic'
@1:0:block-restarts, Value: '0'
@1:0:del-cfl, Value: 'no'
@1:0:heuristic, Value: 'Vsids'
@1:0:opt-strategy, Value: 'bb'
@1:0:restarts, Value: 'x'
@1:0:strengthen, Value: 'local'
@1:1:BB:opt-strategy, Value: 'lin'
@1:1:Simp:restarts, Value: 128
@1:1:counter-restarts, Value: 3
@1:1:del-glue, Value: 2
@1:1:del-grow, Value: 1.1
@1:1:del-init, Value: 3.0
@1:1:deletion, Value: 'basic'
@1:1:lookahead, Value: 'no'
@1:1:strengthen, Value: 'all'
@1:1:update-lbd, Value: 'no'
@1:1:vsids:heuristic, Value: '95'
@1:2:Geo:restarts, Value: 1.5
@1:2:counter-restarts, Value: 10
@1:2:del-glue, Value: '0'
@1:2:del-grow, Value: 20.0
@1:2:del-init, Value: 1023
@1:2:deletion, Value: 75
@1:2:strengthen, Value: 'yes'
@1:3:del-init, Value: 9000
@1:3:deletion, Value: 'activity'
@1:F:init-moms, Value: 'no'
@1:F:local-restarts, Value: 'no'
@1:F:nant, Value: 'no'
@1:F:restart-on-model, Value: 'no'
@1:F:sign-fix, Value: 'no'
@1:F:update-act, Value: 'no'
@1:F:vsids-acids, Value: 'no'
@1:No:contraction, Value: 'no'
@1:No:vsids-progress, Value: 'no'
@1:S:Geo:aryrestarts, Value: '2'
@1:S:contraction, Value: 'no'
@1:S:counterCond, Value: 'yes'
@1:S:del-grow, Value: 'yes'
@1:S:deletion, Value: 'yes'
@1:S:growSched, Value: 'no'
@1:S:vsids-progress, Value: 'no'
@1:configuration, Value: 'auto'
@1:del-estimate, Value: '0'
@1:del-max, Value: 250000
@1:del-on-restart, Value: 0
@1:init-watches, Value: 'least'
@1:loops, Value: 'no'
@1:opt-heuristic, Value: '0'
@1:otfs, Value: '2'
@1:partial-check, Value: '0'
@1:rand-freq, Value: '0.0'
@1:reset-restarts, Value: 'no'
@1:reverse-arcs, Value: '1'
@1:save-progress, Value: 180
@1:score-other, Value: 'loop'
@1:score-res, Value: 'set'
@1:sign-def, Value: 'asp'
DEBUG:smac.intensification.intensification.Intensifier:Configuration origin: Default
DEBUG:smac.intensification.intensification.Intensifier:No run for incumbent found
DEBUG:smac.intensification.intensification.Intensifier:Add run of incumbent
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Calling: setsid binaries/runsolver -C 10 -M 2048 -w /home/davila/git/potassco/acclingo/watcher-172338-jfjfeou8.log -o /home/davila/git/potassco/acclingo/solver-172338-qxprv8hy.log binaries/clingo ./examples/pigeon-5.lp --seed 561383553 --backprop --trans-ext=dynamic --sat-prepro=2,10,25,0,0 --eq=0 --mode=clingo --configuration=config_file.tmp --quiet=2 --stats --parallel-mode=1
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Stdout:
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Stderr:
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Reading runsolver output from /home/davila/git/potassco/acclingo/watcher-172338-jfjfeou8.log
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:reading solver results from /home/davila/git/potassco/acclingo/solver-172338-qxprv8hy.log
WARNING:acclingo.tae.clasp_tae.ClaspTAE:Target algorithm crashed. Last 5 lines of stdout and stderr
WARNING:acclingo.tae.clasp_tae.ClaspTAE:
WARNING:acclingo.tae.clasp_tae.ClaspTAE:
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Return: Status: <StatusType.CRASHED: 3>, cost: 100.000000, time: 0.005862, additional: {}
DEBUG:smac.stats.stats.Stats:Saving stats to smac3-output_2021-06-29_11:06:53_952611/run_12345/stats.json
INFO:smac.stats.stats.Stats:##########################################################
INFO:smac.stats.stats.Stats:Statistics:
INFO:smac.stats.stats.Stats:#Incumbent changed: -1
INFO:smac.stats.stats.Stats:#Target algorithm runs: 1 / inf
INFO:smac.stats.stats.Stats:#Configurations: 1
INFO:smac.stats.stats.Stats:Used wallclock time: 0.28 / 360.00 sec
INFO:smac.stats.stats.Stats:Used target algorithm runtime: 0.01 / inf sec
DEBUG:smac.stats.stats.Stats:Debug Statistics:
INFO:smac.stats.stats.Stats:##########################################################
INFO:smac.facade.smac_ac_facade.SMAC4AC:Final Incumbent: None
Traceback (most recent call last):
File "scripts/acclingo", line 20, in <module>
acc.main()
File "/home/davila/git/potassco/acclingo/acclingo/acclingo.py", line 55, in main
conf = smac.optimize()
File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/facade/smac_ac_facade.py", line 555, in optimize
incumbent = self.solver.run()
File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/optimizer/smbo.py", line 211, in run
time_bound=max(self.intensifier._min_time, time_left))
File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/intensification/intensification.py", line 200, in eval_challenger
self._add_inc_run(incumbent=incumbent, run_history=run_history)
File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/intensification/intensification.py", line 305, in _add_inc_run
instance_specific=self.instance_specifics.get(next_instance, "0"))
File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/tae/execute_ta_run.py", line 254, in start
raise FirstRunCrashedException("First run crashed, abort. "
smac.tae.execute_ta_run.FirstRunCrashedException: First run crashed, abort. Please check your setup -- we assume that your defaultconfiguration does not crashes. (To deactivate this exception, use the SMAC scenario option 'abort_on_first_run_crash')
It seems that the problem is that the parameters are not correct for clingo-5.1 (the one in the binaries folder) but now I am trying and they seem to work for later versions of clingo.
I would suggest to not use the binary in the folder. It is also possible to just give the command that you would normally use in the command line as a "binary". E.g. --binary clingo
With the newest updates, we deleted the outdated binary that was in the clingo folder. You should now use your own binary or installation of clingo(e.g. a conda installation). We have also changed the default pcs file to pcs/all_params.pcs
and deleted the outdated pcs file.
Hopefully, the changes resolve these problems.
Hi,
I can run now instances in aspif format, but I am trying to make it work with gringo files and I don't manage. Here is what I obtain. Thanks for your help!