Starting smac-validate with 1024 MB of RAM
*****************************
Logging to: ./validate-test//log-val-3.txt
*****************************
[INFO ] Logging to: ./validate-test//log-val-3.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-3.csv --numRun 3 --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 = 3
		 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-3.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-3.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 1019 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 '1' -cce '2' -megaint '1073741827' -redlminrel '753' -acts '1' -redfixed '0' -otfsconf '1' -redlmaxabs '537870906' -score '1' -rephase '2' -smallvevars '6' -plim '1610612735' -keepmaxglue '0' -elmschedsum '0' -locscint '2147483647' -subl '4' -gaussreleff '0' -unhidewait '2' -flipvlim '50000' -itlocsdel '50100' -elmsuccessrat '1' -gaussmineff '2147483647' -prbasicreleff '10000' -elim '0' -cgrmaxeff '-1' -redlmaxrel '10000' -blkocclim1 '1' -elmboost '539' -otfsbump '1' -irrlim '0' -locsboost '0' -binlocsdel '0' -blkocclim2 '5001' -blksmall '0' -ternres '0' -cardcut '1' -boost '1' -agile '1' -minrecgluelim '2147483647' -blkrtc '1' -cgrmaxority '11' -redlbound '0' -bca '1' -mega '1' -sortlits '0' -treelookmaxeff '2147483647' -seed '0' -cliff '1' -simpdelay '1073741824' -simpvarchg '100' -maxscorexp '1073741824' -ternreswait '0' -locsred '2' -phasegluebit '0' -trdmineff '0' -elmclslim '1000000' -prbrtc '1' -prbasicmineff '2147483647' -simpvarlim '50' -trdreleff '0' -fliplevels '21' -lftreleff '6' -elmocclim '3' -syncunint '611111' -actstdmax '56' -blkmaxeff '800000000' -redlminabs '255' -elmschedmin '1' -redoutclim '2147483647' -minimize '0' -flipint '2147483647' -simpiscale '50' -unhdmaxeff '1093741824' -redlinit '1' -jwhred '1' -prbsimpleboost '509' -bumpclslits '0' -minlocalgluelim '1073741853' -restartinit '1610612736' -blklarge '1' -redlexpfac '5' -blkschedpure '0' -flipdur '5' -treelookmineff '300000' -cintmaxhard '2147483647' -locsrtc '0' -tabrkeep '1' -rephaseinc '10000' -gaussmaxeff '2147483647' -rdp '0' -agilesinint '100000' -elmreleff '10000' -deco '0' -cceboostvlim '1074741823' -elmblk '1' -tabrvfactor '2147483647' -lkhd '2' -bva '0' -redlinc '5000999' -blkboostvlim '0' -cliffwait '1' -trnrmineff '0' -bias '1' -cardignused '1' -liftlrg '1073741826' -elmsuccesslim '1000' -actgeomlim '0' -gluescale '1' -ccemaxeff '1610612735' -cgrextunits '0' -ccertc '1' -transred '1' -inprocessing '0' -sizemaxpen '15' -rstinoutinc '1000' -unhide '1' -elmroundlim '2' -redlmininc '100000' -lftroundlim '0' -lftmaxeff '9999999' -prbsimple '3' -import '1' -decompose '0' -phaseflip '1' -psm '1' -pure '0' -prbsimplemaxeff '2147483647' -simpinterdelay '2000' -cardglue '15' -synclsall '1' -simpen '0' -factor '1' -trnreleff '10' -cceonlyifstuck '0' -bate '1' -cliffmineff '10000000' -phaseneginit '0' -cardexpam1 '2147483647' -elmocclim2 '2' -elmocclim1 '500' -cgrclsrwait '2' -cardreschedint '10' -prbasicmaxeff '1173741824' -unhdreleff '1' -actavgmax '150' -elmsched2b2 '0' -cgrmineff '100000' -sizepen '1074741823' -blkreleff '50' -lhbr '0' -smallve '1' -locs '2147483647' -mocint '500' -cardmaxeff '1373741824' -elmschedpure '1' -scincinc '200' -cgreleff '0' -actgsdul '82' -bcawait '2' -blkschedmin '0' -liftwait '1' -agilelim '80' -cardminlen '1073741826' -rdpmodelm '1' -cardwait '0' -gluekeep '2147483647' -block '0' -blkschedsum '1' -delmax '0' -phase '0' -redinoutinc '1000' -reduce '4' -prbasicroundlim '9' -cgrextite '1' -termint '122222' -actvlim '1073941823' -decolim '2147483647' -incredcint '1' -blksuccesslim '2147483647' -lift '1' -trepint '55555' -force '1610612736' -flipping '1' -cardocclim2 '15' -cintmaxsoft '499999' -cardocclim1 '0' -actdblarithlim '0' -card '1' -cce3wait '0' -defragint '1083741773' -treelooklrg '0' -synclslen '40' -wait '1' -blkclslim '500001' -actstdmin '0' -ccewait '1' -locsclim '1000000' -otfs '0' -waitmax '2147483647' -rdpmaxeff '1083741824' -bkwdscale '501' -elmineff '1093741823' -redoutvlim '1073742823' -penmax '16' -bcaminuse '0' -prbasicrtc '1' -tabr '4' -locsmaxeff '1073841823' -batewait '2' -bumpseenminsize '3' -redloutinc '1000000' -bcamaxeff '1083741823' -cgrclsr '1' -cardmaxlen '500' -memlim '2147483647' -smallvewait '1' -ccereleff '1000' -cliffmaxeff '1173741824' -blkboost '5' -locsmineff '0' -clim '-1' -rdpclslim '1' -elmfull '1' -restart '0' -locswait '2' -bumpseenbeforemin '0' -restartintscale '0' -synclsglue '1073741831' -cardreleff '0' -cgrextxor '1' -cintincdiv '3' -rdplim '200' -elmlitslim '100' -simpidiv '3' -carduse '1' -gaussexptrn '0' -rdpmineff '0' -unhdatrn '0' -gaussextrall '1' -synclsint '50' -rdpwait '1' -itsimpdel '0' -dlim '2147483647' -blksched2b2 '1' -compact '2' -elmrtc '1' -simprtc '100' -transredwait '1' -defragfree '50' -randec '0' -blockwait '1' -blkmineff '50000000' -factmax '1' -unhdroundlim '70' -blksuccessrat '500' -unhdhbr '1' -plain '0' -gaussmaxor '20' -randecint '2' -treelook '1' -trep '0' -incredconfslim '75' -gauss '1' -lkhdmisifelmrtc '0' -bumpbcplits '0' -ternresrtc '1' -prbsimplereleff '20' -bumpseenaftermin '0' -cce2wait '2147483647' -ccesuccesslim '5000' -gausswait '2' -prbsimplemineff '2147483647' -cliffreleff '0' -cceboost '1' -restartint '1073741828' -elmblkwait '0' -locset '0' -binsimpdel '1' -blkocclim '500001' -treelookboost '50019' -unhdmineff '0' -ternresboost '100' -cgrexteq '1' -prbasic '0' -bumpseenlits '1' -rmincpen '0' -maxglue '1610612736' -prbsimplertc '0' -ccemineff '30000000' -elmschediff '0' -locsvared '0' -cintinc '519995' -incsavevisits '0' -fliptop '1' -randecflipint '0' -flipldmod '0' -treelookreleff '5000' -unhdextstamp '0' -trnrmaxeff '1273741824' -blkschedprod '1' -ccesuccessrat '1' -rdpreleff '2' -smallirr '90' -unhdlnpr '1' -locsdec '1' -tabrcfactor '2147483647' -megawait '1' -prbsimpleliftdepth '4' -trdmaxeff '1075741824' -move '2' -cgrextand '1' -cardmineff '1000000' -elmschedprod '1' -lftmineff '1074241823' -reusetrail '1' -locsreleff '5' -redlmaxinc '100000' -treelookfull '1' -elmaxeff '-1' -saturating '35' -probe '1' -locsexport '0' -simplify '1'  
