Registering Logic ConstraintAnalyzers...done
Registering ConstraintAnalyzers...done
Registering SolutionTransformers...done
Output dir: ./ns1854840/default/1322236414_hPUj
>config
	probName = ns1854840
	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 = 135754
	binaries = 135280
	integers = 474
	nrows = 143616
>presolvedProblem
	hasPresolve = 1
	emptyProblem = 0
	offset = 0
>presolvedProblem
	nvars = 135753
	binaries = 135635
	integers = 118
	nrows = 143615
>config
	firstOptMethod = simplex
	reOptMethod = primal
	timeLimit = 7200
	iterLimit = 2000
	s1IterLimit = 10000
	s1MaxMissedDecrease = 70
	maxMissedDecrease = 600
	maxRestarts = 100
	avgFlips = 20
	seed = 1322236414
	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 90440
cardinality 0
knapsack 380
linear 52795

	isPureInteger = 1
	fixedCnt = 0
	isBinary = 0
relaxationTime = 91.1377
relaxationObjValue = 122000
>Stage1
	s1Iterations = 10
>Stage2
	maxFlipsInRestart = 11
Found Solution!
>stats
	found = 1
	stage = 1
	totalLpTime = 158.038
	totalRoundingTime = 1.20407
	iterations = 10
	time = 250.392
	perturbationCnt = 4
	restartCnt = 0
>results
	firstValue = 768000
	firstIt = 10
	firstTime = 250.392
	lastValue = 768000
	lastIt = 10
	lastTime = 250.392

