Trace number 4090620

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.04 1778.26

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
MD5SUM5089c419eb4145debb9fb5e7fd1214f5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1800.13
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10500
Total number of constraints205
Number of soft constraints132
Number of constraints which are clauses105
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint105
Top cost 6845
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6844
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 106
Number of bits of the biggest sum of numbers7
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4090620-1466063993.wbo
0.09/0.11	c reading problem ... 
0.56/0.32	c ... done. Wall clock time 0.211s.
0.56/0.32	c declared #vars     10500
0.56/0.32	c internal #vars     10632
0.56/0.32	c #constraints  205
0.56/0.32	c constraints type 
0.56/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105
0.56/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 35
0.56/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 65
0.56/0.32	c 205 constraints processed.
0.56/0.32	c objective function length is 132 literals
1.87/1.18	c cleaning 2492 clauses out of 5002 with flag 35822/5002
2.95/2.18	c cleaning 4251 clauses out of 8508 with flag 88938/11000
4.35/3.54	c cleaning 5626 clauses out of 11257 with flag 143102/18000
6.06/5.22	c cleaning 6814 clauses out of 13634 with flag 200389/26003
8.18/7.24	c cleaning 7905 clauses out of 15817 with flag 280345/35000
10.58/9.66	c cleaning 8951 clauses out of 17913 with flag 368348/45001
13.38/12.41	c cleaning 9977 clauses out of 19964 with flag 472280/56003
16.99/15.80	c cleaning 10989 clauses out of 21984 with flag 586143/68000
20.79/19.65	c cleaning 11994 clauses out of 23997 with flag 702185/81002
25.19/24.02	c cleaning 12994 clauses out of 26002 with flag 821728/95001
30.48/29.11	c cleaning 13999 clauses out of 28009 with flag 949695/110002
35.68/34.39	c cleaning 14999 clauses out of 30008 with flag 1083249/126000
41.44/40.05	c cleaning 15998 clauses out of 32009 with flag 1223998/143000
48.04/46.60	c cleaning 16997 clauses out of 34012 with flag 1391773/161001
49.54/48.04	c SATISFIABLE
49.54/48.04	c OPTIMIZING...
49.54/48.04	c Got one! Elapsed wall clock time (in seconds):47.934
49.54/48.05	o 183
49.54/48.09	c Got one! Elapsed wall clock time (in seconds):47.975
49.54/48.09	o 114
49.75/48.12	c Got one! Elapsed wall clock time (in seconds):48.009
49.75/48.12	o 96
49.75/48.15	c Got one! Elapsed wall clock time (in seconds):48.037
49.75/48.15	o 87
49.75/48.18	c Got one! Elapsed wall clock time (in seconds):48.07
49.75/48.18	o 44
49.95/48.24	c Got one! Elapsed wall clock time (in seconds):48.124
49.95/48.24	o 11
50.05/48.32	c Got one! Elapsed wall clock time (in seconds):48.207
50.05/48.32	o 8
50.35/48.61	c cleaning 11471 clauses out of 22947 with flag 8306/166933
51.85/50.10	c cleaning 8736 clauses out of 17477 with flag 59934/172934
53.46/51.74	c cleaning 7869 clauses out of 15741 with flag 120249/179934
55.25/53.58	c cleaning 7935 clauses out of 15874 with flag 193975/187936
57.44/55.65	c cleaning 8460 clauses out of 16936 with flag 272559/196933
59.84/58.08	c cleaning 9235 clauses out of 18476 with flag 368857/206933
63.04/61.25	c cleaning 10115 clauses out of 20242 with flag 490229/217934
66.85/64.97	c cleaning 11057 clauses out of 22126 with flag 611701/229933
70.94/69.03	c cleaning 12031 clauses out of 24072 with flag 739079/242936
75.73/73.69	c cleaning 13013 clauses out of 26038 with flag 879707/256933
80.33/78.25	c cleaning 14010 clauses out of 28026 with flag 1023591/271934
86.01/83.77	c cleaning 15004 clauses out of 30015 with flag 1153830/287933
91.90/89.61	c cleaning 16000 clauses out of 32011 with flag 1299488/304933
98.56/96.18	c cleaning 16997 clauses out of 34011 with flag 1457222/322933
106.10/103.42	c cleaning 18006 clauses out of 36017 with flag 1632370/341936
113.98/111.22	c cleaning 18993 clauses out of 38008 with flag 1836955/361933
122.27/119.41	c cleaning 20003 clauses out of 40016 with flag 2047186/382934
132.57/129.80	c cleaning 20997 clauses out of 42014 with flag 2272014/404935
144.13/141.14	c cleaning 21998 clauses out of 44017 with flag 2505388/427935
155.49/152.49	c cleaning 23004 clauses out of 46019 with flag 2750506/451935
166.80/163.66	c cleaning 23999 clauses out of 48014 with flag 3003935/476934
179.91/176.70	c cleaning 24997 clauses out of 50014 with flag 3281151/502933
192.55/189.12	c cleaning 26004 clauses out of 52018 with flag 3537817/529934
206.31/202.71	c cleaning 26998 clauses out of 54014 with flag 3817884/557934
219.91/216.21	c cleaning 27996 clauses out of 56016 with flag 4097263/586934
233.85/230.08	c cleaning 29006 clauses out of 58021 with flag 4377066/616935
250.36/246.42	c cleaning 29998 clauses out of 60014 with flag 4673160/647934
266.18/262.12	c cleaning 30997 clauses out of 62016 with flag 4953759/679934
285.99/281.75	c cleaning 32002 clauses out of 64018 with flag 5269398/712933
306.43/302.09	c cleaning 33004 clauses out of 66019 with flag 5597773/746936
325.89/321.34	c cleaning 34003 clauses out of 68014 with flag 5910367/781935
346.49/341.85	c cleaning 34994 clauses out of 70009 with flag 6223682/817933
369.86/365.01	c cleaning 36003 clauses out of 72015 with flag 6558264/854933
392.60/387.64	c cleaning 37000 clauses out of 74012 with flag 6897820/892933
417.96/412.74	c cleaning 38002 clauses out of 76013 with flag 7287401/931934
444.24/438.80	c cleaning 38996 clauses out of 78011 with flag 7660662/971934
473.04/467.49	c cleaning 40003 clauses out of 80014 with flag 8067339/1012933
505.49/499.52	c cleaning 40998 clauses out of 82012 with flag 8457120/1054934
537.85/531.57	c cleaning 41998 clauses out of 84016 with flag 8843306/1097936
571.61/565.06	c cleaning 43007 clauses out of 86018 with flag 9269640/1141936
608.43/601.53	c cleaning 44000 clauses out of 88008 with flag 9678429/1186933
646.77/639.56	c cleaning 44997 clauses out of 90009 with flag 10096840/1232934
688.24/680.52	c cleaning 46003 clauses out of 92011 with flag 10518745/1279933
730.54/722.34	c cleaning 46999 clauses out of 94008 with flag 10965106/1327933
770.02/761.39	c cleaning 47996 clauses out of 96011 with flag 11462840/1376935
809.59/800.43	c cleaning 49000 clauses out of 98013 with flag 11961716/1426933
849.44/839.73	c cleaning 49997 clauses out of 100014 with flag 12469498/1477934
868.70/858.70	c Got one! Elapsed wall clock time (in seconds):858.592
868.70/858.70	o 7
872.54/862.56	c cleaning 42586 clauses out of 85196 with flag 50964/1513113
875.37/865.32	c cleaning 24294 clauses out of 48608 with flag 115828/1519111
877.81/867.74	c cleaning 15648 clauses out of 31315 with flag 199916/1526112
880.07/869.96	c cleaning 11827 clauses out of 23667 with flag 293028/1534112
882.38/872.28	c cleaning 10416 clauses out of 20841 with flag 407769/1543113
885.01/874.88	c cleaning 10202 clauses out of 20425 with flag 524656/1553113
887.73/877.59	c cleaning 10602 clauses out of 21221 with flag 658048/1564111
890.78/880.53	c cleaning 11296 clauses out of 22620 with flag 801301/1576112
894.14/883.87	c cleaning 12148 clauses out of 24323 with flag 950188/1589111
898.13/887.77	c cleaning 13079 clauses out of 26175 with flag 1124023/1603111
902.50/892.05	c cleaning 14030 clauses out of 28100 with flag 1286221/1618115
906.87/896.31	c cleaning 15025 clauses out of 30066 with flag 1452720/1634111
911.13/900.53	c cleaning 16014 clauses out of 32044 with flag 1620666/1651114
916.33/905.67	c cleaning 16999 clauses out of 34027 with flag 1823498/1669111
921.64/910.87	c cleaning 18003 clauses out of 36028 with flag 2035659/1688111
927.53/916.64	c cleaning 19006 clauses out of 38025 with flag 2274742/1708111
934.93/923.95	c cleaning 20002 clauses out of 40020 with flag 2531596/1729112
942.62/931.51	c cleaning 20999 clauses out of 42018 with flag 2800602/1751112
951.20/940.04	c cleaning 22003 clauses out of 44020 with flag 3059324/1774113
960.27/948.96	c cleaning 22998 clauses out of 46015 with flag 3323735/1798111
968.95/957.56	c cleaning 23998 clauses out of 48018 with flag 3601974/1823112
979.13/967.54	c cleaning 25002 clauses out of 50019 with flag 3903638/1849111
990.04/978.37	c cleaning 26000 clauses out of 52019 with flag 4216710/1876113
1001.22/989.32	c cleaning 27000 clauses out of 54018 with flag 4547843/1904112
1014.37/1002.34	c cleaning 27997 clauses out of 56017 with flag 4860651/1933111
1027.44/1015.27	c cleaning 29003 clauses out of 58020 with flag 5205333/1963111
1041.95/1029.58	c cleaning 30000 clauses out of 60018 with flag 5581127/1994112
1056.63/1044.06	c cleaning 31003 clauses out of 62018 with flag 5952440/2026112
1073.89/1061.09	c cleaning 32001 clauses out of 64014 with flag 6366608/2059111
1091.88/1078.80	c cleaning 32998 clauses out of 66013 with flag 6782072/2093111
1112.12/1098.84	c cleaning 34001 clauses out of 68017 with flag 7201231/2128113
1133.53/1120.01	c cleaning 35002 clauses out of 70015 with flag 7643962/2164112
1153.60/1139.86	c cleaning 36002 clauses out of 72013 with flag 8049375/2201112
1174.05/1159.98	c cleaning 36998 clauses out of 74010 with flag 8473869/2239111
1194.99/1180.69	c cleaning 38001 clauses out of 76013 with flag 8912378/2278112
1211.17/1196.68	c Got one! Elapsed wall clock time (in seconds):1196.569
1211.17/1196.68	o 3
1215.13/1200.54	c cleaning 37220 clauses out of 74458 with flag 60158/2314558
1217.37/1202.75	c cleaning 21614 clauses out of 43238 with flag 137901/2320558
1219.39/1204.79	c cleaning 14307 clauses out of 28624 with flag 227596/2327558
1221.42/1206.77	c cleaning 11152 clauses out of 22321 with flag 333430/2335562
1223.78/1209.08	c cleaning 10073 clauses out of 20165 with flag 452949/2344558
1226.08/1211.39	c cleaning 10034 clauses out of 20092 with flag 585130/2354558
1228.85/1214.07	c cleaning 10525 clauses out of 21060 with flag 733196/2365560
1231.95/1217.00	c cleaning 11259 clauses out of 22534 with flag 884743/2377559
1235.09/1220.16	c cleaning 12133 clauses out of 24274 with flag 1042473/2390558
1238.69/1223.70	c cleaning 13066 clauses out of 26143 with flag 1210815/2404560
1242.73/1227.64	c cleaning 14031 clauses out of 28075 with flag 1392894/2419558
1247.49/1232.34	c cleaning 15017 clauses out of 30044 with flag 1593746/2435558
1253.23/1237.90	c cleaning 16011 clauses out of 32027 with flag 1803211/2452558
1259.25/1243.82	c cleaning 17006 clauses out of 34023 with flag 2015045/2470565
1265.69/1250.27	c cleaning 17999 clauses out of 36011 with flag 2254253/2489559
1273.36/1257.80	c cleaning 18995 clauses out of 38011 with flag 2480838/2509558
1281.50/1265.82	c cleaning 20000 clauses out of 40020 with flag 2716715/2530562
1290.20/1274.45	c cleaning 21000 clauses out of 42016 with flag 2974057/2552558
1300.63/1284.73	c cleaning 22000 clauses out of 44016 with flag 3256109/2575558
1311.54/1295.55	c cleaning 23000 clauses out of 46016 with flag 3550733/2599558
1323.04/1306.82	c cleaning 24003 clauses out of 48017 with flag 3852745/2624559
1335.59/1319.27	c cleaning 25001 clauses out of 50013 with flag 4174619/2650558
1349.31/1332.85	c cleaning 26004 clauses out of 52014 with flag 4514963/2677560
1364.07/1347.47	c cleaning 26999 clauses out of 54008 with flag 4880263/2705558
1379.86/1363.08	c cleaning 27999 clauses out of 56010 with flag 5237041/2734559
1394.79/1377.63	c cleaning 28998 clauses out of 58011 with flag 5593112/2764559
1409.57/1392.24	c cleaning 29995 clauses out of 60012 with flag 5924776/2795558
1425.88/1408.40	c cleaning 31001 clauses out of 62018 with flag 6284421/2827559
1440.78/1423.17	c cleaning 32002 clauses out of 64017 with flag 6658898/2860559
1457.52/1439.76	c cleaning 32999 clauses out of 66014 with flag 7045361/2894558
1476.30/1458.21	c cleaning 34003 clauses out of 68015 with flag 7418750/2929558
1493.95/1475.66	c cleaning 35000 clauses out of 70016 with flag 7779851/2965562
1512.71/1494.18	c cleaning 35993 clauses out of 72014 with flag 8168507/3002560
1534.62/1515.83	c cleaning 37003 clauses out of 74021 with flag 8573383/3040560
1557.13/1538.08	c cleaning 38002 clauses out of 76017 with flag 9011984/3079559
1584.11/1564.75	c cleaning 39003 clauses out of 78018 with flag 9504092/3119562
1611.48/1591.86	c cleaning 39999 clauses out of 80014 with flag 9983411/3160561
1641.17/1621.29	c cleaning 41002 clauses out of 82018 with flag 10520191/3202564
1670.30/1650.08	c cleaning 41997 clauses out of 84010 with flag 11040737/3245558
1698.25/1677.61	c cleaning 43000 clauses out of 86014 with flag 11542900/3289559
1727.06/1706.05	c cleaning 44002 clauses out of 88015 with flag 12031232/3334560
1760.72/1739.35	c cleaning 44999 clauses out of 90015 with flag 12542574/3380562
1795.77/1774.08	c cleaning 46000 clauses out of 92013 with flag 13051093/3427559
1800.04/1778.20	c starts		: 35
1800.04/1778.20	c conflicts		: 3435867
1800.04/1778.20	c decisions		: 3940585
1800.04/1778.20	c propagations		: 50902517
1800.04/1778.20	c inspects		: 26910665423
1800.04/1778.20	c shortcuts		: 0
1800.04/1778.20	c learnt literals	: 0
1800.04/1778.20	c learnt binary clauses	: 0
1800.04/1778.20	c learnt ternary clauses	: 0
1800.04/1778.20	c learnt constraints	: 3435867
1800.04/1778.20	c ignored constraints	: 0
1800.04/1778.20	c root simplifications	: 0
1800.04/1778.20	c removed literals (reason simplification)	: 0
1800.04/1778.20	c reason swapping (by a shorter reason)	: 0
1800.04/1778.20	c Calls to reduceDB	: 139
1800.04/1778.20	c Number of update (reduction) of LBD	: 1417299
1800.04/1778.20	c Imported unit clauses	: 0
1800.04/1778.20	c number of reductions to clauses (during analyze)	: 0
1800.04/1778.20	c number of learned constraints concerned by reduction	: 0
1800.04/1778.20	c number of learning phase by resolution	: 0
1800.04/1778.20	c number of learning phase by cutting planes	: 0
1800.04/1778.20	c speed (assignments/second)	: 28631.218965637494
1800.04/1778.20	c non guided choices	109635
1800.04/1778.22	c learnt constraints type 
1800.04/1778.22	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 54322
1800.04/1778.22	s SATISFIABLE
1800.04/1778.22	c Found 9 solution(s)
1800.04/1778.23	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 
1800.04/1778.24	c objective function=3
1800.04/1778.24	c Total wall clock time (in seconds): 1778.134

