Trace number 3687609

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)784 1800.03 1791.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM5f836d1b8d150c1925229546ed283812
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark371
Best CPU time to get the best result obtained on this benchmark1793.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 453
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 491651
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 491651
Number of bits of the biggest sum of numbers19
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.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.09/0.10	c version 2.3.2.v20120418
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3687609-1337873706.opb
0.09/0.12	c reading problem ... 
3.45/2.79	c ... done. Wall clock time 2.67s.
3.45/2.79	c declared #vars     10000
4.07/3.00	c #constraints  656900
4.07/3.00	c constraints type 
4.07/3.00	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
4.07/3.00	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
4.07/3.00	c 656900 constraints processed.
4.07/3.00	c objective function length is 10000 literals
4.07/3.05	c SATISFIABLE
4.07/3.05	c OPTIMIZING...
4.07/3.05	c Got one! Elapsed wall clock time (in seconds):2.925
4.07/3.05	o 792
4.55/3.26	c Got one! Elapsed wall clock time (in seconds):3.134
4.55/3.26	o 784
5.85/4.38	c cleaning 2645 clauses out of 5290 with flag 5000/5290
7.70/5.90	c cleaning 4323 clauses out of 8645 with flag 11000/11290
9.31/7.54	c cleaning 5659 clauses out of 11323 with flag 18001/18291
11.24/9.49	c cleaning 6833 clauses out of 13665 with flag 26002/26292
13.49/11.69	c cleaning 7916 clauses out of 15831 with flag 35001/35291
15.91/14.02	c cleaning 8955 clauses out of 17914 with flag 45000/45290
18.52/16.64	c cleaning 9977 clauses out of 19959 with flag 56000/56290
21.66/19.77	c cleaning 10983 clauses out of 21982 with flag 68000/68290
25.08/23.20	c cleaning 11998 clauses out of 23999 with flag 81000/81290
28.59/26.67	c cleaning 13002 clauses out of 26004 with flag 95003/95293
32.54/30.50	c cleaning 13996 clauses out of 28000 with flag 110001/110291
36.56/34.59	c cleaning 15000 clauses out of 30003 with flag 126000/126290
41.60/39.51	c cleaning 16000 clauses out of 32006 with flag 143003/143293
47.05/44.97	c cleaning 17001 clauses out of 34005 with flag 161002/161292
52.44/50.20	c cleaning 18001 clauses out of 36002 with flag 180000/180290
57.48/55.28	c cleaning 19000 clauses out of 38002 with flag 200001/200291
62.82/60.57	c cleaning 19999 clauses out of 40001 with flag 221000/221290
68.30/65.97	c cleaning 20988 clauses out of 42002 with flag 243000/243290
73.94/71.57	c cleaning 21997 clauses out of 44014 with flag 266000/266290
79.96/77.56	c cleaning 23008 clauses out of 46018 with flag 290001/290291
87.09/84.68	c cleaning 23998 clauses out of 48009 with flag 315000/315290
93.66/91.15	c cleaning 24999 clauses out of 50014 with flag 341003/341293
100.44/97.81	c cleaning 25973 clauses out of 52012 with flag 368000/368290
107.37/104.73	c cleaning 27021 clauses out of 54041 with flag 396002/396292
114.44/111.79	c cleaning 28005 clauses out of 56020 with flag 425002/425292
121.87/119.18	c cleaning 29007 clauses out of 58014 with flag 455001/455291
130.02/127.21	c cleaning 29974 clauses out of 60006 with flag 486000/486290
138.29/135.47	c cleaning 31012 clauses out of 62033 with flag 518001/518291
146.82/143.96	c cleaning 31994 clauses out of 64020 with flag 551000/551290
156.55/153.67	c cleaning 32993 clauses out of 66026 with flag 585000/585290
166.08/163.03	c cleaning 34012 clauses out of 68034 with flag 620001/620291
176.35/173.29	c cleaning 35001 clauses out of 70021 with flag 656000/656290
186.84/183.62	c cleaning 36007 clauses out of 72020 with flag 693000/693290
196.58/193.35	c cleaning 36984 clauses out of 74014 with flag 731001/731291
207.10/203.82	c cleaning 37990 clauses out of 76029 with flag 770000/770290
217.27/213.99	c cleaning 39002 clauses out of 78039 with flag 810000/810290
227.74/224.40	c cleaning 39995 clauses out of 80037 with flag 851000/851290
237.98/234.52	c cleaning 41015 clauses out of 82042 with flag 893000/893290
248.96/245.40	c cleaning 42007 clauses out of 84030 with flag 936003/936293
260.73/257.16	c cleaning 42999 clauses out of 86020 with flag 980000/980290
272.46/268.73	c cleaning 43996 clauses out of 88021 with flag 1025000/1025290
284.34/280.58	c cleaning 44997 clauses out of 90025 with flag 1071000/1071290
297.28/293.48	c cleaning 46000 clauses out of 92033 with flag 1118005/1118295
311.45/307.54	c cleaning 47003 clauses out of 94029 with flag 1166001/1166291
323.59/319.66	c cleaning 48005 clauses out of 96025 with flag 1215000/1215290
336.35/332.33	c cleaning 48994 clauses out of 98020 with flag 1265000/1265290
349.63/345.51	c cleaning 50006 clauses out of 100031 with flag 1316005/1316295
363.31/359.06	c cleaning 51004 clauses out of 102020 with flag 1368000/1368290
378.19/373.81	c cleaning 51992 clauses out of 104017 with flag 1421001/1421291
392.73/388.26	c cleaning 52999 clauses out of 106024 with flag 1475000/1475290
408.11/403.51	c cleaning 54007 clauses out of 108027 with flag 1530002/1530292
422.84/418.10	c cleaning 54988 clauses out of 110018 with flag 1586000/1586290
438.55/433.75	c cleaning 56010 clauses out of 112031 with flag 1643001/1643291
454.74/449.81	c cleaning 56990 clauses out of 114024 with flag 1701004/1701294
470.83/465.80	c cleaning 58002 clauses out of 116031 with flag 1760001/1760291
486.12/481.01	c cleaning 59002 clauses out of 118029 with flag 1820001/1820291
501.22/496.08	c cleaning 59996 clauses out of 120026 with flag 1881000/1881290
519.12/513.81	c cleaning 60997 clauses out of 122031 with flag 1943001/1943291
536.07/530.74	c cleaning 62004 clauses out of 124033 with flag 2006000/2006290
553.56/548.18	c cleaning 62999 clauses out of 126029 with flag 2070000/2070290
572.72/567.14	c cleaning 63994 clauses out of 128030 with flag 2135000/2135290
591.78/586.17	c cleaning 65003 clauses out of 130036 with flag 2201000/2201290
609.67/603.97	c cleaning 65995 clauses out of 132035 with flag 2268002/2268292
627.44/621.64	c cleaning 67009 clauses out of 134038 with flag 2336000/2336290
644.13/638.29	c cleaning 67989 clauses out of 136029 with flag 2405000/2405290
661.11/655.15	c cleaning 69008 clauses out of 138040 with flag 2475000/2475290
678.02/671.96	c cleaning 69991 clauses out of 140032 with flag 2546000/2546290
695.82/689.66	c cleaning 71021 clauses out of 142045 with flag 2618004/2618294
715.40/709.10	c cleaning 71976 clauses out of 144020 with flag 2691000/2691290
733.50/727.11	c cleaning 72998 clauses out of 146044 with flag 2765000/2765290
752.87/746.41	c cleaning 74000 clauses out of 148046 with flag 2840000/2840290
771.75/765.29	c cleaning 75015 clauses out of 150046 with flag 2916000/2916290
792.85/786.25	c cleaning 76012 clauses out of 152031 with flag 2993000/2993290
812.17/805.45	c cleaning 76994 clauses out of 154019 with flag 3071000/3071290
833.44/826.61	c cleaning 78007 clauses out of 156026 with flag 3150001/3150291
854.11/847.18	c cleaning 79000 clauses out of 158018 with flag 3230000/3230290
879.31/872.25	c cleaning 79999 clauses out of 160018 with flag 3311000/3311290
900.72/893.43	c cleaning 81000 clauses out of 162020 with flag 3393001/3393291
925.24/917.86	c cleaning 81993 clauses out of 164019 with flag 3476000/3476290
949.76/942.25	c cleaning 83006 clauses out of 166026 with flag 3560000/3560290
972.52/964.82	c cleaning 83998 clauses out of 168020 with flag 3645000/3645290
997.61/989.88	c cleaning 84997 clauses out of 170022 with flag 3731000/3731290
1024.34/1016.49	c cleaning 86001 clauses out of 172026 with flag 3818001/3818291
1048.45/1040.54	c cleaning 87002 clauses out of 174024 with flag 3906000/3906290
1072.84/1064.96	c cleaning 87989 clauses out of 176022 with flag 3995000/3995290
1099.74/1091.84	c cleaning 88992 clauses out of 178033 with flag 4085000/4085290
1124.74/1116.86	c cleaning 90002 clauses out of 180041 with flag 4176000/4176290
1149.15/1141.28	c cleaning 91016 clauses out of 182039 with flag 4268000/4268290
1174.34/1166.48	c cleaning 92001 clauses out of 184027 with flag 4361004/4361294
1199.15/1191.23	c cleaning 92981 clauses out of 186022 with flag 4455000/4455290
1224.35/1216.50	c cleaning 94010 clauses out of 188041 with flag 4550000/4550290
1250.76/1242.88	c cleaning 95017 clauses out of 190034 with flag 4646003/4646293
1282.07/1274.15	c cleaning 95972 clauses out of 192014 with flag 4743000/4743290
1310.06/1301.99	c cleaning 97006 clauses out of 194042 with flag 4841000/4841290
1337.33/1329.01	c cleaning 97988 clauses out of 196036 with flag 4940000/4940290
1364.23/1355.99	c cleaning 99011 clauses out of 198048 with flag 5040000/5040290
1394.73/1386.46	c cleaning 100009 clauses out of 200037 with flag 5141000/5141290
1423.43/1415.11	c cleaning 101008 clauses out of 202028 with flag 5243000/5243290
1452.42/1444.13	c cleaning 102001 clauses out of 204022 with flag 5346002/5346292
1484.81/1476.50	c cleaning 102999 clauses out of 206020 with flag 5450001/5450291
1518.31/1510.05	c cleaning 103990 clauses out of 208021 with flag 5555001/5555291
1552.12/1543.85	c cleaning 105009 clauses out of 210030 with flag 5661000/5661290
1584.62/1576.33	c cleaning 106009 clauses out of 212022 with flag 5768001/5768291
1617.63/1609.37	c cleaning 106993 clauses out of 214012 with flag 5876000/5876290
1650.42/1642.12	c cleaning 108001 clauses out of 216021 with flag 5985002/5985292
1681.02/1672.72	c cleaning 109002 clauses out of 218022 with flag 6095004/6095294
1713.12/1704.82	c cleaning 109998 clauses out of 220017 with flag 6206001/6206291
1746.72/1738.40	c cleaning 110977 clauses out of 222020 with flag 6318002/6318292
1781.12/1772.81	c cleaning 111987 clauses out of 224043 with flag 6431002/6431292
1800.03/1791.71	c starts		: 278
1800.03/1791.71	c conflicts		: 6492284
1800.03/1791.71	c decisions		: 20976718
1800.03/1791.71	c propagations		: 2108716041
1800.03/1791.71	c inspects		: 2240662176
1800.03/1791.71	c shortcuts		: 0
1800.03/1791.71	c learnt literals	: 0
1800.03/1791.71	c learnt binary clauses	: 0
1800.03/1791.71	c learnt ternary clauses	: 0
1800.03/1791.71	c learnt constraints	: 6492284
1800.03/1791.71	c ignored constraints	: 0
1800.03/1791.71	c root simplifications	: 0
1800.03/1791.71	c removed literals (reason simplification)	: 0
1800.03/1791.71	c reason swapping (by a shorter reason)	: 0
1800.03/1791.71	c Calls to reduceDB	: 109
1800.03/1791.71	c number of reductions to clauses (during analyze)	: 0
1800.03/1791.71	c number of learned constraints concerned by reduction	: 0
1800.03/1791.71	c number of learning phase by resolution	: 0
1800.03/1791.71	c number of learning phase by cutting planes	: 0
1800.03/1791.71	c speed (assignments/second)	: 1178791.2425651804
1800.03/1791.71	c non guided choices	0
1800.03/1791.74	c learnt constraints type 
1800.03/1791.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 173157
1800.03/1791.74	c constraints type 
1800.03/1791.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
1800.03/1791.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
1800.03/1791.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.03/1791.74	c 656901 constraints processed.
1800.03/1791.74	s SATISFIABLE
1800.03/1791.75	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 
1800.03/1791.76	c objective function=784
1800.03/1791.76	c Total wall clock time (in seconds): 1791.642

