Trace number 3688430

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)31 1800.58 954.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_022_area_delay.opb
MD5SUM8e8463c13e61e1a22058cdf603119640
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 benchmark3.66344
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 variables7926
Total number of constraints23835
Number of constraints which are clauses23835
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 3885
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 3885
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 3885
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.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3688430-1337877580.opb
0.09/0.12	c reading problem ... 
1.36/0.63	c ... done. Wall clock time 0.502s.
1.36/0.63	c declared #vars     7926
1.36/0.63	c #constraints  23835
1.36/0.63	c constraints type 
1.36/0.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4050
1.36/0.63	c org.sat4j.minisat.constraints.cnf.UnitClause => 617
1.36/0.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19168
1.36/0.63	c 23835 constraints processed.
1.36/0.63	c constraints type 
1.36/0.63	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19168
1.36/0.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4050
1.36/0.63	c org.sat4j.pb.constraints.pb.UnitClausePB => 617
1.36/0.63	c 23835 constraints processed.
1.36/0.63	c objective function length is 3885 literals
2.12/0.82	c  And the winner is solver1
2.34/1.13	c SATISFIABLE
2.34/1.13	c OPTIMIZING...
2.34/1.13	c Got one! Elapsed wall clock time (in seconds):1.01
2.34/1.13	o 39
6.75/3.05	c  And the winner is solver1
6.90/3.16	c Got one! Elapsed wall clock time (in seconds):3.039
6.90/3.16	o 38
9.08/4.28	c cleaning 2595 clauses out of 5190 with flag 2001/5190
10.39/4.81	c  And the winner is solver1
10.44/5.17	c Got one! Elapsed wall clock time (in seconds):5.05
10.44/5.17	o 37
13.53/6.77	c  And the winner is solver1
13.70/7.18	c Got one! Elapsed wall clock time (in seconds):7.055
13.70/7.18	o 36
15.66/8.12	c cleaning 4408 clauses out of 8815 with flag 2000/11410
17.46/9.07	c  And the winner is solver1
17.62/9.19	c Got one! Elapsed wall clock time (in seconds):9.062
17.62/9.19	o 35
21.41/11.09	c cleaning 5149 clauses out of 10299 with flag 4001/17302
27.54/14.16	c cleaning 5575 clauses out of 11149 with flag 10000/23301
34.70/17.80	c cleaning 6287 clauses out of 12574 with flag 17000/30301
43.26/22.04	c cleaning 7129 clauses out of 14287 with flag 25000/38301
52.77/26.88	c cleaning 8067 clauses out of 16158 with flag 34000/47301
63.69/32.36	c cleaning 9039 clauses out of 18091 with flag 44000/57301
75.38/38.29	c cleaning 10014 clauses out of 20052 with flag 55000/68301
88.46/44.82	c cleaning 11007 clauses out of 22039 with flag 67001/80302
102.33/51.85	c cleaning 12014 clauses out of 24032 with flag 80001/93302
116.99/59.23	c cleaning 13006 clauses out of 26017 with flag 94000/107301
133.37/67.55	c cleaning 13970 clauses out of 28011 with flag 109000/122301
151.19/76.56	c cleaning 15021 clauses out of 30041 with flag 125000/138301
170.27/86.15	c cleaning 15996 clauses out of 32020 with flag 142000/155301
190.06/96.13	c cleaning 17003 clauses out of 34024 with flag 160000/173301
211.09/106.80	c cleaning 18010 clauses out of 36021 with flag 179000/192301
233.56/118.16	c cleaning 18984 clauses out of 38011 with flag 199000/212301
256.74/129.85	c cleaning 20013 clauses out of 40028 with flag 220001/233302
280.34/141.79	c cleaning 21005 clauses out of 42014 with flag 242000/255301
284.73/144.24	c  And the winner is solver1
284.85/144.48	c Got one! Elapsed wall clock time (in seconds):144.352
284.85/144.48	o 34
286.68/145.46	c cleaning 13145 clauses out of 26320 with flag 2000/260612
292.90/148.76	c cleaning 9582 clauses out of 19175 with flag 8000/266612
300.71/152.86	c cleaning 8294 clauses out of 16593 with flag 15000/273612
310.27/157.84	c cleaning 8125 clauses out of 16299 with flag 23000/281612
321.19/163.61	c cleaning 8575 clauses out of 17175 with flag 32001/290613
332.53/169.59	c cleaning 9300 clauses out of 18599 with flag 42000/300612
345.47/176.21	c cleaning 10141 clauses out of 20299 with flag 53000/311612
358.57/183.08	c cleaning 11070 clauses out of 22158 with flag 65000/323612
372.97/190.64	c cleaning 12039 clauses out of 24088 with flag 78000/336612
388.06/198.45	c cleaning 13025 clauses out of 26050 with flag 92001/350613
404.19/206.76	c cleaning 13995 clauses out of 28024 with flag 107000/365612
422.15/215.98	c cleaning 15009 clauses out of 30029 with flag 123000/381612
434.09/222.36	c  And the winner is solver1
434.24/222.48	c Got one! Elapsed wall clock time (in seconds):222.355
434.24/222.48	o 33
438.93/224.90	c cleaning 14703 clauses out of 29413 with flag 5001/396005
445.34/228.31	c cleaning 10349 clauses out of 20709 with flag 11000/402004
453.09/232.54	c cleaning 8672 clauses out of 17360 with flag 18000/409004
462.02/237.36	c cleaning 8345 clauses out of 16689 with flag 26001/417005
471.73/242.80	c cleaning 8669 clauses out of 17343 with flag 35000/426004
482.43/248.49	c cleaning 9325 clauses out of 18674 with flag 45000/436004
495.20/255.51	c cleaning 10159 clauses out of 20349 with flag 56000/447004
509.51/263.17	c cleaning 11074 clauses out of 22190 with flag 68000/459004
523.90/270.63	c cleaning 12042 clauses out of 24116 with flag 81000/472004
539.63/278.80	c cleaning 13027 clauses out of 26074 with flag 95000/486004
556.17/287.41	c cleaning 14010 clauses out of 28049 with flag 110002/501006
574.06/296.96	c cleaning 15001 clauses out of 30037 with flag 126000/517004
593.18/306.82	c cleaning 16018 clauses out of 32036 with flag 143000/534004
613.28/317.28	c cleaning 16993 clauses out of 34018 with flag 161000/552004
634.57/328.25	c cleaning 17999 clauses out of 36025 with flag 180000/571004
657.87/340.59	c cleaning 18989 clauses out of 38026 with flag 200000/591004
680.51/352.25	c  And the winner is solver1
680.66/352.52	c Got one! Elapsed wall clock time (in seconds):352.396
680.66/352.52	o 32
685.26/354.86	c cleaning 22407 clauses out of 44814 with flag 5000/616781
691.79/358.58	c cleaning 14196 clauses out of 28407 with flag 11000/622781
699.70/362.96	c cleaning 10600 clauses out of 21211 with flag 18000/629781
709.23/368.46	c cleaning 9295 clauses out of 18612 with flag 26001/637782
719.51/374.03	c cleaning 9157 clauses out of 18316 with flag 35000/646781
731.46/380.40	c cleaning 9570 clauses out of 19159 with flag 45000/656781
744.54/387.46	c cleaning 10295 clauses out of 20591 with flag 56002/667783
759.23/395.56	c cleaning 11121 clauses out of 22294 with flag 68000/679781
774.90/403.83	c cleaning 12069 clauses out of 24174 with flag 81001/692782
790.56/412.19	c cleaning 13014 clauses out of 26104 with flag 95000/706781
806.41/420.51	c cleaning 14038 clauses out of 28090 with flag 110000/721781
826.03/431.11	c cleaning 15004 clauses out of 30052 with flag 126000/737781
848.44/443.21	c cleaning 16001 clauses out of 32048 with flag 143000/754781
869.36/454.18	c cleaning 17007 clauses out of 34047 with flag 161000/772781
893.28/466.91	c cleaning 17979 clauses out of 36040 with flag 180000/791781
917.67/479.67	c cleaning 19010 clauses out of 38061 with flag 200000/811781
943.11/492.91	c cleaning 20006 clauses out of 40051 with flag 221000/832781
970.00/506.94	c cleaning 21003 clauses out of 42045 with flag 243000/854781
999.15/522.42	c cleaning 22001 clauses out of 44043 with flag 266001/877782
1029.05/537.84	c cleaning 23021 clauses out of 46041 with flag 290000/901781
1059.71/553.61	c cleaning 23996 clauses out of 48020 with flag 315000/926781
1091.81/570.24	c cleaning 24982 clauses out of 50024 with flag 341000/952781
1095.30/573.17	c  And the winner is solver1
1095.50/573.67	c Got one! Elapsed wall clock time (in seconds):573.545
1095.50/573.67	o 31
1100.60/576.21	c cleaning 15453 clauses out of 30940 with flag 5000/958679
1108.18/580.76	c cleaning 10743 clauses out of 21487 with flag 11000/964679
1116.32/585.58	c cleaning 8857 clauses out of 17744 with flag 18000/971679
1125.49/590.89	c cleaning 8440 clauses out of 16887 with flag 26000/979679
1137.36/597.91	c cleaning 8724 clauses out of 17448 with flag 35001/988680
1148.78/604.39	c cleaning 9355 clauses out of 18723 with flag 45000/998679
1162.81/612.05	c cleaning 10185 clauses out of 20369 with flag 56001/1009680
1178.50/620.53	c cleaning 11053 clauses out of 22183 with flag 68000/1021679
1196.58/630.78	c cleaning 12064 clauses out of 24130 with flag 81000/1034679
1214.61/640.49	c cleaning 13027 clauses out of 26066 with flag 95000/1048679
1233.96/650.81	c cleaning 13998 clauses out of 28039 with flag 110000/1063679
1255.15/662.16	c cleaning 14994 clauses out of 30042 with flag 126001/1079680
1276.62/674.01	c cleaning 15982 clauses out of 32047 with flag 143000/1096679
1297.26/685.14	c cleaning 17011 clauses out of 34065 with flag 161000/1114679
1318.81/696.74	c cleaning 18017 clauses out of 36054 with flag 180000/1133679
1341.33/708.80	c cleaning 19013 clauses out of 38037 with flag 200000/1153679
1367.62/723.34	c cleaning 20000 clauses out of 40024 with flag 221000/1174679
1390.39/735.53	c cleaning 21006 clauses out of 42024 with flag 243000/1196679
1417.51/749.91	c cleaning 22001 clauses out of 44018 with flag 266000/1219679
1445.59/764.71	c cleaning 22981 clauses out of 46017 with flag 290000/1243679
1475.24/780.74	c cleaning 23993 clauses out of 48036 with flag 315000/1268679
1505.93/796.98	c cleaning 24991 clauses out of 50044 with flag 341001/1294680
1539.32/815.53	c cleaning 26001 clauses out of 52052 with flag 368000/1321679
1571.86/833.30	c cleaning 27004 clauses out of 54051 with flag 396000/1349679
1604.44/850.50	c cleaning 28002 clauses out of 56047 with flag 425000/1378679
1638.99/868.74	c cleaning 29014 clauses out of 58045 with flag 455000/1408679
1673.30/886.80	c cleaning 29988 clauses out of 60031 with flag 486000/1439679
1711.03/907.29	c cleaning 30980 clauses out of 62043 with flag 518000/1471679
1746.93/926.13	c cleaning 32009 clauses out of 64064 with flag 551001/1504680
1778.38/942.85	c cleaning 33009 clauses out of 66055 with flag 585001/1538680
1800.05/954.61	c starts		: 24
1800.05/954.61	c conflicts		: 2893
1800.05/954.61	c decisions		: 436928
1800.05/954.61	c propagations		: 2468470
1800.05/954.61	c inspects		: 34990012
1800.05/954.61	c shortcuts		: 0
1800.05/954.61	c learnt literals	: 0
1800.05/954.61	c learnt binary clauses	: 0
1800.05/954.61	c learnt ternary clauses	: 0
1800.05/954.61	c learnt constraints	: 2892
1800.05/954.61	c ignored constraints	: 0
1800.05/954.61	c root simplifications	: 0
1800.05/954.61	c removed literals (reason simplification)	: 0
1800.05/954.61	c reason swapping (by a shorter reason)	: 0
1800.05/954.61	c Calls to reduceDB	: 0
1800.05/954.61	c number of reductions to clauses (during analyze)	: 0
1800.05/954.61	c number of learned constraints concerned by reduction	: 0
1800.05/954.61	c number of learning phase by resolution	: 0
1800.05/954.61	c number of learning phase by cutting planes	: 0
1800.05/954.61	c speed (assignments/second)	: 2587.7904288854807
1800.05/954.61	c non guided choices	0
1800.05/954.61	c learnt constraints type 
1800.05/954.61	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 112
1800.05/954.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 88
1800.05/954.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2692
1800.05/954.61	c constraints type 
1800.05/954.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4050
1800.05/954.61	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/954.61	c org.sat4j.minisat.constraints.cnf.UnitClause => 617
1800.05/954.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19168
1800.05/954.61	c 23836 constraints processed.
1800.05/954.61	c constraints type 
1800.05/954.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19168
1800.05/954.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4050
1800.05/954.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.05/954.61	c org.sat4j.pb.constraints.pb.UnitClausePB => 617
1800.05/954.61	c 23836 constraints processed.
1800.05/954.61	s SATISFIABLE
1800.05/954.62	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 x232 x233 x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 x3737 x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 x4673 x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 x4820 x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 x5245 x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 x6381 x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 x6424 x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 x6756 x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 x6898 x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 x6971 x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 x7198 x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 x7338 x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 x7918 x7919 x7920 -x7921 -x7922 x7923 x7924 x7925 x7926 
1800.05/954.63	c objective function=31
1800.05/954.63	c Total wall clock time (in seconds): 954.51

