Trace number 3689642

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT 878.62 452.282

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K109.opb
MD5SUM3a5151d7fc286e1b50737dee685a4276
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark28.7146
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7412
Total number of constraints7632
Number of constraints which are clauses7523
Number of constraints which are cardinality constraints (but not clauses)109
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint109
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 110
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.2.v20120418
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		501472288
0.04/0.09	c Max memory 		7480803328
0.04/0.09	c Total memory 		504102912
0.04/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3689642-1337883907.opb
0.09/0.11	c reading problem ... 
1.08/0.50	c ... done. Wall clock time 0.388s.
1.08/0.50	c declared #vars     7412
1.08/0.50	c #constraints  7632
1.08/0.50	c constraints type 
1.08/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6117
1.08/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 109
1.08/0.50	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1.08/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1404
1.08/0.50	c 7632 constraints processed.
1.08/0.50	c constraints type 
1.08/0.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1404
1.08/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6117
1.08/0.50	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 109
1.08/0.50	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.08/0.50	c 7632 constraints processed.
4.94/1.75	c cleaning 2490 clauses out of 4992 with flag 5000/5000
7.56/2.91	c cleaning 4238 clauses out of 8500 with flag 11002/11002
10.25/4.22	c cleaning 5627 clauses out of 11255 with flag 18001/18001
13.45/5.87	c cleaning 6709 clauses out of 13625 with flag 26002/26002
17.19/7.79	c cleaning 7925 clauses out of 15912 with flag 35001/35001
21.31/9.90	c cleaning 8939 clauses out of 17985 with flag 45001/45001
26.62/12.52	c cleaning 9909 clauses out of 20043 with flag 56000/56000
32.75/15.66	c cleaning 11023 clauses out of 22136 with flag 68002/68002
38.98/18.80	c cleaning 11945 clauses out of 24111 with flag 81003/81003
45.47/22.16	c cleaning 13036 clauses out of 26162 with flag 95000/95000
51.96/25.42	c cleaning 13921 clauses out of 28124 with flag 110001/110001
59.20/29.16	c cleaning 14928 clauses out of 30202 with flag 126000/126000
67.13/33.27	c cleaning 15961 clauses out of 32274 with flag 143000/143000
76.24/37.81	c cleaning 16980 clauses out of 34312 with flag 161000/161000
88.02/43.82	c cleaning 18043 clauses out of 36334 with flag 180002/180002
105.27/52.57	c cleaning 18998 clauses out of 38289 with flag 200000/200000
115.65/57.95	c cleaning 19920 clauses out of 40293 with flag 221002/221002
127.00/63.76	c cleaning 21036 clauses out of 42371 with flag 243000/243000
141.53/71.12	c cleaning 21941 clauses out of 44335 with flag 266000/266000
153.41/77.24	c cleaning 23066 clauses out of 46395 with flag 290001/290001
165.64/83.67	c cleaning 24002 clauses out of 48329 with flag 315001/315001
180.21/91.17	c cleaning 24952 clauses out of 50326 with flag 341000/341000
195.82/99.15	c cleaning 0 clauses out of 5001 with flag 0/5001
208.34/106.14	c cleaning 26014 clauses out of 52376 with flag 368002/368002
224.87/114.56	c cleaning 26995 clauses out of 54360 with flag 396000/396000
240.30/122.46	c cleaning 27905 clauses out of 56365 with flag 425001/425001
257.65/131.32	c cleaning 28930 clauses out of 58460 with flag 455002/455002
283.06/144.48	c cleaning 29596 clauses out of 60528 with flag 486000/486000
299.48/152.97	c cleaning 30293 clauses out of 62932 with flag 518000/518000
325.45/166.13	c cleaning 31432 clauses out of 65640 with flag 551001/551001
355.16/181.30	c cleaning 32687 clauses out of 68207 with flag 585000/585000
375.24/191.87	c cleaning 33014 clauses out of 70521 with flag 620001/620001
405.01/207.07	c cleaning 34233 clauses out of 73508 with flag 656003/656003
436.53/223.01	c cleaning 35753 clauses out of 76274 with flag 693002/693002
458.51/234.33	c cleaning 36016 clauses out of 78519 with flag 731000/731000
483.56/247.51	c cleaning 37023 clauses out of 81503 with flag 770000/770000
511.38/261.81	c cleaning 38308 clauses out of 84483 with flag 810003/810003
541.46/277.29	c cleaning 39230 clauses out of 87179 with flag 851007/851007
570.64/292.23	c cleaning 40262 clauses out of 89942 with flag 893000/893000
607.32/311.23	c cleaning 41295 clauses out of 92680 with flag 936000/936000
647.13/331.59	c cleaning 42224 clauses out of 95385 with flag 980000/980000
677.65/347.24	c cleaning 43240 clauses out of 98161 with flag 1025000/1025000
716.49/368.15	c cleaning 44369 clauses out of 100922 with flag 1071001/1071001
756.37/388.41	c cleaning 45573 clauses out of 103552 with flag 1118000/1118000
786.97/404.24	c cleaning 45384 clauses out of 105979 with flag 1166000/1166000
821.67/422.06	c cleaning 46813 clauses out of 109595 with flag 1215001/1215001
856.92/440.55	c cleaning 48059 clauses out of 112782 with flag 1265001/1265001
877.10/451.27	c  And the winner is solver0
878.31/452.22	c starts		: 189
878.31/452.22	c conflicts		: 1292811
878.31/452.22	c decisions		: 16325525
878.31/452.22	c propagations		: 446084483
878.31/452.22	c inspects		: 1335322253
878.31/452.22	c shortcuts		: 0
878.31/452.22	c learnt literals	: 41
878.31/452.22	c learnt binary clauses	: 56994
878.31/452.22	c learnt ternary clauses	: 63513
878.31/452.22	c learnt constraints	: 1292770
878.31/452.22	c ignored constraints	: 0
878.31/452.22	c root simplifications	: 0
878.31/452.22	c removed literals (reason simplification)	: 16712664
878.31/452.22	c reason swapping (by a shorter reason)	: 0
878.31/452.22	c Calls to reduceDB	: 46
878.31/452.22	c number of reductions to clauses (during analyze)	: 0
878.31/452.22	c number of learned constraints concerned by reduction	: 0
878.31/452.22	c number of learning phase by resolution	: 0
878.31/452.22	c number of learning phase by cutting planes	: 0
878.31/452.22	c speed (assignments/second)	: 987574.5975731519
878.31/452.22	c non guided choices	10777
878.31/452.25	c learnt constraints type 
878.31/452.25	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 56994
878.31/452.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 35539
878.31/452.25	c constraints type 
878.31/452.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6117
878.31/452.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 109
878.31/452.25	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
878.31/452.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1404
878.31/452.25	c 7632 constraints processed.
878.31/452.25	c constraints type 
878.31/452.25	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1404
878.31/452.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6117
878.31/452.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 109
878.31/452.25	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
878.31/452.25	c 7632 constraints processed.
878.31/452.25	s SATISFIABLE
878.31/452.26	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 
878.31/452.27	c Total wall clock time (in seconds): 452.155

