Trace number 3741389

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
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)46 1800.06 1784.05

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ns1696083.opb
MD5SUM8188d71a03844e125aafcd8487c80120
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark226.602
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7982
Total number of constraints11063
Number of constraints which are clauses2420
Number of constraints which are cardinality constraints (but not clauses)1207
Number of constraints which are nor clauses,nor cardinality constraints7436
Minimum length of a constraint1
Maximum length of a constraint662
Number of terms in the objective function 55
Biggest coefficient in the objective function 55
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 1540
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2000
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 22480
Number of bits of the biggest sum of numbers15
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.04/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.04/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.04/0.09	c no version file found!!!
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version	1.6.0_24
0.04/0.09	c os.name	Linux
0.04/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch	amd64
0.04/0.09	c Free memory 1599470296
0.04/0.09	c Max memory 1607860224
0.04/0.09	c Total memory 1607860224
0.04/0.09	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3741389-1338743037.opb
0.07/0.12	c reading problem ... 
1.65/1.02	c ... done. Wall clock time 0.904s.
1.65/1.02	c CPU time (experimental) 0.98s.
1.95/1.17	c #vars     7982
1.95/1.17	c #constraints  11204
9.70/8.06	c SATISFIABLE
9.70/8.06	c OPTIMIZING...
9.70/8.06	c Got one! Elapsed wall clock time (in seconds):7.941
9.70/8.06	o 55
29.18/26.90	c Got one! Elapsed wall clock time (in seconds):26.779
29.18/26.90	o 54
37.94/35.35	c Got one! Elapsed wall clock time (in seconds):35.235
37.94/35.35	o 53
38.45/35.87	c Got one! Elapsed wall clock time (in seconds):35.752
38.45/35.87	o 52
49.12/46.26	c Got one! Elapsed wall clock time (in seconds):46.143
49.12/46.26	o 51
67.01/63.87	c Got one! Elapsed wall clock time (in seconds):63.75
67.01/63.87	o 50
95.53/91.97	c Got one! Elapsed wall clock time (in seconds):91.857
95.53/91.97	o 49
134.51/130.56	c Got one! Elapsed wall clock time (in seconds):130.447
134.51/130.56	o 48
157.13/152.94	c Got one! Elapsed wall clock time (in seconds):152.82
157.13/152.94	o 47
414.21/408.08	c cleaning 100255 clauses out of 201405 for limit 231.150214823032
661.93/653.89	c cleaning 94690 clauses out of 190110 for limit 11.483465324039273
662.54/654.43	c cleaning 47497 clauses out of 95920 for limit 37.533982060378676
675.83/667.50	c Got one! Elapsed wall clock time (in seconds):667.383
675.83/667.50	o 46
998.25/987.52	c cleaning 85914 clauses out of 172210 for limit 1.4827148818650264E-5
1428.38/1415.31	c cleaning 95949 clauses out of 192763 for limit 25.005225837482534
1800.06/1784.01	c starts		: 125
1800.06/1784.01	c conflicts		: 625163
1800.06/1784.01	c decisions		: 2573896
1800.06/1784.01	c propagations		: 70360322
1800.06/1784.01	c inspects		: 3536097148
1800.06/1784.01	c learnt literals	: 630
1800.06/1784.01	c learnt binary clauses	: 662
1800.06/1784.01	c learnt ternary clauses	: 422
1800.06/1784.01	c learnt clauses	: 624533
1800.06/1784.01	c root simplifications	: 0
1800.06/1784.01	c removed literals (reason simplification)	: 0
1800.06/1784.01	c reason swapping (by a shorter reason)	: 0
1800.06/1784.01	c Calls to reduceDB	: 5
1800.06/1784.01	c speed (decisions/second)	: 2305.3049233773095
1800.06/1784.01	c non guided choices	3005
1800.06/1784.01	s SATISFIABLE
1800.06/1784.02	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 
1800.06/1784.03	c objective function=46
1800.06/1784.03	c Total wall clock time (ms): 1783.917

Verifier Data 

