Trace number 3501076

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 993.23 993.207

General information on the benchmark

Namegmus/belov/
pdtpmsgoodbakery.aig.k20.gcnf
MD5SUMc32d0767929b800e01d25fbf5c79e7b4
Bench CategoryGMUS (GMUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark349.505
Satisfiable
(Un)Satisfiability was proved
Number of variables38334
Number of clauses114829
Sum of the clauses size267933
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 276552
Number of clauses of size 338276
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50
Number of groups38276
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-3501076-1308042257.gcnf ***
0.00/0.00	c 
0.09/0.16	c Parsing CPU Time: 0.151976
0.09/0.16	c Running MUSer ...
13.10/13.16	c 0.00% completed ... 
34.49/34.51	c 7.09% completed ... 
683.02/683.09	c 22.13% completed ... 
993.12/993.14	c 100.00% completed ... 
993.12/993.14	c MUS size: 36666
993.12/993.14	s UNSATISFIABLE
993.12/993.14	v 1 2 3 4 5 6 7 31 32 33 34 35 36 37 40 41 42 43 44 47 48 49 50 51 52 53 54 57 58 59 60 61 62 63 64 65 76 77 80 96 97 98 99 100 101 102 103 125 126 127 128 129 130 131 132 154 155 156 157 158 159 160 161 163 167 168 169 170 171 172 173 174 176 177 178 179 180 181 182 183 185 186 187 188 189 190 191 193 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 218 219 220 221 222 223 224 225 226 227 228 229 230 235 236 237 238 239 240 241 242 249 250 251 252 253 254 255 256 271 275 374 448 449 450 451 452 453 454 455 456 457 458 461 462 463 465 466 467 469 471 472 473 474 476 477 478 480 481 482 483 484 485 490 491 492 493 494 495 499 500 501 502 572 592 613 614 615 616 618 619 620 622 623 625 626 627 661 662 663 668 677 678 679 680 681 682 684 685 686 690 691 693 694 696 697 698 701 702 705 706 707 708 709 711 715 729 730 731 732 733 735 736 737 738 739 740 743 745 746 759 760 761 762 763 767 772 775 776 777 786 787 788 789 790 791 792 793 794 795 796 797 799 802 804 820 821 822 824 825 826 829 830 831 833 834 836 837 838 842 843 856 857 858 859 860 861 889 890 891 892 893 894 896 898 899 902 906 907 908 909 910 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 948 949 950 951 953 954 955 956 958 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 986 987 988 989 990 991 993 995 996 997 998 1000 1001 1002 1003 1004 1006 1007 1008 1010 1011 1012 1013 1014 1015 1016 1018 1019 1020 1021 1022 1023 1026 1027 1028 1029 1032 1033 1034 1037 1040 1041 1042 1043 1045 1046 1047 1048 1049 1050 1051 1052 1053 1055 1066 1067 1076 1077 1078 1079 1082 1094 1095 1187 1215 1236 1239 1240 1241 1242 1243 1245 1246 1247 1248 1249 1250 1251 1278 1293 1294 1302 1303 1313 1314 1317 1318 1319 1320 1321 1322 1330 1331 1333 1334 1335 1342 1343 1344 1345 1346 1347 1348 1349 1352 1353 1356 1357 1358 1360 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1375 1382 1383 1384 1385 1387 1390 1391 1394 1407 1408 1419 1423 1424 1425 1426 1427 1429 1430 1431 1432 1433 1434 1435 1436 1464 1465 1470 1471 1475 1476 1477 1479 1489 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1513 1518 1519 1520 1550 1551 1552 1594 1600 1601 1604 1605 1617 1683 1687 1688 1690 1692 1693 1696 1700 1701 1702 1703 1704 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1725 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1781 1782 1783 1784 1785 1786 1788 1790 1791 1792 1793 1795 1796 1797 1798 1799 1801 1802 1803 1805 1806 1807 1808 1809 1810 1811 1813 1814 1815 1816 1817 1818 1821 1822 1823 1824 1827 1828 1829 1831 1832 1835 1836 1837 1838 1840 1841 1842 1843 1844 1845 1846 1847 1848 1850 1861 1862 1871 1872 1873 1874 1877 1889 1890 1892 1990 2020 2044 2047 2048 2049 2050 2051 2053 2054 2055 2056 2057 2058 2059 2062 2065 2083 2084 2085 2086 2087 2088 2090 2091 2092 2093 2094 2095 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2121 2122 2125 2126 2127 2128 2129 2130 2132 2133 2134 2138 2139 2141 2142 2143 2145 2146 2147 2150 2151 2152 2153 2154 2155 2156 2157 2160 2161 2164 2165 2166 2168 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2183 2190 2191 2192 2193 2195 2198 2199 2202 2215 2216 2227 2231 2232 2233 2234 2235 2237 2238 2239 2240 2241 2242 2243 2244 2249 2251 2252 2253 2254 2255 2256 2257 2259 2263 2264 2265 2266 2267 2268 2269 2272 2273 2278 2279 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2317 2318 2319 2321 2324 2326 2327 2328 2329 2339 2340 2345 2347 2348 2349 2358 2359 2360 2394 2395 2396 2398 2399 2400 2402 2408 2409 2412 2413 2425 2426 2427 2430 2431 2437 2438 2442 2443 2444 2445 2446 2447 2448 2449 2453 2454 2470 2471 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2498 2501 2504 2508 2509 2510 2512 2513 2514 2515 2516 2517 2520 2521 2522 2523 2524 2525 2529 2530 2531 2532 2533 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2570 2571 2572 2573 2574 2575 2576 2580 2581 2582 2583 2584 2585 2586 2587 2591 2592 2593 2594 2595 2596 2597 2598 2599 2600 2605 2606 2607 2608 2609 2610 2611 2612 2613 2614 2615 2618 2627 2628 2629 2630 2631 2632 2633 2634 2635 2636 2638 2642 2643 2644 2645 2646 2647 2648 2649 2650 2651 2652 2653 2654 2655 2656 2657 2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2677 2678 2679 2680 2681 2682 2683 2684 2685 2686 2687 2688 2689 2699 2700 2701 2702 2703 2704 2705 2706 2707 2708 2709 2710 2711 2717 2722 2725 2727 2754 2756 2757 2758 2759 2760 2761 2808 2828 2829 2830 2831 2832 2833 2841 2842 2843 2844 2845 2847 2850 2869 2870 2871 2872 2873 2876 2877 2878 2879 2880 2881 2882 2883 2884 2885 2886 2887 2888 2889 2906 2907 2908 2909 2910 2911 2912 2913 2914 2915 2916 2917 2918 2919 2920 2927 2929 2949 2950 2951 2952 2953 2973 2974 2975 2976 2977 2979 2983 3003 3004 3005 3006 3007 3010 3011 3012 3013 3014 3015 3016 3018 3019 3020 3022 3023 3024 3030 3048 3049 3050 3051 3052 3054 3055 3056 3057 3058 3059 3060 3061 3062 3067 3084 3085 3086 3087 3088 3089 3090 3091 3093 3094 3095 3096 3097 3099 3100 3101 3102 3103 3104 3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3119 3122 3124 3150 3151 3152 3153 3154 3155 3156 3157 3158 3159 3165 3168 3170 3172 3310 3311 3312 3333 3334 3335 3336 3337 3339 3342 3343 3359 3360 3361 3362 3363 3364 3365 3368 3369 3370 3371 3372 3373 3374 3375 3376 3377 3378 3379 3380 3381 3398 3399 3400 3401 3402 3403 3404 3405 3406 3407 3408 3409 3410 3411 3412 3413 3414 3419 3421 3439 3440 3441 3442 3443 3444 3445 3446 3465 3466 3467 3468 3469 3471 3475 3476 3493 3494 3495 3496 3497 3498 3499 3502 3503 3504 3505 3506 3507 3508 3509 3510 3511 3512 3513 3514 3515 3516 3517 3520 3522 3538 3539 3540 3541 3542 3543 3544 3546 3547 3548 3549 3550 3551 3552 3553 3554 3555 3559 3560 3574 3575 3576 3577 3578 3579 3580 3581 3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594 3595 3596 3597 3598 3599 3604 3605 3606 3607 3608 3609 3610 3611 3612 3613 3614 3615 3616 3619 3620 3621 3623 3624 3625 3626 3628 3629 3630 3631 3632 3636 3637 3638 3639 3640 3641 3642 3643 3644 3645 3646 3647 3649 3651 3652 3653 3654 3655 3656 3657 3658 3659 3662 3669 3689 3690 3691 3692 3693 3694 3695 3696 3697 3698 3699 3700 3701 3702 3703 3704 3705 3707 3724 3727 3728 3729 3730 3736 3737 3738 3739 3755 3920 3921 3922 3923 3924 3925 3928 3930 3931 3932 3933 3938 3939 3940 3941 3943 3944 3945 3948 3949 3951 3952 3953 3954 3955 3956 3957 3960 3961 3962 3963 3964 3965 3968 3970 3971 3972 3980 3981 3982 3983 3984 3987 3988 3989 3990 3991 3992 3993 3994 3995 3996 3997 3998 3999 4000 4001 4002 4003 4005 4007 4008 4009 4011 4012 4015 4016 4018 4019 4020 4021 4022 4023 4024 4025 4026 4027 4028 4031 4036 4038 4052 4053 4054 4055 4056 4057 4069 4070 4071 4073 4074 4087 4089 4090 4091 4092 4093 4096 4098 4099 4100 4101 4102 4103 4104 4105 4113 4115 4116 4117 4118 4121 4122 4123 4126 4127 4128 4130 4131 4133 4134 4135 4136 4138 4139 4141 4143 4144 4145 4146 4153 4154 4156 4157 4158 4159 4161 4162 4163 4165 4167 4168 4169 4171 4172 4173 4174 4175 4176 4177 4178 4179 4182 4183 4185 4187 4188 4189 4190 4191 4192 4193 4194 4196 4198 4200 4202 4203 4223 4224 4225 4226 4227 4228 4229 4230 4231 4232 4234 4236 4252 4264 4265 4266 4267 4268 4269 4272 4273 4274 4276 4277 4278 4279 4286 4287 4288 4289 4290 4291 4294 4295 4297 4298 4299 4300 4301 4302 4303 4306 4307 4308 4309 4310 4311 4314 4316 4317 4318 4326 4327 4328 4329 4330 4333 4334 4335 4336 4337 4338 4339 4340 4341 4342 4343 4344 4345 4346 4347 4348 4350 4352 4353 4354 4358 4360 4362 4365 4372 4374 4378 4379 4380 4381 4382 4386 4387 4389 4390 4391 4392 4393 4394 4395 4396 4397 4398 4399 4400 4401 4402 4403 4404 4405 4406 4407 4408 4409 4411 4412 4413 4414 4415 4416 4417 4418 4419 4420 4421 4422 4423 4424 4425 4426 4427 4428 4429 4430 4431 4432 4433 4434 4436 4437 4438 4439 4441 4442 4443 4444 4446 4447 4448 4449 4450 4451 4452 4453 4454 4455 4460 4463 4464 4465 4466 4467 4468 4469 4470 4471 4474 4475 4476 4477 4478 4479 4480 4481 4483 4484 4485 4486 4487 4488 4489 4490 4491 4492 4494 4495 4496 4498 4499 4500 4501 4502 4503 4504 4514 4515 4516 4517 4520 4525 4528 4529 4530 4531 4535 4536 4540 4683 4713 4737 4740 4741 4750 4779 4834 4835 4836 4857 4858 4859 4861 4865 4869 4870 4871 4920 4924 4925 4932 4933 4934 4935 5007 5015 5016 5018 5019 5020 5021 5040 5041 5042 5046 5051 5052 5053 5056 5066 5067 5078 5079 5080 5081 5083 5084 5087 5088 5089 5091 5092 5093 5095 5101 5102 5105 5106 5118 5119 5120 5146 5147 5157 5158 5161 5162 5163 5164 5174 5175 5176 5177 5178 5179 5180 5181 5182 5183 5184 5188 5189 5194 5197 5199 5200 5201 5202 5203 5204 5205 5206 5209 5210 5211 5212 5213 5214 5215 5217 5218 5219 5220 5221 5222 5223 5224 5225 5226 5227 5228 5229 5230 5231 5232 5233 5234 5235 5236 5237 5238 5241 5242 5243 5244 5245 5247 5248 5249 5250 5251 5252 5253 5254 5255 5256 5257 5259 5261 5262 5263 5269 5274 5284 5285 5288 5289 5290 5291 5293 5294 5295 5296 5297 5298 5299 5302 5303 5304 5305 5306 5307 5308 5309 5310 5311 5314 5315 5316 5317 5319 5320 5322 5323 5325 5326 5327 5328 5334 5344 5346 5347 5380 5381 5387 5388 5389 5390 5399 5400 5441 5442 5443 5444 5445 5446 5447 5448 5454 5455 5456 5457 5458 5460 5491 5512 5513 5649 5652 5653 5654 5655 5690 5741 5742 5743 5745 5746 5747 5748 5789 5790 5793 5794 5795 5796 5799 5800 5802 5845 5866 5867 5875 5876 5878 5879 5880 5881 5896 5897 5899 5900 5901 5902 5915 5916 5917 5923 5924 5925 5982 5983 5985 5986 5987 5988 6005 6007 6008 6014 6015 6016 6017 6018 6044 6046 6047 6081 6099 6100 6103 6104 6125 6137 6138 6139 6142 6143 6144 6145 6150 6153 6154 6155 6156 6157 6190 6223 6224 6225 6227 6280 6281 6282 6285 6286 6287 6288 6291 6292 6293 6307 6308 6325 6343 6345 6348 6349 6364 6365 6376 6377 6384 6385 6386 6387 6388 6389 6390 6391 6418 6419 6421 6442 6443 6444 6469 6479 6500 6501 6506 6509 6510 6511 6512 6539 6586 6587 6588 6589 6592 6635 6636 6639 6640 6641 6642 6645 6646 6647 6648 6649 6674 6675 6677 6687 6707 6708 6749 6750 6752 6753 6754 6763 6770 6772 6776 6777 6778 6779 6780 6781 6782 6783 6784 6785 6787 6788 6789 6790 6791 6792 6793 6794 6795 6796 6797 6798 6799 6800 6801 6802 6803 6815 6816 6817 6823 6824 6825 6826 6827 6828 6829 6830 6831 6832 6833 6843 6848 6851 6852 6853 6854 6858 6859 6861 6862 6863 6864 6865 6866 6867 6868 6869 6870 6871 6872 6873 6874 6875 6876 6877 6878 6879 6881 6882 6883 6884 6885 6886 6887 6888 6889 6890 6892 6893 6894 6896 6897 6898 6899 6900 6901 6902 6906 6907 6912 6913 6914 6915 6918 6922 6923 6926 6927 6928 6929 6932 6933 6934 6935 6938 6968 6969 6970 6979 6980 6981 6982 6983 6984 6985 6986 7081 7111 7133 7135 7138 7139 7146 7147 7148 7149 7150 7153 7156 7177 7180 7181 7182 7183 7184 7185 7186 7192 7193 7201 7202 7212 7213 7218 7219 7220 7221 7223 7224 7225 7229 7230 7232 7233 7234 7236 7237 7238 7245 7246 7252 7255 7256 7257 7259 7263 7267 7268 7269 7270 7293 7303 7304 7305 7306 7307 7308 7309 7310 7311 7316 7318 7322 7323 7330 7331 7332 7333 7334 7335 7340 7342 7343 7349 7350 7354 7355 7356 7357 7358 7359 7360 7363 7364 7369 7370 7378 7388 7396 7397 7398 7399 7400 7401 7402 7403 7404 7405 7408 7409 7410 7416 7417 7418 7419 7438 7439 7440 7444 7449 7450 7451 7454 7464 7465 7476 7477 7478 7479 7481 7482 7485 7486 7487 7489 7490 7491 7493 7499 7500 7503 7504 7516 7517 7518 7521 7522 7523 7524 7525 7526 7527 7529 7533 7534 7535 7536 7537 7538 7539 7540 7544 7545 7554 7555 7556 7557 7558 7559 7560 7561 7562 7572 7573 7574 7575 7576 7577 7578 7579 7580 7581 7582 7583 7584 7585 7586 7587 7590 7591 7592 7595 7597 7598 7599 7600 7615 7616 7617 7618 7619 7620 7621 7622 7623 7624 7635 7655 7657 7659 7660 7661 7662 7663 7664 7667 7668 7669 7672 7673 7674 7675 7682 7683 7686 7687 7688 7689 7691 7692 7693 7694 7695 7696 7697 7700 7701 7702 7703 7704 7705 7706 7707 7708 7709 7710 7712 7713 7714 7715 7717 7718 7719 7720 7721 7723 7724 7725 7726 7727 7728 7729 7730 7731 7732 7736 7737 7739 7740 7742 7744 7745 7747 7777 7778 7779 7785 7786 7787 7788 7797 7798 7839 7840 7841 7842 7843 7844 7845 7846 7852 7853 7854 7855 7856 7857 7858 7889 7902 7903 7904 7905 7907 7908 7910 7911 7912 8041 8070 8073 8074 8075 8076 8081 8082 8089 8092 8094 8096 8097 8111 8127 8128 8136 8141 8142 8143 8146 8147 8148 8150 8152 8153 8154 8155 8156 8162 8163 8164 8166 8167 8168 8169 8173 8195 8196 8197 8202 8204 8205 8207 8210 8211 8214 8215 8216 8217 8220 8221 8222 8223 8245 8246 8247 8250 8251 8252 8253 8254 8260 8263 8266 8272 8277 8279 8280 8281 8287 8288 8296 8297 8299 8300 8301 8302 8306 8307 8309 8311 8312 8313 8317 8318 8320 8321 8322 8323 8326 8327 8330 8332 8333 8334 8336 8337 8338 8344 8345 8346 8348 8349 8358 8378 8403 8404 8406 8407 8408 8409 8426 8428 8429 8433 8435 8436 8437 8438 8439 8462 8463 8464 8465 8466 8467 8468 8475 8476 8477 8482 8495 8496 8497 8500 8502 8503 8505 8506 8520 8521 8524 8525 8527 8529 8530 8539 8544 8546 8558 8559 8560 8563 8564 8565 8566 8571 8574 8575 8576 8577 8578 8595 8596 8597 8602 8603 8604 8606 8607 8611 8613 8621 8626 8627 8628 8630 8631 8632 8634 8636 8637 8638 8644 8645 8646 8648 8652 8656 8657 8669 8683 8685 8686 8688 8701 8702 8703 8706 8707 8708 8709 8712 8713 8714 8718 8719 8721 8723 8724 8725 8728 8729 8746 8749 8750 8753 8755 8756 8757 8760 8761 8762 8764 8766 8769 8770 8773 8774 8779 8785 8786 8797 8798 8800 8805 8806 8807 8808 8809 8810 8811 8812 8839 8840 8842 8863 8864 8865 8890 8900 8908 8909 8910 8915 8916 8918 8919 8921 8922 8927 8930 8931 8932 8933 8938 8939 8941 8944 8945 8946 8960 8974 8975 8983 8988 8989 8990 8993 8994 8995 8997 8999 9000 9001 9007 9008 9009 9010 9013 9017 9032 9033 9034 9039 9041 9042 9044 9056 9057 9060 9061 9062 9063 9066 9067 9068 9069 9070 9072 9073 9075 9078 9079 9080 9081 9082 9095 9096 9098 9108 9109 9117 9122 9124 9125 9126 9128 9129 9132 9133 9136 9138 9139 9140 9164 9165 9168 9170 9171 9173 9174 9175 9179 9180 9181 9184 9191 9193 9194 9196 9197 9198 9199 9200 9201 9202 9203 9204 9205 9211 9212 9213 9214 9215 9216 9217 9218 9219 9220 9221 9222 9223 9224 9226 9227 9228 9236 9237 9238 9244 9245 9246 9247 9248 9249 9250 9251 9252 9253 9255 9256 9257 9258 9260 9261 9262 9263 9265 9269 9272 9273 9274 9279 9282 9283 9284 9285 9286 9287 9288 9289 9290 9291 9292 9293 9294 9295 9296 9297 9298 9299 9300 9302 9303 9304 9305 9306 9307 9308 9309 9310 9311 9313 9314 9315 9316 9317 9318 9319 9320 9321 9322 9323 9333 9334 9335 9336 9339 9344 9347 9348 9349 9350 9352 9353 9354 9355 9356 9357 9358 9359 9360 9362 9373 9374 9383 9384 9385 9386 9389 9390 9391 9400 9401 9402 9502 9532 9556 9559 9560 9567 9568 9569 9570 9571 9598 9613 9614 9618 9619 9620 9621 9622 9623 9633 9634 9639 9640 9641 9642 9650 9651 9653 9654 9655 9664 9665 9668 9672 9673 9676 9677 9678 9680 9684 9688 9689 9690 9691 9692 9693 9695 9702 9703 9704 9705 9707 9710 9711 9714 9724 9725 9726 9727 9728 9739 9743 9744 9751 9752 9753 9754 9755 9756 9784 9785 9790 9791 9799 9800 9801 9807 9808 9809 9817 9818 9819 9820 9821 9822 9823 9824 9825 9826 9827 9833 9838 9839 9840 9870 9871 9872 9914 9920 9921 9924 9925 9937 10003 10007 10008 10010 10011 10012 10013 10021 10029 10031 10036 10037 10038 10039 10040 10041 10042 10043 10044 10045 10046 10047 10048 10049 10050 10051 10052 10053 10054 10055 10056 10057 10060 10061 10062 10063 10064 10066 10067 10068 10069 10070 10071 10072 10073 10074 10075 10076 10078 10080 10081 10082 10083 10084 10086 10087 10088 10089 10090 10093 10094 10095 10096 10098 10100 10101 10102 10103 10104 10107 10108 10109 10110 10112 10113 10114 10115 10116 10117 10118 10121 10122 10123 10124 10125 10126 10127 10128 10129 10130 10131 10132 10133 10134 10135 10136 10138 10139 10140 10141 10142 10144 10145 10146 10147 10148 10149 10150 10151 10152 10153 10155 10160 10161 10163 10165 10166 10168 10192 10193 10198 10199 10200 10206 10207 10208 10209 10210 10218 10219 10260 10261 10262 10263 10264 10265 10266 10267 10273 10274 10275 10276 10277 10278 10279 10310 10326 10328 10329 10331 10332 10333 10462 10491 10494 10495 10496 10497 10498 10501 10502 10503 10510 10532 10565 10566 10567 10568 10569 10575 10576 10583 10584 10585 10587 10588 10589 10590 10614 10615 10616 10617 10618 10624 10625 10626 10628 10631 10632 10635 10636 10637 10638 10641 10642 10643 10644 10665 10666 10667 10668 10681 10687 10699 10700 10701 10702 10708 10709 10717 10718 10720 10721 10722 10723 10726 10727 10728 10730 10738 10739 10741 10742 10743 10744 10747 10748 10751 10757 10758 10759 10765 10766 10767 10769 10770 10771 10772 10773 10774 10775 10776 10788 10789 10798 10799 10824 10825 10827 10828 10829 10830 10847 10849 10850 10854 10856 10857 10858 10859 10860 10883 10884 10885 10886 10887 10888 10889 10916 10917 10918 10923 10941 10942 10945 10946 10948 10967 10979 10980 10981 10984 10985 10986 10987 10992 10995 10996 10997 10998 10999 11012 11015 11016 11017 11018 11032 11050 11051 11052 11053 11065 11066 11067 11069 11076 11077 11078 11090 11105 11106 11107 11109 11122 11123 11124 11127 11128 11129 11130 11133 11134 11135 11138 11139 11140 11142 11149 11150 11167 11181 11182 11183 11185 11187 11190 11191 11199 11200 11206 11207 11210 11211 11212 11213 11218 11219 11221 11226 11227 11228 11229 11230 11231 11232 11233 11260 11261 11263 11284 11285 11286 11311 11321 11337 11339 11340 11342 11343 11348 11351 11352 11353 11354 11363 11364 11365 11366 11367 11381 11412 11413 11414 11415 11416 11428 11429 11430 11431 11434 11451 11452 11453 11454 11455 11461 11462 11463 11465 11477 11478 11481 11482 11483 11484 11487 11488 11489 11490 11491 11492 11493 11494 11496 11516 11517 11519 11529 11544 11545 11546 11547 11549 11550 11552 11553 11554 11557 11585 11586 11589 11591 11592 11594 11595 11596 11605 11612 11614 11615 11617 11618 11619 11620 11621 11622 11623 11624 11625 11626 11632 11633 11634 11635 11636 11637 11638 11639 11640 11641 11642 11643 11644 11645 11647 11648 11649 11658 11665 11666 11667 11668 11669 11670 11671 11672 11673 11674 11685 11686 11687 11688 11689 11690 11691 11692 11693 11694 11695 11696 11700 11701 11703 11704 11705 11706 11707 11708 11709 11710 11711 11712 11713 11714 11715 11716 11717 11718 11719 11720 11721 11723 11724 11725 11726 11727 11728 11729 11730 11731 11732 11734 11735 11736 11741 11742 11743 11744 11748 11749 11754 11755 11756 11757 11760 11764 11765 11768 11769 11770 11771 11773 11774 11775 11776 11777 11778 11779 11780 11781 11783 11794 11795 11804 11805 11806 11807 11810 11811 11812 11821 11822 11823 11825 11923 11953 11977 11980 11981 11988 11989 11990 11991 11992 11995 11998 12016 12017 12018 12019 12020 12021 12023 12024 12025 12026 12027 12028 12034 12035 12036 12037 12038 12039 12040 12041 12042 12043 12044 12054 12055 12060 12061 12062 12063 12065 12066 12067 12071 12072 12074 12075 12076 12078 12079 12080 12089 12093 12094 12097 12098 12099 12101 12105 12109 12110 12111 12112 12113 12114 12116 12123 12124 12125 12126 12128 12131 12132 12135 12145 12146 12147 12148 12149 12160 12164 12165 12172 12173 12174 12175 12176 12177 12182 12184 12185 12186 12187 12188 12189 12190 12192 12196 12197 12198 12199 12200 12201 12202 12205 12206 12211 12212 12220 12221 12222 12223 12224 12225 12226 12227 12228 12229 12230 12238 12239 12240 12241 12242 12243 12244 12245 12246 12247 12250 12251 12252 12257 12259 12260 12261 12262 12272 12273 12278 12280 12281 12282 12291 12292 12293 12327 12328 12329 12331 12332 12333 12335 12341 12342 12345 12346 12358 12359 12360 12363 12364 12370 12371 12375 12376 12377 12378 12379 12380 12381 12382 12386 12387 12403 12404 12414 12415 12416 12417 12418 12419 12420 12421 12422 12423 12424 12425 12426 12427 12428 12429 12432 12433 12434 12437 12441 12442 12450 12452 12457 12458 12459 12460 12461 12462 12463 12464 12465 12466 12467 12477 12478 12481 12482 12483 12484 12485 12487 12488 12489 12490 12491 12492 12493 12494 12495 12496 12497 12499 12501 12502 12503 12504 12505 12507 12508 12509 12510 12511 12514 12515 12516 12517 12519 12521 12522 12523 12524 12525 12528 12529 12530 12531 12533 12534 12535 12536 12537 12538 12539 12542 12543 12544 12545 12546 12547 12548 12549 12550 12551 12552 12553 12554 12555 12556 12557 12559 12560 12561 12562 12563 12565 12566 12567 12568 12569 12570 12571 12572 12573 12574 12576 12578 12579 12581 12582 12584 12586 12587 12589 12613 12614 12615 12616 12619 12620 12621 12627 12628 12629 12630 12631 12639 12640 12647 12681 12682 12683 12684 12685 12686 12687 12688 12694 12695 12696 12697 12698 12699 12700 12731 12747 12749 12750 12752 12753 12754 12883 12912 12915 12916 12917 12918 12919 12922 12923 12924 12931 12953 12981 12982 12983 12984 12985 12986 12987 12988 12989 12990 12992 12994 12995 12996 12997 12998 13004 13005 13006 13008 13009 13010 13011 13015 13035 13036 13037 13038 13039 13044 13045 13046 13047 13049 13052 13053 13056 13057 13058 13059 13062 13063 13064 13065 13073 13074 13075 13085 13086 13087 13088 13089 13092 13093 13094 13095 13096 13100 13101 13102 13103 13104 13105 13108 13114 13119 13120 13121 13122 13123 13126 13127 13128 13129 13130 13131 13132 13133 13134 13135 13136 13137 13138 13139 13141 13142 13143 13144 13145 13146 13147 13148 13149 13151 13153 13154 13155 13157 13158 13159 13160 13162 13163 13164 13165 13168 13169 13172 13174 13175 13176 13178 13179 13180 13186 13187 13188 13190 13191 13192 13193 13194 13195 13196 13197 13200 13201 13203 13209 13210 13219 13220 13245 13246 13248 13249 13250 13251 13257 13268 13270 13271 13275 13277 13278 13279 13280 13281 13304 13305 13306 13307 13308 13309 13310 13337 13338 13339 13344 13362 13363 13366 13367 13369 13384 13385 13386 13388 13400 13401 13402 13405 13406 13407 13408 13413 13416 13417 13418 13419 13420 13433 13436 13437 13438 13439 13444 13445 13446 13448 13449 13453 13455 13463 13468 13469 13470 13471 13472 13473 13474 13476 13478 13479 13480 13486 13487 13488 13490 13494 13497 13498 13499 13511 13525 13526 13527 13528 13530 13532 13533 13534 13535 13536 13538 13539 13540 13543 13544 13545 13548 13549 13550 13551 13554 13555 13556 13559 13560 13561 13563 13565 13566 13567 13570 13571 13573 13574 13577 13578 13579 13580 13581 13582 13583 13584 13586 13587 13588 13591 13592 13595 13597 13598 13599 13602 13603 13604 13606 13608 13611 13612 13615 13616 13620 13621 13627 13628 13631 13632 13633 13634 13635 13636 13639 13640 13642 13647 13648 13649 13650 13651 13652 13653 13654 13681 13682 13684 13705 13706 13707 13732 13742 13758 13760 13761 13763 13764 13769 13772 13773 13774 13775 13784 13785 13786 13787 13788 13802 13828 13829 13830 13831 13832 13833 13834 13835 13836 13837 13839 13841 13842 13843 13849 13850 13851 13852 13855 13859 13872 13873 13874 13875 13876 13881 13882 13883 13884 13886 13898 13899 13902 13903 13904 13905 13908 13909 13910 13911 13912 13913 13914 13915 13917 13920 13921 13922 13923 13924 13937 13938 13940 13950 13951 13959 13962 13963 13964 13965 13966 13967 13968 13970 13971 13973 13974 13975 13978 13980 13981 13982 14006 14007 14010 14012 14013 14015 14016 14017 14021 14022 14023 14026 14033 14035 14036 14038 14039 14040 14041 14042 14043 14044 14045 14046 14047 14053 14054 14055 14056 14057 14058 14059 14060 14061 14062 14063 14064 14065 14066 14068 14069 14070 14078 14079 14080 14086 14087 14088 14089 14090 14091 14092 14093 14094 14095 14096 14097 14098 14099 14100 14102 14103 14104 14105 14106 14107 14108 14109 14110 14111 14112 14113 14114 14115 14116 14117 14121 14122 14124 14125 14126 14127 14128 14129 14130 14131 14132 14133 14134 14135 14136 14137 14138 14139 14140 14141 14142 14144 14145 14146 14147 14148 14149 14150 14151 14152 14153 14155 14156 14157 14158 14159 14160 14161 14162 14163 14164 14165 14169 14170 14175 14176 14177 14178 14181 14184 14185 14186 14189 14190 14191 14192 14194 14195 14196 14197 14198 14199 14200 14201 14202 14204 14215 14216 14225 14226 14227 14228 14231 14243 14244 14245 14246 14247 14248 14249 14344 14374 14396 14398 14401 14402 14409 14410 14411 14412 14413 14416 14419 14437 14438 14439 14440 14441 14442 14443 14444 14445 14446 14447 14448 14449 14455 14456 14457 14458 14459 14460 14461 14462 14463 14464 14465 14475 14476 14481 14482 14483 14484 14486 14487 14488 14492 14493 14495 14496 14497 14499 14500 14501 14508 14509 14510 14514 14515 14518 14519 14520 14522 14526 14530 14531 14532 14533 14534 14535 14537 14544 14545 14546 14547 14549 14552 14553 14556 14569 14570 14571 14572 14573 14574 14579 14581 14585 14586 14593 14594 14595 14596 14597 14598 14603 14605 14606 14607 14608 14609 14610 14611 14612 14613 14617 14618 14619 14620 14621 14622 14623 14626 14627 14632 14633 14641 14642 14643 14644 14645 14646 14647 14648 14649 14650 14651 14659 14660 14661 14662 14663 14664 14665 14666 14667 14668 14669 14670 14671 14672 14673 14675 14676 14677 14678 14679 14680 14681 14682 14683 14693 14694 14699 14701 14702 14703 14707 14712 14713 14714 14717 14727 14728 14739 14740 14741 14742 14744 14745 14748 14749 14750 14752 14753 14754 14756 14762 14763 14766 14767 14779 14780 14781 14784 14785 14786 14787 14788 14789 14790 14791 14792 14796 14797 14798 14799 14800 14801 14802 14803 14807 14808 14818 14819 14822 14823 14824 14825 14835 14836 14837 14838 14839 14840 14841 14842 14843 14844 14845 14846 14847 14848 14849 14850 14852 14853 14854 14855 14860 14861 14863 14864 14865 14866 14867 14870 14871 14872 14873 14874 14875 14876 14878 14879 14880 14881 14882 14883 14884 14885 14886 14887 14888 14889 14890 14891 14892 14893 14894 14895 14896 14897 14898 14899 14902 14903 14904 14905 14906 14908 14909 14910 14911 14912 14913 14914 14915 14916 14917 14918 14920 14922 14923 14924 14930 14935 14940 14942 14943 14944 14945 14946 14949 14950 14951 14952 14954 14955 14956 14957 14958 14959 14960 14963 14964 14965 14966 14967 14968 14969 14970 14971 14972 14973 14974 14975 14976 14977 14978 14980 14981 14982 14983 14984 14986 14987 14988 14989 14990 14991 14992 14993 14994 14995 15005 15007 15008 15041 15042 15048 15049 15050 15051 15060 15061 15102 15103 15104 15105 15106 15107 15108 15109 15115 15116 15117 15118 15119 15120 15121 15152 15173 15174 15304 15333 15336 15337 15338 15339 15374 15425 15426 15427 15429 15430 15431 15432 15473 15474 15477 15478 15479 15480 15483 15484 15486 15529 15550 15551 15559 15560 15562 15563 15564 15565 15580 15581 15583 15584 15585 15586 15599 15600 15601 15607 15608 15609 15666 15667 15669 15670 15671 15672 15689 15691 15692 15698 15699 15700 15701 15702 15728 15729 15730 15731 15765 15783 15784 15787 15788 15809 15821 15822 15823 15826 15827 15828 15829 15834 15837 15838 15839 15840 15841 15874 15907 15908 15909 15911 15964 15965 15966 15969 15970 15971 15972 15975 15976 15977 15991 15992 16009 16027 16029 16032 16033 16048 16049 16060 16061 16063 16068 16069 16070 16071 16072 16073 16074 16075 16102 16103 16105 16126 16127 16128 16153 16163 16184 16185 16190 16193 16194 16195 16196 16223 16270 16271 16272 16273 16276 16319 16320 16323 16324 16325 16326 16329 16330 16331 16332 16333 16358 16359 16361 16371 16391 16392 16433 16434 16436 16437 16438 16456 16457 16459 16460 16461 16462 16463 16464 16465 16466 16467 16468 16469 16471 16472 16473 16474 16475 16476 16477 16478 16479 16480 16481 16482 16483 16484 16485 16486 16487 16489 16490 16491 16499 16500 16501 16507 16508 16509 16510 16511 16512 16513 16514 16515 16516 16517 16518 16519 16520 16521 16522 16523 16524 16525 16526 16527 16528 16529 16530 16531 16532 16533 16534 16535 16536 16537 16538 16542 16543 16545 16546 16547 16548 16549 16550 16551 16552 16553 16554 16555 16556 16557 16558 16559 16560 16561 16562 16563 16565 16566 16567 16568 16569 16570 16571 16572 16573 16574 16576 16577 16578 16579 16580 16581 16582 16583 16584 16585 16586 16590 16591 16596 16597 16598 16599 16602 16606 16607 16610 16611 16612 16613 16616 16617 16618 16619 16620 16621 16622 16623 16625 16636 16637 16646 16647 16648 16649 16652 16653 16654 16663 16664 16665 16666 16667 16668 16669 16670 16765 16795 16817 16819 16822 16823 16830 16831 16832 16833 16834 16837 16840 16861 16864 16865 16866 16867 16868 16869 16870 16876 16877 16881 16883 16884 16885 16886 16896 16897 16902 16903 16904 16905 16907 16908 16909 16913 16914 16916 16917 16918 16920 16921 16922 16927 16928 16929 16930 16931 16935 16936 16939 16940 16941 16943 16947 16951 16952 16953 16954 16955 16956 16958 16965 16966 16967 16968 16970 16973 16974 16977 16987 16988 16989 16990 16991 16992 16993 16994 16995 17000 17002 17006 17007 17014 17015 17016 17017 17018 17019 17024 17026 17027 17033 17034 17038 17039 17040 17041 17042 17043 17044 17047 17048 17053 17054 17062 17063 17064 17070 17071 17072 17080 17081 17082 17083 17084 17085 17086 17087 17088 17089 17090 17092 17093 17094 17096 17097 17098 17099 17100 17101 17102 17103 17122 17123 17124 17128 17133 17134 17135 17138 17148 17149 17160 17161 17162 17163 17165 17166 17169 17170 17171 17173 17174 17175 17177 17183 17184 17187 17188 17200 17201 17202 17205 17206 17207 17208 17209 17210 17211 17213 17217 17218 17219 17220 17221 17222 17223 17224 17228 17229 17238 17239 17240 17241 17242 17243 17244 17245 17246 17256 17257 17258 17259 17260 17261 17262 17263 17264 17265 17266 17267 17268 17269 17270 17271 17273 17274 17275 17276 17281 17282 17284 17299 17300 17301 17302 17303 17304 17305 17306 17307 17308 17319 17339 17341 17344 17345 17346 17347 17348 17351 17352 17353 17356 17358 17359 17364 17365 17366 17367 17370 17371 17372 17373 17375 17376 17377 17378 17379 17380 17381 17384 17385 17386 17387 17388 17389 17415 17416 17420 17421 17423 17424 17426 17428 17429 17431 17461 17462 17463 17469 17470 17471 17472 17481 17482 17523 17524 17525 17526 17527 17528 17529 17530 17536 17537 17538 17539 17540 17541 17542 17573 17586 17587 17588 17589 17591 17592 17594 17595 17596 17725 17754 17757 17758 17759 17760 17765 17766 17773 17776 17778 17780 17781 17795 17811 17812 17820 17825 17826 17827 17830 17831 17832 17834 17836 17837 17840 17846 17847 17848 17850 17851 17852 17853 17857 17879 17880 17881 17886 17888 17889 17891 17894 17895 17898 17899 17900 17901 17904 17905 17906 17907 17929 17930 17931 17934 17935 17936 17937 17938 17944 17947 17950 17956 17961 17963 17964 17965 17971 17972 17980 17981 17983 17984 17985 17986 17990 17991 17993 17995 17996 17997 18001 18002 18004 18005 18006 18007 18010 18011 18014 18016 18017 18018 18020 18021 18022 18028 18029 18030 18032 18033 18042 18062 18087 18088 18090 18091 18092 18093 18110 18112 18113 18117 18119 18120 18121 18122 18123 18146 18147 18148 18149 18150 18151 18152 18159 18160 18161 18166 18179 18180 18181 18184 18186 18187 18189 18190 18204 18205 18208 18209 18211 18213 18214 18223 18228 18230 18242 18243 18244 18247 18248 18249 18250 18255 18258 18259 18260 18261 18262 18279 18280 18281 18286 18287 18288 18290 18291 18295 18297 18305 18310 18311 18312 18314 18315 18316 18318 18320 18321 18322 18328 18329 18330 18332 18336 18340 18341 18353 18367 18369 18370 18372 18385 18386 18387 18390 18391 18392 18393 18396 18397 18398 18402 18403 18405 18407 18408 18409 18412 18413 18430 18433 18434 18437 18439 18440 18441 18444 18445 18446 18448 18450 18453 18454 18457 18458 18463 18469 18470 18481 18482 18484 18489 18490 18491 18492 18493 18494 18495 18496 18523 18524 18526 18547 18548 18549 18574 18584 18592 18593 18594 18599 18600 18602 18603 18605 18606 18611 18614 18615 18616 18617 18622 18623 18625 18628 18629 18630 18644 18658 18659 18667 18672 18673 18674 18677 18678 18679 18681 18683 18684 18685 18691 18692 18693 18694 18697 18701 18716 18717 18718 18723 18725 18726 18728 18740 18741 18744 18745 18746 18747 18750 18751 18752 18753 18754 18756 18757 18759 18762 18763 18764 18765 18766 18779 18780 18782 18792 18793 18801 18806 18808 18809 18810 18812 18813 18816 18817 18820 18822 18823 18824 18848 18849 18852 18854 18855 18857 18858 18859 18863 18864 18865 18877 18878 18880 18881 18882 18883 18884 18885 18886 18887 18888 18889 18890 18892 18893 18894 18895 18896 18897 18898 18899 18900 18901 18902 18903 18904 18905 18906 18907 18908 18910 18911 18912 18920 18921 18922 18928 18929 18930 18931 18932 18933 18934 18935 18936 18937 18938 18939 18940 18941 18942 18944 18945 18946 18947 18948 18949 18950 18951 18952 18953 18954 18955 18956 18957 18958 18959 18963 18964 18966 18967 18968 18969 18970 18971 18972 18973 18974 18975 18976 18977 18978 18979 18980 18981 18982 18983 18984 18985 18986 18987 18988 18989 18990 18991 18992 18993 18994 18995 18996 18997 18998 18999 19000 19001 19002 19003 19004 19005 19006 19007 19011 19012 19017 19018 19019 19020 19023 19026 19027 19028 19031 19032 19033 19034 19036 19037 19038 19039 19040 19041 19042 19043 19044 19046 19057 19058 19067 19068 19069 19070 19073 19074 19075 19084 19085 19086 19087 19088 19089 19090 19091 19186 19216 19238 19240 19243 19244 19251 19252 19253 19254 19255 19258 19261 19282 19285 19286 19287 19288 19289 19290 19291 19297 19298 19302 19303 19304 19305 19306 19307 19317 19318 19323 19324 19325 19326 19328 19329 19330 19334 19335 19337 19338 19339 19341 19342 19343 19348 19349 19350 19351 19352 19356 19357 19360 19361 19362 19364 19368 19372 19373 19374 19375 19376 19377 19379 19386 19387 19388 19389 19391 19394 19395 19398 19408 19409 19410 19411 19412 19413 19414 19415 19416 19421 19423 19427 19428 19435 19436 19437 19438 19439 19440 19445 19447 19448 19454 19455 19459 19460 19461 19462 19463 19464 19465 19468 19469 19474 19475 19483 19484 19485 19491 19492 19493 19501 19502 19503 19504 19505 19506 19507 19508 19509 19510 19511 19513 19514 19515 19517 19518 19519 19520 19521 19522 19523 19524 19543 19544 19545 19549 19554 19555 19556 19559 19569 19570 19581 19582 19583 19584 19586 19587 19590 19591 19592 19594 19595 19596 19598 19604 19605 19608 19609 19621 19622 19623 19626 19627 19628 19629 19630 19631 19632 19634 19638 19639 19640 19641 19642 19643 19644 19645 19649 19650 19659 19660 19661 19662 19663 19664 19665 19666 19667 19677 19678 19679 19680 19681 19682 19683 19684 19685 19686 19687 19688 19689 19690 19691 19692 19694 19695 19696 19697 19702 19703 19705 19713 19715 19720 19721 19722 19723 19724 19725 19726 19727 19728 19729 19730 19731 19732 19733 19734 19735 19736 19737 19738 19739 19740 19741 19744 19745 19746 19747 19748 19750 19751 19752 19753 19754 19755 19756 19757 19758 19759 19760 19762 19764 19765 19766 19767 19768 19770 19771 19772 19773 19774 19777 19778 19779 19780 19782 19783 19784 19785 19786 19787 19788 19789 19790 19791 19792 19793 19794 19796 19797 19798 19799 19800 19801 19802 19803 19804 19805 19806 19807 19808 19809 19810 19811 19812 19813 19814 19815 19816 19817 19818 19819 19821 19822 19823 19824 19825 19826 19827 19828 19829 19830 19831 19832 19833 19834 19835 19836 19837 19839 19841 19842 19844 19845 19847 19849 19850 19852 19876 19877 19882 19883 19884 19890 19891 19892 19893 19894 19902 19903 19944 19945 19946 19947 19948 19949 19950 19951 19957 19958 19959 19960 19961 19962 19963 19994 20007 20008 20009 20010 20012 20013 20015 20016 20017 20146 20175 20178 20179 20180 20181 20182 20185 20186 20187 20194 20197 20199 20201 20202 20216 20232 20233 20241 20246 20247 20248 20249 20250 20251 20252 20253 20255 20257 20258 20259 20260 20261 20267 20268 20269 20271 20272 20273 20274 20278 20298 20299 20300 20301 20302 20307 20308 20309 20310 20312 20315 20316 20319 20320 20321 20322 20325 20326 20327 20328 20349 20350 20351 20352 20355 20356 20357 20358 20359 20365 20368 20371 20377 20382 20383 20384 20385 20386 20392 20393 20401 20402 20404 20405 20406 20407 20410 20411 20412 20414 20416 20417 20418 20422 20423 20425 20426 20427 20428 20431 20432 20435 20437 20438 20439 20441 20442 20443 20449 20450 20451 20453 20454 20455 20456 20457 20458 20459 20460 20462 20463 20472 20473 20482 20483 20508 20509 20511 20512 20513 20514 20531 20533 20534 20538 20540 20541 20542 20543 20544 20567 20568 20569 20570 20571 20572 20573 20580 20581 20582 20587 20600 20601 20602 20605 20607 20608 20610 20611 20625 20626 20629 20630 20632 20634 20635 20644 20649 20651 20663 20664 20665 20668 20669 20670 20671 20676 20679 20680 20681 20682 20683 20696 20699 20700 20701 20702 20707 20708 20709 20711 20712 20716 20718 20726 20731 20732 20733 20734 20735 20736 20737 20739 20741 20742 20743 20749 20750 20751 20753 20757 20760 20761 20762 20774 20788 20789 20790 20791 20793 20806 20807 20808 20811 20812 20813 20814 20817 20818 20819 20822 20823 20824 20826 20828 20829 20830 20833 20834 20851 20854 20855 20858 20860 20861 20862 20865 20866 20867 20869 20871 20874 20875 20878 20879 20883 20884 20890 20891 20894 20895 20896 20897 20902 20903 20905 20910 20911 20912 20913 20914 20915 20916 20917 20944 20945 20947 20968 20969 20970 20995 21005 21013 21014 21015 21020 21021 21023 21024 21026 21027 21032 21035 21036 21037 21038 21043 21044 21046 21047 21048 21049 21050 21051 21065 21079 21080 21088 21093 21094 21095 21096 21097 21098 21099 21100 21102 21104 21105 21106 21112 21113 21114 21115 21118 21122 21135 21136 21137 21138 21139 21144 21145 21146 21147 21149 21161 21162 21165 21166 21167 21168 21171 21172 21173 21174 21175 21176 21177 21178 21180 21183 21184 21185 21186 21187 21200 21201 21203 21213 21214 21222 21227 21228 21229 21230 21231 21233 21234 21236 21237 21238 21241 21243 21244 21245 21269 21270 21273 21275 21276 21278 21279 21280 21284 21285 21286 21298 21299 21301 21302 21303 21304 21305 21306 21307 21308 21309 21310 21311 21313 21314 21315 21316 21317 21318 21319 21320 21321 21322 21323 21324 21325 21326 21327 21328 21329 21331 21332 21333 21341 21342 21343 21349 21350 21351 21352 21353 21354 21355 21356 21357 21358 21359 21360 21361 21362 21363 21365 21366 21367 21368 21369 21370 21371 21372 21373 21374 21375 21376 21377 21378 21379 21380 21384 21385 21387 21388 21389 21390 21391 21392 21393 21394 21395 21396 21397 21398 21399 21400 21401 21402 21403 21404 21405 21406 21407 21408 21409 21410 21411 21412 21413 21414 21415 21416 21417 21418 21419 21420 21421 21422 21423 21424 21425 21426 21427 21428 21432 21433 21438 21439 21440 21441 21444 21447 21448 21449 21450 21451 21452 21453 21454 21455 21457 21458 21459 21460 21461 21462 21463 21464 21465 21467 21478 21479 21488 21489 21490 21491 21494 21495 21496 21505 21506 21507 21508 21509 21510 21511 21512 21607 21637 21659 21661 21664 21665 21672 21673 21674 21675 21676 21679 21682 21700 21701 21702 21703 21704 21705 21706 21707 21708 21709 21710 21711 21712 21718 21719 21720 21721 21722 21723 21724 21725 21726 21727 21728 21738 21739 21744 21745 21746 21747 21749 21750 21751 21755 21756 21758 21759 21760 21761 21762 21763 21764 21769 21770 21771 21772 21773 21777 21778 21781 21782 21783 21785 21789 21793 21794 21795 21796 21797 21798 21800 21807 21808 21809 21810 21812 21815 21816 21819 21829 21830 21831 21832 21833 21834 21835 21836 21837 21842 21844 21848 21849 21856 21857 21858 21859 21860 21861 21866 21868 21869 21870 21871 21872 21873 21874 21875 21876 21880 21881 21882 21883 21884 21885 21886 21889 21890 21895 21896 21904 21905 21906 21907 21908 21909 21910 21911 21912 21913 21914 21922 21923 21924 21925 21926 21927 21928 21929 21930 21931 21932 21933 21934 21935 21936 21938 21941 21943 21944 21945 21946 21956 21957 21962 21964 21965 21966 21975 21976 21977 21990 21991 22002 22003 22004 22005 22007 22008 22011 22012 22013 22015 22016 22017 22019 22025 22026 22029 22030 22042 22043 22044 22047 22048 22054 22055 22059 22060 22061 22062 22063 22064 22065 22066 22070 22071 22087 22088 22098 22099 22100 22101 22102 22103 22104 22105 22106 22107 22108 22109 22110 22111 22112 22113 22115 22116 22117 22118 22121 22123 22124 22125 22126 22134 22136 22141 22142 22143 22144 22145 22146 22147 22148 22149 22150 22151 22152 22153 22154 22155 22156 22157 22158 22159 22160 22161 22162 22165 22166 22167 22168 22169 22171 22172 22173 22174 22175 22176 22177 22178 22179 22180 22181 22183 22185 22186 22187 22188 22189 22191 22192 22193 22194 22195 22198 22199 22200 22201 22203 22204 22205 22206 22207 22208 22209 22210 22211 22212 22213 22214 22215 22217 22218 22219 22220 22221 22222 22223 22224 22225 22226 22227 22228 22229 22230 22231 22232 22233 22234 22235 22236 22237 22238 22239 22240 22241 22242 22243 22244 22245 22246 22247 22248 22249 22250 22251 22252 22253 22254 22255 22256 22257 22258 22260 22262 22263 22265 22266 22268 22270 22271 22273 22297 22298 22299 22300 22303 22304 22305 22311 22312 22313 22314 22315 22323 22324 22365 22366 22367 22368 22369 22370 22371 22372 22378 22379 22380 22381 22382 22383 22384 22415 22431 22433 22434 22436 22437 22438 22567 22596 22599 22600 22601 22602 22603 22606 22607 22608 22615 22637 22665 22666 22667 22668 22669 22670 22671 22672 22673 22674 22676 22678 22679 22680 22681 22682 22688 22689 22690 22692 22693 22694 22695 22699 22719 22720 22721 22722 22723 22728 22729 22730 22731 22733 22736 22737 22740 22741 22742 22743 22746 22747 22748 22749 22770 22771 22772 22773 22776 22777 22778 22779 22780 22786 22789 22792 22798 22801 22802 22803 22804 22805 22806 22807 22813 22814 22822 22823 22825 22826 22827 22828 22831 22832 22833 22835 22837 22838 22839 22843 22844 22846 22847 22848 22849 22852 22853 22856 22858 22859 22860 22862 22863 22864 22870 22871 22872 22874 22875 22876 22877 22878 22879 22880 22881 22884 22885 22887 22893 22894 22903 22904 22929 22930 22932 22933 22934 22935 22952 22954 22955 22959 22961 22962 22963 22964 22965 22988 22989 22990 22991 22992 22993 22994 23021 23022 23023 23028 23046 23047 23050 23051 23053 23068 23069 23070 23072 23084 23085 23086 23089 23090 23091 23092 23097 23100 23101 23102 23103 23104 23117 23120 23121 23122 23123 23128 23129 23130 23132 23133 23137 23139 23147 23152 23153 23154 23155 23156 23157 23158 23160 23162 23163 23164 23170 23171 23172 23174 23176 23177 23178 23181 23182 23183 23195 23209 23210 23211 23212 23214 23227 23228 23229 23232 23233 23234 23235 23238 23239 23240 23243 23244 23245 23247 23249 23250 23251 23254 23255 23272 23275 23276 23279 23281 23282 23283 23286 23287 23288 23290 23292 23295 23296 23299 23300 23304 23305 23311 23312 23315 23316 23317 23318 23319 23320 23323 23324 23326 23331 23332 23333 23334 23335 23336 23337 23338 23365 23366 23368 23389 23390 23391 23416 23426 23442 23444 23445 23447 23448 23453 23456 23457 23458 23459 23468 23469 23470 23471 23472 23486 23512 23513 23514 23515 23516 23517 23518 23519 23520 23521 23523 23525 23526 23527 23533 23534 23535 23536 23539 23543 23556 23557 23558 23559 23560 23565 23566 23567 23568 23570 23582 23583 23586 23587 23588 23589 23592 23593 23594 23595 23596 23597 23598 23599 23601 23604 23605 23606 23607 23608 23621 23622 23624 23634 23635 23643 23646 23647 23648 23649 23650 23651 23652 23654 23655 23657 23658 23659 23662 23664 23665 23666 23690 23691 23694 23696 23697 23699 23700 23701 23705 23706 23707 23719 23720 23722 23723 23724 23725 23726 23727 23731 23732 23734 23735 23736 23737 23738 23739 23740 23741 23742 23743 23744 23745 23746 23747 23748 23749 23750 23752 23753 23754 23762 23763 23764 23770 23771 23772 23773 23774 23775 23776 23777 23778 23779 23780 23781 23782 23783 23784 23785 23786 23787 23788 23789 23790 23791 23792 23793 23794 23795 23796 23797 23798 23799 23800 23801 23805 23808 23809 23810 23811 23812 23813 23814 23815 23816 23817 23818 23819 23820 23821 23822 23823 23824 23825 23826 23827 23828 23829 23830 23831 23832 23833 23834 23835 23836 23837 23838 23839 23840 23841 23842 23843 23844 23845 23846 23847 23848 23849 23853 23854 23859 23860 23861 23862 23865 23868 23869 23870 23871 23872 23873 23874 23875 23876 23878 23879 23880 23881 23882 23883 23884 23885 23886 23888 23899 23900 23909 23910 23911 23912 23915 23916 23917 23926 23927 23928 23929 23930 23931 23932 23933 24028 24058 24080 24082 24085 24086 24093 24094 24095 24096 24097 24100 24103 24121 24122 24123 24124 24125 24126 24127 24128 24129 24130 24131 24132 24133 24139 24140 24141 24142 24143 24144 24145 24146 24147 24148 24149 24159 24160 24165 24166 24167 24168 24170 24171 24172 24176 24177 24179 24180 24181 24182 24183 24184 24185 24190 24191 24192 24193 24194 24198 24199 24202 24203 24204 24206 24210 24214 24215 24216 24217 24218 24219 24221 24228 24229 24230 24231 24233 24236 24237 24240 24250 24251 24252 24253 24254 24255 24256 24257 24258 24263 24265 24269 24270 24277 24278 24279 24280 24281 24282 24287 24289 24290 24291 24292 24293 24294 24295 24296 24297 24301 24302 24303 24304 24305 24306 24307 24310 24311 24316 24317 24325 24326 24327 24328 24329 24330 24331 24332 24333 24334 24335 24343 24344 24345 24346 24347 24348 24349 24350 24351 24352 24353 24354 24355 24356 24357 24359 24360 24361 24362 24363 24364 24365 24366 24385 24386 24387 24391 24396 24397 24398 24401 24411 24412 24423 24424 24425 24426 24428 24429 24432 24433 24434 24436 24437 24438 24440 24446 24447 24450 24451 24463 24464 24465 24468 24469 24474 24476 24477 24478 24479 24480 24481 24482 24483 24484 24485 24486 24487 24491 24492 24502 24503 24506 24507 24508 24509 24519 24520 24521 24522 24523 24524 24525 24526 24527 24528 24529 24530 24531 24532 24533 24534 24536 24537 24538 24539 24544 24545 24547 24555 24557 24562 24563 24564 24565 24566 24567 24568 24569 24570 24571 24572 24573 24574 24575 24576 24577 24578 24579 24580 24581 24582 24583 24586 24587 24588 24589 24590 24592 24593 24594 24595 24596 24597 24598 24599 24600 24601 24602 24604 24606 24607 24608 24609 24610 24612 24613 24614 24615 24616 24619 24620 24621 24622 24624 24625 24626 24627 24628 24629 24630 24631 24632 24633 24634 24635 24636 24638 24639 24640 24641 24642 24643 24644 24645 24646 24647 24648 24649 24650 24651 24652 24653 24654 24655 24656 24657 24658 24659 24660 24661 24662 24663 24664 24665 24666 24667 24668 24669 24670 24671 24672 24673 24674 24675 24676 24677 24678 24679 24681 24683 24684 24686 24687 24689 24691 24692 24694 24718 24719 24720 24721 24724 24725 24726 24732 24733 24734 24735 24736 24744 24745 24786 24787 24788 24789 24790 24791 24792 24793 24799 24800 24801 24802 24803 24804 24805 24836 24849 24850 24851 24852 24854 24855 24857 24858 24859 24988 25017 25020 25021 25022 25023 25024 25027 25028 25029 25036 25039 25041 25043 25044 25058 25074 25075 25083 25086 25087 25088 25089 25090 25091 25092 25093 25094 25095 25097 25099 25100 25101 25102 25103 25109 25110 25111 25113 25114 25115 25116 25120 25140 25141 25142 25143 25144 25149 25150 25151 25152 25154 25157 25158 25161 25162 25163 25164 25167 25168 25169 25170 25191 25192 25193 25194 25197 25198 25199 25200 25201 25207 25210 25213 25219 25222 25223 25224 25225 25226 25227 25228 25234 25235 25243 25244 25246 25247 25248 25249 25252 25253 25254 25256 25258 25259 25260 25264 25265 25267 25268 25269 25270 25273 25274 25277 25279 25280 25281 25283 25284 25285 25291 25292 25293 25295 25296 25297 25298 25299 25300 25301 25302 25304 25305 25306 25308 25314 25315 25324 25325 25350 25351 25353 25354 25355 25356 25373 25375 25376 25380 25382 25383 25384 25385 25386 25409 25410 25411 25412 25413 25414 25415 25422 25423 25424 25429 25442 25443 25444 25447 25449 25450 25452 25453 25467 25468 25471 25472 25474 25476 25477 25486 25489 25490 25491 25493 25505 25506 25507 25510 25511 25512 25513 25518 25521 25522 25523 25524 25525 25538 25541 25542 25543 25544 25549 25550 25551 25553 25554 25558 25560 25568 25573 25574 25575 25576 25577 25578 25579 25581 25583 25584 25585 25591 25592 25593 25595 25597 25598 25599 25602 25603 25604 25616 25630 25631 25632 25633 25635 25648 25649 25650 25653 25654 25655 25656 25659 25660 25661 25664 25665 25666 25668 25670 25671 25672 25675 25676 25693 25696 25697 25700 25702 25703 25704 25707 25708 25709 25711 25713 25716 25717 25720 25721 25725 25726 25732 25733 25736 25737 25738 25739 25740 25741 25744 25745 25747 25752 25753 25754 25755 25756 25757 25758 25759 25786 25787 25789 25810 25811 25812 25837 25847 25855 25856 25857 25862 25863 25865 25866 25868 25869 25874 25877 25878 25879 25880 25885 25886 25888 25889 25890 25891 25892 25893 25907 25921 25922 25930 25933 25934 25935 25936 25937 25938 25939 25940 25941 25942 25944 25946 25947 25948 25954 25955 25956 25957 25960 25964 25977 25978 25979 25980 25981 25986 25987 25988 25989 25991 26003 26004 26007 26008 26009 26010 26013 26014 26015 26016 26017 26018 26019 26020 26022 26025 26026 26027 26028 26029 26042 26043 26045 26055 26056 26064 26067 26068 26069 26070 26071 26072 26073 26075 26076 26078 26079 26080 26083 26085 26086 26087 26111 26112 26115 26117 26118 26120 26121 26122 26126 26127 26128 26131 26138 26140 26141 26143 26144 26145 26146 26147 26148 26149 26150 26151 26152 26158 26159 26160 26161 26162 26163 26164 26165 26166 26167 26168 26169 26170 26171 26173 26174 26175 26183 26184 26185 26191 26192 26193 26194 26195 26196 26197 26198 26199 26200 26201 26202 26203 26204 26205 26207 26208 26209 26210 26211 26212 26213 26214 26215 26216 26217 26218 26219 26220 26221 26222 26226 26227 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 26274 26275 26280 26281 26282 26283 26286 26289 26290 26291 26292 26293 26294 26295 26296 26297 26299 26300 26301 26302 26303 26304 26305 26306 26307 26309 26320 26321 26330 26331 26332 26333 26336 26337 26338 26347 26348 26349 26350 26351 26352 26353 26354 26449 26479 26501 26503 26506 26507 26514 26515 26516 26517 26518 26521 26523 26524 26542 26543 26544 26545 26546 26547 26548 26549 26550 26551 26552 26553 26554 26560 26561 26562 26563 26564 26565 26566 26567 26568 26569 26570 26580 26581 26586 26587 26588 26589 26591 26592 26593 26597 26598 26600 26601 26602 26603 26604 26605 26606 26608 26611 26612 26613 26614 26615 26619 26620 26623 26624 26625 26627 26631 26635 26636 26637 26638 26639 26640 26642 26649 26650 26651 26652 26654 26657 26658 26661 26671 26672 26673 26674 26675 26676 26677 26678 26679 26684 26686 26690 26691 26698 26699 26700 26701 26702 26703 26708 26710 26711 26712 26713 26714 26715 26716 26717 26718 26719 26720 26721 26722 26723 26724 26725 26726 26727 26728 26731 26732 26737 26738 26746 26747 26748 26749 26750 26751 26752 26753 26754 26755 26756 26764 26765 26766 26767 26768 26769 26770 26771 26772 26773 26774 26775 26776 26777 26778 26780 26781 26782 26784 26785 26786 26787 26806 26807 26808 26812 26817 26818 26819 26822 26832 26833 26844 26845 26846 26847 26849 26850 26853 26854 26855 26857 26858 26859 26861 26867 26868 26871 26872 26884 26885 26886 26889 26890 26895 26897 26898 26899 26900 26901 26902 26903 26904 26905 26906 26907 26908 26912 26913 26923 26924 26927 26928 26929 26930 26940 26941 26942 26943 26944 26945 26946 26947 26948 26949 26950 26951 26952 26953 26954 26955 26957 26958 26959 26960 26961 26962 26964 26965 26966 26968 26976 26978 26983 26984 26985 26986 26987 26988 26989 26990 26991 26992 26993 26994 26995 26996 26997 26998 26999 27000 27001 27002 27003 27004 27007 27008 27009 27010 27011 27013 27014 27015 27016 27017 27018 27019 27020 27021 27022 27023 27025 27027 27028 27029 27030 27031 27033 27034 27035 27036 27037 27040 27041 27042 27043 27045 27046 27047 27048 27049 27050 27051 27052 27053 27054 27055 27056 27057 27059 27060 27061 27062 27063 27064 27065 27066 27067 27068 27069 27070 27071 27072 27073 27074 27075 27076 27077 27078 27079 27080 27081 27082 27083 27084 27085 27086 27087 27088 27089 27090 27091 27092 27093 27094 27095 27096 27097 27098 27099 27100 27102 27104 27105 27107 27108 27110 27112 27113 27115 27139 27140 27141 27142 27145 27146 27147 27153 27154 27155 27156 27157 27165 27166 27207 27208 27209 27210 27211 27212 27213 27214 27220 27221 27222 27223 27224 27225 27226 27257 27273 27275 27276 27278 27279 27280 27409 27438 27441 27442 27443 27444 27445 27448 27449 27450 27457 27479 27507 27508 27509 27510 27511 27512 27513 27514 27515 27516 27518 27520 27521 27522 27523 27524 27530 27531 27532 27534 27535 27536 27537 27541 27561 27562 27563 27564 27565 27570 27571 27572 27573 27575 27578 27579 27582 27583 27584 27585 27588 27589 27590 27591 27612 27613 27614 27615 27618 27619 27620 27621 27622 27628 27631 27634 27640 27643 27644 27645 27646 27647 27648 27649 27655 27656 27664 27665 27667 27668 27669 27670 27673 27674 27675 27677 27679 27680 27681 27685 27686 27688 27689 27690 27691 27694 27695 27698 27700 27701 27702 27704 27705 27706 27712 27713 27714 27716 27717 27718 27719 27720 27721 27722 27723 27725 27726 27727 27729 27735 27736 27745 27746 27771 27772 27774 27775 27776 27777 27794 27796 27797 27801 27803 27804 27805 27806 27807 27830 27831 27832 27833 27834 27835 27836 27843 27844 27845 27850 27863 27864 27865 27868 27870 27871 27873 27874 27888 27889 27892 27893 27895 27897 27898 27907 27910 27911 27912 27914 27926 27927 27928 27931 27932 27933 27934 27939 27942 27943 27944 27945 27946 27959 27962 27963 27964 27965 27970 27971 27972 27974 27975 27979 27981 27989 27994 27995 27996 27997 27998 27999 28000 28002 28004 28005 28006 28012 28013 28014 28016 28018 28019 28020 28023 28024 28025 28037 28051 28052 28053 28054 28056 28069 28070 28071 28074 28075 28076 28077 28080 28081 28082 28085 28086 28087 28089 28091 28092 28093 28096 28097 28114 28117 28118 28121 28123 28124 28125 28128 28129 28130 28132 28134 28137 28138 28141 28142 28146 28147 28153 28154 28157 28158 28159 28160 28161 28162 28165 28166 28168 28173 28174 28175 28176 28177 28178 28179 28180 28207 28208 28210 28231 28232 28233 28258 28268 28284 28286 28287 28289 28290 28295 28298 28299 28300 28301 28310 28311 28312 28313 28314 28328 28354 28355 28356 28357 28358 28359 28360 28361 28362 28363 28365 28367 28368 28369 28375 28376 28377 28378 28381 28385 28398 28399 28400 28401 28402 28407 28408 28409 28410 28412 28424 28425 28428 28429 28430 28431 28434 28435 28436 28437 28438 28439 28440 28441 28443 28446 28447 28448 28449 28450 28463 28464 28466 28476 28477 28485 28488 28489 28490 28491 28492 28493 28494 28496 28497 28499 28500 28501 28504 28506 28507 28508 28532 28533 28536 28538 28539 28541 28542 28543 28547 28548 28549 28552 28559 28561 28562 28564 28565 28566 28567 28568 28569 28570 28571 28572 28573 28579 28580 28581 28582 28583 28584 28585 28586 28587 28588 28589 28590 28591 28592 28594 28595 28596 28604 28605 28606 28612 28613 28614 28615 28616 28617 28618 28619 28620 28621 28623 28624 28625 28626 28627 28628 28629 28630 28631 28632 28633 28634 28635 28636 28637 28638 28639 28640 28641 28642 28643 28647 28648 28650 28651 28652 28653 28654 28655 28656 28657 28658 28659 28660 28661 28662 28663 28664 28665 28666 28667 28668 28669 28670 28671 28672 28673 28674 28675 28676 28677 28678 28679 28680 28681 28682 28683 28684 28685 28686 28687 28688 28689 28690 28691 28695 28696 28701 28702 28703 28704 28707 28710 28711 28712 28713 28714 28715 28716 28717 28718 28720 28721 28722 28723 28724 28725 28726 28727 28728 28730 28741 28742 28751 28752 28753 28754 28757 28758 28759 28768 28769 28770 28771 28772 28773 28774 28775 28870 28900 28922 28924 28927 28928 28935 28936 28937 28938 28939 28942 28944 28945 28963 28964 28965 28966 28967 28968 28969 28970 28971 28972 28973 28974 28975 28981 28982 28983 28984 28985 28986 28987 28988 28989 28990 28991 29001 29002 29007 29008 29009 29010 29012 29013 29014 29018 29019 29021 29022 29023 29024 29025 29026 29027 29032 29033 29034 29035 29036 29040 29041 29044 29045 29046 29048 29052 29056 29057 29058 29059 29060 29061 29063 29070 29071 29072 29073 29075 29078 29079 29082 29092 29093 29094 29095 29096 29097 29098 29099 29100 29105 29107 29111 29112 29119 29120 29121 29122 29123 29124 29129 29131 29132 29133 29134 29135 29136 29137 29138 29139 29140 29141 29142 29143 29144 29145 29146 29147 29148 29149 29152 29153 29158 29159 29167 29168 29169 29170 29171 29172 29173 29174 29175 29176 29177 29185 29186 29187 29188 29189 29190 29191 29192 29193 29194 29195 29196 29197 29198 29199 29201 29202 29203 29204 29205 29206 29207 29208 29227 29228 29229 29233 29238 29239 29240 29243 29253 29254 29265 29266 29267 29268 29270 29271 29274 29275 29276 29278 29279 29280 29282 29288 29289 29292 29293 29305 29306 29307 29333 29334 29344 29345 29348 29349 29350 29351 29361 29362 29363 29364 29365 29366 29367 29368 29369 29370 29371 29375 29376 29378 29379 29380 29381 29384 29386 29387 29388 29389 29397 29399 29404 29405 29406 29407 29408 29409 29410 29411 29412 29413 29414 29415 29416 29417 29418 29419 29420 29421 29422 29423 29424 29425 29428 29429 29430 29431 29432 29434 29435 29436 29437 29438 29439 29440 29441 29442 29443 29444 29446 29448 29449 29450 29451 29452 29454 29455 29456 29457 29458 29461 29462 29463 29464 29466 29467 29468 29469 29470 29471 29472 29473 29474 29475 29476 29477 29478 29480 29481 29482 29483 29484 29485 29486 29487 29488 29489 29490 29491 29492 29493 29494 29495 29496 29497 29498 29499 29500 29501 29502 29503 29504 29505 29506 29507 29508 29509 29510 29511 29512 29513 29514 29515 29516 29517 29518 29519 29520 29521 29523 29524 29525 29526 29527 29528 29529 29531 29533 29534 29536 29537 29538 29566 29567 29568 29574 29575 29576 29577 29586 29587 29628 29629 29630 29631 29632 29633 29634 29635 29641 29642 29643 29644 29645 29646 29647 29678 29694 29696 29697 29699 29700 29701 29830 29859 29862 29863 29864 29865 29870 29871 29878 29900 29901 29912 29932 29935 29936 29937 29939 29940 29941 29942 29943 29944 29945 29951 29952 29953 29955 29956 29957 29958 29962 29982 29983 29984 29985 29986 29991 29993 29994 29996 29999 30000 30003 30004 30005 30006 30009 30010 30011 30012 30034 30035 30036 30039 30040 30041 30042 30043 30049 30052 30055 30061 30066 30068 30069 30070 30076 30077 30085 30086 30088 30089 30090 30091 30095 30096 30098 30100 30101 30102 30106 30107 30109 30110 30111 30112 30115 30116 30119 30121 30122 30123 30125 30126 30127 30132 30133 30134 30135 30137 30138 30146 30147 30167 30192 30193 30195 30196 30197 30198 30215 30217 30218 30222 30224 30225 30226 30227 30228 30251 30252 30253 30254 30255 30256 30257 30264 30265 30266 30271 30284 30285 30286 30289 30291 30292 30294 30295 30309 30310 30313 30314 30316 30318 30319 30328 30333 30335 30347 30348 30349 30352 30353 30354 30355 30360 30361 30362 30363 30364 30365 30366 30367 30380 30383 30384 30385 30386 30391 30392 30393 30395 30396 30400 30402 30410 30415 30416 30417 30419 30420 30421 30423 30425 30426 30427 30433 30434 30435 30437 30441 30445 30446 30458 30472 30474 30475 30477 30490 30491 30492 30495 30496 30497 30498 30501 30502 30503 30507 30508 30510 30512 30513 30514 30517 30518 30535 30538 30539 30542 30544 30545 30546 30549 30550 30551 30553 30555 30558 30559 30561 30562 30563 30564 30565 30567 30568 30574 30575 30577 30586 30587 30589 30594 30595 30596 30597 30598 30599 30600 30601 30628 30629 30631 30652 30653 30654 30679 30689 30705 30707 30708 30710 30711 30716 30719 30720 30721 30722 30733 30734 30735 30749 30750 30761 30779 30782 30783 30784 30786 30787 30788 30789 30790 30796 30797 30798 30799 30802 30806 30819 30820 30821 30822 30823 30828 30830 30831 30833 30845 30846 30849 30850 30851 30852 30855 30856 30857 30858 30859 30861 30862 30864 30867 30868 30869 30870 30871 30884 30885 30887 30897 30898 30906 30911 30913 30914 30915 30917 30918 30921 30922 30925 30927 30928 30929 30953 30954 30957 30959 30960 30962 30963 30964 30968 30969 30970 30973 30980 30982 30983 30985 30986 30987 30988 30989 30990 30991 30992 30993 30994 30995 30997 30998 30999 31000 31001 31002 31003 31004 31005 31006 31007 31008 31009 31010 31011 31012 31013 31015 31016 31017 31025 31026 31027 31033 31034 31035 31036 31037 31038 31039 31040 31041 31042 31044 31045 31046 31047 31048 31049 31050 31051 31052 31053 31054 31055 31056 31057 31058 31059 31060 31061 31062 31063 31064 31068 31069 31071 31072 31073 31074 31075 31076 31077 31078 31079 31080 31081 31082 31083 31084 31085 31086 31087 31088 31089 31090 31091 31092 31093 31094 31095 31096 31097 31098 31099 31100 31101 31102 31103 31104 31105 31106 31107 31108 31109 31110 31111 31112 31116 31117 31120 31121 31122 31123 31124 31125 31128 31131 31132 31133 31134 31135 31136 31137 31138 31139 31141 31142 31143 31144 31145 31146 31147 31148 31149 31151 31162 31163 31172 31173 31174 31175 31178 31179 31180 31189 31190 31191 31291 31321 31345 31348 31349 31356 31357 31358 31359 31360 31363 31365 31366 31384 31385 31386 31387 31388 31389 31391 31392 31393 31394 31395 31396 31402 31403 31404 31405 31406 31407 31408 31409 31410 31411 31412 31422 31423 31428 31429 31430 31431 31433 31434 31435 31439 31440 31442 31443 31444 31445 31446 31447 31448 31453 31454 31455 31456 31457 31461 31462 31465 31466 31467 31468 31469 31471 31472 31473 31477 31478 31479 31480 31481 31482 31484 31491 31492 31493 31494 31496 31499 31500 31503 31513 31514 31515 31516 31517 31528 31532 31533 31540 31541 31542 31543 31544 31545 31550 31552 31553 31554 31555 31556 31557 31558 31560 31561 31562 31563 31564 31565 31566 31567 31568 31569 31570 31573 31574 31579 31580 31588 31589 31590 31591 31592 31593 31594 31595 31596 31597 31598 31606 31607 31608 31609 31610 31611 31612 31613 31614 31615 31616 31617 31618 31619 31620 31622 31623 31624 31625 31626 31627 31628 31629 31648 31649 31650 31654 31659 31660 31661 31664 31668 31669 31671 31672 31673 31675 31686 31687 31688 31689 31691 31692 31695 31696 31697 31699 31700 31701 31703 31709 31710 31713 31714 31726 31727 31728 31754 31755 31771 31772 31782 31783 31784 31785 31786 31787 31788 31789 31790 31791 31792 31796 31797 31799 31800 31801 31802 31805 31807 31808 31809 31810 31818 31820 31825 31826 31827 31828 31829 31830 31831 31832 31833 31834 31835 31836 31837 31838 31839 31840 31841 31842 31843 31844 31845 31846 31849 31850 31851 31852 31853 31855 31856 31857 31858 31859 31860 31861 31862 31863 31864 31865 31867 31869 31870 31871 31872 31873 31875 31876 31877 31878 31879 31882 31883 31884 31885 31887 31888 31889 31890 31891 31892 31893 31894 31895 31896 31897 31898 31899 31901 31902 31903 31904 31905 31906 31907 31908 31909 31910 31911 31912 31913 31914 31915 31916 31917 31918 31919 31920 31921 31922 31923 31924 31925 31926 31927 31928 31929 31930 31931 31932 31933 31934 31935 31936 31937 31938 31939 31940 31941 31942 31943 31944 31949 31950 31952 31954 31955 31957 31987 31988 31989 31995 31996 31997 31998 32007 32008 32049 32050 32051 32052 32053 32054 32055 32056 32061 32062 32063 32064 32065 32066 32067 32068 32099 32115 32117 32118 32120 32121 32122 32251 32280 32283 32284 32285 32286 32291 32292 32299 32321 32356 32357 32358 32364 32365 32372 32373 32374 32376 32377 32378 32379 32403 32404 32405 32406 32407 32414 32415 32417 32420 32421 32424 32425 32426 32427 32430 32431 32432 32433 32455 32456 32457 32470 32476 32489 32490 32491 32497 32498 32506 32507 32509 32510 32511 32512 32516 32517 32519 32527 32528 32530 32531 32532 32533 32536 32537 32540 32546 32547 32548 32549 32553 32554 32555 32556 32558 32559 32588 32613 32614 32616 32617 32618 32619 32636 32638 32639 32643 32644 32645 32646 32647 32648 32649 32672 32673 32674 32675 32676 32677 32678 32705 32706 32707 32712 32730 32731 32734 32735 32737 32756 32768 32769 32770 32773 32774 32775 32776 32781 32784 32785 32786 32787 32788 32801 32804 32805 32806 32807 32821 32840 32841 32842 32854 32855 32856 32858 32866 32867 32879 32895 32896 32898 32911 32912 32913 32916 32917 32918 32919 32922 32923 32924 32928 32929 32931 32938 32939 32956 32970 32971 32972 32974 32976 32979 32980 32988 32989 32995 32996 33007 33008 33010 33011 33012 33015 33016 33017 33018 33019 33020 33021 33022 33049 33050 33051 33052 33073 33074 33075 33100 33110 33126 33128 33129 33131 33132 33137 33140 33141 33142 33143 33154 33155 33156 33170 33203 33204 33205 33217 33218 33219 33220 33223 33240 33241 33242 33243 33244 33251 33252 33254 33266 33267 33270 33271 33272 33273 33276 33277 33278 33279 33280 33282 33283 33285 33305 33306 33308 33318 33334 33335 33336 33338 33339 33342 33343 33346 33374 33375 33378 33380 33381 33383 33384 33385 33394 33401 33403 33404 33406 33407 33408 33409 33410 33411 33412 33413 33414 33415 33416 33418 33419 33420 33421 33422 33423 33424 33425 33426 33427 33428 33429 33430 33431 33432 33433 33434 33436 33437 33438 33446 33447 33448 33454 33455 33456 33457 33458 33459 33460 33461 33462 33463 33465 33466 33467 33468 33469 33470 33471 33472 33473 33475 33476 33477 33478 33479 33480 33481 33482 33483 33484 33492 33493 33494 33495 33496 33497 33498 33499 33500 33501 33502 33503 33504 33505 33506 33507 33508 33509 33510 33511 33512 33513 33514 33515 33516 33517 33518 33519 33520 33521 33522 33523 33524 33525 33526 33527 33528 33529 33530 33531 33532 33533 33541 33542 33543 33544 33545 33546 33549 33552 33553 33554 33555 33556 33557 33558 33559 33560 33564 33565 33712 33742 33766 33769 33770 33863 33864 33865 33866 33874 33875 33876 33877 33878 33886 33887 33888 33889 33890 33892 33893 33894 33898 33899 33900 33949 33953 33954 33961 33962 33963 33964 34036 34037 34038 34043 34044 34045 34046 34047 34048 34049 34050 34080 34081 34082 34124 34130 34131 34134 34135 34147 34213 34217 34218 34220 34223 34226 34230 34231 34239 34241 34246 34247 34248 34249 34250 34251 34252 34253 34254 34255 34266 34267 34270 34271 34272 34273 34274 34276 34277 34278 34279 34280 34281 34282 34283 34284 34285 34286 34288 34291 34292 34298 34303 34305 34306 34308 34309 34310 34311 34312 34313 34314 34315 34316 34317 34318 34319 34320 34322 34323 34324 34325 34326 34327 34328 34329 34330 34331 34332 34333 34334 34335 34336 34337 34338 34339 34340 34341 34342 34343 34344 34345 34346 34347 34348 34349 34350 34351 34352 34353 34354 34355 34356 34357 34358 34359 34360 34361 34362 34363 34364 34365 34373 34375 34376 34409 34410 34415 34416 34417 34418 34419 34427 34428 34429 34470 34471 34472 34473 34474 34475 34476 34477 34482 34483 34484 34485 34486 34487 34488 34489 34520 34541 34542 34543 34672 34701 34704 34705 34706 34707 34742 34793 34794 34795 34797 34798 34799 34800 34841 34842 34845 34846 34847 34848 34851 34852 34853 34854 34891 34897 34918 34919 34927 34928 34930 34931 34932 34933 34948 34949 34951 34952 34953 34954 34967 34968 34969 34974 34975 34976 34977 35029 35034 35035 35036 35037 35038 35039 35040 35057 35058 35059 35060 35065 35066 35067 35068 35069 35070 35096 35097 35098 35099 35133 35151 35152 35155 35156 35177 35189 35190 35191 35194 35195 35196 35197 35202 35205 35206 35207 35208 35209 35242 35275 35276 35277 35279 35332 35333 35334 35337 35338 35339 35340 35343 35344 35345 35359 35360 35377 35395 35397 35400 35401 35416 35417 35428 35429 35431 35432 35433 35435 35436 35437 35438 35439 35440 35441 35442 35443 35470 35471 35472 35473 35494 35495 35496 35521 35531 35552 35553 35558 35561 35562 35563 35564 35591 35638 35639 35640 35641 35644 35687 35688 35691 35692 35693 35694 35697 35698 35699 35700 35701 35726 35727 35729 35739 35759 35760 35801 35802 35804 35805 35806 35815 35822 35824 35825 35827 35828 35829 35830 35831 35832 35833 35834 35835 35836 35837 35839 35840 35841 35842 35843 35844 35845 35846 35847 35848 35849 35850 35851 35852 35853 35854 35855 35857 35858 35859 35861 35867 35868 35869 35875 35876 35877 35878 35879 35880 35881 35882 35883 35884 35890 35891 35913 35914 35915 35916 35917 35918 35919 35920 35921 35922 35924 35925 35926 35927 35928 35929 35930 35931 35932 35933 35934 35935 35936 35937 35938 35939 35940 35941 35942 35943 35944 35945 35946 35947 35948 35949 35950 35951 35952 35953 35954 35962 35963 35964 35965 35966 35967 35970 35973 35974 35975 35976 35977 35978 35979 35980 35981 36187 36190 36191 36284 36285 36286 36295 36296 36297 36298 36299 36307 36308 36309 36310 36311 36313 36314 36315 36319 36320 36321 36370 36374 36375 36382 36383 36384 36385 36457 36458 36464 36465 36466 36467 36468 36469 36470 36471 36494 36495 36498 36499 36500 36501 36502 36503 36545 36551 36552 36555 36556 36568 36638 36641 36647 36651 36652 36660 36662 36667 36668 36669 36670 36671 36672 36673 36674 36675 36676 36687 36697 36704 36707 36709 36719 36724 36730 36732 36733 36734 36735 36736 36737 36738 36739 36740 36741 36743 36744 36745 36746 36747 36748 36749 36750 36751 36752 36753 36754 36755 36756 36757 36758 36759 36760 36761 36762 36763 36764 36765 36766 36767 36768 36769 36770 36771 36772 36773 36774 36775 36776 36777 36778 36779 36780 36781 36782 36783 36784 36785 36786 36794 36796 36797 36830 36831 36836 36837 36838 36839 36840 36848 36849 36850 36891 36892 36893 36894 36895 36896 36897 36898 36903 36904 36905 36906 36907 36908 36909 36910 36941 36962 36963 37122 37125 37126 37127 37128 37163 37214 37215 37216 37218 37219 37220 37221 37262 37263 37266 37267 37268 37269 37272 37273 37275 37318 37339 37340 37348 37349 37351 37352 37353 37354 37369 37370 37372 37373 37374 37375 37388 37389 37390 37395 37396 37397 37398 37450 37455 37456 37457 37458 37459 37460 37461 37478 37479 37480 37481 37486 37487 37488 37489 37490 37491 37517 37518 37519 37520 37554 37572 37573 37576 37577 37598 37610 37611 37612 37615 37616 37617 37618 37623 37626 37627 37628 37629 37630 37663 37696 37697 37698 37700 37753 37754 37755 37758 37759 37760 37761 37764 37765 37766 37780 37781 37818 37821 37822 37837 37838 37849 37850 37852 37853 37854 37856 37857 37858 37859 37860 37861 37862 37863 37864 37891 37892 37893 37894 37915 37916 37917 37942 37952 37973 37974 37979 37982 37983 37984 37985 38012 38059 38060 38061 38062 38065 38108 38109 38112 38113 38114 38115 38118 38119 38120 38121 38122 38147 38148 38150 38160 38180 38181 38222 38223 38225 38226 38227 38236 38243 38245 38246 38248 38249 38250 38251 38252 38254 38255 38256 38257 38258 38260 38261 38262 38263 38264 38265 38266 38267 38268 38269 38270 38271 38272 38273 38274 38275 38276 0
993.12/993.20	c Terminating MUSer ...
993.12/993.20	c CPU Time: 992.91

Verifier Data 

OK	12222

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

running on 2 cores: 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): 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.85 2.60 4/189 30074
/proc/meminfo: memFree=30039972/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=4616 CPUtime=0 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 644 0 0 0 0 0 0 0 25 0 1 0 915823374 4726784 595 33554432000 4194304 5696331 140736743148320 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 1154 597 114 367 0 784 0

