Trace number 2694262

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 RES // CP 2.2.0 2010-05-31Wrong Opt. 11.5382 15.3187

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-33-100-0.wbo
MD5SUM61ba6fab23f29dcc6973b97e5631370e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.172973
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8937
Total number of constraints26319
Number of soft constraints17731
Number of constraints which are clauses26047
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints272
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 903676
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 903675
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	28

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694262-1278544003/watcher-2694262-1278544003 -o /tmp/evaluation-result-2694262-1278544003/solver-2694262-1278544003 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694262-1278544003.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.15 0.08 0.59 4/195 28499
/proc/meminfo: memFree=29727740/32950928 swapFree=67111528/67111528
[pid=28499] ppid=28497 vsize=13736 CPUtime=0
/proc/28499/stat : 28499 (java) S 28497 28499 28212 0 -1 4202496 1168 0 0 0 0 0 0 0 20 0 2 0 22612250 14065664 623 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0
/proc/28499/statm: 3421 619 295 10 0 1206 0
[pid=28499/tid=28500] ppid=28497 vsize=13684 CPUtime=0
/proc/28499/task/28500/stat : 28500 (java) S 28497 28499 28212 0 -1 4202560 142 0 0 0 0 0 0 0 18 0 2 0 22612250 14012416 631 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16784584 4435628097714257919 0 0 -1 7 0 0 0

[startup+0.0396651 s]
/proc/loadavg: 0.15 0.08 0.59 4/195 28499
/proc/meminfo: memFree=29727740/32950928 swapFree=67111528/67111528
[pid=28499] ppid=28497 vsize=1525320 CPUtime=0.02
/proc/28499/stat : 28499 (java) S 28497 28499 28212 0 -1 4202496 3868 0 1 0 2 0 0 0 20 0 13 0 22612250 1561927680 3310 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0
/proc/28499/statm: 381330 3312 1045 10 0 378640 0
[pid=28499/tid=28500] ppid=28497 vsize=1525320 CPUtime=0.02
/proc/28499/task/28500/stat : 28500 (java) R 28497 28499 28212 0 -1 4202560 2802 0 1 0 2 0 0 0 23 0 13 0 22612250 1561927680 3312 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1525320

[startup+0.100645 s]
/proc/loadavg: 0.15 0.08 0.59 4/195 28499
/proc/meminfo: memFree=29727740/32950928 swapFree=67111528/67111528
[pid=28499] ppid=28497 vsize=1529700 CPUtime=0.11
/proc/28499/stat : 28499 (java) S 28497 28499 28212 0 -1 4202496 5277 0 1 0 10 1 0 0 20 0 18 0 22612250 1566412800 4715 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28499/statm: 382425 4715 1348 10 0 379728 0
[pid=28499/tid=28500] ppid=28497 vsize=1529700 CPUtime=0.09
/proc/28499/task/28500/stat : 28500 (java) R 28497 28499 28212 0 -1 4202560 3598 0 1 0 8 1 0 0 19 0 18 0 22612250 1566412800 4716 4089446400 134512640 134550932 4286626496 18446744073709551615 106868992 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1529700

[startup+0.308979 s]
/proc/loadavg: 0.15 0.08 0.59 4/195 28499
/proc/meminfo: memFree=29727740/32950928 swapFree=67111528/67111528
[pid=28499] ppid=28497 vsize=1531348 CPUtime=0.54
/proc/28499/stat : 28499 (java) S 28497 28499 28212 0 -1 4202496 16286 0 1 0 51 3 0 0 20 0 18 0 22612250 1568100352 15578 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28499/statm: 382837 15593 1402 10 0 380140 0
[pid=28499/tid=28500] ppid=28497 vsize=1531348 CPUtime=0.29
/proc/28499/task/28500/stat : 28500 (java) R 28497 28499 28212 0 -1 4202560 13941 0 1 0 27 2 0 0 18 0 18 0 22612250 1568100352 15593 4089446400 134512640 134550932 4286626496 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 1531348

