Trace number 3720121

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: Pueblo 1.4SAT38437 1783.02 1783.35

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 Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.29/0.30	c starting to Solve
0.29/0.30	c #variables read: 8405 - #constraints read: 11368
34.69/34.72	o 41649
1782.96/1783.33	c total time              : 1783 s
1782.96/1783.33	s SATISFIABLE
1782.96/1783.33	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

Verifier Data 

OK	38437

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-3720121-1338507821/watcher-3720121-1338507821 -o /tmp/evaluation-result-3720121-1338507821/solver-3720121-1338507821 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720121-1338507821.opb 

running on 4 cores: 0,2,4,6

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: 1.92 1.95 1.67 3/176 18894
/proc/meminfo: memFree=27993072/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=3232 CPUtime=0 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 316907986 3309568 277 33554432000 134512640 134579096 4288236064 4288103412 2544365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 808 277 215 17 0 114 0

[startup+0.0344431 s]
/proc/loadavg: 1.92 1.95 1.67 3/176 18894
/proc/meminfo: memFree=27993072/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=4168 CPUtime=0.02 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 578 0 0 0 2 0 0 0 20 0 1 0 316907986 4268032 515 33554432000 134512640 134579096 4288236064 4288103340 11662384 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 1042 515 221 17 0 348 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4168

[startup+0.10014 s]
/proc/loadavg: 1.92 1.95 1.67 3/176 18894
/proc/meminfo: memFree=27993072/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=5368 CPUtime=0.09 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 909 0 0 0 9 0 0 0 20 0 1 0 316907986 5496832 846 33554432000 134512640 134579096 4288236064 4288103524 2544394 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 1342 846 221 17 0 648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5368

[startup+0.300117 s]
/proc/loadavg: 1.92 1.95 1.67 3/176 18894
/proc/meminfo: memFree=27993072/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=9620 CPUtime=0.29 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 1825 0 0 0 29 0 0 0 20 0 1 0 316907986 9850880 1762 33554432000 134512640 134579096 4288236064 4288235024 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 2405 1763 229 17 0 1711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9620

[startup+0.700098 s]
/proc/loadavg: 1.92 1.95 1.67 3/176 18894
/proc/meminfo: memFree=27993072/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=9624 CPUtime=0.69 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 1830 0 0 0 69 0 0 0 20 0 1 0 316907986 9854976 1767 33554432000 134512640 134579096 4288236064 4288234720 134522754 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 2406 1767 230 17 0 1712 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9624

[startup+1.5001 s]
/proc/loadavg: 1.92 1.95 1.67 3/177 18895
/proc/meminfo: memFree=27987260/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=10932 CPUtime=1.49 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 2133 0 0 0 149 0 0 0 20 0 1 0 316907986 11194368 2070 33554432000 134512640 134579096 4288236064 4288234720 134524568 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 2733 2070 230 17 0 2039 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10932

[startup+3.1001 s]
/proc/loadavg: 1.92 1.95 1.67 3/177 18895
/proc/meminfo: memFree=27985508/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=12240 CPUtime=3.09 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 2485 0 0 0 309 0 0 0 20 0 1 0 316907986 12533760 2422 33554432000 134512640 134579096 4288236064 4288234720 134522742 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 3060 2422 230 17 0 2366 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12240

[startup+6.30018 s]
/proc/loadavg: 1.93 1.95 1.67 3/177 18895
/proc/meminfo: memFree=27981044/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=17240 CPUtime=6.29 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 3722 0 0 0 629 0 0 0 20 0 1 0 316907986 17653760 3659 33554432000 134512640 134579096 4288236064 4288234880 134519111 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 4310 3659 230 17 0 3616 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17240

[startup+12.7002 s]
/proc/loadavg: 1.93 1.95 1.68 3/177 18895
/proc/meminfo: memFree=27965000/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=33056 CPUtime=12.68 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 7677 0 0 0 1268 0 0 0 20 0 1 0 316907986 33849344 7614 33554432000 134512640 134579096 4288236064 4288234896 134517893 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18894/statm: 8264 7614 230 17 0 7570 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33056