Verifier Data

OK	31

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-3688430-1337877580/watcher-3688430-1337877580 -o /tmp/evaluation-result-3688430-1337877580/solver-3688430-1337877580 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688430-1337877580.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: 3.84 3.93 3.83 4/197 23894
/proc/meminfo: memFree=27066032/32873844 swapFree=7100/7100
[pid=23894] ppid=23892 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23894/stat : 23894 (java) D 23892 23894 22059 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253885002 9515008 182 33554432000 1073741824 1073778376 140733675404336 140733675395368 233411788469 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/23894/statm: 2323 182 140 9 0 71 0

[startup+0.0536299 s]
/proc/loadavg: 3.84 3.93 3.83 4/197 23894
/proc/meminfo: memFree=27066032/32873844 swapFree=7100/7100
[pid=23894] ppid=23892 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/23894/stat : 23894 (java) S 23892 23894 22059 0 -1 4202496 3054 0 1 0 3 0 0 0 20 0 13 0 253885002 9446973440 3752 33554432000 1073741824 1073778376 140733909548336 140733909539472 233415147581 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23894/statm: 2306390 3752 1705 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100236 s]
/proc/loadavg: 3.84 3.93 3.83 4/197 23894
/proc/meminfo: memFree=27066032/32873844 swapFree=7100/7100
[pid=23894] ppid=23892 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/23894/stat : 23894 (java) S 23892 23894 22059 0 -1 4202496 4239 0 1 0 8 1 0 0 20 0 18 0 253885002 9787813888 5432 33554432000 1073741824 1073778376 140733909548336 140733909539472 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23894/statm: 2389603 5432 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300281 s]
/proc/loadavg: 3.84 3.93 3.83 4/197 23894
/proc/meminfo: memFree=27066032/32873844 swapFree=7100/7100
[pid=23894] ppid=23892 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/23894/stat : 23894 (java) S 23892 23894 22059 0 -1 4202496 6165 0 1 0 46 2 0 0 20 0 18 0 253885002 9787813888 8598 33554432000 1073741824 1073778376 140733909548336 140733909539472 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23894/statm: 2389603 8598 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700237 s]
/proc/loadavg: 3.84 3.93 3.83 4/197 23894
/proc/meminfo: memFree=27066032/32873844 swapFree=7100/7100
[pid=23894] ppid=23892 vsize=9692132 CPUtime=1.73 cores=1,3,5,7
/proc/23894/stat : 23894 (java) S 23892 23894 22059 0 -1 4202496 21322 0 1 0 167 6 0 0 20 0 20 0 253885002 9924743168 31787 33554432000 1073741824 1073778376 140733909548336 140733909539472 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23894/statm: 2423033 31787 2239 9 0 2413726 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 9692132