[startup+0.700555 s]
/proc/loadavg: 0.15 0.08 0.59 4/195 28499
/proc/meminfo: memFree=29727740/32950928 swapFree=67111528/67111528
[pid=28499] ppid=28497 vsize=1538940 CPUtime=1.45
/proc/28499/stat : 28499 (java) S 28497 28499 28212 0 -1 4202496 42720 0 1 0 137 8 0 0 20 0 18 0 22612250 1575874560 41385 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28499/statm: 384735 41412 1426 10 0 382038 0
[pid=28499/tid=28500] ppid=28497 vsize=1538940 CPUtime=0.64
/proc/28499/task/28500/stat : 28500 (java) S 28497 28499 28212 0 -1 4202560 32055 0 1 0 60 4 0 0 17 0 18 0 22612250 1575874560 41428 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 1538940

[startup+1.50147 s]
/proc/loadavg: 0.15 0.08 0.59 5/219 28525
/proc/meminfo: memFree=29543540/32950928 swapFree=67111528/67111528
[pid=28499] ppid=28497 vsize=1540236 CPUtime=3.37
/proc/28499/stat : 28499 (java) S 28497 28499 28212 0 -1 4202496 44854 0 1 0 329 8 0 0 20 0 20 0 22612250 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28499/statm: 385059 43047 1442 10 0 382362 0
[pid=28499/tid=28500] ppid=28497 vsize=1540236 CPUtime=0.72
/proc/28499/task/28500/stat : 28500 (java) S 28497 28499 28212 0 -1 4202560 32079 0 1 0 68 4 0 0 18 0 20 0 22612250 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28502] ppid=28497 vsize=1540236 CPUtime=0.02
/proc/28499/task/28502/stat : 28502 (java) S 28497 28499 28212 0 -1 4202560 1345 0 0 0 2 0 0 0 16 0 20 0 22612251 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 5 0 0 0
[pid=28499/tid=28503] ppid=28497 vsize=1540236 CPUtime=0.02
/proc/28499/task/28503/stat : 28503 (java) S 28497 28499 28212 0 -1 4202560 855 0 0 0 2 0 0 0 16 0 20 0 22612251 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 4 0 0 0
[pid=28499/tid=28504] ppid=28497 vsize=1540236 CPUtime=0.02
/proc/28499/task/28504/stat : 28504 (java) S 28497 28499 28212 0 -1 4202560 1280 0 0 0 2 0 0 0 15 0 20 0 22612251 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28505] ppid=28497 vsize=1540236 CPUtime=0.02
/proc/28499/task/28505/stat : 28505 (java) S 28497 28499 28212 0 -1 4202560 1221 0 0 0 2 0 0 0 16 0 20 0 22612251 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 0 0 0 0
[pid=28499/tid=28506] ppid=28497 vsize=1540236 CPUtime=0.01
/proc/28499/task/28506/stat : 28506 (java) S 28497 28499 28212 0 -1 4202560 547 0 0 0 1 0 0 0 16 0 20 0 22612251 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 6 0 0 0
[pid=28499/tid=28507] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28507/stat : 28507 (java) S 28497 28499 28212 0 -1 4202560 363 0 0 0 0 0 0 0 15 0 20 0 22612251 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28508] ppid=28497 vsize=1540236 CPUtime=0.02
/proc/28499/task/28508/stat : 28508 (java) S 28497 28499 28212 0 -1 4202560 630 0 0 0 2 0 0 0 15 0 20 0 22612251 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28509] ppid=28497 vsize=1540236 CPUtime=0.02
/proc/28499/task/28509/stat : 28509 (java) S 28497 28499 28212 0 -1 4202560 1111 0 0 0 2 0 0 0 16 0 20 0 22612251 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28510] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28510/stat : 28510 (java) S 28497 28499 28212 0 -1 4202560 30 0 0 0 0 0 0 0 16 0 20 0 22612252 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28511] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28511/stat : 28511 (java) S 28497 28499 28212 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 20 0 22612252 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28512] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28512/stat : 28512 (java) S 28497 28499 28212 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 20 0 22612252 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28513] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28513/stat : 28513 (java) S 28497 28499 28212 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 22612254 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28514] ppid=28497 vsize=1540236 CPUtime=0.73
/proc/28499/task/28514/stat : 28514 (java) S 28497 28499 28212 0 -1 4202560 1046 0 0 0 73 0 0 0 16 0 20 0 22612254 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28515] ppid=28497 vsize=1540236 CPUtime=0.81
/proc/28499/task/28515/stat : 28515 (java) S 28497 28499 28212 0 -1 4202560 3231 0 0 0 81 0 0 0 17 0 20 0 22612254 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 6 0 0 0
[pid=28499/tid=28516] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28516/stat : 28516 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 22612254 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28517] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28517/stat : 28517 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 22612254 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28524] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28524/stat : 28524 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 22612344 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28525] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28525/stat : 28525 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 22612344 1577201664 43047 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 1540236

