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) | 3074089 | 1800.05 | 900.372 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_5_mh_ic.opb |
| MD5SUM | 2c36639357988247c648b63af301f230 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2990429 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 90518849 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4575401133 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 90518849 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4575401133 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4080996-1465323806.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.61/0.70 c ... done. Wall clock time 0.574s. 1.61/0.71 c declared #vars 9765 1.61/0.71 c #constraints 21931 1.61/0.71 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.61/0.71 c constraints type 1.61/0.71 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.61/0.71 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.61/0.71 c org.sat4j.specs.Constr$1 => 4 1.61/0.71 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.61/0.71 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.61/0.71 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.61/0.71 c 21931 constraints processed. 1.61/0.71 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.61/0.71 c constraints type 1.61/0.71 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.61/0.71 c org.sat4j.specs.Constr$1 => 4 1.61/0.71 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.61/0.71 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.61/0.71 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.61/0.71 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.61/0.71 c 21931 constraints processed. 1.61/0.71 c objective function length is 4005 literals 2.51/1.04 c And the winner is solver0 2.81/1.21 c SATISFIABLE 2.81/1.21 c OPTIMIZING... 2.81/1.21 c Got one! Elapsed wall clock time (in seconds):1.087 2.81/1.21 o 3471459 7.00/3.10 c cleaning 2703 clauses out of 5405 with flag 23388/5407 7.27/3.20 c And the winner is solver1 7.58/3.25 c Got one! Elapsed wall clock time (in seconds):3.124 7.58/3.25 o 3470007 7.79/3.34 c And the winner is solver0 7.92/3.76 c Got one! Elapsed wall clock time (in seconds):3.635 7.92/3.76 o 3443621 12.14/5.75 c cleaning 4100 clauses out of 8206 with flag 30362/10915 16.82/8.08 c cleaning 5053 clauses out of 10106 with flag 63467/16915 22.99/11.04 c cleaning 6023 clauses out of 12052 with flag 105326/23915 29.20/14.17 c cleaning 7014 clauses out of 14030 with flag 160990/31917 35.39/17.27 c cleaning 8006 clauses out of 16014 with flag 234419/40915 42.51/20.71 c cleaning 9004 clauses out of 18008 with flag 315595/50915 50.51/24.76 c cleaning 9988 clauses out of 20004 with flag 407171/61915 60.31/29.66 c cleaning 11007 clauses out of 22016 with flag 528698/73915 70.31/34.61 c cleaning 12006 clauses out of 24011 with flag 646952/86917 80.52/39.77 c cleaning 12985 clauses out of 26005 with flag 739863/100917 91.71/45.28 c cleaning 14005 clauses out of 28019 with flag 841870/115916 103.70/51.26 c cleaning 15003 clauses out of 30013 with flag 956934/131915 116.90/57.78 c cleaning 16001 clauses out of 32010 with flag 1091546/148915 131.90/65.29 c cleaning 17001 clauses out of 34009 with flag 1249099/166915 148.69/73.68 c cleaning 17999 clauses out of 36008 with flag 1411276/185915 167.09/82.80 c cleaning 18994 clauses out of 38012 with flag 1577752/205918 176.69/87.68 c And the winner is solver1 176.69/87.78 c Got one! Elapsed wall clock time (in seconds):87.655 176.69/87.78 o 3227645 177.17/88.07 c And the winner is solver0 177.33/88.29 c Got one! Elapsed wall clock time (in seconds):88.165 177.33/88.29 o 3215416 182.29/90.71 c cleaning 17472 clauses out of 34979 with flag 32860/221879 187.53/93.32 c cleaning 11742 clauses out of 23508 with flag 78356/227880 193.33/96.22 c cleaning 9362 clauses out of 18765 with flag 138815/234879 200.49/99.77 c cleaning 8692 clauses out of 17403 with flag 211175/242879 201.09/100.10 c And the winner is solver0 201.28/100.30 c Got one! Elapsed wall clock time (in seconds):100.177 201.28/100.30 o 3158911 203.07/101.26 c And the winner is solver0 203.24/101.36 c Got one! Elapsed wall clock time (in seconds):101.235 203.24/101.36 o 3136655 205.71/102.65 c cleaning 7445 clauses out of 14919 with flag 30789/249087 211.11/105.34 c cleaning 6721 clauses out of 13475 with flag 93373/255088 217.11/108.35 c cleaning 6878 clauses out of 13755 with flag 164540/262089 223.91/111.76 c cleaning 7436 clauses out of 14879 with flag 249706/270091 231.31/115.49 c cleaning 8214 clauses out of 16439 with flag 349739/279087 238.32/118.94 c And the winner is solver0 238.35/119.37 c Got one! Elapsed wall clock time (in seconds):119.247 238.35/119.37 o 3131995 243.41/121.91 c cleaning 10531 clauses out of 21062 with flag 58016/291924 250.15/125.10 c cleaning 8258 clauses out of 16531 with flag 124966/297924 250.35/125.21 c And the winner is solver0 250.56/125.53 c Got one! Elapsed wall clock time (in seconds):125.407 250.56/125.53 o 3121563 254.90/127.71 c cleaning 6728 clauses out of 13485 with flag 36079/303136 260.28/130.44 c cleaning 6364 clauses out of 12756 with flag 81701/309135 266.68/133.62 c cleaning 6679 clauses out of 13393 with flag 146042/316136 273.68/137.15 c cleaning 7349 clauses out of 14713 with flag 198126/324135 283.04/142.08 c cleaning 8178 clauses out of 16364 with flag 263837/333135 292.23/146.61 c cleaning 9091 clauses out of 18187 with flag 342554/343136 297.63/149.39 c And the winner is solver0 297.77/149.47 c Got one! Elapsed wall clock time (in seconds):149.344 297.77/149.47 o 3106901 302.61/151.93 c cleaning 10019 clauses out of 20065 with flag 45691/354105 307.99/154.65 c cleaning 8011 clauses out of 16046 with flag 100309/360105 314.39/157.80 c cleaning 7505 clauses out of 15035 with flag 149011/367105 321.87/161.52 c cleaning 7763 clauses out of 15530 with flag 214750/375105 329.26/165.25 c cleaning 8381 clauses out of 16767 with flag 299571/384106 338.46/169.86 c cleaning 9185 clauses out of 18385 with flag 386700/394105 348.46/174.87 c cleaning 10096 clauses out of 20202 with flag 473807/405107 360.65/180.85 c cleaning 11048 clauses out of 22104 with flag 580919/417105 373.64/187.37 c cleaning 12020 clauses out of 24056 with flag 672964/430105 387.24/194.19 c cleaning 13016 clauses out of 26036 with flag 769983/444105 402.64/201.88 c cleaning 14006 clauses out of 28020 with flag 951560/459105 421.20/211.03 c cleaning 15003 clauses out of 30015 with flag 1157295/475106 442.79/221.80 c cleaning 15986 clauses out of 32013 with flag 1328638/492107 461.20/231.01 c cleaning 17007 clauses out of 34025 with flag 1446616/510105 478.74/239.79 c cleaning 18003 clauses out of 36019 with flag 1599957/529106 497.94/249.36 c cleaning 18990 clauses out of 38015 with flag 1806171/549105 518.14/259.45 c cleaning 20003 clauses out of 40025 with flag 2028941/570105 540.93/270.75 c cleaning 20998 clauses out of 42022 with flag 2251475/592105 565.12/282.87 c cleaning 22003 clauses out of 44024 with flag 2453989/615105 592.10/296.24 c cleaning 23004 clauses out of 46022 with flag 2635422/639106 600.70/300.52 c And the winner is solver0 600.70/300.70 c Got one! Elapsed wall clock time (in seconds):300.576 600.70/300.70 o 3100750 605.08/302.96 c cleaning 18090 clauses out of 36197 with flag 41370/652285 610.28/305.56 c cleaning 12036 clauses out of 24107 with flag 91799/658285 616.68/308.79 c cleaning 9534 clauses out of 19075 with flag 145971/665289 619.69/310.28 c And the winner is solver0 619.85/310.71 c Got one! Elapsed wall clock time (in seconds):310.588 619.85/310.71 o 3099183 621.61/311.63 c cleaning 7455 clauses out of 14930 with flag 18872/670678 626.80/314.26 c cleaning 6726 clauses out of 13476 with flag 61571/676679 633.60/317.62 c cleaning 6866 clauses out of 13747 with flag 109618/683676 640.81/321.21 c cleaning 7428 clauses out of 14881 with flag 165391/691676 649.19/325.47 c cleaning 8224 clauses out of 16453 with flag 228872/700676 658.40/330.10 c cleaning 9111 clauses out of 18231 with flag 311095/710678 668.39/335.03 c cleaning 10059 clauses out of 20119 with flag 387953/721677 681.63/342.17 c cleaning 11017 clauses out of 22062 with flag 481314/733679 694.21/348.44 c cleaning 12014 clauses out of 24042 with flag 597188/746676 710.22/356.46 c cleaning 13006 clauses out of 26028 with flag 733181/760676 730.47/366.53 c cleaning 14011 clauses out of 28023 with flag 882749/775677 748.87/375.76 c cleaning 14995 clauses out of 30011 with flag 1015093/791676 764.87/383.76 c And the winner is solver0 764.87/383.97 c Got one! Elapsed wall clock time (in seconds):383.847 764.87/383.97 o 3093208 770.11/386.66 c cleaning 18019 clauses out of 36043 with flag 44772/812703 776.82/389.93 c cleaning 11999 clauses out of 24024 with flag 98416/818703 784.42/393.79 c cleaning 9508 clauses out of 19026 with flag 159311/825704 792.43/397.74 c cleaning 8744 clauses out of 17517 with flag 232315/833703 800.63/401.84 c cleaning 8873 clauses out of 17773 with flag 306246/842703 809.83/406.43 c cleaning 9443 clauses out of 18900 with flag 391841/852703 821.02/412.05 c cleaning 10226 clauses out of 20457 with flag 486335/863703 832.62/417.80 c cleaning 11111 clauses out of 22231 with flag 583088/875703 846.57/424.78 c cleaning 12053 clauses out of 24122 with flag 709215/888705 850.36/426.69 c And the winner is solver0 850.45/427.03 c Got one! Elapsed wall clock time (in seconds):426.909 850.45/427.03 o 3074089 852.36/428.03 c cleaning 8697 clauses out of 17433 with flag 19835/894069 857.73/430.73 c cleaning 7320 clauses out of 14736 with flag 77868/900069 864.14/433.96 c cleaning 7178 clauses out of 14416 with flag 119330/907069 871.34/437.53 c cleaning 7598 clauses out of 15238 with flag 168481/915069 879.34/441.54 c cleaning 8318 clauses out of 16640 with flag 231271/924069 886.53/445.14 c cleaning 9160 clauses out of 18322 with flag 283071/934069 894.73/449.22 c cleaning 10074 clauses out of 20162 with flag 333796/945069 904.33/454.09 c cleaning 11044 clauses out of 22090 with flag 395301/957071 915.32/459.51 c cleaning 12020 clauses out of 24044 with flag 464759/970069 929.00/466.21 c cleaning 12992 clauses out of 26024 with flag 569084/984069 944.82/474.20 c cleaning 14016 clauses out of 28032 with flag 686669/999069 963.55/483.43 c cleaning 14995 clauses out of 30018 with flag 826220/1015071 981.55/492.46 c cleaning 16005 clauses out of 32021 with flag 951021/1032069 998.54/500.92 c cleaning 17001 clauses out of 34016 with flag 1086317/1050069 1015.91/509.58 c cleaning 18007 clauses out of 36015 with flag 1221822/1069069 1034.10/518.61 c cleaning 18989 clauses out of 38008 with flag 1347745/1089069 1054.90/528.92 c cleaning 19998 clauses out of 40019 with flag 1496062/1110069 1073.69/538.37 c cleaning 21005 clauses out of 42021 with flag 1651541/1132069 1095.90/549.48 c cleaning 22005 clauses out of 44017 with flag 1825229/1155070 1120.37/562.26 c cleaning 23000 clauses out of 46011 with flag 2004642/1179069 1144.57/574.31 c cleaning 23983 clauses out of 48011 with flag 2173604/1204069 1171.42/587.73 c cleaning 25009 clauses out of 50029 with flag 2379386/1230070 1202.01/603.09 c cleaning 25991 clauses out of 52019 with flag 2581847/1257069 1235.72/619.86 c cleaning 27009 clauses out of 54028 with flag 2818982/1285069 1270.43/637.12 c cleaning 28006 clauses out of 56020 with flag 3065270/1314070 1306.63/655.27 c cleaning 28986 clauses out of 58013 with flag 3314074/1344069 1342.81/673.30 c cleaning 30014 clauses out of 60027 with flag 3595492/1375069 1372.40/688.05 c cleaning 30991 clauses out of 62013 with flag 3858520/1407069 1402.17/702.88 c cleaning 32009 clauses out of 64023 with flag 4199651/1440070 1434.79/719.06 c cleaning 32994 clauses out of 66012 with flag 4491660/1474069 1472.82/737.94 c cleaning 34008 clauses out of 68020 with flag 4837010/1509071 1506.81/754.98 c cleaning 34990 clauses out of 70010 with flag 5113572/1545069 1543.40/773.08 c cleaning 35989 clauses out of 72020 with flag 5380445/1582069 1583.45/792.92 c cleaning 37008 clauses out of 74031 with flag 5700077/1620069 1625.95/813.99 c cleaning 38005 clauses out of 76024 with flag 6050384/1659070 1668.90/835.25 c cleaning 39005 clauses out of 78019 with flag 6384206/1699070 1710.85/855.99 c cleaning 40004 clauses out of 80013 with flag 6723110/1740069 1755.43/878.25 c cleaning 40989 clauses out of 82009 with flag 7086662/1782069 1800.05/900.30 c >>>>>>>>>> Solver number 0 (12 answers) <<<<<<<<<<<<<<<<<< 1800.05/900.30 c starts : 18434 1800.05/900.30 c conflicts : 1825069 1800.05/900.30 c decisions : 5766751 1800.05/900.30 c propagations : 829276923 1800.05/900.30 c inspects : 3620964449 1800.05/900.30 c shortcuts : 0 1800.05/900.30 c learnt literals : 10 1800.05/900.30 c learnt binary clauses : 121 1800.05/900.30 c learnt ternary clauses : 170 1800.05/900.30 c learnt constraints : 1825059 1800.05/900.30 c ignored constraints : 0 1800.05/900.30 c root simplifications : 0 1800.05/900.30 c removed literals (reason simplification) : 50697248 1800.05/900.30 c reason swapping (by a shorter reason) : 0 1800.05/900.30 c Calls to reduceDB : 117 1800.05/900.30 c Number of update (reduction) of LBD : 767116 1800.05/900.30 c Imported unit clauses : 0 1800.05/900.30 c number of reductions to clauses (during analyze) : 0 1800.05/900.30 c number of learned constraints concerned by reduction : 0 1800.05/900.30 c number of learning phase by resolution : 0 1800.05/900.30 c number of learning phase by cutting planes : 0 1800.05/900.30 c speed (assignments/second) : 1020629.6782213252 1800.05/900.30 c non guided choices 2610 1800.05/900.33 c learnt constraints type 1800.05/900.33 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 121 1800.05/900.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 83899 1800.05/900.33 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.05/900.33 c starts : 16 1800.05/900.33 c conflicts : 2669 1800.05/900.33 c decisions : 76340 1800.05/900.33 c propagations : 8160157 1800.05/900.33 c inspects : 219148723 1800.05/900.33 c shortcuts : 0 1800.05/900.33 c learnt literals : 0 1800.05/900.33 c learnt binary clauses : 2 1800.05/900.33 c learnt ternary clauses : 2 1800.05/900.33 c learnt constraints : 2661 1800.05/900.33 c ignored constraints : 0 1800.05/900.33 c root simplifications : 0 1800.05/900.33 c removed literals (reason simplification) : 0 1800.05/900.33 c reason swapping (by a shorter reason) : 0 1800.05/900.33 c Calls to reduceDB : 0 1800.05/900.33 c Number of update (reduction) of LBD : 0 1800.05/900.33 c Imported unit clauses : 0 1800.05/900.33 c number of reductions to clauses (during analyze) : 0 1800.05/900.33 c number of learned constraints concerned by reduction : 0 1800.05/900.33 c number of learning phase by resolution : 0 1800.05/900.33 c number of learning phase by cutting planes : 0 1800.05/900.33 c speed (assignments/second) : 17245.650630214805 1800.05/900.33 c non guided choices 315 1800.05/900.33 c learnt constraints type 1800.05/900.33 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 122 1800.05/900.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 78 1800.05/900.33 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 2 1800.05/900.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2459 1800.05/900.33 s SATISFIABLE 1800.05/900.33 c Found 14 solution(s) 1800.05/900.34 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 x6296 -x6297 -x6298 x6299 x6300 -x6301 -x6302 -x6303 -x6304 x6305 -x6306 -x6307 x6308 -x6309 -x6310 -x6311 x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 x9174 -x9175 -x9176 -x9177 x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 x9298 -x9299 -x9300 x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 x9309 -x9310 -x9311 -x9312 x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 x9527 -x9528 x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 x9543 x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 x9648 x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 x9662 -x9663 x9664 -x9665 -x9666 -x9667 -x9668 -x9669 x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 x9677 x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 1800.05/900.35 c objective function=3074089 1800.05/900.35 c Total wall clock time (in seconds): 900.231
OK 3074089
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-4080996-1465323806/watcher-4080996-1465323806 -o /tmp/evaluation-result-4080996-1465323806/solver-4080996-1465323806 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465311047-18691 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080996-1465323806.opb pid=21005 running on 4 cores: 0,2,4,6 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.10 4.10 3.82 5/197 21008 /proc/meminfo: memFree=27223688/32872528 swapFree=12208/1156848 [pid=21008] ppid=21005 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/21008/stat : 21008 (java) D 21005 21008 18675 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 114315173 9515008 175 33554432000 1073741824 1073778376 140734231604272 140734231587000 219513963408 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/21008/statm: 2323 175 133 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 4.10 4.10 3.82 5/197 21008 /proc/meminfo: memFree=27223688/32872528 swapFree=12208/1156848 [pid=21008] ppid=21005 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/21008/stat : 21008 (java) S 21005 21008 18675 0 -1 4202496 4446 0 1 0 8 1 0 0 20 0 18 0 114315173 9787879424 5570 33554432000 1073741824 1073778376 140734154772048 140734154763184 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21008/statm: 2389619 5570 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200212 s] /proc/loadavg: 4.10 4.10 3.82 5/197 21008 /proc/meminfo: memFree=27223688/32872528 swapFree=12208/1156848 [pid=21008] ppid=21005 vsize=9558476 CPUtime=0.29 cores=0,2,4,6 /proc/21008/stat : 21008 (java) S 21005 21008 18675 0 -1 4202496 5124 0 1 0 28 1 0 0 20 0 18 0 114315173 9787879424 6581 33554432000 1073741824 1073778376 140734154772048 140734154763184 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21008/statm: 2389619 6581 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300225 s] /proc/loadavg: 4.10 4.10 3.82 5/197 21008 /proc/meminfo: memFree=27223688/32872528 swapFree=12208/1156848 [pid=21008] ppid=21005 vsize=9558476 CPUtime=0.5 cores=0,2,4,6 /proc/21008/stat : 21008 (java) S 21005 21008 18675 0 -1 4202496 5777 0 1 0 49 1 0 0 20 0 18 0 114315173 9787879424 9896 33554432000 1073741824 1073778376 140734154772048 140734154763184 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21008/statm: 2389619 9901 2241 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700179 s] /proc/loadavg: 4.10 4.10 3.82 5/197 21008 /proc/meminfo: memFree=27223688/32872528 swapFree=12208/1156848 [pid=21008] ppid=21005 vsize=9558476 CPUtime=1.61 cores=0,2,4,6 /proc/21008/stat : 21008 (java) S 21005 21008 18675 0 -1 4202496 16902 0 1 0 158 3 0 0 20 0 18 0 114315173 9787879424 31635 33554432000 1073741824 1073778376 140734154772048 140734154763184 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21008/statm: 2389619 31635 2254 9 0 2380296 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 9558476 [startup+1.50082 s] /proc/loadavg: 4.10 4.10 3.82 5/216 21030 /proc/meminfo: memFree=27087476/32872528 swapFree=12208/1156848 [pid=21008] ppid=21005 vsize=9824732 CPUtime=3.67 cores=0,2,4,6 /proc/21008/stat : 21008 (java) S 21005 21008 18675 0 -1 4202496 19967 0 1 0 360 7 0 0 20 0 22 0 114315173 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140734154763184 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21008/statm: 2456183 42399 2275 9 0 2446860 0 [pid=21008/tid=21010] ppid=21005 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/21008/task/21010/stat : 21010 (java) S 21005 21008 18675 0 -1 4202560 2528 0 1 0 66 3 0 0 20 0 22 0 114315174 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394422416248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21011] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21011/stat : 21011 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315175 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394266049576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21012] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21012/stat : 21012 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315175 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394264996776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21013] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21013/stat : 21013 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315175 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394263943976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21014] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21014/stat : 21014 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315175 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394262891176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21015] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21015/stat : 21015 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315175 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394261838376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21016] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21016/stat : 21016 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315175 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394260785576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21017] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21017/stat : 21017 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315175 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394259732776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21018] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21018/stat : 21018 (java) S 21005 21008 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 114315175 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394258679976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21019] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21019/stat : 21019 (java) S 21005 21008 18675 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 114315176 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394246482920 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21020] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21020/stat : 21020 (java) S 21005 21008 18675 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394245428984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21021] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21021/stat : 21021 (java) S 21005 21008 18675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394244376072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21022] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21022/stat : 21022 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394243324560 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21023] ppid=21005 vsize=9824732 CPUtime=1.14 cores=0,2,4,6 /proc/21008/task/21023/stat : 21023 (java) S 21005 21008 18675 0 -1 4202560 9898 0 0 0 112 2 0 0 20 0 22 0 114315179 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394242271672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21024] ppid=21005 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/21008/task/21024/stat : 21024 (java) S 21005 21008 18675 0 -1 4202560 6188 0 0 0 85 1 0 0 20 0 22 0 114315179 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394241218872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21025] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21025/stat : 21025 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394240166264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21026] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21026/stat : 21026 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394239113672 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21029] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21029/stat : 21029 (java) S 21005 21008 18675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 114315246 10060525568 42399 33554432000 1073741824 1073778376 140734154772048 140394235954600 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.67 Current children cumulated vsize (KiB) 9824732 [startup+3.10079 s] /proc/loadavg: 4.25 4.13 3.83 6/219 21033 /proc/meminfo: memFree=27038004/32872528 swapFree=12208/1156848 [pid=21008] ppid=21005 vsize=9824732 CPUtime=7.27 cores=0,2,4,6 /proc/21008/stat : 21008 (java) S 21005 21008 18675 0 -1 4202496 21096 0 1 0 717 10 0 0 20 0 22 0 114315173 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140734154763184 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21008/statm: 2456183 54643 2293 9 0 2446860 0 [pid=21008/tid=21010] ppid=21005 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/21008/task/21010/stat : 21010 (java) S 21005 21008 18675 0 -1 4202560 2528 0 1 0 66 3 0 0 20 0 22 0 114315174 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394422416248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21011] ppid=21005 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/21008/task/21011/stat : 21011 (java) S 21005 21008 18675 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 22 0 114315175 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394266049576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21012] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21012/stat : 21012 (java) S 21005 21008 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 114315175 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394264996776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21013] ppid=21005 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/21008/task/21013/stat : 21013 (java) S 21005 21008 18675 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 22 0 114315175 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394263943976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21014] ppid=21005 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/21008/task/21014/stat : 21014 (java) S 21005 21008 18675 0 -1 4202560 90 0 0 0 3 0 0 0 20 0 22 0 114315175 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394262891176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21015] ppid=21005 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/21008/task/21015/stat : 21015 (java) S 21005 21008 18675 0 -1 4202560 95 0 0 0 3 0 0 0 20 0 22 0 114315175 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394261838376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21016] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21016/stat : 21016 (java) S 21005 21008 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 114315175 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394260785576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21017] ppid=21005 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/21008/task/21017/stat : 21017 (java) S 21005 21008 18675 0 -1 4202560 93 0 0 0 1 0 0 0 20 0 22 0 114315175 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394259732776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21018] ppid=21005 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/21008/task/21018/stat : 21018 (java) S 21005 21008 18675 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 114315175 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394258679976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21019] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21019/stat : 21019 (java) S 21005 21008 18675 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 114315176 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394246482920 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21020] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21020/stat : 21020 (java) S 21005 21008 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394245428984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21021] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21021/stat : 21021 (java) S 21005 21008 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394244376072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21022] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21022/stat : 21022 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394243324560 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21023] ppid=21005 vsize=9824732 CPUtime=1.35 cores=0,2,4,6 /proc/21008/task/21023/stat : 21023 (java) R 21005 21008 18675 0 -1 4202560 9922 0 0 0 133 2 0 0 20 0 22 0 114315179 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394242265512 140394428369430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21024] ppid=21005 vsize=9824732 CPUtime=1.05 cores=0,2,4,6 /proc/21008/task/21024/stat : 21024 (java) S 21005 21008 18675 0 -1 4202560 6803 0 0 0 104 1 0 0 20 0 22 0 114315179 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394241218872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21025] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21025/stat : 21025 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394240166264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21026] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21026/stat : 21026 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394239113672 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21029] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21029/stat : 21029 (java) S 21005 21008 18675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 114315246 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394235954600 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21031] ppid=21005 vsize=9824732 CPUtime=1.65 cores=0,2,4,6 /proc/21008/task/21031/stat : 21031 (java) R 21005 21008 18675 0 -1 4202560 6 0 0 0 165 0 0 0 20 0 22 0 114315296 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394236997664 140394362992714 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21032] ppid=21005 vsize=9824732 CPUtime=1.74 cores=0,2,4,6 /proc/21008/task/21032/stat : 21032 (java) R 21005 21008 18675 0 -1 4202560 21 0 0 0 174 0 0 0 20 0 22 0 114315296 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394238058024 140394363035570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21033] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21033/stat : 21033 (java) S 21005 21008 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114315298 10060525568 54643 33554432000 1073741824 1073778376 140734154772048 140394234901416 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.27 Current children cumulated vsize (KiB) 9824732 [startup+6.30095 s] /proc/loadavg: 4.25 4.13 3.83 6/219 21039 /proc/meminfo: memFree=26872472/32872528 swapFree=12208/1156848 [pid=21008] ppid=21005 vsize=9824732 CPUtime=13.34 cores=0,2,4,6 /proc/21008/stat : 21008 (java) S 21005 21008 18675 0 -1 4202496 23465 0 1 0 1316 18 0 0 20 0 22 0 114315173 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140734154763184 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21008/statm: 2456183 89364 2293 9 0 2446860 0 [pid=21008/tid=21010] ppid=21005 vsize=9824732 CPUtime=0.71 cores=0,2,4,6 /proc/21008/task/21010/stat : 21010 (java) S 21005 21008 18675 0 -1 4202560 2528 0 1 0 68 3 0 0 20 0 22 0 114315174 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394422416248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21011] ppid=21005 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/21008/task/21011/stat : 21011 (java) S 21005 21008 18675 0 -1 4202560 59 0 0 0 5 1 0 0 20 0 22 0 114315175 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394266049576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21012] ppid=21005 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/21008/task/21012/stat : 21012 (java) S 21005 21008 18675 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 22 0 114315175 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394264996776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21013] ppid=21005 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/21008/task/21013/stat : 21013 (java) S 21005 21008 18675 0 -1 4202560 111 0 0 0 1 0 0 0 20 0 22 0 114315175 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394263943976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21014] ppid=21005 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/21008/task/21014/stat : 21014 (java) S 21005 21008 18675 0 -1 4202560 92 0 0 0 4 0 0 0 20 0 22 0 114315175 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394262891176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21015] ppid=21005 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/21008/task/21015/stat : 21015 (java) S 21005 21008 18675 0 -1 4202560 128 0 0 0 7 0 0 0 20 0 22 0 114315175 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394261838376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21016] ppid=21005 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/21008/task/21016/stat : 21016 (java) S 21005 21008 18675 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 114315175 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394260785576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21017] ppid=21005 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/21008/task/21017/stat : 21017 (java) S 21005 21008 18675 0 -1 4202560 96 0 0 0 2 0 0 0 20 0 22 0 114315175 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394259732776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21018] ppid=21005 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/21008/task/21018/stat : 21018 (java) S 21005 21008 18675 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 114315175 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394258679976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21019] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21019/stat : 21019 (java) S 21005 21008 18675 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 114315176 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394246482920 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21020] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21020/stat : 21020 (java) S 21005 21008 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394245428984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21021] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21021/stat : 21021 (java) S 21005 21008 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394244376072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21022] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21022/stat : 21022 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394243324560 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21023] ppid=21005 vsize=9824732 CPUtime=1.73 cores=0,2,4,6 /proc/21008/task/21023/stat : 21023 (java) S 21005 21008 18675 0 -1 4202560 11530 0 0 0 171 2 0 0 20 0 22 0 114315179 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394242271672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21024] ppid=21005 vsize=9824732 CPUtime=1.22 cores=0,2,4,6 /proc/21008/task/21024/stat : 21024 (java) S 21005 21008 18675 0 -1 4202560 7242 0 0 0 121 1 0 0 20 0 22 0 114315179 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394241218872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21025] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21025/stat : 21025 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 89364 33554432000 1073741824 1073778376 140734154772048 140394240166264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21026] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [pid=21008/tid=21018] ppid=21005 vsize=9824732 CPUtime=2.16 cores=0,2,4,6 /proc/21008/task/21018/stat : 21018 (java) S 21005 21008 18675 0 -1 4202560 1305 0 0 0 177 39 0 0 20 0 22 0 114315175 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394258679976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21019] ppid=21005 vsize=9824732 CPUtime=3.43 cores=0,2,4,6 /proc/21008/task/21019/stat : 21019 (java) S 21005 21008 18675 0 -1 4202560 2495 0 0 0 337 6 0 0 20 0 22 0 114315176 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394246482920 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21020] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21020/stat : 21020 (java) S 21005 21008 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394245428984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21021] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21021/stat : 21021 (java) S 21005 21008 18675 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394244376072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21022] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21022/stat : 21022 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394243324560 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21023] ppid=21005 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/21008/task/21023/stat : 21023 (java) S 21005 21008 18675 0 -1 4202560 11540 0 0 0 182 2 0 0 20 0 22 0 114315179 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394242271672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21024] ppid=21005 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/21008/task/21024/stat : 21024 (java) S 21005 21008 18675 0 -1 4202560 7274 0 0 0 149 1 0 0 20 0 22 0 114315179 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394241218872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21025] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21025/stat : 21025 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394240166264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21026] ppid=21005 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/21008/task/21026/stat : 21026 (java) S 21005 21008 18675 0 -1 4202560 51 0 0 0 12 14 0 0 20 0 22 0 114315179 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394239113672 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21044] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21044/stat : 21044 (java) S 21005 21008 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114323952 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394237006632 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21153] ppid=21005 vsize=9824732 CPUtime=450.33 cores=0,2,4,6 /proc/21008/task/21153/stat : 21153 (java) R 21005 21008 18675 0 -1 4202560 16 0 0 0 45027 6 0 0 20 0 22 0 114357877 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394238050432 140394363010669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21154] ppid=21005 vsize=9824732 CPUtime=450.3 cores=0,2,4,6 /proc/21008/task/21154/stat : 21154 (java) R 21005 21008 18675 0 -1 4202560 15 0 0 0 45023 7 0 0 20 0 22 0 114357877 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394234900080 140394363335029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21155] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21155/stat : 21155 (java) S 21005 21008 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114357889 10060525568 887614 33554432000 1073741824 1073778376 140734154772048 140394235954216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1762.71 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.301 s] /proc/loadavg: 4.21 4.26 4.07 5/219 21164 /proc/meminfo: memFree=24413096/32872528 swapFree=12208/1156848 [pid=21008] ppid=21005 vsize=9824732 CPUtime=1799.12 cores=0,2,4,6 /proc/21008/stat : 21008 (java) S 21005 21008 18675 0 -1 4202496 38734 0 1 0 179580 332 0 0 20 0 22 0 114315173 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140734154763184 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21008/statm: 2456183 901011 2302 9 0 2446860 0 [pid=21008/tid=21010] ppid=21005 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/21008/task/21010/stat : 21010 (java) S 21005 21008 18675 0 -1 4202560 2537 0 1 0 83 3 0 0 20 0 22 0 114315174 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394422416248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21011] ppid=21005 vsize=9824732 CPUtime=2.23 cores=0,2,4,6 /proc/21008/task/21011/stat : 21011 (java) S 21005 21008 18675 0 -1 4202560 1827 0 0 0 188 35 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394266049576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21012] ppid=21005 vsize=9824732 CPUtime=2.01 cores=0,2,4,6 /proc/21008/task/21012/stat : 21012 (java) S 21005 21008 18675 0 -1 4202560 992 0 0 0 173 28 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394264996776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21013] ppid=21005 vsize=9824732 CPUtime=2.3 cores=0,2,4,6 /proc/21008/task/21013/stat : 21013 (java) S 21005 21008 18675 0 -1 4202560 1885 0 0 0 200 30 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394263943976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21014] ppid=21005 vsize=9824732 CPUtime=1.81 cores=0,2,4,6 /proc/21008/task/21014/stat : 21014 (java) S 21005 21008 18675 0 -1 4202560 1215 0 0 0 154 27 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394262891176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21015] ppid=21005 vsize=9824732 CPUtime=2.03 cores=0,2,4,6 /proc/21008/task/21015/stat : 21015 (java) S 21005 21008 18675 0 -1 4202560 1403 0 0 0 173 30 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394261838376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21016] ppid=21005 vsize=9824732 CPUtime=1.68 cores=0,2,4,6 /proc/21008/task/21016/stat : 21016 (java) S 21005 21008 18675 0 -1 4202560 1127 0 0 0 143 25 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394260785576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21017] ppid=21005 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/21008/task/21017/stat : 21017 (java) S 21005 21008 18675 0 -1 4202560 1499 0 0 0 173 31 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394259732776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21018] ppid=21005 vsize=9824732 CPUtime=2.21 cores=0,2,4,6 /proc/21008/task/21018/stat : 21018 (java) S 21005 21008 18675 0 -1 4202560 1329 0 0 0 181 40 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394258679976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21019] ppid=21005 vsize=9824732 CPUtime=3.43 cores=0,2,4,6 /proc/21008/task/21019/stat : 21019 (java) S 21005 21008 18675 0 -1 4202560 2497 0 0 0 337 6 0 0 20 0 22 0 114315176 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394246482920 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21020] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21020/stat : 21020 (java) S 21005 21008 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394245428984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21021] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21021/stat : 21021 (java) S 21005 21008 18675 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394244376072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21022] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21022/stat : 21022 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394243324560 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21023] ppid=21005 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/21008/task/21023/stat : 21023 (java) S 21005 21008 18675 0 -1 4202560 11540 0 0 0 182 2 0 0 20 0 22 0 114315179 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394242271672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21024] ppid=21005 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/21008/task/21024/stat : 21024 (java) S 21005 21008 18675 0 -1 4202560 7274 0 0 0 149 1 0 0 20 0 22 0 114315179 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394241218872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21025] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21025/stat : 21025 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394240166264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21026] ppid=21005 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/21008/task/21026/stat : 21026 (java) S 21005 21008 18675 0 -1 4202560 51 0 0 0 12 14 0 0 20 0 22 0 114315179 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394239113672 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21044] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21044/stat : 21044 (java) S 21005 21008 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114323952 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394237006632 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21153] ppid=21005 vsize=9824732 CPUtime=468.05 cores=0,2,4,6 /proc/21008/task/21153/stat : 21153 (java) R 21005 21008 18675 0 -1 4202560 16 0 0 0 46798 7 0 0 20 0 22 0 114357877 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394238057296 140394363617007 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21154] ppid=21005 vsize=9824732 CPUtime=468.03 cores=0,2,4,6 /proc/21008/task/21154/stat : 21154 (java) R 21005 21008 18675 0 -1 4202560 15 0 0 0 46795 8 0 0 20 0 22 0 114357877 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394234900080 140394363037661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21155] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21155/stat : 21155 (java) S 21005 21008 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114357889 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394235954216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.12 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 21008 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+900.301 s] /proc/loadavg: 4.21 4.26 4.07 5/219 21164 /proc/meminfo: memFree=24413096/32872528 swapFree=12208/1156848 [pid=21008] ppid=21005 vsize=9824732 CPUtime=1799.12 cores=0,2,4,6 /proc/21008/stat : 21008 (java) S 21005 21008 18675 0 -1 4202496 38734 0 1 0 179580 332 0 0 20 0 22 0 114315173 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140734154763184 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21008/statm: 2456183 901011 2302 9 0 2446860 0 [pid=21008/tid=21010] ppid=21005 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/21008/task/21010/stat : 21010 (java) S 21005 21008 18675 0 -1 4202560 2537 0 1 0 83 3 0 0 20 0 22 0 114315174 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394422416248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21011] ppid=21005 vsize=9824732 CPUtime=2.23 cores=0,2,4,6 /proc/21008/task/21011/stat : 21011 (java) S 21005 21008 18675 0 -1 4202560 1827 0 0 0 188 35 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394266049576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21012] ppid=21005 vsize=9824732 CPUtime=2.01 cores=0,2,4,6 /proc/21008/task/21012/stat : 21012 (java) S 21005 21008 18675 0 -1 4202560 992 0 0 0 173 28 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394264996776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21013] ppid=21005 vsize=9824732 CPUtime=2.3 cores=0,2,4,6 /proc/21008/task/21013/stat : 21013 (java) S 21005 21008 18675 0 -1 4202560 1885 0 0 0 200 30 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394263943976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21014] ppid=21005 vsize=9824732 CPUtime=1.81 cores=0,2,4,6 /proc/21008/task/21014/stat : 21014 (java) S 21005 21008 18675 0 -1 4202560 1215 0 0 0 154 27 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394262891176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21015] ppid=21005 vsize=9824732 CPUtime=2.03 cores=0,2,4,6 /proc/21008/task/21015/stat : 21015 (java) S 21005 21008 18675 0 -1 4202560 1403 0 0 0 173 30 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394261838376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21016] ppid=21005 vsize=9824732 CPUtime=1.68 cores=0,2,4,6 /proc/21008/task/21016/stat : 21016 (java) S 21005 21008 18675 0 -1 4202560 1127 0 0 0 143 25 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394260785576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21017] ppid=21005 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/21008/task/21017/stat : 21017 (java) S 21005 21008 18675 0 -1 4202560 1499 0 0 0 173 31 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394259732776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21018] ppid=21005 vsize=9824732 CPUtime=2.21 cores=0,2,4,6 /proc/21008/task/21018/stat : 21018 (java) S 21005 21008 18675 0 -1 4202560 1329 0 0 0 181 40 0 0 20 0 22 0 114315175 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394258679976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21019] ppid=21005 vsize=9824732 CPUtime=3.43 cores=0,2,4,6 /proc/21008/task/21019/stat : 21019 (java) S 21005 21008 18675 0 -1 4202560 2497 0 0 0 337 6 0 0 20 0 22 0 114315176 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394246482920 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21020] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21020/stat : 21020 (java) S 21005 21008 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394245428984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21021] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21021/stat : 21021 (java) S 21005 21008 18675 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 114315177 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394244376072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21022] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21022/stat : 21022 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394243324560 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21023] ppid=21005 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/21008/task/21023/stat : 21023 (java) S 21005 21008 18675 0 -1 4202560 11540 0 0 0 182 2 0 0 20 0 22 0 114315179 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394242271672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21024] ppid=21005 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/21008/task/21024/stat : 21024 (java) S 21005 21008 18675 0 -1 4202560 7274 0 0 0 149 1 0 0 20 0 22 0 114315179 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394241218872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21025] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21025/stat : 21025 (java) S 21005 21008 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114315179 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394240166264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21008/tid=21026] ppid=21005 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/21008/task/21026/stat : 21026 (java) S 21005 21008 18675 0 -1 4202560 51 0 0 0 12 14 0 0 20 0 22 0 114315179 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394239113672 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21044] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21044/stat : 21044 (java) S 21005 21008 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114323952 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394237006632 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21008/tid=21153] ppid=21005 vsize=9824732 CPUtime=468.05 cores=0,2,4,6 /proc/21008/task/21153/stat : 21153 (java) R 21005 21008 18675 0 -1 4202560 16 0 0 0 46798 7 0 0 20 0 22 0 114357877 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394238057296 140394363617007 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21008/tid=21154] ppid=21005 vsize=9824732 CPUtime=468.03 cores=0,2,4,6 /proc/21008/task/21154/stat : 21154 (java) R 21005 21008 18675 0 -1 4202560 15 0 0 0 46795 8 0 0 20 0 22 0 114357877 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394234900080 140394363037661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21008/tid=21155] ppid=21005 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21008/task/21155/stat : 21155 (java) S 21005 21008 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114357889 10060525568 901011 33554432000 1073741824 1073778376 140734154772048 140394235954216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.12 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21008 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=519343 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=640446 # CPU time returned by wait4() is 1797.16 # while last known CPU time is 1799.12 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.930008 # lost CPU user time (s): 1.05998 # lost CPU system time (s): -0.13 Real time (s): 900.372 CPU time (s): 1800.05 CPU user time (s): 1796.86 CPU system time (s): 3.19 CPU usage (%): 199.923 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.52 system time used= 3.64045 maximum resident set size= 3604164 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38771 page faults= 1 swaps= 0 block input operations= 0 block output operations= 936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22879 involuntary context switches= 24029 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.82111 second user time and 7.16691 second system time The end
Begin job on node114 at 2016-06-07 20:23:26 IDJOB=4080996 IDBENCH=92664 IDSOLVER=2543 FILE ID=node114/4080996-1465323806 RUNJOBID= node114-1465311047-18691 PBS_JOBID= 19850116 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_5_mh_ic.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080996-1465323806/watcher-4080996-1465323806 -o /tmp/evaluation-result-4080996-1465323806/solver-4080996-1465323806 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465311047-18691 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080996-1465323806.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2c36639357988247c648b63af301f230 RANDOM SEED=294091690 node114.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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.70 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.852 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.852 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.55 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.852 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.852 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.54 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.852 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: 27223852 kB Buffers: 178824 kB Cached: 491864 kB SwapCached: 1740 kB Active: 3205152 kB Inactive: 523456 kB Active(anon): 3058908 kB Inactive(anon): 1368 kB Active(file): 146244 kB Inactive(file): 522088 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096752 kB Dirty: 1604 kB Writeback: 0 kB AnonPages: 4230616 kB Mapped: 15368 kB Shmem: 0 kB Slab: 608272 kB SReclaimable: 51932 kB SUnreclaim: 556340 kB KernelStack: 1608 kB PageTables: 12524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4599460 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4151296 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= 71696 MiB End job on node114 at 2016-06-07 20:38:27