[startup+1.50074 s]
/proc/loadavg: 3.84 3.93 3.83 3/216 23916
/proc/meminfo: memFree=26946668/32873844 swapFree=7100/7100
[pid=23894] ppid=23892 vsize=9824668 CPUtime=3.38 cores=1,3,5,7
/proc/23894/stat : 23894 (java) S 23892 23894 22059 0 -1 4202496 22278 0 1 0 330 8 0 0 20 0 22 0 253885002 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 140733909539472 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23894/statm: 2456167 33903 2259 9 0 2446860 0
[pid=23894/tid=23896] ppid=23892 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/23894/task/23896/stat : 23896 (java) S 23892 23894 22059 0 -1 4202560 2487 0 1 0 60 2 0 0 20 0 22 0 253885003 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765195826168 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23897] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23897/stat : 23897 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885004 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765157316904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23898] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23898/stat : 23898 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885004 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765156264104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23899] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23899/stat : 23899 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885004 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765155211816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23900] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23900/stat : 23900 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885004 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765154159016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23901] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23901/stat : 23901 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885004 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765153106728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23902] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23902/stat : 23902 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885005 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765152053928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23903] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23903/stat : 23903 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885005 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765151001640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23904] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23904/stat : 23904 (java) S 23892 23894 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253885005 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765149948840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23905] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23905/stat : 23905 (java) S 23892 23894 22059 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253885006 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765019433192 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23906] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23906/stat : 23906 (java) S 23892 23894 22059 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253885006 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765018379256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23907] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23907/stat : 23907 (java) S 23892 23894 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253885006 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765017326856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23908] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23908/stat : 23908 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765016275344 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23909] ppid=23892 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/23894/task/23909/stat : 23909 (java) S 23892 23894 22059 0 -1 4202560 10456 0 0 0 80 2 0 0 20 0 22 0 253885009 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139765015222968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23910] ppid=23892 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/23894/task/23910/stat : 23910 (java) S 23892 23894 22059 0 -1 4202560 8022 0 0 0 81 2 0 0 20 0 22 0 253885009 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139764141386296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23911] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23911/stat : 23911 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139764140334200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23912] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23912/stat : 23912 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139764139281608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23916] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23916/stat : 23916 (java) S 23892 23894 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253885075 10060460032 33903 33554432000 1073741824 1073778376 140733909548336 139764135068712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 9824668

