Trace number 3735726

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 NameAnswerobjective functionCPU timeWall clock time
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)29 1801.05 909.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_003_area_delay.opb
MD5SUM66cf2657d020eb0982c7cab0e5ad93c1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark1.10383
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved YES
Number of variables7343
Total number of constraints22903
Number of constraints which are clauses22903
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3560
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3560
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3560
Number of bits of the biggest sum of numbers12
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.06	c See www.sat4j.org for details.
0.01/0.07	c version 2.2.0.v20100531
0.01/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.07	c java.vm.version	19.1-b02
0.01/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.07	c sun.arch.data.model	64
0.01/0.07	c java.version		1.6.0_24
0.01/0.07	c os.name		Linux
0.01/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.07	c os.arch		amd64
0.01/0.07	c Free memory 		1349517296
0.01/0.07	c Max memory 		1356595200
0.01/0.07	c Total memory 		1356595200
0.01/0.07	c Number of processors 	8
0.12/0.10	c Pseudo Boolean Optimization
0.12/0.10	c ManyCore solver with 2 solvers running in parallel
0.12/0.10	c --- Begin Solver configuration ---
0.12/0.10	c Stops conflict analysis at the first Unique Implication Point
0.12/0.10	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.12/0.10	c Learn all clauses as in MiniSAT
0.12/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.10	c Expensive reason simplification
0.12/0.10	c Armin Biere (Picosat) restarts strategy
0.12/0.10	c Glucose learned constraints deletion strategy
0.12/0.10	c timeout=2147483s
0.12/0.10	c DB Simplification allowed=false
0.12/0.10	c --- End Solver configuration ---
0.12/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.12/0.10	c --- Begin Solver configuration ---
0.12/0.10	c Stops conflict analysis at the first Unique Implication Point
0.12/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.12/0.10	c Learn all clauses as in MiniSAT
0.12/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.12/0.10	c No reason simplification
0.12/0.10	c Armin Biere (Picosat) restarts strategy
0.12/0.10	c Glucose learned constraints deletion strategy
0.12/0.10	c timeout=2147483s
0.12/0.10	c DB Simplification allowed=false
0.12/0.10	c --- End Solver configuration ---
0.12/0.10	
0.12/0.10	c solving HOME/instance-3735726-1338749597.opb
0.12/0.10	c reading problem ... 
1.17/0.54	c ... done. Wall clock time 0.44s.
1.17/0.54	c #vars     7343
1.17/0.54	c #constraints  22903
1.17/0.54	c constraints type 
1.17/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3792
1.17/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18558
1.17/0.54	c constraints type 
1.17/0.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18558
1.17/0.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3792
1.92/0.78	c And the winner is CuttingPlanes
2.46/1.56	c SATISFIABLE
2.46/1.56	c OPTIMIZING...
2.46/1.56	c Got one! Elapsed wall clock time (in seconds):1.461
2.46/1.56	o 40
2.99/1.71	c And the winner is Resolution
3.17/2.59	c Got one! Elapsed wall clock time (in seconds):2.494
3.17/2.59	o 30
3.21/2.69	c And the winner is Resolution
3.54/3.61	c Got one! Elapsed wall clock time (in seconds):3.518
3.54/3.61	o 29
7.49/5.41	c cleaning 2496 clauses out of 5000 with flag 5000/5000
11.63/7.42	c cleaning 4247 clauses out of 8505 with flag 11001/11001
16.47/9.83	c cleaning 5627 clauses out of 11258 with flag 18001/18001
21.63/12.46	c cleaning 6810 clauses out of 13630 with flag 26000/26000
27.27/15.26	c cleaning 7904 clauses out of 15821 with flag 35001/35001
33.64/18.43	c cleaning 8950 clauses out of 17916 with flag 45000/45000
41.03/22.16	c cleaning 9979 clauses out of 19967 with flag 56001/56001
49.47/26.37	c cleaning 10987 clauses out of 21987 with flag 68000/68000
57.62/30.45	c cleaning 11997 clauses out of 24000 with flag 81000/81000
66.24/34.70	c cleaning 12997 clauses out of 26006 with flag 95003/95003
76.43/39.84	c cleaning 13994 clauses out of 28007 with flag 110001/110001
86.64/44.95	c cleaning 15002 clauses out of 30012 with flag 126000/126000
96.78/50.07	c cleaning 15992 clauses out of 32010 with flag 143000/143000
107.55/55.42	c cleaning 16999 clauses out of 34019 with flag 161001/161001
119.09/61.23	c cleaning 18004 clauses out of 36019 with flag 180000/180000
132.05/67.70	c cleaning 19002 clauses out of 38016 with flag 200001/200001
146.22/74.82	c cleaning 20001 clauses out of 40015 with flag 221002/221002
160.59/82.01	c cleaning 20996 clauses out of 42013 with flag 243001/243001
175.38/89.48	c cleaning 22000 clauses out of 44018 with flag 266002/266002
190.16/96.88	c cleaning 22499 clauses out of 45016 with flag 289000/289000
206.38/104.98	c cleaning 22743 clauses out of 45517 with flag 312000/312000
222.38/112.95	c cleaning 22881 clauses out of 45775 with flag 335001/335001
237.83/120.69	c cleaning 22937 clauses out of 45894 with flag 358001/358001
252.67/128.09	c cleaning 22967 clauses out of 45956 with flag 381000/381000
268.38/135.91	c cleaning 22988 clauses out of 45989 with flag 404000/404000
283.38/143.48	c cleaning 22987 clauses out of 46003 with flag 427002/427002
297.55/150.52	c cleaning 22997 clauses out of 46014 with flag 450000/450000
312.91/158.24	c cleaning 23002 clauses out of 46018 with flag 473001/473001
327.24/165.45	c cleaning 23000 clauses out of 46016 with flag 496001/496001
341.86/172.78	c cleaning 23001 clauses out of 46016 with flag 519001/519001
357.63/180.67	c cleaning 22998 clauses out of 46015 with flag 542001/542001
374.25/188.92	c cleaning 22997 clauses out of 46016 with flag 565000/565000
390.37/197.08	c cleaning 23009 clauses out of 46021 with flag 588002/588002
404.96/204.39	c cleaning 22998 clauses out of 46011 with flag 611001/611001
420.14/211.92	c cleaning 22996 clauses out of 46012 with flag 634000/634000
435.69/219.77	c cleaning 22996 clauses out of 46020 with flag 657004/657004
450.80/227.36	c cleaning 23004 clauses out of 46021 with flag 680001/680001
464.81/234.35	c cleaning 23002 clauses out of 46018 with flag 703002/703002
479.24/241.52	c cleaning 22996 clauses out of 46014 with flag 726000/726000
494.01/248.97	c cleaning 23003 clauses out of 46018 with flag 749000/749000
509.68/256.81	c cleaning 23000 clauses out of 46016 with flag 772001/772001
524.86/264.42	c cleaning 22999 clauses out of 46015 with flag 795000/795000
541.06/272.52	c cleaning 22998 clauses out of 46017 with flag 818001/818001
557.48/280.78	c cleaning 23000 clauses out of 46019 with flag 841001/841001
574.44/289.26	c cleaning 23002 clauses out of 46019 with flag 864001/864001
591.37/297.75	c cleaning 22997 clauses out of 46016 with flag 887000/887000
607.36/305.70	c cleaning 23003 clauses out of 46020 with flag 910001/910001
623.65/313.92	c cleaning 22996 clauses out of 46016 with flag 933000/933000
639.72/322.07	c cleaning 23001 clauses out of 46020 with flag 956000/956000
655.68/330.09	c cleaning 22998 clauses out of 46019 with flag 979000/979000
671.15/337.82	c cleaning 23005 clauses out of 46023 with flag 1002002/1002002
685.50/345.03	c cleaning 22998 clauses out of 46016 with flag 1025000/1025000
700.14/352.48	c cleaning 22998 clauses out of 46018 with flag 1048000/1048000
715.07/359.99	c cleaning 23003 clauses out of 46020 with flag 1071000/1071000
730.21/367.53	c cleaning 23002 clauses out of 46017 with flag 1094000/1094000
743.91/374.49	c cleaning 23001 clauses out of 46016 with flag 1117001/1117001
758.10/381.67	c cleaning 22997 clauses out of 46015 with flag 1140001/1140001
771.78/388.58	c cleaning 22994 clauses out of 46017 with flag 1163000/1163000
786.27/395.82	c cleaning 23000 clauses out of 46023 with flag 1186000/1186000
800.20/402.83	c cleaning 22994 clauses out of 46023 with flag 1209000/1209000
814.80/410.24	c cleaning 23006 clauses out of 46029 with flag 1232000/1232000
830.31/418.01	c cleaning 22992 clauses out of 46023 with flag 1255000/1255000
845.04/425.49	c cleaning 23005 clauses out of 46031 with flag 1278000/1278000
860.34/433.17	c cleaning 23004 clauses out of 46026 with flag 1301000/1301000
875.93/441.10	c cleaning 23002 clauses out of 46022 with flag 1324000/1324000
891.47/448.83	c cleaning 23007 clauses out of 46021 with flag 1347001/1347001
907.01/456.60	c cleaning 22999 clauses out of 46013 with flag 1370000/1370000
922.27/464.31	c cleaning 23003 clauses out of 46015 with flag 1393001/1393001
937.60/472.10	c cleaning 22998 clauses out of 46011 with flag 1416000/1416000
953.62/480.26	c cleaning 22996 clauses out of 46013 with flag 1439000/1439000
969.72/488.31	c cleaning 23005 clauses out of 46018 with flag 1462001/1462001
984.65/495.88	c cleaning 23000 clauses out of 46013 with flag 1485001/1485001
1000.01/503.68	c cleaning 22991 clauses out of 46012 with flag 1508000/1508000
1016.72/512.02	c cleaning 23007 clauses out of 46023 with flag 1531002/1531002
1033.83/520.67	c cleaning 22999 clauses out of 46014 with flag 1554000/1554000
1050.74/529.12	c cleaning 22997 clauses out of 46015 with flag 1577000/1577000
1067.84/537.87	c cleaning 23001 clauses out of 46018 with flag 1600000/1600000
1085.10/546.52	c cleaning 23004 clauses out of 46017 with flag 1623000/1623000
1099.56/553.81	c cleaning 22999 clauses out of 46013 with flag 1646000/1646000
1113.84/561.09	c cleaning 23000 clauses out of 46015 with flag 1669001/1669001
1128.92/568.78	c cleaning 23000 clauses out of 46014 with flag 1692000/1692000
1144.17/576.42	c cleaning 22999 clauses out of 46016 with flag 1715002/1715002
1159.01/583.90	c cleaning 23000 clauses out of 46015 with flag 1738000/1738000
1173.26/591.10	c cleaning 22993 clauses out of 46015 with flag 1761000/1761000
1189.16/599.20	c cleaning 23003 clauses out of 46023 with flag 1784001/1784001
1206.00/607.77	c cleaning 23003 clauses out of 46019 with flag 1807000/1807000
1223.27/616.48	c cleaning 22999 clauses out of 46017 with flag 1830001/1830001
1240.10/624.92	c cleaning 23000 clauses out of 46017 with flag 1853000/1853000
1256.57/633.32	c cleaning 23003 clauses out of 46017 with flag 1876000/1876000
1272.60/641.49	c cleaning 23003 clauses out of 46015 with flag 1899001/1899001
1289.48/649.90	c cleaning 22998 clauses out of 46012 with flag 1922001/1922001
1306.10/658.34	c cleaning 22999 clauses out of 46013 with flag 1945000/1945000
1323.52/667.20	c cleaning 22992 clauses out of 46014 with flag 1968000/1968000
1340.72/675.90	c cleaning 23010 clauses out of 46023 with flag 1991001/1991001
1355.52/683.46	c cleaning 22997 clauses out of 46013 with flag 2014001/2014001
1370.31/690.99	c cleaning 23002 clauses out of 46015 with flag 2037000/2037000
1387.09/699.54	c cleaning 22999 clauses out of 46013 with flag 2060000/2060000
1403.38/707.82	c cleaning 23003 clauses out of 46014 with flag 2083000/2083000
1420.24/716.30	c cleaning 22995 clauses out of 46011 with flag 2106000/2106000
1436.04/724.37	c cleaning 22997 clauses out of 46016 with flag 2129000/2129000
1451.68/732.39	c cleaning 22999 clauses out of 46019 with flag 2152000/2152000
1467.48/740.32	c cleaning 22997 clauses out of 46020 with flag 2175000/2175000
1481.84/747.60	c cleaning 23004 clauses out of 46024 with flag 2198001/2198001
1496.87/755.29	c cleaning 23002 clauses out of 46020 with flag 2221001/2221001
1512.23/763.18	c cleaning 22999 clauses out of 46018 with flag 2244001/2244001
1528.59/771.43	c cleaning 23000 clauses out of 46019 with flag 2267001/2267001
1544.32/779.46	c cleaning 23002 clauses out of 46019 with flag 2290001/2290001
1561.33/788.01	c cleaning 23002 clauses out of 46017 with flag 2313001/2313001
1577.46/796.38	c cleaning 22998 clauses out of 46016 with flag 2336002/2336002
1595.10/805.26	c cleaning 23002 clauses out of 46017 with flag 2359001/2359001
1612.25/813.94	c cleaning 22998 clauses out of 46014 with flag 2382000/2382000
1629.67/822.79	c cleaning 22992 clauses out of 46016 with flag 2405000/2405000
1646.18/831.26	c cleaning 22999 clauses out of 46026 with flag 2428002/2428002
1661.56/839.08	c cleaning 23009 clauses out of 46026 with flag 2451001/2451001
1676.93/846.83	c cleaning 23004 clauses out of 46016 with flag 2474000/2474000
1693.10/855.05	c cleaning 23001 clauses out of 46013 with flag 2497001/2497001
1709.99/863.70	c cleaning 23001 clauses out of 46013 with flag 2520002/2520002
1726.18/871.91	c cleaning 22998 clauses out of 46012 with flag 2543002/2543002
1742.96/880.42	c cleaning 22998 clauses out of 46013 with flag 2566001/2566001
1759.86/889.07	c cleaning 23005 clauses out of 46017 with flag 2589003/2589003
1776.77/897.80	c cleaning 22995 clauses out of 46009 with flag 2612000/2612000
1793.15/906.08	c cleaning 22998 clauses out of 46014 with flag 2635000/2635000
1800.01/909.62	c starts		: 232
1800.01/909.62	c conflicts		: 2644332
1800.01/909.62	c decisions		: 9184800
1800.01/909.62	c propagations		: 4061179052
1800.01/909.62	c inspects		: 4432902047
1800.01/909.62	c learnt literals	: 0
1800.01/909.62	c learnt binary clauses	: 0
1800.01/909.62	c learnt ternary clauses	: 1
1800.01/909.62	c learnt clauses	: 2644332
1800.01/909.62	c ignored clauses	: 0
1800.01/909.62	c root simplifications	: 0
1800.01/909.62	c removed literals (reason simplification)	: 4281182
1800.01/909.62	c reason swapping (by a shorter reason)	: 0
1800.01/909.62	c Calls to reduceDB	: 122
1800.01/909.62	c number of reductions to clauses (during analyze)	: 0
1800.01/909.62	c number of learned constraints concerned by reduction	: 0
1800.01/909.62	c number of learning phase by resolution	: 0
1800.01/909.62	c number of learning phase by cutting planes	: 0
1800.01/909.62	c speed (assignments/second)	: 4482542.581172827
1800.01/909.62	c non guided choices	15393
1800.01/909.63	c learnt constraints type 
1800.01/909.63	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 32384
1800.01/909.63	c constraints type 
1800.01/909.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3792
1800.01/909.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.01/909.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18558
1800.01/909.63	c constraints type 
1800.01/909.63	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18558
1800.01/909.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3792
1800.01/909.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.01/909.63	s SATISFIABLE
1800.01/909.64	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 
1800.01/909.65	c objective function=29
1800.01/909.65	c Total wall clock time (in seconds): 909.554

