Trace number 3743968

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO) 1800.19 921.176

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_3_mh_ic.opb
MD5SUMbd1f23f2ad95dce248911d20ecda08b7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4397958
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 109215352
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 5000695793
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 109215352
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 5000695793
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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

Verifier Data

OK	4477760

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3743968-1338799117/watcher-3743968-1338799117 -o /tmp/evaluation-result-3743968-1338799117/solver-3743968-1338799117 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743968-1338799117.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.86 2.74 2.75 4/197 10877
/proc/meminfo: memFree=27964988/32873844 swapFree=7120/7120
[pid=10877] ppid=10875 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10877/stat : 10877 (java6) R 10875 10877 7918 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 346036603 9515008 182 33554432000 1073741824 1073778376 140734498738176 140734498729208 233220947637 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10877/statm: 2323 182 140 9 0 71 0

[startup+0.055668 s]
/proc/loadavg: 2.86 2.74 2.75 4/197 10877
/proc/meminfo: memFree=27964988/32873844 swapFree=7120/7120
[pid=10877] ppid=10875 vsize=2367080 CPUtime=0.03 cores=1,3,5,7
/proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 3728 0 1 0 2 1 0 0 20 0 13 0 346036603 2423889920 4935 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10877/statm: 591770 4935 1700 9 0 582471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080

[startup+0.100237 s]
/proc/loadavg: 2.86 2.74 2.75 4/197 10877
/proc/meminfo: memFree=27964988/32873844 swapFree=7120/7120
[pid=10877] ppid=10875 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 4119 0 1 0 6 1 0 0 20 0 18 0 346036603 2764726272 5837 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10877/statm: 674982 5837 1932 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928

[startup+0.300202 s]
/proc/loadavg: 2.86 2.74 2.75 4/197 10877
/proc/meminfo: memFree=27964988/32873844 swapFree=7120/7120
[pid=10877] ppid=10875 vsize=2699928 CPUtime=0.5 cores=1,3,5,7
/proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 6186 0 1 0 48 2 0 0 20 0 18 0 346036603 2764726272 10172 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10877/statm: 674982 10172 2228 9 0 665676 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2699928

[startup+0.700198 s]
/proc/loadavg: 2.86 2.74 2.75 4/197 10877
/proc/meminfo: memFree=27964988/32873844 swapFree=7120/7120
[pid=10877] ppid=10875 vsize=2833056 CPUtime=1.63 cores=1,3,5,7
/proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 14262 0 1 0 157 6 0 0 20 0 20 0 346036603 2901049344 32211 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10877/statm: 708264 32250 2257 9 0 698958 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 2833056

[startup+1.50068 s]
/proc/loadavg: 3.11 2.79 2.77 7/219 10899
/proc/meminfo: memFree=27807216/32873844 swapFree=7120/7120
[pid=10877] ppid=10875 vsize=2966184 CPUtime=3.2 cores=1,3,5,7
/proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 20621 0 1 0 311 9 0 0 20 0 20 0 346036603 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10877/statm: 741546 43043 2263 9 0 732240 0
[pid=10877/tid=10879] ppid=10875 vsize=2966184 CPUtime=0.55 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (java) S 10875 10877 7918 0 -1 4202560 2835 0 1 0 52 3 0 0 20 0 20 0 346036604 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180787373208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180771654056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10881] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10881/stat : 10881 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180770601512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10882] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10882/stat : 10882 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180769548456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 5954 0 0 0 85 1 0 0 20 0 20 0 346036610 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=0.85 cores=1,3,5,7
/proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 10509 0 0 0 84 1 0 0 20 0 20 0 346036610 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036674 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10899] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10899/stat : 10899 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036674 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180622087080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 2966184

[startup+3.10068 s]
/proc/loadavg: 3.11 2.79 2.77 3/217 10901
/proc/meminfo: memFree=27768176/32873844 swapFree=7120/7120
[pid=10877] ppid=10875 vsize=2966184 CPUtime=3.77 cores=1,3,5,7
/proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 21438 0 1 0 364 13 0 0 20 0 20 0 346036603 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10877/statm: 741546 58403 2263 9 0 732240 0
[pid=10877/tid=10879] ppid=10875 vsize=2966184 CPUtime=0.62 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (java) S 10875 10877 7918 0 -1 4202560 2838 0 1 0 58 4 0 0 20 0 20 0 346036604 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180787373208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180771654056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10881] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10881/stat : 10881 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180770601512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10882] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10882/stat : 10882 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180769548456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 5954 0 0 0 98 1 0 0 20 0 20 0 346036610 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 11287 0 0 0 97 2 0 0 20 0 20 0 346036610 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036674 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10899] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10899/stat : 10899 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036674 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180622087080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 2966184