Verifier Data 

OK	784

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687609-1337873706/watcher-3687609-1337873706 -o /tmp/evaluation-result-3687609-1337873706/solver-3687609-1337873706 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687609-1337873706.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.70 3/196 23453
/proc/meminfo: memFree=28051884/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23453/stat : 23453 (java) D 23451 23453 23031 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 253495484 9515008 182 33554432000 1073741824 1073778376 140736542120368 140736542111400 215124623029 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/23453/statm: 2323 182 140 9 0 71 0

[startup+0.064126 s]
/proc/loadavg: 2.00 2.00 1.70 3/196 23453
/proc/meminfo: memFree=28051884/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/23453/stat : 23453 (java) S 23451 23453 23031 0 -1 4202496 3080 0 1 0 3 1 0 0 20 0 13 0 253495484 9446973440 4290 33554432000 1073741824 1073778376 140734073624032 140734073615168 215127982141 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23453/statm: 2306390 4291 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.10033 s]
/proc/loadavg: 2.00 2.00 1.70 3/196 23453
/proc/meminfo: memFree=28051884/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/23453/stat : 23453 (java) S 23451 23453 23031 0 -1 4202496 4185 0 1 0 8 1 0 0 20 0 18 0 253495484 9787813888 5377 33554432000 1073741824 1073778376 140734073624032 140734073615168 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23453/statm: 2389603 5386 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300273 s]
/proc/loadavg: 2.00 2.00 1.70 3/196 23453
/proc/meminfo: memFree=28051884/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/23453/stat : 23453 (java) S 23451 23453 23031 0 -1 4202496 5523 0 1 0 45 1 0 0 20 0 18 0 253495484 9787813888 8650 33554432000 1073741824 1073778376 140734073624032 140734073615168 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23453/statm: 2389603 8650 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.7003 s]
/proc/loadavg: 2.00 2.00 1.70 3/196 23453
/proc/meminfo: memFree=28051884/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9558412 CPUtime=1.16 cores=1,3,5,7
/proc/23453/stat : 23453 (java) S 23451 23453 23031 0 -1 4202496 8938 0 1 0 111 5 0 0 20 0 18 0 253495484 9787813888 41385 33554432000 1073741824 1073778376 140734073624032 140734073615168 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23453/statm: 2389603 41385 2245 9 0 2380296 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9558412

