Starting smac-validate with 1024 MB of RAM
*****************************
Logging to: ./validate-train//log-val-1.txt
*****************************
[INFO ] Logging to: ./validate-train//log-val-1.txt
[INFO ] Call String:
[INFO ] java -cp /home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/conf/:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/patches/:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/DomainInter.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/Jama-1.0.2.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/aclib-src.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/aclib.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/commons-collections-3.2.1-sources.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/commons-collections-3.2.1.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/commons-io-2.1.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/commons-math-2.2.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/commons-math3-3.2.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/exp4j-0.3.10.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/fastrf-src.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/fastrf.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/guava-14.0.1.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/jcip-annotations-src.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/jcip-annotations.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/jcommander.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/jmatharray.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/logback-access-1.0.13.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/logback-classic-1.0.13.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/logback-core-1.0.13.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/numerics4j-1.3.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/opencsv-2.3.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/slf4j-api-1.7.5.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/smac-src.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/smac.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/spi-0.2.4.jar:/home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/configurators/smac-v2.06.01-master-622/patches/ ca.ubc.cs.beta.smac.executors.ValidatorExecutor --trajectoryFile ./traj.csv --numRun 1 --outputFileSuffix csscWorkerValid_mult2 --numValidationRuns 1 --maxTimestamp 172800 --minTimestamp 0.01 --multFactor 2 --tae CLI --scenarioFile ./CSSC-3SAT1k-sat-300s-2day.txt --validateOnlyLastIncumbent true --useScenarioOutDir true --outputDirectory ./validate-train --validateTestInstances false --waitForPersistedRunCompletion false 
[INFO ] ==========Configuration Options==========
[ValidationExecutorOptions]
scenarioConfig = [ScenarioOptions]
		 runObj = RUNTIME
		 intraInstanceObj = MEAN10
		 interInstanceObj = MEAN
		limitOptions = [TerminationCriteriaOptions]
				 tunerTimeout = 2147483647
				 numIterations = 2147483647
				 runtimeLimit = 172800
				 totalNumRunsLimit = 9223372036854775807
				 countSMACTimeAsTunerTime = true
				 challengeIncumbentAttempts = 1000
				 fileToWatch = null

		instanceOptions = [ProblemInstanceOptions]
				 instanceFile = instances/instancelists/3sat1k.train.txt
				 instanceFeatureFile = instances/instancelists/kSAT-features.csv
				 testInstanceFile = instances/instancelists/3sat1k.test.txt
				 checkInstanceFilesExist = false

		 scenarioFile = /home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/./CSSC-3SAT1k-sat-300s-2day.txt
		 outputDirectory = ./validate-train
		 invalidScenarioReason = null
		algoExecOptions = [AlgorithmExecutionOptions]
				 algoExec = bash run-algo.sh
				 algoExecDir = .
				 deterministic = false
				 cutoffTime = 300.0
				 cutoffLength = -1.0
				taeOpts = [TargetAlgorithmEvaluatorOptions]
						 targetAlgorithmEvaluator = CLI
						 abortOnCrash = false
						 abortOnFirstRunCrash = true
						 retryCount = 0
						 boundRuns = false
						 maxConcurrentAlgoExecs = 1
						 runHashCodeFile = null
						 leakMemory = false
						 leakMemoryAmount = 1024
						 verifySAT = null
						 checkSATConsistency = true
						 checkSATConsistencyException = true
						prePostOptions = [PrePostCommandOptions]
								 preCommand = null
								 postCommand = null
								 exceptionOnError = false
								 logOutput = true
								 directory = /home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/.

						 checkResultOrderConsistent = false
						 skipOutstandingEvaluationsTAE = false
						 logRequestResponses = false
						 logRequestResponsesRCOnly = false
						 trackRunsScheduled = false
						 trackRunsScheduledResolution = 10.0
						 uncleanShutdownCheck = true
						 killCaptimeExceedingRun = true
						 killCaptimeExceedingRunFactor = 10.0
						 checkRunConfigsUnique = true
						 checkRunConfigsUniqueException = true
						 observeWalltimeIfNoRuntime = true
						 observeWalltimeScale = 0.95
						 observeWalltimeDelay = 5.0
						 synchronousObserver = true
						 taeDefaults = /home/lindauer/.aclib/tae.opt
						ttaedo = [TransformTargetAlgorithmEvaluatorDecoratorOptions]
								 transform = false
								 transformValidValuesOnly = true
								 SAT_runtime_transform = R
								 SAT_quality_transform = Q
								 UNSAT_runtime_transform = R
								 UNSAT_quality_transform = Q
								 TIMEOUT_runtime_transform = R
								 TIMEOUT_quality_transform = Q
								 other_runtime_transform = R
								 other_quality_transform = Q

						 fileToWatch = null

				paramFileDelegate = [ParamConfigurationSpaceOptions]
						 paramFile = solvers/yalsat/yalsat-params.pcs
						 searchSubspace = null
						 searchSubspaceFile = null
						 continuousNeighbours = 4



 smacValidateDefaults = /home/lindauer/.aclib/smac-validate.opt
 experimentDir = /home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/
