Trace number 2660491

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB CuttingPlanes 2.2.0 2010-05-26SAT (TO)2775 1800.41 1778.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark14.0239
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
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.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.16	c version 2.2.0.v20100526
0.08/0.16	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.16	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.16	c java.vm.version	11.2-b01
0.08/0.16	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.16	c sun.arch.data.model	32
0.08/0.16	c java.version		1.6.0_12
0.08/0.16	c os.name		Linux
0.08/0.16	c os.version		2.6.18-164.el5
0.08/0.16	c os.arch		i386
0.08/0.16	c Free memory 		1393557488
0.08/0.16	c Max memory 		1395916800
0.08/0.16	c Total memory 		1395916800
0.08/0.16	c Number of processors 	2
0.25/0.21	c Pseudo Boolean Optimization
0.25/0.21	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.25/0.21	c --- Begin Solver configuration ---
0.25/0.21	c Stops conflict analysis at the first Unique Implication Point
0.25/0.21	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@16fd0b7
0.25/0.21	c Learn all clauses as in MiniSAT
0.25/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.21	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.25/0.21	c No reason simplification
0.25/0.21	c Armin Biere (Picosat) restarts strategy
0.25/0.21	c Glucose learned constraints deletion strategy
0.25/0.21	c timeout=2147483s
0.25/0.21	c DB Simplification allowed=false
0.25/0.21	c --- End Solver configuration ---
0.25/0.21	c solving HOME/instance-2660491-1276484865.opb
0.25/0.21	c reading problem ... 
1.90/1.19	c ... done. Wall clock time 0.981s.
1.90/1.19	c #vars     8405
1.90/1.19	c #constraints  11367
1.90/1.19	c constraints type 
1.90/1.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9918
1.90/1.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 700
1.90/1.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 748
5.31/3.07	c SATISFIABLE
5.31/3.07	c OPTIMIZING...
5.31/3.07	c Got one! Elapsed wall clock time (in seconds):2.861
5.31/3.07	o 2913
1656.44/1636.70	c Got one! Elapsed wall clock time (in seconds):1636.496
1656.55/1636.70	o 2775
1800.09/1778.52	c starts		: 12
1800.09/1778.52	c conflicts		: 1520
1800.09/1778.52	c decisions		: 136728
1800.09/1778.52	c propagations		: 445161
1800.09/1778.52	c inspects		: 27899747
1800.09/1778.52	c learnt literals	: 0
1800.09/1778.52	c learnt binary clauses	: 0
1800.09/1778.52	c learnt ternary clauses	: 0
1800.09/1778.52	c learnt clauses	: 1519
1800.09/1778.52	c ignored clauses	: 0
1800.09/1778.52	c root simplifications	: 0
1800.09/1778.52	c removed literals (reason simplification)	: 0
1800.09/1778.52	c reason swapping (by a shorter reason)	: 0
1800.09/1778.52	c Calls to reduceDB	: 0
1800.09/1778.52	c number of reductions to clauses (during analyze)	: 0
1800.09/1778.52	c number of learned constraints concerned by reduction	: 0
1800.09/1778.52	c number of learning phase by resolution	: 0
1800.09/1778.52	c number of learning phase by cutting planes	: 0
1800.09/1778.52	c speed (assignments/second)	: 3139.8232460378476
1800.09/1778.52	c non guided choices	233
1800.09/1778.52	c learnt constraints type 
1800.09/1778.52	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 249
1800.09/1778.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 110
1800.09/1778.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1160
1800.09/1778.52	c constraints type 
1800.09/1778.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9918
1800.09/1778.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 700
1800.09/1778.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 748
1800.09/1778.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.09/1778.52	s SATISFIABLE
1800.09/1778.59	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 
1800.30/1778.63	c objective function=2775
1800.30/1778.63	c Total wall clock time (in seconds): 1778.419

Verifier Data 

OK	2775

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2660491-1276484865/watcher-2660491-1276484865 -o /tmp/evaluation-result-2660491-1276484865/solver-2660491-1276484865 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660491-1276484865.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.01 1.03 1.08 3/106 28307
/proc/meminfo: memFree=1748116/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1752 CPUtime=0
/proc/28307/stat : 28307 (java6) R 28305 28307 27326 0 -1 4194304 151 0 0 0 0 0 0 0 19 0 1 0 22142858 1794048 70 1992294400 134512640 134550932 4286886432 18446744073709551615 5097904 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28307/statm: 438 78 62 10 0 30 0