OK	46

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741389-1338743037/watcher-3741389-1338743037 -o /tmp/evaluation-result-3741389-1338743037/solver-3741389-1338743037 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741389-1338743037.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.00 2.01 2.00 3/194 10550
/proc/meminfo: memFree=27028624/32873844 swapFree=7128/7128
[pid=10550] ppid=10548 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10550/stat : 10550 (java) R 10548 10550 5567 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 340370717 9515008 175 33554432000 1073741824 1073778376 140734115670688 140734115653416 209097409424 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10550/statm: 2323 175 133 9 0 71 0

[startup+0.0615751 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 10550
/proc/meminfo: memFree=27028624/32873844 swapFree=7128/7128
[pid=10550] ppid=10548 vsize=2623916 CPUtime=0.04 cores=1,3,5,7
/proc/10550/stat : 10550 (java) S 10548 10550 5567 0 -1 4202496 3944 0 1 0 3 1 0 0 20 0 13 0 340370717 2686889984 5152 33554432000 1073741824 1073778376 140737151996720 140737151987856 209100767293 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10550/statm: 655979 5152 1706 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916

[startup+0.100333 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 10550
/proc/meminfo: memFree=27028624/32873844 swapFree=7128/7128
[pid=10550] ppid=10548 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/10550/stat : 10550 (java) S 10548 10550 5567 0 -1 4202496 4132 0 1 0 6 1 0 0 20 0 18 0 340370717 3028844544 5850 33554432000 1073741824 1073778376 140737151996720 140737151987856 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10550/statm: 739464 5850 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300314 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 10550
/proc/meminfo: memFree=27028624/32873844 swapFree=7128/7128
[pid=10550] ppid=10548 vsize=2957856 CPUtime=0.52 cores=1,3,5,7
/proc/10550/stat : 10550 (java) S 10548 10550 5567 0 -1 4202496 8620 0 1 0 50 2 0 0 20 0 18 0 340370717 3028844544 10981 33554432000 1073741824 1073778376 140737151996720 140737151987856 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10550/statm: 739464 10981 2241 9 0 729885 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2957856

[startup+0.700326 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 10550
/proc/meminfo: memFree=27028624/32873844 swapFree=7128/7128
[pid=10550] ppid=10548 vsize=2957856 CPUtime=1.33 cores=1,3,5,7
/proc/10550/stat : 10550 (java) S 10548 10550 5567 0 -1 4202496 13470 0 1 0 127 6 0 0 20 0 18 0 340370717 3028844544 51801 33554432000 1073741824 1073778376 140737151996720 140737151987856 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10550/statm: 739464 51801 2249 9 0 729885 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 2957856

[startup+1.50081 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 10568
/proc/meminfo: memFree=26682396/32873844 swapFree=7128/7128
[pid=10550] ppid=10548 vsize=3024420 CPUtime=2.84 cores=1,3,5,7
/proc/10550/stat : 10550 (java) S 10548 10550 5567 0 -1 4202496 18522 0 1 0 272 12 0 0 20 0 19 0 340370717 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140737151987856 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10550/statm: 756105 101681 2272 9 0 746526 0
[pid=10550/tid=10552] ppid=10548 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/10550/task/10552/stat : 10552 (java) R 10548 10550 5567 0 -1 4202560 3217 0 1 0 137 9 0 0 20 0 19 0 340370719 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443311410048 140443166471303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10553] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10553/stat : 10553 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443294849320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10554] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10554/stat : 10554 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443293796520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10555] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10555/stat : 10555 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443292744232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10556] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10556/stat : 10556 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443291691432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10557] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10557/stat : 10557 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443290639144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10558] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10558/stat : 10558 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443289586344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10559] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10559/stat : 10559 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443288534056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10560] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10560/stat : 10560 (java) S 10548 10550 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443287481256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10561] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10561/stat : 10561 (java) S 10548 10550 5567 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 340370721 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443157227752 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10562] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10562/stat : 10562 (java) S 10548 10550 5567 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443156173816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10563] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10563/stat : 10563 (java) S 10548 10550 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443155121416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10564] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10564/stat : 10564 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443154069904 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10565] ppid=10548 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/10550/task/10565/stat : 10565 (java) S 10548 10550 5567 0 -1 4202560 7248 0 0 0 54 2 0 0 20 0 19 0 340370725 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443153017528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10566] ppid=10548 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/10550/task/10566/stat : 10566 (java) S 10548 10550 5567 0 -1 4202560 6863 0 0 0 76 2 0 0 20 0 19 0 340370725 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443151964728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10567] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10567/stat : 10567 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140443150912632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10568] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10568/stat : 10568 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 101681 33554432000 1073741824 1073778376 140737151996720 140442142239944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 3024420