[startup+0.035897 s]
/proc/loadavg: 4.00 3.85 2.60 4/189 30074
/proc/meminfo: memFree=30039972/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=10136 CPUtime=0.03 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 2170 0 0 0 3 0 0 0 25 0 1 0 915823374 10379264 1975 33554432000 4194304 5696331 140736743148320 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 2534 1977 114 367 0 2164 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10136

[startup+0.100901 s]
/proc/loadavg: 4.00 3.85 2.60 4/189 30074
/proc/meminfo: memFree=30039972/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=21452 CPUtime=0.09 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 5287 0 0 0 9 0 0 0 25 0 1 0 915823374 21966848 4800 33554432000 4194304 5696331 140736743148320 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 5363 4802 114 367 0 4993 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21452

[startup+0.300843 s]
/proc/loadavg: 4.00 3.85 2.60 4/189 30074
/proc/meminfo: memFree=30039972/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=41800 CPUtime=0.29 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 11109 0 0 0 28 1 0 0 25 0 1 0 915823374 42803200 10041 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400097 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 10450 10041 141 367 0 10080 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41800

[startup+0.700772 s]
/proc/loadavg: 4.00 3.85 2.60 4/189 30074
/proc/meminfo: memFree=30039972/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=42196 CPUtime=0.69 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 11250 0 0 0 68 1 0 0 25 0 1 0 915823374 43208704 10182 33554432000 4194304 5696331 140736743148320 18446744073709551615 4416744 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 10549 10182 141 367 0 10179 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42196