[startup+1.51128 s]
/proc/loadavg: 2.00 2.00 1.70 3/214 23471
/proc/meminfo: memFree=27882716/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9558412 CPUtime=2.08 cores=1,3,5,7
/proc/23453/stat : 23453 (java) S 23451 23453 23031 0 -1 4202496 9040 0 1 0 198 10 0 0 20 0 18 0 253495484 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140734073615168 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23453/statm: 2389603 77741 2245 9 0 2380296 0
[pid=23453/tid=23455] ppid=23451 vsize=9558412 CPUtime=1.41 cores=1,3,5,7
/proc/23453/task/23455/stat : 23455 (java) S 23451 23453 23031 0 -1 4202560 2570 0 1 0 136 5 0 0 20 0 18 0 253495485 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165682859512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23456] ppid=23451 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/23453/task/23456/stat : 23456 (java) R 23451 23453 23031 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 253495487 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165655312984 140165686617190 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23457] ppid=23451 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/23453/task/23457/stat : 23457 (java) R 23451 23453 23031 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 253495487 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165525318184 140165687036079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23458] ppid=23451 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23458/stat : 23458 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253495487 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165524265128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23459] ppid=23451 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/23453/task/23459/stat : 23459 (java) R 23451 23453 23031 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 253495487 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165523212584 140165686617228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23460] ppid=23451 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/23453/task/23460/stat : 23460 (java) R 23451 23453 23031 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 253495487 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165522160552 140165687036079 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23461] ppid=23451 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23461/stat : 23461 (java) R 23451 23453 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 253495487 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165521108184 140165686617228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23462] ppid=23451 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/23453/task/23462/stat : 23462 (java) R 23451 23453 23031 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 253495487 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165183957672 215127995452 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23463] ppid=23451 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/23453/task/23463/stat : 23463 (java) S 23451 23453 23031 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 253495487 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165182905128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23464] ppid=23451 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23464/stat : 23464 (java) S 23451 23453 23031 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 253495488 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165170705672 215127995452 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23465] ppid=23451 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23465/stat : 23465 (java) S 23451 23453 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253495488 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165169653112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23466] ppid=23451 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23466/stat : 23466 (java) S 23451 23453 23031 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 253495488 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165168599944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23467] ppid=23451 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23467/stat : 23467 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253495491 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165167548688 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23468] ppid=23451 vsize=9558412 CPUtime=0.21 cores=1,3,5,7
/proc/23453/task/23468/stat : 23468 (java) S 23451 23453 23031 0 -1 4202560 2272 0 0 0 21 0 0 0 20 0 18 0 253495491 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165166496568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23469] ppid=23451 vsize=9558412 CPUtime=0.22 cores=1,3,5,7
/proc/23453/task/23469/stat : 23469 (java) S 23451 23453 23031 0 -1 4202560 2880 0 0 0 22 0 0 0 20 0 18 0 253495491 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165165444024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23470] ppid=23451 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23470/stat : 23470 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253495491 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165164391160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23471] ppid=23451 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23471/stat : 23471 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253495491 9787813888 77741 33554432000 1073741824 1073778376 140734073624032 140165163338824 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9558412