[startup+3.10086 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 10569
/proc/meminfo: memFree=26565592/32873844 swapFree=7128/7128
[pid=10550] ppid=10548 vsize=3024420 CPUtime=4.57 cores=1,3,5,7
/proc/10550/stat : 10550 (java) S 10548 10550 5567 0 -1 4202496 18601 0 1 0 442 15 0 0 20 0 19 0 340370717 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140737151987856 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10550/statm: 756105 117577 2289 9 0 746526 0
[pid=10550/tid=10552] ppid=10548 vsize=3024420 CPUtime=3.03 cores=1,3,5,7
/proc/10550/task/10552/stat : 10552 (java) R 10548 10550 5567 0 -1 4202560 3246 0 1 0 294 9 0 0 20 0 19 0 340370719 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443311422088 140443166489913 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10553] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10553/stat : 10553 (java) S 10548 10550 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443294849320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10554] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10554/stat : 10554 (java) S 10548 10550 5567 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443293796520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10555] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10555/stat : 10555 (java) S 10548 10550 5567 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443292744232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10556] ppid=10548 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/10550/task/10556/stat : 10556 (java) S 10548 10550 5567 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 340370720 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443291691432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10557] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10557/stat : 10557 (java) S 10548 10550 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443290639144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10558] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10558/stat : 10558 (java) S 10548 10550 5567 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443289586344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10559] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10559/stat : 10559 (java) S 10548 10550 5567 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443288534056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10560] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10560/stat : 10560 (java) S 10548 10550 5567 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443287481256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10561] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10561/stat : 10561 (java) S 10548 10550 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340370721 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443157227752 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10562] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10562/stat : 10562 (java) S 10548 10550 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443156173816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10563] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10563/stat : 10563 (java) S 10548 10550 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443155121416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10564] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10564/stat : 10564 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443154069904 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10565] ppid=10548 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/10550/task/10565/stat : 10565 (java) S 10548 10550 5567 0 -1 4202560 7248 0 0 0 54 2 0 0 20 0 19 0 340370725 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443153017528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10566] ppid=10548 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/10550/task/10566/stat : 10566 (java) S 10548 10550 5567 0 -1 4202560 6866 0 0 0 82 2 0 0 20 0 19 0 340370725 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443151964728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10567] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10567/stat : 10567 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140443150912632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10568] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10568/stat : 10568 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140442142239944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10569] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10569/stat : 10569 (java) S 10548 10550 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340370822 3097006080 117577 33554432000 1073741824 1073778376 140737151996720 140442140107688 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 3024420