[startup+6.30068 s]
/proc/loadavg: 3.11 2.79 2.77 3/217 10907
/proc/meminfo: memFree=27679500/32873844 swapFree=7120/7120
[pid=10877] ppid=10875 vsize=2966184 CPUtime=4.45 cores=1,3,5,7
/proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 21512 0 1 0 426 19 0 0 20 0 20 0 346036603 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10877/statm: 741546 84973 2265 9 0 732240 0
[pid=10877/tid=10879] ppid=10875 vsize=2966184 CPUtime=0.7 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (java) S 10875 10877 7918 0 -1 4202560 2841 0 1 0 66 4 0 0 20 0 20 0 346036604 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180787373192 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180771654056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10881] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10881/stat : 10881 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180770601512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10882] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10882/stat : 10882 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180769548456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 5954 0 0 0 103 1 0 0 20 0 20 0 346036610 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=1.08 cores=1,3,5,7
/proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 11287 0 0 0 106 2 0 0 20 0 20 0 346036610 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036674 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

################
# More data... #
################

[pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=5.96 cores=1,3,5,7
/proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 314 0 0 0 586 10 0 0 20 0 22 0 346036605 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=5.97 cores=1,3,5,7
/proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 314 0 0 0 586 11 0 0 20 0 22 0 346036605 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=6.04 cores=1,3,5,7
/proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 311 0 0 0 595 9 0 0 20 0 22 0 346036605 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=6.12 cores=1,3,5,7
/proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 329 0 0 0 601 11 0 0 20 0 22 0 346036605 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=5.94 cores=1,3,5,7
/proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 321 0 0 0 585 9 0 0 20 0 22 0 346036605 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=22.41 cores=1,3,5,7
/proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 7541 0 0 0 2144 97 0 0 20 0 22 0 346036607 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=1.29 cores=1,3,5,7
/proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 6047 0 0 0 128 1 0 0 20 0 22 0 346036610 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=1.62 cores=1,3,5,7
/proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 11307 0 0 0 160 2 0 0 20 0 22 0 346036610 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 48 0 0 0 29 18 0 0 20 0 22 0 346036610 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10899] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10899/stat : 10899 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180622087080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10965] ppid=10875 vsize=2966184 CPUtime=80.49 cores=1,3,5,7
/proc/10877/task/10965/stat : 10965 (java) R 10875 10877 7918 0 -1 4202560 64 0 0 0 8048 1 0 0 20 0 22 0 346116337 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180624190624 140180636610452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10966] ppid=10875 vsize=2966184 CPUtime=80.5 cores=1,3,5,7
/proc/10877/task/10966/stat : 10966 (java) R 10875 10877 7918 0 -1 4202560 81 0 0 0 8049 1 0 0 20 0 22 0 346116337 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180625242328 140180636253178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1720.14
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+921.101 s]
/proc/loadavg: 2.19 2.35 2.70 3/192 10967
/proc/meminfo: memFree=27929824/32873844 swapFree=7120/7120
[pid=10877] ppid=10875 vsize=2966184 CPUtime=1797.03 cores=1,3,5,7
/proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 34322 0 1 0 179443 260 0 0 20 0 22 0 346036603 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10877/statm: 741546 189495 2290 9 0 732240 0
[pid=10877/tid=10879] ppid=10875 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (java) S 10875 10877 7918 0 -1 4202560 2880 0 1 0 94 5 0 0 20 0 22 0 346036604 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180787373192 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=2966184 CPUtime=6.35 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (java) S 10875 10877 7918 0 -1 4202560 317 0 0 0 625 10 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180771654056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10881] ppid=10875 vsize=2966184 CPUtime=6.16 cores=1,3,5,7
/proc/10877/task/10881/stat : 10881 (java) S 10875 10877 7918 0 -1 4202560 315 0 0 0 607 9 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180770601512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10882] ppid=10875 vsize=2966184 CPUtime=6.32 cores=1,3,5,7
/proc/10877/task/10882/stat : 10882 (java) S 10875 10877 7918 0 -1 4202560 328 0 0 0 621 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180769548456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=6.22 cores=1,3,5,7
/proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 315 0 0 0 611 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=6.27 cores=1,3,5,7
/proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 314 0 0 0 616 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=6.33 cores=1,3,5,7
/proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 311 0 0 0 623 10 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=6.43 cores=1,3,5,7
/proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 329 0 0 0 632 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=6.21 cores=1,3,5,7
/proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 321 0 0 0 612 9 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=23.98 cores=1,3,5,7
/proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 8237 0 0 0 2297 101 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=1.29 cores=1,3,5,7
/proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 6047 0 0 0 128 1 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=1.62 cores=1,3,5,7
/proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 11307 0 0 0 160 2 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0.49 cores=1,3,5,7
/proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 49 0 0 0 30 19 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10899] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10899/stat : 10899 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180622087080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10965] ppid=10875 vsize=2966184 CPUtime=116.86 cores=1,3,5,7
/proc/10877/task/10965/stat : 10965 (java) R 10875 10877 7918 0 -1 4202560 91 0 0 0 11685 1 0 0 20 0 22 0 346116337 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180624189856 140180636663639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10966] ppid=10875 vsize=2966184 CPUtime=116.9 cores=1,3,5,7
/proc/10877/task/10966/stat : 10966 (java) R 10875 10877 7918 0 -1 4202560 121 0 0 0 11689 1 0 0 20 0 22 0 346116337 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180625243120 140180636853101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 2966184

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+921.101 s]
/proc/loadavg: 2.19 2.35 2.70 3/192 10967
/proc/meminfo: memFree=27929824/32873844 swapFree=7120/7120
[pid=10877] ppid=10875 vsize=2966184 CPUtime=1797.03 cores=1,3,5,7
/proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 34322 0 1 0 179443 260 0 0 20 0 22 0 346036603 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10877/statm: 741546 189495 2290 9 0 732240 0
[pid=10877/tid=10879] ppid=10875 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (java) S 10875 10877 7918 0 -1 4202560 2880 0 1 0 94 5 0 0 20 0 22 0 346036604 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180787373192 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=2966184 CPUtime=6.35 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (java) S 10875 10877 7918 0 -1 4202560 317 0 0 0 625 10 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180771654056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10881] ppid=10875 vsize=2966184 CPUtime=6.16 cores=1,3,5,7
/proc/10877/task/10881/stat : 10881 (java) S 10875 10877 7918 0 -1 4202560 315 0 0 0 607 9 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180770601512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10882] ppid=10875 vsize=2966184 CPUtime=6.32 cores=1,3,5,7
/proc/10877/task/10882/stat : 10882 (java) S 10875 10877 7918 0 -1 4202560 328 0 0 0 621 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180769548456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=6.22 cores=1,3,5,7
/proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 315 0 0 0 611 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=6.27 cores=1,3,5,7
/proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 314 0 0 0 616 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=6.33 cores=1,3,5,7
/proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 311 0 0 0 623 10 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=6.43 cores=1,3,5,7
/proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 329 0 0 0 632 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=6.21 cores=1,3,5,7
/proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 321 0 0 0 612 9 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=23.98 cores=1,3,5,7
/proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 8237 0 0 0 2297 101 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=1.29 cores=1,3,5,7
/proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 6047 0 0 0 128 1 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=1.62 cores=1,3,5,7
/proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 11307 0 0 0 160 2 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0.49 cores=1,3,5,7
/proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 49 0 0 0 30 19 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10899] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10899/stat : 10899 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180622087080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10965] ppid=10875 vsize=2966184 CPUtime=116.86 cores=1,3,5,7
/proc/10877/task/10965/stat : 10965 (java) R 10875 10877 7918 0 -1 4202560 91 0 0 0 11685 1 0 0 20 0 22 0 346116337 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180624189856 140180636663639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10877/tid=10966] ppid=10875 vsize=2966184 CPUtime=116.9 cores=1,3,5,7
/proc/10877/task/10966/stat : 10966 (java) R 10875 10877 7918 0 -1 4202560 121 0 0 0 11689 1 0 0 20 0 22 0 346116337 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180625243120 140180636853101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 2966184

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10877 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=158246
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=833569
# CPU time returned by wait4() is 1796.99
# while last known CPU time is 1797.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.16014
#  lost CPU user time (s): 3.36995
#  lost CPU system time (s): -0.21

