Trace number 3744004

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.55 939.265

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_1_mh_ic.opb
MD5SUMf4c34ee83da7e36be7881d34beece196
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1396365
Best CPU time to get the best result obtained on this benchmark680.72
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 57066625
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 2537601947
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 57066625
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 2537601947
Number of bits of the biggest sum of numbers32
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.2.0.v20100531
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		1349517296
0.01/0.09	c Max memory 		1356595200
0.01/0.09	c Total memory 		1356595200
0.01/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-3744004-1338799819.opb
0.07/0.12	c reading problem ... 
1.03/0.59	c ... done. Wall clock time 0.475s.
1.03/0.59	c #vars     9765
1.03/0.59	c #constraints  21983
1.03/0.59	c constraints type 
1.03/0.59	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
1.03/0.59	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1.03/0.59	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
1.03/0.59	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015
1.03/0.59	c constraints type 
1.03/0.59	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885
1.03/0.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001
1.03/0.59	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
1.03/0.59	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015
2.83/1.08	c And the winner is Resolution
3.46/1.62	c SATISFIABLE
3.46/1.62	c OPTIMIZING...
3.46/1.62	c Got one! Elapsed wall clock time (in seconds):1.505
3.46/1.62	o 7832356
3.67/1.78	c And the winner is Resolution
3.91/2.65	c Got one! Elapsed wall clock time (in seconds):2.535
3.91/2.65	o 2351725
4.27/2.80	c And the winner is Resolution
4.32/3.68	c Got one! Elapsed wall clock time (in seconds):3.564
4.32/3.68	o 1977612
11.14/6.95	c cleaning 2494 clauses out of 4997 with flag 5001/5001
19.83/11.07	c cleaning 4244 clauses out of 8503 with flag 11002/11002
29.01/15.62	c cleaning 5621 clauses out of 11257 with flag 18000/18000
40.87/21.50	c cleaning 6810 clauses out of 13638 with flag 26002/26002
54.03/28.13	c cleaning 7905 clauses out of 15826 with flag 35000/35000
66.19/34.21	c cleaning 8956 clauses out of 17923 with flag 45002/45002
82.00/42.12	c cleaning 9973 clauses out of 19965 with flag 56000/56000
98.27/50.25	c cleaning 10988 clauses out of 21993 with flag 68001/68001
115.69/58.95	c cleaning 12002 clauses out of 24007 with flag 81003/81003
118.22/60.22	c And the winner is Resolution
121.60/64.72	c Got one! Elapsed wall clock time (in seconds):64.605
121.60/64.72	o 1977549
121.80/64.84	c And the winner is Resolution
121.95/65.75	c Got one! Elapsed wall clock time (in seconds):65.628
121.95/65.75	o 1918881
122.67/66.19	c And the winner is Resolution
122.93/66.77	c Got one! Elapsed wall clock time (in seconds):66.652
122.93/66.77	o 1873362
137.53/74.00	c cleaning 12992 clauses out of 26002 with flag 95000/95000
155.74/83.12	c cleaning 13996 clauses out of 28010 with flag 110000/110000
161.28/85.98	c And the winner is Resolution
163.05/87.80	c Got one! Elapsed wall clock time (in seconds):87.677
163.05/87.80	o 1842567
163.67/88.17	c And the winner is Resolution
163.89/88.82	c Got one! Elapsed wall clock time (in seconds):88.701
163.89/88.82	o 1751605
172.87/93.30	c And the winner is Resolution
172.90/93.84	c Got one! Elapsed wall clock time (in seconds):93.725
172.90/93.84	o 1714649
175.02/94.97	c cleaning 15004 clauses out of 30015 with flag 126001/126001
175.31/95.18	c And the winner is Resolution
175.56/95.87	c Got one! Elapsed wall clock time (in seconds):95.748
175.56/95.87	o 1710660
176.63/96.47	c And the winner is Resolution
176.86/96.89	c Got one! Elapsed wall clock time (in seconds):96.771
176.86/96.89	o 1699753
199.03/107.95	c cleaning 15995 clauses out of 32007 with flag 143000/143000
221.63/119.27	c cleaning 16999 clauses out of 34013 with flag 161001/161001
248.20/132.58	c cleaning 18004 clauses out of 36015 with flag 180002/180002
276.76/146.90	c cleaning 18999 clauses out of 38009 with flag 200000/200000
278.20/147.64	c And the winner is Resolution
301.92/172.09	c Got one! Elapsed wall clock time (in seconds):171.974
301.92/172.09	o 1686935
330.07/186.14	c cleaning 20001 clauses out of 40011 with flag 221001/221001
359.39/200.78	c cleaning 20999 clauses out of 42009 with flag 243000/243000
386.49/214.27	c cleaning 21499 clauses out of 43011 with flag 265001/265001
413.94/227.91	c cleaning 21743 clauses out of 43511 with flag 287000/287000
448.20/245.01	c cleaning 21885 clauses out of 43771 with flag 309003/309003
481.12/261.41	c cleaning 21938 clauses out of 43883 with flag 331000/331000
515.32/278.42	c cleaning 21964 clauses out of 43945 with flag 353000/353000
544.85/293.16	c cleaning 21980 clauses out of 43981 with flag 375000/375000
580.86/311.15	c cleaning 21992 clauses out of 44003 with flag 397002/397002
617.32/329.31	c cleaning 21999 clauses out of 44009 with flag 419000/419000
621.59/331.51	c And the winner is Resolution
621.77/332.51	c Got one! Elapsed wall clock time (in seconds):332.389
621.77/332.51	o 1673337
650.39/346.75	c cleaning 22002 clauses out of 44010 with flag 441000/441000
676.46/359.71	c And the winner is Resolution
679.42/363.54	c Got one! Elapsed wall clock time (in seconds):363.416
679.42/363.54	o 1670180
683.99/365.85	c cleaning 21999 clauses out of 44007 with flag 463000/463000
696.82/372.33	c And the winner is Resolution
697.76/373.56	c Got one! Elapsed wall clock time (in seconds):373.441
697.76/373.56	o 1634516
702.71/376.00	c And the winner is Resolution
703.39/377.58	c Got one! Elapsed wall clock time (in seconds):377.466
703.39/377.58	o 1632518
708.88/380.37	c cleaning 22001 clauses out of 44008 with flag 485002/485002
711.11/381.57	c And the winner is Resolution
711.52/382.61	c Got one! Elapsed wall clock time (in seconds):382.49
711.52/382.61	o 1625016
718.12/385.99	c And the winner is Resolution
718.59/386.63	c Got one! Elapsed wall clock time (in seconds):386.515
718.59/386.63	o 1492662
738.54/396.53	c cleaning 21991 clauses out of 44004 with flag 507000/507000
769.44/411.94	c cleaning 21998 clauses out of 44013 with flag 529000/529000
800.59/427.40	c cleaning 21992 clauses out of 44016 with flag 551001/551001
828.66/441.51	c cleaning 22002 clauses out of 44024 with flag 573001/573001
831.88/443.21	c And the winner is Resolution
832.03/443.78	c Got one! Elapsed wall clock time (in seconds):443.662
832.03/443.78	o 1492053
863.95/459.69	c cleaning 22001 clauses out of 44020 with flag 595000/595000
895.57/475.49	c cleaning 22003 clauses out of 44019 with flag 617000/617000
926.22/490.77	c cleaning 21989 clauses out of 44016 with flag 639000/639000
953.89/504.62	c cleaning 22002 clauses out of 44028 with flag 661001/661001
980.63/518.07	c cleaning 22004 clauses out of 44025 with flag 683000/683000
1008.05/531.72	c cleaning 22003 clauses out of 44018 with flag 705001/705001
1009.44/532.60	c And the winner is Resolution
1012.58/536.33	c Got one! Elapsed wall clock time (in seconds):536.214
1012.58/536.33	o 1477352
1034.30/547.15	c cleaning 21998 clauses out of 44012 with flag 727000/727000
1060.00/560.05	c cleaning 21989 clauses out of 44014 with flag 749000/749000
1087.46/573.72	c cleaning 21995 clauses out of 44026 with flag 771001/771001
1112.44/586.27	c cleaning 22006 clauses out of 44033 with flag 793003/793003
1136.40/598.26	c cleaning 21999 clauses out of 44024 with flag 815000/815000
1158.83/609.52	c cleaning 22005 clauses out of 44025 with flag 837000/837000
1180.47/620.36	c cleaning 22002 clauses out of 44020 with flag 859000/859000
1204.69/632.44	c cleaning 21996 clauses out of 44019 with flag 881001/881001
1229.50/644.85	c cleaning 21995 clauses out of 44023 with flag 903001/903001
1255.37/657.88	c And the winner is Resolution
1256.01/659.83	c Got one! Elapsed wall clock time (in seconds):659.715
1256.01/659.83	o 1463637
1256.74/660.25	c cleaning 22009 clauses out of 44030 with flag 925003/925003
1279.08/671.43	c cleaning 22000 clauses out of 44018 with flag 947000/947000
1299.08/681.42	c cleaning 22002 clauses out of 44020 with flag 969002/969002
1303.24/683.65	c And the winner is Resolution
1305.03/685.87	c Got one! Elapsed wall clock time (in seconds):685.747
1305.03/685.87	o 1463625
1323.10/694.80	c cleaning 21997 clauses out of 44015 with flag 991000/991000
1346.50/706.64	c cleaning 21995 clauses out of 44018 with flag 1013000/1013000
1350.07/708.52	c And the winner is Resolution
1351.08/710.27	c Got one! Elapsed wall clock time (in seconds):710.147
1351.08/710.27	o 1462950
1371.53/720.45	c cleaning 22003 clauses out of 44023 with flag 1035001/1035001
1393.63/731.51	c cleaning 22002 clauses out of 44019 with flag 1057000/1057000
1415.56/742.54	c cleaning 22001 clauses out of 44017 with flag 1079000/1079000
1439.69/754.71	c cleaning 22004 clauses out of 44020 with flag 1101004/1101004
1464.68/767.23	c cleaning 21992 clauses out of 44012 with flag 1123000/1123000
1488.78/779.32	c cleaning 22007 clauses out of 44022 with flag 1145002/1145002
1514.29/792.16	c cleaning 22001 clauses out of 44015 with flag 1167002/1167002
1531.06/800.68	c And the winner is Resolution
1537.52/807.66	c Got one! Elapsed wall clock time (in seconds):807.537
1537.52/807.66	o 1459155
1546.70/812.28	c cleaning 22001 clauses out of 44012 with flag 1189001/1189001
1571.92/824.85	c cleaning 21994 clauses out of 44012 with flag 1211002/1211002
1594.78/836.37	c cleaning 21987 clauses out of 44016 with flag 1233000/1233000
1617.15/847.51	c cleaning 21993 clauses out of 44029 with flag 1255000/1255000
1643.50/860.86	c cleaning 22012 clauses out of 44037 with flag 1277001/1277001
1660.94/869.63	c And the winner is Resolution
1661.08/870.19	c Got one! Elapsed wall clock time (in seconds):870.069
1661.08/870.19	o 1438959
1670.41/874.83	c cleaning 22004 clauses out of 44023 with flag 1299000/1299000
1697.34/888.31	c cleaning 22005 clauses out of 44020 with flag 1321001/1321001
1722.54/900.95	c cleaning 21992 clauses out of 44014 with flag 1343000/1343000
1747.38/913.58	c cleaning 22005 clauses out of 44026 with flag 1365004/1365004
1774.05/926.95	c cleaning 21998 clauses out of 44018 with flag 1387001/1387001
1798.51/939.22	c starts		: 214
1798.51/939.22	c conflicts		: 1406760
1798.51/939.22	c decisions		: 3054874
1798.51/939.22	c propagations		: 430467982
1798.51/939.22	c inspects		: 1953747586
1798.51/939.22	c learnt literals	: 23
1798.51/939.22	c learnt binary clauses	: 94
1798.51/939.22	c learnt ternary clauses	: 266
1798.51/939.22	c learnt clauses	: 1406737
1798.51/939.22	c ignored clauses	: 0
1798.51/939.22	c root simplifications	: 0
1798.51/939.22	c removed literals (reason simplification)	: 19554331
1798.51/939.22	c reason swapping (by a shorter reason)	: 0
1798.51/939.22	c Calls to reduceDB	: 70
1798.51/939.22	c number of reductions to clauses (during analyze)	: 0
1798.51/939.22	c number of learned constraints concerned by reduction	: 0
1798.51/939.22	c number of learning phase by resolution	: 0
1798.51/939.22	c number of learning phase by cutting planes	: 0
1798.51/939.22	c speed (assignments/second)	: 6236859.823239641
1798.51/939.22	c non guided choices	5781
1798.51/939.23	c learnt constraints type 
1798.51/939.23	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 41706
1798.51/939.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 94
1798.51/939.23	c constraints type 
1798.51/939.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
1798.51/939.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1798.51/939.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
1798.51/939.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016
1798.51/939.23	c constraints type 
1798.51/939.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885
1798.51/939.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001
1798.51/939.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
1798.51/939.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016
1798.51/939.23	s SATISFIABLE
1798.51/939.24	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 
1798.51/939.25	c objective function=1438959
1798.51/939.25	c Total wall clock time (in seconds): 939.134