[startup+3.10108 s]
/proc/loadavg: 0.15 0.08 0.59 4/219 28529
/proc/meminfo: memFree=29526056/32950928 swapFree=67111528/67111528
[pid=28499] ppid=28497 vsize=1540236 CPUtime=4.23
/proc/28499/stat : 28499 (java) S 28497 28499 28212 0 -1 4202496 48757 0 1 0 414 9 0 0 20 0 20 0 22612250 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28499/statm: 385059 46289 1442 10 0 382362 0
[pid=28499/tid=28500] ppid=28497 vsize=1540236 CPUtime=1.03
/proc/28499/task/28500/stat : 28500 (java) R 28497 28499 28212 0 -1 4202560 32080 0 1 0 99 4 0 0 18 0 20 0 22612250 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4109970184 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28499/tid=28502] ppid=28497 vsize=1540236 CPUtime=0.02
/proc/28499/task/28502/stat : 28502 (java) S 28497 28499 28212 0 -1 4202560 1345 0 0 0 2 0 0 0 15 0 20 0 22612251 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 5 0 0 0
[pid=28499/tid=28503] ppid=28497 vsize=1540236 CPUtime=0.03
/proc/28499/task/28503/stat : 28503 (java) S 28497 28499 28212 0 -1 4202560 1349 0 0 0 3 0 0 0 16 0 20 0 22612251 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 4 0 0 0
[pid=28499/tid=28504] ppid=28497 vsize=1540236 CPUtime=0.03
/proc/28499/task/28504/stat : 28504 (java) S 28497 28499 28212 0 -1 4202560 1781 0 0 0 3 0 0 0 16 0 20 0 22612251 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28505] ppid=28497 vsize=1540236 CPUtime=0.04
/proc/28499/task/28505/stat : 28505 (java) S 28497 28499 28212 0 -1 4202560 1664 0 0 0 4 0 0 0 16 0 20 0 22612251 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 0 0 0 0
[pid=28499/tid=28506] ppid=28497 vsize=1540236 CPUtime=0.02
/proc/28499/task/28506/stat : 28506 (java) S 28497 28499 28212 0 -1 4202560 1035 0 0 0 2 0 0 0 16 0 20 0 22612251 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28507] ppid=28497 vsize=1540236 CPUtime=0.01
/proc/28499/task/28507/stat : 28507 (java) S 28497 28499 28212 0 -1 4202560 800 0 0 0 1 0 0 0 16 0 20 0 22612251 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28508] ppid=28497 vsize=1540236 CPUtime=0.02
/proc/28499/task/28508/stat : 28508 (java) S 28497 28499 28212 0 -1 4202560 1070 0 0 0 2 0 0 0 16 0 20 0 22612251 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 5 0 0 0
[pid=28499/tid=28509] ppid=28497 vsize=1540236 CPUtime=0.03
/proc/28499/task/28509/stat : 28509 (java) S 28497 28499 28212 0 -1 4202560 1534 0 0 0 3 0 0 0 16 0 20 0 22612251 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28510] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28510/stat : 28510 (java) S 28497 28499 28212 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 20 0 22612252 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28511] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28511/stat : 28511 (java) S 28497 28499 28212 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 20 0 22612252 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28512] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28512/stat : 28512 (java) S 28497 28499 28212 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 20 0 22612252 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28513] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28513/stat : 28513 (java) S 28497 28499 28212 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 22612254 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28514] ppid=28497 vsize=1540236 CPUtime=0.85
/proc/28499/task/28514/stat : 28514 (java) S 28497 28499 28212 0 -1 4202560 1063 0 0 0 85 0 0 0 15 0 20 0 22612254 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28515] ppid=28497 vsize=1540236 CPUtime=0.96
/proc/28499/task/28515/stat : 28515 (java) S 28497 28499 28212 0 -1 4202560 3884 0 0 0 95 1 0 0 15 0 20 0 22612254 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28516] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28516/stat : 28516 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 22612254 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28517] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28517/stat : 28517 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 22612254 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28524] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28524/stat : 28524 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 22612344 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28525] ppid=28497 vsize=1540236 CPUtime=0
/proc/28499/task/28525/stat : 28525 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 22612344 1577201664 46289 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 1540236

