Trace number 4091853

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1800.13 899.164

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen07_wcsp.wbo
MD5SUMdf1c90215af2cae95a5e30d22d51f060
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7976
Total number of constraints1810140
Number of soft constraints1809940
Number of constraints which are clauses1809940
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 468527294
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 286472940853
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	29552333

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4091853-1466104172/watcher-4091853-1466104172 -o /tmp/evaluation-result-4091853-1466104172/solver-4091853-1466104172 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466104172-22199 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091853-1466104172.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.12 1.49 3/176 22229
/proc/meminfo: memFree=31639004/32872528 swapFree=248296/248296
[pid=22229] ppid=22225 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/22229/stat : 22229 (java) R 22225 22229 21438 0 -1 4202496 618 0 0 0 0 0 0 0 20 0 1 0 12467777 23793664 267 33554432000 1073741824 1073778376 140736393903680 140736393892744 247055039027 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22229/statm: 5809 280 217 9 0 128 0

[startup+0.10006 s]
/proc/loadavg: 1.00 1.12 1.49 3/176 22229
/proc/meminfo: memFree=31639004/32872528 swapFree=248296/248296
[pid=22229] ppid=22225 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/22229/stat : 22229 (java) S 22225 22229 21438 0 -1 4202496 4408 0 1 0 8 1 0 0 20 0 18 0 12467777 9787879424 6035 33554432000 1073741824 1073778376 140736393903680 140736393894816 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22229/statm: 2389619 6035 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200207 s]
/proc/loadavg: 1.00 1.12 1.49 3/176 22229
/proc/meminfo: memFree=31639004/32872528 swapFree=248296/248296
[pid=22229] ppid=22225 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/22229/stat : 22229 (java) S 22225 22229 21438 0 -1 4202496 5213 0 1 0 26 2 0 0 20 0 18 0 12467777 9787879424 9256 33554432000 1073741824 1073778376 140736393903680 140736393894816 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22229/statm: 2389619 9256 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300219 s]
/proc/loadavg: 1.00 1.12 1.49 3/176 22229
/proc/meminfo: memFree=31639004/32872528 swapFree=248296/248296
[pid=22229] ppid=22225 vsize=9558476 CPUtime=0.57 cores=0,2,4,6
/proc/22229/stat : 22229 (java) S 22225 22229 21438 0 -1 4202496 7458 0 1 0 54 3 0 0 20 0 18 0 12467777 9787879424 16073 33554432000 1073741824 1073778376 140736393903680 140736393894816 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22229/statm: 2389619 16073 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700177 s]
/proc/loadavg: 1.00 1.12 1.49 3/176 22229
/proc/meminfo: memFree=31639004/32872528 swapFree=248296/248296
[pid=22229] ppid=22225 vsize=9558476 CPUtime=1.62 cores=0,2,4,6
/proc/22229/stat : 22229 (java) S 22225 22229 21438 0 -1 4202496 15728 0 1 0 153 9 0 0 20 0 18 0 12467777 9787879424 51160 33554432000 1073741824 1073778376 140736393903680 140736393894816 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22229/statm: 2389619 51160 2264 9 0 2380296 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9558476