Verifier Data 

OK	0

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-3689642-1337883907/watcher-3689642-1337883907 -o /tmp/evaluation-result-3689642-1337883907/solver-3689642-1337883907 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689642-1337883907.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: 3.81 3.88 3.77 4/197 27515
/proc/meminfo: memFree=25454300/32873648 swapFree=6864/6864
[pid=27515] ppid=27513 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27515/stat : 27515 (java) D 27513 27515 22184 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 254516664 9515008 175 33554432000 1073741824 1073778376 140735908144688 140735908127416 226084340624 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/27515/statm: 2323 175 133 9 0 71 0

[startup+0.0664189 s]
/proc/loadavg: 3.81 3.88 3.77 4/197 27515
/proc/meminfo: memFree=25454300/32873648 swapFree=6864/6864
[pid=27515] ppid=27513 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/27515/stat : 27515 (java) S 27513 27515 22184 0 -1 4202496 3206 0 1 0 4 0 0 0 20 0 18 0 254516664 9787813888 4415 33554432000 1073741824 1073778376 140735984585744 140735984576880 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27515/statm: 2389603 4415 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412

[startup+0.100258 s]
/proc/loadavg: 3.81 3.88 3.77 4/197 27515
/proc/meminfo: memFree=25454300/32873648 swapFree=6864/6864
[pid=27515] ppid=27513 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/27515/stat : 27515 (java) S 27513 27515 22184 0 -1 4202496 4314 0 1 0 9 0 0 0 20 0 18 0 254516664 9787813888 5513 33554432000 1073741824 1073778376 140735984585744 140735984576880 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27515/statm: 2389603 5513 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300168 s]
/proc/loadavg: 3.81 3.88 3.77 4/197 27515
/proc/meminfo: memFree=25454300/32873648 swapFree=6864/6864
[pid=27515] ppid=27513 vsize=9558412 CPUtime=0.56 cores=0,2,4,6
/proc/27515/stat : 27515 (java) S 27513 27515 22184 0 -1 4202496 7111 0 1 0 55 1 0 0 20 0 18 0 254516664 9787813888 10277 33554432000 1073741824 1073778376 140735984585744 140735984576880 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27515/statm: 2389603 10277 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558412