Verifier Data 

OK	29

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

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

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


[startup+0 s]
/proc/loadavg: 4.35 4.06 3.65 4/197 4362
/proc/meminfo: memFree=27876392/32873648 swapFree=6864/6864
[pid=4362] ppid=4360 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/4362/stat : 4362 (java) R 4360 4362 3937 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 341085661 23793664 712 33554432000 1073741824 1073778376 140735839593680 140735839582744 226075129192 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4362/statm: 5809 713 527 9 0 128 0

[startup+0.029759 s]
/proc/loadavg: 4.35 4.06 3.65 4/197 4362
/proc/meminfo: memFree=27876392/32873648 swapFree=6864/6864
[pid=4362] ppid=4360 vsize=2367080 CPUtime=0.01 cores=1,3,5,7
/proc/4362/stat : 4362 (java) S 4360 4362 3937 0 -1 4202496 3673 0 1 0 1 0 0 0 20 0 13 0 341085661 2423889920 4881 33554432000 1073741824 1073778376 140735839593680 140735839584816 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4362/statm: 591770 4883 1662 9 0 582471 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2367080

[startup+0.10026 s]
/proc/loadavg: 4.35 4.06 3.65 4/197 4362
/proc/meminfo: memFree=27876392/32873648 swapFree=6864/6864
[pid=4362] ppid=4360 vsize=2699928 CPUtime=0.12 cores=1,3,5,7
/proc/4362/stat : 4362 (java) S 4360 4362 3937 0 -1 4202496 4864 0 1 0 11 1 0 0 20 0 18 0 341085661 2764726272 6544 33554432000 1073741824 1073778376 140735839593680 140735839584816 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4362/statm: 674982 6544 2144 9 0 665676 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 2699928