[startup+1.50084 s]
/proc/loadavg: 1.00 1.12 1.49 3/211 22264
/proc/meminfo: memFree=31149148/32872528 swapFree=248296/248296
[pid=22229] ppid=22225 vsize=9558476 CPUtime=2.92 cores=0,2,4,6
/proc/22229/stat : 22229 (java) S 22225 22229 21438 0 -1 4202496 16583 0 1 0 267 25 0 0 20 0 18 0 12467777 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140736393894816 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22229/statm: 2389619 110088 2264 9 0 2380296 0
[pid=22229/tid=22232] ppid=22225 vsize=9558476 CPUtime=1.25 cores=0,2,4,6
/proc/22229/task/22232/stat : 22232 (java) R 22225 22229 21438 0 -1 4202560 2527 0 1 0 120 5 0 0 20 0 18 0 12467778 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209867455832 140209694351252 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22234] ppid=22225 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/22229/task/22234/stat : 22234 (java) S 22225 22229 21438 0 -1 4202560 119 0 0 0 6 2 0 0 20 0 18 0 12467778 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209828948392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22235] ppid=22225 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/22229/task/22235/stat : 22235 (java) S 22225 22229 21438 0 -1 4202560 43 0 0 0 6 2 0 0 20 0 18 0 12467778 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209827895848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22237] ppid=22225 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/22229/task/22237/stat : 22237 (java) S 22225 22229 21438 0 -1 4202560 133 0 0 0 7 2 0 0 20 0 18 0 12467778 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209826842792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22229/tid=22239] ppid=22225 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/22229/task/22239/stat : 22239 (java) S 22225 22229 21438 0 -1 4202560 127 0 0 0 11 4 0 0 20 0 18 0 12467778 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209825790248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22241] ppid=22225 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/22229/task/22241/stat : 22241 (java) S 22225 22229 21438 0 -1 4202560 119 0 0 0 6 1 0 0 20 0 18 0 12467778 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209824738216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22229/tid=22243] ppid=22225 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/22229/task/22243/stat : 22243 (java) S 22225 22229 21438 0 -1 4202560 110 0 0 0 6 1 0 0 20 0 18 0 12467778 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209823685672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22244] ppid=22225 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/22229/task/22244/stat : 22244 (java) S 22225 22229 21438 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 18 0 12467778 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209822632616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22229/tid=22246] ppid=22225 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/22229/task/22246/stat : 22246 (java) S 22225 22229 21438 0 -1 4202560 56 0 0 0 5 2 0 0 20 0 18 0 12467778 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209821580072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22249] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22249/stat : 22249 (java) S 22225 22229 21438 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 12467780 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209690753384 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22251] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22251/stat : 22251 (java) S 22225 22229 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 12467780 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209689699704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22254] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22254/stat : 22254 (java) S 22225 22229 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 12467780 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209688646536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22255] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22255/stat : 22255 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12467782 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209687595280 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22257] ppid=22225 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/22229/task/22257/stat : 22257 (java) S 22225 22229 21438 0 -1 4202560 7302 0 0 0 39 1 0 0 20 0 18 0 12467782 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209686543160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22259] ppid=22225 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/22229/task/22259/stat : 22259 (java) S 22225 22229 21438 0 -1 4202560 4557 0 0 0 40 1 0 0 20 0 18 0 12467782 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209685490616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22261] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22261/stat : 22261 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12467782 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209684437752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22263] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22263/stat : 22263 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12467782 9787879424 110088 33554432000 1073741824 1073778376 140736393903680 140209683385416 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 9558476

