Trace number 3456324

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 CuttingPlanes 2.3.0SAT (TO)23 1800.32 1790.95

General information on the benchmark

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

Verifier Data 

OK	23

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456324-1307224850/watcher-3456324-1307224850 -o /tmp/evaluation-result-3456324-1307224850/solver-3456324-1307224850 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456324-1307224850.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.09 2.06 2.01 2/532 31939
/proc/meminfo: memFree=17836052/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31939/stat : 31939 (java) S 31937 31939 31003 0 -1 4202496 6441 0 1 0 0 0 0 0 25 0 2 0 814900622 10694979584 6143 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 2611079 6155 917 9 0 2602235 0
[pid=31939/tid=31940] ppid=31937 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31940/stat : 31940 (java) R 31937 31939 31003 0 -1 4202560 5387 0 1 0 0 0 0 0 25 0 2 0 814900623 10694979584 6204 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0574899 s]
/proc/loadavg: 2.09 2.06 2.01 2/532 31939
/proc/meminfo: memFree=17836052/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/31939/stat : 31939 (java) S 31937 31939 31003 0 -1 4202496 11489 0 1 0 3 1 0 0 25 0 13 0 814900622 10718838784 11186 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738207717 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 2616904 11187 1685 9 0 2607652 0
[pid=31939/tid=31940] ppid=31937 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/31939/task/31940/stat : 31940 (java) R 31937 31939 31003 0 -1 4202560 10343 0 1 0 3 1 0 0 25 0 13 0 814900623 10718838784 11187 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 47913085897790 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616

[startup+0.100481 s]
/proc/loadavg: 2.09 2.06 2.01 2/532 31939
/proc/meminfo: memFree=17836052/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=10539904 CPUtime=0.1 cores=1,3,5,7
/proc/31939/stat : 31939 (java) S 31937 31939 31003 0 -1 4202496 13034 0 1 0 9 1 0 0 25 0 18 0 814900622 10792861696 12694 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 2634976 12694 2092 9 0 2625710 0
[pid=31939/tid=31940] ppid=31937 vsize=10539904 CPUtime=0.08 cores=1,3,5,7
/proc/31939/task/31940/stat : 31940 (java) R 31937 31939 31003 0 -1 4202560 11088 0 1 0 7 1 0 0 18 0 18 0 814900623 10792861696 12694 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 46912496218184 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539904

[startup+0.311406 s]
/proc/loadavg: 2.09 2.06 2.01 2/532 31939
/proc/meminfo: memFree=17836052/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=10540984 CPUtime=0.53 cores=1,3,5,7
/proc/31939/stat : 31939 (java) S 31937 31939 31003 0 -1 4202496 16729 0 1 0 51 2 0 0 25 0 18 0 814900622 10793967616 15862 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 2635246 15865 2201 9 0 2625980 0
[pid=31939/tid=31940] ppid=31937 vsize=10540984 CPUtime=0.29 cores=1,3,5,7
/proc/31939/task/31940/stat : 31940 (java) R 31937 31939 31003 0 -1 4202560 13543 0 1 0 27 2 0 0 18 0 18 0 814900623 10793967616 15866 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 46912505557723 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10540984

[startup+0.700371 s]
/proc/loadavg: 2.09 2.06 2.01 2/532 31939
/proc/meminfo: memFree=17836052/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=10545412 CPUtime=1.42 cores=1,3,5,7
/proc/31939/stat : 31939 (java) S 31937 31939 31003 0 -1 4202496 38211 0 1 0 136 6 0 0 25 0 19 0 814900622 10798501888 36152 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 2636353 36155 2235 9 0 2627087 0
[pid=31939/tid=31940] ppid=31937 vsize=10545412 CPUtime=0.68 cores=1,3,5,7
/proc/31939/task/31940/stat : 31940 (java) R 31937 31939 31003 0 -1 4202560 31953 0 1 0 63 5 0 0 19 0 19 0 814900623 10798501888 36156 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 46912505901309 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10545412

