Trace number 3741392

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
PB09: SAT4J Pseudo Resolution 2.1.1SAT (TO)47 1800.05 1793.98

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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.1.1.v20090612
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version	1.6.0_24
0.05/0.09	c os.name	Linux
0.05/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch	amd64
0.05/0.09	c Free memory 1299577560
0.05/0.09	c Max memory 1306394624
0.05/0.09	c Total memory 1306394624
0.05/0.09	c Number of processors 8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c Stops conflict analysis at the first Unique Implication Point
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@2d3bad12
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c MiniSAT restarts strategy
0.08/0.12	c Memory based learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3741392-1338773107.opb
0.08/0.12	c reading problem ... 
1.49/0.92	c ... done. Wall clock time 0.8s.
1.49/0.92	c #vars     7982
1.49/0.92	c #constraints  11326
1.49/0.92	c constraints type 
1.49/0.92	c org.sat4j.minisat.constraints.card.MinWatchCard => 1211
1.49/0.92	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 56
1.49/0.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7370
1.49/0.92	c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 2567
355.24/352.69	c SATISFIABLE
355.24/352.69	c OPTIMIZING...
355.24/352.69	c Got one! Elapsed wall clock time (in seconds):352.57
355.24/352.69	o 55
366.97/364.25	c Got one! Elapsed wall clock time (in seconds):364.134
366.97/364.25	o 54
383.54/380.77	c Got one! Elapsed wall clock time (in seconds):380.657
383.54/380.77	o 53
400.59/397.68	c Got one! Elapsed wall clock time (in seconds):397.566
400.59/397.68	o 52
506.83/503.50	c Got one! Elapsed wall clock time (in seconds):503.383
506.83/503.50	o 51
594.54/590.91	c Got one! Elapsed wall clock time (in seconds):590.791
594.54/590.91	o 50
840.34/836.18	c Got one! Elapsed wall clock time (in seconds):836.061
840.34/836.18	o 49
903.09/898.69	c Got one! Elapsed wall clock time (in seconds):898.578
903.09/898.69	o 48
911.79/907.24	c Got one! Elapsed wall clock time (in seconds):907.126
911.79/907.24	o 47
1800.05/1793.91	c starts		: 105
1800.05/1793.91	c conflicts		: 193036
1800.05/1793.91	c decisions		: 956977
1800.05/1793.91	c propagations		: 20641374
1800.05/1793.91	c inspects		: 679728569
1800.05/1793.91	c learnt literals	: 492
1800.05/1793.91	c learnt binary clauses	: 999
1800.05/1793.91	c learnt ternary clauses	: 572
1800.05/1793.91	c learnt clauses	: 192544
1800.05/1793.91	c ignored clauses	: 0
1800.05/1793.91	c root simplifications	: 0
1800.05/1793.91	c removed literals (reason simplification)	: 26601864
1800.05/1793.91	c reason swapping (by a shorter reason)	: 0
1800.05/1793.91	c Calls to reduceDB	: 0
1800.05/1793.91	c speed (assignments/second)	: 23279.71687260621
1800.05/1793.91	c non guided choices	2375
1800.05/1793.95	c learnt constraints type 
1800.05/1793.95	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 191547
1800.05/1793.95	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 999
1800.05/1793.95	c constraints type 
1800.05/1793.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 1211
1800.05/1793.95	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 56
1800.05/1793.95	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7371
1800.05/1793.95	c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 2567
1800.05/1793.95	s SATISFIABLE
1800.05/1793.96	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.05/1793.97	c objective function=47
1800.05/1793.97	c Total wall clock time (in seconds): 1793.857

Verifier Data 

OK	47

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-3741392-1338773107/watcher-3741392-1338773107 -o /tmp/evaluation-result-3741392-1338773107/solver-3741392-1338773107 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3741392-1338773107.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.05 2.04 2.00 3/194 31748
/proc/meminfo: memFree=25858660/32873844 swapFree=7116/7116
[pid=31748] ppid=31746 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31748/stat : 31748 (java6) D 31746 31748 28074 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 343435812 9515008 175 33554432000 1073741824 1073778376 140734456621408 140734456604136 227141305232 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/31748/statm: 2323 175 133 9 0 71 0