[startup+0.300228 s]
/proc/loadavg: 4.35 4.06 3.65 4/197 4362
/proc/meminfo: memFree=27876392/32873648 swapFree=6864/6864
[pid=4362] ppid=4360 vsize=2699928 CPUtime=0.56 cores=1,3,5,7
/proc/4362/stat : 4362 (java) S 4360 4362 3937 0 -1 4202496 7489 0 1 0 55 1 0 0 20 0 18 0 341085661 2764726272 11159 33554432000 1073741824 1073778376 140735839593680 140735839584816 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4362/statm: 674982 11159 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2699928

[startup+0.70018 s]
/proc/loadavg: 4.35 4.06 3.65 4/197 4362
/proc/meminfo: memFree=27876392/32873648 swapFree=6864/6864
[pid=4362] ppid=4360 vsize=2833056 CPUtime=1.92 cores=1,3,5,7
/proc/4362/stat : 4362 (java) S 4360 4362 3937 0 -1 4202496 18180 0 1 0 188 4 0 0 20 0 20 0 341085661 2901049344 30065 33554432000 1073741824 1073778376 140735839593680 140735839584816 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4362/statm: 708264 30065 2247 9 0 698958 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 2833056

[startup+1.50067 s]
/proc/loadavg: 4.40 4.07 3.65 3/217 4384
/proc/meminfo: memFree=27749684/32873648 swapFree=6864/6864
[pid=4362] ppid=4360 vsize=2966184 CPUtime=2.46 cores=1,3,5,7
/proc/4362/stat : 4362 (java) S 4360 4362 3937 0 -1 4202496 19258 0 1 0 240 6 0 0 20 0 20 0 341085661 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140735839584816 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4362/statm: 741546 30204 2259 9 0 732240 0
[pid=4362/tid=4364] ppid=4360 vsize=2966184 CPUtime=0.52 cores=1,3,5,7
/proc/4362/task/4364/stat : 4364 (java) S 4360 4362 3937 0 -1 4202560 2829 0 1 0 50 2 0 0 20 0 20 0 341085661 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140539529471128 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4365] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4365/stat : 4365 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140539518532392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4366] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4366/stat : 4366 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140539394980520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4367] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4367/stat : 4367 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140539393928232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4368] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4368/stat : 4368 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140539392875432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4369] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4369/stat : 4369 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140539391822120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4370] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4370/stat : 4370 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140539390769320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4371] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4371/stat : 4371 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140539389717032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4372] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4372/stat : 4372 (java) S 4360 4362 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140539388664232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4373] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4373/stat : 4373 (java) S 4360 4362 3937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341085663 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140538905852648 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4374] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4374/stat : 4374 (java) S 4360 4362 3937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341085664 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140538904798712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4375] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4375/stat : 4375 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341085664 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140538903746312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4376] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4376/stat : 4376 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085666 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140538902694800 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4377] ppid=4360 vsize=2966184 CPUtime=0.71 cores=1,3,5,7
/proc/4362/task/4377/stat : 4377 (java) S 4360 4362 3937 0 -1 4202560 6486 0 0 0 70 1 0 0 20 0 20 0 341085666 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140538901641400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4378] ppid=4360 vsize=2966184 CPUtime=0.68 cores=1,3,5,7
/proc/4362/task/4378/stat : 4378 (java) S 4360 4362 3937 0 -1 4202560 8693 0 0 0 67 1 0 0 20 0 20 0 341085666 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140538900588600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4379] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4379/stat : 4379 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085666 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140538899536504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4380] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4380/stat : 4380 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085666 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140538898483912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4383] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4383/stat : 4383 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341085732 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140538895324840 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4384] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4384/stat : 4384 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341085732 3037372416 30204 33554432000 1073741824 1073778376 140735839593680 140538894272040 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 2966184