Verifier Data

OK	1438959

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.77 2.87 2.71 3/194 18086
/proc/meminfo: memFree=23712240/32873648 swapFree=6852/6852
[pid=18086] ppid=18084 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/18086/stat : 18086 (java6) D 18084 18086 15509 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 346109154 9515008 184 33554432000 1073741824 1073778376 140735607091824 140735607083048 213866147255 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/18086/statm: 2323 184 142 9 0 71 0

[startup+0.0441971 s]
/proc/loadavg: 2.77 2.87 2.71 3/194 18086
/proc/meminfo: memFree=23712240/32873648 swapFree=6852/6852
[pid=18086] ppid=18084 vsize=2301544 CPUtime=0.01 cores=0,2,4,6
/proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 3659 0 1 0 1 0 0 0 20 0 13 0 346109154 2356781056 4868 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18086/statm: 591770 4868 1657 9 0 582471 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2301544

[startup+0.100263 s]
/proc/loadavg: 2.77 2.87 2.71 3/194 18086
/proc/meminfo: memFree=23712240/32873648 swapFree=6852/6852
[pid=18086] ppid=18084 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 4476 0 1 0 7 0 0 0 20 0 18 0 346109154 2764726272 6187 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18086/statm: 674982 6191 2036 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928

[startup+0.300245 s]
/proc/loadavg: 2.77 2.87 2.71 3/194 18086
/proc/meminfo: memFree=23712240/32873648 swapFree=6852/6852
[pid=18086] ppid=18084 vsize=2699928 CPUtime=0.49 cores=0,2,4,6
/proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 6177 0 1 0 48 1 0 0 20 0 18 0 346109154 2764726272 10158 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18086/statm: 674982 10158 2228 9 0 665676 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2699928