[startup+0.0813921 s]
/proc/loadavg: 2.05 2.04 2.00 3/194 31748
/proc/meminfo: memFree=25858660/32873844 swapFree=7116/7116
[pid=31748] ppid=31746 vsize=2648548 CPUtime=0.05 cores=1,3,5,7
/proc/31748/stat : 31748 (java) S 31746 31748 28074 0 -1 4202496 3815 0 1 0 4 1 0 0 20 0 18 0 343435812 2712113152 5535 33554432000 1073741824 1073778376 140735966694384 140735966685520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31748/statm: 662137 5535 1755 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648548

[startup+0.100287 s]
/proc/loadavg: 2.05 2.04 2.00 3/194 31748
/proc/meminfo: memFree=25858660/32873844 swapFree=7116/7116
[pid=31748] ppid=31746 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/31748/stat : 31748 (java) S 31746 31748 28074 0 -1 4202496 4504 0 1 0 7 1 0 0 20 0 18 0 343435812 2712133632 6223 33554432000 1073741824 1073778376 140735966694384 140735966685520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31748/statm: 662142 6223 2067 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568

[startup+0.30026 s]
/proc/loadavg: 2.05 2.04 2.00 3/194 31748
/proc/meminfo: memFree=25858660/32873844 swapFree=7116/7116
[pid=31748] ppid=31746 vsize=2648568 CPUtime=0.55 cores=1,3,5,7
/proc/31748/stat : 31748 (java) S 31746 31748 28074 0 -1 4202496 7608 0 1 0 53 2 0 0 20 0 18 0 343435812 2712133632 11064 33554432000 1073741824 1073778376 140735966694384 140735966685520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31748/statm: 662142 11064 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2648568

[startup+0.700288 s]
/proc/loadavg: 2.05 2.04 2.00 3/194 31748
/proc/meminfo: memFree=25858660/32873844 swapFree=7116/7116
[pid=31748] ppid=31746 vsize=2648568 CPUtime=1.27 cores=1,3,5,7
/proc/31748/stat : 31748 (java) S 31746 31748 28074 0 -1 4202496 12965 0 1 0 120 7 0 0 20 0 18 0 343435812 2712133632 66383 33554432000 1073741824 1073778376 140735966694384 140735966685520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31748/statm: 662142 66383 2234 9 0 652835 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 2648568

[startup+1.50077 s]
/proc/loadavg: 2.05 2.04 2.00 5/213 31767
/proc/meminfo: memFree=25500924/32873844 swapFree=7116/7116
[pid=31748] ppid=31746 vsize=2715132 CPUtime=2.81 cores=1,3,5,7
/proc/31748/stat : 31748 (java) S 31746 31748 28074 0 -1 4202496 15130 0 1 0 269 12 0 0 20 0 19 0 343435812 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140735966685520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31748/statm: 678783 97273 2270 9 0 669476 0
[pid=31748/tid=31750] ppid=31746 vsize=2715132 CPUtime=1.43 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (java) R 31746 31748 28074 0 -1 4202560 2920 0 1 0 135 8 0 0 20 0 19 0 343435813 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535369424344 140535239788748 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (java) S 31746 31748 28074 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535236176424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31752] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31752/stat : 31752 (java) S 31746 31748 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535235123624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31753] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31753/stat : 31753 (java) S 31746 31748 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535234070824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31748/tid=31754] ppid=31746 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/31748/task/31754/stat : 31754 (java) S 31746 31748 28074 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535233018024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31755] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31755/stat : 31755 (java) S 31746 31748 28074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535231966248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31748/tid=31756] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31756/stat : 31756 (java) S 31746 31748 28074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535230913448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31757] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31757/stat : 31757 (java) S 31746 31748 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535229860648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31758] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31758/stat : 31758 (java) S 31746 31748 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535228807848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31759] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31759/stat : 31759 (java) S 31746 31748 28074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 343435816 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534746155496 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31760] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31760/stat : 31760 (java) S 31746 31748 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534745101560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31761] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31761/stat : 31761 (java) S 31746 31748 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534744048648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31762] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31762/stat : 31762 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534742997136 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31763] ppid=31746 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/31748/task/31763/stat : 31763 (java) S 31746 31748 28074 0 -1 4202560 3912 0 0 0 46 0 0 0 20 0 19 0 343435819 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534741945272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31764] ppid=31746 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/31748/task/31764/stat : 31764 (java) S 31746 31748 28074 0 -1 4202560 7056 0 0 0 73 2 0 0 20 0 19 0 343435819 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534740892472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31765] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31765/stat : 31765 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534739839864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31766] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31766/stat : 31766 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534738787272 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31767] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31767/stat : 31767 (java) S 31746 31748 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343435907 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534737732776 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 2715132