[startup+3.10072 s]
/proc/loadavg: 1.16 1.15 1.50 3/211 22264
/proc/meminfo: memFree=30615184/32872528 swapFree=248296/248296
[pid=22229] ppid=22225 vsize=9558476 CPUtime=5.39 cores=0,2,4,6
/proc/22229/stat : 22229 (java) S 22225 22229 21438 0 -1 4202496 18261 0 1 0 486 53 0 0 20 0 18 0 12467777 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140736393894816 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22229/statm: 2389619 220810 2270 9 0 2380296 0
[pid=22229/tid=22232] ppid=22225 vsize=9558476 CPUtime=2.46 cores=0,2,4,6
/proc/22229/task/22232/stat : 22232 (java) S 22225 22229 21438 0 -1 4202560 2816 0 1 0 238 8 0 0 20 0 18 0 12467778 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209867455608 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22234] ppid=22225 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/22229/task/22234/stat : 22234 (java) S 22225 22229 21438 0 -1 4202560 187 0 0 0 21 6 0 0 20 0 18 0 12467778 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209828948392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22235] ppid=22225 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/22229/task/22235/stat : 22235 (java) S 22225 22229 21438 0 -1 4202560 110 0 0 0 19 5 0 0 20 0 18 0 12467778 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209827895848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22237] ppid=22225 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/22229/task/22237/stat : 22237 (java) S 22225 22229 21438 0 -1 4202560 263 0 0 0 15 5 0 0 20 0 18 0 12467778 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209826842792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22229/tid=22239] ppid=22225 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/22229/task/22239/stat : 22239 (java) S 22225 22229 21438 0 -1 4202560 412 0 0 0 21 7 0 0 20 0 18 0 12467778 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209825790248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22241] ppid=22225 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/22229/task/22241/stat : 22241 (java) S 22225 22229 21438 0 -1 4202560 181 0 0 0 15 5 0 0 20 0 18 0 12467778 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209824738216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22243] ppid=22225 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/22229/task/22243/stat : 22243 (java) S 22225 22229 21438 0 -1 4202560 318 0 0 0 16 4 0 0 20 0 18 0 12467778 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209823685672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22244] ppid=22225 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/22229/task/22244/stat : 22244 (java) S 22225 22229 21438 0 -1 4202560 100 0 0 0 14 6 0 0 20 0 18 0 12467778 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209822632616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22246] ppid=22225 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/22229/task/22246/stat : 22246 (java) S 22225 22229 21438 0 -1 4202560 167 0 0 0 21 6 0 0 20 0 18 0 12467778 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209821580072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22249] ppid=22225 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/22229/task/22249/stat : 22249 (java) R 22225 22229 21438 0 -1 4202560 594 0 0 0 8 0 0 0 20 0 18 0 12467780 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209690752136 140209873580409 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22229/tid=22251] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22251/stat : 22251 (java) S 22225 22229 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 12467780 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209689699704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22254] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22254/stat : 22254 (java) S 22225 22229 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 12467780 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209688646536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22255] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22255/stat : 22255 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12467782 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209687595280 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22257] ppid=22225 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/22229/task/22257/stat : 22257 (java) S 22225 22229 21438 0 -1 4202560 7302 0 0 0 39 1 0 0 20 0 18 0 12467782 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209686543160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22259] ppid=22225 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/22229/task/22259/stat : 22259 (java) S 22225 22229 21438 0 -1 4202560 4557 0 0 0 40 1 0 0 20 0 18 0 12467782 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209685490616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22261] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22261/stat : 22261 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12467782 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209684437752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22263] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22263/stat : 22263 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12467782 9787879424 220810 33554432000 1073741824 1073778376 140736393903680 140209683385416 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 9558476

[startup+6.30081 s]
/proc/loadavg: 1.16 1.15 1.50 3/211 22264
/proc/meminfo: memFree=29235900/32872528 swapFree=248296/248296
[pid=22229] ppid=22225 vsize=9558476 CPUtime=10.11 cores=0,2,4,6
/proc/22229/stat : 22229 (java) S 22225 22229 21438 0 -1 4202496 21475 0 1 0 914 97 0 0 20 0 18 0 12467777 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140736393894816 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22229/statm: 2389619 392946 2275 9 0 2380296 0
[pid=22229/tid=22232] ppid=22225 vsize=9558476 CPUtime=4.64 cores=0,2,4,6
/proc/22229/task/22232/stat : 22232 (java) R 22225 22229 21438 0 -1 4202560 3394 0 1 0 453 11 0 0 20 0 18 0 12467778 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209867448256 140209694350880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22234] ppid=22225 vsize=9558476 CPUtime=0.57 cores=0,2,4,6
/proc/22229/task/22234/stat : 22234 (java) S 22225 22229 21438 0 -1 4202560 707 0 0 0 45 12 0 0 20 0 18 0 12467778 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209828948392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22235] ppid=22225 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/22229/task/22235/stat : 22235 (java) S 22225 22229 21438 0 -1 4202560 226 0 0 0 40 10 0 0 20 0 18 0 12467778 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209827895848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22237] ppid=22225 vsize=9558476 CPUtime=0.42 cores=0,2,4,6
/proc/22229/task/22237/stat : 22237 (java) S 22225 22229 21438 0 -1 4202560 601 0 0 0 33 9 0 0 20 0 18 0 12467778 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209826842792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22239] ppid=22225 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/22229/task/22239/stat : 22239 (java) S 22225 22229 21438 0 -1 4202560 556 0 0 0 39 11 0 0 20 0 18 0 12467778 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209825790248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22241] ppid=22225 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/22229/task/22241/stat : 22241 (java) S 22225 22229 21438 0 -1 4202560 294 0 0 0 35 9 0 0 20 0 18 0 12467778 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209824738216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22243] ppid=22225 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/22229/task/22243/stat : 22243 (java) S 22225 22229 21438 0 -1 4202560 646 0 0 0 39 8 0 0 20 0 18 0 12467778 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209823685672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22229/tid=22244] ppid=22225 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/22229/task/22244/stat : 22244 (java) S 22225 22229 21438 0 -1 4202560 545 0 0 0 31 9 0 0 20 0 18 0 12467778 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209822632616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22229/tid=22246] ppid=22225 vsize=9558476 CPUtime=0.61 cores=0,2,4,6
/proc/22229/task/22246/stat : 22246 (java) S 22225 22229 21438 0 -1 4202560 316 0 0 0 48 13 0 0 20 0 18 0 12467778 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209821580072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22249] ppid=22225 vsize=9558476 CPUtime=0.56 cores=0,2,4,6
/proc/22229/task/22249/stat : 22249 (java) S 22225 22229 21438 0 -1 4202560 1077 0 0 0 56 0 0 0 20 0 18 0 12467780 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209690753384 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22251] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22251/stat : 22251 (java) S 22225 22229 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 12467780 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209689699704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22254] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22254/stat : 22254 (java) S 22225 22229 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 12467780 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209688646536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22255] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22255/stat : 22255 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12467782 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209687595280 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22257] ppid=22225 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/22229/task/22257/stat : 22257 (java) S 22225 22229 21438 0 -1 4202560 7302 0 0 0 39 1 0 0 20 0 18 0 12467782 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209686543160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22259] ppid=22225 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/22229/task/22259/stat : 22259 (java) S 22225 22229 21438 0 -1 4202560 4557 0 0 0 40 1 0 0 20 0 18 0 12467782 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209685490616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22261] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22261/stat : 22261 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12467782 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209684437752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22263] ppid=22225 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22263/stat : 22263 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 12467782 9787879424 392946 33554432000 1073741824 1073778376 140736393903680 140209683385416 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.11
Current children cumulated vsize (KiB) 9558476

