Registering Logic ConstraintAnalyzers...done
Registering ConstraintAnalyzers...done
Registering SolutionTransformers...done
Output dir: ./ns1631475/default/1322234377_WQrZ
>config
	probName = ns1631475
	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 = 22696
	binaries = 22470
	integers = 211
	nrows = 24496
>presolvedProblem
	hasPresolve = 1
	emptyProblem = 0
	offset = 0
>presolvedProblem
	nvars = 22485
	binaries = 22470
	integers = 1
	nrows = 24180
>config
	firstOptMethod = simplex
	reOptMethod = primal
	timeLimit = 7200
	iterLimit = 2000
	s1IterLimit = 10000
	s1MaxMissedDecrease = 70
	maxMissedDecrease = 600
	maxRestarts = 100
	avgFlips = 20
	seed = 1322234377
	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 30
knapsack 14
linear 24136

	isPureInteger = 0
	fixedCnt = 0
	isBinary = 0
relaxationTime = 6.12438
relaxationObjValue = 817.194
>Stage1
	s1Iterations = 16
>Stage2
	maxFlipsInRestart = 0
Found Solution!
>stats
	found = 1
	stage = 1
	totalLpTime = 134.76
	totalRoundingTime = 0.352025
	iterations = 16
	time = 141.237
	perturbationCnt = 0
	restartCnt = 0
>results
	firstValue = 23850
	firstIt = 16
	firstTime = 141.237
	lastValue = 23850
	lastIt = 16
	lastTime = 141.237