[startup+3.10069 s]
/proc/loadavg: 2.05 2.04 2.00 3/213 31767
/proc/meminfo: memFree=25477272/32873844 swapFree=7116/7116
[pid=31748] ppid=31746 vsize=2715132 CPUtime=4.44 cores=1,3,5,7
/proc/31748/stat : 31748 (java) S 31746 31748 28074 0 -1 4202496 15131 0 1 0 432 12 0 0 20 0 19 0 343435812 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140735966685520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31748/statm: 678783 97273 2270 9 0 669476 0
[pid=31748/tid=31750] ppid=31746 vsize=2715132 CPUtime=3.03 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (java) R 31746 31748 28074 0 -1 4202560 2921 0 1 0 295 8 0 0 20 0 19 0 343435813 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535369423328 140535239788590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (java) S 31746 31748 28074 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535236176424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31752] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31752/stat : 31752 (java) S 31746 31748 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535235123624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31753] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31753/stat : 31753 (java) S 31746 31748 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535234070824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31748/tid=31754] ppid=31746 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/31748/task/31754/stat : 31754 (java) S 31746 31748 28074 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535233018024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31755] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31755/stat : 31755 (java) S 31746 31748 28074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535231966248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31748/tid=31756] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31756/stat : 31756 (java) S 31746 31748 28074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535230913448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31757] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31757/stat : 31757 (java) S 31746 31748 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535229860648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31758] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31758/stat : 31758 (java) S 31746 31748 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140535228807848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31759] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31759/stat : 31759 (java) S 31746 31748 28074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 343435816 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534746155496 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31760] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31760/stat : 31760 (java) S 31746 31748 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534745101560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31761] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31761/stat : 31761 (java) S 31746 31748 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534744048648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31762] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31762/stat : 31762 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534742997136 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31763] ppid=31746 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/31748/task/31763/stat : 31763 (java) S 31746 31748 28074 0 -1 4202560 3912 0 0 0 46 0 0 0 20 0 19 0 343435819 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534741945272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31764] ppid=31746 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/31748/task/31764/stat : 31764 (java) S 31746 31748 28074 0 -1 4202560 7056 0 0 0 76 2 0 0 20 0 19 0 343435819 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534740892472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31765] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31765/stat : 31765 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534739839864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31766] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31766/stat : 31766 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534738787272 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31767] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31767/stat : 31767 (java) S 31746 31748 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343435907 2780295168 97273 33554432000 1073741824 1073778376 140735966694384 140534737732776 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 2715132