[startup+1.50064 s]
/proc/loadavg: 4.00 3.85 2.60 5/190 30075
/proc/meminfo: memFree=30084256/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=43300 CPUtime=1.49 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 11523 0 0 0 148 1 0 0 25 0 1 0 915823374 44339200 10455 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400118 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 10825 10455 141 367 0 10455 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43300

[startup+3.10033 s]
/proc/loadavg: 4.00 3.85 2.60 5/190 30077
/proc/meminfo: memFree=30053124/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=45600 CPUtime=3.09 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 12118 0 0 0 308 1 0 0 25 0 1 0 915823374 46694400 11050 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400192 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 11400 11050 141 367 0 11030 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45600

[startup+6.30075 s]
/proc/loadavg: 4.00 3.86 2.61 5/190 30077
/proc/meminfo: memFree=29658192/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=49840 CPUtime=6.29 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 13134 0 0 0 628 1 0 0 25 0 1 0 915823374 51036160 12066 33554432000 4194304 5696331 140736743148320 18446744073709551615 4393021 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 12460 12066 141 367 0 12090 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49840

[startup+12.7006 s]
/proc/loadavg: 4.00 3.86 2.62 5/190 30077
/proc/meminfo: memFree=29629276/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=37392 CPUtime=12.69 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 17641 0 0 0 1267 2 0 0 25 0 1 0 915823374 38289408 9068 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400112 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 9348 9068 142 367 0 8978 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37392