seedOptions = [SeperateSeedNumRunOptions]
		 seedOffset = 0
		 seed = 0
		 numRun = 1
		 initialSeedMap = {}

helpOptions = [HelpOptions]
		 showHiddenParameters = false
		 showHelp = false
		 helpLevel = BASIC
		 showVersion = false
		 helpDefaults = /home/lindauer/.aclib/help.opt

logOptions = [SingleLogFileLoggingOptions]
		 consoleLogLevel = INFO
		 logLevel = DEBUG

 incumbent = null
validationOptions = [ValidationOptions]
		 maxTimestamp = 172800.0
		 minTimestamp = 0.01
		 multFactor = 2.0
		 numberOfTestInstances = 2147483647
		 numberOfTestSeedsPerInstance = 1000
		 numberOfValidationRuns = 1
		 outputFileSuffix = csscWorkerValid_mult2
		 saveStateFile = false
		 useWallClockTime = false
		 validateAll = false
		 validateOnlyIfTunerTimeReached = 0.0
		 validateOnlyIfWallTimeReached = 0.0
		 validateOnlyLastIncumbent = true
		 validationHeaders = true
		 validationRoundingMode = UP
		 writeThetaMatrix = false

 tunerTime = -1.0
 useScenarioOutDir = true
 empiricalPerformance = -1.0
 tunerOverheadTime = -1.0
 validateTestInstances = false
 waitForPersistedRunCompletion = false
 randomConfigurations = 0
 includeRandomAsFirstDefault = false
 configurationList = null
 autoIncrementTunerTime = true
 wallTime = 0.0
trajectoryFileOptions = [TrajectoryFileOptions]
		 trajectoryFile = /home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/./traj.csv
		 useTunerTimeIfNoWallTime = false


[INFO ] Version of Automatic Configurator Library is v2.06.01-master-648 (1a58581fbab7) 
[INFO ] Version of Random Forest Library is v1.05.01-master-96 (d3c149f09f8f) 
[INFO ] Version of SMAC is v2.06.01-master-622 (e32716a31d3b) 
[INFO ] Parsing (default) options from file: /home/lindauer/.aclib/help.opt 
[INFO ] Parsing (default) options from file: /home/lindauer/.aclib/smac-validate.opt 
[INFO ] Parsing (default) options from file: /home/lindauer/.aclib/cli-tae.opt 
[INFO ] Parsing (default) options from file: /home/lindauer/.aclib/tae.opt 
[INFO ] Using Scenario Tuner Time 2.147483647E9 seconds
[INFO ] Validating using training instances
[INFO ] Parsing Parameter Space File
[INFO ] Parsing Trajectory File /home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/./traj.csv 
[INFO ] Abort on Crash,Abort on First Run Crash, Verify SAT, and use Walltime if no Runtime are DISABLED as these options may cause unwanted crashes
[INFO ] [TAE] Checking that every request in a batch is unique
[INFO ] [TAE] Synchronizing notifications to the observer
[INFO ] Beginning Validation on 20 entries
[INFO ] Creating Runs 
[INFO ] Scheduling 250 validation runs per incumbent
[INFO ] Validation needs 250 algorithm runs  to validate 1 trajectory file entries 
[WARN ] This version of SMAC hardcodes run length for calls to the target algorithm to 2147483647.
[INFO ] Waiting until validation completion
[WARN ] Algorithm Run Result reported a runtime of 301.068 (secs) that exceeded it's cutoff time of 300.0 (secs) by 1.0679999999999836 (secs). Next warning at 2.0679999999999836 (secs)  
[INFO ] Raw Validation Results File Written to: /home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/./validate-train/rawValidationExecutionResults-tunertimecsscWorkerValid_mult2-run1.csv
[INFO ] Instance Seed Result File Written to: /home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/./validate-train/validationInstanceSeedResult-tunertimecsscWorkerValid_mult2-run1.csv
[INFO ] Instance Validation Matrix Result Written to: /home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/./validate-train/validationResultsMatrix-tunertimecsscWorkerValid_mult2-run1.csv
[INFO ] Validation Results File Written to: /home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/./validate-train/validationResults-tunertimecsscWorkerValid_mult2-run1.csv
[INFO ] Classic Validation Results File Written to: /home/lindauer/cssc-run3/randomSAT_CSSC-3SAT1k-sat-300s-2day_gga_YalSAT/./validate-train/classicValidationResults-tunertimecsscWorkerValid_mult2-run1.csv
[INFO ] Total Reported Runtime: 4392.185792999997 (s), Total of Sum Max(runtime-cutoff,0): 10.628999999999962 (s)
[INFO ] Total Walltime: 4449.047000000003 (s), Total of Sum Max(walltime - cutoff, 0): 30.280999999999892 (s)
[INFO ] Total Difference between Walltime and Runtime (Sum of the amount of wallclock time - sum of the amount of reported CPU time) : 56.86120699999998 seconds
[INFO ] Validation Completed Successfully