[startup+12.7008 s]
/proc/loadavg: 1.23 1.16 1.50 3/211 22264
/proc/meminfo: memFree=26817928/32872528 swapFree=248296/248296
[pid=22229] ppid=22225 vsize=9558476 CPUtime=19.55 cores=0,2,4,6
/proc/22229/stat : 22229 (java) S 22225 22229 21438 0 -1 4202496 25855 0 1 0 1806 149 0 0 20 0 18 0 12467777 9787879424 599571 33554432000 1073741824 1073778376 140736393903680 140736393894816 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22229/statm: 2389619 599571 2275 9 0 2380296 0

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

/proc/22229/task/22237/stat : 22237 (java) S 22225 22229 21438 0 -1 4202560 2062 0 0 0 379 38 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209826842792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22239] ppid=22225 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/22229/task/22239/stat : 22239 (java) S 22225 22229 21438 0 -1 4202560 2924 0 0 0 392 30 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209825790248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22241] ppid=22225 vsize=9824732 CPUtime=4.28 cores=0,2,4,6
/proc/22229/task/22241/stat : 22241 (java) S 22225 22229 21438 0 -1 4202560 1714 0 0 0 399 29 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209824738216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22243] ppid=22225 vsize=9824732 CPUtime=4.28 cores=0,2,4,6
/proc/22229/task/22243/stat : 22243 (java) S 22225 22229 21438 0 -1 4202560 1959 0 0 0 393 35 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209823685672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22244] ppid=22225 vsize=9824732 CPUtime=4.34 cores=0,2,4,6
/proc/22229/task/22244/stat : 22244 (java) S 22225 22229 21438 0 -1 4202560 1760 0 0 0 397 37 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209822632616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22246] ppid=22225 vsize=9824732 CPUtime=4.08 cores=0,2,4,6
/proc/22229/task/22246/stat : 22246 (java) S 22225 22229 21438 0 -1 4202560 1747 0 0 0 371 37 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209821580072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22249] ppid=22225 vsize=9824732 CPUtime=5.54 cores=0,2,4,6
/proc/22229/task/22249/stat : 22249 (java) S 22225 22229 21438 0 -1 4202560 3442 0 0 0 548 6 0 0 20 0 22 0 12467780 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209690753384 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22251] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22251/stat : 22251 (java) S 22225 22229 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12467780 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209689699704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22254] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22254/stat : 22254 (java) S 22225 22229 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12467780 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209688646536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22229/tid=22255] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22255/stat : 22255 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209687595280 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22257] ppid=22225 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/22229/task/22257/stat : 22257 (java) S 22225 22229 21438 0 -1 4202560 14646 0 0 0 168 3 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209686543160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22259] ppid=22225 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/22229/task/22259/stat : 22259 (java) S 22225 22229 21438 0 -1 4202560 5195 0 0 0 119 2 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209685490616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22261] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22261/stat : 22261 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209684437752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22263] ppid=22225 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/22229/task/22263/stat : 22263 (java) S 22225 22229 21438 0 -1 4202560 51 0 0 0 23 19 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209683385416 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22272] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22272/stat : 22272 (java) S 22225 22229 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12469262 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209679172520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22278] ppid=22225 vsize=9824732 CPUtime=833.68 cores=0,2,4,6
/proc/22229/task/22278/stat : 22278 (java) R 22225 22229 21438 0 -1 4202560 5 0 0 0 83356 12 0 0 20 0 22 0 12472177 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209681277976 140209694417196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22279] ppid=22225 vsize=9824732 CPUtime=833.65 cores=0,2,4,6
/proc/22229/task/22279/stat : 22279 (java) R 22225 22229 21438 0 -1 4202560 7 0 0 0 83353 12 0 0 20 0 22 0 12472177 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209682330648 140209695078645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22281] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22281/stat : 22281 (java) S 22225 22229 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12472276 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209680225576 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1766.54
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.101 s]
/proc/loadavg: 4.01 3.90 3.09 5/219 22301
/proc/meminfo: memFree=23240672/32872528 swapFree=248296/248296
[pid=22229] ppid=22225 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6
/proc/22229/stat : 22229 (java) S 22225 22229 21438 0 -1 4202496 44468 0 1 0 179691 322 0 0 20 0 22 0 12467777 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140736393894816 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22229/statm: 2456183 1051346 2295 9 0 2446860 0
[pid=22229/tid=22232] ppid=22225 vsize=9824732 CPUtime=11.06 cores=0,2,4,6
/proc/22229/task/22232/stat : 22232 (java) S 22225 22229 21438 0 -1 4202560 3514 0 1 0 1090 16 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209867457400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22234] ppid=22225 vsize=9824732 CPUtime=3.82 cores=0,2,4,6
/proc/22229/task/22234/stat : 22234 (java) S 22225 22229 21438 0 -1 4202560 1630 0 0 0 352 30 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209828948392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22235] ppid=22225 vsize=9824732 CPUtime=3.97 cores=0,2,4,6
/proc/22229/task/22235/stat : 22235 (java) S 22225 22229 21438 0 -1 4202560 2481 0 0 0 362 35 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209827895848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22237] ppid=22225 vsize=9824732 CPUtime=4.17 cores=0,2,4,6
/proc/22229/task/22237/stat : 22237 (java) S 22225 22229 21438 0 -1 4202560 2062 0 0 0 379 38 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209826842792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22239] ppid=22225 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/22229/task/22239/stat : 22239 (java) S 22225 22229 21438 0 -1 4202560 2924 0 0 0 392 30 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209825790248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22241] ppid=22225 vsize=9824732 CPUtime=4.28 cores=0,2,4,6
/proc/22229/task/22241/stat : 22241 (java) S 22225 22229 21438 0 -1 4202560 1714 0 0 0 399 29 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209824738216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22243] ppid=22225 vsize=9824732 CPUtime=4.28 cores=0,2,4,6
/proc/22229/task/22243/stat : 22243 (java) S 22225 22229 21438 0 -1 4202560 1959 0 0 0 393 35 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209823685672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22244] ppid=22225 vsize=9824732 CPUtime=4.34 cores=0,2,4,6
/proc/22229/task/22244/stat : 22244 (java) S 22225 22229 21438 0 -1 4202560 1760 0 0 0 397 37 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209822632616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22246] ppid=22225 vsize=9824732 CPUtime=4.08 cores=0,2,4,6
/proc/22229/task/22246/stat : 22246 (java) S 22225 22229 21438 0 -1 4202560 1747 0 0 0 371 37 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209821580072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22249] ppid=22225 vsize=9824732 CPUtime=5.54 cores=0,2,4,6
/proc/22229/task/22249/stat : 22249 (java) S 22225 22229 21438 0 -1 4202560 3442 0 0 0 548 6 0 0 20 0 22 0 12467780 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209690753384 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22251] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22251/stat : 22251 (java) S 22225 22229 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12467780 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209689699704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22254] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22254/stat : 22254 (java) S 22225 22229 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12467780 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209688646536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22229/tid=22255] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22255/stat : 22255 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209687595280 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22257] ppid=22225 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/22229/task/22257/stat : 22257 (java) S 22225 22229 21438 0 -1 4202560 14646 0 0 0 168 3 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209686543160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22259] ppid=22225 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/22229/task/22259/stat : 22259 (java) S 22225 22229 21438 0 -1 4202560 5195 0 0 0 119 2 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209685490616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22261] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22261/stat : 22261 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209684437752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22263] ppid=22225 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/22229/task/22263/stat : 22263 (java) S 22225 22229 21438 0 -1 4202560 51 0 0 0 24 19 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209683385416 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22272] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22272/stat : 22272 (java) S 22225 22229 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12469262 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209679172520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22278] ppid=22225 vsize=9824732 CPUtime=850.43 cores=0,2,4,6
/proc/22229/task/22278/stat : 22278 (java) R 22225 22229 21438 0 -1 4202560 5 0 0 0 85031 12 0 0 20 0 22 0 12472177 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209681277976 140209694417174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22279] ppid=22225 vsize=9824732 CPUtime=850.4 cores=0,2,4,6
/proc/22229/task/22279/stat : 22279 (java) R 22225 22229 21438 0 -1 4202560 7 0 0 0 85028 12 0 0 20 0 22 0 12472177 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209682330648 140209695078682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22281] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22281/stat : 22281 (java) S 22225 22229 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12472276 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209680225576 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732

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

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