[startup+25.5003 s]
/proc/loadavg: 4.00 3.86 2.64 5/190 30078
/proc/meminfo: memFree=29324436/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=347016 CPUtime=25.49 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 98367 0 0 0 2536 13 0 0 25 0 1 0 915823374 355344384 86175 33554432000 4194304 5696331 140736743148320 18446744073709551615 4394470 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 86754 86175 148 367 0 86384 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 347016

[startup+51.1006 s]
/proc/loadavg: 4.00 3.87 2.68 5/190 30079
/proc/meminfo: memFree=28997132/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=51.09 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178593 0 0 0 5088 21 0 0 25 0 1 0 915823374 683859968 166372 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166372 149 367 0 166588 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 667832

[startup+102.307 s]
/proc/loadavg: 4.00 3.89 2.74 5/190 30080
/proc/meminfo: memFree=28990460/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=102.3 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178593 0 0 0 10208 22 0 0 25 0 1 0 915823374 683859968 166372 33554432000 4194304 5696331 140736743148320 18446744073709551615 4371239 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166372 149 367 0 166588 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 667832

[startup+162.301 s]
/proc/loadavg: 4.07 3.92 2.82 5/190 30082
/proc/meminfo: memFree=29012832/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=162.3 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178593 0 0 0 16208 22 0 0 25 0 1 0 915823374 683859968 166372 33554432000 4194304 5696331 140736743148320 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166372 149 367 0 166588 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 667832