[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 1.70 4/214 23471
/proc/meminfo: memFree=27713548/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9624976 CPUtime=4.31 cores=1,3,5,7
/proc/23453/stat : 23453 (java) S 23451 23453 23031 0 -1 4202496 12422 0 1 0 415 16 0 0 20 0 19 0 253495484 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140734073615168 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23453/statm: 2406244 98995 2265 9 0 2396937 0
[pid=23453/tid=23455] ppid=23451 vsize=9624976 CPUtime=2.93 cores=1,3,5,7
/proc/23453/task/23455/stat : 23455 (java) R 23451 23453 23031 0 -1 4202560 2607 0 1 0 286 7 0 0 20 0 19 0 253495485 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165682858896 140165537073057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23456] ppid=23451 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/23453/task/23456/stat : 23456 (java) S 23451 23453 23031 0 -1 4202560 33 0 0 0 4 1 0 0 20 0 19 0 253495487 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165655312808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23457] ppid=23451 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/23453/task/23457/stat : 23457 (java) S 23451 23453 23031 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 19 0 253495487 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165525318184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23458] ppid=23451 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23453/task/23458/stat : 23458 (java) S 23451 23453 23031 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 253495487 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165524265128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23459] ppid=23451 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/23453/task/23459/stat : 23459 (java) S 23451 23453 23031 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 19 0 253495487 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165523212584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23460] ppid=23451 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/23453/task/23460/stat : 23460 (java) S 23451 23453 23031 0 -1 4202560 37 0 0 0 5 0 0 0 20 0 19 0 253495487 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165522160552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23461] ppid=23451 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/23453/task/23461/stat : 23461 (java) S 23451 23453 23031 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 253495487 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165521108008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23462] ppid=23451 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/23453/task/23462/stat : 23462 (java) S 23451 23453 23031 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 19 0 253495487 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165183957672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23463] ppid=23451 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/23453/task/23463/stat : 23463 (java) S 23451 23453 23031 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 19 0 253495487 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165182905128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23464] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23464/stat : 23464 (java) S 23451 23453 23031 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 253495488 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165170706792 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23465] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23465/stat : 23465 (java) S 23451 23453 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253495488 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165169653112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23466] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23466/stat : 23466 (java) S 23451 23453 23031 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253495488 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165168599944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23467] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23467/stat : 23467 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165167548688 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23468] ppid=23451 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/23453/task/23468/stat : 23468 (java) R 23451 23453 23031 0 -1 4202560 2962 0 0 0 44 0 0 0 20 0 19 0 253495491 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165166496568 140165689462906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23469] ppid=23451 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23453/task/23469/stat : 23469 (java) R 23451 23453 23031 0 -1 4202560 5284 0 0 0 46 0 0 0 20 0 19 0 253495491 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165165444024 140165689649468 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23470] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23470/stat : 23470 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165164391160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23471] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23471/stat : 23471 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 98995 33554432000 1073741824 1073778376 140734073624032 140165163338824 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 9624976