[startup+3.10069 s]
/proc/loadavg: 4.40 4.07 3.65 3/217 4386
/proc/meminfo: memFree=27738584/32873648 swapFree=6864/6864
[pid=4362] ppid=4360 vsize=2966184 CPUtime=3.54 cores=1,3,5,7
/proc/4362/stat : 4362 (java) S 4360 4362 3937 0 -1 4202496 19409 0 1 0 344 10 0 0 20 0 20 0 341085661 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140735839584816 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4362/statm: 741546 36391 2263 9 0 732240 0
[pid=4362/tid=4364] ppid=4360 vsize=2966184 CPUtime=0.59 cores=1,3,5,7
/proc/4362/task/4364/stat : 4364 (java) S 4360 4362 3937 0 -1 4202560 2831 0 1 0 57 2 0 0 20 0 20 0 341085661 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140539529471128 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4365] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4365/stat : 4365 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140539518532392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4366] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4366/stat : 4366 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140539394980520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4367] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4367/stat : 4367 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140539393928232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4368] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4368/stat : 4368 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140539392875432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4369] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4369/stat : 4369 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140539391822120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4370] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4370/stat : 4370 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140539390769320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4371] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4371/stat : 4371 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140539389717032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4372] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4372/stat : 4372 (java) S 4360 4362 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341085662 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140539388664232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4373] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4373/stat : 4373 (java) S 4360 4362 3937 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 341085663 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140538905852648 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4374] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4374/stat : 4374 (java) S 4360 4362 3937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341085664 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140538904798712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4375] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4375/stat : 4375 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341085664 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140538903746312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4376] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4376/stat : 4376 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085666 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140538902694800 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4377] ppid=4360 vsize=2966184 CPUtime=0.95 cores=1,3,5,7
/proc/4362/task/4377/stat : 4377 (java) S 4360 4362 3937 0 -1 4202560 6487 0 0 0 94 1 0 0 20 0 20 0 341085666 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140538901641400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4378] ppid=4360 vsize=2966184 CPUtime=0.91 cores=1,3,5,7
/proc/4362/task/4378/stat : 4378 (java) S 4360 4362 3937 0 -1 4202560 8763 0 0 0 90 1 0 0 20 0 20 0 341085666 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140538900588600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4379] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4379/stat : 4379 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085666 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140538899536504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4380] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4380/stat : 4380 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341085666 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140538898483912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4383] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4383/stat : 4383 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341085732 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140538895324840 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4384] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4384/stat : 4384 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341085732 3037372416 36391 33554432000 1073741824 1073778376 140735839593680 140538894272040 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 2966184