[startup+0.0311229 s]
/proc/loadavg: 1.01 1.03 1.08 3/106 28307
/proc/meminfo: memFree=1748116/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1517712 CPUtime=0.01
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 2620 0 1 0 0 1 0 0 18 0 3 0 22142858 1554137088 2064 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 379428 2064 419 10 0 377139 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1517712

[startup+0.100859 s]
/proc/loadavg: 1.01 1.03 1.08 3/106 28307
/proc/meminfo: memFree=1748116/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1524184 CPUtime=0.08
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 3947 0 1 0 6 2 0 0 18 0 12 0 22142858 1560764416 3386 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 381046 3386 1075 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524184

[startup+0.300815 s]
/proc/loadavg: 1.01 1.03 1.08 3/106 28307
/proc/meminfo: memFree=1748116/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1525928 CPUtime=0.36
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 5392 0 1 0 33 3 0 0 18 0 12 0 22142858 1562550272 4828 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 381482 4828 1363 10 0 378784 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1525928

[startup+0.700806 s]
/proc/loadavg: 1.01 1.03 1.08 3/106 28307
/proc/meminfo: memFree=1748116/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1530320 CPUtime=1.16
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 9508 0 1 0 111 5 0 0 18 0 12 0 22142858 1567047680 8524 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 382580 8526 1397 10 0 379882 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 1530320

[startup+1.50079 s]
/proc/loadavg: 1.01 1.03 1.08 4/118 28319
/proc/meminfo: memFree=1707348/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1530568 CPUtime=2.64
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 16182 0 1 0 256 8 0 0 18 0 12 0 22142858 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 382642 14897 1421 10 0 379944 0
[pid=28307/tid=28309] ppid=28305 vsize=1530568 CPUtime=1.45
/proc/28307/task/28309/stat : 28309 (java) R 28305 28307 27326 0 -1 4202560 12573 0 1 0 139 6 0 0 18 0 12 0 22142860 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 103474912 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28307/tid=28310] ppid=28305 vsize=1530568 CPUtime=0
/proc/28307/task/28310/stat : 28310 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 12 0 22142861 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28311] ppid=28305 vsize=1530568 CPUtime=0
/proc/28307/task/28311/stat : 28311 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 22142861 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28312] ppid=28305 vsize=1530568 CPUtime=0
/proc/28307/task/28312/stat : 28312 (java) S 28305 28307 27326 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 22142863 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28313] ppid=28305 vsize=1530568 CPUtime=0
/proc/28307/task/28313/stat : 28313 (java) S 28305 28307 27326 0 -1 4202560 9 0 0 0 0 0 0 0 23 0 12 0 22142863 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28314] ppid=28305 vsize=1530568 CPUtime=0
/proc/28307/task/28314/stat : 28314 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 22142864 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28315] ppid=28305 vsize=1530568 CPUtime=0
/proc/28307/task/28315/stat : 28315 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 22142868 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28316] ppid=28305 vsize=1530568 CPUtime=0.66
/proc/28307/task/28316/stat : 28316 (java) R 28305 28307 27326 0 -1 4202560 673 0 0 0 66 0 0 0 24 0 12 0 22142868 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 103148799 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28307/tid=28317] ppid=28305 vsize=1530568 CPUtime=0.5
/proc/28307/task/28317/stat : 28317 (java) R 28305 28307 27326 0 -1 4202560 1871 0 0 0 50 0 0 0 25 0 12 0 22142868 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 104163883 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28307/tid=28318] ppid=28305 vsize=1530568 CPUtime=0
/proc/28307/task/28318/stat : 28318 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 22142868 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28319] ppid=28305 vsize=1530568 CPUtime=0
/proc/28307/task/28319/stat : 28319 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 22142868 1567301632 14897 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 1530568