[startup+6.30084 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 10569
/proc/meminfo: memFree=26538656/32873844 swapFree=7128/7128
[pid=10550] ppid=10548 vsize=3024420 CPUtime=7.87 cores=1,3,5,7
/proc/10550/stat : 10550 (java) S 10548 10550 5567 0 -1 4202496 18652 0 1 0 768 19 0 0 20 0 19 0 340370717 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140737151987856 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10550/statm: 756105 124212 2289 9 0 746526 0
[pid=10550/tid=10552] ppid=10548 vsize=3024420 CPUtime=6.18 cores=1,3,5,7
/proc/10550/task/10552/stat : 10552 (java) R 10548 10550 5567 0 -1 4202560 3248 0 1 0 609 9 0 0 20 0 19 0 340370719 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443311423912 140443166320839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10553] ppid=10548 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/10550/task/10553/stat : 10553 (java) S 10548 10550 5567 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 340370720 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443294849320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10554] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10554/stat : 10554 (java) S 10548 10550 5567 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443293796520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10555] ppid=10548 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/10550/task/10555/stat : 10555 (java) S 10548 10550 5567 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 340370720 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443292744232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10556] ppid=10548 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/10550/task/10556/stat : 10556 (java) S 10548 10550 5567 0 -1 4202560 24 0 0 0 1 2 0 0 20 0 19 0 340370720 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443291691432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10557] ppid=10548 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/10550/task/10557/stat : 10557 (java) S 10548 10550 5567 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 340370720 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443290639144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10558] ppid=10548 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/10550/task/10558/stat : 10558 (java) S 10548 10550 5567 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 340370720 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443289586344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10559] ppid=10548 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/10550/task/10559/stat : 10559 (java) S 10548 10550 5567 0 -1 4202560 20 0 0 0 1 2 0 0 20 0 19 0 340370720 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443288534056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10560] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10560/stat : 10560 (java) S 10548 10550 5567 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 340370720 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443287481256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10561] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10561/stat : 10561 (java) S 10548 10550 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340370721 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443157227752 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10562] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10562/stat : 10562 (java) S 10548 10550 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443156173816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10563] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10563/stat : 10563 (java) S 10548 10550 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443155121416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10564] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10564/stat : 10564 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443154069904 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10565] ppid=10548 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/10550/task/10565/stat : 10565 (java) S 10548 10550 5567 0 -1 4202560 7248 0 0 0 54 3 0 0 20 0 19 0 340370725 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443153017528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10566] ppid=10548 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/10550/task/10566/stat : 10566 (java) S 10548 10550 5567 0 -1 4202560 6866 0 0 0 82 2 0 0 20 0 19 0 340370725 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443151964728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10567] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10567/stat : 10567 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140443150912632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10568] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10568/stat : 10568 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140442142239944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10569] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10569/stat : 10569 (java) S 10548 10550 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340370822 3097006080 124212 33554432000 1073741824 1073778376 140737151996720 140442140107688 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 10570
/proc/meminfo: memFree=26484936/32873844 swapFree=7128/7128

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