[startup+6.30149 s]
/proc/loadavg: 0.13 0.08 0.59 6/220 28585
/proc/meminfo: memFree=29397064/32950928 swapFree=67111528/67111528
[pid=28499] ppid=28497 vsize=1539856 CPUtime=7.08
/proc/28499/stat : 28499 (java) S 28497 28499 28212 0 -1 4202496 50994 0 1 0 699 9 0 0 20 0 21 0 22612250 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28499/statm: 384964 47691 1444 10 0 382267 0
[pid=28499/tid=28500] ppid=28497 vsize=1539856 CPUtime=1.53
/proc/28499/task/28500/stat : 28500 (java) S 28497 28499 28212 0 -1 4202560 32082 0 1 0 149 4 0 0 18 0 21 0 22612250 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28502] ppid=28497 vsize=1539856 CPUtime=0.03
/proc/28499/task/28502/stat : 28502 (java) S 28497 28499 28212 0 -1 4202560 1532 0 0 0 3 0 0 0 16 0 21 0 22612251 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 5 0 0 0
[pid=28499/tid=28503] ppid=28497 vsize=1539856 CPUtime=0.04
/proc/28499/task/28503/stat : 28503 (java) S 28497 28499 28212 0 -1 4202560 1594 0 0 0 4 0 0 0 16 0 21 0 22612251 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 4 0 0 0
[pid=28499/tid=28504] ppid=28497 vsize=1539856 CPUtime=0.03
/proc/28499/task/28504/stat : 28504 (java) S 28497 28499 28212 0 -1 4202560 2056 0 0 0 3 0 0 0 16 0 21 0 22612251 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28505] ppid=28497 vsize=1539856 CPUtime=0.04
/proc/28499/task/28505/stat : 28505 (java) S 28497 28499 28212 0 -1 4202560 1734 0 0 0 4 0 0 0 16 0 21 0 22612251 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 0 0 0 0
[pid=28499/tid=28506] ppid=28497 vsize=1539856 CPUtime=0.03
/proc/28499/task/28506/stat : 28506 (java) S 28497 28499 28212 0 -1 4202560 1173 0 0 0 3 0 0 0 16 0 21 0 22612251 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28507] ppid=28497 vsize=1539856 CPUtime=0.02
/proc/28499/task/28507/stat : 28507 (java) S 28497 28499 28212 0 -1 4202560 1097 0 0 0 2 0 0 0 16 0 21 0 22612251 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28508] ppid=28497 vsize=1539856 CPUtime=0.03
/proc/28499/task/28508/stat : 28508 (java) S 28497 28499 28212 0 -1 4202560 1086 0 0 0 3 0 0 0 15 0 21 0 22612251 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 5 0 0 0
[pid=28499/tid=28509] ppid=28497 vsize=1539856 CPUtime=0.04
/proc/28499/task/28509/stat : 28509 (java) S 28497 28499 28212 0 -1 4202560 1626 0 0 0 4 0 0 0 16 0 21 0 22612251 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28510] ppid=28497 vsize=1539856 CPUtime=0
/proc/28499/task/28510/stat : 28510 (java) S 28497 28499 28212 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 21 0 22612252 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28511] ppid=28497 vsize=1539856 CPUtime=0
/proc/28499/task/28511/stat : 28511 (java) S 28497 28499 28212 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 21 0 22612252 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28512] ppid=28497 vsize=1539856 CPUtime=0
/proc/28499/task/28512/stat : 28512 (java) S 28497 28499 28212 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 21 0 22612252 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28513] ppid=28497 vsize=1539856 CPUtime=0
/proc/28499/task/28513/stat : 28513 (java) S 28497 28499 28212 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 21 0 22612254 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28514] ppid=28497 vsize=1539856 CPUtime=1.01
/proc/28499/task/28514/stat : 28514 (java) S 28497 28499 28212 0 -1 4202560 1320 0 0 0 101 0 0 0 15 0 21 0 22612254 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28515] ppid=28497 vsize=1539856 CPUtime=1.08
/proc/28499/task/28515/stat : 28515 (java) S 28497 28499 28212 0 -1 4202560 4539 0 0 0 107 1 0 0 15 0 21 0 22612254 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28516] ppid=28497 vsize=1539856 CPUtime=0
/proc/28499/task/28516/stat : 28516 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 22612254 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28517] ppid=28497 vsize=1539856 CPUtime=0
/proc/28499/task/28517/stat : 28517 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 21 0 22612254 1576812544 47691 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28524] ppid=28497 vsize=1539856 CPUtime=0

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