[startup+6.30072 s]
/proc/loadavg: 2.00 2.00 1.70 4/215 23472
/proc/meminfo: memFree=27590848/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9624976 CPUtime=8.11 cores=1,3,5,7
/proc/23453/stat : 23453 (java) S 23451 23453 23031 0 -1 4202496 15951 0 1 0 788 23 0 0 20 0 19 0 253495484 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140734073615168 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23453/statm: 2406244 118425 2282 9 0 2396937 0
[pid=23453/tid=23455] ppid=23451 vsize=9624976 CPUtime=5.65 cores=1,3,5,7
/proc/23453/task/23455/stat : 23455 (java) R 23451 23453 23031 0 -1 4202560 2618 0 1 0 558 7 0 0 20 0 19 0 253495485 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165682860440 140165537183149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23456] ppid=23451 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/23453/task/23456/stat : 23456 (java) S 23451 23453 23031 0 -1 4202560 48 0 0 0 6 2 0 0 20 0 19 0 253495487 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165655312808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23457] ppid=23451 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/23453/task/23457/stat : 23457 (java) S 23451 23453 23031 0 -1 4202560 45 0 0 0 9 2 0 0 20 0 19 0 253495487 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165525318184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23458] ppid=23451 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/23453/task/23458/stat : 23458 (java) S 23451 23453 23031 0 -1 4202560 27 0 0 0 5 1 0 0 20 0 19 0 253495487 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165524265128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23459] ppid=23451 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/23453/task/23459/stat : 23459 (java) S 23451 23453 23031 0 -1 4202560 45 0 0 0 7 2 0 0 20 0 19 0 253495487 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165523212584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23460] ppid=23451 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/23453/task/23460/stat : 23460 (java) S 23451 23453 23031 0 -1 4202560 49 0 0 0 6 2 0 0 20 0 19 0 253495487 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165522160552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23461] ppid=23451 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/23453/task/23461/stat : 23461 (java) S 23451 23453 23031 0 -1 4202560 27 0 0 0 4 2 0 0 20 0 19 0 253495487 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165521108008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23462] ppid=23451 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/23453/task/23462/stat : 23462 (java) S 23451 23453 23031 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 19 0 253495487 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165183957672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23463] ppid=23451 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/23453/task/23463/stat : 23463 (java) S 23451 23453 23031 0 -1 4202560 42 0 0 0 5 1 0 0 20 0 19 0 253495487 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165182905128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23464] ppid=23451 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/23453/task/23464/stat : 23464 (java) S 23451 23453 23031 0 -1 4202560 229 0 0 0 39 0 0 0 20 0 19 0 253495488 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165170706792 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23465] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23465/stat : 23465 (java) S 23451 23453 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253495488 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165169653112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23466] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23466/stat : 23466 (java) S 23451 23453 23031 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253495488 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165168599944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23467] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23467/stat : 23467 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165167548688 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23468] ppid=23451 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23453/task/23468/stat : 23468 (java) S 23451 23453 23031 0 -1 4202560 5400 0 0 0 63 2 0 0 20 0 19 0 253495491 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165166496568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23469] ppid=23451 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23453/task/23469/stat : 23469 (java) S 23451 23453 23031 0 -1 4202560 6202 0 0 0 64 1 0 0 20 0 19 0 253495491 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165165444024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23470] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23470/stat : 23470 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165164391160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23471] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23471/stat : 23471 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165163338824 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23472] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23472/stat : 23472 (java) S 23451 23453 23031 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253495768 9855975424 118425 33554432000 1073741824 1073778376 140734073624032 140165162284072 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.70 3/215 23472
/proc/meminfo: memFree=27576188/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9624976 CPUtime=14.61 cores=1,3,5,7
/proc/23453/stat : 23453 (java) S 23451 23453 23031 0 -1 4202496 15991 0 1 0 1437 24 0 0 20 0 19 0 253495484 9855975424 120506 33554432000 1073741824 1073778376 140734073624032 140734073615168 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0

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