[startup+0.700184 s]
/proc/loadavg: 3.81 3.88 3.77 4/197 27515
/proc/meminfo: memFree=25454300/32873648 swapFree=6864/6864
[pid=27515] ppid=27513 vsize=9824668 CPUtime=1.86 cores=0,2,4,6
/proc/27515/stat : 27515 (java) S 27513 27515 22184 0 -1 4202496 14531 0 1 0 183 3 0 0 20 0 22 0 254516664 10060460032 25082 33554432000 1073741824 1073778376 140735984585744 140735984576880 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27515/statm: 2456167 25082 2255 9 0 2446860 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9824668

[startup+1.50073 s]
/proc/loadavg: 3.81 3.88 3.77 5/219 27537
/proc/meminfo: memFree=25362552/32873648 swapFree=6864/6864
[pid=27515] ppid=27513 vsize=9824668 CPUtime=4.35 cores=0,2,4,6
/proc/27515/stat : 27515 (java) S 27513 27515 22184 0 -1 4202496 16375 0 1 0 430 5 0 0 20 0 22 0 254516664 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140735984576880 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27515/statm: 2456167 38457 2262 9 0 2446860 0
[pid=27515/tid=27517] ppid=27513 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/27515/task/27517/stat : 27517 (java) S 27513 27515 22184 0 -1 4202560 2475 0 1 0 46 1 0 0 20 0 22 0 254516666 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140704178721784 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27518] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27518/stat : 27518 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516667 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140704140212904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27519] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27519/stat : 27519 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516667 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140704139160360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27520] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27520/stat : 27520 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516667 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140704138107816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27521] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27521/stat : 27521 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516667 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140704137055272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27522] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27522/stat : 27522 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516667 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140704017803432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27523] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27523/stat : 27523 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516667 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140704016750888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27524] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27524/stat : 27524 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516667 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140704015698344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27525] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27525/stat : 27525 (java) S 27513 27515 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254516667 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140704014645800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27526] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27526/stat : 27526 (java) S 27513 27515 22184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254516668 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140704002447976 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27527] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27527/stat : 27527 (java) S 27513 27515 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254516668 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140703397045880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27528] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27528/stat : 27528 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254516668 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140703395993224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27529] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27529/stat : 27529 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516670 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140703394941968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27530] ppid=27513 vsize=9824668 CPUtime=0.89 cores=0,2,4,6
/proc/27515/task/27530/stat : 27530 (java) R 27513 27515 22184 0 -1 4202560 6348 0 0 0 87 2 0 0 20 0 22 0 254516670 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140703393888312 140704181276705 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27531] ppid=27513 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/27515/task/27531/stat : 27531 (java) R 27513 27515 22184 0 -1 4202560 6222 0 0 0 95 2 0 0 20 0 22 0 254516670 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140703392835296 140704184684031 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27532] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27532/stat : 27532 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516670 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140703391783416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27533] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27533/stat : 27533 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516671 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140703390731080 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27534] ppid=27513 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/27515/task/27534/stat : 27534 (java) R 27513 27515 22184 0 -1 4202560 29 0 0 0 98 0 0 0 20 0 22 0 254516715 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140703389674960 140704018682074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27535] ppid=27513 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/27515/task/27535/stat : 27535 (java) R 27513 27515 22184 0 -1 4202560 100 0 0 0 98 0 0 0 20 0 22 0 254516715 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140703388622488 140704018580805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27536] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27536/stat : 27536 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254516717 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140703387571752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27537] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27537/stat : 27537 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254516717 10060460032 38457 33554432000 1073741824 1073778376 140735984585744 140703386519208 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 9824668