[startup+6.30073 s]
/proc/loadavg: 2.04 2.04 2.00 3/213 31767
/proc/meminfo: memFree=25456232/32873844 swapFree=7116/7116
[pid=31748] ppid=31746 vsize=2715132 CPUtime=7.69 cores=1,3,5,7
/proc/31748/stat : 31748 (java) S 31746 31748 28074 0 -1 4202496 15170 0 1 0 755 14 0 0 20 0 19 0 343435812 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140735966685520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31748/statm: 678783 102418 2270 9 0 669476 0
[pid=31748/tid=31750] ppid=31746 vsize=2715132 CPUtime=6.2 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (java) R 31746 31748 28074 0 -1 4202560 2923 0 1 0 612 8 0 0 20 0 19 0 343435813 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140535369424240 140535239877108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (java) S 31746 31748 28074 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 343435815 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140535236176424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31752] ppid=31746 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/31748/task/31752/stat : 31752 (java) S 31746 31748 28074 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 343435815 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140535235123624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31753] ppid=31746 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/31748/task/31753/stat : 31753 (java) S 31746 31748 28074 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 343435815 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140535234070824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31748/tid=31754] ppid=31746 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/31748/task/31754/stat : 31754 (java) S 31746 31748 28074 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 343435815 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140535233018024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31755] ppid=31746 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/31748/task/31755/stat : 31755 (java) S 31746 31748 28074 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 343435815 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140535231966248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31756] ppid=31746 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/31748/task/31756/stat : 31756 (java) S 31746 31748 28074 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 343435815 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140535230913448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31748/tid=31757] ppid=31746 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/31748/task/31757/stat : 31757 (java) S 31746 31748 28074 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 343435815 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140535229860648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31758] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31758/stat : 31758 (java) S 31746 31748 28074 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 343435815 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140535228807848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31759] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31759/stat : 31759 (java) S 31746 31748 28074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 343435816 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140534746155496 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31760] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31760/stat : 31760 (java) S 31746 31748 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140534745101560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31761] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31761/stat : 31761 (java) S 31746 31748 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140534744048648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31762] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31762/stat : 31762 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140534742997136 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31763] ppid=31746 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/31748/task/31763/stat : 31763 (java) S 31746 31748 28074 0 -1 4202560 3912 0 0 0 46 0 0 0 20 0 19 0 343435819 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140534741945272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31764] ppid=31746 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/31748/task/31764/stat : 31764 (java) S 31746 31748 28074 0 -1 4202560 7056 0 0 0 76 2 0 0 20 0 19 0 343435819 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140534740892472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31765] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31765/stat : 31765 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140534739839864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31766] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31766/stat : 31766 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140534738787272 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31767] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31767/stat : 31767 (java) S 31746 31748 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343435907 2780295168 102418 33554432000 1073741824 1073778376 140735966694384 140534737732776 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 2715132

[startup+12.7007 s]

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

