Trace number 3687927

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)14851421 1800.06 1768.57

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
MD5SUM291088d217a1998c91be99350439e903
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5516295
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5965824
Optimality of the best value was proved NO
Number of variables7812
Total number of constraints285
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints285
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1543007621731
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1543007621731
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	14851421

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.95 2.07 2.02 3/192 22357
/proc/meminfo: memFree=28177412/32873844 swapFree=6080/6080
[pid=22357] ppid=22355 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/22357/stat : 22357 (java) R 22355 22357 21473 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 253871832 23793664 713 33554432000 1073741824 1073778376 140735942849808 140735942838872 226320495976 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22357/statm: 5809 714 528 9 0 128 0

[startup+0.038708 s]
/proc/loadavg: 1.95 2.07 2.02 3/192 22357
/proc/meminfo: memFree=28177412/32873844 swapFree=6080/6080
[pid=22357] ppid=22355 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/22357/stat : 22357 (java) S 22355 22357 21473 0 -1 4202496 3018 0 1 0 2 0 0 0 20 0 13 0 253871832 9446973440 3715 33554432000 1073741824 1073778376 140735942849808 140735942840944 226333065277 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22357/statm: 2306390 3715 1695 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100242 s]
/proc/loadavg: 1.95 2.07 2.02 3/192 22357
/proc/meminfo: memFree=28177412/32873844 swapFree=6080/6080
[pid=22357] ppid=22355 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/22357/stat : 22357 (java) S 22355 22357 21473 0 -1 4202496 4299 0 1 0 9 1 0 0 20 0 18 0 253871832 9787813888 5502 33554432000 1073741824 1073778376 140735942849808 140735942840944 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22357/statm: 2389603 5502 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300229 s]
/proc/loadavg: 1.95 2.07 2.02 3/192 22357
/proc/meminfo: memFree=28177412/32873844 swapFree=6080/6080
[pid=22357] ppid=22355 vsize=9558412 CPUtime=0.52 cores=0,2,4,6
/proc/22357/stat : 22357 (java) S 22355 22357 21473 0 -1 4202496 9231 0 1 0 51 1 0 0 20 0 18 0 253871832 9787813888 11094 33554432000 1073741824 1073778376 140735942849808 140735942840944 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22357/statm: 2389603 11095 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558412

[startup+0.700221 s]
/proc/loadavg: 1.95 2.07 2.02 3/192 22357
/proc/meminfo: memFree=28177412/32873844 swapFree=6080/6080
[pid=22357] ppid=22355 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/22357/stat : 22357 (java) S 22355 22357 21473 0 -1 4202496 10382 0 1 0 140 2 0 0 20 0 19 0 253871832 9855975424 16492 33554432000 1073741824 1073778376 140735942849808 140735942840944 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22357/statm: 2406244 16492 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9624976

[startup+1.50062 s]
/proc/loadavg: 1.95 2.07 2.02 3/211 22376
/proc/meminfo: memFree=28111712/32873844 swapFree=6080/6080
[pid=22357] ppid=22355 vsize=9624976 CPUtime=2.35 cores=0,2,4,6
/proc/22357/stat : 22357 (java) S 22355 22357 21473 0 -1 4202496 10394 0 1 0 233 2 0 0 20 0 19 0 253871832 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 140735942840944 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22357/statm: 2406244 20080 2250 9 0 2396937 0
[pid=22357/tid=22359] ppid=22355 vsize=9624976 CPUtime=1.48 cores=0,2,4,6
/proc/22357/task/22359/stat : 22359 (java) R 22355 22357 21473 0 -1 4202560 2476 0 1 0 146 2 0 0 20 0 19 0 253871833 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139636001204656 139635846044992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22360] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22360/stat : 22360 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635973659048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22361] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22361/stat : 22361 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635972606504 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22362] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22362/stat : 22362 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635971553448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22357/tid=22363] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22363/stat : 22363 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635970500904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22364] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22364/stat : 22364 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635969448872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22365] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22365/stat : 22365 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635968396328 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22366] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22366/stat : 22366 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635967343272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22367] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22367/stat : 22367 (java) S 22355 22357 21473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635966290728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22368] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22368/stat : 22368 (java) S 22355 22357 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253871834 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635355265384 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22369] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22369/stat : 22369 (java) S 22355 22357 21473 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635354211704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22370] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22370/stat : 22370 (java) S 22355 22357 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635353158536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22371] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22371/stat : 22371 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635352107280 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22372] ppid=22355 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/22357/task/22372/stat : 22372 (java) S 22355 22357 21473 0 -1 4202560 2582 0 0 0 40 0 0 0 20 0 19 0 253871838 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635351055160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22373] ppid=22355 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/22357/task/22373/stat : 22373 (java) R 22355 22357 21473 0 -1 4202560 4141 0 0 0 44 0 0 0 20 0 19 0 253871838 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635350002616 139636005324134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22374] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22374/stat : 22374 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635348949752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22375] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22375/stat : 22375 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635347897416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22376] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22376/stat : 22376 (java) S 22355 22357 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253871875 9855975424 20080 33554432000 1073741824 1073778376 140735942849808 139635346842664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 9624976