[startup+3.1008 s]
/proc/loadavg: 3.81 3.88 3.77 6/219 27537
/proc/meminfo: memFree=25246804/32873648 swapFree=6864/6864
[pid=27515] ppid=27513 vsize=9824668 CPUtime=8.05 cores=0,2,4,6
/proc/27515/stat : 27515 (java) S 27513 27515 22184 0 -1 4202496 17489 0 1 0 793 12 0 0 20 0 22 0 254516664 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140735984576880 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27515/statm: 2456167 88885 2286 9 0 2446860 0
[pid=27515/tid=27517] ppid=27513 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/27515/task/27517/stat : 27517 (java) S 27513 27515 22184 0 -1 4202560 2475 0 1 0 46 1 0 0 20 0 22 0 254516666 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140704178721784 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27518] ppid=27513 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27515/task/27518/stat : 27518 (java) S 27513 27515 22184 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 22 0 254516667 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140704140212904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27519] ppid=27513 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27515/task/27519/stat : 27519 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254516667 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140704139160360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27520] ppid=27513 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27515/task/27520/stat : 27520 (java) S 27513 27515 22184 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254516667 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140704138107816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27521] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27521/stat : 27521 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254516667 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140704137055272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27522] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27522/stat : 27522 (java) S 27513 27515 22184 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 254516667 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140704017803432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27523] ppid=27513 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/27515/task/27523/stat : 27523 (java) S 27513 27515 22184 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 22 0 254516667 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140704016750888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27524] ppid=27513 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27515/task/27524/stat : 27524 (java) S 27513 27515 22184 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 254516667 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140704015698344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27525] ppid=27513 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27515/task/27525/stat : 27525 (java) S 27513 27515 22184 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254516667 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140704014645800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27526] ppid=27513 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/27515/task/27526/stat : 27526 (java) S 27513 27515 22184 0 -1 4202560 229 0 0 0 8 0 0 0 20 0 22 0 254516668 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140704002447976 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27527] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27527/stat : 27527 (java) S 27513 27515 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254516668 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140703397045880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27528] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27528/stat : 27528 (java) S 27513 27515 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254516668 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140703395993224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27529] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27529/stat : 27529 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516670 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140703394941968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27530] ppid=27513 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/27515/task/27530/stat : 27530 (java) S 27513 27515 22184 0 -1 4202560 7058 0 0 0 106 2 0 0 20 0 22 0 254516670 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140703393888312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27531] ppid=27513 vsize=9824668 CPUtime=1.28 cores=0,2,4,6
/proc/27515/task/27531/stat : 27531 (java) S 27513 27515 22184 0 -1 4202560 6224 0 0 0 126 2 0 0 20 0 22 0 254516670 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140703392835768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27532] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27532/stat : 27532 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516670 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140703391783416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27533] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27533/stat : 27533 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516671 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140703390731080 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27534] ppid=27513 vsize=9824668 CPUtime=2.42 cores=0,2,4,6
/proc/27515/task/27534/stat : 27534 (java) R 27513 27515 22184 0 -1 4202560 29 0 0 0 242 0 0 0 20 0 22 0 254516715 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140703389676128 140704018755074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27535] ppid=27513 vsize=9824668 CPUtime=2.42 cores=0,2,4,6
/proc/27515/task/27535/stat : 27535 (java) R 27513 27515 22184 0 -1 4202560 169 0 0 0 238 4 0 0 20 0 22 0 254516715 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140703388622552 140704018916201 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27536] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27536/stat : 27536 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254516717 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140703387571752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27537] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27537/stat : 27537 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254516717 10060460032 88885 33554432000 1073741824 1073778376 140735984585744 140703386519208 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.05
Current children cumulated vsize (KiB) 9824668

[startup+6.3008 s]
/proc/loadavg: 3.82 3.88 3.77 5/219 27537
/proc/meminfo: memFree=25066464/32873648 swapFree=6864/6864
[pid=27515] ppid=27513 vsize=9824668 CPUtime=14.37 cores=0,2,4,6
/proc/27515/stat : 27515 (java) S 27513 27515 22184 0 -1 4202496 17662 0 1 0 1422 15 0 0 20 0 22 0 254516664 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140735984576880 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27515/statm: 2456167 103422 2286 9 0 2446860 0
[pid=27515/tid=27517] ppid=27513 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/27515/task/27517/stat : 27517 (java) S 27513 27515 22184 0 -1 4202560 2475 0 1 0 46 1 0 0 20 0 22 0 254516666 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140704178721784 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27518] ppid=27513 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/27515/task/27518/stat : 27518 (java) S 27513 27515 22184 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 254516667 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140704140212904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27519] ppid=27513 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27515/task/27519/stat : 27519 (java) S 27513 27515 22184 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 254516667 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140704139160360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27520] ppid=27513 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/27515/task/27520/stat : 27520 (java) S 27513 27515 22184 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 254516667 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140704138107816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27521] ppid=27513 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27515/task/27521/stat : 27521 (java) S 27513 27515 22184 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 254516667 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140704137055272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27522] ppid=27513 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/27515/task/27522/stat : 27522 (java) S 27513 27515 22184 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 22 0 254516667 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140704017803432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27523] ppid=27513 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/27515/task/27523/stat : 27523 (java) S 27513 27515 22184 0 -1 4202560 32 0 0 0 5 2 0 0 20 0 22 0 254516667 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140704016750888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27524] ppid=27513 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27515/task/27524/stat : 27524 (java) S 27513 27515 22184 0 -1 4202560 27 0 0 0 1 1 0 0 20 0 22 0 254516667 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140704015698344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27525] ppid=27513 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27515/task/27525/stat : 27525 (java) S 27513 27515 22184 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254516667 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140704014645800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27526] ppid=27513 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/27515/task/27526/stat : 27526 (java) S 27513 27515 22184 0 -1 4202560 268 0 0 0 31 2 0 0 20 0 22 0 254516668 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140704002447976 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27527] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27527/stat : 27527 (java) S 27513 27515 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254516668 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140703397045880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27528] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27528/stat : 27528 (java) S 27513 27515 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254516668 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140703395993224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27529] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27529/stat : 27529 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516670 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140703394941968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27530] ppid=27513 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/27515/task/27530/stat : 27530 (java) S 27513 27515 22184 0 -1 4202560 7127 0 0 0 116 2 0 0 20 0 22 0 254516670 10060460032 103422 33554432000 1073741824 1073778376 140735984585744 140703393888312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