[startup+899.101 s]
/proc/loadavg: 4.01 3.90 3.09 5/219 22301
/proc/meminfo: memFree=23240672/32872528 swapFree=248296/248296
[pid=22229] ppid=22225 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6
/proc/22229/stat : 22229 (java) S 22225 22229 21438 0 -1 4202496 44468 0 1 0 179691 322 0 0 20 0 22 0 12467777 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140736393894816 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22229/statm: 2456183 1051346 2295 9 0 2446860 0
[pid=22229/tid=22232] ppid=22225 vsize=9824732 CPUtime=11.06 cores=0,2,4,6
/proc/22229/task/22232/stat : 22232 (java) S 22225 22229 21438 0 -1 4202560 3514 0 1 0 1090 16 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209867457400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22234] ppid=22225 vsize=9824732 CPUtime=3.82 cores=0,2,4,6
/proc/22229/task/22234/stat : 22234 (java) S 22225 22229 21438 0 -1 4202560 1630 0 0 0 352 30 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209828948392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22235] ppid=22225 vsize=9824732 CPUtime=3.97 cores=0,2,4,6
/proc/22229/task/22235/stat : 22235 (java) S 22225 22229 21438 0 -1 4202560 2481 0 0 0 362 35 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209827895848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22237] ppid=22225 vsize=9824732 CPUtime=4.17 cores=0,2,4,6
/proc/22229/task/22237/stat : 22237 (java) S 22225 22229 21438 0 -1 4202560 2062 0 0 0 379 38 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209826842792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22239] ppid=22225 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/22229/task/22239/stat : 22239 (java) S 22225 22229 21438 0 -1 4202560 2924 0 0 0 392 30 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209825790248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22241] ppid=22225 vsize=9824732 CPUtime=4.28 cores=0,2,4,6
/proc/22229/task/22241/stat : 22241 (java) S 22225 22229 21438 0 -1 4202560 1714 0 0 0 399 29 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209824738216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22243] ppid=22225 vsize=9824732 CPUtime=4.28 cores=0,2,4,6
/proc/22229/task/22243/stat : 22243 (java) S 22225 22229 21438 0 -1 4202560 1959 0 0 0 393 35 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209823685672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22244] ppid=22225 vsize=9824732 CPUtime=4.34 cores=0,2,4,6
/proc/22229/task/22244/stat : 22244 (java) S 22225 22229 21438 0 -1 4202560 1760 0 0 0 397 37 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209822632616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22246] ppid=22225 vsize=9824732 CPUtime=4.08 cores=0,2,4,6
/proc/22229/task/22246/stat : 22246 (java) S 22225 22229 21438 0 -1 4202560 1747 0 0 0 371 37 0 0 20 0 22 0 12467778 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209821580072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22249] ppid=22225 vsize=9824732 CPUtime=5.54 cores=0,2,4,6
/proc/22229/task/22249/stat : 22249 (java) S 22225 22229 21438 0 -1 4202560 3442 0 0 0 548 6 0 0 20 0 22 0 12467780 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209690753384 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22251] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22251/stat : 22251 (java) S 22225 22229 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12467780 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209689699704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22254] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22254/stat : 22254 (java) S 22225 22229 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12467780 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209688646536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22229/tid=22255] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22255/stat : 22255 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209687595280 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22257] ppid=22225 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/22229/task/22257/stat : 22257 (java) S 22225 22229 21438 0 -1 4202560 14646 0 0 0 168 3 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209686543160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22259] ppid=22225 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/22229/task/22259/stat : 22259 (java) S 22225 22229 21438 0 -1 4202560 5195 0 0 0 119 2 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209685490616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22261] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22261/stat : 22261 (java) S 22225 22229 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209684437752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22263] ppid=22225 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/22229/task/22263/stat : 22263 (java) S 22225 22229 21438 0 -1 4202560 51 0 0 0 24 19 0 0 20 0 22 0 12467782 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209683385416 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22229/tid=22272] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22272/stat : 22272 (java) S 22225 22229 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12469262 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209679172520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22278] ppid=22225 vsize=9824732 CPUtime=850.43 cores=0,2,4,6
/proc/22229/task/22278/stat : 22278 (java) R 22225 22229 21438 0 -1 4202560 5 0 0 0 85031 12 0 0 20 0 22 0 12472177 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209681277976 140209694417174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22229/tid=22279] ppid=22225 vsize=9824732 CPUtime=850.4 cores=0,2,4,6
/proc/22229/task/22279/stat : 22279 (java) R 22225 22229 21438 0 -1 4202560 7 0 0 0 85028 12 0 0 20 0 22 0 12472177 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209682330648 140209695078682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22229/tid=22281] ppid=22225 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22229/task/22281/stat : 22281 (java) S 22225 22229 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12472276 10060525568 1051346 33554432000 1073741824 1073778376 140736393903680 140209680225576 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22229 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=529494
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=611450
# CPU time returned by wait4() is 1796.14
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 899.164
CPU time (s): 1800.13
CPU user time (s): 1796.91
CPU system time (s): 3.22
CPU usage (%): 200.2
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.53
system time used= 3.61145
maximum resident set size= 4205504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44507
page faults= 1
swaps= 0
block input operations= 168
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23991
involuntary context switches= 11524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12507 second user time and 7.41187 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-16 21:09:34
IDJOB=4091853
IDBENCH=79568
IDSOLVER=2552
FILE ID=node103/4091853-1466104172
RUNJOBID= node103-1466104172-22199
PBS_JOBID= 19904050
Free space on /tmp= 71620 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen07_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091853-1466104172/watcher-4091853-1466104172 -o /tmp/evaluation-result-4091853-1466104172/solver-4091853-1466104172 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466104172-22199 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4091853-1466104172.wbo

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

MD5SUM BENCH= df1c90215af2cae95a5e30d22d51f060
RANDOM SEED=561640067

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31640432 kB
Buffers:           36260 kB
Cached:           199880 kB
SwapCached:        41796 kB
Active:           166636 kB
Inactive:         111664 kB
Active(anon):       3772 kB
Inactive(anon):    41288 kB
Active(file):     162864 kB
Inactive(file):    70376 kB
Unevictable:      248296 kB
Mlocked:          248296 kB
SwapTotal:      67108856 kB
SwapFree:       67059980 kB
Dirty:            116044 kB
Writeback:             0 kB
AnonPages:        250636 kB
Mapped:             6896 kB
Shmem:                 0 kB
Slab:             574000 kB
SReclaimable:      17988 kB
SUnreclaim:       556012 kB
KernelStack:        1392 kB
PageTables:         4292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     345308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71620 MiB
End job on node103 at 2016-06-16 21:24:33