[startup+6.30071 s]
/proc/loadavg: 4.40 4.07 3.65 6/219 4392
/proc/meminfo: memFree=27689392/32873648 swapFree=6864/6864
[pid=4362] ppid=4360 vsize=2966184 CPUtime=9.34 cores=1,3,5,7
/proc/4362/stat : 4362 (java) S 4360 4362 3937 0 -1 4202496 19511 0 1 0 922 12 0 0 20 0 22 0 341085661 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140735839584816 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4362/statm: 741546 50663 2287 9 0 732240 0
[pid=4362/tid=4364] ppid=4360 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/4362/task/4364/stat : 4364 (java) S 4360 4362 3937 0 -1 4202560 2832 0 1 0 58 2 0 0 20 0 22 0 341085661 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140539529471128 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4365] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4365/stat : 4365 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341085662 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140539518532392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4366] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4366/stat : 4366 (java) S 4360 4362 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341085662 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140539394980520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4367] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4367/stat : 4367 (java) S 4360 4362 3937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341085662 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140539393928232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4368] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4368/stat : 4368 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341085662 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140539392875432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4369] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4369/stat : 4369 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341085662 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140539391822120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4370] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4370/stat : 4370 (java) S 4360 4362 3937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341085662 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140539390769320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4371] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4371/stat : 4371 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341085662 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140539389717032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4372] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4372/stat : 4372 (java) S 4360 4362 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341085662 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140539388664232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4373] ppid=4360 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/4362/task/4373/stat : 4373 (java) S 4360 4362 3937 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 22 0 341085663 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140538905852648 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4374] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4374/stat : 4374 (java) S 4360 4362 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341085664 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140538904798712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4375] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4375/stat : 4375 (java) S 4360 4362 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341085664 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140538903746312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4376] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4376/stat : 4376 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341085666 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140538902694800 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4377] ppid=4360 vsize=2966184 CPUtime=1.23 cores=1,3,5,7
/proc/4362/task/4377/stat : 4377 (java) S 4360 4362 3937 0 -1 4202560 6493 0 0 0 122 1 0 0 20 0 22 0 341085666 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140538901641400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4378] ppid=4360 vsize=2966184 CPUtime=1.13 cores=1,3,5,7
/proc/4362/task/4378/stat : 4378 (java) S 4360 4362 3937 0 -1 4202560 8764 0 0 0 111 2 0 0 20 0 22 0 341085666 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140538900588600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4379] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4379/stat : 4379 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341085666 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140538899536504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4380] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4380/stat : 4380 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341085666 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140538898483912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4383] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4383/stat : 4383 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341085732 3037372416 50663 33554432000 1073741824 1073778376 140735839593680 140538895324840 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=4362/tid=4384] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4384/stat : 4384 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341085732 3037372416 199999 33554432000 1073741824 1073778376 140735839593680 140538894272040 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4391] ppid=4360 vsize=2966184 CPUtime=726.14 cores=1,3,5,7
/proc/4362/task/4391/stat : 4391 (java) R 4360 4362 3937 0 -1 4202560 625 0 0 0 72598 16 0 0 20 0 22 0 341086023 3037372416 199999 33554432000 1073741824 1073778376 140735839593680 140538897428256 140539400809179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4392] ppid=4360 vsize=2966184 CPUtime=726.24 cores=1,3,5,7
/proc/4362/task/4392/stat : 4392 (java) R 4360 4362 3937 0 -1 4202560 708 0 0 0 72605 19 0 0 20 0 22 0 341086023 3037372416 199999 33554432000 1073741824 1073778376 140735839593680 140538896374112 140539400292862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1510.62
Current children cumulated vsize (KiB) 2966184