/proc/27515/task/27523/stat : 27523 (java) S 27513 27515 22184 0 -1 4202560 427 0 0 0 225 13 0 0 20 0 22 0 254516667 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140704016750888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27524] ppid=27513 vsize=9824668 CPUtime=2.46 cores=0,2,4,6
/proc/27515/task/27524/stat : 27524 (java) S 27513 27515 22184 0 -1 4202560 487 0 0 0 230 16 0 0 20 0 22 0 254516667 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140704015698344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27525] ppid=27513 vsize=9824668 CPUtime=2.37 cores=0,2,4,6
/proc/27515/task/27525/stat : 27525 (java) S 27513 27515 22184 0 -1 4202560 427 0 0 0 225 12 0 0 20 0 22 0 254516667 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140704014645800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27526] ppid=27513 vsize=9824668 CPUtime=36.66 cores=0,2,4,6
/proc/27515/task/27526/stat : 27526 (java) S 27513 27515 22184 0 -1 4202560 2410 0 0 0 3647 19 0 0 20 0 22 0 254516668 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140704002447976 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27527] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27527/stat : 27527 (java) S 27513 27515 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254516668 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140703397045880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27528] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27528/stat : 27528 (java) S 27513 27515 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254516668 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140703395993224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27529] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27529/stat : 27529 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516670 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140703394941968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27530] ppid=27513 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/27515/task/27530/stat : 27530 (java) S 27513 27515 22184 0 -1 4202560 14706 0 0 0 176 4 0 0 20 0 22 0 254516670 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140703393888312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27531] ppid=27513 vsize=9824668 CPUtime=1.38 cores=0,2,4,6
/proc/27515/task/27531/stat : 27531 (java) S 27513 27515 22184 0 -1 4202560 6227 0 0 0 136 2 0 0 20 0 22 0 254516670 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140703392835768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27532] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27532/stat : 27532 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254516670 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140703391783416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27533] ppid=27513 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/27515/task/27533/stat : 27533 (java) S 27513 27515 22184 0 -1 4202560 27 0 0 0 5 9 0 0 20 0 22 0 254516671 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140703390731080 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27534] ppid=27513 vsize=9824668 CPUtime=408.8 cores=0,2,4,6
/proc/27515/task/27534/stat : 27534 (java) R 27513 27515 22184 0 -1 4202560 120 0 0 0 40872 8 0 0 20 0 22 0 254516715 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140703389676432 140704018665673 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27535] ppid=27513 vsize=9824668 CPUtime=408.77 cores=0,2,4,6
/proc/27515/task/27535/stat : 27535 (java) R 27513 27515 22184 0 -1 4202560 801 0 0 0 40852 25 0 0 20 0 22 0 254516715 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140703388622496 140704018521215 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27536] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27536/stat : 27536 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254516717 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140703387571752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27537] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27537/stat : 27537 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254516717 10060460032 516475 33554432000 1073741824 1073778376 140735984585744 140703386519208 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 876.9
Current children cumulated vsize (KiB) 9824668