/proc/28499/task/28506/stat : 28506 (java) S 28497 28499 28212 0 -1 4202560 1360 0 0 0 5 0 0 0 15 0 20 0 22612251 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28507] ppid=28497 vsize=1545576 CPUtime=0.04
/proc/28499/task/28507/stat : 28507 (java) S 28497 28499 28212 0 -1 4202560 1350 0 0 0 4 0 0 0 15 0 20 0 22612251 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28508] ppid=28497 vsize=1545576 CPUtime=0.05
/proc/28499/task/28508/stat : 28508 (java) S 28497 28499 28212 0 -1 4202560 1381 0 0 0 5 0 0 0 15 0 20 0 22612251 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 5 0 0 0
[pid=28499/tid=28509] ppid=28497 vsize=1545576 CPUtime=0.05
/proc/28499/task/28509/stat : 28509 (java) S 28497 28499 28212 0 -1 4202560 2029 0 0 0 5 0 0 0 16 0 20 0 22612251 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28510] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28510/stat : 28510 (java) S 28497 28499 28212 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 20 0 22612252 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28511] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28511/stat : 28511 (java) S 28497 28499 28212 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 20 0 22612252 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28512] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28512/stat : 28512 (java) S 28497 28499 28212 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 20 0 22612252 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28513] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28513/stat : 28513 (java) S 28497 28499 28212 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 22612254 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28514] ppid=28497 vsize=1545576 CPUtime=1.27
/proc/28499/task/28514/stat : 28514 (java) S 28497 28499 28212 0 -1 4202560 2463 0 0 0 127 0 0 0 15 0 20 0 22612254 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28515] ppid=28497 vsize=1545576 CPUtime=1.25
/proc/28499/task/28515/stat : 28515 (java) S 28497 28499 28212 0 -1 4202560 7179 0 0 0 124 1 0 0 16 0 20 0 22612254 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28516] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28516/stat : 28516 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 22612254 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28517] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28517/stat : 28517 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 22612254 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28524] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28524/stat : 28524 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 22612344 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28525] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28525/stat : 28525 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 22612344 1582669824 51607 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.71
Current children cumulated vsize (KiB) 1545576

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

