Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.06 | 1800.41 |
Name | /OPT-SMALLINT-LIN/heinz/ normalized-neos-807456.opb |
MD5SUM | 21cf0355c32a3177f2f6fa914b5dacc6 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 1635 |
Total number of constraints | 840 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 840 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 9 |
Number of terms in the objective function | 1635 |
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 | 1635 |
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 | 1635 |
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.29 c 2012-06-02T15:12:01+0200 0.19/0.29 c arch = x86_64 0.19/0.29 c os = linux 0.19/0.29 c compiler = ghc 7.4 0.19/0.29 c packages: 0.19/0.29 c OptDir-0.0.1 0.19/0.29 c array-0.4.0.0 0.19/0.29 c base-4.5.0.0 0.19/0.29 c bytestring-0.9.2.1 0.19/0.29 c containers-0.4.2.1 0.19/0.29 c deepseq-1.3.0.0 0.19/0.29 c mtl-2.1.1 0.19/0.29 c old_locale-1.0.0.4 0.19/0.29 c parse_dimacs-1.2 0.19/0.29 c parsec-3.1.2 0.19/0.29 c queue-0.1.2 0.19/0.29 c stm-2.3 0.19/0.29 c time-1.4 0.19/0.29 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725533-1338642721.opb"] 0.19/0.29 c #vars 1635 0.19/0.29 c #constraints 840 0.19/0.29 c Solving starts ... 1.39/1.49 c learnt constraints deletion: 2085 -> 1043 2.29/2.35 c learnt constraints deletion: 2354 -> 1177 3.09/3.14 c learnt constraints deletion: 2414 -> 1207 4.19/4.22 c learnt constraints deletion: 2828 -> 1420 5.39/5.40 c learnt constraints deletion: 3161 -> 1583 6.39/6.47 c learnt constraints deletion: 3082 -> 1551 7.48/7.55 c learnt constraints deletion: 3070 -> 1552 8.89/8.91 c learnt constraints deletion: 3371 -> 1698 10.00/10.04 c learnt constraints deletion: 3234 -> 1619 10.99/11.08 c learnt constraints deletion: 3175 -> 1594 12.19/12.25 c learnt constraints deletion: 3316 -> 1658 13.49/13.52 c learnt constraints deletion: 3555 -> 1781 14.88/14.93 c learnt constraints deletion: 3611 -> 1815 16.09/16.19 c learnt constraints deletion: 3522 -> 1771 17.49/17.57 c learnt constraints deletion: 3634 -> 1827 18.99/19.06 c learnt constraints deletion: 3854 -> 1927 20.38/20.49 c learnt constraints deletion: 3871 -> 1939 21.99/22.07 c learnt constraints deletion: 3972 -> 1997 23.38/23.42 c learnt constraints deletion: 3888 -> 1948 24.89/24.96 c learnt constraints deletion: 3901 -> 1959 26.39/26.41 c learnt constraints deletion: 3808 -> 1913 27.88/27.99 c learnt constraints deletion: 3802 -> 1906 29.69/29.75 c learnt constraints deletion: 4135 -> 2069 31.58/31.60 c learnt constraints deletion: 4408 -> 2206 33.09/33.13 c learnt constraints deletion: 3992 -> 1996 34.69/34.71 c learnt constraints deletion: 4152 -> 2077 36.39/36.43 c learnt constraints deletion: 4191 -> 2104 38.09/38.13 c learnt constraints deletion: 4214 -> 2110 39.78/39.89 c learnt constraints deletion: 4175 -> 2089 41.58/41.64 c learnt constraints deletion: 4307 -> 2158 43.28/43.36 c learnt constraints deletion: 4301 -> 2153 45.19/45.27 c learnt constraints deletion: 4570 -> 2286 47.08/47.12 c learnt constraints deletion: 4563 -> 2289 48.88/48.98 c learnt constraints deletion: 4555 -> 2282 50.88/50.90 c learnt constraints deletion: 4604 -> 2309 52.68/52.79 c learnt constraints deletion: 4541 -> 2280 54.58/54.66 c learnt constraints deletion: 4635 -> 2332 56.48/56.53 c learnt constraints deletion: 4612 -> 2317 58.08/58.19 c learnt constraints deletion: 4534 -> 2276 60.18/60.20 c learnt constraints deletion: 4665 -> 2345 61.88/61.99 c learnt constraints deletion: 4469 -> 2254 63.79/63.84 c learnt constraints deletion: 4570 -> 2301 65.68/65.74 c learnt constraints deletion: 4490 -> 2263 67.78/67.84 c learnt constraints deletion: 4797 -> 2399 69.77/69.88 c learnt constraints deletion: 4859 -> 2432 71.68/71.78 c learnt constraints deletion: 4868 -> 2439 73.57/73.68 c learnt constraints deletion: 4923 -> 2470 75.47/75.53 c learnt constraints deletion: 4869 -> 2442 77.38/77.47 c learnt constraints deletion: 4914 -> 2464 79.37/79.41 c learnt constraints deletion: 4948 -> 2482 81.48/81.52 c learnt constraints deletion: 5060 -> 2535 83.27/83.36 c learnt constraints deletion: 4916 -> 2463 85.38/85.45 c learnt constraints deletion: 5029 -> 2523 87.48/87.57 c learnt constraints deletion: 5120 -> 2571 89.47/89.56 c learnt constraints deletion: 5066 -> 2543 91.37/91.46 c learnt constraints deletion: 4845 -> 2432 93.48/93.50 c learnt constraints deletion: 4934 -> 2476 95.47/95.53 c learnt constraints deletion: 4853 -> 2435 97.67/97.73 c learnt constraints deletion: 5122 -> 2565 99.67/99.77 c learnt constraints deletion: 5129 -> 2572 101.67/101.77 c learnt constraints deletion: 4980 -> 2494 103.97/104.03 c learnt constraints deletion: 5340 -> 2673 106.27/106.33 c learnt constraints deletion: 5600 -> 2811 108.57/108.63 c learnt constraints deletion: 5670 -> 2852 110.77/110.87 c learnt constraints deletion: 5577 -> 2804 112.97/113.05 c learnt constraints deletion: 5539 -> 2775 115.17/115.24 c learnt constraints deletion: 5448 -> 2738 117.27/117.40 c learnt constraints deletion: 5360 -> 2684 119.57/119.65 c learnt constraints deletion: 5458 -> 2738 121.67/121.75 c learnt constraints deletion: 5349 -> 2676 123.76/123.83 c learnt constraints deletion: 5446 -> 2737 125.87/125.96 c learnt constraints deletion: 5405 -> 2726 128.17/128.20 c learnt constraints deletion: 5409 -> 2731 130.37/130.41 c learnt constraints deletion: 5475 -> 2767 132.57/132.70 c learnt constraints deletion: 5497 -> 2783 134.87/134.96 c learnt constraints deletion: 5445 -> 2759 137.17/137.22 c learnt constraints deletion: 5440 -> 2755 139.47/139.52 c learnt constraints deletion: 5667 -> 2870 141.56/141.60 c learnt constraints deletion: 5467 -> 2767 143.77/143.80 c learnt constraints deletion: 5495 -> 2781 145.96/146.00 c learnt constraints deletion: 5466 -> 2760 148.16/148.22 c learnt constraints deletion: 5472 -> 2757 150.46/150.51 c learnt constraints deletion: 5441 -> 2739 152.66/152.74 c learnt constraints deletion: 5386 -> 2716 154.96/155.06 c learnt constraints deletion: 5462 -> 2749 157.56/157.61 c learnt constraints deletion: 5889 -> 2971 160.06/160.13 c learnt constraints deletion: 6089 -> 3083 162.46/162.54 c learnt constraints deletion: 5934 -> 3001 164.86/164.98 c learnt constraints deletion: 5897 -> 2980 167.36/167.45 c learnt constraints deletion: 5995 -> 3033 169.86/169.93 c learnt constraints deletion: 5933 -> 2985 172.56/172.61 c learnt constraints deletion: 6001 -> 3017 174.86/174.97 c learnt constraints deletion: 5887 -> 2959 177.46/177.57 c learnt constraints deletion: 5922 -> 2976 180.05/180.11 c learnt constraints deletion: 6026 -> 3030 182.56/182.65 c learnt constraints deletion: 5972 -> 3003 185.16/185.25 c learnt constraints deletion: 5898 -> 2964 187.75/187.83 c learnt constraints deletion: 6052 -> 3046 190.36/190.47 c learnt constraints deletion: 5978 -> 3005 192.86/192.95 c learnt constraints deletion: 6009 -> 3021 195.46/195.53 c learnt constraints deletion: 6165 -> 3100 197.75/197.83 c learnt constraints deletion: 5963 -> 3002 200.16/200.30 c learnt constraints deletion: 5935 -> 2982 202.56/202.65 c learnt constraints deletion: 5918 -> 2977 205.15/205.28 c learnt constraints deletion: 6159 -> 3099 207.65/207.77 c learnt constraints deletion: 6043 -> 3047 210.16/210.23 c learnt constraints deletion: 5975 -> 3019 212.66/212.70 c learnt constraints deletion: 6045 -> 3051 215.15/215.25 c learnt constraints deletion: 6093 -> 3078 217.75/217.87 c learnt constraints deletion: 6089 -> 3065 220.25/220.39 c learnt constraints deletion: 5889 -> 2965 222.75/222.88 c learnt constraints deletion: 5954 -> 2996 225.25/225.34 c learnt constraints deletion: 6078 -> 3063 227.85/227.94 c learnt constraints deletion: 6045 -> 3048 230.45/230.51 c learnt constraints deletion: 6009 -> 3031 232.95/233.09 c learnt constraints deletion: 6031 -> 3037 235.65/235.74 c learnt constraints deletion: 6026 -> 3035 238.24/238.37 c learnt constraints deletion: 6081 -> 3062 241.24/241.35 c learnt constraints deletion: 6621 -> 3325 243.95/244.07 c learnt constraints deletion: 6468 -> 3249 246.85/246.90 c learnt constraints deletion: 6483 -> 3259 249.65/249.77 c learnt constraints deletion: 6525 -> 3283 252.54/252.66 c learnt constraints deletion: 6549 -> 3293 255.54/255.60 c learnt constraints deletion: 6647 -> 3347 258.35/258.47 c learnt constraints deletion: 6587 -> 3311 261.25/261.36 c learnt constraints deletion: 6654 -> 3350 264.14/264.27 c learnt constraints deletion: 6652 -> 3350 267.14/267.22 c learnt constraints deletion: 6590 -> 3312 270.04/270.10 c learnt constraints deletion: 6644 -> 3340 272.95/273.05 c learnt constraints deletion: 6563 -> 3299 275.75/275.85 c learnt constraints deletion: 6586 -> 3310 278.54/278.69 c learnt constraints deletion: 6606 -> 3327 281.64/281.71 c learnt constraints deletion: 6611 -> 3330 284.64/284.79 c learnt constraints deletion: 6721 -> 3387 287.64/287.71 c learnt constraints deletion: 6526 -> 3288 290.74/290.86 c learnt constraints deletion: 6674 -> 3358 293.75/293.84 c learnt constraints deletion: 6604 -> 3324 296.74/296.83 c learnt constraints deletion: 6503 -> 3278 299.84/299.91 c learnt constraints deletion: 6695 -> 3367 302.74/302.81 c learnt constraints deletion: 6582 -> 3314 305.33/305.46 c learnt constraints deletion: 6542 -> 3275 308.14/308.24 c learnt constraints deletion: 6588 -> 3301 311.04/311.11 c learnt constraints deletion: 6536 -> 3281 313.93/314.01 c learnt constraints deletion: 6557 -> 3293 316.94/317.00 c learnt constraints deletion: 6640 -> 3334 319.73/319.87 c learnt constraints deletion: 6624 -> 3316 322.54/322.63 c learnt constraints deletion: 6692 -> 3349 325.23/325.32 c learnt constraints deletion: 6622 -> 3314 327.93/328.06 c learnt constraints deletion: 6600 -> 3308 330.83/330.98 c learnt constraints deletion: 6649 -> 3334 333.63/333.79 c learnt constraints deletion: 6595 -> 3314 336.33/336.49 c learnt constraints deletion: 6487 -> 3249 339.03/339.16 c learnt constraints deletion: 6418 -> 3218 341.93/342.07 c learnt constraints deletion: 6511 -> 3271 344.73/344.85 c learnt constraints deletion: 6504 -> 3270 347.54/347.70 c learnt constraints deletion: 6437 -> 3234 350.73/350.81 c learnt constraints deletion: 6658 -> 3346 353.53/353.64 c learnt constraints deletion: 6538 -> 3277 356.33/356.50 c learnt constraints deletion: 6550 -> 3288 359.53/359.70 c learnt constraints deletion: 6644 -> 3336 362.52/362.64 c learnt constraints deletion: 6620 -> 3322 365.42/365.58 c learnt constraints deletion: 6481 -> 3251 369.12/369.29 c learnt constraints deletion: 7241 -> 3636 372.53/372.61 c learnt constraints deletion: 7155 -> 3585 376.03/376.19 c learnt constraints deletion: 7398 -> 3718 379.33/379.42 c learnt constraints deletion: 7108 -> 3572 383.03/383.17 c learnt constraints deletion: 7270 -> 3658 386.22/386.37 c learnt constraints deletion: 7259 -> 3648 389.62/389.74 c learnt constraints deletion: 7213 -> 3626 392.92/393.07 c learnt constraints deletion: 7305 -> 3672 396.43/396.51 c learnt constraints deletion: 7171 -> 3609 399.73/399.85 c learnt constraints deletion: 7079 -> 3570 403.22/403.30 c learnt constraints deletion: 7242 -> 3658 406.82/406.95 c learnt constraints deletion: 7321 -> 3697 410.23/410.38 c learnt constraints deletion: 7197 -> 3637 413.82/413.93 c learnt constraints deletion: 7194 -> 3631 417.32/417.48 c learnt constraints deletion: 7198 -> 3627 420.72/420.87 c learnt constraints deletion: 7286 -> 3677 424.01/424.16 c learnt constraints deletion: 7118 -> 3586 427.32/427.46 c learnt constraints deletion: 7160 -> 3606 430.61/430.74 c learnt constraints deletion: 7288 -> 3674 433.71/433.83 c learnt constraints deletion: 7118 -> 3587 436.81/436.95 c learnt constraints deletion: 7096 -> 3573 440.10/440.24 c learnt constraints deletion: 7099 -> 3571 443.41/443.53 c learnt constraints deletion: 7189 -> 3619 446.71/446.81 c learnt constraints deletion: 7196 -> 3626 450.01/450.17 c learnt constraints deletion: 7246 -> 3650 453.21/453.39 c learnt constraints deletion: 7198 -> 3628 456.51/456.67 c learnt constraints deletion: 7229 -> 3640 459.71/459.89 c learnt constraints deletion: 7189 -> 3626 463.01/463.15 c learnt constraints deletion: 7286 -> 3662 466.21/466.32 c learnt constraints deletion: 7218 -> 3635 469.61/469.76 c learnt constraints deletion: 7302 -> 3681 472.91/473.05 c learnt constraints deletion: 7153 -> 3607 476.31/476.48 c learnt constraints deletion: 7246 -> 3643 479.70/479.84 c learnt constraints deletion: 7153 -> 3595 483.11/483.23 c learnt constraints deletion: 7193 -> 3615 486.61/486.73 c learnt constraints deletion: 7341 -> 3692 490.00/490.18 c learnt constraints deletion: 7291 -> 3668 493.10/493.26 c learnt constraints deletion: 7076 -> 3561 496.40/496.58 c learnt constraints deletion: 7193 -> 3622 499.60/499.71 c learnt constraints deletion: 7158 -> 3603 502.71/502.85 c learnt constraints deletion: 7197 -> 3631 505.91/506.06 c learnt constraints deletion: 7193 -> 3625 509.30/509.42 c learnt constraints deletion: 7326 -> 3699 512.50/512.62 c learnt constraints deletion: 7254 -> 3660 515.80/515.91 c learnt constraints deletion: 7271 -> 3667 519.10/519.26 c learnt constraints deletion: 7268 -> 3670 522.30/522.46 c learnt constraints deletion: 7118 -> 3595 525.70/525.83 c learnt constraints deletion: 7209 -> 3633 529.00/529.11 c learnt constraints deletion: 7242 -> 3654 532.19/532.40 c learnt constraints deletion: 7206 -> 3634 535.39/535.53 c learnt constraints deletion: 7169 -> 3610 538.59/538.73 c learnt constraints deletion: 7231 -> 3644 541.99/542.11 c learnt constraints deletion: 7240 -> 3651 545.19/545.33 c learnt constraints deletion: 7226 -> 3641 548.39/548.53 c learnt constraints deletion: 7262 -> 3651 551.79/551.94 c learnt constraints deletion: 7284 -> 3668 555.19/555.36 c learnt constraints deletion: 7267 -> 3657 558.59/558.75 c learnt constraints deletion: 7188 -> 3620 562.09/562.22 c learnt constraints deletion: 7217 -> 3630 565.39/565.57 c learnt constraints deletion: 7121 -> 3584 568.48/568.70 c learnt constraints deletion: 7127 -> 3578 571.78/571.90 c learnt constraints deletion: 7088 -> 3556 575.98/576.12 c learnt constraints deletion: 7994 -> 4020 579.70/579.86 c learnt constraints deletion: 7918 -> 3968 583.18/583.31 c learnt constraints deletion: 7884 -> 3948 586.69/586.89 c learnt constraints deletion: 7771 -> 3900 590.28/590.49 c learnt constraints deletion: 7743 -> 3881 594.18/594.36 c learnt constraints deletion: 7883 -> 3954 597.98/598.11 c learnt constraints deletion: 7835 -> 3930 601.69/601.87 c learnt constraints deletion: 7829 -> 3928 605.39/605.59 c learnt constraints deletion: 7914 -> 3968 609.28/609.43 c learnt constraints deletion: 7911 -> 3970 612.59/612.77 c learnt constraints deletion: 7757 -> 3891 616.38/616.59 c learnt constraints deletion: 7911 -> 3969 620.18/620.32 c learnt constraints deletion: 7797 -> 3912 623.97/624.11 c learnt constraints deletion: 7769 -> 3900 627.87/628.05 c learnt constraints deletion: 7836 -> 3933 631.57/631.77 c learnt constraints deletion: 7882 -> 3957 635.28/635.49 c learnt constraints deletion: 7874 -> 3954 638.98/639.10 c learnt constraints deletion: 7915 -> 3980 642.38/642.58 c learnt constraints deletion: 7764 -> 3905 645.97/646.11 c learnt constraints deletion: 7757 -> 3904 649.57/649.75 c learnt constraints deletion: 7896 -> 3965 653.17/653.33 c learnt constraints deletion: 7884 -> 3966 656.57/656.78 c learnt constraints deletion: 7800 -> 3914 660.06/660.29 c learnt constraints deletion: 7859 -> 3946 663.67/663.82 c learnt constraints deletion: 7863 -> 3950 667.37/667.56 c learnt constraints deletion: 7892 -> 3966 670.97/671.18 c learnt constraints deletion: 7842 -> 3938 674.66/674.84 c learnt constraints deletion: 7823 -> 3931 678.26/678.48 c learnt constraints deletion: 7883 -> 3963 681.87/682.09 c learnt constraints deletion: 7856 -> 3944 685.57/685.70 c learnt constraints deletion: 7923 -> 3981 689.16/689.30 c learnt constraints deletion: 7873 -> 3955 692.87/693.01 c learnt constraints deletion: 7904 -> 3972 696.46/696.66 c learnt constraints deletion: 7979 -> 4003 699.97/700.17 c learnt constraints deletion: 7894 -> 3964 703.56/703.76 c learnt constraints deletion: 7915 -> 3983 707.27/707.46 c learnt constraints deletion: 7946 -> 3998 711.06/711.20 c learnt constraints deletion: 7834 -> 3943 714.66/714.86 c learnt constraints deletion: 7950 -> 3989 718.36/718.53 c learnt constraints deletion: 7843 -> 3937 722.16/722.38 c learnt constraints deletion: 7952 -> 3994 725.87/726.04 c learnt constraints deletion: 7952 -> 3995 729.46/729.69 c learnt constraints deletion: 7953 -> 3999 733.26/733.43 c learnt constraints deletion: 7853 -> 3943 737.06/737.25 c learnt constraints deletion: 7968 -> 4006 740.85/741.03 c learnt constraints deletion: 7788 -> 3906 744.57/744.79 c learnt constraints deletion: 7946 -> 3994 748.45/748.61 c learnt constraints deletion: 7881 -> 3954 751.86/752.07 c learnt constraints deletion: 7850 -> 3939 755.36/755.59 c learnt constraints deletion: 7866 -> 3949 758.96/759.17 c learnt constraints deletion: 7874 -> 3952 762.55/762.75 c learnt constraints deletion: 7905 -> 3965 766.05/766.28 c learnt constraints deletion: 7832 -> 3929 769.55/769.77 c learnt constraints deletion: 7855 -> 3944 773.15/773.36 c learnt constraints deletion: 7815 -> 3924 776.75/776.90 c learnt constraints deletion: 7921 -> 3978 780.35/780.59 c learnt constraints deletion: 7964 -> 4005 783.95/784.13 c learnt constraints deletion: 8038 -> 4037 787.46/787.70 c learnt constraints deletion: 7982 -> 4006 791.25/791.48 c learnt constraints deletion: 7999 -> 4016 795.15/795.31 c learnt constraints deletion: 8080 -> 4057 798.65/798.82 c learnt constraints deletion: 7950 -> 3989 802.34/802.50 c learnt constraints deletion: 8027 -> 4033 805.94/806.19 c learnt constraints deletion: 7971 -> 4004 809.84/810.09 c learnt constraints deletion: 7982 -> 4009 813.54/813.76 c learnt constraints deletion: 7946 -> 3988 817.44/817.64 c learnt constraints deletion: 7907 -> 3971 821.24/821.40 c learnt constraints deletion: 7803 -> 3916 824.94/825.12 c learnt constraints deletion: 7897 -> 3970 828.64/828.86 c learnt constraints deletion: 7854 -> 3949 832.34/832.59 c learnt constraints deletion: 7912 -> 3973 836.24/836.40 c learnt constraints deletion: 7965 -> 3998 839.74/839.98 c learnt constraints deletion: 7876 -> 3953 843.54/843.78 c learnt constraints deletion: 7994 -> 4014 847.34/847.58 c learnt constraints deletion: 7935 -> 3993 851.34/851.53 c learnt constraints deletion: 8011 -> 4027 855.04/855.27 c learnt constraints deletion: 8083 -> 4061 858.64/858.81 c learnt constraints deletion: 7836 -> 3938 862.34/862.59 c learnt constraints deletion: 7939 -> 3996 866.14/866.38 c learnt constraints deletion: 8007 -> 4028 869.94/870.11 c learnt constraints deletion: 7997 -> 4013 873.34/873.53 c learnt constraints deletion: 8006 -> 4017 876.73/876.92 c learnt constraints deletion: 7914 -> 3980 880.43/880.66 c learnt constraints deletion: 7817 -> 3930 885.23/885.40 c learnt constraints deletion: 8732 -> 4390 889.43/889.67 c learnt constraints deletion: 8758 -> 4401 893.53/893.78 c learnt constraints deletion: 8701 -> 4369 897.83/898.06 c learnt constraints deletion: 8514 -> 4268 902.43/902.66 c learnt constraints deletion: 8638 -> 4332 906.43/906.66 c learnt constraints deletion: 8561 -> 4297 910.52/910.71 c learnt constraints deletion: 8632 -> 4340 914.43/914.65 c learnt constraints deletion: 8610 -> 4328 918.43/918.62 c learnt constraints deletion: 8654 -> 4350 922.52/922.77 c learnt constraints deletion: 8672 -> 4360 926.42/926.68 c learnt constraints deletion: 8665 -> 4367 930.62/930.81 c learnt constraints deletion: 8676 -> 4375 934.72/934.94 c learnt constraints deletion: 8596 -> 4337 939.12/939.39 c learnt constraints deletion: 8827 -> 4453 943.32/943.59 c learnt constraints deletion: 8684 -> 4371 947.52/947.75 c learnt constraints deletion: 8765 -> 4413 951.72/951.91 c learnt constraints deletion: 8662 -> 4353 955.82/956.02 c learnt constraints deletion: 8555 -> 4305 960.12/960.31 c learnt constraints deletion: 8656 -> 4352 964.32/964.52 c learnt constraints deletion: 8537 -> 4298 968.62/968.82 c learnt constraints deletion: 8626 -> 4343 972.71/972.98 c learnt constraints deletion: 8722 -> 4380 976.91/977.15 c learnt constraints deletion: 8738 -> 4393 980.91/981.12 c learnt constraints deletion: 8593 -> 4316 985.01/985.20 c learnt constraints deletion: 8689 -> 4366 988.91/989.13 c learnt constraints deletion: 8571 -> 4307 992.91/993.10 c learnt constraints deletion: 8738 -> 4388 996.61/996.85 c learnt constraints deletion: 8633 -> 4342 1000.71/1000.96 c learnt constraints deletion: 8658 -> 4347 1004.41/1004.68 c learnt constraints deletion: 8695 -> 4368 1008.40/1008.68 c learnt constraints deletion: 8781 -> 4415 1012.30/1012.58 c learnt constraints deletion: 8623 -> 4344 1016.61/1016.86 c learnt constraints deletion: 8756 -> 4405 1020.70/1020.96 c learnt constraints deletion: 8653 -> 4344 1024.80/1025.05 c learnt constraints deletion: 8644 -> 4339 1028.90/1029.11 c learnt constraints deletion: 8658 -> 4347 1032.90/1033.18 c learnt constraints deletion: 8682 -> 4358 1036.90/1037.15 c learnt constraints deletion: 8591 -> 4327 1041.00/1041.24 c learnt constraints deletion: 8657 -> 4358 1045.10/1045.37 c learnt constraints deletion: 8563 -> 4311 1049.09/1049.40 c learnt constraints deletion: 8594 -> 4317 1053.50/1053.72 c learnt constraints deletion: 8690 -> 4367 1057.70/1057.91 c learnt constraints deletion: 8583 -> 4313 1061.69/1061.91 c learnt constraints deletion: 8485 -> 4264 1066.10/1066.30 c learnt constraints deletion: 8651 -> 4348 1070.20/1070.47 c learnt constraints deletion: 8632 -> 4338 1074.39/1074.68 c learnt constraints deletion: 8572 -> 4307 1078.69/1078.96 c learnt constraints deletion: 8683 -> 4366 1083.00/1083.24 c learnt constraints deletion: 8589 -> 4317 1087.19/1087.44 c learnt constraints deletion: 8632 -> 4340 1091.10/1091.35 c learnt constraints deletion: 8675 -> 4359 1095.09/1095.33 c learnt constraints deletion: 8631 -> 4336 1099.29/1099.54 c learnt constraints deletion: 8699 -> 4371 1103.49/1103.76 c learnt constraints deletion: 8532 -> 4285 1107.69/1107.98 c learnt constraints deletion: 8567 -> 4303 1111.69/1111.98 c learnt constraints deletion: 8645 -> 4347 1115.79/1116.07 c learnt constraints deletion: 8639 -> 4344 1119.79/1120.07 c learnt constraints deletion: 8555 -> 4301 1123.88/1124.11 c learnt constraints deletion: 8542 -> 4297 1128.28/1128.53 c learnt constraints deletion: 8709 -> 4378 1132.29/1132.58 c learnt constraints deletion: 8586 -> 4313 1136.38/1136.66 c learnt constraints deletion: 8588 -> 4313 1140.69/1140.92 c learnt constraints deletion: 8616 -> 4327 1144.78/1145.02 c learnt constraints deletion: 8597 -> 4319 1148.88/1149.13 c learnt constraints deletion: 8597 -> 4319 1153.18/1153.41 c learnt constraints deletion: 8633 -> 4337 1157.18/1157.45 c learnt constraints deletion: 8681 -> 4360 1161.27/1161.54 c learnt constraints deletion: 8621 -> 4334 1165.57/1165.82 c learnt constraints deletion: 8744 -> 4390 1169.67/1169.94 c learnt constraints deletion: 8665 -> 4355 1173.48/1173.77 c learnt constraints deletion: 8649 -> 4343 1177.78/1178.06 c learnt constraints deletion: 8704 -> 4371 1181.88/1182.17 c learnt constraints deletion: 8612 -> 4324 1185.97/1186.26 c learnt constraints deletion: 8633 -> 4336 1190.58/1190.82 c learnt constraints deletion: 8797 -> 4421 1195.07/1195.31 c learnt constraints deletion: 8725 -> 4382 1199.47/1199.79 c learnt constraints deletion: 8689 -> 4365 1203.87/1204.19 c learnt constraints deletion: 8679 -> 4359 1208.47/1208.76 c learnt constraints deletion: 8718 -> 4379 1212.77/1213.03 c learnt constraints deletion: 8682 -> 4362 1217.27/1217.52 c learnt constraints deletion: 8625 -> 4338 1221.57/1221.86 c learnt constraints deletion: 8646 -> 4345 1225.87/1226.17 c learnt constraints deletion: 8655 -> 4350 1230.56/1230.87 c learnt constraints deletion: 8741 -> 4391 1235.07/1235.37 c learnt constraints deletion: 8677 -> 4361 1239.67/1239.92 c learnt constraints deletion: 8692 -> 4366 1243.96/1244.27 c learnt constraints deletion: 8786 -> 4414 1248.46/1248.73 c learnt constraints deletion: 8753 -> 4396 1252.36/1252.60 c learnt constraints deletion: 8664 -> 4357 1256.46/1256.70 c learnt constraints deletion: 8606 -> 4330 1260.55/1260.89 c learnt constraints deletion: 8759 -> 4410 1264.86/1265.17 c learnt constraints deletion: 8776 -> 4410 1269.05/1269.38 c learnt constraints deletion: 8828 -> 4434 1273.25/1273.54 c learnt constraints deletion: 8585 -> 4316 1277.55/1277.85 c learnt constraints deletion: 8768 -> 4403 1281.45/1281.70 c learnt constraints deletion: 8609 -> 4326 1285.45/1285.72 c learnt constraints deletion: 8494 -> 4270 1289.95/1290.25 c learnt constraints deletion: 8720 -> 4384 1294.15/1294.45 c learnt constraints deletion: 8546 -> 4298 1298.86/1299.19 c learnt constraints deletion: 8666 -> 4359 1303.36/1303.64 c learnt constraints deletion: 8634 -> 4342 1307.85/1308.11 c learnt constraints deletion: 8648 -> 4348 1312.45/1312.79 c learnt constraints deletion: 8704 -> 4380 1317.04/1317.34 c learnt constraints deletion: 8658 -> 4354 1321.55/1321.88 c learnt constraints deletion: 8555 -> 4305 1326.35/1326.62 c learnt constraints deletion: 8647 -> 4354 1331.04/1331.37 c learnt constraints deletion: 8854 -> 4452 1335.55/1335.85 c learnt constraints deletion: 8635 -> 4347 1340.24/1340.56 c learnt constraints deletion: 8641 -> 4343 1344.44/1344.75 c learnt constraints deletion: 8563 -> 4309 1349.24/1349.51 c learnt constraints deletion: 8715 -> 4381 1353.64/1353.92 c learnt constraints deletion: 8502 -> 4269 1358.14/1358.47 c learnt constraints deletion: 8601 -> 4323 1362.54/1362.87 c learnt constraints deletion: 8619 -> 4331 1367.04/1367.30 c learnt constraints deletion: 8519 -> 4282 1372.43/1372.71 c learnt constraints deletion: 9494 -> 4773 1377.14/1377.43 c learnt constraints deletion: 9376 -> 4710 1381.83/1382.17 c learnt constraints deletion: 9332 -> 4666 1386.73/1387.03 c learnt constraints deletion: 9436 -> 4726 1391.23/1391.59 c learnt constraints deletion: 9394 -> 4702 1396.23/1396.54 c learnt constraints deletion: 9359 -> 4686 1401.13/1401.43 c learnt constraints deletion: 9588 -> 4807 1406.13/1406.45 c learnt constraints deletion: 9588 -> 4809 1410.73/1411.07 c learnt constraints deletion: 9398 -> 4712 1415.72/1416.06 c learnt constraints deletion: 9349 -> 4680 1420.62/1420.90 c learnt constraints deletion: 9275 -> 4644 1425.43/1425.74 c learnt constraints deletion: 9415 -> 4712 1430.12/1430.44 c learnt constraints deletion: 9446 -> 4727 1434.92/1435.23 c learnt constraints deletion: 9570 -> 4792 1439.72/1440.08 c learnt constraints deletion: 9529 -> 4773 1444.72/1445.09 c learnt constraints deletion: 9520 -> 4771 1449.92/1450.21 c learnt constraints deletion: 9350 -> 4682 1454.82/1455.17 c learnt constraints deletion: 9476 -> 4746 1459.72/1460.07 c learnt constraints deletion: 9489 -> 4751 1464.71/1465.05 c learnt constraints deletion: 9496 -> 4752 1469.52/1469.81 c learnt constraints deletion: 9489 -> 4752 1474.22/1474.57 c learnt constraints deletion: 9468 -> 4746 1479.12/1479.41 c learnt constraints deletion: 9443 -> 4726 1483.81/1484.14 c learnt constraints deletion: 9435 -> 4736 1488.72/1489.00 c learnt constraints deletion: 9428 -> 4731 1493.81/1494.11 c learnt constraints deletion: 9508 -> 4779 1498.81/1499.18 c learnt constraints deletion: 9484 -> 4750 1503.52/1503.84 c learnt constraints deletion: 9517 -> 4776 1508.31/1508.61 c learnt constraints deletion: 9411 -> 4729 1513.01/1513.37 c learnt constraints deletion: 9390 -> 4704 1517.50/1517.88 c learnt constraints deletion: 9327 -> 4677 1522.31/1522.63 c learnt constraints deletion: 9448 -> 4741 1527.01/1527.36 c learnt constraints deletion: 9491 -> 4759 1531.80/1532.11 c learnt constraints deletion: 9457 -> 4752 1536.60/1536.92 c learnt constraints deletion: 9539 -> 4794 1541.40/1541.71 c learnt constraints deletion: 9570 -> 4814 1546.31/1546.69 c learnt constraints deletion: 9619 -> 4835 1551.30/1551.60 c learnt constraints deletion: 9417 -> 4717 1556.10/1556.44 c learnt constraints deletion: 9509 -> 4769 1561.00/1561.34 c learnt constraints deletion: 9634 -> 4826 1565.70/1566.03 c learnt constraints deletion: 9413 -> 4719 1570.60/1570.93 c learnt constraints deletion: 9530 -> 4778 1575.49/1575.84 c learnt constraints deletion: 9285 -> 4651 1580.59/1580.95 c learnt constraints deletion: 9495 -> 4758 1585.39/1585.71 c learnt constraints deletion: 9506 -> 4776 1589.99/1590.32 c learnt constraints deletion: 9577 -> 4798 1594.70/1595.02 c learnt constraints deletion: 9478 -> 4771 1600.00/1600.39 c learnt constraints deletion: 9528 -> 4797 1605.10/1605.42 c learnt constraints deletion: 9526 -> 4774 1610.39/1610.78 c learnt constraints deletion: 9618 -> 4820 1615.19/1615.58 c learnt constraints deletion: 9526 -> 4772 1620.00/1620.39 c learnt constraints deletion: 9475 -> 4752 1625.59/1625.98 c learnt constraints deletion: 9580 -> 4819 1630.79/1631.12 c learnt constraints deletion: 9559 -> 4791 1635.59/1635.94 c learnt constraints deletion: 9504 -> 4764 1640.58/1640.90 c learnt constraints deletion: 9556 -> 4785 1645.18/1645.58 c learnt constraints deletion: 9660 -> 4845 1649.68/1650.03 c learnt constraints deletion: 9333 -> 4693 1654.27/1654.67 c learnt constraints deletion: 9529 -> 4792 1658.78/1659.18 c learnt constraints deletion: 9524 -> 4790 1663.48/1663.80 c learnt constraints deletion: 9387 -> 4730 1668.27/1668.65 c learnt constraints deletion: 9487 -> 4775 1672.97/1673.32 c learnt constraints deletion: 9421 -> 4757 1677.37/1677.75 c learnt constraints deletion: 9497 -> 4760 1681.98/1682.31 c learnt constraints deletion: 9391 -> 4710 1686.77/1687.14 c learnt constraints deletion: 9485 -> 4755 1691.37/1691.79 c learnt constraints deletion: 9565 -> 4797 1696.27/1696.61 c learnt constraints deletion: 9506 -> 4768 1700.97/1701.35 c learnt constraints deletion: 9476 -> 4752 1705.88/1706.22 c learnt constraints deletion: 9479 -> 4757 1710.96/1711.31 c learnt constraints deletion: 9432 -> 4733 1715.97/1716.32 c learnt constraints deletion: 9485 -> 4758 1720.86/1721.25 c learnt constraints deletion: 9559 -> 4792 1725.76/1726.18 c learnt constraints deletion: 9556 -> 4790 1730.57/1730.97 c learnt constraints deletion: 9498 -> 4764 1735.36/1735.73 c learnt constraints deletion: 9523 -> 4779 1740.26/1740.63 c learnt constraints deletion: 9456 -> 4743 1745.07/1745.49 c learnt constraints deletion: 9409 -> 4722 1749.87/1750.29 c learnt constraints deletion: 9552 -> 4791 1754.66/1755.04 c learnt constraints deletion: 9518 -> 4770 1759.46/1759.80 c learnt constraints deletion: 9570 -> 4801 1763.85/1764.24 c learnt constraints deletion: 9511 -> 4768 1768.25/1768.60 c learnt constraints deletion: 9497 -> 4767 1772.65/1773.03 c learnt constraints deletion: 9529 -> 4781 1777.06/1777.41 c learnt constraints deletion: 9462 -> 4746 1781.35/1781.72 c learnt constraints deletion: 9453 -> 4741 1785.55/1785.91 c learnt constraints deletion: 9356 -> 4687 1790.15/1790.54 c learnt constraints deletion: 9516 -> 4783 1794.44/1794.88 c learnt constraints deletion: 9413 -> 4734 1798.94/1799.37 c learnt constraints deletion: 9371 -> 4710
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-3725533-1338642721/watcher-3725533-1338642721 -o /tmp/evaluation-result-3725533-1338642721/solver-3725533-1338642721 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725533-1338642721.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: 1.93 1.99 1.99 3/176 14326 /proc/meminfo: memFree=28164300/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=6224 CPUtime=0 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 330398117 6373376 744 33554432000 4194304 8989770 140734451210544 140733587314264 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 1556 747 425 1171 0 333 0 [startup+0.0898131 s] /proc/loadavg: 1.93 1.99 1.99 3/176 14326 /proc/meminfo: memFree=28164300/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=9296 CPUtime=0.08 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 1438 0 0 0 8 0 0 0 20 0 1 0 330398117 9519104 1359 33554432000 4194304 8989770 140734451210544 140733587314264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 2324 1359 447 1171 0 1101 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9296 [startup+0.100164 s] /proc/loadavg: 1.93 1.99 1.99 3/176 14326 /proc/meminfo: memFree=28164300/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=9296 CPUtime=0.09 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 1438 0 0 0 9 0 0 0 20 0 1 0 330398117 9519104 1359 33554432000 4194304 8989770 140734451210544 140733587314264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 2324 1359 447 1171 0 1101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9296 [startup+0.300105 s] /proc/loadavg: 1.93 1.99 1.99 3/176 14326 /proc/meminfo: memFree=28164300/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=9296 CPUtime=0.29 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 1446 0 0 0 29 0 0 0 20 0 1 0 330398117 9519104 1367 33554432000 4194304 8989770 140734451210544 140733587314264 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 2324 1367 455 1171 0 1101 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9296 [startup+0.700131 s] /proc/loadavg: 1.93 1.99 1.99 3/176 14326 /proc/meminfo: memFree=28164300/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=11344 CPUtime=0.69 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 2146 0 0 0 69 0 0 0 20 0 1 0 330398117 11616256 2067 33554432000 4194304 8989770 140734451210544 140734451210040 4437021 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 2836 2067 459 1171 0 1613 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11344 [startup+1.50015 s] /proc/loadavg: 1.93 1.99 1.99 3/177 14327 /proc/meminfo: memFree=28156884/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=14416 CPUtime=1.49 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 2916 0 0 0 148 1 0 0 20 0 1 0 330398117 14761984 2837 33554432000 4194304 8989770 140734451210544 140734451210040 7708288 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 3604 2837 461 1171 0 2381 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14416 [startup+3.10023 s] /proc/loadavg: 1.93 1.99 1.99 3/177 14327 /proc/meminfo: memFree=28154520/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=15440 CPUtime=3.09 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 3172 0 0 0 308 1 0 0 20 0 1 0 330398117 15810560 3093 33554432000 4194304 8989770 140734451210544 140734451210040 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 3860 3093 461 1171 0 2637 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15440 [startup+6.30027 s] /proc/loadavg: 1.93 1.99 1.99 3/177 14327 /proc/meminfo: memFree=28151352/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=17488 CPUtime=6.29 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 3684 0 0 0 627 2 0 0 20 0 1 0 330398117 17907712 3605 33554432000 4194304 8989770 140734451210544 140734451210040 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 4372 3605 461 1171 0 3149 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17488 [startup+12.7003 s] /proc/loadavg: 1.94 1.99 1.99 3/177 14327 /proc/meminfo: memFree=28144684/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=19536 CPUtime=12.69 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 4196 0 0 0 1265 4 0 0 20 0 1 0 330398117 20004864 4117 33554432000 4194304 8989770 140734451210544 140734451209808 6549999 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 4884 4117 461 1171 0 3661 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19536 [startup+25.5004 s] /proc/loadavg: 1.95 1.99 1.99 3/177 14327 /proc/meminfo: memFree=28144080/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=20560 CPUtime=25.48 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 4452 0 0 0 2540 8 0 0 20 0 1 0 330398117 21053440 4373 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 5140 4373 461 1171 0 3917 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20560 [startup+51.1004 s] /proc/loadavg: 1.97 1.99 1.99 3/177 14327 /proc/meminfo: memFree=28139740/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=22608 CPUtime=51.08 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 4964 0 0 0 5093 15 0 0 20 0 1 0 330398117 23150592 4885 33554432000 4194304 8989770 140734451210544 140734451209808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 5652 4885 461 1171 0 4429 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22608 [startup+102.3 s] /proc/loadavg: 1.98 1.99 1.99 3/177 14404 /proc/meminfo: memFree=28624332/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=23632 CPUtime=102.27 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 6503 0 0 0 10196 31 0 0 20 0 1 0 330398117 24199168 5141 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 5908 5141 461 1171 0 4685 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23632 [startup+162.3 s] /proc/loadavg: 1.99 1.99 1.99 3/177 14404 /proc/meminfo: memFree=28596488/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=25680 CPUtime=162.26 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 7272 0 0 0 16177 49 0 0 20 0 1 0 330398117 26296320 5653 33554432000 4194304 8989770 140734451210544 140734451209808 4453132 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 6420 5653 461 1171 0 5197 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 25680 [startup+222.307 s] /proc/loadavg: 2.03 2.00 2.00 3/177 14405 /proc/meminfo: memFree=28582284/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=25680 CPUtime=222.26 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 8042 0 0 0 22160 66 0 0 20 0 1 0 330398117 26296320 5653 33554432000 4194304 8989770 140734451210544 140734451210040 4213683 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 6420 5653 461 1171 0 5197 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 25680 [startup+282.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 14405 /proc/meminfo: memFree=28565664/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=28752 CPUtime=282.24 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 10346 0 0 0 28141 83 0 0 20 0 1 0 330398117 29442048 6421 33554432000 4194304 8989770 140734451210544 140734451210040 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 7188 6421 461 1171 0 5965 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 28752 [startup+342.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 14405 /proc/meminfo: memFree=28570628/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=26704 CPUtime=342.23 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 11628 0 0 0 34121 102 0 0 20 0 1 0 330398117 27344896 5909 33554432000 4194304 8989770 140734451210544 140734451209808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 6676 5909 461 1171 0 5453 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 26704 [startup+402.3 s] /proc/loadavg: 2.17 2.05 2.01 3/177 14405 /proc/meminfo: memFree=28554928/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=29776 CPUtime=402.22 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 14444 0 0 0 40105 117 0 0 20 0 1 0 330398117 30490624 6677 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 7444 6677 461 1171 0 6221 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 29776 [startup+462.3 s] /proc/loadavg: 2.06 2.04 2.00 3/177 14405 /proc/meminfo: memFree=28550152/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=29776 CPUtime=462.2 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 15731 0 0 0 46086 134 0 0 20 0 1 0 330398117 30490624 6677 33554432000 4194304 8989770 140734451210544 140734451210040 4435264 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 7444 6677 461 1171 0 6221 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 29776 [startup+522.3 s] /proc/loadavg: 2.02 2.03 2.00 3/178 14409 /proc/meminfo: memFree=28550888/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=29776 CPUtime=522.2 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 16499 0 0 0 52068 152 0 0 20 0 1 0 330398117 30490624 6677 33554432000 4194304 8989770 140734451210544 140734451210040 4355501 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 7444 6677 461 1171 0 6221 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 29776 [startup+582.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 14409 /proc/meminfo: memFree=28550904/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=29776 CPUtime=582.18 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 20085 0 0 0 58048 170 0 0 20 0 1 0 330398117 30490624 6677 33554432000 4194304 8989770 140734451210544 140734451209808 4451620 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 7444 6677 461 1171 0 6221 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 29776 [startup+642.3 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14411 /proc/meminfo: memFree=28524636/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=29776 CPUtime=882.13 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 35200 0 0 0 87952 261 0 0 20 0 1 0 330398117 30490624 6677 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 7444 6677 461 1171 0 6221 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 29776 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14411 /proc/meminfo: memFree=28520120/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=34896 CPUtime=942.12 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 38528 0 0 0 93934 278 0 0 20 0 1 0 330398117 35733504 7957 33554432000 4194304 8989770 140734451210544 140734451209808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 8724 7957 461 1171 0 7501 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 34896 [startup+1002.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 14411 /proc/meminfo: memFree=28520040/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=33872 CPUtime=1002.11 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 39559 0 0 0 99918 293 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 8468 7701 461 1171 0 7245 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 33872 [startup+1062.3 s] /proc/loadavg: 2.05 2.02 2.00 3/177 14411 /proc/meminfo: memFree=28519424/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=33872 CPUtime=1062.09 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 42631 0 0 0 105899 310 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451210040 6586404 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 8468 7701 461 1171 0 7245 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 33872 [startup+1122.3 s] /proc/loadavg: 2.02 2.02 2.00 3/178 14415 /proc/meminfo: memFree=28519280/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=33872 CPUtime=1122.09 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 44683 0 0 0 111883 326 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451210040 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 8468 7701 461 1171 0 7245 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 33872 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 14415 /proc/meminfo: memFree=28514148/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=37968 CPUtime=1182.08 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 48267 0 0 0 117865 343 0 0 20 0 1 0 330398117 38879232 8725 33554432000 4194304 8989770 140734451210544 140734451210040 6587776 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 9492 8725 461 1171 0 8269 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 37968 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 14415 /proc/meminfo: memFree=28523260/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=34896 CPUtime=1242.06 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 52882 0 0 0 123845 361 0 0 20 0 1 0 330398117 35733504 7957 33554432000 4194304 8989770 140734451210544 140734451210040 4208822 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 8724 7957 461 1171 0 7501 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 34896 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14415 /proc/meminfo: memFree=28515948/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=36944 CPUtime=1302.04 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 56723 0 0 0 129824 380 0 0 20 0 1 0 330398117 37830656 8469 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 9236 8469 461 1171 0 8013 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 36944 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14415 /proc/meminfo: memFree=28512812/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=33872 CPUtime=1362.04 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 60307 0 0 0 135805 399 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451209808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 8468 7701 461 1171 0 7245 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 33872 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14416 /proc/meminfo: memFree=28512940/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=33872 CPUtime=1422.03 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 63897 0 0 0 141788 415 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451209808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 8468 7701 461 1171 0 7245 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 33872 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 14416 /proc/meminfo: memFree=28514364/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=35920 CPUtime=1482.02 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 67993 0 0 0 147772 430 0 0 20 0 1 0 330398117 36782080 8213 33554432000 4194304 8989770 140734451210544 140734451210040 4469772 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 8980 8213 461 1171 0 7757 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 35920 [startup+1542.31 s] /proc/loadavg: 2.06 2.02 2.00 3/177 14416 /proc/meminfo: memFree=28508280/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=37968 CPUtime=1542.01 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 74144 0 0 0 153753 448 0 0 20 0 1 0 330398117 38879232 8725 33554432000 4194304 8989770 140734451210544 140734451209808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 9492 8725 461 1171 0 8269 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 37968 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 14416 /proc/meminfo: memFree=28508104/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=37968 CPUtime=1602 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 78752 0 0 0 159734 466 0 0 20 0 1 0 330398117 38879232 8725 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 9492 8725 461 1171 0 8269 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 37968 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 14416 /proc/meminfo: memFree=28511092/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=37968 CPUtime=1661.98 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 81578 0 0 0 165716 482 0 0 20 0 1 0 330398117 38879232 8725 33554432000 4194304 8989770 140734451210544 140734451209808 4437920 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 9492 8725 461 1171 0 8269 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 37968 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 14420 /proc/meminfo: memFree=28515496/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=35920 CPUtime=1721.96 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 85930 0 0 0 171696 500 0 0 20 0 1 0 330398117 36782080 8213 33554432000 4194304 8989770 140734451210544 140734451210040 4494076 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 8980 8213 461 1171 0 7757 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 35920 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14420 /proc/meminfo: memFree=28506488/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=36944 CPUtime=1781.95 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 91057 0 0 0 177677 518 0 0 20 0 1 0 330398117 37830656 8469 33554432000 4194304 8989770 140734451210544 140734451210040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 9236 8469 461 1171 0 8013 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 36944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14420 /proc/meminfo: memFree=28512136/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=33872 CPUtime=1800.06 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 91313 0 0 0 179484 522 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451210040 4473289 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 8468 7701 461 1171 0 7245 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 33872 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14420 /proc/meminfo: memFree=28512136/32873648 swapFree=6864/6864 [pid=14326] ppid=14324 vsize=33872 CPUtime=1800.06 cores=1,3,5,7 /proc/14326/stat : 14326 (toysat) R 14324 14326 13572 0 -1 4202496 91313 0 0 0 179484 522 0 0 20 0 1 0 330398117 34684928 7701 33554432000 4194304 8989770 140734451210544 140734451210040 4473289 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/14326/statm: 8468 7701 461 1171 0 7245 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 33872 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.06 CPU user time (s): 1794.84 CPU system time (s): 5.22221 CPU usage (%): 99.9809 Max. virtual memory (cumulated for all children) (KiB): 41040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.84 system time used= 5.22221 maximum resident set size= 37972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91313 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= 80 involuntary context switches= 1846 runsolver used 3.20251 second user time and 9.59354 second system time The end
Begin job on node120 at 2012-06-02 15:12:01 IDJOB=3725533 IDBENCH=89856 IDSOLVER=2308 FILE ID=node120/3725533-1338642721 RUNJOBID= node120-1338631507-13589 PBS_JOBID= 14636460 Free space on /tmp= 70780 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-807456.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725533-1338642721/watcher-3725533-1338642721 -o /tmp/evaluation-result-3725533-1338642721/solver-3725533-1338642721 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725533-1338642721.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 21cf0355c32a3177f2f6fa914b5dacc6 RANDOM SEED=651687118 node120.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.456 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 : 5332.91 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.456 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.88 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.456 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 : 2666.456 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.83 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.456 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 : 2666.456 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: 32873648 kB MemFree: 28165092 kB Buffers: 534232 kB Cached: 2696348 kB SwapCached: 1572 kB Active: 2164276 kB Inactive: 1618228 kB Active(anon): 544084 kB Inactive(anon): 9228 kB Active(file): 1620192 kB Inactive(file): 1609000 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67103516 kB Dirty: 7412 kB Writeback: 0 kB AnonPages: 556200 kB Mapped: 12644 kB Shmem: 32 kB Slab: 789944 kB SReclaimable: 234348 kB SUnreclaim: 555596 kB KernelStack: 1456 kB PageTables: 4636 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 666308 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 448512 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70776 MiB End job on node120 at 2012-06-02 15:42:04