[startup+451.901 s]
/proc/loadavg: 3.86 3.82 3.77 5/219 27542
/proc/meminfo: memFree=22821236/32873648 swapFree=6864/6864
[pid=27515] ppid=27513 vsize=9824668 CPUtime=877.97 cores=0,2,4,6
/proc/27515/stat : 27515 (java) S 27513 27515 22184 0 -1 4202496 31605 0 1 0 87635 162 0 0 20 0 20 0 254516664 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140735984576880 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27515/statm: 2456167 516470 2287 9 0 2446860 0
[pid=27515/tid=27517] ppid=27513 vsize=9824668 CPUtime=0.49 cores=0,2,4,6
/proc/27515/task/27517/stat : 27517 (java) S 27513 27515 22184 0 -1 4202560 2504 0 1 0 47 2 0 0 20 0 20 0 254516666 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704178721784 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27518] ppid=27513 vsize=9824668 CPUtime=2.05 cores=0,2,4,6
/proc/27515/task/27518/stat : 27518 (java) S 27513 27515 22184 0 -1 4202560 343 0 0 0 193 12 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704140212904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27519] ppid=27513 vsize=9824668 CPUtime=2.53 cores=0,2,4,6
/proc/27515/task/27519/stat : 27519 (java) S 27513 27515 22184 0 -1 4202560 517 0 0 0 240 13 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704139160360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27520] ppid=27513 vsize=9824668 CPUtime=2.49 cores=0,2,4,6
/proc/27515/task/27520/stat : 27520 (java) S 27513 27515 22184 0 -1 4202560 389 0 0 0 238 11 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704138107816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27521] ppid=27513 vsize=9824668 CPUtime=2.3 cores=0,2,4,6
/proc/27515/task/27521/stat : 27521 (java) S 27513 27515 22184 0 -1 4202560 512 0 0 0 216 14 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704137055272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27522] ppid=27513 vsize=9824668 CPUtime=2.35 cores=0,2,4,6
/proc/27515/task/27522/stat : 27522 (java) S 27513 27515 22184 0 -1 4202560 519 0 0 0 224 11 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704017803432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27523] ppid=27513 vsize=9824668 CPUtime=2.38 cores=0,2,4,6
/proc/27515/task/27523/stat : 27523 (java) S 27513 27515 22184 0 -1 4202560 427 0 0 0 225 13 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704016750888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27524] ppid=27513 vsize=9824668 CPUtime=2.46 cores=0,2,4,6
/proc/27515/task/27524/stat : 27524 (java) S 27513 27515 22184 0 -1 4202560 487 0 0 0 230 16 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704015698344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27525] ppid=27513 vsize=9824668 CPUtime=2.37 cores=0,2,4,6
/proc/27515/task/27525/stat : 27525 (java) S 27513 27515 22184 0 -1 4202560 427 0 0 0 225 12 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704014645800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27526] ppid=27513 vsize=9824668 CPUtime=36.66 cores=0,2,4,6
/proc/27515/task/27526/stat : 27526 (java) S 27513 27515 22184 0 -1 4202560 2410 0 0 0 3647 19 0 0 20 0 20 0 254516668 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704002447976 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27527] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27527/stat : 27527 (java) S 27513 27515 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 254516668 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703397045880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27528] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27528/stat : 27528 (java) S 27513 27515 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 254516668 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703395993224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27529] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27529/stat : 27529 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254516670 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703394941968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27530] ppid=27513 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/27515/task/27530/stat : 27530 (java) S 27513 27515 22184 0 -1 4202560 14706 0 0 0 176 4 0 0 20 0 20 0 254516670 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703393888312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27531] ppid=27513 vsize=9824668 CPUtime=1.38 cores=0,2,4,6
/proc/27515/task/27531/stat : 27531 (java) S 27513 27515 22184 0 -1 4202560 6227 0 0 0 136 2 0 0 20 0 20 0 254516670 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703392835768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27532] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27532/stat : 27532 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254516670 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703391783416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27533] ppid=27513 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/27515/task/27533/stat : 27533 (java) S 27513 27515 22184 0 -1 4202560 27 0 0 0 5 9 0 0 20 0 20 0 254516671 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703390731080 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27535] ppid=27513 vsize=9824668 CPUtime=409.57 cores=0,2,4,6
/proc/27515/task/27535/stat : 27535 (java) R 27513 27515 22184 0 -1 4202560 801 0 0 0 40932 25 0 0 20 0 20 0 254516715 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703388621856 140704018620507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27537] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27537/stat : 27537 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 254516717 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703386519208 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 877.97
Current children cumulated vsize (KiB) 9824668