Solution (only non-zero entries are reported): 
C0761 = 1
C0762 = 1
C0763 = 1
C0765 = 1
C0766 = 1
C0767 = 1
C0768 = 1
C0769 = 1
C0770 = 1
C0771 = 1
C0772 = 1
C0773 = 1
C0775 = 1
C3804 = 1
C3814 = 1
C4198 = 1
C5716 = 1
C6097 = 1
C6391 = 1
C6399 = 1
C6401 = 1
C6859 = 1
C8000 = 1
C8001 = 1
C8002 = 1
C8004 = 1
C8005 = 1
C8006 = 1
C8007 = 1
C8008 = 1
C8009 = 1
C8010 = 1
C8011 = 1
C8014 = 1
C10678 = 1
C11043 = 1
C11052 = 1
C11053 = 1
C12955 = 1
C13336 = 1
C13717 = 1
C15240 = 1
C15243 = 1
C15248 = 1
C15250 = 1
C15619 = 1
C15621 = 1
C15622 = 1
C15624 = 1
C15625 = 1
C15627 = 1
C15629 = 1
C15631 = 1
C15632 = 1
C15633 = 1
C15634 = 1
C15635 = 1
C15636 = 1
C15637 = 1
C15737 = 1
C15739 = 1
C15743 = 1
C15745 = 1
C15746 = 1
C17146 = 1
C17184 = 1
C17222 = 1
C17241 = 1
C17318 = 1
C17356 = 1
C17375 = 1
C19930 = 1
C19931 = 1
C21680 = 1
C21718 = 1
C21756 = 1
C21794 = 1
C21813 = 1
C21832 = 1
C21851 = 1
C21889 = 1
C21927 = 1
C21946 = 1
C22041 = 1
C22080 = 1
C22099 = 1
C22137 = 1
C22175 = 1
C22194 = 1
C22213 = 1
C22232 = 1
C22270 = 1
C22308 = 1
C22327 = 1
C22422 = 1
C22441 = 1
C22518 = 1
C22594 = 1
C22613 = 1
C23185 = 1
C23195 = 1
C23204 = 1
C23214 = 1
C23223 = 1
C23242 = 1
C23252 = 1
C23253 = 1
C23255 = 1
C23261 = 1
C23338 = 1
C23347 = 1
C23357 = 1
C23366 = 1
C23376 = 1
C23385 = 1
C23395 = 1
C23414 = 1
C23509 = 1
C24328 = 1
C24347 = 1
C24380 = 1
C24385 = 1
C24423 = 1
C24500 = 1
C24519 = 1
C24557 = 1
C24614 = 1
C24709 = 1
C24728 = 1
C24766 = 1
C24768 = 1
C24804 = 1
C24842 = 1
C24861 = 1
C24900 = 1
C24938 = 1
C24976 = 1
C24995 = 1
C25090 = 1
C25109 = 1
C25128 = 1
C25147 = 1
C25185 = 1
C25192 = 1
C25223 = 1
C25242 = 1
C25261 = 1
C25319 = 1
C25357 = 1
C25376 = 1
C25471 = 1
C25490 = 1
C25521 = 1
C25700 = 1
C25846 = 1
C25847 = 1
C25852 = 1
C25853 = 1
C25865 = 1
C25866 = 1
C25871 = 1
C25890 = 1
C25903 = 1
C25904 = 1
C25909 = 1
C25910 = 1
C25911 = 1
C25914 = 1
C25916 = 1
C25941 = 1
C25942 = 1
C25947 = 1
C26000 = 1
C26004 = 1
C26018 = 1
C26019 = 1
C26023 = 1
C26037 = 1
C26038 = 1
C26042 = 1
C26061 = 1
C28309 = 1
C28328 = 1
C29719 = 1
C29724 = 1
C29757 = 1
C29762 = 1
C29776 = 1
C29781 = 1
C29852 = 1
C29858 = 1
C29871 = 1
C29890 = 1
C29896 = 1
C29909 = 1
C29915 = 1
C29928 = 1
C29966 = 1
C29985 = 1
C30004 = 1
C30441 = 1
C30520 = 1
C30539 = 1
C30613 = 1
C30824 = 1
C30835 = 1
C30862 = 1
C30920 = 1
C30939 = 1
C30996 = 1
C31032 = 1
C31034 = 1
C31072 = 1
C31205 = 1
C31243 = 1
C31248 = 1
C31251 = 1
C31281 = 1
C31377 = 1
C31415 = 1
C31434 = 1
C31891 = 1
C32719 = 1
C32727 = 1
C32729 = 1
C32757 = 1
C32758 = 1
C32760 = 1
C32761 = 1
C32765 = 1
C32766 = 1
C32767 = 1
C32786 = 1
C32795 = 1
C32796 = 1
C32803 = 1
C32804 = 1
C32805 = 1
C32824 = 1
C32843 = 1
C32928 = 1
C32929 = 1
C32931 = 1
C32937 = 1
C32938 = 1
C32939 = 1
C32958 = 1
C32977 = 1
C32996 = 1
C33034 = 1
C33053 = 1
C33472 = 1
C33491 = 1
C33494 = 1
C33529 = 1
C33567 = 1
C33586 = 1
C33605 = 1
C33624 = 1
C33643 = 1
C33662 = 1
C33665 = 1
C33720 = 1
C33739 = 1
C33834 = 1
C33853 = 1
C33872 = 1
C33910 = 1
C33913 = 1
C33929 = 1
C33967 = 1
C33970 = 1
C33986 = 1
C34005 = 1
C34024 = 1
C34043 = 1
C34046 = 1
C34081 = 1
C34120 = 1
C34253 = 1
C34256 = 1
C34257 = 1
C34292 = 1
C34294 = 1
C34295 = 1
C34329 = 1
C34424 = 1
C34427 = 1
C34428 = 1
C34462 = 1
C34465 = 1
C34481 = 1
C37281 = 1
C37336 = 1
C37337 = 1
C37338 = 1
C37339 = 1
C37341 = 1
C37342 = 1
C37343 = 1
C37344 = 1
C37345 = 1
C37347 = 1
C37352 = 1
C37453 = 1
C37526 = 1
C37527 = 1
C37529 = 1
C37534 = 1
C37535 = 1
C37536 = 1
C37548 = 1
C37586 = 1
C37729 = 1
C41435 = 1
C41454 = 1
C41492 = 1
C41495 = 1
C41520 = 1
C41526 = 1
C41528 = 1
C41530 = 1
C41533 = 1
C41534 = 1
C41587 = 1
C41606 = 1
C41625 = 1
C41873 = 1
C41911 = 1
C44955 = 1
C44956 = 1
C44957 = 1
C44959 = 1
C44960 = 1
C44961 = 1
C44962 = 1
C44963 = 1
C44964 = 1
C44965 = 1
C44967 = 1
C44969 = 1
C45092 = 1
C45931 = 1
C46312 = 1
C47618 = 1
C47626 = 1
C47630 = 1
C48772 = 1
C48773 = 1
C48979 = 1
C48981 = 1
C48982 = 1
C49075 = 1
C49148 = 1
C49151 = 1
C49265 = 1
C51816 = 1
C51818 = 1
C51819 = 1
C51820 = 1
C51821 = 1
C51824 = 1
C51826 = 1
C51827 = 1
C51830 = 1
C51913 = 1
C53552 = 1
C53571 = 1
C54428 = 1
C54474 = 1
C54475 = 1
C54477 = 1
C54482 = 1
C54483 = 1
C54485 = 1
C54489 = 1
C54695 = 1
C54705 = 1
C54714 = 1
C55878 = 1
C55951 = 1
C56008 = 1
C56011 = 1
C56106 = 1
C56240 = 1
C56316 = 1
C56392 = 1
C56430 = 1
C56487 = 1
C56584 = 1
C57363 = 1
C57440 = 1
C57535 = 1
C57537 = 1
C57539 = 1
C57543 = 1
C57545 = 1
C57546 = 1
C57550 = 1
C57551 = 1
C57687 = 1
C57913 = 1
C57914 = 1
C57916 = 1
C57918 = 1
C57920 = 1
C57921 = 1
C57922 = 1
C57924 = 1
C57927 = 1
C60412 = 1
C62488 = 1
C62869 = 1
C65152 = 1
C65153 = 1
C65154 = 1
C65155 = 1
C65157 = 1
C65158 = 1
C65159 = 1
C65160 = 1
C65161 = 1
C65163 = 1
C65166 = 1
C65169 = 1
C65309 = 1
C67708 = 1
C67816 = 1
C67822 = 1
C67824 = 1
C67825 = 1
C68208 = 1
C68210 = 1
C69727 = 1
C70184 = 1
C71403 = 1
C72391 = 1
C72392 = 1
C72393 = 1
C72394 = 1
C72396 = 1
C72397 = 1
C72398 = 1
C72399 = 1
C72400 = 1
C72402 = 1
C72405 = 1
C72408 = 1
C75055 = 1
C75061 = 1
C75063 = 1
C75064 = 1
C75195 = 1
C76966 = 1
C77097 = 1
C77100 = 1
C77252 = 1
C77347 = 1
C77938 = 1
C78109 = 1
C78319 = 1
C78357 = 1
C78395 = 1
C78490 = 1
C78528 = 1
C78738 = 1
C78776 = 1
C78871 = 1
C78909 = 1
C79500 = 1
C79501 = 1
C79635 = 1
C79641 = 1
C79671 = 1
C79804 = 1
C79814 = 1
C79823 = 1
C79832 = 1
C79833 = 1
C79861 = 1
C79976 = 1
C79984 = 1
C79985 = 1
C79995 = 1
C80003 = 1
C80004 = 1
C80012 = 1
C80013 = 1
C80014 = 1
C80016 = 1
C80017 = 1
C80018 = 1
C80022 = 1
C80023 = 1
C80024 = 1
C80025 = 1
C80026 = 1
C80027 = 1
C80028 = 1
C81747 = 1
C81785 = 1
C81823 = 1
C81919 = 1
C81957 = 1
C82166 = 1
C82204 = 1
C82300 = 1
C82338 = 1
C86758 = 1
C86774 = 1
C86775 = 1
C86777 = 1
C86782 = 1
C86783 = 1
C86869 = 1
C86870 = 1
C86872 = 1
C86874 = 1
C86877 = 1
C86878 = 1
C86879 = 1
C86880 = 1
C86907 = 1
C86908 = 1
C86910 = 1
C86916 = 1
C86917 = 1
C86967 = 1
C87005 = 1
C87786 = 1
C87805 = 1
C87843 = 1
C87881 = 1
C87958 = 1
C87977 = 1
C88015 = 1
C88025 = 1
C88167 = 1
C88178 = 1
C88186 = 1
C88224 = 1
C88236 = 1
C88262 = 1
C88320 = 1
C88339 = 1
C88350 = 1
C88358 = 1
C88393 = 1
C88396 = 1
C88406 = 1
C88407 = 1
C88472 = 1
C90073 = 1
C90130 = 1
C90301 = 1
C90303 = 1
C90304 = 1
C90511 = 1
C90514 = 1
C90628 = 1
C90671 = 1
C90682 = 1
C91330 = 1
C91349 = 1
C91482 = 1
C94488 = 1
C94489 = 1
C94490 = 1
C94491 = 1
C94492 = 1
C94494 = 1
C94495 = 1
C94496 = 1
C94497 = 1
C94498 = 1
C94499 = 1
C94501 = 1
C94502 = 1
C94505 = 1
C94549 = 1
C94556 = 1
C97540 = 1
C97578 = 1
C97597 = 1
C98283 = 1
C98293 = 1
C98306 = 1
C98350 = 1
C98360 = 1
C98362 = 1
C98363 = 1
C98474 = 1
C98512 = 1
C98645 = 1
C98664 = 1
C98683 = 1
C98684 = 1
C98721 = 1
C98779 = 1
C98798 = 1
C101691 = 1
C101729 = 1
C101731 = 1
C101734 = 1
C101735 = 1
C101738 = 1
C101740 = 1
C101741 = 1
C101786 = 1
C101788 = 1
C102112 = 1
C104767 = 1
C104768 = 1
C104770 = 1
C104776 = 1
C104777 = 1
C104779 = 1
C104782 = 1
C104827 = 1
C104836 = 1
C105544 = 1
C105545 = 1
C105714 = 1
C105733 = 1
C105790 = 1
C105828 = 1
C105866 = 1
C105913 = 1
C105923 = 1
C105942 = 1
C106000 = 1
C106019 = 1
C108400 = 1
C108406 = 1
C108588 = 1
C108590 = 1
C108592 = 1
C108597 = 1
C108599 = 1
C108600 = 1
C108645 = 1
C108647 = 1
C108651 = 1
C108654 = 1
C108664 = 1
C108666 = 1
C108673 = 1
C108933 = 1
C108966 = 1
C108967 = 1
C108969 = 1
C108971 = 1
C108974 = 1
C108975 = 1
C108976 = 1
C108990 = 1
C109026 = 1
C109028 = 1
C109047 = 1
C109409 = 1
C109428 = 1
C111812 = 1
C111828 = 1
C112018 = 1
C112021 = 1
C112076 = 1
C112079 = 1
C112095 = 1
C112098 = 1
C112402 = 1
C112457 = 1
C112460 = 1
C112476 = 1
C112479 = 1
C112536 = 1
C112555 = 1
C112574 = 1
C112593 = 1
C112612 = 1
C112650 = 1
C112707 = 1
C112745 = 1
C112764 = 1
C112783 = 1
C112802 = 1
C112821 = 1
C112917 = 1
C112955 = 1
C112974 = 1
C112993 = 1
C113031 = 1
C113088 = 1
C113126 = 1
C113145 = 1
C113153 = 1
C113164 = 1
C113183 = 1
C113202 = 1
C113221 = 1
C113222 = 1
C113545 = 1
C113551 = 1
C113559 = 1
C113561 = 1
C113926 = 1
C115448 = 1
C115827 = 1
C115833 = 1
C116164 = 1
C116214 = 1
C116595 = 1
C117352 = 1
C117729 = 1
C117730 = 1
C117736 = 1
C117737 = 1
C117738 = 1
C117740 = 1
C117742 = 1
C117743 = 1
C117757 = 1
C118124 = 1
C118505 = 1
C120353 = 1
C120391 = 1
C120410 = 1
C120411 = 1
C120412 = 1
C120419 = 1
C120421 = 1
C120422 = 1
C121169 = 1
C121173 = 1
C121554 = 1
C121555 = 1
C121557 = 1
C121560 = 1
C122868 = 1
C123059 = 1
C123066 = 1
C123067 = 1
C123068 = 1
C123076 = 1
C123078 = 1
C126124 = 1
C126130 = 1
C126132 = 1
C126135 = 1
C127263 = 1
C127273 = 1
C128911 = 1
C128968 = 1
C129165 = 1
C129166 = 1
C129167 = 1
C129168 = 1
C129169 = 1
C129171 = 1
C129174 = 1
C129176 = 1
C129177 = 1
C129178 = 1
C129179 = 1
C129180 = 1
C129181 = 1
C129562 = 1
C129924 = 1
C132153 = 1
C132225 = 1
C132229 = 1
C132231 = 1
C132234 = 1
C132240 = 1
C132603 = 1
C132610 = 1
C132612 = 1
C135262 = 1
C135264 = 1
C135266 = 1
C135267 = 1
C135268 = 1
C135273 = 1
C135275 = 1
C135276 = 1
C135277 = 1
C135278 = 1
C135279 = 1
C135283 = 1
C135287 = 1
C135290 = 1
C135293 = 1
C135294 = 1
C135297 = 1
C135298 = 1
C135299 = 1
C135303 = 1
C135304 = 1
C135305 = 1
C135307 = 1
C135308 = 1
C135309 = 1
C135310 = 1
C135311 = 1
C135312 = 1
C135313 = 1
C135315 = 1
C135316 = 1
C135317 = 1
C135318 = 1
C135320 = 1
C135321 = 1
C135322 = 1
C135323 = 1
C135324 = 1
C135330 = 1
C135331 = 1
C135333 = 1
C135334 = 1
C135337 = 1
C135338 = 1
C135341 = 1
C135346 = 1
C135347 = 1
C135348 = 1
C135350 = 1
C135354 = 1
C135357 = 1
C135358 = 1
C135361 = 1
C135364 = 1
C135365 = 1
C135366 = 1
C135368 = 1
C135369 = 1
C135370 = 1
C135371 = 1
C135372 = 1
C135375 = 1
C135376 = 1
C135377 = 1
C135378 = 1
C135379 = 1
C135383 = 1
C135385 = 1
C135386 = 1
C135387 = 1
C135390 = 1
C135392 = 1
C135393 = 1
C135394 = 1
C135395 = 1
C135397 = 1
C135398 = 1
C135410 = 1
C135414 = 1
C135415 = 1
C135417 = 1
C135433 = 1
C135434 = 1
C135435 = 1
C135451 = 1
C135473 = 1
C135482 = 1
C135509 = 1
C135520 = 1
C135528 = 1
C135539 = 1
C135546 = 1
C135547 = 1
C135563 = 1
C135564 = 1
C135578 = 1
C135582 = 1
C135583 = 1
C135585 = 1
C135601 = 1
C135602 = 1
C135604 = 1
C135639 = 1
C135658 = 1
C135677 = 1
C135695 = 1
C135696 = 1
C135697 = 1
C135698 = 1
C135702 = 1
C135703 = 1
C135704 = 1
C135705 = 1
C135707 = 1
C135708 = 1
C135709 = 1
C135710 = 1
C135715 = 1
C135717 = 1
C135718 = 1
C135722 = 1
C135730 = 1
C135731 = 1
C135733 = 1
C135738 = 1
C135739 = 1
C135740 = 1
C135746 = 1
C135747 = 1
C135754 = 1
253.10user 0.97system 3:28.55elapsed 121%CPU (0avgtext+0avgdata 2390304maxresident)k
0inputs+8848outputs (0major+552462minor)pagefaults 0swaps