[startup+3.10176 s]
/proc/loadavg: 1.17 1.07 1.09 5/119 28320
/proc/meminfo: memFree=1687872/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1531060 CPUtime=5.45
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 21579 0 1 0 535 10 0 0 18 0 13 0 22142858 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 382765 19724 1432 10 0 380067 0
[pid=28307/tid=28309] ppid=28305 vsize=1531060 CPUtime=3.04
/proc/28307/task/28309/stat : 28309 (java) R 28305 28307 27326 0 -1 4202560 17246 0 1 0 297 7 0 0 21 0 13 0 22142860 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4109641915 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28307/tid=28310] ppid=28305 vsize=1531060 CPUtime=0
/proc/28307/task/28310/stat : 28310 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 22142861 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28311] ppid=28305 vsize=1531060 CPUtime=0
/proc/28307/task/28311/stat : 28311 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 22142861 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28312] ppid=28305 vsize=1531060 CPUtime=0
/proc/28307/task/28312/stat : 28312 (java) S 28305 28307 27326 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 22142863 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28313] ppid=28305 vsize=1531060 CPUtime=0
/proc/28307/task/28313/stat : 28313 (java) S 28305 28307 27326 0 -1 4202560 9 0 0 0 0 0 0 0 23 0 13 0 22142863 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28314] ppid=28305 vsize=1531060 CPUtime=0
/proc/28307/task/28314/stat : 28314 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 22142864 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28315] ppid=28305 vsize=1531060 CPUtime=0
/proc/28307/task/28315/stat : 28315 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28316] ppid=28305 vsize=1531060 CPUtime=1.21
/proc/28307/task/28316/stat : 28316 (java) R 28305 28307 27326 0 -1 4202560 941 0 0 0 121 0 0 0 17 0 13 0 22142868 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 103389128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28307/tid=28317] ppid=28305 vsize=1531060 CPUtime=1.16
/proc/28307/task/28317/stat : 28317 (java) R 28305 28307 27326 0 -1 4202560 2323 0 0 0 116 0 0 0 23 0 13 0 22142868 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28307/tid=28318] ppid=28305 vsize=1531060 CPUtime=0
/proc/28307/task/28318/stat : 28318 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28319] ppid=28305 vsize=1531060 CPUtime=0
/proc/28307/task/28319/stat : 28319 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 22142868 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28320] ppid=28305 vsize=1531060 CPUtime=0
/proc/28307/task/28320/stat : 28320 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 22143021 1567805440 19724 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 1531060

[startup+6.30169 s]
/proc/loadavg: 1.17 1.07 1.09 2/119 28320
/proc/meminfo: memFree=1648812/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1532084 CPUtime=9.3
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 29333 0 1 0 917 13 0 0 18 0 13 0 22142858 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 383021 26546 1432 10 0 380323 0
[pid=28307/tid=28309] ppid=28305 vsize=1532084 CPUtime=6.22
/proc/28307/task/28309/stat : 28309 (java) R 28305 28307 27326 0 -1 4202560 23735 0 1 0 612 10 0 0 25 0 13 0 22142860 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4110025156 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28307/tid=28310] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28310/stat : 28310 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 22142861 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28311] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28311/stat : 28311 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 22142861 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28312] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28312/stat : 28312 (java) S 28305 28307 27326 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 13 0 22142863 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28313] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28313/stat : 28313 (java) S 28305 28307 27326 0 -1 4202560 9 0 0 0 0 0 0 0 23 0 13 0 22142863 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28314] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28314/stat : 28314 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 22142864 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28315] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28315/stat : 28315 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28316] ppid=28305 vsize=1532084 CPUtime=1.76
/proc/28307/task/28316/stat : 28316 (java) S 28305 28307 27326 0 -1 4202560 2202 0 0 0 175 1 0 0 15 0 13 0 22142868 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28317] ppid=28305 vsize=1532084 CPUtime=1.29
/proc/28307/task/28317/stat : 28317 (java) S 28305 28307 27326 0 -1 4202560 2327 0 0 0 129 0 0 0 15 0 13 0 22142868 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28318] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28318/stat : 28318 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28319] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28319/stat : 28319 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 22142868 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28320] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28320/stat : 28320 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 22143021 1568854016 26546 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (KiB) 1532084

