Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | OPT | -10859 | 336.933 | 335.303 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
| MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -10859 |
| Best CPU time to get the best result obtained on this benchmark | 217.128 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -10639 |
| Optimality of the best value was proved | NO |
| Number of variables | 11247 |
| Total number of constraints | 9744 |
| Number of constraints which are clauses | 77 |
| Number of constraints which are cardinality constraints (but not clauses) | 5755 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 68 |
| Number of terms in the objective function | 773 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 76861 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1999 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 76861 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4085170-1465223833.opb 0.09/0.11 c reading problem ... 0.09/0.11 c objective function found 1.20/0.70 c ... done. Wall clock time 0.591s. 1.20/0.70 c declared #vars 11247 1.20/0.70 c #constraints 13116 1.20/0.70 c constraints type 1.20/0.71 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1114 1.20/0.71 c org.sat4j.minisat.constraints.card.MinWatchCard => 11249 1.20/0.71 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 49 1.20/0.71 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 704 1.20/0.71 c 13116 constraints processed. 1.20/0.71 c objective function length is 773 literals 1.70/0.95 c SATISFIABLE 1.70/0.95 c OPTIMIZING... 1.70/0.95 c Got one! Elapsed wall clock time (in seconds):0.839 1.70/0.95 o -8699 2.66/1.52 c Got one! Elapsed wall clock time (in seconds):1.404 2.66/1.52 o -8704 2.66/1.55 c Got one! Elapsed wall clock time (in seconds):1.438 2.66/1.55 o -9765 2.66/1.58 c Got one! Elapsed wall clock time (in seconds):1.463 2.66/1.58 o -9769 2.86/1.60 c Got one! Elapsed wall clock time (in seconds):1.49 2.86/1.60 o -9770 2.86/1.63 c Got one! Elapsed wall clock time (in seconds):1.52 2.86/1.63 o -9959 2.86/1.67 c Got one! Elapsed wall clock time (in seconds):1.554 2.86/1.67 o -9964 2.86/1.68 c Got one! Elapsed wall clock time (in seconds):1.568 2.86/1.68 o -10309 2.86/1.69 c Got one! Elapsed wall clock time (in seconds):1.581 2.86/1.69 o -10339 3.39/2.18 c Got one! Elapsed wall clock time (in seconds):2.066 3.39/2.18 o -10344 3.39/2.19 c Got one! Elapsed wall clock time (in seconds):2.079 3.39/2.19 o -10464 3.99/2.74 c cleaning 3779 clauses out of 7557 with flag 22074/7561 5.57/4.25 c cleaning 4884 clauses out of 9778 with flag 105827/13561 6.27/4.95 c Got one! Elapsed wall clock time (in seconds):4.833 6.27/4.95 o -10474 6.61/5.27 c Got one! Elapsed wall clock time (in seconds):5.161 6.61/5.27 o -10479 6.73/5.32 c Got one! Elapsed wall clock time (in seconds):5.205 6.73/5.32 o -10483 6.73/5.33 c Got one! Elapsed wall clock time (in seconds):5.214 6.73/5.33 o -10549 6.73/5.36 c Got one! Elapsed wall clock time (in seconds):5.244 6.73/5.36 o -10554 6.87/5.50 c Got one! Elapsed wall clock time (in seconds):5.382 6.87/5.50 o -10557 7.27/5.87 c Got one! Elapsed wall clock time (in seconds):5.757 7.27/5.87 o -10559 7.57/6.17 c cleaning 5809 clauses out of 11617 with flag 13529/20285 8.18/6.77 c Got one! Elapsed wall clock time (in seconds):6.661 8.18/6.77 o -10564 8.67/7.23 c Got one! Elapsed wall clock time (in seconds):7.121 8.67/7.23 o -10565 8.77/7.34 c Got one! Elapsed wall clock time (in seconds):7.225 8.77/7.34 o -10569 8.77/7.34 c Got one! Elapsed wall clock time (in seconds):7.231 8.77/7.34 o -10579 8.77/7.37 c Got one! Elapsed wall clock time (in seconds):7.259 8.77/7.37 o -10584 8.77/7.38 c Got one! Elapsed wall clock time (in seconds):7.265 8.77/7.38 o -10594 9.18/7.73 c Got one! Elapsed wall clock time (in seconds):7.612 9.18/7.73 o -10599 9.18/7.73 c Got one! Elapsed wall clock time (in seconds):7.619 9.18/7.73 o -10601 9.18/7.74 c Got one! Elapsed wall clock time (in seconds):7.625 9.18/7.74 o -10609 9.18/7.75 c Got one! Elapsed wall clock time (in seconds):7.632 9.18/7.75 o -10614 9.18/7.75 c Got one! Elapsed wall clock time (in seconds):7.638 9.18/7.75 o -10619 9.48/8.02 c cleaning 6125 clauses out of 12249 with flag 15055/26726 10.49/9.05 c cleaning 6058 clauses out of 12125 with flag 75006/32727 11.29/9.90 c cleaning 6528 clauses out of 13067 with flag 129798/39727 12.60/11.15 c cleaning 7263 clauses out of 14537 with flag 200343/47725 14.10/12.66 c cleaning 8135 clauses out of 16274 with flag 288707/56725 15.90/14.41 c cleaning 9068 clauses out of 18139 with flag 387227/66725 18.00/16.56 c cleaning 10035 clauses out of 20070 with flag 509500/77725 20.00/18.58 c cleaning 11014 clauses out of 22034 with flag 607763/89725 22.40/20.97 c cleaning 12003 clauses out of 24020 with flag 729410/102725 25.60/24.15 c cleaning 13002 clauses out of 26017 with flag 899350/116725 28.90/27.44 c cleaning 14003 clauses out of 28016 with flag 1066233/131726 31.80/30.38 c cleaning 15007 clauses out of 30014 with flag 1201806/147727 35.71/34.27 c cleaning 15992 clauses out of 32005 with flag 1393085/164726 40.81/39.36 c Got one! Elapsed wall clock time (in seconds):39.244 40.81/39.36 o -10620 42.51/41.00 c cleaning 19248 clauses out of 38495 with flag 72644/187208 43.91/42.47 c cleaning 12611 clauses out of 25247 with flag 140241/193208 44.31/42.90 c Got one! Elapsed wall clock time (in seconds):42.789 44.31/42.90 o -10624 45.51/44.05 c cleaning 9124 clauses out of 18269 with flag 56321/198841 46.91/45.49 c cleaning 7564 clauses out of 15146 with flag 139438/204842 48.41/46.92 c cleaning 7274 clauses out of 14581 with flag 218304/211841 50.31/48.88 c cleaning 7650 clauses out of 15308 with flag 325710/219842 52.21/50.78 c cleaning 8322 clauses out of 16657 with flag 438285/228841 53.91/52.43 c Got one! Elapsed wall clock time (in seconds):52.313 53.91/52.43 o -10625 54.81/53.33 c Got one! Elapsed wall clock time (in seconds):53.216 54.81/53.33 o -10629 55.21/53.71 c cleaning 10011 clauses out of 20032 with flag 22358/240538 56.21/54.72 c cleaning 8007 clauses out of 16022 with flag 82278/246539 57.31/55.86 c cleaning 7494 clauses out of 15013 with flag 158070/253538 58.91/57.40 c cleaning 7753 clauses out of 15519 with flag 246304/261538 60.50/59.10 c cleaning 8372 clauses out of 16768 with flag 333680/270540 61.80/60.30 c Got one! Elapsed wall clock time (in seconds):60.184 61.80/60.30 o -10630 63.13/61.68 c cleaning 9604 clauses out of 19236 with flag 66716/281380 64.03/62.53 c Got one! Elapsed wall clock time (in seconds):62.418 64.03/62.53 o -10634 64.43/62.99 c cleaning 7518 clauses out of 15073 with flag 20774/286821 65.93/64.46 c cleaning 6764 clauses out of 13555 with flag 91101/292821 67.23/65.71 c cleaning 6892 clauses out of 13791 with flag 168883/299821 68.73/67.24 c cleaning 7439 clauses out of 14898 with flag 252340/307820 71.03/69.51 c cleaning 8223 clauses out of 16460 with flag 354655/316821 73.22/71.79 c cleaning 9104 clauses out of 18236 with flag 461603/326820 75.53/74.03 c cleaning 10063 clauses out of 20132 with flag 577103/337820 77.83/76.36 c cleaning 11028 clauses out of 22069 with flag 682404/349820 80.43/78.91 c cleaning 12019 clauses out of 24041 with flag 812491/362820 83.23/81.79 c cleaning 13009 clauses out of 26023 with flag 961449/376821 86.13/84.67 c cleaning 13998 clauses out of 28013 with flag 1112120/391820 89.63/88.19 c cleaning 15006 clauses out of 30015 with flag 1278314/407820 93.32/91.88 c cleaning 16000 clauses out of 32009 with flag 1454171/424820 96.83/95.37 c cleaning 17001 clauses out of 34009 with flag 1604868/442820 100.83/99.36 c cleaning 17994 clauses out of 36008 with flag 1776226/461820 105.13/103.63 c cleaning 18999 clauses out of 38014 with flag 1960451/481820 107.24/105.73 c Got one! Elapsed wall clock time (in seconds):105.612 107.24/105.73 o -10635 108.73/107.20 c cleaning 15533 clauses out of 31083 with flag 63861/493888 110.33/108.86 c Got one! Elapsed wall clock time (in seconds):108.75 110.33/108.86 o -10639 111.53/110.01 c cleaning 13032 clauses out of 26074 with flag 60504/504412 112.74/111.23 c cleaning 9509 clauses out of 19046 with flag 139925/510416 114.13/112.68 c cleaning 8253 clauses out of 16534 with flag 229993/517413 115.53/114.09 c cleaning 8137 clauses out of 16282 with flag 314467/525414 117.23/115.72 c cleaning 8560 clauses out of 17144 with flag 393179/534413 119.03/117.54 c cleaning 9285 clauses out of 18588 with flag 502738/544417 121.33/119.82 c cleaning 10131 clauses out of 20298 with flag 612149/555412 124.23/122.72 c cleaning 11078 clauses out of 22167 with flag 745066/567412 125.63/124.14 c Got one! Elapsed wall clock time (in seconds):124.026 125.63/124.14 o -10640 126.56/125.06 c cleaning 11330 clauses out of 22664 with flag 52160/578987 127.76/126.22 c cleaning 8655 clauses out of 17335 with flag 124750/584988 129.06/127.59 c cleaning 7828 clauses out of 15679 with flag 208677/591987 131.16/129.61 c cleaning 7916 clauses out of 15851 with flag 309667/599987 133.36/131.86 c cleaning 8461 clauses out of 16935 with flag 425869/608987 134.56/133.01 c Got one! Elapsed wall clock time (in seconds):132.894 134.56/133.01 o -10644 135.66/134.18 c cleaning 9454 clauses out of 18919 with flag 61376/619432 136.87/135.38 c cleaning 7717 clauses out of 15463 with flag 141472/625430 138.07/136.58 c cleaning 7365 clauses out of 14747 with flag 228499/632431 139.76/138.25 c cleaning 7687 clauses out of 15381 with flag 334041/640430 141.66/140.10 c cleaning 8343 clauses out of 16694 with flag 434013/649430 143.47/141.98 c Got one! Elapsed wall clock time (in seconds):141.871 143.47/141.98 o -10649 144.46/142.92 c cleaning 11147 clauses out of 22293 with flag 51199/663372 145.56/144.07 c cleaning 8555 clauses out of 17145 with flag 114125/669371 147.36/145.83 c Got one! Elapsed wall clock time (in seconds):145.718 147.36/145.83 o -10654 148.06/146.57 c cleaning 10216 clauses out of 20431 with flag 44654/681212 149.16/147.68 c cleaning 8103 clauses out of 16217 with flag 120497/687214 150.36/148.89 c cleaning 7549 clauses out of 15113 with flag 206262/694213 151.56/150.06 c cleaning 7770 clauses out of 15563 with flag 268441/702212 152.46/150.92 c Got one! Elapsed wall clock time (in seconds):150.803 152.46/150.92 o -10659 152.66/151.10 c cleaning 6726 clauses out of 13481 with flag 13296/707900 153.56/152.08 c cleaning 6365 clauses out of 12756 with flag 83256/713901 154.66/153.15 c cleaning 6685 clauses out of 13392 with flag 157715/720902 156.06/154.52 c cleaning 7352 clauses out of 14705 with flag 238749/728901 157.66/156.18 c cleaning 8172 clauses out of 16353 with flag 338029/737901 159.56/158.03 c cleaning 9087 clauses out of 18181 with flag 449387/747901 161.36/159.84 c cleaning 10039 clauses out of 20093 with flag 548327/758900 163.37/161.89 c cleaning 11024 clauses out of 22054 with flag 663712/770900 165.66/164.16 c cleaning 12014 clauses out of 24032 with flag 783844/783902 168.26/166.70 c cleaning 12993 clauses out of 26017 with flag 922816/797901 171.56/170.01 c cleaning 14005 clauses out of 28026 with flag 1080272/812903 175.16/173.69 c cleaning 14998 clauses out of 30018 with flag 1281656/828900 178.46/176.99 c cleaning 16004 clauses out of 32020 with flag 1457909/845900 182.46/180.95 c cleaning 17007 clauses out of 34016 with flag 1652752/863900 186.06/184.59 c cleaning 17998 clauses out of 36011 with flag 1843184/882902 190.06/188.60 c cleaning 18989 clauses out of 38011 with flag 2040426/902900 194.26/192.73 c cleaning 20003 clauses out of 40022 with flag 2231401/923900 198.46/197.00 c cleaning 21006 clauses out of 42019 with flag 2403253/945900 203.96/202.46 c cleaning 21995 clauses out of 44013 with flag 2639444/968900 206.36/204.84 c Got one! Elapsed wall clock time (in seconds):204.728 206.36/204.84 o -10660 207.76/206.21 c cleaning 19213 clauses out of 38457 with flag 51617/985339 209.37/207.88 c cleaning 12607 clauses out of 25244 with flag 129710/991339 211.37/209.84 c cleaning 9802 clauses out of 19638 with flag 236774/998340 212.27/210.72 c Got one! Elapsed wall clock time (in seconds):210.604 212.27/210.72 o -10664 212.57/211.02 c cleaning 7534 clauses out of 15077 with flag 16054/1003581 213.07/211.56 c Got one! Elapsed wall clock time (in seconds):211.449 213.07/211.56 o -10669 213.77/212.28 c cleaning 6733 clauses out of 13501 with flag 37312/1009539 215.27/213.75 c cleaning 6337 clauses out of 12769 with flag 122897/1015540 217.27/215.74 c cleaning 6710 clauses out of 13431 with flag 228179/1022539 218.77/217.20 c Got one! Elapsed wall clock time (in seconds):217.089 218.77/217.20 o -10670 219.57/218.01 c cleaning 8599 clauses out of 17198 with flag 68430/1033016 220.57/219.05 c cleaning 7294 clauses out of 14598 with flag 137325/1039015 221.77/220.21 c cleaning 7149 clauses out of 14306 with flag 217691/1046017 223.07/221.51 c cleaning 7578 clauses out of 15155 with flag 304176/1054015 224.47/222.99 c cleaning 8287 clauses out of 16579 with flag 401114/1063017 226.57/225.01 c Got one! Elapsed wall clock time (in seconds):224.9 226.57/225.01 o -10674 227.87/226.32 c cleaning 11310 clauses out of 22629 with flag 66935/1077354 229.07/227.59 c cleaning 8648 clauses out of 17319 with flag 135916/1083354 230.37/228.87 c cleaning 7816 clauses out of 15671 with flag 212163/1090354 231.96/230.46 c cleaning 7914 clauses out of 15856 with flag 299153/1098355 232.67/231.18 c Got one! Elapsed wall clock time (in seconds):231.072 232.67/231.18 o -10675 233.06/231.52 c cleaning 6526 clauses out of 13076 with flag 28158/1103489 234.26/232.74 c cleaning 6261 clauses out of 12548 with flag 94358/1109487 235.97/234.47 c cleaning 6637 clauses out of 13286 with flag 184904/1116487 237.97/236.49 c cleaning 7317 clauses out of 14649 with flag 292017/1124487 240.76/239.28 c cleaning 8160 clauses out of 16333 with flag 443250/1133488 243.37/241.84 c cleaning 9085 clauses out of 18172 with flag 597533/1143487 246.06/244.57 c Got one! Elapsed wall clock time (in seconds):244.459 246.06/244.57 o -10679 246.80/245.29 c cleaning 12323 clauses out of 24645 with flag 37591/1159045 247.90/246.31 c cleaning 9151 clauses out of 18323 with flag 83095/1165046 249.00/247.45 c cleaning 8082 clauses out of 16172 with flag 139500/1172046 250.20/248.68 c cleaning 8043 clauses out of 16090 with flag 199310/1180046 251.80/250.23 c cleaning 8522 clauses out of 17046 with flag 290173/1189045 253.90/252.31 c cleaning 9250 clauses out of 18524 with flag 408420/1199045 255.50/253.97 c Got one! Elapsed wall clock time (in seconds):253.855 255.50/253.97 o -10680 256.30/254.72 c Got one! Elapsed wall clock time (in seconds):254.607 256.30/254.72 o -10687 256.30/254.73 c Got one! Elapsed wall clock time (in seconds):254.614 256.30/254.73 o -10724 256.40/254.81 c Got one! Elapsed wall clock time (in seconds):254.697 256.40/254.81 o -10729 256.40/254.82 c Got one! Elapsed wall clock time (in seconds):254.704 256.40/254.82 o -10739 257.00/255.41 c cleaning 10904 clauses out of 21809 with flag 26553/1211580 258.40/256.81 c Got one! Elapsed wall clock time (in seconds):256.697 258.40/256.81 o -10740 259.20/257.61 c cleaning 10443 clauses out of 20904 with flag 35279/1221579 259.70/258.14 c Got one! Elapsed wall clock time (in seconds):258.023 259.70/258.14 o -10744 260.10/258.56 c cleaning 7831 clauses out of 15680 with flag 25259/1226798 261.00/259.43 c cleaning 6912 clauses out of 13848 with flag 72992/1232797 261.60/260.09 c Got one! Elapsed wall clock time (in seconds):259.974 261.60/260.09 o -10749 262.00/260.40 c cleaning 6222 clauses out of 12454 with flag 25122/1238315 263.00/261.43 c cleaning 6106 clauses out of 12233 with flag 89392/1244316 264.20/262.64 c cleaning 6565 clauses out of 13129 with flag 171292/1251318 265.60/264.02 c cleaning 7278 clauses out of 14561 with flag 253277/1259315 267.20/265.68 c cleaning 8143 clauses out of 16285 with flag 355693/1268317 269.10/267.50 c cleaning 9068 clauses out of 18141 with flag 443896/1278316 270.60/269.05 c Got one! Elapsed wall clock time (in seconds):268.934 270.60/269.05 o -10750 270.70/269.14 c Got one! Elapsed wall clock time (in seconds):269.027 270.70/269.14 o -10754 270.70/269.15 c Got one! Elapsed wall clock time (in seconds):269.035 270.70/269.15 o -10759 270.70/269.15 c Got one! Elapsed wall clock time (in seconds):269.041 270.70/269.15 o -10764 271.90/270.37 c cleaning 11662 clauses out of 23343 with flag 50117/1292587 272.30/270.77 c Got one! Elapsed wall clock time (in seconds):270.661 272.30/270.77 o -10769 273.43/271.73 c cleaning 8736 clauses out of 17471 with flag 41258/1298377 274.63/272.99 c cleaning 7358 clauses out of 14739 with flag 98607/1304381 276.33/274.68 c cleaning 7170 clauses out of 14377 with flag 180970/1311377 278.14/276.46 c cleaning 7602 clauses out of 15207 with flag 269009/1319377 278.94/277.29 c Got one! Elapsed wall clock time (in seconds):277.172 278.94/277.29 o -10771 279.34/277.60 c cleaning 6678 clauses out of 13374 with flag 14848/1325146 280.54/278.85 c cleaning 6312 clauses out of 12696 with flag 73050/1331146 282.14/280.44 c cleaning 6682 clauses out of 13384 with flag 141790/1338146 282.54/280.84 c Got one! Elapsed wall clock time (in seconds):280.725 282.54/280.84 o -10774 283.24/281.51 c cleaning 6158 clauses out of 12325 with flag 31395/1343769 284.64/282.92 c cleaning 6055 clauses out of 12167 with flag 96329/1349769 286.24/284.52 c cleaning 6553 clauses out of 13113 with flag 166628/1356770 287.64/285.95 c Got one! Elapsed wall clock time (in seconds):285.836 287.64/285.95 o -10779 288.44/286.73 c cleaning 8843 clauses out of 17685 with flag 32649/1367895 289.44/287.76 c Got one! Elapsed wall clock time (in seconds):287.648 289.44/287.76 o -10780 289.84/288.12 c Got one! Elapsed wall clock time (in seconds):288.006 289.84/288.12 o -10784 290.54/288.88 c cleaning 10059 clauses out of 20118 with flag 33261/1379171 291.44/289.74 c cleaning 8028 clauses out of 16060 with flag 71246/1385172 292.74/291.02 c cleaning 7507 clauses out of 15030 with flag 135144/1392170 292.74/291.02 c Got one! Elapsed wall clock time (in seconds):290.907 292.74/291.02 o -10785 293.44/291.79 c cleaning 6253 clauses out of 12534 with flag 33943/1397181 294.84/293.15 c cleaning 6117 clauses out of 12280 with flag 92717/1403180 296.43/294.71 c cleaning 6572 clauses out of 13163 with flag 161802/1410181 296.73/295.02 c Got one! Elapsed wall clock time (in seconds):294.911 296.73/295.02 o -10789 297.23/295.57 c Got one! Elapsed wall clock time (in seconds):295.461 297.23/295.57 o -10794 297.83/296.11 c cleaning 6167 clauses out of 12357 with flag 22629/1415947 298.34/296.69 c Got one! Elapsed wall clock time (in seconds):296.576 298.34/296.69 o -10795 298.84/297.19 c cleaning 5620 clauses out of 11288 with flag 20991/1421045 300.34/298.64 c cleaning 5815 clauses out of 11668 with flag 66925/1427045 302.14/300.49 c cleaning 6419 clauses out of 12854 with flag 129048/1434046 302.94/301.23 c Got one! Elapsed wall clock time (in seconds):301.114 302.94/301.23 o -10799 303.14/301.47 c cleaning 5717 clauses out of 11454 with flag 11158/1439065 304.04/302.34 c cleaning 5863 clauses out of 11738 with flag 47142/1445066 305.54/303.89 c cleaning 6427 clauses out of 12875 with flag 115522/1452066 305.74/304.09 c Got one! Elapsed wall clock time (in seconds):303.974 305.74/304.09 o -10800 306.84/305.13 c cleaning 6179 clauses out of 12372 with flag 43495/1457990 306.94/305.26 c Got one! Elapsed wall clock time (in seconds):305.151 306.94/305.26 o -10804 308.14/306.46 c cleaning 5854 clauses out of 11740 with flag 53266/1463537 308.94/307.22 c Got one! Elapsed wall clock time (in seconds):307.104 308.94/307.22 o -10809 309.34/307.67 c cleaning 5470 clauses out of 10987 with flag 16436/1468638 309.64/307.98 c Got one! Elapsed wall clock time (in seconds):307.865 309.64/307.98 o -10810 310.04/308.30 c Got one! Elapsed wall clock time (in seconds):308.186 310.04/308.30 o -10814 310.54/308.86 c cleaning 5780 clauses out of 11598 with flag 20150/1474719 311.54/309.90 c cleaning 5906 clauses out of 11818 with flag 62983/1480719 312.64/310.96 c cleaning 6449 clauses out of 12914 with flag 109145/1487721 313.94/312.21 c cleaning 7225 clauses out of 14463 with flag 162237/1495719 315.54/313.88 c cleaning 8105 clauses out of 16238 with flag 227969/1504719 317.64/315.95 c cleaning 9066 clauses out of 18133 with flag 308941/1514719 318.94/317.24 c Got one! Elapsed wall clock time (in seconds):317.127 318.94/317.24 o -10815 319.44/317.77 c Got one! Elapsed wall clock time (in seconds):317.659 319.44/317.77 o -10819 320.14/318.40 c cleaning 10604 clauses out of 21213 with flag 22670/1526865 320.14/318.46 c Got one! Elapsed wall clock time (in seconds):318.343 320.14/318.46 o -10820 321.04/319.34 c cleaning 7940 clauses out of 15895 with flag 33098/1532151 322.04/320.36 c cleaning 6967 clauses out of 13957 with flag 75150/1538153 323.63/321.94 c cleaning 6977 clauses out of 13990 with flag 136299/1545153 324.83/323.14 c Got one! Elapsed wall clock time (in seconds):323.023 324.83/323.14 o -10824 325.53/323.87 c cleaning 8528 clauses out of 17063 with flag 33087/1555203 326.43/324.80 c cleaning 7258 clauses out of 14535 with flag 78224/1561203 327.53/325.81 c cleaning 7133 clauses out of 14278 with flag 120038/1568204 328.94/327.21 c cleaning 7571 clauses out of 15145 with flag 171853/1576204 330.43/328.76 c cleaning 8285 clauses out of 16573 with flag 235106/1585203 332.53/330.84 c cleaning 9139 clauses out of 18289 with flag 315010/1595204 333.43/331.70 c Got one! Elapsed wall clock time (in seconds):331.587 333.43/331.70 o -10826 334.23/332.56 c cleaning 9643 clauses out of 19307 with flag 32530/1605361 334.33/332.64 c Got one! Elapsed wall clock time (in seconds):332.527 334.33/332.64 o -10829 334.74/333.02 c Got one! Elapsed wall clock time (in seconds):332.905 334.74/333.02 o -10830 334.84/333.19 c Got one! Elapsed wall clock time (in seconds):333.078 334.84/333.19 o -10834 334.93/333.29 c Got one! Elapsed wall clock time (in seconds):333.174 334.93/333.29 o -10839 334.93/333.29 c Got one! Elapsed wall clock time (in seconds):333.18 334.93/333.29 o -10849 334.93/333.30 c Got one! Elapsed wall clock time (in seconds):333.189 334.93/333.30 o -10854 335.04/333.31 c Got one! Elapsed wall clock time (in seconds):333.195 335.04/333.31 o -10859 335.53/333.88 c cleaning 8180 clauses out of 16361 with flag 22737/1612058 336.63/334.91 c cleaning 7085 clauses out of 14181 with flag 64740/1618059 336.93/335.26 c starts : 3291 336.93/335.26 c conflicts : 1620721 336.93/335.26 c decisions : 3304059 336.93/335.26 c propagations : 601905631 336.93/335.26 c inspects : 2061737975 336.93/335.26 c shortcuts : 0 336.93/335.26 c learnt literals : 18 336.93/335.26 c learnt binary clauses : 341 336.93/335.26 c learnt ternary clauses : 470 336.93/335.26 c learnt constraints : 1620702 336.93/335.26 c ignored constraints : 0 336.93/335.26 c root simplifications : 0 336.93/335.26 c removed literals (reason simplification) : 0 336.93/335.26 c reason swapping (by a shorter reason) : 0 336.93/335.26 c Calls to reduceDB : 174 336.93/335.26 c Number of update (reduction) of LBD : 398222 336.93/335.26 c Imported unit clauses : 0 336.93/335.26 c number of reductions to clauses (during analyze) : 0 336.93/335.26 c number of learned constraints concerned by reduction : 0 336.93/335.26 c number of learning phase by resolution : 0 336.93/335.26 c number of learning phase by cutting planes : 0 336.93/335.26 c speed (assignments/second) : 1799176.8850229415 336.93/335.26 c non guided choices 15218 336.93/335.26 c learnt constraints type 336.93/335.26 s OPTIMUM FOUND 336.93/335.26 c Found 89 solution(s) 336.93/335.27 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 x270 -x271 -x272 x273 x274 x275 -x276 x277 x278 -x279 -x280 x281 -x282 x283 -x284 -x285 x286 -x287 x288 -x289 -x290 x291 x292 -x293 x294 x295 -x296 x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 -x308 -x309 x310 x311 x312 -x313 x314 x315 x316 -x317 x318 x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 x327 x328 -x329 -x330 x331 x332 x333 -x334 x335 x336 x337 -x338 x339 x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 x351 -x352 -x353 -x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 x801 -x802 x803 -x804 x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 x855 x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263 x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 x1841 x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 x1858 x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 x1964 x1965 x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 x2016 x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 x2048 -x2049 x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 x2100 -x2101 x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 x2164 x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 -x2369 x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 x2388 -x2389 -x2390 x2391 -x2392 x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 x2566 x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 x2581 x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 x2596 x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 x2659 -x2660 x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 -x2675 x2676 x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 x2720 -x2721 x2722 x2723 x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 x2848 -x2849 -x2850 x2851 x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 x2880 x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 -x2895 x2896 -x2897 x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 x2960 x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 x2975 x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 x3005 x3006 -x3007 x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 x3050 x3051 x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 x3068 x3069 x3070 -x3071 -x3072 -x3073 -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 x3082 x3083 x3084 -x3085 x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 x3099 -x3100 x3101 -x3102 x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 -x3133 x3134 -x3135 x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 x3150 -x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 x3166 -x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 x3250 -x3251 x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 x3307 -x3308 x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 x3365 -x3366 x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 x3458 x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 x3507 -x3508 x3509 -x3510 -x3511 x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 x4663 -x4664 x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 x4690 x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 x4943 -x4944 x4945 -x4946 -x4947 x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 x5106 -x5107 x5108 -x5109 -x5110 x5111 -x5112 -x5113 -x5114 -x5115 -x5116 x5117 -x5118 -x5119 -x5120 -x5121 x5122 -x5123 -x5124 x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 x5243 -x5244 x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 x5798 -x5799 -x5800 x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 -x5817 x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 x6012 -x6013 -x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 x6387 x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 x6449 x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 x6573 -x6574 -x6575 x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 x6584 -x6585 -x6586 -x6587 -x6588 -x6589 x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 x6819 x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 x6909 x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 x7068 -x7069 x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 x7193 x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 x7225 -x7226 x7227 x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 x7312 -x7313 -x7314 x7315 -x7316 x7317 -x7318 -x7319 -x7320 -x7321 -x7322 x7323 -x7324 -x7325 -x7326 -x7327 x7328 -x7329 -x7330 -x7331 -x7332 -x7333 x7334 -x7335 -x7336 -x7337 -x7338 -x7339 x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 x7575 -x7576 x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 x9222 -x9223 -x9224 -x9225 -x9226 -x9227 x9228 -x9229 -x9230 -x9231 -x9232 x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 x10603 -x10604 -x10605 x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 x10816 x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 x11030 -x11031 x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 x11162 -x11163 x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 336.93/335.28 c objective function=-10859 336.93/335.28 c Total wall clock time (in seconds): 335.171
OK -10859
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4085170-1465223833/watcher-4085170-1465223833 -o /tmp/evaluation-result-4085170-1465223833/solver-4085170-1465223833 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9034 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085170-1465223833.opb pid=9517 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.23 2.19 4/194 9520 /proc/meminfo: memFree=27198536/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=9160 CPUtime=0 cores=1,3,5,7 /proc/9520/stat : 9520 (java) R 9517 9520 9017 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 104315255 9379840 109 33554432000 1073741824 1073778376 140737204052720 140737204049848 1073766800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 2290 123 94 9 0 38 0 [startup+0.100059 s] /proc/loadavg: 2.17 2.23 2.19 4/194 9520 /proc/meminfo: memFree=27198536/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/9520/stat : 9520 (java) S 9517 9520 9017 0 -1 4202496 4380 0 1 0 8 1 0 0 20 0 18 0 104315255 9787879424 6018 33554432000 1073741824 1073778376 140737204052720 140737204043856 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 2389619 6018 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200206 s] /proc/loadavg: 2.17 2.23 2.19 4/194 9520 /proc/meminfo: memFree=27198536/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=9558476 CPUtime=0.26 cores=1,3,5,7 /proc/9520/stat : 9520 (java) S 9517 9520 9017 0 -1 4202496 4886 0 1 0 25 1 0 0 20 0 18 0 104315255 9787879424 8965 33554432000 1073741824 1073778376 140737204052720 140737204043856 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 2389619 8965 2214 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300224 s] /proc/loadavg: 2.17 2.23 2.19 4/194 9520 /proc/meminfo: memFree=27198536/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=9558476 CPUtime=0.48 cores=1,3,5,7 /proc/9520/stat : 9520 (java) S 9517 9520 9017 0 -1 4202496 6067 0 1 0 45 3 0 0 20 0 18 0 104315255 9787879424 35987 33554432000 1073741824 1073778376 140737204052720 140737204043856 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 2389619 35987 2230 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558476 [startup+0.700189 s] /proc/loadavg: 2.17 2.23 2.19 4/194 9520 /proc/meminfo: memFree=27198536/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=9558476 CPUtime=1.2 cores=1,3,5,7 /proc/9520/stat : 9520 (java) S 9517 9520 9017 0 -1 4202496 8685 0 1 0 111 9 0 0 20 0 18 0 104315255 9787879424 75184 33554432000 1073741824 1073778376 140737204052720 140737204043856 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 2389619 75184 2267 9 0 2380296 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 9558476 [startup+1.50077 s] /proc/loadavg: 2.32 2.26 2.20 5/213 9539 /proc/meminfo: memFree=26898808/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=9625040 CPUtime=2.66 cores=1,3,5,7 /proc/9520/stat : 9520 (java) S 9517 9520 9017 0 -1 4202496 16985 0 1 0 256 10 0 0 20 0 19 0 104315255 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140737204043856 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 2406260 76847 2280 9 0 2396937 0 [pid=9520/tid=9522] ppid=9517 vsize=9625040 CPUtime=1.42 cores=1,3,5,7 /proc/9520/task/9522/stat : 9522 (java) R 9517 9520 9017 0 -1 4202560 2531 0 1 0 136 6 0 0 20 0 19 0 104315256 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722615525480 140722473431729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9523] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9523/stat : 9523 (java) S 9517 9520 9017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722593627176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9524] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9524/stat : 9524 (java) S 9517 9520 9017 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722592574376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9525] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9525/stat : 9525 (java) S 9517 9520 9017 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722591521576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9526] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9526/stat : 9526 (java) S 9517 9520 9017 0 -1 4202560 136 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722254637736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9527] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9527/stat : 9527 (java) S 9517 9520 9017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722253584936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9528] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9528/stat : 9528 (java) S 9517 9520 9017 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722252532136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9529] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9529/stat : 9529 (java) S 9517 9520 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722251479336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9530] ppid=9517 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/9520/task/9530/stat : 9530 (java) S 9517 9520 9017 0 -1 4202560 123 0 0 0 1 0 0 0 20 0 19 0 104315257 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722250426536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9531] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9531/stat : 9531 (java) S 9517 9520 9017 0 -1 4202560 181 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722238229480 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9532] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9532/stat : 9532 (java) S 9517 9520 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722237175544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9533] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9533/stat : 9533 (java) S 9517 9520 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722236122632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9534] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9534/stat : 9534 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722235071120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9535] ppid=9517 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/9520/task/9535/stat : 9535 (java) S 9517 9520 9017 0 -1 4202560 7015 0 0 0 59 1 0 0 20 0 19 0 104315261 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722234018232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9536] ppid=9517 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/9520/task/9536/stat : 9536 (java) S 9517 9520 9017 0 -1 4202560 5587 0 0 0 47 1 0 0 20 0 19 0 104315261 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722232965432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9537] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9537/stat : 9537 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722231912824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9538] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9538/stat : 9538 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722230860232 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9539] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9539/stat : 9539 (java) S 9517 9520 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104315328 9856040960 76847 33554432000 1073741824 1073778376 140737204052720 140722229708456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.66 Current children cumulated vsize (KiB) 9625040 [startup+3.10079 s] /proc/loadavg: 2.32 2.26 2.20 4/213 9539 /proc/meminfo: memFree=26898800/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=9625040 CPUtime=4.44 cores=1,3,5,7 /proc/9520/stat : 9520 (java) S 9517 9520 9017 0 -1 4202496 17727 0 1 0 434 10 0 0 20 0 19 0 104315255 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140737204043856 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 2406260 76855 2284 9 0 2396937 0 [pid=9520/tid=9522] ppid=9517 vsize=9625040 CPUtime=3.02 cores=1,3,5,7 /proc/9520/task/9522/stat : 9522 (java) R 9517 9520 9017 0 -1 4202560 2533 0 1 0 296 6 0 0 20 0 19 0 104315256 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722615525896 140722473431263 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9523] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9523/stat : 9523 (java) S 9517 9520 9017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722593627176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9524] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9524/stat : 9524 (java) S 9517 9520 9017 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722592574376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9525] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9525/stat : 9525 (java) S 9517 9520 9017 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722591521576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9526] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9526/stat : 9526 (java) S 9517 9520 9017 0 -1 4202560 136 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722254637736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9527] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9527/stat : 9527 (java) S 9517 9520 9017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722253584936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9528] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9528/stat : 9528 (java) S 9517 9520 9017 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722252532136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9529] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9529/stat : 9529 (java) S 9517 9520 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722251479336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9530] ppid=9517 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/9520/task/9530/stat : 9530 (java) S 9517 9520 9017 0 -1 4202560 123 0 0 0 1 0 0 0 20 0 19 0 104315257 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722250426536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9531] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9531/stat : 9531 (java) S 9517 9520 9017 0 -1 4202560 181 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722238229480 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9532] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9532/stat : 9532 (java) S 9517 9520 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722237175544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9533] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9533/stat : 9533 (java) S 9517 9520 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722236122632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9534] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9534/stat : 9534 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722235071120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9535] ppid=9517 vsize=9625040 CPUtime=0.71 cores=1,3,5,7 /proc/9520/task/9535/stat : 9535 (java) S 9517 9520 9017 0 -1 4202560 7747 0 0 0 70 1 0 0 20 0 19 0 104315261 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722234018232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9536] ppid=9517 vsize=9625040 CPUtime=0.55 cores=1,3,5,7 /proc/9520/task/9536/stat : 9536 (java) S 9517 9520 9017 0 -1 4202560 5595 0 0 0 54 1 0 0 20 0 19 0 104315261 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722232965432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9537] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9537/stat : 9537 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722231912824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9538] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9538/stat : 9538 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722230860232 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9539] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9539/stat : 9539 (java) S 9517 9520 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104315328 9856040960 76855 33554432000 1073741824 1073778376 140737204052720 140722229708456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.44 Current children cumulated vsize (KiB) 9625040 [startup+6.30086 s] /proc/loadavg: 2.32 2.26 2.20 4/213 9539 /proc/meminfo: memFree=26900492/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=9625040 CPUtime=7.77 cores=1,3,5,7 /proc/9520/stat : 9520 (java) S 9517 9520 9017 0 -1 4202496 17733 0 1 0 767 10 0 0 20 0 19 0 104315255 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140737204043856 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 2406260 76450 2286 9 0 2396937 0 [pid=9520/tid=9522] ppid=9517 vsize=9625040 CPUtime=6.21 cores=1,3,5,7 /proc/9520/task/9522/stat : 9522 (java) R 9517 9520 9017 0 -1 4202560 2536 0 1 0 615 6 0 0 20 0 19 0 104315256 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722615525776 140722473607961 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9523] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9523/stat : 9523 (java) S 9517 9520 9017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722593627176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9524] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9524/stat : 9524 (java) S 9517 9520 9017 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722592574376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9525] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9525/stat : 9525 (java) S 9517 9520 9017 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722591521576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9526] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9526/stat : 9526 (java) S 9517 9520 9017 0 -1 4202560 136 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722254637736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9527] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9527/stat : 9527 (java) S 9517 9520 9017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722253584936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9528] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9528/stat : 9528 (java) S 9517 9520 9017 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722252532136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9529] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9529/stat : 9529 (java) S 9517 9520 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104315257 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722251479336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9530] ppid=9517 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/9520/task/9530/stat : 9530 (java) S 9517 9520 9017 0 -1 4202560 123 0 0 0 1 0 0 0 20 0 19 0 104315257 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722250426536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9531] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9531/stat : 9531 (java) S 9517 9520 9017 0 -1 4202560 181 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722238229480 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9532] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9532/stat : 9532 (java) S 9517 9520 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722237175544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9533] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9533/stat : 9533 (java) S 9517 9520 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722236122632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9534] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9534/stat : 9534 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722235071120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9535] ppid=9517 vsize=9625040 CPUtime=0.75 cores=1,3,5,7 /proc/9520/task/9535/stat : 9535 (java) S 9517 9520 9017 0 -1 4202560 7747 0 0 0 74 1 0 0 20 0 19 0 104315261 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722234018232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9536] ppid=9517 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/9520/task/9536/stat : 9536 (java) S 9517 9520 9017 0 -1 4202560 5598 0 0 0 63 1 0 0 20 0 19 0 104315261 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722232965432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9537] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9537/stat : 9537 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722231912824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9538] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9538/stat : 9538 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722230860232 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9539] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9539/stat : 9539 (java) S 9517 9520 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104315328 9856040960 76450 33554432000 1073741824 1073778376 140737204052720 140722229708456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.77 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=9520/tid=9535] ppid=9517 vsize=9625040 CPUtime=0.83 cores=1,3,5,7 /proc/9520/task/9535/stat : 9535 (java) S 9517 9520 9017 0 -1 4202560 8216 0 0 0 82 1 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722234018232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9536] ppid=9517 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/9520/task/9536/stat : 9536 (java) S 9517 9520 9017 0 -1 4202560 5598 0 0 0 64 1 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722232965432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9537] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9537/stat : 9537 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722231912824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9538] ppid=9517 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/9520/task/9538/stat : 9538 (java) S 9517 9520 9017 0 -1 4202560 19 0 0 0 2 5 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722230860232 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9539] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9539/stat : 9539 (java) S 9517 9520 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104315328 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722229708456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 334.53 Current children cumulated vsize (KiB) 9625040 [startup+334.401 s] /proc/loadavg: 2.23 2.25 2.20 3/213 9679 /proc/meminfo: memFree=29257872/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=9625040 CPUtime=336.14 cores=1,3,5,7 /proc/9520/stat : 9520 (java) S 9517 9520 9017 0 -1 4202496 18939 0 1 0 33587 27 0 0 20 0 19 0 104315255 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140737204043856 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 2406260 157291 2287 9 0 2396937 0 [pid=9520/tid=9522] ppid=9517 vsize=9625040 CPUtime=333.41 cores=1,3,5,7 /proc/9520/task/9522/stat : 9522 (java) R 9517 9520 9017 0 -1 4202560 2659 0 1 0 33328 13 0 0 20 0 19 0 104315256 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722615516928 140722473499894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9523] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9523/stat : 9523 (java) S 9517 9520 9017 0 -1 4202560 77 0 0 0 2 1 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722593627176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9524] ppid=9517 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/9520/task/9524/stat : 9524 (java) S 9517 9520 9017 0 -1 4202560 22 0 0 0 0 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722592574376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9525] ppid=9517 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/9520/task/9525/stat : 9525 (java) S 9517 9520 9017 0 -1 4202560 39 0 0 0 1 1 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722591521576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9526] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9526/stat : 9526 (java) S 9517 9520 9017 0 -1 4202560 177 0 0 0 1 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722254637736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9527] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9527/stat : 9527 (java) S 9517 9520 9017 0 -1 4202560 61 0 0 0 1 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722253584936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9528] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9528/stat : 9528 (java) S 9517 9520 9017 0 -1 4202560 156 0 0 0 2 1 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722252532136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9529] ppid=9517 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/9520/task/9529/stat : 9529 (java) S 9517 9520 9017 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722251479336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9530] ppid=9517 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/9520/task/9530/stat : 9530 (java) S 9517 9520 9017 0 -1 4202560 178 0 0 0 2 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722250426536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9531] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9531/stat : 9531 (java) S 9517 9520 9017 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722238229480 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9532] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9532/stat : 9532 (java) S 9517 9520 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722237175544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9533] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9533/stat : 9533 (java) S 9517 9520 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722236122632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9534] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9534/stat : 9534 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722235071120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9535] ppid=9517 vsize=9625040 CPUtime=0.83 cores=1,3,5,7 /proc/9520/task/9535/stat : 9535 (java) S 9517 9520 9017 0 -1 4202560 8216 0 0 0 82 1 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722234018232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9536] ppid=9517 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/9520/task/9536/stat : 9536 (java) S 9517 9520 9017 0 -1 4202560 5598 0 0 0 64 1 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722232965432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9537] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9537/stat : 9537 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722231912824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9538] ppid=9517 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/9520/task/9538/stat : 9538 (java) S 9517 9520 9017 0 -1 4202560 19 0 0 0 2 5 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722230860232 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9539] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9539/stat : 9539 (java) S 9517 9520 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104315328 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722229708456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 336.14 Current children cumulated vsize (KiB) 9625040 [startup+334.801 s] /proc/loadavg: 2.23 2.25 2.20 3/213 9679 /proc/meminfo: memFree=29257872/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=9625040 CPUtime=336.53 cores=1,3,5,7 /proc/9520/stat : 9520 (java) S 9517 9520 9017 0 -1 4202496 18939 0 1 0 33626 27 0 0 20 0 19 0 104315255 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140737204043856 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 2406260 157291 2287 9 0 2396937 0 [pid=9520/tid=9522] ppid=9517 vsize=9625040 CPUtime=333.8 cores=1,3,5,7 /proc/9520/task/9522/stat : 9522 (java) R 9517 9520 9017 0 -1 4202560 2659 0 1 0 33367 13 0 0 20 0 19 0 104315256 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722615516928 140722473431808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9523] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9523/stat : 9523 (java) S 9517 9520 9017 0 -1 4202560 77 0 0 0 2 1 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722593627176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9524] ppid=9517 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/9520/task/9524/stat : 9524 (java) S 9517 9520 9017 0 -1 4202560 22 0 0 0 0 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722592574376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9525] ppid=9517 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/9520/task/9525/stat : 9525 (java) S 9517 9520 9017 0 -1 4202560 39 0 0 0 1 1 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722591521576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9526] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9526/stat : 9526 (java) S 9517 9520 9017 0 -1 4202560 177 0 0 0 1 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722254637736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9527] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9527/stat : 9527 (java) S 9517 9520 9017 0 -1 4202560 61 0 0 0 1 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722253584936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9528] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9528/stat : 9528 (java) S 9517 9520 9017 0 -1 4202560 156 0 0 0 2 1 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722252532136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9529] ppid=9517 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/9520/task/9529/stat : 9529 (java) S 9517 9520 9017 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722251479336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9530] ppid=9517 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/9520/task/9530/stat : 9530 (java) S 9517 9520 9017 0 -1 4202560 178 0 0 0 2 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722250426536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9531] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9531/stat : 9531 (java) S 9517 9520 9017 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722238229480 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9532] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9532/stat : 9532 (java) S 9517 9520 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722237175544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9533] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9533/stat : 9533 (java) S 9517 9520 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722236122632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9534] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9534/stat : 9534 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722235071120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9535] ppid=9517 vsize=9625040 CPUtime=0.83 cores=1,3,5,7 /proc/9520/task/9535/stat : 9535 (java) S 9517 9520 9017 0 -1 4202560 8216 0 0 0 82 1 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722234018232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9536] ppid=9517 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/9520/task/9536/stat : 9536 (java) S 9517 9520 9017 0 -1 4202560 5598 0 0 0 64 1 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722232965432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9537] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9537/stat : 9537 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722231912824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9538] ppid=9517 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/9520/task/9538/stat : 9538 (java) S 9517 9520 9017 0 -1 4202560 19 0 0 0 2 5 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722230860232 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9539] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9539/stat : 9539 (java) S 9517 9520 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104315328 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722229708456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 336.53 Current children cumulated vsize (KiB) 9625040 [startup+335.201 s] /proc/loadavg: 2.23 2.25 2.20 3/213 9679 /proc/meminfo: memFree=29257872/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=9625040 CPUtime=336.93 cores=1,3,5,7 /proc/9520/stat : 9520 (java) S 9517 9520 9017 0 -1 4202496 18939 0 1 0 33666 27 0 0 20 0 19 0 104315255 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140737204043856 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 2406260 157291 2287 9 0 2396937 0 [pid=9520/tid=9522] ppid=9517 vsize=9625040 CPUtime=334.2 cores=1,3,5,7 /proc/9520/task/9522/stat : 9522 (java) R 9517 9520 9017 0 -1 4202560 2659 0 1 0 33407 13 0 0 20 0 19 0 104315256 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722615516928 140722473598368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9523] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9523/stat : 9523 (java) S 9517 9520 9017 0 -1 4202560 77 0 0 0 2 1 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722593627176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9524] ppid=9517 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/9520/task/9524/stat : 9524 (java) S 9517 9520 9017 0 -1 4202560 22 0 0 0 0 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722592574376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9525] ppid=9517 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/9520/task/9525/stat : 9525 (java) S 9517 9520 9017 0 -1 4202560 39 0 0 0 1 1 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722591521576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9526] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9526/stat : 9526 (java) S 9517 9520 9017 0 -1 4202560 177 0 0 0 1 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722254637736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9527] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9527/stat : 9527 (java) S 9517 9520 9017 0 -1 4202560 61 0 0 0 1 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722253584936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9528] ppid=9517 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9520/task/9528/stat : 9528 (java) S 9517 9520 9017 0 -1 4202560 156 0 0 0 2 1 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722252532136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9529] ppid=9517 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/9520/task/9529/stat : 9529 (java) S 9517 9520 9017 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722251479336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9520/tid=9530] ppid=9517 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/9520/task/9530/stat : 9530 (java) S 9517 9520 9017 0 -1 4202560 178 0 0 0 2 2 0 0 20 0 19 0 104315257 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722250426536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9531] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9531/stat : 9531 (java) S 9517 9520 9017 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722238229480 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9520/tid=9532] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9532/stat : 9532 (java) S 9517 9520 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722237175544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9533] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9533/stat : 9533 (java) S 9517 9520 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104315259 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722236122632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9534] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9534/stat : 9534 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722235071120 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9535] ppid=9517 vsize=9625040 CPUtime=0.83 cores=1,3,5,7 /proc/9520/task/9535/stat : 9535 (java) S 9517 9520 9017 0 -1 4202560 8216 0 0 0 82 1 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722234018232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9536] ppid=9517 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/9520/task/9536/stat : 9536 (java) S 9517 9520 9017 0 -1 4202560 5598 0 0 0 64 1 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722232965432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9537] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9537/stat : 9537 (java) S 9517 9520 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722231912824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9520/tid=9538] ppid=9517 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/9520/task/9538/stat : 9538 (java) S 9517 9520 9017 0 -1 4202560 19 0 0 0 2 5 0 0 20 0 19 0 104315261 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722230860232 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9520/tid=9539] ppid=9517 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9539/stat : 9539 (java) S 9517 9520 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104315328 9856040960 157291 33554432000 1073741824 1073778376 140737204052720 140722229708456 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 336.93 Current children cumulated vsize (KiB) 9625040 [startup+335.301 s] /proc/loadavg: 2.23 2.25 2.20 3/213 9679 /proc/meminfo: memFree=29257872/32872528 swapFree=17452/1581112 [pid=9520] ppid=9517 vsize=0 CPUtime=336.32 cores=1,3,5,7 /proc/9520/stat : 9520 (java) Z 9517 9520 9017 0 -1 4203532 18966 0 1 0 33588 44 0 0 20 0 2 0 104315255 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9520/statm: 0 0 0 0 0 0 0 [pid=9520/tid=9534] ppid=9517 vsize=0 CPUtime=0 cores=1,3,5,7 /proc/9520/task/9534/stat : 9534 (java) R 9517 9520 9017 0 -1 4203588 8 0 0 0 0 0 0 0 20 0 2 0 104315261 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 336.32 Current children cumulated vsize (KiB) 0 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.609985 # lost CPU user time (s): 0.779999 # lost CPU system time (s): -0.17 Real time (s): 335.303 CPU time (s): 336.933 CPU user time (s): 336.661 CPU system time (s): 0.271932 CPU usage (%): 100.486 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 335.881 system time used= 0.441932 maximum resident set size= 629228 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18966 page faults= 1 swaps= 0 block input operations= 0 block output operations= 320 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7623 involuntary context switches= 894 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.75573 second user time and 2.6156 second system time The end
Begin job on node139 at 2016-06-06 16:37:13 IDJOB=4085170 IDBENCH=1875 IDSOLVER=2546 FILE ID=node139/4085170-1465223833 RUNJOBID= node139-1465220260-9034 PBS_JOBID= 19843218 Free space on /tmp= 71696 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085170-1465223833/watcher-4085170-1465223833 -o /tmp/evaluation-result-4085170-1465223833/solver-4085170-1465223833 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9034 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085170-1465223833.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED=568580165 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27199328 kB Buffers: 13092 kB Cached: 118712 kB SwapCached: 1464 kB Active: 3339896 kB Inactive: 44416 kB Active(anon): 3252816 kB Inactive(anon): 2172 kB Active(file): 87080 kB Inactive(file): 42244 kB Unevictable: 1581112 kB Mlocked: 17452 kB SwapTotal: 67108856 kB SwapFree: 67099760 kB Dirty: 2000 kB Writeback: 0 kB AnonPages: 4879720 kB Mapped: 15424 kB Shmem: 0 kB Slab: 567460 kB SReclaimable: 11628 kB SUnreclaim: 555832 kB KernelStack: 1760 kB PageTables: 13632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5063756 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4823040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71728 MiB End job on node139 at 2016-06-06 16:42:49