Trace number 3732984

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
PB10: pb_cplex 2010-06-29OPT939 5.37918 5.45815

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark5.37918
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	939

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-3732984-1339247382/watcher-3732984-1339247382 -o /tmp/evaluation-result-3732984-1339247382/solver-3732984-1339247382 -C 1800 -W 1900 -M 15500 run HOME/instance-3732984-1339247382.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: 12.20 9.21 4.53 4/184 4052
/proc/meminfo: memFree=29860076/32873844 swapFree=7632/7632
[pid=4052] ppid=4050 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4052/stat : 4052 (run) S 4050 4052 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390862515 9367552 270 33554432000 4194304 5064252 140735193142304 140735193141216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4052/statm: 2287 270 229 213 0 72 0

[startup+0.0882069 s]
/proc/loadavg: 12.20 9.21 4.53 4/184 4052
/proc/meminfo: memFree=29860076/32873844 swapFree=7632/7632
[pid=4052] ppid=4050 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4052/stat : 4052 (run) S 4050 4052 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390862515 9367552 270 33554432000 4194304 5064252 140735193142304 140735193141216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4052/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100258 s]
/proc/loadavg: 12.20 9.21 4.53 4/184 4052
/proc/meminfo: memFree=29860076/32873844 swapFree=7632/7632
[pid=4052] ppid=4050 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4052/stat : 4052 (run) S 4050 4052 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390862515 9367552 270 33554432000 4194304 5064252 140735193142304 140735193141216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4052/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300179 s]
/proc/loadavg: 12.20 9.21 4.53 4/184 4052
/proc/meminfo: memFree=29860076/32873844 swapFree=7632/7632
[pid=4052] ppid=4050 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4052/stat : 4052 (run) S 4050 4052 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390862515 9367552 270 33554432000 4194304 5064252 140735193142304 140735193141216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4052/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700177 s]
/proc/loadavg: 12.20 9.21 4.53 4/184 4052
/proc/meminfo: memFree=29860076/32873844 swapFree=7632/7632
[pid=4052] ppid=4050 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4052/stat : 4052 (run) S 4050 4052 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390862515 9367552 270 33554432000 4194304 5064252 140735193142304 140735193141216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4052/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 12.20 9.21 4.53 10/186 4054
/proc/meminfo: memFree=29858340/32873844 swapFree=7632/7632
[pid=4052] ppid=4050 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4052/stat : 4052 (run) S 4050 4052 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390862515 9367552 270 33554432000 4194304 5064252 140735193142304 140735193141216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4052/statm: 2287 270 229 213 0 72 0
[pid=4053] ppid=4052 vsize=15048 CPUtime=1.49 cores=1,3,5,7
/proc/4053/stat : 4053 (pb_cplex) R 4052 4052 3419 0 -1 4202496 813 0 0 0 149 0 0 0 20 0 1 0 390862515 15409152 768 33554432000 134512640 146736320 4292201408 4292171820 140408485 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4053/statm: 3762 768 301 2985 0 561 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24196

[startup+3.10022 s]
/proc/loadavg: 11.94 9.21 4.56 3/186 4054
/proc/meminfo: memFree=29857340/32873844 swapFree=7632/7632
[pid=4052] ppid=4050 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4052/stat : 4052 (run) S 4050 4052 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390862515 9367552 270 33554432000 4194304 5064252 140735193142304 140735193141216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4052/statm: 2287 270 229 213 0 72 0
[pid=4053] ppid=4052 vsize=15196 CPUtime=3.09 cores=1,3,5,7
/proc/4053/stat : 4053 (pb_cplex) R 4052 4052 3419 0 -1 4202496 847 0 0 0 309 0 0 0 20 0 1 0 390862515 15560704 802 33554432000 134512640 146736320 4292201408 4292171696 141028095 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4053/statm: 3799 802 301 2985 0 598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24344

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

[startup+4.70022 s]
/proc/loadavg: 11.94 9.21 4.56 10/186 4054
/proc/meminfo: memFree=29813444/32873844 swapFree=7632/7632
[pid=4052] ppid=4050 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4052/stat : 4052 (run) S 4050 4052 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390862515 9367552 270 33554432000 4194304 5064252 140735193142304 140735193141216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4052/statm: 2287 270 229 213 0 72 0
[pid=4053] ppid=4052 vsize=15628 CPUtime=4.69 cores=1,3,5,7
/proc/4053/stat : 4053 (pb_cplex) R 4052 4052 3419 0 -1 4202496 989 0 0 0 469 0 0 0 20 0 1 0 390862515 16003072 944 33554432000 134512640 146736320 4292201408 4292199324 134814122 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4053/statm: 3907 944 320 2985 0 706 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 24776