[startup+25.5002 s]
/proc/loadavg: 1.95 1.96 1.68 3/177 18895
/proc/meminfo: memFree=27948400/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=48944 CPUtime=25.48 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 11648 0 0 0 2547 1 0 0 20 0 1 0 316907986 50118656 11585 33554432000 134512640 134579096 4288236064 4288234912 134527939 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 12236 11585 230 17 0 11542 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48944

[startup+51.1001 s]
/proc/loadavg: 1.96 1.96 1.69 3/177 18943
/proc/meminfo: memFree=27889928/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=153968 CPUtime=51.08 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 37922 0 0 0 5100 8 0 0 20 0 1 0 316907986 157663232 37878 33554432000 134512640 134579096 4288236064 4288235036 11662384 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 38492 37878 230 17 0 37798 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 153968

[startup+102.306 s]
/proc/loadavg: 1.98 1.96 1.70 3/177 18943
/proc/meminfo: memFree=27682180/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=289252 CPUtime=102.27 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 75651 0 0 0 10208 19 0 0 20 0 1 0 316907986 296194048 71701 33554432000 134512640 134579096 4288236064 4288234896 134517901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 72313 71701 230 17 0 71619 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 289252

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/177 18943
/proc/meminfo: memFree=27567880/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=336980 CPUtime=162.24 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 87582 0 0 0 16195 29 0 0 20 0 1 0 316907986 345067520 83613 33554432000 134512640 134579096 4288236064 4288234896 134517893 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 84245 83613 230 17 0 83551 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 336980

[startup+222.3 s]
/proc/loadavg: 2.04 1.99 1.74 3/177 18943
/proc/meminfo: memFree=27495616/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=337308 CPUtime=222.22 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 94424 0 0 0 22182 40 0 0 20 0 1 0 316907986 345403392 83721 33554432000 134512640 134579096 4288236064 4288235036 11662384 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 84327 83721 230 17 0 83633 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 337308

[startup+282.3 s]
/proc/loadavg: 2.01 1.99 1.75 3/177 18944
/proc/meminfo: memFree=27363952/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=399640 CPUtime=282.21 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 109982 0 0 0 28163 58 0 0 20 0 1 0 316907986 409231360 99279 33554432000 134512640 134579096 4288236064 4288234896 134517903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 99910 99279 230 17 0 99216 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 399640

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/177 18944
/proc/meminfo: memFree=27286232/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=403924 CPUtime=342.2 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 111155 0 0 0 34152 68 0 0 20 0 1 0 316907986 413618176 100344 33554432000 134512640 134579096 4288236064 4288234896 134517908 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 100981 100344 230 17 0 100287 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 403924

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/178 18947
/proc/meminfo: memFree=27180956/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=429976 CPUtime=402.2 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 117671 0 0 0 40131 89 0 0 20 0 1 0 316907986 440295424 106860 33554432000 134512640 134579096 4288236064 4288234864 134528550 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 107494 106860 230 17 0 106800 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 429976

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 18947
/proc/meminfo: memFree=27132176/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=429604 CPUtime=462.18 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 117833 0 0 0 46116 102 0 0 20 0 1 0 316907986 439914496 106791 33554432000 134512640 134579096 4288236064 4288234896 134517922 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 107401 106791 230 17 0 106707 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 429604

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 18947
/proc/meminfo: memFree=27061940/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=440352 CPUtime=522.17 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 120510 0 0 0 52109 108 0 0 20 0 1 0 316907986 450920448 109468 33554432000 134512640 134579096 4288236064 4288235036 11662384 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 110088 109468 230 17 0 109394 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 440352

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/177 18948
/proc/meminfo: memFree=26966984/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=467004 CPUtime=582.16 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 127161 0 0 0 58101 115 0 0 20 0 1 0 316907986 478212096 116119 33554432000 134512640 134579096 4288236064 4288235036 11662384 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 116751 116119 230 17 0 116057 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 467004

[startup+642.3 s]

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