[pid=10550/tid=10565] ppid=10548 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/10550/task/10565/stat : 10565 (java) S 10548 10550 5567 0 -1 4202560 7260 0 0 0 64 3 0 0 20 0 19 0 340370725 3097006080 419800 33554432000 1073741824 1073778376 140737151996720 140443153017528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10566] ppid=10548 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/10550/task/10566/stat : 10566 (java) S 10548 10550 5567 0 -1 4202560 6871 0 0 0 90 2 0 0 20 0 19 0 340370725 3097006080 419800 33554432000 1073741824 1073778376 140737151996720 140443151964728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10567] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10567/stat : 10567 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 419800 33554432000 1073741824 1073778376 140737151996720 140443150912632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10568] ppid=10548 vsize=3024420 CPUtime=0.94 cores=1,3,5,7
/proc/10550/task/10568/stat : 10568 (java) S 10548 10550 5567 0 -1 4202560 94 0 0 0 47 47 0 0 20 0 19 0 340370725 3097006080 419800 33554432000 1073741824 1073778376 140737151996720 140442142239944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10643] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10643/stat : 10643 (java) S 10548 10550 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340437468 3097006080 419800 33554432000 1073741824 1073778376 140737151996720 140442140107944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1677.72
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 10778
/proc/meminfo: memFree=24770684/32873844 swapFree=7128/7128
[pid=10550] ppid=10548 vsize=3024420 CPUtime=1738.37 cores=1,3,5,7
/proc/10550/stat : 10550 (java) S 10548 10550 5567 0 -1 4202496 21877 0 1 0 173618 219 0 0 20 0 19 0 340370717 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140737151987856 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10550/statm: 756105 420862 2306 9 0 746526 0
[pid=10550/tid=10552] ppid=10548 vsize=3024420 CPUtime=1709.55 cores=1,3,5,7
/proc/10550/task/10552/stat : 10552 (java) R 10548 10550 5567 0 -1 4202560 3393 0 1 0 170918 37 0 0 20 0 19 0 340370719 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443311422736 140443166489352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10553] ppid=10548 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/10550/task/10553/stat : 10553 (java) S 10548 10550 5567 0 -1 4202560 390 0 0 0 224 21 0 0 20 0 19 0 340370720 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443294849320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10554] ppid=10548 vsize=3024420 CPUtime=2.38 cores=1,3,5,7
/proc/10550/task/10554/stat : 10554 (java) S 10548 10550 5567 0 -1 4202560 348 0 0 0 219 19 0 0 20 0 19 0 340370720 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443293796520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10555] ppid=10548 vsize=3024420 CPUtime=2.37 cores=1,3,5,7
/proc/10550/task/10555/stat : 10555 (java) S 10548 10550 5567 0 -1 4202560 342 0 0 0 219 18 0 0 20 0 19 0 340370720 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443292744232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10556] ppid=10548 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/10550/task/10556/stat : 10556 (java) S 10548 10550 5567 0 -1 4202560 392 0 0 0 224 21 0 0 20 0 19 0 340370720 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443291691432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10557] ppid=10548 vsize=3024420 CPUtime=2.39 cores=1,3,5,7
/proc/10550/task/10557/stat : 10557 (java) S 10548 10550 5567 0 -1 4202560 356 0 0 0 219 20 0 0 20 0 19 0 340370720 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443290639144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10558] ppid=10548 vsize=3024420 CPUtime=2.37 cores=1,3,5,7
/proc/10550/task/10558/stat : 10558 (java) S 10548 10550 5567 0 -1 4202560 342 0 0 0 219 18 0 0 20 0 19 0 340370720 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443289586344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10559] ppid=10548 vsize=3024420 CPUtime=2.21 cores=1,3,5,7
/proc/10550/task/10559/stat : 10559 (java) S 10548 10550 5567 0 -1 4202560 343 0 0 0 202 19 0 0 20 0 19 0 340370720 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443288534056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10560] ppid=10548 vsize=3024420 CPUtime=2.38 cores=1,3,5,7
/proc/10550/task/10560/stat : 10560 (java) S 10548 10550 5567 0 -1 4202560 390 0 0 0 215 23 0 0 20 0 19 0 340370720 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443287481256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10561] ppid=10548 vsize=3024420 CPUtime=3.11 cores=1,3,5,7
/proc/10550/task/10561/stat : 10561 (java) S 10548 10550 5567 0 -1 4202560 131 0 0 0 309 2 0 0 20 0 19 0 340370721 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443157227752 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10562] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10562/stat : 10562 (java) S 10548 10550 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443156173816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10563] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10563/stat : 10563 (java) S 10548 10550 5567 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443155121416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10564] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10564/stat : 10564 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443154069904 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10565] ppid=10548 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/10550/task/10565/stat : 10565 (java) S 10548 10550 5567 0 -1 4202560 7260 0 0 0 64 3 0 0 20 0 19 0 340370725 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443153017528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10566] ppid=10548 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/10550/task/10566/stat : 10566 (java) S 10548 10550 5567 0 -1 4202560 6871 0 0 0 90 2 0 0 20 0 19 0 340370725 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443151964728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10567] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10567/stat : 10567 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140443150912632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10568] ppid=10548 vsize=3024420 CPUtime=0.97 cores=1,3,5,7
/proc/10550/task/10568/stat : 10568 (java) S 10548 10550 5567 0 -1 4202560 98 0 0 0 48 49 0 0 20 0 19 0 340370725 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140442142239944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10643] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10643/stat : 10643 (java) S 10548 10550 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340437468 3097006080 420862 33554432000 1073741824 1073778376 140737151996720 140442140107944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1738.37
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 10779
/proc/meminfo: memFree=24633096/32873844 swapFree=7128/7128
[pid=10550] ppid=10548 vsize=3024420 CPUtime=1798.36 cores=1,3,5,7
/proc/10550/stat : 10550 (java) S 10548 10550 5567 0 -1 4202496 21896 0 1 0 179616 220 0 0 20 0 19 0 340370717 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140737151987856 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10550/statm: 756105 421374 2306 9 0 746526 0
[pid=10550/tid=10552] ppid=10548 vsize=3024420 CPUtime=1766.42 cores=1,3,5,7
/proc/10550/task/10552/stat : 10552 (java) R 10548 10550 5567 0 -1 4202560 3403 0 1 0 176604 38 0 0 20 0 19 0 340370719 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443311422736 140443166489523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10553] ppid=10548 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/10550/task/10553/stat : 10553 (java) S 10548 10550 5567 0 -1 4202560 390 0 0 0 224 21 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443294849320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10554] ppid=10548 vsize=3024420 CPUtime=2.38 cores=1,3,5,7
/proc/10550/task/10554/stat : 10554 (java) S 10548 10550 5567 0 -1 4202560 348 0 0 0 219 19 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443293796520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10555] ppid=10548 vsize=3024420 CPUtime=2.37 cores=1,3,5,7
/proc/10550/task/10555/stat : 10555 (java) S 10548 10550 5567 0 -1 4202560 342 0 0 0 219 18 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443292744232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10556] ppid=10548 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/10550/task/10556/stat : 10556 (java) S 10548 10550 5567 0 -1 4202560 392 0 0 0 224 21 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443291691432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10557] ppid=10548 vsize=3024420 CPUtime=2.39 cores=1,3,5,7
/proc/10550/task/10557/stat : 10557 (java) S 10548 10550 5567 0 -1 4202560 356 0 0 0 219 20 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443290639144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10558] ppid=10548 vsize=3024420 CPUtime=2.37 cores=1,3,5,7
/proc/10550/task/10558/stat : 10558 (java) S 10548 10550 5567 0 -1 4202560 342 0 0 0 219 18 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443289586344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10559] ppid=10548 vsize=3024420 CPUtime=2.21 cores=1,3,5,7
/proc/10550/task/10559/stat : 10559 (java) S 10548 10550 5567 0 -1 4202560 343 0 0 0 202 19 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443288534056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10560] ppid=10548 vsize=3024420 CPUtime=2.38 cores=1,3,5,7
/proc/10550/task/10560/stat : 10560 (java) S 10548 10550 5567 0 -1 4202560 390 0 0 0 215 23 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443287481256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10561] ppid=10548 vsize=3024420 CPUtime=6.07 cores=1,3,5,7
/proc/10550/task/10561/stat : 10561 (java) S 10548 10550 5567 0 -1 4202560 136 0 0 0 604 3 0 0 20 0 19 0 340370721 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443157227752 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10562] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10562/stat : 10562 (java) S 10548 10550 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443156173816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10563] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10563/stat : 10563 (java) S 10548 10550 5567 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443155121416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10564] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10564/stat : 10564 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443154069904 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10565] ppid=10548 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/10550/task/10565/stat : 10565 (java) S 10548 10550 5567 0 -1 4202560 7260 0 0 0 64 3 0 0 20 0 19 0 340370725 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443153017528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10566] ppid=10548 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/10550/task/10566/stat : 10566 (java) S 10548 10550 5567 0 -1 4202560 6871 0 0 0 90 2 0 0 20 0 19 0 340370725 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443151964728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10567] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10567/stat : 10567 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443150912632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10568] ppid=10548 vsize=3024420 CPUtime=1 cores=1,3,5,7
/proc/10550/task/10568/stat : 10568 (java) S 10548 10550 5567 0 -1 4202560 102 0 0 0 49 51 0 0 20 0 19 0 340370725 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140442142239944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10643] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10643/stat : 10643 (java) S 10548 10550 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340437468 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140442140107944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.36
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 10779
/proc/meminfo: memFree=24633096/32873844 swapFree=7128/7128
[pid=10550] ppid=10548 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/10550/stat : 10550 (java) S 10548 10550 5567 0 -1 4202496 21896 0 1 0 179786 220 0 0 20 0 19 0 340370717 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140737151987856 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10550/statm: 756105 421374 2306 9 0 746526 0
[pid=10550/tid=10552] ppid=10548 vsize=3024420 CPUtime=1768.12 cores=1,3,5,7
/proc/10550/task/10552/stat : 10552 (java) R 10548 10550 5567 0 -1 4202560 3403 0 1 0 176774 38 0 0 20 0 19 0 340370719 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443311422736 140443166489425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10553] ppid=10548 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/10550/task/10553/stat : 10553 (java) S 10548 10550 5567 0 -1 4202560 390 0 0 0 224 21 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443294849320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10554] ppid=10548 vsize=3024420 CPUtime=2.38 cores=1,3,5,7
/proc/10550/task/10554/stat : 10554 (java) S 10548 10550 5567 0 -1 4202560 348 0 0 0 219 19 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443293796520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10555] ppid=10548 vsize=3024420 CPUtime=2.37 cores=1,3,5,7
/proc/10550/task/10555/stat : 10555 (java) S 10548 10550 5567 0 -1 4202560 342 0 0 0 219 18 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443292744232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10556] ppid=10548 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/10550/task/10556/stat : 10556 (java) S 10548 10550 5567 0 -1 4202560 392 0 0 0 224 21 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443291691432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10557] ppid=10548 vsize=3024420 CPUtime=2.39 cores=1,3,5,7
/proc/10550/task/10557/stat : 10557 (java) S 10548 10550 5567 0 -1 4202560 356 0 0 0 219 20 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443290639144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10558] ppid=10548 vsize=3024420 CPUtime=2.37 cores=1,3,5,7
/proc/10550/task/10558/stat : 10558 (java) S 10548 10550 5567 0 -1 4202560 342 0 0 0 219 18 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443289586344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10559] ppid=10548 vsize=3024420 CPUtime=2.21 cores=1,3,5,7
/proc/10550/task/10559/stat : 10559 (java) S 10548 10550 5567 0 -1 4202560 343 0 0 0 202 19 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443288534056 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10560] ppid=10548 vsize=3024420 CPUtime=2.38 cores=1,3,5,7
/proc/10550/task/10560/stat : 10560 (java) S 10548 10550 5567 0 -1 4202560 390 0 0 0 215 23 0 0 20 0 19 0 340370720 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443287481256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10561] ppid=10548 vsize=3024420 CPUtime=6.07 cores=1,3,5,7
/proc/10550/task/10561/stat : 10561 (java) S 10548 10550 5567 0 -1 4202560 136 0 0 0 604 3 0 0 20 0 19 0 340370721 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443157227752 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10562] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10562/stat : 10562 (java) S 10548 10550 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443156173816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10563] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10563/stat : 10563 (java) S 10548 10550 5567 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 340370722 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443155121416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10564] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10564/stat : 10564 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443154069904 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10565] ppid=10548 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/10550/task/10565/stat : 10565 (java) S 10548 10550 5567 0 -1 4202560 7260 0 0 0 64 3 0 0 20 0 19 0 340370725 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443153017528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10550/tid=10566] ppid=10548 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/10550/task/10566/stat : 10566 (java) S 10548 10550 5567 0 -1 4202560 6871 0 0 0 90 2 0 0 20 0 19 0 340370725 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443151964728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10550/tid=10567] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10567/stat : 10567 (java) S 10548 10550 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340370725 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140443150912632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10550/tid=10568] ppid=10548 vsize=3024420 CPUtime=1 cores=1,3,5,7
/proc/10550/task/10568/stat : 10568 (java) S 10548 10550 5567 0 -1 4202560 102 0 0 0 49 51 0 0 20 0 19 0 340370725 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140442142239944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10550/tid=10643] ppid=10548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10550/task/10643/stat : 10643 (java) S 10548 10550 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340437468 3097006080 421374 33554432000 1073741824 1073778376 140737151996720 140442140107944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10550 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=419358
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=701589
# CPU time returned by wait4() is 1796.12
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1784.05
CPU time (s): 1800.06
CPU user time (s): 1797.86
CPU system time (s): 2.2
CPU usage (%): 100.897
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.42
system time used= 2.70159
maximum resident set size= 1685616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21928
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41957
involuntary context switches= 29325