[startup+0.700172 s]
/proc/loadavg: 2.77 2.87 2.71 3/194 18086
/proc/meminfo: memFree=23712240/32873648 swapFree=6852/6852
[pid=18086] ppid=18084 vsize=2833056 CPUtime=1.62 cores=0,2,4,6
/proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 13711 0 1 0 159 3 0 0 20 0 20 0 346109154 2901049344 32260 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18086/statm: 708264 32260 2256 9 0 698958 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 2833056

[startup+1.50073 s]
/proc/loadavg: 2.71 2.86 2.70 6/216 18108
/proc/meminfo: memFree=23530388/32873648 swapFree=6852/6852
[pid=18086] ppid=18084 vsize=2966184 CPUtime=3.46 cores=0,2,4,6
/proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 22793 0 1 0 339 7 0 0 20 0 20 0 346109154 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18086/statm: 741546 56009 2262 9 0 732240 0
[pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=0.56 cores=0,2,4,6
/proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2835 0 1 0 54 2 0 0 20 0 20 0 346109155 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955045147800 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346109158 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=0.97 cores=0,2,4,6
/proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10434 0 0 0 95 2 0 0 20 0 20 0 346109161 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=0.92 cores=0,2,4,6
/proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 8173 0 0 0 90 2 0 0 20 0 20 0 346109161 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18108] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18108/stat : 18108 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 56009 33554432000 1073741824 1073778376 140736382682240 139954880500776 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 2966184