[startup+452.107 s]
/proc/loadavg: 3.86 3.82 3.77 4/217 27542
/proc/meminfo: memFree=22821236/32873648 swapFree=6864/6864
[pid=27515] ppid=27513 vsize=9824668 CPUtime=878.17 cores=0,2,4,6
/proc/27515/stat : 27515 (java) S 27513 27515 22184 0 -1 4202496 31605 0 1 0 87655 162 0 0 20 0 20 0 254516664 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140735984576880 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27515/statm: 2456167 516470 2287 9 0 2446860 0
[pid=27515/tid=27517] ppid=27513 vsize=9824668 CPUtime=0.49 cores=0,2,4,6
/proc/27515/task/27517/stat : 27517 (java) S 27513 27515 22184 0 -1 4202560 2504 0 1 0 47 2 0 0 20 0 20 0 254516666 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704178721784 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27518] ppid=27513 vsize=9824668 CPUtime=2.05 cores=0,2,4,6
/proc/27515/task/27518/stat : 27518 (java) S 27513 27515 22184 0 -1 4202560 343 0 0 0 193 12 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704140212904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27519] ppid=27513 vsize=9824668 CPUtime=2.53 cores=0,2,4,6
/proc/27515/task/27519/stat : 27519 (java) S 27513 27515 22184 0 -1 4202560 517 0 0 0 240 13 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704139160360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27520] ppid=27513 vsize=9824668 CPUtime=2.49 cores=0,2,4,6
/proc/27515/task/27520/stat : 27520 (java) S 27513 27515 22184 0 -1 4202560 389 0 0 0 238 11 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704138107816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27521] ppid=27513 vsize=9824668 CPUtime=2.3 cores=0,2,4,6
/proc/27515/task/27521/stat : 27521 (java) S 27513 27515 22184 0 -1 4202560 512 0 0 0 216 14 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704137055272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27522] ppid=27513 vsize=9824668 CPUtime=2.35 cores=0,2,4,6
/proc/27515/task/27522/stat : 27522 (java) S 27513 27515 22184 0 -1 4202560 519 0 0 0 224 11 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704017803432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27523] ppid=27513 vsize=9824668 CPUtime=2.38 cores=0,2,4,6
/proc/27515/task/27523/stat : 27523 (java) S 27513 27515 22184 0 -1 4202560 427 0 0 0 225 13 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704016750888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27524] ppid=27513 vsize=9824668 CPUtime=2.46 cores=0,2,4,6
/proc/27515/task/27524/stat : 27524 (java) S 27513 27515 22184 0 -1 4202560 487 0 0 0 230 16 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704015698344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27525] ppid=27513 vsize=9824668 CPUtime=2.37 cores=0,2,4,6
/proc/27515/task/27525/stat : 27525 (java) S 27513 27515 22184 0 -1 4202560 427 0 0 0 225 12 0 0 20 0 20 0 254516667 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704014645800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27526] ppid=27513 vsize=9824668 CPUtime=36.66 cores=0,2,4,6
/proc/27515/task/27526/stat : 27526 (java) S 27513 27515 22184 0 -1 4202560 2410 0 0 0 3647 19 0 0 20 0 20 0 254516668 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140704002447976 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27527] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27527/stat : 27527 (java) S 27513 27515 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 254516668 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703397045880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27528] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27528/stat : 27528 (java) S 27513 27515 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 254516668 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703395993224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27529] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27529/stat : 27529 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254516670 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703394941968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27530] ppid=27513 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/27515/task/27530/stat : 27530 (java) S 27513 27515 22184 0 -1 4202560 14706 0 0 0 176 4 0 0 20 0 20 0 254516670 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703393888312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27531] ppid=27513 vsize=9824668 CPUtime=1.38 cores=0,2,4,6
/proc/27515/task/27531/stat : 27531 (java) S 27513 27515 22184 0 -1 4202560 6227 0 0 0 136 2 0 0 20 0 20 0 254516670 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703392835768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27532] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27532/stat : 27532 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254516670 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703391783416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27533] ppid=27513 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/27515/task/27533/stat : 27533 (java) S 27513 27515 22184 0 -1 4202560 27 0 0 0 5 9 0 0 20 0 20 0 254516671 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703390731080 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27535] ppid=27513 vsize=9824668 CPUtime=409.77 cores=0,2,4,6
/proc/27515/task/27535/stat : 27535 (java) R 27513 27515 22184 0 -1 4202560 801 0 0 0 40952 25 0 0 20 0 20 0 254516715 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703388621856 140704018521334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27537] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27537/stat : 27537 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 254516717 10060460032 516470 33554432000 1073741824 1073778376 140735984585744 140703386519208 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 878.17
Current children cumulated vsize (KiB) 9824668

