Registering Logic ConstraintAnalyzers...done
Registering ConstraintAnalyzers...done
Registering SolutionTransformers...done
Output dir: ./rail01/default/1322242187_DIi1
>config
	probName = rail01
	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 = 117527
	binaries = 117527
	integers = 0
	nrows = 46843
>presolvedProblem
	hasPresolve = 1
	emptyProblem = 0
	offset = 0
>presolvedProblem
	nvars = 86625
	binaries = 86625
	integers = 0
	nrows = 23471
>config
	firstOptMethod = simplex
	reOptMethod = primal
	timeLimit = 7200
	iterLimit = 2000
	s1IterLimit = 10000
	s1MaxMissedDecrease = 70
	maxMissedDecrease = 600
	maxRestarts = 100
	avgFlips = 20
	seed = 1322242187
	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 73
implies 0
cardinality 871
knapsack 0
linear 22527

	isPureInteger = 1
	fixedCnt = 0
	isBinary = 1
relaxationTime = 46.4749
relaxationObjValue = -90.7671
>Stage1
	s1Iterations = 12
>Stage2
	maxFlipsInRestart = 0
Found Solution!
>stats
	found = 1
	stage = 1
	totalLpTime = 455.228
	totalRoundingTime = 0.520032
	iterations = 12
	time = 502.251
	perturbationCnt = 1
	restartCnt = 4
>results
	firstValue = -20.8067
	firstIt = 12
	firstTime = 502.251
	lastValue = -20.8067
	lastIt = 12
	lastTime = 502.251