[pid=23453/tid=23468] ppid=23451 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/23453/task/23468/stat : 23468 (java) S 23451 23453 23031 0 -1 4202560 5442 0 0 0 69 2 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165166496568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23469] ppid=23451 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23453/task/23469/stat : 23469 (java) S 23451 23453 23031 0 -1 4202560 6202 0 0 0 64 1 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165165444024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23470] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23470/stat : 23470 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165164391160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23471] ppid=23451 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23453/task/23471/stat : 23471 (java) S 23451 23453 23031 0 -1 4202560 99 0 0 0 27 21 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165163338824 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23472] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23472/stat : 23472 (java) S 23451 23453 23031 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253495768 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165162284072 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1730.62
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/215 23569
/proc/meminfo: memFree=26423976/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9624976 CPUtime=1790.62 cores=1,3,5,7
/proc/23453/stat : 23453 (java) S 23451 23453 23031 0 -1 4202496 42942 0 1 0 178962 100 0 0 20 0 19 0 253495484 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140734073615168 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23453/statm: 2406244 243812 2283 9 0 2396937 0
[pid=23453/tid=23455] ppid=23451 vsize=9624976 CPUtime=1748.43 cores=1,3,5,7
/proc/23453/task/23455/stat : 23455 (java) R 23451 23453 23031 0 -1 4202560 2771 0 1 0 174806 37 0 0 20 0 19 0 253495485 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165682860320 140165537213258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23456] ppid=23451 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/23453/task/23456/stat : 23456 (java) S 23451 23453 23031 0 -1 4202560 3946 0 0 0 102 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165655312808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23457] ppid=23451 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/23453/task/23457/stat : 23457 (java) S 23451 23453 23031 0 -1 4202560 2692 0 0 0 115 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165525318184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23458] ppid=23451 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/23453/task/23458/stat : 23458 (java) S 23451 23453 23031 0 -1 4202560 2975 0 0 0 108 10 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165524265128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23459] ppid=23451 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23453/task/23459/stat : 23459 (java) S 23451 23453 23031 0 -1 4202560 2764 0 0 0 112 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165523212584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23460] ppid=23451 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/23453/task/23460/stat : 23460 (java) S 23451 23453 23031 0 -1 4202560 4132 0 0 0 121 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165522160552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23461] ppid=23451 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/23453/task/23461/stat : 23461 (java) S 23451 23453 23031 0 -1 4202560 3371 0 0 0 103 7 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165521108008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23462] ppid=23451 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23453/task/23462/stat : 23462 (java) S 23451 23453 23031 0 -1 4202560 4055 0 0 0 113 8 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165183957672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23463] ppid=23451 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/23453/task/23463/stat : 23463 (java) S 23451 23453 23031 0 -1 4202560 2947 0 0 0 96 8 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165182905128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23464] ppid=23451 vsize=9624976 CPUtime=26.59 cores=1,3,5,7
/proc/23453/task/23464/stat : 23464 (java) S 23451 23453 23031 0 -1 4202560 357 0 0 0 2656 3 0 0 20 0 19 0 253495488 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165170706792 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23465] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23465/stat : 23465 (java) S 23451 23453 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253495488 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165169653112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23466] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23466/stat : 23466 (java) S 23451 23453 23031 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253495488 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165168599944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23467] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23467/stat : 23467 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165167548688 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23468] ppid=23451 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/23453/task/23468/stat : 23468 (java) S 23451 23453 23031 0 -1 4202560 5442 0 0 0 69 2 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165166496568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23469] ppid=23451 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23453/task/23469/stat : 23469 (java) S 23451 23453 23031 0 -1 4202560 6202 0 0 0 64 1 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165165444024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23470] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23470/stat : 23470 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165164391160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23471] ppid=23451 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23453/task/23471/stat : 23471 (java) S 23451 23453 23031 0 -1 4202560 103 0 0 0 28 22 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165163338824 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23472] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23472/stat : 23472 (java) S 23451 23453 23031 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253495768 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165162284072 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.7 s]
/proc/loadavg: 1.99 2.00 1.91 3/215 23569
/proc/meminfo: memFree=26423728/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9624976 CPUtime=1800.03 cores=1,3,5,7
/proc/23453/stat : 23453 (java) S 23451 23453 23031 0 -1 4202496 42942 0 1 0 179903 100 0 0 20 0 19 0 253495484 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140734073615168 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23453/statm: 2406244 243812 2283 9 0 2396937 0
[pid=23453/tid=23455] ppid=23451 vsize=9624976 CPUtime=1757.81 cores=1,3,5,7
/proc/23453/task/23455/stat : 23455 (java) R 23451 23453 23031 0 -1 4202560 2771 0 1 0 175744 37 0 0 20 0 19 0 253495485 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165682860320 140165537327126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23456] ppid=23451 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/23453/task/23456/stat : 23456 (java) S 23451 23453 23031 0 -1 4202560 3946 0 0 0 102 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165655312808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23457] ppid=23451 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/23453/task/23457/stat : 23457 (java) S 23451 23453 23031 0 -1 4202560 2692 0 0 0 115 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165525318184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23458] ppid=23451 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/23453/task/23458/stat : 23458 (java) S 23451 23453 23031 0 -1 4202560 2975 0 0 0 108 10 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165524265128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23459] ppid=23451 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23453/task/23459/stat : 23459 (java) S 23451 23453 23031 0 -1 4202560 2764 0 0 0 112 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165523212584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23460] ppid=23451 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/23453/task/23460/stat : 23460 (java) S 23451 23453 23031 0 -1 4202560 4132 0 0 0 121 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165522160552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23461] ppid=23451 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/23453/task/23461/stat : 23461 (java) S 23451 23453 23031 0 -1 4202560 3371 0 0 0 103 7 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165521108008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23462] ppid=23451 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23453/task/23462/stat : 23462 (java) S 23451 23453 23031 0 -1 4202560 4055 0 0 0 113 8 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165183957672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23463] ppid=23451 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/23453/task/23463/stat : 23463 (java) S 23451 23453 23031 0 -1 4202560 2947 0 0 0 96 8 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165182905128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23464] ppid=23451 vsize=9624976 CPUtime=26.59 cores=1,3,5,7
/proc/23453/task/23464/stat : 23464 (java) S 23451 23453 23031 0 -1 4202560 357 0 0 0 2656 3 0 0 20 0 19 0 253495488 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165170706792 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23465] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23465/stat : 23465 (java) S 23451 23453 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253495488 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165169653112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23466] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23466/stat : 23466 (java) S 23451 23453 23031 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253495488 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165168599944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23467] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23467/stat : 23467 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165167548688 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23468] ppid=23451 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/23453/task/23468/stat : 23468 (java) S 23451 23453 23031 0 -1 4202560 5442 0 0 0 69 2 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165166496568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23469] ppid=23451 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23453/task/23469/stat : 23469 (java) S 23451 23453 23031 0 -1 4202560 6202 0 0 0 64 1 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165165444024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23470] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23470/stat : 23470 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165164391160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23471] ppid=23451 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23453/task/23471/stat : 23471 (java) S 23451 23453 23031 0 -1 4202560 103 0 0 0 28 22 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165163338824 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23472] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23472/stat : 23472 (java) S 23451 23453 23031 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253495768 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165162284072 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1791.7 s]
/proc/loadavg: 1.99 2.00 1.91 3/215 23569
/proc/meminfo: memFree=26423728/32873844 swapFree=7608/7608
[pid=23453] ppid=23451 vsize=9624976 CPUtime=1800.03 cores=1,3,5,7
/proc/23453/stat : 23453 (java) S 23451 23453 23031 0 -1 4202496 42942 0 1 0 179903 100 0 0 20 0 19 0 253495484 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140734073615168 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23453/statm: 2406244 243812 2283 9 0 2396937 0
[pid=23453/tid=23455] ppid=23451 vsize=9624976 CPUtime=1757.81 cores=1,3,5,7
/proc/23453/task/23455/stat : 23455 (java) R 23451 23453 23031 0 -1 4202560 2771 0 1 0 175744 37 0 0 20 0 19 0 253495485 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165682860320 140165537327126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23456] ppid=23451 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/23453/task/23456/stat : 23456 (java) S 23451 23453 23031 0 -1 4202560 3946 0 0 0 102 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165655312808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23457] ppid=23451 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/23453/task/23457/stat : 23457 (java) S 23451 23453 23031 0 -1 4202560 2692 0 0 0 115 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165525318184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23458] ppid=23451 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/23453/task/23458/stat : 23458 (java) S 23451 23453 23031 0 -1 4202560 2975 0 0 0 108 10 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165524265128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23459] ppid=23451 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23453/task/23459/stat : 23459 (java) S 23451 23453 23031 0 -1 4202560 2764 0 0 0 112 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165523212584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23460] ppid=23451 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/23453/task/23460/stat : 23460 (java) S 23451 23453 23031 0 -1 4202560 4132 0 0 0 121 9 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165522160552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23453/tid=23461] ppid=23451 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/23453/task/23461/stat : 23461 (java) S 23451 23453 23031 0 -1 4202560 3371 0 0 0 103 7 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165521108008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23462] ppid=23451 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23453/task/23462/stat : 23462 (java) S 23451 23453 23031 0 -1 4202560 4055 0 0 0 113 8 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165183957672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23453/tid=23463] ppid=23451 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/23453/task/23463/stat : 23463 (java) S 23451 23453 23031 0 -1 4202560 2947 0 0 0 96 8 0 0 20 0 19 0 253495487 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165182905128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23464] ppid=23451 vsize=9624976 CPUtime=26.59 cores=1,3,5,7
/proc/23453/task/23464/stat : 23464 (java) S 23451 23453 23031 0 -1 4202560 357 0 0 0 2656 3 0 0 20 0 19 0 253495488 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165170706792 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23465] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23465/stat : 23465 (java) S 23451 23453 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253495488 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165169653112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23466] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23466/stat : 23466 (java) S 23451 23453 23031 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253495488 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165168599944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23467] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23467/stat : 23467 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165167548688 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23468] ppid=23451 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/23453/task/23468/stat : 23468 (java) S 23451 23453 23031 0 -1 4202560 5442 0 0 0 69 2 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165166496568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23469] ppid=23451 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23453/task/23469/stat : 23469 (java) S 23451 23453 23031 0 -1 4202560 6202 0 0 0 64 1 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165165444024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23470] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23470/stat : 23470 (java) S 23451 23453 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165164391160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23453/tid=23471] ppid=23451 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23453/task/23471/stat : 23471 (java) S 23451 23453 23031 0 -1 4202560 103 0 0 0 28 22 0 0 20 0 19 0 253495491 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165163338824 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23453/tid=23472] ppid=23451 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23453/task/23472/stat : 23472 (java) S 23451 23453 23031 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253495768 9855975424 243812 33554432000 1073741824 1073778376 140734073624032 140165162284072 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23453 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=599179
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=482774
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1791.77
CPU time (s): 1800.03
CPU user time (s): 1799.03
CPU system time (s): 1
CPU usage (%): 100.461
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 1.48277
maximum resident set size= 975372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42975
page faults= 1
swaps= 0
block input operations= 72
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41929
involuntary context switches= 19483