Real time (s): 921.176
CPU time (s): 1800.19
CPU user time (s): 1797.8
CPU system time (s): 2.39
CPU usage (%): 195.423
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.16
system time used= 2.83357
maximum resident set size= 758384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34353
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72106
involuntary context switches= 129161

runsolver used 4.09138 second user time and 8.77467 second system time

The end

Launcher Data

Begin job on node142 at 2012-06-04 10:38:37
IDJOB=3743968
IDBENCH=92657
IDSOLVER=2324
FILE ID=node142/3743968-1338799117
RUNJOBID= node142-1338781619-7935
PBS_JOBID= 14636832
Free space on /tmp= 71184 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_3_mh_ic.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743968-1338799117/watcher-3743968-1338799117 -o /tmp/evaluation-result-3743968-1338799117/solver-3743968-1338799117 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743968-1338799117.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bd1f23f2ad95dce248911d20ecda08b7
RANDOM SEED=674890184

node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27964988 kB
Buffers:          391740 kB
Cached:          2970496 kB
SwapCached:            0 kB
Active:          2025512 kB
Inactive:        2058232 kB
Active(anon):     712800 kB
Inactive(anon):    11220 kB
Active(file):    1312712 kB
Inactive(file):  2047012 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:        730160 kB
Mapped:            18568 kB
Shmem:               200 kB
Slab:             682452 kB
SReclaimable:     124308 kB
SUnreclaim:       558144 kB
KernelStack:        1712 kB
PageTables:         5656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1573264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    669696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71188 MiB
End job on node142 at 2012-06-04 10:54:00