[startup+222.301 s]
/proc/loadavg: 4.02 3.94 2.89 5/190 30121
/proc/meminfo: memFree=29261116/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=222.29 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178593 0 0 0 22207 22 0 0 25 0 1 0 915823374 683859968 166372 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166372 149 367 0 166588 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 667832

[startup+282.301 s]
/proc/loadavg: 4.01 3.94 2.96 5/190 30159
/proc/meminfo: memFree=29419984/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=282.3 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178593 0 0 0 28207 23 0 0 25 0 1 0 915823374 683859968 166372 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400289 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166372 149 367 0 166588 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 667832

[startup+342.301 s]
/proc/loadavg: 4.00 3.95 3.02 5/190 30235
/proc/meminfo: memFree=29949920/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=342.3 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178594 0 0 0 34207 23 0 0 25 0 1 0 915823374 683859968 166373 33554432000 4194304 5696331 140736743148320 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166373 149 367 0 166588 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 667832

[startup+402.3 s]
/proc/loadavg: 4.04 3.97 3.09 5/190 30236
/proc/meminfo: memFree=29877568/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=402.3 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178594 0 0 0 40207 23 0 0 25 0 1 0 915823374 683859968 166373 33554432000 4194304 5696331 140736743148320 18446744073709551615 4402296 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166373 149 367 0 166588 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 667832