Solution (only non-zero entries are reported): 
x3 = 1
x11 = 1
x19 = 1
x27 = 1
x35 = 1
x43 = 1
x51 = 1
x59 = 1
x67 = 1
x75 = 1
x83 = 1
x91 = 1
x97 = 1
x105 = 1
x113 = 1
x121 = 1
x129 = 1
x137 = 1
x145 = 1
x153 = 1
x161 = 1
x169 = 1
x177 = 1
x185 = 1
x196 = 1
x203 = 1
x210 = 1
x217 = 1
x224 = 1
x235 = 1
x248 = 1
x261 = 1
x274 = 1
x287 = 1
x300 = 1
x313 = 1
x337 = 1
x344 = 1
x351 = 1
x358 = 1
x365 = 1
x372 = 1
x379 = 1
x386 = 1
x393 = 1
x400 = 1
x407 = 1
x414 = 1
x421 = 1
x428 = 1
x435 = 1
x442 = 1
x449 = 1
x456 = 1
x463 = 1
x470 = 1
x477 = 1
x484 = 1
x491 = 1
x498 = 1
x503 = 1
x511 = 1
x519 = 1
x527 = 1
x535 = 1
x542 = 1
x550 = 1
x558 = 1
x566 = 1
x574 = 1
x583 = 1
x591 = 1
x599 = 1
x607 = 1
x615 = 1
x623 = 1
x631 = 1
x639 = 1
x647 = 1
x655 = 1
x659 = 1
x667 = 1
x675 = 1
x683 = 1
x691 = 1
x699 = 1
x707 = 1
x715 = 1
x723 = 1
x731 = 1
x739 = 1
x746 = 1
x753 = 1
x760 = 1
x767 = 1
x775 = 1
x788 = 1
x801 = 1
x814 = 1
x827 = 1
x840 = 1
x853 = 1
x877 = 1
x885 = 1
x893 = 1
x901 = 1
x909 = 1
x917 = 1
x925 = 1
x933 = 1
x941 = 1
x949 = 1
x957 = 1
x965 = 1
x2825 = 1
x2833 = 1
x2841 = 1
x2849 = 1
x2857 = 1
x2865 = 1
x2873 = 1
x2881 = 1
x2905 = 1
x2912 = 1
x2919 = 1
x2926 = 1
x2933 = 1
x2940 = 1
x2947 = 1
x8301 = 1
x8309 = 1
x8317 = 1
x8325 = 1
x8333 = 1
x8341 = 1
x8364 = 1
x8372 = 1
x8381 = 1
x8401 = 1
x8409 = 1
x8417 = 1
x8427 = 1
x8442 = 1
x8448 = 1
x8458 = 1
x8466 = 1
x8474 = 1
x8492 = 1
x8500 = 1
x8508 = 1
x8516 = 1
x8525 = 1
x8532 = 1
x8539 = 1
x8546 = 1
x8553 = 1
x8560 = 1
x8567 = 1
x8581 = 1
x8607 = 1
x8633 = 1
x8650 = 1
x8667 = 1
x8684 = 1
x8701 = 1
x8734 = 1
x8742 = 1
x8750 = 1
x8758 = 1
x8766 = 1
x8774 = 1
x8785 = 1
x8804 = 1
x8822 = 1
x8830 = 1
x8838 = 1
x8846 = 1
x8854 = 1
x8862 = 1
x8881 = 1
x8915 = 1
x8949 = 1
x8983 = 1
x9017 = 1
x9051 = 1
x9085 = 1
x9149 = 1
x9332 = 1
x9516 = 1
x9623 = 1
x9776 = 1
x9873 = 1
x9970 = 1
x10067 = 1
x10439 = 1
x10447 = 1
x10455 = 1
x10463 = 1
x10471 = 1
x10479 = 1
x10487 = 1
x10500 = 1
x10527 = 1
x10550 = 1
x10570 = 1
x10591 = 1
x10611 = 1
x10631 = 1
x10651 = 1
x11088 = 1
x11096 = 1
x11104 = 1
x11112 = 1
x11120 = 1
x11128 = 1
x11136 = 1
x11164 = 1
x11171 = 1
x11178 = 1
x11185 = 1
x11192 = 1
x11199 = 1
x11206 = 1
x12986 = 1
x12994 = 1
x13002 = 1
x13010 = 1
x13018 = 1
x13026 = 1
x13036 = 1
x13054 = 1
x13074 = 1
x13082 = 1
x13090 = 1
x13098 = 1
x13106 = 1
x13114 = 1
x15502 = 1
x15510 = 1
x15518 = 1
x15526 = 1
x15534 = 1
x15542 = 1
x15550 = 1
x15566 = 1
x15587 = 1
x15594 = 1
x15601 = 1
x15608 = 1
x15615 = 1
x15622 = 1
x15629 = 1
x15632 = 1
x15640 = 1
x15648 = 1
x15656 = 1
x15664 = 1
x15672 = 1
x15680 = 1
x15694 = 1
x15714 = 1
x15728 = 1
x15736 = 1
x15744 = 1
x15752 = 1
x15760 = 1
x11151 = 1
x15790 = 1
x15768 = 1
x15814 = 1
x15796 = 1
x15797 = 1
x15798 = 1
x15799 = 1
x15800 = 1
x15778 = 1
x15835 = 1
x15806 = 1
x15807 = 1
x15808 = 1
x15809 = 1
x15786 = 1
x15850 = 1
x16149 = 1
x16168 = 1
x16169 = 1
x16170 = 1
x16171 = 1
x16172 = 1
x16173 = 1
x16174 = 1
x16175 = 1
x16176 = 1
x16177 = 1
x15868 = 1
x16496 = 1
x16188 = 1
x15879 = 1
x16550 = 1
x15940 = 1
x16855 = 1
x16158 = 1
x16159 = 1
x16160 = 1
x16161 = 1
x16162 = 1
x16031 = 1
x17311 = 1
x16263 = 1
x16264 = 1
x16037 = 1
x17344 = 1
x16437 = 1
x16438 = 1
x16439 = 1
x16440 = 1
x16145 = 1
x17880 = 1
x18358 = 1
x18377 = 1
x18378 = 1
x18379 = 1
x18380 = 1
x18381 = 1
x18382 = 1
x18383 = 1
x18384 = 1
x18385 = 1
x18386 = 1
x17910 = 1
x18705 = 1
x18396 = 1
x18397 = 1
x17921 = 1
x18759 = 1
x17982 = 1
x19064 = 1
x18367 = 1
x18368 = 1
x18369 = 1
x18370 = 1
x18371 = 1
x18073 = 1
x19520 = 1
x18472 = 1
x18473 = 1
x18079 = 1
x20971 = 1
x20124 = 1
x20125 = 1
x20126 = 1
x18313 = 1
x21698 = 1
x18646 = 1
x18647 = 1
x18648 = 1
x18649 = 1
x18187 = 1
x20089 = 1
x22205 = 1
x22224 = 1
x22225 = 1
x22226 = 1
x22227 = 1
x22228 = 1
x22229 = 1
x22230 = 1
x22231 = 1
x22232 = 1
x22233 = 1
x21757 = 1
x22552 = 1
x22242 = 1
x22243 = 1
x22244 = 1
x21768 = 1
x22606 = 1
x21829 = 1
x22911 = 1
x22214 = 1
x22215 = 1
x22216 = 1
x22217 = 1
x22218 = 1
x21920 = 1
x23367 = 1
x22319 = 1
x22320 = 1
x21926 = 1
x24818 = 1
x23971 = 1
x23972 = 1
x23973 = 1
x22160 = 1
x25548 = 1
x22493 = 1
x22494 = 1
x22495 = 1
x22496 = 1
x22034 = 1
x23936 = 1
x26110 = 1
x26275 = 1
x26276 = 1
x26277 = 1
x26278 = 1
x26279 = 1
x26280 = 1
x26281 = 1
x26282 = 1
x26283 = 1
x26284 = 1
x25632 = 1
x26764 = 1
x26149 = 1
x26150 = 1
x25653 = 1
x26931 = 1
x25752 = 1
x27723 = 1
x26121 = 1
x26122 = 1
x26123 = 1
x26124 = 1
x26125 = 1
x26126 = 1
x25887 = 1
x28804 = 1
x26222 = 1
x26223 = 1
x25895 = 1
x28874 = 1
x26595 = 1
x26596 = 1
x26597 = 1
x26598 = 1
x26093 = 1
x30451 = 1
x31435 = 1
x31598 = 1
x31599 = 1
x31600 = 1
x31601 = 1
x31602 = 1
x31603 = 1
x31604 = 1
x31605 = 1
x31606 = 1
x31607 = 1
x30964 = 1
x32045 = 1
x31473 = 1
x31474 = 1
x30988 = 1
x32212 = 1
x31074 = 1
x32814 = 1
x31447 = 1
x31448 = 1
x31449 = 1
x31450 = 1
x31451 = 1
x31220 = 1
x33837 = 1
x31545 = 1
x31546 = 1
x31229 = 1
x33899 = 1
x36462 = 1
x36492 = 1
x36493 = 1
x36494 = 1
x36495 = 1
x36496 = 1
x36497 = 1
x36498 = 1
x36499 = 1
x36500 = 1
x36501 = 1
x36502 = 1
x36503 = 1
x36504 = 1
x36505 = 1
x36506 = 1
x36507 = 1
x36508 = 1
x36509 = 1
x36510 = 1
x36511 = 1
x36512 = 1
x35673 = 1
x37198 = 1
x36542 = 1
x36543 = 1
x36544 = 1
x36545 = 1
x36546 = 1
x36547 = 1
x35708 = 1
x37337 = 1
x35829 = 1
x37821 = 1
x36479 = 1
x36480 = 1
x36481 = 1
x36482 = 1
x36483 = 1
x36029 = 1
x38622 = 1
x36757 = 1
x36758 = 1
x36759 = 1
x36760 = 1
x36761 = 1
x36762 = 1
x36763 = 1
x36764 = 1
x36045 = 1
x40978 = 1
x39710 = 1
x39711 = 1
x39712 = 1
x39713 = 1
x39714 = 1
x39715 = 1
x36419 = 1
x40106 = 1
x42624 = 1
x42655 = 1
x42656 = 1
x42657 = 1
x42658 = 1
x41770 = 1
x43322 = 1
x42679 = 1
x42680 = 1
x42681 = 1
x42682 = 1
x42683 = 1
x42684 = 1
x42685 = 1
x42686 = 1
x42687 = 1
x42688 = 1
x42689 = 1
x42690 = 1
x42691 = 1
x42692 = 1
x42693 = 1
x42694 = 1
x42695 = 1
x42696 = 1
x42697 = 1
x42698 = 1
x42699 = 1
x41795 = 1
x43447 = 1
x42723 = 1
x42724 = 1
x42725 = 1
x42726 = 1
x42727 = 1
x42728 = 1
x42729 = 1
x42730 = 1
x42731 = 1
x42732 = 1
x42733 = 1
x42734 = 1
x41830 = 1
x47599 = 1
x46657 = 1
x46658 = 1
x46659 = 1
x42471 = 1
x49360 = 1
x41951 = 1
x44226 = 1
x42663 = 1
x42664 = 1
x42665 = 1
x42666 = 1
x41993 = 1
x48097 = 1
x42553 = 1
x49769 = 1
x42642 = 1
x42643 = 1
x42644 = 1
x42645 = 1
x42646 = 1
x42159 = 1
x45267 = 1
x42944 = 1
x42945 = 1
x42946 = 1
x42947 = 1
x42948 = 1
x42949 = 1
x42950 = 1
x42951 = 1
x42175 = 1
x48642 = 1
x46689 = 1
x46690 = 1
x46691 = 1
x46692 = 1
x46693 = 1
x46694 = 1
x42573 = 1
x49853 = 1
x42233 = 1
x48791 = 1
x42616 = 1
x47383 = 1
x50604 = 1
x50635 = 1
x50636 = 1
x50637 = 1
x50638 = 1
x49937 = 1
x51302 = 1
x50659 = 1
x50660 = 1
x50661 = 1
x50662 = 1
x50663 = 1
x50664 = 1
x50665 = 1
x50666 = 1
x50667 = 1
x50668 = 1
x50669 = 1
x50670 = 1
x50671 = 1
x50672 = 1
x50673 = 1
x50674 = 1
x50675 = 1
x50676 = 1
x50677 = 1
x50678 = 1
x50679 = 1
x49962 = 1
x51427 = 1
x50705 = 1
x50706 = 1
x50707 = 1
x50708 = 1
x50709 = 1
x50710 = 1
x50711 = 1
x50712 = 1
x50713 = 1
x50714 = 1
x49997 = 1
x51600 = 1
x50118 = 1
x52206 = 1
x50643 = 1
x50644 = 1
x50645 = 1
x50646 = 1
x50165 = 1
x52440 = 1
x50622 = 1
x50623 = 1
x50624 = 1
x50625 = 1
x50626 = 1
x50326 = 1
x53247 = 1
x50924 = 1
x50925 = 1
x50926 = 1
x50927 = 1
x50928 = 1
x50929 = 1
x50930 = 1
x50931 = 1
x50342 = 1
x53326 = 1
x50651 = 1
x50652 = 1
x50653 = 1
x50654 = 1
x50404 = 1
x53635 = 1
x55306 = 1
x55337 = 1
x55338 = 1
x55339 = 1
x55340 = 1
x54639 = 1
x56004 = 1
x55361 = 1
x55362 = 1
x55363 = 1
x55364 = 1
x55365 = 1
x55366 = 1
x55367 = 1
x55368 = 1
x55369 = 1
x55370 = 1
x55371 = 1
x55372 = 1
x55373 = 1
x55374 = 1
x55375 = 1
x55376 = 1
x55377 = 1
x55378 = 1
x55379 = 1
x55380 = 1
x55381 = 1
x54664 = 1
x56129 = 1
x55407 = 1
x55408 = 1
x55409 = 1
x55410 = 1
x55411 = 1
x55412 = 1
x55413 = 1
x55414 = 1
x55415 = 1
x55416 = 1
x54699 = 1
x56302 = 1
x54818 = 1
x56898 = 1
x55345 = 1
x55346 = 1
x55347 = 1
x55348 = 1
x54864 = 1
x57127 = 1
x55324 = 1
x55325 = 1
x55326 = 1
x55327 = 1
x55328 = 1
x55028 = 1
x57949 = 1
x55626 = 1
x55627 = 1
x55628 = 1
x55629 = 1
x55630 = 1
x55631 = 1
x55632 = 1
x55633 = 1
x55044 = 1
x58028 = 1
x55353 = 1
x55354 = 1
x55355 = 1
x55356 = 1
x55105 = 1
x58332 = 1
x59363 = 1
x59337 = 1
x59390 = 1
x59373 = 1
x59374 = 1
x59375 = 1
x59376 = 1
x59377 = 1
x59378 = 1
x59379 = 1
x59380 = 1
x59381 = 1
x59355 = 1
x59408 = 1
x60360 = 1
x60428 = 1
x60429 = 1
x60430 = 1
x59419 = 1
x65700 = 1
x62460 = 1
x62461 = 1
x62462 = 1
x62463 = 1
x59719 = 1
x66844 = 1
x60363 = 1
x60364 = 1
x59449 = 1
x65820 = 1
x62487 = 1
x62488 = 1
x62489 = 1
x62490 = 1
x62491 = 1
x62492 = 1
x62493 = 1
x62494 = 1
x62495 = 1
x62496 = 1
x62497 = 1
x62498 = 1
x62499 = 1
x62500 = 1
x62501 = 1
x62502 = 1
x62503 = 1
x62504 = 1
x62505 = 1
x62506 = 1
x62507 = 1
x59744 = 1
x66994 = 1
x60405 = 1
x60406 = 1
x59479 = 1
x65940 = 1
x59779 = 1
x67204 = 1
x59496 = 1
x61145 = 1
x60376 = 1
x60377 = 1
x60378 = 1
x60379 = 1
x60381 = 1
x60382 = 1
x60383 = 1
x60384 = 1
x60385 = 1
x60386 = 1
x59540 = 1
x61411 = 1
x60454 = 1
x60455 = 1
x59552 = 1
x66233 = 1
x62471 = 1
x62472 = 1
x62473 = 1
x62474 = 1
x59926 = 1
x68087 = 1
x59598 = 1
x61757 = 1
x59611 = 1
x61837 = 1
x60470 = 1
x60471 = 1
x60472 = 1
x59622 = 1
x61904 = 1
x60501 = 1
x60502 = 1
x60503 = 1
x60504 = 1
x60505 = 1
x60506 = 1
x59633 = 1
x66556 = 1
x62752 = 1
x62753 = 1
x62754 = 1
x62755 = 1
x62756 = 1
x62757 = 1
x62758 = 1
x62759 = 1
x60098 = 1
x69109 = 1
x60480 = 1
x59640 = 1
x62014 = 1
x59658 = 1
x66656 = 1
x62482 = 1
x60156 = 1
x69401 = 1
x60397 = 1
x60398 = 1
x60399 = 1
x60400 = 1
x60401 = 1
x60402 = 1
x59694 = 1
x62335 = 1
x59699 = 1
x62364 = 1
x59707 = 1
x62411 = 1
x70182 = 1
x70250 = 1
x70251 = 1
x70252 = 1
x69886 = 1
x70505 = 1
x70185 = 1
x70186 = 1
x69917 = 1
x70692 = 1
x70226 = 1
x70227 = 1
x70228 = 1
x69946 = 1
x70865 = 1
x69963 = 1
x70967 = 1
x70199 = 1
x70200 = 1
x70201 = 1
x70203 = 1
x70204 = 1
x70205 = 1
x70206 = 1
x70207 = 1
x70208 = 1
x70007 = 1
x71233 = 1
x70276 = 1
x70277 = 1
x70018 = 1
x71298 = 1
x70065 = 1
x71579 = 1
x70078 = 1
x71659 = 1
x70292 = 1
x70293 = 1
x70294 = 1
x70089 = 1
x71726 = 1
x70324 = 1
x70325 = 1
x70326 = 1
x70327 = 1
x70328 = 1
x70100 = 1
x71791 = 1
x70300 = 1
x70301 = 1
x70302 = 1
x70107 = 1
x71836 = 1
x70125 = 1
x71939 = 1
x70219 = 1
x70220 = 1
x70221 = 1
x70222 = 1
x70223 = 1
x70224 = 1
x70161 = 1
x72157 = 1
x70166 = 1
x72186 = 1
x70174 = 1
x72233 = 1
x72580 = 1
x72648 = 1
x72649 = 1
x72650 = 1
x72284 = 1
x72903 = 1
x72583 = 1
x72584 = 1
x72312 = 1
x73072 = 1
x72624 = 1
x72625 = 1
x72626 = 1
x72342 = 1
x73251 = 1
x72359 = 1
x73353 = 1
x72597 = 1
x72598 = 1
x72599 = 1
x72601 = 1
x72602 = 1
x72603 = 1
x72604 = 1
x72605 = 1
x72606 = 1
x72405 = 1
x73631 = 1
x72674 = 1
x72675 = 1
x72416 = 1
x73696 = 1
x72460 = 1
x73959 = 1
x72476 = 1
x74057 = 1
x72690 = 1
x72691 = 1
x72692 = 1
x72487 = 1
x74124 = 1
x72722 = 1
x72723 = 1
x72724 = 1
x72725 = 1
x72726 = 1
x72498 = 1
x74189 = 1
x72698 = 1
x72699 = 1
x72700 = 1
x72504 = 1
x74228 = 1
x72520 = 1
x74319 = 1
x72617 = 1
x72618 = 1
x72619 = 1
x72620 = 1
x72621 = 1
x72622 = 1
x72556 = 1
x74537 = 1
x72564 = 1
x74584 = 1
x72572 = 1
x74631 = 1
x74791 = 1
x74832 = 1
x74833 = 1
x74834 = 1
x74682 = 1
x74915 = 1
x74793 = 1
x74794 = 1
x74699 = 1
x74966 = 1
x74705 = 1
x74984 = 1
x74807 = 1
x74808 = 1
x74809 = 1
x74810 = 1
x74811 = 1
x74812 = 1
x74813 = 1
x74814 = 1
x74727 = 1
x75051 = 1
x74858 = 1
x74859 = 1
x74730 = 1
x75059 = 1
x74744 = 1
x75102 = 1
x74874 = 1
x74875 = 1
x74876 = 1
x74755 = 1
x75135 = 1
x74882 = 1
x74883 = 1
x74884 = 1
x74763 = 1
x75160 = 1
x74768 = 1
x75173 = 1
x74825 = 1
x74826 = 1
x74827 = 1
x74828 = 1
x74829 = 1
x74830 = 1
x74782 = 1
x75216 = 1
x74783 = 1
x75218 = 1
x75354 = 1
x75395 = 1
x75396 = 1
x75397 = 1
x75245 = 1
x75478 = 1
x75356 = 1
x75357 = 1
x75262 = 1
x75529 = 1
x75363 = 1
x75268 = 1
x75547 = 1
x75369 = 1
x75370 = 1
x75371 = 1
x75372 = 1
x75373 = 1
x75374 = 1
x75375 = 1
x75376 = 1
x75377 = 1
x75290 = 1
x75614 = 1
x75421 = 1
x75422 = 1
x75293 = 1
x75622 = 1
x75307 = 1
x75665 = 1
x75437 = 1
x75438 = 1
x75439 = 1
x75318 = 1
x75698 = 1
x75445 = 1
x75446 = 1
x75447 = 1
x75326 = 1
x75723 = 1
x75461 = 1
x75332 = 1
x75739 = 1
x75388 = 1
x75389 = 1
x75390 = 1
x75391 = 1
x75392 = 1
x75393 = 1
x75345 = 1
x75779 = 1
x75346 = 1
x75781 = 1
x76540 = 1
x76641 = 1
x76642 = 1
x76643 = 1
x75811 = 1
x76901 = 1
x76544 = 1
x76545 = 1
x75845 = 1
x77139 = 1
x76551 = 1
x75884 = 1
x77412 = 1
x76557 = 1
x76558 = 1
x76559 = 1
x76562 = 1
x76563 = 1
x76564 = 1
x76565 = 1
x76566 = 1
x76567 = 1
x75940 = 1
x77806 = 1
x76665 = 1
x76666 = 1
x75951 = 1
x77881 = 1
x76015 = 1
x78330 = 1
x76619 = 1
x76620 = 1
x76621 = 1
x76026 = 1
x78409 = 1
x76037 = 1
x78484 = 1
x76627 = 1
x76628 = 1
x76629 = 1
x76042 = 1
x78524 = 1
x76851 = 1
x76066 = 1
x78686 = 1
x76578 = 1
x76579 = 1
x76580 = 1
x76581 = 1
x76582 = 1
x76583 = 1
x76091 = 1
x78863 = 1
x76103 = 1
x78945 = 1
x87360 = 1
x87459 = 1
x87460 = 1
x87461 = 1
x86634 = 1
x87710 = 1
x87363 = 1
x87364 = 1
x86663 = 1
x87913 = 1
x87369 = 1
x87370 = 1
x86680 = 1
x88032 = 1
x87376 = 1
x87377 = 1
x87378 = 1
x87379 = 1
x87382 = 1
x87383 = 1
x87384 = 1
x87385 = 1
x87386 = 1
x87387 = 1
x86760 = 1
x88594 = 1
x87483 = 1
x87484 = 1
x86767 = 1
x88641 = 1
x86806 = 1
x88915 = 1
x87439 = 1
x87440 = 1
x86833 = 1
x89106 = 1
x87509 = 1
x87510 = 1
x87511 = 1
x86856 = 1
x89265 = 1
x87446 = 1
x87447 = 1
x86862 = 1
x89312 = 1
x87667 = 1
x87668 = 1
x87669 = 1
x86874 = 1
x89390 = 1
x87400 = 1
x87401 = 1
x87402 = 1
x87403 = 1
x86893 = 1
x89525 = 1
x86911 = 1
x89649 = 1
x97433 = 1
x97474 = 1
x97475 = 1
x97476 = 1
x97326 = 1
x97555 = 1
x97435 = 1
x97436 = 1
x97343 = 1
x97606 = 1
x97349 = 1
x97624 = 1
x97449 = 1
x97450 = 1
x97451 = 1
x97452 = 1
x97453 = 1
x97454 = 1
x97455 = 1
x97456 = 1
x97371 = 1
x97691 = 1
x97500 = 1
x97501 = 1
x97374 = 1
x97699 = 1
x97388 = 1
x97742 = 1
x97516 = 1
x97517 = 1
x97398 = 1
x97772 = 1
x97523 = 1
x97524 = 1
x97405 = 1
x97794 = 1
x97538 = 1
x97539 = 1
x97540 = 1
x97413 = 1
x97816 = 1
x97471 = 1
x97472 = 1
x97424 = 1
x97850 = 1
x97425 = 1
x97852 = 1
x97986 = 1
x98027 = 1
x98028 = 1
x98029 = 1
x97879 = 1
x98108 = 1
x97988 = 1
x97989 = 1
x97896 = 1
x98159 = 1
x97902 = 1
x98177 = 1
x98002 = 1
x98003 = 1
x98004 = 1
x98005 = 1
x98006 = 1
x98007 = 1
x98008 = 1
x98009 = 1
x97924 = 1
x98244 = 1
x98053 = 1
x98054 = 1
x97927 = 1
x98252 = 1
x97941 = 1
x98295 = 1
x98069 = 1
x98070 = 1
x97951 = 1
x98325 = 1
x98076 = 1
x98077 = 1
x97958 = 1
x98347 = 1
x98091 = 1
x98092 = 1
x98093 = 1
x97966 = 1
x98369 = 1
x98024 = 1
x98025 = 1
x97977 = 1
x98403 = 1
x97978 = 1
x98405 = 1
x98704 = 1
x98747 = 1
x98748 = 1
x98749 = 1
x98432 = 1
x98999 = 1
x98706 = 1
x98707 = 1
x98449 = 1
x99084 = 1
x98712 = 1
x98713 = 1
x98461 = 1
x99144 = 1
x98719 = 1
x98720 = 1
x98721 = 1
x98722 = 1
x98724 = 1
x98725 = 1
x98726 = 1
x98727 = 1
x98728 = 1
x98729 = 1
x98542 = 1
x99550 = 1
x98773 = 1
x98774 = 1
x98553 = 1
x99604 = 1
x98577 = 1
x99725 = 1
x98789 = 1
x98790 = 1
x98607 = 1
x99876 = 1
x98824 = 1
x98825 = 1
x98826 = 1
x98631 = 1
x99995 = 1
x98796 = 1
x98797 = 1
x98637 = 1
x100028 = 1
x98978 = 1
x98646 = 1
x100069 = 1
x98744 = 1
x98745 = 1
x98662 = 1
x100150 = 1
x98682 = 1
x100250 = 1
x98808 = 1
x98809 = 1
x98810 = 1
x102558 = 1
x102559 = 1
x102560 = 1
x102561 = 1
x102562 = 1
x102563 = 1
x102564 = 1
x102565 = 1
x102566 = 1
x102567 = 1
x102568 = 1
x100644 = 1
x102860 = 1
x102579 = 1
x100655 = 1
x104953 = 1
x100946 = 1
x100947 = 1
x100948 = 1
x100362 = 1
x101198 = 1
x100905 = 1
x100906 = 1
x100379 = 1
x101283 = 1
x100912 = 1
x100390 = 1
x101338 = 1
x100919 = 1
x100920 = 1
x100921 = 1
x100923 = 1
x100924 = 1
x100925 = 1
x100926 = 1
x100927 = 1
x100928 = 1
x100471 = 1
x101744 = 1
x100972 = 1
x100973 = 1
x100483 = 1
x104561 = 1
x102656 = 1
x102657 = 1
x100799 = 1
x105680 = 1
x100506 = 1
x101919 = 1
x100988 = 1
x100989 = 1
x100537 = 1
x102075 = 1
x101023 = 1
x101024 = 1
x100561 = 1
x102194 = 1
x101025 = 1
x100567 = 1
x102227 = 1
x101177 = 1
x100575 = 1
x102263 = 1
x100591 = 1
x102344 = 1
x100612 = 1
x102448 = 1
x107717 = 1
x107718 = 1
x107719 = 1
x107720 = 1
x107721 = 1
x107722 = 1
x107723 = 1
x107724 = 1
x107725 = 1
x107726 = 1
x106532 = 1
x108109 = 1
x107837 = 1
x107838 = 1
x107839 = 1
x107840 = 1
x107841 = 1
x107842 = 1
x107843 = 1
x107844 = 1
x107845 = 1
x107846 = 1
x107847 = 1
x107848 = 1
x107849 = 1
x107850 = 1
x107851 = 1
x107852 = 1
x107853 = 1
x107854 = 1
x107855 = 1
x107856 = 1
x107857 = 1
x107858 = 1
x107859 = 1
x107860 = 1
x107861 = 1
x107862 = 1
x107863 = 1
x107864 = 1
x107865 = 1
x107866 = 1
x107867 = 1
x107868 = 1
x107869 = 1
x107870 = 1
x107871 = 1
x107872 = 1
x107873 = 1
x107874 = 1
x107875 = 1
x107876 = 1
x107877 = 1
x111712 = 1
x111713 = 1
x111714 = 1
x111715 = 1
x111716 = 1
x111717 = 1
x111718 = 1
x111719 = 1
x111720 = 1
x111721 = 1
x111722 = 1
x109579 = 1
x112107 = 1
x113786 = 1
x113787 = 1
x113788 = 1
x113789 = 1
x113790 = 1
x113791 = 1
x113792 = 1
x113793 = 1
x113794 = 1
x113795 = 1
x113796 = 1
x113365 = 1
x114028 = 1
x113376 = 1
x115125 = 1
x114449 = 1
x114450 = 1
x114451 = 1
x113578 = 1
x114667 = 1
x114464 = 1
x114465 = 1
x114466 = 1
x114468 = 1
x114469 = 1
x114470 = 1
x114471 = 1
x114472 = 1
x114473 = 1
x114474 = 1
x114475 = 1
x114476 = 1
x114477 = 1
x113663 = 1
x115699 = 1
x113512 = 1
x115397 = 1
x114484 = 1
x114485 = 1
x114486 = 1
x114487 = 1
x114488 = 1
x114489 = 1
x114490 = 1
x114491 = 1
x114492 = 1
x114493 = 1
x113709 = 1
x114929 = 1
x114499 = 1
x114500 = 1
x113732 = 1
x114975 = 1
x113764 = 1
x115039 = 1
x116020 = 1
x116021 = 1
x116022 = 1
x116023 = 1
x116024 = 1
x116025 = 1
x116026 = 1
x116027 = 1
x116028 = 1
x116029 = 1
x116030 = 1
x115810 = 1
x116262 = 1
x115821 = 1
x116284 = 1
x116050 = 1
x116051 = 1
x116052 = 1
x116053 = 1
x116054 = 1
x116055 = 1
x116056 = 1
x116057 = 1
x116058 = 1
x116059 = 1
x116060 = 1
x116061 = 1
x116062 = 1
x116063 = 1
x116064 = 1
x116065 = 1
x116066 = 1
x116067 = 1
x116068 = 1
x116069 = 1
x116070 = 1
x116071 = 1
x116072 = 1
x116073 = 1
x116074 = 1
x116075 = 1
x116076 = 1
x116077 = 1
x116078 = 1
x116079 = 1
x116080 = 1
x116081 = 1
x116082 = 1
x116083 = 1
x116084 = 1
x116085 = 1
x116086 = 1
x116087 = 1
x116088 = 1
x116089 = 1
x116090 = 1
x116091 = 1
x116092 = 1
x116093 = 1
x116094 = 1
x116095 = 1
x116096 = 1
x116097 = 1
x116098 = 1
x116099 = 1
x116100 = 1
x116101 = 1
x116102 = 1
x116103 = 1
x116104 = 1
x116105 = 1
x116106 = 1
x116107 = 1
x116108 = 1
x116109 = 1
x116110 = 1
x116111 = 1
x116112 = 1
x116113 = 1
x116114 = 1
x116115 = 1
x116116 = 1
x116117 = 1
x116118 = 1
x115957 = 1
x116557 = 1
x116234 = 1
x116235 = 1
x116236 = 1
x116237 = 1
x116238 = 1
x116239 = 1
x116240 = 1
x116241 = 1
x116893 = 1
x116894 = 1
x116895 = 1
x116896 = 1
x116685 = 1
x117112 = 1
x116904 = 1
x116905 = 1
x116906 = 1
x116907 = 1
x116908 = 1
x116909 = 1
x116910 = 1
x116911 = 1
x116913 = 1
x116914 = 1
x116915 = 1
x116916 = 1
x116917 = 1
x116918 = 1
x116919 = 1
x116920 = 1
x116921 = 1
x116922 = 1
x116770 = 1
x117282 = 1
x116929 = 1
x116930 = 1
x116931 = 1
x116932 = 1
x116933 = 1
x116934 = 1
x116935 = 1
x116936 = 1
x116937 = 1
x116938 = 1
x116816 = 1
x117374 = 1
x116944 = 1
x116945 = 1
x116839 = 1
x117420 = 1
x116871 = 1
x117484 = 1
x116957 = 1
x116958 = 1
503.51user 0.87system 8:02.62elapsed 104%CPU (0avgtext+0avgdata 999968maxresident)k
0inputs+2656outputs (0major+95378minor)pagefaults 0swaps