[pid=31748/tid=31763] ppid=31746 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/31748/task/31763/stat : 31763 (java) S 31746 31748 28074 0 -1 4202560 3922 0 0 0 54 0 0 0 20 0 19 0 343435819 2780295168 292476 33554432000 1073741824 1073778376 140735966694384 140534741945272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31764] ppid=31746 vsize=2715132 CPUtime=0.86 cores=1,3,5,7
/proc/31748/task/31764/stat : 31764 (java) S 31746 31748 28074 0 -1 4202560 7060 0 0 0 84 2 0 0 20 0 19 0 343435819 2780295168 292476 33554432000 1073741824 1073778376 140735966694384 140534740892472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31765] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31765/stat : 31765 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 292476 33554432000 1073741824 1073778376 140735966694384 140534739839864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31766] ppid=31746 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/31748/task/31766/stat : 31766 (java) S 31746 31748 28074 0 -1 4202560 99 0 0 0 32 27 0 0 20 0 19 0 343435819 2780295168 292476 33554432000 1073741824 1073778376 140735966694384 140534738787272 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31767] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31767/stat : 31767 (java) S 31746 31748 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343435907 2780295168 292476 33554432000 1073741824 1073778376 140735966694384 140534737732776 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1728.34
Current children cumulated vsize (KiB) 2715132

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 4/213 32045
/proc/meminfo: memFree=25370888/32873844 swapFree=7116/7116
[pid=31748] ppid=31746 vsize=2715132 CPUtime=1788.44 cores=1,3,5,7
/proc/31748/stat : 31748 (java) S 31746 31748 28074 0 -1 4202496 16976 0 1 0 178693 151 0 0 20 0 19 0 343435812 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140735966685520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31748/statm: 678783 296572 2270 9 0 669476 0
[pid=31748/tid=31750] ppid=31746 vsize=2715132 CPUtime=1775.83 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (java) R 31746 31748 28074 0 -1 4202560 2973 0 1 0 177549 34 0 0 20 0 19 0 343435813 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535369424392 140535239840828 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=2715132 CPUtime=0.77 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (java) S 31746 31748 28074 0 -1 4202560 212 0 0 0 64 13 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535236176424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31752] ppid=31746 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/31748/task/31752/stat : 31752 (java) S 31746 31748 28074 0 -1 4202560 186 0 0 0 58 12 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535235123624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31753] ppid=31746 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/31748/task/31753/stat : 31753 (java) S 31746 31748 28074 0 -1 4202560 213 0 0 0 58 15 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535234070824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31754] ppid=31746 vsize=2715132 CPUtime=0.83 cores=1,3,5,7
/proc/31748/task/31754/stat : 31754 (java) S 31746 31748 28074 0 -1 4202560 249 0 0 0 67 16 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535233018024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31748/tid=31755] ppid=31746 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/31748/task/31755/stat : 31755 (java) S 31746 31748 28074 0 -1 4202560 217 0 0 0 58 15 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535231966248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31756] ppid=31746 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/31748/task/31756/stat : 31756 (java) S 31746 31748 28074 0 -1 4202560 204 0 0 0 60 14 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535230913448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31757] ppid=31746 vsize=2715132 CPUtime=0.64 cores=1,3,5,7
/proc/31748/task/31757/stat : 31757 (java) S 31746 31748 28074 0 -1 4202560 155 0 0 0 53 11 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535229860648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31758] ppid=31746 vsize=2715132 CPUtime=0.88 cores=1,3,5,7
/proc/31748/task/31758/stat : 31758 (java) S 31746 31748 28074 0 -1 4202560 220 0 0 0 71 17 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535228807848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31759] ppid=31746 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/31748/task/31759/stat : 31759 (java) S 31746 31748 28074 0 -1 4202560 77 0 0 0 1 2 0 0 20 0 19 0 343435816 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534746155496 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31760] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31760/stat : 31760 (java) S 31746 31748 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534745101560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31761] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31761/stat : 31761 (java) S 31746 31748 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534744048648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31762] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31762/stat : 31762 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534742997136 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31763] ppid=31746 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/31748/task/31763/stat : 31763 (java) S 31746 31748 28074 0 -1 4202560 3922 0 0 0 54 0 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534741945272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31764] ppid=31746 vsize=2715132 CPUtime=0.86 cores=1,3,5,7
/proc/31748/task/31764/stat : 31764 (java) S 31746 31748 28074 0 -1 4202560 7060 0 0 0 84 2 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534740892472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31765] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31765/stat : 31765 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534739839864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31766] ppid=31746 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/31748/task/31766/stat : 31766 (java) S 31746 31748 28074 0 -1 4202560 103 0 0 0 33 28 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534738787272 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31767] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31767/stat : 31767 (java) S 31746 31748 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343435907 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534737732776 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1788.44
Current children cumulated vsize (KiB) 2715132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 32045
/proc/meminfo: memFree=25337188/32873844 swapFree=7116/7116
[pid=31748] ppid=31746 vsize=2715132 CPUtime=1800.05 cores=1,3,5,7
/proc/31748/stat : 31748 (java) S 31746 31748 28074 0 -1 4202496 16976 0 1 0 179854 151 0 0 20 0 19 0 343435812 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140735966685520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31748/statm: 678783 296572 2270 9 0 669476 0
[pid=31748/tid=31750] ppid=31746 vsize=2715132 CPUtime=1787.41 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (java) R 31746 31748 28074 0 -1 4202560 2973 0 1 0 178706 35 0 0 20 0 19 0 343435813 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535369424272 140535239842517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=2715132 CPUtime=0.77 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (java) S 31746 31748 28074 0 -1 4202560 212 0 0 0 64 13 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535236176424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31752] ppid=31746 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/31748/task/31752/stat : 31752 (java) S 31746 31748 28074 0 -1 4202560 186 0 0 0 58 12 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535235123624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31753] ppid=31746 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/31748/task/31753/stat : 31753 (java) S 31746 31748 28074 0 -1 4202560 213 0 0 0 58 15 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535234070824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31754] ppid=31746 vsize=2715132 CPUtime=0.83 cores=1,3,5,7
/proc/31748/task/31754/stat : 31754 (java) S 31746 31748 28074 0 -1 4202560 249 0 0 0 67 16 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535233018024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31748/tid=31755] ppid=31746 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/31748/task/31755/stat : 31755 (java) S 31746 31748 28074 0 -1 4202560 217 0 0 0 58 15 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535231966248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31756] ppid=31746 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/31748/task/31756/stat : 31756 (java) S 31746 31748 28074 0 -1 4202560 204 0 0 0 60 14 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535230913448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31757] ppid=31746 vsize=2715132 CPUtime=0.64 cores=1,3,5,7
/proc/31748/task/31757/stat : 31757 (java) S 31746 31748 28074 0 -1 4202560 155 0 0 0 53 11 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535229860648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31758] ppid=31746 vsize=2715132 CPUtime=0.88 cores=1,3,5,7
/proc/31748/task/31758/stat : 31758 (java) S 31746 31748 28074 0 -1 4202560 220 0 0 0 71 17 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535228807848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31759] ppid=31746 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/31748/task/31759/stat : 31759 (java) S 31746 31748 28074 0 -1 4202560 77 0 0 0 1 2 0 0 20 0 19 0 343435816 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534746155496 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31760] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31760/stat : 31760 (java) S 31746 31748 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534745101560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31761] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31761/stat : 31761 (java) S 31746 31748 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534744048648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31762] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31762/stat : 31762 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534742997136 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31763] ppid=31746 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/31748/task/31763/stat : 31763 (java) S 31746 31748 28074 0 -1 4202560 3922 0 0 0 54 0 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534741945272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31764] ppid=31746 vsize=2715132 CPUtime=0.86 cores=1,3,5,7
/proc/31748/task/31764/stat : 31764 (java) S 31746 31748 28074 0 -1 4202560 7060 0 0 0 84 2 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534740892472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31765] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31765/stat : 31765 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534739839864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31766] ppid=31746 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/31748/task/31766/stat : 31766 (java) S 31746 31748 28074 0 -1 4202560 103 0 0 0 33 28 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534738787272 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31767] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31767/stat : 31767 (java) S 31746 31748 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343435907 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534737732776 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2715132

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

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