[startup+14.3078 s]
/proc/loadavg: 0.33 0.13 0.60 4/219 28612
/proc/meminfo: memFree=29359396/32950928 swapFree=67111528/67111528
[pid=28499] ppid=28497 vsize=1545576 CPUtime=11.42
/proc/28499/stat : 28499 (java) S 28497 28499 28212 0 -1 4202496 58185 0 1 0 1131 11 0 0 20 0 20 0 22612250 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28499/statm: 386394 52130 1448 10 0 383697 0
[pid=28499/tid=28500] ppid=28497 vsize=1545576 CPUtime=3.15
/proc/28499/task/28500/stat : 28500 (java) S 28497 28499 28212 0 -1 4202560 32083 0 1 0 311 4 0 0 18 0 20 0 22612250 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28502] ppid=28497 vsize=1545576 CPUtime=0.04
/proc/28499/task/28502/stat : 28502 (java) S 28497 28499 28212 0 -1 4202560 2260 0 0 0 4 0 0 0 16 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28503] ppid=28497 vsize=1545576 CPUtime=0.06
/proc/28499/task/28503/stat : 28503 (java) S 28497 28499 28212 0 -1 4202560 2079 0 0 0 6 0 0 0 16 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 4 0 0 0
[pid=28499/tid=28504] ppid=28497 vsize=1545576 CPUtime=0.04
/proc/28499/task/28504/stat : 28504 (java) S 28497 28499 28212 0 -1 4202560 2205 0 0 0 4 0 0 0 15 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28505] ppid=28497 vsize=1545576 CPUtime=0.07
/proc/28499/task/28505/stat : 28505 (java) S 28497 28499 28212 0 -1 4202560 2290 0 0 0 7 0 0 0 15 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 0 0 0 0
[pid=28499/tid=28506] ppid=28497 vsize=1545576 CPUtime=0.05
/proc/28499/task/28506/stat : 28506 (java) S 28497 28499 28212 0 -1 4202560 1487 0 0 0 5 0 0 0 16 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28507] ppid=28497 vsize=1545576 CPUtime=0.05
/proc/28499/task/28507/stat : 28507 (java) S 28497 28499 28212 0 -1 4202560 1420 0 0 0 5 0 0 0 15 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28508] ppid=28497 vsize=1545576 CPUtime=0.05
/proc/28499/task/28508/stat : 28508 (java) S 28497 28499 28212 0 -1 4202560 1497 0 0 0 5 0 0 0 15 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 5 0 0 0
[pid=28499/tid=28509] ppid=28497 vsize=1545576 CPUtime=0.06
/proc/28499/task/28509/stat : 28509 (java) S 28497 28499 28212 0 -1 4202560 2049 0 0 0 6 0 0 0 15 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28510] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28510/stat : 28510 (java) S 28497 28499 28212 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 20 0 22612252 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28511] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28511/stat : 28511 (java) S 28497 28499 28212 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 20 0 22612252 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28512] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28512/stat : 28512 (java) S 28497 28499 28212 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 20 0 22612252 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28513] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28513/stat : 28513 (java) S 28497 28499 28212 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 22612254 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28514] ppid=28497 vsize=1545576 CPUtime=1.28
/proc/28499/task/28514/stat : 28514 (java) S 28497 28499 28212 0 -1 4202560 2463 0 0 0 128 0 0 0 15 0 20 0 22612254 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28515] ppid=28497 vsize=1545576 CPUtime=1.25
/proc/28499/task/28515/stat : 28515 (java) S 28497 28499 28212 0 -1 4202560 7179 0 0 0 124 1 0 0 16 0 20 0 22612254 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28516] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28516/stat : 28516 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 22612254 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28517] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28517/stat : 28517 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 22612254 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28524] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28524/stat : 28524 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 22612344 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28525] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28525/stat : 28525 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 22612344 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.42
Current children cumulated vsize (KiB) 1545576