[startup+1.50122 s]
/proc/loadavg: 2.09 2.06 2.01 4/551 31958
/proc/meminfo: memFree=17606200/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=10545992 CPUtime=2.53 cores=1,3,5,7
/proc/31939/stat : 31939 (java) S 31937 31939 31003 0 -1 4202496 111167 0 1 0 241 12 0 0 25 0 19 0 814900622 10799095808 108126 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 2636498 108129 2237 9 0 2627232 0
[pid=31939/tid=31940] ppid=31937 vsize=10545992 CPUtime=1.48 cores=1,3,5,7
/proc/31939/task/31940/stat : 31940 (java) R 31937 31939 31003 0 -1 4202560 103800 0 1 0 137 11 0 0 20 0 19 0 814900623 10799095808 108132 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 46912505901306 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31939/tid=31942] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31942/stat : 31942 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 108133 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31943] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31943/stat : 31943 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 108136 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31944] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31944/stat : 31944 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 108137 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31945] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31945/stat : 31945 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 108140 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31946] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31946/stat : 31946 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 108142 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31947] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31947/stat : 31947 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 108144 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31948] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31948/stat : 31948 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 108147 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31949] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31949/stat : 31949 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 108147 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31950] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31950/stat : 31950 (java) S 31937 31939 31003 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 814900626 10799095808 108151 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 0 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31951] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31951/stat : 31951 (java) S 31937 31939 31003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814900626 10799095808 108151 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31952] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31952/stat : 31952 (java) S 31937 31939 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814900626 10799095808 108154 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31953] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31953/stat : 31953 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900628 10799095808 108155 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738228657 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31954] ppid=31937 vsize=10545992 CPUtime=0.52 cores=1,3,5,7
/proc/31939/task/31954/stat : 31954 (java) S 31937 31939 31003 0 -1 4202560 2723 0 0 0 52 0 0 0 15 0 19 0 814900628 10799095808 108158 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31955] ppid=31937 vsize=10545992 CPUtime=0.5 cores=1,3,5,7
/proc/31939/task/31955/stat : 31955 (java) S 31937 31939 31003 0 -1 4202560 3490 0 0 0 50 0 0 0 15 0 19 0 814900629 10799095808 108160 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 3 0 0 0
[pid=31939/tid=31956] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31956/stat : 31956 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900629 10799095808 108161 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31957] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31957/stat : 31957 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814900629 10799095808 108165 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31958] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31958/stat : 31958 (java) S 31937 31939 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814900674 10799095808 108165 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 10545992

[startup+3.10092 s]
/proc/loadavg: 2.09 2.06 2.01 3/551 31958
/proc/meminfo: memFree=17090608/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=10545992 CPUtime=4.13 cores=1,3,5,7
/proc/31939/stat : 31939 (java) S 31937 31939 31003 0 -1 4202496 308376 0 1 0 382 31 0 0 25 0 19 0 814900622 10799095808 305334 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 2636498 305339 2237 9 0 2627232 0
[pid=31939/tid=31940] ppid=31937 vsize=10545992 CPUtime=3.08 cores=1,3,5,7
/proc/31939/task/31940/stat : 31940 (java) R 31937 31939 31003 0 -1 4202560 301009 0 1 0 278 30 0 0 20 0 19 0 814900623 10799095808 305341 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 46912505901329 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31939/tid=31942] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31942/stat : 31942 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 305343 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31943] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31943/stat : 31943 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 305345 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31944] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31944/stat : 31944 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 305347 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31945] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31945/stat : 31945 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 305350 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31946] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31946/stat : 31946 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 305352 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31947] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31947/stat : 31947 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 305355 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31948] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31948/stat : 31948 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 305357 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31949] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31949/stat : 31949 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900625 10799095808 305360 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31950] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31950/stat : 31950 (java) S 31937 31939 31003 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 814900626 10799095808 305362 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 0 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31951] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31951/stat : 31951 (java) S 31937 31939 31003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814900626 10799095808 305365 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31952] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31952/stat : 31952 (java) S 31937 31939 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814900626 10799095808 305367 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31953] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31953/stat : 31953 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900628 10799095808 305369 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738228657 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31954] ppid=31937 vsize=10545992 CPUtime=0.53 cores=1,3,5,7
/proc/31939/task/31954/stat : 31954 (java) S 31937 31939 31003 0 -1 4202560 2723 0 0 0 53 0 0 0 15 0 19 0 814900628 10799095808 305372 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31955] ppid=31937 vsize=10545992 CPUtime=0.5 cores=1,3,5,7
/proc/31939/task/31955/stat : 31955 (java) S 31937 31939 31003 0 -1 4202560 3490 0 0 0 50 0 0 0 15 0 19 0 814900629 10799095808 305374 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 3 0 0 0
[pid=31939/tid=31956] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31956/stat : 31956 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900629 10799095808 305377 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31957] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31957/stat : 31957 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814900629 10799095808 305379 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 3 0 0 0
[pid=31939/tid=31958] ppid=31937 vsize=10545992 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31958/stat : 31958 (java) S 31937 31939 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814900674 10799095808 305381 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 10545992