runsolver used 6.13107 second user time and 17.0724 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-03 19:03:57
IDJOB=3741389
IDBENCH=89852
IDSOLVER=2319
FILE ID=node105/3741389-1338743037
RUNJOBID= node105-1338714526-5584
PBS_JOBID= 14636755
Free space on /tmp= 71268 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741389-1338743037/watcher-3741389-1338743037 -o /tmp/evaluation-result-3741389-1338743037/solver-3741389-1338743037 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741389-1338743037.opb           

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

MD5SUM BENCH= 8188d71a03844e125aafcd8487c80120
RANDOM SEED=224649331

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27029160 kB
Buffers:          562492 kB
Cached:          3590016 kB
SwapCached:         1700 kB
Active:          1839012 kB
Inactive:        3107416 kB
Active(anon):     789716 kB
Inactive(anon):     4800 kB
Active(file):    1049296 kB
Inactive(file):  3102616 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:              7012 kB
Writeback:             0 kB
AnonPages:        873500 kB
Mapped:            17276 kB
Shmem:                 0 kB
Slab:             742256 kB
SReclaimable:     183812 kB
SUnreclaim:       558444 kB
KernelStack:        1760 kB
PageTables:         5844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    841728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71264 MiB
End job on node105 at 2012-06-03 19:33:43