[startup+1793.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 32045
/proc/meminfo: memFree=25337188/32873844 swapFree=7116/7116
[pid=31748] ppid=31746 vsize=2715132 CPUtime=1800.05 cores=1,3,5,7
/proc/31748/stat : 31748 (java) S 31746 31748 28074 0 -1 4202496 16976 0 1 0 179854 151 0 0 20 0 19 0 343435812 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140735966685520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31748/statm: 678783 296572 2270 9 0 669476 0
[pid=31748/tid=31750] ppid=31746 vsize=2715132 CPUtime=1787.41 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (java) R 31746 31748 28074 0 -1 4202560 2973 0 1 0 178706 35 0 0 20 0 19 0 343435813 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535369424272 140535239842517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=2715132 CPUtime=0.77 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (java) S 31746 31748 28074 0 -1 4202560 212 0 0 0 64 13 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535236176424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31752] ppid=31746 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/31748/task/31752/stat : 31752 (java) S 31746 31748 28074 0 -1 4202560 186 0 0 0 58 12 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535235123624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31753] ppid=31746 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/31748/task/31753/stat : 31753 (java) S 31746 31748 28074 0 -1 4202560 213 0 0 0 58 15 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535234070824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31754] ppid=31746 vsize=2715132 CPUtime=0.83 cores=1,3,5,7
/proc/31748/task/31754/stat : 31754 (java) S 31746 31748 28074 0 -1 4202560 249 0 0 0 67 16 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535233018024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31748/tid=31755] ppid=31746 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/31748/task/31755/stat : 31755 (java) S 31746 31748 28074 0 -1 4202560 217 0 0 0 58 15 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535231966248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31756] ppid=31746 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/31748/task/31756/stat : 31756 (java) S 31746 31748 28074 0 -1 4202560 204 0 0 0 60 14 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535230913448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31757] ppid=31746 vsize=2715132 CPUtime=0.64 cores=1,3,5,7
/proc/31748/task/31757/stat : 31757 (java) S 31746 31748 28074 0 -1 4202560 155 0 0 0 53 11 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535229860648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31758] ppid=31746 vsize=2715132 CPUtime=0.88 cores=1,3,5,7
/proc/31748/task/31758/stat : 31758 (java) S 31746 31748 28074 0 -1 4202560 220 0 0 0 71 17 0 0 20 0 19 0 343435815 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140535228807848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31759] ppid=31746 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/31748/task/31759/stat : 31759 (java) S 31746 31748 28074 0 -1 4202560 77 0 0 0 1 2 0 0 20 0 19 0 343435816 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534746155496 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31760] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31760/stat : 31760 (java) S 31746 31748 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534745101560 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31761] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31761/stat : 31761 (java) S 31746 31748 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343435817 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534744048648 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31762] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31762/stat : 31762 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534742997136 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31763] ppid=31746 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/31748/task/31763/stat : 31763 (java) S 31746 31748 28074 0 -1 4202560 3922 0 0 0 54 0 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534741945272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31764] ppid=31746 vsize=2715132 CPUtime=0.86 cores=1,3,5,7
/proc/31748/task/31764/stat : 31764 (java) S 31746 31748 28074 0 -1 4202560 7060 0 0 0 84 2 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534740892472 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31748/tid=31765] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31765/stat : 31765 (java) S 31746 31748 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534739839864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31748/tid=31766] ppid=31746 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/31748/task/31766/stat : 31766 (java) S 31746 31748 28074 0 -1 4202560 103 0 0 0 33 28 0 0 20 0 19 0 343435819 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534738787272 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31748/tid=31767] ppid=31746 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31767/stat : 31767 (java) S 31746 31748 28074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343435907 2780295168 296572 33554432000 1073741824 1073778376 140735966694384 140534737732776 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2715132

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31748 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=979273
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=940704
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.98
CPU time (s): 1800.05
CPU user time (s): 1798.54
CPU system time (s): 1.51
CPU usage (%): 100.338
Max. virtual memory (cumulated for all children) (KiB): 2715132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.98
system time used= 1.9407
maximum resident set size= 1186440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17015
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39263
involuntary context switches= 19084

