Trace number 3710150

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
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)199987 1800.08 1786.58

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-air03.opb
MD5SUM721f63c71e5f6018eabb753425e3fdd2
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark199987
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 170080
Optimality of the best value was proved YES
Number of variables10757
Total number of constraints124
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)124
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3861
Number of terms in the objective function 10757
Biggest coefficient in the objective function 6873
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 13748961
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 6873
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 13748961
Number of bits of the biggest sum of numbers24
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.12	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3710150-1338133717.opb
0.08/0.13	c reading problem ... 
0.71/0.44	c ... done. Wall clock time 0.31s.
0.71/0.44	c declared #vars     10757
0.71/0.44	c #constraints  248
0.71/0.44	c constraints type 
0.71/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 122
0.71/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 122
0.71/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4
0.71/0.44	c 248 constraints processed.
1.14/0.69	c SATISFIABLE
1.14/0.69	c OPTIMIZING...
1.14/0.69	c Got one! Elapsed wall clock time (in seconds):0.564
1.14/0.69	o 292572
1.41/0.77	c Got one! Elapsed wall clock time (in seconds):0.648
1.41/0.77	o 288940
1.64/0.87	c Got one! Elapsed wall clock time (in seconds):0.744
1.64/0.87	o 270622
1.81/0.91	c Got one! Elapsed wall clock time (in seconds):0.781
1.81/0.91	o 270432
2.14/1.22	c Got one! Elapsed wall clock time (in seconds):1.096
2.14/1.22	o 270302
2.14/1.25	c Got one! Elapsed wall clock time (in seconds):1.121
2.14/1.25	o 259450
2.14/1.29	c Got one! Elapsed wall clock time (in seconds):1.164
2.14/1.29	o 256567
2.57/1.64	c Got one! Elapsed wall clock time (in seconds):1.511
2.57/1.64	o 250930
2.67/1.74	c Got one! Elapsed wall clock time (in seconds):1.61
2.67/1.74	o 250262
3.64/2.62	c Got one! Elapsed wall clock time (in seconds):2.492
3.64/2.62	o 248906
5.27/4.20	c cleaning 3661 clauses out of 7346 with flag 3000/7346
5.56/4.44	c Got one! Elapsed wall clock time (in seconds):4.316
5.56/4.44	o 247179
6.35/5.23	c Got one! Elapsed wall clock time (in seconds):5.108
6.35/5.23	o 240551
7.18/6.07	c Got one! Elapsed wall clock time (in seconds):5.941
7.18/6.07	o 239157
8.19/7.06	c Got one! Elapsed wall clock time (in seconds):6.932
8.19/7.06	o 234932
8.90/7.73	c cleaning 5568 clauses out of 11211 with flag 1000/14872
11.07/9.82	c Got one! Elapsed wall clock time (in seconds):9.689
11.07/9.82	o 233159
12.77/11.52	c cleaning 5616 clauses out of 11271 with flag 3000/20500
17.50/16.17	c cleaning 5817 clauses out of 11659 with flag 9004/26504
22.64/21.12	c cleaning 6413 clauses out of 12838 with flag 16000/33500
28.01/26.46	c cleaning 7075 clauses out of 14429 with flag 24004/41504
35.86/34.29	c cleaning 8176 clauses out of 16352 with flag 33002/50502
42.38/40.62	c cleaning 9057 clauses out of 18174 with flag 43000/60500
43.04/41.23	c Got one! Elapsed wall clock time (in seconds):41.106
43.04/41.23	o 229106
45.45/43.63	c cleaning 7243 clauses out of 14568 with flag 4006/65951
49.70/47.82	c cleaning 6633 clauses out of 13319 with flag 10000/71945
54.46/52.56	c Got one! Elapsed wall clock time (in seconds):52.434
54.46/52.56	o 228523
54.56/52.68	c Got one! Elapsed wall clock time (in seconds):52.553
54.56/52.68	o 227442
57.66/55.75	c cleaning 9131 clauses out of 18331 with flag 5000/83590
61.13/59.19	c cleaning 7581 clauses out of 15200 with flag 11000/89590
63.06/61.09	c Got one! Elapsed wall clock time (in seconds):60.961
63.06/61.09	o 221581
65.46/63.45	c cleaning 6600 clauses out of 13382 with flag 3000/95353
70.22/68.16	c cleaning 6365 clauses out of 12782 with flag 9000/101353
75.65/73.57	c cleaning 6649 clauses out of 13418 with flag 16001/108354
80.80/78.61	c cleaning 7379 clauses out of 14771 with flag 24003/116356
86.14/83.91	c cleaning 8191 clauses out of 16390 with flag 33001/125354
92.70/90.41	c cleaning 9089 clauses out of 18201 with flag 43003/135356
100.75/98.42	c cleaning 10036 clauses out of 20109 with flag 54000/146353
112.63/110.25	c cleaning 11013 clauses out of 22073 with flag 66000/158353
131.12/128.58	c cleaning 11723 clauses out of 24062 with flag 79002/171355
141.81/139.10	c cleaning 13143 clauses out of 26337 with flag 93000/185353
159.05/156.22	c cleaning 14073 clauses out of 28194 with flag 108000/200353
173.62/170.65	c cleaning 15002 clauses out of 30124 with flag 124003/216356
185.32/182.20	c Got one! Elapsed wall clock time (in seconds):182.071
185.32/182.20	o 220316
188.82/185.77	c Got one! Elapsed wall clock time (in seconds):185.639
188.82/185.77	o 216694
189.52/186.46	c cleaning 17309 clauses out of 34841 with flag 1000/236075
191.68/188.49	c Got one! Elapsed wall clock time (in seconds):188.368
191.68/188.49	o 211238
193.98/190.79	c cleaning 11475 clauses out of 22990 with flag 3000/241533
197.63/194.39	c cleaning 8738 clauses out of 17515 with flag 9000/247533
202.97/199.67	c cleaning 7859 clauses out of 15777 with flag 16000/254533
208.05/204.68	c cleaning 7943 clauses out of 15920 with flag 24002/262535
209.56/206.14	c Got one! Elapsed wall clock time (in seconds):206.016
209.56/206.14	o 211179
211.06/207.61	c cleaning 6827 clauses out of 13685 with flag 3001/268243
214.88/211.43	c cleaning 6418 clauses out of 12858 with flag 9001/274243
221.30/217.84	c cleaning 6558 clauses out of 13440 with flag 16001/281243
227.54/224.07	c cleaning 7351 clauses out of 14881 with flag 24000/289242
237.38/233.83	c cleaning 8263 clauses out of 16532 with flag 33002/298244
245.75/242.12	c cleaning 9129 clauses out of 18267 with flag 43000/308242
253.54/249.83	c Got one! Elapsed wall clock time (in seconds):249.706
253.54/249.83	o 210116
257.64/253.97	c cleaning 12220 clauses out of 24452 with flag 5000/323556
262.82/259.01	c cleaning 9107 clauses out of 18232 with flag 11000/329556
270.90/267.07	c cleaning 8056 clauses out of 16125 with flag 18000/336556
283.27/279.40	c cleaning 7817 clauses out of 16069 with flag 26000/344556
294.44/290.47	c cleaning 8613 clauses out of 17252 with flag 35000/353556
305.74/301.67	c cleaning 9291 clauses out of 18639 with flag 45000/363556
316.00/311.84	c cleaning 10155 clauses out of 20351 with flag 56003/374559
327.42/323.18	c cleaning 11065 clauses out of 22195 with flag 68002/386558
337.69/333.34	c cleaning 11963 clauses out of 24130 with flag 81002/399558
347.85/343.46	c cleaning 13040 clauses out of 26165 with flag 95000/413556
364.93/360.48	c cleaning 13964 clauses out of 28125 with flag 110000/428556
382.65/378.09	c cleaning 15074 clauses out of 30161 with flag 126000/444556
398.07/393.32	c cleaning 16021 clauses out of 32087 with flag 143000/461556
403.57/398.78	c Got one! Elapsed wall clock time (in seconds):398.651
403.57/398.78	o 208632
407.27/402.43	c cleaning 12855 clauses out of 26116 with flag 5000/471606
411.43/406.57	c cleaning 9390 clauses out of 19263 with flag 11002/477608
417.66/412.75	c cleaning 8362 clauses out of 16873 with flag 18002/484608
421.82/416.90	c cleaning 8207 clauses out of 16509 with flag 26000/492606
428.46/423.47	c cleaning 8598 clauses out of 17302 with flag 35000/501606
435.44/430.38	c cleaning 9339 clauses out of 18704 with flag 45000/511606
446.19/441.03	c cleaning 10167 clauses out of 20368 with flag 56003/522609
462.26/457.01	c cleaning 11055 clauses out of 22201 with flag 68003/534609
477.39/472.09	c cleaning 12049 clauses out of 24144 with flag 81001/547607
492.99/487.56	c cleaning 13018 clauses out of 26096 with flag 95002/561608
506.92/501.33	c cleaning 14001 clauses out of 28077 with flag 110001/576607
524.94/519.26	c cleaning 15037 clauses out of 30076 with flag 126001/592607
540.52/534.73	c cleaning 15997 clauses out of 32038 with flag 143000/609606
557.33/551.40	c cleaning 17007 clauses out of 34041 with flag 161000/627606
575.65/569.63	c cleaning 17998 clauses out of 36036 with flag 180002/646608
608.59/601.98	c cleaning 18816 clauses out of 38036 with flag 200000/666606
622.95/616.16	c Got one! Elapsed wall clock time (in seconds):616.033
622.95/616.16	o 206657
626.85/620.00	c cleaning 16280 clauses out of 32604 with flag 5000/679990
634.68/627.77	c cleaning 11012 clauses out of 22324 with flag 11000/685990
641.55/634.54	c cleaning 9138 clauses out of 18312 with flag 18000/692990
649.47/642.40	c cleaning 8570 clauses out of 17176 with flag 26002/700992
663.85/656.62	c cleaning 8777 clauses out of 17604 with flag 35000/709990
679.55/672.26	c cleaning 9404 clauses out of 18827 with flag 45000/719990
687.56/680.19	c cleaning 10159 clauses out of 20423 with flag 56000/730990
700.29/692.87	c cleaning 11061 clauses out of 22265 with flag 68001/742991
718.74/711.23	c cleaning 12042 clauses out of 24204 with flag 81001/755991
734.78/727.13	c cleaning 13082 clauses out of 26165 with flag 95004/769994
756.00/748.28	c cleaning 14036 clauses out of 28080 with flag 110001/784991
769.18/761.37	c cleaning 15007 clauses out of 30044 with flag 126001/800991
782.77/774.85	c cleaning 15978 clauses out of 32039 with flag 143003/817993
800.65/792.67	c cleaning 16969 clauses out of 34058 with flag 161000/835990
821.20/813.00	c cleaning 18002 clauses out of 36092 with flag 180003/854993
843.07/834.73	c cleaning 18942 clauses out of 38087 with flag 200000/874990
859.23/850.74	c cleaning 20036 clauses out of 40145 with flag 221000/895990
863.42/854.85	c Got one! Elapsed wall clock time (in seconds):854.72
863.42/854.85	o 206632
864.02/855.48	c cleaning 12708 clauses out of 25441 with flag 1000/901322
867.48/858.82	c cleaning 9340 clauses out of 18734 with flag 7001/907323
872.39/863.79	c cleaning 8130 clauses out of 16395 with flag 14002/914324
879.43/870.76	c cleaning 8090 clauses out of 16263 with flag 22000/922322
886.87/878.17	c cleaning 8577 clauses out of 17173 with flag 31000/931322
893.78/885.06	c cleaning 9284 clauses out of 18599 with flag 41003/941325
906.24/897.44	c cleaning 10150 clauses out of 20313 with flag 52001/952323
927.99/919.09	c cleaning 11027 clauses out of 22172 with flag 64010/964332
960.69/951.64	c cleaning 12069 clauses out of 24141 with flag 77006/977328
976.25/967.16	c cleaning 13013 clauses out of 26069 with flag 91003/991325
990.03/980.86	c cleaning 14013 clauses out of 28053 with flag 106000/1006322
1007.92/998.61	c cleaning 15008 clauses out of 30042 with flag 122002/1022324
1027.55/1018.16	c cleaning 15987 clauses out of 32032 with flag 139000/1039322
1048.05/1038.54	c cleaning 16993 clauses out of 34047 with flag 157002/1057324
1080.76/1071.16	c cleaning 17996 clauses out of 36059 with flag 176007/1076329
1102.30/1092.55	c cleaning 19010 clauses out of 38061 with flag 196005/1096327
1123.79/1113.95	c cleaning 20010 clauses out of 40047 with flag 217001/1117323
1139.45/1129.56	c cleaning 20984 clauses out of 42038 with flag 239002/1139324
1159.85/1149.86	c cleaning 22010 clauses out of 44053 with flag 262001/1162323
1174.79/1164.68	c Got one! Elapsed wall clock time (in seconds):1164.549
1174.79/1164.68	o 206171
1179.99/1169.82	c cleaning 22511 clauses out of 45178 with flag 5000/1185458
1184.69/1174.43	c cleaning 14250 clauses out of 28667 with flag 11000/1191458
1193.83/1183.57	c cleaning 10592 clauses out of 21417 with flag 18000/1198458
1199.12/1188.74	c cleaning 9371 clauses out of 18828 with flag 26003/1206461
1203.94/1193.56	c cleaning 9172 clauses out of 18454 with flag 35000/1215458
1213.07/1202.65	c cleaning 9633 clauses out of 19285 with flag 45003/1225461
1220.33/1209.85	c cleaning 10268 clauses out of 20649 with flag 56000/1236458
1229.76/1219.21	c cleaning 11177 clauses out of 22382 with flag 68001/1248459
1238.28/1227.72	c cleaning 12075 clauses out of 24204 with flag 81000/1261458
1247.33/1236.74	c cleaning 13039 clauses out of 26130 with flag 95001/1275459
1259.13/1248.50	c cleaning 13988 clauses out of 28092 with flag 110002/1290460
1278.34/1267.57	c cleaning 15007 clauses out of 30102 with flag 126000/1306458
1298.66/1287.71	c cleaning 15957 clauses out of 32096 with flag 143001/1323459
1317.67/1306.68	c cleaning 16936 clauses out of 34153 with flag 161015/1341473
1338.09/1326.92	c cleaning 18094 clauses out of 36204 with flag 180002/1360460
1357.48/1346.21	c cleaning 19051 clauses out of 38108 with flag 200000/1380458
1370.68/1359.36	c Got one! Elapsed wall clock time (in seconds):1359.235
1370.68/1359.36	o 199987
1375.99/1364.63	c cleaning 18376 clauses out of 37125 with flag 5000/1398526
1386.09/1374.68	c cleaning 12260 clauses out of 24749 with flag 11000/1404526
1393.23/1381.76	c cleaning 9624 clauses out of 19489 with flag 18000/1411526
1399.61/1388.06	c cleaning 8814 clauses out of 17865 with flag 26000/1419526
1406.94/1395.32	c cleaning 8904 clauses out of 18051 with flag 35000/1428526
1418.57/1406.93	c cleaning 9538 clauses out of 19150 with flag 45003/1438529
1435.13/1423.45	c cleaning 10261 clauses out of 20612 with flag 56003/1449529
1450.17/1438.43	c cleaning 11139 clauses out of 22348 with flag 68000/1461526
1459.83/1448.03	c cleaning 12077 clauses out of 24209 with flag 81000/1474526
1472.19/1460.35	c cleaning 12998 clauses out of 26132 with flag 95000/1488526
1487.45/1475.56	c cleaning 14040 clauses out of 28135 with flag 110001/1503527
1506.46/1494.40	c cleaning 15043 clauses out of 30097 with flag 126003/1519529
1522.08/1509.99	c cleaning 15862 clauses out of 32051 with flag 143000/1536526
1543.30/1531.07	c cleaning 16917 clauses out of 34189 with flag 161000/1554526
1582.17/1569.71	c cleaning 18114 clauses out of 36272 with flag 180000/1573526
1626.98/1614.30	c cleaning 19042 clauses out of 38163 with flag 200005/1593531
1657.08/1644.22	c cleaning 19861 clauses out of 40121 with flag 221005/1614531
1683.93/1670.93	c cleaning 21011 clauses out of 42255 with flag 243000/1636526
1711.05/1697.92	c cleaning 21935 clauses out of 44244 with flag 266000/1659526
1741.63/1728.37	c cleaning 23146 clauses out of 46310 with flag 290001/1683527
1762.47/1749.00	c cleaning 24050 clauses out of 48165 with flag 315002/1708528
1800.08/1786.51	c starts		: 238
1800.08/1786.51	c conflicts		: 1730457
1800.08/1786.51	c decisions		: 5847954
1800.08/1786.51	c propagations		: 185695883
1800.08/1786.51	c inspects		: 1349302133
1800.08/1786.51	c shortcuts		: 0
1800.08/1786.51	c learnt literals	: 0
1800.08/1786.51	c learnt binary clauses	: 235
1800.08/1786.51	c learnt ternary clauses	: 561
1800.08/1786.51	c learnt constraints	: 1730457
1800.08/1786.51	c ignored constraints	: 0
1800.08/1786.51	c root simplifications	: 238
1800.08/1786.51	c removed literals (reason simplification)	: 16596532
1800.08/1786.51	c reason swapping (by a shorter reason)	: 0
1800.08/1786.51	c Calls to reduceDB	: 137
1800.08/1786.51	c number of reductions to clauses (during analyze)	: 0
1800.08/1786.51	c number of learned constraints concerned by reduction	: 0
1800.08/1786.51	c number of learning phase by resolution	: 0
1800.08/1786.51	c number of learning phase by cutting planes	: 0
1800.08/1786.51	c speed (assignments/second)	: 103969.56653191942
1800.08/1786.51	c non guided choices	9247
1800.08/1786.54	c learnt constraints type 
1800.08/1786.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 235
1800.08/1786.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 45817
1800.08/1786.54	c constraints type 
1800.08/1786.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 122
1800.08/1786.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 122
1800.08/1786.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4
1800.08/1786.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.08/1786.54	c 249 constraints processed.
1800.08/1786.54	s SATISFIABLE
1800.08/1786.55	v -x1 x2 -x3 x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 x10752 -x10753 -x10754 -x10755 -x10756 -x10757 
1800.08/1786.56	c objective function=199987
1800.08/1786.56	c Total wall clock time (in seconds): 1786.432

