Registering Logic ConstraintAnalyzers...done
Registering ConstraintAnalyzers...done
Registering SolutionTransformers...done
Output dir: ./neos-826650/default/1322234122_U25q
>config
	probName = neos-826650
	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 = 5912
	binaries = 5792
	integers = 0
	nrows = 2414
>presolvedProblem
	hasPresolve = 1
	emptyProblem = 0
	offset = 0
>presolvedProblem
	nvars = 5024
	binaries = 5024
	integers = 0
	nrows = 2228
>config
	firstOptMethod = simplex
	reOptMethod = primal
	timeLimit = 7200
	iterLimit = 2000
	s1IterLimit = 10000
	s1MaxMissedDecrease = 70
	maxMissedDecrease = 600
	maxRestarts = 100
	avgFlips = 20
	seed = 1322234122
	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 316
knapsack 0
linear 1912

	isPureInteger = 1
	fixedCnt = 0
	isBinary = 1
relaxationTime = 0.272017
relaxationObjValue = 28
>Stage1
#iteration = 20
#iteration = 40
#iteration = 60
	s1Iterations = 73
>Stage2
	maxFlipsInRestart = 0
#iteration = 80
#iteration = 100
#iteration = 120
#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
Found Solution!
>stats
	found = 1
	stage = 2
	totalLpTime = 5.03232
	totalRoundingTime = 1.16807
	iterations = 714
	time = 6.52441
	perturbationCnt = 16
	restartCnt = 24
>results
	firstValue = 32
	firstIt = 714
	firstTime = 6.52441
	lastValue = 32
	lastIt = 714
	lastTime = 6.52441