[startup+15.1007 s]
/proc/loadavg: 0.33 0.13 0.60 4/219 28612
/proc/meminfo: memFree=29359396/32950928 swapFree=67111528/67111528
[pid=28499] ppid=28497 vsize=1545576 CPUtime=11.42
/proc/28499/stat : 28499 (java) S 28497 28499 28212 0 -1 4202496 58185 0 1 0 1131 11 0 0 20 0 20 0 22612250 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28499/statm: 386394 52130 1448 10 0 383697 0
[pid=28499/tid=28500] ppid=28497 vsize=1545576 CPUtime=3.15
/proc/28499/task/28500/stat : 28500 (java) S 28497 28499 28212 0 -1 4202560 32083 0 1 0 311 4 0 0 18 0 20 0 22612250 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28502] ppid=28497 vsize=1545576 CPUtime=0.04
/proc/28499/task/28502/stat : 28502 (java) S 28497 28499 28212 0 -1 4202560 2260 0 0 0 4 0 0 0 16 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28503] ppid=28497 vsize=1545576 CPUtime=0.06
/proc/28499/task/28503/stat : 28503 (java) S 28497 28499 28212 0 -1 4202560 2079 0 0 0 6 0 0 0 16 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 4 0 0 0
[pid=28499/tid=28504] ppid=28497 vsize=1545576 CPUtime=0.04
/proc/28499/task/28504/stat : 28504 (java) S 28497 28499 28212 0 -1 4202560 2205 0 0 0 4 0 0 0 15 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28505] ppid=28497 vsize=1545576 CPUtime=0.07
/proc/28499/task/28505/stat : 28505 (java) S 28497 28499 28212 0 -1 4202560 2290 0 0 0 7 0 0 0 15 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 0 0 0 0
[pid=28499/tid=28506] ppid=28497 vsize=1545576 CPUtime=0.05
/proc/28499/task/28506/stat : 28506 (java) S 28497 28499 28212 0 -1 4202560 1487 0 0 0 5 0 0 0 16 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28507] ppid=28497 vsize=1545576 CPUtime=0.05
/proc/28499/task/28507/stat : 28507 (java) S 28497 28499 28212 0 -1 4202560 1420 0 0 0 5 0 0 0 15 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28508] ppid=28497 vsize=1545576 CPUtime=0.05
/proc/28499/task/28508/stat : 28508 (java) S 28497 28499 28212 0 -1 4202560 1497 0 0 0 5 0 0 0 15 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 5 0 0 0
[pid=28499/tid=28509] ppid=28497 vsize=1545576 CPUtime=0.06
/proc/28499/task/28509/stat : 28509 (java) S 28497 28499 28212 0 -1 4202560 2049 0 0 0 6 0 0 0 15 0 20 0 22612251 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28510] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28510/stat : 28510 (java) S 28497 28499 28212 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 20 0 22612252 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28511] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28511/stat : 28511 (java) S 28497 28499 28212 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 20 0 22612252 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28512] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28512/stat : 28512 (java) S 28497 28499 28212 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 20 0 22612252 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28513] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28513/stat : 28513 (java) S 28497 28499 28212 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 22612254 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28514] ppid=28497 vsize=1545576 CPUtime=1.28
/proc/28499/task/28514/stat : 28514 (java) S 28497 28499 28212 0 -1 4202560 2463 0 0 0 128 0 0 0 15 0 20 0 22612254 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28515] ppid=28497 vsize=1545576 CPUtime=1.25
/proc/28499/task/28515/stat : 28515 (java) S 28497 28499 28212 0 -1 4202560 7179 0 0 0 124 1 0 0 16 0 20 0 22612254 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28516] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28516/stat : 28516 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 22612254 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28517] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28517/stat : 28517 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 22612254 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28524] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28524/stat : 28524 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 22612344 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28525] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28525/stat : 28525 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 22612344 1582669824 52130 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.42
Current children cumulated vsize (KiB) 1545576