[startup+3.1008 s]
/proc/loadavg: 3.84 3.93 3.83 5/219 23919
/proc/meminfo: memFree=26933440/32873844 swapFree=7100/7100
[pid=23894] ppid=23892 vsize=9824668 CPUtime=6.9 cores=1,3,5,7
/proc/23894/stat : 23894 (java) S 23892 23894 22059 0 -1 4202496 22422 0 1 0 680 10 0 0 20 0 19 0 253885002 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 140733909539472 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23894/statm: 2456167 39054 2262 9 0 2446860 0
[pid=23894/tid=23896] ppid=23892 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/23894/task/23896/stat : 23896 (java) S 23892 23894 22059 0 -1 4202560 2487 0 1 0 60 2 0 0 20 0 19 0 253885003 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765195826168 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23897] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23897/stat : 23897 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885004 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765157316904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23898] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23898/stat : 23898 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885004 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765156264104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23899] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23899/stat : 23899 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885004 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765155211816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23900] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23900/stat : 23900 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885004 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765154159016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23901] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23901/stat : 23901 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885004 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765153106728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23902] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23902/stat : 23902 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885005 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765152053928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23903] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23903/stat : 23903 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885005 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765151001640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23904] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23904/stat : 23904 (java) S 23892 23894 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253885005 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765149948840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23905] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23905/stat : 23905 (java) S 23892 23894 22059 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253885006 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765019433192 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23906] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23906/stat : 23906 (java) S 23892 23894 22059 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253885006 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765018379256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23907] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23907/stat : 23907 (java) S 23892 23894 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885006 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765017326856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23908] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23908/stat : 23908 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885009 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765016275344 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23909] ppid=23892 vsize=9824668 CPUtime=1.04 cores=1,3,5,7
/proc/23894/task/23909/stat : 23909 (java) S 23892 23894 22059 0 -1 4202560 10489 0 0 0 102 2 0 0 20 0 19 0 253885009 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139765015222968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23910] ppid=23892 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/23894/task/23910/stat : 23910 (java) S 23892 23894 22059 0 -1 4202560 8114 0 0 0 100 3 0 0 20 0 19 0 253885009 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139764141386296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23911] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23911/stat : 23911 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885009 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139764140334200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23912] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23912/stat : 23912 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885009 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139764139281608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23916] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23916/stat : 23916 (java) S 23892 23894 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885075 10060460032 39054 33554432000 1073741824 1073778376 140733909548336 139764135068712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 9824668

