Registering Logic ConstraintAnalyzers...done
Registering ConstraintAnalyzers...done
Registering SolutionTransformers...done
Output dir: ./momentum3/default/1322233807_TmUC
>config
	probName = momentum3
	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 = 13532
	binaries = 6598
	integers = 1
	nrows = 56822
>presolvedProblem
	hasPresolve = 1
	emptyProblem = 0
	offset = 67000
>presolvedProblem
	nvars = 13333
	binaries = 6464
	integers = 1
	nrows = 54253
>config
	firstOptMethod = simplex
	reOptMethod = primal
	timeLimit = 7200
	iterLimit = 2000
	s1IterLimit = 10000
	s1MaxMissedDecrease = 70
	maxMissedDecrease = 600
	maxRestarts = 100
	avgFlips = 20
	seed = 1322233807
	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 6014
cardinality 383
knapsack 967
linear 46889

	isPureInteger = 0
	fixedCnt = 0
	isBinary = 0
relaxationTime = 24.8096
relaxationObjValue = 24952.4
>Stage1
#iteration = 20
#iteration = 40
#iteration = 60
#iteration = 80
	s1Iterations = 87
>Stage2
	maxFlipsInRestart = 0
Found Solution!
>stats
	found = 1
	stage = 1
	totalLpTime = 18.0451
	totalRoundingTime = 12.3808
	iterations = 87
	time = 55.2515
	perturbationCnt = 40
	restartCnt = 24
>results
	firstValue = 514279
	firstIt = 87
	firstTime = 55.2515
	lastValue = 514279
	lastIt = 87
	lastTime = 55.2515