[startup+822.304 s]
/proc/loadavg: 3.95 3.91 3.77 5/219 4420
/proc/meminfo: memFree=26712028/32873648 swapFree=6864/6864
[pid=4362] ppid=4360 vsize=2966184 CPUtime=1628.86 cores=1,3,5,7
/proc/4362/stat : 4362 (java) S 4360 4362 3937 0 -1 4202496 22447 0 1 0 162741 145 0 0 20 0 22 0 341085661 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140735839584816 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4362/statm: 741546 203115 2289 9 0 732240 0
[pid=4362/tid=4364] ppid=4360 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/4362/task/4364/stat : 4364 (java) S 4360 4362 3937 0 -1 4202560 2853 0 1 0 59 2 0 0 20 0 22 0 341085661 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140539529471128 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4365] ppid=4360 vsize=2966184 CPUtime=4.2 cores=1,3,5,7
/proc/4362/task/4365/stat : 4365 (java) R 4360 4362 3937 0 -1 4202560 172 0 0 0 414 6 0 0 20 0 22 0 341085662 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140539518532392 226084293767 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4366] ppid=4360 vsize=2966184 CPUtime=4.32 cores=1,3,5,7
/proc/4362/task/4366/stat : 4366 (java) S 4360 4362 3937 0 -1 4202560 143 0 0 0 425 7 0 0 20 0 22 0 341085662 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140539394980520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4367] ppid=4360 vsize=2966184 CPUtime=4.35 cores=1,3,5,7
/proc/4362/task/4367/stat : 4367 (java) R 4360 4362 3937 0 -1 4202560 157 0 0 0 427 8 0 0 20 0 22 0 341085662 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140539393928072 226084293767 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4368] ppid=4360 vsize=2966184 CPUtime=4.45 cores=1,3,5,7
/proc/4362/task/4368/stat : 4368 (java) R 4360 4362 3937 0 -1 4202560 184 0 0 0 438 7 0 0 20 0 22 0 341085662 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140539392875560 226084293767 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4369] ppid=4360 vsize=2966184 CPUtime=4.37 cores=1,3,5,7
/proc/4362/task/4369/stat : 4369 (java) R 4360 4362 3937 0 -1 4202560 147 0 0 0 430 7 0 0 20 0 22 0 341085662 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140539391822144 226087723445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4370] ppid=4360 vsize=2966184 CPUtime=4.31 cores=1,3,5,7
/proc/4362/task/4370/stat : 4370 (java) R 4360 4362 3937 0 -1 4202560 156 0 0 0 424 7 0 0 20 0 22 0 341085662 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140539390769448 226084293767 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4371] ppid=4360 vsize=2966184 CPUtime=4.34 cores=1,3,5,7
/proc/4362/task/4371/stat : 4371 (java) S 4360 4362 3937 0 -1 4202560 161 0 0 0 429 5 0 0 20 0 22 0 341085662 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140539389717032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4372] ppid=4360 vsize=2966184 CPUtime=4.23 cores=1,3,5,7
/proc/4362/task/4372/stat : 4372 (java) R 4360 4362 3937 0 -1 4202560 151 0 0 0 416 7 0 0 20 0 22 0 341085662 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140539388664232 226087711804 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4373] ppid=4360 vsize=2966184 CPUtime=25.47 cores=1,3,5,7
/proc/4362/task/4373/stat : 4373 (java) S 4360 4362 3937 0 -1 4202560 262 0 0 0 2495 52 0 0 20 0 22 0 341085663 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538905851528 226087711804 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4374] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4374/stat : 4374 (java) S 4360 4362 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341085664 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538904798712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4375] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4375/stat : 4375 (java) S 4360 4362 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341085664 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538903746312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4376] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4376/stat : 4376 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341085666 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538902694800 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4377] ppid=4360 vsize=2966184 CPUtime=1.36 cores=1,3,5,7
/proc/4362/task/4377/stat : 4377 (java) S 4360 4362 3937 0 -1 4202560 6493 0 0 0 135 1 0 0 20 0 22 0 341085666 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538901641400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4378] ppid=4360 vsize=2966184 CPUtime=1.38 cores=1,3,5,7
/proc/4362/task/4378/stat : 4378 (java) S 4360 4362 3937 0 -1 4202560 8778 0 0 0 136 2 0 0 20 0 22 0 341085666 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538900588600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4379] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4379/stat : 4379 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341085666 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538899536504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4380] ppid=4360 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/4362/task/4380/stat : 4380 (java) S 4360 4362 3937 0 -1 4202560 43 0 0 0 11 16 0 0 20 0 22 0 341085666 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538898483912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4383] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4383/stat : 4383 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341085732 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538895324840 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4384] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4384/stat : 4384 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341085732 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538894272040 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4391] ppid=4360 vsize=2966184 CPUtime=782.27 cores=1,3,5,7
/proc/4362/task/4391/stat : 4391 (java) S 4360 4362 3937 0 -1 4202560 686 0 0 0 78210 17 0 0 20 0 22 0 341086023 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538897428056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4392] ppid=4360 vsize=2966184 CPUtime=782.39 cores=1,3,5,7
/proc/4362/task/4392/stat : 4392 (java) S 4360 4362 3937 0 -1 4202560 746 0 0 0 78220 19 0 0 20 0 22 0 341086023 3037372416 203115 33554432000 1073741824 1073778376 140735839593680 140538896374344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1628.86
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 3.92 3.95 3.80 5/219 4420
/proc/meminfo: memFree=26699852/32873648 swapFree=6864/6864
[pid=4362] ppid=4360 vsize=2966184 CPUtime=1746.39 cores=1,3,5,7
/proc/4362/stat : 4362 (java) S 4360 4362 3937 0 -1 4202496 22785 0 1 0 174485 154 0 0 20 0 22 0 341085661 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140735839584816 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4362/statm: 741546 203676 2289 9 0 732240 0
[pid=4362/tid=4364] ppid=4360 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/4362/task/4364/stat : 4364 (java) S 4360 4362 3937 0 -1 4202560 2857 0 1 0 59 2 0 0 20 0 22 0 341085661 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140539529471128 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4365] ppid=4360 vsize=2966184 CPUtime=4.59 cores=1,3,5,7
/proc/4362/task/4365/stat : 4365 (java) S 4360 4362 3937 0 -1 4202560 172 0 0 0 453 6 0 0 20 0 22 0 341085662 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140539518532392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4366] ppid=4360 vsize=2966184 CPUtime=4.72 cores=1,3,5,7
/proc/4362/task/4366/stat : 4366 (java) S 4360 4362 3937 0 -1 4202560 147 0 0 0 465 7 0 0 20 0 22 0 341085662 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140539394980520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4367] ppid=4360 vsize=2966184 CPUtime=4.69 cores=1,3,5,7
/proc/4362/task/4367/stat : 4367 (java) S 4360 4362 3937 0 -1 4202560 164 0 0 0 461 8 0 0 20 0 22 0 341085662 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140539393928232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4368] ppid=4360 vsize=2966184 CPUtime=4.84 cores=1,3,5,7
/proc/4362/task/4368/stat : 4368 (java) S 4360 4362 3937 0 -1 4202560 192 0 0 0 477 7 0 0 20 0 22 0 341085662 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140539392875432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4369] ppid=4360 vsize=2966184 CPUtime=4.72 cores=1,3,5,7
/proc/4362/task/4369/stat : 4369 (java) S 4360 4362 3937 0 -1 4202560 157 0 0 0 465 7 0 0 20 0 22 0 341085662 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140539391822120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4370] ppid=4360 vsize=2966184 CPUtime=4.69 cores=1,3,5,7
/proc/4362/task/4370/stat : 4370 (java) S 4360 4362 3937 0 -1 4202560 160 0 0 0 462 7 0 0 20 0 22 0 341085662 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140539390769320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4371] ppid=4360 vsize=2966184 CPUtime=4.71 cores=1,3,5,7
/proc/4362/task/4371/stat : 4371 (java) S 4360 4362 3937 0 -1 4202560 170 0 0 0 466 5 0 0 20 0 22 0 341085662 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140539389717032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4372] ppid=4360 vsize=2966184 CPUtime=4.6 cores=1,3,5,7
/proc/4362/task/4372/stat : 4372 (java) S 4360 4362 3937 0 -1 4202560 158 0 0 0 452 8 0 0 20 0 22 0 341085662 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140539388664232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4373] ppid=4360 vsize=2966184 CPUtime=29.1 cores=1,3,5,7
/proc/4362/task/4373/stat : 4373 (java) S 4360 4362 3937 0 -1 4202560 443 0 0 0 2854 56 0 0 20 0 22 0 341085663 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538905852648 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4374] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4374/stat : 4374 (java) S 4360 4362 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341085664 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538904798712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4375] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4375/stat : 4375 (java) S 4360 4362 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341085664 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538903746312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4376] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4376/stat : 4376 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341085666 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538902694800 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4377] ppid=4360 vsize=2966184 CPUtime=1.36 cores=1,3,5,7
/proc/4362/task/4377/stat : 4377 (java) S 4360 4362 3937 0 -1 4202560 6493 0 0 0 135 1 0 0 20 0 22 0 341085666 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538901641400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4378] ppid=4360 vsize=2966184 CPUtime=1.38 cores=1,3,5,7
/proc/4362/task/4378/stat : 4378 (java) S 4360 4362 3937 0 -1 4202560 8778 0 0 0 136 2 0 0 20 0 22 0 341085666 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538900588600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4379] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4379/stat : 4379 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341085666 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538899536504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4380] ppid=4360 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/4362/task/4380/stat : 4380 (java) S 4360 4362 3937 0 -1 4202560 47 0 0 0 12 18 0 0 20 0 22 0 341085666 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538898483912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4383] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4383/stat : 4383 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341085732 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538895324840 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4384] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4384/stat : 4384 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341085732 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538894272040 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4391] ppid=4360 vsize=2966184 CPUtime=837.73 cores=1,3,5,7
/proc/4362/task/4391/stat : 4391 (java) R 4360 4362 3937 0 -1 4202560 761 0 0 0 83755 18 0 0 20 0 22 0 341086023 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538897428256 140539401044907 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4392] ppid=4360 vsize=2966184 CPUtime=837.85 cores=1,3,5,7
/proc/4362/task/4392/stat : 4392 (java) R 4360 4362 3937 0 -1 4202560 771 0 0 0 83764 21 0 0 20 0 22 0 341086023 3037372416 203676 33554432000 1073741824 1073778376 140735839593680 140538896374112 140539400540508 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1746.39
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+909.601 s]
/proc/loadavg: 3.89 3.93 3.80 5/219 4486
/proc/meminfo: memFree=26885524/32873648 swapFree=6864/6864
[pid=4362] ppid=4360 vsize=2966184 CPUtime=1800.01 cores=1,3,5,7
/proc/4362/stat : 4362 (java) S 4360 4362 3937 0 -1 4202496 22861 0 1 0 179844 157 0 0 20 0 22 0 341085661 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140735839584816 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4362/statm: 741546 203704 2289 9 0 732240 0
[pid=4362/tid=4364] ppid=4360 vsize=2966184 CPUtime=0.62 cores=1,3,5,7
/proc/4362/task/4364/stat : 4364 (java) S 4360 4362 3937 0 -1 4202560 2859 0 1 0 59 3 0 0 20 0 22 0 341085661 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140539529471128 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4365] ppid=4360 vsize=2966184 CPUtime=4.74 cores=1,3,5,7
/proc/4362/task/4365/stat : 4365 (java) S 4360 4362 3937 0 -1 4202560 172 0 0 0 468 6 0 0 20 0 22 0 341085662 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140539518532392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4366] ppid=4360 vsize=2966184 CPUtime=4.89 cores=1,3,5,7
/proc/4362/task/4366/stat : 4366 (java) S 4360 4362 3937 0 -1 4202560 151 0 0 0 482 7 0 0 20 0 22 0 341085662 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140539394980520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4367] ppid=4360 vsize=2966184 CPUtime=4.85 cores=1,3,5,7
/proc/4362/task/4367/stat : 4367 (java) S 4360 4362 3937 0 -1 4202560 164 0 0 0 477 8 0 0 20 0 22 0 341085662 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140539393928232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4368] ppid=4360 vsize=2966184 CPUtime=4.98 cores=1,3,5,7
/proc/4362/task/4368/stat : 4368 (java) S 4360 4362 3937 0 -1 4202560 203 0 0 0 491 7 0 0 20 0 22 0 341085662 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140539392875432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4369] ppid=4360 vsize=2966184 CPUtime=4.87 cores=1,3,5,7
/proc/4362/task/4369/stat : 4369 (java) S 4360 4362 3937 0 -1 4202560 159 0 0 0 480 7 0 0 20 0 22 0 341085662 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140539391822120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4370] ppid=4360 vsize=2966184 CPUtime=4.84 cores=1,3,5,7
/proc/4362/task/4370/stat : 4370 (java) S 4360 4362 3937 0 -1 4202560 166 0 0 0 477 7 0 0 20 0 22 0 341085662 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140539390769320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4371] ppid=4360 vsize=2966184 CPUtime=4.87 cores=1,3,5,7
/proc/4362/task/4371/stat : 4371 (java) S 4360 4362 3937 0 -1 4202560 172 0 0 0 482 5 0 0 20 0 22 0 341085662 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140539389717032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4372] ppid=4360 vsize=2966184 CPUtime=4.77 cores=1,3,5,7
/proc/4362/task/4372/stat : 4372 (java) S 4360 4362 3937 0 -1 4202560 161 0 0 0 469 8 0 0 20 0 22 0 341085662 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140539388664232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4373] ppid=4360 vsize=2966184 CPUtime=30.53 cores=1,3,5,7
/proc/4362/task/4373/stat : 4373 (java) S 4360 4362 3937 0 -1 4202560 446 0 0 0 2995 58 0 0 20 0 22 0 341085663 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538905852648 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4374] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4374/stat : 4374 (java) S 4360 4362 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341085664 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538904798712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4375] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4375/stat : 4375 (java) S 4360 4362 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341085664 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538903746312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4376] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4376/stat : 4376 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341085666 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538902694800 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4362/tid=4377] ppid=4360 vsize=2966184 CPUtime=1.36 cores=1,3,5,7
/proc/4362/task/4377/stat : 4377 (java) S 4360 4362 3937 0 -1 4202560 6493 0 0 0 135 1 0 0 20 0 22 0 341085666 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538901641400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4378] ppid=4360 vsize=2966184 CPUtime=1.38 cores=1,3,5,7
/proc/4362/task/4378/stat : 4378 (java) S 4360 4362 3937 0 -1 4202560 8778 0 0 0 136 2 0 0 20 0 22 0 341085666 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538900588600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4379] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4379/stat : 4379 (java) S 4360 4362 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341085666 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538899536504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4380] ppid=4360 vsize=2966184 CPUtime=0.31 cores=1,3,5,7
/proc/4362/task/4380/stat : 4380 (java) S 4360 4362 3937 0 -1 4202560 49 0 0 0 12 19 0 0 20 0 22 0 341085666 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538898483912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4362/tid=4383] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4383/stat : 4383 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341085732 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538895324840 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4384] ppid=4360 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/4362/task/4384/stat : 4384 (java) S 4360 4362 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341085732 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538894272040 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4362/tid=4391] ppid=4360 vsize=2966184 CPUtime=863.21 cores=1,3,5,7
/proc/4362/task/4391/stat : 4391 (java) R 4360 4362 3937 0 -1 4202560 784 0 0 0 86302 19 0 0 20 0 22 0 341086023 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538897427448 140539400922365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4362/tid=4392] ppid=4360 vsize=2966184 CPUtime=863.34 cores=1,3,5,7
/proc/4362/task/4392/stat : 4392 (java) R 4360 4362 3937 0 -1 4202560 789 0 0 0 86312 22 0 0 20 0 22 0 341086023 3037372416 203704 33554432000 1073741824 1073778376 140735839593680 140538896375040 140539400540434 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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
Real time (s): 909.66
CPU time (s): 1801.05
CPU user time (s): 1799.03
CPU system time (s): 2.01969
CPU usage (%): 197.991
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 2.01969
maximum resident set size= 815104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22892
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60375
involuntary context switches= 107409