[startup+12.7016 s]
/proc/loadavg: 1.14 1.06 1.08 2/119 28320
/proc/meminfo: memFree=1624012/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1532084 CPUtime=15.8
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 35516 0 1 0 1564 16 0 0 18 0 13 0 22142858 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 383021 32728 1432 10 0 380323 0
[pid=28307/tid=28309] ppid=28305 vsize=1532084 CPUtime=12.6
/proc/28307/task/28309/stat : 28309 (java) R 28305 28307 27326 0 -1 4202560 29909 0 1 0 1247 13 0 0 25 0 13 0 22142860 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4110024922 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28307/tid=28310] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28310/stat : 28310 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 22142861 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28311] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28311/stat : 28311 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 22142861 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28312] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28312/stat : 28312 (java) S 28305 28307 27326 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 22142863 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28313] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28313/stat : 28313 (java) S 28305 28307 27326 0 -1 4202560 9 0 0 0 0 0 0 0 23 0 13 0 22142863 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28314] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28314/stat : 28314 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 22142864 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28315] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28315/stat : 28315 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28316] ppid=28305 vsize=1532084 CPUtime=1.85
/proc/28307/task/28316/stat : 28316 (java) S 28305 28307 27326 0 -1 4202560 2209 0 0 0 184 1 0 0 15 0 13 0 22142868 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28317] ppid=28305 vsize=1532084 CPUtime=1.32
/proc/28307/task/28317/stat : 28317 (java) S 28305 28307 27326 0 -1 4202560 2329 0 0 0 132 0 0 0 15 0 13 0 22142868 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28318] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28318/stat : 28318 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28319] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28319/stat : 28319 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 22142868 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28320] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28320/stat : 28320 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 22143021 1568854016 32728 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 15.8
Current children cumulated vsize (KiB) 1532084

[startup+25.5013 s]
/proc/loadavg: 1.12 1.06 1.08 2/119 28322
/proc/meminfo: memFree=1604420/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1532084 CPUtime=28.63
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 39853 0 1 0 2845 18 0 0 18 0 13 0 22142858 1568854016 37041 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 383021 37041 1441 10 0 380323 0
[pid=28307/tid=28309] ppid=28305 vsize=1532084 CPUtime=25.34
/proc/28307/task/28309/stat : 28309 (java) R 28305 28307 27326 0 -1 4202560 32069 0 1 0 2521 13 0 0 25 0 13 0 22142860 1568854016 37041 1992294400 134512640 134550932 4289305024 18446744073709551615 4110024709 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28307/tid=28310] ppid=28305 vsize=1532084 CPUtime=0.03
/proc/28307/task/28310/stat : 28310 (java) S 28305 28307 27326 0 -1 4202560 1065 0 0 0 3 0 0 0 18 0 13 0 22142861 1568854016 37041 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28311] ppid=28305 vsize=1532084 CPUtime=0.03
/proc/28307/task/28311/stat : 28311 (java) S 28305 28307 27326 0 -1 4202560 1104 0 0 0 3 0 0 0 18 0 13 0 22142861 1568854016 37041 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28312] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28312/stat : 28312 (java) S 28305 28307 27326 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 13 0 22142863 1568854016 37041 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28313] ppid=28305 vsize=1532084 CPUtime=0

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

