Trace number 3718142

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.57 1785.68

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
MD5SUMd7ec3e5f8584fe7f5e0e066c760adfab
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark3.9214
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10100
Total number of constraints201
Number of soft constraints65
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
Top cost 3414
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3413
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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

Verifier Data

OK	1

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-3718142-1338250386/watcher-3718142-1338250386 -o /tmp/evaluation-result-3718142-1338250386/solver-3718142-1338250386 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718142-1338250386.wbo 

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.02 2.01 1.91 2/171 2485
/proc/meminfo: memFree=30837816/32873648 swapFree=7112/7112
[pid=2485] ppid=2483 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/2485/stat : 2485 (java) D 2483 2485 919 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291164484 9515008 182 33554432000 1073741824 1073778376 140737409468928 140737409459960 242167398069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/2485/statm: 2323 182 140 9 0 71 0

[startup+0.0156699 s]
/proc/loadavg: 2.02 2.01 1.91 2/171 2485
/proc/meminfo: memFree=30837816/32873648 swapFree=7112/7112
[pid=2485] ppid=2483 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 1367 0 0 0 0 0 0 0 20 0 2 0 291164484 103964672 1050 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2485/statm: 25382 1050 805 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100172 s]
/proc/loadavg: 2.02 2.01 1.91 2/171 2485
/proc/meminfo: memFree=30837816/32873648 swapFree=7112/7112
[pid=2485] ppid=2483 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 4341 0 1 0 8 1 0 0 20 0 18 0 291164484 9787817984 5537 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2485/statm: 2389604 5537 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300152 s]
/proc/loadavg: 2.02 2.01 1.91 2/171 2485
/proc/meminfo: memFree=30837816/32873648 swapFree=7112/7112
[pid=2485] ppid=2483 vsize=9558416 CPUtime=0.56 cores=1,3,5,7
/proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 7246 0 1 0 55 1 0 0 20 0 18 0 291164484 9787817984 10896 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2485/statm: 2389604 10896 2219 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558416

[startup+0.700155 s]
/proc/loadavg: 2.02 2.01 1.91 2/171 2485
/proc/meminfo: memFree=30837816/32873648 swapFree=7112/7112
[pid=2485] ppid=2483 vsize=9624980 CPUtime=1.38 cores=1,3,5,7
/proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 7838 0 1 0 136 2 0 0 20 0 19 0 291164484 9855979520 14631 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2485/statm: 2406245 14631 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9624980

