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

		instanceOptions = [ProblemInstanceOptions]
				 instanceFile = instances/instancelists/GI-checked-shuffled-first1032.txt
				 instanceFeatureFile = instances/instancelists/GI.features.min
				 testInstanceFile = instances/instancelists/GI-checked-shuffled-last1032_first351.txt
				 checkInstanceFilesExist = false

		 scenarioFile = /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/./CSSC-GI-300s-2day.txt
		 outputDirectory = ./validate-test
		 invalidScenarioReason = null
		algoExecOptions = [AlgorithmExecutionOptions]
				 algoExec = python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script None --ext-callstring "ruby ./solvers/lingeling/callstring_generator.rb" --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True
				 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-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/.

						 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/lingeling/lingeling-params-mixed.pcs
						 searchSubspace = null
						 searchSubspaceFile = null
						 continuousNeighbours = 4



 smacValidateDefaults = /home/lindauer/.aclib/smac-validate.opt
 experimentDir = /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/
seedOptions = [SeperateSeedNumRunOptions]
		 seedOffset = 0
		 seed = 0
		 numRun = 0
		 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 = true
 waitForPersistedRunCompletion = false
 randomConfigurations = 0
 includeRandomAsFirstDefault = false
 configurationList = null
 autoIncrementTunerTime = true
 wallTime = 0.0
trajectoryFileOptions = [TrajectoryFileOptions]
		 trajectoryFile = /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/smac-output/CSSC/traj-run-0.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 172800.0 seconds