Solution (only non-zero entries are reported): 
C0001 = 32
C0002 = 2
C0004 = 1
C0005 = 6
C0006 = 2
C0008 = 1
C0010 = 32
C0011 = 32
C0012 = 2
C0015 = 1
C0016 = 1
C0017 = 1
C0019 = 2
C0020 = 32
C0021 = 32
C0025 = 1
C0027 = 10
C0030 = 32
C0031 = 32
C0032 = 1
C0034 = 1
C0035 = 1
C0036 = 1
C0038 = 2
C0040 = 32
C0041 = 32
C0043 = 1
C0044 = 1
C0045 = 9
C0047 = 4
C0048 = 2
C0049 = 2
C0050 = 32
C0051 = 32
C0052 = 1
C0055 = 4
C0056 = 1
C0057 = 5
C0060 = 32
C0062 = 2
C0063 = 6
C0064 = 1
C0066 = 2
C0068 = 1
C0072 = 2
C0074 = 1
C0077 = 2
C0078 = 2
C0079 = 2
C0085 = 11
C0089 = 7
C0092 = 1
C0093 = 1
C0094 = 1
C0096 = 1
C0098 = 4
C0099 = 2
C0103 = 7
C0105 = 2
C0106 = 1
C0107 = 4
C0108 = 2
C0109 = 2
C0112 = 1
C0115 = 4
C0116 = 1
C0117 = 5
C0119 = 2
C0142 = 1
C0144 = 1
C0146 = 1
C0148 = 1
C0150 = 1
C0157 = 1
C0164 = 1
C0174 = 1
C0204 = 1
C0215 = 1
C0244 = 1
C0254 = 1
C0301 = 1
C0303 = 1
C0312 = 1
C0314 = 1
C0316 = 1
C0318 = 1
C0320 = 1
C0321 = 1
C0323 = 1
C0325 = 1
C0332 = 1
C0334 = 1
C0336 = 1
C0338 = 1
C0340 = 1
C0381 = 1
C0383 = 1
C0385 = 1
C0387 = 1
C0389 = 1
C0424 = 1
C0427 = 1
C0429 = 1
C0439 = 1
C0458 = 1
C0461 = 1
C0463 = 1
C0465 = 1
C0467 = 1
C0469 = 1
C0500 = 1
C0505 = 1
C0569 = 1
C0588 = 1
C0612 = 1
C0614 = 1
C0616 = 1
C0629 = 1
C0642 = 1
C0644 = 1
C0651 = 1
C0653 = 1
C0655 = 1
C0657 = 1
C0659 = 1
C0730 = 1
C0776 = 1
C0780 = 1
C0836 = 1
C0840 = 1
C0846 = 1
C0850 = 1
C0862 = 1
C0864 = 1
C0866 = 1
C0868 = 1
C0870 = 1
C0871 = 1
C0873 = 1
C0875 = 1
C0877 = 1
C0879 = 1
C0886 = 1
C0896 = 1
C0900 = 1
C0910 = 1
C0912 = 1
C0914 = 1
C0916 = 1
C0918 = 1
C0920 = 1
C0926 = 1
C0946 = 1
C1020 = 1
C1036 = 1
C1040 = 1
C1046 = 1
C1056 = 1
C1094 = 1
C1115 = 1
C1130 = 1
C1151 = 1
C1173 = 1
C1177 = 1
C1192 = 1
C1194 = 1
C1196 = 1
C1198 = 1
C1200 = 1
C1249 = 1
C1271 = 1
C1273 = 1
C1275 = 1
C1277 = 1
C1279 = 1
C1290 = 1
C1329 = 1
C1379 = 1
C1401 = 1
C1402 = 1
C1403 = 1
C1404 = 1
C1405 = 1
C1406 = 1
C1407 = 1
C1408 = 1
C1409 = 1
C1410 = 1
C1431 = 1
C1432 = 1
C1433 = 1
C1470 = 1
C1488 = 1
C1500 = 1
C1544 = 1
C1551 = 1
C1553 = 1
C1555 = 1
C1557 = 1
C1559 = 1
C1562 = 1
C1564 = 1
C1579 = 1
C1624 = 1
C1628 = 1
C1631 = 1
C1633 = 1
C1635 = 1
C1637 = 1
C1639 = 1
C1644 = 1
C1646 = 1
C1652 = 1
C1654 = 1
C1657 = 1
C1662 = 1
C1664 = 1
C1666 = 1
C1668 = 1
C1670 = 1
C1674 = 1
C1684 = 1
C1694 = 1
C1714 = 1
C1716 = 1
C1760 = 1
C1821 = 1
C1823 = 1
C1825 = 1
C1827 = 1
C1829 = 1
C1950 = 1
C1952 = 1
C1954 = 1
C1956 = 1
C1958 = 1
C1960 = 1
C2041 = 1
C2042 = 1
C2043 = 1
C2044 = 1
C2045 = 1
C2046 = 1
C2047 = 1
C2048 = 1
C2049 = 1
C2050 = 1
C2051 = 1
C2052 = 1
C2053 = 1
C2054 = 1
C2055 = 1
C2056 = 1
C2057 = 1
C2058 = 1
C2059 = 1
C2060 = 1
C2061 = 1
C2062 = 1
C2063 = 1
C2064 = 1
C2065 = 1
C2066 = 1
C2067 = 1
C2068 = 1
C2069 = 1
C2070 = 1
C2071 = 1
C2072 = 1
C2108 = 1
C2115 = 1
C2125 = 1
C2134 = 1
C2155 = 1
C2166 = 1
C2195 = 1
C2204 = 1
C2205 = 1
C2375 = 1
C2378 = 1
C2390 = 1
C2409 = 1
C2451 = 1
C2456 = 1
C2520 = 1
C2539 = 1
C2580 = 1
C2681 = 1
C2694 = 1
C2704 = 1
C2727 = 1
C2731 = 1
C2767 = 1
C2787 = 1
C2791 = 1
C2797 = 1
C2801 = 1
C2837 = 1
C2847 = 1
C2851 = 1
C2861 = 1
C2877 = 1
C2897 = 1
C2971 = 1
C2987 = 1
C2991 = 1
C2997 = 1
C3007 = 1
C3045 = 1
C3066 = 1
C3070 = 1
C3081 = 1
C3124 = 1
C3128 = 1
C3200 = 1
C3241 = 1
C3280 = 1
C3330 = 1
C3397 = 1
C3421 = 1
C3439 = 1
C3450 = 1
C3451 = 1
C3495 = 1
C3529 = 1
C3530 = 1
C3575 = 1
C3579 = 1
C3595 = 1
C3608 = 1
C3625 = 1
C3635 = 1
C3639 = 1
C3645 = 1
C3665 = 1
C3667 = 1
C3711 = 1
C3729 = 1
C3738 = 1
C3799 = 1
C3817 = 1
C3839 = 1
C3894 = 1
C3897 = 1
C3901 = 1
C3917 = 1
C3927 = 1
C3949 = 1
C3969 = 1
C3993 = 1
C4002 = 1
C4003 = 1
C4012 = 1
C4013 = 1
C4022 = 1
C4023 = 1
C4030 = 1
C4032 = 1
C4033 = 1
C4037 = 1
C4042 = 1
C4043 = 1
C4047 = 1
C4052 = 1
C4053 = 1
C4054 = 1
C4062 = 1
C4063 = 1
C4072 = 1
C4073 = 1
C4077 = 1
C4082 = 1
C4083 = 1
C4088 = 1
C4092 = 1
C4093 = 1
C4102 = 1
C4103 = 1
C4112 = 1
C4113 = 1
C4117 = 1
C4122 = 1
C4123 = 1
C4124 = 1
C4127 = 1
C4132 = 1
C4133 = 1
C4142 = 1
C4143 = 1
C4152 = 1
C4153 = 1
C4162 = 1
C4163 = 1
C4172 = 1
C4173 = 1
C4176 = 1
C4182 = 1
C4183 = 1
C4192 = 1
C4193 = 1
C4198 = 1
C4202 = 1
C4203 = 1
C4212 = 1
C4213 = 1
C4222 = 1
C4223 = 1
C4232 = 1
C4233 = 1
C4242 = 1
C4243 = 1
C4252 = 1
C4253 = 1
C4262 = 1
C4263 = 1
C4272 = 1
C4273 = 1
C4282 = 1
C4283 = 1
C4292 = 1
C4293 = 1
C4297 = 1
C4302 = 1
C4303 = 1
C4312 = 1
C4313 = 1
C4322 = 1
C4323 = 1
C4331 = 1
C4332 = 1
C4333 = 1
C4342 = 1
C4343 = 1
C4352 = 1
C4353 = 1
C4362 = 1
C4363 = 1
C4372 = 1
C4373 = 1
C4378 = 1
C4382 = 1
C4383 = 1
C4392 = 1
C4393 = 1
C4402 = 1
C4403 = 1
C4412 = 1
C4413 = 1
C4422 = 1
C4423 = 1
C4432 = 1
C4433 = 1
C4442 = 1
C4443 = 1
C4452 = 1
C4453 = 1
C4461 = 1
C4462 = 1
C4463 = 1
C4472 = 1
C4473 = 1
C4482 = 1
C4483 = 1
C4489 = 1
C4492 = 1
C4493 = 1
C4502 = 1
C4503 = 1
C4512 = 1
C4513 = 1
C4517 = 1
C4522 = 1
C4523 = 1
C4532 = 1
C4533 = 1
C4542 = 1
C4543 = 1
C4552 = 1
C4553 = 1
C4562 = 1
C4563 = 1
C4572 = 1
C4573 = 1
C4582 = 1
C4583 = 1
C4592 = 1
C4593 = 1
C4602 = 1
C4603 = 1
C4612 = 1
C4613 = 1
C4614 = 1
C4622 = 1
C4623 = 1
C4624 = 1
C4632 = 1
C4633 = 1
C4642 = 1
C4643 = 1
C4649 = 1
C4652 = 1
C4653 = 1
C4662 = 1
C4663 = 1
C4672 = 1
C4673 = 1
C4682 = 1
C4683 = 1
C4687 = 1
C4692 = 1
C4693 = 1
C4702 = 1
C4703 = 1
C4709 = 1
C4712 = 1
C4713 = 1
C4719 = 1
C4722 = 1
C4723 = 1
C4732 = 1
C4733 = 1
C4742 = 1
C4743 = 1
C4752 = 1
C4753 = 1
C4759 = 1
C4762 = 1
C4763 = 1
C4769 = 1
C4772 = 1
C4773 = 1
C4782 = 1
C4783 = 1
C4792 = 1
C4793 = 1
C4799 = 1
C4802 = 1
C4803 = 1
C4812 = 1
C4813 = 1
C4819 = 1
C4822 = 1
C4823 = 1
C4832 = 1
C4833 = 1
C4842 = 1
C4843 = 1
C4852 = 1
C4853 = 1
C4862 = 1
C4863 = 1
C4872 = 1
C4873 = 1
C4882 = 1
C4883 = 1
C4892 = 1
C4893 = 1
C4902 = 1
C4903 = 1
C4909 = 1
C4912 = 1
C4913 = 1
C4919 = 1
C4922 = 1
C4923 = 1
C4929 = 1
C4932 = 1
C4933 = 1
C4942 = 1
C4943 = 1
C4952 = 1
C4953 = 1
C4962 = 1
C4963 = 1
C4967 = 1
C4972 = 1
C4973 = 1
C4982 = 1
C4983 = 1
C4988 = 1
C4990 = 1
C4992 = 1
C4993 = 1
C5002 = 1
C5003 = 1
C5012 = 1
C5013 = 1
C5022 = 1
C5023 = 1
C5024 = 1
C5032 = 1
C5033 = 1
C5042 = 1
C5043 = 1
C5046 = 1
C5050 = 1
C5052 = 1
C5053 = 1
C5062 = 1
C5063 = 1
C5072 = 1
C5073 = 1
C5082 = 1
C5083 = 1
C5092 = 1
C5093 = 1
C5102 = 1
C5103 = 1
C5112 = 1
C5113 = 1
C5122 = 1
C5123 = 1
C5132 = 1
C5133 = 1
C5142 = 1
C5143 = 1
C5152 = 1
C5153 = 1
C5162 = 1
C5163 = 1
C5172 = 1
C5173 = 1
C5182 = 1
C5183 = 1
C5192 = 1
C5193 = 1
C5202 = 1
C5203 = 1
C5212 = 1
C5213 = 1
C5222 = 1
C5223 = 1
C5232 = 1
C5233 = 1
C5242 = 1
C5243 = 1
C5252 = 1
C5253 = 1
C5262 = 1
C5263 = 1
C5272 = 1
C5273 = 1
C5282 = 1
C5283 = 1
C5292 = 1
C5293 = 1
C5302 = 1
C5303 = 1
C5305 = 1
C5306 = 1
C5312 = 1
C5313 = 1
C5317 = 1
C5322 = 1
C5323 = 1
C5332 = 1
C5333 = 1
C5342 = 1
C5343 = 1
C5352 = 1
C5353 = 1
C5361 = 1
C5362 = 1
C5363 = 1
C5370 = 1
C5372 = 1
C5373 = 1
C5382 = 1
C5383 = 1
C5392 = 1
C5393 = 1
C5402 = 1
C5403 = 1
C5412 = 1
C5413 = 1
C5417 = 1
C5422 = 1
C5423 = 1
C5432 = 1
C5433 = 1
C5437 = 1
C5442 = 1
C5443 = 1
C5449 = 1
C5452 = 1
C5453 = 1
C5462 = 1
C5463 = 1
C5472 = 1
C5473 = 1
C5482 = 1
C5483 = 1
C5492 = 1
C5493 = 1
C5497 = 1
C5501 = 1
C5502 = 1
C5503 = 1
C5512 = 1
C5513 = 1
C5519 = 1
C5522 = 1
C5523 = 1
C5527 = 1
C5530 = 1
C5532 = 1
C5533 = 1
C5542 = 1
C5543 = 1
C5547 = 1
C5552 = 1
C5553 = 1
C5557 = 1
C5559 = 1
C5562 = 1
C5563 = 1
C5567 = 1
C5572 = 1
C5573 = 1
C5582 = 1
C5583 = 1
C5587 = 1
C5589 = 1
C5592 = 1
C5593 = 1
C5602 = 1
C5603 = 1
C5612 = 1
C5613 = 1
C5622 = 1
C5623 = 1
C5632 = 1
C5633 = 1
C5642 = 1
C5643 = 1
C5649 = 1
C5652 = 1
C5653 = 1
C5658 = 1
C5662 = 1
C5663 = 1
C5672 = 1
C5673 = 1
C5682 = 1
C5683 = 1
C5692 = 1
C5693 = 1
C5702 = 1
C5703 = 1
C5712 = 1
C5713 = 1
C5719 = 1
C5722 = 1
C5723 = 1
C5732 = 1
C5733 = 1
C5737 = 1
C5742 = 1
C5743 = 1
C5752 = 1
C5753 = 1
C5759 = 1
C5762 = 1
C5763 = 1
C5772 = 1
C5773 = 1
C5782 = 1
C5783 = 1
C5792 = 1
C5793 = 1
C5802 = 1
C5803 = 1
C5812 = 1
C5813 = 1
C5814 = 1
C5817 = 1
C5822 = 1
C5823 = 1
C5832 = 1
C5833 = 1
C5837 = 1
C5842 = 1
C5843 = 1
C5847 = 1
C5852 = 1
C5853 = 1
C5862 = 1
C5863 = 1
C5869 = 1
C5872 = 1
C5873 = 1
C5882 = 1
C5883 = 1
C5889 = 1
C5892 = 1
C5893 = 1
C5902 = 1
C5903 = 1
C5912 = 1
6.63user 0.01system 0:06.51elapsed 102%CPU (0avgtext+0avgdata 187840maxresident)k
0inputs+232outputs (0major+14563minor)pagefaults 0swaps