[startup+3.10072 s]
/proc/loadavg: 2.71 2.86 2.70 2/214 18110
/proc/meminfo: memFree=23411804/32873648 swapFree=6852/6852
[pid=18086] ppid=18084 vsize=2966184 CPUtime=4.32 cores=0,2,4,6
/proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 22986 0 1 0 421 11 0 0 20 0 20 0 346109154 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18086/statm: 741546 91850 2262 9 0 732240 0
[pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=0.63 cores=0,2,4,6
/proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2837 0 1 0 61 2 0 0 20 0 20 0 346109155 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955045147800 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346109157 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 346109158 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=1.07 cores=0,2,4,6
/proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10434 0 0 0 105 2 0 0 20 0 20 0 346109161 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=1 cores=0,2,4,6
/proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 8285 0 0 0 98 2 0 0 20 0 20 0 346109161 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18108] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18108/stat : 18108 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 91850 33554432000 1073741824 1073778376 140736382682240 139954880500776 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 2966184

[startup+6.30082 s]
/proc/loadavg: 2.71 2.86 2.70 4/216 18114
/proc/meminfo: memFree=23294564/32873648 swapFree=6852/6852
[pid=18086] ppid=18084 vsize=2966184 CPUtime=9.88 cores=0,2,4,6
/proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 23317 0 1 0 972 16 0 0 20 0 22 0 346109154 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18086/statm: 741546 119482 2274 9 0 732240 0
[pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=0.66 cores=0,2,4,6
/proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2838 0 1 0 64 2 0 0 20 0 22 0 346109155 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955045147816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 11 0 0 0 5 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 28 0 0 0 5 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 20 0 0 0 6 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 22 0 346109157 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346109158 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=1.14 cores=0,2,4,6
/proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10435 0 0 0 112 2 0 0 20 0 22 0 346109161 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=1.07 cores=0,2,4,6
/proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 8435 0 0 0 105 2 0 0 20 0 22 0 346109161 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109225 3037372416 119482 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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


[startup+870.001 s]
/proc/loadavg: 3.67 3.77 3.35 3/217 18250
/proc/meminfo: memFree=23155720/32873648 swapFree=6852/6852
[pid=18086] ppid=18084 vsize=2966184 CPUtime=1661.08 cores=0,2,4,6
/proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 45690 0 1 0 165883 225 0 0 20 0 20 0 346109154 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18086/statm: 741546 191298 2288 9 0 732240 0
[pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=1.17 cores=0,2,4,6
/proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2856 0 1 0 115 2 0 0 20 0 20 0 346109155 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955045147816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=5.33 cores=0,2,4,6
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 321 0 0 0 525 8 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=5.31 cores=0,2,4,6
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 305 0 0 0 524 7 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=5.23 cores=0,2,4,6
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 310 0 0 0 513 10 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=5.27 cores=0,2,4,6
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 333 0 0 0 518 9 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=5.27 cores=0,2,4,6
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 325 0 0 0 519 8 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=5.14 cores=0,2,4,6
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 316 0 0 0 506 8 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=5.05 cores=0,2,4,6
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 303 0 0 0 497 8 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=5.27 cores=0,2,4,6
/proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 307 0 0 0 519 8 0 0 20 0 20 0 346109157 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=15.51 cores=0,2,4,6
/proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 12167 0 0 0 1474 77 0 0 20 0 20 0 346109158 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346109159 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=1.26 cores=0,2,4,6
/proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10440 0 0 0 124 2 0 0 20 0 20 0 346109161 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=1.72 cores=0,2,4,6
/proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 14569 0 0 0 168 4 0 0 20 0 20 0 346109161 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346109161 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 50 0 0 0 14 15 0 0 20 0 20 0 346109161 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18108] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18108/stat : 18108 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346109225 3037372416 191298 33554432000 1073741824 1073778376 140736382682240 139954880500776 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.08
Current children cumulated vsize (KiB) 2966184
#
############


[startup+882.301 s]
/proc/loadavg: 3.74 3.78 3.36 11/219 18252
/proc/meminfo: memFree=23155596/32873648 swapFree=6852/6852
[pid=18086] ppid=18084 vsize=2966184 CPUtime=1685.23 cores=0,2,4,6
/proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 45845 0 1 0 168296 227 0 0 20 0 22 0 346109154 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18086/statm: 741546 191304 2288 9 0 732240 0
[pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=1.19 cores=0,2,4,6
/proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2856 0 1 0 117 2 0 0 20 0 22 0 346109155 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955045147816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=5.4 cores=0,2,4,6
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 321 0 0 0 532 8 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=5.38 cores=0,2,4,6
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 305 0 0 0 531 7 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=5.31 cores=0,2,4,6
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 310 0 0 0 521 10 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=5.35 cores=0,2,4,6
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 333 0 0 0 526 9 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=5.35 cores=0,2,4,6
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 325 0 0 0 527 8 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=5.21 cores=0,2,4,6
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 316 0 0 0 513 8 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=5.12 cores=0,2,4,6
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 303 0 0 0 504 8 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=5.34 cores=0,2,4,6
/proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 307 0 0 0 526 8 0 0 20 0 22 0 346109157 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=15.83 cores=0,2,4,6
/proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 12300 0 0 0 1505 78 0 0 20 0 22 0 346109158 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=1.26 cores=0,2,4,6
/proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10440 0 0 0 124 2 0 0 20 0 22 0 346109161 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=1.72 cores=0,2,4,6
/proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 14569 0 0 0 168 4 0 0 20 0 22 0 346109161 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 50 0 0 0 14 15 0 0 20 0 22 0 346109161 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109225 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18108] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18108/stat : 18108 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109225 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139954880500776 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18251] ppid=18084 vsize=2966184 CPUtime=11.56 cores=0,2,4,6
/proc/18086/task/18251/stat : 18251 (java) R 18084 18086 15509 0 -1 4202560 11 0 0 0 1156 0 0 0 20 0 22 0 346196174 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955000171312 139954882905223 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18252] ppid=18084 vsize=2966184 CPUtime=11.56 cores=0,2,4,6
/proc/18086/task/18252/stat : 18252 (java) R 18084 18086 15509 0 -1 4202560 11 0 0 0 1156 0 0 0 20 0 22 0 346196174 3037372416 191304 33554432000 1073741824 1073778376 140736382682240 139955001224600 139954882613992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1685.23
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+939.201 s]
/proc/loadavg: 3.69 3.76 3.37 5/219 18252
/proc/meminfo: memFree=23147408/32873648 swapFree=6852/6852
[pid=18086] ppid=18084 vsize=2966184 CPUtime=1798.51 cores=0,2,4,6
/proc/18086/stat : 18086 (java) S 18084 18086 15509 0 -1 4202496 47273 0 1 0 179612 239 0 0 20 0 22 0 346109154 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 140736382673376 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18086/statm: 741546 193358 2288 9 0 732240 0
[pid=18086/tid=18088] ppid=18084 vsize=2966184 CPUtime=1.2 cores=0,2,4,6
/proc/18086/task/18088/stat : 18088 (java) S 18084 18086 15509 0 -1 4202560 2858 0 1 0 118 2 0 0 20 0 22 0 346109155 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955045147816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=2966184 CPUtime=5.8 cores=0,2,4,6
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 15509 0 -1 4202560 322 0 0 0 571 9 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955029428520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=2966184 CPUtime=5.76 cores=0,2,4,6
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 15509 0 -1 4202560 306 0 0 0 568 8 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955028375720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=2966184 CPUtime=5.67 cores=0,2,4,6
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 15509 0 -1 4202560 312 0 0 0 556 11 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955027323432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=2966184 CPUtime=5.7 cores=0,2,4,6
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 15509 0 -1 4202560 336 0 0 0 560 10 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955026270632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=2966184 CPUtime=5.69 cores=0,2,4,6
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 15509 0 -1 4202560 326 0 0 0 560 9 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955025218344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=2966184 CPUtime=5.51 cores=0,2,4,6
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 15509 0 -1 4202560 319 0 0 0 542 9 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955024165544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=2966184 CPUtime=5.5 cores=0,2,4,6
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 15509 0 -1 4202560 311 0 0 0 541 9 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955023113256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18086/tid=18096] ppid=18084 vsize=2966184 CPUtime=5.72 cores=0,2,4,6
/proc/18086/task/18096/stat : 18096 (java) S 18084 18086 15509 0 -1 4202560 307 0 0 0 563 9 0 0 20 0 22 0 346109157 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955022060456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18097] ppid=18084 vsize=2966184 CPUtime=17.35 cores=0,2,4,6
/proc/18086/task/18097/stat : 18097 (java) S 18084 18086 15509 0 -1 4202560 13592 0 0 0 1650 85 0 0 20 0 22 0 346109158 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955009648872 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18098] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18098/stat : 18098 (java) S 18084 18086 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955008594936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18099] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18099/stat : 18099 (java) S 18084 18086 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346109159 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955007542536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18100] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18100/stat : 18100 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955006491024 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18101] ppid=18084 vsize=2966184 CPUtime=1.26 cores=0,2,4,6
/proc/18086/task/18101/stat : 18101 (java) S 18084 18086 15509 0 -1 4202560 10440 0 0 0 124 2 0 0 20 0 22 0 346109161 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955005438648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18102] ppid=18084 vsize=2966184 CPUtime=1.72 cores=0,2,4,6
/proc/18086/task/18102/stat : 18102 (java) S 18084 18086 15509 0 -1 4202560 14569 0 0 0 168 4 0 0 20 0 22 0 346109161 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955004385848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18103] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18103/stat : 18103 (java) S 18084 18086 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346109161 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955003333752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18086/tid=18104] ppid=18084 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/18086/task/18104/stat : 18104 (java) S 18084 18086 15509 0 -1 4202560 54 0 0 0 15 16 0 0 20 0 22 0 346109161 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955002281160 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18107] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18107/stat : 18107 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109225 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139954881553576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18108] ppid=18084 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18086/task/18108/stat : 18108 (java) S 18084 18086 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346109225 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139954880500776 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18086/tid=18251] ppid=18084 vsize=2966184 CPUtime=65.89 cores=0,2,4,6
/proc/18086/task/18251/stat : 18251 (java) R 18084 18086 15509 0 -1 4202560 59 0 0 0 6588 1 0 0 20 0 22 0 346196174 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955000172304 139954882116379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18086/tid=18252] ppid=18084 vsize=2966184 CPUtime=65.89 cores=0,2,4,6
/proc/18086/task/18252/stat : 18252 (java) R 18084 18086 15509 0 -1 4202560 74 0 0 0 6588 1 0 0 20 0 22 0 346196174 3037372416 193358 33554432000 1073741824 1073778376 140736382682240 139955001223664 139954882651393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.51
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

