Registering Logic ConstraintAnalyzers...done Registering ConstraintAnalyzers...done Registering SolutionTransformers...done Output dir: ./satellites3-40/default/1322252311_7bFj >config probName = satellites3-40 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 = 81681 binaries = 79961 integers = 0 nrows = 44804 >presolvedProblem hasPresolve = 1 emptyProblem = 0 offset = 0 >presolvedProblem nvars = 75239 binaries = 75177 integers = 0 nrows = 38451 >config firstOptMethod = simplex reOptMethod = primal timeLimit = 7200 iterLimit = 2000 s1IterLimit = 10000 s1MaxMissedDecrease = 70 maxMissedDecrease = 600 maxRestarts = 100 avgFlips = 20 seed = 1322252311 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 319 implies 0 cardinality 410 knapsack 29 linear 37693 isPureInteger = 0 fixedCnt = 0 isBinary = 1 relaxationTime = 871.086 relaxationObjValue = -38 >Stage1 #iteration = 20 #iteration = 40 #iteration = 60 #iteration = 80 s1Iterations = 91 >Stage2 maxFlipsInRestart = 0 #iteration = 100 #iteration = 120 #iteration = 140 #iteration = 160 #iteration = 180 >Stage3 Found Solution! >stats found = 1 stage = 3 totalLpTime = 1210.86 totalRoundingTime = 20.2413 iterations = 192 time = 2527.27 perturbationCnt = 5 restartCnt = 177 >results firstValue = 48 firstIt = 192 firstTime = 2527.27 lastValue = 48 lastIt = 192 lastTime = 2527.27 Solution (only non-zero entries are reported): C0001 = 17057 C0002 = 148663 C0003 = 188465 C0004 = 11257.3 C0005 = 142754 C0006 = 182532 C0007 = 60110 C0008 = 99672 C0009 = 231521 C0010 = 11229 C0011 = 142858 C0012 = 182642 C0013 = 60256 C0014 = 99731 C0015 = 231666 C0016 = 60046 C0017 = 148674 C0018 = 188407 C0019 = 11249.3 C0020 = 142986 C0021 = 182705 C0022 = 60291 C0023 = 148710 C0024 = 188560 C0025 = 11256.7 C0026 = 142964 C0027 = 182534 C0028 = 17171 C0029 = 237383 C0030 = 12932 C0031 = 52704 C0032 = 101597 C0033 = 141118 C0034 = 190046 C0035 = 229830 C0036 = 12756 C0037 = 52648 C0038 = 95695 C0039 = 184147 C0040 = 223820 C0041 = 17069 C0042 = 148675 C0043 = 188477 C0044 = 11273.3 C0045 = 142770 C0046 = 182548 C0047 = 60124 C0048 = 99686 C0049 = 231535 C0050 = 11247 C0051 = 142876 C0052 = 182660 C0053 = 60274 C0054 = 99749 C0055 = 231684 C0056 = 60059 C0057 = 148687 C0058 = 188420 C0059 = 11265.3 C0060 = 143002 C0061 = 182721 C0062 = 60306 C0063 = 148725 C0064 = 188575 C0065 = 11270.7 C0066 = 142978 C0067 = 182548 C0068 = 17189 C0069 = 237401 C0070 = 12962 C0071 = 52734 C0072 = 101627 C0073 = 141148 C0074 = 190076 C0075 = 229860 C0076 = 12786 C0077 = 52678 C0078 = 95725 C0079 = 184177 C0080 = 223864 C0081 = 44.938 C0082 = 38.167 C0083 = 38.606 C0084 = -8.87697 C0085 = 44.397 C0086 = 44.335 C0087 = 42.736 C0088 = 45.003 C0089 = 43.939 C0090 = -37.1965 C0091 = 43.331 C0092 = -34.5839 C0093 = -35.8487 C0094 = 44.916 C0095 = -36.6876 C0096 = 38.188 C0097 = 43.911 C0098 = 44.657 C0099 = -16.8664 C0100 = -38.209 C0101 = -37.3843 C0102 = -37.6048 C0103 = 41.889 C0104 = -36.4236 C0105 = -9.4819 C0106 = -38.7809 C0107 = 42.262 C0108 = -36.6057 C0109 = 44.111 C0110 = -13083.9 C0111 = -52855.9 C0112 = -101749 C0113 = -107705 C0114 = -58777.2 C0115 = -18993.2 C0116 = 1499.8 C0117 = -52799.9 C0118 = -95846.9 C0119 = -64676.2 C0120 = -24989.2 C0122 = 369181 C0123 = 408983 C0124 = 231775 C0125 = 363272 C0126 = 403050 C0127 = 280628 C0128 = 320190 C0129 = 452039 C0130 = 231747 C0131 = 363376 C0132 = 403160 C0133 = 280774 C0134 = 320249 C0135 = 452184 C0136 = 280564 C0137 = 369192 C0138 = 408925 C0139 = 231767 C0140 = 363504 C0141 = 403223 C0142 = 280809 C0143 = 369228 C0144 = 409078 C0145 = 231775 C0146 = 363482 C0147 = 403052 C0148 = 237689 C0149 = 457901 C0150 = 233460 C0151 = 273232 C0152 = 322125 C0153 = 361646 C0154 = 410574 C0155 = 450358 C0156 = 233284 C0157 = 273176 C0158 = 316223 C0159 = 404675 C0160 = 444348 C0161 = 105969 C0163 = 277377 C0164 = 100169 C0165 = 231666 C0166 = 271444 C0167 = 149022 C0168 = 188584 C0169 = 320433 C0170 = 100141 C0171 = 231770 C0172 = 271554 C0173 = 149168 C0174 = 188643 C0175 = 320578 C0176 = 148958 C0177 = 237586 C0178 = 277319 C0179 = 100161 C0180 = 231898 C0181 = 271617 C0182 = 149203 C0183 = 237622 C0184 = 277472 C0185 = 100169 C0186 = 231876 C0187 = 271446 C0188 = 106083 C0189 = 326295 C0190 = 101854 C0191 = 141626 C0192 = 190519 C0193 = 230040 C0194 = 278968 C0195 = 318752 C0196 = 101678 C0197 = 141570 C0198 = 184617 C0199 = 273069 C0200 = 312742 C0201 = 66167 C0202 = 197773 C0204 = 60367.3 C0205 = 191864 C0206 = 231642 C0207 = 109220 C0208 = 148782 C0209 = 280631 C0210 = 60339 C0211 = 191968 C0212 = 231752 C0213 = 109366 C0214 = 148841 C0215 = 280776 C0216 = 109156 C0217 = 197784 C0218 = 237517 C0219 = 60359.3 C0220 = 192096 C0221 = 231815 C0222 = 109401 C0223 = 197820 C0224 = 237670 C0225 = 60366.7 C0226 = 192074 C0227 = 231644 C0228 = 66281 C0229 = 286493 C0230 = 62052 C0231 = 101824 C0232 = 150717 C0233 = 190238 C0234 = 239166 C0235 = 278950 C0236 = 61876 C0237 = 101768 C0238 = 144815 C0239 = 233267 C0240 = 272940 C0241 = 243371 C0242 = 374977 C0243 = 414779 C0245 = 369068 C0246 = 408846 C0247 = 286424 C0248 = 325986 C0249 = 457835 C0250 = 237543 C0251 = 369172 C0252 = 408956 C0253 = 286570 C0254 = 326045 C0255 = 457980 C0256 = 286360 C0257 = 374988 C0258 = 414721 C0259 = 237563 C0260 = 369300 C0261 = 409019 C0262 = 286605 C0263 = 375024 C0264 = 414874 C0265 = 237570 C0266 = 369278 C0267 = 408848 C0268 = 243485 C0269 = 463697 C0270 = 239256 C0271 = 279028 C0272 = 327921 C0273 = 367442 C0274 = 416370 C0275 = 456154 C0276 = 239080 C0277 = 278972 C0278 = 322019 C0279 = 410471 C0280 = 450144 C0281 = 111874 C0282 = 243480 C0283 = 283282 C0284 = 106074 C0286 = 277349 C0287 = 154927 C0288 = 194489 C0289 = 326338 C0290 = 106046 C0291 = 237675 C0292 = 277459 C0293 = 155073 C0294 = 194548 C0295 = 326483 C0296 = 154863 C0297 = 243491 C0298 = 283224 C0299 = 106066 C0300 = 237803 C0301 = 277522 C0302 = 155108 C0303 = 243527 C0304 = 283377 C0305 = 106074 C0306 = 237781 C0307 = 277351 C0308 = 111988 C0309 = 332200 C0310 = 107759 C0311 = 147531 C0312 = 196424 C0313 = 235945 C0314 = 284873 C0315 = 324657 C0316 = 107583 C0317 = 147475 C0318 = 190522 C0319 = 278974 C0320 = 318647 C0321 = 72096 C0322 = 203702 C0323 = 243504 C0324 = 66296.3 C0325 = 197793 C0327 = 115149 C0328 = 154711 C0329 = 286560 C0330 = 66268 C0331 = 197897 C0332 = 237681 C0333 = 115295 C0334 = 154770 C0335 = 286705 C0336 = 115085 C0337 = 203713 C0338 = 243446 C0339 = 66288.3 C0340 = 198025 C0341 = 237744 C0342 = 115330 C0343 = 203749 C0344 = 243599 C0345 = 66295.7 C0346 = 198003 C0347 = 237573 C0348 = 72210 C0349 = 292422 C0350 = 67981 C0351 = 107753 C0352 = 156646 C0353 = 196167 C0354 = 245095 C0355 = 284879 C0356 = 67805 C0357 = 107697 C0358 = 150744 C0359 = 239196 C0360 = 278869 C0361 = 194520 C0362 = 326126 C0363 = 365928 C0364 = 188720 C0365 = 320217 C0366 = 359995 C0368 = 277135 C0369 = 408984 C0370 = 188692 C0371 = 320321 C0372 = 360105 C0373 = 237719 C0374 = 277194 C0375 = 409129 C0376 = 237509 C0377 = 326137 C0378 = 365870 C0379 = 188712 C0380 = 320449 C0381 = 360168 C0382 = 237754 C0383 = 326173 C0384 = 366023 C0385 = 188720 C0386 = 320427 C0387 = 359997 C0388 = 194634 C0389 = 414846 C0390 = 190405 C0391 = 230177 C0392 = 279070 C0393 = 318591 C0394 = 367519 C0395 = 407303 C0396 = 190229 C0397 = 230121 C0398 = 273168 C0399 = 361620 C0400 = 163696 C0401 = 154958 C0402 = 286564 C0403 = 326366 C0404 = 149158 C0405 = 280655 C0406 = 320433 C0407 = 198011 C0409 = 369422 C0410 = 149130 C0411 = 280759 C0412 = 320543 C0413 = 198157 C0414 = 237632 C0415 = 369567 C0416 = 197947 C0417 = 286575 C0418 = 326308 C0419 = 149150 C0420 = 280887 C0421 = 320606 C0422 = 198192 C0423 = 286611 C0424 = 326461 C0425 = 149158 C0426 = 280865 C0427 = 320435 C0428 = 155072 C0429 = 375284 C0430 = 150843 C0431 = 190615 C0432 = 239508 C0433 = 279029 C0434 = 327957 C0435 = 367741 C0436 = 150667 C0437 = 190559 C0438 = 233606 C0439 = 322058 C0440 = 361731 C0441 = 23109 C0442 = 154715 C0443 = 194517 C0444 = 17309.3 C0445 = 148806 C0446 = 188584 C0447 = 66162 C0448 = 105724 C0450 = 17281 C0451 = 148910 C0452 = 188694 C0453 = 66308 C0454 = 105783 C0455 = 237718 C0456 = 66098 C0457 = 154726 C0458 = 194459 C0459 = 17301.3 C0460 = 149038 C0461 = 188757 C0462 = 66343 C0463 = 154762 C0464 = 194612 C0465 = 17308.7 C0466 = 149016 C0467 = 188586 C0468 = 23223 C0469 = 243435 C0470 = 18994 C0471 = 58766 C0472 = 107659 C0473 = 147180 C0474 = 196108 C0475 = 235892 C0476 = 18818 C0477 = 58710 C0478 = 101757 C0479 = 190209 C0480 = 229882 C0481 = 243397 C0482 = 375003 C0483 = 414805 C0484 = 237597 C0485 = 369094 C0486 = 408872 C0487 = 286450 C0488 = 326012 C0489 = 457861 C0491 = 369198 C0492 = 408982 C0493 = 286596 C0494 = 326071 C0495 = 458006 C0496 = 286386 C0497 = 375014 C0498 = 414747 C0499 = 237589 C0500 = 369326 C0501 = 409045 C0502 = 286631 C0503 = 375050 C0504 = 414900 C0505 = 237597 C0506 = 369304 C0507 = 408874 C0508 = 243511 C0509 = 463723 C0510 = 239282 C0511 = 279054 C0512 = 327947 C0513 = 367468 C0514 = 416396 C0515 = 456180 C0516 = 239106 C0517 = 278998 C0518 = 322045 C0519 = 410497 C0520 = 450170 C0521 = 111768 C0522 = 243374 C0523 = 283176 C0524 = 105968 C0525 = 237465 C0526 = 277243 C0527 = 154821 C0528 = 194383 C0529 = 326232 C0530 = 105940 C0532 = 277353 C0533 = 154967 C0534 = 194442 C0535 = 326377 C0536 = 154757 C0537 = 243385 C0538 = 283118 C0539 = 105960 C0540 = 237697 C0541 = 277416 C0542 = 155002 C0543 = 243421 C0544 = 283271 C0545 = 105968 C0546 = 237675 C0547 = 277245 C0548 = 111882 C0549 = 332094 C0550 = 107653 C0551 = 147425 C0552 = 196318 C0553 = 235839 C0554 = 284767 C0555 = 324551 C0556 = 107477 C0557 = 147369 C0558 = 190416 C0559 = 278868 C0560 = 318541 C0561 = 71984 C0562 = 203590 C0563 = 243392 C0564 = 66184.3 C0565 = 197681 C0566 = 237459 C0567 = 115037 C0568 = 154599 C0569 = 286448 C0570 = 66156 C0571 = 197785 C0573 = 115183 C0574 = 154658 C0575 = 286593 C0576 = 114973 C0577 = 203601 C0578 = 243334 C0579 = 66176.3 C0580 = 197913 C0581 = 237632 C0582 = 115218 C0583 = 203637 C0584 = 243487 C0585 = 66183.7 C0586 = 197891 C0587 = 237461 C0588 = 72098 C0589 = 292310 C0590 = 67869 C0591 = 107641 C0592 = 156534 C0593 = 196055 C0594 = 244983 C0595 = 284767 C0596 = 67693 C0597 = 107585 C0598 = 150632 C0599 = 239084 C0600 = 278757 C0601 = 194370 C0602 = 325976 C0603 = 365778 C0604 = 188570 C0605 = 320067 C0606 = 359845 C0607 = 237423 C0608 = 276985 C0609 = 408834 C0610 = 188542 C0611 = 320171 C0612 = 359955 C0614 = 277044 C0615 = 408979 C0616 = 237359 C0617 = 325987 C0618 = 365720 C0619 = 188562 C0620 = 320299 C0621 = 360018 C0622 = 237604 C0623 = 326023 C0624 = 365873 C0625 = 188570 C0626 = 320277 C0627 = 359847 C0628 = 194484 C0629 = 414696 C0630 = 190255 C0631 = 230027 C0632 = 278920 C0633 = 318441 C0634 = 367369 C0635 = 407153 C0636 = 190079 C0637 = 229971 C0638 = 273018 C0639 = 361470 C0640 = 401143 C0641 = 154895 C0642 = 286501 C0643 = 326303 C0644 = 149095 C0645 = 280592 C0646 = 320370 C0647 = 197948 C0648 = 237510 C0649 = 369359 C0650 = 149067 C0651 = 280696 C0652 = 320480 C0653 = 198094 C0655 = 369504 C0656 = 197884 C0657 = 286512 C0658 = 326245 C0659 = 149087 C0660 = 280824 C0661 = 320543 C0662 = 198129 C0663 = 286548 C0664 = 326398 C0665 = 149095 C0666 = 280802 C0667 = 320372 C0668 = 155009 C0669 = 375221 C0670 = 150780 C0671 = 190552 C0672 = 239445 C0673 = 278966 C0674 = 327894 C0675 = 367678 C0676 = 150604 C0677 = 190496 C0678 = 233543 C0679 = 321995 C0680 = 361668 C0681 = 22960 C0682 = 154566 C0683 = 194368 C0684 = 17160.3 C0685 = 148657 C0686 = 188435 C0687 = 66013 C0688 = 105575 C0689 = 237424 C0690 = 17132 C0691 = 148761 C0692 = 188545 C0693 = 66159 C0694 = 105634 C0696 = 65949 C0697 = 154577 C0698 = 194310 C0699 = 17152.3 C0700 = 148889 C0701 = 188608 C0702 = 66194 C0703 = 154613 C0704 = 194463 C0705 = 17159.7 C0706 = 148867 C0707 = 188437 C0708 = 23074 C0709 = 243286 C0710 = 18845 C0711 = 58617 C0712 = 107510 C0713 = 147031 C0714 = 195959 C0715 = 235743 C0716 = 18669 C0717 = 58561 C0718 = 101608 C0719 = 190060 C0720 = 229733 C0721 = 194585 C0722 = 326191 C0723 = 365993 C0724 = 188785 C0725 = 320282 C0726 = 360060 C0727 = 237638 C0728 = 277200 C0729 = 409049 C0730 = 188757 C0731 = 320386 C0732 = 360170 C0733 = 237784 C0734 = 277259 C0735 = 409194 C0737 = 326202 C0738 = 365935 C0739 = 188777 C0740 = 320514 C0741 = 360233 C0742 = 237819 C0743 = 326238 C0744 = 366088 C0745 = 188785 C0746 = 320492 C0747 = 360062 C0748 = 194699 C0749 = 414911 C0750 = 190470 C0751 = 230242 C0752 = 279135 C0753 = 318656 C0754 = 367584 C0755 = 407368 C0756 = 190294 C0757 = 230186 C0758 = 273233 C0759 = 361685 C0760 = 401358 C0761 = 105957 C0762 = 237563 C0763 = 277365 C0764 = 100157 C0765 = 231654 C0766 = 271432 C0767 = 149010 C0768 = 188572 C0769 = 320421 C0770 = 100129 C0771 = 231758 C0772 = 271542 C0773 = 149156 C0774 = 188631 C0775 = 320566 C0776 = 148946 C0778 = 277307 C0779 = 100149 C0780 = 231886 C0781 = 271605 C0782 = 149191 C0783 = 237610 C0784 = 277460 C0785 = 100157 C0786 = 231864 C0787 = 271434 C0788 = 106071 C0789 = 326283 C0790 = 101842 C0791 = 141614 C0792 = 190507 C0793 = 230028 C0794 = 278956 C0795 = 318740 C0796 = 101666 C0797 = 141558 C0798 = 184605 C0799 = 273057 C0800 = 312730 C0801 = 66224 C0802 = 197830 C0803 = 237632 C0804 = 60424.3 C0805 = 191921 C0806 = 231699 C0807 = 109277 C0808 = 148839 C0809 = 280688 C0810 = 60396 C0811 = 192025 C0812 = 231809 C0813 = 109423 C0814 = 148898 C0815 = 280833 C0816 = 109213 C0817 = 197841 C0819 = 60416.3 C0820 = 192153 C0821 = 231872 C0822 = 109458 C0823 = 197877 C0824 = 237727 C0825 = 60423.7 C0826 = 192131 C0827 = 231701 C0828 = 66338 C0829 = 286550 C0830 = 62109 C0831 = 101881 C0832 = 150774 C0833 = 190295 C0834 = 239223 C0835 = 279007 C0836 = 61933 C0837 = 101825 C0838 = 144872 C0839 = 233324 C0840 = 272997 C0841 = 243379 C0842 = 374985 C0843 = 414787 C0844 = 237579 C0845 = 369076 C0846 = 408854 C0847 = 286432 C0848 = 325994 C0849 = 457843 C0850 = 237551 C0851 = 369180 C0852 = 408964 C0853 = 286578 C0854 = 326053 C0855 = 457988 C0856 = 286368 C0857 = 374996 C0858 = 414729 C0860 = 369308 C0861 = 409027 C0862 = 286613 C0863 = 375032 C0864 = 414882 C0865 = 237578 C0866 = 369286 C0867 = 408856 C0868 = 243493 C0869 = 463705 C0870 = 239264 C0871 = 279036 C0872 = 327929 C0873 = 367450 C0874 = 416378 C0875 = 456162 C0876 = 239088 C0877 = 278980 C0878 = 322027 C0879 = 410479 C0880 = 450152 C0881 = 111642 C0882 = 243248 C0883 = 283050 C0884 = 105842 C0885 = 237339 C0886 = 277117 C0887 = 154695 C0888 = 194257 C0889 = 326106 C0890 = 105814 C0891 = 237443 C0892 = 277227 C0893 = 154841 C0894 = 194316 C0895 = 326251 C0896 = 154631 C0897 = 243259 C0898 = 282992 C0899 = 105834 C0901 = 277290 C0902 = 154876 C0903 = 243295 C0904 = 283145 C0905 = 105842 C0906 = 237549 C0907 = 277119 C0908 = 111756 C0909 = 331968 C0910 = 107527 C0911 = 147299 C0912 = 196192 C0913 = 235713 C0914 = 284641 C0915 = 324425 C0916 = 107351 C0917 = 147243 C0918 = 190290 C0919 = 278742 C0920 = 318415 C0921 = 71923 C0922 = 203529 C0923 = 243331 C0924 = 66123.3 C0925 = 197620 C0926 = 237398 C0927 = 114976 C0928 = 154538 C0929 = 286387 C0930 = 66095 C0931 = 197724 C0932 = 237508 C0933 = 115122 C0934 = 154597 C0935 = 286532 C0936 = 114912 C0937 = 203540 C0938 = 243273 C0939 = 66115.3 C0940 = 197852 C0942 = 115157 C0943 = 203576 C0944 = 243426 C0945 = 66122.7 C0946 = 197830 C0947 = 237400 C0948 = 72037 C0949 = 292249 C0950 = 67808 C0951 = 107580 C0952 = 156473 C0953 = 195994 C0954 = 244922 C0955 = 284706 C0956 = 67632 C0957 = 107524 C0958 = 150571 C0959 = 239023 C0960 = 278696 C0961 = 194338 C0962 = 325944 C0963 = 365746 C0964 = 188538 C0965 = 320035 C0966 = 359813 C0967 = 237391 C0968 = 276953 C0969 = 408802 C0970 = 188510 C0971 = 320139 C0972 = 359923 C0973 = 237537 C0974 = 277012 C0975 = 408947 C0976 = 237327 C0977 = 325955 C0978 = 365688 C0979 = 188530 C0980 = 320267 C0981 = 359986 C0983 = 325991 C0984 = 365841 C0985 = 188538 C0986 = 320245 C0987 = 359815 C0988 = 194452 C0989 = 414664 C0990 = 190223 C0991 = 229995 C0992 = 278888 C0993 = 318409 C0994 = 367337 C0995 = 407121 C0996 = 190047 C0997 = 229939 C0998 = 272986 C0999 = 361438 C1000 = 401111 C1001 = 105919 C1002 = 237525 C1003 = 277327 C1004 = 100119 C1005 = 231616 C1006 = 271394 C1007 = 148972 C1008 = 188534 C1009 = 320383 C1010 = 100091 C1011 = 231720 C1012 = 271504 C1013 = 149118 C1014 = 188593 C1015 = 320528 C1016 = 148908 C1017 = 237536 C1018 = 277269 C1019 = 100111 C1020 = 231848 C1021 = 271567 C1022 = 149153 C1024 = 277422 C1025 = 100119 C1026 = 231826 C1027 = 271396 C1028 = 106033 C1029 = 326245 C1030 = 101804 C1031 = 141576 C1032 = 190469 C1033 = 229990 C1034 = 278918 C1035 = 318702 C1036 = 101628 C1037 = 141520 C1038 = 184567 C1039 = 273019 C1040 = 312692 C1041 = 66069 C1042 = 197675 C1043 = 237477 C1044 = 60269.3 C1045 = 191766 C1046 = 231544 C1047 = 109122 C1048 = 148684 C1049 = 280533 C1050 = 60241 C1051 = 191870 C1052 = 231654 C1053 = 109268 C1054 = 148743 C1055 = 280678 C1056 = 109058 C1057 = 197686 C1058 = 237419 C1059 = 60261.3 C1060 = 191998 C1061 = 231717 C1062 = 109303 C1063 = 197722 C1065 = 60268.7 C1066 = 191976 C1067 = 231546 C1068 = 66183 C1069 = 286395 C1070 = 61954 C1071 = 101726 C1072 = 150619 C1073 = 190140 C1074 = 239068 C1075 = 278852 C1076 = 61778 C1077 = 101670 C1078 = 144717 C1079 = 233169 C1080 = 272842 C1081 = 243373 C1082 = 374979 C1083 = 414781 C1084 = 237574 C1085 = 369070 C1086 = 408848 C1087 = 286426 C1088 = 325988 C1089 = 457837 C1090 = 237545 C1091 = 369174 C1092 = 408958 C1093 = 286572 C1094 = 326047 C1095 = 457982 C1096 = 286362 C1097 = 374990 C1098 = 414723 C1099 = 237566 C1100 = 369302 C1101 = 409021 C1102 = 286607 C1103 = 375026 C1104 = 414876 C1106 = 369280 C1107 = 408850 C1108 = 243487 C1109 = 463699 C1110 = 239258 C1111 = 279030 C1112 = 327923 C1113 = 367444 C1114 = 416372 C1115 = 456156 C1116 = 239082 C1117 = 278974 C1118 = 322021 C1119 = 410473 C1120 = 450146 C1121 = 111666 C1122 = 243272 C1123 = 283074 C1124 = 105866 C1125 = 237363 C1126 = 277141 C1127 = 154719 C1128 = 194281 C1129 = 326130 C1130 = 105838 C1131 = 237467 C1132 = 277251 C1133 = 154865 C1134 = 194340 C1135 = 326275 C1136 = 154655 C1137 = 243283 C1138 = 283016 C1139 = 105858 C1140 = 237595 C1141 = 277314 C1142 = 154900 C1143 = 243319 C1144 = 283169 C1145 = 105866 C1147 = 277143 C1148 = 111780 C1149 = 331992 C1150 = 107551 C1151 = 147323 C1152 = 196216 C1153 = 235737 C1154 = 284665 C1155 = 324449 C1156 = 107375 C1157 = 147267 C1158 = 190314 C1159 = 278766 C1160 = 318439 C1161 = 72096 C1162 = 203702 C1163 = 243504 C1164 = 66296.3 C1165 = 197793 C1166 = 237571 C1167 = 115149 C1168 = 154711 C1169 = 286560 C1170 = 66268 C1171 = 197897 C1172 = 237681 C1173 = 115295 C1174 = 154770 C1175 = 286705 C1176 = 115085 C1177 = 203713 C1178 = 243446 C1179 = 66288.3 C1180 = 198025 C1181 = 237744 C1182 = 115330 C1183 = 203749 C1184 = 243599 C1185 = 66295.7 C1186 = 198003 C1188 = 72210 C1189 = 292422 C1190 = 67981 C1191 = 107753 C1192 = 156646 C1193 = 196167 C1194 = 245095 C1195 = 284879 C1196 = 67805 C1197 = 107697 C1198 = 150744 C1199 = 239196 C1200 = 278869 C1201 = 237455 C1202 = 369061 C1203 = 408863 C1204 = 231655 C1205 = 363152 C1206 = 402930 C1207 = 280508 C1208 = 320070 C1209 = 451919 C1210 = 231627 C1211 = 363256 C1212 = 403040 C1213 = 280654 C1214 = 320129 C1215 = 452064 C1216 = 280444 C1217 = 369072 C1218 = 408805 C1219 = 231647 C1220 = 363384 C1221 = 403103 C1222 = 280689 C1223 = 369108 C1224 = 408958 C1225 = 231655 C1226 = 363362 C1227 = 402932 C1229 = 457781 C1230 = 233340 C1231 = 273112 C1232 = 322005 C1233 = 361526 C1234 = 410454 C1235 = 450238 C1236 = 233164 C1237 = 273056 C1238 = 316103 C1239 = 404555 C1240 = 444228 C1241 = 17243 C1242 = 148849 C1243 = 188651 C1244 = 11443.3 C1245 = 142940 C1246 = 182718 C1247 = 60296 C1248 = 99858 C1249 = 231707 C1250 = 11415 C1251 = 143044 C1252 = 182828 C1253 = 60442 C1254 = 99917 C1255 = 231852 C1256 = 60232 C1257 = 148860 C1258 = 188593 C1259 = 11435.3 C1260 = 143172 C1261 = 182891 C1262 = 60477 C1263 = 148896 C1264 = 188746 C1265 = 11442.7 C1266 = 143150 C1267 = 182720 C1268 = 17357 C1270 = 13128 C1271 = 52900 C1272 = 101793 C1273 = 141314 C1274 = 190242 C1275 = 230026 C1276 = 12952 C1277 = 52844 C1278 = 95891 C1279 = 184343 C1280 = 224016 C1281 = 241682 C1282 = 373288 C1283 = 413090 C1284 = 235882 C1285 = 367379 C1286 = 407157 C1287 = 284735 C1288 = 324297 C1289 = 456146 C1290 = 235854 C1291 = 367483 C1292 = 407267 C1293 = 284881 C1294 = 324356 C1295 = 456291 C1296 = 284671 C1297 = 373299 C1298 = 413032 C1299 = 235874 C1300 = 367611 C1301 = 407330 C1302 = 284916 C1303 = 373335 C1304 = 413185 C1305 = 235882 C1306 = 367589 C1307 = 407159 C1308 = 241796 C1309 = 462008 C1311 = 277339 C1312 = 326232 C1313 = 365753 C1314 = 414681 C1315 = 454465 C1316 = 237391 C1317 = 277283 C1318 = 320330 C1319 = 408782 C1320 = 448455 C1321 = 201910 C1322 = 333516 C1323 = 373318 C1324 = 196110 C1325 = 327607 C1326 = 367385 C1327 = 244963 C1328 = 284525 C1329 = 416374 C1330 = 196082 C1331 = 327711 C1332 = 367495 C1333 = 245109 C1334 = 284584 C1335 = 416519 C1336 = 244899 C1337 = 333527 C1338 = 373260 C1339 = 196102 C1340 = 327839 C1341 = 367558 C1342 = 245144 C1343 = 333563 C1344 = 373413 C1345 = 196110 C1346 = 327817 C1347 = 367387 C1348 = 202024 C1349 = 422236 C1350 = 197795 C1352 = 286460 C1353 = 325981 C1354 = 374909 C1355 = 414693 C1356 = 197619 C1357 = 237511 C1358 = 280558 C1359 = 369010 C1360 = 408683 C1361 = 153017 C1362 = 284623 C1363 = 324425 C1364 = 147217 C1365 = 278714 C1366 = 318492 C1367 = 196070 C1368 = 235632 C1369 = 367481 C1370 = 147189 C1371 = 278818 C1372 = 318602 C1373 = 196216 C1374 = 235691 C1375 = 367626 C1376 = 196006 C1377 = 284634 C1378 = 324367 C1379 = 147209 C1380 = 278946 C1381 = 318665 C1382 = 196251 C1383 = 284670 C1384 = 324520 C1385 = 147217 C1386 = 278924 C1387 = 318494 C1388 = 153131 C1389 = 373343 C1390 = 148902 C1391 = 188674 C1393 = 277088 C1394 = 326016 C1395 = 365800 C1396 = 148726 C1397 = 188618 C1398 = 231665 C1399 = 320117 C1400 = 359790 C1401 = 113496 C1402 = 245102 C1403 = 284904 C1404 = 107696 C1405 = 239193 C1406 = 278971 C1407 = 156549 C1408 = 196111 C1409 = 327960 C1410 = 107668 C1411 = 239297 C1412 = 279081 C1413 = 156695 C1414 = 196170 C1415 = 328105 C1416 = 156485 C1417 = 245113 C1418 = 284846 C1419 = 107688 C1420 = 239425 C1421 = 279144 C1422 = 156730 C1423 = 245149 C1424 = 284999 C1425 = 107696 C1426 = 239403 C1427 = 278973 C1428 = 113610 C1429 = 333822 C1430 = 109381 C1431 = 149153 C1432 = 198046 C1434 = 286495 C1435 = 326279 C1436 = 109205 C1437 = 149097 C1438 = 192144 C1439 = 280596 C1440 = 320269 C1441 = 64568 C1442 = 196174 C1443 = 235976 C1444 = 58768.3 C1445 = 190265 C1446 = 230043 C1447 = 107621 C1448 = 147183 C1449 = 279032 C1450 = 58740 C1451 = 190369 C1452 = 230153 C1453 = 107767 C1454 = 147242 C1455 = 279177 C1456 = 107557 C1457 = 196185 C1458 = 235918 C1459 = 58760.3 C1460 = 190497 C1461 = 230216 C1462 = 107802 C1463 = 196221 C1464 = 236071 C1465 = 58767.7 C1466 = 190475 C1467 = 230045 C1468 = 64682 C1469 = 284894 C1470 = 60453 C1471 = 100225 C1472 = 149118 C1473 = 188639 C1475 = 277351 C1476 = 60277 C1477 = 100169 C1478 = 143216 C1479 = 231668 C1480 = 271341 C1481 = 24784 C1482 = 156390 C1483 = 196192 C1484 = 18984.3 C1485 = 150481 C1486 = 190259 C1487 = 67837 C1488 = 107399 C1489 = 239248 C1490 = 18956 C1491 = 150585 C1492 = 190369 C1493 = 67983 C1494 = 107458 C1495 = 239393 C1496 = 67773 C1497 = 156401 C1498 = 196134 C1499 = 18976.3 C1500 = 150713 C1501 = 190432 C1502 = 68018 C1503 = 156437 C1504 = 196287 C1505 = 18983.7 C1506 = 150691 C1507 = 190261 C1508 = 24898 C1509 = 245110 C1510 = 20669 C1511 = 60441 C1512 = 109334 C1513 = 148855 C1514 = 197783 C1516 = 20493 C1517 = 60385 C1518 = 103432 C1519 = 191884 C1520 = 231557 C1521 = 241858 C1522 = 373464 C1523 = 413266 C1524 = 236058 C1525 = 367555 C1526 = 407333 C1527 = 284911 C1528 = 324473 C1529 = 456322 C1530 = 236030 C1531 = 367659 C1532 = 407443 C1533 = 285057 C1534 = 324532 C1535 = 456467 C1536 = 284847 C1537 = 373475 C1538 = 413208 C1539 = 236050 C1540 = 367787 C1541 = 407506 C1542 = 285092 C1543 = 373511 C1544 = 413361 C1545 = 236058 C1546 = 367765 C1547 = 407335 C1548 = 241972 C1549 = 462184 C1550 = 237743 C1551 = 277515 C1552 = 326408 C1553 = 365929 C1554 = 414857 C1555 = 454641 C1557 = 277459 C1558 = 320506 C1559 = 408958 C1560 = 448631 C1561 = 201966 C1562 = 333572 C1563 = 373374 C1564 = 196166 C1565 = 327663 C1566 = 367441 C1567 = 245019 C1568 = 284581 C1569 = 416430 C1570 = 196138 C1571 = 327767 C1572 = 367551 C1573 = 245165 C1574 = 284640 C1575 = 416575 C1576 = 244955 C1577 = 333583 C1578 = 373316 C1579 = 196158 C1580 = 327895 C1581 = 367614 C1582 = 245200 C1583 = 333619 C1584 = 373469 C1585 = 196166 C1586 = 327873 C1587 = 367443 C1588 = 202080 C1589 = 422292 C1590 = 197851 C1591 = 237623 C1592 = 286516 C1593 = 326037 C1594 = 374965 C1595 = 414749 C1596 = 197675 C1598 = 280614 C1599 = 369066 C1600 = 408739 C1601 = 158919 C1602 = 290525 C1603 = 330327 C1604 = 153119 C1605 = 284616 C1606 = 324394 C1607 = 201972 C1608 = 241534 C1609 = 373383 C1610 = 153091 C1611 = 284720 C1612 = 324504 C1613 = 202118 C1614 = 241593 C1615 = 373528 C1616 = 201908 C1617 = 290536 C1618 = 330269 C1619 = 153111 C1620 = 284848 C1621 = 324567 C1622 = 202153 C1623 = 290572 C1624 = 330422 C1625 = 153119 C1626 = 284826 C1627 = 324396 C1628 = 159033 C1629 = 379245 C1630 = 154804 C1631 = 194576 C1632 = 243469 C1633 = 282990 C1634 = 331918 C1635 = 371702 C1636 = 154628 C1637 = 194520 C1639 = 326019 C1640 = 365692 C1641 = 70467 C1642 = 202073 C1643 = 241875 C1644 = 64667.3 C1645 = 196164 C1646 = 235942 C1647 = 113520 C1648 = 153082 C1649 = 284931 C1650 = 64639 C1651 = 196268 C1652 = 236052 C1653 = 113666 C1654 = 153141 C1655 = 285076 C1656 = 113456 C1657 = 202084 C1658 = 241817 C1659 = 64659.3 C1660 = 196396 C1661 = 236115 C1662 = 113701 C1663 = 202120 C1664 = 241970 C1665 = 64666.7 C1666 = 196374 C1667 = 235944 C1668 = 70581 C1669 = 290793 C1670 = 66352 C1671 = 106124 C1672 = 155017 C1673 = 194538 C1674 = 243466 C1675 = 283250 C1676 = 66176 C1677 = 106068 C1678 = 149115 C1680 = 277240 C1681 = 30780 C1682 = 162386 C1683 = 202188 C1684 = 24980.3 C1685 = 156477 C1686 = 196255 C1687 = 73833 C1688 = 113395 C1689 = 245244 C1690 = 24952 C1691 = 156581 C1692 = 196365 C1693 = 73979 C1694 = 113454 C1695 = 245389 C1696 = 73769 C1697 = 162397 C1698 = 202130 C1699 = 24972.3 C1700 = 156709 C1701 = 196428 C1702 = 74014 C1703 = 162433 C1704 = 202283 C1705 = 24979.7 C1706 = 156687 C1707 = 196257 C1708 = 30894 C1709 = 251106 C1710 = 26665 C1711 = 66437 C1712 = 115330 C1713 = 154851 C1714 = 203779 C1715 = 243563 C1716 = 26489 C1717 = 66381 C1718 = 109428 C1719 = 197880 C6651 = 1 C6652 = 1 C6653 = 1 C6654 = 1 C6655 = 1 C6656 = 1 C6658 = 1 C6659 = 1 C6660 = 1 C6661 = 1 C6662 = 1 C6663 = 1 C6664 = 1 C6665 = 1 C6666 = 1 C6667 = 1 C6668 = 1 C6669 = 1 C6670 = 1 C6671 = 1 C6672 = 1 C6673 = 1 C6674 = 1 C6675 = 1 C6676 = 1 C6677 = 1 C6678 = 1 C6679 = 1 C27647 = 1 C27648 = 1 C27649 = 1 C27650 = 1 C27651 = 1 C27652 = 1 C27654 = 1 C27655 = 1 C27656 = 1 C27657 = 1 C27658 = 1 C27659 = 1 C27660 = 1 C27661 = 1 C27662 = 1 C27663 = 1 C27664 = 1 C27665 = 1 C27666 = 1 C27667 = 1 C27668 = 1 C27669 = 1 C27670 = 1 C27671 = 1 C27672 = 1 C27673 = 1 C27674 = 1 C27675 = 1 C27850 = 1 C27851 = 1 C27852 = 1 C27853 = 1 C27854 = 1 C27855 = 1 C27856 = 1 C27857 = 1 C27858 = 1 C27859 = 1 C27860 = 1 C27861 = 1 C27862 = 1 C27863 = 1 C27864 = 1 C27865 = 1 C27866 = 1 C27867 = 1 C27868 = 1 C27869 = 1 C27870 = 1 C27871 = 1 C27872 = 1 C27873 = 1 C27874 = 1 C27875 = 1 C27876 = 1 C27877 = 1 C27878 = 1 C33598 = 1 C79563 = 1 C79756 = 1 C80480 = 1 C80487 = 1 C81659 = 1 2529.54user 3.28system 31:35.12elapsed 133%CPU (0avgtext+0avgdata 3765120maxresident)k 0inputs+6552outputs (0major+716822minor)pagefaults 0swaps