[startup+6.30131 s]
/proc/loadavg: 2.08 2.06 2.01 3/551 31958
/proc/meminfo: memFree=15586772/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=10545612 CPUtime=7.49 cores=1,3,5,7
/proc/31939/stat : 31939 (java) S 31937 31939 31003 0 -1 4202496 661562 0 1 0 683 66 0 0 25 0 19 0 814900622 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 2636403 657479 2251 9 0 2627137 0
[pid=31939/tid=31940] ppid=31937 vsize=10545612 CPUtime=6.26 cores=1,3,5,7
/proc/31939/task/31940/stat : 31940 (java) R 31937 31939 31003 0 -1 4202560 651040 0 1 0 562 64 0 0 23 0 19 0 814900623 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 46912505918248 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31939/tid=31942] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31942/stat : 31942 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814900625 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31943] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31943/stat : 31943 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814900625 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31944] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31944/stat : 31944 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814900625 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31945] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31945/stat : 31945 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814900625 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31946] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31946/stat : 31946 (java) S 31937 31939 31003 0 -1 4202560 510 0 0 0 0 0 0 0 18 0 19 0 814900625 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31947] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31947/stat : 31947 (java) S 31937 31939 31003 0 -1 4202560 662 0 0 0 0 0 0 0 18 0 19 0 814900625 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31948] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31948/stat : 31948 (java) S 31937 31939 31003 0 -1 4202560 641 0 0 0 0 0 0 0 18 0 19 0 814900625 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31949] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31949/stat : 31949 (java) S 31937 31939 31003 0 -1 4202560 323 0 0 0 0 0 0 0 18 0 19 0 814900625 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 3 0 0 0
[pid=31939/tid=31950] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31950/stat : 31950 (java) S 31937 31939 31003 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 814900626 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 0 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31951] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31951/stat : 31951 (java) S 31937 31939 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814900626 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31952] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31952/stat : 31952 (java) S 31937 31939 31003 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814900626 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31953] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31953/stat : 31953 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900628 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738228657 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31954] ppid=31937 vsize=10545612 CPUtime=0.64 cores=1,3,5,7
/proc/31939/task/31954/stat : 31954 (java) S 31937 31939 31003 0 -1 4202560 3727 0 0 0 64 0 0 0 16 0 19 0 814900628 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31955] ppid=31937 vsize=10545612 CPUtime=0.52 cores=1,3,5,7
/proc/31939/task/31955/stat : 31955 (java) S 31937 31939 31003 0 -1 4202560 3493 0 0 0 52 0 0 0 15 0 19 0 814900629 10798706688 657479 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 3 0 0 0

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