[startup+462.3 s]
/proc/loadavg: 4.01 3.97 3.14 5/190 30275
/proc/meminfo: memFree=29897840/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=462.31 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178594 0 0 0 46207 24 0 0 25 0 1 0 915823374 683859968 166373 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166373 149 367 0 166588 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 667832

[startup+522.301 s]
/proc/loadavg: 4.07 3.99 3.20 5/190 30313
/proc/meminfo: memFree=29471724/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=522.31 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178596 0 0 0 52207 24 0 0 25 0 1 0 915823374 683859968 166375 33554432000 4194304 5696331 140736743148320 18446744073709551615 4402352 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166375 149 367 0 166588 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 667832

[startup+582.301 s]
/proc/loadavg: 4.02 3.99 3.24 5/190 30315
/proc/meminfo: memFree=29292740/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=582.31 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178596 0 0 0 58207 24 0 0 25 0 1 0 915823374 683859968 166375 33554432000 4194304 5696331 140736743148320 18446744073709551615 4394218 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166375 149 367 0 166588 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 667832

[startup+642.301 s]
/proc/loadavg: 4.01 3.99 3.29 5/190 30354
/proc/meminfo: memFree=29499132/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=642.31 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178596 0 0 0 64207 24 0 0 25 0 1 0 915823374 683859968 166375 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400112 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166375 149 367 0 166588 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 667832