[pid=28307/tid=28315] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28315/stat : 28315 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 157581 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28316] ppid=28305 vsize=1532084 CPUtime=2.54
/proc/28307/task/28316/stat : 28316 (java) S 28305 28307 27326 0 -1 4202560 3998 0 0 0 252 2 0 0 16 0 13 0 22142868 1568854016 157581 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28317] ppid=28305 vsize=1532084 CPUtime=1.37
/proc/28307/task/28317/stat : 28317 (java) S 28305 28307 27326 0 -1 4202560 2329 0 0 0 137 0 0 0 15 0 13 0 22142868 1568854016 157581 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28318] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28318/stat : 28318 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 157581 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28319] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28319/stat : 28319 (java) S 28305 28307 27326 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 13 0 22142868 1568854016 157581 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28320] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28320/stat : 28320 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 22143021 1568854016 157581 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1622.01
Current children cumulated vsize (KiB) 1532084

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.01 2/119 28364
/proc/meminfo: memFree=1114124/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1532084 CPUtime=1682.23
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 181092 0 1 0 168098 125 0 0 18 0 13 0 22142858 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 383021 158917 1445 10 0 380323 0
[pid=28307/tid=28309] ppid=28305 vsize=1532084 CPUtime=1643.69
/proc/28307/task/28309/stat : 28309 (java) R 28305 28307 27326 0 -1 4202560 33817 0 1 0 164342 27 0 0 25 0 13 0 22142860 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4110135565 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28307/tid=28310] ppid=28305 vsize=1532084 CPUtime=17.06
/proc/28307/task/28310/stat : 28310 (java) S 28305 28307 27326 0 -1 4202560 67151 0 0 0 1670 36 0 0 16 0 13 0 22142861 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28311] ppid=28305 vsize=1532084 CPUtime=17.05
/proc/28307/task/28311/stat : 28311 (java) S 28305 28307 27326 0 -1 4202560 72518 0 0 0 1662 43 0 0 16 0 13 0 22142861 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28312] ppid=28305 vsize=1532084 CPUtime=0.39
/proc/28307/task/28312/stat : 28312 (java) S 28305 28307 27326 0 -1 4202560 111 0 0 0 27 12 0 0 15 0 13 0 22142863 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28313] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28313/stat : 28313 (java) S 28305 28307 27326 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 22142863 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28314] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28314/stat : 28314 (java) S 28305 28307 27326 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 22142864 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28315] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28315/stat : 28315 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28316] ppid=28305 vsize=1532084 CPUtime=2.59
/proc/28307/task/28316/stat : 28316 (java) S 28305 28307 27326 0 -1 4202560 3999 0 0 0 257 2 0 0 15 0 13 0 22142868 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28317] ppid=28305 vsize=1532084 CPUtime=1.37
/proc/28307/task/28317/stat : 28317 (java) S 28305 28307 27326 0 -1 4202560 2329 0 0 0 137 0 0 0 15 0 13 0 22142868 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28318] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28318/stat : 28318 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28319] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28319/stat : 28319 (java) S 28305 28307 27326 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 22142868 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28320] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28320/stat : 28320 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 22143021 1568854016 158917 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1682.23
Current children cumulated vsize (KiB) 1532084

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 3/119 28366
/proc/meminfo: memFree=1106808/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1532084 CPUtime=1743.2
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 183241 0 1 0 174192 128 0 0 18 0 13 0 22142858 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 383021 160727 1445 10 0 380323 0
[pid=28307/tid=28309] ppid=28305 vsize=1532084 CPUtime=1702.62
/proc/28307/task/28309/stat : 28309 (java) R 28305 28307 27326 0 -1 4202560 33887 0 1 0 170235 27 0 0 25 0 13 0 22142860 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4109641922 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28307/tid=28310] ppid=28305 vsize=1532084 CPUtime=18.07
/proc/28307/task/28310/stat : 28310 (java) S 28305 28307 27326 0 -1 4202560 68070 0 0 0 1770 37 0 0 15 0 13 0 22142861 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28311] ppid=28305 vsize=1532084 CPUtime=18.06
/proc/28307/task/28311/stat : 28311 (java) S 28305 28307 27326 0 -1 4202560 73672 0 0 0 1762 44 0 0 16 0 13 0 22142861 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28312] ppid=28305 vsize=1532084 CPUtime=0.4
/proc/28307/task/28312/stat : 28312 (java) S 28305 28307 27326 0 -1 4202560 115 0 0 0 27 13 0 0 15 0 13 0 22142863 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28313] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28313/stat : 28313 (java) S 28305 28307 27326 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 22142863 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28314] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28314/stat : 28314 (java) S 28305 28307 27326 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 22142864 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28315] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28315/stat : 28315 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28316] ppid=28305 vsize=1532084 CPUtime=2.59
/proc/28307/task/28316/stat : 28316 (java) S 28305 28307 27326 0 -1 4202560 3999 0 0 0 257 2 0 0 15 0 13 0 22142868 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28317] ppid=28305 vsize=1532084 CPUtime=1.37
/proc/28307/task/28317/stat : 28317 (java) S 28305 28307 27326 0 -1 4202560 2329 0 0 0 137 0 0 0 15 0 13 0 22142868 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28318] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28318/stat : 28318 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28319] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28319/stat : 28319 (java) S 28305 28307 27326 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 22142868 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28320] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28320/stat : 28320 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 22143021 1568854016 160727 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1743.2
Current children cumulated vsize (KiB) 1532084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.5 s]
/proc/loadavg: 1.08 1.02 1.01 2/119 28368
/proc/meminfo: memFree=1095400/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1532084 CPUtime=1800.09
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 186442 0 1 0 179877 132 0 0 18 0 13 0 22142858 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 383021 163553 1445 10 0 380323 0
[pid=28307/tid=28309] ppid=28305 vsize=1532084 CPUtime=1758.05
/proc/28307/task/28309/stat : 28309 (java) R 28305 28307 27326 0 -1 4202560 33926 0 1 0 175778 27 0 0 25 0 13 0 22142860 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4110135429 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28307/tid=28310] ppid=28305 vsize=1532084 CPUtime=18.8
/proc/28307/task/28310/stat : 28310 (java) S 28305 28307 27326 0 -1 4202560 69800 0 0 0 1840 40 0 0 15 0 13 0 22142861 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28311] ppid=28305 vsize=1532084 CPUtime=18.79
/proc/28307/task/28311/stat : 28311 (java) S 28305 28307 27326 0 -1 4202560 75096 0 0 0 1834 45 0 0 16 0 13 0 22142861 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28312] ppid=28305 vsize=1532084 CPUtime=0.41
/proc/28307/task/28312/stat : 28312 (java) S 28305 28307 27326 0 -1 4202560 119 0 0 0 28 13 0 0 15 0 13 0 22142863 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28313] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28313/stat : 28313 (java) S 28305 28307 27326 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 22142863 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28314] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28314/stat : 28314 (java) S 28305 28307 27326 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 22142864 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28315] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28315/stat : 28315 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28316] ppid=28305 vsize=1532084 CPUtime=2.59
/proc/28307/task/28316/stat : 28316 (java) S 28305 28307 27326 0 -1 4202560 3999 0 0 0 257 2 0 0 15 0 13 0 22142868 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28317] ppid=28305 vsize=1532084 CPUtime=1.37
/proc/28307/task/28317/stat : 28317 (java) S 28305 28307 27326 0 -1 4202560 2329 0 0 0 137 0 0 0 15 0 13 0 22142868 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28318] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28318/stat : 28318 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 22142868 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28319] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28319/stat : 28319 (java) S 28305 28307 27326 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 13 0 22142868 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28320] ppid=28305 vsize=1532084 CPUtime=0
/proc/28307/task/28320/stat : 28320 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 22143021 1568854016 163553 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1532084

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

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