[pid=31939/tid=31956] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31956/stat : 31956 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900629 10798706688 1056188 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31957] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31957/stat : 31957 (java) S 31937 31939 31003 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 814900629 10798706688 1056188 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31958] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31958/stat : 31958 (java) S 31937 31939 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814900674 10798706688 1056188 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1670.92
Current children cumulated vsize (KiB) 10545612

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 32064
/proc/meminfo: memFree=13413140/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=10545612 CPUtime=1731.29 cores=1,3,5,7
/proc/31939/stat : 31939 (java) S 31937 31939 31003 0 -1 4202496 1070656 0 1 0 173012 117 0 0 25 0 19 0 814900622 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 2636403 1060070 2267 9 0 2627137 0
[pid=31939/tid=31940] ppid=31937 vsize=10545612 CPUtime=1717.7 cores=1,3,5,7
/proc/31939/task/31940/stat : 31940 (java) R 31937 31939 31003 0 -1 4202560 832752 0 1 0 171685 85 0 0 25 0 19 0 814900623 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 46912505965424 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31939/tid=31942] ppid=31937 vsize=10545612 CPUtime=1.37 cores=1,3,5,7
/proc/31939/task/31942/stat : 31942 (java) S 31937 31939 31003 0 -1 4202560 30313 0 0 0 134 3 0 0 15 0 19 0 814900625 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31943] ppid=31937 vsize=10545612 CPUtime=1.2 cores=1,3,5,7
/proc/31939/task/31943/stat : 31943 (java) S 31937 31939 31003 0 -1 4202560 25849 0 0 0 118 2 0 0 16 0 19 0 814900625 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31944] ppid=31937 vsize=10545612 CPUtime=1.3 cores=1,3,5,7
/proc/31939/task/31944/stat : 31944 (java) S 31937 31939 31003 0 -1 4202560 24969 0 0 0 127 3 0 0 16 0 19 0 814900625 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31945] ppid=31937 vsize=10545612 CPUtime=1.28 cores=1,3,5,7
/proc/31939/task/31945/stat : 31945 (java) S 31937 31939 31003 0 -1 4202560 29148 0 0 0 124 4 0 0 15 0 19 0 814900625 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31946] ppid=31937 vsize=10545612 CPUtime=1.48 cores=1,3,5,7
/proc/31939/task/31946/stat : 31946 (java) S 31937 31939 31003 0 -1 4202560 29857 0 0 0 144 4 0 0 16 0 19 0 814900625 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31947] ppid=31937 vsize=10545612 CPUtime=1.33 cores=1,3,5,7
/proc/31939/task/31947/stat : 31947 (java) S 31937 31939 31003 0 -1 4202560 26411 0 0 0 130 3 0 0 15 0 19 0 814900625 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31948] ppid=31937 vsize=10545612 CPUtime=1.34 cores=1,3,5,7
/proc/31939/task/31948/stat : 31948 (java) S 31937 31939 31003 0 -1 4202560 27152 0 0 0 131 3 0 0 16 0 19 0 814900625 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31949] ppid=31937 vsize=10545612 CPUtime=1.49 cores=1,3,5,7
/proc/31939/task/31949/stat : 31949 (java) S 31937 31939 31003 0 -1 4202560 32705 0 0 0 145 4 0 0 15 0 19 0 814900625 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31950] ppid=31937 vsize=10545612 CPUtime=1.19 cores=1,3,5,7
/proc/31939/task/31950/stat : 31950 (java) S 31937 31939 31003 0 -1 4202560 2029 0 0 0 118 1 0 0 15 0 19 0 814900626 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 0 0 16800975 18446604454764030784 0 0 -1 3 0 0 0
[pid=31939/tid=31951] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31951/stat : 31951 (java) S 31937 31939 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814900626 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31952] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31952/stat : 31952 (java) S 31937 31939 31003 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814900626 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31953] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31953/stat : 31953 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900628 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738228657 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31954] ppid=31937 vsize=10545612 CPUtime=0.8 cores=1,3,5,7
/proc/31939/task/31954/stat : 31954 (java) S 31937 31939 31003 0 -1 4202560 3757 0 0 0 80 0 0 0 15 0 19 0 814900628 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31955] ppid=31937 vsize=10545612 CPUtime=0.71 cores=1,3,5,7
/proc/31939/task/31955/stat : 31955 (java) S 31937 31939 31003 0 -1 4202560 4463 0 0 0 71 0 0 0 16 0 19 0 814900629 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 3 0 0 0
[pid=31939/tid=31956] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31956/stat : 31956 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900629 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31957] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31957/stat : 31957 (java) S 31937 31939 31003 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 814900629 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31958] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31958/stat : 31958 (java) S 31937 31939 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814900674 10798706688 1060070 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1731.29
Current children cumulated vsize (KiB) 10545612

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/551 32066
/proc/meminfo: memFree=13393612/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=10545612 CPUtime=1791.56 cores=1,3,5,7
/proc/31939/stat : 31939 (java) S 31937 31939 31003 0 -1 4202496 1073732 0 1 0 179038 118 0 0 25 0 19 0 814900622 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 2636403 1063060 2267 9 0 2627137 0
[pid=31939/tid=31940] ppid=31937 vsize=10545612 CPUtime=1777.51 cores=1,3,5,7
/proc/31939/task/31940/stat : 31940 (java) R 31937 31939 31003 0 -1 4202560 832757 0 1 0 177666 85 0 0 25 0 19 0 814900623 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 46912505947464 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31939/tid=31942] ppid=31937 vsize=10545612 CPUtime=1.42 cores=1,3,5,7
/proc/31939/task/31942/stat : 31942 (java) S 31937 31939 31003 0 -1 4202560 30593 0 0 0 139 3 0 0 16 0 19 0 814900625 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31943] ppid=31937 vsize=10545612 CPUtime=1.25 cores=1,3,5,7
/proc/31939/task/31943/stat : 31943 (java) S 31937 31939 31003 0 -1 4202560 26089 0 0 0 122 3 0 0 15 0 19 0 814900625 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31944] ppid=31937 vsize=10545612 CPUtime=1.44 cores=1,3,5,7
/proc/31939/task/31944/stat : 31944 (java) S 31937 31939 31003 0 -1 4202560 26102 0 0 0 141 3 0 0 15 0 19 0 814900625 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31945] ppid=31937 vsize=10545612 CPUtime=1.31 cores=1,3,5,7
/proc/31939/task/31945/stat : 31945 (java) S 31937 31939 31003 0 -1 4202560 29252 0 0 0 127 4 0 0 15 0 19 0 814900625 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31946] ppid=31937 vsize=10545612 CPUtime=1.54 cores=1,3,5,7
/proc/31939/task/31946/stat : 31946 (java) S 31937 31939 31003 0 -1 4202560 30250 0 0 0 150 4 0 0 15 0 19 0 814900625 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31947] ppid=31937 vsize=10545612 CPUtime=1.4 cores=1,3,5,7
/proc/31939/task/31947/stat : 31947 (java) S 31937 31939 31003 0 -1 4202560 26957 0 0 0 137 3 0 0 16 0 19 0 814900625 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31948] ppid=31937 vsize=10545612 CPUtime=1.38 cores=1,3,5,7
/proc/31939/task/31948/stat : 31948 (java) S 31937 31939 31003 0 -1 4202560 27480 0 0 0 135 3 0 0 15 0 19 0 814900625 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31949] ppid=31937 vsize=10545612 CPUtime=1.51 cores=1,3,5,7
/proc/31939/task/31949/stat : 31949 (java) S 31937 31939 31003 0 -1 4202560 32746 0 0 0 147 4 0 0 16 0 19 0 814900625 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31950] ppid=31937 vsize=10545612 CPUtime=1.19 cores=1,3,5,7
/proc/31939/task/31950/stat : 31950 (java) S 31937 31939 31003 0 -1 4202560 2033 0 0 0 118 1 0 0 15 0 19 0 814900626 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 0 0 16800975 18446604454764030784 0 0 -1 3 0 0 0
[pid=31939/tid=31951] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31951/stat : 31951 (java) S 31937 31939 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814900626 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31952] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31952/stat : 31952 (java) S 31937 31939 31003 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814900626 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31953] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31953/stat : 31953 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900628 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738228657 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31954] ppid=31937 vsize=10545612 CPUtime=0.8 cores=1,3,5,7
/proc/31939/task/31954/stat : 31954 (java) S 31937 31939 31003 0 -1 4202560 3757 0 0 0 80 0 0 0 15 0 19 0 814900628 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31955] ppid=31937 vsize=10545612 CPUtime=0.71 cores=1,3,5,7
/proc/31939/task/31955/stat : 31955 (java) S 31937 31939 31003 0 -1 4202560 4463 0 0 0 71 0 0 0 16 0 19 0 814900629 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 3 0 0 0
[pid=31939/tid=31956] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31956/stat : 31956 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900629 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31957] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31957/stat : 31957 (java) S 31937 31939 31003 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 814900629 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31958] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31958/stat : 31958 (java) S 31937 31939 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814900674 10798706688 1063060 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 10545612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.7 s]
/proc/loadavg: 2.04 2.02 2.00 4/551 32066
/proc/meminfo: memFree=13390512/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=10545612 CPUtime=1800.05 cores=1,3,5,7
/proc/31939/stat : 31939 (java) S 31937 31939 31003 0 -1 4202496 1074319 0 1 0 179887 118 0 0 25 0 19 0 814900622 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 2636403 1063625 2267 9 0 2627137 0
[pid=31939/tid=31940] ppid=31937 vsize=10545612 CPUtime=1785.92 cores=1,3,5,7
/proc/31939/task/31940/stat : 31940 (java) R 31937 31939 31003 0 -1 4202560 832758 0 1 0 178507 85 0 0 25 0 19 0 814900623 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 46912505965334 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31939/tid=31942] ppid=31937 vsize=10545612 CPUtime=1.44 cores=1,3,5,7
/proc/31939/task/31942/stat : 31942 (java) S 31937 31939 31003 0 -1 4202560 30841 0 0 0 141 3 0 0 16 0 19 0 814900625 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31943] ppid=31937 vsize=10545612 CPUtime=1.25 cores=1,3,5,7
/proc/31939/task/31943/stat : 31943 (java) S 31937 31939 31003 0 -1 4202560 26089 0 0 0 122 3 0 0 15 0 19 0 814900625 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31944] ppid=31937 vsize=10545612 CPUtime=1.47 cores=1,3,5,7
/proc/31939/task/31944/stat : 31944 (java) S 31937 31939 31003 0 -1 4202560 26282 0 0 0 144 3 0 0 16 0 19 0 814900625 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31945] ppid=31937 vsize=10545612 CPUtime=1.31 cores=1,3,5,7
/proc/31939/task/31945/stat : 31945 (java) S 31937 31939 31003 0 -1 4202560 29252 0 0 0 127 4 0 0 15 0 19 0 814900625 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31946] ppid=31937 vsize=10545612 CPUtime=1.54 cores=1,3,5,7
/proc/31939/task/31946/stat : 31946 (java) S 31937 31939 31003 0 -1 4202560 30250 0 0 0 150 4 0 0 15 0 19 0 814900625 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31947] ppid=31937 vsize=10545612 CPUtime=1.4 cores=1,3,5,7
/proc/31939/task/31947/stat : 31947 (java) S 31937 31939 31003 0 -1 4202560 26957 0 0 0 137 3 0 0 15 0 19 0 814900625 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31948] ppid=31937 vsize=10545612 CPUtime=1.38 cores=1,3,5,7
/proc/31939/task/31948/stat : 31948 (java) S 31937 31939 31003 0 -1 4202560 27480 0 0 0 135 3 0 0 15 0 19 0 814900625 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31949] ppid=31937 vsize=10545612 CPUtime=1.54 cores=1,3,5,7
/proc/31939/task/31949/stat : 31949 (java) S 31937 31939 31003 0 -1 4202560 32904 0 0 0 150 4 0 0 16 0 19 0 814900625 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
[pid=31939/tid=31950] ppid=31937 vsize=10545612 CPUtime=1.19 cores=1,3,5,7
/proc/31939/task/31950/stat : 31950 (java) S 31937 31939 31003 0 -1 4202560 2033 0 0 0 118 1 0 0 15 0 19 0 814900626 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 0 0 16800975 18446604454764030784 0 0 -1 3 0 0 0
[pid=31939/tid=31951] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31951/stat : 31951 (java) S 31937 31939 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814900626 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31952] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31952/stat : 31952 (java) S 31937 31939 31003 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814900626 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31953] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31953/stat : 31953 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900628 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738228657 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31954] ppid=31937 vsize=10545612 CPUtime=0.8 cores=1,3,5,7
/proc/31939/task/31954/stat : 31954 (java) S 31937 31939 31003 0 -1 4202560 3757 0 0 0 80 0 0 0 15 0 19 0 814900628 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31955] ppid=31937 vsize=10545612 CPUtime=0.71 cores=1,3,5,7
/proc/31939/task/31955/stat : 31955 (java) S 31937 31939 31003 0 -1 4202560 4463 0 0 0 71 0 0 0 16 0 19 0 814900629 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 3 0 0 0
[pid=31939/tid=31956] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31956/stat : 31956 (java) S 31937 31939 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814900629 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738220953 0 4 0 16800975 18446604454764030784 0 0 -1 5 0 0 0
[pid=31939/tid=31957] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31957/stat : 31957 (java) S 31937 31939 31003 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 814900629 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 1 0 0 0
[pid=31939/tid=31958] ppid=31937 vsize=10545612 CPUtime=0 cores=1,3,5,7
/proc/31939/task/31958/stat : 31958 (java) S 31937 31939 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814900674 10798706688 1063625 33554432000 1073741824 1073778376 140733469184752 18446744073709551615 264738221568 0 4 0 16800975 18446604454764030784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10545612

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

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