[startup+6.30084 s]
/proc/loadavg: 3.93 3.95 3.84 5/219 23925
/proc/meminfo: memFree=26871876/32873844 swapFree=7100/7100
[pid=23894] ppid=23892 vsize=9824668 CPUtime=12.71 cores=1,3,5,7
/proc/23894/stat : 23894 (java) S 23892 23894 22059 0 -1 4202496 26031 0 1 0 1255 16 0 0 20 0 22 0 253885002 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 140733909539472 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23894/statm: 2456167 50841 2286 9 0 2446860 0
[pid=23894/tid=23896] ppid=23892 vsize=9824668 CPUtime=0.65 cores=1,3,5,7
/proc/23894/task/23896/stat : 23896 (java) S 23892 23894 22059 0 -1 4202560 2488 0 1 0 62 3 0 0 20 0 22 0 253885003 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765195826168 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23897] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23897/stat : 23897 (java) S 23892 23894 22059 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253885004 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765157316904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23898] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23898/stat : 23898 (java) S 23892 23894 22059 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253885004 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765156264104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23899] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23899/stat : 23899 (java) S 23892 23894 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253885004 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765155211816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23900] ppid=23892 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23894/task/23900/stat : 23900 (java) S 23892 23894 22059 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253885004 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765154159016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23901] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23901/stat : 23901 (java) S 23892 23894 22059 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253885004 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765153106728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23902] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23902/stat : 23902 (java) S 23892 23894 22059 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253885005 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765152053928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23903] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23903/stat : 23903 (java) S 23892 23894 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253885005 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765151001640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23904] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23904/stat : 23904 (java) S 23892 23894 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253885005 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765149948840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23905] ppid=23892 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/23894/task/23905/stat : 23905 (java) S 23892 23894 22059 0 -1 4202560 39 0 0 0 5 0 0 0 20 0 22 0 253885006 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765019433192 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23906] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23906/stat : 23906 (java) S 23892 23894 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253885006 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765018379256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23907] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23907/stat : 23907 (java) S 23892 23894 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253885006 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765017326856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23908] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23908/stat : 23908 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765016275344 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23909] ppid=23892 vsize=9824668 CPUtime=1.1 cores=1,3,5,7
/proc/23894/task/23909/stat : 23909 (java) S 23892 23894 22059 0 -1 4202560 10493 0 0 0 108 2 0 0 20 0 22 0 253885009 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139765015222968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23910] ppid=23892 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/23894/task/23910/stat : 23910 (java) S 23892 23894 22059 0 -1 4202560 11609 0 0 0 122 3 0 0 20 0 22 0 253885009 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139764141386296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23911] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23911/stat : 23911 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139764140334200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23912] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23912/stat : 23912 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139764139281608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23916] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23916/stat : 23916 (java) S 23892 23894 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253885075 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139764135068712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23923] ppid=23892 vsize=9824668 CPUtime=1.1 cores=1,3,5,7
/proc/23894/task/23923/stat : 23923 (java) R 23892 23894 22059 0 -1 4202560 4 0 0 0 110 0 0 0 20 0 22 0 253885521 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139764138226616 139765031646626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23924] ppid=23892 vsize=9824668 CPUtime=1.1 cores=1,3,5,7
/proc/23894/task/23924/stat : 23924 (java) R 23892 23894 22059 0 -1 4202560 3 0 0 0 110 0 0 0 20 0 22 0 253885521 10060460032 50841 33554432000 1073741824 1073778376 140733909548336 139764137171312 139765031715703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0

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