[startup+5.10022 s]
/proc/loadavg: 11.94 9.21 4.56 10/186 4054
/proc/meminfo: memFree=29813444/32873844 swapFree=7632/7632
[pid=4052] ppid=4050 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4052/stat : 4052 (run) S 4050 4052 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390862515 9367552 270 33554432000 4194304 5064252 140735193142304 140735193141216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4052/statm: 2287 270 229 213 0 72 0
[pid=4053] ppid=4052 vsize=17520 CPUtime=5.09 cores=1,3,5,7
/proc/4053/stat : 4053 (pb_cplex) R 4052 4052 3419 0 -1 4202496 1565 0 0 0 509 0 0 0 20 0 1 0 390862515 17940480 1520 33554432000 134512640 146736320 4292201408 4292199432 144716523 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4053/statm: 4380 1520 419 2985 0 1179 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 26668

[startup+5.30028 s]
/proc/loadavg: 11.94 9.21 4.56 10/186 4054
/proc/meminfo: memFree=29813444/32873844 swapFree=7632/7632
[pid=4052] ppid=4050 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4052/stat : 4052 (run) S 4050 4052 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390862515 9367552 270 33554432000 4194304 5064252 140735193142304 140735193141216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4052/statm: 2287 270 229 213 0 72 0
[pid=4053] ppid=4052 vsize=31224 CPUtime=5.29 cores=1,3,5,7
/proc/4053/stat : 4053 (pb_cplex) R 4052 4052 3419 0 -1 4202496 7108 0 0 0 528 1 0 0 20 0 1 0 390862515 31973376 5052 33554432000 134512640 146736320 4292201408 4292200296 136765704 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4053/statm: 7806 5052 824 2985 0 4740 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 40372

[startup+5.40034 s]
/proc/loadavg: 11.94 9.21 4.56 9/185 4054
/proc/meminfo: memFree=29809104/32873844 swapFree=7632/7632
[pid=4052] ppid=4050 vsize=9148 CPUtime=5.37 cores=1,3,5,7
/proc/4052/stat : 4052 (run) D 4050 4052 3419 0 -1 4202496 357 7126 0 0 0 0 536 1 20 0 1 0 390862515 9367552 270 33554432000 4194304 5064252 140735193142304 140735193137768 209883841920 0 0 4100 65536 18446744072099229941 0 0 17 1 0 0 0 0 0
/proc/4052/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 9148

Child status: 0
Real time (s): 5.45815
CPU time (s): 5.37918
CPU user time (s): 5.36118
CPU system time (s): 0.017997
CPU usage (%): 98.5533
Max. virtual memory (cumulated for all children) (KiB): 40372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.36118
system time used= 0.017997
maximum resident set size= 20252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7489
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 7

runsolver used 0.007998 second user time and 0.030995 second system time

The end

Launcher Data 

Begin job on node141 at 2012-06-09 15:09:42
IDJOB=3732984
IDBENCH=2233
IDSOLVER=2325
FILE ID=node141/3732984-1339247382
RUNJOBID= node141-1339246834-3436
PBS_JOBID= 14644340
Free space on /tmp= 69288 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732984-1339247382/watcher-3732984-1339247382 -o /tmp/evaluation-result-3732984-1339247382/solver-3732984-1339247382 -C 1800 -W 1900 -M 15500  run HOME/instance-3732984-1339247382.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1342085443

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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:        29860604 kB
Buffers:          383616 kB
Cached:          1549456 kB
SwapCached:         3056 kB
Active:           735684 kB
Inactive:        1331528 kB
Active(anon):     132856 kB
Inactive(anon):     2872 kB
Active(file):     602828 kB
Inactive(file):  1328656 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             17200 kB
Writeback:             0 kB
AnonPages:        139340 kB
Mapped:            12576 kB
Shmem:                 0 kB
Slab:             805460 kB
SReclaimable:     246308 kB
SUnreclaim:       559152 kB
KernelStack:        1496 kB
PageTables:         4604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     312148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3732984-1339247382.opb

Free space on /tmp at the end= 69272 MiB
End job on node141 at 2012-06-09 15:09:47