[startup+3.10062 s]
/proc/loadavg: 1.95 2.07 2.02 3/211 22376
/proc/meminfo: memFree=28095080/32873844 swapFree=6080/6080
[pid=22357] ppid=22355 vsize=9624976 CPUtime=3.96 cores=0,2,4,6
/proc/22357/stat : 22357 (java) S 22355 22357 21473 0 -1 4202496 10414 0 1 0 393 3 0 0 20 0 19 0 253871832 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 140735942840944 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22357/statm: 2406244 29808 2250 9 0 2396937 0
[pid=22357/tid=22359] ppid=22355 vsize=9624976 CPUtime=3.07 cores=0,2,4,6
/proc/22357/task/22359/stat : 22359 (java) R 22355 22357 21473 0 -1 4202560 2496 0 1 0 305 2 0 0 20 0 19 0 253871833 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139636001204776 139635846870827 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22360] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22360/stat : 22360 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635973659048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22361] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22361/stat : 22361 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635972606504 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22362] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22362/stat : 22362 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635971553448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22357/tid=22363] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22363/stat : 22363 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635970500904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22364] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22364/stat : 22364 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635969448872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22365] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22365/stat : 22365 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635968396328 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22366] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22366/stat : 22366 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635967343272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22367] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22367/stat : 22367 (java) S 22355 22357 21473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635966290728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22368] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22368/stat : 22368 (java) S 22355 22357 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253871834 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635355265384 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22369] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22369/stat : 22369 (java) S 22355 22357 21473 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635354211704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22370] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22370/stat : 22370 (java) S 22355 22357 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635353158536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22371] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22371/stat : 22371 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635352107280 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22372] ppid=22355 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/22357/task/22372/stat : 22372 (java) S 22355 22357 21473 0 -1 4202560 2582 0 0 0 40 0 0 0 20 0 19 0 253871838 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635351055160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22373] ppid=22355 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22357/task/22373/stat : 22373 (java) S 22355 22357 21473 0 -1 4202560 4141 0 0 0 45 0 0 0 20 0 19 0 253871838 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635350002616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22374] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22374/stat : 22374 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635348949752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22375] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22375/stat : 22375 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635347897416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22376] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22376/stat : 22376 (java) S 22355 22357 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253871875 9855975424 29808 33554432000 1073741824 1073778376 140735942849808 139635346842664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9624976