[pid=23894/tid=24029] ppid=23892 vsize=9824668 CPUtime=199.23 cores=1,3,5,7
/proc/23894/task/24029/stat : 24029 (java) R 23892 23894 22059 0 -1 4202560 15 0 0 0 19920 3 0 0 20 0 22 0 253942371 10060460032 360530 33554432000 1073741824 1073778376 140733909548336 139764138226384 139765031540107 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=24030] ppid=23892 vsize=9824668 CPUtime=199.22 cores=1,3,5,7
/proc/23894/task/24030/stat : 24030 (java) R 23892 23894 22059 0 -1 4202560 35 0 0 0 19919 3 0 0 20 0 22 0 253942371 10060460032 360530 33554432000 1073741824 1073778376 140733909548336 139764137171392 139765031562504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=24031] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/24031/stat : 24031 (java) S 23892 23894 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253942371 10060460032 360530 33554432000 1073741824 1073778376 140733909548336 139764136122024 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1549.85
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.77 3.90 3.88 5/218 24035
/proc/meminfo: memFree=24892436/32873844 swapFree=7100/7100
[pid=23894] ppid=23892 vsize=9824668 CPUtime=1664.3 cores=1,3,5,7
/proc/23894/stat : 23894 (java) S 23892 23894 22059 0 -1 4202496 34781 0 1 0 166302 128 0 0 20 0 22 0 253885002 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 140733909539472 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23894/statm: 2456167 370270 2288 9 0 2446860 0
[pid=23894/tid=23896] ppid=23892 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/23894/task/23896/stat : 23896 (java) S 23892 23894 22059 0 -1 4202560 2566 0 1 0 68 3 0 0 20 0 22 0 253885003 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765195826168 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23897] ppid=23892 vsize=9824668 CPUtime=3 cores=1,3,5,7
/proc/23894/task/23897/stat : 23897 (java) S 23892 23894 22059 0 -1 4202560 695 0 0 0 293 7 0 0 20 0 22 0 253885004 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765157316904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23898] ppid=23892 vsize=9824668 CPUtime=3.26 cores=1,3,5,7
/proc/23894/task/23898/stat : 23898 (java) S 23892 23894 22059 0 -1 4202560 664 0 0 0 321 5 0 0 20 0 22 0 253885004 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765156264104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23899] ppid=23892 vsize=9824668 CPUtime=2.95 cores=1,3,5,7
/proc/23894/task/23899/stat : 23899 (java) S 23892 23894 22059 0 -1 4202560 354 0 0 0 289 6 0 0 20 0 22 0 253885004 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765155211816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23900] ppid=23892 vsize=9824668 CPUtime=3.17 cores=1,3,5,7
/proc/23894/task/23900/stat : 23900 (java) S 23892 23894 22059 0 -1 4202560 650 0 0 0 310 7 0 0 20 0 22 0 253885004 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765154159016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23901] ppid=23892 vsize=9824668 CPUtime=3.14 cores=1,3,5,7
/proc/23894/task/23901/stat : 23901 (java) S 23892 23894 22059 0 -1 4202560 975 0 0 0 307 7 0 0 20 0 22 0 253885004 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765153106728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23902] ppid=23892 vsize=9824668 CPUtime=2.96 cores=1,3,5,7
/proc/23894/task/23902/stat : 23902 (java) S 23892 23894 22059 0 -1 4202560 985 0 0 0 289 7 0 0 20 0 22 0 253885005 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765152053928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23903] ppid=23892 vsize=9824668 CPUtime=2.86 cores=1,3,5,7
/proc/23894/task/23903/stat : 23903 (java) S 23892 23894 22059 0 -1 4202560 454 0 0 0 281 5 0 0 20 0 22 0 253885005 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765151001640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23904] ppid=23892 vsize=9824668 CPUtime=2.93 cores=1,3,5,7
/proc/23894/task/23904/stat : 23904 (java) S 23892 23894 22059 0 -1 4202560 497 0 0 0 287 6 0 0 20 0 22 0 253885005 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765149948840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23905] ppid=23892 vsize=9824668 CPUtime=108.97 cores=1,3,5,7
/proc/23894/task/23905/stat : 23905 (java) S 23892 23894 22059 0 -1 4202560 3076 0 0 0 10861 36 0 0 20 0 22 0 253885006 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765019433192 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23906] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23906/stat : 23906 (java) S 23892 23894 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253885006 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765018379256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23907] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23907/stat : 23907 (java) S 23892 23894 22059 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253885006 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765017326856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23908] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23908/stat : 23908 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765016275344 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23909] ppid=23892 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/23894/task/23909/stat : 23909 (java) S 23892 23894 22059 0 -1 4202560 10644 0 0 0 138 2 0 0 20 0 22 0 253885009 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139765015222968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23910] ppid=23892 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/23894/task/23910/stat : 23910 (java) S 23892 23894 22059 0 -1 4202560 11628 0 0 0 167 4 0 0 20 0 22 0 253885009 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139764141386296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23911] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23911/stat : 23911 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139764140334200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23912] ppid=23892 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/23894/task/23912/stat : 23912 (java) S 23892 23894 22059 0 -1 4202560 50 0 0 0 15 11 0 0 20 0 22 0 253885009 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139764139281608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23916] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23916/stat : 23916 (java) S 23892 23894 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253885075 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139764135068712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=24029] ppid=23892 vsize=9824668 CPUtime=253.03 cores=1,3,5,7
/proc/23894/task/24029/stat : 24029 (java) R 23892 23894 22059 0 -1 4202560 18 0 0 0 25300 3 0 0 20 0 22 0 253942371 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139764138225440 139765031259325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=24030] ppid=23892 vsize=9824668 CPUtime=253.01 cores=1,3,5,7
/proc/23894/task/24030/stat : 24030 (java) R 23892 23894 22059 0 -1 4202560 36 0 0 0 25298 3 0 0 20 0 22 0 253942371 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139764137171392 139765031407020 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=24031] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/24031/stat : 24031 (java) S 23892 23894 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253942371 10060460032 370270 33554432000 1073741824 1073778376 140733909548336 139764136122024 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1664.3
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.76 3.87 3.87 4/219 24036
/proc/meminfo: memFree=24816772/32873844 swapFree=7100/7100
[pid=23894] ppid=23892 vsize=9824668 CPUtime=1777.38 cores=1,3,5,7
/proc/23894/stat : 23894 (java) S 23892 23894 22059 0 -1 4202496 34887 0 1 0 177607 131 0 0 20 0 22 0 253885002 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 140733909539472 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23894/statm: 2456167 379559 2288 9 0 2446860 0
[pid=23894/tid=23896] ppid=23892 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/23894/task/23896/stat : 23896 (java) S 23892 23894 22059 0 -1 4202560 2566 0 1 0 68 3 0 0 20 0 22 0 253885003 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765195826168 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23897] ppid=23892 vsize=9824668 CPUtime=3.16 cores=1,3,5,7
/proc/23894/task/23897/stat : 23897 (java) S 23892 23894 22059 0 -1 4202560 697 0 0 0 309 7 0 0 20 0 22 0 253885004 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765157316904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23898] ppid=23892 vsize=9824668 CPUtime=3.4 cores=1,3,5,7
/proc/23894/task/23898/stat : 23898 (java) S 23892 23894 22059 0 -1 4202560 678 0 0 0 335 5 0 0 20 0 22 0 253885004 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765156264104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23899] ppid=23892 vsize=9824668 CPUtime=3.04 cores=1,3,5,7
/proc/23894/task/23899/stat : 23899 (java) S 23892 23894 22059 0 -1 4202560 357 0 0 0 298 6 0 0 20 0 22 0 253885004 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765155211816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23900] ppid=23892 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/23894/task/23900/stat : 23900 (java) S 23892 23894 22059 0 -1 4202560 671 0 0 0 326 7 0 0 20 0 22 0 253885004 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765154159016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23901] ppid=23892 vsize=9824668 CPUtime=3.22 cores=1,3,5,7
/proc/23894/task/23901/stat : 23901 (java) S 23892 23894 22059 0 -1 4202560 976 0 0 0 315 7 0 0 20 0 22 0 253885004 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765153106728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23902] ppid=23892 vsize=9824668 CPUtime=3.06 cores=1,3,5,7
/proc/23894/task/23902/stat : 23902 (java) S 23892 23894 22059 0 -1 4202560 990 0 0 0 299 7 0 0 20 0 22 0 253885005 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765152053928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23903] ppid=23892 vsize=9824668 CPUtime=2.97 cores=1,3,5,7
/proc/23894/task/23903/stat : 23903 (java) S 23892 23894 22059 0 -1 4202560 475 0 0 0 291 6 0 0 20 0 22 0 253885005 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765151001640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23904] ppid=23892 vsize=9824668 CPUtime=3.08 cores=1,3,5,7
/proc/23894/task/23904/stat : 23904 (java) S 23892 23894 22059 0 -1 4202560 506 0 0 0 302 6 0 0 20 0 22 0 253885005 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765149948840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23905] ppid=23892 vsize=9824668 CPUtime=116.36 cores=1,3,5,7
/proc/23894/task/23905/stat : 23905 (java) S 23892 23894 22059 0 -1 4202560 3096 0 0 0 11599 37 0 0 20 0 22 0 253885006 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765019433192 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23906] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23906/stat : 23906 (java) S 23892 23894 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253885006 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765018379256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23907] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23907/stat : 23907 (java) S 23892 23894 22059 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253885006 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765017326856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23908] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23908/stat : 23908 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765016275344 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23909] ppid=23892 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/23894/task/23909/stat : 23909 (java) S 23892 23894 22059 0 -1 4202560 10644 0 0 0 138 2 0 0 20 0 22 0 253885009 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139765015222968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23910] ppid=23892 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/23894/task/23910/stat : 23910 (java) S 23892 23894 22059 0 -1 4202560 11628 0 0 0 167 4 0 0 20 0 22 0 253885009 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139764141386296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23911] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23911/stat : 23911 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139764140334200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23912] ppid=23892 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/23894/task/23912/stat : 23912 (java) S 23892 23894 22059 0 -1 4202560 54 0 0 0 16 12 0 0 20 0 22 0 253885009 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139764139281608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23916] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23916/stat : 23916 (java) S 23892 23894 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253885075 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139764135068712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=24029] ppid=23892 vsize=9824668 CPUtime=305.37 cores=1,3,5,7
/proc/23894/task/24029/stat : 24029 (java) R 23892 23894 22059 0 -1 4202560 24 0 0 0 30533 4 0 0 20 0 22 0 253942371 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139764138225424 139765031692264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=24030] ppid=23892 vsize=9824668 CPUtime=305.36 cores=1,3,5,7
/proc/23894/task/24030/stat : 24030 (java) R 23892 23894 22059 0 -1 4202560 36 0 0 0 30532 4 0 0 20 0 22 0 253942371 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139764137171552 139765031562582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=24031] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/24031/stat : 24031 (java) S 23892 23894 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253942371 10060460032 379559 33554432000 1073741824 1073778376 140733909548336 139764136122024 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1777.38
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+954.601 s]
/proc/loadavg: 3.81 3.88 3.88 4/219 24036
/proc/meminfo: memFree=24784872/32873844 swapFree=7100/7100
[pid=23894] ppid=23892 vsize=9824668 CPUtime=1800.05 cores=1,3,5,7
/proc/23894/stat : 23894 (java) S 23892 23894 22059 0 -1 4202496 34905 0 1 0 179873 132 0 0 20 0 22 0 253885002 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 140733909539472 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23894/statm: 2456167 383403 2288 9 0 2446860 0
[pid=23894/tid=23896] ppid=23892 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/23894/task/23896/stat : 23896 (java) S 23892 23894 22059 0 -1 4202560 2566 0 1 0 68 3 0 0 20 0 22 0 253885003 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765195826168 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23897] ppid=23892 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/23894/task/23897/stat : 23897 (java) S 23892 23894 22059 0 -1 4202560 697 0 0 0 314 7 0 0 20 0 22 0 253885004 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765157316904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23898] ppid=23892 vsize=9824668 CPUtime=3.45 cores=1,3,5,7
/proc/23894/task/23898/stat : 23898 (java) S 23892 23894 22059 0 -1 4202560 678 0 0 0 339 6 0 0 20 0 22 0 253885004 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765156264104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23899] ppid=23892 vsize=9824668 CPUtime=3.07 cores=1,3,5,7
/proc/23894/task/23899/stat : 23899 (java) S 23892 23894 22059 0 -1 4202560 360 0 0 0 301 6 0 0 20 0 22 0 253885004 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765155211816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23900] ppid=23892 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/23894/task/23900/stat : 23900 (java) S 23892 23894 22059 0 -1 4202560 671 0 0 0 328 7 0 0 20 0 22 0 253885004 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765154159016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23901] ppid=23892 vsize=9824668 CPUtime=3.25 cores=1,3,5,7
/proc/23894/task/23901/stat : 23901 (java) S 23892 23894 22059 0 -1 4202560 978 0 0 0 318 7 0 0 20 0 22 0 253885004 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765153106728 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23902] ppid=23892 vsize=9824668 CPUtime=3.09 cores=1,3,5,7
/proc/23894/task/23902/stat : 23902 (java) S 23892 23894 22059 0 -1 4202560 992 0 0 0 302 7 0 0 20 0 22 0 253885005 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765152053928 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23903] ppid=23892 vsize=9824668 CPUtime=3.03 cores=1,3,5,7
/proc/23894/task/23903/stat : 23903 (java) S 23892 23894 22059 0 -1 4202560 475 0 0 0 297 6 0 0 20 0 22 0 253885005 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765151001640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23904] ppid=23892 vsize=9824668 CPUtime=3.11 cores=1,3,5,7
/proc/23894/task/23904/stat : 23904 (java) S 23892 23894 22059 0 -1 4202560 506 0 0 0 305 6 0 0 20 0 22 0 253885005 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765149948840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23905] ppid=23892 vsize=9824668 CPUtime=118.45 cores=1,3,5,7
/proc/23894/task/23905/stat : 23905 (java) S 23892 23894 22059 0 -1 4202560 3105 0 0 0 11808 37 0 0 20 0 22 0 253885006 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765019433192 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23906] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23906/stat : 23906 (java) S 23892 23894 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253885006 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765018379256 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23907] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23907/stat : 23907 (java) S 23892 23894 22059 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253885006 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765017326856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23908] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23908/stat : 23908 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765016275344 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23909] ppid=23892 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/23894/task/23909/stat : 23909 (java) S 23892 23894 22059 0 -1 4202560 10644 0 0 0 138 2 0 0 20 0 22 0 253885009 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139765015222968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23894/tid=23910] ppid=23892 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/23894/task/23910/stat : 23910 (java) S 23892 23894 22059 0 -1 4202560 11628 0 0 0 167 4 0 0 20 0 22 0 253885009 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139764141386296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23894/tid=23911] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23911/stat : 23911 (java) S 23892 23894 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253885009 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139764140334200 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=23912] ppid=23892 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/23894/task/23912/stat : 23912 (java) S 23892 23894 22059 0 -1 4202560 54 0 0 0 16 12 0 0 20 0 22 0 253885009 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139764139281608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=23916] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/23916/stat : 23916 (java) S 23892 23894 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253885075 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139764135068712 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=24029] ppid=23892 vsize=9824668 CPUtime=315.51 cores=1,3,5,7
/proc/23894/task/24029/stat : 24029 (java) R 23892 23894 22059 0 -1 4202560 25 0 0 0 31547 4 0 0 20 0 22 0 253942371 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139764138225560 139765031757088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23894/tid=24030] ppid=23892 vsize=9824668 CPUtime=315.49 cores=1,3,5,7
/proc/23894/task/24030/stat : 24030 (java) R 23892 23894 22059 0 -1 4202560 37 0 0 0 31545 4 0 0 20 0 22 0 253942371 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139764137171600 139765031423840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23894/tid=24031] ppid=23892 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23894/task/24031/stat : 24031 (java) S 23892 23894 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253942371 10060460032 383403 33554432000 1073741824 1073778376 140733909548336 139764136122024 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824668

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): 954.65
CPU time (s): 1800.58
CPU user time (s): 1798.95
CPU system time (s): 1.63175
CPU usage (%): 188.612
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.63175
maximum resident set size= 1533732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34938
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28728
involuntary context switches= 51912