Verifier Data

OK	3

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4090620-1466063993/watcher-4090620-1466063993 -o /tmp/evaluation-result-4090620-1466063993/solver-4090620-1466063993 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466062136-14871 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090620-1466063993.wbo 

pid=15223
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.96 2.07 1.79 3/194 15226
/proc/meminfo: memFree=31728484/32872528 swapFree=248296/248296
[pid=15226] ppid=15223 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/15226/stat : 15226 (java) R 15223 15226 14855 0 -1 4202496 592 0 0 0 0 0 0 0 20 0 1 0 8449721 23793664 242 33554432000 1073741824 1073778376 140734213065712 140734213054776 247055039041 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15226/statm: 5809 254 199 9 0 128 0

[startup+0.10006 s]
/proc/loadavg: 1.96 2.07 1.79 3/194 15226
/proc/meminfo: memFree=31728484/32872528 swapFree=248296/248296
[pid=15226] ppid=15223 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 8449721 9787879424 6041 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15226/statm: 2389619 6041 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200216 s]
/proc/loadavg: 1.96 2.07 1.79 3/194 15226
/proc/meminfo: memFree=31728484/32872528 swapFree=248296/248296
[pid=15226] ppid=15223 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 4969 0 1 0 28 1 0 0 20 0 18 0 8449721 9787879424 7521 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15226/statm: 2389619 7521 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300233 s]
/proc/loadavg: 1.96 2.07 1.79 3/194 15226
/proc/meminfo: memFree=31728484/32872528 swapFree=248296/248296
[pid=15226] ppid=15223 vsize=9558476 CPUtime=0.56 cores=0,2,4,6
/proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 7210 0 1 0 55 1 0 0 20 0 18 0 8449721 9787879424 11433 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15226/statm: 2389619 11433 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700178 s]
/proc/loadavg: 1.96 2.07 1.79 3/194 15226
/proc/meminfo: memFree=31728484/32872528 swapFree=248296/248296
[pid=15226] ppid=15223 vsize=9625040 CPUtime=1.41 cores=0,2,4,6
/proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 10192 0 1 0 139 2 0 0 20 0 19 0 8449721 9856040960 16478 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15226/statm: 2406260 16478 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 1.96 2.07 1.79 4/213 15245
/proc/meminfo: memFree=31659152/32872528 swapFree=248296/248296
[pid=15226] ppid=15223 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 10226 0 1 0 229 2 0 0 20 0 19 0 8449721 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15226/statm: 2406260 21110 2272 9 0 2396937 0
[pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2448 0 1 0 144 2 0 0 20 0 19 0 8449722 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384653058360 140384513224605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8449724 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1920 0 0 0 37 0 0 0 20 0 19 0 8449727 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4579 0 0 0 44 0 0 0 20 0 19 0 8449727 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 1.96 2.07 1.79 3/213 15245
/proc/meminfo: memFree=31636128/32872528 swapFree=248296/248296
[pid=15226] ppid=15223 vsize=9625040 CPUtime=3.95 cores=0,2,4,6
/proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 10250 0 1 0 392 3 0 0 20 0 19 0 8449721 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15226/statm: 2406260 29302 2272 9 0 2396937 0
[pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2465 0 1 0 303 3 0 0 20 0 19 0 8449722 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384653058496 140384513165646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8449724 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1927 0 0 0 39 0 0 0 20 0 19 0 8449727 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4579 0 0 0 47 0 0 0 20 0 19 0 8449727 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 1.96 2.07 1.80 3/213 15245
/proc/meminfo: memFree=31570620/32872528 swapFree=248296/248296
[pid=15226] ppid=15223 vsize=9625040 CPUtime=7.28 cores=0,2,4,6
/proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 10360 0 1 0 720 8 0 0 20 0 19 0 8449721 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15226/statm: 2406260 50817 2285 9 0 2396937 0
[pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2493 0 1 0 619 3 0 0 20 0 19 0 8449722 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384653057200 140384513156593 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 8449724 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1927 0 0 0 39 0 0 0 20 0 19 0 8449727 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4579 0 0 0 50 0 0 0 20 0 19 0 8449727 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 9625040


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

[pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 130108 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1622.14
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.13 2.09 2.01 3/213 15374
/proc/meminfo: memFree=30806964/32872528 swapFree=248296/248296
[pid=15226] ppid=15223 vsize=9625040 CPUtime=1682.82 cores=0,2,4,6
/proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 34883 0 1 0 168055 227 0 0 20 0 19 0 8449721 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15226/statm: 2406260 116601 2294 9 0 2396937 0
[pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=1644.44 cores=0,2,4,6
/proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2898 0 1 0 164415 29 0 0 20 0 19 0 8449722 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384653057384 140384513165327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=3.59 cores=0,2,4,6
/proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 3103 0 0 0 331 28 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=3.35 cores=0,2,4,6
/proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 3166 0 0 0 314 21 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=3.52 cores=0,2,4,6
/proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 3144 0 0 0 326 26 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=3.29 cores=0,2,4,6
/proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 2590 0 0 0 307 22 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=3.6 cores=0,2,4,6
/proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 3064 0 0 0 330 30 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=3.62 cores=0,2,4,6
/proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 2655 0 0 0 341 21 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=3.21 cores=0,2,4,6
/proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 1701 0 0 0 302 19 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=3.18 cores=0,2,4,6
/proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 2667 0 0 0 295 23 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=5.46 cores=0,2,4,6
/proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 1957 0 0 0 539 7 0 0 20 0 19 0 8449724 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1977 0 0 0 47 0 0 0 20 0 19 0 8449727 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4602 0 0 0 65 0 0 0 20 0 19 0 8449727 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 95 0 0 0 27 28 0 0 20 0 19 0 8449727 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1682.82
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.19 2.12 2.02 3/213 15376
/proc/meminfo: memFree=30693568/32872528 swapFree=248296/248296
[pid=15226] ppid=15223 vsize=9625040 CPUtime=1743.56 cores=0,2,4,6
/proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 36146 0 1 0 174122 234 0 0 20 0 19 0 8449721 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15226/statm: 2406260 101415 2294 9 0 2396937 0
[pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=1703.64 cores=0,2,4,6
/proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2916 0 1 0 170333 31 0 0 20 0 19 0 8449722 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384653057264 140384513156598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=3.72 cores=0,2,4,6
/proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 3228 0 0 0 343 29 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=3.49 cores=0,2,4,6
/proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 3405 0 0 0 327 22 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=3.68 cores=0,2,4,6
/proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 3159 0 0 0 341 27 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=3.38 cores=0,2,4,6
/proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 2808 0 0 0 315 23 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=3.77 cores=0,2,4,6
/proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 3251 0 0 0 346 31 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=3.73 cores=0,2,4,6
/proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 2662 0 0 0 351 22 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=3.32 cores=0,2,4,6
/proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 1714 0 0 0 312 20 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=3.34 cores=0,2,4,6
/proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 2916 0 0 0 310 24 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=5.79 cores=0,2,4,6
/proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 2145 0 0 0 572 7 0 0 20 0 19 0 8449724 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1977 0 0 0 47 0 0 0 20 0 19 0 8449727 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4602 0 0 0 65 0 0 0 20 0 19 0 8449727 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 99 0 0 0 28 29 0 0 20 0 19 0 8449727 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1743.56
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.2 s]
/proc/loadavg: 2.19 2.13 2.03 3/213 15377
/proc/meminfo: memFree=30557936/32872528 swapFree=248296/248296
[pid=15226] ppid=15223 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 37882 0 1 0 179762 242 0 0 20 0 19 0 8449721 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15226/statm: 2406260 115704 2294 9 0 2396937 0
[pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=1758.97 cores=0,2,4,6
/proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2929 0 1 0 175865 32 0 0 20 0 19 0 8449722 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384653057264 140384513156889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=3.83 cores=0,2,4,6
/proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 3547 0 0 0 353 30 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 3605 0 0 0 338 23 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=3.79 cores=0,2,4,6
/proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 3243 0 0 0 352 27 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=3.5 cores=0,2,4,6
/proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 3092 0 0 0 327 23 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=3.85 cores=0,2,4,6
/proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 3397 0 0 0 353 32 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=3.82 cores=0,2,4,6
/proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 2770 0 0 0 360 22 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=3.44 cores=0,2,4,6
/proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 1958 0 0 0 324 20 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=3.43 cores=0,2,4,6
/proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 3137 0 0 0 318 25 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=5.94 cores=0,2,4,6
/proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 2258 0 0 0 587 7 0 0 20 0 19 0 8449724 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1977 0 0 0 47 0 0 0 20 0 19 0 8449727 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4602 0 0 0 65 0 0 0 20 0 19 0 8449727 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 103 0 0 0 29 30 0 0 20 0 19 0 8449727 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15226 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15226 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=418358
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=853566
# CPU time returned by wait4() is 1796.27
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1778.26
CPU time (s): 1800.04
CPU user time (s): 1797.62
CPU system time (s): 2.42
CPU usage (%): 101.225
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.42
system time used= 2.85357
maximum resident set size= 776544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37920
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51768
involuntary context switches= 54084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5814 second user time and 13.373 second system time

The end

Launcher Data

Begin job on node103 at 2016-06-16 09:59:53
IDJOB=4090620
IDBENCH=78726
IDSOLVER=2551
FILE ID=node103/4090620-1466063993
RUNJOBID= node103-1466062136-14871
PBS_JOBID= 19904029
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090620-1466063993/watcher-4090620-1466063993 -o /tmp/evaluation-result-4090620-1466063993/solver-4090620-1466063993 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466062136-14871 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090620-1466063993.wbo

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

MD5SUM BENCH= 5089c419eb4145debb9fb5e7fd1214f5
RANDOM SEED=618081759

node103.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.278
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31728376 kB
Buffers:            4528 kB
Cached:            38008 kB
SwapCached:        41816 kB
Active:           131184 kB
Inactive:          61540 kB
Active(anon):     111280 kB
Inactive(anon):    41280 kB
Active(file):      19904 kB
Inactive(file):    20260 kB
Unevictable:      248296 kB
Mlocked:          248296 kB
SwapTotal:      67108856 kB
SwapFree:       67059952 kB
Dirty:               504 kB
Writeback:             0 kB
AnonPages:        411028 kB
Mapped:            14952 kB
Shmem:                 0 kB
Slab:             565116 kB
SReclaimable:       9232 kB
SUnreclaim:       555884 kB
KernelStack:        1760 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     935440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node103 at 2016-06-16 10:29:31