runsolver used 6.70398 second user time and 14.9907 second system time

The end

Launcher Data 

Begin job on node135 at 2012-05-24 17:35:07
IDJOB=3687609
IDBENCH=1970
IDSOLVER=2269
FILE ID=node135/3687609-1337873706
RUNJOBID= node135-1337871881-23049
PBS_JOBID= 14620069
Free space on /tmp= 71576 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687609-1337873706/watcher-3687609-1337873706 -o /tmp/evaluation-result-3687609-1337873706/solver-3687609-1337873706 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687609-1337873706.opb

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

MD5SUM BENCH= 5f836d1b8d150c1925229546ed283812
RANDOM SEED=1705632628

node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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:       32873844 kB
MemFree:        28052264 kB
Buffers:          205960 kB
Cached:          3372648 kB
SwapCached:            0 kB
Active:          1281436 kB
Inactive:        2766948 kB
Active(anon):     472524 kB
Inactive(anon):        0 kB
Active(file):     808912 kB
Inactive(file):  2766948 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17076 kB
Writeback:             0 kB
AnonPages:        477372 kB
Mapped:            22580 kB
Shmem:               212 kB
Slab:             632260 kB
SReclaimable:      74696 kB
SUnreclaim:       557564 kB
KernelStack:        1624 kB
PageTables:         4984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1082988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    448512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71572 MiB
End job on node135 at 2012-05-24 18:05:01