runsolver used 3.69044 second user time and 8.72367 second system time

The end

Launcher Data

Begin job on node111 at 2012-05-24 18:39:40
IDJOB=3688430
IDBENCH=24998
IDSOLVER=2268
FILE ID=node111/3688430-1337877580
RUNJOBID= node111-1337871880-22076
PBS_JOBID= 14620093
Free space on /tmp= 71620 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_area_delay.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688430-1337877580/watcher-3688430-1337877580 -o /tmp/evaluation-result-3688430-1337877580/solver-3688430-1337877580 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688430-1337877580.opb

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

MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640
RANDOM SEED=1211135272

node111.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.152
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.30
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.152
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.152
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.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
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.152
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27066304 kB
Buffers:          203544 kB
Cached:          3059320 kB
SwapCached:            0 kB
Active:          2527236 kB
Inactive:        2508828 kB
Active(anon):    1775916 kB
Inactive(anon):        0 kB
Active(file):     751320 kB
Inactive(file):  2508828 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1224 kB
Writeback:             0 kB
AnonPages:       1780208 kB
Mapped:            22564 kB
Shmem:               200 kB
Slab:             629576 kB
SReclaimable:      72176 kB
SUnreclaim:       557400 kB
KernelStack:        1616 kB
PageTables:         7700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1930968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1720320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node111 at 2012-05-24 18:55:37