[startup+6.30067 s]
/proc/loadavg: 1.95 2.07 2.02 3/211 22376
/proc/meminfo: memFree=28010616/32873844 swapFree=6080/6080
[pid=22357] ppid=22355 vsize=9624976 CPUtime=7.25 cores=0,2,4,6
/proc/22357/stat : 22357 (java) S 22355 22357 21473 0 -1 4202496 10506 0 1 0 720 5 0 0 20 0 19 0 253871832 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 140735942840944 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22357/statm: 2406244 43662 2276 9 0 2396937 0
[pid=22357/tid=22359] ppid=22355 vsize=9624976 CPUtime=6.21 cores=0,2,4,6
/proc/22357/task/22359/stat : 22359 (java) R 22355 22357 21473 0 -1 4202560 2516 0 1 0 619 2 0 0 20 0 19 0 253871833 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139636001206576 139635846870801 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22360] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22360/stat : 22360 (java) S 22355 22357 21473 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635973659048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22361] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22361/stat : 22361 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635972606504 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22357/tid=22362] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22362/stat : 22362 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635971553448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22357/tid=22363] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22363/stat : 22363 (java) S 22355 22357 21473 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635970500904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22364] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22364/stat : 22364 (java) S 22355 22357 21473 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635969448872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22365] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22365/stat : 22365 (java) S 22355 22357 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635968396328 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22357/tid=22366] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22366/stat : 22366 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635967343272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22367] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22367/stat : 22367 (java) S 22355 22357 21473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253871833 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635966290728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22368] ppid=22355 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22357/task/22368/stat : 22368 (java) S 22355 22357 21473 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 253871834 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635355265384 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22369] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22369/stat : 22369 (java) S 22355 22357 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635354211704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22370] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22370/stat : 22370 (java) S 22355 22357 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635353158536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22371] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22371/stat : 22371 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635352107280 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22372] ppid=22355 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/22357/task/22372/stat : 22372 (java) S 22355 22357 21473 0 -1 4202560 2583 0 0 0 42 0 0 0 20 0 19 0 253871838 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635351055160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22373] ppid=22355 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/22357/task/22373/stat : 22373 (java) S 22355 22357 21473 0 -1 4202560 4145 0 0 0 48 0 0 0 20 0 19 0 253871838 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635350002616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22374] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22374/stat : 22374 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635348949752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22375] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22375/stat : 22375 (java) S 22355 22357 21473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635347897416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22376] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22376/stat : 22376 (java) S 22355 22357 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253871875 9855975424 43662 33554432000 1073741824 1073778376 140735942849808 139635346842664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=22357/tid=22372] ppid=22355 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/22357/task/22372/stat : 22372 (java) S 22355 22357 21473 0 -1 4202560 2918 0 0 0 48 0 0 0 20 0 19 0 253871838 9855975424 94824 33554432000 1073741824 1073778376 140735942849808 139635351055160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22373] ppid=22355 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/22357/task/22373/stat : 22373 (java) S 22355 22357 21473 0 -1 4202560 4148 0 0 0 49 0 0 0 20 0 19 0 253871838 9855975424 94824 33554432000 1073741824 1073778376 140735942849808 139635350002616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22374] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22374/stat : 22374 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 94824 33554432000 1073741824 1073778376 140735942849808 139635348949752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22375] ppid=22355 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/22357/task/22375/stat : 22375 (java) S 22355 22357 21473 0 -1 4202560 95 0 0 0 23 16 0 0 20 0 19 0 253871838 9855975424 94824 33554432000 1073741824 1073778376 140735942849808 139635347897416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22376] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22376/stat : 22376 (java) S 22355 22357 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253871875 9855975424 94824 33554432000 1073741824 1073778376 140735942849808 139635346842664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1691.94
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/210 22413
/proc/meminfo: memFree=26501456/32873844 swapFree=6080/6080
[pid=22357] ppid=22355 vsize=9624976 CPUtime=1752.99 cores=0,2,4,6
/proc/22357/stat : 22357 (java) S 22355 22357 21473 0 -1 4202496 39994 0 1 0 175187 112 0 0 20 0 19 0 253871832 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 140735942840944 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22357/statm: 2406244 95911 2277 9 0 2396937 0
[pid=22357/tid=22359] ppid=22355 vsize=9624976 CPUtime=1698.93 cores=0,2,4,6
/proc/22357/task/22359/stat : 22359 (java) R 22355 22357 21473 0 -1 4202560 3903 0 1 0 169861 32 0 0 20 0 19 0 253871833 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139636001205600 139635846870735 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22360] ppid=22355 vsize=9624976 CPUtime=5.54 cores=0,2,4,6
/proc/22357/task/22360/stat : 22360 (java) S 22355 22357 21473 0 -1 4202560 3056 0 0 0 543 11 0 0 20 0 19 0 253871833 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635973659048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22361] ppid=22355 vsize=9624976 CPUtime=5.55 cores=0,2,4,6
/proc/22357/task/22361/stat : 22361 (java) S 22355 22357 21473 0 -1 4202560 2995 0 0 0 545 10 0 0 20 0 19 0 253871833 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635972606504 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22357/tid=22362] ppid=22355 vsize=9624976 CPUtime=5.36 cores=0,2,4,6
/proc/22357/task/22362/stat : 22362 (java) S 22355 22357 21473 0 -1 4202560 3592 0 0 0 526 10 0 0 20 0 19 0 253871833 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635971553448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22363] ppid=22355 vsize=9624976 CPUtime=5.37 cores=0,2,4,6
/proc/22357/task/22363/stat : 22363 (java) S 22355 22357 21473 0 -1 4202560 2633 0 0 0 527 10 0 0 20 0 19 0 253871833 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635970500904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22364] ppid=22355 vsize=9624976 CPUtime=5.37 cores=0,2,4,6
/proc/22357/task/22364/stat : 22364 (java) S 22355 22357 21473 0 -1 4202560 3984 0 0 0 526 11 0 0 20 0 19 0 253871833 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635969448872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22365] ppid=22355 vsize=9624976 CPUtime=5.4 cores=0,2,4,6
/proc/22357/task/22365/stat : 22365 (java) S 22355 22357 21473 0 -1 4202560 4305 0 0 0 530 10 0 0 20 0 19 0 253871833 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635968396328 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22366] ppid=22355 vsize=9624976 CPUtime=5.51 cores=0,2,4,6
/proc/22357/task/22366/stat : 22366 (java) S 22355 22357 21473 0 -1 4202560 2770 0 0 0 542 9 0 0 20 0 19 0 253871833 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635967343272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22367] ppid=22355 vsize=9624976 CPUtime=5.5 cores=0,2,4,6
/proc/22357/task/22367/stat : 22367 (java) S 22355 22357 21473 0 -1 4202560 3716 0 0 0 539 11 0 0 20 0 19 0 253871833 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635966290728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22368] ppid=22355 vsize=9624976 CPUtime=5.16 cores=0,2,4,6
/proc/22357/task/22368/stat : 22368 (java) S 22355 22357 21473 0 -1 4202560 693 0 0 0 504 12 0 0 20 0 19 0 253871834 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635355265384 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22369] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22369/stat : 22369 (java) S 22355 22357 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635354211704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22370] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22370/stat : 22370 (java) S 22355 22357 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635353158536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22371] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22371/stat : 22371 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635352107280 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22372] ppid=22355 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/22357/task/22372/stat : 22372 (java) S 22355 22357 21473 0 -1 4202560 2918 0 0 0 48 0 0 0 20 0 19 0 253871838 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635351055160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22373] ppid=22355 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/22357/task/22373/stat : 22373 (java) S 22355 22357 21473 0 -1 4202560 4148 0 0 0 49 0 0 0 20 0 19 0 253871838 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635350002616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22374] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22374/stat : 22374 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635348949752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22375] ppid=22355 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/22357/task/22375/stat : 22375 (java) S 22355 22357 21473 0 -1 4202560 99 0 0 0 24 16 0 0 20 0 19 0 253871838 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635347897416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22376] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22376/stat : 22376 (java) S 22355 22357 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253871875 9855975424 95911 33554432000 1073741824 1073778376 140735942849808 139635346842664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1752.99
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1768.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/211 22414
/proc/meminfo: memFree=26493124/32873844 swapFree=6080/6080
[pid=22357] ppid=22355 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/22357/stat : 22357 (java) S 22355 22357 21473 0 -1 4202496 40032 0 1 0 179892 114 0 0 20 0 19 0 253871832 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 140735942840944 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22357/statm: 2406244 93923 2277 9 0 2396937 0
[pid=22357/tid=22359] ppid=22355 vsize=9624976 CPUtime=1744.44 cores=0,2,4,6
/proc/22357/task/22359/stat : 22359 (java) R 22355 22357 21473 0 -1 4202560 3935 0 1 0 174411 33 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139636001205552 139635846870827 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22360] ppid=22355 vsize=9624976 CPUtime=5.68 cores=0,2,4,6
/proc/22357/task/22360/stat : 22360 (java) S 22355 22357 21473 0 -1 4202560 3056 0 0 0 557 11 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635973659048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22357/tid=22361] ppid=22355 vsize=9624976 CPUtime=5.73 cores=0,2,4,6
/proc/22357/task/22361/stat : 22361 (java) S 22355 22357 21473 0 -1 4202560 2995 0 0 0 563 10 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635972606504 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22362] ppid=22355 vsize=9624976 CPUtime=5.51 cores=0,2,4,6
/proc/22357/task/22362/stat : 22362 (java) S 22355 22357 21473 0 -1 4202560 3592 0 0 0 540 11 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635971553448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22363] ppid=22355 vsize=9624976 CPUtime=5.49 cores=0,2,4,6
/proc/22357/task/22363/stat : 22363 (java) S 22355 22357 21473 0 -1 4202560 2633 0 0 0 539 10 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635970500904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22364] ppid=22355 vsize=9624976 CPUtime=5.54 cores=0,2,4,6
/proc/22357/task/22364/stat : 22364 (java) S 22355 22357 21473 0 -1 4202560 3984 0 0 0 543 11 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635969448872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22365] ppid=22355 vsize=9624976 CPUtime=5.59 cores=0,2,4,6
/proc/22357/task/22365/stat : 22365 (java) S 22355 22357 21473 0 -1 4202560 4305 0 0 0 549 10 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635968396328 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22366] ppid=22355 vsize=9624976 CPUtime=5.67 cores=0,2,4,6
/proc/22357/task/22366/stat : 22366 (java) S 22355 22357 21473 0 -1 4202560 2770 0 0 0 558 9 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635967343272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22367] ppid=22355 vsize=9624976 CPUtime=5.64 cores=0,2,4,6
/proc/22357/task/22367/stat : 22367 (java) S 22355 22357 21473 0 -1 4202560 3716 0 0 0 553 11 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635966290728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22357/tid=22368] ppid=22355 vsize=9624976 CPUtime=5.37 cores=0,2,4,6
/proc/22357/task/22368/stat : 22368 (java) S 22355 22357 21473 0 -1 4202560 697 0 0 0 525 12 0 0 20 0 19 0 253871834 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635355265384 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22369] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22369/stat : 22369 (java) S 22355 22357 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635354211704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22370] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22370/stat : 22370 (java) S 22355 22357 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635353158536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22371] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22371/stat : 22371 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635352107280 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22372] ppid=22355 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/22357/task/22372/stat : 22372 (java) S 22355 22357 21473 0 -1 4202560 2918 0 0 0 48 0 0 0 20 0 19 0 253871838 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635351055160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22373] ppid=22355 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/22357/task/22373/stat : 22373 (java) S 22355 22357 21473 0 -1 4202560 4148 0 0 0 49 0 0 0 20 0 19 0 253871838 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635350002616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22374] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22374/stat : 22374 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635348949752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22375] ppid=22355 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22357/task/22375/stat : 22375 (java) S 22355 22357 21473 0 -1 4202560 101 0 0 0 24 17 0 0 20 0 19 0 253871838 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635347897416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22376] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22376/stat : 22376 (java) S 22355 22357 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253871875 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635346842664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1768.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/211 22414
/proc/meminfo: memFree=26493124/32873844 swapFree=6080/6080
[pid=22357] ppid=22355 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/22357/stat : 22357 (java) S 22355 22357 21473 0 -1 4202496 40032 0 1 0 179892 114 0 0 20 0 19 0 253871832 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 140735942840944 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22357/statm: 2406244 93923 2277 9 0 2396937 0
[pid=22357/tid=22359] ppid=22355 vsize=9624976 CPUtime=1744.44 cores=0,2,4,6
/proc/22357/task/22359/stat : 22359 (java) R 22355 22357 21473 0 -1 4202560 3935 0 1 0 174411 33 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139636001205552 139635846870827 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22360] ppid=22355 vsize=9624976 CPUtime=5.68 cores=0,2,4,6
/proc/22357/task/22360/stat : 22360 (java) S 22355 22357 21473 0 -1 4202560 3056 0 0 0 557 11 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635973659048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22357/tid=22361] ppid=22355 vsize=9624976 CPUtime=5.73 cores=0,2,4,6
/proc/22357/task/22361/stat : 22361 (java) S 22355 22357 21473 0 -1 4202560 2995 0 0 0 563 10 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635972606504 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22362] ppid=22355 vsize=9624976 CPUtime=5.51 cores=0,2,4,6
/proc/22357/task/22362/stat : 22362 (java) S 22355 22357 21473 0 -1 4202560 3592 0 0 0 540 11 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635971553448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22363] ppid=22355 vsize=9624976 CPUtime=5.49 cores=0,2,4,6
/proc/22357/task/22363/stat : 22363 (java) S 22355 22357 21473 0 -1 4202560 2633 0 0 0 539 10 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635970500904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22364] ppid=22355 vsize=9624976 CPUtime=5.54 cores=0,2,4,6
/proc/22357/task/22364/stat : 22364 (java) S 22355 22357 21473 0 -1 4202560 3984 0 0 0 543 11 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635969448872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22365] ppid=22355 vsize=9624976 CPUtime=5.59 cores=0,2,4,6
/proc/22357/task/22365/stat : 22365 (java) S 22355 22357 21473 0 -1 4202560 4305 0 0 0 549 10 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635968396328 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22366] ppid=22355 vsize=9624976 CPUtime=5.67 cores=0,2,4,6
/proc/22357/task/22366/stat : 22366 (java) S 22355 22357 21473 0 -1 4202560 2770 0 0 0 558 9 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635967343272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22367] ppid=22355 vsize=9624976 CPUtime=5.64 cores=0,2,4,6
/proc/22357/task/22367/stat : 22367 (java) S 22355 22357 21473 0 -1 4202560 3716 0 0 0 553 11 0 0 20 0 19 0 253871833 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635966290728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22357/tid=22368] ppid=22355 vsize=9624976 CPUtime=5.37 cores=0,2,4,6
/proc/22357/task/22368/stat : 22368 (java) S 22355 22357 21473 0 -1 4202560 697 0 0 0 525 12 0 0 20 0 19 0 253871834 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635355265384 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22369] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22369/stat : 22369 (java) S 22355 22357 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635354211704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22370] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22370/stat : 22370 (java) S 22355 22357 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253871835 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635353158536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22371] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22371/stat : 22371 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635352107280 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22372] ppid=22355 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/22357/task/22372/stat : 22372 (java) S 22355 22357 21473 0 -1 4202560 2918 0 0 0 48 0 0 0 20 0 19 0 253871838 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635351055160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22357/tid=22373] ppid=22355 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/22357/task/22373/stat : 22373 (java) S 22355 22357 21473 0 -1 4202560 4148 0 0 0 49 0 0 0 20 0 19 0 253871838 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635350002616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22374] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22374/stat : 22374 (java) S 22355 22357 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253871838 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635348949752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22357/tid=22375] ppid=22355 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22357/task/22375/stat : 22375 (java) S 22355 22357 21473 0 -1 4202560 101 0 0 0 24 17 0 0 20 0 19 0 253871838 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635347897416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22357/tid=22376] ppid=22355 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22357/task/22376/stat : 22376 (java) S 22355 22357 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253871875 9855975424 93923 33554432000 1073741824 1073778376 140735942849808 139635346842664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1768.57
CPU time (s): 1800.06
CPU user time (s): 1798.92
CPU system time (s): 1.14
CPU usage (%): 101.781
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 1.59276
maximum resident set size= 391652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40073
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79408
involuntary context switches= 115365