[startup+452.201 s]
/proc/loadavg: 3.86 3.82 3.77 4/217 27542
/proc/meminfo: memFree=22821236/32873648 swapFree=6864/6864
[pid=27515] ppid=27513 vsize=9824668 CPUtime=878.31 cores=0,2,4,6
/proc/27515/stat : 27515 (java) S 27513 27515 22184 0 -1 4202496 31605 0 1 0 87662 169 0 0 20 0 19 0 254516664 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140735984576880 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27515/statm: 2456167 516462 2287 9 0 2446860 0
[pid=27515/tid=27517] ppid=27513 vsize=9824668 CPUtime=0.49 cores=0,2,4,6
/proc/27515/task/27517/stat : 27517 (java) S 27513 27515 22184 0 -1 4202560 2504 0 1 0 47 2 0 0 20 0 19 0 254516666 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140704178721784 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27518] ppid=27513 vsize=9824668 CPUtime=2.05 cores=0,2,4,6
/proc/27515/task/27518/stat : 27518 (java) S 27513 27515 22184 0 -1 4202560 343 0 0 0 193 12 0 0 20 0 19 0 254516667 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140704140212904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27519] ppid=27513 vsize=9824668 CPUtime=2.53 cores=0,2,4,6
/proc/27515/task/27519/stat : 27519 (java) S 27513 27515 22184 0 -1 4202560 517 0 0 0 240 13 0 0 20 0 19 0 254516667 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140704139160360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27520] ppid=27513 vsize=9824668 CPUtime=2.49 cores=0,2,4,6
/proc/27515/task/27520/stat : 27520 (java) S 27513 27515 22184 0 -1 4202560 389 0 0 0 238 11 0 0 20 0 19 0 254516667 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140704138107816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27521] ppid=27513 vsize=9824668 CPUtime=2.3 cores=0,2,4,6
/proc/27515/task/27521/stat : 27521 (java) S 27513 27515 22184 0 -1 4202560 512 0 0 0 216 14 0 0 20 0 19 0 254516667 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140704137055272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27522] ppid=27513 vsize=9824668 CPUtime=2.35 cores=0,2,4,6
/proc/27515/task/27522/stat : 27522 (java) S 27513 27515 22184 0 -1 4202560 519 0 0 0 224 11 0 0 20 0 19 0 254516667 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140704017803432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27523] ppid=27513 vsize=9824668 CPUtime=2.38 cores=0,2,4,6
/proc/27515/task/27523/stat : 27523 (java) S 27513 27515 22184 0 -1 4202560 427 0 0 0 225 13 0 0 20 0 19 0 254516667 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140704016750888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27524] ppid=27513 vsize=9824668 CPUtime=2.46 cores=0,2,4,6
/proc/27515/task/27524/stat : 27524 (java) S 27513 27515 22184 0 -1 4202560 487 0 0 0 230 16 0 0 20 0 19 0 254516667 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140704015698344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27525] ppid=27513 vsize=9824668 CPUtime=2.37 cores=0,2,4,6
/proc/27515/task/27525/stat : 27525 (java) S 27513 27515 22184 0 -1 4202560 427 0 0 0 225 12 0 0 20 0 19 0 254516667 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140704014645800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27526] ppid=27513 vsize=9824668 CPUtime=36.66 cores=0,2,4,6
/proc/27515/task/27526/stat : 27526 (java) S 27513 27515 22184 0 -1 4202560 2410 0 0 0 3647 19 0 0 20 0 19 0 254516668 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140704002447976 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27515/tid=27527] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27527/stat : 27527 (java) S 27513 27515 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254516668 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140703397045880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27528] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27528/stat : 27528 (java) S 27513 27515 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254516668 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140703395993224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27529] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27529/stat : 27529 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254516670 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140703394941968 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27530] ppid=27513 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/27515/task/27530/stat : 27530 (java) S 27513 27515 22184 0 -1 4202560 14706 0 0 0 176 4 0 0 20 0 19 0 254516670 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140703393888312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27531] ppid=27513 vsize=9824668 CPUtime=1.38 cores=0,2,4,6
/proc/27515/task/27531/stat : 27531 (java) S 27513 27515 22184 0 -1 4202560 6227 0 0 0 136 2 0 0 20 0 19 0 254516670 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140703392835768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27515/tid=27532] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27532/stat : 27532 (java) S 27513 27515 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254516670 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140703391783416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27515/tid=27533] ppid=27513 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/27515/task/27533/stat : 27533 (java) S 27513 27515 22184 0 -1 4202560 27 0 0 0 5 9 0 0 20 0 19 0 254516671 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140703390731080 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27515/tid=27537] ppid=27513 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27515/task/27537/stat : 27537 (java) S 27513 27515 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254516717 10060460032 516462 33554432000 1073741824 1073778376 140735984585744 140703386519208 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 878.31
Current children cumulated vsize (KiB) 9824668

Child status: 10
Real time (s): 452.282
CPU time (s): 878.62
CPU user time (s): 876.74
CPU system time (s): 1.88071
CPU usage (%): 194.264
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 876.74
system time used= 1.88071
maximum resident set size= 2065908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31613
page faults= 1
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15094
involuntary context switches= 27790

runsolver used 2.13167 second user time and 4.83026 second system time

The end

Launcher Data 

Begin job on node120 at 2012-05-24 20:25:07
IDJOB=3689642
IDBENCH=90137
IDSOLVER=2268
FILE ID=node120/3689642-1337883907
RUNJOBID= node120-1337871880-22200
PBS_JOBID= 14620084
Free space on /tmp= 71632 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K109.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689642-1337883907/watcher-3689642-1337883907 -o /tmp/evaluation-result-3689642-1337883907/solver-3689642-1337883907 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3689642-1337883907.opb

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

MD5SUM BENCH= 3a5151d7fc286e1b50737dee685a4276
RANDOM SEED=496790748

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25454828 kB
Buffers:          189904 kB
Cached:          3252692 kB
SwapCached:          492 kB
Active:          3737136 kB
Inactive:        2906448 kB
Active(anon):    3191108 kB
Inactive(anon):    12388 kB
Active(file):     546028 kB
Inactive(file):  2894060 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67107896 kB
Dirty:               868 kB
Writeback:             0 kB
AnonPages:       3260928 kB
Mapped:            21640 kB
Shmem:               120 kB
Slab:             626428 kB
SReclaimable:      70788 kB
SUnreclaim:       555640 kB
KernelStack:        1792 kB
PageTables:        10556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    3565996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3194880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71632 MiB
End job on node120 at 2012-05-24 20:32:39