[startup+702.301 s]
/proc/loadavg: 4.04 4.00 3.34 5/190 30355
/proc/meminfo: memFree=29498796/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=702.31 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178602 0 0 0 70206 25 0 0 25 0 1 0 915823374 683859968 166381 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400304 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166381 150 367 0 166588 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 667832

[startup+762.307 s]
/proc/loadavg: 4.01 4.00 3.37 5/190 30357
/proc/meminfo: memFree=29497952/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=762.32 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178608 0 0 0 76207 25 0 0 25 0 1 0 915823374 683859968 166387 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166387 150 367 0 166588 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 667832

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.41 5/190 30395
/proc/meminfo: memFree=29792496/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=822.32 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178620 0 0 0 82206 26 0 0 25 0 1 0 915823374 683859968 166399 33554432000 4194304 5696331 140736743148320 18446744073709551615 4391527 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166399 150 367 0 166588 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 667832

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.45 5/190 30434
/proc/meminfo: memFree=29895504/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=882.31 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178620 0 0 0 88204 27 0 0 25 0 1 0 915823374 683859968 166399 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166399 150 367 0 166588 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 667832

[startup+942.301 s]
/proc/loadavg: 4.03 4.01 3.48 5/190 30436
/proc/meminfo: memFree=29895212/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=942.31 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178620 0 0 0 94204 27 0 0 25 0 1 0 915823374 683859968 166399 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400100 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166399 150 367 0 166588 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 667832

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