/proc/meminfo: memFree=26729900/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=502664 CPUtime=822.13 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 146303 0 0 0 82034 179 0 0 20 0 1 0 316907986 514727936 125011 33554432000 134512640 134579096 4288236064 4288234896 134517901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 125666 125011 230 17 0 124972 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 502664

[startup+882.3 s]
/proc/loadavg: 2.06 2.00 1.85 3/177 18949
/proc/meminfo: memFree=26671000/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=502748 CPUtime=882.12 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 147667 0 0 0 88026 186 0 0 20 0 1 0 316907986 514813952 125018 33554432000 134512640 134579096 4288236064 4288234992 134559533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 125687 125018 230 17 0 124993 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 502748

[startup+942.3 s]
/proc/loadavg: 2.02 2.00 1.85 3/177 18949
/proc/meminfo: memFree=26601536/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=531144 CPUtime=942.11 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 154862 0 0 0 94013 198 0 0 20 0 1 0 316907986 543891456 132153 33554432000 134512640 134579096 4288236064 4288234944 134557302 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 132786 132153 230 17 0 132092 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 531144

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18952
/proc/meminfo: memFree=26548096/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=534288 CPUtime=1002.08 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 155801 0 0 0 100004 204 0 0 20 0 1 0 316907986 547110912 132943 33554432000 134512640 134579096 4288236064 4288234912 134527989 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 133572 132943 230 17 0 132878 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 534288

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 18975
/proc/meminfo: memFree=26507612/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=536120 CPUtime=1062.08 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 157029 0 0 0 105995 213 0 0 20 0 1 0 316907986 548986880 133363 33554432000 134512640 134579096 4288236064 4288234704 1794273 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 134030 133363 230 17 0 133336 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 536120

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 18975
/proc/meminfo: memFree=26470504/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=536060 CPUtime=1122.06 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 157404 0 0 0 111987 219 0 0 20 0 1 0 316907986 548925440 133331 33554432000 134512640 134579096 4288236064 4288235036 11662384 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 134015 133331 230 17 0 133321 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 536060

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 18977
/proc/meminfo: memFree=26432324/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=535232 CPUtime=1182.06 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 157493 0 0 0 117981 225 0 0 20 0 1 0 316907986 548077568 133148 33554432000 134512640 134579096 4288236064 4288234944 134557279 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 133808 133148 230 17 0 133114 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 535232

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 1.89 3/177 18977
/proc/meminfo: memFree=26389676/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=536176 CPUtime=1242.04 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 157716 0 0 0 123975 229 0 0 20 0 1 0 316907986 549044224 133371 33554432000 134512640 134579096 4288236064 4288235036 11662384 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 134044 133371 230 17 0 133350 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 536176

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/177 18977
/proc/meminfo: memFree=26346276/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=535232 CPUtime=1302.04 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 158085 0 0 0 129971 233 0 0 20 0 1 0 316907986 548077568 133148 33554432000 134512640 134579096 4288236064 4288234864 134528613 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 133808 133148 230 17 0 133114 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 535232

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 18977
/proc/meminfo: memFree=26279564/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=570644 CPUtime=1362.03 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 167551 0 0 0 135958 245 0 0 20 0 1 0 316907986 584339456 141994 33554432000 134512640 134579096 4288236064 4288234912 134527836 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 142661 141994 230 17 0 141967 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 570644

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18977
/proc/meminfo: memFree=26224632/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=573500 CPUtime=1422.03 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 168265 0 0 0 141951 252 0 0 20 0 1 0 316907986 587264000 142708 33554432000 134512640 134579096 4288236064 4288235036 11662384 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 143375 142708 230 17 0 142681 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 573500

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 18977
/proc/meminfo: memFree=26201292/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=574188 CPUtime=1482.01 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 169213 0 0 0 147943 258 0 0 20 0 1 0 316907986 587968512 142883 33554432000 134512640 134579096 4288236064 4288235036 11662384 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 143547 142883 230 17 0 142853 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 574188

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18978
/proc/meminfo: memFree=26201188/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=574300 CPUtime=1542 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 169220 0 0 0 153936 264 0 0 20 0 1 0 316907986 588083200 142890 33554432000 134512640 134579096 4288236064 4288234864 134528556 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 143575 142890 230 17 0 142881 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 574300

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18981
/proc/meminfo: memFree=26204228/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=570428 CPUtime=1601.99 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 170126 0 0 0 159927 272 0 0 20 0 1 0 316907986 584118272 141948 33554432000 134512640 134579096 4288236064 4288234896 134517856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 142607 141948 230 17 0 141913 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 570428

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18981
/proc/meminfo: memFree=26200544/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=574664 CPUtime=1661.98 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 172094 0 0 0 165919 279 0 0 20 0 1 0 316907986 588455936 142987 33554432000 134512640 134579096 4288236064 4288235036 11662384 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 143666 142987 230 17 0 142972 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 574664

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/177 18981
/proc/meminfo: memFree=26199332/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=575476 CPUtime=1721.97 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 173506 0 0 0 171911 286 0 0 20 0 1 0 316907986 589287424 143186 33554432000 134512640 134579096 4288236064 4288234864 134528560 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 143869 143186 230 17 0 143175 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 575476

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 18981
/proc/meminfo: memFree=26203468/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=570492 CPUtime=1781.96 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 173541 0 0 0 177906 290 0 0 20 0 1 0 316907986 584183808 141964 33554432000 134512640 134579096 4288236064 4288234864 134528672 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 142623 141964 230 17 0 141929 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 570492

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

