Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.09 | 1800.41 |
Name | /OPT-SMALLINT-LIN/heinz/ normalized-neos-1440225.opb |
MD5SUM | ae858a83a4b73fde0d05a86f9f6907e8 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 36 |
Best CPU time to get the best result obtained on this benchmark | 3.20351 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1285 |
Total number of constraints | 330 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 330 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 64 |
Number of terms in the objective function | 1285 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1285 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1285 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.19/0.24 c 2012-06-02T15:14:32+0200 0.19/0.24 c arch = x86_64 0.19/0.24 c os = linux 0.19/0.24 c compiler = ghc 7.4 0.19/0.24 c packages: 0.19/0.24 c OptDir-0.0.1 0.19/0.24 c array-0.4.0.0 0.19/0.24 c base-4.5.0.0 0.19/0.24 c bytestring-0.9.2.1 0.19/0.24 c containers-0.4.2.1 0.19/0.24 c deepseq-1.3.0.0 0.19/0.24 c mtl-2.1.1 0.19/0.24 c old_locale-1.0.0.4 0.19/0.24 c parse_dimacs-1.2 0.19/0.24 c parsec-3.1.2 0.19/0.24 c queue-0.1.2 0.19/0.24 c stm-2.3 0.19/0.24 c time-1.4 0.19/0.24 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725526-1338642872.opb"] 0.19/0.24 c #vars 1285 0.19/0.24 c #constraints 330 0.19/0.24 c Solving starts ... 1.49/1.58 c learnt constraints deletion: 1315 -> 658 2.59/2.62 c learnt constraints deletion: 1418 -> 709 4.09/4.10 c learnt constraints deletion: 1850 -> 925 4.89/4.94 c learnt constraints deletion: 1821 -> 919 5.88/5.90 c learnt constraints deletion: 1623 -> 816 6.79/6.84 c learnt constraints deletion: 1701 -> 851 8.39/8.46 c learnt constraints deletion: 2194 -> 1105 9.18/9.24 c learnt constraints deletion: 1557 -> 779 10.59/10.65 c learnt constraints deletion: 2154 -> 1084 11.48/11.50 c solving time = 11.251s 11.48/11.50 c #decision = 24491 11.48/11.50 c #conflict = 9537 11.48/11.50 c #restart = 9 11.48/11.50 o 36 11.48/11.50 c Solving starts ... 11.48/11.51 c learnt constraints deletion: 1740 -> 870 11.48/11.57 c learnt constraints deletion: 969 -> 485 11.89/11.92 c learnt constraints deletion: 857 -> 429 12.69/12.74 c learnt constraints deletion: 1272 -> 636 13.49/13.54 c learnt constraints deletion: 1396 -> 698 14.58/14.61 c learnt constraints deletion: 1645 -> 833 15.69/15.75 c learnt constraints deletion: 1730 -> 867 16.99/17.00 c learnt constraints deletion: 1798 -> 905 18.09/18.17 c learnt constraints deletion: 1929 -> 972 19.59/19.66 c learnt constraints deletion: 2078 -> 1053 20.29/20.32 c learnt constraints deletion: 1570 -> 785 21.90/21.94 c learnt constraints deletion: 2067 -> 1040 23.28/23.32 c learnt constraints deletion: 2094 -> 1050 24.48/24.52 c learnt constraints deletion: 1891 -> 955 26.29/26.31 c learnt constraints deletion: 2248 -> 1124 27.49/27.57 c learnt constraints deletion: 2131 -> 1067 29.69/29.79 c learnt constraints deletion: 2211 -> 1120 31.59/31.60 c learnt constraints deletion: 2160 -> 1080 32.78/32.83 c learnt constraints deletion: 1947 -> 974 34.58/34.63 c learnt constraints deletion: 2079 -> 1040 36.79/36.84 c learnt constraints deletion: 2557 -> 1286 38.99/39.09 c learnt constraints deletion: 2631 -> 1322 40.98/41.00 c learnt constraints deletion: 2643 -> 1337 41.98/42.01 c learnt constraints deletion: 1889 -> 945 44.38/44.41 c learnt constraints deletion: 2572 -> 1294 45.77/45.84 c learnt constraints deletion: 2273 -> 1139 47.48/47.57 c learnt constraints deletion: 2455 -> 1233 49.18/49.25 c learnt constraints deletion: 2591 -> 1296 50.98/51.03 c learnt constraints deletion: 2792 -> 1409 52.08/52.11 c learnt constraints deletion: 2359 -> 1180 54.77/54.86 c learnt constraints deletion: 2799 -> 1403 57.67/57.79 c learnt constraints deletion: 2803 -> 1403 60.17/60.28 c learnt constraints deletion: 2746 -> 1380 63.56/63.62 c learnt constraints deletion: 2770 -> 1392 67.56/67.68 c learnt constraints deletion: 2863 -> 1445 70.37/70.43 c learnt constraints deletion: 2764 -> 1389 72.66/72.76 c learnt constraints deletion: 2951 -> 1482 74.47/74.57 c learnt constraints deletion: 2895 -> 1455 76.76/76.85 c learnt constraints deletion: 2885 -> 1459 79.17/79.23 c learnt constraints deletion: 2938 -> 1474 80.96/81.00 c learnt constraints deletion: 2808 -> 1413 83.57/83.65 c learnt constraints deletion: 3010 -> 1514 85.67/85.78 c learnt constraints deletion: 2883 -> 1449 88.06/88.16 c learnt constraints deletion: 2997 -> 1512 90.56/90.68 c learnt constraints deletion: 2898 -> 1456 92.66/92.78 c learnt constraints deletion: 2862 -> 1441 95.16/95.25 c learnt constraints deletion: 3035 -> 1528 97.06/97.12 c learnt constraints deletion: 2814 -> 1423 99.16/99.29 c learnt constraints deletion: 2851 -> 1429 101.35/101.49 c learnt constraints deletion: 2796 -> 1398 106.56/106.61 c learnt constraints deletion: 3163 -> 1595 109.76/109.87 c learnt constraints deletion: 2997 -> 1507 112.76/112.86 c learnt constraints deletion: 3153 -> 1600 116.76/116.81 c learnt constraints deletion: 3248 -> 1635 118.77/118.87 c learnt constraints deletion: 2989 -> 1508 121.56/121.67 c learnt constraints deletion: 3067 -> 1550 124.56/124.66 c learnt constraints deletion: 2922 -> 1468 127.46/127.58 c learnt constraints deletion: 3093 -> 1572 130.36/130.45 c learnt constraints deletion: 3042 -> 1542 133.76/133.85 c learnt constraints deletion: 3162 -> 1597 136.15/136.26 c learnt constraints deletion: 3220 -> 1611 138.66/138.73 c learnt constraints deletion: 3106 -> 1554 141.45/141.58 c learnt constraints deletion: 3066 -> 1539 144.75/144.86 c learnt constraints deletion: 2980 -> 1491 147.15/147.28 c learnt constraints deletion: 3114 -> 1566 150.05/150.14 c learnt constraints deletion: 3205 -> 1608 153.65/153.79 c learnt constraints deletion: 3211 -> 1610 156.35/156.46 c learnt constraints deletion: 3285 -> 1659 158.35/158.43 c learnt constraints deletion: 2864 -> 1432 161.85/161.97 c learnt constraints deletion: 3528 -> 1767 164.45/164.58 c learnt constraints deletion: 3479 -> 1745 167.15/167.26 c learnt constraints deletion: 3442 -> 1747 170.95/171.03 c learnt constraints deletion: 3487 -> 1756 173.95/174.06 c learnt constraints deletion: 3273 -> 1654 176.75/176.84 c learnt constraints deletion: 3279 -> 1645 179.54/179.60 c learnt constraints deletion: 3320 -> 1666 182.84/182.92 c learnt constraints deletion: 3497 -> 1764 186.24/186.35 c learnt constraints deletion: 3534 -> 1788 190.44/190.56 c learnt constraints deletion: 3358 -> 1689 193.84/193.93 c learnt constraints deletion: 3390 -> 1715 197.34/197.41 c learnt constraints deletion: 3234 -> 1617 200.54/200.61 c learnt constraints deletion: 3476 -> 1748 203.34/203.46 c learnt constraints deletion: 3473 -> 1744 206.54/206.70 c learnt constraints deletion: 3296 -> 1656 209.95/210.09 c learnt constraints deletion: 3414 -> 1715 213.64/213.77 c learnt constraints deletion: 3436 -> 1727 216.34/216.44 c learnt constraints deletion: 3261 -> 1640 218.34/218.46 c learnt constraints deletion: 3265 -> 1640 220.84/220.95 c learnt constraints deletion: 3270 -> 1654 224.14/224.25 c learnt constraints deletion: 3406 -> 1708 226.34/226.44 c learnt constraints deletion: 3301 -> 1660 228.75/228.82 c learnt constraints deletion: 3333 -> 1676 230.64/230.79 c learnt constraints deletion: 3237 -> 1639 233.83/233.92 c learnt constraints deletion: 3393 -> 1711 236.44/236.53 c learnt constraints deletion: 3439 -> 1720 239.44/239.59 c learnt constraints deletion: 3686 -> 1843 242.03/242.19 c learnt constraints deletion: 3552 -> 1779 245.74/245.85 c learnt constraints deletion: 3760 -> 1889 249.14/249.29 c learnt constraints deletion: 3649 -> 1835 252.53/252.60 c learnt constraints deletion: 3695 -> 1851 254.84/254.95 c learnt constraints deletion: 3282 -> 1641 257.24/257.32 c learnt constraints deletion: 3507 -> 1761 259.64/259.77 c learnt constraints deletion: 3386 -> 1702 264.23/264.33 c learnt constraints deletion: 3607 -> 1832 268.93/269.08 c learnt constraints deletion: 3599 -> 1814 274.03/274.12 c learnt constraints deletion: 3784 -> 1909 276.43/276.56 c learnt constraints deletion: 3502 -> 1765 280.12/280.27 c learnt constraints deletion: 3873 -> 1971 282.64/282.72 c learnt constraints deletion: 3327 -> 1682 285.73/285.81 c learnt constraints deletion: 3690 -> 1873 289.33/289.42 c learnt constraints deletion: 3641 -> 1856 292.33/292.46 c learnt constraints deletion: 3856 -> 1951 294.53/294.63 c learnt constraints deletion: 3410 -> 1728 297.83/297.91 c learnt constraints deletion: 3441 -> 1745 301.33/301.45 c learnt constraints deletion: 3770 -> 1914 303.73/303.80 c learnt constraints deletion: 3549 -> 1803 306.92/307.06 c learnt constraints deletion: 3871 -> 1975 309.53/309.63 c learnt constraints deletion: 3540 -> 1804 313.92/314.00 c learnt constraints deletion: 3849 -> 1959 317.12/317.27 c learnt constraints deletion: 3390 -> 1724 320.03/320.11 c learnt constraints deletion: 3498 -> 1784 323.03/323.20 c learnt constraints deletion: 3722 -> 1900 325.53/325.67 c learnt constraints deletion: 3441 -> 1749 329.02/329.17 c learnt constraints deletion: 3660 -> 1858 332.92/333.10 c learnt constraints deletion: 3737 -> 1897 336.82/336.98 c learnt constraints deletion: 3641 -> 1849 339.83/339.99 c learnt constraints deletion: 3350 -> 1703 342.82/342.97 c learnt constraints deletion: 3577 -> 1830 346.52/346.63 c learnt constraints deletion: 3628 -> 1875 349.82/349.99 c learnt constraints deletion: 3754 -> 1910 353.12/353.22 c learnt constraints deletion: 3682 -> 1873 356.12/356.24 c learnt constraints deletion: 3525 -> 1763 359.22/359.33 c learnt constraints deletion: 3862 -> 1937 362.11/362.27 c learnt constraints deletion: 3943 -> 1979 364.81/364.94 c learnt constraints deletion: 3730 -> 1872 368.11/368.25 c learnt constraints deletion: 3989 -> 2008 371.51/371.67 c learnt constraints deletion: 3920 -> 1976 374.01/374.16 c learnt constraints deletion: 3661 -> 1854 377.61/377.76 c learnt constraints deletion: 3715 -> 1887 380.71/380.85 c learnt constraints deletion: 3974 -> 2021 383.81/383.94 c learnt constraints deletion: 3690 -> 1879 387.71/387.83 c learnt constraints deletion: 3916 -> 1999 391.01/391.13 c learnt constraints deletion: 3988 -> 2039 394.91/395.08 c learnt constraints deletion: 3938 -> 2021 398.61/398.73 c learnt constraints deletion: 3978 -> 2043 402.81/402.96 c learnt constraints deletion: 4004 -> 2065 405.81/405.91 c learnt constraints deletion: 3685 -> 1897 411.10/411.29 c learnt constraints deletion: 3697 -> 1906 416.72/416.88 c learnt constraints deletion: 4061 -> 2092 421.70/421.83 c learnt constraints deletion: 4082 -> 2099 425.70/425.84 c learnt constraints deletion: 3912 -> 2018 429.80/429.98 c learnt constraints deletion: 4022 -> 2077 433.71/433.89 c learnt constraints deletion: 4049 -> 2092 438.41/438.51 c learnt constraints deletion: 3822 -> 1976 443.70/443.82 c learnt constraints deletion: 3856 -> 2001 447.90/448.00 c learnt constraints deletion: 3848 -> 1999 452.30/452.45 c learnt constraints deletion: 3955 -> 2050 457.00/457.10 c learnt constraints deletion: 3964 -> 2055 461.50/461.67 c learnt constraints deletion: 3902 -> 2021 466.10/466.24 c learnt constraints deletion: 4170 -> 2159 469.80/469.91 c learnt constraints deletion: 4023 -> 2090 473.39/473.59 c learnt constraints deletion: 3873 -> 2015 477.39/477.57 c learnt constraints deletion: 3947 -> 2060 482.00/482.16 c learnt constraints deletion: 4123 -> 2146 485.70/485.84 c learnt constraints deletion: 3886 -> 2031 490.20/490.30 c learnt constraints deletion: 3931 -> 2048 494.80/495.00 c learnt constraints deletion: 4031 -> 2102 499.59/499.70 c learnt constraints deletion: 4079 -> 2125 504.20/504.34 c learnt constraints deletion: 3806 -> 1991 508.39/508.52 c learnt constraints deletion: 3864 -> 2022 513.09/513.26 c learnt constraints deletion: 3793 -> 1993 517.19/517.39 c learnt constraints deletion: 3850 -> 2021 522.59/522.73 c learnt constraints deletion: 4056 -> 2135 527.80/527.94 c learnt constraints deletion: 3997 -> 2118 532.29/532.48 c learnt constraints deletion: 3923 -> 2064 537.49/537.64 c learnt constraints deletion: 3986 -> 2095 541.59/541.78 c learnt constraints deletion: 3755 -> 1977 545.98/546.16 c learnt constraints deletion: 3807 -> 2010 551.09/551.23 c learnt constraints deletion: 4040 -> 2135 555.78/555.98 c learnt constraints deletion: 3877 -> 2042 561.39/561.58 c learnt constraints deletion: 4002 -> 2099 565.79/565.98 c learnt constraints deletion: 3906 -> 2051 570.69/570.86 c learnt constraints deletion: 3890 -> 2048 573.99/574.11 c learnt constraints deletion: 4242 -> 2121 577.18/577.30 c learnt constraints deletion: 4230 -> 2119 580.69/580.89 c learnt constraints deletion: 4327 -> 2170 583.68/583.83 c learnt constraints deletion: 3838 -> 1922 587.09/587.30 c learnt constraints deletion: 4216 -> 2114 590.48/590.69 c learnt constraints deletion: 4048 -> 2029 594.38/594.52 c learnt constraints deletion: 4322 -> 2169 598.48/598.66 c learnt constraints deletion: 4298 -> 2156 601.48/601.66 c learnt constraints deletion: 4184 -> 2101 604.79/604.97 c learnt constraints deletion: 4215 -> 2119 608.28/608.45 c learnt constraints deletion: 4073 -> 2054 611.58/611.76 c learnt constraints deletion: 4022 -> 2027 614.97/615.19 c learnt constraints deletion: 4025 -> 2030 619.28/619.44 c learnt constraints deletion: 4208 -> 2119 623.78/623.95 c learnt constraints deletion: 4289 -> 2163 627.48/627.63 c learnt constraints deletion: 4135 -> 2098 632.67/632.89 c learnt constraints deletion: 4335 -> 2181 636.47/636.65 c learnt constraints deletion: 4189 -> 2107 640.28/640.47 c learnt constraints deletion: 4030 -> 2029 644.47/644.65 c learnt constraints deletion: 4168 -> 2093 648.57/648.79 c learnt constraints deletion: 3890 -> 1946 652.57/652.72 c learnt constraints deletion: 4074 -> 2037 656.48/656.63 c learnt constraints deletion: 4211 -> 2112 660.57/660.78 c learnt constraints deletion: 4052 -> 2038 664.66/664.82 c learnt constraints deletion: 4099 -> 2062 670.26/670.45 c learnt constraints deletion: 4340 -> 2182 675.37/675.57 c learnt constraints deletion: 4096 -> 2063 680.47/680.68 c learnt constraints deletion: 4287 -> 2161 685.17/685.37 c learnt constraints deletion: 4205 -> 2108 688.37/688.60 c learnt constraints deletion: 4179 -> 2105 692.66/692.81 c learnt constraints deletion: 4028 -> 2027 696.56/696.77 c learnt constraints deletion: 4159 -> 2099 702.46/702.61 c learnt constraints deletion: 4162 -> 2103 709.37/709.59 c learnt constraints deletion: 4340 -> 2196 714.25/714.45 c learnt constraints deletion: 4318 -> 2178 717.66/717.84 c learnt constraints deletion: 4181 -> 2103 721.15/721.35 c learnt constraints deletion: 4069 -> 2049 726.36/726.53 c learnt constraints deletion: 4279 -> 2151 731.16/731.31 c learnt constraints deletion: 4177 -> 2101 734.96/735.18 c learnt constraints deletion: 4119 -> 2075 739.45/739.60 c learnt constraints deletion: 4272 -> 2153 744.25/744.46 c learnt constraints deletion: 4371 -> 2205 748.85/749.05 c learnt constraints deletion: 4194 -> 2110 753.46/753.68 c learnt constraints deletion: 4232 -> 2136 757.35/757.51 c learnt constraints deletion: 4222 -> 2128 762.55/762.79 c learnt constraints deletion: 4362 -> 2199 768.25/768.46 c learnt constraints deletion: 4281 -> 2166 773.45/773.64 c learnt constraints deletion: 4397 -> 2211 776.94/777.16 c learnt constraints deletion: 3995 -> 2008 781.15/781.37 c learnt constraints deletion: 4299 -> 2169 784.55/784.76 c learnt constraints deletion: 3955 -> 1995 788.75/788.98 c learnt constraints deletion: 4374 -> 2194 790.95/791.11 c learnt constraints deletion: 3761 -> 1881 794.64/794.86 c learnt constraints deletion: 4401 -> 2214 798.35/798.59 c learnt constraints deletion: 4147 -> 2096 802.34/802.50 c learnt constraints deletion: 4258 -> 2142 805.44/805.67 c learnt constraints deletion: 4040 -> 2035 809.24/809.47 c learnt constraints deletion: 4205 -> 2119 813.15/813.34 c learnt constraints deletion: 4187 -> 2119 817.54/817.76 c learnt constraints deletion: 4317 -> 2180 823.54/823.71 c learnt constraints deletion: 4193 -> 2122 828.54/828.73 c learnt constraints deletion: 4265 -> 2159 832.34/832.58 c learnt constraints deletion: 4031 -> 2037 836.63/836.81 c learnt constraints deletion: 4183 -> 2117 841.33/841.53 c learnt constraints deletion: 4228 -> 2138 844.83/845.05 c learnt constraints deletion: 4156 -> 2102 849.04/849.29 c learnt constraints deletion: 4297 -> 2173 853.03/853.22 c learnt constraints deletion: 4201 -> 2127 856.13/856.38 c learnt constraints deletion: 4055 -> 2055 861.43/861.60 c learnt constraints deletion: 4205 -> 2130 866.43/866.70 c learnt constraints deletion: 4718 -> 2394 871.13/871.38 c learnt constraints deletion: 4801 -> 2411 874.23/874.50 c learnt constraints deletion: 4593 -> 2297 877.83/878.01 c learnt constraints deletion: 4841 -> 2428 881.13/881.36 c learnt constraints deletion: 4776 -> 2394 884.63/884.80 c learnt constraints deletion: 4661 -> 2343 887.92/888.12 c learnt constraints deletion: 4547 -> 2292 892.22/892.48 c learnt constraints deletion: 4806 -> 2413 896.43/896.60 c learnt constraints deletion: 4666 -> 2339 899.82/900.03 c learnt constraints deletion: 4683 -> 2354 903.22/903.43 c learnt constraints deletion: 4558 -> 2287 906.13/906.31 c learnt constraints deletion: 4386 -> 2201 909.72/909.95 c learnt constraints deletion: 4462 -> 2243 913.23/913.48 c learnt constraints deletion: 4483 -> 2258 916.92/917.10 c learnt constraints deletion: 4548 -> 2296 920.53/920.78 c learnt constraints deletion: 4689 -> 2376 924.62/924.84 c learnt constraints deletion: 4675 -> 2370 928.42/928.64 c learnt constraints deletion: 4553 -> 2302 932.82/933.07 c learnt constraints deletion: 4738 -> 2383 936.72/936.95 c learnt constraints deletion: 4679 -> 2348 941.22/941.40 c learnt constraints deletion: 4718 -> 2371 945.01/945.24 c learnt constraints deletion: 4544 -> 2277 948.42/948.65 c learnt constraints deletion: 4541 -> 2285 952.81/953.06 c learnt constraints deletion: 4739 -> 2392 957.71/957.95 c learnt constraints deletion: 4725 -> 2380 961.22/961.49 c learnt constraints deletion: 4328 -> 2177 965.11/965.33 c learnt constraints deletion: 4563 -> 2302 970.11/970.35 c learnt constraints deletion: 4516 -> 2295 975.51/975.76 c learnt constraints deletion: 4509 -> 2255 979.91/980.13 c learnt constraints deletion: 4670 -> 2343 983.71/983.98 c learnt constraints deletion: 4534 -> 2268 988.21/988.43 c learnt constraints deletion: 4789 -> 2416 993.01/993.26 c learnt constraints deletion: 4573 -> 2292 997.31/997.54 c learnt constraints deletion: 4710 -> 2360 1001.20/1001.47 c learnt constraints deletion: 4383 -> 2200 1006.00/1006.30 c learnt constraints deletion: 4701 -> 2358 1009.91/1010.14 c learnt constraints deletion: 4531 -> 2275 1014.70/1014.97 c learnt constraints deletion: 4453 -> 2234 1020.50/1020.77 c learnt constraints deletion: 4617 -> 2317 1025.80/1026.03 c learnt constraints deletion: 4532 -> 2278 1032.70/1032.97 c learnt constraints deletion: 4732 -> 2367 1038.90/1039.13 c learnt constraints deletion: 4755 -> 2391 1043.50/1043.76 c learnt constraints deletion: 4691 -> 2355 1051.50/1051.73 c learnt constraints deletion: 4793 -> 2402 1058.00/1058.24 c learnt constraints deletion: 4782 -> 2398 1063.40/1063.61 c learnt constraints deletion: 4355 -> 2179 1068.69/1068.98 c learnt constraints deletion: 4569 -> 2289 1073.69/1073.91 c learnt constraints deletion: 4453 -> 2237 1080.00/1080.26 c learnt constraints deletion: 4683 -> 2350 1084.89/1085.13 c learnt constraints deletion: 4670 -> 2346 1089.09/1089.39 c learnt constraints deletion: 4633 -> 2327 1093.59/1093.88 c learnt constraints deletion: 4441 -> 2234 1098.89/1099.14 c learnt constraints deletion: 4507 -> 2270 1104.48/1104.72 c learnt constraints deletion: 4643 -> 2335 1108.79/1109.09 c learnt constraints deletion: 4410 -> 2211 1112.99/1113.26 c learnt constraints deletion: 4391 -> 2211 1118.58/1118.86 c learnt constraints deletion: 4456 -> 2236 1124.49/1124.75 c learnt constraints deletion: 4459 -> 2235 1128.39/1128.66 c learnt constraints deletion: 4526 -> 2265 1132.98/1133.23 c learnt constraints deletion: 4640 -> 2329 1137.98/1138.22 c learnt constraints deletion: 4655 -> 2341 1143.18/1143.49 c learnt constraints deletion: 4634 -> 2328 1149.58/1149.82 c learnt constraints deletion: 4751 -> 2386 1155.48/1155.78 c learnt constraints deletion: 4674 -> 2347 1161.47/1161.79 c learnt constraints deletion: 4683 -> 2360 1167.17/1167.41 c learnt constraints deletion: 4671 -> 2348 1172.47/1172.77 c learnt constraints deletion: 4682 -> 2355 1177.98/1178.27 c learnt constraints deletion: 4635 -> 2331 1183.87/1184.15 c learnt constraints deletion: 4578 -> 2295 1188.07/1188.38 c learnt constraints deletion: 4566 -> 2294 1193.18/1193.49 c learnt constraints deletion: 4495 -> 2257 1198.47/1198.79 c learnt constraints deletion: 4606 -> 2325 1203.77/1204.03 c learnt constraints deletion: 4791 -> 2411 1208.77/1209.07 c learnt constraints deletion: 4620 -> 2326 1213.97/1214.26 c learnt constraints deletion: 4502 -> 2267 1219.57/1219.89 c learnt constraints deletion: 4603 -> 2325 1225.27/1225.51 c learnt constraints deletion: 4715 -> 2370 1230.17/1230.46 c learnt constraints deletion: 4551 -> 2285 1235.27/1235.53 c learnt constraints deletion: 4555 -> 2290 1240.96/1241.21 c learnt constraints deletion: 4704 -> 2373 1245.46/1245.75 c learnt constraints deletion: 4582 -> 2302 1250.56/1250.81 c learnt constraints deletion: 4508 -> 2268 1257.07/1257.31 c learnt constraints deletion: 4659 -> 2345 1261.66/1261.93 c learnt constraints deletion: 4607 -> 2316 1267.16/1267.43 c learnt constraints deletion: 4589 -> 2309 1272.47/1272.78 c learnt constraints deletion: 4715 -> 2372 1277.56/1277.86 c learnt constraints deletion: 4703 -> 2368 1283.96/1284.20 c learnt constraints deletion: 4682 -> 2361 1288.66/1288.99 c learnt constraints deletion: 4527 -> 2287 1294.06/1294.36 c learnt constraints deletion: 4706 -> 2375 1299.96/1300.27 c learnt constraints deletion: 4768 -> 2407 1306.35/1306.67 c learnt constraints deletion: 4713 -> 2380 1312.26/1312.56 c learnt constraints deletion: 4477 -> 2265 1319.35/1319.62 c learnt constraints deletion: 4681 -> 2367 1324.45/1324.73 c learnt constraints deletion: 4562 -> 2315 1331.45/1331.74 c learnt constraints deletion: 4549 -> 2302 1339.85/1340.11 c learnt constraints deletion: 5002 -> 2517 1346.35/1346.61 c learnt constraints deletion: 4777 -> 2407 1351.45/1351.79 c learnt constraints deletion: 4549 -> 2275 1355.45/1355.72 c learnt constraints deletion: 5053 -> 2532 1361.35/1361.62 c learnt constraints deletion: 4890 -> 2454 1366.74/1367.00 c learnt constraints deletion: 5050 -> 2534 1371.15/1371.47 c learnt constraints deletion: 5121 -> 2571 1375.64/1375.98 c learnt constraints deletion: 5212 -> 2621 1379.64/1379.90 c learnt constraints deletion: 4869 -> 2456 1383.74/1384.09 c learnt constraints deletion: 5006 -> 2516 1387.34/1387.60 c learnt constraints deletion: 4942 -> 2490 1392.64/1392.91 c learnt constraints deletion: 5254 -> 2645 1397.14/1397.42 c learnt constraints deletion: 5024 -> 2544 1401.94/1402.26 c learnt constraints deletion: 4954 -> 2500 1406.34/1406.64 c learnt constraints deletion: 4831 -> 2437 1410.64/1410.91 c learnt constraints deletion: 5178 -> 2604 1414.93/1415.24 c learnt constraints deletion: 4868 -> 2447 1419.64/1420.00 c learnt constraints deletion: 5148 -> 2591 1423.64/1423.96 c learnt constraints deletion: 4969 -> 2505 1428.33/1428.66 c learnt constraints deletion: 5024 -> 2527 1433.14/1433.44 c learnt constraints deletion: 4926 -> 2479 1437.73/1438.07 c learnt constraints deletion: 5215 -> 2638 1442.43/1442.79 c learnt constraints deletion: 5089 -> 2562 1446.94/1447.26 c learnt constraints deletion: 4727 -> 2380 1451.33/1451.60 c learnt constraints deletion: 5151 -> 2591 1455.93/1456.23 c learnt constraints deletion: 5102 -> 2577 1461.93/1462.24 c learnt constraints deletion: 5162 -> 2601 1467.03/1467.31 c learnt constraints deletion: 5028 -> 2534 1471.73/1472.01 c learnt constraints deletion: 4761 -> 2403 1476.32/1476.69 c learnt constraints deletion: 4942 -> 2502 1480.83/1481.14 c learnt constraints deletion: 5116 -> 2588 1485.13/1485.42 c learnt constraints deletion: 5036 -> 2552 1490.23/1490.57 c learnt constraints deletion: 4964 -> 2520 1495.53/1495.87 c learnt constraints deletion: 4991 -> 2544 1500.22/1500.57 c learnt constraints deletion: 4796 -> 2435 1506.32/1506.69 c learnt constraints deletion: 5026 -> 2554 1511.33/1511.62 c learnt constraints deletion: 4831 -> 2448 1515.92/1516.24 c learnt constraints deletion: 5113 -> 2592 1522.22/1522.56 c learnt constraints deletion: 5106 -> 2582 1527.12/1527.43 c learnt constraints deletion: 5131 -> 2593 1531.93/1532.24 c learnt constraints deletion: 5177 -> 2607 1536.43/1536.78 c learnt constraints deletion: 5110 -> 2582 1540.62/1540.95 c learnt constraints deletion: 5058 -> 2551 1544.22/1544.54 c learnt constraints deletion: 4981 -> 2493 1548.31/1548.60 c learnt constraints deletion: 5074 -> 2545 1552.02/1552.39 c learnt constraints deletion: 4979 -> 2495 1555.81/1556.14 c learnt constraints deletion: 4981 -> 2498 1560.32/1560.66 c learnt constraints deletion: 5118 -> 2577 1564.61/1564.99 c learnt constraints deletion: 5146 -> 2585 1568.22/1568.54 c learnt constraints deletion: 4993 -> 2513 1572.01/1572.36 c learnt constraints deletion: 4821 -> 2432 1576.21/1576.53 c learnt constraints deletion: 5033 -> 2539 1579.81/1580.18 c learnt constraints deletion: 5021 -> 2513 1583.71/1584.06 c learnt constraints deletion: 5083 -> 2549 1588.41/1588.75 c learnt constraints deletion: 5089 -> 2551 1593.41/1593.78 c learnt constraints deletion: 5082 -> 2549 1597.61/1597.98 c learnt constraints deletion: 4904 -> 2464 1602.42/1602.77 c learnt constraints deletion: 4900 -> 2473 1607.00/1607.37 c learnt constraints deletion: 4931 -> 2477 1611.80/1612.17 c learnt constraints deletion: 5144 -> 2585 1616.61/1616.98 c learnt constraints deletion: 4822 -> 2425 1621.71/1622.07 c learnt constraints deletion: 4876 -> 2453 1627.10/1627.42 c learnt constraints deletion: 4798 -> 2407 1631.90/1632.27 c learnt constraints deletion: 4962 -> 2486 1636.30/1636.68 c learnt constraints deletion: 4937 -> 2480 1641.40/1641.75 c learnt constraints deletion: 4918 -> 2470 1647.00/1647.31 c learnt constraints deletion: 4945 -> 2491 1652.50/1652.80 c learnt constraints deletion: 4947 -> 2486 1657.50/1657.83 c learnt constraints deletion: 5001 -> 2512 1663.40/1663.71 c learnt constraints deletion: 4966 -> 2493 1669.90/1670.23 c learnt constraints deletion: 5012 -> 2516 1675.29/1675.69 c learnt constraints deletion: 5220 -> 2620 1679.50/1679.84 c learnt constraints deletion: 4970 -> 2489 1684.50/1684.82 c learnt constraints deletion: 4946 -> 2478 1689.49/1689.83 c learnt constraints deletion: 5080 -> 2551 1692.69/1693.09 c learnt constraints deletion: 4787 -> 2397 1698.50/1698.82 c learnt constraints deletion: 5142 -> 2596 1702.80/1703.11 c learnt constraints deletion: 4942 -> 2490 1708.00/1708.37 c learnt constraints deletion: 5080 -> 2565 1711.69/1712.03 c learnt constraints deletion: 4817 -> 2430 1717.08/1717.45 c learnt constraints deletion: 4904 -> 2472 1722.59/1722.94 c learnt constraints deletion: 4915 -> 2477 1727.49/1727.84 c learnt constraints deletion: 4868 -> 2456 1733.49/1733.87 c learnt constraints deletion: 4979 -> 2519 1739.29/1739.64 c learnt constraints deletion: 4845 -> 2434 1744.89/1745.21 c learnt constraints deletion: 4972 -> 2501 1749.88/1750.25 c learnt constraints deletion: 4908 -> 2469 1756.88/1757.21 c learnt constraints deletion: 5067 -> 2549 1763.48/1763.81 c learnt constraints deletion: 4557 -> 2291 1768.39/1768.76 c learnt constraints deletion: 4926 -> 2480 1772.79/1773.16 c learnt constraints deletion: 4786 -> 2415 1778.28/1778.63 c learnt constraints deletion: 4965 -> 2504 1782.78/1783.14 c learnt constraints deletion: 4990 -> 2516 1786.88/1787.29 c learnt constraints deletion: 5129 -> 2593 1791.68/1792.08 c learnt constraints deletion: 4733 -> 2381 1796.17/1796.54 c learnt constraints deletion: 4940 -> 2489
ERROR: no interpretation found !
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-3725526-1338642872/watcher-3725526-1338642872 -o /tmp/evaluation-result-3725526-1338642872/solver-3725526-1338642872 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725526-1338642872.opb running on 4 cores: 1,3,5,7 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.08 2.03 2.00 3/176 22176 /proc/meminfo: memFree=30121608/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=6224 CPUtime=0 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 800 0 0 0 0 0 0 0 20 0 1 0 330415791 6373376 720 33554432000 4194304 8989770 140736560680528 140734448109352 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 1556 720 425 1171 0 333 0 [startup+0.0781641 s] /proc/loadavg: 2.08 2.03 2.00 3/176 22176 /proc/meminfo: memFree=30121608/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=10320 CPUtime=0.07 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 1769 0 0 0 7 0 0 0 20 0 1 0 330415791 10567680 1689 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 2580 1689 442 1171 0 1357 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10320 [startup+0.100312 s] /proc/loadavg: 2.08 2.03 2.00 3/176 22176 /proc/meminfo: memFree=30121608/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=11344 CPUtime=0.09 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 1891 0 0 0 9 0 0 0 20 0 1 0 330415791 11616256 1811 33554432000 4194304 8989770 140736560680528 140736560680024 5382928 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 2836 1811 443 1171 0 1613 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11344 [startup+0.300284 s] /proc/loadavg: 2.08 2.03 2.00 3/176 22176 /proc/meminfo: memFree=30121608/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=11344 CPUtime=0.29 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 2148 0 0 0 29 0 0 0 20 0 1 0 330415791 11616256 2068 33554432000 4194304 8989770 140736560680528 140736560680024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 2836 2068 460 1171 0 1613 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11344 [startup+0.700323 s] /proc/loadavg: 2.08 2.03 2.00 3/176 22176 /proc/meminfo: memFree=30121608/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=13392 CPUtime=0.68 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 2412 0 0 0 68 0 0 0 20 0 1 0 330415791 13713408 2332 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 3348 2332 460 1171 0 2125 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 13392 [startup+1.50033 s] /proc/loadavg: 2.08 2.03 2.00 3/177 22177 /proc/meminfo: memFree=30112160/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=18512 CPUtime=1.49 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 3719 0 0 0 148 1 0 0 20 0 1 0 330415791 18956288 3639 33554432000 4194304 8989770 140736560680528 140736560680024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 4628 3639 460 1171 0 3405 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18512 [startup+3.10032 s] /proc/loadavg: 2.08 2.03 2.00 3/177 22177 /proc/meminfo: memFree=30107448/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=21584 CPUtime=3.09 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 4566 0 0 0 307 2 0 0 20 0 1 0 330415791 22102016 4486 33554432000 4194304 8989770 140736560680528 140736560679792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 5396 4486 462 1171 0 4173 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21584 [startup+6.30033 s] /proc/loadavg: 2.07 2.03 2.00 3/177 22177 /proc/meminfo: memFree=30100736/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=24656 CPUtime=6.29 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 5478 0 0 0 624 5 0 0 20 0 1 0 330415791 25247744 5398 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 6164 5398 462 1171 0 4941 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24656 [startup+12.7003 s] /proc/loadavg: 2.07 2.03 2.00 3/177 22177 /proc/meminfo: memFree=30100256/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=24656 CPUtime=12.69 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 5489 0 0 0 1261 8 0 0 20 0 1 0 330415791 25247744 5409 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 6164 5409 473 1171 0 4941 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24656 [startup+25.5003 s] /proc/loadavg: 2.13 2.04 2.01 3/177 22177 /proc/meminfo: memFree=30097496/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=25680 CPUtime=25.48 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 5745 0 0 0 2533 15 0 0 20 0 1 0 330415791 26296320 5665 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 6420 5665 473 1171 0 5197 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25680 [startup+51.1003 s] /proc/loadavg: 2.23 2.07 2.01 3/177 22177 /proc/meminfo: memFree=30083160/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=33872 CPUtime=51.08 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 7798 0 0 0 5078 30 0 0 20 0 1 0 330415791 34684928 7718 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 8468 7718 473 1171 0 7245 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33872 [startup+102.307 s] /proc/loadavg: 2.23 2.09 2.02 3/177 22177 /proc/meminfo: memFree=30073656/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=37968 CPUtime=102.26 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 9341 0 0 0 10167 59 0 0 20 0 1 0 330415791 38879232 8742 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 9492 8742 473 1171 0 8269 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 37968 [startup+162.3 s] /proc/loadavg: 2.13 2.08 2.02 3/177 22177 /proc/meminfo: memFree=30061180/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=44112 CPUtime=162.24 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 10879 0 0 0 16132 92 0 0 20 0 1 0 330415791 45170688 10278 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 11028 10278 473 1171 0 9805 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 44112 [startup+222.3 s] /proc/loadavg: 2.05 2.07 2.01 3/177 22178 /proc/meminfo: memFree=30055836/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=44112 CPUtime=222.24 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 11222 0 0 0 22100 124 0 0 20 0 1 0 330415791 45170688 10108 33554432000 4194304 8989770 140736560680528 140736560679792 6764481 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 11028 10108 473 1171 0 9805 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 44112 [startup+282.3 s] /proc/loadavg: 2.07 2.07 2.01 3/177 22178 /proc/meminfo: memFree=30043360/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=44112 CPUtime=282.23 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 13696 0 0 0 28067 156 0 0 20 0 1 0 330415791 45170688 10278 33554432000 4194304 8989770 140736560680528 140736560680024 7732696 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 11028 10278 473 1171 0 9805 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 44112 [startup+342.3 s] /proc/loadavg: 2.02 2.05 2.01 3/178 22181 /proc/meminfo: memFree=30039852/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=42064 CPUtime=342.22 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 13697 0 0 0 34033 189 0 0 20 0 1 0 330415791 43073536 9766 33554432000 4194304 8989770 140736560680528 140736560680024 4435160 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 10516 9766 473 1171 0 9293 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 42064 [startup+402.3 s] /proc/loadavg: 2.01 2.04 2.00 3/177 22181 /proc/meminfo: memFree=30036832/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=37968 CPUtime=402.21 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 14209 0 0 0 40003 218 0 0 20 0 1 0 330415791 38879232 8742 33554432000 4194304 8989770 140736560680528 140736560680024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 9492 8742 473 1171 0 8269 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 37968 [startup+462.3 s] /proc/loadavg: 2.00 2.03 2.00 3/177 22181 /proc/meminfo: memFree=30029764/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=37968 CPUtime=462.2 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 14209 0 0 0 45970 250 0 0 20 0 1 0 330415791 38879232 8742 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 9492 8742 473 1171 0 8269 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 37968 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 22182 /proc/meminfo: memFree=30020516/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=37968 CPUtime=522.19 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 14209 0 0 0 51939 280 0 0 20 0 1 0 330415791 38879232 8742 33554432000 4194304 8989770 140736560680528 140736560679792 6764456 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 9492 8742 473 1171 0 8269 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 37968 [startup+582.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 22182 /proc/meminfo: memFree=30010396/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=41040 CPUtime=582.19 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 16001 0 0 0 57905 314 0 0 20 0 1 0 330415791 42024960 9510 33554432000 4194304 8989770 140736560680528 140736560680024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 10260 9510 473 1171 0 9037 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 41040 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 22183 /proc/meminfo: memFree=29982524/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=45136 CPUtime=822.14 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 21383 0 0 0 81790 424 0 0 20 0 1 0 330415791 46219264 10534 33554432000 4194304 8989770 140736560680528 140736560678528 6858227 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 11284 10534 473 1171 0 10061 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 45136 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22183 /proc/meminfo: memFree=29975756/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=45136 CPUtime=882.12 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 23180 0 0 0 87762 450 0 0 20 0 1 0 330415791 46219264 10534 33554432000 4194304 8989770 140736560680528 140736560680024 4378696 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 11284 10534 473 1171 0 10061 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 45136 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22186 /proc/meminfo: memFree=29967852/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=44112 CPUtime=942.12 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 23692 0 0 0 93734 478 0 0 20 0 1 0 330415791 45170688 10278 33554432000 4194304 8989770 140736560680528 140736560680024 4355944 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 11028 10278 473 1171 0 9805 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 44112 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22186 /proc/meminfo: memFree=29953908/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=52304 CPUtime=1002.1 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 25745 0 0 0 99707 503 0 0 20 0 1 0 330415791 53559296 12326 33554432000 4194304 8989770 140736560680528 140736560679792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 13076 12326 473 1171 0 11853 0 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (KiB) 52304 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22186 /proc/meminfo: memFree=29943872/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=56400 CPUtime=1062.09 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 26769 0 0 0 105681 528 0 0 20 0 1 0 330415791 57753600 13350 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 14100 13350 473 1171 0 12877 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 56400 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22187 /proc/meminfo: memFree=29941924/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=54352 CPUtime=1122.09 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 26772 0 0 0 111657 552 0 0 20 0 1 0 330415791 55656448 12838 33554432000 4194304 8989770 140736560680528 140736560679792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 13588 12838 473 1171 0 12365 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 54352 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22187 /proc/meminfo: memFree=29934608/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=54352 CPUtime=1182.07 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 26772 0 0 0 117629 578 0 0 20 0 1 0 330415791 55656448 12838 33554432000 4194304 8989770 140736560680528 140736560680024 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 13588 12838 473 1171 0 12365 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 54352 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22188 /proc/meminfo: memFree=29930868/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=55376 CPUtime=1242.06 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27028 0 0 0 123602 604 0 0 20 0 1 0 330415791 56705024 13094 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 13844 13094 473 1171 0 12621 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 55376 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22188 /proc/meminfo: memFree=29923560/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=55376 CPUtime=1302.06 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27028 0 0 0 129577 629 0 0 20 0 1 0 330415791 56705024 13094 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 13844 13094 473 1171 0 12621 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 55376 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22188 /proc/meminfo: memFree=29920088/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=50256 CPUtime=1362.04 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27028 0 0 0 135551 653 0 0 20 0 1 0 330415791 51462144 11814 33554432000 4194304 8989770 140736560680528 140736560679792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 12564 11814 473 1171 0 11341 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 50256 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22189 /proc/meminfo: memFree=29919888/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=50256 CPUtime=1422.04 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27028 0 0 0 141525 679 0 0 20 0 1 0 330415791 51462144 11814 33554432000 4194304 8989770 140736560680528 140736560679792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 12564 11814 473 1171 0 11341 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 50256 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22189 /proc/meminfo: memFree=29917904/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=46160 CPUtime=1482.02 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27028 0 0 0 147498 704 0 0 20 0 1 0 330415791 47267840 10790 33554432000 4194304 8989770 140736560680528 140736560679792 4435004 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 11540 10790 473 1171 0 10317 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 46160 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22192 /proc/meminfo: memFree=29909332/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=47184 CPUtime=1542.01 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 27284 0 0 0 153475 726 0 0 20 0 1 0 330415791 48316416 11046 33554432000 4194304 8989770 140736560680528 140736560680024 4355260 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 11796 11046 473 1171 0 10573 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 47184 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 22192 /proc/meminfo: memFree=29896992/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=53328 CPUtime=1602.01 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 29077 0 0 0 159448 753 0 0 20 0 1 0 330415791 54607872 12582 33554432000 4194304 8989770 140736560680528 140736560679792 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 13332 12582 473 1171 0 12109 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 53328 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 22192 /proc/meminfo: memFree=29895876/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=50256 CPUtime=1661.99 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 29333 0 0 0 165423 776 0 0 20 0 1 0 330415791 51462144 11814 33554432000 4194304 8989770 140736560680528 140736560680024 6764456 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 12564 11814 473 1171 0 11341 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 50256 [startup+1722.3 s] /proc/loadavg: 1.95 1.99 1.99 3/177 22232 /proc/meminfo: memFree=30058900/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=54352 CPUtime=1721.99 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 31128 0 0 0 171396 803 0 0 20 0 1 0 330415791 55656448 12838 33554432000 4194304 8989770 140736560680528 140736560680024 4209357 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 13588 12838 473 1171 0 12365 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 54352 [startup+1782.3 s] /proc/loadavg: 1.98 1.99 1.99 3/177 22232 /proc/meminfo: memFree=29970344/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=54352 CPUtime=1781.98 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 31128 0 0 0 177374 824 0 0 20 0 1 0 330415791 55656448 12838 33554432000 4194304 8989770 140736560680528 140736560680024 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 13588 12838 473 1171 0 12365 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 54352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.98 1.99 1.99 3/177 22232 /proc/meminfo: memFree=29949728/32873844 swapFree=7372/7372 [pid=22176] ppid=22174 vsize=54352 CPUtime=1800.08 cores=1,3,5,7 /proc/22176/stat : 22176 (toysat) R 22174 22176 21194 0 -1 4202496 31128 0 0 0 179177 831 0 0 20 0 1 0 330415791 55656448 12838 33554432000 4194304 8989770 140736560680528 140736560680024 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22176/statm: 13588 12838 473 1171 0 12365 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 54352 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.09 CPU user time (s): 1791.78 CPU system time (s): 8.31374 CPU usage (%): 99.9824 Max. virtual memory (cumulated for all children) (KiB): 57424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.78 system time used= 8.31374 maximum resident set size= 54424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31128 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 44 involuntary context switches= 1849 runsolver used 4.38133 second user time and 8.85265 second system time The end
Begin job on node109 at 2012-06-02 15:14:32 IDJOB=3725526 IDBENCH=89878 IDSOLVER=2308 FILE ID=node109/3725526-1338642872 RUNJOBID= node109-1338631506-21211 PBS_JOBID= 14636471 Free space on /tmp= 70704 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1440225.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725526-1338642872/watcher-3725526-1338642872 -o /tmp/evaluation-result-3725526-1338642872/solver-3725526-1338642872 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725526-1338642872.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ae858a83a4b73fde0d05a86f9f6907e8 RANDOM SEED=27403112 node109.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.264 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.52 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.264 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.264 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.91 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.264 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.264 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.264 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.264 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.91 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.264 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30121972 kB Buffers: 308596 kB Cached: 1495556 kB SwapCached: 944 kB Active: 951908 kB Inactive: 926720 kB Active(anon): 68660 kB Inactive(anon): 7796 kB Active(file): 883248 kB Inactive(file): 918924 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67105492 kB Dirty: 7388 kB Writeback: 0 kB AnonPages: 116804 kB Mapped: 11804 kB Shmem: 4 kB Slab: 734660 kB SReclaimable: 177120 kB SUnreclaim: 557540 kB KernelStack: 1480 kB PageTables: 4368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 190008 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 47104 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= 70700 MiB End job on node109 at 2012-06-02 15:44:35