[startup+947.107 s]
/proc/loadavg: 4.03 4.01 3.48 5/190 30436
/proc/meminfo: memFree=29895212/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=947.13 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178620 0 0 0 94685 28 0 0 25 0 1 0 915823374 683859968 166399 33554432000 4194304 5696331 140736743148320 18446744073709551615 4398436 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166399 150 367 0 166588 0
Current children cumulated CPU time (s) 947.13
Current children cumulated vsize (KiB) 667832

[startup+972.701 s]
/proc/loadavg: 4.02 4.01 3.50 5/190 30437
/proc/meminfo: memFree=29895056/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=972.72 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178620 0 0 0 97244 28 0 0 25 0 1 0 915823374 683859968 166399 33554432000 4194304 5696331 140736743148320 18446744073709551615 4416962 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166399 150 367 0 166588 0
Current children cumulated CPU time (s) 972.72
Current children cumulated vsize (KiB) 667832

[startup+985.501 s]
/proc/loadavg: 4.01 4.01 3.50 5/190 30437
/proc/meminfo: memFree=29895284/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=985.53 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178620 0 0 0 98524 29 0 0 25 0 1 0 915823374 683859968 166399 33554432000 4194304 5696331 140736743148320 18446744073709551615 4416913 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166399 150 367 0 166588 0
Current children cumulated CPU time (s) 985.53
Current children cumulated vsize (KiB) 667832

[startup+988.7 s]
/proc/loadavg: 4.01 4.01 3.50 5/190 30437
/proc/meminfo: memFree=29895284/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=988.72 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178620 0 0 0 98843 29 0 0 25 0 1 0 915823374 683859968 166399 33554432000 4194304 5696331 140736743148320 18446744073709551615 4416833 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166399 150 367 0 166588 0
Current children cumulated CPU time (s) 988.72
Current children cumulated vsize (KiB) 667832

[startup+990.301 s]
/proc/loadavg: 4.01 4.01 3.51 5/190 30437
/proc/meminfo: memFree=29895284/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=990.32 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178620 0 0 0 99003 29 0 0 25 0 1 0 915823374 683859968 166399 33554432000 4194304 5696331 140736743148320 18446744073709551615 4381134 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166399 150 367 0 166588 0
Current children cumulated CPU time (s) 990.32
Current children cumulated vsize (KiB) 667832

[startup+991.901 s]
/proc/loadavg: 4.01 4.01 3.51 5/190 30437
/proc/meminfo: memFree=29895284/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=991.92 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178620 0 0 0 99163 29 0 0 25 0 1 0 915823374 683859968 166399 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400112 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166399 150 367 0 166588 0
Current children cumulated CPU time (s) 991.92
Current children cumulated vsize (KiB) 667832

[startup+992.701 s]
/proc/loadavg: 4.01 4.01 3.51 5/190 30437
/proc/meminfo: memFree=29895276/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=992.72 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178620 0 0 0 99243 29 0 0 25 0 1 0 915823374 683859968 166399 33554432000 4194304 5696331 140736743148320 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166399 150 367 0 166588 0
Current children cumulated CPU time (s) 992.72
Current children cumulated vsize (KiB) 667832

[startup+993.1 s]
/proc/loadavg: 4.01 4.01 3.51 5/190 30437
/proc/meminfo: memFree=29895276/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=667832 CPUtime=993.12 cores=4,6
/proc/30074/stat : 30074 (muser) R 30072 30074 29411 0 -1 4202496 178620 0 0 0 99283 29 0 0 25 0 1 0 915823374 683859968 166399 33554432000 4194304 5696331 140736743148320 18446744073709551615 4400331 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/30074/statm: 166958 166399 150 367 0 166588 0
Current children cumulated CPU time (s) 993.12
Current children cumulated vsize (KiB) 667832

[startup+993.2 s]
/proc/loadavg: 4.01 4.01 3.51 5/190 30437
/proc/meminfo: memFree=30515524/32951124 swapFree=67053176/67111528
[pid=30074] ppid=30072 vsize=0 CPUtime=993.22 cores=4,6
/proc/30074/stat : 30074 (muser) Z 30072 30074 29411 0 -1 4202524 178621 0 0 0 99291 31 0 0 25 0 1 0 915823374 0 0 33554432000 0 0 0 0 0 0 0 4096 24615 18446744073709551615 0 0 17 4 0 0 0
/proc/30074/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 993.22
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 993.207
CPU time (s): 993.23
CPU user time (s): 992.91
CPU system time (s): 0.319951
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 667832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 992.91
system time used= 0.319951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178621
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= 1653

runsolver used 1.74773 second user time and 3.67644 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-14 11:04:17
IDJOB=3501076
IDBENCH=90016
IDSOLVER=1998
FILE ID=node137/3501076-1308042257
RUNJOBID= node137-1308041268-29430
PBS_JOBID= 13564387
Free space on /tmp= 73968 MiB

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

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

MD5SUM BENCH= c32d0767929b800e01d25fbf5c79e7b4
RANDOM SEED=523471592

node137.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.844
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.68
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.844
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.75
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.844
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.74
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.844
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.74
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.844
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.844
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.844
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.83
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.844
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30040268 kB
Buffers:        229344 kB
Cached:         967936 kB
SwapCached:      11996 kB
Active:        1816568 kB
Inactive:       881848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30040268 kB
SwapTotal:    67111528 kB
SwapFree:     67053176 kB
Dirty:           25988 kB
Writeback:           8 kB
AnonPages:     1498996 kB
Mapped:          11020 kB
Slab:           144536 kB
PageTables:       7900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1739828 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= 73988 MiB
End job on node137 at 2011-06-14 11:20:50