[startup+15.3006 s]
/proc/loadavg: 0.33 0.13 0.60 2/216 28615
/proc/meminfo: memFree=29360048/32950928 swapFree=67111528/67111528
[pid=28499] ppid=28497 vsize=1545576 CPUtime=11.52
/proc/28499/stat : 28499 (java) S 28497 28499 28212 0 -1 4202496 58197 0 1 0 1141 11 0 0 20 0 19 0 22612250 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28499/statm: 386394 52140 1448 10 0 383697 0
[pid=28499/tid=28500] ppid=28497 vsize=1545576 CPUtime=3.16
/proc/28499/task/28500/stat : 28500 (java) S 28497 28499 28212 0 -1 4202560 32087 0 1 0 312 4 0 0 18 0 19 0 22612250 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28502] ppid=28497 vsize=1545576 CPUtime=0.04
/proc/28499/task/28502/stat : 28502 (java) S 28497 28499 28212 0 -1 4202560 2260 0 0 0 4 0 0 0 16 0 19 0 22612251 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28503] ppid=28497 vsize=1545576 CPUtime=0.06
/proc/28499/task/28503/stat : 28503 (java) S 28497 28499 28212 0 -1 4202560 2079 0 0 0 6 0 0 0 16 0 19 0 22612251 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 4 0 0 0
[pid=28499/tid=28504] ppid=28497 vsize=1545576 CPUtime=0.04
/proc/28499/task/28504/stat : 28504 (java) S 28497 28499 28212 0 -1 4202560 2205 0 0 0 4 0 0 0 15 0 19 0 22612251 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28505] ppid=28497 vsize=1545576 CPUtime=0.07
/proc/28499/task/28505/stat : 28505 (java) S 28497 28499 28212 0 -1 4202560 2290 0 0 0 7 0 0 0 15 0 19 0 22612251 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 0 0 0 0
[pid=28499/tid=28506] ppid=28497 vsize=1545576 CPUtime=0.05
/proc/28499/task/28506/stat : 28506 (java) S 28497 28499 28212 0 -1 4202560 1487 0 0 0 5 0 0 0 16 0 19 0 22612251 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28507] ppid=28497 vsize=1545576 CPUtime=0.05
/proc/28499/task/28507/stat : 28507 (java) S 28497 28499 28212 0 -1 4202560 1420 0 0 0 5 0 0 0 15 0 19 0 22612251 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 3 0 0 0
[pid=28499/tid=28508] ppid=28497 vsize=1545576 CPUtime=0.05
/proc/28499/task/28508/stat : 28508 (java) S 28497 28499 28212 0 -1 4202560 1497 0 0 0 5 0 0 0 15 0 19 0 22612251 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 5 0 0 0
[pid=28499/tid=28509] ppid=28497 vsize=1545576 CPUtime=0.06
/proc/28499/task/28509/stat : 28509 (java) S 28497 28499 28212 0 -1 4202560 2049 0 0 0 6 0 0 0 15 0 19 0 22612251 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28510] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28510/stat : 28510 (java) S 28497 28499 28212 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 22612252 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 0 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28511] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28511/stat : 28511 (java) S 28497 28499 28212 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22612252 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28512] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28512/stat : 28512 (java) S 28497 28499 28212 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 22612252 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28513] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28513/stat : 28513 (java) S 28497 28499 28212 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 22612254 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28514] ppid=28497 vsize=1545576 CPUtime=1.31
/proc/28499/task/28514/stat : 28514 (java) S 28497 28499 28212 0 -1 4202560 2463 0 0 0 131 0 0 0 16 0 19 0 22612254 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 7 0 0 0
[pid=28499/tid=28515] ppid=28497 vsize=1545576 CPUtime=1.28
/proc/28499/task/28515/stat : 28515 (java) S 28497 28499 28212 0 -1 4202560 7183 0 0 0 127 1 0 0 15 0 19 0 22612254 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28516] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28516/stat : 28516 (java) S 28497 28499 28212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 22612254 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 2 0 0 0
[pid=28499/tid=28524] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28524/stat : 28524 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 22612344 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 1 0 0 0
[pid=28499/tid=28525] ppid=28497 vsize=1545576 CPUtime=0
/proc/28499/task/28525/stat : 28525 (java) S 28497 28499 28212 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 19 0 22612344 1582669824 52140 4089446400 134512640 134550932 4286626496 18446744073709551615 4294960144 0 4 0 16800975 18446604471125312576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 1545576

Child status: 30
Real time (s): 15.3187
CPU time (s): 11.5382
CPU user time (s): 11.4103
CPU system time (s): 0.12798
CPU usage (%): 75.3212
Max. virtual memory (cumulated for all children) (KiB): 1547824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.4103
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58197
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1147
involuntary context switches= 2679

runsolver used 0.042993 second user time and 0.06099 second system time

The end

Launcher Data 

Begin job on node149 at 2010-07-08 01:06:43
IDJOB=2694262
IDBENCH=79002
IDSOLVER=1207
FILE ID=node149/2694262-1278544003
PBS_JOBID= 11239448
Free space on /tmp= 73428 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-33-100-0.wbo
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694262-1278544003/watcher-2694262-1278544003 -o /tmp/evaluation-result-2694262-1278544003/solver-2694262-1278544003 -C 1800 -W 2000 -M 3800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694262-1278544003.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 61ba6fab23f29dcc6973b97e5631370e
RANDOM SEED=1468852657

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29728516 kB
Buffers:        155404 kB
Cached:        2824184 kB
SwapCached:          0 kB
Active:        1072008 kB
Inactive:      1984084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29728516 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1828 kB
Writeback:           0 kB
AnonPages:       76000 kB
Mapped:          19460 kB
Slab:           101804 kB
PageTables:       4896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1630296 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73428 MiB
End job on node149 at 2010-07-08 01:06:58