Registering Logic ConstraintAnalyzers...done Registering ConstraintAnalyzers...done Registering SolutionTransformers...done Output dir: ./lectsched-3/default/1322233683_S8WW >config probName = lectsched-3 runName = default presolve = 1 IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". >originalProblem nvars = 25776 binaries = 25319 integers = 457 nrows = 45262 >presolvedProblem hasPresolve = 1 emptyProblem = 0 offset = 0 >presolvedProblem nvars = 7795 binaries = 7613 integers = 182 nrows = 15293 >config firstOptMethod = simplex reOptMethod = primal timeLimit = 7200 iterLimit = 2000 s1IterLimit = 10000 s1MaxMissedDecrease = 70 maxMissedDecrease = 600 maxRestarts = 100 avgFlips = 20 seed = 1322233683 sigmaThr = 0.02 perturbeFromTransformerOutput = 1 optIterLimit = -1 reOptIterLimit = -1 alpha = 0 alphaFactor = 0.9 alphaDist = 0.005 doStage3 = 1 logPerturbation = 0 logDetails = 0 logFracX = 0 logIteration = 0 logTime = 0 logIntX = 0 logIncumbent = 0 logLP = 0 >config randomizedRounding = 1 logDetails = 0 >config ranker = FRAC logDetails = 0 >config reverse = 0 rankNoise = 0.1 noiseAfter = 10 >fpInit Propagators: equiv 0 implies 0 cardinality 2 knapsack 1132 linear 14159 isPureInteger = 1 fixedCnt = 0 isBinary = 0 relaxationTime = 0.228014 relaxationObjValue = 0 >Stage1 #iteration = 20 #iteration = 40 #iteration = 60 #iteration = 80 #iteration = 100 #iteration = 120 s1Iterations = 132 >Stage2 maxFlipsInRestart = 18 #iteration = 140 #iteration = 160 #iteration = 180 #iteration = 200 #iteration = 220 #iteration = 240 #iteration = 260 #iteration = 280 #iteration = 300 #iteration = 320 #iteration = 340 #iteration = 360 #iteration = 380 #iteration = 400 #iteration = 420 #iteration = 440 #iteration = 460 #iteration = 480 #iteration = 500 #iteration = 520 #iteration = 540 #iteration = 560 #iteration = 580 #iteration = 600 #iteration = 620 #iteration = 640 #iteration = 660 #iteration = 680 #iteration = 700 #iteration = 720 #iteration = 740 #iteration = 760 #iteration = 780 #iteration = 800 #iteration = 820 #iteration = 840 #iteration = 860 #iteration = 880 #iteration = 900 #iteration = 920 #iteration = 940 #iteration = 960 #iteration = 980 #iteration = 1000 #iteration = 1020 #iteration = 1040 #iteration = 1060 #iteration = 1080 #iteration = 1100 #iteration = 1120 #iteration = 1140 #iteration = 1160 #iteration = 1180 #iteration = 1200 #iteration = 1220 #iteration = 1240 #iteration = 1260 #iteration = 1280 #iteration = 1300 >Stage3 >stats found = 0 stage = 3 totalLpTime = 46.4749 totalRoundingTime = 14.5129 iterations = 1311 time = 210.985 perturbationCnt = 11 restartCnt = 5 >results No solution found! 211.45user 0.36system 2:03.76elapsed 171%CPU (0avgtext+0avgdata 1489536maxresident)k 0inputs+920outputs (0major+115977minor)pagefaults 0swaps