[startup+1778.62 s]
/proc/loadavg: 1.08 1.02 1.01 3/122 28371
/proc/meminfo: memFree=1095128/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=1532732 CPUtime=1800.3
/proc/28307/stat : 28307 (java) S 28305 28307 27326 0 -1 4202496 186462 0 1 0 179898 132 0 0 18 0 15 0 22142858 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 383183 163573 1445 10 0 380485 0
[pid=28307/tid=28309] ppid=28305 vsize=1532732 CPUtime=1758.16
/proc/28307/task/28309/stat : 28309 (java) R 28305 28307 27326 0 -1 4202560 33926 0 1 0 175789 27 0 0 25 0 15 0 22142860 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4110107749 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28307/tid=28310] ppid=28305 vsize=1532732 CPUtime=18.8
/proc/28307/task/28310/stat : 28310 (java) S 28305 28307 27326 0 -1 4202560 69800 0 0 0 1840 40 0 0 15 0 15 0 22142861 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28311] ppid=28305 vsize=1532732 CPUtime=18.79
/proc/28307/task/28311/stat : 28311 (java) S 28305 28307 27326 0 -1 4202560 75096 0 0 0 1834 45 0 0 16 0 15 0 22142861 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28312] ppid=28305 vsize=1532732 CPUtime=0.41
/proc/28307/task/28312/stat : 28312 (java) S 28305 28307 27326 0 -1 4202560 119 0 0 0 28 13 0 0 15 0 15 0 22142863 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 0 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28313] ppid=28305 vsize=1532732 CPUtime=0
/proc/28307/task/28313/stat : 28313 (java) S 28305 28307 27326 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 15 0 22142863 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28314] ppid=28305 vsize=1532732 CPUtime=0
/proc/28307/task/28314/stat : 28314 (java) S 28305 28307 27326 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 15 0 22142864 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28315] ppid=28305 vsize=1532732 CPUtime=0
/proc/28307/task/28315/stat : 28315 (java) S 28305 28307 27326 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 15 0 22142868 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28316] ppid=28305 vsize=1532732 CPUtime=2.66
/proc/28307/task/28316/stat : 28316 (java) S 28305 28307 27326 0 -1 4202560 4001 0 0 0 264 2 0 0 15 0 15 0 22142868 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28317] ppid=28305 vsize=1532732 CPUtime=1.37
/proc/28307/task/28317/stat : 28317 (java) S 28305 28307 27326 0 -1 4202560 2329 0 0 0 137 0 0 0 15 0 15 0 22142868 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28318] ppid=28305 vsize=1532732 CPUtime=0
/proc/28307/task/28318/stat : 28318 (java) S 28305 28307 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 22142868 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28319] ppid=28305 vsize=1532732 CPUtime=0
/proc/28307/task/28319/stat : 28319 (java) S 28305 28307 27326 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 15 0 22142868 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28320] ppid=28305 vsize=1532732 CPUtime=0
/proc/28307/task/28320/stat : 28320 (java) S 28305 28307 27326 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 15 0 22143021 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 1 0 0 0
[pid=28307/tid=28370] ppid=28305 vsize=1532732 CPUtime=0
/proc/28307/task/28370/stat : 28370 (java) S 28305 28307 27326 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 15 0 22320710 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 18446604437858085696 0 0 -1 0 0 0 0
[pid=28307/tid=28371] ppid=28305 vsize=1532732 CPUtime=0.02
/proc/28307/task/28371/stat : 28371 (java) R 28305 28307 27326 0 -1 4202560 5 0 0 0 2 0 0 0 19 0 15 0 22320710 1569517568 163573 1992294400 134512640 134550932 4289305024 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 1532732