Solution (only non-zero entries are reported): 
x1 = 133
x2 = 1.00237
x3 = 1.00237
x4 = 1.0661
x5 = 1.26894
x6 = 1.64568
x7 = 1.00237
x17 = 4.8066
x18 = 3.58672
x19 = 1.00237
x20 = 1.4269
x21 = 1.96848
x22 = 1.84635
x23 = 1.00237
x24 = 1.00237
x25 = 1.00237
x26 = 1.00237
x27 = 1.00237
x28 = 3.66551
x32 = 1.00237
x33 = 1.00237
x34 = 1.00237
x35 = 1.00237
x36 = 1.13658
x37 = 1.18681
x38 = 1.00237
x39 = 1.00237
x40 = 3.31808
x44 = 1.00237
x45 = 1.00237
x46 = 2.42262
x47 = 1.84357
x48 = 1.33635
x49 = 1.33635
x50 = 1.00237
x51 = 1.00237
x52 = 1.00237
x53 = 1.00237
x54 = 3.7077
x55 = 1.00237
x56 = 1.58866
x57 = 2.12414
x58 = 1.58866
x59 = 2.62669
x60 = 2.52229
x61 = 1.60604
x71 = 1.00237
x72 = 1.00237
x73 = 1.00237
x74 = 1.00237
x75 = 1.00237
x76 = 1.27519
x80 = 1.00237
x81 = 1.00237
x82 = 1.00237
x83 = 7.53338
x84 = 3.55231
x85 = 4.74109
x86 = 1.00237
x87 = 1.00237
x88 = 1.00237
x89 = 1.00237
x90 = 1.00237
x91 = 1.00237
x92 = 1.00237
x93 = 1.00237
x94 = 1.00237
x95 = 4.85002
x96 = 4.17167
x97 = 4.17477
x98 = 1.00237
x99 = 2.43152
x100 = 1.00237
x101 = 1.00237
x102 = 1.00237
x103 = 1.00237
x110 = 1.16361
x111 = 1.00237
x112 = 1.00237
x113 = 1.00237
x114 = 1.00237
x115 = 1.00237
x116 = 1.00237
x117 = 1.00237
x118 = 1.00237
x125 = 3.52182
x126 = 2.55287
x127 = 2.55287
x128 = 6.71902
x129 = 2.34256
x130 = 4.11742
x134 = 1.64785
x135 = 2.27329
x136 = 1.64785
x137 = 1.00237
x138 = 1.00237
x139 = 1.00237
x140 = 1.00237
x141 = 1.1405
x142 = 1.00237
x143 = 1.00237
x144 = 1.00237
x145 = 1.00237
x146 = 1.00237
x147 = 1.00237
x148 = 1.00237
x149 = 1.00237
x150 = 1.00237
x151 = 1.00237
x152 = 2.26194
x153 = 1.77142
x154 = 2.44376
x158 = 2.818
x159 = 1.00237
x160 = 1.16794
x164 = 1.00237
x165 = 1.00237
x166 = 1.00237
x176 = 1.00237
x177 = 1.00237
x178 = 1.00237
x179 = 1.00237
x180 = 1.00237
x181 = 1.00237
x182 = 1.00237
x183 = 1.96667
x184 = 1.00237
x185 = 1.2939
x186 = 1.00237
x187 = 1.00237
x188 = 1.00237
x189 = 1.00237
x190 = 1.00237
x191 = 1.79251
x192 = 1.00237
x193 = 1.00237
x194 = 1.00237
x195 = 1.00237
x196 = 1.00237
x197 = 1.00237
x198 = 1.00237
x199 = 1.00237
x200 = 1.00237
x201 = 1.00237
x202 = 1.00237
x203 = 0.501187
x204 = 0.501187
x208 = 0.501187
x209 = 0.713448
x210 = 0.501187
x211 = 0.501187
x213 = 0.501187
x214 = 0.501187
x215 = 0.501187
x217 = 0.501187
x218 = 0.668175
x219 = 0.501187
x220 = 0.501187
x221 = 0.794328
x222 = 0.574776
x226 = 0.501187
x227 = 0.501187
x229 = 0.501187
x230 = 1.77615
x231 = 0.501187
x232 = 0.501187
x233 = 0.501187
x234 = 1.25893
x235 = 0.501187
x236 = 0.501187
x239 = 0.501187
x240 = 0.501187
x241 = 0.501187
x244 = 1.27643
x245 = 1.01506
x247 = 0.823923
x248 = 0.501187
x249 = 0.501187
x250 = 0.501187
x251 = 0.501187
x252 = 0.501187
x253 = 0.885708
x255 = 0.501187
x257 = 0.501187
x261 = 0.501187
x262 = 0.501187
x263 = 0.501187
x264 = 0.501187
x265 = 0.501187
x266 = 0.501187
x267 = 0.501187
x268 = 0.501187
x269 = 0.501187
x379 = 0.0910364
x416 = 0.266569
x448 = 0.303314
x475 = 0.339991
x798 = 1.32514
x801 = 1.01682
x808 = 1.46226
x827 = 1.59545
x835 = 0.988891
x939 = 0.773691
x957 = 0.41945
x1148 = 0.602607
x1161 = 2.06053
x1456 = 0.191724
x1503 = 0.263475
x1566 = 1.53341
x1582 = 0.782296
x1733 = 1.42024
x1787 = 0.724596
x1991 = 2.70533
x2070 = 0.764976
x2143 = 1.47714
x2149 = 0.467565
x2151 = 0.364769
x2152 = 0.6019
x2156 = 0.0895268
x2165 = 0.163632
x2168 = 0.11733
x2178 = 0.374769
x2188 = 0.116734
x2622 = 0.389736
x2782 = 3.98107
x2826 = 1.18878
x3135 = 0.231103
x3137 = 2.1704
x3176 = 1.65382
x3199 = 0.138754
x3206 = 0.416939
x3211 = 1.26793
x3273 = 1.42915
x3637 = 0.230329
x4164 = 1.38422
x4264 = 3.98107
x4270 = 1.01118
x4301 = 0.446346
x4317 = 2.0873
x4467 = 0.893495
x4640 = 0.197319
x4997 = 0.700751
x5040 = 0.960497
x5185 = 1.81563
x5264 = 0.236518
x5797 = 0.964293
x5836 = 0.416458
x5981 = 0.790132
x6290 = 0.00491319
x6295 = 0.000499458
x6304 = 0.000722816
x6309 = 0.00250062
x6315 = 0.00398367
x6318 = 0.000332302
x6335 = 0.00448838
x6351 = 0.00263957
x6360 = 0.0692365
x6370 = 0.000187931
x6372 = 0.00792354
x6376 = 0.0126578
x6388 = 0.000122538
x6391 = 0.0279946
x6414 = 0.000123674
x6418 = 0.00102539
x6429 = 0.00222551
x6436 = 0.0066701
x6439 = 1.83327e-05
x6443 = 2.11489e-05
x6450 = 0.00123069
x6451 = 0.000110077
x6462 = 0.0185998
x6464 = 2.30794e-05
x6475 = 3.65783e-05
x6489 = 0.00617166
x6504 = 0.0322413
x6511 = 0.000733134
x6519 = 3.09538e-05
x6520 = 0.000168281
x6522 = 0.00995215
x6534 = 0.0145621
x6537 = 0.00319612
x6554 = 0.000729835
x6561 = 0.000979039
x6564 = 0.00464815
x6569 = 0.000334297
x6590 = 0.00925394
x6600 = 0.00569907
x6602 = 0.000200208
x6605 = 0.000603028
x6606 = 0.00309424
x6617 = 0.000124501
x6628 = 0.0569907
x6630 = 0.000185343
x6636 = 0.106738
x6645 = 2.05145e-05
x6647 = 0.00713531
x6648 = 0.120984
x6652 = 0.000349012
x6663 = 0.00028869
x6688 = 0.00134375
x6708 = 0.0041205
x6720 = 3.23498e-05
x6728 = 0.000264565
x6843 = 1
x6880 = 1
x6912 = 1
x6939 = 1
x7262 = 1
x7265 = 1
x7272 = 1
x7291 = 1
x7299 = 1
x7403 = 1
x7421 = 1
x7612 = 1
x7625 = 1
x7920 = 1
x7967 = 1
x8030 = 1
x8046 = 1
x8197 = 1
x8251 = 1
x8455 = 1
x8534 = 1
x8607 = 1
x8613 = 1
x8615 = 1
x8616 = 1
x8620 = 1
x8629 = 1
x8632 = 1
x8642 = 1
x8652 = 1
x9086 = 1
x9246 = 1
x9290 = 1
x9599 = 1
x9601 = 1
x9640 = 1
x9663 = 1
x9670 = 1
x9675 = 1
x9737 = 1
x10101 = 1
x10628 = 1
x10728 = 1
x10734 = 1
x10765 = 1
x10781 = 1
x10931 = 1
x11104 = 1
x11461 = 1
x11504 = 1
x11649 = 1
x11728 = 1
x12261 = 1
x12300 = 1
x12445 = 1
x12748 = 1
x12749 = 1
x12750 = 1
x12751 = 1
x12752 = 1
x12753 = 1
x12755 = 1
x12756 = 1
x12757 = 1
x12758 = 1
x12760 = 1
x12761 = 1
x12762 = 1
x12763 = 1
x12764 = 1
x12765 = 1
x12766 = 1
x12767 = 1
x12769 = 1
x12770 = 1
x12771 = 1
x12772 = 1
x12774 = 1
x12775 = 1
x12776 = 1
x12777 = 1
x12778 = 1
x12780 = 1
x12781 = 1
x12783 = 1
x12784 = 1
x12785 = 1
x12786 = 1
x12787 = 1
x12788 = 1
x12789 = 1
x12790 = 1
x12791 = 1
x12792 = 1
x12793 = 1
x12794 = 1
x12795 = 1
x12796 = 1
x12797 = 1
x12798 = 1
x12800 = 1
x12801 = 1
x12802 = 1
x12803 = 1
x12804 = 1
x12805 = 1
x12806 = 1
x12807 = 1
x12808 = 1
x12809 = 1
x12810 = 1
x12811 = 1
x12812 = 1
x12813 = 1
x12814 = 1
x12816 = 1
x12817 = 1
x12818 = 1
x12819 = 1
x12820 = 1
x12821 = 1
x12822 = 1
x12823 = 1
x12825 = 1
x12826 = 1
x12827 = 1
x12828 = 1
x12829 = 1
x12830 = 1
x12831 = 1
x12832 = 1
x12833 = 1
x12835 = 1
x12837 = 1
x12838 = 1
x12839 = 1
x12841 = 1
x12842 = 1
x12843 = 1
x12844 = 1
x12845 = 1
x12846 = 1
x12847 = 1
x12848 = 1
x12849 = 1
x12850 = 1
x12851 = 1
x12853 = 1
x12854 = 1
x12856 = 1
x12857 = 1
x12858 = 1
x12859 = 1
x12860 = 1
x12861 = 1
x12862 = 1
x12863 = 1
x12864 = 1
x12865 = 1
x12866 = 1
x12867 = 1
x12868 = 1
x12869 = 1
x12870 = 1
x12871 = 1
x12872 = 1
x12873 = 1
x12874 = 1
x12875 = 1
x12876 = 1
x12877 = 1
x12879 = 1
x12880 = 1
x12881 = 1
x12883 = 1
x12884 = 1
x12885 = 1
x12886 = 1
x12887 = 1
x12888 = 1
x12889 = 1
x12890 = 1
x12891 = 1
x12892 = 1
x12894 = 1
x12895 = 1
x12896 = 1
x12897 = 1
x12898 = 1
x12899 = 1
x12901 = 1
x12902 = 1
x12904 = 1
x12905 = 1
x12906 = 1
x12908 = 1
x12909 = 1
x12910 = 1
x12911 = 1
x12912 = 1
x12913 = 1
x12916 = 1
x12917 = 1
x12918 = 1
x12919 = 1
x12920 = 1
x12921 = 1
x12922 = 1
x12923 = 1
x12924 = 1
x12925 = 1
x12927 = 1
x12929 = 1
x12930 = 1
x12931 = 1
x12932 = 1
x12933 = 1
x12934 = 1
x12935 = 1
x12936 = 1
x12937 = 1
x12938 = 1
x12940 = 1
x12941 = 1
x12942 = 1
x12943 = 1
x12944 = 1
x12945 = 1
x12946 = 1
x12947 = 1
x12948 = 1
x12949 = 1
x12950 = 1
x12951 = 1
x12952 = 1
x12954 = 1
x12955 = 1
x12956 = 1
x12957 = 1
x12958 = 1
x12959 = 1
x12960 = 1
x12961 = 1
x12962 = 1
x12963 = 1
x12964 = 1
x12965 = 1
x12966 = 1
x12967 = 1
x12969 = 1
x12970 = 1
x12971 = 1
x12972 = 1
x12973 = 1
x12974 = 1
x12976 = 1
x12977 = 1
x12978 = 1
x12979 = 1
x12980 = 1
x12981 = 1
x12982 = 1
x12985 = 1
x12987 = 1
x12988 = 1
x12989 = 1
x12990 = 1
x12991 = 1
x12992 = 1
x12993 = 1
x12994 = 1
x12995 = 1
x12996 = 1
x12997 = 1
x12999 = 1
x13000 = 1
x13002 = 1
x13003 = 1
x13004 = 1
x13005 = 1
x13006 = 1
x13007 = 1
x13008 = 1
x13009 = 1
x13010 = 1
x13011 = 1
x13012 = 1
x13013 = 1
x13014 = 1
x13015 = 1
x13016 = 1
x13017 = 1
x13019 = 1
x13020 = 1
x13021 = 1
x13022 = 1
x13023 = 1
x13024 = 1
x13026 = 1
x13027 = 1
x13029 = 1
x13030 = 1
x13031 = 1
x13032 = 1
x13034 = 1
x13035 = 1
x13036 = 1
x13037 = 1
x13038 = 1
x13039 = 1
x13040 = 1
x13041 = 1
x13042 = 1
x13043 = 1
x13044 = 1
x13045 = 1
x13046 = 1
x13047 = 1
x13048 = 1
x13049 = 1
x13050 = 1
x13051 = 1
x13052 = 1
x13053 = 1
x13055 = 1
x13056 = 1
x13057 = 1
x13058 = 1
x13059 = 1
x13060 = 1
x13061 = 1
x13062 = 1
x13063 = 1
x13065 = 1
x13067 = 1
x13068 = 1
x13071 = 1
x13072 = 1
x13073 = 1
x13074 = 1
x13075 = 1
x13076 = 1
x13077 = 1
x13078 = 1
x13079 = 1
x13080 = 1
x13082 = 1
x13083 = 1
x13084 = 1
x13085 = 1
x13086 = 1
x13087 = 1
x13088 = 1
x13089 = 1
x13090 = 1
x13091 = 1
x13093 = 1
x13095 = 1
x13096 = 1
x13097 = 1
x13098 = 1
x13099 = 1
x13101 = 1
x13102 = 1
x13103 = 1
x13104 = 1
x13105 = 1
x13106 = 1
x13107 = 1
x13108 = 1
x13110 = 1
x13113 = 1
x13114 = 1
x13115 = 1
x13117 = 1
x13118 = 1
x13119 = 1
x13120 = 1
x13121 = 1
x13122 = 1
x13123 = 1
x13124 = 1
x13125 = 1
x13126 = 1
x13128 = 1
x13129 = 1
x13130 = 1
x13131 = 1
x13132 = 1
x13133 = 1
x13134 = 1
x13135 = 1
x13136 = 1
x13137 = 1
x13138 = 1
x13139 = 1
x13140 = 1
x13141 = 1
x13142 = 1
x13143 = 1
x13144 = 1
x13145 = 1
x13146 = 1
x13147 = 1
x13148 = 1
x13149 = 1
x13150 = 1
x13151 = 1
x13153 = 1
x13154 = 1
x13155 = 1
x13156 = 1
x13157 = 1
x13158 = 1
x13159 = 1
x13160 = 1
x13161 = 1
x13162 = 1
x13163 = 1
x13164 = 1
x13165 = 1
x13166 = 1
x13167 = 1
x13168 = 1
x13169 = 1
x13170 = 1
x13171 = 1
x13173 = 1
x13174 = 1
x13175 = 1
x13176 = 1
x13177 = 1
x13178 = 1
x13179 = 1
x13180 = 1
x13181 = 1
x13182 = 1
x13183 = 1
x13185 = 1
x13186 = 1
x13187 = 1
x13188 = 1
x13189 = 1
x13190 = 1
x13191 = 1
x13193 = 1
x13194 = 1
x13195 = 1
x13196 = 1
x13197 = 1
x13198 = 1
x13199 = 1
x13203 = 1
x13204 = 1
x13205 = 1
x13206 = 1
x13208 = 1
x13209 = 1
x13210 = 1
x13212 = 1
x13213 = 1
x13214 = 1
x13215 = 1
x13216 = 1
x13217 = 1
x13221 = 1
x13222 = 1
x13224 = 1
x13225 = 1
x13226 = 1
x13227 = 1
x13228 = 1
x13229 = 1
x13230 = 1
x13231 = 1
x13234 = 1
x13235 = 1
x13236 = 1
x13239 = 1
x13240 = 1
x13242 = 1
x13243 = 1
x13244 = 1
x13245 = 1
x13246 = 1
x13247 = 1
x13248 = 1
x13250 = 1
x13252 = 1
x13256 = 1
x13257 = 1
x13258 = 1
x13259 = 1
x13260 = 1
x13261 = 1
x13262 = 1
x13263 = 1
x13264 = 1
x13265 = 1
x13266 = 1
x13270 = 1
x13271 = 1
x13272 = 1
x13273 = 1
x13275 = 1
x13276 = 1
x13277 = 1
x13279 = 1
x13280 = 1
x13281 = 1
x13282 = 1
x13283 = 1
x13284 = 1
x13288 = 1
x13289 = 1
x13291 = 1
x13292 = 1
x13293 = 1
x13294 = 1
x13295 = 1
x13296 = 1
x13297 = 1
x13298 = 1
x13301 = 1
x13302 = 1
x13303 = 1
x13306 = 1
x13307 = 1
x13309 = 1
x13310 = 1
x13311 = 1
x13312 = 1
x13313 = 1
x13314 = 1
x13315 = 1
x13317 = 1
x13319 = 1
x13323 = 1
x13324 = 1
x13325 = 1
x13326 = 1
x13327 = 1
x13328 = 1
x13329 = 1
x13330 = 1
x13331 = 1
x13332 = 0.000234163
x13333 = 0.000330711
x13334 = 0.00041877
x13335 = 0.00075213
x13336 = 0.000724914
x13337 = 7.46882e-05
x13338 = 0.000442542
x13339 = 0.000414451
x13340 = 4.6251e-05
x13341 = 9.70059e-05
x13342 = 2.26244e-05
x13343 = 6.66428e-05
x13344 = 0.000124767
x13345 = 3.35246e-05
x13346 = 5.87302e-05
x13347 = 0.000353809
x13348 = 0.00032134
x13349 = 0.000190811
x13350 = 0.000127841
x13351 = 0.000128906
x13352 = 0.000214055
x13353 = 2.72874e-05
x13354 = 0.000212101
x13355 = 0.000264526
x13356 = 0.000206565
x13357 = 0.000669914
x13358 = 0.000655753
x13359 = 6.01272e-05
x13360 = 9.99172e-05
x13361 = 4.96227e-05
x13362 = 8.81421e-05
x13363 = 0.000107143
x13364 = 0.000122917
x13365 = 0.000431683
x13366 = 3.23419e-05
x13367 = 6.07674e-05
x13368 = 0.000167196
x13369 = 4.52368e-05
x13370 = 5.01421e-05
x13371 = 5.81662e-05
x13372 = 6.76785e-05
x13373 = 1.38695e-05
x13374 = 5.34417e-05
x13375 = 4.12433e-05
x13376 = 2.00279e-06
x13377 = 4.24502e-05
x13378 = 1.10249e-05
x13379 = 2.85521e-06
x13380 = 5.10968e-05
x13381 = 1.78218e-05
x13382 = 1.46421e-06
x13383 = 0.000143287
x13384 = 3.94335e-05
x13385 = 1.16757e-06
x13386 = 5.4097e-05
x13387 = 4.55478e-05
x13388 = 1.32228e-05
x13389 = 6.29435e-05
x13390 = 0.000101889
x13391 = 7.7248e-05
x13392 = 4.43809e-06
x13393 = 8.46337e-06
x13394 = 0.000156296
x13395 = 1.94671e-06
x13397 = 0.000121041
x13398 = 3.88419e-06
x13400 = 0.000121047
x13401 = 5.30816e-06
x13403 = 5.90128e-05
x13404 = 2.0065e-06
x13406 = 3.65095e-05
x13407 = 4.8899e-06
x13408 = 1.17505e-05
x13409 = 0.000128352
x13410 = 2.07233e-06
x13411 = 5.97408e-05
x13412 = 0.000254025
x13413 = 8.74785e-06
x13414 = 2.63938e-06
x13415 = 0.000243188
x13416 = 6.15602e-06
x13417 = 1.1669e-06
x13418 = 0.000288998
x13419 = 8.37223e-06
x13421 = 0.000289403
x13422 = 1.92976e-05
x13423 = 2.65299e-05
x13424 = 1.88139e-06
x13425 = 0.000928422
x13426 = 6.92425e-05
x13427 = 2.18409e-05
x13428 = 5.60113e-05
x13429 = 0.000109463
x13430 = 7.45556e-06
x13431 = 3.84347e-05
x13432 = 6.5755e-06
x13433 = 7.42239e-06
x13434 = 0.000248077
x13435 = 2.02407e-05
x13436 = 1.89601e-06
x13437 = 1.59162e-05
x13438 = 1.62717e-05
x13439 = 6.00128e-06
x13440 = 0.000230098
x13441 = 6.4371e-05
x13442 = 4.12521e-06
x13443 = 1.03964e-05
x13444 = 5.26867e-05
x13445 = 4.95486e-06
x13446 = 0.000278008
x13447 = 5.26182e-05
x13448 = 9.41024e-06
x13449 = 8.32875e-06
x13450 = 5.55899e-05
x13451 = 5.1196e-06
x13452 = 0.000392419
x13453 = 6.73556e-05
x13454 = 2.72137e-05
x13455 = 0.000311692
x13456 = 8.89994e-05
x13457 = 5.57759e-06
x13458 = 0.00023867
x13459 = 4.26589e-05
x13460 = 6.23453e-06
x13461 = 5.72361e-05
x13462 = 0.000151365
x13463 = 4.69478e-06
x13464 = 3.74224e-05
x13465 = 3.97947e-05
x13466 = 4.69478e-06
x13467 = 1.31681e-05
x13468 = 1.79622e-05
x13469 = 4.7102e-06
x13470 = 1.07735e-05
x13471 = 2.65908e-05
x13472 = 4.88976e-06
x13473 = 1.24299e-05
x13474 = 6.31295e-05
x13475 = 5.13549e-06
x13476 = 6.04232e-06
x13477 = 1.24026e-05
x13478 = 5.94135e-06
x13479 = 3.53824e-05
x13480 = 2.06243e-05
x13481 = 7.7335e-06
x13482 = 0.000302313
x13483 = 5.19663e-05
x13484 = 5.16026e-06
x13485 = 1.21057e-05
x13486 = 3.58389e-05
x13487 = 6.35653e-06
x13488 = 0.000423894
x13489 = 1.08048e-05
x13490 = 3.5172e-05
x13491 = 7.69423e-06
x13492 = 6.20904e-06
x13493 = 1.48907e-06
x13494 = 0.000263329
x13495 = 2.10283e-06
x13496 = 1.17344e-05
x13497 = 0.000377268
x13498 = 1.47525e-05
x13499 = 1.69123e-05
x13500 = 0.00224148
x13502 = 0.00032737
x13503 = 0.000934935
x13504 = 0.000371125
x13505 = 3.23498e-05
x13506 = 1.18405e-05
x13507 = 0.000117358
x13508 = 3.8636e-06
x13509 = 7.41711e-05
x13510 = 7.40482e-05
x13511 = 3.23498e-05
x13512 = 0.00294096
x13513 = 0.000147747
x13514 = 3.23498e-05
x13515 = 0.000741279
x13516 = 7.40473e-05
x13517 = 5.12709e-06
x13518 = 0.000133255
x13519 = 7.40473e-05
x13520 = 2.56963e-06
x13521 = 0.000172941
x13522 = 7.40473e-05
x13523 = 8.12589e-06
x13524 = 0.000120245
x13525 = 0.000117359
x13526 = 2.44356e-06
x13527 = 1.49327e-05
x13528 = 0.000234164
x13529 = 3.07625e-06
x13530 = 0.00074058
x13531 = 0.000117362
x13532 = 3.23498e-05
57.61user 0.15system 0:44.79elapsed 128%CPU (0avgtext+0avgdata 1157488maxresident)k
0inputs+8416outputs (0major+86495minor)pagefaults 0swaps