[startup+1.50068 s]
/proc/loadavg: 2.02 2.01 1.91 3/213 2536
/proc/meminfo: memFree=30732980/32873648 swapFree=7112/7112
[pid=2485] ppid=2483 vsize=9624980 CPUtime=2.23 cores=1,3,5,7
/proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 7856 0 1 0 221 2 0 0 20 0 19 0 291164484 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2485/statm: 2406245 19247 2249 9 0 2396937 0
[pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=1.46 cores=1,3,5,7
/proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2475 0 1 0 144 2 0 0 20 0 19 0 291164485 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449544337912 140449407415286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 2352 0 0 0 41 0 0 0 20 0 19 0 291164490 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1828 0 0 0 33 0 0 0 20 0 19 0 291164490 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9624980

[startup+3.10061 s]
/proc/loadavg: 2.02 2.01 1.91 3/213 2536
/proc/meminfo: memFree=30674644/32873648 swapFree=7112/7112
[pid=2485] ppid=2483 vsize=9624980 CPUtime=3.96 cores=1,3,5,7
/proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 7974 0 1 0 390 6 0 0 20 0 19 0 291164484 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2485/statm: 2406245 31584 2276 9 0 2396937 0
[pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=3.01 cores=1,3,5,7
/proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2479 0 1 0 299 2 0 0 20 0 19 0 291164485 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449544339928 140449407435221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 39 0 0 0 2 0 0 0 20 0 19 0 291164488 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.44 cores=1,3,5,7
/proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 2355 0 0 0 44 0 0 0 20 0 19 0 291164490 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 37 0 0 0 20 0 19 0 291164490 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9624980

[startup+6.3007 s]
/proc/loadavg: 2.02 2.01 1.91 3/213 2536
/proc/meminfo: memFree=30620412/32873648 swapFree=7112/7112
[pid=2485] ppid=2483 vsize=9624980 CPUtime=7.4 cores=1,3,5,7
/proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 10121 0 1 0 733 7 0 0 20 0 19 0 291164484 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2485/statm: 2406245 34647 2276 9 0 2396937 0
[pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=6.1 cores=1,3,5,7
/proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2482 0 1 0 608 2 0 0 20 0 19 0 291164485 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449544339744 140449407371090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 291164486 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291164486 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 291164487 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 291164487 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 41 0 0 0 10 0 0 0 20 0 19 0 291164488 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 4476 0 0 0 61 0 0 0 20 0 19 0 291164490 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 38 0 0 0 20 0 19 0 291164490 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

[pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=2.08 cores=1,3,5,7
/proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 783 0 0 0 186 22 0 0 20 0 19 0 291164487 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=2 cores=1,3,5,7
/proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 687 0 0 0 178 22 0 0 20 0 19 0 291164487 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=2.04 cores=1,3,5,7
/proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 917 0 0 0 185 19 0 0 20 0 19 0 291164487 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=6.82 cores=1,3,5,7
/proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 1328 0 0 0 678 4 0 0 20 0 19 0 291164488 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 4481 0 0 0 63 0 0 0 20 0 19 0 291164490 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 38 0 0 0 20 0 19 0 291164490 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 97 0 0 0 26 33 0 0 20 0 19 0 291164490 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1675.52
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.04 2.11 2.01 3/213 2553
/proc/meminfo: memFree=28566188/32873648 swapFree=7112/7112
[pid=2485] ppid=2483 vsize=9624980 CPUtime=1736.21 cores=1,3,5,7
/proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 18149 0 1 0 173403 218 0 0 20 0 19 0 291164484 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2485/statm: 2406245 418402 2277 9 0 2396937 0
[pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=1710.48 cores=1,3,5,7
/proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2620 0 1 0 171018 30 0 0 20 0 19 0 291164485 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449544339744 140449407414833 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=2.24 cores=1,3,5,7
/proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 1005 0 0 0 201 23 0 0 20 0 19 0 291164486 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=2 cores=1,3,5,7
/proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 753 0 0 0 180 20 0 0 20 0 19 0 291164486 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=2.08 cores=1,3,5,7
/proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 694 0 0 0 189 19 0 0 20 0 19 0 291164486 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=2.24 cores=1,3,5,7
/proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 688 0 0 0 203 21 0 0 20 0 19 0 291164486 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=2.12 cores=1,3,5,7
/proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 1031 0 0 0 189 23 0 0 20 0 19 0 291164487 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=2.16 cores=1,3,5,7
/proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 787 0 0 0 194 22 0 0 20 0 19 0 291164487 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=2.15 cores=1,3,5,7
/proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 701 0 0 0 192 23 0 0 20 0 19 0 291164487 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=2.11 cores=1,3,5,7
/proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 925 0 0 0 191 20 0 0 20 0 19 0 291164487 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=7.09 cores=1,3,5,7
/proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 1345 0 0 0 705 4 0 0 20 0 19 0 291164488 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 4481 0 0 0 63 0 0 0 20 0 19 0 291164490 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 38 0 0 0 20 0 19 0 291164490 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 99 0 0 0 28 34 0 0 20 0 19 0 291164490 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1736.21
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.13 2.12 2.01 3/213 2612
/proc/meminfo: memFree=28714832/32873648 swapFree=7112/7112
[pid=2485] ppid=2483 vsize=9624980 CPUtime=1796.76 cores=1,3,5,7
/proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 18308 0 1 0 179453 223 0 0 20 0 19 0 291164484 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2485/statm: 2406245 433307 2277 9 0 2396937 0
[pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=1770.15 cores=1,3,5,7
/proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2622 0 1 0 176984 31 0 0 20 0 19 0 291164485 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449544339744 140449407488572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=2.34 cores=1,3,5,7
/proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 1013 0 0 0 211 23 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=2.1 cores=1,3,5,7
/proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 768 0 0 0 188 22 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=2.14 cores=1,3,5,7
/proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 705 0 0 0 195 19 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=2.32 cores=1,3,5,7
/proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 697 0 0 0 210 22 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=2.26 cores=1,3,5,7
/proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 1051 0 0 0 201 25 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=2.25 cores=1,3,5,7
/proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 800 0 0 0 202 23 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=2.21 cores=1,3,5,7
/proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 705 0 0 0 198 23 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=2.21 cores=1,3,5,7
/proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 936 0 0 0 200 21 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=7.24 cores=1,3,5,7
/proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 1407 0 0 0 720 4 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 4481 0 0 0 63 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 38 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 103 0 0 0 29 35 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.6 s]
/proc/loadavg: 2.12 2.12 2.01 3/213 2612
/proc/meminfo: memFree=28714956/32873648 swapFree=7112/7112
[pid=2485] ppid=2483 vsize=9624980 CPUtime=1800.07 cores=1,3,5,7
/proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 18308 0 1 0 179783 224 0 0 20 0 19 0 291164484 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2485/statm: 2406245 433307 2277 9 0 2396937 0
[pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=1773.46 cores=1,3,5,7
/proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2622 0 1 0 177315 31 0 0 20 0 19 0 291164485 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449544339744 140449407489858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=2.34 cores=1,3,5,7
/proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 1013 0 0 0 211 23 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=2.1 cores=1,3,5,7
/proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 768 0 0 0 188 22 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=2.14 cores=1,3,5,7
/proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 705 0 0 0 195 19 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=2.32 cores=1,3,5,7
/proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 697 0 0 0 210 22 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=2.26 cores=1,3,5,7
/proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 1051 0 0 0 201 25 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=2.25 cores=1,3,5,7
/proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 800 0 0 0 202 23 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=2.21 cores=1,3,5,7
/proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 705 0 0 0 198 23 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=2.21 cores=1,3,5,7
/proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 936 0 0 0 200 21 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=7.24 cores=1,3,5,7
/proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 1407 0 0 0 720 4 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 4481 0 0 0 63 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 38 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 103 0 0 0 29 35 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

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

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

Child status: 143
Real time (s): 1785.68
CPU time (s): 1800.57
CPU user time (s): 1797.95
CPU system time (s): 2.6226
CPU usage (%): 100.834
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.95
system time used= 2.6226
maximum resident set size= 1733384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18352
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40569
involuntary context switches= 24707

runsolver used 6.23105 second user time and 14.6038 second system time

The end

Launcher Data

Begin job on node126 at 2012-05-29 02:13:06
IDJOB=3718142
IDBENCH=78713
IDSOLVER=2301
FILE ID=node126/3718142-1338250386
RUNJOBID= node126-1338248585-2145
PBS_JOBID= 14624661
Free space on /tmp= 71360 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718142-1338250386/watcher-3718142-1338250386 -o /tmp/evaluation-result-3718142-1338250386/solver-3718142-1338250386 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718142-1338250386.wbo

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

MD5SUM BENCH= d7ec3e5f8584fe7f5e0e066c760adfab
RANDOM SEED=961365546

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30837956 kB
Buffers:          424192 kB
Cached:           723008 kB
SwapCached:        17756 kB
Active:           860688 kB
Inactive:         307560 kB
Active(anon):       2168 kB
Inactive(anon):    20452 kB
Active(file):     858520 kB
Inactive(file):   287108 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:               516 kB
Writeback:             0 kB
AnonPages:         12892 kB
Mapped:             9080 kB
Shmem:                 0 kB
Slab:             727128 kB
SReclaimable:     171148 kB
SUnreclaim:       555980 kB
KernelStack:        1432 kB
PageTables:         4208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71356 MiB
End job on node126 at 2012-05-29 02:42:53