[startup+1778.71 s]
/proc/loadavg: 1.08 1.02 1.01 3/122 28371
/proc/meminfo: memFree=1095128/2059040 swapFree=4140228/4192956
[pid=28307] ppid=28305 vsize=0 CPUtime=1800.39
/proc/28307/stat : 28307 (java) Z 28305 28307 27326 0 -1 4203548 186465 0 1 0 179902 137 0 0 16 0 2 0 22142858 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28307/statm: 0 0 0 0 0 0 0
[pid=28307/tid=28318] ppid=28305 vsize=0 CPUtime=0.04
/proc/28307/task/28318/stat : 28318 (java) R 28305 28307 27326 0 -1 4203588 1 0 0 0 0 4 0 0 18 0 2 0 22142868 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1778.72
CPU time (s): 1800.41
CPU user time (s): 1799.02
CPU system time (s): 1.38679
CPU usage (%): 101.219
Max. virtual memory (cumulated for all children) (KiB): 1537200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.38679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186465
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= 53530
involuntary context switches= 44349

runsolver used 3.64844 second user time and 9.64353 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-14 05:07:45
IDJOB=2660491
IDBENCH=2233
IDSOLVER=1165
FILE ID=node018/2660491-1276484865
PBS_JOBID= 11173380
Free space on /tmp= 62368 MiB

SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2660491-1276484865/watcher-2660491-1276484865 -o /tmp/evaluation-result-2660491-1276484865/solver-2660491-1276484865 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660491-1276484865.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1692961377

node018.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1748388 kB
Buffers:         99324 kB
Cached:         120292 kB
SwapCached:       5768 kB
Active:          96896 kB
Inactive:       135208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1748388 kB
SwapTotal:     4192956 kB
SwapFree:      4140228 kB
Dirty:             812 kB
Writeback:           0 kB
AnonPages:       11120 kB
Mapped:          12928 kB
Slab:            56568 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181004 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62368 MiB
End job on node018 at 2010-06-14 05:37:26