runsolver used 6.07008 second user time and 15.4437 second system time

The end

Launcher Data 

Begin job on node138 at 2012-06-04 03:25:07
IDJOB=3741392
IDBENCH=89852
IDSOLVER=2322
FILE ID=node138/3741392-1338773107
RUNJOBID= node138-1338746236-28091
PBS_JOBID= 14636774
Free space on /tmp= 70764 MiB

SOLVER NAME= PB09: SAT4J Pseudo Resolution 2.1.1
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb
COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741392-1338773107/watcher-3741392-1338773107 -o /tmp/evaluation-result-3741392-1338773107/solver-3741392-1338773107 -C 1800 -W 1900 -M 15500  java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3741392-1338773107.opb

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

MD5SUM BENCH= 8188d71a03844e125aafcd8487c80120
RANDOM SEED=1010693345

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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		: 2667.347
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		: 2667.347
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		: 2667.347
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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		: 2667.347
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		: 2667.347
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25858668 kB
Buffers:          727148 kB
Cached:          3994600 kB
SwapCached:          208 kB
Active:          3723600 kB
Inactive:        2353252 kB
Active(anon):    1339460 kB
Inactive(anon):    11376 kB
Active(file):    2384140 kB
Inactive(file):  2341876 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:              3528 kB
Writeback:             0 kB
AnonPages:       1354960 kB
Mapped:            22440 kB
Shmem:               200 kB
Slab:             772256 kB
SReclaimable:     214180 kB
SUnreclaim:       558076 kB
KernelStack:        1760 kB
PageTables:         6648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1517412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1314816 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= 70716 MiB
End job on node138 at 2012-06-04 03:55:03