Registering Logic ConstraintAnalyzers...done Registering ConstraintAnalyzers...done Registering SolutionTransformers...done Output dir: ./lectsched-1/default/1322233512_R8VW >config probName = lectsched-1 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 = 28718 binaries = 28236 integers = 482 nrows = 50108 >presolvedProblem hasPresolve = 1 emptyProblem = 0 offset = 0 >presolvedProblem nvars = 8757 binaries = 8568 integers = 189 nrows = 17209 >config firstOptMethod = simplex reOptMethod = primal timeLimit = 7200 iterLimit = 2000 s1IterLimit = 10000 s1MaxMissedDecrease = 70 maxMissedDecrease = 600 maxRestarts = 100 avgFlips = 20 seed = 1322233512 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 3 cardinality 0 knapsack 1791 linear 15415 isPureInteger = 1 fixedCnt = 0 isBinary = 0 relaxationTime = 0.420026 relaxationObjValue = 0 >Stage1 #iteration = 20 #iteration = 40 #iteration = 60 #iteration = 80 #iteration = 100 #iteration = 120 s1Iterations = 130 >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 #iteration = 1320 #iteration = 1340 #iteration = 1360 #iteration = 1380 #iteration = 1400 #iteration = 1420 #iteration = 1440 #iteration = 1460 #iteration = 1480 #iteration = 1500 #iteration = 1520 #iteration = 1540 >Stage3 >stats found = 0 stage = 3 totalLpTime = 64.332 totalRoundingTime = 19.9053 iterations = 1550 time = 284.886 perturbationCnt = 2 restartCnt = 1 >results No solution found! 285.44user 0.50system 2:50.81elapsed 167%CPU (0avgtext+0avgdata 1808784maxresident)k 0inputs+1048outputs (0major+143865minor)pagefaults 0swaps