Child status: 143

# 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): 1.66992
#  lost CPU user time (s): 1.88009
#  lost CPU system time (s): -0.21

Real time (s): 939.265
CPU time (s): 1800.55
CPU user time (s): 1798.12
CPU system time (s): 2.4306
CPU usage (%): 191.698
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.24
system time used= 2.6406
maximum resident set size= 775124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47307
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69701
involuntary context switches= 119569

runsolver used 3.43148 second user time and 8.5737 second system time

The end

Launcher Data

Begin job on node112 at 2012-06-04 10:50:19
IDJOB=3744004
IDBENCH=92667
IDSOLVER=2324
FILE ID=node112/3744004-1338799819
RUNJOBID= node112-1338783624-15525
PBS_JOBID= 14636841
Free space on /tmp= 71012 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_1_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-3744004-1338799819/watcher-3744004-1338799819 -o /tmp/evaluation-result-3744004-1338799819/solver-3744004-1338799819 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744004-1338799819.opb

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

MD5SUM BENCH= f4c34ee83da7e36be7881d34beece196
RANDOM SEED=1881386436

node112.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.763
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.52
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.763
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.763
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	: 5331.92
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.763
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.91
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.763
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.92
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.763
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.92
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.763
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.763
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:       32873648 kB
MemFree:        23712232 kB
Buffers:          559972 kB
Cached:          6256684 kB
SwapCached:            0 kB
Active:          3504984 kB
Inactive:        4783228 kB
Active(anon):    1460732 kB
Inactive(anon):    10920 kB
Active(file):    2044252 kB
Inactive(file):  4772308 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1444 kB
Writeback:             0 kB
AnonPages:       1481896 kB
Mapped:            22556 kB
Shmem:               200 kB
Slab:             732212 kB
SReclaimable:     175596 kB
SUnreclaim:       556616 kB
KernelStack:        1600 kB
PageTables:         6752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1568496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1449984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71192 MiB
End job on node112 at 2012-06-04 11:06:00