Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 262475 | 1800.09 | 1782.06 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rout.opb |
| MD5SUM | 485ca531ffda98d59a839bf46c37d61d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 262441 |
| Best CPU time to get the best result obtained on this benchmark | 1800.7 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 262412 |
| Optimality of the best value was proved | NO |
| Number of variables | 7561 |
| Total number of constraints | 306 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 292 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 917 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 525077 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.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 --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 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 No 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.minisat.core.VoidTracing@4e3eca90 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4101709-1466225800.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.53/0.35 c ... done. Wall clock time 0.232s. 0.53/0.35 c declared #vars 7561 0.53/0.35 c #constraints 337 0.53/0.35 c constraints type 0.53/0.35 c org.sat4j.minisat.constraints.card.MinWatchCard => 14 0.53/0.35 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15 0.53/0.35 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 308 0.53/0.35 c 337 constraints processed. 0.53/0.35 c objective function length is 31 literals 1.87/1.08 c cleaning 2499 clauses out of 5000 with flag 10983/5002 2.65/1.76 c cleaning 4250 clauses out of 8500 with flag 23001/11001 3.66/2.74 c cleaning 5623 clauses out of 11250 with flag 37011/18001 4.76/3.89 c cleaning 6813 clauses out of 13626 with flag 53012/26000 4.89/3.97 c SATISFIABLE 4.89/3.97 c OPTIMIZING... 4.89/3.97 c Got one! Elapsed wall clock time (in seconds):3.854 4.89/3.97 o 262604 5.36/4.38 c cleaning 6131 clauses out of 12269 with flag 10343/31458 6.06/5.08 c cleaning 6071 clauses out of 12143 with flag 22933/37463 6.96/5.99 c cleaning 6532 clauses out of 13067 with flag 37393/44458 8.32/7.23 c cleaning 7267 clauses out of 14536 with flag 54165/52459 9.32/8.27 c cleaning 8130 clauses out of 16271 with flag 72775/61461 10.52/9.49 c cleaning 9068 clauses out of 18138 with flag 92801/71458 11.72/10.70 c Got one! Elapsed wall clock time (in seconds):10.581 11.72/10.70 o 262602 11.97/10.89 c Got one! Elapsed wall clock time (in seconds):10.773 11.97/10.89 o 262601 12.58/11.31 c Got one! Elapsed wall clock time (in seconds):11.195 12.58/11.31 o 262598 12.58/11.39 c cleaning 12451 clauses out of 24902 with flag 2171/87292 13.22/11.98 c cleaning 9227 clauses out of 18456 with flag 15261/93297 13.82/12.58 c cleaning 8113 clauses out of 16225 with flag 31669/100293 14.12/12.88 c Got one! Elapsed wall clock time (in seconds):12.764 14.12/12.88 o 262597 14.42/13.13 c cleaning 6867 clauses out of 13739 with flag 6531/105920 14.82/13.55 c cleaning 6423 clauses out of 12866 with flag 19169/111914 15.52/14.26 c cleaning 6710 clauses out of 13444 with flag 33218/118915 16.42/15.11 c cleaning 7355 clauses out of 14731 with flag 49252/126912 17.42/16.13 c cleaning 8186 clauses out of 16377 with flag 67442/135913 18.84/17.57 c cleaning 9093 clauses out of 18191 with flag 87524/145913 20.63/19.36 c cleaning 10045 clauses out of 20097 with flag 109766/156912 22.53/21.26 c cleaning 11023 clauses out of 22052 with flag 133815/168912 24.94/23.67 c cleaning 12007 clauses out of 24029 with flag 159878/181912 27.01/25.60 c Got one! Elapsed wall clock time (in seconds):25.486 27.01/25.60 o 262589 27.31/25.99 c cleaning 14219 clauses out of 28437 with flag 10343/198327 27.92/26.51 c cleaning 10105 clauses out of 20216 with flag 22696/204325 28.61/27.25 c cleaning 8553 clauses out of 17109 with flag 36840/211323 29.61/28.24 c cleaning 8274 clauses out of 16556 with flag 52959/219323 30.81/29.41 c cleaning 8638 clauses out of 17282 with flag 70964/228323 31.71/30.37 c Got one! Elapsed wall clock time (in seconds):30.253 31.71/30.37 o 262572 32.22/30.88 c cleaning 11206 clauses out of 22428 with flag 11881/242107 33.02/31.50 c cleaning 8598 clauses out of 17222 with flag 26204/248107 33.62/32.18 c cleaning 7800 clauses out of 15623 with flag 42684/255106 34.42/32.97 c cleaning 7899 clauses out of 15823 with flag 61771/263106 35.42/33.92 c cleaning 8448 clauses out of 16925 with flag 83386/272107 36.52/35.01 c cleaning 9227 clauses out of 18476 with flag 106684/282106 37.72/36.29 c cleaning 10116 clauses out of 20249 with flag 133587/293106 39.26/37.77 c cleaning 11050 clauses out of 22134 with flag 162552/305107 40.96/39.45 c cleaning 12031 clauses out of 24083 with flag 195211/318106 42.96/41.44 c cleaning 13011 clauses out of 26055 with flag 229786/332109 45.16/43.64 c cleaning 14009 clauses out of 28042 with flag 267816/347107 47.71/46.12 c cleaning 15002 clauses out of 30032 with flag 309221/363106 50.51/48.99 c cleaning 16004 clauses out of 32033 with flag 353123/380109 53.61/52.09 c cleaning 16999 clauses out of 34028 with flag 399805/398108 56.95/55.37 c cleaning 18002 clauses out of 36031 with flag 448296/417110 60.76/59.17 c cleaning 19004 clauses out of 38025 with flag 504441/437106 65.04/63.38 c cleaning 19997 clauses out of 40022 with flag 562823/458107 69.74/68.09 c cleaning 21006 clauses out of 42030 with flag 626365/480112 74.91/73.15 c cleaning 21990 clauses out of 44018 with flag 694192/503106 79.80/78.06 c cleaning 23002 clauses out of 46030 with flag 764460/527108 85.00/83.12 c cleaning 24001 clauses out of 48026 with flag 825140/552106 90.20/88.38 c cleaning 25000 clauses out of 50025 with flag 893403/578106 96.32/94.30 c cleaning 25999 clauses out of 52026 with flag 963261/605107 102.93/100.83 c cleaning 26994 clauses out of 54026 with flag 1039954/633106 109.53/107.47 c cleaning 27997 clauses out of 56032 with flag 1124220/662106 116.62/114.47 c cleaning 28999 clauses out of 58036 with flag 1212042/692107 124.62/122.32 c cleaning 30001 clauses out of 60036 with flag 1302292/723106 134.08/131.74 c cleaning 30997 clauses out of 62036 with flag 1384081/755107 142.43/140.09 c cleaning 32005 clauses out of 64038 with flag 1474452/788106 152.00/149.52 c cleaning 33001 clauses out of 66033 with flag 1571695/822106 152.40/149.95 c Got one! Elapsed wall clock time (in seconds):149.839 152.40/149.95 o 262570 152.80/150.32 c Got one! Elapsed wall clock time (in seconds):150.204 152.80/150.32 o 262564 152.94/150.48 c cleaning 19621 clauses out of 39243 with flag 2434/828317 153.63/151.12 c cleaning 12808 clauses out of 25619 with flag 17336/834314 154.34/151.82 c cleaning 9899 clauses out of 19811 with flag 35126/841314 155.15/152.68 c Got one! Elapsed wall clock time (in seconds):152.561 155.15/152.68 o 262563 155.65/153.17 c cleaning 11030 clauses out of 22069 with flag 11486/853471 156.25/153.74 c cleaning 8501 clauses out of 17035 with flag 23516/859467 157.00/154.46 c cleaning 7750 clauses out of 15534 with flag 37555/866467 158.00/155.44 c cleaning 7882 clauses out of 15785 with flag 53571/874468 159.10/156.52 c cleaning 8444 clauses out of 16902 with flag 71604/883467 160.40/157.81 c cleaning 9224 clauses out of 18460 with flag 91608/893469 162.13/159.59 c cleaning 10112 clauses out of 20238 with flag 113615/904471 164.13/161.54 c cleaning 11055 clauses out of 22122 with flag 137628/916467 166.42/163.87 c cleaning 12028 clauses out of 24069 with flag 163652/929469 168.96/166.37 c cleaning 13016 clauses out of 26044 with flag 191729/943472 171.46/168.83 c cleaning 14006 clauses out of 28023 with flag 221762/958467 174.39/171.76 c cleaning 15001 clauses out of 30017 with flag 253800/974467 177.38/174.75 c cleaning 15994 clauses out of 32016 with flag 287873/991467 180.93/178.25 c cleaning 17006 clauses out of 34026 with flag 323954/1009471 184.82/182.11 c cleaning 17996 clauses out of 36017 with flag 362009/1028468 189.84/187.15 c cleaning 19006 clauses out of 38025 with flag 402130/1048472 194.79/192.08 c cleaning 20000 clauses out of 40015 with flag 444368/1069468 200.09/197.33 c cleaning 20993 clauses out of 42017 with flag 488625/1091470 205.83/203.06 c cleaning 22003 clauses out of 44023 with flag 534918/1114469 212.17/209.37 c cleaning 23001 clauses out of 46018 with flag 583204/1138467 219.63/216.73 c cleaning 24001 clauses out of 48018 with flag 633303/1163468 226.98/224.02 c cleaning 25000 clauses out of 50017 with flag 685385/1189468 234.38/231.41 c cleaning 25999 clauses out of 52020 with flag 739526/1216471 240.62/237.60 c Got one! Elapsed wall clock time (in seconds):237.49 240.62/237.60 o 262556 241.36/238.32 c cleaning 27891 clauses out of 55795 with flag 13334/1246245 241.56/238.54 c Got one! Elapsed wall clock time (in seconds):238.428 241.56/238.54 o 262555 241.77/238.77 c Got one! Elapsed wall clock time (in seconds):238.65 241.77/238.77 o 262546 241.96/238.94 c Got one! Elapsed wall clock time (in seconds):238.824 241.96/238.94 o 262544 242.39/239.32 c cleaning 17208 clauses out of 34425 with flag 6191/1252767 243.09/240.03 c Got one! Elapsed wall clock time (in seconds):239.919 243.09/240.03 o 262543 243.19/240.12 c cleaning 11113 clauses out of 22234 with flag 2592/1257784 243.83/240.78 c cleaning 8557 clauses out of 17120 with flag 20284/1263783 244.68/241.50 c cleaning 7782 clauses out of 15564 with flag 40488/1270784 245.48/242.38 c cleaning 7887 clauses out of 15781 with flag 64276/1278783 246.58/243.44 c cleaning 8444 clauses out of 16895 with flag 92103/1287784 247.10/243.98 c Got one! Elapsed wall clock time (in seconds):243.864 247.10/243.98 o 262539 247.30/244.14 c cleaning 7038 clauses out of 14084 with flag 5205/1293417 247.90/244.77 c Got one! Elapsed wall clock time (in seconds):244.658 247.90/244.77 o 262538 248.03/244.86 c cleaning 6298 clauses out of 12601 with flag 2282/1298972 248.93/245.74 c cleaning 6153 clauses out of 12305 with flag 20737/1304974 250.46/247.21 c cleaning 6572 clauses out of 13151 with flag 47564/1311973 251.06/247.88 c Got one! Elapsed wall clock time (in seconds):247.769 251.06/247.88 o 262480 251.26/248.09 c cleaning 5878 clauses out of 11763 with flag 5239/1317157 252.57/249.30 c cleaning 5932 clauses out of 11884 with flag 27160/1323156 252.67/249.42 c Got one! Elapsed wall clock time (in seconds):249.302 252.67/249.42 o 262476 252.98/249.78 c cleaning 5826 clauses out of 11656 with flag 10754/1328860 253.87/250.64 c cleaning 5900 clauses out of 11828 with flag 28668/1334858 255.41/252.11 c cleaning 6463 clauses out of 12930 with flag 53484/1341860 255.81/252.53 c Got one! Elapsed wall clock time (in seconds):252.415 255.81/252.53 o 262475 256.11/252.85 c cleaning 5775 clauses out of 11563 with flag 7958/1346956 257.25/253.95 c cleaning 5887 clauses out of 11789 with flag 26363/1352957 258.68/255.36 c cleaning 6450 clauses out of 12900 with flag 55103/1359955 260.50/257.16 c cleaning 7222 clauses out of 14450 with flag 94628/1367955 262.77/259.35 c cleaning 8115 clauses out of 16229 with flag 141458/1376956 265.30/261.86 c cleaning 9057 clauses out of 18114 with flag 196627/1386956 268.17/264.69 c cleaning 10027 clauses out of 20057 with flag 260447/1397956 271.61/268.00 c cleaning 11012 clauses out of 22030 with flag 325193/1409956 275.34/271.69 c cleaning 12010 clauses out of 24019 with flag 399963/1422957 280.03/276.28 c cleaning 13001 clauses out of 26007 with flag 484430/1436955 285.22/281.32 c cleaning 14003 clauses out of 28006 with flag 572771/1451955 290.80/286.89 c cleaning 15000 clauses out of 30005 with flag 664809/1467957 296.90/292.84 c cleaning 16001 clauses out of 32004 with flag 763204/1484956 302.72/298.50 c cleaning 16994 clauses out of 34004 with flag 856844/1502957 309.44/305.13 c cleaning 18005 clauses out of 36012 with flag 967806/1521959 316.54/312.10 c cleaning 18998 clauses out of 38003 with flag 1085763/1541955 324.34/319.86 c cleaning 19999 clauses out of 40006 with flag 1209877/1562956 333.16/328.55 c cleaning 20999 clauses out of 42006 with flag 1334392/1584955 342.18/337.38 c cleaning 21999 clauses out of 44007 with flag 1463135/1607955 352.03/347.07 c cleaning 23000 clauses out of 46008 with flag 1596262/1631955 363.36/358.28 c cleaning 24006 clauses out of 48012 with flag 1741472/1656959 374.52/369.22 c cleaning 24999 clauses out of 50003 with flag 1892510/1682956 385.79/380.32 c cleaning 26002 clauses out of 52003 with flag 2044689/1709955 398.29/392.60 c cleaning 26999 clauses out of 54003 with flag 2206616/1737957 411.56/405.80 c cleaning 28001 clauses out of 56002 with flag 2371862/1766955 425.65/419.64 c cleaning 29001 clauses out of 58001 with flag 2539414/1796955 439.53/433.40 c cleaning 29998 clauses out of 60002 with flag 2707715/1827957 455.25/448.87 c cleaning 30999 clauses out of 62002 with flag 2885745/1859955 472.53/465.86 c cleaning 31993 clauses out of 64003 with flag 3073891/1892955 492.69/485.70 c cleaning 32998 clauses out of 66010 with flag 3274213/1926955 513.40/506.23 c cleaning 34003 clauses out of 68017 with flag 3475723/1961960 533.71/526.24 c cleaning 34998 clauses out of 70009 with flag 3674368/1997955 554.20/546.49 c cleaning 36004 clauses out of 72012 with flag 3890765/2034956 577.28/569.28 c cleaning 37001 clauses out of 74008 with flag 4127192/2072956 598.01/589.75 c cleaning 38004 clauses out of 76007 with flag 4328101/2111956 619.82/611.34 c cleaning 38996 clauses out of 78002 with flag 4463349/2151955 645.96/637.19 c cleaning 40001 clauses out of 80007 with flag 4723731/2192956 671.10/662.15 c cleaning 41002 clauses out of 82006 with flag 4876108/2234956 697.62/688.48 c cleaning 42000 clauses out of 84003 with flag 5023332/2277955 720.95/711.70 c cleaning 43000 clauses out of 86003 with flag 5185232/2321955 743.88/734.40 c cleaning 44004 clauses out of 88008 with flag 5354995/2366960 766.24/756.63 c cleaning 44997 clauses out of 89999 with flag 5536707/2412955 797.46/787.69 c cleaning 46003 clauses out of 92005 with flag 5712534/2459958 828.64/818.66 c cleaning 47002 clauses out of 94003 with flag 5890442/2507959 857.39/847.28 c cleaning 47993 clauses out of 95998 with flag 6076293/2556956 894.96/884.54 c cleaning 48998 clauses out of 98005 with flag 6276587/2606956 922.42/911.72 c cleaning 50000 clauses out of 100007 with flag 6474689/2657956 947.32/936.40 c cleaning 51003 clauses out of 102006 with flag 6674614/2709955 982.52/971.40 c cleaning 52003 clauses out of 104006 with flag 6873440/2762958 1027.11/1015.68 c cleaning 53001 clauses out of 106002 with flag 7086138/2816957 1075.88/1064.13 c cleaning 53999 clauses out of 107999 with flag 7302621/2871955 1128.89/1116.85 c cleaning 54999 clauses out of 110002 with flag 7500025/2927957 1169.43/1157.14 c cleaning 55997 clauses out of 112003 with flag 7715154/2984957 1212.10/1199.47 c cleaning 57003 clauses out of 114005 with flag 7937472/3042956 1254.31/1241.34 c cleaning 58000 clauses out of 116005 with flag 8154721/3101959 1293.84/1280.44 c cleaning 59001 clauses out of 118001 with flag 8373097/3161955 1339.33/1325.57 c cleaning 59999 clauses out of 120002 with flag 8604788/3222957 1388.65/1374.47 c cleaning 61003 clauses out of 122006 with flag 8846507/3284960 1456.12/1441.43 c cleaning 61997 clauses out of 123999 with flag 9087803/3347956 1506.20/1491.03 c cleaning 62996 clauses out of 126001 with flag 9321404/3411955 1554.47/1538.81 c cleaning 64002 clauses out of 128006 with flag 9573203/3476956 1600.24/1584.12 c cleaning 65000 clauses out of 130003 with flag 9829181/3542955 1651.76/1635.21 c cleaning 65994 clauses out of 132003 with flag 10067848/3609955 1709.87/1692.76 c cleaning 67003 clauses out of 134012 with flag 10335972/3677958 1755.42/1737.86 c cleaning 67997 clauses out of 136006 with flag 10597834/3746955 1800.09/1782.01 c starts : 18196 1800.09/1782.01 c conflicts : 3811216 1800.09/1782.01 c decisions : 7299530 1800.09/1782.01 c propagations : 198088318 1800.09/1782.01 c inspects : 27662610976 1800.09/1782.01 c shortcuts : 0 1800.09/1782.01 c learnt literals : 7 1800.09/1782.01 c learnt binary clauses : 150 1800.09/1782.01 c learnt ternary clauses : 42 1800.09/1782.01 c learnt constraints : 3811209 1800.09/1782.01 c ignored constraints : 0 1800.09/1782.01 c root simplifications : 0 1800.09/1782.01 c removed literals (reason simplification) : 0 1800.09/1782.01 c reason swapping (by a shorter reason) : 0 1800.09/1782.01 c Calls to reduceDB : 164 1800.09/1782.01 c Number of update (reduction) of LBD : 203859 1800.09/1782.01 c Imported unit clauses : 0 1800.09/1782.01 c number of reductions to clauses (during analyze) : 0 1800.09/1782.01 c number of learned constraints concerned by reduction : 0 1800.09/1782.01 c number of learning phase by resolution : 0 1800.09/1782.01 c number of learning phase by cutting planes : 0 1800.09/1782.01 c speed (assignments/second) : 111184.19441150007 1800.09/1782.01 c non guided choices 24595 1800.09/1782.04 c learnt constraints type 1800.09/1782.04 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 150 1800.09/1782.04 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 132120 1800.09/1782.04 s SATISFIABLE 1800.09/1782.04 c Found 20 solution(s) 1800.09/1782.05 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 1800.09/1782.06 c objective function=262475 1800.09/1782.06 c Total wall clock time (in seconds): 1781.94
OK 262475
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-4101709-1466225800/watcher-4101709-1466225800 -o /tmp/evaluation-result-4101709-1466225800/solver-4101709-1466225800 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2933 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101709-1466225800.opb pid=5427 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.07 2.06 3/194 5430 /proc/meminfo: memFree=31496540/32872528 swapFree=190484/190484 [pid=5430] ppid=5427 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/5430/stat : 5430 (java) D 5427 5430 2916 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 24630568 9515008 183 33554432000 1073741824 1073778376 140736134645152 140736134636184 249650036405 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/5430/statm: 2323 183 140 9 0 71 0 [startup+0.100161 s] /proc/loadavg: 2.10 2.07 2.06 3/194 5430 /proc/meminfo: memFree=31496540/32872528 swapFree=190484/190484 [pid=5430] ppid=5427 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/5430/stat : 5430 (java) S 5427 5430 2916 0 -1 4202496 4380 0 1 0 8 1 0 0 20 0 18 0 24630568 9787879424 6012 33554432000 1073741824 1073778376 140736809419312 140736809410448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5430/statm: 2389619 6012 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.20033 s] /proc/loadavg: 2.10 2.07 2.06 3/194 5430 /proc/meminfo: memFree=31496540/32872528 swapFree=190484/190484 [pid=5430] ppid=5427 vsize=9558476 CPUtime=0.26 cores=1,3,5,7 /proc/5430/stat : 5430 (java) S 5427 5430 2916 0 -1 4202496 4980 0 1 0 25 1 0 0 20 0 18 0 24630568 9787879424 6840 33554432000 1073741824 1073778376 140736809419312 140736809410448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5430/statm: 2389619 6840 2214 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300244 s] /proc/loadavg: 2.10 2.07 2.06 3/194 5430 /proc/meminfo: memFree=31496540/32872528 swapFree=190484/190484 [pid=5430] ppid=5427 vsize=9558476 CPUtime=0.53 cores=1,3,5,7 /proc/5430/stat : 5430 (java) S 5427 5430 2916 0 -1 4202496 9199 0 1 0 51 2 0 0 20 0 18 0 24630568 9787879424 11981 33554432000 1073741824 1073778376 140736809419312 140736809410448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5430/statm: 2389619 11981 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9558476 [startup+0.700301 s] /proc/loadavg: 2.10 2.07 2.06 3/194 5430 /proc/meminfo: memFree=31496540/32872528 swapFree=190484/190484 [pid=5430] ppid=5427 vsize=9625040 CPUtime=1.52 cores=1,3,5,7 /proc/5430/stat : 5430 (java) S 5427 5430 2916 0 -1 4202496 12290 0 1 0 150 2 0 0 20 0 19 0 24630568 9856040960 16720 33554432000 1073741824 1073778376 140736809419312 140736809410448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5430/statm: 2406260 16720 2264 9 0 2396937 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 9625040 [startup+1.50075 s] /proc/loadavg: 2.10 2.07 2.06 3/213 5449 /proc/meminfo: memFree=31427524/32872528 swapFree=190484/190484 [pid=5430] ppid=5427 vsize=9625040 CPUtime=2.43 cores=1,3,5,7 /proc/5430/stat : 5430 (java) S 5427 5430 2916 0 -1 4202496 12519 0 1 0 240 3 0 0 20 0 19 0 24630568 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 140736809410448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5430/statm: 2406260 20825 2272 9 0 2396937 0 [pid=5430/tid=5432] ppid=5427 vsize=9625040 CPUtime=1.45 cores=1,3,5,7 /proc/5430/task/5432/stat : 5432 (java) R 5427 5430 2916 0 -1 4202560 2453 0 1 0 144 1 0 0 20 0 19 0 24630569 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993873411808 139993738339456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5433] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5433/stat : 5433 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993862482216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5434] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5434/stat : 5434 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993861429416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5435] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5435/stat : 5435 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993860377128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5430/tid=5436] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5436/stat : 5436 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993859324328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5437] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5437/stat : 5437 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993858272040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5438] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5438/stat : 5438 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993857219240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5439] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5439/stat : 5439 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993856166952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5440] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5440/stat : 5440 (java) S 5427 5430 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993710017448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5441] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5441/stat : 5441 (java) S 5427 5430 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993697605864 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5442] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5442/stat : 5442 (java) S 5427 5430 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993696551928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5443] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5443/stat : 5443 (java) S 5427 5430 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993695499528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5444] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5444/stat : 5444 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993694448016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5445] ppid=5427 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/5430/task/5445/stat : 5445 (java) S 5427 5430 2916 0 -1 4202560 4843 0 0 0 47 0 0 0 20 0 19 0 24630574 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993693395640 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5430/tid=5446] ppid=5427 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/5430/task/5446/stat : 5446 (java) S 5427 5430 2916 0 -1 4202560 3946 0 0 0 45 0 0 0 20 0 19 0 24630574 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993692342840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5447] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5447/stat : 5447 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993691290744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5448] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5448/stat : 5448 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993690238152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5449] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5449/stat : 5449 (java) S 5427 5430 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24630607 9856040960 20825 33554432000 1073741824 1073778376 140736809419312 139993689183144 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.43 Current children cumulated vsize (KiB) 9625040 [startup+3.10075 s] /proc/loadavg: 2.10 2.07 2.06 3/213 5449 /proc/meminfo: memFree=31411016/32872528 swapFree=190484/190484 [pid=5430] ppid=5427 vsize=9625040 CPUtime=4.07 cores=1,3,5,7 /proc/5430/stat : 5430 (java) S 5427 5430 2916 0 -1 4202496 12530 0 1 0 403 4 0 0 20 0 19 0 24630568 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 140736809410448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5430/statm: 2406260 25945 2272 9 0 2396937 0 [pid=5430/tid=5432] ppid=5427 vsize=9625040 CPUtime=3.04 cores=1,3,5,7 /proc/5430/task/5432/stat : 5432 (java) R 5427 5430 2916 0 -1 4202560 2464 0 1 0 303 1 0 0 20 0 19 0 24630569 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993873411808 139993738208823 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5433] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5433/stat : 5433 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993862482216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5434] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5434/stat : 5434 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993861429416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5435] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5435/stat : 5435 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993860377128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5430/tid=5436] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5436/stat : 5436 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993859324328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5437] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5437/stat : 5437 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993858272040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5438] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5438/stat : 5438 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993857219240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5439] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5439/stat : 5439 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993856166952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5440] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5440/stat : 5440 (java) S 5427 5430 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993710017448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5441] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5441/stat : 5441 (java) S 5427 5430 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993697605864 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5442] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5442/stat : 5442 (java) S 5427 5430 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993696551928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5443] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5443/stat : 5443 (java) S 5427 5430 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993695499528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5444] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5444/stat : 5444 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993694448016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5445] ppid=5427 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/5430/task/5445/stat : 5445 (java) S 5427 5430 2916 0 -1 4202560 4843 0 0 0 49 0 0 0 20 0 19 0 24630574 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993693395640 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5430/tid=5446] ppid=5427 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/5430/task/5446/stat : 5446 (java) S 5427 5430 2916 0 -1 4202560 3946 0 0 0 47 0 0 0 20 0 19 0 24630574 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993692342840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5447] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5447/stat : 5447 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993691290744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5448] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5448/stat : 5448 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993690238152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5449] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5449/stat : 5449 (java) S 5427 5430 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24630607 9856040960 25945 33554432000 1073741824 1073778376 140736809419312 139993689183144 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.07 Current children cumulated vsize (KiB) 9625040 [startup+6.30082 s] /proc/loadavg: 2.10 2.07 2.06 3/213 5449 /proc/meminfo: memFree=31353960/32872528 swapFree=190484/190484 [pid=5430] ppid=5427 vsize=9625040 CPUtime=7.36 cores=1,3,5,7 /proc/5430/stat : 5430 (java) S 5427 5430 2916 0 -1 4202496 12837 0 1 0 731 5 0 0 20 0 19 0 24630568 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 140736809410448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5430/statm: 2406260 41154 2273 9 0 2396937 0 [pid=5430/tid=5432] ppid=5427 vsize=9625040 CPUtime=6.23 cores=1,3,5,7 /proc/5430/task/5432/stat : 5432 (java) R 5427 5430 2916 0 -1 4202560 2495 0 1 0 620 3 0 0 20 0 19 0 24630569 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993873411776 139993738347185 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5433] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5433/stat : 5433 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993862482216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5434] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5434/stat : 5434 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993861429416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5435] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5435/stat : 5435 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993860377128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5430/tid=5436] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5436/stat : 5436 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993859324328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5437] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5437/stat : 5437 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993858272040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5438] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5438/stat : 5438 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993857219240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5439] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5439/stat : 5439 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993856166952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5440] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5440/stat : 5440 (java) S 5427 5430 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24630571 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993710017448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5441] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5441/stat : 5441 (java) S 5427 5430 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993697605864 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5442] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5442/stat : 5442 (java) S 5427 5430 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993696551928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5443] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5443/stat : 5443 (java) S 5427 5430 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993695499528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5444] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5444/stat : 5444 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993694448016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5445] ppid=5427 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/5430/task/5445/stat : 5445 (java) S 5427 5430 2916 0 -1 4202560 5118 0 0 0 58 0 0 0 20 0 19 0 24630574 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993693395640 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5430/tid=5446] ppid=5427 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/5430/task/5446/stat : 5446 (java) S 5427 5430 2916 0 -1 4202560 3946 0 0 0 48 0 0 0 20 0 19 0 24630574 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993692342840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5447] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5447/stat : 5447 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993691290744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5448] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5448/stat : 5448 (java) S 5427 5430 2916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993690238152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5449] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5449/stat : 5449 (java) S 5427 5430 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24630607 9856040960 41154 33554432000 1073741824 1073778376 140736809419312 139993689183144 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.36 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ /proc/5430/task/5449/stat : 5449 (java) S 5427 5430 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24630607 9856040960 78000 33554432000 1073741824 1073778376 140736809419312 139993689183144 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1618.67 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.05 2.01 2.00 3/213 5580 /proc/meminfo: memFree=31179976/32872528 swapFree=190484/190484 [pid=5430] ppid=5427 vsize=9625040 CPUtime=1679.19 cores=1,3,5,7 /proc/5430/stat : 5430 (java) S 5427 5430 2916 0 -1 4202496 31590 0 1 0 167744 175 0 0 20 0 19 0 24630568 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 140736809410448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5430/statm: 2406260 72077 2295 9 0 2396937 0 [pid=5430/tid=5432] ppid=5427 vsize=9625040 CPUtime=1645.78 cores=1,3,5,7 /proc/5430/task/5432/stat : 5432 (java) R 5427 5430 2916 0 -1 4202560 3075 0 1 0 164547 31 0 0 20 0 19 0 24630569 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993873419424 139993738330848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5433] ppid=5427 vsize=9625040 CPUtime=2.98 cores=1,3,5,7 /proc/5430/task/5433/stat : 5433 (java) S 5427 5430 2916 0 -1 4202560 2669 0 0 0 281 17 0 0 20 0 19 0 24630571 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993862482216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5434] ppid=5427 vsize=9625040 CPUtime=2.74 cores=1,3,5,7 /proc/5430/task/5434/stat : 5434 (java) S 5427 5430 2916 0 -1 4202560 1725 0 0 0 262 12 0 0 20 0 19 0 24630571 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993861429416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5435] ppid=5427 vsize=9625040 CPUtime=2.93 cores=1,3,5,7 /proc/5430/task/5435/stat : 5435 (java) S 5427 5430 2916 0 -1 4202560 2226 0 0 0 275 18 0 0 20 0 19 0 24630571 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993860377128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5436] ppid=5427 vsize=9625040 CPUtime=2.99 cores=1,3,5,7 /proc/5430/task/5436/stat : 5436 (java) S 5427 5430 2916 0 -1 4202560 1461 0 0 0 281 18 0 0 20 0 19 0 24630571 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993859324328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5437] ppid=5427 vsize=9625040 CPUtime=2.87 cores=1,3,5,7 /proc/5430/task/5437/stat : 5437 (java) S 5427 5430 2916 0 -1 4202560 1974 0 0 0 273 14 0 0 20 0 19 0 24630571 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993858272040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5438] ppid=5427 vsize=9625040 CPUtime=2.91 cores=1,3,5,7 /proc/5430/task/5438/stat : 5438 (java) S 5427 5430 2916 0 -1 4202560 2031 0 0 0 274 17 0 0 20 0 19 0 24630571 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993857219240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5439] ppid=5427 vsize=9625040 CPUtime=2.91 cores=1,3,5,7 /proc/5430/task/5439/stat : 5439 (java) S 5427 5430 2916 0 -1 4202560 3129 0 0 0 276 15 0 0 20 0 19 0 24630571 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993856166952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5440] ppid=5427 vsize=9625040 CPUtime=2.84 cores=1,3,5,7 /proc/5430/task/5440/stat : 5440 (java) S 5427 5430 2916 0 -1 4202560 1720 0 0 0 270 14 0 0 20 0 19 0 24630571 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993710017448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5441] ppid=5427 vsize=9625040 CPUtime=4.51 cores=1,3,5,7 /proc/5430/task/5441/stat : 5441 (java) S 5427 5430 2916 0 -1 4202560 1153 0 0 0 442 9 0 0 20 0 19 0 24630572 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993697605864 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5442] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5442/stat : 5442 (java) S 5427 5430 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993696551928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5443] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5443/stat : 5443 (java) S 5427 5430 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993695499528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5444] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5444/stat : 5444 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993694448016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5445] ppid=5427 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/5430/task/5445/stat : 5445 (java) S 5427 5430 2916 0 -1 4202560 5119 0 0 0 64 0 0 0 20 0 19 0 24630574 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993693395640 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5446] ppid=5427 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/5430/task/5446/stat : 5446 (java) S 5427 5430 2916 0 -1 4202560 3950 0 0 0 63 0 0 0 20 0 19 0 24630574 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993692342840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5447] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5447/stat : 5447 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993691290744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5448] ppid=5427 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/5430/task/5448/stat : 5448 (java) S 5427 5430 2916 0 -1 4202560 95 0 0 0 26 36 0 0 20 0 19 0 24630574 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993690238152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5449] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5449/stat : 5449 (java) S 5427 5430 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24630607 9856040960 72077 33554432000 1073741824 1073778376 140736809419312 139993689183144 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1679.19 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.11 2.04 2.01 3/213 5581 /proc/meminfo: memFree=31167920/32872528 swapFree=190484/190484 [pid=5430] ppid=5427 vsize=9625040 CPUtime=1739.84 cores=1,3,5,7 /proc/5430/stat : 5430 (java) S 5427 5430 2916 0 -1 4202496 31899 0 1 0 173801 183 0 0 20 0 19 0 24630568 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 140736809410448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5430/statm: 2406260 71216 2295 9 0 2396937 0 [pid=5430/tid=5432] ppid=5427 vsize=9625040 CPUtime=1705.08 cores=1,3,5,7 /proc/5430/task/5432/stat : 5432 (java) R 5427 5430 2916 0 -1 4202560 3097 0 1 0 170477 31 0 0 20 0 19 0 24630569 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993873419424 139993738330848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5433] ppid=5427 vsize=9625040 CPUtime=3.08 cores=1,3,5,7 /proc/5430/task/5433/stat : 5433 (java) S 5427 5430 2916 0 -1 4202560 2708 0 0 0 291 17 0 0 20 0 19 0 24630571 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993862482216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5434] ppid=5427 vsize=9625040 CPUtime=2.85 cores=1,3,5,7 /proc/5430/task/5434/stat : 5434 (java) S 5427 5430 2916 0 -1 4202560 1736 0 0 0 272 13 0 0 20 0 19 0 24630571 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993861429416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5430/tid=5435] ppid=5427 vsize=9625040 CPUtime=3.03 cores=1,3,5,7 /proc/5430/task/5435/stat : 5435 (java) S 5427 5430 2916 0 -1 4202560 2304 0 0 0 285 18 0 0 20 0 19 0 24630571 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993860377128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5436] ppid=5427 vsize=9625040 CPUtime=3.14 cores=1,3,5,7 /proc/5430/task/5436/stat : 5436 (java) S 5427 5430 2916 0 -1 4202560 1476 0 0 0 295 19 0 0 20 0 19 0 24630571 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993859324328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5437] ppid=5427 vsize=9625040 CPUtime=3 cores=1,3,5,7 /proc/5430/task/5437/stat : 5437 (java) S 5427 5430 2916 0 -1 4202560 1982 0 0 0 285 15 0 0 20 0 19 0 24630571 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993858272040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5438] ppid=5427 vsize=9625040 CPUtime=3.02 cores=1,3,5,7 /proc/5430/task/5438/stat : 5438 (java) S 5427 5430 2916 0 -1 4202560 2039 0 0 0 284 18 0 0 20 0 19 0 24630571 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993857219240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5439] ppid=5427 vsize=9625040 CPUtime=3.04 cores=1,3,5,7 /proc/5430/task/5439/stat : 5439 (java) S 5427 5430 2916 0 -1 4202560 3144 0 0 0 288 16 0 0 20 0 19 0 24630571 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993856166952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5430/tid=5440] ppid=5427 vsize=9625040 CPUtime=2.96 cores=1,3,5,7 /proc/5430/task/5440/stat : 5440 (java) S 5427 5430 2916 0 -1 4202560 1726 0 0 0 281 15 0 0 20 0 19 0 24630571 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993710017448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5441] ppid=5427 vsize=9625040 CPUtime=4.75 cores=1,3,5,7 /proc/5430/task/5441/stat : 5441 (java) S 5427 5430 2916 0 -1 4202560 1256 0 0 0 465 10 0 0 20 0 19 0 24630572 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993697605864 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5430/tid=5442] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5442/stat : 5442 (java) S 5427 5430 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993696551928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5443] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5443/stat : 5443 (java) S 5427 5430 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993695499528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5444] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5444/stat : 5444 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993694448016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5445] ppid=5427 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/5430/task/5445/stat : 5445 (java) S 5427 5430 2916 0 -1 4202560 5119 0 0 0 64 0 0 0 20 0 19 0 24630574 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993693395640 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5446] ppid=5427 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/5430/task/5446/stat : 5446 (java) S 5427 5430 2916 0 -1 4202560 3950 0 0 0 63 0 0 0 20 0 19 0 24630574 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993692342840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5447] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5447/stat : 5447 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993691290744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5448] ppid=5427 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/5430/task/5448/stat : 5448 (java) S 5427 5430 2916 0 -1 4202560 99 0 0 0 27 37 0 0 20 0 19 0 24630574 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993690238152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5449] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5449/stat : 5449 (java) S 5427 5430 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24630607 9856040960 71216 33554432000 1073741824 1073778376 140736809419312 139993689183144 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1739.84 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1782 s] /proc/loadavg: 2.04 2.03 2.00 3/213 5582 /proc/meminfo: memFree=31160580/32872528 swapFree=190484/190484 [pid=5430] ppid=5427 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7 /proc/5430/stat : 5430 (java) S 5427 5430 2916 0 -1 4202496 33372 0 1 0 179819 190 0 0 20 0 19 0 24630568 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 140736809410448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5430/statm: 2406260 75071 2295 9 0 2396937 0 [pid=5430/tid=5432] ppid=5427 vsize=9625040 CPUtime=1764.21 cores=1,3,5,7 /proc/5430/task/5432/stat : 5432 (java) R 5427 5430 2916 0 -1 4202560 3117 0 1 0 176389 32 0 0 20 0 19 0 24630569 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993873419504 139993738330848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5433] ppid=5427 vsize=9625040 CPUtime=3.18 cores=1,3,5,7 /proc/5430/task/5433/stat : 5433 (java) S 5427 5430 2916 0 -1 4202560 2722 0 0 0 300 18 0 0 20 0 19 0 24630571 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993862482216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5434] ppid=5427 vsize=9625040 CPUtime=2.95 cores=1,3,5,7 /proc/5430/task/5434/stat : 5434 (java) S 5427 5430 2916 0 -1 4202560 1843 0 0 0 281 14 0 0 20 0 19 0 24630571 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993861429416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5430/tid=5435] ppid=5427 vsize=9625040 CPUtime=3.13 cores=1,3,5,7 /proc/5430/task/5435/stat : 5435 (java) S 5427 5430 2916 0 -1 4202560 2391 0 0 0 294 19 0 0 20 0 19 0 24630571 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993860377128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5436] ppid=5427 vsize=9625040 CPUtime=3.25 cores=1,3,5,7 /proc/5430/task/5436/stat : 5436 (java) S 5427 5430 2916 0 -1 4202560 1736 0 0 0 306 19 0 0 20 0 19 0 24630571 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993859324328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5437] ppid=5427 vsize=9625040 CPUtime=3.1 cores=1,3,5,7 /proc/5430/task/5437/stat : 5437 (java) S 5427 5430 2916 0 -1 4202560 2280 0 0 0 295 15 0 0 20 0 19 0 24630571 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993858272040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5438] ppid=5427 vsize=9625040 CPUtime=3.1 cores=1,3,5,7 /proc/5430/task/5438/stat : 5438 (java) S 5427 5430 2916 0 -1 4202560 2119 0 0 0 292 18 0 0 20 0 19 0 24630571 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993857219240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5439] ppid=5427 vsize=9625040 CPUtime=3.15 cores=1,3,5,7 /proc/5430/task/5439/stat : 5439 (java) S 5427 5430 2916 0 -1 4202560 3433 0 0 0 299 16 0 0 20 0 19 0 24630571 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993856166952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5440] ppid=5427 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/5430/task/5440/stat : 5440 (java) S 5427 5430 2916 0 -1 4202560 1981 0 0 0 290 16 0 0 20 0 19 0 24630571 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993710017448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5441] ppid=5427 vsize=9625040 CPUtime=4.93 cores=1,3,5,7 /proc/5430/task/5441/stat : 5441 (java) S 5427 5430 2916 0 -1 4202560 1315 0 0 0 483 10 0 0 20 0 19 0 24630572 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993697605864 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5442] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5442/stat : 5442 (java) S 5427 5430 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993696551928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5443] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5443/stat : 5443 (java) S 5427 5430 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24630572 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993695499528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5444] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5444/stat : 5444 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993694448016 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5445] ppid=5427 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/5430/task/5445/stat : 5445 (java) S 5427 5430 2916 0 -1 4202560 5119 0 0 0 64 0 0 0 20 0 19 0 24630574 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993693395640 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5430/tid=5446] ppid=5427 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/5430/task/5446/stat : 5446 (java) S 5427 5430 2916 0 -1 4202560 3950 0 0 0 63 0 0 0 20 0 19 0 24630574 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993692342840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5447] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5447/stat : 5447 (java) S 5427 5430 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24630574 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993691290744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5430/tid=5448] ppid=5427 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/5430/task/5448/stat : 5448 (java) S 5427 5430 2916 0 -1 4202560 103 0 0 0 28 39 0 0 20 0 19 0 24630574 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993690238152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5430/tid=5449] ppid=5427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/5430/task/5449/stat : 5449 (java) S 5427 5430 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24630607 9856040960 75071 33554432000 1073741824 1073778376 140736809419312 139993689183144 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625040 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 5430 sig 9 ??? kill -5430 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5430 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=99255 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=301650 # CPU time returned by wait4() is 1796.4 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1782.06 CPU time (s): 1800.09 CPU user time (s): 1798.19 CPU system time (s): 1.9 CPU usage (%): 101.012 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.1 system time used= 2.30165 maximum resident set size= 548852 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33409 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 56059 involuntary context switches= 57521 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.8044 second user time and 13.322 second system time The end
Begin job on node102 at 2016-06-18 06:56:40 IDJOB=4101709 IDBENCH=1784 IDSOLVER=2546 FILE ID=node102/4101709-1466225800 RUNJOBID= node102-1466206108-2933 PBS_JOBID= 19918170 Free space on /tmp= 71728 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rout.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101709-1466225800/watcher-4101709-1466225800 -o /tmp/evaluation-result-4101709-1466225800/solver-4101709-1466225800 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2933 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101709-1466225800.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 485ca531ffda98d59a839bf46c37d61d RANDOM SEED=1726540320 node102.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.746 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.49 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.746 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.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 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.746 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.746 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.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31497332 kB Buffers: 101348 kB Cached: 91080 kB SwapCached: 1828 kB Active: 319212 kB Inactive: 134500 kB Active(anon): 262012 kB Inactive(anon): 1508 kB Active(file): 57200 kB Inactive(file): 132992 kB Unevictable: 190484 kB Mlocked: 190484 kB SwapTotal: 67108856 kB SwapFree: 67099024 kB Dirty: 840 kB Writeback: 0 kB AnonPages: 494200 kB Mapped: 15444 kB Shmem: 0 kB Slab: 599076 kB SReclaimable: 42944 kB SUnreclaim: 556132 kB KernelStack: 1760 kB PageTables: 5492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 576048 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 286720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71728 MiB End job on node102 at 2016-06-18 07:26:23