runsolver used 3.2505 second user time and 8.46571 second system time

The end

Launcher Data 

Begin job on node120 at 2012-06-03 20:53:17
IDJOB=3735726
IDBENCH=24989
IDSOLVER=2324
FILE ID=node120/3735726-1338749597
RUNJOBID= node120-1338747803-3954
PBS_JOBID= 14636782
Free space on /tmp= 70772 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_003_area_delay.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735726-1338749597/watcher-3735726-1338749597 -o /tmp/evaluation-result-3735726-1338749597/solver-3735726-1338749597 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735726-1338749597.opb

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

MD5SUM BENCH= 66cf2657d020eb0982c7cab0e5ad93c1
RANDOM SEED=1596137083

node120.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.456
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	: 5332.91
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.456
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.456
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.456
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.88
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.456
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.91
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.456
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.83
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.456
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.456
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:        27876920 kB
Buffers:          570876 kB
Cached:          3128508 kB
SwapCached:         1580 kB
Active:          2059240 kB
Inactive:        1990776 kB
Active(anon):     342804 kB
Inactive(anon):     9224 kB
Active(file):    1716436 kB
Inactive(file):  1981552 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:              2648 kB
Writeback:             0 kB
AnonPages:        369268 kB
Mapped:            18984 kB
Shmem:                32 kB
Slab:             795428 kB
SReclaimable:     239300 kB
SUnreclaim:       556128 kB
KernelStack:        1624 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1570468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 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= 70776 MiB
End job on node120 at 2012-06-03 21:08:28