[INFO ] Validating using test instances
[INFO ] Parsing Parameter Space File
[INFO ] Parsing Trajectory File /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/smac-output/CSSC/traj-run-0.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 719 entries
[INFO ] Creating Runs 
[INFO ] Scheduling 351 validation runs per incumbent
[INFO ] Validation needs 351 algorithm runs  to validate 1 trajectory file entries 
[WARN ] This version of SMAC hardcodes run length for calls to the target algorithm to 2147483647.
[ERROR] Failed Run Detected Call: cd "/home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/." ;  python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script None --ext-callstring "ruby ./solvers/lingeling/callstring_generator.rb" --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/GI/crafted_n12_d6_c4_num30.cnf UNSATISFIABLE 300.0 2147483647 7461896 -treelookrtc '0' -cce '0' -megaint '2147483647' -redlminrel '753' -acts '2' -redfixed '0' -otfsconf '0' -redlmaxabs '1073741823' -score '0' -rephase '1' -smallvevars '7' -plim '1073741823' -keepmaxglue '0' -elmschedsum '1' -locscint '2147483647' -subl '9' -gaussreleff '10000' -unhidewait '1' -flipvlim '100000' -itlocsdel '50100' -elmsuccessrat '500' -gaussmineff '2000000' -prbasicreleff '10000' -elim '0' -cgrmaxeff '-1' -redlmaxrel '5295' -blkocclim1 '1073841823' -elmboost '539' -otfsbump '1' -irrlim '1' -locsboost '0' -binlocsdel '10' -blkocclim2 '1073751822' -blksmall '0' -ternres '1' -cardcut '1' -boost '1' -agile '0' -minrecgluelim '0' -blkrtc '0' -cgrmaxority '30' -redlbound '1' -bca '2' -mega '1' -sortlits '0' -treelookmaxeff '24999999' -seed '1610612736' -cliff '0' -simpdelay '2147483647' -simpvarchg '50' -maxscorexp '1073741824' -ternreswait '2' -locsred '2' -phasegluebit '0' -trdmineff '1073841823' -elmclslim '1000000' -prbrtc '0' -prbasicmineff '1074741823' -simpvarlim '100' -trdreleff '5010' -fliplevels '30' -lftreleff '0' -elmocclim '1074741822' -syncunint '1000000' -actstdmax '0' -blkmaxeff '-1' -redlminabs '255' -elmschedmin '1' -redoutclim '2500' -minimize '1' -flipint '2147483647' -simpiscale '100' -unhdmaxeff '1093741824' -redlinit '50003999' -jwhred '0' -prbsimpleboost '10' -bumpclslits '0' -minlocalgluelim '1073741853' -restartinit '2147483647' -blklarge '0' -redlexpfac '0' -blkschedpure '0' -flipdur '1073741833' -treelookmineff '2147483647' -cintmaxhard '1083741824' -locsrtc '0' -tabrkeep '2' -rephaseinc '1073751823' -gaussmaxeff '-1' -rdp '1' -agilesinint '50000' -elmreleff '5200' -deco '0' -cceboostvlim '500000' -elmblk '1' -tabrvfactor '2147483647' -lkhd '-1' -bva '1' -redlinc '10000000' -blkboostvlim '500000' -cliffwait '0' -trnrmineff '0' -bias '1' -cardignused '1' -liftlrg '1073741826' -elmsuccesslim '2147483647' -actgeomlim '15' -gluescale '1' -ccemaxeff '-1' -cgrextunits '0' -ccertc '0' -transred '1' -inprocessing '0' -sizemaxpen '2' -rstinoutinc '1' -unhide '1' -elmroundlim '1073741826' -redlmininc '100000' -lftroundlim '0' -lftmaxeff '2147483647' -prbsimple '3' -import '1' -decompose '0' -phaseflip '0' -psm '2' -pure '1' -prbsimplemaxeff '99999999' -simpinterdelay '0' -cardglue '-1' -synclsall '0' -simpen '0' -factor '1' -trnreleff '510' -cceonlyifstuck '1' -bate '0' -cliffmineff '2147483647' -phaseneginit '0' -cardexpam1 '2147483647' -elmocclim2 '51' -elmocclim1 '1' -cgrclsrwait '1' -cardreschedint '5' -prbasicmaxeff '2147483647' -unhdreleff '2' -actavgmax '150' -elmsched2b2 '0' -cgrmineff '100000' -sizepen '2147483647' -blkreleff '50' -lhbr '1' -smallve '0' -locs '1073741823' -mocint '500' -cardmaxeff '-1' -elmschedpure '1' -scincinc '5200' -cgreleff '5000' -actgsdul '3' -bcawait '1' -blkschedmin '1' -liftwait '2' -agilelim '80' -cardminlen '3' -rdpmodelm '0' -cardwait '1' -gluekeep '1073741826' -block '0' -blkschedsum '1' -delmax '0' -phase '-1' -redinoutinc '1000' -reduce '2' -prbasicroundlim '1073741832' -cgrextite '1' -termint '1000000' -actvlim '200000' -decolim '1073741853' -incredcint '1' -blksuccesslim '2147483647' -lift '0' -trepint '55555' -force '1073741824' -flipping '1' -cardocclim2 '7' -cintmaxsoft '1000000' -cardocclim1 '2147483647' -actdblarithlim '0' -card '1' -cce3wait '2147483647' -defragint '5000050' -treelooklrg '0' -synclslen '0' -wait '1' -blkclslim '1000000' -actstdmin '10' -ccewait '2' -locsclim '0' -otfs '0' -waitmax '-1' -rdpmaxeff '-1' -bkwdscale '501' -elmineff '0' -redoutvlim '1073742823' -penmax '2' -bcaminuse '1073741923' -prbasicrtc '1' -tabr '3' -locsmaxeff '1073841823' -batewait '0' -bumpseenminsize '2147483647' -redloutinc '10000' -bcamaxeff '5000000' -cgrclsr '0' -cardmaxlen '0' -memlim '536870911' -smallvewait '1' -ccereleff '0' -cliffmaxeff '49999999' -blkboost '10000' -locsmineff '2147483647' -clim '2147483647' -rdpclslim '0' -elmfull '1' -restart '0' -locswait '0' -bumpseenbeforemin '1' -restartintscale '0' -synclsglue '2147483647' -cardreleff '0' -cgrextxor '0' -cintincdiv '1' -rdplim '200' -elmlitslim '2147483647' -simpidiv '2' -carduse '3' -gaussexptrn '0' -rdpmineff '1073751823' -unhdatrn '1' -gaussextrall '1' -synclsint '50' -rdpwait '1' -itsimpdel '100000' -dlim '2147483647' -blksched2b2 '0' -compact '1' -elmrtc '0' -simprtc '5' -transredwait '0' -defragfree '10' -randec '1' -blockwait '1' -blkmineff '1123741823' -factmax '2147483647' -unhdroundlim '20' -blksuccessrat '500' -unhdhbr '1' -plain '0' -gaussmaxor '2' -randecint '501' -treelook '0' -trep '0' -incredconfslim '25' -gauss '1' -lkhdmisifelmrtc '1' -bumpbcplits '0' -ternresrtc '1' -prbsimplereleff '5040' -bumpseenaftermin '1' -cce2wait '1' -ccesuccesslim '10000' -gausswait '0' -prbsimplemineff '1075741823' -cliffreleff '0' -cceboost '5' -restartint '5' -elmblkwait '1' -locset '2' -binsimpdel '0' -blkocclim '2147483647' -treelookboost '50019' -unhdmineff '50000' -ternresboost '5' -cgrexteq '1' -prbasic '1' -bumpseenlits '1' -rmincpen '0' -maxglue '536870912' -prbsimplertc '0' -ccemineff '1103741823' -elmschediff '0' -locsvared '100' -cintinc '20000' -incsavevisits '1' -fliptop '1' -randecflipint '2147483647' -flipldmod '0' -treelookreleff '10000' -unhdextstamp '0' -trnrmaxeff '1273741824' -blkschedprod '0' -ccesuccessrat '500' -rdpreleff '0' -smallirr '100' -unhdlnpr '1' -locsdec '1' -tabrcfactor '1073741824' -megawait '1' -prbsimpleliftdepth '2' -trdmaxeff '-1' -move '0' -cgrextand '0' -cardmineff '2147483647' -elmschedprod '1' -lftmineff '500000' -reusetrail '1' -locsreleff '5' -redlmaxinc '100' -treelookfull '0' -elmaxeff '800000000' -saturating '570' -probe '0' -locsexport '0' -simplify '0'  
[ERROR] Failed Run Detected output last 6 lines
[ERROR] > ruby ./solvers/lingeling/callstring_generator.rb /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/callstring8fYAJs.csv
[ERROR] > Calling runsolver. Command-line:
[ERROR] > ./scripts/runsolver -M 3072 -C 301 -w /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-50624-Uqv5yW.log -o /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-50624-mFBXq6.log solvers/lingeling/lingeling -f --seed=7461896 --bca=2 --locsmineff=2147483647 --lift=0 --minimize=1 --cgrclsr=0 --mega=1 --batewait=0 --elmsuccesslim=2147483647 --keepmaxglue=0 --blkschedpure=0 --locs=1073741823 --plain=0 --flipldmod=0 --penmax=2 --cliffwait=0 --rdpreleff=0 --prbsimplemaxeff=99999999 --minrecgluelim=0 --reduce=2 --liftlrg=1073741826 --redlexpfac=0 --simpidiv=2 --ternres=1 --prbasicreleff=10000 --restartinit=2147483647 --prbasicroundlim=1073741832 --lkhd=-1 --elmaxeff=800000000 --elmschedprod=1 --cardglue=-1 --redlminabs=255 --maxscorexp=1073741824 --tabrkeep=2 --rephase=1 --trepint=55555 --lftmaxeff=2147483647 --treelookreleff=10000 --redlmaxrel=5295 --tabrvfactor=2147483647 --cardignused=1 --prbsimpleboost=10 --elmblk=1 --locsred=2 --cardminlen=3 --force=1073741824 --unhdreleff=2 --seed=1610612736 --blkschedprod=0 --trnrmineff=0 --unhdatrn=1 --minlocalgluelim=1073741853 --rdpmaxeff=-1 --itlocsdel=50100 --maxglue=536870912 --elmblkwait=1 --subl=9 --cardreschedint=5 --phaseflip=0 --redlinc=10000000 --lkhdmisifelmrtc=1 --cgrmaxority=30 --cintinc=20000 --megaint=2147483647 --inprocessing=0 --elmlitslim=2147483647 --locsboost=0 --itsimpdel=100000 --cce3wait=2147483647 --locsclim=0 --bumpclslits=0 --blkschedsum=1 --prbasicmaxeff=2147483647 --agile=0 --blksched2b2=0 --tabrcfactor=1073741824 --synclsglue=2147483647 --treelook=0 --clim=2147483647 --cardocclim2=7 --elmreleff=5200 --redoutvlim=1073742823 --flipping=1 --unhdextstamp=0 --blkrtc=0 --synclslen=0 --bkwdscale=501 --phase=-1 --smallvewait=1 --unhdroundlim=20 --treelookboost=50019 --irrlim=1 --simplify=0 --bcamaxeff=5000000 --termint=1000000 --cgrextxor=0 --cce=0 --redlinit=50003999 --cardmaxeff=-1 --elmschedsum=1 --otfsconf=0 --treelookmaxeff=24999999 --redlmininc=100000 --flipint=2147483647 --cgrextand=0 --trnreleff=510 --wait=1 --cgrextunits=0 --jwhred=0 --randec=1 --ternresboost=5 --locsdec=1 --redinoutinc=1000 --ccereleff=0 --phasegluebit=0 --bias=1 --prbasicmineff=1074741823 --defragfree=10 --treelookfull=0 --prbasicrtc=1 --flipdur=1073741833 --treelookmineff=2147483647 --elmclslim=1000000 --locswait=0 --gaussextrall=1 --unhdmaxeff=1093741824 --blkmineff=1123741823 --cgrmineff=100000 --blkboostvlim=500000 --bumpseenaftermin=1 --locset=2 --trdreleff=5010 --transred=1 --sizemaxpen=2 --smallvevars=7 --blkocclim=2147483647 --redlbound=1 --blkschedmin=1 --elmschedmin=1 --megawait=1 --smallirr=100 --actvlim=200000 --actgsdul=3 --factor=1 --unhdlnpr=1 --block=0 --restartintscale=0 --flipvlim=100000 --prbsimplertc=0 --binsimpdel=0 --ccesuccessrat=500 --restart=0 --cce2wait=1 --gaussexptrn=0 --gaussmaxor=2 --cgrexteq=1 --locsvared=100 --blkreleff=50 --unhdhbr=1 --incredcint=1 --gaussreleff=10000 --phaseneginit=0 --actavgmax=150 --agilelim=80 --elmrtc=0 --liftwait=2 --bcawait=1 --trdmaxeff=-1 --saturating=570 --ccemaxeff=-1 --card=1 --gluekeep=1073741826 --cardmaxlen=0 --prbsimple=3 --incsavevisits=1 --simpdelay=2147483647 --reusetrail=1 --randecflipint=2147483647 --ccemineff=1103741823 --bumpbcplits=0 --sortlits=0 --trep=0 --redoutclim=2500 --syncunint=1000000 --delmax=0 --otfs=0 --move=0 --acts=2 --agilesinint=50000 --pure=1 --decolim=1073741853 --rdpmodelm=0 --sizepen=2147483647 --blkocclim2=1073751822 --scincinc=5200 --blkocclim1=1073841823 --cliffmaxeff=49999999 --simpvarlim=100 --simprtc=5 --simpvarchg=50 --ccertc=0 --elmsuccessrat=500 --blkclslim=1000000 --deco=0 --rdplim=200 --import=1 --gauss=1 --cintmaxsoft=1000000 --boost=1 --blockwait=1 --elim=0 --lftmineff=500000 --rstinoutinc=1 --cliffmineff=2147483647 --fliplevels=30 --incredconfslim=25 --actstdmax=0 --elmboost=539 --gausswait=0 --carduse=3 --mocint=500 --bate=0 --randecint=501 --redlmaxinc=100 --cceboostvlim=500000 --treelookrtc=0 --ccewait=2 --actdblarithlim=0 --bumpseenbeforemin=1 --synclsall=0 --treelooklrg=0 --actstdmin=10 --elmocclim2=51 --simpen=0 --decompose=0 --cceonlyifstuck=1 --blkmaxeff=-1 --rdpclslim=0 --locsexport=0 --cgrextite=1 --rdpwait=1 --blksuccesslim=2147483647 --unhdmineff=50000 --rmincpen=0 --defragint=5000050 --smallve=0 --plim=1073741823 --unhide=1 --synclsint=50 --simpinterdelay=0 --cintmaxhard=1083741824 --rdp=1 --rephaseinc=1073751823 --elmschediff=0 --cardwait=1 --rdpmineff=1073751823 --redfixed=0 --gluescale=1 --trnrmaxeff=1273741824 --actgeomlim=15 --ternresrtc=1 --locsmaxeff=1073841823 --bumpseenminsize=2147483647 --simpiscale=100 --cardocclim1=2147483647 --blksmall=0 --bumpseenlits=1 --blksuccessrat=500 --prbsimplereleff=5040 --prbsimplemineff=1075741823 --prbasic=1 --waitmax=-1 --tabr=3 --psm=2 --cardexpam1=2147483647 --bva=1 --gaussmaxeff=-1 --restartint=5 --redlminrel=753 --locsrtc=0 --cgrmaxeff=-1 --memlim=536870911 --elmfull=1 --lhbr=1 --locsreleff=5 --elmocclim=1074741822 --ternreswait=2 --cliffreleff=0 --cardreleff=0 --prbrtc=0 --compact=1 --fliptop=1 --prbsimpleliftdepth=2 --ccesuccesslim=10000 --lftreleff=0 --cardmineff=2147483647 --locscint=2147483647 --lftroundlim=0 --cardcut=1 --cceboost=5 --dlim=2147483647 --factmax=2147483647 --gaussmineff=2000000 --blkboost=10000 --redlmaxabs=1073741823 --elmocclim1=1 --elmineff=0 --binlocsdel=10 --unhidewait=1 --elmroundlim=1073741826 --trdmineff=1073841823 --cgreleff=5000 --cintincdiv=1 --score=0 --probe=0 --blklarge=0 --elmschedpure=1 --cgrclsrwait=1 --cliff=0 --otfsbump=1 --transredwait=0 --bcaminuse=1073741923 --redloutinc=10000 --elmsched2b2=0 instances/Sat_Data/GI/crafted_n12_d6_c4_num30.cnf
[ERROR] > Reading runsolver output from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-50624-Uqv5yW.log
[ERROR] > reading solver results from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-50624-mFBXq6.log
[ERROR] > Result for ParamILS: CRASHED, 201.201, -1, -1, 7461896, Problem with run. Exit code was N/A.; Preserving runsolver output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-50624-Uqv5yW.log - preserving target algorithm output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-50624-mFBXq6.log
[ERROR] Output complete
[ERROR] Failed Run Detected Call: cd "/home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/." ;  python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script None --ext-callstring "ruby ./solvers/lingeling/callstring_generator.rb" --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/GI/iso_b09_m200.AB08.cnf SATISFIABLE 300.0 2147483647 7901663 -treelookrtc '0' -cce '0' -megaint '2147483647' -redlminrel '753' -acts '2' -redfixed '0' -otfsconf '0' -redlmaxabs '1073741823' -score '0' -rephase '1' -smallvevars '7' -plim '1073741823' -keepmaxglue '0' -elmschedsum '1' -locscint '2147483647' -subl '9' -gaussreleff '10000' -unhidewait '1' -flipvlim '100000' -itlocsdel '50100' -elmsuccessrat '500' -gaussmineff '2000000' -prbasicreleff '10000' -elim '0' -cgrmaxeff '-1' -redlmaxrel '5295' -blkocclim1 '1073841823' -elmboost '539' -otfsbump '1' -irrlim '1' -locsboost '0' -binlocsdel '10' -blkocclim2 '1073751822' -blksmall '0' -ternres '1' -cardcut '1' -boost '1' -agile '0' -minrecgluelim '0' -blkrtc '0' -cgrmaxority '30' -redlbound '1' -bca '2' -mega '1' -sortlits '0' -treelookmaxeff '24999999' -seed '1610612736' -cliff '0' -simpdelay '2147483647' -simpvarchg '50' -maxscorexp '1073741824' -ternreswait '2' -locsred '2' -phasegluebit '0' -trdmineff '1073841823' -elmclslim '1000000' -prbrtc '0' -prbasicmineff '1074741823' -simpvarlim '100' -trdreleff '5010' -fliplevels '30' -lftreleff '0' -elmocclim '1074741822' -syncunint '1000000' -actstdmax '0' -blkmaxeff '-1' -redlminabs '255' -elmschedmin '1' -redoutclim '2500' -minimize '1' -flipint '2147483647' -simpiscale '100' -unhdmaxeff '1093741824' -redlinit '50003999' -jwhred '0' -prbsimpleboost '10' -bumpclslits '0' -minlocalgluelim '1073741853' -restartinit '2147483647' -blklarge '0' -redlexpfac '0' -blkschedpure '0' -flipdur '1073741833' -treelookmineff '2147483647' -cintmaxhard '1083741824' -locsrtc '0' -tabrkeep '2' -rephaseinc '1073751823' -gaussmaxeff '-1' -rdp '1' -agilesinint '50000' -elmreleff '5200' -deco '0' -cceboostvlim '500000' -elmblk '1' -tabrvfactor '2147483647' -lkhd '-1' -bva '1' -redlinc '10000000' -blkboostvlim '500000' -cliffwait '0' -trnrmineff '0' -bias '1' -cardignused '1' -liftlrg '1073741826' -elmsuccesslim '2147483647' -actgeomlim '15' -gluescale '1' -ccemaxeff '-1' -cgrextunits '0' -ccertc '0' -transred '1' -inprocessing '0' -sizemaxpen '2' -rstinoutinc '1' -unhide '1' -elmroundlim '1073741826' -redlmininc '100000' -lftroundlim '0' -lftmaxeff '2147483647' -prbsimple '3' -import '1' -decompose '0' -phaseflip '0' -psm '2' -pure '1' -prbsimplemaxeff '99999999' -simpinterdelay '0' -cardglue '-1' -synclsall '0' -simpen '0' -factor '1' -trnreleff '510' -cceonlyifstuck '1' -bate '0' -cliffmineff '2147483647' -phaseneginit '0' -cardexpam1 '2147483647' -elmocclim2 '51' -elmocclim1 '1' -cgrclsrwait '1' -cardreschedint '5' -prbasicmaxeff '2147483647' -unhdreleff '2' -actavgmax '150' -elmsched2b2 '0' -cgrmineff '100000' -sizepen '2147483647' -blkreleff '50' -lhbr '1' -smallve '0' -locs '1073741823' -mocint '500' -cardmaxeff '-1' -elmschedpure '1' -scincinc '5200' -cgreleff '5000' -actgsdul '3' -bcawait '1' -blkschedmin '1' -liftwait '2' -agilelim '80' -cardminlen '3' -rdpmodelm '0' -cardwait '1' -gluekeep '1073741826' -block '0' -blkschedsum '1' -delmax '0' -phase '-1' -redinoutinc '1000' -reduce '2' -prbasicroundlim '1073741832' -cgrextite '1' -termint '1000000' -actvlim '200000' -decolim '1073741853' -incredcint '1' -blksuccesslim '2147483647' -lift '0' -trepint '55555' -force '1073741824' -flipping '1' -cardocclim2 '7' -cintmaxsoft '1000000' -cardocclim1 '2147483647' -actdblarithlim '0' -card '1' -cce3wait '2147483647' -defragint '5000050' -treelooklrg '0' -synclslen '0' -wait '1' -blkclslim '1000000' -actstdmin '10' -ccewait '2' -locsclim '0' -otfs '0' -waitmax '-1' -rdpmaxeff '-1' -bkwdscale '501' -elmineff '0' -redoutvlim '1073742823' -penmax '2' -bcaminuse '1073741923' -prbasicrtc '1' -tabr '3' -locsmaxeff '1073841823' -batewait '0' -bumpseenminsize '2147483647' -redloutinc '10000' -bcamaxeff '5000000' -cgrclsr '0' -cardmaxlen '0' -memlim '536870911' -smallvewait '1' -ccereleff '0' -cliffmaxeff '49999999' -blkboost '10000' -locsmineff '2147483647' -clim '2147483647' -rdpclslim '0' -elmfull '1' -restart '0' -locswait '0' -bumpseenbeforemin '1' -restartintscale '0' -synclsglue '2147483647' -cardreleff '0' -cgrextxor '0' -cintincdiv '1' -rdplim '200' -elmlitslim '2147483647' -simpidiv '2' -carduse '3' -gaussexptrn '0' -rdpmineff '1073751823' -unhdatrn '1' -gaussextrall '1' -synclsint '50' -rdpwait '1' -itsimpdel '100000' -dlim '2147483647' -blksched2b2 '0' -compact '1' -elmrtc '0' -simprtc '5' -transredwait '0' -defragfree '10' -randec '1' -blockwait '1' -blkmineff '1123741823' -factmax '2147483647' -unhdroundlim '20' -blksuccessrat '500' -unhdhbr '1' -plain '0' -gaussmaxor '2' -randecint '501' -treelook '0' -trep '0' -incredconfslim '25' -gauss '1' -lkhdmisifelmrtc '1' -bumpbcplits '0' -ternresrtc '1' -prbsimplereleff '5040' -bumpseenaftermin '1' -cce2wait '1' -ccesuccesslim '10000' -gausswait '0' -prbsimplemineff '1075741823' -cliffreleff '0' -cceboost '5' -restartint '5' -elmblkwait '1' -locset '2' -binsimpdel '0' -blkocclim '2147483647' -treelookboost '50019' -unhdmineff '50000' -ternresboost '5' -cgrexteq '1' -prbasic '1' -bumpseenlits '1' -rmincpen '0' -maxglue '536870912' -prbsimplertc '0' -ccemineff '1103741823' -elmschediff '0' -locsvared '100' -cintinc '20000' -incsavevisits '1' -fliptop '1' -randecflipint '2147483647' -flipldmod '0' -treelookreleff '10000' -unhdextstamp '0' -trnrmaxeff '1273741824' -blkschedprod '0' -ccesuccessrat '500' -rdpreleff '0' -smallirr '100' -unhdlnpr '1' -locsdec '1' -tabrcfactor '1073741824' -megawait '1' -prbsimpleliftdepth '2' -trdmaxeff '-1' -move '0' -cgrextand '0' -cardmineff '2147483647' -elmschedprod '1' -lftmineff '500000' -reusetrail '1' -locsreleff '5' -redlmaxinc '100' -treelookfull '0' -elmaxeff '800000000' -saturating '570' -probe '0' -locsexport '0' -simplify '0'  
[ERROR] Failed Run Detected output last 6 lines
[ERROR] > ruby ./solvers/lingeling/callstring_generator.rb /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/callstringkkbrhj.csv
[ERROR] > Calling runsolver. Command-line:
[ERROR] > ./scripts/runsolver -M 3072 -C 301 -w /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-319980-u3K55g.log -o /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-319980-WitI6P.log solvers/lingeling/lingeling -f --seed=7901663 --bca=2 --locsmineff=2147483647 --lift=0 --minimize=1 --cgrclsr=0 --mega=1 --batewait=0 --elmsuccesslim=2147483647 --keepmaxglue=0 --blkschedpure=0 --locs=1073741823 --plain=0 --flipldmod=0 --penmax=2 --cliffwait=0 --rdpreleff=0 --prbsimplemaxeff=99999999 --minrecgluelim=0 --reduce=2 --liftlrg=1073741826 --redlexpfac=0 --simpidiv=2 --ternres=1 --prbasicreleff=10000 --restartinit=2147483647 --prbasicroundlim=1073741832 --lkhd=-1 --elmaxeff=800000000 --elmschedprod=1 --cardglue=-1 --redlminabs=255 --maxscorexp=1073741824 --tabrkeep=2 --rephase=1 --trepint=55555 --lftmaxeff=2147483647 --treelookreleff=10000 --redlmaxrel=5295 --tabrvfactor=2147483647 --cardignused=1 --prbsimpleboost=10 --elmblk=1 --locsred=2 --cardminlen=3 --force=1073741824 --unhdreleff=2 --seed=1610612736 --blkschedprod=0 --trnrmineff=0 --unhdatrn=1 --minlocalgluelim=1073741853 --rdpmaxeff=-1 --itlocsdel=50100 --maxglue=536870912 --elmblkwait=1 --subl=9 --cardreschedint=5 --phaseflip=0 --redlinc=10000000 --lkhdmisifelmrtc=1 --cgrmaxority=30 --cintinc=20000 --megaint=2147483647 --inprocessing=0 --elmlitslim=2147483647 --locsboost=0 --itsimpdel=100000 --cce3wait=2147483647 --locsclim=0 --bumpclslits=0 --blkschedsum=1 --prbasicmaxeff=2147483647 --agile=0 --blksched2b2=0 --tabrcfactor=1073741824 --synclsglue=2147483647 --treelook=0 --clim=2147483647 --cardocclim2=7 --elmreleff=5200 --redoutvlim=1073742823 --flipping=1 --unhdextstamp=0 --blkrtc=0 --synclslen=0 --bkwdscale=501 --phase=-1 --smallvewait=1 --unhdroundlim=20 --treelookboost=50019 --irrlim=1 --simplify=0 --bcamaxeff=5000000 --termint=1000000 --cgrextxor=0 --cce=0 --redlinit=50003999 --cardmaxeff=-1 --elmschedsum=1 --otfsconf=0 --treelookmaxeff=24999999 --redlmininc=100000 --flipint=2147483647 --cgrextand=0 --trnreleff=510 --wait=1 --cgrextunits=0 --jwhred=0 --randec=1 --ternresboost=5 --locsdec=1 --redinoutinc=1000 --ccereleff=0 --phasegluebit=0 --bias=1 --prbasicmineff=1074741823 --defragfree=10 --treelookfull=0 --prbasicrtc=1 --flipdur=1073741833 --treelookmineff=2147483647 --elmclslim=1000000 --locswait=0 --gaussextrall=1 --unhdmaxeff=1093741824 --blkmineff=1123741823 --cgrmineff=100000 --blkboostvlim=500000 --bumpseenaftermin=1 --locset=2 --trdreleff=5010 --transred=1 --sizemaxpen=2 --smallvevars=7 --blkocclim=2147483647 --redlbound=1 --blkschedmin=1 --elmschedmin=1 --megawait=1 --smallirr=100 --actvlim=200000 --actgsdul=3 --factor=1 --unhdlnpr=1 --block=0 --restartintscale=0 --flipvlim=100000 --prbsimplertc=0 --binsimpdel=0 --ccesuccessrat=500 --restart=0 --cce2wait=1 --gaussexptrn=0 --gaussmaxor=2 --cgrexteq=1 --locsvared=100 --blkreleff=50 --unhdhbr=1 --incredcint=1 --gaussreleff=10000 --phaseneginit=0 --actavgmax=150 --agilelim=80 --elmrtc=0 --liftwait=2 --bcawait=1 --trdmaxeff=-1 --saturating=570 --ccemaxeff=-1 --card=1 --gluekeep=1073741826 --cardmaxlen=0 --prbsimple=3 --incsavevisits=1 --simpdelay=2147483647 --reusetrail=1 --randecflipint=2147483647 --ccemineff=1103741823 --bumpbcplits=0 --sortlits=0 --trep=0 --redoutclim=2500 --syncunint=1000000 --delmax=0 --otfs=0 --move=0 --acts=2 --agilesinint=50000 --pure=1 --decolim=1073741853 --rdpmodelm=0 --sizepen=2147483647 --blkocclim2=1073751822 --scincinc=5200 --blkocclim1=1073841823 --cliffmaxeff=49999999 --simpvarlim=100 --simprtc=5 --simpvarchg=50 --ccertc=0 --elmsuccessrat=500 --blkclslim=1000000 --deco=0 --rdplim=200 --import=1 --gauss=1 --cintmaxsoft=1000000 --boost=1 --blockwait=1 --elim=0 --lftmineff=500000 --rstinoutinc=1 --cliffmineff=2147483647 --fliplevels=30 --incredconfslim=25 --actstdmax=0 --elmboost=539 --gausswait=0 --carduse=3 --mocint=500 --bate=0 --randecint=501 --redlmaxinc=100 --cceboostvlim=500000 --treelookrtc=0 --ccewait=2 --actdblarithlim=0 --bumpseenbeforemin=1 --synclsall=0 --treelooklrg=0 --actstdmin=10 --elmocclim2=51 --simpen=0 --decompose=0 --cceonlyifstuck=1 --blkmaxeff=-1 --rdpclslim=0 --locsexport=0 --cgrextite=1 --rdpwait=1 --blksuccesslim=2147483647 --unhdmineff=50000 --rmincpen=0 --defragint=5000050 --smallve=0 --plim=1073741823 --unhide=1 --synclsint=50 --simpinterdelay=0 --cintmaxhard=1083741824 --rdp=1 --rephaseinc=1073751823 --elmschediff=0 --cardwait=1 --rdpmineff=1073751823 --redfixed=0 --gluescale=1 --trnrmaxeff=1273741824 --actgeomlim=15 --ternresrtc=1 --locsmaxeff=1073841823 --bumpseenminsize=2147483647 --simpiscale=100 --cardocclim1=2147483647 --blksmall=0 --bumpseenlits=1 --blksuccessrat=500 --prbsimplereleff=5040 --prbsimplemineff=1075741823 --prbasic=1 --waitmax=-1 --tabr=3 --psm=2 --cardexpam1=2147483647 --bva=1 --gaussmaxeff=-1 --restartint=5 --redlminrel=753 --locsrtc=0 --cgrmaxeff=-1 --memlim=536870911 --elmfull=1 --lhbr=1 --locsreleff=5 --elmocclim=1074741822 --ternreswait=2 --cliffreleff=0 --cardreleff=0 --prbrtc=0 --compact=1 --fliptop=1 --prbsimpleliftdepth=2 --ccesuccesslim=10000 --lftreleff=0 --cardmineff=2147483647 --locscint=2147483647 --lftroundlim=0 --cardcut=1 --cceboost=5 --dlim=2147483647 --factmax=2147483647 --gaussmineff=2000000 --blkboost=10000 --redlmaxabs=1073741823 --elmocclim1=1 --elmineff=0 --binlocsdel=10 --unhidewait=1 --elmroundlim=1073741826 --trdmineff=1073841823 --cgreleff=5000 --cintincdiv=1 --score=0 --probe=0 --blklarge=0 --elmschedpure=1 --cgrclsrwait=1 --cliff=0 --otfsbump=1 --transredwait=0 --bcaminuse=1073741923 --redloutinc=10000 --elmsched2b2=0 instances/Sat_Data/GI/iso_b09_m200.AB08.cnf
[ERROR] > Reading runsolver output from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-319980-u3K55g.log
[ERROR] > reading solver results from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-319980-WitI6P.log
[ERROR] > Result for ParamILS: CRASHED, 285.798, -1, -1, 7901663, Problem with run. Exit code was N/A.; Preserving runsolver output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-319980-u3K55g.log - preserving target algorithm output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-319980-WitI6P.log
[ERROR] Output complete
[ERROR] Failed Run Detected Call: cd "/home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/." ;  python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script None --ext-callstring "ruby ./solvers/lingeling/callstring_generator.rb" --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/GI/tnn16.cnf UNKNOWN 300.0 2147483647 7179101 -treelookrtc '0' -cce '0' -megaint '2147483647' -redlminrel '753' -acts '2' -redfixed '0' -otfsconf '0' -redlmaxabs '1073741823' -score '0' -rephase '1' -smallvevars '7' -plim '1073741823' -keepmaxglue '0' -elmschedsum '1' -locscint '2147483647' -subl '9' -gaussreleff '10000' -unhidewait '1' -flipvlim '100000' -itlocsdel '50100' -elmsuccessrat '500' -gaussmineff '2000000' -prbasicreleff '10000' -elim '0' -cgrmaxeff '-1' -redlmaxrel '5295' -blkocclim1 '1073841823' -elmboost '539' -otfsbump '1' -irrlim '1' -locsboost '0' -binlocsdel '10' -blkocclim2 '1073751822' -blksmall '0' -ternres '1' -cardcut '1' -boost '1' -agile '0' -minrecgluelim '0' -blkrtc '0' -cgrmaxority '30' -redlbound '1' -bca '2' -mega '1' -sortlits '0' -treelookmaxeff '24999999' -seed '1610612736' -cliff '0' -simpdelay '2147483647' -simpvarchg '50' -maxscorexp '1073741824' -ternreswait '2' -locsred '2' -phasegluebit '0' -trdmineff '1073841823' -elmclslim '1000000' -prbrtc '0' -prbasicmineff '1074741823' -simpvarlim '100' -trdreleff '5010' -fliplevels '30' -lftreleff '0' -elmocclim '1074741822' -syncunint '1000000' -actstdmax '0' -blkmaxeff '-1' -redlminabs '255' -elmschedmin '1' -redoutclim '2500' -minimize '1' -flipint '2147483647' -simpiscale '100' -unhdmaxeff '1093741824' -redlinit '50003999' -jwhred '0' -prbsimpleboost '10' -bumpclslits '0' -minlocalgluelim '1073741853' -restartinit '2147483647' -blklarge '0' -redlexpfac '0' -blkschedpure '0' -flipdur '1073741833' -treelookmineff '2147483647' -cintmaxhard '1083741824' -locsrtc '0' -tabrkeep '2' -rephaseinc '1073751823' -gaussmaxeff '-1' -rdp '1' -agilesinint '50000' -elmreleff '5200' -deco '0' -cceboostvlim '500000' -elmblk '1' -tabrvfactor '2147483647' -lkhd '-1' -bva '1' -redlinc '10000000' -blkboostvlim '500000' -cliffwait '0' -trnrmineff '0' -bias '1' -cardignused '1' -liftlrg '1073741826' -elmsuccesslim '2147483647' -actgeomlim '15' -gluescale '1' -ccemaxeff '-1' -cgrextunits '0' -ccertc '0' -transred '1' -inprocessing '0' -sizemaxpen '2' -rstinoutinc '1' -unhide '1' -elmroundlim '1073741826' -redlmininc '100000' -lftroundlim '0' -lftmaxeff '2147483647' -prbsimple '3' -import '1' -decompose '0' -phaseflip '0' -psm '2' -pure '1' -prbsimplemaxeff '99999999' -simpinterdelay '0' -cardglue '-1' -synclsall '0' -simpen '0' -factor '1' -trnreleff '510' -cceonlyifstuck '1' -bate '0' -cliffmineff '2147483647' -phaseneginit '0' -cardexpam1 '2147483647' -elmocclim2 '51' -elmocclim1 '1' -cgrclsrwait '1' -cardreschedint '5' -prbasicmaxeff '2147483647' -unhdreleff '2' -actavgmax '150' -elmsched2b2 '0' -cgrmineff '100000' -sizepen '2147483647' -blkreleff '50' -lhbr '1' -smallve '0' -locs '1073741823' -mocint '500' -cardmaxeff '-1' -elmschedpure '1' -scincinc '5200' -cgreleff '5000' -actgsdul '3' -bcawait '1' -blkschedmin '1' -liftwait '2' -agilelim '80' -cardminlen '3' -rdpmodelm '0' -cardwait '1' -gluekeep '1073741826' -block '0' -blkschedsum '1' -delmax '0' -phase '-1' -redinoutinc '1000' -reduce '2' -prbasicroundlim '1073741832' -cgrextite '1' -termint '1000000' -actvlim '200000' -decolim '1073741853' -incredcint '1' -blksuccesslim '2147483647' -lift '0' -trepint '55555' -force '1073741824' -flipping '1' -cardocclim2 '7' -cintmaxsoft '1000000' -cardocclim1 '2147483647' -actdblarithlim '0' -card '1' -cce3wait '2147483647' -defragint '5000050' -treelooklrg '0' -synclslen '0' -wait '1' -blkclslim '1000000' -actstdmin '10' -ccewait '2' -locsclim '0' -otfs '0' -waitmax '-1' -rdpmaxeff '-1' -bkwdscale '501' -elmineff '0' -redoutvlim '1073742823' -penmax '2' -bcaminuse '1073741923' -prbasicrtc '1' -tabr '3' -locsmaxeff '1073841823' -batewait '0' -bumpseenminsize '2147483647' -redloutinc '10000' -bcamaxeff '5000000' -cgrclsr '0' -cardmaxlen '0' -memlim '536870911' -smallvewait '1' -ccereleff '0' -cliffmaxeff '49999999' -blkboost '10000' -locsmineff '2147483647' -clim '2147483647' -rdpclslim '0' -elmfull '1' -restart '0' -locswait '0' -bumpseenbeforemin '1' -restartintscale '0' -synclsglue '2147483647' -cardreleff '0' -cgrextxor '0' -cintincdiv '1' -rdplim '200' -elmlitslim '2147483647' -simpidiv '2' -carduse '3' -gaussexptrn '0' -rdpmineff '1073751823' -unhdatrn '1' -gaussextrall '1' -synclsint '50' -rdpwait '1' -itsimpdel '100000' -dlim '2147483647' -blksched2b2 '0' -compact '1' -elmrtc '0' -simprtc '5' -transredwait '0' -defragfree '10' -randec '1' -blockwait '1' -blkmineff '1123741823' -factmax '2147483647' -unhdroundlim '20' -blksuccessrat '500' -unhdhbr '1' -plain '0' -gaussmaxor '2' -randecint '501' -treelook '0' -trep '0' -incredconfslim '25' -gauss '1' -lkhdmisifelmrtc '1' -bumpbcplits '0' -ternresrtc '1' -prbsimplereleff '5040' -bumpseenaftermin '1' -cce2wait '1' -ccesuccesslim '10000' -gausswait '0' -prbsimplemineff '1075741823' -cliffreleff '0' -cceboost '5' -restartint '5' -elmblkwait '1' -locset '2' -binsimpdel '0' -blkocclim '2147483647' -treelookboost '50019' -unhdmineff '50000' -ternresboost '5' -cgrexteq '1' -prbasic '1' -bumpseenlits '1' -rmincpen '0' -maxglue '536870912' -prbsimplertc '0' -ccemineff '1103741823' -elmschediff '0' -locsvared '100' -cintinc '20000' -incsavevisits '1' -fliptop '1' -randecflipint '2147483647' -flipldmod '0' -treelookreleff '10000' -unhdextstamp '0' -trnrmaxeff '1273741824' -blkschedprod '0' -ccesuccessrat '500' -rdpreleff '0' -smallirr '100' -unhdlnpr '1' -locsdec '1' -tabrcfactor '1073741824' -megawait '1' -prbsimpleliftdepth '2' -trdmaxeff '-1' -move '0' -cgrextand '0' -cardmineff '2147483647' -elmschedprod '1' -lftmineff '500000' -reusetrail '1' -locsreleff '5' -redlmaxinc '100' -treelookfull '0' -elmaxeff '800000000' -saturating '570' -probe '0' -locsexport '0' -simplify '0'  
[ERROR] Failed Run Detected output last 6 lines
[ERROR] > ruby ./solvers/lingeling/callstring_generator.rb /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/callstringNb8YrB.csv
[ERROR] > Calling runsolver. Command-line:
[ERROR] > ./scripts/runsolver -M 3072 -C 301 -w /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-441374-dTNedj.log -o /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-441374-uf4Qe0.log solvers/lingeling/lingeling -f --seed=7179101 --bca=2 --locsmineff=2147483647 --lift=0 --minimize=1 --cgrclsr=0 --mega=1 --batewait=0 --elmsuccesslim=2147483647 --keepmaxglue=0 --blkschedpure=0 --locs=1073741823 --plain=0 --flipldmod=0 --penmax=2 --cliffwait=0 --rdpreleff=0 --prbsimplemaxeff=99999999 --minrecgluelim=0 --reduce=2 --liftlrg=1073741826 --redlexpfac=0 --simpidiv=2 --ternres=1 --prbasicreleff=10000 --restartinit=2147483647 --prbasicroundlim=1073741832 --lkhd=-1 --elmaxeff=800000000 --elmschedprod=1 --cardglue=-1 --redlminabs=255 --maxscorexp=1073741824 --tabrkeep=2 --rephase=1 --trepint=55555 --lftmaxeff=2147483647 --treelookreleff=10000 --redlmaxrel=5295 --tabrvfactor=2147483647 --cardignused=1 --prbsimpleboost=10 --elmblk=1 --locsred=2 --cardminlen=3 --force=1073741824 --unhdreleff=2 --seed=1610612736 --blkschedprod=0 --trnrmineff=0 --unhdatrn=1 --minlocalgluelim=1073741853 --rdpmaxeff=-1 --itlocsdel=50100 --maxglue=536870912 --elmblkwait=1 --subl=9 --cardreschedint=5 --phaseflip=0 --redlinc=10000000 --lkhdmisifelmrtc=1 --cgrmaxority=30 --cintinc=20000 --megaint=2147483647 --inprocessing=0 --elmlitslim=2147483647 --locsboost=0 --itsimpdel=100000 --cce3wait=2147483647 --locsclim=0 --bumpclslits=0 --blkschedsum=1 --prbasicmaxeff=2147483647 --agile=0 --blksched2b2=0 --tabrcfactor=1073741824 --synclsglue=2147483647 --treelook=0 --clim=2147483647 --cardocclim2=7 --elmreleff=5200 --redoutvlim=1073742823 --flipping=1 --unhdextstamp=0 --blkrtc=0 --synclslen=0 --bkwdscale=501 --phase=-1 --smallvewait=1 --unhdroundlim=20 --treelookboost=50019 --irrlim=1 --simplify=0 --bcamaxeff=5000000 --termint=1000000 --cgrextxor=0 --cce=0 --redlinit=50003999 --cardmaxeff=-1 --elmschedsum=1 --otfsconf=0 --treelookmaxeff=24999999 --redlmininc=100000 --flipint=2147483647 --cgrextand=0 --trnreleff=510 --wait=1 --cgrextunits=0 --jwhred=0 --randec=1 --ternresboost=5 --locsdec=1 --redinoutinc=1000 --ccereleff=0 --phasegluebit=0 --bias=1 --prbasicmineff=1074741823 --defragfree=10 --treelookfull=0 --prbasicrtc=1 --flipdur=1073741833 --treelookmineff=2147483647 --elmclslim=1000000 --locswait=0 --gaussextrall=1 --unhdmaxeff=1093741824 --blkmineff=1123741823 --cgrmineff=100000 --blkboostvlim=500000 --bumpseenaftermin=1 --locset=2 --trdreleff=5010 --transred=1 --sizemaxpen=2 --smallvevars=7 --blkocclim=2147483647 --redlbound=1 --blkschedmin=1 --elmschedmin=1 --megawait=1 --smallirr=100 --actvlim=200000 --actgsdul=3 --factor=1 --unhdlnpr=1 --block=0 --restartintscale=0 --flipvlim=100000 --prbsimplertc=0 --binsimpdel=0 --ccesuccessrat=500 --restart=0 --cce2wait=1 --gaussexptrn=0 --gaussmaxor=2 --cgrexteq=1 --locsvared=100 --blkreleff=50 --unhdhbr=1 --incredcint=1 --gaussreleff=10000 --phaseneginit=0 --actavgmax=150 --agilelim=80 --elmrtc=0 --liftwait=2 --bcawait=1 --trdmaxeff=-1 --saturating=570 --ccemaxeff=-1 --card=1 --gluekeep=1073741826 --cardmaxlen=0 --prbsimple=3 --incsavevisits=1 --simpdelay=2147483647 --reusetrail=1 --randecflipint=2147483647 --ccemineff=1103741823 --bumpbcplits=0 --sortlits=0 --trep=0 --redoutclim=2500 --syncunint=1000000 --delmax=0 --otfs=0 --move=0 --acts=2 --agilesinint=50000 --pure=1 --decolim=1073741853 --rdpmodelm=0 --sizepen=2147483647 --blkocclim2=1073751822 --scincinc=5200 --blkocclim1=1073841823 --cliffmaxeff=49999999 --simpvarlim=100 --simprtc=5 --simpvarchg=50 --ccertc=0 --elmsuccessrat=500 --blkclslim=1000000 --deco=0 --rdplim=200 --import=1 --gauss=1 --cintmaxsoft=1000000 --boost=1 --blockwait=1 --elim=0 --lftmineff=500000 --rstinoutinc=1 --cliffmineff=2147483647 --fliplevels=30 --incredconfslim=25 --actstdmax=0 --elmboost=539 --gausswait=0 --carduse=3 --mocint=500 --bate=0 --randecint=501 --redlmaxinc=100 --cceboostvlim=500000 --treelookrtc=0 --ccewait=2 --actdblarithlim=0 --bumpseenbeforemin=1 --synclsall=0 --treelooklrg=0 --actstdmin=10 --elmocclim2=51 --simpen=0 --decompose=0 --cceonlyifstuck=1 --blkmaxeff=-1 --rdpclslim=0 --locsexport=0 --cgrextite=1 --rdpwait=1 --blksuccesslim=2147483647 --unhdmineff=50000 --rmincpen=0 --defragint=5000050 --smallve=0 --plim=1073741823 --unhide=1 --synclsint=50 --simpinterdelay=0 --cintmaxhard=1083741824 --rdp=1 --rephaseinc=1073751823 --elmschediff=0 --cardwait=1 --rdpmineff=1073751823 --redfixed=0 --gluescale=1 --trnrmaxeff=1273741824 --actgeomlim=15 --ternresrtc=1 --locsmaxeff=1073841823 --bumpseenminsize=2147483647 --simpiscale=100 --cardocclim1=2147483647 --blksmall=0 --bumpseenlits=1 --blksuccessrat=500 --prbsimplereleff=5040 --prbsimplemineff=1075741823 --prbasic=1 --waitmax=-1 --tabr=3 --psm=2 --cardexpam1=2147483647 --bva=1 --gaussmaxeff=-1 --restartint=5 --redlminrel=753 --locsrtc=0 --cgrmaxeff=-1 --memlim=536870911 --elmfull=1 --lhbr=1 --locsreleff=5 --elmocclim=1074741822 --ternreswait=2 --cliffreleff=0 --cardreleff=0 --prbrtc=0 --compact=1 --fliptop=1 --prbsimpleliftdepth=2 --ccesuccesslim=10000 --lftreleff=0 --cardmineff=2147483647 --locscint=2147483647 --lftroundlim=0 --cardcut=1 --cceboost=5 --dlim=2147483647 --factmax=2147483647 --gaussmineff=2000000 --blkboost=10000 --redlmaxabs=1073741823 --elmocclim1=1 --elmineff=0 --binlocsdel=10 --unhidewait=1 --elmroundlim=1073741826 --trdmineff=1073841823 --cgreleff=5000 --cintincdiv=1 --score=0 --probe=0 --blklarge=0 --elmschedpure=1 --cgrclsrwait=1 --cliff=0 --otfsbump=1 --transredwait=0 --bcaminuse=1073741923 --redloutinc=10000 --elmsched2b2=0 instances/Sat_Data/GI/tnn16.cnf
[ERROR] > Reading runsolver output from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-441374-dTNedj.log
[ERROR] > reading solver results from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-441374-uf4Qe0.log
[ERROR] > Result for ParamILS: CRASHED, 260.072, -1, -1, 7179101, Problem with run. Exit code was N/A.; Preserving runsolver output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-441374-dTNedj.log - preserving target algorithm output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-441374-uf4Qe0.log
[ERROR] Output complete
[ERROR] Failed Run Detected Call: cd "/home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/." ;  python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script None --ext-callstring "ruby ./solvers/lingeling/callstring_generator.rb" --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/GI/crafted_n12_d6_c4_num5.cnf UNSATISFIABLE 300.0 2147483647 941840 -treelookrtc '0' -cce '0' -megaint '2147483647' -redlminrel '753' -acts '2' -redfixed '0' -otfsconf '0' -redlmaxabs '1073741823' -score '0' -rephase '1' -smallvevars '7' -plim '1073741823' -keepmaxglue '0' -elmschedsum '1' -locscint '2147483647' -subl '9' -gaussreleff '10000' -unhidewait '1' -flipvlim '100000' -itlocsdel '50100' -elmsuccessrat '500' -gaussmineff '2000000' -prbasicreleff '10000' -elim '0' -cgrmaxeff '-1' -redlmaxrel '5295' -blkocclim1 '1073841823' -elmboost '539' -otfsbump '1' -irrlim '1' -locsboost '0' -binlocsdel '10' -blkocclim2 '1073751822' -blksmall '0' -ternres '1' -cardcut '1' -boost '1' -agile '0' -minrecgluelim '0' -blkrtc '0' -cgrmaxority '30' -redlbound '1' -bca '2' -mega '1' -sortlits '0' -treelookmaxeff '24999999' -seed '1610612736' -cliff '0' -simpdelay '2147483647' -simpvarchg '50' -maxscorexp '1073741824' -ternreswait '2' -locsred '2' -phasegluebit '0' -trdmineff '1073841823' -elmclslim '1000000' -prbrtc '0' -prbasicmineff '1074741823' -simpvarlim '100' -trdreleff '5010' -fliplevels '30' -lftreleff '0' -elmocclim '1074741822' -syncunint '1000000' -actstdmax '0' -blkmaxeff '-1' -redlminabs '255' -elmschedmin '1' -redoutclim '2500' -minimize '1' -flipint '2147483647' -simpiscale '100' -unhdmaxeff '1093741824' -redlinit '50003999' -jwhred '0' -prbsimpleboost '10' -bumpclslits '0' -minlocalgluelim '1073741853' -restartinit '2147483647' -blklarge '0' -redlexpfac '0' -blkschedpure '0' -flipdur '1073741833' -treelookmineff '2147483647' -cintmaxhard '1083741824' -locsrtc '0' -tabrkeep '2' -rephaseinc '1073751823' -gaussmaxeff '-1' -rdp '1' -agilesinint '50000' -elmreleff '5200' -deco '0' -cceboostvlim '500000' -elmblk '1' -tabrvfactor '2147483647' -lkhd '-1' -bva '1' -redlinc '10000000' -blkboostvlim '500000' -cliffwait '0' -trnrmineff '0' -bias '1' -cardignused '1' -liftlrg '1073741826' -elmsuccesslim '2147483647' -actgeomlim '15' -gluescale '1' -ccemaxeff '-1' -cgrextunits '0' -ccertc '0' -transred '1' -inprocessing '0' -sizemaxpen '2' -rstinoutinc '1' -unhide '1' -elmroundlim '1073741826' -redlmininc '100000' -lftroundlim '0' -lftmaxeff '2147483647' -prbsimple '3' -import '1' -decompose '0' -phaseflip '0' -psm '2' -pure '1' -prbsimplemaxeff '99999999' -simpinterdelay '0' -cardglue '-1' -synclsall '0' -simpen '0' -factor '1' -trnreleff '510' -cceonlyifstuck '1' -bate '0' -cliffmineff '2147483647' -phaseneginit '0' -cardexpam1 '2147483647' -elmocclim2 '51' -elmocclim1 '1' -cgrclsrwait '1' -cardreschedint '5' -prbasicmaxeff '2147483647' -unhdreleff '2' -actavgmax '150' -elmsched2b2 '0' -cgrmineff '100000' -sizepen '2147483647' -blkreleff '50' -lhbr '1' -smallve '0' -locs '1073741823' -mocint '500' -cardmaxeff '-1' -elmschedpure '1' -scincinc '5200' -cgreleff '5000' -actgsdul '3' -bcawait '1' -blkschedmin '1' -liftwait '2' -agilelim '80' -cardminlen '3' -rdpmodelm '0' -cardwait '1' -gluekeep '1073741826' -block '0' -blkschedsum '1' -delmax '0' -phase '-1' -redinoutinc '1000' -reduce '2' -prbasicroundlim '1073741832' -cgrextite '1' -termint '1000000' -actvlim '200000' -decolim '1073741853' -incredcint '1' -blksuccesslim '2147483647' -lift '0' -trepint '55555' -force '1073741824' -flipping '1' -cardocclim2 '7' -cintmaxsoft '1000000' -cardocclim1 '2147483647' -actdblarithlim '0' -card '1' -cce3wait '2147483647' -defragint '5000050' -treelooklrg '0' -synclslen '0' -wait '1' -blkclslim '1000000' -actstdmin '10' -ccewait '2' -locsclim '0' -otfs '0' -waitmax '-1' -rdpmaxeff '-1' -bkwdscale '501' -elmineff '0' -redoutvlim '1073742823' -penmax '2' -bcaminuse '1073741923' -prbasicrtc '1' -tabr '3' -locsmaxeff '1073841823' -batewait '0' -bumpseenminsize '2147483647' -redloutinc '10000' -bcamaxeff '5000000' -cgrclsr '0' -cardmaxlen '0' -memlim '536870911' -smallvewait '1' -ccereleff '0' -cliffmaxeff '49999999' -blkboost '10000' -locsmineff '2147483647' -clim '2147483647' -rdpclslim '0' -elmfull '1' -restart '0' -locswait '0' -bumpseenbeforemin '1' -restartintscale '0' -synclsglue '2147483647' -cardreleff '0' -cgrextxor '0' -cintincdiv '1' -rdplim '200' -elmlitslim '2147483647' -simpidiv '2' -carduse '3' -gaussexptrn '0' -rdpmineff '1073751823' -unhdatrn '1' -gaussextrall '1' -synclsint '50' -rdpwait '1' -itsimpdel '100000' -dlim '2147483647' -blksched2b2 '0' -compact '1' -elmrtc '0' -simprtc '5' -transredwait '0' -defragfree '10' -randec '1' -blockwait '1' -blkmineff '1123741823' -factmax '2147483647' -unhdroundlim '20' -blksuccessrat '500' -unhdhbr '1' -plain '0' -gaussmaxor '2' -randecint '501' -treelook '0' -trep '0' -incredconfslim '25' -gauss '1' -lkhdmisifelmrtc '1' -bumpbcplits '0' -ternresrtc '1' -prbsimplereleff '5040' -bumpseenaftermin '1' -cce2wait '1' -ccesuccesslim '10000' -gausswait '0' -prbsimplemineff '1075741823' -cliffreleff '0' -cceboost '5' -restartint '5' -elmblkwait '1' -locset '2' -binsimpdel '0' -blkocclim '2147483647' -treelookboost '50019' -unhdmineff '50000' -ternresboost '5' -cgrexteq '1' -prbasic '1' -bumpseenlits '1' -rmincpen '0' -maxglue '536870912' -prbsimplertc '0' -ccemineff '1103741823' -elmschediff '0' -locsvared '100' -cintinc '20000' -incsavevisits '1' -fliptop '1' -randecflipint '2147483647' -flipldmod '0' -treelookreleff '10000' -unhdextstamp '0' -trnrmaxeff '1273741824' -blkschedprod '0' -ccesuccessrat '500' -rdpreleff '0' -smallirr '100' -unhdlnpr '1' -locsdec '1' -tabrcfactor '1073741824' -megawait '1' -prbsimpleliftdepth '2' -trdmaxeff '-1' -move '0' -cgrextand '0' -cardmineff '2147483647' -elmschedprod '1' -lftmineff '500000' -reusetrail '1' -locsreleff '5' -redlmaxinc '100' -treelookfull '0' -elmaxeff '800000000' -saturating '570' -probe '0' -locsexport '0' -simplify '0'  
[ERROR] Failed Run Detected output last 6 lines
[ERROR] > ruby ./solvers/lingeling/callstring_generator.rb /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/callstring0lWncv.csv
[ERROR] > Calling runsolver. Command-line:
[ERROR] > ./scripts/runsolver -M 3072 -C 301 -w /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-903282-FhCsQ5.log -o /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-903282-pJJsyh.log solvers/lingeling/lingeling -f --seed=941840 --bca=2 --locsmineff=2147483647 --lift=0 --minimize=1 --cgrclsr=0 --mega=1 --batewait=0 --elmsuccesslim=2147483647 --keepmaxglue=0 --blkschedpure=0 --locs=1073741823 --plain=0 --flipldmod=0 --penmax=2 --cliffwait=0 --rdpreleff=0 --prbsimplemaxeff=99999999 --minrecgluelim=0 --reduce=2 --liftlrg=1073741826 --redlexpfac=0 --simpidiv=2 --ternres=1 --prbasicreleff=10000 --restartinit=2147483647 --prbasicroundlim=1073741832 --lkhd=-1 --elmaxeff=800000000 --elmschedprod=1 --cardglue=-1 --redlminabs=255 --maxscorexp=1073741824 --tabrkeep=2 --rephase=1 --trepint=55555 --lftmaxeff=2147483647 --treelookreleff=10000 --redlmaxrel=5295 --tabrvfactor=2147483647 --cardignused=1 --prbsimpleboost=10 --elmblk=1 --locsred=2 --cardminlen=3 --force=1073741824 --unhdreleff=2 --seed=1610612736 --blkschedprod=0 --trnrmineff=0 --unhdatrn=1 --minlocalgluelim=1073741853 --rdpmaxeff=-1 --itlocsdel=50100 --maxglue=536870912 --elmblkwait=1 --subl=9 --cardreschedint=5 --phaseflip=0 --redlinc=10000000 --lkhdmisifelmrtc=1 --cgrmaxority=30 --cintinc=20000 --megaint=2147483647 --inprocessing=0 --elmlitslim=2147483647 --locsboost=0 --itsimpdel=100000 --cce3wait=2147483647 --locsclim=0 --bumpclslits=0 --blkschedsum=1 --prbasicmaxeff=2147483647 --agile=0 --blksched2b2=0 --tabrcfactor=1073741824 --synclsglue=2147483647 --treelook=0 --clim=2147483647 --cardocclim2=7 --elmreleff=5200 --redoutvlim=1073742823 --flipping=1 --unhdextstamp=0 --blkrtc=0 --synclslen=0 --bkwdscale=501 --phase=-1 --smallvewait=1 --unhdroundlim=20 --treelookboost=50019 --irrlim=1 --simplify=0 --bcamaxeff=5000000 --termint=1000000 --cgrextxor=0 --cce=0 --redlinit=50003999 --cardmaxeff=-1 --elmschedsum=1 --otfsconf=0 --treelookmaxeff=24999999 --redlmininc=100000 --flipint=2147483647 --cgrextand=0 --trnreleff=510 --wait=1 --cgrextunits=0 --jwhred=0 --randec=1 --ternresboost=5 --locsdec=1 --redinoutinc=1000 --ccereleff=0 --phasegluebit=0 --bias=1 --prbasicmineff=1074741823 --defragfree=10 --treelookfull=0 --prbasicrtc=1 --flipdur=1073741833 --treelookmineff=2147483647 --elmclslim=1000000 --locswait=0 --gaussextrall=1 --unhdmaxeff=1093741824 --blkmineff=1123741823 --cgrmineff=100000 --blkboostvlim=500000 --bumpseenaftermin=1 --locset=2 --trdreleff=5010 --transred=1 --sizemaxpen=2 --smallvevars=7 --blkocclim=2147483647 --redlbound=1 --blkschedmin=1 --elmschedmin=1 --megawait=1 --smallirr=100 --actvlim=200000 --actgsdul=3 --factor=1 --unhdlnpr=1 --block=0 --restartintscale=0 --flipvlim=100000 --prbsimplertc=0 --binsimpdel=0 --ccesuccessrat=500 --restart=0 --cce2wait=1 --gaussexptrn=0 --gaussmaxor=2 --cgrexteq=1 --locsvared=100 --blkreleff=50 --unhdhbr=1 --incredcint=1 --gaussreleff=10000 --phaseneginit=0 --actavgmax=150 --agilelim=80 --elmrtc=0 --liftwait=2 --bcawait=1 --trdmaxeff=-1 --saturating=570 --ccemaxeff=-1 --card=1 --gluekeep=1073741826 --cardmaxlen=0 --prbsimple=3 --incsavevisits=1 --simpdelay=2147483647 --reusetrail=1 --randecflipint=2147483647 --ccemineff=1103741823 --bumpbcplits=0 --sortlits=0 --trep=0 --redoutclim=2500 --syncunint=1000000 --delmax=0 --otfs=0 --move=0 --acts=2 --agilesinint=50000 --pure=1 --decolim=1073741853 --rdpmodelm=0 --sizepen=2147483647 --blkocclim2=1073751822 --scincinc=5200 --blkocclim1=1073841823 --cliffmaxeff=49999999 --simpvarlim=100 --simprtc=5 --simpvarchg=50 --ccertc=0 --elmsuccessrat=500 --blkclslim=1000000 --deco=0 --rdplim=200 --import=1 --gauss=1 --cintmaxsoft=1000000 --boost=1 --blockwait=1 --elim=0 --lftmineff=500000 --rstinoutinc=1 --cliffmineff=2147483647 --fliplevels=30 --incredconfslim=25 --actstdmax=0 --elmboost=539 --gausswait=0 --carduse=3 --mocint=500 --bate=0 --randecint=501 --redlmaxinc=100 --cceboostvlim=500000 --treelookrtc=0 --ccewait=2 --actdblarithlim=0 --bumpseenbeforemin=1 --synclsall=0 --treelooklrg=0 --actstdmin=10 --elmocclim2=51 --simpen=0 --decompose=0 --cceonlyifstuck=1 --blkmaxeff=-1 --rdpclslim=0 --locsexport=0 --cgrextite=1 --rdpwait=1 --blksuccesslim=2147483647 --unhdmineff=50000 --rmincpen=0 --defragint=5000050 --smallve=0 --plim=1073741823 --unhide=1 --synclsint=50 --simpinterdelay=0 --cintmaxhard=1083741824 --rdp=1 --rephaseinc=1073751823 --elmschediff=0 --cardwait=1 --rdpmineff=1073751823 --redfixed=0 --gluescale=1 --trnrmaxeff=1273741824 --actgeomlim=15 --ternresrtc=1 --locsmaxeff=1073841823 --bumpseenminsize=2147483647 --simpiscale=100 --cardocclim1=2147483647 --blksmall=0 --bumpseenlits=1 --blksuccessrat=500 --prbsimplereleff=5040 --prbsimplemineff=1075741823 --prbasic=1 --waitmax=-1 --tabr=3 --psm=2 --cardexpam1=2147483647 --bva=1 --gaussmaxeff=-1 --restartint=5 --redlminrel=753 --locsrtc=0 --cgrmaxeff=-1 --memlim=536870911 --elmfull=1 --lhbr=1 --locsreleff=5 --elmocclim=1074741822 --ternreswait=2 --cliffreleff=0 --cardreleff=0 --prbrtc=0 --compact=1 --fliptop=1 --prbsimpleliftdepth=2 --ccesuccesslim=10000 --lftreleff=0 --cardmineff=2147483647 --locscint=2147483647 --lftroundlim=0 --cardcut=1 --cceboost=5 --dlim=2147483647 --factmax=2147483647 --gaussmineff=2000000 --blkboost=10000 --redlmaxabs=1073741823 --elmocclim1=1 --elmineff=0 --binlocsdel=10 --unhidewait=1 --elmroundlim=1073741826 --trdmineff=1073841823 --cgreleff=5000 --cintincdiv=1 --score=0 --probe=0 --blklarge=0 --elmschedpure=1 --cgrclsrwait=1 --cliff=0 --otfsbump=1 --transredwait=0 --bcaminuse=1073741923 --redloutinc=10000 --elmsched2b2=0 instances/Sat_Data/GI/crafted_n12_d6_c4_num5.cnf
[ERROR] > Reading runsolver output from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-903282-FhCsQ5.log
[ERROR] > reading solver results from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-903282-pJJsyh.log
[ERROR] > Result for ParamILS: CRASHED, 284.098, -1, -1, 941840, Problem with run. Exit code was N/A.; Preserving runsolver output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-903282-FhCsQ5.log - preserving target algorithm output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-903282-pJJsyh.log
[ERROR] Output complete
[ERROR] Failed Run Detected Call: cd "/home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/." ;  python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script None --ext-callstring "ruby ./solvers/lingeling/callstring_generator.rb" --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/GI/tnn11.cnf UNKNOWN 300.0 2147483647 15699680 -treelookrtc '0' -cce '0' -megaint '2147483647' -redlminrel '753' -acts '2' -redfixed '0' -otfsconf '0' -redlmaxabs '1073741823' -score '0' -rephase '1' -smallvevars '7' -plim '1073741823' -keepmaxglue '0' -elmschedsum '1' -locscint '2147483647' -subl '9' -gaussreleff '10000' -unhidewait '1' -flipvlim '100000' -itlocsdel '50100' -elmsuccessrat '500' -gaussmineff '2000000' -prbasicreleff '10000' -elim '0' -cgrmaxeff '-1' -redlmaxrel '5295' -blkocclim1 '1073841823' -elmboost '539' -otfsbump '1' -irrlim '1' -locsboost '0' -binlocsdel '10' -blkocclim2 '1073751822' -blksmall '0' -ternres '1' -cardcut '1' -boost '1' -agile '0' -minrecgluelim '0' -blkrtc '0' -cgrmaxority '30' -redlbound '1' -bca '2' -mega '1' -sortlits '0' -treelookmaxeff '24999999' -seed '1610612736' -cliff '0' -simpdelay '2147483647' -simpvarchg '50' -maxscorexp '1073741824' -ternreswait '2' -locsred '2' -phasegluebit '0' -trdmineff '1073841823' -elmclslim '1000000' -prbrtc '0' -prbasicmineff '1074741823' -simpvarlim '100' -trdreleff '5010' -fliplevels '30' -lftreleff '0' -elmocclim '1074741822' -syncunint '1000000' -actstdmax '0' -blkmaxeff '-1' -redlminabs '255' -elmschedmin '1' -redoutclim '2500' -minimize '1' -flipint '2147483647' -simpiscale '100' -unhdmaxeff '1093741824' -redlinit '50003999' -jwhred '0' -prbsimpleboost '10' -bumpclslits '0' -minlocalgluelim '1073741853' -restartinit '2147483647' -blklarge '0' -redlexpfac '0' -blkschedpure '0' -flipdur '1073741833' -treelookmineff '2147483647' -cintmaxhard '1083741824' -locsrtc '0' -tabrkeep '2' -rephaseinc '1073751823' -gaussmaxeff '-1' -rdp '1' -agilesinint '50000' -elmreleff '5200' -deco '0' -cceboostvlim '500000' -elmblk '1' -tabrvfactor '2147483647' -lkhd '-1' -bva '1' -redlinc '10000000' -blkboostvlim '500000' -cliffwait '0' -trnrmineff '0' -bias '1' -cardignused '1' -liftlrg '1073741826' -elmsuccesslim '2147483647' -actgeomlim '15' -gluescale '1' -ccemaxeff '-1' -cgrextunits '0' -ccertc '0' -transred '1' -inprocessing '0' -sizemaxpen '2' -rstinoutinc '1' -unhide '1' -elmroundlim '1073741826' -redlmininc '100000' -lftroundlim '0' -lftmaxeff '2147483647' -prbsimple '3' -import '1' -decompose '0' -phaseflip '0' -psm '2' -pure '1' -prbsimplemaxeff '99999999' -simpinterdelay '0' -cardglue '-1' -synclsall '0' -simpen '0' -factor '1' -trnreleff '510' -cceonlyifstuck '1' -bate '0' -cliffmineff '2147483647' -phaseneginit '0' -cardexpam1 '2147483647' -elmocclim2 '51' -elmocclim1 '1' -cgrclsrwait '1' -cardreschedint '5' -prbasicmaxeff '2147483647' -unhdreleff '2' -actavgmax '150' -elmsched2b2 '0' -cgrmineff '100000' -sizepen '2147483647' -blkreleff '50' -lhbr '1' -smallve '0' -locs '1073741823' -mocint '500' -cardmaxeff '-1' -elmschedpure '1' -scincinc '5200' -cgreleff '5000' -actgsdul '3' -bcawait '1' -blkschedmin '1' -liftwait '2' -agilelim '80' -cardminlen '3' -rdpmodelm '0' -cardwait '1' -gluekeep '1073741826' -block '0' -blkschedsum '1' -delmax '0' -phase '-1' -redinoutinc '1000' -reduce '2' -prbasicroundlim '1073741832' -cgrextite '1' -termint '1000000' -actvlim '200000' -decolim '1073741853' -incredcint '1' -blksuccesslim '2147483647' -lift '0' -trepint '55555' -force '1073741824' -flipping '1' -cardocclim2 '7' -cintmaxsoft '1000000' -cardocclim1 '2147483647' -actdblarithlim '0' -card '1' -cce3wait '2147483647' -defragint '5000050' -treelooklrg '0' -synclslen '0' -wait '1' -blkclslim '1000000' -actstdmin '10' -ccewait '2' -locsclim '0' -otfs '0' -waitmax '-1' -rdpmaxeff '-1' -bkwdscale '501' -elmineff '0' -redoutvlim '1073742823' -penmax '2' -bcaminuse '1073741923' -prbasicrtc '1' -tabr '3' -locsmaxeff '1073841823' -batewait '0' -bumpseenminsize '2147483647' -redloutinc '10000' -bcamaxeff '5000000' -cgrclsr '0' -cardmaxlen '0' -memlim '536870911' -smallvewait '1' -ccereleff '0' -cliffmaxeff '49999999' -blkboost '10000' -locsmineff '2147483647' -clim '2147483647' -rdpclslim '0' -elmfull '1' -restart '0' -locswait '0' -bumpseenbeforemin '1' -restartintscale '0' -synclsglue '2147483647' -cardreleff '0' -cgrextxor '0' -cintincdiv '1' -rdplim '200' -elmlitslim '2147483647' -simpidiv '2' -carduse '3' -gaussexptrn '0' -rdpmineff '1073751823' -unhdatrn '1' -gaussextrall '1' -synclsint '50' -rdpwait '1' -itsimpdel '100000' -dlim '2147483647' -blksched2b2 '0' -compact '1' -elmrtc '0' -simprtc '5' -transredwait '0' -defragfree '10' -randec '1' -blockwait '1' -blkmineff '1123741823' -factmax '2147483647' -unhdroundlim '20' -blksuccessrat '500' -unhdhbr '1' -plain '0' -gaussmaxor '2' -randecint '501' -treelook '0' -trep '0' -incredconfslim '25' -gauss '1' -lkhdmisifelmrtc '1' -bumpbcplits '0' -ternresrtc '1' -prbsimplereleff '5040' -bumpseenaftermin '1' -cce2wait '1' -ccesuccesslim '10000' -gausswait '0' -prbsimplemineff '1075741823' -cliffreleff '0' -cceboost '5' -restartint '5' -elmblkwait '1' -locset '2' -binsimpdel '0' -blkocclim '2147483647' -treelookboost '50019' -unhdmineff '50000' -ternresboost '5' -cgrexteq '1' -prbasic '1' -bumpseenlits '1' -rmincpen '0' -maxglue '536870912' -prbsimplertc '0' -ccemineff '1103741823' -elmschediff '0' -locsvared '100' -cintinc '20000' -incsavevisits '1' -fliptop '1' -randecflipint '2147483647' -flipldmod '0' -treelookreleff '10000' -unhdextstamp '0' -trnrmaxeff '1273741824' -blkschedprod '0' -ccesuccessrat '500' -rdpreleff '0' -smallirr '100' -unhdlnpr '1' -locsdec '1' -tabrcfactor '1073741824' -megawait '1' -prbsimpleliftdepth '2' -trdmaxeff '-1' -move '0' -cgrextand '0' -cardmineff '2147483647' -elmschedprod '1' -lftmineff '500000' -reusetrail '1' -locsreleff '5' -redlmaxinc '100' -treelookfull '0' -elmaxeff '800000000' -saturating '570' -probe '0' -locsexport '0' -simplify '0'  
[ERROR] Failed Run Detected output last 6 lines
[ERROR] > ruby ./solvers/lingeling/callstring_generator.rb /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/callstringONFP1x.csv
[ERROR] > Calling runsolver. Command-line:
[ERROR] > ./scripts/runsolver -M 3072 -C 301 -w /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-606430-Gjfc9u.log -o /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-606430-U5R9rm.log solvers/lingeling/lingeling -f --seed=15699680 --bca=2 --locsmineff=2147483647 --lift=0 --minimize=1 --cgrclsr=0 --mega=1 --batewait=0 --elmsuccesslim=2147483647 --keepmaxglue=0 --blkschedpure=0 --locs=1073741823 --plain=0 --flipldmod=0 --penmax=2 --cliffwait=0 --rdpreleff=0 --prbsimplemaxeff=99999999 --minrecgluelim=0 --reduce=2 --liftlrg=1073741826 --redlexpfac=0 --simpidiv=2 --ternres=1 --prbasicreleff=10000 --restartinit=2147483647 --prbasicroundlim=1073741832 --lkhd=-1 --elmaxeff=800000000 --elmschedprod=1 --cardglue=-1 --redlminabs=255 --maxscorexp=1073741824 --tabrkeep=2 --rephase=1 --trepint=55555 --lftmaxeff=2147483647 --treelookreleff=10000 --redlmaxrel=5295 --tabrvfactor=2147483647 --cardignused=1 --prbsimpleboost=10 --elmblk=1 --locsred=2 --cardminlen=3 --force=1073741824 --unhdreleff=2 --seed=1610612736 --blkschedprod=0 --trnrmineff=0 --unhdatrn=1 --minlocalgluelim=1073741853 --rdpmaxeff=-1 --itlocsdel=50100 --maxglue=536870912 --elmblkwait=1 --subl=9 --cardreschedint=5 --phaseflip=0 --redlinc=10000000 --lkhdmisifelmrtc=1 --cgrmaxority=30 --cintinc=20000 --megaint=2147483647 --inprocessing=0 --elmlitslim=2147483647 --locsboost=0 --itsimpdel=100000 --cce3wait=2147483647 --locsclim=0 --bumpclslits=0 --blkschedsum=1 --prbasicmaxeff=2147483647 --agile=0 --blksched2b2=0 --tabrcfactor=1073741824 --synclsglue=2147483647 --treelook=0 --clim=2147483647 --cardocclim2=7 --elmreleff=5200 --redoutvlim=1073742823 --flipping=1 --unhdextstamp=0 --blkrtc=0 --synclslen=0 --bkwdscale=501 --phase=-1 --smallvewait=1 --unhdroundlim=20 --treelookboost=50019 --irrlim=1 --simplify=0 --bcamaxeff=5000000 --termint=1000000 --cgrextxor=0 --cce=0 --redlinit=50003999 --cardmaxeff=-1 --elmschedsum=1 --otfsconf=0 --treelookmaxeff=24999999 --redlmininc=100000 --flipint=2147483647 --cgrextand=0 --trnreleff=510 --wait=1 --cgrextunits=0 --jwhred=0 --randec=1 --ternresboost=5 --locsdec=1 --redinoutinc=1000 --ccereleff=0 --phasegluebit=0 --bias=1 --prbasicmineff=1074741823 --defragfree=10 --treelookfull=0 --prbasicrtc=1 --flipdur=1073741833 --treelookmineff=2147483647 --elmclslim=1000000 --locswait=0 --gaussextrall=1 --unhdmaxeff=1093741824 --blkmineff=1123741823 --cgrmineff=100000 --blkboostvlim=500000 --bumpseenaftermin=1 --locset=2 --trdreleff=5010 --transred=1 --sizemaxpen=2 --smallvevars=7 --blkocclim=2147483647 --redlbound=1 --blkschedmin=1 --elmschedmin=1 --megawait=1 --smallirr=100 --actvlim=200000 --actgsdul=3 --factor=1 --unhdlnpr=1 --block=0 --restartintscale=0 --flipvlim=100000 --prbsimplertc=0 --binsimpdel=0 --ccesuccessrat=500 --restart=0 --cce2wait=1 --gaussexptrn=0 --gaussmaxor=2 --cgrexteq=1 --locsvared=100 --blkreleff=50 --unhdhbr=1 --incredcint=1 --gaussreleff=10000 --phaseneginit=0 --actavgmax=150 --agilelim=80 --elmrtc=0 --liftwait=2 --bcawait=1 --trdmaxeff=-1 --saturating=570 --ccemaxeff=-1 --card=1 --gluekeep=1073741826 --cardmaxlen=0 --prbsimple=3 --incsavevisits=1 --simpdelay=2147483647 --reusetrail=1 --randecflipint=2147483647 --ccemineff=1103741823 --bumpbcplits=0 --sortlits=0 --trep=0 --redoutclim=2500 --syncunint=1000000 --delmax=0 --otfs=0 --move=0 --acts=2 --agilesinint=50000 --pure=1 --decolim=1073741853 --rdpmodelm=0 --sizepen=2147483647 --blkocclim2=1073751822 --scincinc=5200 --blkocclim1=1073841823 --cliffmaxeff=49999999 --simpvarlim=100 --simprtc=5 --simpvarchg=50 --ccertc=0 --elmsuccessrat=500 --blkclslim=1000000 --deco=0 --rdplim=200 --import=1 --gauss=1 --cintmaxsoft=1000000 --boost=1 --blockwait=1 --elim=0 --lftmineff=500000 --rstinoutinc=1 --cliffmineff=2147483647 --fliplevels=30 --incredconfslim=25 --actstdmax=0 --elmboost=539 --gausswait=0 --carduse=3 --mocint=500 --bate=0 --randecint=501 --redlmaxinc=100 --cceboostvlim=500000 --treelookrtc=0 --ccewait=2 --actdblarithlim=0 --bumpseenbeforemin=1 --synclsall=0 --treelooklrg=0 --actstdmin=10 --elmocclim2=51 --simpen=0 --decompose=0 --cceonlyifstuck=1 --blkmaxeff=-1 --rdpclslim=0 --locsexport=0 --cgrextite=1 --rdpwait=1 --blksuccesslim=2147483647 --unhdmineff=50000 --rmincpen=0 --defragint=5000050 --smallve=0 --plim=1073741823 --unhide=1 --synclsint=50 --simpinterdelay=0 --cintmaxhard=1083741824 --rdp=1 --rephaseinc=1073751823 --elmschediff=0 --cardwait=1 --rdpmineff=1073751823 --redfixed=0 --gluescale=1 --trnrmaxeff=1273741824 --actgeomlim=15 --ternresrtc=1 --locsmaxeff=1073841823 --bumpseenminsize=2147483647 --simpiscale=100 --cardocclim1=2147483647 --blksmall=0 --bumpseenlits=1 --blksuccessrat=500 --prbsimplereleff=5040 --prbsimplemineff=1075741823 --prbasic=1 --waitmax=-1 --tabr=3 --psm=2 --cardexpam1=2147483647 --bva=1 --gaussmaxeff=-1 --restartint=5 --redlminrel=753 --locsrtc=0 --cgrmaxeff=-1 --memlim=536870911 --elmfull=1 --lhbr=1 --locsreleff=5 --elmocclim=1074741822 --ternreswait=2 --cliffreleff=0 --cardreleff=0 --prbrtc=0 --compact=1 --fliptop=1 --prbsimpleliftdepth=2 --ccesuccesslim=10000 --lftreleff=0 --cardmineff=2147483647 --locscint=2147483647 --lftroundlim=0 --cardcut=1 --cceboost=5 --dlim=2147483647 --factmax=2147483647 --gaussmineff=2000000 --blkboost=10000 --redlmaxabs=1073741823 --elmocclim1=1 --elmineff=0 --binlocsdel=10 --unhidewait=1 --elmroundlim=1073741826 --trdmineff=1073841823 --cgreleff=5000 --cintincdiv=1 --score=0 --probe=0 --blklarge=0 --elmschedpure=1 --cgrclsrwait=1 --cliff=0 --otfsbump=1 --transredwait=0 --bcaminuse=1073741923 --redloutinc=10000 --elmsched2b2=0 instances/Sat_Data/GI/tnn11.cnf
[ERROR] > Reading runsolver output from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-606430-Gjfc9u.log
[ERROR] > reading solver results from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-606430-U5R9rm.log
[ERROR] > Result for ParamILS: CRASHED, 191.78, -1, -1, 15699680, Problem with run. Exit code was N/A.; Preserving runsolver output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-606430-Gjfc9u.log - preserving target algorithm output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-606430-U5R9rm.log
[ERROR] Output complete
[ERROR] Failed Run Detected Call: cd "/home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/." ;  python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script None --ext-callstring "ruby ./solvers/lingeling/callstring_generator.rb" --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/GI/iso_b09_m200.AB02.cnf SATISFIABLE 300.0 2147483647 2159216 -treelookrtc '0' -cce '0' -megaint '2147483647' -redlminrel '753' -acts '2' -redfixed '0' -otfsconf '0' -redlmaxabs '1073741823' -score '0' -rephase '1' -smallvevars '7' -plim '1073741823' -keepmaxglue '0' -elmschedsum '1' -locscint '2147483647' -subl '9' -gaussreleff '10000' -unhidewait '1' -flipvlim '100000' -itlocsdel '50100' -elmsuccessrat '500' -gaussmineff '2000000' -prbasicreleff '10000' -elim '0' -cgrmaxeff '-1' -redlmaxrel '5295' -blkocclim1 '1073841823' -elmboost '539' -otfsbump '1' -irrlim '1' -locsboost '0' -binlocsdel '10' -blkocclim2 '1073751822' -blksmall '0' -ternres '1' -cardcut '1' -boost '1' -agile '0' -minrecgluelim '0' -blkrtc '0' -cgrmaxority '30' -redlbound '1' -bca '2' -mega '1' -sortlits '0' -treelookmaxeff '24999999' -seed '1610612736' -cliff '0' -simpdelay '2147483647' -simpvarchg '50' -maxscorexp '1073741824' -ternreswait '2' -locsred '2' -phasegluebit '0' -trdmineff '1073841823' -elmclslim '1000000' -prbrtc '0' -prbasicmineff '1074741823' -simpvarlim '100' -trdreleff '5010' -fliplevels '30' -lftreleff '0' -elmocclim '1074741822' -syncunint '1000000' -actstdmax '0' -blkmaxeff '-1' -redlminabs '255' -elmschedmin '1' -redoutclim '2500' -minimize '1' -flipint '2147483647' -simpiscale '100' -unhdmaxeff '1093741824' -redlinit '50003999' -jwhred '0' -prbsimpleboost '10' -bumpclslits '0' -minlocalgluelim '1073741853' -restartinit '2147483647' -blklarge '0' -redlexpfac '0' -blkschedpure '0' -flipdur '1073741833' -treelookmineff '2147483647' -cintmaxhard '1083741824' -locsrtc '0' -tabrkeep '2' -rephaseinc '1073751823' -gaussmaxeff '-1' -rdp '1' -agilesinint '50000' -elmreleff '5200' -deco '0' -cceboostvlim '500000' -elmblk '1' -tabrvfactor '2147483647' -lkhd '-1' -bva '1' -redlinc '10000000' -blkboostvlim '500000' -cliffwait '0' -trnrmineff '0' -bias '1' -cardignused '1' -liftlrg '1073741826' -elmsuccesslim '2147483647' -actgeomlim '15' -gluescale '1' -ccemaxeff '-1' -cgrextunits '0' -ccertc '0' -transred '1' -inprocessing '0' -sizemaxpen '2' -rstinoutinc '1' -unhide '1' -elmroundlim '1073741826' -redlmininc '100000' -lftroundlim '0' -lftmaxeff '2147483647' -prbsimple '3' -import '1' -decompose '0' -phaseflip '0' -psm '2' -pure '1' -prbsimplemaxeff '99999999' -simpinterdelay '0' -cardglue '-1' -synclsall '0' -simpen '0' -factor '1' -trnreleff '510' -cceonlyifstuck '1' -bate '0' -cliffmineff '2147483647' -phaseneginit '0' -cardexpam1 '2147483647' -elmocclim2 '51' -elmocclim1 '1' -cgrclsrwait '1' -cardreschedint '5' -prbasicmaxeff '2147483647' -unhdreleff '2' -actavgmax '150' -elmsched2b2 '0' -cgrmineff '100000' -sizepen '2147483647' -blkreleff '50' -lhbr '1' -smallve '0' -locs '1073741823' -mocint '500' -cardmaxeff '-1' -elmschedpure '1' -scincinc '5200' -cgreleff '5000' -actgsdul '3' -bcawait '1' -blkschedmin '1' -liftwait '2' -agilelim '80' -cardminlen '3' -rdpmodelm '0' -cardwait '1' -gluekeep '1073741826' -block '0' -blkschedsum '1' -delmax '0' -phase '-1' -redinoutinc '1000' -reduce '2' -prbasicroundlim '1073741832' -cgrextite '1' -termint '1000000' -actvlim '200000' -decolim '1073741853' -incredcint '1' -blksuccesslim '2147483647' -lift '0' -trepint '55555' -force '1073741824' -flipping '1' -cardocclim2 '7' -cintmaxsoft '1000000' -cardocclim1 '2147483647' -actdblarithlim '0' -card '1' -cce3wait '2147483647' -defragint '5000050' -treelooklrg '0' -synclslen '0' -wait '1' -blkclslim '1000000' -actstdmin '10' -ccewait '2' -locsclim '0' -otfs '0' -waitmax '-1' -rdpmaxeff '-1' -bkwdscale '501' -elmineff '0' -redoutvlim '1073742823' -penmax '2' -bcaminuse '1073741923' -prbasicrtc '1' -tabr '3' -locsmaxeff '1073841823' -batewait '0' -bumpseenminsize '2147483647' -redloutinc '10000' -bcamaxeff '5000000' -cgrclsr '0' -cardmaxlen '0' -memlim '536870911' -smallvewait '1' -ccereleff '0' -cliffmaxeff '49999999' -blkboost '10000' -locsmineff '2147483647' -clim '2147483647' -rdpclslim '0' -elmfull '1' -restart '0' -locswait '0' -bumpseenbeforemin '1' -restartintscale '0' -synclsglue '2147483647' -cardreleff '0' -cgrextxor '0' -cintincdiv '1' -rdplim '200' -elmlitslim '2147483647' -simpidiv '2' -carduse '3' -gaussexptrn '0' -rdpmineff '1073751823' -unhdatrn '1' -gaussextrall '1' -synclsint '50' -rdpwait '1' -itsimpdel '100000' -dlim '2147483647' -blksched2b2 '0' -compact '1' -elmrtc '0' -simprtc '5' -transredwait '0' -defragfree '10' -randec '1' -blockwait '1' -blkmineff '1123741823' -factmax '2147483647' -unhdroundlim '20' -blksuccessrat '500' -unhdhbr '1' -plain '0' -gaussmaxor '2' -randecint '501' -treelook '0' -trep '0' -incredconfslim '25' -gauss '1' -lkhdmisifelmrtc '1' -bumpbcplits '0' -ternresrtc '1' -prbsimplereleff '5040' -bumpseenaftermin '1' -cce2wait '1' -ccesuccesslim '10000' -gausswait '0' -prbsimplemineff '1075741823' -cliffreleff '0' -cceboost '5' -restartint '5' -elmblkwait '1' -locset '2' -binsimpdel '0' -blkocclim '2147483647' -treelookboost '50019' -unhdmineff '50000' -ternresboost '5' -cgrexteq '1' -prbasic '1' -bumpseenlits '1' -rmincpen '0' -maxglue '536870912' -prbsimplertc '0' -ccemineff '1103741823' -elmschediff '0' -locsvared '100' -cintinc '20000' -incsavevisits '1' -fliptop '1' -randecflipint '2147483647' -flipldmod '0' -treelookreleff '10000' -unhdextstamp '0' -trnrmaxeff '1273741824' -blkschedprod '0' -ccesuccessrat '500' -rdpreleff '0' -smallirr '100' -unhdlnpr '1' -locsdec '1' -tabrcfactor '1073741824' -megawait '1' -prbsimpleliftdepth '2' -trdmaxeff '-1' -move '0' -cgrextand '0' -cardmineff '2147483647' -elmschedprod '1' -lftmineff '500000' -reusetrail '1' -locsreleff '5' -redlmaxinc '100' -treelookfull '0' -elmaxeff '800000000' -saturating '570' -probe '0' -locsexport '0' -simplify '0'  
[ERROR] Failed Run Detected output last 6 lines
[ERROR] > ruby ./solvers/lingeling/callstring_generator.rb /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/callstring7ajiun.csv
[ERROR] > Calling runsolver. Command-line:
[ERROR] > ./scripts/runsolver -M 3072 -C 301 -w /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-268804-g3x_w7.log -o /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-268804-mbkkCa.log solvers/lingeling/lingeling -f --seed=2159216 --bca=2 --locsmineff=2147483647 --lift=0 --minimize=1 --cgrclsr=0 --mega=1 --batewait=0 --elmsuccesslim=2147483647 --keepmaxglue=0 --blkschedpure=0 --locs=1073741823 --plain=0 --flipldmod=0 --penmax=2 --cliffwait=0 --rdpreleff=0 --prbsimplemaxeff=99999999 --minrecgluelim=0 --reduce=2 --liftlrg=1073741826 --redlexpfac=0 --simpidiv=2 --ternres=1 --prbasicreleff=10000 --restartinit=2147483647 --prbasicroundlim=1073741832 --lkhd=-1 --elmaxeff=800000000 --elmschedprod=1 --cardglue=-1 --redlminabs=255 --maxscorexp=1073741824 --tabrkeep=2 --rephase=1 --trepint=55555 --lftmaxeff=2147483647 --treelookreleff=10000 --redlmaxrel=5295 --tabrvfactor=2147483647 --cardignused=1 --prbsimpleboost=10 --elmblk=1 --locsred=2 --cardminlen=3 --force=1073741824 --unhdreleff=2 --seed=1610612736 --blkschedprod=0 --trnrmineff=0 --unhdatrn=1 --minlocalgluelim=1073741853 --rdpmaxeff=-1 --itlocsdel=50100 --maxglue=536870912 --elmblkwait=1 --subl=9 --cardreschedint=5 --phaseflip=0 --redlinc=10000000 --lkhdmisifelmrtc=1 --cgrmaxority=30 --cintinc=20000 --megaint=2147483647 --inprocessing=0 --elmlitslim=2147483647 --locsboost=0 --itsimpdel=100000 --cce3wait=2147483647 --locsclim=0 --bumpclslits=0 --blkschedsum=1 --prbasicmaxeff=2147483647 --agile=0 --blksched2b2=0 --tabrcfactor=1073741824 --synclsglue=2147483647 --treelook=0 --clim=2147483647 --cardocclim2=7 --elmreleff=5200 --redoutvlim=1073742823 --flipping=1 --unhdextstamp=0 --blkrtc=0 --synclslen=0 --bkwdscale=501 --phase=-1 --smallvewait=1 --unhdroundlim=20 --treelookboost=50019 --irrlim=1 --simplify=0 --bcamaxeff=5000000 --termint=1000000 --cgrextxor=0 --cce=0 --redlinit=50003999 --cardmaxeff=-1 --elmschedsum=1 --otfsconf=0 --treelookmaxeff=24999999 --redlmininc=100000 --flipint=2147483647 --cgrextand=0 --trnreleff=510 --wait=1 --cgrextunits=0 --jwhred=0 --randec=1 --ternresboost=5 --locsdec=1 --redinoutinc=1000 --ccereleff=0 --phasegluebit=0 --bias=1 --prbasicmineff=1074741823 --defragfree=10 --treelookfull=0 --prbasicrtc=1 --flipdur=1073741833 --treelookmineff=2147483647 --elmclslim=1000000 --locswait=0 --gaussextrall=1 --unhdmaxeff=1093741824 --blkmineff=1123741823 --cgrmineff=100000 --blkboostvlim=500000 --bumpseenaftermin=1 --locset=2 --trdreleff=5010 --transred=1 --sizemaxpen=2 --smallvevars=7 --blkocclim=2147483647 --redlbound=1 --blkschedmin=1 --elmschedmin=1 --megawait=1 --smallirr=100 --actvlim=200000 --actgsdul=3 --factor=1 --unhdlnpr=1 --block=0 --restartintscale=0 --flipvlim=100000 --prbsimplertc=0 --binsimpdel=0 --ccesuccessrat=500 --restart=0 --cce2wait=1 --gaussexptrn=0 --gaussmaxor=2 --cgrexteq=1 --locsvared=100 --blkreleff=50 --unhdhbr=1 --incredcint=1 --gaussreleff=10000 --phaseneginit=0 --actavgmax=150 --agilelim=80 --elmrtc=0 --liftwait=2 --bcawait=1 --trdmaxeff=-1 --saturating=570 --ccemaxeff=-1 --card=1 --gluekeep=1073741826 --cardmaxlen=0 --prbsimple=3 --incsavevisits=1 --simpdelay=2147483647 --reusetrail=1 --randecflipint=2147483647 --ccemineff=1103741823 --bumpbcplits=0 --sortlits=0 --trep=0 --redoutclim=2500 --syncunint=1000000 --delmax=0 --otfs=0 --move=0 --acts=2 --agilesinint=50000 --pure=1 --decolim=1073741853 --rdpmodelm=0 --sizepen=2147483647 --blkocclim2=1073751822 --scincinc=5200 --blkocclim1=1073841823 --cliffmaxeff=49999999 --simpvarlim=100 --simprtc=5 --simpvarchg=50 --ccertc=0 --elmsuccessrat=500 --blkclslim=1000000 --deco=0 --rdplim=200 --import=1 --gauss=1 --cintmaxsoft=1000000 --boost=1 --blockwait=1 --elim=0 --lftmineff=500000 --rstinoutinc=1 --cliffmineff=2147483647 --fliplevels=30 --incredconfslim=25 --actstdmax=0 --elmboost=539 --gausswait=0 --carduse=3 --mocint=500 --bate=0 --randecint=501 --redlmaxinc=100 --cceboostvlim=500000 --treelookrtc=0 --ccewait=2 --actdblarithlim=0 --bumpseenbeforemin=1 --synclsall=0 --treelooklrg=0 --actstdmin=10 --elmocclim2=51 --simpen=0 --decompose=0 --cceonlyifstuck=1 --blkmaxeff=-1 --rdpclslim=0 --locsexport=0 --cgrextite=1 --rdpwait=1 --blksuccesslim=2147483647 --unhdmineff=50000 --rmincpen=0 --defragint=5000050 --smallve=0 --plim=1073741823 --unhide=1 --synclsint=50 --simpinterdelay=0 --cintmaxhard=1083741824 --rdp=1 --rephaseinc=1073751823 --elmschediff=0 --cardwait=1 --rdpmineff=1073751823 --redfixed=0 --gluescale=1 --trnrmaxeff=1273741824 --actgeomlim=15 --ternresrtc=1 --locsmaxeff=1073841823 --bumpseenminsize=2147483647 --simpiscale=100 --cardocclim1=2147483647 --blksmall=0 --bumpseenlits=1 --blksuccessrat=500 --prbsimplereleff=5040 --prbsimplemineff=1075741823 --prbasic=1 --waitmax=-1 --tabr=3 --psm=2 --cardexpam1=2147483647 --bva=1 --gaussmaxeff=-1 --restartint=5 --redlminrel=753 --locsrtc=0 --cgrmaxeff=-1 --memlim=536870911 --elmfull=1 --lhbr=1 --locsreleff=5 --elmocclim=1074741822 --ternreswait=2 --cliffreleff=0 --cardreleff=0 --prbrtc=0 --compact=1 --fliptop=1 --prbsimpleliftdepth=2 --ccesuccesslim=10000 --lftreleff=0 --cardmineff=2147483647 --locscint=2147483647 --lftroundlim=0 --cardcut=1 --cceboost=5 --dlim=2147483647 --factmax=2147483647 --gaussmineff=2000000 --blkboost=10000 --redlmaxabs=1073741823 --elmocclim1=1 --elmineff=0 --binlocsdel=10 --unhidewait=1 --elmroundlim=1073741826 --trdmineff=1073841823 --cgreleff=5000 --cintincdiv=1 --score=0 --probe=0 --blklarge=0 --elmschedpure=1 --cgrclsrwait=1 --cliff=0 --otfsbump=1 --transredwait=0 --bcaminuse=1073741923 --redloutinc=10000 --elmsched2b2=0 instances/Sat_Data/GI/iso_b09_m200.AB02.cnf
[ERROR] > Reading runsolver output from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-268804-g3x_w7.log
[ERROR] > reading solver results from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-268804-mbkkCa.log
[ERROR] > Result for ParamILS: CRASHED, 265.526, -1, -1, 2159216, Problem with run. Exit code was N/A.; Preserving runsolver output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-268804-g3x_w7.log - preserving target algorithm output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-268804-mbkkCa.log
[ERROR] Output complete
[INFO ] Waiting until validation completion
[WARN ] Algorithm Run Result reported a runtime of 301.226 (secs) that exceeded it's cutoff time of 300.0 (secs) by 1.225999999999999 (secs). Next warning at 2.225999999999999 (secs)  
[INFO ] Raw Validation Results File Written to: /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/./validate-test/rawValidationExecutionResults-tunertimecsscWorkerValid_mult2-run0.csv
[INFO ] Instance Seed Result File Written to: /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/./validate-test/validationInstanceSeedResult-tunertimecsscWorkerValid_mult2-run0.csv
[INFO ] Instance Validation Matrix Result Written to: /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/./validate-test/validationResultsMatrix-tunertimecsscWorkerValid_mult2-run0.csv
[INFO ] Validation Results File Written to: /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/./validate-test/validationResults-tunertimecsscWorkerValid_mult2-run0.csv
[INFO ] Classic Validation Results File Written to: /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/./validate-test/classicValidationResults-tunertimecsscWorkerValid_mult2-run0.csv
[INFO ] Total Reported Runtime: 8806.393999000002 (s), Total of Sum Max(runtime-cutoff,0): 8.170999999999992 (s)
[INFO ] Total Walltime: 8894.22700000001 (s), Total of Sum Max(walltime - cutoff, 0): 22.170000000000016 (s)
[INFO ] Total Difference between Walltime and Runtime (Sum of the amount of wallclock time - sum of the amount of reported CPU time) : 87.83300100000005 seconds
[INFO ] Validation Completed Successfully