[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/callstringhwpc6u.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-966407-Jn5S9F.log -o /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-966407-USGgZA.log solvers/lingeling/lingeling -f --seed=7461896 --bca=1 --locsmineff=0 --lift=1 --minimize=0 --cgrclsr=1 --mega=1 --batewait=2 --elmsuccesslim=1000 --keepmaxglue=0 --blkschedpure=0 --locs=2147483647 --plain=0 --flipldmod=0 --penmax=16 --cliffwait=1 --rdpreleff=2 --prbsimplemaxeff=2147483647 --minrecgluelim=2147483647 --reduce=4 --liftlrg=1073741826 --redlexpfac=5 --simpidiv=3 --ternres=0 --prbasicreleff=10000 --restartinit=1610612736 --prbasicroundlim=9 --lkhd=2 --elmaxeff=-1 --elmschedprod=1 --cardglue=15 --redlminabs=255 --maxscorexp=1073741824 --tabrkeep=1 --rephase=2 --trepint=55555 --lftmaxeff=9999999 --treelookreleff=5000 --redlmaxrel=10000 --tabrvfactor=2147483647 --cardignused=1 --prbsimpleboost=509 --elmblk=1 --locsred=2 --cardminlen=1073741826 --force=1610612736 --unhdreleff=1 --seed=0 --blkschedprod=1 --trnrmineff=0 --unhdatrn=0 --minlocalgluelim=1073741853 --rdpmaxeff=1083741824 --itlocsdel=50100 --maxglue=1610612736 --elmblkwait=0 --subl=4 --cardreschedint=10 --phaseflip=1 --redlinc=5000999 --lkhdmisifelmrtc=0 --cgrmaxority=11 --cintinc=519995 --megaint=1073741827 --inprocessing=0 --elmlitslim=100 --locsboost=0 --itsimpdel=0 --cce3wait=0 --locsclim=1000000 --bumpclslits=0 --blkschedsum=1 --prbasicmaxeff=1173741824 --agile=1 --blksched2b2=1 --tabrcfactor=2147483647 --synclsglue=1073741831 --treelook=1 --clim=-1 --cardocclim2=15 --elmreleff=10000 --redoutvlim=1073742823 --flipping=1 --unhdextstamp=0 --blkrtc=1 --synclslen=40 --bkwdscale=501 --phase=0 --smallvewait=1 --unhdroundlim=70 --treelookboost=50019 --irrlim=0 --simplify=1 --bcamaxeff=1083741823 --termint=122222 --cgrextxor=1 --cce=2 --redlinit=1 --cardmaxeff=1373741824 --elmschedsum=0 --otfsconf=1 --treelookmaxeff=2147483647 --redlmininc=100000 --flipint=2147483647 --cgrextand=1 --trnreleff=10 --wait=1 --cgrextunits=0 --jwhred=1 --randec=0 --ternresboost=100 --locsdec=1 --redinoutinc=1000 --ccereleff=1000 --phasegluebit=0 --bias=1 --prbasicmineff=2147483647 --defragfree=50 --treelookfull=1 --prbasicrtc=1 --flipdur=5 --treelookmineff=300000 --elmclslim=1000000 --locswait=2 --gaussextrall=1 --unhdmaxeff=1093741824 --blkmineff=50000000 --cgrmineff=100000 --blkboostvlim=0 --bumpseenaftermin=0 --locset=0 --trdreleff=0 --transred=1 --sizemaxpen=15 --smallvevars=6 --blkocclim=500001 --redlbound=0 --blkschedmin=0 --elmschedmin=1 --megawait=1 --smallirr=90 --actvlim=1073941823 --actgsdul=82 --factor=1 --unhdlnpr=1 --block=0 --restartintscale=0 --flipvlim=50000 --prbsimplertc=0 --binsimpdel=1 --ccesuccessrat=1 --restart=0 --cce2wait=2147483647 --gaussexptrn=0 --gaussmaxor=20 --cgrexteq=1 --locsvared=0 --blkreleff=50 --unhdhbr=1 --incredcint=1 --gaussreleff=0 --phaseneginit=0 --actavgmax=150 --agilelim=80 --elmrtc=1 --liftwait=1 --bcawait=2 --trdmaxeff=1075741824 --saturating=35 --ccemaxeff=1610612735 --card=1 --gluekeep=2147483647 --cardmaxlen=500 --prbsimple=3 --incsavevisits=0 --simpdelay=1073741824 --reusetrail=1 --randecflipint=0 --ccemineff=30000000 --bumpbcplits=0 --sortlits=0 --trep=0 --redoutclim=2147483647 --syncunint=611111 --delmax=0 --otfs=0 --move=2 --acts=1 --agilesinint=100000 --pure=0 --decolim=2147483647 --rdpmodelm=1 --sizepen=1074741823 --blkocclim2=5001 --scincinc=200 --blkocclim1=1 --cliffmaxeff=1173741824 --simpvarlim=50 --simprtc=100 --simpvarchg=100 --ccertc=1 --elmsuccessrat=1 --blkclslim=500001 --deco=0 --rdplim=200 --import=1 --gauss=1 --cintmaxsoft=499999 --boost=1 --blockwait=1 --elim=0 --lftmineff=1074241823 --rstinoutinc=1000 --cliffmineff=10000000 --fliplevels=21 --incredconfslim=75 --actstdmax=56 --elmboost=539 --gausswait=2 --carduse=1 --mocint=500 --bate=1 --randecint=2 --redlmaxinc=100000 --cceboostvlim=1074741823 --treelookrtc=1 --ccewait=1 --actdblarithlim=0 --bumpseenbeforemin=0 --synclsall=1 --treelooklrg=0 --actstdmin=0 --elmocclim2=2 --simpen=0 --decompose=0 --cceonlyifstuck=0 --blkmaxeff=800000000 --rdpclslim=1 --locsexport=0 --cgrextite=1 --rdpwait=1 --blksuccesslim=2147483647 --unhdmineff=0 --rmincpen=0 --defragint=1083741773 --smallve=1 --plim=1610612735 --unhide=1 --synclsint=50 --simpinterdelay=2000 --cintmaxhard=2147483647 --rdp=0 --rephaseinc=10000 --elmschediff=0 --cardwait=0 --rdpmineff=0 --redfixed=0 --gluescale=1 --trnrmaxeff=1273741824 --actgeomlim=0 --ternresrtc=1 --locsmaxeff=1073841823 --bumpseenminsize=3 --simpiscale=50 --cardocclim1=0 --blksmall=0 --bumpseenlits=1 --blksuccessrat=500 --prbsimplereleff=20 --prbsimplemineff=2147483647 --prbasic=0 --waitmax=2147483647 --tabr=4 --psm=1 --cardexpam1=2147483647 --bva=0 --gaussmaxeff=2147483647 --restartint=1073741828 --redlminrel=753 --locsrtc=0 --cgrmaxeff=-1 --memlim=2147483647 --elmfull=1 --lhbr=0 --locsreleff=5 --elmocclim=3 --ternreswait=0 --cliffreleff=0 --cardreleff=0 --prbrtc=1 --compact=2 --fliptop=1 --prbsimpleliftdepth=4 --ccesuccesslim=5000 --lftreleff=6 --cardmineff=1000000 --locscint=2147483647 --lftroundlim=0 --cardcut=1 --cceboost=1 --dlim=2147483647 --factmax=1 --gaussmineff=2147483647 --blkboost=5 --redlmaxabs=537870906 --elmocclim1=500 --elmineff=1093741823 --binlocsdel=0 --unhidewait=2 --elmroundlim=2 --trdmineff=0 --cgreleff=0 --cintincdiv=3 --score=1 --probe=1 --blklarge=1 --elmschedpure=1 --cgrclsrwait=2 --cliff=1 --otfsbump=1 --transredwait=1 --bcaminuse=0 --redloutinc=1000000 --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-966407-Jn5S9F.log
[ERROR] > reading solver results from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-966407-USGgZA.log
[ERROR] > Result for ParamILS: CRASHED, 183.619, -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-966407-Jn5S9F.log - preserving target algorithm output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-966407-USGgZA.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 '1' -cce '2' -megaint '1073741827' -redlminrel '753' -acts '1' -redfixed '0' -otfsconf '1' -redlmaxabs '537870906' -score '1' -rephase '2' -smallvevars '6' -plim '1610612735' -keepmaxglue '0' -elmschedsum '0' -locscint '2147483647' -subl '4' -gaussreleff '0' -unhidewait '2' -flipvlim '50000' -itlocsdel '50100' -elmsuccessrat '1' -gaussmineff '2147483647' -prbasicreleff '10000' -elim '0' -cgrmaxeff '-1' -redlmaxrel '10000' -blkocclim1 '1' -elmboost '539' -otfsbump '1' -irrlim '0' -locsboost '0' -binlocsdel '0' -blkocclim2 '5001' -blksmall '0' -ternres '0' -cardcut '1' -boost '1' -agile '1' -minrecgluelim '2147483647' -blkrtc '1' -cgrmaxority '11' -redlbound '0' -bca '1' -mega '1' -sortlits '0' -treelookmaxeff '2147483647' -seed '0' -cliff '1' -simpdelay '1073741824' -simpvarchg '100' -maxscorexp '1073741824' -ternreswait '0' -locsred '2' -phasegluebit '0' -trdmineff '0' -elmclslim '1000000' -prbrtc '1' -prbasicmineff '2147483647' -simpvarlim '50' -trdreleff '0' -fliplevels '21' -lftreleff '6' -elmocclim '3' -syncunint '611111' -actstdmax '56' -blkmaxeff '800000000' -redlminabs '255' -elmschedmin '1' -redoutclim '2147483647' -minimize '0' -flipint '2147483647' -simpiscale '50' -unhdmaxeff '1093741824' -redlinit '1' -jwhred '1' -prbsimpleboost '509' -bumpclslits '0' -minlocalgluelim '1073741853' -restartinit '1610612736' -blklarge '1' -redlexpfac '5' -blkschedpure '0' -flipdur '5' -treelookmineff '300000' -cintmaxhard '2147483647' -locsrtc '0' -tabrkeep '1' -rephaseinc '10000' -gaussmaxeff '2147483647' -rdp '0' -agilesinint '100000' -elmreleff '10000' -deco '0' -cceboostvlim '1074741823' -elmblk '1' -tabrvfactor '2147483647' -lkhd '2' -bva '0' -redlinc '5000999' -blkboostvlim '0' -cliffwait '1' -trnrmineff '0' -bias '1' -cardignused '1' -liftlrg '1073741826' -elmsuccesslim '1000' -actgeomlim '0' -gluescale '1' -ccemaxeff '1610612735' -cgrextunits '0' -ccertc '1' -transred '1' -inprocessing '0' -sizemaxpen '15' -rstinoutinc '1000' -unhide '1' -elmroundlim '2' -redlmininc '100000' -lftroundlim '0' -lftmaxeff '9999999' -prbsimple '3' -import '1' -decompose '0' -phaseflip '1' -psm '1' -pure '0' -prbsimplemaxeff '2147483647' -simpinterdelay '2000' -cardglue '15' -synclsall '1' -simpen '0' -factor '1' -trnreleff '10' -cceonlyifstuck '0' -bate '1' -cliffmineff '10000000' -phaseneginit '0' -cardexpam1 '2147483647' -elmocclim2 '2' -elmocclim1 '500' -cgrclsrwait '2' -cardreschedint '10' -prbasicmaxeff '1173741824' -unhdreleff '1' -actavgmax '150' -elmsched2b2 '0' -cgrmineff '100000' -sizepen '1074741823' -blkreleff '50' -lhbr '0' -smallve '1' -locs '2147483647' -mocint '500' -cardmaxeff '1373741824' -elmschedpure '1' -scincinc '200' -cgreleff '0' -actgsdul '82' -bcawait '2' -blkschedmin '0' -liftwait '1' -agilelim '80' -cardminlen '1073741826' -rdpmodelm '1' -cardwait '0' -gluekeep '2147483647' -block '0' -blkschedsum '1' -delmax '0' -phase '0' -redinoutinc '1000' -reduce '4' -prbasicroundlim '9' -cgrextite '1' -termint '122222' -actvlim '1073941823' -decolim '2147483647' -incredcint '1' -blksuccesslim '2147483647' -lift '1' -trepint '55555' -force '1610612736' -flipping '1' -cardocclim2 '15' -cintmaxsoft '499999' -cardocclim1 '0' -actdblarithlim '0' -card '1' -cce3wait '0' -defragint '1083741773' -treelooklrg '0' -synclslen '40' -wait '1' -blkclslim '500001' -actstdmin '0' -ccewait '1' -locsclim '1000000' -otfs '0' -waitmax '2147483647' -rdpmaxeff '1083741824' -bkwdscale '501' -elmineff '1093741823' -redoutvlim '1073742823' -penmax '16' -bcaminuse '0' -prbasicrtc '1' -tabr '4' -locsmaxeff '1073841823' -batewait '2' -bumpseenminsize '3' -redloutinc '1000000' -bcamaxeff '1083741823' -cgrclsr '1' -cardmaxlen '500' -memlim '2147483647' -smallvewait '1' -ccereleff '1000' -cliffmaxeff '1173741824' -blkboost '5' -locsmineff '0' -clim '-1' -rdpclslim '1' -elmfull '1' -restart '0' -locswait '2' -bumpseenbeforemin '0' -restartintscale '0' -synclsglue '1073741831' -cardreleff '0' -cgrextxor '1' -cintincdiv '3' -rdplim '200' -elmlitslim '100' -simpidiv '3' -carduse '1' -gaussexptrn '0' -rdpmineff '0' -unhdatrn '0' -gaussextrall '1' -synclsint '50' -rdpwait '1' -itsimpdel '0' -dlim '2147483647' -blksched2b2 '1' -compact '2' -elmrtc '1' -simprtc '100' -transredwait '1' -defragfree '50' -randec '0' -blockwait '1' -blkmineff '50000000' -factmax '1' -unhdroundlim '70' -blksuccessrat '500' -unhdhbr '1' -plain '0' -gaussmaxor '20' -randecint '2' -treelook '1' -trep '0' -incredconfslim '75' -gauss '1' -lkhdmisifelmrtc '0' -bumpbcplits '0' -ternresrtc '1' -prbsimplereleff '20' -bumpseenaftermin '0' -cce2wait '2147483647' -ccesuccesslim '5000' -gausswait '2' -prbsimplemineff '2147483647' -cliffreleff '0' -cceboost '1' -restartint '1073741828' -elmblkwait '0' -locset '0' -binsimpdel '1' -blkocclim '500001' -treelookboost '50019' -unhdmineff '0' -ternresboost '100' -cgrexteq '1' -prbasic '0' -bumpseenlits '1' -rmincpen '0' -maxglue '1610612736' -prbsimplertc '0' -ccemineff '30000000' -elmschediff '0' -locsvared '0' -cintinc '519995' -incsavevisits '0' -fliptop '1' -randecflipint '0' -flipldmod '0' -treelookreleff '5000' -unhdextstamp '0' -trnrmaxeff '1273741824' -blkschedprod '1' -ccesuccessrat '1' -rdpreleff '2' -smallirr '90' -unhdlnpr '1' -locsdec '1' -tabrcfactor '2147483647' -megawait '1' -prbsimpleliftdepth '4' -trdmaxeff '1075741824' -move '2' -cgrextand '1' -cardmineff '1000000' -elmschedprod '1' -lftmineff '1074241823' -reusetrail '1' -locsreleff '5' -redlmaxinc '100000' -treelookfull '1' -elmaxeff '-1' -saturating '35' -probe '1' -locsexport '0' -simplify '1'  
[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/callstringfkbZ6x.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-690125-6NXwmD.log -o /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-690125-YAgY0N.log solvers/lingeling/lingeling -f --seed=7901663 --bca=1 --locsmineff=0 --lift=1 --minimize=0 --cgrclsr=1 --mega=1 --batewait=2 --elmsuccesslim=1000 --keepmaxglue=0 --blkschedpure=0 --locs=2147483647 --plain=0 --flipldmod=0 --penmax=16 --cliffwait=1 --rdpreleff=2 --prbsimplemaxeff=2147483647 --minrecgluelim=2147483647 --reduce=4 --liftlrg=1073741826 --redlexpfac=5 --simpidiv=3 --ternres=0 --prbasicreleff=10000 --restartinit=1610612736 --prbasicroundlim=9 --lkhd=2 --elmaxeff=-1 --elmschedprod=1 --cardglue=15 --redlminabs=255 --maxscorexp=1073741824 --tabrkeep=1 --rephase=2 --trepint=55555 --lftmaxeff=9999999 --treelookreleff=5000 --redlmaxrel=10000 --tabrvfactor=2147483647 --cardignused=1 --prbsimpleboost=509 --elmblk=1 --locsred=2 --cardminlen=1073741826 --force=1610612736 --unhdreleff=1 --seed=0 --blkschedprod=1 --trnrmineff=0 --unhdatrn=0 --minlocalgluelim=1073741853 --rdpmaxeff=1083741824 --itlocsdel=50100 --maxglue=1610612736 --elmblkwait=0 --subl=4 --cardreschedint=10 --phaseflip=1 --redlinc=5000999 --lkhdmisifelmrtc=0 --cgrmaxority=11 --cintinc=519995 --megaint=1073741827 --inprocessing=0 --elmlitslim=100 --locsboost=0 --itsimpdel=0 --cce3wait=0 --locsclim=1000000 --bumpclslits=0 --blkschedsum=1 --prbasicmaxeff=1173741824 --agile=1 --blksched2b2=1 --tabrcfactor=2147483647 --synclsglue=1073741831 --treelook=1 --clim=-1 --cardocclim2=15 --elmreleff=10000 --redoutvlim=1073742823 --flipping=1 --unhdextstamp=0 --blkrtc=1 --synclslen=40 --bkwdscale=501 --phase=0 --smallvewait=1 --unhdroundlim=70 --treelookboost=50019 --irrlim=0 --simplify=1 --bcamaxeff=1083741823 --termint=122222 --cgrextxor=1 --cce=2 --redlinit=1 --cardmaxeff=1373741824 --elmschedsum=0 --otfsconf=1 --treelookmaxeff=2147483647 --redlmininc=100000 --flipint=2147483647 --cgrextand=1 --trnreleff=10 --wait=1 --cgrextunits=0 --jwhred=1 --randec=0 --ternresboost=100 --locsdec=1 --redinoutinc=1000 --ccereleff=1000 --phasegluebit=0 --bias=1 --prbasicmineff=2147483647 --defragfree=50 --treelookfull=1 --prbasicrtc=1 --flipdur=5 --treelookmineff=300000 --elmclslim=1000000 --locswait=2 --gaussextrall=1 --unhdmaxeff=1093741824 --blkmineff=50000000 --cgrmineff=100000 --blkboostvlim=0 --bumpseenaftermin=0 --locset=0 --trdreleff=0 --transred=1 --sizemaxpen=15 --smallvevars=6 --blkocclim=500001 --redlbound=0 --blkschedmin=0 --elmschedmin=1 --megawait=1 --smallirr=90 --actvlim=1073941823 --actgsdul=82 --factor=1 --unhdlnpr=1 --block=0 --restartintscale=0 --flipvlim=50000 --prbsimplertc=0 --binsimpdel=1 --ccesuccessrat=1 --restart=0 --cce2wait=2147483647 --gaussexptrn=0 --gaussmaxor=20 --cgrexteq=1 --locsvared=0 --blkreleff=50 --unhdhbr=1 --incredcint=1 --gaussreleff=0 --phaseneginit=0 --actavgmax=150 --agilelim=80 --elmrtc=1 --liftwait=1 --bcawait=2 --trdmaxeff=1075741824 --saturating=35 --ccemaxeff=1610612735 --card=1 --gluekeep=2147483647 --cardmaxlen=500 --prbsimple=3 --incsavevisits=0 --simpdelay=1073741824 --reusetrail=1 --randecflipint=0 --ccemineff=30000000 --bumpbcplits=0 --sortlits=0 --trep=0 --redoutclim=2147483647 --syncunint=611111 --delmax=0 --otfs=0 --move=2 --acts=1 --agilesinint=100000 --pure=0 --decolim=2147483647 --rdpmodelm=1 --sizepen=1074741823 --blkocclim2=5001 --scincinc=200 --blkocclim1=1 --cliffmaxeff=1173741824 --simpvarlim=50 --simprtc=100 --simpvarchg=100 --ccertc=1 --elmsuccessrat=1 --blkclslim=500001 --deco=0 --rdplim=200 --import=1 --gauss=1 --cintmaxsoft=499999 --boost=1 --blockwait=1 --elim=0 --lftmineff=1074241823 --rstinoutinc=1000 --cliffmineff=10000000 --fliplevels=21 --incredconfslim=75 --actstdmax=56 --elmboost=539 --gausswait=2 --carduse=1 --mocint=500 --bate=1 --randecint=2 --redlmaxinc=100000 --cceboostvlim=1074741823 --treelookrtc=1 --ccewait=1 --actdblarithlim=0 --bumpseenbeforemin=0 --synclsall=1 --treelooklrg=0 --actstdmin=0 --elmocclim2=2 --simpen=0 --decompose=0 --cceonlyifstuck=0 --blkmaxeff=800000000 --rdpclslim=1 --locsexport=0 --cgrextite=1 --rdpwait=1 --blksuccesslim=2147483647 --unhdmineff=0 --rmincpen=0 --defragint=1083741773 --smallve=1 --plim=1610612735 --unhide=1 --synclsint=50 --simpinterdelay=2000 --cintmaxhard=2147483647 --rdp=0 --rephaseinc=10000 --elmschediff=0 --cardwait=0 --rdpmineff=0 --redfixed=0 --gluescale=1 --trnrmaxeff=1273741824 --actgeomlim=0 --ternresrtc=1 --locsmaxeff=1073841823 --bumpseenminsize=3 --simpiscale=50 --cardocclim1=0 --blksmall=0 --bumpseenlits=1 --blksuccessrat=500 --prbsimplereleff=20 --prbsimplemineff=2147483647 --prbasic=0 --waitmax=2147483647 --tabr=4 --psm=1 --cardexpam1=2147483647 --bva=0 --gaussmaxeff=2147483647 --restartint=1073741828 --redlminrel=753 --locsrtc=0 --cgrmaxeff=-1 --memlim=2147483647 --elmfull=1 --lhbr=0 --locsreleff=5 --elmocclim=3 --ternreswait=0 --cliffreleff=0 --cardreleff=0 --prbrtc=1 --compact=2 --fliptop=1 --prbsimpleliftdepth=4 --ccesuccesslim=5000 --lftreleff=6 --cardmineff=1000000 --locscint=2147483647 --lftroundlim=0 --cardcut=1 --cceboost=1 --dlim=2147483647 --factmax=1 --gaussmineff=2147483647 --blkboost=5 --redlmaxabs=537870906 --elmocclim1=500 --elmineff=1093741823 --binlocsdel=0 --unhidewait=2 --elmroundlim=2 --trdmineff=0 --cgreleff=0 --cintincdiv=3 --score=1 --probe=1 --blklarge=1 --elmschedpure=1 --cgrclsrwait=2 --cliff=1 --otfsbump=1 --transredwait=1 --bcaminuse=0 --redloutinc=1000000 --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-690125-6NXwmD.log
[ERROR] > reading solver results from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-690125-YAgY0N.log
[ERROR] > Result for ParamILS: CRASHED, 231.089, -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-690125-6NXwmD.log - preserving target algorithm output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-690125-YAgY0N.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.AB12.cnf SATISFIABLE 300.0 2147483647 2736673 -treelookrtc '1' -cce '2' -megaint '1073741827' -redlminrel '753' -acts '1' -redfixed '0' -otfsconf '1' -redlmaxabs '537870906' -score '1' -rephase '2' -smallvevars '6' -plim '1610612735' -keepmaxglue '0' -elmschedsum '0' -locscint '2147483647' -subl '4' -gaussreleff '0' -unhidewait '2' -flipvlim '50000' -itlocsdel '50100' -elmsuccessrat '1' -gaussmineff '2147483647' -prbasicreleff '10000' -elim '0' -cgrmaxeff '-1' -redlmaxrel '10000' -blkocclim1 '1' -elmboost '539' -otfsbump '1' -irrlim '0' -locsboost '0' -binlocsdel '0' -blkocclim2 '5001' -blksmall '0' -ternres '0' -cardcut '1' -boost '1' -agile '1' -minrecgluelim '2147483647' -blkrtc '1' -cgrmaxority '11' -redlbound '0' -bca '1' -mega '1' -sortlits '0' -treelookmaxeff '2147483647' -seed '0' -cliff '1' -simpdelay '1073741824' -simpvarchg '100' -maxscorexp '1073741824' -ternreswait '0' -locsred '2' -phasegluebit '0' -trdmineff '0' -elmclslim '1000000' -prbrtc '1' -prbasicmineff '2147483647' -simpvarlim '50' -trdreleff '0' -fliplevels '21' -lftreleff '6' -elmocclim '3' -syncunint '611111' -actstdmax '56' -blkmaxeff '800000000' -redlminabs '255' -elmschedmin '1' -redoutclim '2147483647' -minimize '0' -flipint '2147483647' -simpiscale '50' -unhdmaxeff '1093741824' -redlinit '1' -jwhred '1' -prbsimpleboost '509' -bumpclslits '0' -minlocalgluelim '1073741853' -restartinit '1610612736' -blklarge '1' -redlexpfac '5' -blkschedpure '0' -flipdur '5' -treelookmineff '300000' -cintmaxhard '2147483647' -locsrtc '0' -tabrkeep '1' -rephaseinc '10000' -gaussmaxeff '2147483647' -rdp '0' -agilesinint '100000' -elmreleff '10000' -deco '0' -cceboostvlim '1074741823' -elmblk '1' -tabrvfactor '2147483647' -lkhd '2' -bva '0' -redlinc '5000999' -blkboostvlim '0' -cliffwait '1' -trnrmineff '0' -bias '1' -cardignused '1' -liftlrg '1073741826' -elmsuccesslim '1000' -actgeomlim '0' -gluescale '1' -ccemaxeff '1610612735' -cgrextunits '0' -ccertc '1' -transred '1' -inprocessing '0' -sizemaxpen '15' -rstinoutinc '1000' -unhide '1' -elmroundlim '2' -redlmininc '100000' -lftroundlim '0' -lftmaxeff '9999999' -prbsimple '3' -import '1' -decompose '0' -phaseflip '1' -psm '1' -pure '0' -prbsimplemaxeff '2147483647' -simpinterdelay '2000' -cardglue '15' -synclsall '1' -simpen '0' -factor '1' -trnreleff '10' -cceonlyifstuck '0' -bate '1' -cliffmineff '10000000' -phaseneginit '0' -cardexpam1 '2147483647' -elmocclim2 '2' -elmocclim1 '500' -cgrclsrwait '2' -cardreschedint '10' -prbasicmaxeff '1173741824' -unhdreleff '1' -actavgmax '150' -elmsched2b2 '0' -cgrmineff '100000' -sizepen '1074741823' -blkreleff '50' -lhbr '0' -smallve '1' -locs '2147483647' -mocint '500' -cardmaxeff '1373741824' -elmschedpure '1' -scincinc '200' -cgreleff '0' -actgsdul '82' -bcawait '2' -blkschedmin '0' -liftwait '1' -agilelim '80' -cardminlen '1073741826' -rdpmodelm '1' -cardwait '0' -gluekeep '2147483647' -block '0' -blkschedsum '1' -delmax '0' -phase '0' -redinoutinc '1000' -reduce '4' -prbasicroundlim '9' -cgrextite '1' -termint '122222' -actvlim '1073941823' -decolim '2147483647' -incredcint '1' -blksuccesslim '2147483647' -lift '1' -trepint '55555' -force '1610612736' -flipping '1' -cardocclim2 '15' -cintmaxsoft '499999' -cardocclim1 '0' -actdblarithlim '0' -card '1' -cce3wait '0' -defragint '1083741773' -treelooklrg '0' -synclslen '40' -wait '1' -blkclslim '500001' -actstdmin '0' -ccewait '1' -locsclim '1000000' -otfs '0' -waitmax '2147483647' -rdpmaxeff '1083741824' -bkwdscale '501' -elmineff '1093741823' -redoutvlim '1073742823' -penmax '16' -bcaminuse '0' -prbasicrtc '1' -tabr '4' -locsmaxeff '1073841823' -batewait '2' -bumpseenminsize '3' -redloutinc '1000000' -bcamaxeff '1083741823' -cgrclsr '1' -cardmaxlen '500' -memlim '2147483647' -smallvewait '1' -ccereleff '1000' -cliffmaxeff '1173741824' -blkboost '5' -locsmineff '0' -clim '-1' -rdpclslim '1' -elmfull '1' -restart '0' -locswait '2' -bumpseenbeforemin '0' -restartintscale '0' -synclsglue '1073741831' -cardreleff '0' -cgrextxor '1' -cintincdiv '3' -rdplim '200' -elmlitslim '100' -simpidiv '3' -carduse '1' -gaussexptrn '0' -rdpmineff '0' -unhdatrn '0' -gaussextrall '1' -synclsint '50' -rdpwait '1' -itsimpdel '0' -dlim '2147483647' -blksched2b2 '1' -compact '2' -elmrtc '1' -simprtc '100' -transredwait '1' -defragfree '50' -randec '0' -blockwait '1' -blkmineff '50000000' -factmax '1' -unhdroundlim '70' -blksuccessrat '500' -unhdhbr '1' -plain '0' -gaussmaxor '20' -randecint '2' -treelook '1' -trep '0' -incredconfslim '75' -gauss '1' -lkhdmisifelmrtc '0' -bumpbcplits '0' -ternresrtc '1' -prbsimplereleff '20' -bumpseenaftermin '0' -cce2wait '2147483647' -ccesuccesslim '5000' -gausswait '2' -prbsimplemineff '2147483647' -cliffreleff '0' -cceboost '1' -restartint '1073741828' -elmblkwait '0' -locset '0' -binsimpdel '1' -blkocclim '500001' -treelookboost '50019' -unhdmineff '0' -ternresboost '100' -cgrexteq '1' -prbasic '0' -bumpseenlits '1' -rmincpen '0' -maxglue '1610612736' -prbsimplertc '0' -ccemineff '30000000' -elmschediff '0' -locsvared '0' -cintinc '519995' -incsavevisits '0' -fliptop '1' -randecflipint '0' -flipldmod '0' -treelookreleff '5000' -unhdextstamp '0' -trnrmaxeff '1273741824' -blkschedprod '1' -ccesuccessrat '1' -rdpreleff '2' -smallirr '90' -unhdlnpr '1' -locsdec '1' -tabrcfactor '2147483647' -megawait '1' -prbsimpleliftdepth '4' -trdmaxeff '1075741824' -move '2' -cgrextand '1' -cardmineff '1000000' -elmschedprod '1' -lftmineff '1074241823' -reusetrail '1' -locsreleff '5' -redlmaxinc '100000' -treelookfull '1' -elmaxeff '-1' -saturating '35' -probe '1' -locsexport '0' -simplify '1'  
[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/callstring8yDwiS.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-752491-cCKLvc.log -o /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-752491-BtV9q2.log solvers/lingeling/lingeling -f --seed=2736673 --bca=1 --locsmineff=0 --lift=1 --minimize=0 --cgrclsr=1 --mega=1 --batewait=2 --elmsuccesslim=1000 --keepmaxglue=0 --blkschedpure=0 --locs=2147483647 --plain=0 --flipldmod=0 --penmax=16 --cliffwait=1 --rdpreleff=2 --prbsimplemaxeff=2147483647 --minrecgluelim=2147483647 --reduce=4 --liftlrg=1073741826 --redlexpfac=5 --simpidiv=3 --ternres=0 --prbasicreleff=10000 --restartinit=1610612736 --prbasicroundlim=9 --lkhd=2 --elmaxeff=-1 --elmschedprod=1 --cardglue=15 --redlminabs=255 --maxscorexp=1073741824 --tabrkeep=1 --rephase=2 --trepint=55555 --lftmaxeff=9999999 --treelookreleff=5000 --redlmaxrel=10000 --tabrvfactor=2147483647 --cardignused=1 --prbsimpleboost=509 --elmblk=1 --locsred=2 --cardminlen=1073741826 --force=1610612736 --unhdreleff=1 --seed=0 --blkschedprod=1 --trnrmineff=0 --unhdatrn=0 --minlocalgluelim=1073741853 --rdpmaxeff=1083741824 --itlocsdel=50100 --maxglue=1610612736 --elmblkwait=0 --subl=4 --cardreschedint=10 --phaseflip=1 --redlinc=5000999 --lkhdmisifelmrtc=0 --cgrmaxority=11 --cintinc=519995 --megaint=1073741827 --inprocessing=0 --elmlitslim=100 --locsboost=0 --itsimpdel=0 --cce3wait=0 --locsclim=1000000 --bumpclslits=0 --blkschedsum=1 --prbasicmaxeff=1173741824 --agile=1 --blksched2b2=1 --tabrcfactor=2147483647 --synclsglue=1073741831 --treelook=1 --clim=-1 --cardocclim2=15 --elmreleff=10000 --redoutvlim=1073742823 --flipping=1 --unhdextstamp=0 --blkrtc=1 --synclslen=40 --bkwdscale=501 --phase=0 --smallvewait=1 --unhdroundlim=70 --treelookboost=50019 --irrlim=0 --simplify=1 --bcamaxeff=1083741823 --termint=122222 --cgrextxor=1 --cce=2 --redlinit=1 --cardmaxeff=1373741824 --elmschedsum=0 --otfsconf=1 --treelookmaxeff=2147483647 --redlmininc=100000 --flipint=2147483647 --cgrextand=1 --trnreleff=10 --wait=1 --cgrextunits=0 --jwhred=1 --randec=0 --ternresboost=100 --locsdec=1 --redinoutinc=1000 --ccereleff=1000 --phasegluebit=0 --bias=1 --prbasicmineff=2147483647 --defragfree=50 --treelookfull=1 --prbasicrtc=1 --flipdur=5 --treelookmineff=300000 --elmclslim=1000000 --locswait=2 --gaussextrall=1 --unhdmaxeff=1093741824 --blkmineff=50000000 --cgrmineff=100000 --blkboostvlim=0 --bumpseenaftermin=0 --locset=0 --trdreleff=0 --transred=1 --sizemaxpen=15 --smallvevars=6 --blkocclim=500001 --redlbound=0 --blkschedmin=0 --elmschedmin=1 --megawait=1 --smallirr=90 --actvlim=1073941823 --actgsdul=82 --factor=1 --unhdlnpr=1 --block=0 --restartintscale=0 --flipvlim=50000 --prbsimplertc=0 --binsimpdel=1 --ccesuccessrat=1 --restart=0 --cce2wait=2147483647 --gaussexptrn=0 --gaussmaxor=20 --cgrexteq=1 --locsvared=0 --blkreleff=50 --unhdhbr=1 --incredcint=1 --gaussreleff=0 --phaseneginit=0 --actavgmax=150 --agilelim=80 --elmrtc=1 --liftwait=1 --bcawait=2 --trdmaxeff=1075741824 --saturating=35 --ccemaxeff=1610612735 --card=1 --gluekeep=2147483647 --cardmaxlen=500 --prbsimple=3 --incsavevisits=0 --simpdelay=1073741824 --reusetrail=1 --randecflipint=0 --ccemineff=30000000 --bumpbcplits=0 --sortlits=0 --trep=0 --redoutclim=2147483647 --syncunint=611111 --delmax=0 --otfs=0 --move=2 --acts=1 --agilesinint=100000 --pure=0 --decolim=2147483647 --rdpmodelm=1 --sizepen=1074741823 --blkocclim2=5001 --scincinc=200 --blkocclim1=1 --cliffmaxeff=1173741824 --simpvarlim=50 --simprtc=100 --simpvarchg=100 --ccertc=1 --elmsuccessrat=1 --blkclslim=500001 --deco=0 --rdplim=200 --import=1 --gauss=1 --cintmaxsoft=499999 --boost=1 --blockwait=1 --elim=0 --lftmineff=1074241823 --rstinoutinc=1000 --cliffmineff=10000000 --fliplevels=21 --incredconfslim=75 --actstdmax=56 --elmboost=539 --gausswait=2 --carduse=1 --mocint=500 --bate=1 --randecint=2 --redlmaxinc=100000 --cceboostvlim=1074741823 --treelookrtc=1 --ccewait=1 --actdblarithlim=0 --bumpseenbeforemin=0 --synclsall=1 --treelooklrg=0 --actstdmin=0 --elmocclim2=2 --simpen=0 --decompose=0 --cceonlyifstuck=0 --blkmaxeff=800000000 --rdpclslim=1 --locsexport=0 --cgrextite=1 --rdpwait=1 --blksuccesslim=2147483647 --unhdmineff=0 --rmincpen=0 --defragint=1083741773 --smallve=1 --plim=1610612735 --unhide=1 --synclsint=50 --simpinterdelay=2000 --cintmaxhard=2147483647 --rdp=0 --rephaseinc=10000 --elmschediff=0 --cardwait=0 --rdpmineff=0 --redfixed=0 --gluescale=1 --trnrmaxeff=1273741824 --actgeomlim=0 --ternresrtc=1 --locsmaxeff=1073841823 --bumpseenminsize=3 --simpiscale=50 --cardocclim1=0 --blksmall=0 --bumpseenlits=1 --blksuccessrat=500 --prbsimplereleff=20 --prbsimplemineff=2147483647 --prbasic=0 --waitmax=2147483647 --tabr=4 --psm=1 --cardexpam1=2147483647 --bva=0 --gaussmaxeff=2147483647 --restartint=1073741828 --redlminrel=753 --locsrtc=0 --cgrmaxeff=-1 --memlim=2147483647 --elmfull=1 --lhbr=0 --locsreleff=5 --elmocclim=3 --ternreswait=0 --cliffreleff=0 --cardreleff=0 --prbrtc=1 --compact=2 --fliptop=1 --prbsimpleliftdepth=4 --ccesuccesslim=5000 --lftreleff=6 --cardmineff=1000000 --locscint=2147483647 --lftroundlim=0 --cardcut=1 --cceboost=1 --dlim=2147483647 --factmax=1 --gaussmineff=2147483647 --blkboost=5 --redlmaxabs=537870906 --elmocclim1=500 --elmineff=1093741823 --binlocsdel=0 --unhidewait=2 --elmroundlim=2 --trdmineff=0 --cgreleff=0 --cintincdiv=3 --score=1 --probe=1 --blklarge=1 --elmschedpure=1 --cgrclsrwait=2 --cliff=1 --otfsbump=1 --transredwait=1 --bcaminuse=0 --redloutinc=1000000 --elmsched2b2=0 instances/Sat_Data/GI/iso_b09_m200.AB12.cnf
[ERROR] > Reading runsolver output from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/watcher-752491-cCKLvc.log
[ERROR] > reading solver results from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-752491-BtV9q2.log
[ERROR] > Result for ParamILS: CRASHED, 196.519, -1, -1, 2736673, 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-752491-cCKLvc.log - preserving target algorithm output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-752491-BtV9q2.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 '1' -cce '2' -megaint '1073741827' -redlminrel '753' -acts '1' -redfixed '0' -otfsconf '1' -redlmaxabs '537870906' -score '1' -rephase '2' -smallvevars '6' -plim '1610612735' -keepmaxglue '0' -elmschedsum '0' -locscint '2147483647' -subl '4' -gaussreleff '0' -unhidewait '2' -flipvlim '50000' -itlocsdel '50100' -elmsuccessrat '1' -gaussmineff '2147483647' -prbasicreleff '10000' -elim '0' -cgrmaxeff '-1' -redlmaxrel '10000' -blkocclim1 '1' -elmboost '539' -otfsbump '1' -irrlim '0' -locsboost '0' -binlocsdel '0' -blkocclim2 '5001' -blksmall '0' -ternres '0' -cardcut '1' -boost '1' -agile '1' -minrecgluelim '2147483647' -blkrtc '1' -cgrmaxority '11' -redlbound '0' -bca '1' -mega '1' -sortlits '0' -treelookmaxeff '2147483647' -seed '0' -cliff '1' -simpdelay '1073741824' -simpvarchg '100' -maxscorexp '1073741824' -ternreswait '0' -locsred '2' -phasegluebit '0' -trdmineff '0' -elmclslim '1000000' -prbrtc '1' -prbasicmineff '2147483647' -simpvarlim '50' -trdreleff '0' -fliplevels '21' -lftreleff '6' -elmocclim '3' -syncunint '611111' -actstdmax '56' -blkmaxeff '800000000' -redlminabs '255' -elmschedmin '1' -redoutclim '2147483647' -minimize '0' -flipint '2147483647' -simpiscale '50' -unhdmaxeff '1093741824' -redlinit '1' -jwhred '1' -prbsimpleboost '509' -bumpclslits '0' -minlocalgluelim '1073741853' -restartinit '1610612736' -blklarge '1' -redlexpfac '5' -blkschedpure '0' -flipdur '5' -treelookmineff '300000' -cintmaxhard '2147483647' -locsrtc '0' -tabrkeep '1' -rephaseinc '10000' -gaussmaxeff '2147483647' -rdp '0' -agilesinint '100000' -elmreleff '10000' -deco '0' -cceboostvlim '1074741823' -elmblk '1' -tabrvfactor '2147483647' -lkhd '2' -bva '0' -redlinc '5000999' -blkboostvlim '0' -cliffwait '1' -trnrmineff '0' -bias '1' -cardignused '1' -liftlrg '1073741826' -elmsuccesslim '1000' -actgeomlim '0' -gluescale '1' -ccemaxeff '1610612735' -cgrextunits '0' -ccertc '1' -transred '1' -inprocessing '0' -sizemaxpen '15' -rstinoutinc '1000' -unhide '1' -elmroundlim '2' -redlmininc '100000' -lftroundlim '0' -lftmaxeff '9999999' -prbsimple '3' -import '1' -decompose '0' -phaseflip '1' -psm '1' -pure '0' -prbsimplemaxeff '2147483647' -simpinterdelay '2000' -cardglue '15' -synclsall '1' -simpen '0' -factor '1' -trnreleff '10' -cceonlyifstuck '0' -bate '1' -cliffmineff '10000000' -phaseneginit '0' -cardexpam1 '2147483647' -elmocclim2 '2' -elmocclim1 '500' -cgrclsrwait '2' -cardreschedint '10' -prbasicmaxeff '1173741824' -unhdreleff '1' -actavgmax '150' -elmsched2b2 '0' -cgrmineff '100000' -sizepen '1074741823' -blkreleff '50' -lhbr '0' -smallve '1' -locs '2147483647' -mocint '500' -cardmaxeff '1373741824' -elmschedpure '1' -scincinc '200' -cgreleff '0' -actgsdul '82' -bcawait '2' -blkschedmin '0' -liftwait '1' -agilelim '80' -cardminlen '1073741826' -rdpmodelm '1' -cardwait '0' -gluekeep '2147483647' -block '0' -blkschedsum '1' -delmax '0' -phase '0' -redinoutinc '1000' -reduce '4' -prbasicroundlim '9' -cgrextite '1' -termint '122222' -actvlim '1073941823' -decolim '2147483647' -incredcint '1' -blksuccesslim '2147483647' -lift '1' -trepint '55555' -force '1610612736' -flipping '1' -cardocclim2 '15' -cintmaxsoft '499999' -cardocclim1 '0' -actdblarithlim '0' -card '1' -cce3wait '0' -defragint '1083741773' -treelooklrg '0' -synclslen '40' -wait '1' -blkclslim '500001' -actstdmin '0' -ccewait '1' -locsclim '1000000' -otfs '0' -waitmax '2147483647' -rdpmaxeff '1083741824' -bkwdscale '501' -elmineff '1093741823' -redoutvlim '1073742823' -penmax '16' -bcaminuse '0' -prbasicrtc '1' -tabr '4' -locsmaxeff '1073841823' -batewait '2' -bumpseenminsize '3' -redloutinc '1000000' -bcamaxeff '1083741823' -cgrclsr '1' -cardmaxlen '500' -memlim '2147483647' -smallvewait '1' -ccereleff '1000' -cliffmaxeff '1173741824' -blkboost '5' -locsmineff '0' -clim '-1' -rdpclslim '1' -elmfull '1' -restart '0' -locswait '2' -bumpseenbeforemin '0' -restartintscale '0' -synclsglue '1073741831' -cardreleff '0' -cgrextxor '1' -cintincdiv '3' -rdplim '200' -elmlitslim '100' -simpidiv '3' -carduse '1' -gaussexptrn '0' -rdpmineff '0' -unhdatrn '0' -gaussextrall '1' -synclsint '50' -rdpwait '1' -itsimpdel '0' -dlim '2147483647' -blksched2b2 '1' -compact '2' -elmrtc '1' -simprtc '100' -transredwait '1' -defragfree '50' -randec '0' -blockwait '1' -blkmineff '50000000' -factmax '1' -unhdroundlim '70' -blksuccessrat '500' -unhdhbr '1' -plain '0' -gaussmaxor '20' -randecint '2' -treelook '1' -trep '0' -incredconfslim '75' -gauss '1' -lkhdmisifelmrtc '0' -bumpbcplits '0' -ternresrtc '1' -prbsimplereleff '20' -bumpseenaftermin '0' -cce2wait '2147483647' -ccesuccesslim '5000' -gausswait '2' -prbsimplemineff '2147483647' -cliffreleff '0' -cceboost '1' -restartint '1073741828' -elmblkwait '0' -locset '0' -binsimpdel '1' -blkocclim '500001' -treelookboost '50019' -unhdmineff '0' -ternresboost '100' -cgrexteq '1' -prbasic '0' -bumpseenlits '1' -rmincpen '0' -maxglue '1610612736' -prbsimplertc '0' -ccemineff '30000000' -elmschediff '0' -locsvared '0' -cintinc '519995' -incsavevisits '0' -fliptop '1' -randecflipint '0' -flipldmod '0' -treelookreleff '5000' -unhdextstamp '0' -trnrmaxeff '1273741824' -blkschedprod '1' -ccesuccessrat '1' -rdpreleff '2' -smallirr '90' -unhdlnpr '1' -locsdec '1' -tabrcfactor '2147483647' -megawait '1' -prbsimpleliftdepth '4' -trdmaxeff '1075741824' -move '2' -cgrextand '1' -cardmineff '1000000' -elmschedprod '1' -lftmineff '1074241823' -reusetrail '1' -locsreleff '5' -redlmaxinc '100000' -treelookfull '1' -elmaxeff '-1' -saturating '35' -probe '1' -locsexport '0' -simplify '1'  
[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/callstringeRS4og.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-419086-QDb6xC.log -o /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-419086-PMBgON.log solvers/lingeling/lingeling -f --seed=7179101 --bca=1 --locsmineff=0 --lift=1 --minimize=0 --cgrclsr=1 --mega=1 --batewait=2 --elmsuccesslim=1000 --keepmaxglue=0 --blkschedpure=0 --locs=2147483647 --plain=0 --flipldmod=0 --penmax=16 --cliffwait=1 --rdpreleff=2 --prbsimplemaxeff=2147483647 --minrecgluelim=2147483647 --reduce=4 --liftlrg=1073741826 --redlexpfac=5 --simpidiv=3 --ternres=0 --prbasicreleff=10000 --restartinit=1610612736 --prbasicroundlim=9 --lkhd=2 --elmaxeff=-1 --elmschedprod=1 --cardglue=15 --redlminabs=255 --maxscorexp=1073741824 --tabrkeep=1 --rephase=2 --trepint=55555 --lftmaxeff=9999999 --treelookreleff=5000 --redlmaxrel=10000 --tabrvfactor=2147483647 --cardignused=1 --prbsimpleboost=509 --elmblk=1 --locsred=2 --cardminlen=1073741826 --force=1610612736 --unhdreleff=1 --seed=0 --blkschedprod=1 --trnrmineff=0 --unhdatrn=0 --minlocalgluelim=1073741853 --rdpmaxeff=1083741824 --itlocsdel=50100 --maxglue=1610612736 --elmblkwait=0 --subl=4 --cardreschedint=10 --phaseflip=1 --redlinc=5000999 --lkhdmisifelmrtc=0 --cgrmaxority=11 --cintinc=519995 --megaint=1073741827 --inprocessing=0 --elmlitslim=100 --locsboost=0 --itsimpdel=0 --cce3wait=0 --locsclim=1000000 --bumpclslits=0 --blkschedsum=1 --prbasicmaxeff=1173741824 --agile=1 --blksched2b2=1 --tabrcfactor=2147483647 --synclsglue=1073741831 --treelook=1 --clim=-1 --cardocclim2=15 --elmreleff=10000 --redoutvlim=1073742823 --flipping=1 --unhdextstamp=0 --blkrtc=1 --synclslen=40 --bkwdscale=501 --phase=0 --smallvewait=1 --unhdroundlim=70 --treelookboost=50019 --irrlim=0 --simplify=1 --bcamaxeff=1083741823 --termint=122222 --cgrextxor=1 --cce=2 --redlinit=1 --cardmaxeff=1373741824 --elmschedsum=0 --otfsconf=1 --treelookmaxeff=2147483647 --redlmininc=100000 --flipint=2147483647 --cgrextand=1 --trnreleff=10 --wait=1 --cgrextunits=0 --jwhred=1 --randec=0 --ternresboost=100 --locsdec=1 --redinoutinc=1000 --ccereleff=1000 --phasegluebit=0 --bias=1 --prbasicmineff=2147483647 --defragfree=50 --treelookfull=1 --prbasicrtc=1 --flipdur=5 --treelookmineff=300000 --elmclslim=1000000 --locswait=2 --gaussextrall=1 --unhdmaxeff=1093741824 --blkmineff=50000000 --cgrmineff=100000 --blkboostvlim=0 --bumpseenaftermin=0 --locset=0 --trdreleff=0 --transred=1 --sizemaxpen=15 --smallvevars=6 --blkocclim=500001 --redlbound=0 --blkschedmin=0 --elmschedmin=1 --megawait=1 --smallirr=90 --actvlim=1073941823 --actgsdul=82 --factor=1 --unhdlnpr=1 --block=0 --restartintscale=0 --flipvlim=50000 --prbsimplertc=0 --binsimpdel=1 --ccesuccessrat=1 --restart=0 --cce2wait=2147483647 --gaussexptrn=0 --gaussmaxor=20 --cgrexteq=1 --locsvared=0 --blkreleff=50 --unhdhbr=1 --incredcint=1 --gaussreleff=0 --phaseneginit=0 --actavgmax=150 --agilelim=80 --elmrtc=1 --liftwait=1 --bcawait=2 --trdmaxeff=1075741824 --saturating=35 --ccemaxeff=1610612735 --card=1 --gluekeep=2147483647 --cardmaxlen=500 --prbsimple=3 --incsavevisits=0 --simpdelay=1073741824 --reusetrail=1 --randecflipint=0 --ccemineff=30000000 --bumpbcplits=0 --sortlits=0 --trep=0 --redoutclim=2147483647 --syncunint=611111 --delmax=0 --otfs=0 --move=2 --acts=1 --agilesinint=100000 --pure=0 --decolim=2147483647 --rdpmodelm=1 --sizepen=1074741823 --blkocclim2=5001 --scincinc=200 --blkocclim1=1 --cliffmaxeff=1173741824 --simpvarlim=50 --simprtc=100 --simpvarchg=100 --ccertc=1 --elmsuccessrat=1 --blkclslim=500001 --deco=0 --rdplim=200 --import=1 --gauss=1 --cintmaxsoft=499999 --boost=1 --blockwait=1 --elim=0 --lftmineff=1074241823 --rstinoutinc=1000 --cliffmineff=10000000 --fliplevels=21 --incredconfslim=75 --actstdmax=56 --elmboost=539 --gausswait=2 --carduse=1 --mocint=500 --bate=1 --randecint=2 --redlmaxinc=100000 --cceboostvlim=1074741823 --treelookrtc=1 --ccewait=1 --actdblarithlim=0 --bumpseenbeforemin=0 --synclsall=1 --treelooklrg=0 --actstdmin=0 --elmocclim2=2 --simpen=0 --decompose=0 --cceonlyifstuck=0 --blkmaxeff=800000000 --rdpclslim=1 --locsexport=0 --cgrextite=1 --rdpwait=1 --blksuccesslim=2147483647 --unhdmineff=0 --rmincpen=0 --defragint=1083741773 --smallve=1 --plim=1610612735 --unhide=1 --synclsint=50 --simpinterdelay=2000 --cintmaxhard=2147483647 --rdp=0 --rephaseinc=10000 --elmschediff=0 --cardwait=0 --rdpmineff=0 --redfixed=0 --gluescale=1 --trnrmaxeff=1273741824 --actgeomlim=0 --ternresrtc=1 --locsmaxeff=1073841823 --bumpseenminsize=3 --simpiscale=50 --cardocclim1=0 --blksmall=0 --bumpseenlits=1 --blksuccessrat=500 --prbsimplereleff=20 --prbsimplemineff=2147483647 --prbasic=0 --waitmax=2147483647 --tabr=4 --psm=1 --cardexpam1=2147483647 --bva=0 --gaussmaxeff=2147483647 --restartint=1073741828 --redlminrel=753 --locsrtc=0 --cgrmaxeff=-1 --memlim=2147483647 --elmfull=1 --lhbr=0 --locsreleff=5 --elmocclim=3 --ternreswait=0 --cliffreleff=0 --cardreleff=0 --prbrtc=1 --compact=2 --fliptop=1 --prbsimpleliftdepth=4 --ccesuccesslim=5000 --lftreleff=6 --cardmineff=1000000 --locscint=2147483647 --lftroundlim=0 --cardcut=1 --cceboost=1 --dlim=2147483647 --factmax=1 --gaussmineff=2147483647 --blkboost=5 --redlmaxabs=537870906 --elmocclim1=500 --elmineff=1093741823 --binlocsdel=0 --unhidewait=2 --elmroundlim=2 --trdmineff=0 --cgreleff=0 --cintincdiv=3 --score=1 --probe=1 --blklarge=1 --elmschedpure=1 --cgrclsrwait=2 --cliff=1 --otfsbump=1 --transredwait=1 --bcaminuse=0 --redloutinc=1000000 --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-419086-QDb6xC.log
[ERROR] > reading solver results from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-419086-PMBgON.log
[ERROR] > Result for ParamILS: CRASHED, 229.9, -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-419086-QDb6xC.log - preserving target algorithm output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-419086-PMBgON.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 '1' -cce '2' -megaint '1073741827' -redlminrel '753' -acts '1' -redfixed '0' -otfsconf '1' -redlmaxabs '537870906' -score '1' -rephase '2' -smallvevars '6' -plim '1610612735' -keepmaxglue '0' -elmschedsum '0' -locscint '2147483647' -subl '4' -gaussreleff '0' -unhidewait '2' -flipvlim '50000' -itlocsdel '50100' -elmsuccessrat '1' -gaussmineff '2147483647' -prbasicreleff '10000' -elim '0' -cgrmaxeff '-1' -redlmaxrel '10000' -blkocclim1 '1' -elmboost '539' -otfsbump '1' -irrlim '0' -locsboost '0' -binlocsdel '0' -blkocclim2 '5001' -blksmall '0' -ternres '0' -cardcut '1' -boost '1' -agile '1' -minrecgluelim '2147483647' -blkrtc '1' -cgrmaxority '11' -redlbound '0' -bca '1' -mega '1' -sortlits '0' -treelookmaxeff '2147483647' -seed '0' -cliff '1' -simpdelay '1073741824' -simpvarchg '100' -maxscorexp '1073741824' -ternreswait '0' -locsred '2' -phasegluebit '0' -trdmineff '0' -elmclslim '1000000' -prbrtc '1' -prbasicmineff '2147483647' -simpvarlim '50' -trdreleff '0' -fliplevels '21' -lftreleff '6' -elmocclim '3' -syncunint '611111' -actstdmax '56' -blkmaxeff '800000000' -redlminabs '255' -elmschedmin '1' -redoutclim '2147483647' -minimize '0' -flipint '2147483647' -simpiscale '50' -unhdmaxeff '1093741824' -redlinit '1' -jwhred '1' -prbsimpleboost '509' -bumpclslits '0' -minlocalgluelim '1073741853' -restartinit '1610612736' -blklarge '1' -redlexpfac '5' -blkschedpure '0' -flipdur '5' -treelookmineff '300000' -cintmaxhard '2147483647' -locsrtc '0' -tabrkeep '1' -rephaseinc '10000' -gaussmaxeff '2147483647' -rdp '0' -agilesinint '100000' -elmreleff '10000' -deco '0' -cceboostvlim '1074741823' -elmblk '1' -tabrvfactor '2147483647' -lkhd '2' -bva '0' -redlinc '5000999' -blkboostvlim '0' -cliffwait '1' -trnrmineff '0' -bias '1' -cardignused '1' -liftlrg '1073741826' -elmsuccesslim '1000' -actgeomlim '0' -gluescale '1' -ccemaxeff '1610612735' -cgrextunits '0' -ccertc '1' -transred '1' -inprocessing '0' -sizemaxpen '15' -rstinoutinc '1000' -unhide '1' -elmroundlim '2' -redlmininc '100000' -lftroundlim '0' -lftmaxeff '9999999' -prbsimple '3' -import '1' -decompose '0' -phaseflip '1' -psm '1' -pure '0' -prbsimplemaxeff '2147483647' -simpinterdelay '2000' -cardglue '15' -synclsall '1' -simpen '0' -factor '1' -trnreleff '10' -cceonlyifstuck '0' -bate '1' -cliffmineff '10000000' -phaseneginit '0' -cardexpam1 '2147483647' -elmocclim2 '2' -elmocclim1 '500' -cgrclsrwait '2' -cardreschedint '10' -prbasicmaxeff '1173741824' -unhdreleff '1' -actavgmax '150' -elmsched2b2 '0' -cgrmineff '100000' -sizepen '1074741823' -blkreleff '50' -lhbr '0' -smallve '1' -locs '2147483647' -mocint '500' -cardmaxeff '1373741824' -elmschedpure '1' -scincinc '200' -cgreleff '0' -actgsdul '82' -bcawait '2' -blkschedmin '0' -liftwait '1' -agilelim '80' -cardminlen '1073741826' -rdpmodelm '1' -cardwait '0' -gluekeep '2147483647' -block '0' -blkschedsum '1' -delmax '0' -phase '0' -redinoutinc '1000' -reduce '4' -prbasicroundlim '9' -cgrextite '1' -termint '122222' -actvlim '1073941823' -decolim '2147483647' -incredcint '1' -blksuccesslim '2147483647' -lift '1' -trepint '55555' -force '1610612736' -flipping '1' -cardocclim2 '15' -cintmaxsoft '499999' -cardocclim1 '0' -actdblarithlim '0' -card '1' -cce3wait '0' -defragint '1083741773' -treelooklrg '0' -synclslen '40' -wait '1' -blkclslim '500001' -actstdmin '0' -ccewait '1' -locsclim '1000000' -otfs '0' -waitmax '2147483647' -rdpmaxeff '1083741824' -bkwdscale '501' -elmineff '1093741823' -redoutvlim '1073742823' -penmax '16' -bcaminuse '0' -prbasicrtc '1' -tabr '4' -locsmaxeff '1073841823' -batewait '2' -bumpseenminsize '3' -redloutinc '1000000' -bcamaxeff '1083741823' -cgrclsr '1' -cardmaxlen '500' -memlim '2147483647' -smallvewait '1' -ccereleff '1000' -cliffmaxeff '1173741824' -blkboost '5' -locsmineff '0' -clim '-1' -rdpclslim '1' -elmfull '1' -restart '0' -locswait '2' -bumpseenbeforemin '0' -restartintscale '0' -synclsglue '1073741831' -cardreleff '0' -cgrextxor '1' -cintincdiv '3' -rdplim '200' -elmlitslim '100' -simpidiv '3' -carduse '1' -gaussexptrn '0' -rdpmineff '0' -unhdatrn '0' -gaussextrall '1' -synclsint '50' -rdpwait '1' -itsimpdel '0' -dlim '2147483647' -blksched2b2 '1' -compact '2' -elmrtc '1' -simprtc '100' -transredwait '1' -defragfree '50' -randec '0' -blockwait '1' -blkmineff '50000000' -factmax '1' -unhdroundlim '70' -blksuccessrat '500' -unhdhbr '1' -plain '0' -gaussmaxor '20' -randecint '2' -treelook '1' -trep '0' -incredconfslim '75' -gauss '1' -lkhdmisifelmrtc '0' -bumpbcplits '0' -ternresrtc '1' -prbsimplereleff '20' -bumpseenaftermin '0' -cce2wait '2147483647' -ccesuccesslim '5000' -gausswait '2' -prbsimplemineff '2147483647' -cliffreleff '0' -cceboost '1' -restartint '1073741828' -elmblkwait '0' -locset '0' -binsimpdel '1' -blkocclim '500001' -treelookboost '50019' -unhdmineff '0' -ternresboost '100' -cgrexteq '1' -prbasic '0' -bumpseenlits '1' -rmincpen '0' -maxglue '1610612736' -prbsimplertc '0' -ccemineff '30000000' -elmschediff '0' -locsvared '0' -cintinc '519995' -incsavevisits '0' -fliptop '1' -randecflipint '0' -flipldmod '0' -treelookreleff '5000' -unhdextstamp '0' -trnrmaxeff '1273741824' -blkschedprod '1' -ccesuccessrat '1' -rdpreleff '2' -smallirr '90' -unhdlnpr '1' -locsdec '1' -tabrcfactor '2147483647' -megawait '1' -prbsimpleliftdepth '4' -trdmaxeff '1075741824' -move '2' -cgrextand '1' -cardmineff '1000000' -elmschedprod '1' -lftmineff '1074241823' -reusetrail '1' -locsreleff '5' -redlmaxinc '100000' -treelookfull '1' -elmaxeff '-1' -saturating '35' -probe '1' -locsexport '0' -simplify '1'  
[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/callstringTcFdS7.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-524151-lUo_KW.log -o /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-524151-eZFq9j.log solvers/lingeling/lingeling -f --seed=15699680 --bca=1 --locsmineff=0 --lift=1 --minimize=0 --cgrclsr=1 --mega=1 --batewait=2 --elmsuccesslim=1000 --keepmaxglue=0 --blkschedpure=0 --locs=2147483647 --plain=0 --flipldmod=0 --penmax=16 --cliffwait=1 --rdpreleff=2 --prbsimplemaxeff=2147483647 --minrecgluelim=2147483647 --reduce=4 --liftlrg=1073741826 --redlexpfac=5 --simpidiv=3 --ternres=0 --prbasicreleff=10000 --restartinit=1610612736 --prbasicroundlim=9 --lkhd=2 --elmaxeff=-1 --elmschedprod=1 --cardglue=15 --redlminabs=255 --maxscorexp=1073741824 --tabrkeep=1 --rephase=2 --trepint=55555 --lftmaxeff=9999999 --treelookreleff=5000 --redlmaxrel=10000 --tabrvfactor=2147483647 --cardignused=1 --prbsimpleboost=509 --elmblk=1 --locsred=2 --cardminlen=1073741826 --force=1610612736 --unhdreleff=1 --seed=0 --blkschedprod=1 --trnrmineff=0 --unhdatrn=0 --minlocalgluelim=1073741853 --rdpmaxeff=1083741824 --itlocsdel=50100 --maxglue=1610612736 --elmblkwait=0 --subl=4 --cardreschedint=10 --phaseflip=1 --redlinc=5000999 --lkhdmisifelmrtc=0 --cgrmaxority=11 --cintinc=519995 --megaint=1073741827 --inprocessing=0 --elmlitslim=100 --locsboost=0 --itsimpdel=0 --cce3wait=0 --locsclim=1000000 --bumpclslits=0 --blkschedsum=1 --prbasicmaxeff=1173741824 --agile=1 --blksched2b2=1 --tabrcfactor=2147483647 --synclsglue=1073741831 --treelook=1 --clim=-1 --cardocclim2=15 --elmreleff=10000 --redoutvlim=1073742823 --flipping=1 --unhdextstamp=0 --blkrtc=1 --synclslen=40 --bkwdscale=501 --phase=0 --smallvewait=1 --unhdroundlim=70 --treelookboost=50019 --irrlim=0 --simplify=1 --bcamaxeff=1083741823 --termint=122222 --cgrextxor=1 --cce=2 --redlinit=1 --cardmaxeff=1373741824 --elmschedsum=0 --otfsconf=1 --treelookmaxeff=2147483647 --redlmininc=100000 --flipint=2147483647 --cgrextand=1 --trnreleff=10 --wait=1 --cgrextunits=0 --jwhred=1 --randec=0 --ternresboost=100 --locsdec=1 --redinoutinc=1000 --ccereleff=1000 --phasegluebit=0 --bias=1 --prbasicmineff=2147483647 --defragfree=50 --treelookfull=1 --prbasicrtc=1 --flipdur=5 --treelookmineff=300000 --elmclslim=1000000 --locswait=2 --gaussextrall=1 --unhdmaxeff=1093741824 --blkmineff=50000000 --cgrmineff=100000 --blkboostvlim=0 --bumpseenaftermin=0 --locset=0 --trdreleff=0 --transred=1 --sizemaxpen=15 --smallvevars=6 --blkocclim=500001 --redlbound=0 --blkschedmin=0 --elmschedmin=1 --megawait=1 --smallirr=90 --actvlim=1073941823 --actgsdul=82 --factor=1 --unhdlnpr=1 --block=0 --restartintscale=0 --flipvlim=50000 --prbsimplertc=0 --binsimpdel=1 --ccesuccessrat=1 --restart=0 --cce2wait=2147483647 --gaussexptrn=0 --gaussmaxor=20 --cgrexteq=1 --locsvared=0 --blkreleff=50 --unhdhbr=1 --incredcint=1 --gaussreleff=0 --phaseneginit=0 --actavgmax=150 --agilelim=80 --elmrtc=1 --liftwait=1 --bcawait=2 --trdmaxeff=1075741824 --saturating=35 --ccemaxeff=1610612735 --card=1 --gluekeep=2147483647 --cardmaxlen=500 --prbsimple=3 --incsavevisits=0 --simpdelay=1073741824 --reusetrail=1 --randecflipint=0 --ccemineff=30000000 --bumpbcplits=0 --sortlits=0 --trep=0 --redoutclim=2147483647 --syncunint=611111 --delmax=0 --otfs=0 --move=2 --acts=1 --agilesinint=100000 --pure=0 --decolim=2147483647 --rdpmodelm=1 --sizepen=1074741823 --blkocclim2=5001 --scincinc=200 --blkocclim1=1 --cliffmaxeff=1173741824 --simpvarlim=50 --simprtc=100 --simpvarchg=100 --ccertc=1 --elmsuccessrat=1 --blkclslim=500001 --deco=0 --rdplim=200 --import=1 --gauss=1 --cintmaxsoft=499999 --boost=1 --blockwait=1 --elim=0 --lftmineff=1074241823 --rstinoutinc=1000 --cliffmineff=10000000 --fliplevels=21 --incredconfslim=75 --actstdmax=56 --elmboost=539 --gausswait=2 --carduse=1 --mocint=500 --bate=1 --randecint=2 --redlmaxinc=100000 --cceboostvlim=1074741823 --treelookrtc=1 --ccewait=1 --actdblarithlim=0 --bumpseenbeforemin=0 --synclsall=1 --treelooklrg=0 --actstdmin=0 --elmocclim2=2 --simpen=0 --decompose=0 --cceonlyifstuck=0 --blkmaxeff=800000000 --rdpclslim=1 --locsexport=0 --cgrextite=1 --rdpwait=1 --blksuccesslim=2147483647 --unhdmineff=0 --rmincpen=0 --defragint=1083741773 --smallve=1 --plim=1610612735 --unhide=1 --synclsint=50 --simpinterdelay=2000 --cintmaxhard=2147483647 --rdp=0 --rephaseinc=10000 --elmschediff=0 --cardwait=0 --rdpmineff=0 --redfixed=0 --gluescale=1 --trnrmaxeff=1273741824 --actgeomlim=0 --ternresrtc=1 --locsmaxeff=1073841823 --bumpseenminsize=3 --simpiscale=50 --cardocclim1=0 --blksmall=0 --bumpseenlits=1 --blksuccessrat=500 --prbsimplereleff=20 --prbsimplemineff=2147483647 --prbasic=0 --waitmax=2147483647 --tabr=4 --psm=1 --cardexpam1=2147483647 --bva=0 --gaussmaxeff=2147483647 --restartint=1073741828 --redlminrel=753 --locsrtc=0 --cgrmaxeff=-1 --memlim=2147483647 --elmfull=1 --lhbr=0 --locsreleff=5 --elmocclim=3 --ternreswait=0 --cliffreleff=0 --cardreleff=0 --prbrtc=1 --compact=2 --fliptop=1 --prbsimpleliftdepth=4 --ccesuccesslim=5000 --lftreleff=6 --cardmineff=1000000 --locscint=2147483647 --lftroundlim=0 --cardcut=1 --cceboost=1 --dlim=2147483647 --factmax=1 --gaussmineff=2147483647 --blkboost=5 --redlmaxabs=537870906 --elmocclim1=500 --elmineff=1093741823 --binlocsdel=0 --unhidewait=2 --elmroundlim=2 --trdmineff=0 --cgreleff=0 --cintincdiv=3 --score=1 --probe=1 --blklarge=1 --elmschedpure=1 --cgrclsrwait=2 --cliff=1 --otfsbump=1 --transredwait=1 --bcaminuse=0 --redloutinc=1000000 --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-524151-lUo_KW.log
[ERROR] > reading solver results from /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-524151-eZFq9j.log
[ERROR] > Result for ParamILS: CRASHED, 182.286, -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-524151-lUo_KW.log - preserving target algorithm output at /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/solver-524151-eZFq9j.log
[ERROR] Output complete
[INFO ] Waiting until validation completion
[WARN ] Algorithm Run Result reported a runtime of 301.155 (secs) that exceeded it's cutoff time of 300.0 (secs) by 1.1549999999999727 (secs). Next warning at 2.1549999999999727 (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-run3.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-run3.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-run3.csv
[INFO ] Validation Results File Written to: /home/lindauer/cssc-disc/crafted_CSSC-GI-300s-2day_smac-disc_lingeling/./validate-test/validationResults-tunertimecsscWorkerValid_mult2-run3.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-run3.csv
[INFO ] Total Reported Runtime: 9070.029105999998 (s), Total of Sum Max(runtime-cutoff,0): 11.236999999999966 (s)
[INFO ] Total Walltime: 9169.339 (s), Total of Sum Max(walltime - cutoff, 0): 31.495000000000005 (s)
[INFO ] Total Difference between Walltime and Runtime (Sum of the amount of wallclock time - sum of the amount of reported CPU time) : 99.30989400000007 seconds
[INFO ] Validation Completed Successfully
