Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j CuttingPlanes 2.3.0 | SAT (TO) | 2147483505 | 1800.31 | 1796.18 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb |
MD5SUM | 77d03e06bcf76c9b07fd6535ab6acb65 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1207959552 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1207959552 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.18-164.el5 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 9996466904 0.06/0.09 c Max memory 10048897024 0.06/0.09 c Total memory 10048897024 0.06/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@13d4c61c 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3456805-1307657500.opb 0.10/0.11 c reading problem ... 0.96/0.64 c ... done. Wall clock time 0.535s. 0.96/0.64 c #vars 6651 0.96/0.64 c #constraints 721 0.96/0.64 c constraints type 0.96/0.64 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 0.96/0.64 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 0.96/0.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 339 1.38/1.00 c SATISFIABLE 1.38/1.00 c OPTIMIZING... 1.38/1.00 c Got one! Elapsed wall clock time (in seconds):0.889 1.38/1.00 o 2147483647 2.16/1.45 c Got one! Elapsed wall clock time (in seconds):1.34 2.16/1.45 o 2147483646 2.63/1.80 c Got one! Elapsed wall clock time (in seconds):1.691 2.63/1.80 o 2147483645 3.17/2.25 c Got one! Elapsed wall clock time (in seconds):2.144 3.17/2.25 o 2147483644 3.57/2.64 c Got one! Elapsed wall clock time (in seconds):2.53 3.57/2.64 o 2147483643 3.98/3.05 c Got one! Elapsed wall clock time (in seconds):2.937 3.98/3.05 o 2147483642 4.39/3.43 c Got one! Elapsed wall clock time (in seconds):3.321 4.39/3.43 o 2147483641 4.82/3.87 c Got one! Elapsed wall clock time (in seconds):3.761 4.82/3.87 o 2147483640 5.48/4.30 c Got one! Elapsed wall clock time (in seconds):4.196 5.48/4.30 o 2147483639 5.78/4.63 c Got one! Elapsed wall clock time (in seconds):4.521 5.78/4.63 o 2147483638 6.19/5.05 c Got one! Elapsed wall clock time (in seconds):4.941 6.19/5.05 o 2147483637 6.60/5.47 c Got one! Elapsed wall clock time (in seconds):5.356 6.60/5.47 o 2147483636 7.11/5.91 c Got one! Elapsed wall clock time (in seconds):5.802 7.11/5.91 o 2147483635 7.51/6.31 c Got one! Elapsed wall clock time (in seconds):6.196 7.51/6.31 o 2147483634 7.91/6.71 c Got one! Elapsed wall clock time (in seconds):6.602 7.91/6.71 o 2147483633 8.31/7.11 c Got one! Elapsed wall clock time (in seconds):6.999 8.31/7.11 o 2147483632 8.71/7.51 c Got one! Elapsed wall clock time (in seconds):7.401 8.71/7.51 o 2147483631 9.11/7.94 c Got one! Elapsed wall clock time (in seconds):7.829 9.11/7.94 o 2147483630 9.51/8.34 c Got one! Elapsed wall clock time (in seconds):8.228 9.51/8.34 o 2147483629 12.39/11.19 c Got one! Elapsed wall clock time (in seconds):11.084 12.39/11.19 o 2147483628 12.79/11.53 c Got one! Elapsed wall clock time (in seconds):11.424 12.79/11.53 o 2147483627 16.78/15.49 c Got one! Elapsed wall clock time (in seconds):15.377 16.78/15.49 o 2147483626 27.96/26.49 c Got one! Elapsed wall clock time (in seconds):26.383 27.96/26.49 o 2147483625 32.22/30.63 c Got one! Elapsed wall clock time (in seconds):30.526 32.22/30.63 o 2147483624 32.52/30.97 c Got one! Elapsed wall clock time (in seconds):30.859 32.52/30.97 o 2147483623 32.92/31.31 c Got one! Elapsed wall clock time (in seconds):31.205 32.92/31.31 o 2147483622 33.22/31.66 c Got one! Elapsed wall clock time (in seconds):31.551 33.22/31.66 o 2147483621 33.62/32.00 c Got one! Elapsed wall clock time (in seconds):31.888 33.62/32.00 o 2147483620 33.92/32.32 c Got one! Elapsed wall clock time (in seconds):32.213 33.92/32.32 o 2147483619 34.22/32.67 c Got one! Elapsed wall clock time (in seconds):32.565 34.22/32.67 o 2147483618 34.62/33.04 c Got one! Elapsed wall clock time (in seconds):32.935 34.62/33.04 o 2147483617 34.92/33.39 c Got one! Elapsed wall clock time (in seconds):33.284 34.92/33.39 o 2147483616 35.32/33.76 c Got one! Elapsed wall clock time (in seconds):33.649 35.32/33.76 o 2147483615 35.72/34.12 c Got one! Elapsed wall clock time (in seconds):34.013 35.72/34.12 o 2147483614 36.02/34.48 c Got one! Elapsed wall clock time (in seconds):34.374 36.02/34.48 o 2147483613 36.42/34.84 c Got one! Elapsed wall clock time (in seconds):34.732 36.42/34.84 o 2147483612 36.72/35.20 c Got one! Elapsed wall clock time (in seconds):35.088 36.72/35.20 o 2147483611 37.12/35.54 c Got one! Elapsed wall clock time (in seconds):35.434 37.12/35.54 o 2147483610 37.54/35.92 c Got one! Elapsed wall clock time (in seconds):35.811 37.54/35.92 o 2147483609 37.84/36.28 c Got one! Elapsed wall clock time (in seconds):36.168 37.84/36.28 o 2147483608 38.24/36.64 c Got one! Elapsed wall clock time (in seconds):36.53 38.24/36.64 o 2147483607 38.64/37.01 c Got one! Elapsed wall clock time (in seconds):36.905 38.64/37.01 o 2147483606 38.94/37.39 c Got one! Elapsed wall clock time (in seconds):37.277 38.94/37.39 o 2147483605 39.34/37.77 c Got one! Elapsed wall clock time (in seconds):37.664 39.34/37.77 o 2147483604 39.78/38.13 c Got one! Elapsed wall clock time (in seconds):38.023 39.78/38.13 o 2147483603 40.18/38.51 c Got one! Elapsed wall clock time (in seconds):38.397 40.18/38.51 o 2147483602 40.47/38.87 c Got one! Elapsed wall clock time (in seconds):38.757 40.47/38.87 o 2147483601 40.87/39.24 c Got one! Elapsed wall clock time (in seconds):39.13 40.87/39.24 o 2147483600 43.20/41.59 c Got one! Elapsed wall clock time (in seconds):41.483 43.20/41.59 o 2147483599 43.60/41.97 c Got one! Elapsed wall clock time (in seconds):41.86 43.60/41.97 o 2147483598 44.00/42.33 c Got one! Elapsed wall clock time (in seconds):42.217 44.00/42.33 o 2147483597 44.30/42.69 c Got one! Elapsed wall clock time (in seconds):42.58 44.30/42.69 o 2147483596 46.71/45.03 c Got one! Elapsed wall clock time (in seconds):44.919 46.71/45.03 o 2147483595 49.14/47.40 c Got one! Elapsed wall clock time (in seconds):47.29 49.14/47.40 o 2147483594 49.44/47.78 c Got one! Elapsed wall clock time (in seconds):47.67 49.44/47.78 o 2147483593 49.84/48.16 c Got one! Elapsed wall clock time (in seconds):48.049 49.84/48.16 o 2147483592 50.24/48.54 c Got one! Elapsed wall clock time (in seconds):48.431 50.24/48.54 o 2147483591 50.64/48.92 c Got one! Elapsed wall clock time (in seconds):48.815 50.64/48.92 o 2147483590 51.04/49.32 c Got one! Elapsed wall clock time (in seconds):49.207 51.04/49.32 o 2147483589 51.34/49.67 c Got one! Elapsed wall clock time (in seconds):49.563 51.34/49.67 o 2147483588 51.74/50.07 c Got one! Elapsed wall clock time (in seconds):49.965 51.74/50.07 o 2147483587 54.14/52.47 c Got one! Elapsed wall clock time (in seconds):52.356 54.14/52.47 o 2147483586 54.56/52.85 c Got one! Elapsed wall clock time (in seconds):52.74 54.56/52.85 o 2147483585 54.96/53.25 c Got one! Elapsed wall clock time (in seconds):53.138 54.96/53.25 o 2147483584 55.36/53.65 c Got one! Elapsed wall clock time (in seconds):53.542 55.36/53.65 o 2147483583 55.76/54.04 c Got one! Elapsed wall clock time (in seconds):53.932 55.76/54.04 o 2147483582 56.21/54.49 c Got one! Elapsed wall clock time (in seconds):54.384 56.21/54.49 o 2147483581 56.81/55.06 c Got one! Elapsed wall clock time (in seconds):54.949 56.81/55.06 o 2147483580 57.31/55.54 c Got one! Elapsed wall clock time (in seconds):55.43 57.31/55.54 o 2147483579 57.71/55.94 c Got one! Elapsed wall clock time (in seconds):55.83 57.71/55.94 o 2147483578 60.61/58.82 c Got one! Elapsed wall clock time (in seconds):58.71 60.61/58.82 o 2147483577 65.74/63.99 c Got one! Elapsed wall clock time (in seconds):63.876 65.74/63.99 o 2147483576 70.85/69.01 c Got one! Elapsed wall clock time (in seconds):68.902 70.85/69.01 o 2147483575 75.85/74.04 c Got one! Elapsed wall clock time (in seconds):73.933 75.85/74.04 o 2147483574 80.86/79.06 c Got one! Elapsed wall clock time (in seconds):78.951 80.86/79.06 o 2147483573 85.86/84.08 c Got one! Elapsed wall clock time (in seconds):83.972 85.86/84.08 o 2147483572 90.97/89.11 c Got one! Elapsed wall clock time (in seconds):88.996 90.97/89.11 o 2147483571 95.98/94.10 c Got one! Elapsed wall clock time (in seconds):93.991 95.98/94.10 o 2147483570 100.59/98.73 c Got one! Elapsed wall clock time (in seconds):98.62 100.59/98.73 o 2147483569 105.49/103.65 c Got one! Elapsed wall clock time (in seconds):103.543 105.49/103.65 o 2147483568 110.50/108.69 c Got one! Elapsed wall clock time (in seconds):108.583 110.50/108.69 o 2147483567 115.51/113.64 c Got one! Elapsed wall clock time (in seconds):113.531 115.51/113.64 o 2147483566 125.12/123.26 c Got one! Elapsed wall clock time (in seconds):123.153 125.12/123.26 o 2147483565 180.66/178.78 c Got one! Elapsed wall clock time (in seconds):178.668 180.66/178.78 o 2147483564 181.18/179.23 c Got one! Elapsed wall clock time (in seconds):179.116 181.18/179.23 o 2147483563 181.67/179.70 c Got one! Elapsed wall clock time (in seconds):179.594 181.67/179.70 o 2147483562 182.17/180.20 c Got one! Elapsed wall clock time (in seconds):180.091 182.17/180.20 o 2147483561 195.80/193.80 c Got one! Elapsed wall clock time (in seconds):193.691 195.80/193.80 o 2147483560 196.20/194.27 c Got one! Elapsed wall clock time (in seconds):194.166 196.20/194.27 o 2147483559 196.71/194.75 c Got one! Elapsed wall clock time (in seconds):194.642 196.71/194.75 o 2147483558 201.31/199.31 c Got one! Elapsed wall clock time (in seconds):199.202 201.31/199.31 o 2147483557 205.83/203.83 c Got one! Elapsed wall clock time (in seconds):203.716 205.83/203.83 o 2147483556 208.33/206.31 c Got one! Elapsed wall clock time (in seconds):206.204 208.33/206.31 o 2147483555 208.74/206.80 c Got one! Elapsed wall clock time (in seconds):206.687 208.74/206.80 o 2147483554 213.34/211.30 c Got one! Elapsed wall clock time (in seconds):211.191 213.34/211.30 o 2147483553 213.74/211.75 c Got one! Elapsed wall clock time (in seconds):211.638 213.74/211.75 o 2147483552 218.25/216.25 c Got one! Elapsed wall clock time (in seconds):216.142 218.25/216.25 o 2147483551 218.76/216.75 c Got one! Elapsed wall clock time (in seconds):216.638 218.76/216.75 o 2147483550 233.37/231.37 c Got one! Elapsed wall clock time (in seconds):231.263 233.37/231.37 o 2147483549 237.88/235.88 c Got one! Elapsed wall clock time (in seconds):235.775 237.88/235.88 o 2147483548 238.38/236.39 c Got one! Elapsed wall clock time (in seconds):236.277 238.38/236.39 o 2147483547 238.88/236.86 c Got one! Elapsed wall clock time (in seconds):236.751 238.88/236.86 o 2147483546 243.40/241.33 c Got one! Elapsed wall clock time (in seconds):241.217 243.40/241.33 o 2147483545 247.91/245.82 c Got one! Elapsed wall clock time (in seconds):245.71 247.91/245.82 o 2147483544 248.45/246.36 c Got one! Elapsed wall clock time (in seconds):246.25 248.45/246.36 o 2147483543 248.95/246.85 c Got one! Elapsed wall clock time (in seconds):246.745 248.95/246.85 o 2147483542 249.45/247.35 c Got one! Elapsed wall clock time (in seconds):247.243 249.45/247.35 o 2147483541 249.95/247.83 c Got one! Elapsed wall clock time (in seconds):247.723 249.95/247.83 o 2147483540 250.45/248.31 c Got one! Elapsed wall clock time (in seconds):248.205 250.45/248.31 o 2147483539 250.85/248.79 c Got one! Elapsed wall clock time (in seconds):248.681 250.85/248.79 o 2147483538 251.35/249.20 c Got one! Elapsed wall clock time (in seconds):249.095 251.35/249.20 o 2147483537 254.06/251.93 c Got one! Elapsed wall clock time (in seconds):251.824 254.06/251.93 o 2147483536 254.56/252.44 c Got one! Elapsed wall clock time (in seconds):252.331 254.56/252.44 o 2147483535 255.06/252.93 c Got one! Elapsed wall clock time (in seconds):252.825 255.06/252.93 o 2147483534 259.88/257.79 c Got one! Elapsed wall clock time (in seconds):257.683 259.88/257.79 o 2147483533 260.38/258.30 c Got one! Elapsed wall clock time (in seconds):258.187 260.38/258.30 o 2147483532 263.08/260.94 c Got one! Elapsed wall clock time (in seconds):260.831 263.08/260.94 o 2147483531 263.58/261.45 c Got one! Elapsed wall clock time (in seconds):261.34 263.58/261.45 o 2147483530 266.29/264.12 c Got one! Elapsed wall clock time (in seconds):264.012 266.29/264.12 o 2147483529 266.79/264.63 c Got one! Elapsed wall clock time (in seconds):264.524 266.79/264.63 o 2147483528 267.33/265.16 c Got one! Elapsed wall clock time (in seconds):265.049 267.33/265.16 o 2147483527 267.83/265.64 c Got one! Elapsed wall clock time (in seconds):265.532 267.83/265.64 o 2147483526 268.33/266.11 c Got one! Elapsed wall clock time (in seconds):266.003 268.33/266.11 o 2147483525 268.73/266.58 c Got one! Elapsed wall clock time (in seconds):266.475 268.73/266.58 o 2147483524 269.23/267.09 c Got one! Elapsed wall clock time (in seconds):266.984 269.23/267.09 o 2147483523 269.83/267.62 c Got one! Elapsed wall clock time (in seconds):267.512 269.83/267.62 o 2147483522 275.07/272.87 c Got one! Elapsed wall clock time (in seconds):272.765 275.07/272.87 o 2147483521 280.38/278.13 c Got one! Elapsed wall clock time (in seconds):278.024 280.38/278.13 o 2147483520 288.00/285.71 c Got one! Elapsed wall clock time (in seconds):285.599 288.00/285.71 o 2147483519 303.31/301.06 c Got one! Elapsed wall clock time (in seconds):300.952 303.31/301.06 o 2147483518 303.90/301.61 c Got one! Elapsed wall clock time (in seconds):301.499 303.90/301.61 o 2147483517 304.40/302.16 c Got one! Elapsed wall clock time (in seconds):302.047 304.40/302.16 o 2147483516 305.01/302.71 c Got one! Elapsed wall clock time (in seconds):302.605 305.01/302.71 o 2147483515 305.51/303.26 c Got one! Elapsed wall clock time (in seconds):303.152 305.51/303.26 o 2147483514 1625.75/1621.94 c Got one! Elapsed wall clock time (in seconds):1621.832 1625.75/1621.94 o 2147483513 1626.36/1622.58 c Got one! Elapsed wall clock time (in seconds):1622.468 1626.36/1622.58 o 2147483512 1627.05/1623.22 c Got one! Elapsed wall clock time (in seconds):1623.112 1627.05/1623.22 o 2147483511 1647.48/1643.63 c Got one! Elapsed wall clock time (in seconds):1643.525 1647.48/1643.63 o 2147483510 1653.70/1649.85 c Got one! Elapsed wall clock time (in seconds):1649.739 1653.70/1649.85 o 2147483509 1654.40/1650.55 c Got one! Elapsed wall clock time (in seconds):1650.443 1654.40/1650.55 o 2147483508 1680.33/1676.45 c Got one! Elapsed wall clock time (in seconds):1676.34 1680.33/1676.45 o 2147483507 1700.56/1696.66 c Got one! Elapsed wall clock time (in seconds):1696.546 1700.56/1696.66 o 2147483506 1709.58/1705.69 c Got one! Elapsed wall clock time (in seconds):1705.585 1709.58/1705.69 o 2147483505 1800.09/1796.01 c starts : 144 1800.09/1796.01 c conflicts : 236 1800.09/1796.01 c decisions : 898112 1800.09/1796.01 c propagations : 1848421 1800.09/1796.01 c inspects : 58757755 1800.09/1796.01 c shortcuts : 0 1800.09/1796.01 c learnt literals : 0 1800.09/1796.01 c learnt binary clauses : 0 1800.09/1796.01 c learnt ternary clauses : 0 1800.09/1796.01 c learnt constraints : 235 1800.09/1796.01 c ignored constraints : 0 1800.09/1796.01 c root simplifications : 0 1800.09/1796.01 c removed literals (reason simplification) : 0 1800.09/1796.01 c reason swapping (by a shorter reason) : 0 1800.09/1796.01 c Calls to reduceDB : 0 1800.09/1796.01 c number of reductions to clauses (during analyze) : 0 1800.09/1796.01 c number of learned constraints concerned by reduction : 0 1800.09/1796.01 c number of learning phase by resolution : 0 1800.09/1796.01 c number of learning phase by cutting planes : 0 1800.09/1796.01 c speed (assignments/second) : 20465.47238122654 1800.09/1796.01 c non guided choices 4704 1800.09/1796.01 c learnt constraints type 1800.09/1796.01 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1 1800.09/1796.01 c org.sat4j.pb.constraints.pb.MaxWatchPb => 234 1800.09/1796.01 c constraints type 1800.09/1796.01 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 1800.09/1796.01 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 1800.09/1796.01 c org.sat4j.pb.constraints.pb.MaxWatchPb => 340 1800.09/1796.01 s SATISFIABLE 1800.09/1796.02 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 1800.09/1796.03 c objective function=2147483505 1800.09/1796.03 c Total wall clock time (in seconds): 1795.923
OK 2147483505
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3456805-1307657500/watcher-3456805-1307657500 -o /tmp/evaluation-result-3456805-1307657500/solver-3456805-1307657500 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456805-1307657500.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.12 2.53 4.75 2/174 22445 /proc/meminfo: memFree=32041612/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/22445/stat : 22445 (java) R 22443 22445 21755 0 -1 4202496 901 0 0 0 0 0 0 0 23 0 1 0 877350995 23580672 646 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270608148245 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22445/statm: 5757 658 483 9 0 124 0 [startup+0.0821409 s] /proc/loadavg: 1.12 2.53 4.75 2/174 22445 /proc/meminfo: memFree=32041612/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=10473088 CPUtime=0.06 cores=0,2,4,6 /proc/22445/stat : 22445 (java) S 22443 22445 21755 0 -1 4202496 11982 0 1 0 5 1 0 0 23 0 18 0 877350995 10724442112 11680 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/22445/statm: 2618272 11681 1756 9 0 2609006 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10473088 [startup+0.101151 s] /proc/loadavg: 1.12 2.53 4.75 2/174 22445 /proc/meminfo: memFree=32041612/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=10540012 CPUtime=0.1 cores=0,2,4,6 /proc/22445/stat : 22445 (java) S 22443 22445 21755 0 -1 4202496 13045 0 1 0 9 1 0 0 23 0 18 0 877350995 10792972288 12701 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/22445/statm: 2635003 12701 2093 9 0 2625737 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540012 [startup+0.301138 s] /proc/loadavg: 1.12 2.53 4.75 2/174 22445 /proc/meminfo: memFree=32041612/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=10541076 CPUtime=0.52 cores=0,2,4,6 /proc/22445/stat : 22445 (java) S 22443 22445 21755 0 -1 4202496 17576 0 1 0 50 2 0 0 23 0 18 0 877350995 10794061824 16477 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/22445/statm: 2635269 16477 2202 9 0 2626003 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 10541076 [startup+0.701089 s] /proc/loadavg: 1.12 2.53 4.75 2/174 22445 /proc/meminfo: memFree=32041612/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=10543328 CPUtime=1.12 cores=0,2,4,6 /proc/22445/stat : 22445 (java) S 22443 22445 21755 0 -1 4202496 48136 0 1 0 106 6 0 0 23 0 19 0 877350995 10796367872 45721 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/22445/statm: 2635832 45722 2217 9 0 2626566 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 10543328 [startup+1.50092 s] /proc/loadavg: 1.27 2.54 4.74 6/213 22491 /proc/meminfo: memFree=31553828/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=10544064 CPUtime=2.29 cores=0,2,4,6 /proc/22445/stat : 22445 (java) S 22443 22445 21755 0 -1 4202496 81160 0 1 0 220 9 0 0 23 0 19 0 877350995 10797121536 78425 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/22445/statm: 2636016 78428 2224 9 0 2626750 0 [pid=22445/tid=22447] ppid=22443 vsize=10544064 CPUtime=1.48 cores=0,2,4,6 /proc/22445/task/22447/stat : 22447 (java) R 22443 22445 21755 0 -1 4202560 74861 0 1 0 140 8 0 0 18 0 19 0 877350996 10797121536 78429 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 46912505748709 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=22445/tid=22448] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22448/stat : 22448 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 78430 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22449] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22449/stat : 22449 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 78431 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22450] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22450/stat : 22450 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 78432 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22451] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22451/stat : 22451 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 78433 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22452] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22452/stat : 22452 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 78434 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22453] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22453/stat : 22453 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 78435 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22454] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22454/stat : 22454 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877350998 10797121536 78436 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22455] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22455/stat : 22455 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 78437 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22456] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22456/stat : 22456 (java) S 22443 22445 21755 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877350999 10797121536 78438 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 0 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22457] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22457/stat : 22457 (java) S 22443 22445 21755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877350999 10797121536 78439 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22458] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22458/stat : 22458 (java) S 22443 22445 21755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877350999 10797121536 78441 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22459] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22459/stat : 22459 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351001 10797121536 78442 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624934321 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22460] ppid=22443 vsize=10544064 CPUtime=0.42 cores=0,2,4,6 /proc/22445/task/22460/stat : 22460 (java) S 22443 22445 21755 0 -1 4202560 2840 0 0 0 42 0 0 0 15 0 19 0 877351001 10797121536 78443 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22461] ppid=22443 vsize=10544064 CPUtime=0.37 cores=0,2,4,6 /proc/22445/task/22461/stat : 22461 (java) S 22443 22445 21755 0 -1 4202560 2304 0 0 0 37 0 0 0 15 0 19 0 877351002 10797121536 78444 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22462] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22462/stat : 22462 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351002 10797121536 78445 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22463] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22463/stat : 22463 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877351002 10797121536 78446 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22491] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22491/stat : 22491 (java) S 22443 22445 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877351062 10797121536 78447 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 10544064 [startup+3.10162 s] /proc/loadavg: 1.27 2.54 4.74 3/214 22492 /proc/meminfo: memFree=31216912/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=10544064 CPUtime=4.08 cores=0,2,4,6 /proc/22445/stat : 22445 (java) S 22443 22445 21755 0 -1 4202496 158020 0 1 0 392 16 0 0 23 0 19 0 877350995 10797121536 154709 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/22445/statm: 2636016 154711 2224 9 0 2626750 0 [pid=22445/tid=22447] ppid=22443 vsize=10544064 CPUtime=3.08 cores=0,2,4,6 /proc/22445/task/22447/stat : 22447 (java) R 22443 22445 21755 0 -1 4202560 150436 0 1 0 293 15 0 0 21 0 19 0 877350996 10797121536 154712 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 46912505749008 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=22445/tid=22448] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22448/stat : 22448 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 154714 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22449] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22449/stat : 22449 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 154716 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22450] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22450/stat : 22450 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 154717 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22451] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22451/stat : 22451 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 154719 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22452] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22452/stat : 22452 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 154721 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22453] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22453/stat : 22453 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 154722 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22454] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22454/stat : 22454 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877350998 10797121536 154723 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22455] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22455/stat : 22455 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10797121536 154725 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22456] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22456/stat : 22456 (java) S 22443 22445 21755 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877350999 10797121536 154726 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 0 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22457] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22457/stat : 22457 (java) S 22443 22445 21755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877350999 10797121536 154728 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22458] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22458/stat : 22458 (java) S 22443 22445 21755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877350999 10797121536 154730 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22459] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22459/stat : 22459 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351001 10797121536 154731 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624934321 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22460] ppid=22443 vsize=10544064 CPUtime=0.48 cores=0,2,4,6 /proc/22445/task/22460/stat : 22460 (java) S 22443 22445 21755 0 -1 4202560 2848 0 0 0 48 0 0 0 15 0 19 0 877351001 10797121536 154732 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22461] ppid=22443 vsize=10544064 CPUtime=0.5 cores=0,2,4,6 /proc/22445/task/22461/stat : 22461 (java) S 22443 22445 21755 0 -1 4202560 3580 0 0 0 50 0 0 0 15 0 19 0 877351002 10797121536 154733 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22462] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22462/stat : 22462 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351002 10797121536 154734 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22463] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22463/stat : 22463 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877351002 10797121536 154736 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22491] ppid=22443 vsize=10544064 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22491/stat : 22491 (java) S 22443 22445 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877351062 10797121536 154737 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4.08 Current children cumulated vsize (KiB) 10544064 [startup+6.30108 s] /proc/loadavg: 1.27 2.54 4.74 3/214 22492 /proc/meminfo: memFree=30078964/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=10547072 CPUtime=7.51 cores=0,2,4,6 /proc/22445/stat : 22445 (java) S 22443 22445 21755 0 -1 4202496 299484 0 1 0 720 31 0 0 23 0 19 0 877350995 10800201728 295503 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/22445/statm: 2636768 295504 2228 9 0 2627502 0 [pid=22445/tid=22447] ppid=22443 vsize=10547072 CPUtime=6.27 cores=0,2,4,6 /proc/22445/task/22447/stat : 22447 (java) R 22443 22445 21755 0 -1 4202560 291116 0 1 0 598 29 0 0 25 0 19 0 877350996 10800201728 295505 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 46912505788662 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=22445/tid=22448] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22448/stat : 22448 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10800201728 295505 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22449] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22449/stat : 22449 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10800201728 295507 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22450] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22450/stat : 22450 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10800201728 295507 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22451] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22451/stat : 22451 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10800201728 295508 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22452] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22452/stat : 22452 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10800201728 295508 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22453] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22453/stat : 22453 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10800201728 295509 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22454] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22454/stat : 22454 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877350998 10800201728 295509 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22455] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22455/stat : 22455 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877350998 10800201728 295510 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22456] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22456/stat : 22456 (java) S 22443 22445 21755 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877350999 10800201728 295511 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 0 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22457] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22457/stat : 22457 (java) S 22443 22445 21755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877350999 10800201728 295511 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22458] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22458/stat : 22458 (java) S 22443 22445 21755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877350999 10800201728 295512 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22459] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22459/stat : 22459 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351001 10800201728 295513 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624934321 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22460] ppid=22443 vsize=10547072 CPUtime=0.64 cores=0,2,4,6 /proc/22445/task/22460/stat : 22460 (java) S 22443 22445 21755 0 -1 4202560 3604 0 0 0 64 0 0 0 15 0 19 0 877351001 10800201728 295514 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22461] ppid=22443 vsize=10547072 CPUtime=0.57 cores=0,2,4,6 /proc/22445/task/22461/stat : 22461 (java) S 22443 22445 21755 0 -1 4202560 3606 0 0 0 57 0 0 0 15 0 19 0 877351002 10800201728 295514 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22462] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22462/stat : 22462 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351002 10800201728 295515 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22463] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22463/stat : 22463 (java) S 22443 22445 21755 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877351002 10800201728 295516 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22491] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22491/stat : 22491 (java) S 22443 22445 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877351062 10800201728 295516 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 7.51 Current children cumulated vsize (KiB) 10547072 [startup+12.701 s] ################ # More data... # ################ /proc/22445/task/22457/stat : 22457 (java) S 22443 22445 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877350999 10800201728 941342 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22458] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22458/stat : 22458 (java) S 22443 22445 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877350999 10800201728 941342 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22459] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22459/stat : 22459 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351001 10800201728 941342 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624934321 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22460] ppid=22443 vsize=10547072 CPUtime=0.87 cores=0,2,4,6 /proc/22445/task/22460/stat : 22460 (java) S 22443 22445 21755 0 -1 4202560 3622 0 0 0 87 0 0 0 15 0 19 0 877351001 10800201728 941342 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22461] ppid=22443 vsize=10547072 CPUtime=0.7 cores=0,2,4,6 /proc/22445/task/22461/stat : 22461 (java) S 22443 22445 21755 0 -1 4202560 4919 0 0 0 70 0 0 0 15 0 19 0 877351002 10800201728 941342 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22462] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22462/stat : 22462 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351002 10800201728 941342 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22463] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22463/stat : 22463 (java) S 22443 22445 21755 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877351002 10800201728 941342 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22491] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22491/stat : 22491 (java) S 22443 22445 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877351062 10800201728 941342 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1666.21 Current children cumulated vsize (KiB) 10547072 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.40 3/214 22538 /proc/meminfo: memFree=24390056/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=10547072 CPUtime=1726.3 cores=0,2,4,6 /proc/22445/stat : 22445 (java) S 22443 22445 21755 0 -1 4202496 952200 0 1 0 172516 114 0 0 23 0 19 0 877350995 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/22445/statm: 2636768 943204 2244 9 0 2627502 0 [pid=22445/tid=22447] ppid=22443 vsize=10547072 CPUtime=1720.84 cores=0,2,4,6 /proc/22445/task/22447/stat : 22447 (java) R 22443 22445 21755 0 -1 4202560 841893 0 1 0 171999 85 0 0 25 0 19 0 877350996 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 46912506133470 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=22445/tid=22448] ppid=22443 vsize=10547072 CPUtime=0.49 cores=0,2,4,6 /proc/22445/task/22448/stat : 22448 (java) S 22443 22445 21755 0 -1 4202560 16245 0 0 0 47 2 0 0 16 0 19 0 877350998 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22449] ppid=22443 vsize=10547072 CPUtime=0.46 cores=0,2,4,6 /proc/22445/task/22449/stat : 22449 (java) S 22443 22445 21755 0 -1 4202560 14761 0 0 0 43 3 0 0 15 0 19 0 877350998 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22450] ppid=22443 vsize=10547072 CPUtime=0.47 cores=0,2,4,6 /proc/22445/task/22450/stat : 22450 (java) S 22443 22445 21755 0 -1 4202560 11245 0 0 0 44 3 0 0 15 0 19 0 877350998 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22451] ppid=22443 vsize=10547072 CPUtime=0.44 cores=0,2,4,6 /proc/22445/task/22451/stat : 22451 (java) S 22443 22445 21755 0 -1 4202560 10978 0 0 0 42 2 0 0 15 0 19 0 877350998 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22452] ppid=22443 vsize=10547072 CPUtime=0.46 cores=0,2,4,6 /proc/22445/task/22452/stat : 22452 (java) S 22443 22445 21755 0 -1 4202560 13287 0 0 0 45 1 0 0 15 0 19 0 877350998 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22453] ppid=22443 vsize=10547072 CPUtime=0.44 cores=0,2,4,6 /proc/22445/task/22453/stat : 22453 (java) S 22443 22445 21755 0 -1 4202560 11352 0 0 0 42 2 0 0 15 0 19 0 877350998 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22454] ppid=22443 vsize=10547072 CPUtime=0.47 cores=0,2,4,6 /proc/22445/task/22454/stat : 22454 (java) S 22443 22445 21755 0 -1 4202560 11459 0 0 0 45 2 0 0 15 0 19 0 877350998 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22455] ppid=22443 vsize=10547072 CPUtime=0.42 cores=0,2,4,6 /proc/22445/task/22455/stat : 22455 (java) S 22443 22445 21755 0 -1 4202560 11076 0 0 0 41 1 0 0 15 0 19 0 877350998 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22456] ppid=22443 vsize=10547072 CPUtime=0.12 cores=0,2,4,6 /proc/22445/task/22456/stat : 22456 (java) S 22443 22445 21755 0 -1 4202560 112 0 0 0 6 6 0 0 15 0 19 0 877350999 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 0 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22457] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22457/stat : 22457 (java) S 22443 22445 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877350999 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22458] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22458/stat : 22458 (java) S 22443 22445 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877350999 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22459] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22459/stat : 22459 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351001 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624934321 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22460] ppid=22443 vsize=10547072 CPUtime=0.87 cores=0,2,4,6 /proc/22445/task/22460/stat : 22460 (java) S 22443 22445 21755 0 -1 4202560 3623 0 0 0 87 0 0 0 15 0 19 0 877351001 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22461] ppid=22443 vsize=10547072 CPUtime=0.7 cores=0,2,4,6 /proc/22445/task/22461/stat : 22461 (java) S 22443 22445 21755 0 -1 4202560 4919 0 0 0 70 0 0 0 15 0 19 0 877351002 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22462] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22462/stat : 22462 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351002 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22463] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22463/stat : 22463 (java) S 22443 22445 21755 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877351002 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22491] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22491/stat : 22491 (java) S 22443 22445 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877351062 10800201728 943204 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1726.3 Current children cumulated vsize (KiB) 10547072 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.37 3/214 22539 /proc/meminfo: memFree=24382076/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=10547072 CPUtime=1786.37 cores=0,2,4,6 /proc/22445/stat : 22445 (java) S 22443 22445 21755 0 -1 4202496 952674 0 1 0 178522 115 0 0 23 0 19 0 877350995 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/22445/statm: 2636768 943649 2244 9 0 2627502 0 [pid=22445/tid=22447] ppid=22443 vsize=10547072 CPUtime=1780.82 cores=0,2,4,6 /proc/22445/task/22447/stat : 22447 (java) R 22443 22445 21755 0 -1 4202560 841911 0 1 0 177996 86 0 0 25 0 19 0 877350996 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 46912505861042 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=22445/tid=22448] ppid=22443 vsize=10547072 CPUtime=0.51 cores=0,2,4,6 /proc/22445/task/22448/stat : 22448 (java) S 22443 22445 21755 0 -1 4202560 16379 0 0 0 49 2 0 0 16 0 19 0 877350998 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22449] ppid=22443 vsize=10547072 CPUtime=0.47 cores=0,2,4,6 /proc/22445/task/22449/stat : 22449 (java) S 22443 22445 21755 0 -1 4202560 14806 0 0 0 44 3 0 0 15 0 19 0 877350998 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22450] ppid=22443 vsize=10547072 CPUtime=0.49 cores=0,2,4,6 /proc/22445/task/22450/stat : 22450 (java) S 22443 22445 21755 0 -1 4202560 11255 0 0 0 46 3 0 0 15 0 19 0 877350998 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22451] ppid=22443 vsize=10547072 CPUtime=0.45 cores=0,2,4,6 /proc/22445/task/22451/stat : 22451 (java) S 22443 22445 21755 0 -1 4202560 11027 0 0 0 43 2 0 0 16 0 19 0 877350998 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22452] ppid=22443 vsize=10547072 CPUtime=0.47 cores=0,2,4,6 /proc/22445/task/22452/stat : 22452 (java) S 22443 22445 21755 0 -1 4202560 13298 0 0 0 46 1 0 0 15 0 19 0 877350998 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22453] ppid=22443 vsize=10547072 CPUtime=0.45 cores=0,2,4,6 /proc/22445/task/22453/stat : 22453 (java) S 22443 22445 21755 0 -1 4202560 11374 0 0 0 43 2 0 0 15 0 19 0 877350998 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22454] ppid=22443 vsize=10547072 CPUtime=0.48 cores=0,2,4,6 /proc/22445/task/22454/stat : 22454 (java) S 22443 22445 21755 0 -1 4202560 11516 0 0 0 46 2 0 0 15 0 19 0 877350998 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22455] ppid=22443 vsize=10547072 CPUtime=0.43 cores=0,2,4,6 /proc/22445/task/22455/stat : 22455 (java) S 22443 22445 21755 0 -1 4202560 11200 0 0 0 42 1 0 0 16 0 19 0 877350998 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22456] ppid=22443 vsize=10547072 CPUtime=0.12 cores=0,2,4,6 /proc/22445/task/22456/stat : 22456 (java) S 22443 22445 21755 0 -1 4202560 114 0 0 0 6 6 0 0 15 0 19 0 877350999 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 0 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22457] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22457/stat : 22457 (java) S 22443 22445 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877350999 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22458] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22458/stat : 22458 (java) S 22443 22445 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877350999 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22459] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22459/stat : 22459 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351001 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624934321 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22460] ppid=22443 vsize=10547072 CPUtime=0.87 cores=0,2,4,6 /proc/22445/task/22460/stat : 22460 (java) S 22443 22445 21755 0 -1 4202560 3623 0 0 0 87 0 0 0 15 0 19 0 877351001 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22461] ppid=22443 vsize=10547072 CPUtime=0.7 cores=0,2,4,6 /proc/22445/task/22461/stat : 22461 (java) S 22443 22445 21755 0 -1 4202560 4919 0 0 0 70 0 0 0 15 0 19 0 877351002 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22462] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22462/stat : 22462 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351002 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22463] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22463/stat : 22463 (java) S 22443 22445 21755 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877351002 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22491] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22491/stat : 22491 (java) S 22443 22445 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877351062 10800201728 943649 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1786.37 Current children cumulated vsize (KiB) 10547072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796 s] /proc/loadavg: 2.08 2.02 2.37 3/214 22599 /proc/meminfo: memFree=28040716/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=10547072 CPUtime=1800.09 cores=0,2,4,6 /proc/22445/stat : 22445 (java) S 22443 22445 21755 0 -1 4202496 952726 0 1 0 179894 115 0 0 23 0 19 0 877350995 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/22445/statm: 2636768 943693 2244 9 0 2627502 0 [pid=22445/tid=22447] ppid=22443 vsize=10547072 CPUtime=1794.51 cores=0,2,4,6 /proc/22445/task/22447/stat : 22447 (java) R 22443 22445 21755 0 -1 4202560 841915 0 1 0 179365 86 0 0 25 0 19 0 877350996 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 46912505583018 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=22445/tid=22448] ppid=22443 vsize=10547072 CPUtime=0.51 cores=0,2,4,6 /proc/22445/task/22448/stat : 22448 (java) S 22443 22445 21755 0 -1 4202560 16381 0 0 0 49 2 0 0 15 0 19 0 877350998 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22449] ppid=22443 vsize=10547072 CPUtime=0.47 cores=0,2,4,6 /proc/22445/task/22449/stat : 22449 (java) S 22443 22445 21755 0 -1 4202560 14808 0 0 0 44 3 0 0 16 0 19 0 877350998 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22450] ppid=22443 vsize=10547072 CPUtime=0.49 cores=0,2,4,6 /proc/22445/task/22450/stat : 22450 (java) S 22443 22445 21755 0 -1 4202560 11258 0 0 0 46 3 0 0 15 0 19 0 877350998 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22451] ppid=22443 vsize=10547072 CPUtime=0.45 cores=0,2,4,6 /proc/22445/task/22451/stat : 22451 (java) S 22443 22445 21755 0 -1 4202560 11031 0 0 0 43 2 0 0 15 0 19 0 877350998 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22452] ppid=22443 vsize=10547072 CPUtime=0.47 cores=0,2,4,6 /proc/22445/task/22452/stat : 22452 (java) S 22443 22445 21755 0 -1 4202560 13298 0 0 0 46 1 0 0 16 0 19 0 877350998 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22453] ppid=22443 vsize=10547072 CPUtime=0.45 cores=0,2,4,6 /proc/22445/task/22453/stat : 22453 (java) S 22443 22445 21755 0 -1 4202560 11394 0 0 0 43 2 0 0 15 0 19 0 877350998 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22454] ppid=22443 vsize=10547072 CPUtime=0.48 cores=0,2,4,6 /proc/22445/task/22454/stat : 22454 (java) S 22443 22445 21755 0 -1 4202560 11529 0 0 0 46 2 0 0 15 0 19 0 877350998 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22455] ppid=22443 vsize=10547072 CPUtime=0.43 cores=0,2,4,6 /proc/22445/task/22455/stat : 22455 (java) S 22443 22445 21755 0 -1 4202560 11200 0 0 0 42 1 0 0 15 0 19 0 877350998 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22456] ppid=22443 vsize=10547072 CPUtime=0.12 cores=0,2,4,6 /proc/22445/task/22456/stat : 22456 (java) S 22443 22445 21755 0 -1 4202560 116 0 0 0 6 6 0 0 15 0 19 0 877350999 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 0 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22457] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22457/stat : 22457 (java) S 22443 22445 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877350999 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22458] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22458/stat : 22458 (java) S 22443 22445 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877350999 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22459] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22459/stat : 22459 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351001 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624934321 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 [pid=22445/tid=22460] ppid=22443 vsize=10547072 CPUtime=0.87 cores=0,2,4,6 /proc/22445/task/22460/stat : 22460 (java) S 22443 22445 21755 0 -1 4202560 3623 0 0 0 87 0 0 0 15 0 19 0 877351001 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22461] ppid=22443 vsize=10547072 CPUtime=0.7 cores=0,2,4,6 /proc/22445/task/22461/stat : 22461 (java) S 22443 22445 21755 0 -1 4202560 4919 0 0 0 70 0 0 0 15 0 19 0 877351002 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 2 0 0 0 [pid=22445/tid=22462] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22462/stat : 22462 (java) S 22443 22445 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877351002 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624926617 0 4 0 16800975 18446604440278207360 0 0 -1 6 0 0 0 [pid=22445/tid=22463] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22463/stat : 22463 (java) S 22443 22445 21755 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877351002 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 0 0 0 0 [pid=22445/tid=22491] ppid=22443 vsize=10547072 CPUtime=0 cores=0,2,4,6 /proc/22445/task/22491/stat : 22491 (java) S 22443 22445 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877351062 10800201728 943693 33554432000 1073741824 1073778376 140733616467936 18446744073709551615 270624927232 0 4 0 16800975 18446604440278207360 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 10547072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.11 s] /proc/loadavg: 2.08 2.02 2.37 3/214 22599 /proc/meminfo: memFree=28040716/32951124 swapFree=67052292/67111528 [pid=22445] ppid=22443 vsize=0 CPUtime=1800.23 cores=0,2,4,6 /proc/22445/stat : 22445 (java) Z 22443 22445 21755 0 -1 4203548 952757 0 1 0 179901 122 0 0 17 0 2 0 877350995 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/22445/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1796.18 CPU time (s): 1800.31 CPU user time (s): 1799.02 CPU system time (s): 1.2928 CPU usage (%): 100.23 Max. virtual memory (cumulated for all children) (KiB): 10547072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.02 system time used= 1.2928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 952757 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 48653 involuntary context switches= 17950 runsolver used 3.3025 second user time and 6.51601 second system time The end
Begin job on node108 at 2011-06-10 00:11:41 IDJOB=3456805 IDBENCH=2371 IDSOLVER=1951 FILE ID=node108/3456805-1307657500 RUNJOBID= node108-1307657500-22427 PBS_JOBID= 13549416 Free space on /tmp= 74080 MiB SOLVER NAME= Sat4j CuttingPlanes 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456805-1307657500/watcher-3456805-1307657500 -o /tmp/evaluation-result-3456805-1307657500/solver-3456805-1307657500 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456805-1307657500.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 77d03e06bcf76c9b07fd6535ab6acb65 RANDOM SEED=326455823 node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32042776 kB Buffers: 230780 kB Cached: 430052 kB SwapCached: 25900 kB Active: 391400 kB Inactive: 305312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32042776 kB SwapTotal: 67111528 kB SwapFree: 67052292 kB Dirty: 3920 kB Writeback: 0 kB AnonPages: 30648 kB Mapped: 8724 kB Slab: 147608 kB PageTables: 4432 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 194808 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74084 MiB End job on node108 at 2011-06-10 00:41:39