Verifier Data

OK	199987

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-3710150-1338133717/watcher-3710150-1338133717 -o /tmp/evaluation-result-3710150-1338133717/solver-3710150-1338133717 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710150-1338133717.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: 1.92 1.99 1.99 3/194 29719
/proc/meminfo: memFree=30563192/32873844 swapFree=6600/6600
[pid=29719] ppid=29717 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29719/stat : 29719 (java) D 29717 29719 28151 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 279496568 9515008 182 33554432000 1073741824 1073778376 140735445456976 140735445448008 213419638453 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/29719/statm: 2323 182 140 9 0 71 0

[startup+0.0345049 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 29719
/proc/meminfo: memFree=30563192/32873844 swapFree=6600/6600
[pid=29719] ppid=29717 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 2771 0 1 0 0 0 0 0 20 0 10 0 279496568 9233014784 3470 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29719/statm: 2254154 3471 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100312 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 29719
/proc/meminfo: memFree=30563192/32873844 swapFree=6600/6600
[pid=29719] ppid=29717 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 4114 0 1 0 7 1 0 0 20 0 18 0 279496568 9787842560 5321 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29719/statm: 2389610 5321 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300295 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 29719
/proc/meminfo: memFree=30563192/32873844 swapFree=6600/6600
[pid=29719] ppid=29717 vsize=9558440 CPUtime=0.5 cores=1,3,5,7
/proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 7094 0 1 0 48 2 0 0 20 0 18 0 279496568 9787842560 11750 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29719/statm: 2389610 11750 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558440

[startup+0.700307 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 29719
/proc/meminfo: memFree=30563192/32873844 swapFree=6600/6600
[pid=29719] ppid=29717 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 9330 0 1 0 137 4 0 0 20 0 19 0 279496568 9856004096 28646 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29719/statm: 2406251 28646 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9625004

[startup+1.50079 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 29738
/proc/meminfo: memFree=30439576/32873844 swapFree=6600/6600
[pid=29719] ppid=29717 vsize=9625004 CPUtime=2.47 cores=1,3,5,7
/proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 10218 0 1 0 243 4 0 0 20 0 19 0 279496568 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29719/statm: 2406251 37077 2255 9 0 2396937 0
[pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2568 0 1 0 142 3 0 0 20 0 19 0 279496569 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074901471304 140074738790188 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279496571 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 2284 0 0 0 47 0 0 0 20 0 19 0 279496574 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4166 0 0 0 51 0 0 0 20 0 19 0 279496574 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 9625004

[startup+3.10072 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 29738
/proc/meminfo: memFree=30391604/32873844 swapFree=6600/6600
[pid=29719] ppid=29717 vsize=9625004 CPUtime=4.15 cores=1,3,5,7
/proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 10352 0 1 0 407 8 0 0 20 0 19 0 279496568 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29719/statm: 2406251 44842 2268 9 0 2396937 0
[pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=3.02 cores=1,3,5,7
/proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2579 0 1 0 299 3 0 0 20 0 19 0 279496569 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074901469824 140074738790135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 279496571 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 2284 0 0 0 47 0 0 0 20 0 19 0 279496574 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4166 0 0 0 52 0 0 0 20 0 19 0 279496574 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 9625004

[startup+6.30082 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 29738
/proc/meminfo: memFree=30352196/32873844 swapFree=6600/6600
[pid=29719] ppid=29717 vsize=9625004 CPUtime=7.48 cores=1,3,5,7
/proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 10683 0 1 0 737 11 0 0 20 0 19 0 279496568 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29719/statm: 2406251 54557 2282 9 0 2396937 0
[pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=6.15 cores=1,3,5,7
/proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2581 0 1 0 612 3 0 0 20 0 19 0 279496569 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074901469800 140074738625387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 20 0 0 0 0 1 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 1 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 103 0 0 0 2 0 0 0 20 0 19 0 279496571 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 2291 0 0 0 49 0 0 0 20 0 19 0 279496574 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4427 0 0 0 56 1 0 0 20 0 19 0 279496574 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 3715 0 0 0 64 0 0 0 20 0 19 0 279496574 9856004096 188036 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4428 0 0 0 57 1 0 0 20 0 19 0 279496574 9856004096 188036 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188036 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 98 0 0 0 40 33 0 0 20 0 19 0 279496574 9856004096 188036 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 188036 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1735.63
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 29836
/proc/meminfo: memFree=29875188/32873844 swapFree=6600/6600
[pid=29719] ppid=29717 vsize=9625004 CPUtime=1795.87 cores=1,3,5,7
/proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 14503 0 1 0 179445 142 0 0 20 0 19 0 279496568 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29719/statm: 2406251 188037 2283 9 0 2396937 0
[pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=1765.66 cores=1,3,5,7
/proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2772 0 1 0 176534 32 0 0 20 0 19 0 279496569 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074901471536 140074738790154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=2.08 cores=1,3,5,7
/proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 283 0 0 0 197 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=2.04 cores=1,3,5,7
/proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 292 0 0 0 193 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=1.99 cores=1,3,5,7
/proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 234 0 0 0 189 10 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=1.76 cores=1,3,5,7
/proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 139 0 0 0 167 9 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=1.84 cores=1,3,5,7
/proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 157 0 0 0 176 8 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=2 cores=1,3,5,7
/proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 277 0 0 0 189 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=1.9 cores=1,3,5,7
/proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 151 0 0 0 179 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=1.97 cores=1,3,5,7
/proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 94 0 0 0 190 7 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=7.71 cores=1,3,5,7
/proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 673 0 0 0 769 2 0 0 20 0 19 0 279496571 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 3715 0 0 0 64 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4428 0 0 0 57 1 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 102 0 0 0 41 34 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1795.87
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 29836
/proc/meminfo: memFree=29875064/32873844 swapFree=6600/6600
[pid=29719] ppid=29717 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 14503 0 1 0 179866 142 0 0 20 0 19 0 279496568 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29719/statm: 2406251 188037 2283 9 0 2396937 0
[pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=1769.86 cores=1,3,5,7
/proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2772 0 1 0 176954 32 0 0 20 0 19 0 279496569 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074901471536 140074738676034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=2.08 cores=1,3,5,7
/proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 283 0 0 0 197 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=2.04 cores=1,3,5,7
/proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 292 0 0 0 193 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=1.99 cores=1,3,5,7
/proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 234 0 0 0 189 10 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=1.76 cores=1,3,5,7
/proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 139 0 0 0 167 9 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=1.84 cores=1,3,5,7
/proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 157 0 0 0 176 8 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=2 cores=1,3,5,7
/proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 277 0 0 0 189 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=1.9 cores=1,3,5,7
/proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 151 0 0 0 179 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=1.97 cores=1,3,5,7
/proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 94 0 0 0 190 7 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=7.71 cores=1,3,5,7
/proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 673 0 0 0 769 2 0 0 20 0 19 0 279496571 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 3715 0 0 0 64 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4428 0 0 0 57 1 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 102 0 0 0 41 34 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1786.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 29836
/proc/meminfo: memFree=29875064/32873844 swapFree=6600/6600
[pid=29719] ppid=29717 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 14503 0 1 0 179866 142 0 0 20 0 19 0 279496568 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29719/statm: 2406251 188037 2283 9 0 2396937 0
[pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=1769.86 cores=1,3,5,7
/proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2772 0 1 0 176954 32 0 0 20 0 19 0 279496569 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074901471536 140074738676034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=2.08 cores=1,3,5,7
/proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 283 0 0 0 197 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=2.04 cores=1,3,5,7
/proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 292 0 0 0 193 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=1.99 cores=1,3,5,7
/proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 234 0 0 0 189 10 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=1.76 cores=1,3,5,7
/proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 139 0 0 0 167 9 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=1.84 cores=1,3,5,7
/proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 157 0 0 0 176 8 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=2 cores=1,3,5,7
/proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 277 0 0 0 189 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=1.9 cores=1,3,5,7
/proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 151 0 0 0 179 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=1.97 cores=1,3,5,7
/proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 94 0 0 0 190 7 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=7.71 cores=1,3,5,7
/proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 673 0 0 0 769 2 0 0 20 0 19 0 279496571 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 3715 0 0 0 64 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4428 0 0 0 57 1 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 102 0 0 0 41 34 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29719 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=888287
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=632751
# CPU time returned by wait4() is 1795.52
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1786.58
CPU time (s): 1800.08
CPU user time (s): 1798.66
CPU system time (s): 1.42
CPU usage (%): 100.756
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.89
system time used= 1.63275
maximum resident set size= 760496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14550
page faults= 1
swaps= 0
block input operations= 72
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41622
involuntary context switches= 19861

runsolver used 6.609 second user time and 15.4137 second system time

The end

Launcher Data

Begin job on node140 at 2012-05-27 17:48:37
IDJOB=3710150
IDBENCH=1515
IDSOLVER=2289
FILE ID=node140/3710150-1338133717
RUNJOBID= node140-1338124688-28168
PBS_JOBID= 14624514
Free space on /tmp= 71328 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710150-1338133717/watcher-3710150-1338133717 -o /tmp/evaluation-result-3710150-1338133717/solver-3710150-1338133717 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710150-1338133717.opb

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

MD5SUM BENCH= 721f63c71e5f6018eabb753425e3fdd2
RANDOM SEED=1339983382

node140.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		: 2667.094
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	: 5334.18
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		: 2667.094
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		: 2667.094
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30563564 kB
Buffers:          383792 kB
Cached:           716512 kB
SwapCached:         1492 kB
Active:          1198600 kB
Inactive:         252348 kB
Active(anon):     342516 kB
Inactive(anon):     8612 kB
Active(file):     856084 kB
Inactive(file):   243736 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105300 kB
Dirty:              1612 kB
Writeback:             0 kB
AnonPages:        354180 kB
Mapped:            19904 kB
Shmem:                 8 kB
Slab:             718580 kB
SReclaimable:     160632 kB
SUnreclaim:       557948 kB
KernelStack:        1600 kB
PageTables:         4888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     824944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 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= 71332 MiB
End job on node140 at 2012-05-27 18:18:26