0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 2.9.0
0.00/0.00 c compiled with gcc version 4.4.5
0.00/0.00 c Using 1 thread(s)
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3290805-1303785951.cnf'
0.00/0.00 c -- header says num vars: 10420
0.00/0.00 c -- header says num clauses: 484053
0.29/0.38 c -- clauses added: 0 learnts, 484053 normals, 0 xors
0.29/0.38 c -- vars added 10420
0.29/0.38 c Parsing time: 0.37 s
0.29/0.38 c N st 0 0 10420 456210 26271 0 4129262 0 no data no data --
0.49/0.54 c asymm cl-useful: 0/81/454844 lits-rem:0 time: 0.14
1.99/2.08 c Flit: 38 Blit: 0 bXBeca: 0 bXProp: 80 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 1.49
2.09/2.13 c Calc non-exist non-lernt bins v-fix: 0 done: 9538 time: 0.04 s
2.09/2.13 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00
2.29/2.39 c Subs w/ non-existent bins: 12670 time: 0.27 s
2.49/2.56 c Replacing 81 vars Replaced 337622 lits Time: 0.17 s
2.60/2.65 c bin-w-bin subsume rem 699 bins time: 0.00 s
2.89/2.96 c subs with bin: 5313 lits-rem: 379 v-fix: 0 time: 0.30 s
2.89/2.98 c Removed useless bin: 36 fixed: 0 bprops: 1.95M time: 0.02 s
189.30/189.36 c lits-rem: 0 cl-subs: 925 v-elim: 3600 v-fix: 0 time: 186.38 s
189.30/189.36 c learnt bin added due to v-elim: 0
189.30/189.38 c Finding binary XORs T: 0.01 s found: 0
190.80/190.87 c Finding non-binary XORs: 1.47 s (found: 0, avg size: nan)
190.80/190.87 c calculated reachability. Time: 0.00
190.80/190.89 c Calc default polars - time: 0.01 s pos: 306 undec: 2220 neg: 7894
190.80/190.89 c =========================================================================================
190.80/190.89 c types(t): F = full restart, N = normal restart
190.80/190.89 c types(t): S = simplification begin/end, E = solution found
190.80/190.89 c restart types(rt): st = static, dy = dynamic
190.80/190.89 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG
190.80/190.89 c B st 0 0 8200 438228 21238 0 3905963 0 no data no data --
191.30/191.35 c Decided on static restart strategy
191.70/191.75 c N dy 21 4065 8200 438228 21351 3862 3905963 147320 34.69 11.60 --
192.90/192.98 c N dy 52 8185 8197 438228 21487 7776 3905962 280139 34.50 11.09 --
194.29/194.31 c N dy 82 12246 8194 438228 21588 11650 3905962 422837 37.57 11.13 --
195.19/195.21 c N dy 112 16283 8192 438228 21684 15525 3905962 588597 47.88 11.29 --
196.10/196.16 c N dy 142 20326 8191 438228 21816 9831 3905960 200746 32.37 11.22 --
197.00/197.02 c N dy 171 24342 8191 438228 21911 13676 3905959 373089 33.11 11.35 --
197.80/197.83 c N dy 200 28344 8191 438228 21968 17553 3905959 532309 43.20 11.39 --
198.50/198.57 c S st 213 30000 8191 438228 21989 19168 3905959 606334 45.19 11.38 --
199.30/199.39 c S st 213 30501 8191 438228 22022 19635 3905959 616655 45.19 11.38 --
199.40/199.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
199.40/199.40 c Cache BProp: 9 Set: 1 BXProp: 0 T: 0.00
201.30/201.33 c Flit: 14 Blit: 9 bXBeca: 0 bXProp: 14 Bin: 7359 BRemL: 46 BRemN: 1 CBin: 0 P: 60.0M T: 1.93
201.30/201.37 c Calc non-exist non-lernt bins v-fix: 0 done: 8143 time: 0.04 s
201.30/201.37 c Cache BProp: 19 Set: 0 BXProp: 0 T: 0.00
201.60/201.63 c Subs w/ non-existent bins: 306 time: 0.25 s
201.80/201.82 c Replacing 14 vars Replaced 28966 lits Time: 0.19 s
201.90/201.93 c bin-w-bin subsume rem 13 bins time: 0.00 s
202.50/202.59 c subs with bin: 1568 lits-rem: 33432 v-fix: 0 time: 0.66 s
202.60/202.60 c Removed useless bin: 5 fixed: 0 bprops: 0.56M time: 0.01 s
338.60/338.66 c lits-rem: 513 cl-subs: 22988 v-elim: 1853 v-fix: 0 time: 136.06 s
338.60/338.66 c learnt bin added due to v-elim: 0
338.81/338.83 c vivif2 -- cl tried 409547 cl shrink 279 lits rem 305 time: 0.17
338.81/338.85 c vivif2 -- cl tried 14575 cl shrink 1498 lits rem 4327 time: 0.03
338.90/338.98 c asymm cl-useful: 0/63/409547 lits-rem:0 time: 0.13
339.00/339.01 c calculated reachability. Time: 0.00
339.00/339.01 c N dy 213 30501 8063 409547 28571 14572 3658522 410485 45.19 11.38 --
339.00/339.01 c F st 213 30501 8063 409547 28571 14572 3658522 410485 45.19 11.38 --
339.40/339.50 c Decided on static restart strategy
340.00/340.05 c N dy 233 34521 8062 409547 28626 18425 3658522 556258 35.46 11.39 --
340.91/340.90 c N dy 262 38556 8061 409547 28684 22323 3658521 712395 45.60 11.44 --
342.20/342.25 c N dy 292 42645 8060 409547 28747 26265 3658521 863686 32.60 11.41 --
343.80/343.83 c S st 316 45752 8060 409547 28792 29298 3658521 1001691 47.36 11.31 --
344.60/344.69 c S st 316 46253 8060 409547 28822 14979 3658521 270141 47.36 11.31 --
344.70/344.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
344.70/344.71 c Cache BProp: 19 Set: 0 BXProp: 0 T: 0.00
346.61/346.68 c Flit: 8 Blit: 0 bXBeca: 0 bXProp: 8 Bin: 15104 BRemL: 566 BRemN: 7 CBin: 0 P: 60.0M T: 1.97
346.71/346.72 c Calc non-exist non-lernt bins v-fix: 0 done: 8042 time: 0.04 s
346.71/346.73 c Cache BProp: 19 Set: 0 BXProp: 0 T: 0.00
347.01/347.03 c Subs w/ non-existent bins: 29 time: 0.30 s
347.11/347.17 c Replacing 8 vars Replaced 14034 lits Time: 0.14 s
347.21/347.26 c bin-w-bin subsume rem 11 bins time: 0.01 s
347.51/347.52 c subs with bin: 1378 lits-rem: 11122 v-fix: 0 time: 0.26 s
347.51/347.52 c Removed useless bin: 1 fixed: 0 bprops: 0.46M time: 0.01 s
473.02/473.08 c lits-rem: 174 cl-subs: 8687 v-elim: 1811 v-fix: 0 time: 125.56 s
473.02/473.08 c learnt bin added due to v-elim: 0
473.31/473.33 c vivif2 -- cl tried 401836 cl shrink 769 lits rem 813 time: 0.25
473.31/473.35 c vivif2 -- cl tried 12160 cl shrink 853 lits rem 2329 time: 0.02
473.41/473.47 c asymm cl-useful: 0/57/401836 lits-rem:0 time: 0.12
473.41/473.49 c calculated reachability. Time: 0.00
473.41/473.50 c N dy 316 46253 7960 401836 42435 12157 3593556 226596 47.36 11.31 --
474.81/474.80 c N dy 345 50301 7959 401836 42451 16117 3593555 424594 43.64 11.34 --
476.11/476.10 c N dy 375 54412 7958 401836 42459 20168 3593555 611997 42.29 11.39 --
476.91/476.95 c N dy 404 58427 7957 401836 42474 24095 3593554 787244 45.55 11.46 --
478.61/478.61 c N dy 434 62544 7956 401836 42485 28122 3593554 971576 40.70 11.45 --
480.00/480.07 c N dy 464 66603 7956 401836 42501 32111 3593552 1142195 37.38 11.44 --
480.80/480.84 c S st 485 69379 7956 401836 42516 34842 3593552 1254397 41.90 11.50 --
481.50/481.58 c S st 485 69879 7956 401836 42521 35337 3593552 1267685 41.90 11.50 --
481.60/481.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
481.60/481.60 c Cache BProp: 19 Set: 0 BXProp: 0 T: 0.00
483.50/483.58 c Flit: 2 Blit: 2 bXBeca: 0 bXProp: 2 Bin: 5843 BRemL: 165 BRemN: 19 CBin: 0 P: 60.0M T: 1.98
483.60/483.62 c Calc non-exist non-lernt bins v-fix: 0 done: 7951 time: 0.04 s
483.60/483.62 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.00
483.91/483.97 c Subs w/ non-existent bins: 55 time: 0.34 s
484.01/484.07 c Replacing 2 vars Replaced 5924 lits Time: 0.10 s
484.10/484.19 c bin-w-bin subsume rem 11 bins time: 0.01 s
485.40/485.49 c subs with bin: 766 lits-rem: 7196 v-fix: 0 time: 1.30 s
485.40/485.49 c Removed useless bin: 2 fixed: 0 bprops: 0.41M time: 0.01 s
671.41/671.47 c ORs : 6911 avg-s: 2.2 cl-sh: 1365460 l-rem: 1365766 b-add: 18980 v-rep: 0 cl-rem: 5 avg s: 9.6 T: 12.83
672.91/672.92 c Added 51 vars tried: 80000 time: 1.44
672.91/672.95 c ORs : 51 avg-s: 0.0 cl-sh: 9572 l-rem: 9572 b-add: 121 v-rep: 1 cl-rem: 18 avg s: 3.0 T: 1.48
673.01/673.03 c lits-rem: 225 cl-subs: 8103 v-elim: 1392 v-fix: 0 time: 187.53 s
673.01/673.03 c learnt bin added due to v-elim: 0
673.22/673.24 c vivif2 -- cl tried 378985 cl shrink 141 lits rem 149 time: 0.21
673.31/673.32 c vivif2 -- cl tried 29794 cl shrink 4931 lits rem 42751 time: 0.08
673.41/673.45 c asymm cl-useful: 0/57/378984 lits-rem:0 time: 0.13
673.41/673.47 c calculated reachability. Time: 0.01
673.41/673.47 c N dy 485 69879 7963 378984 66632 29755 2207455 979839 41.90 11.50 --
673.41/673.47 c F st 485 69879 7963 378984 66632 29755 2207455 979839 41.90 11.50 --
673.51/673.50 c Replacing 1 vars Replaced 9 lits Time: 0.03 s
674.11/674.14 c Decided on static restart strategy
674.81/674.82 c N dy 508 74424 7962 378984 66660 34228 2207451 1455967 123.28 12.20 --
675.11/675.13 c Finding binary XORs T: 0.02 s found: 0
675.91/675.91 c N dy 541 79179 7962 378984 66679 20827 2207451 621491 94.92 12.57 --
677.11/677.11 c N dy 576 84256 7962 378984 66691 25827 2207450 1074139 86.16 12.92 --
678.62/678.63 c N dy 613 89667 7962 378984 66703 31194 2207450 1811391 136.76 13.34 --
680.41/680.48 c N dy 652 95489 7962 378984 66736 36904 2207450 2463501 46.33 13.83 --
682.31/682.30 c N dy 694 101648 7962 378984 66755 22604 2207449 712328 119.69 14.37 --
683.21/683.27 c S st 716 104818 7962 378984 66765 25743 2207449 1125144 140.46 14.67 --
683.61/683.60 c S st 716 105320 7962 378984 66782 26226 2207449 1137672 140.46 14.67 --
683.61/683.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
683.61/683.62 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.00
685.91/685.99 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 3897 BRemL: 709 BRemN: 168 CBin: 0 P: 60.0M T: 2.37
686.01/686.04 c Calc non-exist non-lernt bins v-fix: 0 done: 7961 time: 0.06 s
686.01/686.04 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.00
686.42/686.49 c Subs w/ non-existent bins: 8 time: 0.45 s
686.61/686.62 c bin-w-bin subsume rem 9552 bins time: 0.01 s
688.01/688.02 c subs with bin: 66 lits-rem: 2433 v-fix: 0 time: 1.40 s
688.01/688.03 c Removed useless bin: 0 fixed: 0 bprops: 0.57M time: 0.01 s
701.11/701.10 c ORs : 6947 avg-s: 2.2 cl-sh: 6 l-rem: 6 b-add: 2 v-rep: 0 cl-rem: 1 avg s: 56.0 T: 0.93
702.21/702.22 c Added 51 vars tried: 80000 time: 1.12
702.21/702.24 c ORs : 51 avg-s: 0.0 cl-sh: 4287 l-rem: 4287 b-add: 106 v-rep: 0 cl-rem: 31 avg s: 3.1 T: 1.14
702.31/702.30 c lits-rem: 58 cl-subs: 2267 v-elim: 3143 v-fix: 0 time: 14.27 s
702.31/702.30 c learnt bin added due to v-elim: 0
702.51/702.55 c vivif2 -- cl tried 378874 cl shrink 62 lits rem 118 time: 0.25
702.61/702.63 c vivif2 -- cl tried 23986 cl shrink 1808 lits rem 4381 time: 0.07
702.71/702.76 c asymm cl-useful: 0/130/378870 lits-rem:0 time: 0.13
702.71/702.78 c calculated reachability. Time: 0.01
702.71/702.78 c N dy 716 105320 8005 378870 60267 23983 2206302 929610 140.46 14.67 --
704.62/704.67 c N dy 762 112108 8005 378870 60297 30651 2206302 1578217 91.48 14.94 --
706.91/706.90 c N dy 811 119328 8005 378870 60326 37766 2206302 2356644 134.15 15.51 --
709.21/709.27 c N dy 862 126960 8005 378870 60345 23275 2206302 516489 83.84 15.79 --
711.31/711.38 c N dy 916 135118 8005 378870 60356 31303 2206302 1317719 108.97 16.08 --
714.21/714.26 c N dy 973 143765 8005 378870 60382 39751 2206301 2120506 90.27 16.64 --
717.12/717.11 c N dy 1036 153101 8005 378870 60397 25693 2206301 717933 129.06 16.91 --
718.61/718.63 c S st 1069 157980 8005 378870 60401 30499 2206301 1189816 71.85 17.10 --
719.01/719.04 c S st 1069 158483 8005 378870 60406 30996 2206301 1204728 71.85 17.10 --
719.01/719.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
719.01/719.06 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.00
721.41/721.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 973 BRemL: 185 BRemN: 62 CBin: 0 P: 60.0M T: 2.38
721.52/721.50 c Calc non-exist non-lernt bins v-fix: 0 done: 8005 time: 0.05 s
721.52/721.51 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.00
721.91/721.96 c Subs w/ non-existent bins: 120 time: 0.46 s
722.01/722.07 c bin-w-bin subsume rem 10 bins time: 0.01 s
723.51/723.52 c subs with bin: 49 lits-rem: 2328 v-fix: 0 time: 1.45 s
723.51/723.53 c Removed useless bin: 11 fixed: 0 bprops: 0.55M time: 0.01 s
737.91/737.99 c ORs : 6996 avg-s: 2.2 cl-sh: 949 l-rem: 949 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 3.0 T: 0.90
739.01/739.09 c Added 42 vars tried: 80000 time: 1.10
739.12/739.11 c ORs : 42 avg-s: 0.0 cl-sh: 5234 l-rem: 5234 b-add: 84 v-rep: 0 cl-rem: 53 avg s: 3.6 T: 1.13
739.12/739.18 c lits-rem: 90 cl-subs: 2140 v-elim: 3200 v-fix: 0 time: 15.65 s
739.12/739.18 c learnt bin added due to v-elim: 0
739.41/739.43 c vivif2 -- cl tried 378720 cl shrink 11 lits rem 16 time: 0.25
739.41/739.49 c vivif2 -- cl tried 28830 cl shrink 641 lits rem 811 time: 0.06
739.61/739.64 c asymm cl-useful: 0/63/378720 lits-rem:0 time: 0.15
739.61/739.66 c calculated reachability. Time: 0.01
739.61/739.66 c N dy 1069 158483 8043 378720 61160 28830 2205675 1010461 71.85 17.10 --
742.31/742.38 c N dy 1138 168640 8043 378720 61198 38831 2205675 1940348 147.81 17.42 --
746.11/746.16 c N dy 1209 179471 8043 378720 61229 25081 2205674 539983 113.43 17.99 --
748.91/748.95 c N dy 1287 191058 8043 378720 61257 36523 2205673 1791162 135.87 18.06 --
752.52/752.55 c N dy 1370 203353 8043 378720 61277 48665 2205673 3192721 84.20 18.27 --
756.02/756.05 c N dy 1458 216476 8043 378720 61302 36067 2205673 1424737 107.66 18.39 --
760.22/760.21 c N dy 1554 230380 8043 378720 61318 49818 2205673 2870752 105.01 18.34 --
762.41/762.43 c S st 1604 237724 8043 378720 61331 30448 2205673 740494 73.02 18.45 --
762.71/762.79 c S st 1604 238227 8043 378720 61344 30937 2205673 754648 73.02 18.45 --
762.81/762.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
762.81/762.81 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.00
765.22/765.23 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 1611 BRemL: 416 BRemN: 4 CBin: 0 P: 60.0M T: 2.42
765.22/765.28 c Calc non-exist non-lernt bins v-fix: 0 done: 8042 time: 0.06 s
765.22/765.29 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.00
765.72/765.75 c Subs w/ non-existent bins: 4 time: 0.46 s
765.82/765.87 c bin-w-bin subsume rem 1 bins time: 0.01 s
766.92/766.96 c subs with bin: 168 lits-rem: 1760 v-fix: 0 time: 1.10 s
766.92/766.98 c Removed useless bin: 0 fixed: 0 bprops: 0.53M time: 0.01 s
774.62/774.66 c ORs : 7042 avg-s: 2.2 cl-sh: 3 l-rem: 3 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 8.0 T: 0.50
775.92/775.97 c Added 9 vars tried: 80000 time: 1.31
775.92/775.97 c ORs : 9 avg-s: 0.0 cl-sh: 864 l-rem: 864 b-add: 18 v-rep: 0 cl-rem: 115 avg s: 3.3 T: 1.31
776.02/776.04 c lits-rem: 572 cl-subs: 1707 v-elim: 3105 v-fix: 0 time: 9.06 s
776.02/776.04 c learnt bin added due to v-elim: 0
776.22/776.29 c vivif2 -- cl tried 378584 cl shrink 8 lits rem 8 time: 0.25
776.32/776.34 c vivif2 -- cl tried 29082 cl shrink 877 lits rem 2144 time: 0.05
776.42/776.48 c asymm cl-useful: 0/80/378584 lits-rem:0 time: 0.14
776.52/776.51 c calculated reachability. Time: 0.01
776.52/776.51 c N dy 1604 238227 8051 378584 62535 29081 2205095 679841 73.02 18.45 --
781.02/781.01 c N dy 1707 253539 8051 378584 62568 44215 2205094 2506404 114.47 18.80 --
787.01/787.03 c N dy 1816 269809 8051 378584 62590 32689 2205094 996217 119.88 19.03 --
792.91/792.94 c N dy 1931 287116 8051 378584 62619 49841 2205094 3185301 153.59 19.07 --
799.22/799.20 c N dy 2055 305511 8051 378584 62632 39383 2205094 1746173 122.76 19.25 --
806.51/806.59 c N dy 2186 325131 8051 378584 62652 58850 2205094 4172833 145.09 19.36 --
814.03/814.07 c Finding binary XORs T: 0.02 s found: 0
814.42/814.42 c N dy 2320 345251 8051 378584 62662 49119 2205094 2809466 126.76 19.46 --
820.32/820.34 c S st 2401 357340 8051 378584 62670 61130 2205094 4555777 147.75 19.46 --
820.91/820.93 c S st 2401 357840 8051 378584 62675 30900 2205093 525558 147.75 19.46 --
820.91/820.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
820.91/820.95 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.00
823.11/823.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 589 BRemL: 87 BRemN: 17 CBin: 0 P: 60.0M T: 2.16
823.11/823.16 c Calc non-exist non-lernt bins v-fix: 0 done: 8051 time: 0.06 s
823.11/823.16 c Cache BProp: 21 Set: 0 BXProp: 0 T: 0.00
823.61/823.60 c Subs w/ non-existent bins: 10 time: 0.44 s
823.61/823.70 c bin-w-bin subsume rem 1 bins time: 0.01 s
824.11/824.11 c subs with bin: 30 lits-rem: 143 v-fix: 0 time: 0.42 s
824.11/824.13 c Removed useless bin: 0 fixed: 0 bprops: 0.53M time: 0.01 s
829.01/829.03 c ORs : 7053 avg-s: 2.2 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 3.0 T: 0.41
830.61/830.67 c Added 8 vars tried: 80000 time: 1.64
830.61/830.67 c ORs : 8 avg-s: 0.0 cl-sh: 424 l-rem: 424 b-add: 16 v-rep: 0 cl-rem: 150 avg s: 3.4 T: 1.64
830.71/830.73 c lits-rem: 70 cl-subs: 796 v-elim: 3104 v-fix: 0 time: 6.61 s
830.71/830.73 c learnt bin added due to v-elim: 0
830.91/830.99 c vivif2 -- cl tried 378431 cl shrink 3 lits rem 3 time: 0.26
831.01/831.03 c vivif2 -- cl tried 30073 cl shrink 191 lits rem 244 time: 0.04
831.11/831.16 c asymm cl-useful: 0/99/378431 lits-rem:0 time: 0.13
831.11/831.18 c calculated reachability. Time: 0.01
831.11/831.18 c N dy 2401 357840 8059 378431 63178 30073 2204258 511870 147.75 19.46 --
836.62/836.64 c N dy 2540 377944 8059 378431 63234 49904 2204258 2189034 85.14 19.44 --
843.12/843.16 c N dy 2676 397980 8059 378431 63257 38044 2204258 1073593 94.82 19.51 --
849.31/849.35 c N dy 2813 418048 8059 378431 63271 57746 2204258 2648101 87.49 19.46 --
856.22/856.21 c N dy 2949 438137 8059 378431 63290 44924 2204258 1610745 70.93 19.54 --
863.02/863.07 c N dy 3086 458267 8059 378431 63305 64717 2204258 3152925 65.80 19.52 --
868.81/868.89 c N dy 3221 478277 8059 378431 63322 50942 2204258 1805074 72.93 19.51 --
875.82/875.84 c N dy 3357 498411 8059 378431 63337 36322 2204258 649398 67.44 19.47 --
881.81/881.85 c N dy 3493 518497 8058 378431 63355 56050 2204258 2274448 69.80 19.51 --
885.82/885.90 c E dy 3567 529369 0 378431 63364 66730 2204258 3082669 66.10 19.51 --
885.92/885.91 c Verified 378431 clauses.
885.92/885.91 c Solution needs extension. Extending.
885.92/885.94 c Verified 378431 clauses.
885.92/885.94 c num threads : 1
885.92/885.94 c restarts : 3567
885.92/885.94 c dynamic restarts : 3549
885.92/885.94 c static restarts : 18
885.92/885.94 c full restarts : 2
885.92/885.94 c total simplify time : 0.04
885.92/885.94 c learnts DL2 : 0
885.92/885.94 c learnts size 2 : 84130
885.92/885.94 c learnts size 1 : 973 (9.20 % of vars)
885.92/885.94 c filedLit time : 16.70 (1.89 % time)
885.92/885.94 c v-elim SatELite : 1445 (13.66 % vars)
885.92/885.94 c SatELite time : 679.81 (76.76 % time)
885.92/885.94 c v-elim xor : 0 (0.00 % vars)
885.92/885.94 c xor elim time : 0.13 (0.01 % time)
885.92/885.94 c num binary xor trees : 93
885.92/885.94 c binxor trees' crown : 106 (1.14 leafs/tree)
885.92/885.94 c bin xor find time : 0.05
885.92/885.94 c OTF clause subsumed : 6858 (0.01 clauses/conflict)
885.92/885.94 c OTF subs. size diff : 12350 (1.80 lits/clause)
885.92/885.94 c OTF cl watch-shrink : 372861 (0.70 clauses/conflict)
885.92/885.94 c OTF cl watch-sh-lit : 7707889 (20.67 lits/clause)
885.92/885.94 c tried to recurMin cls : 529353 (100.00 % of conflicts)
885.92/885.94 c updated cache : 210 (0.00 lits/tried recurMin)
885.92/885.94 c OTF Gate-Rem cl : 125726 (0.24 clauses/conflict)
885.92/885.94 c OTF Gate-rem lits : 176171 (1.40 lits/confl)
885.92/885.94 c clauses over max glue : 0 (0.00 % of all clauses)
885.92/885.94 c conflicts : 529369 (597.75 / sec)
885.92/885.94 c decisions : 2045752 (0.46 % random)
885.92/885.94 c bogo-props : 6600950246 (7453610.77 / sec)
885.92/885.94 c props : 189164483 (213599.31 / sec)
885.92/885.94 c conflict literals : 48450398 (35.97 % deleted)
885.92/885.94 c Memory used : 305.72 MB
885.92/885.94 c CPU time : 885.60 s
885.92/885.94 s SATISFIABLE
885.92/885.94 v -1 -2 -3 -4 -5 6 -7 8 -9 -10 11 -12 -13 -14 -15 16 -17 -18 -19 -20 -21 -22 -23 -24 -25 26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 41 -42 43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 55 56 -57 -58 59 60 -61 62 -63 64 65 -66 67 68 -69 -70 -71 -72 -73 74 -75 -76 -77 -78 -79 80 -81 82 83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 115 -116 -117 -118 -119 -120 -121 -122 -123 -124 125 -126 127 -128 129 130 -131 132 133 134 135 -136 137 -138 139 -140 -141 142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 156 -157 -158 159 -160 161 162 -163 -164 165 -166 -167 -168 -169 -170 -171 172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 185 186 187 -188 -189 190 191 192 193 194 195 -196 197 -198 199 200 -201 202 203 -204 205 -206 -207 208 209 210 211 212 213 214 215 -216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 -231 232 -233 234 235 236 237 238 -239 240 -241 -242 243 244 -245 -246 -247 -248 -249 -250 251 -252 253 -254 -255 -256 -257 -258 -259 260 261 262 263 -264 265 266 267 268 269 -270 271 -272 -273 274 275 276 277 278 279 -280 281 282 283 284 285 286 287 288 289 290 -291 -292 -293 294 -295 -296 297 298 299 300 -301 -302 303 304 -305 306 307 308 309 310 311 312 313 314 -315 -316 -317 -318 -319 -320 321 -322 -323 -324 -325 326 -327 328 -329 -330 -331 -332 -333 -334 335 -336 337 -338 -339 -340 -341 -342 -343 344 -345 -346 347 348 -349 350 -351 -352 353 -354 -355 -356 -357 -358 359 -360 361 -362 -363 364 -365 366 367 368 -369 -370 371 372 373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 386 387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 441 442 443 444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 462 463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 507 508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 542 543 544 545 546 547 548 549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 604 605 606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 703 704 705 706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 781 782 783 784 785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 801 802 803 804 805 806 807 808 809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 821 822 823 824 825 826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 862 863 864 865 866 867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 883 884 885 886 887 888 889 890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 907 908 909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 923 924 925 926 927 928 929 930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 962 963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 981 982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 1006 1007 1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 1021 1022 1023 1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 1044 1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 1068 1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 1085 1086 1087 1088 1089 1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 1161 1162 1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 1326 1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 -2027 2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 2262 2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 2342 2343 2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 2503 2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 2642 2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 3187 3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 3704 3705 3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 3803 3804 3805 3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903 3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 4344 4345 4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 -4904 4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 4981 4982 4983 4984 4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 5001 5002 5003 5004 5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 5042 5043 5044 5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 5063 5064 5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 5103 5104 5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 5142 5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 5161 5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 5201 5202 5203 5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 5224 5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 5341 5342 5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 5361 5362 5363 5364 5365 5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 5402 5403 5404 5405 5406 5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 5423 5424 5425 5426 5427 5428 5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 5447 5448 5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 5463 5464 5465 5466 5467 5468 5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 5502 5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 5521 5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 5546 5547 5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 5561 5562 5563 5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 5584 5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 -5602 -5603 -5604 -5605 -5606 -5607 5608 5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 5625 5626 5627 5628 5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 5701 5702 5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 5742 5743 5744 5745 5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 5763 5764 5765 5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 5803 5804 5805 5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840 -5841 5842 5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 5861 5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 5901 5902 5903 5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 5924 5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 5965 5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 6041 6042 6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 6383 6384 6385 6386 6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 6423 6424 6425 6426 6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 6462 6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 -6481 6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503 -6504 -6505 6506 6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 6522 6523 6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540 -6541 -6542 -6543 6544 6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583 -6584 6585 6586 6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 -6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643 -6644 6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 6662 6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 6687 6688 6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 6703 6704 6705 6706 6707 6708 6709 6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740 -6741 -6742 6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 6786 6787 6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 6803 6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 6824 6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847 6848 6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864 6865 6866 6867 6868 6869 6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905 -6906 -6907 6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942 6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 6967 6968 6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 -7044 -7045 -7046 7047 7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 7108 7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 7127 7128 7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 -7166 -7167 7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228 -7229 7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241 -7242 7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -7281 -7282 -7283 -7284 -7285 7286 7287 7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 7303 7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 7324 7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 -7347 7348 7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 -7364 7365 7366 7367 7368 7369 7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407 7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 -7422 -7423 -7424 7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480 -7481 -7482 -7483 -7484 -7485 -7486 -7487 -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 7682 -7683 -7684 -7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 7722 7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840 -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860 -7861 7862 7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880 -7881 -7882 -7883 -7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 7901 7902 -7903 -7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 -7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 -7943 -7944 -7945 -7946 -7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 -7962 -7963 -7964 -7965 -7966 -7967 -7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990 -7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 -8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040 8041 8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100 -8101 -8102 -8103 -8104 -8105 -8106 -8107 8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 -8124 -8125 8126 8127 8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167 8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 -8222 -8223 8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260 -8261 -8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 -8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 8341 8342 8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400 -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487 8488 8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 -8523 -8524 -8525 -8526 -8527 8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 -8605 -8606 -8607 8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 -8624 8625 -8626 -8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700 -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761 -8762 -8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780 -8781 -8782 -8783 -8784 -8785 8786 -8787 -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 -8801 -8802 -8803 -8804 -8805 -8806 -8807 -8808 8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826 -8827 8828 -8829 -8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 8841 -8842 -8843 -8844 -8845 -8846 -8847 -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 8862 -8863 -8864 -8865 -8866 -8867 -8868 -8869 -8870 -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880 8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900 -8901 -8902 -8903 -8904 -8905 -8906 8907 -8908 -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 -8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 8930 -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940 -8941 8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960 -8961 -8962 -8963 8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 8990 -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000 -9001 -9002 -9003 9004 -9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021 -9022 -9023 -9024 -9025 -9026 -9027 -9028 -9029 -9030 9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040 -9041 -9042 -9043 9044 -9045 -9046 -9047 -9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 -9061 9062 -9063 -9064 -9065 -9066 -9067 -9068 -9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 -9086 -9087 -9088 -9089 -9090 9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 9103 -9104 -9105 -9106 -9107 -9108 -9109 -9110 -9111 -9112 -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120 -9121 -9122 9123 -9124 -9125 -9126 -9127 -9128 -9129 -9130 -9131 -9132 -9133 -9134 -9135 -9136 -9137 -9138 -9139 -9140 -9141 -9142 -9143 -9144 9145 -9146 -9147 -9148 -9149 -9150 -9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 -9160 -9161 -9162 -9163 -9164 9165 -9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180 9181 -9182 -9183 -9184 -9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 9201 -9202 -9203 -9204 -9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220 9221 -9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 9241 -9242 -9243 -9244 -9245 -9246 -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260 -9261 9262 -9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281 -9282 9283 -9284 -9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300 -9301 -9302 -9303 -9304 -9305 -9306 9307 -9308 -9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320 -9321 -9322 9323 -9324 -9325 -9326 -9327 -9328 -9329 -9330 -9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340 -9341 -9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 9350 -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360 -9361 9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380 9381 -9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400 -9401 -9402 -9403 -9404 -9405 9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420 9421 -9422 -9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441 -9442 -9443 9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 -9462 -9463 -9464 -9465 -9466 -9467 9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480 -9481 -9482 -9483 -9484 9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 -9502 -9503 -9504 -9505 -9506 -9507 -9508 9509 -9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520 -9521 -9522 -9523 -9524 -9525 -9526 -9527 9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541 -9542 -9543 -9544 9545 -9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560 9561 -9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570 -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 -9584 -9585 -9586 9587 -9588 -9589 -9590 -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606 -9607 -9608 9609 -9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623 -9624 -9625 -9626 -9627 9628 -9629 -9630 -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 -9643 9644 -9645 -9646 -9647 -9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662 9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670 -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 -9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 9708 -9709 -9710 -9711 -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 -9726 -9727 -9728 -9729 9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740 -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 9749 -9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 -9761 -9762 -9763 9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780 -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 9790 -9791 -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800 -9801 -9802 -9803 -9804 -9805 9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820 -9821 -9822 -9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830 9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 -9842 -9843 9844 -9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860 -9861 9862 -9863 -9864 -9865 -9866 -9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880 -9881 -9882 -9883 -9884 -9885 -9886 -9887 -9888 -9889 -9890 9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 -9902 -9903 -9904 -9905 9906 -9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 -9922 9923 -9924 -9925 -9926 -9927 -9928 -9929 -9930 -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944 9945 -9946 -9947 -9948 -9949 -9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960 -9961 -9962 -9963 -9964 9965 -9966 -9967 -9968 -9969 -9970 -9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 9985 -9986 -9987 -9988 -9989 -9990 -9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 -9999 -10000 -10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022 -10023 -10024 -10025 10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040 10041 -10042 -10043 -10044 -10045 -10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 -10062 -10063 -10064 -10065 -10066 10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080 -10081 -10082 -10083 -10084 -10085 -10086 -10087 -10088 -10089 10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100 -10101 -10102 -10103 -10104 -10105 -10106 -10107 -10108 10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121 -10122 -10123 -10124 -10125 -10126 -10127 -10128 -10129 10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 -10142 -10143 -10144 -10145 -10146 -10147 -10148 -10149 10150 -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161 -10162 10163 -10164 -10165 -10166 -10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 10182 -10183 -10184 -10185 -10186 -10187 -10188 -10189 -10190 -10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200 -10201 -10202 -10203 -10204 -10205 -10206 -10207 10208 -10209 -10210 -10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220 -10221 -10222 -10223 10224 -10225 -10226 -10227 -10228 -10229 -10230 -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240 -10241 -10242 -10243 -10244 10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260 -10261 -10262 -10263 -10264 -10265 -10266 -10267 -10268 10269 -10270 -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280 -10281 -10282 -10283 -10284 -10285 -10286 -10287 -10288 -10289 10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 -10302 -10303 -10304 -10305 -10306 -10307 -10308 10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320 -10321 -10322 -10323 -10324 -10325 -10326 -10327 10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 -10341 -10342 -10343 -10344 10345 -10346 -10347 -10348 -10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 -10362 10363 -10364 -10365 -10366 -10367 -10368 -10369 -10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390 -10391 10392 10393 10394 10395 10396 10397 10398 10399 10400 -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 -10409 -10410 10411 10412 10413 10414 10415 10416 10417 10418 10419 10420 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290805-1303785951/watcher-3290805-1303785951 -o /tmp/evaluation-result-3290805-1303785951/solver-3290805-1303785951 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3290805-1303785951.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.68 3.93 3.84 5/189 15333
/proc/meminfo: memFree=24738644/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=29472 CPUtime=0 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 944 0 0 0 0 0 0 0 21 0 1 0 568825807 30179328 877 33554432000 4194304 4797429 140735624438320 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 7368 877 347 148 0 2297 0
[startup+0.0260229 s]
/proc/loadavg: 3.68 3.93 3.84 5/189 15333
/proc/meminfo: memFree=24738644/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=29972 CPUtime=0.02 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 1305 0 0 0 2 0 0 0 21 0 1 0 568825807 30691328 1232 33554432000 4194304 4797429 140735624438320 18446744073709551615 4660046 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 7493 1233 348 148 0 2422 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29972
[startup+0.101011 s]
/proc/loadavg: 3.68 3.93 3.84 5/189 15333
/proc/meminfo: memFree=24738644/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=37688 CPUtime=0.09 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 4157 0 0 0 9 0 0 0 21 0 1 0 568825807 38592512 3640 33554432000 4194304 4797429 140735624438320 18446744073709551615 4678608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 9422 3641 350 148 0 4351 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37688
[startup+0.300974 s]
/proc/loadavg: 3.68 3.93 3.84 5/189 15333
/proc/meminfo: memFree=24738644/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=76592 CPUtime=0.29 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 9909 0 0 0 28 1 0 0 22 0 1 0 568825807 78430208 8613 33554432000 4194304 4797429 140735624438320 18446744073709551615 4621888 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 19148 8613 350 148 0 14077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76592
[startup+0.700901 s]
/proc/loadavg: 3.68 3.93 3.84 5/189 15333
/proc/meminfo: memFree=24738644/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=186020 CPUtime=0.69 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 22824 0 0 0 66 3 0 0 24 0 1 0 568825807 190484480 13651 33554432000 4194304 4797429 140735624438320 18446744073709551615 260905091175 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 46505 13651 381 148 0 41434 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 186020
[startup+1.50076 s]
/proc/loadavg: 3.68 3.93 3.84 5/190 15334
/proc/meminfo: memFree=24661184/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=188044 CPUtime=1.49 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 23378 0 0 0 146 3 0 0 25 0 1 0 568825807 192557056 14205 33554432000 4194304 4797429 140735624438320 18446744073709551615 4428866 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 47011 14205 381 148 0 41940 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 188044
[startup+3.10046 s]
/proc/loadavg: 3.70 3.93 3.84 5/187 15355
/proc/meminfo: memFree=24660200/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=231016 CPUtime=3.09 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 33600 0 0 0 305 4 0 0 25 0 1 0 568825807 236560384 24427 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568062 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 57754 24427 425 148 0 52683 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 231016
[startup+6.30088 s]
/proc/loadavg: 3.70 3.93 3.84 5/190 15361
/proc/meminfo: memFree=24414780/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=231016 CPUtime=6.29 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 33600 0 0 0 625 4 0 0 25 0 1 0 568825807 236560384 24427 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568009 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 57754 24427 425 148 0 52683 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 231016
[startup+12.7007 s]
/proc/loadavg: 3.90 3.97 3.85 5/190 15361
/proc/meminfo: memFree=24157596/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=236196 CPUtime=12.69 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 34687 0 0 0 1265 4 0 0 25 0 1 0 568825807 241864704 25494 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568009 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 59049 25494 415 148 0 53978 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 236196
[startup+25.5004 s]
/proc/loadavg: 4.07 4.00 3.86 5/190 15389
/proc/meminfo: memFree=23790028/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=236196 CPUtime=25.49 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 34687 0 0 0 2545 4 0 0 25 0 1 0 568825807 241864704 25494 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568003 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 59049 25494 415 148 0 53978 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 236196
[startup+51.1007 s]
/proc/loadavg: 4.05 4.00 3.86 5/190 15389
/proc/meminfo: memFree=23617664/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=236196 CPUtime=51.09 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 34688 0 0 0 5105 4 0 0 25 0 1 0 568825807 241864704 25495 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568320 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 59049 25495 415 148 0 53978 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 236196
[startup+102.307 s]
/proc/loadavg: 4.02 4.00 3.87 5/190 15391
/proc/meminfo: memFree=23615276/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=236196 CPUtime=102.3 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 34689 0 0 0 10226 4 0 0 25 0 1 0 568825807 241864704 25496 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568122 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 59049 25496 415 148 0 53978 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 236196
[startup+162.3 s]
/proc/loadavg: 4.06 4.01 3.88 5/190 15392
/proc/meminfo: memFree=23591616/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=236196 CPUtime=162.29 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 34689 0 0 0 16225 4 0 0 25 0 1 0 568825807 241864704 25496 33554432000 4194304 4797429 140735624438320 18446744073709551615 4567984 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 59049 25496 415 148 0 53978 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 236196
[startup+222.3 s]
/proc/loadavg: 4.02 4.01 3.88 5/190 15394
/proc/meminfo: memFree=23562640/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=258624 CPUtime=222.3 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 40625 0 0 0 22224 6 0 0 25 0 1 0 568825807 264830976 31386 33554432000 4194304 4797429 140735624438320 18446744073709551615 4567997 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 64656 31386 424 148 0 59585 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 258624
[startup+282.3 s]
/proc/loadavg: 4.04 4.02 3.90 5/190 15396
/proc/meminfo: memFree=23556588/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=260736 CPUtime=282.3 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 40973 0 0 0 28224 6 0 0 25 0 1 0 568825807 266993664 31734 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568009 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 65184 31734 424 148 0 60113 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 260736
[startup+342.3 s]
/proc/loadavg: 4.01 4.01 3.90 5/190 15397
/proc/meminfo: memFree=23547860/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=260736 CPUtime=342.3 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 41581 0 0 0 34224 6 0 0 25 0 1 0 568825807 266993664 32333 33554432000 4194304 4797429 140735624438320 18446744073709551615 4424750 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 65184 32333 425 148 0 60113 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 260736
[startup+402.3 s]
/proc/loadavg: 4.00 4.01 3.91 5/190 15399
/proc/meminfo: memFree=23541688/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=267924 CPUtime=402.31 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 48426 0 0 0 40223 8 0 0 25 0 1 0 568825807 274354176 32428 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568069 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 66981 32428 425 148 0 61910 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 267924
[startup+462.3 s]
/proc/loadavg: 4.04 4.02 3.91 5/190 15400
/proc/meminfo: memFree=23534436/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=267924 CPUtime=462.31 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 48429 0 0 0 46223 8 0 0 25 0 1 0 568825807 274354176 32431 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568009 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 66981 32431 425 148 0 61910 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 267924
[startup+522.3 s]
/proc/loadavg: 4.01 4.01 3.91 5/190 15402
/proc/meminfo: memFree=23526416/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=267924 CPUtime=522.3 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 49924 0 0 0 52222 8 0 0 25 0 1 0 568825807 274354176 33905 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568019 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 66981 33905 425 148 0 61910 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 267924
[startup+582.3 s]
/proc/loadavg: 4.00 4.01 3.91 5/190 15404
/proc/meminfo: memFree=23531140/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=267924 CPUtime=582.31 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 49924 0 0 0 58223 8 0 0 25 0 1 0 568825807 274354176 33905 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568069 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 66981 33905 425 148 0 61910 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 267924
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 15405
/proc/meminfo: memFree=23514748/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=267924 CPUtime=642.31 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 49924 0 0 0 64223 8 0 0 25 0 1 0 568825807 274354176 33905 33554432000 4194304 4797429 140735624438320 18446744073709551615 4568013 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 66981 33905 425 148 0 61910 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 267924
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 15407
/proc/meminfo: memFree=23456920/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=287276 CPUtime=702.31 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 67105 0 0 0 70219 12 0 0 25 0 1 0 568825807 294170624 38785 33554432000 4194304 4797429 140735624438320 18446744073709551615 4656560 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 71819 38785 418 148 0 66748 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 287276
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 15408
/proc/meminfo: memFree=23438696/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=303912 CPUtime=762.32 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 100887 0 0 0 76212 20 0 0 25 0 1 0 568825807 311205888 42240 33554432000 4194304 4797429 140735624438320 18446744073709551615 4422985 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 75978 42240 418 148 0 70907 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 303912
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 15410
/proc/meminfo: memFree=23430012/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=307724 CPUtime=822.31 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 129694 0 0 0 82202 29 0 0 25 0 1 0 568825807 315109376 42974 33554432000 4194304 4797429 140735624438320 18446744073709551615 4427256 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 76931 42974 418 148 0 71860 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 307724
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 15412
/proc/meminfo: memFree=23414236/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=313056 CPUtime=882.31 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 157263 0 0 0 88196 35 0 0 25 0 1 0 568825807 320569344 46153 33554432000 4194304 4797429 140735624438320 18446744073709551615 4424772 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 78264 46153 418 148 0 73193 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 313056
Solver just ended. Dumping a history of the last processes samples
[startup+883.1 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 15412
/proc/meminfo: memFree=23414236/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=313056 CPUtime=883.11 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 157470 0 0 0 88276 35 0 0 25 0 1 0 568825807 320569344 46357 33554432000 4194304 4797429 140735624438320 18446744073709551615 4423089 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 78264 46357 418 148 0 73193 0
Current children cumulated CPU time (s) 883.11
Current children cumulated vsize (KiB) 313056
[startup+884.7 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 15412
/proc/meminfo: memFree=23410764/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=313056 CPUtime=884.71 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 157815 0 0 0 88436 35 0 0 25 0 1 0 568825807 320569344 46699 33554432000 4194304 4797429 140735624438320 18446744073709551615 4404790 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 78264 46699 418 148 0 73193 0
Current children cumulated CPU time (s) 884.71
Current children cumulated vsize (KiB) 313056
[startup+885.507 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 15412
/proc/meminfo: memFree=23422296/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=313056 CPUtime=885.52 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 157938 0 0 0 88517 35 0 0 25 0 1 0 568825807 320569344 46822 33554432000 4194304 4797429 140735624438320 18446744073709551615 4424784 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 78264 46822 418 148 0 73193 0
Current children cumulated CPU time (s) 885.52
Current children cumulated vsize (KiB) 313056
[startup+885.901 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 15412
/proc/meminfo: memFree=23422296/32950928 swapFree=67071984/67111528
[pid=15333] ppid=15331 vsize=313056 CPUtime=885.92 cores=5,7
/proc/15333/stat : 15333 (techdemo) R 15331 15333 14972 0 -1 4202496 158005 0 0 0 88557 35 0 0 25 0 1 0 568825807 320569344 46889 33554432000 4194304 4797429 140735624438320 18446744073709551615 4286262 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15333/statm: 78264 46889 419 148 0 73193 0
Current children cumulated CPU time (s) 885.92
Current children cumulated vsize (KiB) 313056
Child status: 10
Real time (s): 885.968
CPU time (s): 885.983
CPU user time (s): 885.615
CPU system time (s): 0.367944
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 432388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 885.615
system time used= 0.367944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 1098
runsolver used 1.42378 second user time and 3.42148 second system time
The end
Begin job on node116 at 2011-04-26 04:45:51
IDJOB=3290805
IDBENCH=83450
IDSOLVER=1585
FILE ID=node116/3290805-1303785951
RUNJOBID= node116-1303785951-15294
PBS_JOBID= 13157235
Free space on /tmp= 72556 MiB
SOLVER NAME= CryptoMiniSat TechDemo-Alpha-st
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= ./techdemo --threads=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290805-1303785951/watcher-3290805-1303785951 -o /tmp/evaluation-result-3290805-1303785951/solver-3290805-1303785951 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3290805-1303785951.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1155352056
node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 24738924 kB
Buffers: 1870104 kB
Cached: 5835320 kB
SwapCached: 9732 kB
Active: 3452756 kB
Inactive: 4337928 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 24738924 kB
SwapTotal: 67111528 kB
SwapFree: 67071984 kB
Dirty: 60008 kB
Writeback: 48 kB
AnonPages: 78908 kB
Mapped: 15040 kB
Slab: 358044 kB
PageTables: 5220 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 615152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72344 MiB
End job on node116 at 2011-04-26 05:00:37