Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown (fixed) | OPTIMUM | 801.067 | 803.325 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh208_wcsp.wbo |
| MD5SUM | bf55ab5b50211f096e62edcb64c4bf57 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 79 |
| Best CPU time to get the best result obtained on this benchmark | 0.012997 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 900 |
| Number of soft constraints | 800 |
| Number of constraints which are clauses | 800 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 394239 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 394238 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c run usual solver 0.00/0.04 o 4673 0.00/0.04 c fallback to adder encoding 3.19/3.25 o 4665 3.19/3.25 c fallback to adder encoding 6.04/6.12 o 4662 6.04/6.12 c fallback to adder encoding 11.26/11.38 o 4653 11.26/11.38 c fallback to adder encoding 13.36/13.48 o 4640 13.36/13.48 c fallback to adder encoding 18.88/18.97 o 4634 18.88/18.97 c fallback to adder encoding 22.16/22.24 o 4633 22.16/22.24 c fallback to adder encoding 26.17/26.25 o 4632 26.17/26.25 c fallback to adder encoding 29.36/29.44 o 4624 29.36/29.44 c fallback to adder encoding 33.87/33.94 o 4621 33.87/33.94 c fallback to adder encoding 37.04/37.11 o 4615 37.04/37.11 c fallback to adder encoding 38.98/39.06 o 4614 38.98/39.06 c fallback to adder encoding 44.26/44.31 o 4610 44.26/44.31 c fallback to adder encoding 48.55/48.67 o 4609 48.55/48.67 c fallback to adder encoding 52.21/52.31 o 4608 52.21/52.31 c fallback to adder encoding 55.71/55.81 o 4603 55.71/55.81 c fallback to adder encoding 58.19/58.35 o 4590 58.19/58.35 c fallback to adder encoding 61.37/61.53 o 4571 61.37/61.53 c fallback to adder encoding 64.84/65.09 o 4565 64.84/65.09 c fallback to adder encoding 69.03/69.22 o 4563 69.03/69.22 c fallback to adder encoding 72.60/72.82 o 4551 72.60/72.82 c fallback to adder encoding 80.12/80.39 o 4550 80.12/80.39 c fallback to adder encoding 82.24/82.40 o 4515 82.24/82.40 c fallback to adder encoding 85.59/85.89 o 4508 85.59/85.89 c fallback to adder encoding 88.64/88.94 o 4492 88.64/88.94 c fallback to adder encoding 91.53/91.83 o 4483 91.53/91.83 c fallback to adder encoding 94.74/95.04 o 4480 94.74/95.04 c fallback to adder encoding 100.34/100.67 o 4475 100.34/100.67 c fallback to adder encoding 104.02/104.33 o 4307 104.02/104.33 c fallback to adder encoding 108.70/109.01 o 4306 108.70/109.01 c fallback to adder encoding 112.01/112.31 o 4305 112.01/112.31 c fallback to adder encoding 115.04/115.37 o 4291 115.04/115.37 c fallback to adder encoding 120.54/120.87 o 4288 120.54/120.87 c fallback to adder encoding 129.35/129.70 o 4286 129.35/129.70 c fallback to adder encoding 133.34/133.66 o 4266 133.34/133.66 c fallback to adder encoding 137.82/138.12 o 4262 137.82/138.12 c fallback to adder encoding 141.54/141.88 o 4245 141.54/141.88 c fallback to adder encoding 148.83/149.14 o 4241 148.83/149.14 c fallback to adder encoding 154.39/154.70 o 4238 154.39/154.70 c fallback to adder encoding 158.24/158.56 o 4237 158.24/158.56 c fallback to adder encoding 164.83/165.18 o 4236 164.83/165.18 c fallback to adder encoding 171.70/172.02 o 4231 171.70/172.02 c fallback to adder encoding 174.52/174.82 o 4225 174.52/174.82 c fallback to adder encoding 178.33/178.64 o 4218 178.33/178.64 c fallback to adder encoding 180.02/180.33 o 4213 180.02/180.33 c fallback to adder encoding 184.92/185.26 o 4212 184.92/185.26 c fallback to adder encoding 187.71/188.08 o 4150 187.71/188.08 c fallback to adder encoding 195.93/196.26 o 4148 195.93/196.26 c fallback to adder encoding 199.20/199.53 o 4147 199.20/199.53 c fallback to adder encoding 202.71/203.08 o 4125 202.71/203.08 c fallback to adder encoding 205.41/205.75 o 4124 205.41/205.75 c fallback to adder encoding 209.72/210.04 o 4114 209.72/210.04 c fallback to adder encoding 213.68/214.02 o 4113 213.68/214.02 c fallback to adder encoding 216.81/217.18 o 4112 216.81/217.18 c fallback to adder encoding 220.71/221.02 o 4111 220.71/221.02 c fallback to adder encoding 223.09/223.47 o 4104 223.09/223.47 c fallback to adder encoding 227.20/227.60 o 4101 227.20/227.60 c fallback to adder encoding 232.57/232.91 o 3961 232.57/232.91 c fallback to adder encoding 235.27/235.62 o 3960 235.27/235.62 c fallback to adder encoding 237.71/238.06 o 3940 237.71/238.06 c fallback to adder encoding 240.91/241.24 o 3904 240.91/241.24 c fallback to adder encoding 242.91/243.25 o 3902 242.91/243.25 c fallback to adder encoding 247.41/247.75 o 3899 247.41/247.75 c fallback to adder encoding 251.49/251.96 o 3894 251.49/251.96 c fallback to adder encoding 253.80/254.20 o 3885 253.80/254.20 c fallback to adder encoding 255.37/255.83 o 3878 255.37/255.83 c fallback to adder encoding 257.35/257.81 o 3859 257.35/257.81 c fallback to adder encoding 259.46/259.92 o 3858 259.46/259.92 c fallback to adder encoding 264.59/265.02 o 3857 264.59/265.02 c fallback to adder encoding 267.49/267.90 o 3856 267.49/267.90 c fallback to adder encoding 271.86/272.32 o 3843 271.86/272.32 c fallback to adder encoding 275.65/276.11 o 3842 275.65/276.11 c fallback to adder encoding 279.16/279.63 o 3771 279.16/279.63 c fallback to adder encoding 283.98/284.44 o 3749 283.98/284.44 c fallback to adder encoding 285.38/285.88 o 3744 285.38/285.88 c fallback to adder encoding 288.47/288.97 o 3735 288.47/288.97 c fallback to adder encoding 289.94/290.41 o 3714 289.94/290.41 c fallback to adder encoding 292.18/292.64 o 3609 292.18/292.64 c fallback to adder encoding 294.41/294.92 o 3608 294.41/294.92 c fallback to adder encoding 297.44/297.95 o 3605 297.44/297.95 c fallback to adder encoding 298.81/299.31 o 3604 298.81/299.31 c fallback to adder encoding 301.39/301.91 o 3593 301.39/301.91 c fallback to adder encoding 303.72/304.21 o 3587 303.72/304.21 c fallback to adder encoding 308.83/309.39 o 3586 308.83/309.39 c fallback to adder encoding 310.60/311.11 o 3581 310.60/311.11 c fallback to adder encoding 312.44/312.95 o 3577 312.44/312.95 c fallback to adder encoding 315.64/316.17 o 3562 315.64/316.17 c fallback to adder encoding 318.23/318.75 o 3536 318.23/318.75 c fallback to adder encoding 320.81/321.32 o 3530 320.81/321.32 c fallback to adder encoding 322.74/323.20 o 3512 322.74/323.20 c fallback to adder encoding 325.21/325.73 o 3439 325.21/325.73 c fallback to adder encoding 330.93/331.48 o 3431 330.93/331.48 c fallback to adder encoding 334.04/334.50 o 3430 334.04/334.50 c fallback to adder encoding 339.92/340.48 o 3428 339.92/340.48 c fallback to adder encoding 344.51/345.03 o 3427 344.51/345.03 c fallback to adder encoding 346.61/347.17 o 3422 346.61/347.17 c fallback to adder encoding 348.20/348.74 o 3420 348.20/348.74 c fallback to adder encoding 350.39/350.92 o 3415 350.39/350.92 c fallback to adder encoding 352.17/352.70 o 3237 352.17/352.70 c fallback to adder encoding 353.31/353.85 o 3061 353.31/353.85 c fallback to adder encoding 356.49/357.01 o 3022 356.49/357.01 c fallback to adder encoding 359.78/360.31 o 3017 359.78/360.31 c fallback to adder encoding 374.28/374.82 o 3016 374.28/374.82 c fallback to adder encoding 378.51/379.04 o 3011 378.51/379.04 c fallback to adder encoding 382.40/382.97 o 2975 382.40/382.97 c fallback to adder encoding 390.82/391.37 o 2970 390.82/391.37 c fallback to adder encoding 396.39/396.98 o 2964 396.39/396.98 c fallback to adder encoding 400.30/400.80 o 2845 400.30/400.80 c fallback to adder encoding 402.30/402.86 o 2834 402.30/402.86 c fallback to adder encoding 405.79/406.34 o 2825 405.79/406.34 c fallback to adder encoding 408.30/408.85 o 2820 408.30/408.85 c fallback to adder encoding 410.01/410.55 o 2819 410.01/410.55 c fallback to adder encoding 414.89/415.43 o 2818 414.89/415.43 c fallback to adder encoding 424.43/425.02 o 2817 424.43/425.02 c fallback to adder encoding 432.56/433.17 o 2816 432.56/433.17 c fallback to adder encoding 433.43/434.05 o 2814 433.43/434.05 c fallback to adder encoding 442.17/442.81 o 2807 442.17/442.81 c fallback to adder encoding 444.13/444.70 o 2775 444.13/444.70 c fallback to adder encoding 445.92/446.59 o 2767 445.92/446.59 c fallback to adder encoding 450.02/450.68 o 2766 450.02/450.68 c fallback to adder encoding 451.92/452.58 o 2752 451.92/452.58 c fallback to adder encoding 453.92/454.59 o 2730 453.92/454.59 c fallback to adder encoding 456.28/456.90 o 2719 456.28/456.90 c fallback to adder encoding 459.42/460.09 o 2668 459.42/460.09 c fallback to adder encoding 463.41/464.08 o 2587 463.41/464.08 c fallback to adder encoding 466.61/467.25 o 2586 466.61/467.25 c fallback to adder encoding 471.09/471.72 o 2576 471.09/471.72 c fallback to adder encoding 475.42/476.00 o 2573 475.42/476.00 c fallback to adder encoding 480.80/481.43 o 2540 480.80/481.43 c fallback to adder encoding 488.82/489.44 o 2531 488.82/489.44 c fallback to adder encoding 491.61/492.25 o 2515 491.61/492.25 c fallback to adder encoding 494.57/495.21 o 2513 494.57/495.21 c fallback to adder encoding 497.59/498.31 o 2098 497.59/498.31 c fallback to adder encoding 500.56/501.34 o 2089 500.56/501.34 c fallback to adder encoding 502.75/503.57 o 2088 502.75/503.57 c fallback to adder encoding 506.80/507.63 o 2087 506.80/507.63 c fallback to adder encoding 509.40/510.29 o 2080 509.40/510.29 c fallback to adder encoding 512.60/513.47 o 2079 512.60/513.47 c fallback to adder encoding 515.09/515.93 o 2055 515.09/515.93 c fallback to adder encoding 519.02/519.84 o 2054 519.02/519.84 c fallback to adder encoding 521.31/522.19 o 2049 521.31/522.19 c fallback to adder encoding 527.21/528.08 o 2048 527.21/528.08 c fallback to adder encoding 530.60/531.44 o 2044 530.60/531.44 c fallback to adder encoding 533.02/533.85 o 2043 533.02/533.85 c fallback to adder encoding 535.38/536.21 o 2033 535.38/536.21 c fallback to adder encoding 537.70/538.56 o 2024 537.70/538.56 c fallback to adder encoding 539.50/540.38 o 2002 539.50/540.38 c fallback to adder encoding 541.81/542.65 o 1980 541.81/542.65 c fallback to adder encoding 545.21/546.04 o 1943 545.21/546.04 c fallback to adder encoding 545.91/546.77 o 1941 545.91/546.77 c fallback to adder encoding 549.70/550.59 o 1919 549.70/550.59 c fallback to adder encoding 552.40/553.25 o 1905 552.40/553.25 c fallback to adder encoding 554.79/555.67 o 1898 554.79/555.67 c fallback to adder encoding 558.28/559.19 o 1895 558.28/559.19 c fallback to adder encoding 562.78/563.67 o 1894 562.78/563.67 c fallback to adder encoding 565.39/566.24 o 1888 565.39/566.24 c fallback to adder encoding 567.82/568.74 o 1868 567.82/568.74 c fallback to adder encoding 569.32/570.28 o 1867 569.32/570.28 c fallback to adder encoding 572.03/573.00 o 1866 572.03/573.00 c fallback to adder encoding 574.92/575.89 o 1859 574.92/575.89 c fallback to adder encoding 580.32/581.23 o 1843 580.32/581.23 c fallback to adder encoding 582.34/583.26 o 1823 582.34/583.26 c fallback to adder encoding 583.89/584.80 o 1815 583.89/584.80 c fallback to adder encoding 586.55/587.40 o 1808 586.55/587.40 c fallback to adder encoding 588.50/589.43 o 1799 588.50/589.43 c fallback to adder encoding 592.73/593.69 o 1791 592.73/593.69 c fallback to adder encoding 594.68/595.63 o 1790 594.68/595.63 c fallback to adder encoding 596.18/597.19 o 1783 596.18/597.19 c fallback to adder encoding 597.90/598.96 o 1777 597.90/598.96 c fallback to adder encoding 598.89/600.01 o 1758 598.89/600.01 c fallback to adder encoding 601.11/602.23 o 1738 601.11/602.23 c fallback to adder encoding 603.45/604.78 o 1720 603.45/604.78 c fallback to adder encoding 604.06/605.43 o 1712 604.06/605.43 c fallback to adder encoding 605.16/606.52 o 1711 605.16/606.52 c fallback to adder encoding 608.26/609.76 o 1710 608.26/609.76 c fallback to adder encoding 612.00/613.58 o 1709 612.00/613.58 c fallback to adder encoding 615.28/616.85 o 1700 615.28/616.85 c fallback to adder encoding 618.28/619.86 o 1682 618.28/619.86 c fallback to adder encoding 619.67/621.25 o 1677 619.67/621.25 c fallback to adder encoding 623.58/625.18 o 1675 623.58/625.18 c fallback to adder encoding 625.39/626.95 o 1653 625.39/626.95 c fallback to adder encoding 627.48/629.08 o 1649 627.48/629.08 c fallback to adder encoding 629.38/630.93 o 1644 629.38/630.93 c fallback to adder encoding 631.17/632.79 o 1640 631.17/632.79 c fallback to adder encoding 633.78/635.30 o 1639 633.78/635.30 c fallback to adder encoding 636.68/638.29 o 1607 636.68/638.29 c fallback to adder encoding 638.17/639.72 o 1600 638.17/639.72 c fallback to adder encoding 641.46/643.06 o 1599 641.46/643.06 c fallback to adder encoding 643.48/645.04 o 1590 643.48/645.04 c fallback to adder encoding 645.78/647.39 o 1588 645.78/647.39 c fallback to adder encoding 646.88/648.47 o 1567 646.88/648.47 c fallback to adder encoding 649.58/651.16 o 1564 649.58/651.16 c fallback to adder encoding 650.97/652.55 o 1558 650.97/652.55 c fallback to adder encoding 655.81/657.40 o 1557 655.81/657.40 c fallback to adder encoding 657.78/659.41 o 1555 657.78/659.41 c fallback to adder encoding 660.11/661.76 o 1552 660.11/661.76 c fallback to adder encoding 663.71/665.39 o 1549 663.71/665.39 c fallback to adder encoding 666.80/668.48 o 1546 666.80/668.48 c fallback to adder encoding 670.19/671.82 o 1540 670.19/671.82 c fallback to adder encoding 671.28/672.91 o 1535 671.28/672.91 c fallback to adder encoding 674.11/675.78 o 1506 674.11/675.78 c fallback to adder encoding 680.12/681.70 o 1505 680.12/681.70 c fallback to adder encoding 684.22/685.85 o 1480 684.22/685.85 c fallback to adder encoding 686.71/688.37 o 1455 686.71/688.37 c fallback to adder encoding 688.32/689.99 o 1441 688.32/689.99 c fallback to adder encoding 690.11/691.76 o 1440 690.11/691.76 c fallback to adder encoding 691.36/693.07 o 1413 691.36/693.07 c fallback to adder encoding 694.87/696.58 o 1402 694.87/696.58 c fallback to adder encoding 696.46/698.18 o 1375 696.46/698.18 c fallback to adder encoding 698.47/700.16 o 1367 698.47/700.16 c fallback to adder encoding 701.37/703.06 o 1344 701.37/703.06 c fallback to adder encoding 704.67/706.37 o 1334 704.67/706.37 c fallback to adder encoding 707.26/708.93 o 1333 707.26/708.93 c fallback to adder encoding 713.96/715.69 o 1331 713.96/715.69 c fallback to adder encoding 716.27/717.97 o 1329 716.27/717.97 c fallback to adder encoding 718.19/719.99 o 1326 718.19/719.99 c fallback to adder encoding 720.01/721.82 o 1322 720.01/721.82 c fallback to adder encoding 722.72/724.52 o 1311 722.72/724.52 c fallback to adder encoding 724.62/726.49 o 1307 724.62/726.49 c fallback to adder encoding 726.81/728.62 o 991 726.81/728.62 c fallback to adder encoding 728.14/729.99 o 981 728.14/729.99 c fallback to adder encoding 730.03/731.88 o 963 730.03/731.88 c fallback to adder encoding 731.94/733.74 o 961 731.94/733.74 c fallback to adder encoding 733.33/735.19 o 960 733.33/735.19 c fallback to adder encoding 735.01/736.90 o 896 735.01/736.90 c fallback to adder encoding 737.73/739.57 o 895 737.73/739.57 c fallback to adder encoding 738.92/740.79 o 866 738.92/740.79 c fallback to adder encoding 740.79/742.73 o 858 740.79/742.73 c fallback to adder encoding 742.55/744.55 o 842 742.55/744.55 c fallback to adder encoding 744.15/746.15 o 841 744.15/746.15 c fallback to adder encoding 746.65/748.66 o 832 746.65/748.66 c fallback to adder encoding 747.64/749.62 o 831 747.64/749.62 c fallback to adder encoding 750.05/752.08 o 824 750.05/752.08 c fallback to adder encoding 750.95/752.94 o 766 750.95/752.94 c fallback to adder encoding 751.84/753.84 o 763 751.84/753.84 c fallback to adder encoding 752.72/754.71 o 741 752.72/754.71 c fallback to adder encoding 753.55/755.53 o 737 753.55/755.53 c fallback to adder encoding 755.05/757.06 o 734 755.05/757.06 c fallback to adder encoding 755.90/757.93 o 732 755.90/757.93 c fallback to adder encoding 757.02/759.09 o 730 757.02/759.09 c fallback to adder encoding 757.17/759.85 o 726 757.17/759.85 c fallback to adder encoding 759.30/761.37 o 719 759.30/761.37 c fallback to adder encoding 759.46/762.14 o 718 759.46/762.14 c fallback to adder encoding 760.22/763.07 o 714 760.22/763.07 c fallback to adder encoding 762.80/764.81 o 713 762.80/764.81 c fallback to adder encoding 763.69/765.70 o 708 763.69/765.70 c fallback to adder encoding 764.49/766.52 o 689 764.49/766.52 c fallback to adder encoding 766.01/768.11 o 688 766.01/768.11 c fallback to adder encoding 766.73/768.85 o 680 766.73/768.85 c fallback to adder encoding 768.70/770.80 o 673 768.70/770.80 c fallback to adder encoding 769.79/771.91 o 668 769.79/771.91 c fallback to adder encoding 771.50/773.66 o 666 771.50/773.66 c fallback to adder encoding 772.34/774.59 o 659 772.34/774.59 c fallback to adder encoding 772.51/775.37 o 658 772.51/775.37 c fallback to adder encoding 773.29/776.19 o 657 773.29/776.19 c fallback to adder encoding 775.65/777.88 o 651 775.65/777.88 c fallback to adder encoding 776.56/778.79 o 650 776.56/778.79 c fallback to adder encoding 778.55/780.74 o 649 778.55/780.74 c fallback to adder encoding 779.56/781.73 o 645 779.56/781.73 c fallback to adder encoding 780.65/782.81 o 630 780.65/782.81 c fallback to adder encoding 781.76/783.93 o 592 781.76/783.93 c fallback to adder encoding 782.51/784.71 o 573 782.51/784.71 c fallback to adder encoding 783.13/785.36 o 571 783.13/785.36 c fallback to adder encoding 783.24/786.14 o 570 783.24/786.14 c fallback to adder encoding 784.41/786.69 o 569 784.41/786.69 c fallback to adder encoding 784.58/787.24 o 568 784.58/787.24 c fallback to adder encoding 785.11/787.50 o 563 785.11/787.50 c fallback to adder encoding 785.37/788.38 o 562 785.37/788.38 c fallback to adder encoding 786.82/789.04 o 553 786.82/789.04 c fallback to adder encoding 786.89/789.59 o 516 786.89/789.59 c fallback to adder encoding 788.08/790.39 o 515 788.08/790.39 c fallback to adder encoding 788.79/791.05 o 504 788.79/791.05 c fallback to adder encoding 788.90/791.36 o 497 788.90/791.36 c fallback to adder encoding 789.78/792.03 o 490 789.78/792.03 c fallback to adder encoding 789.87/792.95 o 489 789.87/792.95 c fallback to adder encoding 790.79/793.58 o 486 790.79/793.58 c fallback to adder encoding 791.42/793.93 o 471 791.42/793.93 c fallback to adder encoding 792.39/794.64 o 464 792.39/794.64 c fallback to adder encoding 792.44/794.96 o 451 792.44/794.96 c fallback to adder encoding 792.77/795.16 o 437 792.77/795.16 c fallback to adder encoding 792.96/795.56 o 429 792.96/795.56 c fallback to adder encoding 793.37/796.18 o 428 793.37/796.18 c fallback to adder encoding 794.16/796.45 o 422 794.16/796.45 c fallback to adder encoding 794.26/796.68 o 421 794.26/796.68 c fallback to adder encoding 794.49/796.96 o 420 794.49/796.96 c fallback to adder encoding 795.16/797.44 o 418 795.16/797.44 c fallback to adder encoding 795.25/798.07 o 417 795.25/798.07 c fallback to adder encoding 795.87/798.43 o 416 795.87/798.43 c fallback to adder encoding 796.46/798.75 o 410 796.46/798.75 c fallback to adder encoding 796.96/799.22 o 400 796.96/799.22 c fallback to adder encoding 797.35/799.70 o 399 797.35/799.70 c fallback to adder encoding 797.45/799.94 o 379 797.45/799.94 c fallback to adder encoding 797.70/800.19 o 374 797.70/800.19 c fallback to adder encoding 797.94/800.48 o 372 797.94/800.48 c fallback to adder encoding 798.23/800.68 o 272 798.23/800.68 c fallback to adder encoding 798.42/800.83 o 270 798.42/800.83 c fallback to adder encoding 798.56/800.99 o 267 798.56/800.99 c fallback to adder encoding 798.72/801.17 o 265 798.72/801.17 c fallback to adder encoding 799.11/801.41 o 233 799.11/801.41 c fallback to adder encoding 799.11/801.48 o 225 799.11/801.48 c fallback to adder encoding 799.21/801.59 o 224 799.21/801.59 c fallback to adder encoding 799.31/801.65 o 218 799.31/801.65 c fallback to adder encoding 799.39/801.75 o 216 799.39/801.75 c fallback to adder encoding 799.53/801.84 o 215 799.53/801.84 c fallback to adder encoding 799.58/801.92 o 214 799.58/801.92 c fallback to adder encoding 799.71/802.01 o 213 799.71/802.01 c fallback to adder encoding 799.75/802.11 o 198 799.95/802.31 o 187 800.07/802.48 o 182 800.30/802.65 o 181 800.46/802.82 o 171 800.62/802.96 o 163 800.77/803.10 o 116 800.77/803.17 o 109 800.91/803.24 o 104 801.02/803.30 o 79 801.02/803.32 c display solution 801.02/803.32 s OPTIMUM FOUND 801.02/803.32 v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 -x29 x30 -x31 x32 x33 -x34 -x35 x36 x37 -x38 x39 -x40 x41 -x42 -x43 x44 x45 -x46 x47 -x48 -x49 x50 x51 -x52 x53 -x54 -x55 x56 -x57 x58 x59 -x60 x61 -x62 -x63 x64 -x65 x66 x67 -x68 -x69 x70 -x71 x72 -x73 x74 -x75 x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 -x85 x86 x87 -x88 -x89 x90 -x91 x92 -x93 x94 x95 -x96 x97 -x98 -x99 x100 x101 -x102 -x103 x104 -x105 x106 x107 -x108 -x109 x110 x111 -x112 -x113 x114 x115 -x116 -x117 x118 x119 -x120 -x121 x122 -x123 x124 x125 -x126 -x127 x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 -x145 x146 -x147 x148 x149 -x150 -x151 x152 x153 -x154 -x155 x156 -x157 x158 -x159 x160 x161 -x162 x163 -x164 -x165 x166 -x167 x168 x169 -x170 x171 -x172 -x173 x174 -x175 x176 x177 -x178 x179 -x180 -x181 x182 x183 -x184 -x185 x186 -x187 x188 -x189 x190 x191 -x192 x193 -x194 x195 -x196 -x197 x198 x199 -x200
OK 79
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-3753814-1339201083/watcher-3753814-1339201083 -o /tmp/evaluation-result-3753814-1339201083/solver-3753814-1339201083 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753814-1339201083.wbo 1061552149 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.02 2.00 3/176 20592 /proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [startup+0.0924089 s] /proc/loadavg: 2.07 2.02 2.00 3/176 20592 /proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100201 s] /proc/loadavg: 2.07 2.02 2.00 3/176 20592 /proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300213 s] /proc/loadavg: 2.07 2.02 2.00 3/176 20592 /proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700189 s] /proc/loadavg: 2.07 2.02 2.00 3/176 20592 /proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50033 s] /proc/loadavg: 2.07 2.02 2.00 3/180 20613 /proc/meminfo: memFree=29700232/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=0.15 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 3645 5386 0 0 11 2 1 1 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20593/statm: 4988 4523 179 443 0 4541 0 [pid=20605] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20605/stat : 20605 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386233827 9367552 267 33554432000 4194304 5064252 140735729517200 140735729516112 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20605/statm: 2287 267 226 213 0 72 0 [pid=20606] ppid=20605 vsize=26168 CPUtime=1.33 cores=0,2,4,6 /proc/20606/stat : 20606 (glucose) R 20605 20592 14131 0 -1 4202496 6259 0 0 0 132 1 0 0 20 0 1 0 386233827 26796032 5338 33554432000 4194304 5208918 140735302306048 140735302304008 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20606/statm: 6542 5338 105 248 0 6291 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 64416 [startup+3.10038 s] /proc/loadavg: 2.07 2.02 2.00 3/181 20614 /proc/meminfo: memFree=29697876/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=0.15 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 3645 5386 0 0 11 2 1 1 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20593/statm: 4988 4523 179 443 0 4541 0 [pid=20605] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20605/stat : 20605 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386233827 9367552 267 33554432000 4194304 5064252 140735729517200 140735729516112 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20605/statm: 2287 267 226 213 0 72 0 [pid=20606] ppid=20605 vsize=26840 CPUtime=2.92 cores=0,2,4,6 /proc/20606/stat : 20606 (glucose) R 20605 20592 14131 0 -1 4202496 6800 0 0 0 291 1 0 0 20 0 1 0 386233827 27484160 5870 33554432000 4194304 5208918 140735302306048 140735302303896 4232672 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20606/statm: 6710 5870 105 248 0 6459 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 65088 [startup+6.30032 s] /proc/loadavg: 2.07 2.02 2.00 3/181 20628 /proc/meminfo: memFree=29709404/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=6.21 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 8081 25120 0 0 32 4 577 8 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20593/statm: 4988 4523 179 443 0 4541 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 29100 [startup+12.7003 s] /proc/loadavg: 2.06 2.02 2.00 3/181 20649 /proc/meminfo: memFree=29698624/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=11.47 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 10299 35996 0 0 42 5 1087 13 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20593/statm: 4988 4523 179 443 0 4541 0 [pid=20648] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20648/stat : 20648 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386234960 9367552 267 33554432000 4194304 5064252 140736401528896 140736401527808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20648/statm: 2287 267 226 213 0 72 0 [pid=20649] ppid=20648 vsize=25748 CPUtime=1.19 cores=0,2,4,6 /proc/20649/stat : 20649 (glucose) R 20648 20592 14131 0 -1 4202496 6046 0 0 0 118 1 0 0 20 0 1 0 386234961 26365952 5140 33554432000 4194304 5208918 140737217319920 140737217317768 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20649/statm: 6437 5140 105 248 0 6186 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 63996 [startup+25.5003 s] /proc/loadavg: 2.05 2.01 2.00 3/181 20684 /proc/meminfo: memFree=29697008/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=22.33 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 16953 62740 0 0 73 8 2128 24 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20593/statm: 4988 4523 179 443 0 4541 0 [pid=20676] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20676/stat : 20676 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386236046 9367552 267 33554432000 4194304 5064252 140736083048176 140736083047088 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20676/statm: 2287 267 226 213 0 72 0 [pid=20677] ppid=20676 vsize=26308 CPUtime=3.13 cores=0,2,4,6 /proc/20677/stat : 20677 (glucose) R 20676 20592 14131 0 -1 4202496 6554 0 0 0 312 1 0 0 20 0 1 0 386236046 26939392 5628 33554432000 4194304 5208918 140737349050464 140737349048312 4211851 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20677/statm: 6577 5628 105 248 0 6326 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 64556 [startup+51.1003 s] /proc/loadavg: 2.17 2.04 2.01 3/181 20768 /proc/meminfo: memFree=29697032/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=48.73 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 32479 132076 0 0 145 15 4662 51 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20593/statm: 4988 4523 179 443 0 4541 0 [pid=20760] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20760/stat : 20760 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386238689 9367552 267 33554432000 4194304 5064252 140736464624160 140736464623072 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20760/statm: 2287 267 226 213 0 72 0 [pid=20761] ppid=20760 vsize=26416 CPUtime=2.3 cores=0,2,4,6 /proc/20761/stat : 20761 (glucose) R 20760 20592 14131 0 -1 4202496 5893 0 0 0 230 0 0 0 20 0 1 0 386238689 27049984 5899 33554432000 4194304 5208918 140735806500240 140735806497992 4211534 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20761/statm: 6604 5899 105 248 0 6353 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 64664 [startup+102.306 s] /proc/loadavg: 2.02 2.02 2.00 3/181 20943 /proc/meminfo: memFree=29697612/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=100.54 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 63531 269604 0 0 290 29 9631 104 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20593/statm: 4988 4523 179 443 0 4541 0 [pid=20942] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20942/stat : 20942 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386243889 9367552 267 33554432000 4194304 5064252 140735298621136 140735298620048 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20942/statm: 2287 267 226 213 0 72 0 [pid=20943] ppid=20942 vsize=25356 CPUtime=1.5 cores=0,2,4,6 /proc/20943/stat : 20943 (glucose) R 20942 20592 14131 0 -1 4202496 5925 0 0 0 149 1 0 0 20 0 1 0 386243890 25964544 5013 33554432000 4194304 5208918 140734386033008 140734386030856 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20943/statm: 6339 5013 104 248 0 6088 0 Current children cumulated CPU time (s) 102.04 Current children cumulated vsize (KiB) 63604 [startup+162.3 s] /proc/loadavg: 2.15 2.05 2.01 3/182 21121 /proc/meminfo: memFree=29700524/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=158.42 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 90147 384264 0 0 414 42 15234 152 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20593/statm: 4988 4523 179 443 0 4541 0 [pid=21113] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/21113/stat : 21113 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386249678 9367552 267 33554432000 4194304 5064252 140735157522832 140735157521744 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/21113/statm: 2287 267 226 213 0 72 0 [pid=21114] ppid=21113 vsize=25888 CPUtime=3.61 cores=0,2,4,6 /proc/21114/stat : 21114 (glucose) R 21113 20592 14131 0 -1 4202496 6048 0 0 0 360 1 0 0 20 0 1 0 386249678 26509312 5471 33554432000 4194304 5208918 140734118103856 140734118102008 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/21114/statm: 6472 5471 105 248 0 6221 0 Current children cumulated CPU time (s) 162.03 ################ # More data... # ################ /proc/20593/statm: 4988 4524 179 443 0 4541 0 [pid=23083] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23083/stat : 23083 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386291944 9367552 267 33554432000 4194304 5064252 140737222059248 140737222058160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23083/statm: 2287 267 226 213 0 72 0 [pid=23084] ppid=23083 vsize=19728 CPUtime=0.96 cores=0,2,4,6 /proc/23084/stat : 23084 (glucose) R 23083 20592 14131 0 -1 4202496 5174 0 0 0 95 1 0 0 20 0 1 0 386291944 20201472 4572 33554432000 4194304 5208918 140734100906832 140734100904680 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/23084/statm: 4932 4572 104 248 0 4681 0 Current children cumulated CPU time (s) 581.44 Current children cumulated vsize (KiB) 57976 [startup+642.3 s] /proc/loadavg: 1.97 2.00 1.99 3/181 23337 /proc/meminfo: memFree=29694848/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=638.3 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 416147 1747847 0 0 1768 177 61190 695 20 0 1 0 386233811 20430848 4524 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0 /proc/20593/statm: 4988 4524 179 443 0 4541 0 [pid=23329] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23329/stat : 23329 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386297792 9367552 267 33554432000 4194304 5064252 140734494250384 140734494249296 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23329/statm: 2287 267 226 213 0 72 0 [pid=23330] ppid=23329 vsize=22712 CPUtime=2.47 cores=0,2,4,6 /proc/23330/stat : 23330 (glucose) R 23329 20592 14131 0 -1 4202496 5391 0 0 0 246 1 0 0 20 0 1 0 386297793 23257088 4917 33554432000 4194304 5208918 140735151713776 140735151711928 4210976 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/23330/statm: 5678 4917 104 248 0 5427 0 Current children cumulated CPU time (s) 640.77 Current children cumulated vsize (KiB) 60960 [startup+702.3 s] /proc/loadavg: 1.99 2.00 1.99 3/181 23561 /proc/meminfo: memFree=29694552/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=698.64 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 467138 1950915 0 0 1964 197 66925 778 20 0 1 0 386233811 20430848 4524 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0 /proc/20593/statm: 4988 4524 179 443 0 4541 0 [pid=23560] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23560/stat : 23560 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386303836 9367552 266 33554432000 4194304 5064252 140736615353120 140736615352032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23560/statm: 2287 266 226 213 0 72 0 [pid=23561] ppid=23560 vsize=22432 CPUtime=2.03 cores=0,2,4,6 /proc/23561/stat : 23561 (glucose) R 23560 20592 14131 0 -1 4202496 5368 0 0 0 202 1 0 0 20 0 1 0 386303837 22970368 4769 33554432000 4194304 5208918 140736922664976 140736922662728 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/23561/statm: 5608 4769 104 248 0 5357 0 Current children cumulated CPU time (s) 700.67 Current children cumulated vsize (KiB) 60680 [startup+762.306 s] /proc/loadavg: 1.99 2.00 1.99 3/180 24257 /proc/meminfo: memFree=29295056/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=760.22 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 532893 2205417 0 0 2199 222 72729 872 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0 /proc/20593/statm: 4988 4530 179 443 0 4541 0 Current children cumulated CPU time (s) 760.22 Current children cumulated vsize (KiB) 29100 Solver just ended. Dumping a history of the last processes samples [startup+767.9 s] /proc/loadavg: 2.07 2.02 2.00 3/182 24287 /proc/meminfo: memFree=29278244/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=764.6 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 539705 2233005 0 0 2222 224 73131 883 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0 /proc/20593/statm: 4988 4530 179 443 0 4541 0 [pid=24286] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24286/stat : 24286 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386310469 9367552 266 33554432000 4194304 5064252 140734956646128 140734956645040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/24286/statm: 2287 266 226 213 0 72 0 [pid=24287] ppid=24286 vsize=15576 CPUtime=1.31 cores=0,2,4,6 /proc/24287/stat : 24287 (glucose) R 24286 20592 14131 0 -1 4202496 3939 0 0 0 130 1 0 0 20 0 1 0 386310469 15949824 3375 33554432000 4194304 5208918 140734461304000 140734461301960 4205203 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/24287/statm: 3894 3375 105 248 0 3643 0 Current children cumulated CPU time (s) 765.91 Current children cumulated vsize (KiB) 53824 [startup+780.7 s] /proc/loadavg: 2.06 2.02 2.00 3/181 24357 /proc/meminfo: memFree=29274792/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=776.71 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 556735 2301796 0 0 2275 230 74261 905 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0 /proc/20593/statm: 4988 4530 179 443 0 4541 0 [pid=24356] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24356/stat : 24356 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386311695 9367552 266 33554432000 4194304 5064252 140736580812352 140736580811264 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/24356/statm: 2287 266 226 213 0 72 0 [pid=24357] ppid=24356 vsize=15280 CPUtime=1.84 cores=0,2,4,6 /proc/24357/stat : 24357 (glucose) R 24356 20592 14131 0 -1 4202496 3622 0 0 0 184 0 0 0 20 0 1 0 386311696 15646720 3356 33554432000 4194304 5208918 140736912511008 140736912508856 4232812 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/24357/statm: 3820 3356 103 248 0 3569 0 Current children cumulated CPU time (s) 778.55 Current children cumulated vsize (KiB) 53528 [startup+793.5 s] /proc/loadavg: 2.05 2.01 2.00 3/180 24482 /proc/meminfo: memFree=29281232/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=790.79 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 587384 2412594 0 0 2354 239 75544 942 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0 /proc/20593/statm: 4988 4530 179 443 0 4541 0 [pid=24482] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24482/stat : 24482 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386313110 9367552 267 33554432000 4194304 5064252 140734382539712 140734382538624 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/24482/statm: 2287 267 226 213 0 72 0 Current children cumulated CPU time (s) 790.79 Current children cumulated vsize (KiB) 38248 [startup+799.9 s] /proc/loadavg: 2.04 2.01 2.00 3/181 24588 /proc/meminfo: memFree=29272344/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=797.45 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 606058 2504410 0 0 2407 244 76125 969 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0 /proc/20593/statm: 4988 4530 179 443 0 4541 0 Current children cumulated CPU time (s) 797.45 Current children cumulated vsize (KiB) 29100 [startup+801.5 s] /proc/loadavg: 2.04 2.01 2.00 3/179 24621 /proc/meminfo: memFree=29280388/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=799.21 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 613996 2550774 0 0 2426 247 76266 982 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0 /proc/20593/statm: 4988 4530 179 443 0 4541 0 Current children cumulated CPU time (s) 799.21 Current children cumulated vsize (KiB) 29100 [startup+802.3 s] /proc/loadavg: 2.04 2.01 2.00 3/181 24679 /proc/meminfo: memFree=29274396/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=799.95 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 618456 2588187 0 0 2438 248 76318 991 20 0 1 0 386233811 20430848 4531 33554432000 4194304 6006132 140736849162272 140736849153152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0 /proc/20593/statm: 4988 4531 180 443 0 4541 0 Current children cumulated CPU time (s) 799.95 Current children cumulated vsize (KiB) 29100 [startup+803.1 s] /proc/loadavg: 2.04 2.01 2.00 3/181 24735 /proc/meminfo: memFree=29262660/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=800.77 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 623537 2625073 0 0 2450 250 76368 1009 20 0 1 0 386233811 20430848 4531 33554432000 4194304 6006132 140736849162272 140736849153152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0 /proc/20593/statm: 4988 4531 180 443 0 4541 0 Current children cumulated CPU time (s) 800.77 Current children cumulated vsize (KiB) 29100 [startup+803.3 s] /proc/loadavg: 2.04 2.01 2.00 3/181 24735 /proc/meminfo: memFree=29262660/32873624 swapFree=7112/7112 [pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20592/statm: 2287 275 233 213 0 72 0 [pid=20593] ppid=20592 vsize=19952 CPUtime=801.02 cores=0,2,4,6 /proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 624968 2640962 0 0 2453 250 76382 1017 20 0 1 0 386233811 20430848 4531 33554432000 4194304 6006132 140736849162272 140736849154240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0 /proc/20593/statm: 4988 4531 180 443 0 4541 0 Current children cumulated CPU time (s) 801.02 Current children cumulated vsize (KiB) 29100 Child status: 0 Real time (s): 803.325 CPU time (s): 801.067 CPU user time (s): 788.372 CPU system time (s): 12.6951 CPU usage (%): 99.719 Max. virtual memory (cumulated for all children) (KiB): 76708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 788.372 system time used= 12.6951 maximum resident set size= 34212 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3271374 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3212912 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16839 involuntary context switches= 4179 runsolver used 1.70174 second user time and 4.16437 second system time The end
Begin job on node121 at 2012-06-09 02:18:03 IDJOB=3753814 IDBENCH=79404 IDSOLVER=2337 FILE ID=node121/3753814-1339201083 RUNJOBID= node121-1339184277-15568 PBS_JOBID= 14643801 Free space on /tmp= 71216 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh208_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753814-1339201083/watcher-3753814-1339201083 -o /tmp/evaluation-result-3753814-1339201083/solver-3753814-1339201083 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753814-1339201083.wbo 1061552149 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bf55ab5b50211f096e62edcb64c4bf57 RANDOM SEED=1061552149 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873624 kB MemFree: 29740996 kB Buffers: 952060 kB Cached: 1175564 kB SwapCached: 340 kB Active: 2142580 kB Inactive: 50560 kB Active(anon): 44708 kB Inactive(anon): 8880 kB Active(file): 2097872 kB Inactive(file): 41680 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67106508 kB Dirty: 14548 kB Writeback: 0 kB AnonPages: 211196 kB Mapped: 12720 kB Shmem: 40 kB Slab: 801976 kB SReclaimable: 245760 kB SUnreclaim: 556216 kB KernelStack: 1496 kB PageTables: 4360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 159800 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 169984 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71116 MiB End job on node121 at 2012-06-09 02:31:27