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 Res+CP PB16 | SAT (TO) | 507933 | 1800.53 | 897.482 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb |
| MD5SUM | 96d9927730c8b8baae8e5c668115210d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 450588 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 273432 |
| Optimality of the best value was proved | NO |
| Number of variables | 8902 |
| Total number of constraints | 2864 |
| Number of constraints which are clauses | 143 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2407 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 526135 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version PB16.v20160501 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Glucose 2.1 dynamic restart strategy 0.07/0.13 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.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 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.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-4101794-1466216063.opb 0.07/0.13 c reading problem ... 0.07/0.13 c objective function found 1.37/0.68 c ... done. Wall clock time 0.551s. 1.37/0.68 c declared #vars 8902 1.37/0.68 c #constraints 3038 1.37/0.68 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.37/0.68 c constraints type 1.37/0.68 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 450 1.37/0.68 c org.sat4j.minisat.constraints.card.MinWatchCard => 31 1.37/0.68 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 538 1.37/0.68 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2019 1.37/0.68 c 3038 constraints processed. 1.37/0.68 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.37/0.68 c constraints type 1.37/0.68 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 538 1.37/0.68 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 450 1.37/0.68 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 31 1.37/0.68 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2019 1.37/0.68 c 3038 constraints processed. 1.37/0.68 c objective function length is 31 literals 11.30/4.67 c cleaning 2500 clauses out of 5000 with flag 14790/5001 17.14/7.25 c cleaning 4249 clauses out of 8501 with flag 33459/11003 20.22/8.74 c cleaning 5624 clauses out of 11247 with flag 57558/18000 22.69/10.01 c cleaning 6803 clauses out of 13622 with flag 86994/26000 25.89/11.54 c cleaning 7903 clauses out of 15819 with flag 125879/35000 29.51/13.38 c cleaning 8955 clauses out of 17917 with flag 167703/45001 33.98/15.55 c cleaning 9964 clauses out of 19961 with flag 210582/56000 36.99/17.01 c cleaning 0 clauses out of 5012 with flag 0/5012 38.46/17.63 c cleaning 10990 clauses out of 21998 with flag 252674/68001 44.04/20.37 c cleaning 11995 clauses out of 24007 with flag 304231/81000 49.90/23.22 c cleaning 13004 clauses out of 26014 with flag 358402/95002 55.68/26.13 c cleaning 13996 clauses out of 28009 with flag 410506/110001 62.74/29.65 c cleaning 15003 clauses out of 30013 with flag 474969/126001 70.14/33.34 c cleaning 15997 clauses out of 32009 with flag 551375/143000 78.60/37.52 c cleaning 16991 clauses out of 34012 with flag 627511/161000 87.45/41.94 c cleaning 18002 clauses out of 36023 with flag 714768/180002 96.64/46.52 c cleaning 19005 clauses out of 38019 with flag 800736/200001 106.70/51.59 c cleaning 19998 clauses out of 40013 with flag 905536/221000 118.16/57.27 c cleaning 21002 clauses out of 42014 with flag 1023412/243000 130.21/63.24 c cleaning 0 clauses out of 11000 with flag 0/11000 131.01/63.60 c cleaning 22003 clauses out of 44011 with flag 1150675/266000 142.07/69.19 c cleaning 23001 clauses out of 46009 with flag 1251054/290001 148.51/72.33 c And the winner is solver0 148.61/72.70 c SATISFIABLE 148.61/72.70 c OPTIMIZING... 148.61/72.70 c Got one! Elapsed wall clock time (in seconds):72.575 148.61/72.70 o 516125 153.28/75.07 c cleaning 19016 clauses out of 38053 with flag 19296/305047 156.08/76.45 c cleaning 12509 clauses out of 25037 with flag 42802/311047 159.28/78.07 c cleaning 9758 clauses out of 19528 with flag 76492/318047 163.13/79.96 c cleaning 8875 clauses out of 17770 with flag 116775/326047 164.52/80.60 c And the winner is solver0 164.60/80.71 c Got one! Elapsed wall clock time (in seconds):80.58 164.60/80.71 o 514330 165.38/81.16 c cleaning 7258 clauses out of 14522 with flag 6345/331674 168.58/82.77 c cleaning 6627 clauses out of 13262 with flag 18872/337672 171.78/84.38 c cleaning 6817 clauses out of 13635 with flag 33807/344672 175.38/86.19 c cleaning 7409 clauses out of 14818 with flag 50889/352672 179.98/88.45 c cleaning 8200 clauses out of 16409 with flag 70379/361672 185.18/91.03 c cleaning 9098 clauses out of 18210 with flag 92547/371673 191.58/94.25 c cleaning 10056 clauses out of 20112 with flag 117562/382673 199.69/98.29 c cleaning 11028 clauses out of 22055 with flag 145474/394672 208.29/102.58 c cleaning 12011 clauses out of 24027 with flag 175788/407672 216.28/106.53 c cleaning 13006 clauses out of 26018 with flag 209073/421674 225.88/111.37 c cleaning 14003 clauses out of 28013 with flag 244623/436675 236.28/116.50 c cleaning 15004 clauses out of 30009 with flag 283480/452674 246.48/121.65 c cleaning 16001 clauses out of 32002 with flag 325672/469672 254.50/125.68 c cleaning 17001 clauses out of 34001 with flag 400185/487673 263.83/130.24 c cleaning 17998 clauses out of 36000 with flag 480615/506673 274.84/135.79 c cleaning 18994 clauses out of 38001 with flag 558323/526672 286.24/141.47 c cleaning 19994 clauses out of 40007 with flag 658371/547672 296.83/146.76 c cleaning 20993 clauses out of 42014 with flag 755879/569673 307.39/152.23 c And the winner is solver0 307.60/152.67 c Got one! Elapsed wall clock time (in seconds):152.543 307.60/152.67 o 512538 315.73/156.75 c cleaning 23402 clauses out of 46809 with flag 12962/595461 320.97/159.36 c cleaning 14694 clauses out of 29408 with flag 37258/601462 322.97/160.34 c cleaning 10846 clauses out of 21713 with flag 58829/608461 325.99/161.85 c cleaning 9417 clauses out of 18868 with flag 83068/616462 329.99/163.90 c cleaning 9221 clauses out of 18451 with flag 112307/625462 335.63/166.62 c cleaning 9608 clauses out of 19231 with flag 144729/635463 339.08/168.31 c cleaning 10302 clauses out of 20621 with flag 179592/646461 340.07/168.89 c cleaning 0 clauses out of 17429 with flag 0/17430 345.30/171.47 c cleaning 11156 clauses out of 22320 with flag 220066/658462 351.10/174.36 c cleaning 12070 clauses out of 24163 with flag 277636/671461 358.92/178.27 c cleaning 13034 clauses out of 26095 with flag 347766/685463 367.56/182.56 c cleaning 14027 clauses out of 28059 with flag 416702/700461 376.81/187.14 c cleaning 15017 clauses out of 30033 with flag 449803/716462 384.85/191.15 c cleaning 16009 clauses out of 32017 with flag 485532/733463 392.89/195.17 c cleaning 17000 clauses out of 34007 with flag 533868/751462 402.55/199.91 c cleaning 18001 clauses out of 36006 with flag 600534/770461 412.79/205.02 c cleaning 18998 clauses out of 38005 with flag 668993/790461 424.06/210.60 c cleaning 20001 clauses out of 40007 with flag 740882/811461 435.52/216.32 c cleaning 20994 clauses out of 42006 with flag 821925/833461 441.51/219.30 c cleaning 0 clauses out of 23429 with flag 0/23430 446.56/221.89 c cleaning 22005 clauses out of 44013 with flag 907223/856462 458.82/227.90 c cleaning 22997 clauses out of 46008 with flag 1006167/880462 471.42/234.29 c cleaning 23992 clauses out of 48010 with flag 1102401/905461 485.95/241.40 c cleaning 25007 clauses out of 50019 with flag 1201528/931462 500.61/248.78 c cleaning 26001 clauses out of 52011 with flag 1310120/958461 516.45/256.66 c cleaning 27001 clauses out of 54010 with flag 1424146/986461 533.84/265.61 c cleaning 28002 clauses out of 56010 with flag 1537386/1015462 551.51/274.41 c cleaning 29004 clauses out of 58008 with flag 1657481/1045462 570.16/283.76 c cleaning 29993 clauses out of 60004 with flag 1783832/1076462 592.03/294.64 c cleaning 31002 clauses out of 62010 with flag 1906367/1108461 612.31/304.79 c cleaning 32003 clauses out of 64009 with flag 2035737/1141462 635.60/316.30 c cleaning 32998 clauses out of 66005 with flag 2163758/1175461 657.93/327.43 c cleaning 34003 clauses out of 68008 with flag 2298587/1210462 676.24/336.50 c cleaning 0 clauses out of 30429 with flag 0/30430 682.62/339.78 c cleaning 34997 clauses out of 70007 with flag 2454031/1246464 709.74/353.21 c cleaning 36004 clauses out of 72008 with flag 2600993/1283462 736.26/366.41 c cleaning 36996 clauses out of 74003 with flag 2752980/1321461 766.13/381.34 c cleaning 38003 clauses out of 76010 with flag 2908504/1360464 797.64/397.06 c cleaning 39000 clauses out of 78005 with flag 3059149/1400462 827.38/411.84 c cleaning 40000 clauses out of 80004 with flag 3212311/1441461 859.85/428.02 c cleaning 40993 clauses out of 82005 with flag 3378608/1483462 893.57/444.87 c cleaning 41999 clauses out of 84011 with flag 3564244/1526461 928.57/462.24 c cleaning 42998 clauses out of 86012 with flag 3747155/1570461 964.68/480.28 c cleaning 44001 clauses out of 88014 with flag 3926286/1615461 1003.82/499.74 c cleaning 45000 clauses out of 90013 with flag 4117327/1661461 1044.80/520.19 c cleaning 45998 clauses out of 92013 with flag 4309512/1708461 1086.37/540.89 c cleaning 47003 clauses out of 94015 with flag 4496240/1756461 1131.13/563.58 c cleaning 48002 clauses out of 96016 with flag 4697908/1805465 1176.31/586.02 c cleaning 48996 clauses out of 98010 with flag 4919464/1855461 1225.88/610.77 c cleaning 49997 clauses out of 100015 with flag 5162231/1906462 1249.19/622.31 c cleaning 0 clauses out of 38441 with flag 0/38442 1272.50/633.91 c cleaning 51000 clauses out of 102019 with flag 5379925/1958463 1323.72/659.44 c cleaning 52003 clauses out of 104019 with flag 5637361/2011463 1372.67/683.88 c cleaning 52998 clauses out of 106016 with flag 5876193/2065463 1423.83/709.99 c cleaning 53997 clauses out of 108016 with flag 6144475/2120461 1476.66/736.22 c cleaning 55000 clauses out of 110020 with flag 6420543/2176462 1533.20/764.32 c cleaning 55998 clauses out of 112021 with flag 6684577/2233463 1568.32/781.82 c cleaning 0 clauses out of 47429 with flag 0/47430 1589.75/792.56 c cleaning 57007 clauses out of 114021 with flag 6969984/2291461 1651.54/823.37 c cleaning 58001 clauses out of 116015 with flag 7254068/2350462 1695.53/845.23 c And the winner is solver0 1696.32/845.80 c Got one! Elapsed wall clock time (in seconds):845.671 1696.32/845.80 o 507933 1697.91/846.67 c cleaning 60272 clauses out of 120543 with flag 15964/2412991 1699.79/847.54 c cleaning 33136 clauses out of 66272 with flag 36465/2418992 1701.59/848.47 c cleaning 20057 clauses out of 40137 with flag 61407/2425993 1703.59/849.40 c cleaning 14036 clauses out of 28079 with flag 88707/2433992 1705.61/850.43 c cleaning 11510 clauses out of 23043 with flag 118474/2442992 1707.99/851.62 c cleaning 10761 clauses out of 21532 with flag 152345/2452991 1711.19/853.30 c cleaning 10867 clauses out of 21771 with flag 188512/2463991 1714.59/854.99 c cleaning 11452 clauses out of 22905 with flag 228242/2475992 1718.25/856.77 c cleaning 12223 clauses out of 24452 with flag 271253/2488991 1722.25/858.72 c cleaning 13103 clauses out of 26230 with flag 318386/2502992 1726.65/860.96 c cleaning 14053 clauses out of 28126 with flag 367679/2517991 1731.25/863.26 c cleaning 15032 clauses out of 30074 with flag 420734/2533992 1736.94/866.02 c cleaning 16025 clauses out of 32050 with flag 477296/2551000 1742.34/868.78 c cleaning 17005 clauses out of 34017 with flag 537210/2568992 1748.94/872.06 c cleaning 18002 clauses out of 36013 with flag 599412/2587993 1756.28/875.63 c cleaning 19004 clauses out of 38009 with flag 665666/2607991 1764.27/879.66 c cleaning 19991 clauses out of 40005 with flag 734051/2628991 1773.35/884.14 c cleaning 20990 clauses out of 42014 with flag 807603/2650991 1782.35/888.68 c cleaning 22002 clauses out of 44024 with flag 883508/2673991 1792.87/893.85 c cleaning 23012 clauses out of 46023 with flag 963266/2697992 1800.06/897.40 c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<< 1800.06/897.40 c starts : 5054 1800.06/897.40 c conflicts : 2717378 1800.06/897.40 c decisions : 5431146 1800.06/897.40 c propagations : 128032811 1800.06/897.40 c inspects : 8138536456 1800.06/897.40 c shortcuts : 0 1800.06/897.40 c learnt literals : 11 1800.06/897.40 c learnt binary clauses : 53 1800.06/897.40 c learnt ternary clauses : 96 1800.06/897.40 c learnt constraints : 2717367 1800.06/897.40 c ignored constraints : 0 1800.06/897.40 c root simplifications : 0 1800.06/897.40 c removed literals (reason simplification) : 3938001 1800.06/897.40 c reason swapping (by a shorter reason) : 0 1800.06/897.40 c Calls to reduceDB : 117 1800.06/897.40 c Number of update (reduction) of LBD : 362553 1800.06/897.40 c Imported unit clauses : 0 1800.06/897.40 c number of reductions to clauses (during analyze) : 0 1800.06/897.40 c number of learned constraints concerned by reduction : 0 1800.06/897.40 c number of learning phase by resolution : 0 1800.06/897.40 c number of learning phase by cutting planes : 0 1800.06/897.40 c speed (assignments/second) : 142786.19455209526 1800.06/897.40 c non guided choices 30461 1800.06/897.42 c learnt constraints type 1800.06/897.42 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 53 1800.06/897.42 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 42344 1800.06/897.42 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.06/897.42 c starts : 109 1800.06/897.42 c conflicts : 50288 1800.06/897.42 c decisions : 116624 1800.06/897.42 c propagations : 1696012 1800.06/897.42 c inspects : 1113427988 1800.06/897.42 c shortcuts : 0 1800.06/897.42 c learnt literals : 0 1800.06/897.42 c learnt binary clauses : 0 1800.06/897.42 c learnt ternary clauses : 0 1800.06/897.42 c learnt constraints : 50286 1800.06/897.42 c ignored constraints : 0 1800.06/897.42 c root simplifications : 0 1800.06/897.42 c removed literals (reason simplification) : 0 1800.06/897.42 c reason swapping (by a shorter reason) : 0 1800.06/897.42 c Calls to reduceDB : 7 1800.06/897.42 c Number of update (reduction) of LBD : 0 1800.06/897.42 c Imported unit clauses : 0 1800.06/897.42 c number of reductions to clauses (during analyze) : 0 1800.06/897.42 c number of learned constraints concerned by reduction : 0 1800.06/897.42 c number of learning phase by resolution : 0 1800.06/897.42 c number of learning phase by cutting planes : 0 1800.06/897.42 c speed (assignments/second) : 33118.76586604179 1800.06/897.42 c non guided choices 359 1800.06/897.44 c learnt constraints type 1800.06/897.44 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1493 1800.06/897.44 c org.sat4j.pb.constraints.pb.MaxWatchPb => 48793 1800.06/897.44 s SATISFIABLE 1800.06/897.44 c Found 4 solution(s) 1800.06/897.45 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 1800.06/897.46 c objective function=507933 1800.06/897.46 c Total wall clock time (in seconds): 897.335
OK 507933
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-4101794-1466216063/watcher-4101794-1466216063 -o /tmp/evaluation-result-4101794-1466216063/solver-4101794-1466216063 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8354 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101794-1466216063.opb pid=14483 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: 4.27 4.26 4.27 5/197 14486 /proc/meminfo: memFree=28009324/32872528 swapFree=1499884/1696108 [pid=14486] ppid=14483 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/14486/stat : 14486 (java) D 14483 14486 8337 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 23652053 2560000 46 33554432000 1073741824 1073778376 140737053035152 140737053032280 225435544871 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/14486/statm: 625 46 37 9 0 29 0 [startup+0.10006 s] /proc/loadavg: 4.27 4.26 4.27 5/197 14486 /proc/meminfo: memFree=28009324/32872528 swapFree=1499884/1696108 [pid=14486] ppid=14483 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/14486/stat : 14486 (java) S 14483 14486 8337 0 -1 4202496 4243 0 1 0 7 0 0 0 20 0 18 0 23652053 9787879424 5358 33554432000 1073741824 1073778376 140736463694672 140736463685808 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14486/statm: 2389619 5360 2057 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558476 [startup+0.200256 s] /proc/loadavg: 4.27 4.26 4.27 5/197 14486 /proc/meminfo: memFree=28009324/32872528 swapFree=1499884/1696108 [pid=14486] ppid=14483 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/14486/stat : 14486 (java) S 14483 14486 8337 0 -1 4202496 4715 0 1 0 23 1 0 0 20 0 18 0 23652053 9787879424 6802 33554432000 1073741824 1073778376 140736463694672 140736463685808 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14486/statm: 2389619 6802 2205 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300287 s] /proc/loadavg: 4.27 4.26 4.27 5/197 14486 /proc/meminfo: memFree=28009324/32872528 swapFree=1499884/1696108 [pid=14486] ppid=14483 vsize=9558476 CPUtime=0.5 cores=1,3,5,7 /proc/14486/stat : 14486 (java) S 14483 14486 8337 0 -1 4202496 5979 0 1 0 49 1 0 0 20 0 18 0 23652053 9787879424 9910 33554432000 1073741824 1073778376 140736463694672 140736463685808 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14486/statm: 2389619 9910 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.70019 s] /proc/loadavg: 4.27 4.26 4.27 5/197 14486 /proc/meminfo: memFree=28009324/32872528 swapFree=1499884/1696108 [pid=14486] ppid=14483 vsize=9691604 CPUtime=1.53 cores=1,3,5,7 /proc/14486/stat : 14486 (java) S 14483 14486 8337 0 -1 4202496 17468 0 1 0 149 4 0 0 20 0 20 0 23652053 9924202496 35301 33554432000 1073741824 1073778376 140736463694672 140736463685808 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14486/statm: 2422901 35301 2263 9 0 2413578 0 Current children cumulated CPU time (s) 1.53 Current children cumulated vsize (KiB) 9691604 [startup+1.50094 s] /proc/loadavg: 4.27 4.26 4.27 8/219 14508 /proc/meminfo: memFree=27820832/32872528 swapFree=1499884/1696108 [pid=14486] ppid=14483 vsize=9824732 CPUtime=4.25 cores=1,3,5,7 /proc/14486/stat : 14486 (java) S 14483 14486 8337 0 -1 4202496 21462 0 1 0 418 7 0 0 20 0 22 0 23652053 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 140736463685808 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14486/statm: 2456183 48825 2286 9 0 2446860 0 [pid=14486/tid=14488] ppid=14483 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/14486/task/14488/stat : 14488 (java) S 14483 14486 8337 0 -1 4202560 2460 0 1 0 62 2 0 0 20 0 22 0 23652054 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745678902136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14489] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14489/stat : 14489 (java) S 14483 14486 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23652056 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745640393000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14490] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14490/stat : 14490 (java) S 14483 14486 8337 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23652056 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745639340200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14491] ppid=14483 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/14486/task/14491/stat : 14491 (java) S 14483 14486 8337 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 23652056 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745638287912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14492] ppid=14483 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/14486/task/14492/stat : 14492 (java) S 14483 14486 8337 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 23652056 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745637235112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14493] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14493/stat : 14493 (java) S 14483 14486 8337 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23652056 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745636182824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14494] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14494/stat : 14494 (java) S 14483 14486 8337 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 23652056 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745635130024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14495] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14495/stat : 14495 (java) S 14483 14486 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23652056 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745634077736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14496] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14496/stat : 14496 (java) S 14483 14486 8337 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 23652056 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745633024936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14497] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14497/stat : 14497 (java) S 14483 14486 8337 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745620613352 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14498] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14498/stat : 14498 (java) S 14483 14486 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745501897720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14499] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14499/stat : 14499 (java) S 14483 14486 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745500845320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14500] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14500/stat : 14500 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745499793808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14501] ppid=14483 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/14486/task/14501/stat : 14501 (java) S 14483 14486 8337 0 -1 4202560 6253 0 0 0 103 0 0 0 20 0 22 0 23652060 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745498741432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14502] ppid=14483 vsize=9824732 CPUtime=0.88 cores=1,3,5,7 /proc/14486/task/14502/stat : 14502 (java) S 14483 14486 8337 0 -1 4202560 11274 0 0 0 86 2 0 0 20 0 22 0 23652060 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745497688632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14503] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14503/stat : 14503 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745496636536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14504] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14504/stat : 14504 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745495583944 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14505] ppid=14483 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/14486/task/14505/stat : 14505 (java) R 14483 14486 8337 0 -1 4202560 22 0 0 0 76 0 0 0 20 0 22 0 23652122 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745494527104 139745502699354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14506] ppid=14483 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/14486/task/14506/stat : 14506 (java) R 14483 14486 8337 0 -1 4202560 48 0 0 0 76 0 0 0 20 0 22 0 23652122 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745493475096 139745502028071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14507] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14507/stat : 14507 (java) S 14483 14486 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23652126 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745492423848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14508] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14508/stat : 14508 (java) S 14483 14486 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23652127 10060525568 48825 33554432000 1073741824 1073778376 140736463694672 139745491371048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.25 Current children cumulated vsize (KiB) 9824732 [startup+3.10096 s] /proc/loadavg: 4.33 4.28 4.27 6/219 14508 /proc/meminfo: memFree=27790236/32872528 swapFree=1499884/1696108 [pid=14486] ppid=14483 vsize=9824732 CPUtime=7.78 cores=1,3,5,7 /proc/14486/stat : 14486 (java) S 14483 14486 8337 0 -1 4202496 22384 0 1 0 763 15 0 0 20 0 22 0 23652053 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 140736463685808 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14486/statm: 2456183 89240 2287 9 0 2446860 0 [pid=14486/tid=14488] ppid=14483 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/14486/task/14488/stat : 14488 (java) S 14483 14486 8337 0 -1 4202560 2460 0 1 0 62 2 0 0 20 0 22 0 23652054 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745678902136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14489] ppid=14483 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/14486/task/14489/stat : 14489 (java) S 14483 14486 8337 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 22 0 23652056 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745640393000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14490] ppid=14483 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/14486/task/14490/stat : 14490 (java) S 14483 14486 8337 0 -1 4202560 125 0 0 0 3 2 0 0 20 0 22 0 23652056 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745639340200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14491] ppid=14483 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/14486/task/14491/stat : 14491 (java) S 14483 14486 8337 0 -1 4202560 125 0 0 0 2 1 0 0 20 0 22 0 23652056 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745638287912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14492] ppid=14483 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/14486/task/14492/stat : 14492 (java) S 14483 14486 8337 0 -1 4202560 40 0 0 0 5 1 0 0 20 0 22 0 23652056 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745637235112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14493] ppid=14483 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/14486/task/14493/stat : 14493 (java) S 14483 14486 8337 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 23652056 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745636182824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14494] ppid=14483 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/14486/task/14494/stat : 14494 (java) S 14483 14486 8337 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 23652056 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745635130024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14495] ppid=14483 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/14486/task/14495/stat : 14495 (java) S 14483 14486 8337 0 -1 4202560 88 0 0 0 2 0 0 0 20 0 22 0 23652056 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745634077736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14496] ppid=14483 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/14486/task/14496/stat : 14496 (java) S 14483 14486 8337 0 -1 4202560 79 0 0 0 1 2 0 0 20 0 22 0 23652056 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745633024936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14497] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14497/stat : 14497 (java) S 14483 14486 8337 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745620613352 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14498] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14498/stat : 14498 (java) S 14483 14486 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745501897720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14499] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14499/stat : 14499 (java) S 14483 14486 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745500845320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14500] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14500/stat : 14500 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745499793808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14501] ppid=14483 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/14486/task/14501/stat : 14501 (java) S 14483 14486 8337 0 -1 4202560 6254 0 0 0 104 0 0 0 20 0 22 0 23652060 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745498741432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14502] ppid=14483 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/14486/task/14502/stat : 14502 (java) S 14483 14486 8337 0 -1 4202560 11565 0 0 0 104 2 0 0 20 0 22 0 23652060 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745497688632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14503] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14503/stat : 14503 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745496636536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14504] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14504/stat : 14504 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745495583944 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14505] ppid=14483 vsize=9824732 CPUtime=2.3 cores=1,3,5,7 /proc/14486/task/14505/stat : 14505 (java) R 14483 14486 8337 0 -1 4202560 37 0 0 0 228 2 0 0 20 0 22 0 23652122 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745494527208 139745502699282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14506] ppid=14483 vsize=9824732 CPUtime=2.29 cores=1,3,5,7 /proc/14486/task/14506/stat : 14506 (java) R 14483 14486 8337 0 -1 4202560 87 0 0 0 227 2 0 0 20 0 22 0 23652122 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745493474352 139745502733150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14507] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14507/stat : 14507 (java) S 14483 14486 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23652126 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745492423848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14508] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14508/stat : 14508 (java) S 14483 14486 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23652127 10060525568 89240 33554432000 1073741824 1073778376 140736463694672 139745491371048 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.78 Current children cumulated vsize (KiB) 9824732 [startup+6.30105 s] /proc/loadavg: 4.33 4.28 4.27 11/219 14508 /proc/meminfo: memFree=27363600/32872528 swapFree=1499884/1696108 [pid=14486] ppid=14483 vsize=9824732 CPUtime=15.29 cores=1,3,5,7 /proc/14486/stat : 14486 (java) S 14483 14486 8337 0 -1 4202496 29376 0 1 0 1500 29 0 0 20 0 22 0 23652053 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 140736463685808 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14486/statm: 2456183 162473 2292 9 0 2446860 0 [pid=14486/tid=14488] ppid=14483 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/14486/task/14488/stat : 14488 (java) S 14483 14486 8337 0 -1 4202560 2460 0 1 0 62 2 0 0 20 0 22 0 23652054 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745678902136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14489] ppid=14483 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/14486/task/14489/stat : 14489 (java) S 14483 14486 8337 0 -1 4202560 51 0 0 0 8 2 0 0 20 0 22 0 23652056 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745640393000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14490] ppid=14483 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/14486/task/14490/stat : 14490 (java) S 14483 14486 8337 0 -1 4202560 155 0 0 0 7 3 0 0 20 0 22 0 23652056 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745639340200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14491] ppid=14483 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/14486/task/14491/stat : 14491 (java) S 14483 14486 8337 0 -1 4202560 145 0 0 0 6 2 0 0 20 0 22 0 23652056 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745638287912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14492] ppid=14483 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/14486/task/14492/stat : 14492 (java) S 14483 14486 8337 0 -1 4202560 71 0 0 0 8 2 0 0 20 0 22 0 23652056 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745637235112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14493] ppid=14483 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/14486/task/14493/stat : 14493 (java) S 14483 14486 8337 0 -1 4202560 58 0 0 0 7 3 0 0 20 0 22 0 23652056 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745636182824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14494] ppid=14483 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/14486/task/14494/stat : 14494 (java) S 14483 14486 8337 0 -1 4202560 24 0 0 0 4 1 0 0 20 0 22 0 23652056 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745635130024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14495] ppid=14483 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/14486/task/14495/stat : 14495 (java) S 14483 14486 8337 0 -1 4202560 122 0 0 0 6 2 0 0 20 0 22 0 23652056 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745634077736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14496] ppid=14483 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/14486/task/14496/stat : 14496 (java) S 14483 14486 8337 0 -1 4202560 100 0 0 0 5 2 0 0 20 0 22 0 23652056 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745633024936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14497] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14497/stat : 14497 (java) S 14483 14486 8337 0 -1 4202560 457 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745620613352 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14498] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14498/stat : 14498 (java) S 14483 14486 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745501897720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14499] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14499/stat : 14499 (java) S 14483 14486 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745500845320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14500] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14500/stat : 14500 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 162473 33554432000 1073741824 1073778376 140736463694672 139745499793808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14501] ppid=14483 vsize=9824732 CPUtime=1.58 cores=1,3,5,7 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 5.09 4.68 4.45 5/219 14682 /proc/meminfo: memFree=21774580/32872528 swapFree=1499884/1696108 [pid=14486] ppid=14483 vsize=9824732 CPUtime=1649.53 cores=1,3,5,7 /proc/14486/stat : 14486 (java) S 14483 14486 8337 0 -1 4202496 42772 0 1 0 164728 225 0 0 20 0 22 0 23652053 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 140736463685808 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14486/statm: 2456183 862338 2302 9 0 2446860 0 [pid=14486/tid=14488] ppid=14483 vsize=9824732 CPUtime=0.69 cores=1,3,5,7 /proc/14486/task/14488/stat : 14488 (java) S 14483 14486 8337 0 -1 4202560 2469 0 1 0 66 3 0 0 20 0 22 0 23652054 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745678902136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14489] ppid=14483 vsize=9824732 CPUtime=1.99 cores=1,3,5,7 /proc/14486/task/14489/stat : 14489 (java) S 14483 14486 8337 0 -1 4202560 539 0 0 0 181 18 0 0 20 0 22 0 23652056 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745640393000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14490] ppid=14483 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/14486/task/14490/stat : 14490 (java) S 14483 14486 8337 0 -1 4202560 1023 0 0 0 170 15 0 0 20 0 22 0 23652056 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745639340200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14491] ppid=14483 vsize=9824732 CPUtime=2.27 cores=1,3,5,7 /proc/14486/task/14491/stat : 14491 (java) S 14483 14486 8337 0 -1 4202560 761 0 0 0 209 18 0 0 20 0 22 0 23652056 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745638287912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14492] ppid=14483 vsize=9824732 CPUtime=1.91 cores=1,3,5,7 /proc/14486/task/14492/stat : 14492 (java) S 14483 14486 8337 0 -1 4202560 577 0 0 0 175 16 0 0 20 0 22 0 23652056 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745637235112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14493] ppid=14483 vsize=9824732 CPUtime=1.84 cores=1,3,5,7 /proc/14486/task/14493/stat : 14493 (java) S 14483 14486 8337 0 -1 4202560 520 0 0 0 170 14 0 0 20 0 22 0 23652056 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745636182824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14494] ppid=14483 vsize=9824732 CPUtime=2.02 cores=1,3,5,7 /proc/14486/task/14494/stat : 14494 (java) S 14483 14486 8337 0 -1 4202560 551 0 0 0 187 15 0 0 20 0 22 0 23652056 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745635130024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14495] ppid=14483 vsize=9824732 CPUtime=2.1 cores=1,3,5,7 /proc/14486/task/14495/stat : 14495 (java) S 14483 14486 8337 0 -1 4202560 645 0 0 0 193 17 0 0 20 0 22 0 23652056 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745634077736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14496] ppid=14483 vsize=9824732 CPUtime=2 cores=1,3,5,7 /proc/14486/task/14496/stat : 14496 (java) S 14483 14486 8337 0 -1 4202560 619 0 0 0 182 18 0 0 20 0 22 0 23652056 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745633024936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14497] ppid=14483 vsize=9824732 CPUtime=3.65 cores=1,3,5,7 /proc/14486/task/14497/stat : 14497 (java) S 14483 14486 8337 0 -1 4202560 2697 0 0 0 352 13 0 0 20 0 22 0 23652057 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745620613352 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14498] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14498/stat : 14498 (java) S 14483 14486 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745501897720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14499] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14499/stat : 14499 (java) S 14483 14486 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745500845320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14500] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14500/stat : 14500 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745499793808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14501] ppid=14483 vsize=9824732 CPUtime=1.69 cores=1,3,5,7 /proc/14486/task/14501/stat : 14501 (java) S 14483 14486 8337 0 -1 4202560 10635 0 0 0 167 2 0 0 20 0 22 0 23652060 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745498741432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14502] ppid=14483 vsize=9824732 CPUtime=2.21 cores=1,3,5,7 /proc/14486/task/14502/stat : 14502 (java) S 14483 14486 8337 0 -1 4202560 16755 0 0 0 218 3 0 0 20 0 22 0 23652060 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745497688632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14503] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14503/stat : 14503 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745496636536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14504] ppid=14483 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/14486/task/14504/stat : 14504 (java) S 14483 14486 8337 0 -1 4202560 47 0 0 0 14 19 0 0 20 0 22 0 23652060 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745495583944 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14507] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14507/stat : 14507 (java) S 14483 14486 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23652126 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745492423848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14517] ppid=14483 vsize=9824732 CPUtime=663 cores=1,3,5,7 /proc/14486/task/14517/stat : 14517 (java) R 14483 14486 8337 0 -1 4202560 93 0 0 0 66286 14 0 0 20 0 22 0 23667320 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745493474848 139745502699461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14518] ppid=14483 vsize=9824732 CPUtime=663.02 cores=1,3,5,7 /proc/14486/task/14518/stat : 14518 (java) R 14483 14486 8337 0 -1 4202560 1642 0 0 0 66282 20 0 0 20 0 22 0 23667320 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745494526400 139745502781696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14519] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14519/stat : 14519 (java) S 14483 14486 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23667355 10060525568 862338 33554432000 1073741824 1073778376 140736463694672 139745491371432 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1649.53 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.59 4.61 4.44 5/219 14687 /proc/meminfo: memFree=21759568/32872528 swapFree=1499884/1696108 [pid=14486] ppid=14483 vsize=9824732 CPUtime=1769.68 cores=1,3,5,7 /proc/14486/stat : 14486 (java) S 14483 14486 8337 0 -1 4202496 42983 0 1 0 176711 257 0 0 20 0 22 0 23652053 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 140736463685808 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14486/statm: 2456183 871071 2302 9 0 2446860 0 [pid=14486/tid=14488] ppid=14483 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/14486/task/14488/stat : 14488 (java) S 14483 14486 8337 0 -1 4202560 2469 0 1 0 67 3 0 0 20 0 22 0 23652054 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745678902136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14489] ppid=14483 vsize=9824732 CPUtime=2.11 cores=1,3,5,7 /proc/14486/task/14489/stat : 14489 (java) S 14483 14486 8337 0 -1 4202560 569 0 0 0 192 19 0 0 20 0 22 0 23652056 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745640393000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14490] ppid=14483 vsize=9824732 CPUtime=2 cores=1,3,5,7 /proc/14486/task/14490/stat : 14490 (java) S 14483 14486 8337 0 -1 4202560 1034 0 0 0 184 16 0 0 20 0 22 0 23652056 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745639340200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14491] ppid=14483 vsize=9824732 CPUtime=2.45 cores=1,3,5,7 /proc/14486/task/14491/stat : 14491 (java) S 14483 14486 8337 0 -1 4202560 780 0 0 0 226 19 0 0 20 0 22 0 23652056 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745638287912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14492] ppid=14483 vsize=9824732 CPUtime=2.05 cores=1,3,5,7 /proc/14486/task/14492/stat : 14492 (java) S 14483 14486 8337 0 -1 4202560 597 0 0 0 188 17 0 0 20 0 22 0 23652056 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745637235112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14493] ppid=14483 vsize=9824732 CPUtime=1.99 cores=1,3,5,7 /proc/14486/task/14493/stat : 14493 (java) S 14483 14486 8337 0 -1 4202560 537 0 0 0 184 15 0 0 20 0 22 0 23652056 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745636182824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14494] ppid=14483 vsize=9824732 CPUtime=2.18 cores=1,3,5,7 /proc/14486/task/14494/stat : 14494 (java) S 14483 14486 8337 0 -1 4202560 568 0 0 0 202 16 0 0 20 0 22 0 23652056 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745635130024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14495] ppid=14483 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 /proc/14486/task/14495/stat : 14495 (java) S 14483 14486 8337 0 -1 4202560 656 0 0 0 206 17 0 0 20 0 22 0 23652056 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745634077736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14496] ppid=14483 vsize=9824732 CPUtime=2.17 cores=1,3,5,7 /proc/14486/task/14496/stat : 14496 (java) S 14483 14486 8337 0 -1 4202560 646 0 0 0 198 19 0 0 20 0 22 0 23652056 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745633024936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14497] ppid=14483 vsize=9824732 CPUtime=3.65 cores=1,3,5,7 /proc/14486/task/14497/stat : 14497 (java) S 14483 14486 8337 0 -1 4202560 2734 0 0 0 352 13 0 0 20 0 22 0 23652057 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745620613352 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14498] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14498/stat : 14498 (java) S 14483 14486 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745501897720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14499] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14499/stat : 14499 (java) S 14483 14486 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745500845320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14500] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14500/stat : 14500 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745499793808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14501] ppid=14483 vsize=9824732 CPUtime=1.69 cores=1,3,5,7 /proc/14486/task/14501/stat : 14501 (java) S 14483 14486 8337 0 -1 4202560 10635 0 0 0 167 2 0 0 20 0 22 0 23652060 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745498741432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14502] ppid=14483 vsize=9824732 CPUtime=2.21 cores=1,3,5,7 /proc/14486/task/14502/stat : 14502 (java) S 14483 14486 8337 0 -1 4202560 16755 0 0 0 218 3 0 0 20 0 22 0 23652060 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745497688632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14503] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14503/stat : 14503 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745496636536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14504] ppid=14483 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/14486/task/14504/stat : 14504 (java) S 14483 14486 8337 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 23652060 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745495583944 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14507] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14507/stat : 14507 (java) S 14483 14486 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23652126 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745492423848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14684] ppid=14483 vsize=9824732 CPUtime=36.28 cores=1,3,5,7 /proc/14486/task/14684/stat : 14684 (java) R 14483 14486 8337 0 -1 4202560 5 0 0 0 3628 0 0 0 20 0 22 0 23736633 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745494519968 139745502772764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14685] ppid=14483 vsize=9824732 CPUtime=36.29 cores=1,3,5,7 /proc/14486/task/14685/stat : 14685 (java) R 14483 14486 8337 0 -1 4202560 7 0 0 0 3629 0 0 0 20 0 22 0 23736633 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745493475360 139745502735373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14686] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14686/stat : 14686 (java) S 14483 14486 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23736674 10060525568 871071 33554432000 1073741824 1073778376 140736463694672 139745491371560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1769.68 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+897.401 s] /proc/loadavg: 4.50 4.59 4.44 5/219 14687 /proc/meminfo: memFree=21739216/32872528 swapFree=1499884/1696108 [pid=14486] ppid=14483 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7 /proc/14486/stat : 14486 (java) S 14483 14486 8337 0 -1 4202496 43001 0 1 0 179747 259 0 0 20 0 22 0 23652053 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 140736463685808 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14486/statm: 2456183 875167 2302 9 0 2446860 0 [pid=14486/tid=14488] ppid=14483 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/14486/task/14488/stat : 14488 (java) S 14483 14486 8337 0 -1 4202560 2470 0 1 0 67 3 0 0 20 0 22 0 23652054 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745678902136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14489] ppid=14483 vsize=9824732 CPUtime=2.14 cores=1,3,5,7 /proc/14486/task/14489/stat : 14489 (java) S 14483 14486 8337 0 -1 4202560 569 0 0 0 195 19 0 0 20 0 22 0 23652056 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745640393000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14490] ppid=14483 vsize=9824732 CPUtime=2.04 cores=1,3,5,7 /proc/14486/task/14490/stat : 14490 (java) S 14483 14486 8337 0 -1 4202560 1036 0 0 0 188 16 0 0 20 0 22 0 23652056 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745639340200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14491] ppid=14483 vsize=9824732 CPUtime=2.53 cores=1,3,5,7 /proc/14486/task/14491/stat : 14491 (java) S 14483 14486 8337 0 -1 4202560 784 0 0 0 233 20 0 0 20 0 22 0 23652056 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745638287912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14492] ppid=14483 vsize=9824732 CPUtime=2.13 cores=1,3,5,7 /proc/14486/task/14492/stat : 14492 (java) S 14483 14486 8337 0 -1 4202560 599 0 0 0 196 17 0 0 20 0 22 0 23652056 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745637235112 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14493] ppid=14483 vsize=9824732 CPUtime=2.06 cores=1,3,5,7 /proc/14486/task/14493/stat : 14493 (java) S 14483 14486 8337 0 -1 4202560 539 0 0 0 191 15 0 0 20 0 22 0 23652056 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745636182824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14494] ppid=14483 vsize=9824732 CPUtime=2.22 cores=1,3,5,7 /proc/14486/task/14494/stat : 14494 (java) S 14483 14486 8337 0 -1 4202560 570 0 0 0 206 16 0 0 20 0 22 0 23652056 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745635130024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14495] ppid=14483 vsize=9824732 CPUtime=2.26 cores=1,3,5,7 /proc/14486/task/14495/stat : 14495 (java) S 14483 14486 8337 0 -1 4202560 657 0 0 0 209 17 0 0 20 0 22 0 23652056 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745634077736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14496] ppid=14483 vsize=9824732 CPUtime=2.22 cores=1,3,5,7 /proc/14486/task/14496/stat : 14496 (java) S 14483 14486 8337 0 -1 4202560 649 0 0 0 203 19 0 0 20 0 22 0 23652056 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745633024936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14497] ppid=14483 vsize=9824732 CPUtime=3.65 cores=1,3,5,7 /proc/14486/task/14497/stat : 14497 (java) S 14483 14486 8337 0 -1 4202560 2734 0 0 0 352 13 0 0 20 0 22 0 23652057 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745620613352 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14498] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14498/stat : 14498 (java) S 14483 14486 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745501897720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14499] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14499/stat : 14499 (java) S 14483 14486 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23652057 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745500845320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14500] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14500/stat : 14500 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745499793808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14501] ppid=14483 vsize=9824732 CPUtime=1.69 cores=1,3,5,7 /proc/14486/task/14501/stat : 14501 (java) S 14483 14486 8337 0 -1 4202560 10635 0 0 0 167 2 0 0 20 0 22 0 23652060 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745498741432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14502] ppid=14483 vsize=9824732 CPUtime=2.21 cores=1,3,5,7 /proc/14486/task/14502/stat : 14502 (java) S 14483 14486 8337 0 -1 4202560 16755 0 0 0 218 3 0 0 20 0 22 0 23652060 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745497688632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14486/tid=14503] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14503/stat : 14503 (java) S 14483 14486 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23652060 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745496636536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14486/tid=14504] ppid=14483 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/14486/task/14504/stat : 14504 (java) S 14483 14486 8337 0 -1 4202560 51 0 0 0 16 20 0 0 20 0 22 0 23652060 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745495583944 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14507] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14507/stat : 14507 (java) S 14483 14486 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23652126 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745492423848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14684] ppid=14483 vsize=9824732 CPUtime=51.25 cores=1,3,5,7 /proc/14486/task/14684/stat : 14684 (java) R 14483 14486 8337 0 -1 4202560 6 0 0 0 5125 0 0 0 20 0 22 0 23736633 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745494519968 139745502567229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14486/tid=14685] ppid=14483 vsize=9824732 CPUtime=51.27 cores=1,3,5,7 /proc/14486/task/14685/stat : 14685 (java) R 14483 14486 8337 0 -1 4202560 7 0 0 0 5127 0 0 0 20 0 22 0 23736633 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745493475264 139745502735373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14486/tid=14686] ppid=14483 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14486/task/14686/stat : 14686 (java) S 14483 14486 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23736674 10060525568 875167 33554432000 1073741824 1073778376 140736463694672 139745491371560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 14486 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 897.482 CPU time (s): 1800.53 CPU user time (s): 1797.7 CPU system time (s): 2.83157 CPU usage (%): 200.62 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.7 system time used= 2.83157 maximum resident set size= 3500780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43041 page faults= 1 swaps= 0 block input operations= 0 block output operations= 920 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25144 involuntary context switches= 31543 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.92325 second user time and 8.43472 second system time The end
Begin job on node137 at 2016-06-18 04:14:23 IDJOB=4101794 IDBENCH=1795 IDSOLVER=2543 FILE ID=node137/4101794-1466216063 RUNJOBID= node137-1466206054-8354 PBS_JOBID= 19918140 Free space on /tmp= 71700 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101794-1466216063/watcher-4101794-1466216063 -o /tmp/evaluation-result-4101794-1466216063/solver-4101794-1466216063 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8354 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101794-1466216063.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 96d9927730c8b8baae8e5c668115210d RANDOM SEED=993907236 node137.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.486 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 : 5332.97 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.486 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.486 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.486 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.486 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.486 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.38 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.486 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.56 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.486 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: 28009852 kB Buffers: 93344 kB Cached: 95468 kB SwapCached: 1268 kB Active: 2298688 kB Inactive: 130044 kB Active(anon): 2240360 kB Inactive(anon): 2288 kB Active(file): 58328 kB Inactive(file): 127756 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100004 kB Dirty: 1652 kB Writeback: 0 kB AnonPages: 4013088 kB Mapped: 15468 kB Shmem: 0 kB Slab: 600888 kB SReclaimable: 44976 kB SUnreclaim: 555912 kB KernelStack: 1808 kB PageTables: 11924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4170868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2459648 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= 71644 MiB End job on node137 at 2016-06-18 04:29:21