Trace number 3501160

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 NameAnswerCPU timeWall clock time
MUSer 2011-02-10UNSAT 560.619 560.597

General information on the benchmark

Namegmus/belov/
nusmvguidancep6.aig.k25.gcnf
MD5SUM851bbf0128c7a2e123197aaf3d6843fc
Bench CategoryGMUS (GMUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark374.063
Satisfiable
(Un)Satisfiability was proved
Number of variables35181
Number of clauses99244
Sum of the clauses size231568
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 266162
Number of clauses of size 333081
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50
Number of groups33081
Number of clauses in the kernel (group 0)1
Least number of clauses in a group (except group 0) 3
Greatest number of clauses in a group (except group 0) 3

Solver Data 

0.00/0.00	c *** MUSer: a MUS extractor ***
0.00/0.00	c *** release date: 2011210 ***
0.00/0.00	c *** release ref: f95464aa99ac ***
0.00/0.00	c *** built: 2011-Feb-10 00:59 ***
0.00/0.00	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.00	c 
0.00/0.00	c *** instance: HOME/instance-3501160-1308043524.gcnf ***
0.00/0.00	c 
0.09/0.14	c Parsing CPU Time: 0.136979
0.09/0.14	c Running MUSer ...
6.39/6.41	c 0.00% completed ... 
38.68/38.71	c 5.02% completed ... 
464.61/464.63	c 20.10% completed ... 
523.91/523.95	c 25.46% completed ... 
560.52/560.54	c 100.00% completed ... 
560.52/560.54	c MUS size: 30126
560.52/560.54	s UNSATISFIABLE
560.52/560.54	v 26 40 46 57 58 63 64 65 71 72 80 85 86 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 211 212 213 214 215 217 218 219 230 232 252 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 333 355 361 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 429 438 457 465 473 474 475 541 551 559 560 572 581 589 602 603 604 749 758 778 857 866 882 901 902 939 970 998 1012 1052 1059 1065 1066 1102 1103 1104 1105 1106 1107 1108 1131 1133 1134 1140 1144 1149 1154 1159 1161 1172 1185 1190 1195 1222 1237 1238 1239 1247 1256 1257 1261 1263 1270 1271 1276 1281 1292 1297 1305 1318 1326 1328 1329 1333 1334 1335 1336 1337 1338 1339 1340 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1356 1357 1358 1359 1362 1363 1364 1365 1366 1367 1370 1371 1373 1374 1375 1377 1378 1382 1383 1384 1387 1388 1389 1390 1391 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1424 1425 1426 1427 1429 1430 1431 1432 1433 1434 1435 1436 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1449 1450 1452 1453 1454 1456 1457 1458 1460 1461 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1484 1485 1486 1487 1488 1489 1493 1494 1496 1497 1503 1506 1507 1508 1510 1511 1512 1513 1514 1515 1516 1520 1521 1522 1524 1525 1530 1533 1534 1535 1537 1541 1544 1545 1546 1551 1552 1553 1554 1560 1563 1564 1565 1566 1567 1568 1569 1572 1574 1575 1578 1579 1580 1581 1582 1586 1587 1588 1589 1590 1591 1593 1594 1597 1598 1599 1600 1601 1602 1608 1611 1612 1614 1615 1617 1620 1623 1624 1625 1628 1629 1630 1631 1633 1634 1635 1636 1637 1638 1639 1641 1642 1643 1644 1645 1646 1647 1650 1651 1652 1653 1657 1662 1663 1664 1665 1666 1667 1669 1674 1677 1678 1679 1682 1685 1686 1687 1693 1702 1705 1706 1707 1713 1714 1715 1716 1717 1720 1723 1724 1725 1726 1727 1728 1729 1730 1731 1733 1739 1740 1741 1743 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1818 1841 1874 1891 1892 1931 1932 1933 1934 2322 2505 2506 2507 2508 2509 2510 2511 2534 2536 2537 2543 2547 2552 2557 2562 2564 2575 2586 2591 2596 2634 2635 2647 2657 2662 2667 2677 2682 2690 2703 2711 2713 2714 2718 2719 2720 2721 2722 2723 2725 2726 2727 2728 2729 2730 2731 2732 2733 2734 2738 2739 2740 2741 2744 2745 2746 2747 2748 2749 2750 2752 2753 2754 2755 2759 2760 2761 2762 2763 2764 2765 2766 2768 2769 2770 2771 2772 2773 2774 2775 2776 2777 2780 2781 2782 2783 2784 2785 2786 2787 2788 2789 2790 2791 2792 2793 2794 2795 2796 2798 2799 2800 2801 2803 2804 2805 2806 2807 2808 2809 2810 2812 2813 2814 2815 2816 2817 2818 2819 2820 2822 2823 2825 2826 2827 2829 2830 2831 2833 2834 2836 2837 2838 2854 2855 2856 2857 2858 2859 2860 2861 2862 2863 2864 2865 2866 2867 2868 2874 2877 2878 2879 2881 2882 2883 2884 2885 2886 2887 2891 2892 2893 2894 2899 2902 2903 2904 2906 2910 2913 2914 2915 2920 2921 2922 2923 2929 2932 2933 2934 2935 2936 2937 2940 2942 2943 2946 2947 2948 2952 2953 2954 2955 2956 2957 2959 2960 2963 2964 2965 2966 2967 2968 2974 2977 2978 2979 2981 2984 2987 2988 2989 2992 2993 2994 2995 2997 2998 2999 3000 3001 3002 3003 3005 3006 3007 3008 3009 3010 3011 3014 3015 3016 3017 3021 3026 3027 3028 3029 3030 3031 3033 3038 3041 3042 3043 3046 3049 3050 3051 3057 3066 3069 3070 3071 3077 3078 3079 3080 3083 3086 3087 3088 3089 3090 3091 3092 3093 3095 3101 3102 3103 3105 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3143 3150 3180 3189 3194 3196 3197 3198 3199 3200 3201 3202 3203 3213 3214 3215 3217 3218 3219 3226 3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3251 3252 3253 3254 3293 3294 3295 3296 3684 3867 3868 3869 3870 3871 3872 3873 3896 3898 3899 3904 3905 3906 3907 3908 3909 3914 3919 3924 3926 3937 3948 3953 3958 3996 3997 4009 4019 4024 4029 4039 4044 4052 4065 4073 4075 4076 4080 4081 4082 4083 4084 4085 4087 4088 4089 4090 4091 4092 4093 4094 4095 4096 4099 4100 4101 4102 4103 4106 4107 4108 4109 4110 4111 4112 4114 4115 4116 4117 4121 4122 4123 4124 4125 4126 4127 4128 4130 4131 4132 4133 4134 4135 4136 4137 4138 4139 4142 4143 4144 4145 4146 4147 4148 4149 4150 4151 4152 4153 4154 4155 4156 4157 4158 4160 4161 4162 4163 4165 4166 4167 4168 4169 4170 4171 4172 4174 4175 4176 4177 4178 4179 4180 4181 4182 4184 4185 4187 4188 4189 4191 4192 4193 4195 4196 4198 4199 4200 4201 4202 4203 4204 4205 4206 4207 4208 4209 4210 4211 4212 4216 4217 4219 4220 4221 4222 4223 4224 4225 4226 4227 4228 4229 4230 4236 4239 4240 4241 4243 4244 4245 4246 4247 4248 4249 4253 4254 4255 4256 4261 4264 4265 4266 4268 4272 4275 4276 4277 4282 4283 4284 4285 4291 4294 4295 4296 4297 4298 4299 4302 4304 4305 4308 4309 4310 4314 4315 4316 4317 4318 4319 4321 4322 4325 4326 4327 4328 4329 4330 4336 4339 4340 4341 4343 4346 4349 4350 4351 4354 4355 4356 4357 4359 4360 4361 4362 4363 4364 4365 4367 4368 4369 4370 4371 4372 4373 4376 4377 4378 4379 4383 4388 4389 4390 4391 4392 4393 4395 4400 4403 4404 4405 4408 4411 4412 4413 4419 4428 4431 4432 4433 4439 4440 4441 4442 4445 4448 4449 4450 4451 4452 4453 4454 4455 4457 4463 4464 4465 4467 4470 4471 4472 4473 4474 4475 4476 4477 4478 4479 4505 4512 4542 4551 4556 4558 4559 4560 4561 4562 4563 4564 4565 4575 4576 4577 4579 4580 4581 4588 4592 4593 4594 4595 4596 4597 4598 4599 4600 4601 4602 4603 4604 4605 4606 4607 4613 4614 4615 4616 4655 4656 4657 4658 5046 5047 5193 5229 5230 5231 5232 5233 5234 5235 5236 5238 5254 5258 5261 5262 5263 5264 5266 5267 5268 5269 5270 5271 5276 5281 5286 5288 5299 5310 5315 5320 5358 5359 5367 5371 5381 5382 5383 5384 5385 5386 5391 5401 5406 5414 5416 5418 5423 5424 5425 5426 5427 5443 5444 5445 5446 5447 5449 5450 5451 5452 5453 5454 5455 5456 5457 5458 5459 5460 5461 5462 5463 5464 5465 5468 5469 5470 5471 5472 5473 5474 5476 5477 5478 5479 5483 5484 5485 5486 5487 5488 5489 5490 5492 5493 5494 5495 5496 5497 5498 5499 5500 5501 5504 5505 5506 5507 5508 5509 5510 5511 5512 5513 5514 5515 5516 5517 5518 5519 5520 5522 5523 5524 5525 5526 5527 5528 5529 5530 5531 5532 5533 5534 5536 5537 5538 5539 5540 5541 5542 5543 5544 5546 5547 5549 5550 5551 5552 5553 5554 5555 5557 5558 5559 5560 5561 5562 5563 5564 5565 5566 5567 5568 5569 5570 5571 5572 5573 5574 5575 5576 5577 5578 5579 5581 5582 5583 5584 5585 5586 5587 5588 5589 5590 5591 5592 5598 5601 5602 5603 5605 5606 5607 5608 5609 5610 5611 5615 5616 5617 5618 5623 5626 5627 5628 5630 5634 5637 5638 5639 5644 5645 5646 5647 5653 5656 5657 5658 5659 5660 5661 5664 5666 5667 5670 5671 5672 5676 5677 5678 5679 5680 5681 5683 5684 5687 5688 5689 5690 5691 5692 5698 5701 5702 5703 5705 5708 5711 5712 5713 5716 5717 5718 5719 5721 5722 5723 5724 5725 5726 5727 5729 5730 5731 5732 5733 5734 5735 5738 5739 5740 5741 5745 5750 5751 5752 5753 5754 5755 5757 5762 5765 5766 5767 5770 5773 5774 5775 5781 5790 5793 5794 5795 5801 5802 5803 5804 5807 5810 5811 5812 5813 5814 5815 5816 5817 5819 5825 5826 5827 5828 5829 5830 5831 5832 5833 5834 5835 5836 5837 5838 5839 5840 5841 5899 5904 5921 5927 5944 5960 5961 5962 5963 5964 5965 5966 5967 5968 5969 5970 5971 5972 5973 5974 5975 5976 5977 5978 6017 6019 6020 6408 6409 6555 6556 6557 6559 6560 6561 6563 6564 6565 6567 6568 6569 6570 6571 6576 6581 6589 6591 6592 6593 6594 6595 6596 6597 6598 6600 6616 6620 6622 6623 6624 6625 6626 6628 6629 6630 6631 6632 6633 6638 6643 6648 6650 6661 6672 6677 6682 6690 6692 6693 6698 6700 6701 6702 6705 6706 6707 6718 6719 6720 6721 6722 6724 6725 6726 6727 6728 6729 6731 6732 6733 6734 6735 6736 6737 6739 6740 6741 6742 6743 6744 6745 6746 6747 6748 6753 6763 6768 6776 6778 6780 6785 6786 6787 6788 6789 6805 6806 6807 6808 6809 6810 6811 6812 6813 6814 6815 6816 6817 6818 6819 6820 6821 6822 6823 6824 6825 6826 6827 6830 6831 6832 6833 6834 6835 6836 6838 6839 6840 6841 6845 6846 6847 6849 6850 6851 6852 6854 6855 6856 6857 6858 6859 6860 6861 6862 6863 6866 6867 6868 6869 6870 6871 6872 6873 6874 6875 6876 6878 6879 6880 6881 6882 6883 6884 6885 6886 6887 6888 6889 6890 6891 6892 6893 6894 6895 6896 6897 6898 6899 6900 6901 6902 6903 6904 6905 6906 6908 6909 6911 6912 6913 6914 6915 6916 6917 6919 6920 6921 6922 6923 6924 6925 6926 6927 6928 6929 6930 6931 6932 6933 6934 6935 6936 6937 6938 6939 6940 6941 6943 6944 6945 6946 6947 6948 6949 6950 6951 6952 6953 6954 6960 6963 6964 6965 6967 6968 6969 6970 6971 6972 6973 6977 6978 6979 6980 6985 6988 6989 6990 6992 6996 6999 7000 7001 7005 7006 7007 7008 7009 7015 7018 7019 7020 7021 7022 7023 7025 7026 7028 7029 7032 7033 7034 7038 7039 7040 7041 7042 7043 7045 7046 7049 7050 7051 7052 7053 7054 7060 7063 7064 7065 7067 7070 7073 7074 7075 7078 7079 7080 7081 7083 7084 7085 7086 7087 7088 7089 7091 7092 7093 7094 7095 7096 7097 7100 7101 7102 7103 7107 7112 7113 7114 7115 7116 7117 7119 7124 7127 7128 7129 7132 7135 7136 7137 7143 7152 7155 7156 7157 7163 7164 7165 7166 7169 7172 7173 7174 7175 7176 7177 7178 7179 7181 7187 7188 7189 7190 7191 7192 7193 7194 7195 7196 7197 7198 7199 7200 7201 7202 7203 7229 7236 7266 7275 7280 7282 7283 7284 7285 7286 7287 7288 7289 7299 7300 7301 7303 7304 7305 7306 7312 7316 7317 7318 7319 7320 7321 7322 7323 7324 7325 7326 7327 7328 7329 7330 7331 7337 7338 7339 7340 7379 7380 7381 7382 7770 7771 7898 7899 7900 7902 7903 7904 7906 7907 7908 7909 7910 7911 7912 7913 7914 7915 7916 7917 7918 7919 7921 7922 7923 7925 7926 7927 7929 7930 7931 7932 7933 7938 7943 7951 7953 7954 7955 7956 7957 7958 7959 7960 7962 7978 7982 7984 7985 7986 7987 7988 7990 7991 7992 7993 7994 7995 8000 8005 8010 8012 8023 8034 8039 8044 8052 8054 8055 8060 8062 8063 8064 8067 8068 8069 8080 8081 8082 8083 8084 8086 8087 8088 8089 8090 8091 8093 8094 8095 8096 8097 8098 8099 8101 8102 8103 8104 8105 8106 8107 8108 8109 8110 8115 8125 8130 8138 8140 8142 8147 8148 8149 8150 8151 8167 8168 8169 8170 8171 8172 8173 8174 8175 8176 8177 8178 8179 8180 8181 8182 8183 8184 8185 8186 8187 8188 8189 8192 8193 8194 8195 8196 8197 8198 8200 8201 8202 8203 8204 8205 8207 8208 8209 8211 8212 8213 8214 8215 8216 8217 8218 8219 8220 8221 8222 8223 8224 8225 8226 8227 8228 8229 8230 8231 8232 8233 8234 8235 8236 8237 8238 8240 8241 8242 8243 8244 8245 8246 8247 8248 8249 8250 8251 8252 8253 8254 8255 8256 8257 8258 8260 8261 8262 8263 8264 8265 8266 8267 8268 8270 8271 8273 8274 8275 8276 8277 8278 8279 8281 8282 8283 8284 8285 8286 8287 8288 8289 8290 8291 8292 8293 8294 8295 8296 8297 8298 8299 8300 8301 8302 8303 8305 8306 8307 8308 8309 8310 8311 8312 8313 8314 8315 8316 8325 8326 8327 8329 8330 8331 8332 8333 8334 8335 8340 8341 8342 8347 8350 8351 8352 8354 8358 8361 8362 8363 8365 8366 8367 8368 8369 8370 8371 8377 8380 8381 8382 8383 8384 8385 8386 8387 8388 8390 8394 8395 8396 8400 8401 8402 8403 8404 8405 8407 8408 8411 8412 8413 8414 8415 8416 8425 8426 8427 8429 8432 8435 8436 8437 8440 8441 8442 8443 8445 8446 8447 8448 8449 8450 8451 8454 8455 8456 8457 8458 8459 8463 8464 8465 8469 8474 8475 8476 8477 8478 8479 8481 8489 8490 8491 8494 8497 8498 8499 8505 8514 8517 8518 8519 8525 8526 8527 8528 8531 8534 8535 8536 8537 8538 8539 8540 8541 8542 8543 8544 8545 8546 8547 8548 8549 8550 8551 8552 8553 8554 8555 8556 8557 8558 8559 8560 8561 8562 8563 8564 8565 8591 8611 8622 8628 8637 8642 8644 8645 8646 8647 8648 8649 8650 8651 8660 8663 8664 8665 8666 8667 8668 8674 8678 8679 8680 8681 8682 8683 8684 8685 8686 8687 8688 8689 8690 8691 8692 8693 8694 8697 8698 8699 8700 8701 8702 8741 8742 8743 8744 9132 9133 9260 9261 9262 9264 9265 9266 9268 9269 9270 9271 9272 9273 9274 9275 9276 9277 9278 9279 9280 9281 9283 9284 9285 9287 9288 9289 9291 9292 9293 9294 9295 9300 9305 9313 9315 9316 9317 9318 9319 9320 9321 9322 9324 9340 9344 9346 9347 9348 9349 9350 9352 9353 9354 9355 9356 9357 9362 9367 9372 9374 9385 9396 9401 9406 9414 9416 9417 9422 9424 9425 9426 9429 9430 9431 9442 9443 9444 9445 9446 9448 9449 9450 9451 9452 9453 9455 9456 9457 9458 9459 9460 9461 9463 9464 9465 9466 9467 9468 9469 9470 9471 9472 9477 9487 9492 9500 9502 9504 9509 9510 9511 9512 9513 9529 9530 9531 9532 9533 9534 9535 9536 9537 9538 9539 9540 9541 9542 9543 9544 9545 9546 9547 9548 9549 9550 9551 9554 9555 9556 9557 9558 9559 9560 9562 9563 9564 9565 9566 9567 9568 9569 9570 9571 9573 9574 9575 9576 9577 9578 9579 9580 9581 9582 9583 9584 9585 9586 9587 9588 9589 9590 9591 9592 9593 9594 9595 9596 9597 9598 9599 9600 9602 9603 9604 9605 9606 9607 9608 9609 9610 9611 9612 9613 9614 9615 9616 9617 9618 9619 9620 9621 9622 9623 9624 9625 9626 9627 9628 9629 9630 9632 9633 9635 9636 9637 9638 9639 9640 9641 9643 9644 9645 9646 9647 9648 9649 9650 9651 9652 9653 9654 9655 9656 9657 9658 9659 9660 9661 9662 9663 9664 9665 9667 9668 9669 9670 9671 9672 9673 9674 9675 9676 9677 9678 9687 9688 9689 9691 9692 9693 9694 9695 9696 9697 9702 9703 9704 9709 9712 9713 9714 9716 9720 9723 9724 9725 9727 9728 9729 9730 9731 9732 9733 9739 9742 9743 9744 9745 9746 9747 9748 9749 9750 9752 9756 9757 9758 9762 9763 9764 9765 9766 9767 9769 9770 9773 9774 9775 9776 9777 9778 9787 9788 9789 9791 9794 9797 9798 9799 9802 9803 9804 9805 9807 9808 9809 9810 9811 9812 9813 9816 9817 9818 9819 9820 9821 9825 9826 9827 9831 9836 9837 9838 9839 9840 9841 9843 9851 9852 9853 9856 9859 9860 9861 9867 9876 9879 9880 9881 9887 9888 9889 9890 9893 9896 9897 9898 9899 9900 9901 9902 9903 9904 9905 9906 9907 9908 9909 9910 9911 9912 9913 9914 9915 9916 9917 9918 9919 9920 9921 9922 9923 9924 9925 9926 9927 9986 9987 9988 9989 9990 10007 10013 10030 10046 10047 10048 10049 10050 10051 10052 10053 10054 10055 10056 10057 10058 10059 10060 10061 10062 10063 10064 10103 10104 10105 10106 10494 10495 10622 10623 10624 10626 10627 10628 10630 10631 10632 10633 10634 10635 10636 10637 10638 10639 10640 10641 10642 10643 10645 10646 10647 10649 10650 10651 10653 10654 10655 10656 10657 10662 10667 10672 10673 10674 10675 10677 10678 10679 10680 10681 10682 10683 10684 10686 10702 10706 10708 10709 10710 10711 10712 10714 10715 10716 10717 10718 10719 10724 10729 10734 10736 10747 10758 10763 10768 10776 10778 10779 10784 10786 10787 10788 10791 10792 10793 10804 10805 10806 10807 10808 10810 10811 10812 10813 10814 10815 10817 10818 10819 10820 10821 10822 10823 10825 10826 10827 10828 10829 10830 10831 10832 10833 10834 10839 10849 10854 10862 10864 10866 10871 10872 10873 10874 10875 10891 10892 10893 10894 10895 10896 10897 10898 10899 10900 10901 10902 10903 10904 10905 10906 10907 10908 10909 10910 10911 10912 10913 10914 10916 10917 10918 10919 10920 10921 10922 10923 10924 10925 10926 10927 10928 10929 10930 10931 10932 10933 10935 10936 10937 10938 10939 10940 10941 10942 10943 10944 10945 10946 10947 10948 10949 10950 10951 10952 10953 10954 10955 10956 10957 10958 10959 10960 10961 10962 10964 10965 10966 10967 10968 10969 10970 10971 10972 10973 10974 10975 10976 10977 10978 10979 10980 10981 10982 10983 10984 10985 10986 10987 10988 10989 10990 10991 10992 10994 10995 10997 10998 10999 11000 11001 11002 11003 11005 11006 11007 11008 11009 11010 11011 11012 11013 11014 11015 11016 11017 11018 11019 11020 11021 11022 11023 11024 11025 11026 11027 11028 11029 11030 11031 11032 11033 11034 11035 11036 11037 11038 11039 11040 11049 11050 11051 11053 11054 11055 11056 11057 11058 11059 11064 11065 11066 11071 11074 11075 11076 11078 11082 11085 11086 11087 11088 11089 11090 11091 11092 11093 11094 11095 11101 11104 11105 11106 11107 11108 11109 11110 11111 11112 11114 11118 11119 11120 11124 11125 11126 11127 11128 11129 11131 11132 11135 11136 11137 11138 11139 11140 11149 11150 11151 11153 11156 11159 11160 11161 11164 11165 11166 11167 11169 11170 11171 11172 11173 11174 11175 11178 11179 11180 11181 11182 11183 11187 11188 11189 11193 11198 11199 11200 11201 11202 11203 11205 11213 11214 11215 11218 11221 11222 11223 11229 11238 11241 11242 11243 11249 11250 11251 11252 11253 11254 11255 11256 11257 11258 11259 11260 11261 11262 11263 11264 11265 11266 11267 11268 11269 11270 11271 11272 11273 11274 11275 11276 11277 11278 11279 11280 11281 11282 11283 11284 11285 11286 11287 11288 11289 11307 11308 11309 11312 11347 11352 11369 11375 11392 11408 11409 11410 11411 11412 11413 11414 11415 11416 11417 11418 11419 11420 11421 11422 11423 11424 11425 11426 11465 11466 11467 11468 11856 11857 11984 11985 11986 11988 11989 11990 11992 11993 11994 11995 11996 11997 11998 11999 12000 12001 12002 12003 12004 12005 12007 12008 12009 12011 12012 12013 12015 12016 12017 12018 12019 12024 12029 12034 12035 12036 12037 12039 12040 12041 12042 12043 12044 12045 12046 12048 12064 12068 12070 12071 12072 12073 12074 12076 12077 12078 12079 12080 12081 12086 12091 12096 12098 12109 12120 12125 12130 12138 12140 12141 12146 12148 12149 12150 12153 12154 12155 12156 12166 12167 12168 12169 12170 12171 12172 12173 12174 12175 12176 12177 12179 12180 12181 12182 12183 12184 12185 12187 12188 12189 12190 12191 12192 12193 12194 12195 12196 12201 12211 12216 12224 12226 12228 12233 12234 12235 12236 12237 12253 12254 12255 12256 12257 12258 12259 12260 12261 12262 12263 12264 12265 12266 12267 12268 12269 12270 12271 12272 12273 12274 12275 12276 12277 12278 12279 12280 12281 12282 12283 12284 12285 12286 12287 12288 12289 12290 12291 12292 12293 12294 12295 12297 12298 12299 12300 12301 12302 12303 12304 12305 12306 12307 12308 12309 12310 12311 12312 12313 12314 12315 12316 12317 12318 12319 12320 12321 12322 12323 12324 12326 12327 12328 12329 12330 12331 12332 12333 12334 12335 12336 12337 12338 12339 12340 12341 12342 12343 12344 12345 12346 12347 12348 12349 12350 12351 12352 12353 12354 12356 12357 12359 12360 12361 12362 12363 12364 12365 12367 12368 12369 12370 12371 12372 12373 12374 12375 12376 12377 12378 12379 12380 12381 12382 12383 12384 12385 12386 12387 12388 12389 12390 12391 12392 12393 12394 12395 12396 12397 12398 12399 12400 12401 12402 12411 12412 12413 12415 12416 12417 12418 12419 12420 12421 12426 12427 12428 12433 12436 12437 12438 12440 12444 12447 12448 12449 12450 12451 12452 12453 12454 12455 12456 12457 12463 12466 12467 12468 12469 12470 12471 12472 12473 12474 12476 12480 12481 12482 12486 12487 12488 12489 12490 12491 12493 12494 12497 12498 12499 12500 12501 12502 12511 12512 12513 12515 12518 12521 12522 12523 12526 12527 12528 12529 12531 12532 12533 12534 12535 12536 12537 12540 12541 12542 12543 12544 12545 12549 12550 12551 12560 12561 12562 12563 12564 12565 12567 12575 12576 12577 12578 12579 12580 12581 12582 12583 12584 12585 12591 12600 12603 12604 12605 12607 12608 12609 12610 12611 12612 12613 12614 12615 12616 12617 12618 12619 12620 12621 12622 12623 12624 12625 12626 12627 12628 12629 12630 12631 12632 12633 12634 12635 12636 12637 12638 12639 12640 12641 12642 12643 12644 12645 12646 12647 12648 12649 12650 12651 12669 12670 12671 12674 12709 12714 12731 12737 12754 12770 12771 12772 12773 12774 12775 12776 12777 12778 12779 12780 12781 12782 12783 12784 12785 12786 12787 12788 12827 12828 12829 12830 13218 13219 13346 13347 13348 13350 13351 13352 13354 13355 13356 13357 13358 13359 13360 13361 13362 13363 13364 13365 13366 13367 13369 13370 13371 13373 13374 13375 13377 13378 13379 13380 13381 13386 13391 13396 13397 13398 13399 13401 13402 13403 13404 13405 13406 13407 13408 13410 13426 13430 13432 13433 13434 13435 13436 13438 13439 13440 13441 13442 13443 13448 13453 13458 13460 13471 13482 13487 13492 13497 13499 13500 13501 13502 13503 13508 13509 13510 13511 13512 13515 13516 13517 13518 13519 13523 13524 13525 13526 13527 13528 13529 13530 13531 13532 13533 13534 13535 13536 13537 13538 13539 13541 13542 13543 13544 13545 13546 13547 13549 13550 13551 13552 13553 13554 13555 13556 13557 13558 13563 13573 13578 13586 13588 13590 13595 13596 13597 13598 13599 13615 13616 13617 13618 13619 13620 13621 13622 13623 13624 13625 13626 13627 13628 13629 13630 13631 13632 13633 13634 13635 13636 13637 13638 13640 13641 13642 13643 13644 13645 13646 13647 13648 13649 13650 13651 13652 13653 13654 13655 13656 13657 13659 13660 13661 13662 13663 13664 13665 13666 13667 13668 13669 13670 13671 13672 13673 13674 13675 13676 13677 13678 13679 13680 13681 13682 13683 13684 13685 13686 13688 13689 13690 13691 13692 13693 13694 13695 13696 13697 13698 13699 13700 13701 13702 13703 13704 13705 13706 13707 13708 13709 13710 13711 13712 13713 13714 13715 13716 13718 13719 13721 13722 13723 13724 13725 13726 13727 13729 13730 13731 13732 13733 13734 13735 13736 13737 13738 13739 13740 13741 13742 13743 13744 13745 13746 13747 13748 13749 13750 13751 13752 13753 13754 13755 13756 13757 13758 13759 13760 13761 13762 13763 13764 13773 13774 13775 13777 13778 13779 13780 13781 13782 13783 13788 13789 13790 13795 13798 13799 13800 13802 13806 13809 13810 13811 13812 13813 13814 13815 13816 13817 13818 13819 13821 13822 13825 13828 13829 13830 13831 13832 13833 13834 13835 13836 13838 13842 13843 13844 13848 13849 13850 13851 13852 13853 13855 13856 13859 13860 13861 13862 13863 13864 13873 13874 13875 13877 13880 13883 13884 13885 13888 13889 13890 13891 13893 13894 13895 13896 13897 13898 13899 13902 13903 13904 13905 13906 13907 13908 13909 13910 13911 13912 13913 13914 13915 13916 13917 13922 13923 13924 13925 13926 13927 13928 13929 13931 13932 13933 13934 13935 13936 13937 13938 13939 13940 13941 13942 13943 13944 13945 13946 13947 13953 13960 13961 13962 13963 13964 13965 13966 13967 13969 13970 13971 13972 13973 13974 13975 13976 13977 13978 13979 13980 13981 13982 13983 13984 13985 13986 13987 13988 13989 13990 13991 13992 13993 13994 13995 13996 13997 13998 13999 14000 14001 14002 14003 14004 14005 14006 14007 14008 14009 14010 14011 14012 14013 14031 14032 14033 14036 14071 14076 14093 14099 14116 14132 14133 14134 14135 14136 14137 14138 14139 14140 14141 14142 14143 14144 14145 14146 14147 14148 14149 14150 14189 14190 14191 14192 14580 14708 14709 14710 14712 14713 14714 14716 14717 14718 14719 14720 14721 14722 14723 14724 14725 14726 14727 14728 14729 14730 14732 14733 14734 14735 14736 14737 14738 14739 14740 14741 14742 14743 14748 14753 14758 14759 14760 14761 14763 14764 14765 14766 14767 14768 14769 14770 14772 14788 14792 14794 14795 14796 14797 14798 14800 14801 14802 14803 14804 14805 14810 14815 14820 14822 14833 14844 14849 14854 14859 14861 14862 14864 14865 14870 14872 14873 14874 14877 14878 14879 14880 14881 14885 14886 14887 14888 14889 14890 14891 14892 14893 14894 14895 14896 14897 14898 14899 14900 14901 14903 14904 14905 14906 14907 14908 14909 14911 14912 14913 14914 14915 14916 14917 14918 14919 14920 14925 14935 14940 14948 14961 14977 14978 14979 14980 14981 14982 14983 14984 14985 14986 14987 14988 14989 14990 14991 14992 14993 14994 14995 14996 14997 14998 14999 15000 15003 15004 15005 15006 15007 15008 15009 15010 15011 15012 15013 15014 15015 15016 15017 15018 15019 15021 15022 15023 15024 15025 15026 15027 15028 15029 15030 15031 15032 15033 15034 15035 15036 15037 15038 15039 15040 15041 15042 15043 15044 15045 15046 15047 15048 15050 15051 15052 15053 15054 15055 15056 15057 15058 15059 15060 15061 15062 15063 15064 15065 15066 15067 15068 15069 15070 15071 15072 15073 15074 15075 15076 15077 15078 15080 15081 15083 15084 15085 15086 15087 15088 15089 15091 15092 15093 15094 15095 15096 15097 15098 15099 15100 15101 15102 15103 15104 15105 15106 15107 15108 15109 15110 15111 15112 15113 15114 15115 15116 15117 15118 15119 15120 15121 15122 15123 15124 15125 15126 15135 15136 15137 15139 15140 15141 15142 15143 15144 15145 15150 15151 15152 15157 15160 15161 15162 15164 15168 15171 15172 15173 15174 15175 15176 15177 15178 15179 15180 15181 15184 15185 15187 15190 15191 15192 15193 15194 15195 15196 15197 15198 15200 15204 15205 15206 15210 15211 15212 15213 15214 15215 15217 15218 15221 15222 15223 15224 15225 15226 15235 15236 15237 15239 15242 15245 15246 15247 15250 15251 15252 15253 15255 15256 15257 15258 15259 15260 15261 15262 15263 15264 15265 15266 15267 15268 15269 15270 15273 15274 15275 15276 15277 15278 15279 15281 15282 15283 15284 15285 15286 15287 15288 15289 15290 15291 15293 15294 15297 15298 15299 15300 15301 15302 15303 15304 15305 15306 15307 15308 15309 15315 15322 15323 15324 15325 15326 15327 15328 15329 15331 15332 15333 15334 15335 15336 15337 15338 15339 15340 15341 15342 15343 15344 15345 15346 15347 15348 15349 15350 15351 15352 15353 15354 15355 15356 15357 15358 15359 15360 15361 15362 15363 15364 15365 15366 15367 15368 15369 15370 15371 15372 15373 15374 15375 15393 15394 15395 15398 15433 15438 15455 15461 15478 15494 15495 15496 15497 15498 15499 15500 15501 15502 15503 15504 15505 15506 15507 15508 15509 15510 15511 15512 15551 15552 15553 15554 15942 16069 16070 16071 16072 16073 16074 16075 16076 16077 16078 16079 16080 16081 16082 16083 16084 16085 16086 16087 16088 16089 16090 16091 16092 16094 16095 16097 16098 16099 16101 16102 16103 16104 16105 16110 16115 16120 16121 16122 16123 16125 16126 16127 16128 16129 16130 16131 16132 16134 16150 16154 16156 16157 16158 16159 16160 16162 16163 16164 16165 16166 16167 16172 16177 16182 16184 16195 16206 16211 16216 16221 16223 16224 16226 16227 16232 16234 16235 16236 16239 16240 16241 16242 16243 16247 16248 16249 16250 16251 16252 16253 16256 16257 16258 16259 16260 16261 16262 16263 16265 16266 16267 16268 16269 16270 16271 16273 16274 16275 16276 16277 16278 16279 16280 16281 16282 16287 16297 16302 16310 16323 16339 16340 16341 16342 16343 16344 16345 16346 16347 16348 16349 16350 16351 16352 16353 16354 16355 16356 16357 16358 16359 16360 16361 16362 16365 16366 16367 16368 16369 16370 16371 16372 16373 16374 16375 16376 16377 16378 16379 16380 16381 16383 16384 16385 16386 16387 16388 16389 16390 16391 16392 16393 16394 16395 16396 16397 16398 16399 16400 16401 16402 16403 16404 16405 16406 16407 16408 16409 16410 16412 16413 16414 16415 16416 16417 16418 16419 16420 16421 16422 16423 16424 16425 16426 16427 16428 16429 16430 16431 16432 16433 16434 16435 16436 16437 16438 16439 16440 16442 16443 16445 16446 16447 16448 16449 16450 16451 16453 16454 16455 16456 16457 16458 16459 16460 16461 16462 16463 16464 16465 16466 16467 16468 16469 16470 16471 16472 16473 16474 16475 16476 16477 16478 16479 16480 16481 16482 16483 16484 16485 16486 16487 16488 16497 16498 16499 16501 16502 16503 16504 16505 16506 16507 16512 16513 16514 16519 16522 16523 16524 16526 16530 16533 16534 16535 16536 16537 16538 16539 16540 16541 16542 16543 16545 16546 16547 16549 16552 16553 16554 16555 16556 16557 16558 16559 16560 16562 16566 16567 16568 16572 16573 16574 16575 16576 16577 16579 16580 16583 16584 16585 16586 16587 16588 16597 16598 16599 16601 16604 16607 16608 16609 16612 16613 16614 16615 16617 16618 16619 16620 16621 16622 16623 16624 16625 16626 16627 16628 16629 16630 16631 16632 16635 16636 16637 16638 16639 16640 16641 16643 16644 16645 16646 16647 16648 16649 16650 16651 16652 16653 16655 16656 16659 16660 16661 16662 16663 16664 16665 16666 16667 16668 16669 16670 16671 16677 16684 16685 16686 16687 16688 16689 16690 16691 16694 16695 16696 16697 16698 16699 16700 16701 16702 16703 16704 16705 16706 16707 16708 16709 16710 16711 16712 16713 16714 16715 16716 16717 16718 16719 16720 16721 16722 16723 16724 16725 16726 16727 16728 16729 16730 16731 16732 16733 16734 16735 16736 16737 16755 16756 16757 16760 16763 16783 16794 16800 16809 16811 16814 16815 16816 16817 16818 16819 16820 16821 16822 16823 16832 16835 16836 16837 16838 16839 16840 16856 16857 16858 16859 16860 16861 16862 16863 16864 16865 16866 16869 16870 16871 16872 16873 16874 16913 16914 16915 16916 17304 17310 17311 17312 17313 17314 17319 17324 17329 17334 17357 17362 17373 17378 17383 17388 17400 17409 17415 17420 17425 17430 17431 17432 17433 17434 17435 17436 17437 17438 17439 17440 17441 17442 17443 17444 17445 17446 17447 17448 17449 17450 17451 17452 17453 17454 17456 17457 17459 17460 17461 17463 17464 17465 17466 17467 17472 17477 17482 17483 17484 17485 17487 17488 17489 17490 17491 17492 17493 17494 17496 17497 17498 17499 17500 17501 17502 17503 17504 17505 17506 17507 17508 17509 17510 17511 17512 17516 17517 17518 17519 17520 17521 17522 17524 17525 17526 17527 17528 17529 17534 17539 17544 17546 17557 17568 17573 17578 17583 17585 17586 17588 17589 17594 17596 17597 17598 17601 17602 17603 17604 17605 17609 17610 17611 17612 17613 17614 17615 17618 17619 17620 17621 17622 17623 17624 17625 17627 17628 17629 17630 17631 17632 17633 17635 17636 17637 17638 17639 17640 17641 17642 17643 17644 17649 17659 17664 17672 17685 17701 17702 17703 17704 17705 17706 17707 17708 17709 17710 17711 17712 17713 17714 17715 17716 17717 17718 17719 17720 17721 17722 17723 17724 17725 17726 17727 17728 17729 17730 17731 17732 17733 17734 17735 17736 17737 17738 17739 17740 17741 17742 17743 17745 17746 17747 17748 17749 17750 17751 17752 17753 17754 17755 17756 17757 17758 17759 17760 17761 17762 17763 17764 17765 17766 17767 17768 17769 17770 17771 17772 17774 17775 17776 17777 17778 17779 17780 17781 17782 17783 17784 17785 17786 17787 17788 17789 17790 17791 17792 17793 17794 17795 17796 17797 17798 17799 17800 17801 17802 17804 17805 17807 17808 17809 17810 17811 17812 17813 17815 17816 17817 17818 17819 17820 17821 17822 17823 17824 17825 17826 17827 17828 17829 17830 17831 17832 17833 17834 17835 17836 17837 17838 17839 17840 17841 17842 17843 17844 17845 17846 17847 17848 17849 17850 17859 17860 17861 17863 17864 17865 17866 17867 17868 17869 17874 17875 17876 17881 17884 17885 17886 17888 17892 17895 17896 17897 17898 17899 17900 17901 17902 17903 17904 17905 17908 17909 17911 17914 17915 17916 17917 17918 17919 17920 17921 17922 17924 17928 17929 17930 17934 17935 17936 17937 17938 17939 17941 17942 17945 17946 17947 17948 17949 17950 17959 17960 17961 17963 17966 17969 17970 17971 17974 17975 17976 17977 17979 17980 17981 17982 17983 17984 17985 17986 17987 17988 17989 17990 17991 17992 17993 17994 17997 17998 17999 18000 18001 18002 18003 18005 18006 18007 18008 18009 18010 18011 18012 18013 18014 18015 18017 18018 18021 18022 18023 18024 18025 18026 18027 18028 18029 18030 18031 18032 18033 18039 18046 18047 18048 18049 18050 18051 18052 18053 18056 18057 18058 18059 18060 18061 18062 18063 18064 18065 18066 18067 18068 18069 18070 18071 18072 18073 18074 18075 18076 18077 18078 18079 18080 18081 18082 18083 18084 18085 18086 18087 18088 18089 18090 18091 18092 18093 18094 18095 18096 18097 18098 18099 18117 18118 18119 18122 18157 18162 18179 18185 18202 18218 18219 18220 18221 18222 18223 18224 18225 18226 18227 18228 18229 18230 18231 18232 18233 18234 18235 18236 18275 18276 18277 18278 18666 18793 18794 18795 18796 18797 18798 18799 18800 18801 18802 18803 18804 18805 18806 18807 18808 18809 18810 18811 18812 18813 18814 18815 18816 18818 18819 18821 18822 18823 18825 18826 18827 18828 18829 18834 18839 18844 18845 18846 18847 18849 18850 18851 18852 18853 18854 18855 18856 18858 18874 18878 18880 18881 18882 18883 18884 18885 18886 18887 18888 18889 18890 18891 18896 18901 18906 18908 18919 18930 18935 18940 18945 18947 18948 18950 18951 18956 18958 18959 18960 18963 18964 18965 18966 18967 18971 18972 18973 18974 18975 18976 18977 18978 18979 18980 18981 18982 18983 18984 18985 18986 18987 18989 18990 18991 18992 18993 18994 18995 18997 18998 18999 19000 19001 19002 19003 19004 19005 19006 19011 19021 19026 19034 19047 19055 19057 19058 19062 19063 19064 19065 19066 19067 19068 19069 19070 19071 19072 19073 19074 19075 19076 19077 19078 19079 19080 19081 19082 19083 19084 19085 19086 19088 19089 19090 19091 19092 19093 19094 19095 19096 19097 19098 19099 19100 19101 19102 19103 19104 19105 19107 19108 19109 19110 19111 19112 19113 19114 19115 19116 19117 19118 19119 19120 19121 19122 19123 19124 19125 19126 19127 19128 19129 19130 19131 19132 19133 19134 19136 19137 19138 19139 19140 19141 19142 19143 19144 19145 19146 19147 19148 19149 19150 19151 19152 19153 19154 19155 19156 19157 19158 19159 19160 19161 19162 19163 19164 19166 19167 19169 19170 19171 19172 19173 19174 19175 19177 19178 19179 19180 19181 19182 19183 19184 19185 19186 19187 19188 19189 19190 19191 19192 19193 19194 19195 19196 19197 19198 19199 19200 19201 19202 19203 19204 19205 19206 19207 19208 19209 19210 19211 19212 19221 19222 19223 19225 19226 19227 19228 19229 19230 19231 19236 19237 19238 19243 19246 19247 19248 19250 19254 19257 19258 19259 19260 19261 19262 19263 19264 19265 19266 19267 19269 19270 19271 19273 19276 19277 19278 19279 19280 19281 19282 19283 19284 19286 19290 19291 19292 19296 19297 19298 19299 19300 19301 19303 19304 19307 19308 19309 19310 19311 19312 19321 19322 19323 19325 19328 19331 19332 19333 19336 19337 19338 19339 19341 19342 19343 19344 19345 19346 19347 19348 19349 19350 19351 19352 19353 19354 19355 19356 19359 19360 19361 19362 19363 19364 19365 19367 19368 19369 19370 19371 19372 19373 19374 19375 19376 19377 19379 19380 19383 19384 19385 19386 19387 19388 19389 19390 19391 19392 19393 19394 19395 19401 19408 19409 19410 19411 19412 19413 19414 19415 19418 19419 19420 19421 19422 19423 19424 19425 19426 19427 19428 19429 19430 19431 19432 19433 19434 19435 19436 19437 19438 19439 19440 19441 19442 19443 19444 19445 19446 19447 19448 19449 19450 19451 19452 19453 19454 19455 19456 19457 19458 19459 19460 19461 19466 19467 19468 19470 19471 19472 19477 19478 19479 19480 19481 19484 19487 19507 19518 19524 19533 19538 19540 19541 19542 19543 19544 19545 19546 19547 19556 19559 19560 19561 19562 19563 19564 19570 19574 19575 19576 19577 19578 19579 19580 19581 19582 19583 19584 19585 19586 19587 19588 19589 19590 19593 19594 19595 19596 19597 19598 19637 19638 19639 19640 20028 20155 20157 20158 20159 20160 20161 20162 20163 20164 20165 20166 20167 20168 20169 20170 20171 20172 20173 20174 20175 20176 20177 20178 20180 20181 20183 20184 20185 20187 20188 20189 20190 20191 20196 20201 20206 20207 20208 20209 20211 20212 20213 20214 20215 20216 20217 20218 20220 20236 20240 20242 20243 20244 20245 20246 20247 20248 20249 20250 20251 20252 20253 20258 20263 20268 20270 20281 20292 20297 20302 20307 20309 20310 20312 20313 20318 20320 20321 20322 20325 20326 20327 20328 20329 20333 20334 20335 20336 20337 20338 20339 20340 20341 20342 20343 20344 20345 20346 20347 20348 20349 20351 20352 20353 20354 20355 20356 20357 20359 20360 20361 20362 20363 20364 20365 20366 20367 20368 20373 20383 20388 20396 20409 20417 20419 20420 20424 20425 20426 20427 20428 20429 20430 20431 20432 20433 20434 20435 20436 20437 20438 20439 20440 20441 20442 20443 20444 20445 20446 20447 20448 20450 20451 20452 20453 20454 20455 20456 20457 20458 20459 20460 20461 20462 20463 20464 20465 20466 20467 20469 20470 20471 20472 20473 20474 20475 20476 20477 20478 20479 20480 20481 20482 20483 20484 20485 20486 20487 20488 20489 20490 20491 20492 20493 20494 20495 20496 20498 20499 20500 20501 20502 20503 20504 20505 20506 20507 20508 20509 20510 20511 20512 20513 20514 20515 20516 20517 20518 20519 20520 20521 20522 20523 20524 20525 20526 20528 20529 20531 20532 20533 20534 20535 20536 20537 20539 20540 20541 20542 20543 20544 20545 20546 20547 20548 20549 20550 20551 20552 20553 20554 20555 20556 20557 20558 20559 20560 20561 20562 20563 20564 20565 20566 20567 20568 20569 20570 20571 20572 20573 20574 20583 20584 20585 20587 20588 20589 20590 20591 20592 20593 20598 20599 20600 20605 20608 20609 20610 20612 20616 20619 20620 20621 20622 20623 20626 20627 20628 20629 20631 20632 20635 20638 20639 20640 20641 20642 20643 20644 20645 20646 20648 20652 20653 20654 20658 20659 20660 20661 20662 20663 20665 20666 20669 20670 20671 20672 20673 20674 20683 20684 20685 20687 20690 20693 20694 20695 20698 20699 20700 20701 20703 20704 20705 20706 20707 20708 20709 20711 20712 20713 20714 20715 20716 20717 20718 20721 20722 20723 20725 20726 20727 20729 20730 20731 20732 20733 20734 20735 20736 20737 20738 20739 20741 20745 20746 20747 20748 20749 20750 20751 20752 20753 20754 20755 20756 20757 20763 20770 20771 20772 20773 20774 20775 20776 20777 20780 20781 20782 20783 20784 20785 20786 20787 20788 20789 20790 20791 20792 20793 20794 20795 20796 20797 20798 20799 20800 20801 20802 20803 20804 20805 20806 20807 20808 20809 20810 20811 20812 20813 20814 20815 20816 20817 20818 20819 20820 20821 20822 20823 20830 20835 20836 20837 20838 20839 20840 20841 20842 20843 20846 20882 20883 20884 20885 20886 20903 20909 20926 20942 20943 20944 20945 20946 20947 20948 20949 20950 20951 20952 20953 20954 20955 20956 20957 20958 20959 20960 20999 21000 21001 21002 21390 21517 21518 21519 21520 21521 21522 21523 21524 21525 21526 21527 21530 21531 21532 21533 21534 21535 21536 21537 21538 21539 21540 21542 21543 21545 21546 21547 21549 21550 21551 21552 21553 21558 21563 21568 21569 21570 21571 21573 21574 21575 21576 21577 21578 21579 21580 21582 21598 21602 21604 21605 21606 21607 21608 21609 21610 21611 21612 21613 21614 21615 21620 21625 21630 21632 21643 21654 21659 21664 21669 21671 21672 21674 21675 21680 21682 21683 21684 21687 21688 21689 21690 21691 21695 21696 21697 21698 21699 21700 21701 21702 21703 21704 21705 21706 21707 21708 21709 21710 21711 21713 21714 21715 21716 21717 21718 21719 21721 21722 21723 21724 21725 21726 21727 21728 21729 21730 21735 21745 21750 21758 21771 21779 21781 21782 21786 21787 21788 21789 21790 21791 21792 21793 21794 21795 21796 21797 21798 21799 21800 21801 21802 21803 21804 21805 21806 21807 21808 21809 21810 21812 21813 21814 21815 21816 21817 21818 21819 21820 21821 21822 21823 21824 21825 21826 21827 21828 21829 21830 21831 21832 21833 21834 21835 21836 21837 21838 21839 21840 21841 21842 21843 21844 21845 21846 21847 21848 21849 21850 21851 21852 21853 21854 21855 21856 21857 21858 21859 21860 21861 21862 21863 21864 21865 21866 21867 21868 21869 21870 21871 21872 21873 21874 21875 21876 21877 21878 21879 21880 21881 21882 21883 21884 21885 21886 21887 21888 21890 21891 21893 21894 21895 21896 21897 21898 21899 21901 21902 21903 21904 21905 21906 21907 21908 21909 21910 21911 21912 21913 21914 21915 21916 21917 21918 21919 21920 21921 21922 21923 21924 21925 21926 21927 21928 21929 21930 21931 21932 21933 21934 21935 21936 21945 21946 21947 21949 21950 21951 21952 21953 21954 21955 21960 21961 21962 21967 21970 21971 21972 21974 21978 21981 21982 21983 21984 21985 21988 21989 21990 21991 21993 21994 21995 21996 21997 22000 22001 22002 22003 22004 22005 22006 22007 22008 22010 22014 22015 22016 22020 22021 22022 22023 22024 22025 22027 22028 22031 22032 22033 22034 22035 22036 22045 22046 22047 22049 22052 22055 22056 22057 22060 22061 22062 22063 22065 22066 22067 22068 22069 22070 22071 22074 22075 22076 22077 22078 22079 22080 22083 22084 22085 22087 22088 22089 22091 22092 22093 22094 22095 22096 22097 22098 22099 22100 22101 22103 22107 22108 22109 22110 22111 22112 22113 22114 22115 22116 22117 22118 22119 22125 22128 22129 22130 22131 22132 22133 22134 22135 22136 22137 22138 22139 22142 22143 22144 22145 22146 22147 22148 22149 22150 22151 22152 22153 22154 22155 22156 22157 22158 22159 22160 22161 22162 22163 22164 22165 22166 22167 22168 22169 22170 22171 22172 22173 22174 22175 22176 22177 22178 22179 22180 22181 22182 22183 22184 22185 22192 22197 22198 22199 22200 22201 22202 22203 22204 22205 22208 22243 22248 22265 22271 22288 22304 22305 22306 22307 22308 22309 22310 22311 22312 22313 22314 22315 22316 22317 22318 22319 22320 22321 22322 22361 22362 22363 22364 22752 22879 22880 22881 22882 22883 22884 22885 22886 22887 22888 22889 22892 22893 22894 22895 22896 22897 22898 22899 22900 22901 22902 22904 22905 22907 22908 22909 22911 22912 22913 22914 22915 22920 22925 22930 22931 22932 22933 22935 22936 22937 22938 22939 22940 22941 22942 22944 22960 22964 22966 22967 22968 22969 22970 22972 22973 22974 22975 22976 22977 22982 22987 22992 22994 23005 23016 23021 23026 23031 23033 23034 23036 23037 23042 23044 23045 23046 23049 23050 23051 23052 23053 23057 23058 23059 23060 23061 23062 23063 23064 23065 23066 23067 23068 23069 23070 23071 23072 23073 23075 23076 23077 23078 23079 23080 23081 23083 23084 23085 23086 23087 23088 23089 23090 23091 23092 23097 23107 23112 23120 23133 23141 23143 23144 23148 23149 23150 23151 23152 23153 23155 23156 23157 23158 23159 23160 23161 23162 23163 23164 23165 23166 23167 23168 23169 23170 23171 23172 23174 23175 23176 23177 23178 23179 23180 23181 23182 23183 23184 23185 23186 23187 23188 23189 23190 23191 23192 23193 23194 23195 23196 23197 23198 23199 23200 23201 23202 23203 23204 23205 23206 23207 23208 23209 23210 23211 23212 23213 23214 23215 23216 23217 23218 23219 23220 23221 23222 23223 23224 23225 23226 23227 23228 23229 23230 23231 23232 23233 23234 23235 23236 23237 23238 23239 23240 23241 23242 23243 23244 23245 23246 23247 23248 23249 23250 23252 23253 23255 23256 23257 23258 23259 23260 23261 23263 23264 23265 23266 23267 23268 23269 23270 23271 23272 23273 23274 23275 23276 23277 23278 23279 23280 23281 23282 23283 23284 23285 23286 23287 23288 23289 23290 23291 23292 23293 23294 23295 23296 23297 23298 23307 23308 23309 23311 23312 23313 23314 23315 23316 23317 23318 23319 23322 23323 23324 23327 23328 23329 23332 23333 23334 23335 23336 23339 23340 23343 23344 23345 23346 23347 23348 23349 23350 23351 23352 23353 23355 23356 23357 23358 23359 23362 23363 23364 23365 23366 23367 23368 23369 23370 23372 23376 23377 23378 23382 23383 23384 23385 23386 23387 23389 23390 23393 23394 23395 23396 23397 23398 23401 23402 23407 23408 23409 23410 23411 23413 23414 23417 23418 23419 23420 23421 23422 23423 23424 23425 23426 23427 23428 23429 23430 23431 23432 23433 23436 23437 23438 23439 23440 23441 23442 23445 23446 23447 23449 23450 23451 23453 23454 23455 23456 23457 23458 23459 23460 23461 23462 23463 23465 23469 23470 23471 23472 23473 23474 23475 23476 23477 23478 23479 23480 23481 23482 23483 23484 23485 23486 23487 23488 23489 23491 23492 23493 23494 23495 23496 23497 23498 23499 23500 23501 23504 23505 23506 23507 23508 23509 23510 23511 23512 23513 23514 23515 23516 23517 23518 23519 23520 23521 23522 23523 23524 23525 23526 23527 23528 23529 23530 23531 23532 23533 23534 23535 23536 23537 23538 23539 23540 23541 23542 23543 23544 23545 23546 23547 23554 23559 23560 23561 23562 23563 23564 23565 23566 23567 23568 23569 23570 23605 23610 23627 23633 23650 23666 23667 23668 23669 23670 23671 23672 23673 23674 23675 23676 23677 23678 23679 23680 23681 23682 23683 23684 23723 23724 23725 23726 24114 24241 24242 24243 24244 24245 24246 24247 24248 24249 24250 24251 24254 24255 24256 24257 24258 24259 24260 24261 24262 24263 24264 24266 24267 24269 24270 24271 24273 24274 24275 24276 24277 24282 24287 24295 24297 24298 24299 24300 24301 24302 24303 24322 24326 24328 24329 24334 24335 24336 24337 24338 24339 24344 24349 24354 24356 24367 24378 24383 24388 24393 24395 24396 24398 24399 24404 24406 24407 24408 24411 24412 24413 24414 24415 24419 24420 24421 24422 24423 24424 24425 24426 24427 24428 24429 24430 24431 24432 24433 24434 24435 24437 24438 24439 24440 24441 24442 24443 24445 24446 24447 24448 24449 24450 24451 24452 24453 24454 24459 24469 24474 24482 24495 24503 24505 24506 24510 24511 24512 24513 24514 24515 24517 24518 24519 24520 24521 24522 24523 24524 24525 24526 24527 24528 24529 24530 24531 24532 24533 24534 24535 24536 24537 24538 24539 24540 24541 24542 24543 24544 24545 24546 24547 24548 24549 24550 24551 24552 24553 24554 24555 24556 24557 24558 24559 24560 24561 24562 24563 24564 24565 24566 24567 24568 24569 24570 24571 24572 24573 24574 24575 24576 24577 24578 24579 24580 24581 24582 24583 24584 24585 24586 24587 24588 24589 24590 24591 24592 24593 24594 24595 24596 24597 24598 24599 24600 24601 24602 24603 24604 24605 24606 24607 24608 24609 24610 24611 24612 24614 24615 24617 24618 24619 24620 24621 24622 24623 24625 24626 24627 24628 24629 24630 24631 24632 24633 24634 24635 24636 24637 24638 24639 24640 24641 24642 24643 24644 24645 24646 24647 24648 24649 24650 24651 24652 24653 24654 24655 24656 24657 24658 24659 24660 24662 24663 24664 24669 24670 24671 24672 24673 24674 24675 24676 24677 24678 24679 24680 24681 24684 24685 24686 24689 24690 24691 24694 24695 24696 24697 24698 24701 24702 24705 24706 24707 24708 24709 24710 24711 24712 24713 24714 24715 24717 24718 24719 24720 24721 24724 24725 24726 24727 24728 24729 24730 24731 24732 24734 24738 24739 24740 24744 24745 24746 24747 24748 24749 24751 24752 24755 24756 24757 24758 24759 24760 24763 24764 24769 24770 24771 24772 24773 24775 24776 24779 24780 24781 24782 24783 24784 24785 24786 24787 24788 24789 24790 24791 24792 24793 24794 24795 24798 24799 24800 24801 24802 24803 24804 24807 24808 24809 24811 24812 24813 24815 24816 24817 24818 24819 24820 24821 24822 24823 24824 24825 24827 24831 24832 24833 24834 24835 24836 24837 24838 24839 24840 24841 24842 24843 24844 24845 24846 24847 24848 24849 24850 24851 24853 24854 24855 24856 24857 24858 24859 24860 24861 24862 24863 24866 24867 24868 24869 24870 24871 24872 24873 24874 24875 24876 24877 24878 24879 24880 24881 24882 24883 24884 24885 24886 24887 24888 24889 24890 24891 24892 24893 24894 24895 24896 24897 24898 24899 24900 24901 24902 24903 24904 24905 24906 24907 24908 24909 24916 24921 24922 24923 24924 24925 24926 24927 24928 24929 24930 24931 24932 24934 24935 24955 24966 24972 24981 24982 24984 24985 24986 24988 24989 24990 24991 24992 24993 24994 24995 25004 25007 25008 25009 25010 25011 25012 25016 25017 25018 25019 25020 25021 25022 25023 25024 25025 25026 25027 25028 25029 25030 25031 25032 25033 25034 25035 25036 25037 25043 25044 25045 25046 25085 25086 25087 25088 25476 25603 25604 25605 25606 25607 25608 25609 25610 25611 25612 25613 25616 25617 25618 25619 25620 25621 25622 25623 25624 25625 25626 25628 25629 25631 25632 25633 25635 25636 25637 25638 25639 25644 25649 25657 25659 25660 25661 25662 25663 25664 25665 25666 25668 25688 25690 25691 25692 25693 25694 25697 25698 25699 25700 25701 25706 25711 25716 25718 25729 25740 25745 25750 25755 25757 25758 25760 25761 25766 25768 25769 25770 25773 25774 25775 25786 25787 25788 25789 25790 25792 25793 25794 25795 25796 25797 25799 25800 25801 25802 25803 25804 25805 25807 25808 25809 25810 25811 25812 25813 25814 25815 25816 25821 25831 25836 25844 25857 25865 25867 25868 25872 25873 25874 25875 25876 25877 25879 25880 25881 25882 25883 25884 25885 25886 25887 25888 25892 25893 25894 25895 25898 25899 25900 25901 25902 25903 25904 25906 25907 25908 25909 25913 25914 25915 25916 25917 25918 25919 25920 25922 25923 25924 25925 25926 25927 25928 25929 25930 25931 25934 25935 25936 25937 25938 25939 25940 25941 25942 25943 25944 25945 25946 25947 25948 25949 25950 25952 25953 25954 25955 25957 25958 25959 25960 25961 25962 25963 25964 25965 25966 25967 25968 25969 25970 25971 25972 25973 25974 25976 25977 25979 25980 25981 25982 25983 25984 25985 25987 25988 25989 25990 25991 25992 25993 25994 25995 25996 25997 25998 25999 26000 26001 26002 26003 26004 26005 26006 26007 26008 26009 26010 26011 26012 26013 26014 26015 26016 26017 26018 26019 26020 26021 26022 26023 26024 26025 26026 26027 26028 26029 26030 26031 26032 26033 26034 26035 26036 26037 26038 26039 26040 26041 26042 26043 26046 26047 26048 26051 26052 26053 26056 26057 26058 26059 26060 26062 26063 26064 26065 26066 26067 26068 26069 26070 26071 26072 26073 26074 26075 26076 26077 26079 26080 26081 26082 26083 26086 26087 26088 26089 26090 26091 26092 26093 26094 26096 26100 26101 26102 26106 26107 26108 26109 26110 26111 26113 26114 26117 26118 26119 26120 26121 26122 26125 26126 26131 26132 26133 26134 26135 26136 26137 26138 26139 26140 26141 26142 26143 26144 26145 26146 26147 26148 26149 26150 26151 26152 26153 26154 26155 26156 26157 26160 26161 26162 26163 26164 26165 26166 26169 26170 26171 26173 26174 26175 26177 26178 26179 26180 26181 26182 26183 26184 26185 26186 26187 26189 26190 26193 26194 26195 26196 26197 26198 26199 26200 26201 26202 26203 26204 26205 26206 26207 26208 26209 26210 26211 26212 26213 26215 26216 26217 26218 26219 26220 26221 26222 26223 26224 26225 26228 26229 26230 26231 26232 26233 26234 26235 26236 26237 26238 26239 26240 26241 26242 26243 26244 26245 26246 26247 26248 26249 26250 26251 26252 26253 26254 26255 26256 26257 26258 26259 26260 26261 26262 26263 26264 26265 26266 26267 26268 26269 26270 26271 26276 26277 26278 26280 26281 26282 26283 26284 26285 26286 26287 26288 26289 26290 26291 26294 26329 26334 26351 26357 26374 26390 26391 26392 26393 26394 26395 26396 26397 26398 26399 26400 26401 26402 26403 26404 26405 26406 26407 26408 26447 26448 26449 26450 26838 26965 26967 26968 26970 26971 26972 26974 26975 26978 26979 26980 26981 26982 26983 26984 26985 26986 26987 26988 26990 26991 26993 26994 26995 26997 26998 26999 27000 27001 27006 27011 27019 27021 27022 27023 27024 27025 27026 27027 27059 27063 27068 27073 27078 27080 27091 27102 27107 27112 27117 27119 27120 27122 27123 27128 27130 27131 27132 27135 27136 27137 27148 27149 27150 27151 27152 27154 27155 27156 27157 27158 27161 27162 27163 27164 27165 27166 27167 27169 27170 27171 27172 27173 27174 27176 27177 27178 27183 27193 27198 27206 27219 27235 27236 27237 27238 27239 27241 27242 27243 27244 27245 27246 27247 27248 27249 27250 27255 27256 27257 27261 27262 27263 27264 27265 27266 27269 27270 27271 27276 27277 27278 27279 27280 27281 27282 27285 27286 27287 27288 27289 27290 27291 27292 27293 27297 27298 27299 27300 27301 27302 27303 27305 27306 27307 27308 27309 27310 27311 27312 27315 27316 27317 27320 27321 27322 27323 27324 27325 27326 27328 27329 27330 27331 27332 27333 27334 27335 27336 27338 27339 27341 27342 27343 27344 27345 27346 27347 27349 27350 27351 27352 27353 27354 27355 27356 27357 27358 27359 27360 27361 27362 27363 27364 27365 27366 27367 27368 27369 27370 27371 27372 27373 27374 27375 27376 27377 27378 27379 27380 27381 27382 27383 27384 27385 27386 27387 27388 27389 27390 27391 27392 27393 27394 27395 27396 27397 27398 27399 27400 27401 27402 27403 27404 27405 27408 27409 27410 27412 27413 27414 27415 27416 27417 27418 27419 27420 27421 27422 27424 27425 27426 27427 27428 27429 27430 27431 27432 27433 27434 27435 27436 27437 27438 27439 27441 27442 27443 27444 27445 27448 27449 27450 27451 27452 27453 27454 27455 27456 27458 27462 27463 27464 27468 27469 27470 27471 27472 27473 27474 27475 27476 27477 27478 27479 27480 27481 27482 27483 27484 27487 27493 27494 27495 27496 27497 27498 27500 27501 27502 27503 27504 27505 27506 27507 27508 27509 27510 27511 27512 27513 27514 27515 27516 27517 27518 27519 27522 27523 27524 27525 27526 27527 27528 27531 27532 27533 27535 27536 27537 27539 27540 27541 27542 27543 27544 27545 27546 27547 27548 27549 27551 27555 27556 27557 27558 27559 27560 27561 27562 27563 27564 27565 27566 27567 27568 27569 27570 27571 27572 27573 27574 27575 27577 27578 27579 27580 27581 27582 27583 27584 27585 27586 27587 27590 27591 27592 27593 27594 27595 27596 27597 27598 27599 27600 27601 27602 27603 27604 27605 27606 27607 27608 27609 27610 27611 27612 27613 27614 27615 27616 27617 27618 27619 27620 27621 27622 27623 27624 27625 27626 27627 27628 27629 27630 27631 27632 27633 27640 27645 27646 27647 27648 27649 27650 27651 27652 27653 27656 27658 27659 27679 27690 27696 27705 27706 27707 27708 27709 27710 27711 27712 27713 27714 27715 27716 27717 27718 27719 27728 27731 27732 27733 27734 27735 27736 27740 27741 27743 27744 27745 27748 27749 27750 27751 27752 27753 27754 27755 27756 27757 27758 27759 27760 27761 27767 27768 27769 27770 27809 27810 27811 27812 28327 28328 28329 28330 28331 28332 28333 28334 28335 28336 28337 28340 28341 28342 28343 28344 28345 28346 28348 28349 28350 28352 28353 28355 28356 28357 28359 28360 28361 28362 28363 28368 28373 28381 28383 28384 28385 28386 28387 28388 28389 28425 28430 28435 28440 28442 28453 28464 28469 28474 28540 28545 28555 28560 28568 28581 28687 28697 28698 28700 28701 28703 28704 28705 28706 28707 28708 28709 28711 28712 28713 28714 28715 28716 28717 28718 28719 28720 28721 28722 28723 28724 28725 28726 28727 28728 28729 28730 28731 28732 28733 28734 28735 28736 28737 28738 28739 28740 28741 28742 28743 28744 28745 28746 28755 28756 28757 28759 28760 28761 28762 28763 28764 28765 28770 28771 28772 28777 28780 28781 28782 28784 28788 28791 28792 28793 28798 28799 28800 28801 28807 28810 28811 28812 28813 28814 28815 28818 28820 28824 28825 28826 28830 28831 28832 28833 28834 28835 28837 28838 28841 28842 28843 28844 28845 28846 28855 28856 28857 28859 28862 28865 28866 28867 28870 28871 28872 28873 28875 28876 28877 28878 28879 28880 28881 28884 28885 28886 28887 28888 28889 28893 28894 28895 28899 28904 28905 28906 28907 28908 28909 28911 28919 28920 28921 28924 28927 28928 28929 28935 28944 28947 28948 28949 28955 28956 28957 28958 28961 28964 28965 28966 28967 28968 28969 28970 28971 28973 28976 28977 28978 28979 28980 28981 28982 28983 28984 28985 28986 28987 28988 28989 28990 28991 28992 28993 28994 28995 29000 29001 29002 29004 29005 29006 29007 29008 29009 29010 29011 29012 29013 29014 29015 29016 29017 29018 29058 29081 29098 29114 29131 29132 29171 29172 29173 29174 29689 29691 29692 29694 29695 29696 29698 29699 29702 29703 29704 29706 29707 29708 29710 29711 29723 29724 29725 29730 29735 29743 29751 29787 29792 29797 29802 29804 29815 29826 29831 29836 29902 29907 29917 29922 29930 29943 30049 30059 30060 30062 30063 30065 30066 30067 30068 30069 30070 30071 30073 30074 30075 30076 30077 30078 30091 30092 30093 30094 30095 30096 30097 30098 30099 30100 30101 30102 30103 30104 30105 30106 30107 30108 30117 30118 30119 30121 30122 30123 30124 30125 30126 30127 30132 30133 30134 30139 30142 30143 30144 30146 30150 30153 30154 30155 30160 30161 30162 30163 30169 30172 30173 30174 30175 30176 30177 30180 30182 30186 30187 30188 30192 30193 30194 30195 30196 30197 30199 30200 30203 30204 30205 30206 30207 30208 30217 30218 30219 30221 30224 30227 30228 30229 30232 30233 30234 30235 30237 30238 30239 30240 30241 30242 30243 30246 30247 30248 30249 30250 30251 30255 30256 30257 30261 30266 30267 30268 30269 30270 30271 30273 30281 30282 30283 30286 30289 30290 30291 30297 30306 30309 30310 30311 30317 30318 30319 30320 30323 30326 30327 30328 30329 30330 30331 30332 30333 30334 30335 30336 30337 30338 30339 30340 30341 30342 30343 30344 30345 30346 30347 30348 30349 30350 30351 30352 30353 30354 30355 30356 30357 30362 30363 30364 30366 30367 30368 30369 30370 30371 30372 30373 30374 30375 30376 30377 30378 30379 30380 30420 30443 30460 30476 30493 30494 30533 30534 30535 30536 31051 31053 31054 31055 31056 31057 31058 31059 31060 31061 31064 31065 31066 31068 31069 31070 31072 31073 31085 31086 31087 31092 31097 31105 31113 31149 31154 31159 31164 31166 31177 31188 31193 31198 31264 31269 31279 31284 31292 31305 31411 31421 31422 31424 31425 31427 31428 31429 31430 31431 31432 31433 31435 31436 31437 31438 31439 31440 31456 31457 31458 31459 31460 31461 31462 31463 31464 31465 31466 31467 31468 31469 31470 31479 31480 31481 31483 31484 31485 31486 31487 31488 31489 31494 31495 31496 31501 31504 31505 31506 31512 31515 31516 31517 31522 31523 31524 31525 31531 31534 31535 31536 31537 31538 31539 31544 31548 31549 31550 31554 31555 31556 31557 31565 31566 31567 31568 31569 31570 31579 31580 31581 31583 31586 31589 31590 31591 31594 31595 31596 31597 31599 31600 31601 31602 31603 31604 31605 31608 31609 31610 31611 31612 31613 31617 31618 31619 31623 31628 31629 31630 31631 31632 31633 31635 31643 31644 31645 31648 31651 31652 31653 31659 31668 31671 31672 31673 31679 31680 31681 31682 31685 31688 31689 31690 31691 31692 31693 31694 31695 31696 31697 31698 31699 31700 31701 31702 31703 31704 31705 31706 31707 31708 31709 31710 31711 31712 31713 31714 31715 31716 31717 31718 31719 31726 31731 31732 31733 31734 31735 31736 31737 31738 31739 31740 31741 31742 31805 31822 31838 31855 31856 31895 31897 31898 32413 32414 32415 32416 32417 32418 32419 32420 32421 32422 32423 32426 32427 32428 32430 32431 32432 32434 32435 32447 32448 32449 32454 32459 32467 32475 32511 32516 32521 32526 32528 32539 32550 32555 32560 32626 32631 32641 32646 32654 32667 32773 32783 32795 32797 32798 32802 32818 32819 32820 32821 32822 32823 32824 32825 32826 32827 32828 32829 32830 32831 32832 32841 32842 32843 32846 32847 32848 32849 32850 32851 32856 32857 32858 32860 32862 32863 32864 32865 32866 32867 32868 32877 32878 32879 32885 32886 32887 32888 32892 32893 32894 32895 32896 32897 32898 32899 32900 32901 32903 32904 32905 32906 32907 32908 32909 32910 32911 32912 32913 32914 32915 32916 32917 32918 32919 32920 32927 32928 32929 32930 32931 32932 32941 32942 32943 32951 32952 32953 32957 32958 32959 32962 32963 32964 32965 32966 32967 32970 32971 32972 32973 32974 32975 32979 32980 32981 32990 32991 32992 32993 32994 32995 33005 33006 33007 33013 33014 33015 33033 33034 33035 33041 33042 33043 33044 33045 33046 33047 33048 33049 33050 33051 33052 33053 33054 33055 33056 33057 33058 33059 33060 33061 33062 33063 33064 33065 33066 33067 33068 33069 33070 33071 33072 33073 33074 33075 33076 33077 33078 33079 33080 33081 0
560.52/560.59	c Terminating MUSer ...
560.52/560.59	c CPU Time: 560.28

Verifier Data 

OK	10042

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-3501160-1308043524/watcher-3501160-1308043524 -o /tmp/evaluation-result-3501160-1308043524/solver-3501160-1308043524 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501160-1308043524.gcnf 

running on 2 cores: 1,3

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.00 3.95 3.62 5/189 4259
/proc/meminfo: memFree=28868804/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=3368 CPUtime=0 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 324 0 0 0 0 0 0 0 25 0 1 0 915949100 3448832 276 33554432000 4194304 5696331 140735964833296 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 842 277 114 367 0 472 0

[startup+0.0798309 s]
/proc/loadavg: 4.00 3.95 3.62 5/189 4259
/proc/meminfo: memFree=28868804/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=17096 CPUtime=0.07 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 4183 0 0 0 7 0 0 0 25 0 1 0 915949100 17506304 3697 33554432000 4194304 5696331 140735964833296 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 4274 3700 114 367 0 3904 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17096

[startup+0.100821 s]
/proc/loadavg: 4.00 3.95 3.62 5/189 4259
/proc/meminfo: memFree=28868804/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=21584 CPUtime=0.09 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 5311 0 0 0 9 0 0 0 25 0 1 0 915949100 22102016 4825 33554432000 4194304 5696331 140735964833296 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 5396 4827 114 367 0 5026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21584

[startup+0.300784 s]
/proc/loadavg: 4.00 3.95 3.62 5/189 4259
/proc/meminfo: memFree=28868804/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=37452 CPUtime=0.28 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 10065 0 0 0 28 0 0 0 25 0 1 0 915949100 38350848 8998 33554432000 4194304 5696331 140735964833296 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 9363 8998 141 367 0 8993 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37452

[startup+0.700706 s]
/proc/loadavg: 4.00 3.95 3.62 5/189 4259
/proc/meminfo: memFree=28868804/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=38296 CPUtime=0.68 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 10266 0 0 0 68 0 0 0 25 0 1 0 915949100 39215104 9199 33554432000 4194304 5696331 140735964833296 18446744073709551615 4400022 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 9574 9199 141 367 0 9204 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 38296

[startup+1.50054 s]
/proc/loadavg: 4.00 3.95 3.62 5/190 4260
/proc/meminfo: memFree=28831620/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=40020 CPUtime=1.48 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 10637 0 0 0 148 0 0 0 25 0 1 0 915949100 40980480 9570 33554432000 4194304 5696331 140735964833296 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 10005 9570 141 367 0 9635 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40020

[startup+3.10024 s]
/proc/loadavg: 4.00 3.95 3.62 5/190 4260
/proc/meminfo: memFree=28829400/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=33472 CPUtime=3.09 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 12374 0 0 0 308 1 0 0 25 0 1 0 915949100 34275328 8017 33554432000 4194304 5696331 140735964833296 18446744073709551615 4413820 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 8368 8017 142 367 0 7998 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33472

[startup+6.30059 s]
/proc/loadavg: 4.00 3.95 3.63 5/190 4260
/proc/meminfo: memFree=28837140/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=28756 CPUtime=6.29 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 14709 0 0 0 627 2 0 0 25 0 1 0 915949100 29446144 6928 33554432000 4194304 5696331 140735964833296 18446744073709551615 4228890 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 7189 6928 142 367 0 6819 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28756

[startup+12.7003 s]
/proc/loadavg: 4.00 3.95 3.63 5/190 4261
/proc/meminfo: memFree=28651136/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=240548 CPUtime=12.69 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 68179 0 0 0 1261 8 0 0 25 0 1 0 915949100 246321152 59526 33554432000 4194304 5696331 140735964833296 18446744073709551615 4419584 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 60137 59526 148 367 0 59767 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 240548

[startup+25.5008 s]
/proc/loadavg: 4.00 3.95 3.63 5/190 4261
/proc/meminfo: memFree=28367932/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=511896 CPUtime=25.49 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 135995 0 0 0 2534 15 0 0 25 0 1 0 915949100 524181504 127331 33554432000 4194304 5696331 140735964833296 18446744073709551615 4402333 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 127974 127331 149 367 0 127604 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 511896

[startup+51.1007 s]
/proc/loadavg: 4.00 3.95 3.64 5/190 4261
/proc/meminfo: memFree=28171720/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=711484 CPUtime=51.09 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 185931 0 0 0 5087 22 0 0 25 0 1 0 915949100 728559616 177258 33554432000 4194304 5696331 140735964833296 18446744073709551615 4402326 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 177871 177258 149 367 0 177501 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 711484

[startup+102.306 s]
/proc/loadavg: 4.00 3.96 3.66 5/190 4300
/proc/meminfo: memFree=29073008/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=102.29 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200592 0 0 0 10206 23 0 0 25 0 1 0 915949100 788668416 191916 33554432000 4194304 5696331 140735964833296 18446744073709551615 4394454 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191916 149 367 0 192176 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 770184

[startup+162.301 s]
/proc/loadavg: 4.06 3.98 3.68 5/190 4302
/proc/meminfo: memFree=28617808/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=162.29 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200592 0 0 0 16205 24 0 0 25 0 1 0 915949100 788668416 191916 33554432000 4194304 5696331 140735964833296 18446744073709551615 4416898 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191916 149 367 0 192176 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 770184

[startup+222.301 s]
/proc/loadavg: 3.45 3.83 3.64 4/184 4327
/proc/meminfo: memFree=28653844/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=222.3 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200592 0 0 0 22205 25 0 0 25 0 1 0 915949100 788668416 191916 33554432000 4194304 5696331 140735964833296 18446744073709551615 4361009 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191916 149 367 0 192176 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 770184

[startup+282.301 s]
/proc/loadavg: 2.72 3.56 3.56 3/178 4353
/proc/meminfo: memFree=29665816/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=282.3 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200592 0 0 0 28204 26 0 0 25 0 1 0 915949100 788668416 191916 33554432000 4194304 5696331 140735964833296 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191916 149 367 0 192176 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 770184

[startup+342.301 s]
/proc/loadavg: 2.26 3.28 3.46 3/178 4354
/proc/meminfo: memFree=29665652/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=342.3 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200592 0 0 0 34204 26 0 0 25 0 1 0 915949100 788668416 191916 33554432000 4194304 5696331 140735964833296 18446744073709551615 4402774 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191916 149 367 0 192176 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 770184

[startup+402.301 s]
/proc/loadavg: 1.57 2.90 3.32 2/172 4380
/proc/meminfo: memFree=30910148/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=402.31 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200592 0 0 0 40204 27 0 0 25 0 1 0 915949100 788668416 191916 33554432000 4194304 5696331 140735964833296 18446744073709551615 4394442 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191916 149 367 0 192176 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 770184

[startup+462.301 s]
/proc/loadavg: 1.21 2.55 3.17 2/172 4382
/proc/meminfo: memFree=30910124/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=462.31 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200592 0 0 0 46203 28 0 0 25 0 1 0 915949100 788668416 191916 33554432000 4194304 5696331 140735964833296 18446744073709551615 4416913 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191916 149 367 0 192176 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 770184

[startup+522.301 s]
/proc/loadavg: 1.07 2.27 3.03 2/172 4383
/proc/meminfo: memFree=30910324/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=522.31 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200595 0 0 0 52201 30 0 0 25 0 1 0 915949100 788668416 191919 33554432000 4194304 5696331 140735964833296 18446744073709551615 4380975 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191919 150 367 0 192176 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 770184

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

[startup+537.501 s]
/proc/loadavg: 1.06 2.20 3.00 2/172 4384
/proc/meminfo: memFree=30910308/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=537.51 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200595 0 0 0 53721 30 0 0 25 0 1 0 915949100 788668416 191919 33554432000 4194304 5696331 140735964833296 18446744073709551615 4361009 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191919 150 367 0 192176 0
Current children cumulated CPU time (s) 537.51
Current children cumulated vsize (KiB) 770184

[startup+550.3 s]
/proc/loadavg: 1.05 2.16 2.98 2/172 4384
/proc/meminfo: memFree=30910304/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=550.31 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200595 0 0 0 55001 30 0 0 25 0 1 0 915949100 788668416 191919 33554432000 4194304 5696331 140735964833296 18446744073709551615 4416488 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191919 150 367 0 192176 0
Current children cumulated CPU time (s) 550.31
Current children cumulated vsize (KiB) 770184

[startup+556.701 s]
/proc/loadavg: 1.04 2.13 2.96 2/172 4384
/proc/meminfo: memFree=30910180/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=556.71 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200595 0 0 0 55641 30 0 0 25 0 1 0 915949100 788668416 191919 33554432000 4194304 5696331 140735964833296 18446744073709551615 4419584 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191919 150 367 0 192176 0
Current children cumulated CPU time (s) 556.71
Current children cumulated vsize (KiB) 770184

[startup+558.301 s]
/proc/loadavg: 1.04 2.13 2.96 2/172 4384
/proc/meminfo: memFree=30910180/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=558.32 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200595 0 0 0 55801 31 0 0 25 0 1 0 915949100 788668416 191919 33554432000 4194304 5696331 140735964833296 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191919 150 367 0 192176 0
Current children cumulated CPU time (s) 558.32
Current children cumulated vsize (KiB) 770184

[startup+559.906 s]
/proc/loadavg: 1.04 2.13 2.96 2/172 4384
/proc/meminfo: memFree=30910300/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=559.92 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200595 0 0 0 55961 31 0 0 25 0 1 0 915949100 788668416 191919 33554432000 4194304 5696331 140735964833296 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191919 150 367 0 192176 0
Current children cumulated CPU time (s) 559.92
Current children cumulated vsize (KiB) 770184

[startup+560.3 s]
/proc/loadavg: 1.04 2.13 2.96 2/172 4384
/proc/meminfo: memFree=30910300/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=560.32 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200595 0 0 0 56001 31 0 0 25 0 1 0 915949100 788668416 191919 33554432000 4194304 5696331 140735964833296 18446744073709551615 4416916 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191919 150 367 0 192176 0
Current children cumulated CPU time (s) 560.32
Current children cumulated vsize (KiB) 770184

[startup+560.501 s]
/proc/loadavg: 1.04 2.13 2.96 2/172 4384
/proc/meminfo: memFree=30910300/32950928 swapFree=67053884/67111528
[pid=4259] ppid=4257 vsize=770184 CPUtime=560.52 cores=1,3
/proc/4259/stat : 4259 (muser) R 4257 4259 25945 0 -1 4202496 200595 0 0 0 56021 31 0 0 25 0 1 0 915949100 788668416 191919 33554432000 4194304 5696331 140735964833296 18446744073709551615 4416744 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/4259/statm: 192546 191919 150 367 0 192176 0
Current children cumulated CPU time (s) 560.52
Current children cumulated vsize (KiB) 770184

Child status: 20
Real time (s): 560.597
CPU time (s): 560.619
CPU user time (s): 560.281
CPU system time (s): 0.337948
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 770184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 560.281
system time used= 0.337948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200596
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= 4
involuntary context switches= 1359

runsolver used 0.84887 second user time and 2.02769 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-14 11:25:24
IDJOB=3501160
IDBENCH=90100
IDSOLVER=1998
FILE ID=node149/3501160-1308043524
RUNJOBID= node149-1308042324-3990
PBS_JOBID= 13563887
Free space on /tmp= 74016 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/gmus/belov/nusmvguidancep6.aig.k25.gcnf
COMMAND LINE= muser -comp -grp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501160-1308043524/watcher-3501160-1308043524 -o /tmp/evaluation-result-3501160-1308043524/solver-3501160-1308043524 -C 1800 -W 1850 -M 7680  muser -comp -grp HOME/instance-3501160-1308043524.gcnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 851bbf0128c7a2e123197aaf3d6843fc
RANDOM SEED=412792727

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28869472 kB
Buffers:        240768 kB
Cached:         833540 kB
SwapCached:      22948 kB
Active:        3147148 kB
Inactive:       720240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28869472 kB
SwapTotal:    67111528 kB
SwapFree:     67053884 kB
Dirty:            3924 kB
Writeback:           0 kB
AnonPages:     2790244 kB
Mapped:          11760 kB
Slab:           142492 kB
PageTables:      10296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3021500 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74056 MiB
End job on node149 at 2011-06-14 11:34:45