0.00/0.00 c MoUsSaka with meat
6.89/6.92
6.89/6.92 s UNSATISFIABLE
564.41/564.42 c Core is minimal
564.41/564.42
564.41/564.42 v 182 11 186 187 183 22 181 172 46 189 188 58 53 57 59 177 176 70 173 74 75 76 220 219 25 52 51 28 29 54 30 26 98 27 100 99 93 43 40 194 196 197 195 84 107 85 92 192 106 68 69 56 64 61 226 227 228 222 225 224 223 132 137 138 139 221 10 20 16 193 191 407 123 124 190 125 254 252 243 253 251 112 422 118 418 416 111 119 421 417 198 200 71 60 73 130 199 151 152 146 153 161 168 62 320 63 211 447 451 450 38 34 5 208 207 455 162 205 204 160 170 166 212 39 210 206 445 145 444 471 472 465 456 157 155 156 158 375 127 126 131 120 249 244 313 121 86 79 129 443 45 41 140 154 143 144 44 171 110 175 66 65 213 174 436 433 435 217 216 48 457 47 461 460 203 159 466 464 463 351 163 355 353 354 352 344 434 311 122 308 300 307 708 712 706 711 697 385 382 386 384 383 454 453 446 665 397 674 673 675 403 396 404 312 314 310 250 284 285 281 283 113 282 274 487 329 317 318 429 426 431 430 425 432 316 423 424 324 323 577 587 495 497 494 496 498 488 493 518 328 301 326 319 327 721 722 720 719 716 280 315 325 713 714 242 273 275 442 747 751 1037 299 298 394 395 731 730 729 1040 1041 408 142 141 750 169 428 261 293 309 672 724 676 292 427 642 644 643 634 723 641 398 645 1017 519 517 524 528 527 529 302 525 526 728 439 202 437 441 727 440 438 470 469 393 666 671 664 735 734 733 745 743 744 736 670 682 669 681 680 679 955 376 663 961 965 963 687 956 966 964 962 924 931 935 934 933 932 635 633 640 688 362 761 756 760 762 77 755 413 987 410 412 409 411 473 683 391 392 387 374 373 707 700 701 702 698 361 360 359 358 725 357 356 1003 1004 686 693 684 178 954 685 1023 1026 1034 1033 1024 1025 1245 1253 1256 1254 977 1255 1044 1043 1020 1021 763 1277 1327 997 754 753 1001 1002 998 1035 746 759 930 925 1018 1019 694 678 758 923 757 726 764 717 718 536 537 229 505 474 230 78 12 996 575 574 567 699 1224 1225 1221 1223 1214 1222 978 1050 1051 1052 1045 1215 1049 1046 1014 1015 1048 1047 1036 1016 1220 1213 1013 732 1252 1022 737 1307 1331 1330 1315 1313 1314 1311 1316 1323 1325 1324 1601 1597 1310 1309 1308 1600 740 331 984 983 1027 1031 741 1607 1317 1321 1320 486 988 865 991 990 992 989 715 976 1007 1010 1008 1009 1005 1011 1006 1012 886 866 1504 1535 1246 1544 1545 1267 1542 1543 1546 1251 975 974 1032 1244 1312 1510 1515 1514 1268 1513 1511 1512 1505 1294 1293 1266 1274 1273 1303 1292 1288 1291 1287 1280 1281 1282 1278 1286 1503 1265 1264 786 785 568 788 784 787 1322 1585 1590 1591 1592 827 580 581 777 595 579 591 583 584 585 867 590 808 594 593 586 578 877 795 817 569 816 819 815 818 1171 1167 881 858 885 880 566 565 1170 776 809 596 783 778 874 875 873 814 1076 1078 1077 1075 1074 1067 1073 1068 1066 883 884 876 1098 859 1106 1108 1105 1109 1107 871 869 868 870 1161 1157 1160 1158 1159 1099 1104 826 855 856 1567 1333 1334 1569 1615 1582 1611 864 857 1581 1576 1155 1147 1154 1301 1299 1300 1335 1341 1342 1304 576 872 882 1042 592 582 1610 1030 1893 1895 1894 2173 2138 1097 1578 1563 1564 1556 2084 1297 2093 2092 1848 2094 2095 2091 1883 2090 2085 2083 1306 1305 807 1336 1340 1326 1339 1604 1603 1794 1541 1536 1802 1804 1801 1805 1558 1624 1626 1628 1629 1616 1623 1595 1593 1631 1632 1625 1630 1337 1338 1554 1555 1602 1054 1117 1085 1116 1577 1800 1861 1862 1614 1613 1583 1584 1398 1149 1395 1399 1396 1397 1857 2115 1896 1904 1903 1905 1620 1617 1295 1156 1176 1344 1627 1343 1594 1606 1795 1557 1406 1596 1534 1389 1053 703 1901 2187 2191 1832 1834 1835 1836 1833 1825 1897 1598 1900 2190 1826 1831 1599 1146 1145 1605 1803 1612 1793 1332 1824 1887 1890 1889 1891 2177 1892 1302 1296 1298 1871 1868 1872 1445 1866 1444 1437 1647 1365 1367 1368 1364 1657 1658 1656 1654 1358 1363 1867 2163 2164 1917 1846 1853 1854 1918 1919 1922 1921 1916 1915 1886 1906 1920 2183 2185 2181 2203 2184 2204 2162 2158 2161 1727 1735 1734 1646 1653 1648 1466 1586 1589 1446 1407 1588 1587 1375 1438 1655 1148 1366 1884 2147 1164 1165 1163 1754 1753 1745 1744 1755 1465 1746 1388 1175 1166 1174 1173 1357 1743 1937 1463 1456 1464 1678 1454 1455 1453 1685 1686 1689 1687 1439 1688 1874 1873 1394 2035 2227 1684 1679 1447 1451 1450 1461 1457 2195 2467 1878 1879 1881 1882 1877 1880 1876 1736 1875 1756 1697 1696 1665 1976 1977 1729 1975 1978 1979 1751 2041 2037 1738 1739 1740 1737 1741 1747 1448 1436 1435 1677 1955 1728 1944 1946 1947 1945 1948 1452 1938 1943 1936 2040 1750 1725 1726 1967 1742 1968 1969 1974 1752 1387 2018 2235 2238 2233 2234 2226 2236 2228 2237 1283 1356 1460 1449 2027 1172 1162 2033 2034 2028 2029 2031 2030 1462 2045 2211 2210 2209 2208 2175 2174 2124 2125 2126 2122 2123 1847 2331 2327 2485 2985 2471 2480 2481 2757 2621 2617 2623 2845 2566 2846 2847 2838 2624 2616 2848 2849 2599 2816 2598 2535 2815 2817 2818 2807 2116 2114 1860 2205 2607 2317 2319 2318 2320 2321 2170 2171 2172 2165 2166 2168 2167 2169 2046 2156 2025 2017 2024 2461 2460 2462 2325 2324 2323 2455 2459 2456 2330 2245 2517 2523 2518 2528 2524 2526 2527 2525 2814 2516 2717 2992 2995 2996 2993 2994 2334 2333 2326 2620 2754 2457 2458 2335 2548 2309 2556 2557 2558 2555 2559 2336 2268 2019 2267 2259 2265 2266 2269 2043 2044 2036 2258 2264 2622 2015 2016 1986 2453 2454 2549 2257 2437 2152 2438 2442 2554 2307 2305 2306 2314 2137 2196 2176 2121 1570 1571 1572 1858 1568 2157 1621 2148 1907 1987 2150 2151 2727 2473 2484 2483 2474 2476 2475 2276 2277 2308 1913 1914 2026 2315 2316 2322 2042 2032 2332 1859 2149 1911 1910 2201 2452 2448 2451 2446 2207 2212 2206 2136 2143 2144 2194 2193 2186 2384 2382 2383 2385 2381 2374 2441 2440 2439 1885 1923 2464 2405 2706 2705 2696 2694 2701 2703 2704 2702 2413 2415 2416 2412 2414 2406 2411 2200 2477 1845 1844 2487 2180 2179 2404 2192 2197 1633 2494 2182 2134 2135 2728 2493 2463 2447 2670 2672 2674 2673 2671 2665 2664 2675 2491 2375 2373 2380 2731 2730 2732 2482 2178 2729 2695 1279 1863 1912 2777 2781 2490 1902 2780 1888 2428 1622 1573 2469 2470 2468 2213 2663 2472 2547 2991 2986 2984 2784 2783 2775 2744 2743 3017 3018 2466 2499 2498 2465 2486 2496 2497 2501 2500 2495 2502 2758 2759 2761 2760 2765 2774 2763 2764 2773 2766 2741 2738 2426 2433 2964 2963 2962 2954 2965 2718 2961 2737 2742 3060 3061 3057 2771 2770 2767 2424 2425 2434 2736 2960 2762 2953 2772 2955 2786 2776 2785 2755 2716 2723 2789 2790 2788 2756 2791 2753 2792 2715 2714 2746 2752 2749 2750 2751 2748 2747 2567 3040 3041 2615 2614 2613 3039 3038 3037 2857 2787 2808 3032 2839 2916 3036 3042 3035 2856 2896 2825 2504 2503 2597 3031 3026 2605 2604 3034 3033 3028 2724 3082 3081 3076 3077 3080 3078 3079 3044 3020 3019 3322 3321 3318 2914 2915 2905 2913 2625 2903 2904 2906 3371 3370 3369 3363 3364 3065 3355 3344 3345 3097 2888 3368 3051 3047 3050 3049 3048 3347 3350 3351 3337 3341 3340 3339 3338 3285 3284 3286 3007 3283 3074 3073 2793 2794 3275 3063 3064 3055 3054 3353 3354 3053 3346 3637 3627 3342 3352 3317 3244 3254 3245 3243 3250 3255 3251 3252 3253 3021 3067 3022 3043 3008 3597 3312 3310 3311 3598 3104 3108 3105 3333 3282 3298 3324 3323 3276 3307 3274 3281 3052 3062 3334 3297 3573 3309 3308 3014 3006 3013 3056 3075 3027 3045 3046 3066 3005 3004 3617 3616 3618 3619 3904 3621 3620 3622 3901 3896 3902 3343 3599 3071 3098 3103 3096 3107 3106 3070 3357 3361 3360 3650 3651 3647 3601 3602 3600 3614 3613 3115 3611 3612 3608 3475 3467 3474 4177 3607 3889 3395 3178 3398 3397 3396 3394 3903 3887 3888 3891 3892 3890 3653 3654 3940 3941 3937 3911 3910 3909 3908 3907 3727 3205 3195 3193 3194 2901 2897 3190 3187 3191 3477 3656 3662 3615 3645 3437 3405 3483 3493 3486 3485 3484 3494 3436 3495 3726 3684 3688 3468 3686 3685 3687 3695 3935 3678 3906 3912 3718 3715 3719 3716 3717 3469 3708 3709 3629 3630 3641 3631 3640 3924 3925 4114 4121 4123 4125 4122 4124 3923 3757 3764 4192 4404 3496 3905 3920 3921 3917 3930 3931 3927 4412 4414 4411 4415 4168 4225 3786 3766 4047 4054 4055 4007 4005 3985 4490 4492 4491 4016 4200 4202 4195 4201 4484 4483 4525 4530 4532 4531 4772 4771 4766 4523 4524 4344 4337 4345 5048 5049 5052 5050 5051 4768 4758 4762 4048 4773 4774 4761 4760 4528 4527 4526 4495 4456 4464 4463 4494 4115 4120 4132 4405 4410 4409 4529 4006 4193 4008 3765 4413 3759 4009 4408 4194 4457 4513 5346 5351 5352 4506 4514 4504 4505 4503 4210 4211 4217 4207 4221 5112 5110 5073 5111 5284 5038 5281 5282 5285 5283 5647 5400 5402 5401 5363 5364 5504 5505 5214 5215 5207 5435 5714 5723 5498 5724 5573 5574 5571 5718 5357 5236 5216 5176 5356 5361 5360 5355 5362 5359 5358 5353 5354 5693 6222 6273 5694 5983 6274 5984 6218 6221 5708 5706 5720 5722 5721 6106 6225 6229 5940 5942 5941 6231 6228 6227 6232 5939 6230 6226 5936 6224 6086 5326 5334 5333 5497 5707 5604 5606 5605 5327 5603 5602 5601 5384 5383 5376 5595 5596 5594 5325 5324 5687 5274 5328 5932 6216 5795 5794 5495 5496 5673 5666 5674 5675 5575 5084 5085 5375 5570 5565 5563 5572 5564 5083 5977 6269 6270 6203 6196 6272 6256 6204 6271 6268 6266 6265 6267 6264 5982 5979 5976 5966 5978 5946 5981 5980 5975 5974 5943 6151 6154 6153 6152 6207 6161 6233 6159 6158 6235 6160 6155 6145 6189 6192 6185 5907 6184 6191 6190 6234 6181 6186 6183 6182 5934 5690 5692 5691 6042 6043 6044 6034 6045 5756 6046 6039 6047 6037 5789 6036 6038 5689 5686 5914 5913 5688 5933 5906 6035 5944 6220 6223 6217 5937 5938 5757 5685 5645 5652 5651 5650 5466 5516 5738 5523 5524 5973 5455 5614 5616 5663 5664 5665 5624 5424 5428 5426 5425 5208 5427 6263 5684 5683 5623 5615 5676 5725 5926 5931 5526 5649 5506 5648 5787 5618 5862 5864 5863 5865 5711 5712 5705 5493 5716 5717 5715 5646 5894 5945 5788 5928 5515 5644 5643 5917 6006 6007 6005 5997 5998 6008 5927 5783 6012 6011 6013 6015 6014 5514 5513 5449 5462 5463 5464 5465 6002 6001 5816 5935 5447 5461 5796 6004 5655 5653 5893 5895 5617 5892 5896 5654 5885 5861 5747 5746 5499 5748 5749 5745 5744 5737 5739 5467 5853 5860 5855 5226 5233 5395 5209 5234 5448 5459 5609 5611 5610 5612 5854 5403 5404 5397 5374 5385 5373 5908 5399 5398 5396 5288 5275 5290 5291 5365 5627 6213 6212 5922 5921 6211 6208 5638 5642 5636 5641 6175 5903 5386 5366 5786 5785 5790 5995 5996 6003 5393 5394 5656 5920 5918 5632 5919 5631 6236 5965 5452 5453 5204 5177 5456 5457 5458 5446 5923 5280 5289 5314 5313 5315 5037 5316 5312 5311 5319 5320 5322 5321 4925 4917 4924 5273 5225 5223 5224 5145 5114 5113 4515 4497 4501 4507 4511 4500 4510 4791 4797 4790 4800 4787 4801 5417 4855 4775 4781 4782 4780 4886 5348 5166 4919 5167 5168 5169 4823 4824 5165 5135 5138 4918 5134 5136 5137 5158 5164 5157 5159 5127 4935 5126 5128 5133 5070 5071 5072 4489 4486 4944 4488 4487 5305 5086 5094 5093 5815 5500 6081 6075 6078 6082 6105 6074 6080 6083 6076 6079 6028 6084 6085 6077 4887 5068 5069 5066 5067 4049 4073 4066 4074 4267 4266 4265 4264 4258 4268 4273 4272 4271 4275 5063 5064 5062 5058 4307 5036 5044 5043 4753 4746 4754 5061 5056 5205 5206 4635 4634 4627 4306 4274 4256 4270 4533 4257 4064 4547 4555 4558 4557 4556 4554 4063 4065 4338 4333 4578 4364 4585 4588 4589 4587 4339 4586 4363 4876 4878 4877 4875 4879 4868 4653 4629 4646 4654 6029 5784 6027 6033 6041 6032 6026 4565 4458 4493 4213 4214 4215 4705 4703 4702 4701 4704 4694 4546 4548 4846 4847 4628 4848 4844 5106 5109 5108 5107 5104 5103 5075 4837 4845 4553 4822 4821 4820 4695 4693 5628 5342 4699 4698 4733 4735 4734 4732 4736 4815 4700 5105 4819 4785 4710 4709 4711 4708 4422 4692 5095 5076 5096 4992 4995 4748 4993 4991 4994 4534 5074 5034 5304 5306 4783 4818 4817 5341 5633 4626 4625 4838 4731 4851 4853 4854 4852 4843 4836 4784 4779 4814 4813 5047 5338 4984 4712 4804 4805 4707 4816 4656 4776 4596 4597 4778 4777 4933 4934 4655 4874 4884 4885 4869 4725 4724 4726 5024 5025 4747 5023 5015 5026 5022 4990 4985 5016 5021 4983 5371 5951 5661 5657 5947 5814 5713 5806 5813 4915 4883 4867 4882 4803 4794 4795 4793 4796 5637 6144 6143 6174 6176 5630 5629 5065 6244 6255 6242 6245 6243 6173 6193 4936 4943 5387 5390 5391 5337 6073 6104 6096 6010 6102 4926 4946 4916 4636 4645 4644 4643 4355 4354 4353 5347 4356 4017 4056 4198 4197 4199 4076 4196 4262 4261 4579 4043 4263 4075 4485 4346 4584 4366 4577 4296 4297 4288 4298 4295 4299 4294 4289 4335 4365 4336 4045 4046 4052 4062 3999 3758 3977 3978 3974 3976 3975 3785 3776 3784 3783 3775 3774 3773 3967 3998 4050 4061 4057 4060 4287 4362 4352 3968 3982 3983 3981 3984 3966 3972 3971 3973 4051 4053 4072 4357 4361 4360 4351 4347 4350 3755 3756 3753 3965 3772 3782 3997 4004 3980 3201 4071 4067 3677 3476 3714 3707 3683 3465 3676 4070 3771 3767 3466 3481 3296 3606 3303 3304 3177 3185 3184 3781 3491 3487 3777 3204 3203 3196 3482 3492 3490 3594 3366 3372 3367 3586 3593 2911 3898 3418 3429 3428 3425 3426 3427 3179 3332 3330 3331 3388 3387 3393 3175 3325 3386 3329 3328 3147 3146 3206 3419 3424 3417 3770 3402 3401 3404 3403 3202 3327 3326 3176 3186 3480 2900 3335 3566 3571 3564 3574 3575 3572 3576 3192 3137 3138 3139 3135 3136 3128 3134 3129 2889 2844 2894 2887 2895 3200 2609 3197 2610 2611 2907 2910 2813 3083 3084 2806 3565 2885 2886 2745 2626 2899 2898 3541 3544 3543 3542 3545 3540 3535 3127 2912 2902 3316 3534 2606 2837 3780 2595 3365 3356 3294 3295 3336 3533 3189 2214 1924 1634 3188 2596 2153 2202 2612 2443 2492 2427 3660 3658 3657 3626 3659 3661 3646 3655 3624 3623 3625 4188 4191 4187 4468 4180 4181 4182 6246 6252 6253 6254 5782 5781 5771 5759 5343 5780 4945 5760 5769 5779 3876 3884 3883 3946 3952 4178 3949 3936 3951 3945 3950 3916 3947 3948 3943 3944 3914 4403 4203 3635 3634 3633 3835 3834 3832 3833 3588 3831 3824 3854 3830 3838 3861 3856 3866 3863 3587 3864 3862 3865 3825 4145 3644 3636 3855 3643 3877 3933 3926 3934 3878 3841 3839 3840 3913 4421 4420 4419 4418 6180 6150 6257 6194 5972 6202 6199 5681 6179 6201 5909 5967 6198 6200 6262 5677 6188 5971 5970 6197 5680 6195 6260 6261 4759 3874 3875 3932 3922 3915 3893 4152 4156 4155 4154 4153 4241 4242 4240 4469 4472 4470 4179 4471 4233 4234 4216 4224 4223 4442 4446 4435 4443 4445 4444 5339 5340 4441 4436 4243 4244 3953 5478 5468 5479 5469 5053 4167 5474 5476 5472 5477 5473 4239 4146 4205 4238 4151 4434 4204 4227 4113 6103 4166 4173 4174 4186 4144 5057 4516 4806 4786 4496 4745 4744 4467 4459 4237 4236 4231 4230 4235 4226 4454 4164 4165 4462 4460 4476 4481 4482 4478 3823 5014 4461 5035 5682 5100 5097 5101 3584 3585 4455 4502 4512 4222 4206 3642 3632 3954 4255 4807 4811 4521 4520 4517 4402 4477 4802 4220 4757 4810 5102 4792 4763 4812 6095 6093 6092 6094 5475 6241 6237 4522 4473 5791 5792 5793 5812 4767 4212 3663 3664 3897 5370 5369 3374 5392 4183 3373 3942 4417 4232 3652 3603 3628 2608 3362 3313 2733 2782 3023 3072 993 21 0
564.41/564.42
564.41/564.42 c Core has size 2966
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-3501543-1308042376/watcher-3501543-1308042376 -o /tmp/evaluation-result-3501543-1308042376/solver-3501543-1308042376 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501543-1308042376.gcnf
running on 2 cores: 0,2
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 4.05 2.63 5/189 25065
/proc/meminfo: memFree=30396488/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=12780 CPUtime=0 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 718 0 0 0 0 0 0 0 25 0 1 0 34982442 13086720 538 33554432000 4194304 4365125 140737080045184 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 3195 538 253 42 0 343 0
[startup+0.0798339 s]
/proc/loadavg: 4.00 4.05 2.63 5/189 25065
/proc/meminfo: memFree=30396488/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=14260 CPUtime=0.07 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1357 0 0 0 7 0 0 0 25 0 1 0 34982442 14602240 858 33554432000 4194304 4365125 140737080045184 18446744073709551615 4242889 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 3565 858 262 42 0 713 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14260
[startup+0.10083 s]
/proc/loadavg: 4.00 4.05 2.63 5/189 25065
/proc/meminfo: memFree=30396488/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=14260 CPUtime=0.09 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1390 0 0 0 9 0 0 0 25 0 1 0 34982442 14602240 876 33554432000 4194304 4365125 140737080045184 18446744073709551615 4242927 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 3565 876 262 42 0 713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14260
[startup+0.300796 s]
/proc/loadavg: 4.00 4.05 2.63 5/189 25065
/proc/meminfo: memFree=30396488/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=18056 CPUtime=0.29 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 4503 0 0 0 29 0 0 0 25 0 1 0 34982442 18489344 1752 33554432000 4194304 4365125 140737080045184 18446744073709551615 4246924 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 4514 1752 262 42 0 1662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18056
[startup+0.700726 s]
/proc/loadavg: 4.00 4.05 2.63 5/189 25065
/proc/meminfo: memFree=30396488/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=30608 CPUtime=0.69 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 10780 0 0 0 68 1 0 0 25 0 1 0 34982442 31342592 4170 33554432000 4194304 4365125 140737080045184 18446744073709551615 4244672 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 7652 4170 262 42 0 4800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30608
[startup+1.50058 s]
/proc/loadavg: 4.00 4.05 2.63 5/190 25066
/proc/meminfo: memFree=30372448/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=70420 CPUtime=1.49 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 32786 0 0 0 146 3 0 0 25 0 1 0 34982442 72110080 11400 33554432000 4194304 4365125 140737080045184 18446744073709551615 4272028 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 17605 11400 262 42 0 14753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70420
[startup+3.10037 s]
/proc/loadavg: 4.00 4.05 2.63 5/190 25066
/proc/meminfo: memFree=30347028/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=108268 CPUtime=3.09 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 69631 0 0 0 302 7 0 0 25 0 1 0 34982442 110866432 20953 33554432000 4194304 4365125 140737080045184 18446744073709551615 4257491 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 27067 20953 262 42 0 24215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108268
[startup+6.30074 s]
/proc/loadavg: 4.00 4.05 2.63 5/190 25066
/proc/meminfo: memFree=30275340/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=200344 CPUtime=6.3 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 107986 0 0 0 618 12 0 0 25 0 1 0 34982442 205152256 35884 33554432000 4194304 4365125 140737080045184 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 50086 35884 262 42 0 47234 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 200344
[startup+12.7007 s]
/proc/loadavg: 4.00 4.04 2.64 5/190 25066
/proc/meminfo: memFree=30153672/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=430792 CPUtime=12.69 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 274013 0 0 0 1240 29 0 0 25 0 1 0 34982442 441131008 81171 33554432000 4194304 4365125 140737080045184 18446744073709551615 4306823 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 107698 81171 266 42 0 104846 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 430792
[startup+25.5004 s]
/proc/loadavg: 4.00 4.04 2.66 5/190 25066
/proc/meminfo: memFree=29981188/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=557340 CPUtime=25.49 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 458954 0 0 0 2498 51 0 0 25 0 1 0 34982442 570716160 105535 33554432000 4194304 4365125 140737080045184 18446744073709551615 4244626 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 139335 105535 264 42 0 136483 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 557340
[startup+51.1009 s]
/proc/loadavg: 4.00 4.04 2.70 5/190 25141
/proc/meminfo: memFree=29672976/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=551708 CPUtime=51.09 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 746383 0 0 0 5026 83 0 0 25 0 1 0 34982442 564948992 129629 33554432000 4194304 4365125 140737080045184 18446744073709551615 4244636 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 137927 129629 264 42 0 135075 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 551708
[startup+102.307 s]
/proc/loadavg: 4.00 4.03 2.76 5/190 25142
/proc/meminfo: memFree=29609144/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=541432 CPUtime=102.29 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 856757 0 0 0 10132 97 0 0 25 0 1 0 34982442 554426368 127620 33554432000 4194304 4365125 140737080045184 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 135358 127620 264 42 0 132506 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 541432
[startup+162.3 s]
/proc/loadavg: 4.03 4.03 2.84 5/190 25144
/proc/meminfo: memFree=29587648/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=553720 CPUtime=162.29 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 958429 0 0 0 16120 109 0 0 25 0 1 0 34982442 567009280 128346 33554432000 4194304 4365125 140737080045184 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 138430 128346 264 42 0 135578 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 553720
[startup+222.301 s]
/proc/loadavg: 4.05 4.04 2.92 5/190 25146
/proc/meminfo: memFree=29600752/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=547576 CPUtime=222.3 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1048893 0 0 0 22108 122 0 0 25 0 1 0 34982442 560717824 127575 33554432000 4194304 4365125 140737080045184 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 136894 127575 264 42 0 134042 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 547576
[startup+282.301 s]
/proc/loadavg: 4.02 4.03 2.98 5/190 25147
/proc/meminfo: memFree=29621164/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=541432 CPUtime=282.29 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1185462 0 0 0 28091 138 0 0 25 0 1 0 34982442 554426368 126804 33554432000 4194304 4365125 140737080045184 18446744073709551615 4306828 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 135358 126804 264 42 0 132506 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 541432
[startup+342.3 s]
/proc/loadavg: 4.00 4.02 3.04 5/190 25148
/proc/meminfo: memFree=29600052/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=566008 CPUtime=342.3 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1307188 0 0 0 34077 153 0 0 25 0 1 0 34982442 579592192 129888 33554432000 4194304 4365125 140737080045184 18446744073709551615 4247558 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 141502 129888 264 42 0 138650 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 566008
[startup+402.301 s]
/proc/loadavg: 4.00 4.02 3.10 5/190 25150
/proc/meminfo: memFree=29603488/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=557816 CPUtime=402.3 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1384912 0 0 0 40068 162 0 0 25 0 1 0 34982442 571203584 128860 33554432000 4194304 4365125 140737080045184 18446744073709551615 4262565 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 139454 128860 264 42 0 136602 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 557816
[startup+462.301 s]
/proc/loadavg: 4.00 4.01 3.15 5/190 25152
/proc/meminfo: memFree=29585344/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=572152 CPUtime=462.3 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1405885 0 0 0 46066 164 0 0 25 0 1 0 34982442 585883648 130659 33554432000 4194304 4365125 140737080045184 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 143038 130659 264 42 0 140186 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 572152
[startup+522.301 s]
/proc/loadavg: 3.47 3.87 3.16 4/184 25178
/proc/meminfo: memFree=29850944/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=561912 CPUtime=522.3 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1413930 0 0 0 52065 165 0 0 25 0 1 0 34982442 575397888 129374 33554432000 4194304 4365125 140737080045184 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 140478 129374 264 42 0 137626 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 561912
Solver just ended. Dumping a history of the last processes samples
[startup+537.501 s]
/proc/loadavg: 3.37 3.82 3.15 4/184 25178
/proc/meminfo: memFree=29851060/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=561912 CPUtime=537.51 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1413930 0 0 0 53586 165 0 0 25 0 1 0 34982442 575397888 129374 33554432000 4194304 4365125 140737080045184 18446744073709551615 4258352 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 140478 129374 264 42 0 137626 0
Current children cumulated CPU time (s) 537.51
Current children cumulated vsize (KiB) 561912
[startup+550.301 s]
/proc/loadavg: 3.28 3.78 3.15 4/184 25178
/proc/meminfo: memFree=29797364/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=561912 CPUtime=550.31 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1413930 0 0 0 54866 165 0 0 25 0 1 0 34982442 575397888 129374 33554432000 4194304 4365125 140737080045184 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 140478 129374 264 42 0 137626 0
Current children cumulated CPU time (s) 550.31
Current children cumulated vsize (KiB) 561912
[startup+556.7 s]
/proc/loadavg: 3.26 3.77 3.15 4/184 25178
/proc/meminfo: memFree=29835924/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=561912 CPUtime=556.71 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1413930 0 0 0 55506 165 0 0 25 0 1 0 34982442 575397888 129374 33554432000 4194304 4365125 140737080045184 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 140478 129374 264 42 0 137626 0
Current children cumulated CPU time (s) 556.71
Current children cumulated vsize (KiB) 561912
[startup+559.907 s]
/proc/loadavg: 3.24 3.76 3.15 4/184 25178
/proc/meminfo: memFree=29851052/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=561912 CPUtime=559.91 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1413930 0 0 0 55826 165 0 0 25 0 1 0 34982442 575397888 129374 33554432000 4194304 4365125 140737080045184 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 140478 129374 264 42 0 137626 0
Current children cumulated CPU time (s) 559.91
Current children cumulated vsize (KiB) 561912
[startup+561.501 s]
/proc/loadavg: 3.24 3.76 3.15 4/184 25178
/proc/meminfo: memFree=29851052/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=561912 CPUtime=561.5 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1413930 0 0 0 55985 165 0 0 25 0 1 0 34982442 575397888 129374 33554432000 4194304 4365125 140737080045184 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 140478 129374 264 42 0 137626 0
Current children cumulated CPU time (s) 561.5
Current children cumulated vsize (KiB) 561912
[startup+563.1 s]
/proc/loadavg: 3.24 3.76 3.15 4/184 25178
/proc/meminfo: memFree=29810752/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=561912 CPUtime=563.11 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1413930 0 0 0 56146 165 0 0 25 0 1 0 34982442 575397888 129374 33554432000 4194304 4365125 140737080045184 18446744073709551615 232124104599 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 140478 129374 264 42 0 137626 0
Current children cumulated CPU time (s) 563.11
Current children cumulated vsize (KiB) 561912
[startup+563.9 s]
/proc/loadavg: 3.24 3.76 3.15 4/184 25178
/proc/meminfo: memFree=29810752/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=561912 CPUtime=563.9 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1413930 0 0 0 56225 165 0 0 25 0 1 0 34982442 575397888 129374 33554432000 4194304 4365125 140737080045184 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 140478 129374 264 42 0 137626 0
Current children cumulated CPU time (s) 563.9
Current children cumulated vsize (KiB) 561912
[startup+564.306 s]
/proc/loadavg: 3.22 3.74 3.15 4/184 25178
/proc/meminfo: memFree=29841008/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=561912 CPUtime=564.31 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1413930 0 0 0 56266 165 0 0 25 0 1 0 34982442 575397888 129374 33554432000 4194304 4365125 140737080045184 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 140478 129374 264 42 0 137626 0
Current children cumulated CPU time (s) 564.31
Current children cumulated vsize (KiB) 561912
[startup+564.401 s]
/proc/loadavg: 3.22 3.74 3.15 4/184 25178
/proc/meminfo: memFree=29841008/32950928 swapFree=67111364/67111528
[pid=25065] ppid=25063 vsize=561912 CPUtime=564.41 cores=0,2
/proc/25065/stat : 25065 (MoUsSaka) R 25063 25065 24676 0 -1 4202496 1413930 0 0 0 56276 165 0 0 25 0 1 0 34982442 575397888 129374 33554432000 4194304 4365125 140737080045184 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25065/statm: 140478 129374 264 42 0 137626 0
Current children cumulated CPU time (s) 564.41
Current children cumulated vsize (KiB) 561912
Child status: 20
Real time (s): 564.45
CPU time (s): 564.463
CPU user time (s): 562.788
CPU system time (s): 1.67474
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1145596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 562.788
system time used= 1.67474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1413935
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= 7
involuntary context switches= 1379
runsolver used 0.953854 second user time and 2.10868 second system time
The end
Begin job on node124 at 2011-06-14 11:06:16
IDJOB=3501543
IDBENCH=90089
IDSOLVER=2000
FILE ID=node124/3501543-1308042376
RUNJOBID= node124-1308041932-24694
PBS_JOBID= 13564702
Free space on /tmp= 73740 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/vis4arbitp1.aig.k25.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501543-1308042376/watcher-3501543-1308042376 -o /tmp/evaluation-result-3501543-1308042376/solver-3501543-1308042376 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501543-1308042376.gcnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 962dfafc2f2e56bfaa2e057ae691f806
RANDOM SEED=1264006770
node124.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.855
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.71
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.855
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.855
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.82
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.855
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.77
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.855
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.855
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.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 30397032 kB
Buffers: 222412 kB
Cached: 879764 kB
SwapCached: 0 kB
Active: 1550088 kB
Inactive: 787980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30397032 kB
SwapTotal: 67111528 kB
SwapFree: 67111364 kB
Dirty: 928 kB
Writeback: 0 kB
AnonPages: 1236176 kB
Mapped: 16844 kB
Slab: 147776 kB
PageTables: 6924 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1641456 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= 73744 MiB
End job on node124 at 2011-06-14 11:15:41