runsolver used 6.98994 second user time and 12.0942 second system time

The end

Launcher Data 

Begin job on node110 at 2012-05-24 18:37:14
IDJOB=3687927
IDBENCH=2297
IDSOLVER=2269
FILE ID=node110/3687927-1337877434
RUNJOBID= node110-1337871882-21489
PBS_JOBID= 14620094
Free space on /tmp= 71604 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687927-1337877434/watcher-3687927-1337877434 -o /tmp/evaluation-result-3687927-1337877434/solver-3687927-1337877434 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687927-1337877434.opb

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

MD5SUM BENCH= 291088d217a1998c91be99350439e903
RANDOM SEED=150809785

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28177412 kB
Buffers:          200832 kB
Cached:          3212472 kB
SwapCached:            0 kB
Active:          1063724 kB
Inactive:        2865388 kB
Active(anon):     518120 kB
Inactive(anon):        0 kB
Active(file):     545604 kB
Inactive(file):  2865388 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9552 kB
Writeback:             0 kB
AnonPages:        521432 kB
Mapped:            21512 kB
Shmem:               200 kB
Slab:             628180 kB
SReclaimable:      70540 kB
SUnreclaim:       557640 kB
KernelStack:        1584 kB
PageTables:         5052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1070892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    487424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71604 MiB
End job on node110 at 2012-05-24 19:06:45