[startup+1790.85 s]
/proc/loadavg: 2.04 2.02 2.00 4/551 32066
/proc/meminfo: memFree=13390512/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/31939/stat : 31939 (java) Z 31937 31939 31003 0 -1 4203548 1074354 0 1 0 179897 124 0 0 17 0 2 0 814900622 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

[startup+1790.9 s]
/proc/loadavg: 2.04 2.02 2.00 4/551 32066
/proc/meminfo: memFree=13390512/32951124 swapFree=62999000/67111528
[pid=31939] ppid=31937 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/31939/stat : 31939 (java) Z 31937 31939 31003 0 -1 4203548 1074354 0 1 0 179897 129 0 0 17 0 2 0 814900622 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31939/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1790.95
CPU time (s): 1800.32
CPU user time (s): 1798.97
CPU system time (s): 1.3448
CPU usage (%): 100.523
Max. virtual memory (cumulated for all children) (KiB): 10547932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.34479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1074354
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= 41260
involuntary context switches= 14626

runsolver used 9.05762 second user time and 21.9377 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-05 00:00:50
IDJOB=3456324
IDBENCH=25018
IDSOLVER=1951
FILE ID=node141/3456324-1307224850
RUNJOBID= node141-1307215866-31023
PBS_JOBID= 13509083
Free space on /tmp= 73900 MiB

SOLVER NAME= Sat4j CuttingPlanes 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456324-1307224850/watcher-3456324-1307224850 -o /tmp/evaluation-result-3456324-1307224850/solver-3456324-1307224850 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456324-1307224850.opb

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=467057320

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17836340 kB
Buffers:        299252 kB
Cached:         768064 kB
SwapCached:       8848 kB
Active:       14225984 kB
Inactive:       614516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17836340 kB
SwapTotal:    67111528 kB
SwapFree:     62999000 kB
Dirty:            1396 kB
Writeback:           0 kB
AnonPages:    13771192 kB
Mapped:          33824 kB
Slab:           127116 kB
PageTables:      77440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 161017860 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73904 MiB
End job on node141 at 2011-06-05 00:30:43