Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown | OPTIMUM | 653.775 | 655.005 |
| 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.05 o 2887 0.00/0.05 c fallback to adder encoding 3.86/3.92 o 2881 3.86/3.92 c fallback to adder encoding 6.48/6.62 o 2880 6.48/6.62 c fallback to adder encoding 8.25/8.41 o 2879 8.25/8.41 c fallback to adder encoding 11.60/11.82 o 2876 11.60/11.82 c fallback to adder encoding 13.37/13.69 o 2874 13.37/13.69 c fallback to adder encoding 15.76/16.08 o 2800 15.76/16.08 c fallback to adder encoding 17.36/17.64 o 2794 17.36/17.64 c fallback to adder encoding 20.15/20.48 o 2793 20.15/20.48 c fallback to adder encoding 22.84/23.12 o 2788 22.84/23.12 c fallback to adder encoding 25.86/26.19 o 2779 25.86/26.19 c fallback to adder encoding 28.95/29.24 o 2761 28.95/29.24 c fallback to adder encoding 30.95/31.24 o 2753 30.95/31.24 c fallback to adder encoding 34.54/34.84 o 2752 34.54/34.84 c fallback to adder encoding 37.33/37.60 o 2747 37.33/37.60 c fallback to adder encoding 39.56/39.83 o 2689 39.56/39.83 c fallback to adder encoding 41.96/42.25 o 2688 41.96/42.25 c fallback to adder encoding 46.15/46.44 o 2679 46.15/46.44 c fallback to adder encoding 48.65/48.95 o 2678 48.65/48.95 c fallback to adder encoding 52.46/52.76 o 2675 52.46/52.76 c fallback to adder encoding 54.33/54.61 o 2634 54.33/54.61 c fallback to adder encoding 58.75/59.00 o 2633 58.75/59.00 c fallback to adder encoding 60.84/61.16 o 2630 60.84/61.16 c fallback to adder encoding 64.43/64.75 o 2629 64.43/64.75 c fallback to adder encoding 68.65/68.90 o 2624 68.65/68.90 c fallback to adder encoding 71.15/71.44 o 2567 71.15/71.44 c fallback to adder encoding 73.13/73.48 o 2565 73.13/73.48 c fallback to adder encoding 75.93/76.26 o 2562 75.93/76.26 c fallback to adder encoding 77.54/77.84 o 2561 77.54/77.84 c fallback to adder encoding 83.03/83.38 o 2560 83.03/83.38 c fallback to adder encoding 85.03/85.39 o 2558 85.03/85.39 c fallback to adder encoding 87.53/87.83 o 2537 87.53/87.83 c fallback to adder encoding 90.21/90.54 o 2516 90.21/90.54 c fallback to adder encoding 93.54/93.85 o 2509 93.54/93.85 c fallback to adder encoding 97.44/97.74 o 2506 97.44/97.74 c fallback to adder encoding 101.14/101.40 o 2500 101.14/101.40 c fallback to adder encoding 102.44/102.78 o 2484 102.44/102.78 c fallback to adder encoding 106.45/106.76 o 2481 106.45/106.76 c fallback to adder encoding 111.92/112.22 o 2480 111.92/112.22 c fallback to adder encoding 114.62/114.97 o 2471 114.62/114.97 c fallback to adder encoding 117.63/117.98 o 2467 117.63/117.98 c fallback to adder encoding 121.23/121.59 o 2465 121.23/121.59 c fallback to adder encoding 124.82/125.12 o 2458 124.82/125.12 c fallback to adder encoding 127.53/127.89 o 2456 127.53/127.89 c fallback to adder encoding 130.25/130.50 o 2439 130.25/130.50 c fallback to adder encoding 132.75/133.10 o 2300 132.75/133.10 c fallback to adder encoding 134.83/135.18 o 2299 134.83/135.18 c fallback to adder encoding 138.52/138.82 o 2292 138.52/138.82 c fallback to adder encoding 140.73/141.06 o 2291 140.73/141.06 c fallback to adder encoding 143.73/144.04 o 2290 143.73/144.04 c fallback to adder encoding 146.88/147.29 o 2286 146.88/147.29 c fallback to adder encoding 149.18/149.57 o 2285 149.18/149.57 c fallback to adder encoding 153.07/153.49 o 2271 153.07/153.49 c fallback to adder encoding 154.77/155.14 o 2266 154.77/155.14 c fallback to adder encoding 158.45/158.83 o 2252 158.45/158.83 c fallback to adder encoding 163.02/163.40 o 2242 163.02/163.40 c fallback to adder encoding 166.15/166.55 o 2241 166.15/166.55 c fallback to adder encoding 168.58/169.05 o 2227 168.58/169.05 c fallback to adder encoding 170.65/171.11 o 2225 170.65/171.11 c fallback to adder encoding 173.47/173.99 o 2224 173.47/173.99 c fallback to adder encoding 175.87/176.37 o 2223 175.87/176.37 c fallback to adder encoding 178.57/179.07 o 2217 178.57/179.07 c fallback to adder encoding 181.38/181.89 o 2205 181.38/181.89 c fallback to adder encoding 183.37/183.88 o 2204 183.37/183.88 c fallback to adder encoding 186.68/187.24 o 2203 186.68/187.24 c fallback to adder encoding 189.29/189.80 o 2202 189.29/189.80 c fallback to adder encoding 192.39/192.93 o 2197 192.39/192.93 c fallback to adder encoding 194.48/195.05 o 2196 194.48/195.05 c fallback to adder encoding 197.48/198.06 o 2193 197.48/198.06 c fallback to adder encoding 200.66/201.21 o 2180 200.66/201.21 c fallback to adder encoding 203.86/204.47 o 2177 203.86/204.47 c fallback to adder encoding 208.06/208.69 o 2123 208.06/208.69 c fallback to adder encoding 210.37/210.95 o 2122 210.37/210.95 c fallback to adder encoding 213.63/214.20 o 2115 213.63/214.20 c fallback to adder encoding 216.27/216.84 o 2109 216.27/216.84 c fallback to adder encoding 218.16/218.78 o 2108 218.16/218.78 c fallback to adder encoding 220.95/221.51 o 2106 220.95/221.51 c fallback to adder encoding 223.76/224.40 o 2101 223.76/224.40 c fallback to adder encoding 228.45/229.08 o 2096 228.45/229.08 c fallback to adder encoding 230.55/231.13 o 2095 230.55/231.13 c fallback to adder encoding 234.83/235.44 o 2093 234.83/235.44 c fallback to adder encoding 237.57/238.28 o 2089 237.57/238.28 c fallback to adder encoding 241.36/242.03 o 2088 241.36/242.03 c fallback to adder encoding 243.96/244.65 o 2081 243.96/244.65 c fallback to adder encoding 246.67/247.40 o 2080 246.67/247.40 c fallback to adder encoding 248.36/249.06 o 2077 248.36/249.06 c fallback to adder encoding 251.85/252.58 o 2076 251.85/252.58 c fallback to adder encoding 254.28/254.99 o 2073 254.28/254.99 c fallback to adder encoding 255.97/256.64 o 2063 255.97/256.64 c fallback to adder encoding 258.15/258.85 o 2061 258.15/258.85 c fallback to adder encoding 260.96/261.64 o 2052 260.96/261.64 c fallback to adder encoding 263.54/264.22 o 2051 263.54/264.22 c fallback to adder encoding 266.03/266.71 o 2050 266.03/266.71 c fallback to adder encoding 268.88/269.56 o 2049 268.88/269.56 c fallback to adder encoding 271.70/272.49 o 2048 271.70/272.49 c fallback to adder encoding 274.10/274.80 o 2046 274.10/274.80 c fallback to adder encoding 276.20/276.94 o 2032 276.20/276.94 c fallback to adder encoding 278.19/278.93 o 2030 278.19/278.93 c fallback to adder encoding 280.20/280.95 o 2008 280.20/280.95 c fallback to adder encoding 283.68/284.41 o 2007 283.68/284.41 c fallback to adder encoding 285.77/286.52 o 2004 285.77/286.52 c fallback to adder encoding 287.79/288.53 o 1997 287.79/288.53 c fallback to adder encoding 289.80/290.58 o 1996 289.80/290.58 c fallback to adder encoding 291.41/292.10 o 1990 291.41/292.10 c fallback to adder encoding 295.20/295.94 o 1984 295.20/295.94 c fallback to adder encoding 297.40/298.16 o 1983 297.40/298.16 c fallback to adder encoding 299.06/299.80 o 1965 299.06/299.80 c fallback to adder encoding 301.31/302.00 o 1961 301.31/302.00 c fallback to adder encoding 304.86/305.61 o 1928 304.86/305.61 c fallback to adder encoding 306.89/307.65 o 1927 306.89/307.65 c fallback to adder encoding 309.80/310.59 o 1885 309.80/310.59 c fallback to adder encoding 311.97/312.79 o 1878 311.97/312.79 c fallback to adder encoding 315.77/316.59 o 1873 315.77/316.59 c fallback to adder encoding 318.18/318.92 o 1872 318.18/318.92 c fallback to adder encoding 319.97/320.75 o 1867 319.97/320.75 c fallback to adder encoding 323.27/324.05 o 1864 323.27/324.05 c fallback to adder encoding 325.58/326.36 o 1857 325.58/326.36 c fallback to adder encoding 327.87/328.67 o 1854 327.87/328.67 c fallback to adder encoding 329.57/330.32 o 1852 329.57/330.32 c fallback to adder encoding 330.76/331.54 o 1834 330.76/331.54 c fallback to adder encoding 333.70/334.55 o 1833 333.70/334.55 c fallback to adder encoding 337.28/338.11 o 1804 337.28/338.11 c fallback to adder encoding 340.20/341.03 o 1803 340.20/341.03 c fallback to adder encoding 342.68/343.51 o 1792 342.68/343.51 c fallback to adder encoding 343.60/344.45 o 1784 343.60/344.45 c fallback to adder encoding 345.00/345.86 o 1775 345.00/345.86 c fallback to adder encoding 349.00/349.84 o 1774 349.00/349.84 c fallback to adder encoding 351.80/352.69 o 1769 351.80/352.69 c fallback to adder encoding 354.86/355.70 o 1754 354.86/355.70 c fallback to adder encoding 357.98/358.85 o 1753 357.98/358.85 c fallback to adder encoding 359.90/360.78 o 1741 359.90/360.78 c fallback to adder encoding 362.36/363.20 o 1738 362.36/363.20 c fallback to adder encoding 365.09/365.93 o 1733 365.09/365.93 c fallback to adder encoding 366.80/367.64 o 1731 366.80/367.64 c fallback to adder encoding 368.88/369.72 o 1729 368.88/369.72 c fallback to adder encoding 371.28/372.18 o 1728 371.28/372.18 c fallback to adder encoding 372.95/373.80 o 1723 372.95/373.80 c fallback to adder encoding 374.79/375.60 o 1704 374.79/375.60 c fallback to adder encoding 377.19/378.06 o 1699 377.19/378.06 c fallback to adder encoding 378.67/379.51 o 1694 378.67/379.51 c fallback to adder encoding 380.30/381.18 o 1673 380.30/381.18 c fallback to adder encoding 384.10/384.97 o 1672 384.10/384.97 c fallback to adder encoding 386.19/387.08 o 1531 386.19/387.08 c fallback to adder encoding 387.87/388.75 o 1526 387.87/388.75 c fallback to adder encoding 390.07/390.95 o 1505 390.07/390.95 c fallback to adder encoding 393.69/394.50 o 1500 393.69/394.50 c fallback to adder encoding 396.79/397.66 o 1498 396.79/397.66 c fallback to adder encoding 399.49/400.34 o 1489 399.49/400.34 c fallback to adder encoding 401.38/402.24 o 1472 401.38/402.24 c fallback to adder encoding 405.36/406.22 o 1469 405.36/406.22 c fallback to adder encoding 408.16/409.02 o 1461 408.16/409.02 c fallback to adder encoding 411.28/412.13 o 1460 411.28/412.13 c fallback to adder encoding 413.77/414.69 o 1455 413.77/414.69 c fallback to adder encoding 416.27/417.19 o 1444 416.27/417.19 c fallback to adder encoding 418.43/419.30 o 1440 418.43/419.30 c fallback to adder encoding 421.37/422.29 o 1425 421.37/422.29 c fallback to adder encoding 423.65/424.56 o 1411 423.65/424.56 c fallback to adder encoding 427.55/428.43 o 1376 427.55/428.43 c fallback to adder encoding 429.03/429.92 o 1369 429.03/429.92 c fallback to adder encoding 430.65/431.56 o 1362 430.65/431.56 c fallback to adder encoding 433.92/434.81 o 1356 433.92/434.81 c fallback to adder encoding 436.85/437.74 o 1352 436.85/437.74 c fallback to adder encoding 439.63/440.52 o 1344 439.63/440.52 c fallback to adder encoding 442.02/442.91 o 1343 442.02/442.91 c fallback to adder encoding 443.74/444.64 o 1342 443.74/444.64 c fallback to adder encoding 445.54/446.48 o 1329 445.54/446.48 c fallback to adder encoding 447.95/448.87 o 1323 447.95/448.87 c fallback to adder encoding 449.44/450.33 o 1303 449.44/450.33 c fallback to adder encoding 451.35/452.24 o 1301 451.35/452.24 c fallback to adder encoding 452.84/453.71 o 1288 452.84/453.71 c fallback to adder encoding 456.25/457.14 o 1287 456.25/457.14 c fallback to adder encoding 458.66/459.54 o 1285 458.66/459.54 c fallback to adder encoding 461.92/462.81 o 1280 461.92/462.81 c fallback to adder encoding 463.84/464.79 o 1279 463.84/464.79 c fallback to adder encoding 465.91/466.81 o 1273 465.91/466.81 c fallback to adder encoding 467.53/468.45 o 1264 467.53/468.45 c fallback to adder encoding 469.42/470.39 o 1263 469.42/470.39 c fallback to adder encoding 472.82/473.73 o 1260 472.82/473.73 c fallback to adder encoding 475.13/476.09 o 1251 475.13/476.09 c fallback to adder encoding 478.13/479.07 o 1248 478.13/479.07 c fallback to adder encoding 480.20/481.10 o 1240 480.20/481.10 c fallback to adder encoding 482.22/483.11 o 1237 482.22/483.11 c fallback to adder encoding 484.34/485.25 o 1232 484.34/485.25 c fallback to adder encoding 487.66/488.50 o 1225 487.66/488.50 c fallback to adder encoding 489.83/490.73 o 1216 489.83/490.73 c fallback to adder encoding 491.84/492.72 o 1208 491.84/492.72 c fallback to adder encoding 494.12/495.01 o 1202 494.12/495.01 c fallback to adder encoding 496.14/497.03 o 1201 496.14/497.03 c fallback to adder encoding 500.70/501.74 o 1132 500.70/501.74 c fallback to adder encoding 503.90/504.97 o 1128 503.90/504.97 c fallback to adder encoding 506.57/507.61 o 1107 506.57/507.61 c fallback to adder encoding 509.10/510.14 o 1106 509.10/510.14 c fallback to adder encoding 511.38/512.50 o 1089 511.38/512.50 c fallback to adder encoding 511.57/513.45 o 1088 511.57/513.45 c fallback to adder encoding 514.38/515.41 o 1082 514.38/515.41 c fallback to adder encoding 516.47/517.51 o 1081 516.47/517.51 c fallback to adder encoding 519.17/520.26 o 1056 519.17/520.26 c fallback to adder encoding 520.87/521.93 o 1054 520.87/521.93 c fallback to adder encoding 522.28/523.36 o 1044 522.28/523.36 c fallback to adder encoding 525.16/526.26 o 1030 525.16/526.26 c fallback to adder encoding 527.08/528.16 o 1029 527.08/528.16 c fallback to adder encoding 529.38/530.48 o 1028 529.38/530.48 c fallback to adder encoding 531.06/532.11 o 1026 531.06/532.11 c fallback to adder encoding 533.47/534.53 o 1025 533.47/534.53 c fallback to adder encoding 535.96/537.07 o 1024 535.96/537.07 c fallback to adder encoding 539.07/540.16 o 1022 539.07/540.16 c fallback to adder encoding 540.57/541.62 o 1000 540.57/541.62 c fallback to adder encoding 541.78/542.89 o 992 541.78/542.89 c fallback to adder encoding 543.57/544.66 o 984 543.57/544.66 c fallback to adder encoding 545.46/546.51 o 983 545.46/546.51 c fallback to adder encoding 547.47/548.58 o 978 547.47/548.58 c fallback to adder encoding 549.43/550.50 o 977 549.43/550.50 c fallback to adder encoding 552.86/553.96 o 967 552.86/553.96 c fallback to adder encoding 554.56/555.64 o 963 554.56/555.64 c fallback to adder encoding 556.87/557.97 o 961 556.87/557.97 c fallback to adder encoding 557.78/558.84 o 960 557.78/558.84 c fallback to adder encoding 559.87/560.97 o 947 559.87/560.97 c fallback to adder encoding 561.56/562.69 o 938 561.56/562.69 c fallback to adder encoding 564.46/565.54 o 917 564.46/565.54 c fallback to adder encoding 567.17/568.28 o 916 567.17/568.28 c fallback to adder encoding 568.86/569.95 o 906 568.86/569.95 c fallback to adder encoding 570.76/571.83 o 905 570.76/571.83 c fallback to adder encoding 572.66/573.76 o 899 572.66/573.76 c fallback to adder encoding 573.97/575.06 o 897 573.97/575.06 c fallback to adder encoding 575.84/576.90 o 896 575.84/576.90 c fallback to adder encoding 576.84/577.90 o 895 576.84/577.90 c fallback to adder encoding 577.67/578.77 o 889 577.67/578.77 c fallback to adder encoding 579.68/580.70 o 888 579.68/580.70 c fallback to adder encoding 579.74/581.79 o 885 579.74/581.79 c fallback to adder encoding 580.83/582.89 o 870 580.83/582.89 c fallback to adder encoding 584.07/585.15 o 852 584.07/585.15 c fallback to adder encoding 585.36/586.42 o 848 585.36/586.42 c fallback to adder encoding 586.85/587.91 o 817 586.85/587.91 c fallback to adder encoding 588.06/589.19 o 816 588.06/589.19 c fallback to adder encoding 589.28/590.33 o 812 589.28/590.33 c fallback to adder encoding 589.87/590.97 o 810 589.87/590.97 c fallback to adder encoding 591.37/592.49 o 809 591.37/592.49 c fallback to adder encoding 592.97/594.02 o 800 592.97/594.02 c fallback to adder encoding 594.57/595.67 o 791 594.57/595.67 c fallback to adder encoding 596.34/597.42 o 782 596.34/597.42 c fallback to adder encoding 598.07/599.20 o 781 598.07/599.20 c fallback to adder encoding 599.40/600.51 o 777 599.40/600.51 c fallback to adder encoding 600.51/601.68 o 762 600.51/601.68 c fallback to adder encoding 602.29/603.44 o 756 602.29/603.44 c fallback to adder encoding 603.07/604.20 o 755 603.07/604.20 c fallback to adder encoding 603.90/605.08 o 748 603.90/605.08 c fallback to adder encoding 604.02/605.94 o 746 604.02/605.94 c fallback to adder encoding 605.99/607.11 o 733 605.99/607.11 c fallback to adder encoding 606.69/607.83 o 732 606.69/607.83 c fallback to adder encoding 607.66/608.84 o 712 607.66/608.84 c fallback to adder encoding 608.77/609.93 o 711 608.77/609.93 c fallback to adder encoding 610.38/611.60 o 704 610.38/611.60 c fallback to adder encoding 611.47/612.66 o 702 611.47/612.66 c fallback to adder encoding 613.06/614.28 o 700 613.06/614.28 c fallback to adder encoding 614.46/615.69 o 696 614.46/615.69 c fallback to adder encoding 615.76/616.97 o 672 615.76/616.97 c fallback to adder encoding 616.66/617.83 o 665 616.66/617.83 c fallback to adder encoding 617.76/618.92 o 663 617.76/618.92 c fallback to adder encoding 619.05/620.20 o 660 619.05/620.20 c fallback to adder encoding 619.75/620.90 o 658 619.75/620.90 c fallback to adder encoding 621.37/622.50 o 649 621.37/622.50 c fallback to adder encoding 622.87/624.05 o 646 622.87/624.05 c fallback to adder encoding 623.85/625.02 o 644 623.85/625.02 c fallback to adder encoding 625.24/626.42 o 643 625.24/626.42 c fallback to adder encoding 627.14/628.37 o 642 627.14/628.37 c fallback to adder encoding 628.24/629.46 o 641 628.24/629.46 c fallback to adder encoding 628.33/630.08 o 640 628.33/630.08 c fallback to adder encoding 629.82/631.03 o 632 629.82/631.03 c fallback to adder encoding 630.82/632.07 o 630 630.82/632.07 c fallback to adder encoding 631.31/632.51 o 627 631.31/632.51 c fallback to adder encoding 631.37/633.17 o 621 631.37/633.17 c fallback to adder encoding 632.93/634.16 o 616 632.93/634.16 c fallback to adder encoding 633.70/634.90 o 607 633.70/634.90 c fallback to adder encoding 633.77/635.37 o 601 633.77/635.37 c fallback to adder encoding 635.03/636.24 o 595 635.03/636.24 c fallback to adder encoding 635.82/637.01 o 584 635.82/637.01 c fallback to adder encoding 635.87/637.87 o 582 635.87/637.87 c fallback to adder encoding 636.74/638.73 o 576 636.74/638.73 c fallback to adder encoding 638.03/639.24 o 572 638.03/639.24 c fallback to adder encoding 638.11/639.84 o 564 638.11/639.84 c fallback to adder encoding 639.11/640.33 o 561 639.11/640.33 c fallback to adder encoding 639.80/641.00 o 551 639.80/641.00 c fallback to adder encoding 640.20/641.47 o 549 640.20/641.47 c fallback to adder encoding 641.30/642.50 o 544 641.30/642.50 c fallback to adder encoding 641.36/642.95 o 543 641.36/642.95 c fallback to adder encoding 642.70/643.90 o 540 642.70/643.90 c fallback to adder encoding 643.41/644.68 o 539 643.41/644.68 c fallback to adder encoding 643.54/645.06 o 538 643.54/645.06 c fallback to adder encoding 644.59/645.83 o 537 644.59/645.83 c fallback to adder encoding 645.29/646.52 o 518 645.29/646.52 c fallback to adder encoding 645.80/647.03 o 517 645.80/647.03 c fallback to adder encoding 645.86/647.45 o 512 645.86/647.45 c fallback to adder encoding 646.60/647.82 o 509 646.60/647.82 c fallback to adder encoding 646.88/648.10 o 468 646.88/648.10 c fallback to adder encoding 647.31/648.52 o 456 647.31/648.52 c fallback to adder encoding 647.59/648.81 o 453 647.59/648.81 c fallback to adder encoding 647.80/649.06 o 439 647.80/649.06 c fallback to adder encoding 647.88/649.33 o 437 647.88/649.33 c fallback to adder encoding 648.16/649.72 o 435 648.16/649.72 c fallback to adder encoding 648.79/650.08 o 393 648.79/650.08 c fallback to adder encoding 648.86/650.42 o 392 648.86/650.42 c fallback to adder encoding 649.43/650.70 o 385 649.43/650.70 c fallback to adder encoding 649.48/651.10 o 378 649.48/651.10 c fallback to adder encoding 650.15/651.41 o 377 650.15/651.41 c fallback to adder encoding 650.18/651.65 o 327 650.64/652.08 o 263 650.97/652.34 o 258 651.22/652.58 o 253 651.45/652.81 o 246 651.67/653.02 o 241 651.90/653.24 o 228 652.10/653.44 o 226 652.31/653.64 o 225 652.49/653.83 o 221 652.68/654.02 o 216 652.96/654.20 o 203 653.04/654.35 o 187 653.14/654.48 o 174 653.35/654.60 o 154 653.35/654.69 o 140 653.45/654.77 o 138 653.53/654.84 o 104 653.53/654.89 o 95 653.65/654.94 o 91 653.65/654.98 o 79 653.75/655.00 c display solution 653.75/655.00 s OPTIMUM FOUND 653.75/655.00 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-3715126-1338225128/watcher-3715126-1338225128 -o /tmp/evaluation-result-3715126-1338225128/solver-3715126-1338225128 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715126-1338225128.wbo 397049970 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.10 2.03 2.01 3/179 23216 /proc/meminfo: memFree=31277164/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [startup+0.0607839 s] /proc/loadavg: 2.10 2.03 2.01 3/179 23216 /proc/meminfo: memFree=31277164/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100224 s] /proc/loadavg: 2.10 2.03 2.01 3/179 23216 /proc/meminfo: memFree=31277164/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300261 s] /proc/loadavg: 2.10 2.03 2.01 3/179 23216 /proc/meminfo: memFree=31277164/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700225 s] /proc/loadavg: 2.10 2.03 2.01 3/179 23216 /proc/meminfo: memFree=31277164/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50041 s] /proc/loadavg: 2.09 2.03 2.00 3/183 23237 /proc/meminfo: memFree=31255632/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=7004 CPUtime=0.11 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 2955 5084 0 0 8 1 1 1 20 0 1 0 288637122 7172096 1436 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23217/statm: 1751 1436 166 439 0 1308 0 [pid=23229] ppid=23217 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23229/stat : 23229 (satsolver.sh) S 23217 23216 12121 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 288637135 9367552 266 33554432000 4194304 5064252 140734627286208 140734627285120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/23229/statm: 2287 266 226 213 0 72 0 [pid=23230] ppid=23229 vsize=16372 CPUtime=1.35 cores=0,2,4,6 /proc/23230/stat : 23230 (glucose) R 23229 23216 12121 0 -1 4202496 4183 0 0 0 135 0 0 0 20 0 1 0 288637135 16764928 3474 33554432000 4194304 5208918 140734082915424 140734082913096 4211147 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/23230/statm: 4093 3474 104 248 0 3842 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 41672 [startup+3.10042 s] /proc/loadavg: 2.09 2.03 2.00 3/183 23237 /proc/meminfo: memFree=31252640/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=7004 CPUtime=0.11 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 2955 5084 0 0 8 1 1 1 20 0 1 0 288637122 7172096 1436 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23217/statm: 1751 1436 166 439 0 1308 0 [pid=23229] ppid=23217 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23229/stat : 23229 (satsolver.sh) S 23217 23216 12121 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 288637135 9367552 266 33554432000 4194304 5064252 140734627286208 140734627285120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/23229/statm: 2287 266 226 213 0 72 0 [pid=23230] ppid=23229 vsize=16760 CPUtime=2.96 cores=0,2,4,6 /proc/23230/stat : 23230 (glucose) R 23229 23216 12121 0 -1 4202496 4796 0 0 0 295 1 0 0 20 0 1 0 288637135 17162240 3577 33554432000 4194304 5208918 140734082915424 140734082913512 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/23230/statm: 4190 3577 105 248 0 3939 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 42060 [startup+6.30037 s] /proc/loadavg: 2.09 2.03 2.00 3/183 23251 /proc/meminfo: memFree=31250404/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=11096 CPUtime=3.97 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 4645 13621 0 0 14 2 377 4 20 0 1 0 288637122 11362304 2368 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23217/statm: 2774 2368 166 439 0 2331 0 [pid=23248] ppid=23217 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23248/stat : 23248 (satsolver.sh) S 23217 23216 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288637522 9367552 267 33554432000 4194304 5064252 140737372510592 140737372509504 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/23248/statm: 2287 267 226 213 0 72 0 [pid=23249] ppid=23248 vsize=16684 CPUtime=2.28 cores=0,2,4,6 /proc/23249/stat : 23249 (glucose) R 23248 23216 12121 0 -1 4202496 3851 0 0 0 228 0 0 0 20 0 1 0 288637523 17084416 3411 33554432000 4194304 5208918 140733589674608 140733589672456 4205766 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/23249/statm: 4171 3411 105 248 0 3920 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 46076 [startup+12.7003 s] /proc/loadavg: 2.08 2.02 2.00 3/181 23291 /proc/meminfo: memFree=31270544/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=11096 CPUtime=11.67 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 9717 35185 0 0 33 4 1115 15 20 0 1 0 288637122 11362304 2368 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23217/statm: 2774 2368 166 439 0 2331 0 [pid=23285] ppid=23217 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23285/stat : 23285 (satsolver.sh) S 23217 23216 12121 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288638312 9367552 267 33554432000 4194304 5064252 140734270068208 140734270067120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/23285/statm: 2287 267 226 213 0 72 0 [pid=23286] ppid=23285 vsize=16104 CPUtime=0.8 cores=0,2,4,6 /proc/23286/stat : 23286 (glucose) R 23285 23216 12121 0 -1 4202496 3186 0 0 0 80 0 0 0 20 0 1 0 288638312 16490496 3221 33554432000 4194304 5208918 140733870587328 140733870585176 4211641 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/23286/statm: 4026 3221 104 248 0 3775 0 Current children cumulated CPU time (s) 12.47 Current children cumulated vsize (KiB) 45496 [startup+25.5004 s] /proc/loadavg: 2.07 2.02 2.00 3/183 23359 /proc/meminfo: memFree=31259456/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=11096 CPUtime=22.96 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 18169 71330 0 0 64 9 2192 31 20 0 1 0 288637122 11362304 2368 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23217/statm: 2774 2368 166 439 0 2331 0 [pid=23355] ppid=23217 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23355/stat : 23355 (satsolver.sh) S 23217 23216 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288639441 9367552 267 33554432000 4194304 5064252 140735872491136 140735872490048 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/23355/statm: 2287 267 226 213 0 72 0 [pid=23356] ppid=23355 vsize=16692 CPUtime=2.3 cores=0,2,4,6 /proc/23356/stat : 23356 (glucose) R 23355 23216 12121 0 -1 4202496 3809 0 0 0 229 1 0 0 20 0 1 0 288639441 17092608 3603 33554432000 4194304 5208918 140733626387952 140733626385912 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/23356/statm: 4173 3603 105 248 0 3922 0 Current children cumulated CPU time (s) 25.26 Current children cumulated vsize (KiB) 46084 [startup+51.1004 s] /proc/loadavg: 2.04 2.02 2.00 3/183 23475 /proc/meminfo: memFree=31249152/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=11096 CPUtime=48.8 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 33384 137963 0 0 120 18 4680 62 20 0 1 0 288637122 11362304 2368 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23217/statm: 2774 2368 166 439 0 2331 0 [pid=23474] ppid=23217 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23474/stat : 23474 (satsolver.sh) S 23217 23216 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288642025 9367552 266 33554432000 4194304 5064252 140734686023056 140734686021968 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/23474/statm: 2287 266 226 213 0 72 0 [pid=23475] ppid=23474 vsize=16512 CPUtime=2.06 cores=0,2,4,6 /proc/23475/stat : 23475 (glucose) R 23474 23216 12121 0 -1 4202496 3516 0 0 0 206 0 0 0 20 0 1 0 288642025 16908288 3565 33554432000 4194304 5208918 140734461434768 140734461432520 4205203 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/23475/statm: 4128 3565 105 248 0 3877 0 Current children cumulated CPU time (s) 50.86 Current children cumulated vsize (KiB) 45904 [startup+102.306 s] /proc/loadavg: 2.02 2.02 2.00 3/183 23748 /proc/meminfo: memFree=31252052/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=11096 CPUtime=101.22 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 62122 260804 0 0 225 33 9746 118 20 0 1 0 288637122 11362304 2368 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23217/statm: 2774 2368 166 439 0 2331 0 [pid=23747] ppid=23217 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23747/stat : 23747 (satsolver.sh) S 23217 23216 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288647269 9367552 267 33554432000 4194304 5064252 140736668292832 140736668291744 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/23747/statm: 2287 267 226 213 0 72 0 [pid=23748] ppid=23747 vsize=16128 CPUtime=0.82 cores=0,2,4,6 /proc/23748/stat : 23748 (glucose) R 23747 23216 12121 0 -1 4202496 3904 0 0 0 82 0 0 0 20 0 1 0 288647270 16515072 3226 33554432000 4194304 5208918 140735544521664 140735544519336 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/23748/statm: 4032 3226 104 248 0 3781 0 Current children cumulated CPU time (s) 102.04 Current children cumulated vsize (KiB) 45520 [startup+162.3 s] /proc/loadavg: 2.05 2.03 2.00 3/183 24043 /proc/meminfo: memFree=31251152/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=11096 CPUtime=158.56 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 94242 399731 0 0 343 49 15284 180 20 0 1 0 288637122 11362304 2368 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23217/statm: 2774 2368 166 439 0 2331 0 [pid=24035] ppid=23217 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=11048 CPUtime=340.31 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 209196 893853 0 0 715 105 32802 409 20 0 1 0 288637122 11313152 2368 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/23217/statm: 2762 2368 166 439 0 2319 0 [pid=25043] ppid=23217 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25043/stat : 25043 (satsolver.sh) S 23217 23216 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288671231 9367552 267 33554432000 4194304 5064252 140734458861152 140734458860064 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25043/statm: 2287 267 226 213 0 72 0 [pid=25044] ppid=25043 vsize=15184 CPUtime=1.19 cores=0,2,4,6 /proc/25044/stat : 25044 (glucose) R 25043 23216 12121 0 -1 4202496 3358 0 0 0 119 0 0 0 20 0 1 0 288671232 15548416 3107 33554432000 4194304 5208918 140733306137568 140733306135464 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/25044/statm: 3796 3107 104 248 0 3545 0 Current children cumulated CPU time (s) 341.5 Current children cumulated vsize (KiB) 44528 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 25422 /proc/meminfo: memFree=31254668/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=11048 CPUtime=401.49 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 253149 1080017 0 0 848 126 38683 492 20 0 1 0 288637122 11313152 2368 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/23217/statm: 2762 2368 166 439 0 2319 0 Current children cumulated CPU time (s) 401.49 Current children cumulated vsize (KiB) 20196 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 25808 /proc/meminfo: memFree=31253740/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=11048 CPUtime=458.76 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 292030 1237936 0 0 968 143 44199 566 20 0 1 0 288637122 11313152 2368 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/23217/statm: 2762 2368 166 439 0 2319 0 [pid=25800] ppid=23217 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25800/stat : 25800 (satsolver.sh) S 23217 23216 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288683082 9367552 266 33554432000 4194304 5064252 140733818817536 140733818816448 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25800/statm: 2287 266 226 213 0 72 0 [pid=25801] ppid=25800 vsize=15452 CPUtime=2.68 cores=0,2,4,6 /proc/25801/stat : 25801 (glucose) R 25800 23216 12121 0 -1 4202496 3840 0 0 0 268 0 0 0 20 0 1 0 288683083 15822848 3386 33554432000 4194304 5208918 140736070175600 140736070173448 4211732 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/25801/statm: 3863 3386 104 248 0 3612 0 Current children cumulated CPU time (s) 461.44 Current children cumulated vsize (KiB) 44796 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 26294 /proc/meminfo: memFree=31263592/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=11048 CPUtime=520.98 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 335984 1418684 0 0 1103 163 50180 652 20 0 1 0 288637122 11313152 2368 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 9 0 0 /proc/23217/statm: 2762 2368 166 439 0 2319 0 Current children cumulated CPU time (s) 520.98 Current children cumulated vsize (KiB) 20196 [startup+582.3 s] /proc/loadavg: 1.96 1.99 1.99 3/181 27148 /proc/meminfo: memFree=31271584/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=10996 CPUtime=580.83 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 388390 1620827 0 0 1244 187 55909 743 20 0 1 0 288637122 11259904 2368 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 9 0 0 /proc/23217/statm: 2749 2368 166 439 0 2306 0 Current children cumulated CPU time (s) 580.83 Current children cumulated vsize (KiB) 20144 [startup+642.3 s] /proc/loadavg: 1.98 1.99 1.99 3/183 27661 /proc/meminfo: memFree=31261896/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=6808 CPUtime=640.32 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 463808 1934650 0 0 1419 215 61528 870 20 0 1 0 288637122 6971392 1360 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0 /proc/23217/statm: 1702 1360 166 439 0 1259 0 [pid=27660] ppid=23217 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27660/stat : 27660 (satsolver.sh) S 23217 23216 12121 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288701272 9367552 267 33554432000 4194304 5064252 140734689383392 140734689382304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27660/statm: 2287 267 226 213 0 72 0 [pid=27661] ppid=27660 vsize=10024 CPUtime=0.8 cores=0,2,4,6 /proc/27661/stat : 27661 (glucose) R 27660 23216 12121 0 -1 4202496 2516 0 0 0 80 0 0 0 20 0 1 0 288701272 10264576 1948 33554432000 4194304 5208918 140734507806160 140734689382328 4211901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/27661/statm: 2506 1948 105 248 0 2255 0 Current children cumulated CPU time (s) 641.12 Current children cumulated vsize (KiB) 35128 Solver just ended. Dumping a history of the last processes samples [startup+646.3 s] /proc/loadavg: 1.98 1.99 1.99 3/183 27710 /proc/meminfo: memFree=31263316/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=6808 CPUtime=644.66 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 470086 1967074 0 0 1434 217 61931 884 20 0 1 0 288637122 6971392 1360 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0 /proc/23217/statm: 1702 1360 166 439 0 1259 0 Current children cumulated CPU time (s) 644.66 Current children cumulated vsize (KiB) 15956 [startup+649.5 s] /proc/loadavg: 1.98 1.99 1.99 3/183 27780 /proc/meminfo: memFree=31264880/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=6808 CPUtime=648.16 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 478760 2013264 0 0 1453 219 62243 901 20 0 1 0 288637122 6971392 1360 33554432000 4194304 5990268 140733338968880 140733338960304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0 /proc/23217/statm: 1702 1360 166 439 0 1259 0 Current children cumulated CPU time (s) 648.16 Current children cumulated vsize (KiB) 15956 [startup+652.7 s] /proc/loadavg: 1.99 1.99 1.99 3/183 27857 /proc/meminfo: memFree=31244772/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=6732 CPUtime=651.45 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 487551 2079541 0 0 1477 222 62507 939 20 0 1 0 288637122 6893568 1343 33554432000 4194304 5990268 140733338968880 140733338959792 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0 /proc/23217/statm: 1683 1343 166 439 0 1240 0 Current children cumulated CPU time (s) 651.45 Current children cumulated vsize (KiB) 15880 [startup+654.3 s] /proc/loadavg: 1.99 1.99 1.99 3/183 27899 /proc/meminfo: memFree=31255328/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=6732 CPUtime=653.04 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 492840 2135777 0 0 1494 225 62605 980 20 0 1 0 288637122 6893568 1343 33554432000 4194304 5990268 140733338968880 140733338959792 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0 /proc/23217/statm: 1683 1343 166 439 0 1240 0 Current children cumulated CPU time (s) 653.04 Current children cumulated vsize (KiB) 15880 [startup+654.7 s] /proc/loadavg: 1.99 1.99 1.99 3/183 27944 /proc/meminfo: memFree=31267756/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=6732 CPUtime=653.45 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) R 23216 23216 12121 0 -1 4202496 494888 2154691 0 0 1498 225 62627 995 20 0 1 0 288637122 6893568 1343 33554432000 4194304 5990268 140733338968880 140733338960880 4523175 0 0 4096 0 0 0 0 17 2 0 0 12 0 0 /proc/23217/statm: 1683 1343 166 439 0 1240 0 Current children cumulated CPU time (s) 653.45 Current children cumulated vsize (KiB) 15880 [startup+654.9 s] /proc/loadavg: 1.99 1.99 1.99 3/183 27944 /proc/meminfo: memFree=31267756/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=6732 CPUtime=653.65 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) R 23216 23216 12121 0 -1 4202496 496044 2168272 0 0 1500 226 62638 1001 20 0 1 0 288637122 6893568 1343 33554432000 4194304 5990268 140733338968880 140733338960880 5042551 0 0 4096 0 0 0 0 17 2 0 0 12 0 0 /proc/23217/statm: 1683 1343 166 439 0 1240 0 Current children cumulated CPU time (s) 653.65 Current children cumulated vsize (KiB) 15880 [startup+655 s] /proc/loadavg: 1.99 1.99 1.99 3/183 27944 /proc/meminfo: memFree=31267756/32873844 swapFree=7632/7632 [pid=23216] ppid=23214 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23216/stat : 23216 (npSolver-wbo-It) S 23214 23216 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288637122 9367552 274 33554432000 4194304 5064252 140735416561392 140735416560304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/23216/statm: 2287 274 233 213 0 72 0 [pid=23217] ppid=23216 vsize=6732 CPUtime=653.75 cores=0,2,4,6 /proc/23217/stat : 23217 (npSolver-wbo) S 23216 23216 12121 0 -1 4202496 496642 2177704 0 0 1501 226 62643 1005 20 0 1 0 288637122 6893568 1343 33554432000 4194304 5990268 140733338968880 140733338959792 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0 /proc/23217/statm: 1683 1343 166 439 0 1240 0 Current children cumulated CPU time (s) 653.75 Current children cumulated vsize (KiB) 15880 Child status: 0 Real time (s): 655.005 CPU time (s): 653.775 CPU user time (s): 641.449 CPU system time (s): 12.3251 CPU usage (%): 99.8121 Max. virtual memory (cumulated for all children) (KiB): 53356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 641.449 system time used= 12.3251 maximum resident set size= 28184 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2677973 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1971112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11276 involuntary context switches= 4100 runsolver used 1.55376 second user time and 3.34249 second system time The end
Begin job on node141 at 2012-05-28 19:12:08 IDJOB=3715126 IDBENCH=79404 IDSOLVER=2296 FILE ID=node141/3715126-1338225128 RUNJOBID= node141-1338210956-15178 PBS_JOBID= 14624602 Free space on /tmp= 71516 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-3715126-1338225128/watcher-3715126-1338225128 -o /tmp/evaluation-result-3715126-1338225128/solver-3715126-1338225128 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715126-1338225128.wbo 397049970 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bf55ab5b50211f096e62edcb64c4bf57 RANDOM SEED=397049970 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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 : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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: 32873844 kB MemFree: 31277792 kB Buffers: 307868 kB Cached: 412168 kB SwapCached: 220 kB Active: 279528 kB Inactive: 477316 kB Active(anon): 26692 kB Inactive(anon): 11292 kB Active(file): 252836 kB Inactive(file): 466024 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67108636 kB Dirty: 12232 kB Writeback: 0 kB AnonPages: 44908 kB Mapped: 11804 kB Shmem: 172 kB Slab: 699760 kB SReclaimable: 141308 kB SUnreclaim: 558452 kB KernelStack: 1528 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 153080 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71508 MiB End job on node141 at 2012-05-28 19:23:03