[startup+1783.11 s]
/proc/loadavg: 2.02 2.01 1.91 3/176 18981
/proc/meminfo: memFree=26203592/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=570492 CPUtime=1782.77 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 173541 0 0 0 177987 290 0 0 20 0 1 0 316907986 584183808 141964 33554432000 134512640 134579096 4288236064 4288234864 134528580 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 142623 141964 230 17 0 141929 0
Current children cumulated CPU time (s) 1782.77
Current children cumulated vsize (KiB) 570492

[startup+1783.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/176 18981
/proc/meminfo: memFree=26203592/32873648 swapFree=7112/7112
[pid=18894] ppid=18892 vsize=570492 CPUtime=1782.96 cores=0,2,4,6
/proc/18894/stat : 18894 (Pueblo) R 18892 18894 18388 0 -1 4202496 173541 0 0 0 178006 290 0 0 20 0 1 0 316907986 584183808 141964 33554432000 134512640 134579096 4288236064 4288235036 11662384 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18894/statm: 142623 141964 230 17 0 141929 0
Current children cumulated CPU time (s) 1782.96
Current children cumulated vsize (KiB) 570492

Child status: 10
Real time (s): 1783.35
CPU time (s): 1783.02
CPU user time (s): 1780.1
CPU system time (s): 2.91356
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 575600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.1
system time used= 2.91356
maximum resident set size= 572884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173546
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= 108
involuntary context switches= 1912

runsolver used 2.68459 second user time and 7.06593 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-01 01:43:41
IDJOB=3720121
IDBENCH=2233
IDSOLVER=2305
FILE ID=node126/3720121-1338507821
RUNJOBID= node126-1338506004-18404
PBS_JOBID= 14635765
Free space on /tmp= 70804 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720121-1338507821/watcher-3720121-1338507821 -o /tmp/evaluation-result-3720121-1338507821/solver-3720121-1338507821 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720121-1338507821.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1794389530

node126.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.456
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	: 5332.91
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.456
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.456
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.92
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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27993716 kB
Buffers:          369784 kB
Cached:          3568456 kB
SwapCached:         9476 kB
Active:          1456580 kB
Inactive:        2566520 kB
Active(anon):      75292 kB
Inactive(anon):    12180 kB
Active(file):    1381288 kB
Inactive(file):  2554340 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:              2744 kB
Writeback:             0 kB
AnonPages:         83512 kB
Mapped:            10512 kB
Shmem:                 0 kB
Slab:             720292 kB
SReclaimable:     164368 kB
SUnreclaim:       555924 kB
KernelStack:        1432 kB
PageTables:         4072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     198384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720121-1338507821.opb

Free space on /tmp at the end= 70796 MiB
End job on node126 at 2012-06-01 02:13:24