Solution (only non-zero entries are reported): 
C0001 = 2
C0002 = 4
C0003 = 5
C0004 = 12
C0005 = 11
C0006 = 7
C0007 = 1
C0008 = 6
C0009 = 10
C0010 = 8
C0011 = 3
C0012 = 14
C0013 = 13
C0014 = 9
C0015 = 39077.8
C0022 = 1
C0040 = 1
C0046 = 1
C0065 = 1
C0084 = 1
C0090 = 1
C0109 = 1
C0115 = 1
C0134 = 1
C0147 = 1
C0169 = 1
C0172 = 1
C0184 = 1
C0210 = 1
C0221 = 1
C0232 = 1
C0237 = 1
C0246 = 1
C0250 = 1
C0256 = 1
C0264 = 1
C0270 = 1
C0275 = 1
C0286 = 1
C0294 = 1
C0300 = 1
C0304 = 1
C0317 = 1
C0319 = 1
C0324 = 1
C0325 = 1
C0341 = 1
C0344 = 1
C0357 = 1
C0365 = 1
C0372 = 1
C0379 = 1
C0381 = 1
C0382 = 1
C0394 = 1
C0406 = 1
C0412 = 1
C0420 = 1
C0431 = 1
C0432 = 1
C0442 = 1
C0535 = 1
C0652 = 1
C0670 = 1
C0745 = 1
C0802 = 1
C0862 = 1
C0880 = 1
C0886 = 1
C0955 = 1
C1012 = 1
C1077 = 1
C1246 = 1
C1252 = 1
C1287 = 1
C1300 = 1
C1336 = 1
C1429 = 1
C1431 = 1
C1456 = 1
C1462 = 1
C1482 = 1
C1492 = 1
C1510 = 1
C1516 = 1
C1535 = 1
C1579 = 1
C1585 = 1
C1604 = 1
C1632 = 1
C1642 = 1
C1702 = 1
C1917 = 1
C1966 = 1
C1984 = 1
C1997 = 1
C2045 = 1
C2052 = 1
C2086 = 1
C2092 = 1
C2112 = 1
C2122 = 1
C2140 = 1
C2146 = 1
C2165 = 1
C2209 = 1
C2215 = 1
C2234 = 1
C2269 = 1
C2272 = 1
C2296 = 1
C2310 = 1
C2321 = 1
C2337 = 1
C2386 = 1
C2404 = 1
C2465 = 1
C2506 = 1
C2512 = 1
C2532 = 1
C2542 = 1
C2560 = 1
C2635 = 1
C2757 = 1
C2967 = 1
C3136 = 1
C3172 = 1
C3190 = 1
C3196 = 1
C3215 = 1
C3259 = 1
C3265 = 1
C3284 = 1
C3319 = 1
C3322 = 1
C3400 = 1
C3532 = 1
C3610 = 1
C3616 = 1
C3742 = 1
C3807 = 1
C3816 = 1
C3894 = 1
C3976 = 1
C3982 = 1
C4030 = 1
C4036 = 1
C4055 = 1
C4099 = 1
C4124 = 1
C4137 = 1
C4159 = 1
C4162 = 1
C4211 = 1
C4240 = 1
C4246 = 1
C4265 = 1
C4334 = 1
C4355 = 1
C4372 = 1
C4421 = 1
C4446 = 1
C4660 = 1
C4666 = 1
C4685 = 1
C4792 = 1
C4870 = 1
C4876 = 1
C4895 = 1
C4939 = 1
C4964 = 1
C4999 = 1
C5002 = 1
C5051 = 1
C5080 = 1
C5086 = 1
C5105 = 1
C5149 = 1
C5174 = 1
C5212 = 1
C5290 = 1
C5487 = 1
C5496 = 1
C5574 = 1
C5697 = 1
C5706 = 1
C5784 = 1
C5866 = 1
C5920 = 1
C5926 = 1
C5945 = 1
C5989 = 1
C6014 = 1
C6049 = 1
C6052 = 1
C6136 = 1
C6327 = 1
C6336 = 1
C6354 = 1
C6414 = 1
C6471 = 1
C6496 = 1
C6502 = 1
C6537 = 1
C6546 = 1
C6564 = 1
C6586 = 1
C6604 = 1
C6624 = 1
C6657 = 1
C6665 = 1
C6681 = 1
C6706 = 1
C6712 = 1
C6731 = 1
C6766 = 1
C6785 = 1
C6814 = 1
C6854 = 1
C6867 = 1
C6966 = 1
C6984 = 1
C7101 = 1
C7186 = 1
C7205 = 1
C7377 = 1
C7386 = 1
C7404 = 1
C7426 = 1
C7444 = 1
C7464 = 1
C7521 = 1
C7546 = 1
C7552 = 1
C7587 = 1
C7596 = 1
C7614 = 1
C7636 = 1
C7654 = 1
C7674 = 1
C7715 = 1
C7731 = 1
C7756 = 1
C7762 = 1
C7782 = 1
C7824 = 1
C8026 = 1
C8045 = 1
C8064 = 1
C8070 = 1
C8089 = 1
C8114 = 1
C8127 = 1
C8149 = 1
C8190 = 1
C8201 = 1
C8217 = 1
C8226 = 1
C8244 = 1
C8304 = 1
C8361 = 1
C8386 = 1
C8446 = 1
C8454 = 1
C8465 = 1
C8509 = 1
C8534 = 1
C8569 = 1
C8572 = 1
C8675 = 1
C8700 = 1
C8719 = 1
C8744 = 1
C8757 = 1
C8779 = 1
C8831 = 1
C8847 = 1
C8856 = 1
C8874 = 1
C8880 = 1
C8896 = 1
C8934 = 1
C8991 = 1
C9016 = 1
C9022 = 1
C9095 = 1
C9164 = 1
C9262 = 1
C9305 = 1
C9324 = 1
C9330 = 1
C9349 = 1
C9374 = 1
C9387 = 1
C9409 = 1
C9424 = 1
C9450 = 1
C9461 = 1
C9515 = 1
C9687 = 1
C9696 = 1
C9714 = 1
C9720 = 1
C9736 = 1
C9754 = 1
C9774 = 1
C9831 = 1
C9856 = 1
C9862 = 1
C9935 = 1
C9979 = 1
C10004 = 1
C10134 = 1
C10140 = 1
C10355 = 1
C10374 = 1
C10380 = 1
C10399 = 1
C10424 = 1
C10437 = 1
C10459 = 1
C10500 = 1
C10511 = 1
C10565 = 1
C10584 = 1
C10590 = 1
C10609 = 1
C10634 = 1
C10647 = 1
C10669 = 1
C10721 = 1
C10775 = 1
C10819 = 1
C10844 = 1
C10879 = 1
C10996 = 1
C11206 = 1
C11224 = 1
C11285 = 1
C11292 = 1
C11352 = 1
C11376 = 1
C11394 = 1
C11400 = 1
C11416 = 1
C11434 = 1
C11447 = 1
C11471 = 1
C11495 = 1
C11502 = 1
C11511 = 1
C11562 = 1
C11626 = 1
C11644 = 1
C11657 = 1
C11705 = 1
C11712 = 1
C11772 = 1
C11836 = 1
C11854 = 1
C12046 = 1
C12064 = 1
C12125 = 1
C12192 = 1
C12202 = 1
C12220 = 1
C12264 = 1
C12295 = 1
C12364 = 1
C12390 = 1
C12412 = 1
C12474 = 1
C12504 = 1
C12600 = 1
C12684 = 1
C12886 = 1
C12904 = 1
C12965 = 1
C13114 = 1
C13175 = 1
C13182 = 1
C13242 = 1
C13266 = 1
C13284 = 1
C13290 = 1
C13324 = 1
C13337 = 1
C13361 = 1
C13385 = 1
C13392 = 1
C13401 = 1
C13452 = 1
C13486 = 1
C13494 = 1
C13500 = 1
C13534 = 1
C13547 = 1
C13595 = 1
C13602 = 1
C13612 = 1
C13662 = 1
C13744 = 1
C13954 = 1
C14015 = 1
C14082 = 1
C14124 = 1
C14130 = 1
C14154 = 1
C14164 = 1
C14177 = 1
C14201 = 1
C14225 = 1
C14232 = 1
C14272 = 1
C14292 = 1
C14307 = 1
C14316 = 1
C14334 = 1
C14340 = 1
C14374 = 1
C14387 = 1
C14394 = 1
C14411 = 1
C14435 = 1
C14442 = 1
C14451 = 1
C14502 = 1
C14517 = 1
C14526 = 1
C14544 = 1
C14550 = 1
C14584 = 1
C14597 = 1
C14604 = 1
C14621 = 1
C14645 = 1
C14652 = 1
C14661 = 1
C14686 = 1
C14712 = 1
C14794 = 1
C14855 = 1
C14946 = 1
C14964 = 1
C14970 = 1
C15017 = 1
C15041 = 1
C15081 = 1
C15227 = 1
C15357 = 1
C15366 = 1
C15384 = 1
C15390 = 1
C15406 = 1
C15424 = 1
C15437 = 1
C15444 = 1
C15461 = 1
C15501 = 1
C15526 = 1
C15532 = 1
C15649 = 1
C15804 = 1
C15810 = 1
C15857 = 1
C15881 = 1
C15905 = 1
C15971 = 1
C16044 = 1
C16050 = 1
C16069 = 1
C16107 = 1
C16129 = 1
C16170 = 1
C16181 = 1
C16192 = 1
C16254 = 1
C16260 = 1
C16279 = 1
C16284 = 1
C16317 = 1
C16339 = 1
C16391 = 1
C16489 = 1
C16549 = 1
C16630 = 1
C16636 = 1
C16655 = 1
C16705 = 1
C16762 = 1
C16840 = 1
C16846 = 1
C16865 = 1
C16909 = 1
C16915 = 1
C16934 = 1
C16969 = 1
C16972 = 1
C17021 = 1
C17050 = 1
C17056 = 1
C17075 = 1
C17119 = 1
C17125 = 1
C17144 = 1
C17182 = 1
C17260 = 1
C17335 = 1
C17457 = 1
C17544 = 1
C17680 = 1
C17686 = 1
C17705 = 1
C17724 = 1
C17730 = 1
C17749 = 1
C17755 = 1
C17774 = 1
C17787 = 1
C17809 = 1
C17812 = 1
C17836 = 1
C17850 = 1
C17861 = 1
C17890 = 1
C17896 = 1
C17915 = 1
C17959 = 1
C17965 = 1
C17984 = 1
C18019 = 1
C18022 = 1
C18082 = 1
C18169 = 1
C18174 = 1
C18194 = 1
C18229 = 1
C18281 = 1
C18292 = 1
C18379 = 1
C18384 = 1
C18404 = 1
C18534 = 1
C18540 = 1
C18611 = 1
C18774 = 1
C18780 = 1
C18799 = 1
C18824 = 1
C18837 = 1
C18859 = 1
C18900 = 1
C18911 = 1
C18984 = 1
C18990 = 1
C19009 = 1
C19034 = 1
C19047 = 1
C19069 = 1
C19121 = 1
C19150 = 1
C19164 = 1
C19204 = 1
C19219 = 1
C19244 = 1
C19257 = 1
C19279 = 1
C19281 = 1
C19282 = 1
C19475 = 1
C19542 = 1
C19584 = 1
C19590 = 1
C19637 = 1
C19661 = 1
C19685 = 1
C19692 = 1
C19752 = 1
C19767 = 1
C19776 = 1
C19794 = 1
C19800 = 1
C19847 = 1
C19854 = 1
C19871 = 1
C19895 = 1
C19902 = 1
C19911 = 1
C19962 = 1
C19977 = 1
C19986 = 1
C20004 = 1
C20010 = 1
C20057 = 1
C20064 = 1
C20081 = 1
C20105 = 1
C20112 = 1
C20121 = 1
C20146 = 1
C20172 = 1
C20315 = 1
C20392 = 1
C20410 = 1
C20454 = 1
C20460 = 1
C20485 = 1
C20517 = 1
C20539 = 1
C20554 = 1
C20580 = 1
C20591 = 1
C20607 = 1
C20616 = 1
C20634 = 1
C20640 = 1
C20664 = 1
C20687 = 1
C20694 = 1
C20711 = 1
C20742 = 1
C20751 = 1
C20776 = 1
C20782 = 1
C20790 = 1
C20874 = 1
C20880 = 1
C20937 = 1
C20959 = 1
C21011 = 1
C21169 = 1
C21237 = 1
C21246 = 1
C21294 = 1
C21319 = 1
C21324 = 1
C21372 = 1
C21381 = 1
C21412 = 1
C21466 = 1
C21485 = 1
C21504 = 1
C21510 = 1
C21529 = 1
C21554 = 1
C21567 = 1
C21589 = 1
C21592 = 1
C21641 = 1
C21676 = 1
C21695 = 1
C21739 = 1
C21764 = 1
C21799 = 1
C21802 = 1
C22036 = 1
C22072 = 1
C22090 = 1
C22096 = 1
C22115 = 1
C22159 = 1
C22165 = 1
C22184 = 1
C22219 = 1
C22222 = 1
C22234 = 1
C22282 = 1
C22325 = 1
C22336 = 1
C22354 = 1
C22374 = 1
C22391 = 1
C22415 = 1
C22462 = 1
C22486 = 23850
C22493 = 17100
C22498 = 11850
C22507 = 13500
C22511 = 20400
C22517 = 17250
C22525 = 19950
C22531 = 17250
C22536 = 20700
C22547 = 13200
C22555 = 13650
C22561 = 13200
C22565 = 17700
C22578 = 22050
C22580 = 21900
C22585 = 17100
C22586 = 13500
C22602 = 20700
C22605 = 22050
C22618 = 17700
C22626 = 18300
C22633 = 21900
C22640 = 23850
C22642 = 20400
C22643 = 19950
C22655 = 11850
C22667 = 15600
C22673 = 13650
C22681 = 15600
C22692 = 18300
C22693 = 23850
141.69user 0.29system 2:19.28elapsed 101%CPU (0avgtext+0avgdata 442960maxresident)k
0inputs+1160outputs (0major+33343minor)pagefaults 0swaps