Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.1 | 1800.41 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb |
MD5SUM | 2ea7e3b5e107f983d069c627d91480a3 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.036993 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1640 |
Total number of constraints | 81 |
Number of constraints which are clauses | 41 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 41 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 42 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 c 2012-06-02T13:05:51+0200 0.00/0.01 c arch = x86_64 0.00/0.01 c os = linux 0.00/0.01 c compiler = ghc 7.4 0.00/0.01 c packages: 0.00/0.01 c OptDir-0.0.1 0.00/0.01 c array-0.4.0.0 0.00/0.01 c base-4.5.0.0 0.00/0.01 c bytestring-0.9.2.1 0.00/0.01 c containers-0.4.2.1 0.00/0.01 c deepseq-1.3.0.0 0.00/0.01 c mtl-2.1.1 0.00/0.01 c old_locale-1.0.0.4 0.00/0.01 c parse_dimacs-1.2 0.00/0.01 c parsec-3.1.2 0.00/0.01 c queue-0.1.2 0.00/0.01 c stm-2.3 0.00/0.01 c time-1.4 0.00/0.01 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724325-1338635151.opb"] 0.00/0.01 c #vars 1640 0.00/0.01 c #constraints 81 0.00/0.01 c Solving starts ... 0.48/0.54 c learnt constraints deletion: 809 -> 405 0.79/0.88 c learnt constraints deletion: 911 -> 456 1.29/1.32 c learnt constraints deletion: 1216 -> 608 1.89/1.98 c learnt constraints deletion: 1749 -> 875 3.19/3.27 c learnt constraints deletion: 2587 -> 1294 3.19/3.28 c learnt constraints deletion: 1294 -> 647 4.89/4.96 c learnt constraints deletion: 2841 -> 1429 5.29/5.37 c learnt constraints deletion: 1804 -> 902 6.79/6.88 c learnt constraints deletion: 2965 -> 1493 8.29/8.32 c learnt constraints deletion: 2959 -> 1492 8.59/8.64 c learnt constraints deletion: 1817 -> 909 10.99/11.01 c learnt constraints deletion: 3090 -> 1553 13.39/13.48 c learnt constraints deletion: 3090 -> 1555 15.89/15.93 c learnt constraints deletion: 3086 -> 1556 16.69/16.78 c learnt constraints deletion: 2089 -> 1045 18.18/18.28 c learnt constraints deletion: 3263 -> 1641 19.58/19.60 c learnt constraints deletion: 3221 -> 1620 21.08/21.16 c learnt constraints deletion: 3242 -> 1631 22.69/22.71 c learnt constraints deletion: 3260 -> 1641 24.19/24.27 c learnt constraints deletion: 3266 -> 1633 25.58/25.66 c learnt constraints deletion: 3414 -> 1715 27.18/27.29 c learnt constraints deletion: 3415 -> 1717 28.69/28.79 c learnt constraints deletion: 3411 -> 1715 30.39/30.43 c learnt constraints deletion: 3402 -> 1710 31.99/32.06 c learnt constraints deletion: 3420 -> 1721 33.49/33.59 c learnt constraints deletion: 3417 -> 1719 35.19/35.26 c learnt constraints deletion: 3416 -> 1719 36.08/36.14 c learnt constraints deletion: 2766 -> 1383 37.88/37.96 c learnt constraints deletion: 3576 -> 1792 39.69/39.79 c learnt constraints deletion: 3557 -> 1785 41.79/41.88 c learnt constraints deletion: 3555 -> 1786 43.88/43.91 c learnt constraints deletion: 3570 -> 1791 45.78/45.81 c learnt constraints deletion: 3569 -> 1792 47.58/47.64 c learnt constraints deletion: 3549 -> 1782 49.49/49.55 c learnt constraints deletion: 3570 -> 1789 51.19/51.28 c learnt constraints deletion: 3566 -> 1788 53.18/53.24 c learnt constraints deletion: 3552 -> 1781 54.98/55.03 c learnt constraints deletion: 3566 -> 1788 56.38/56.48 c learnt constraints deletion: 3146 -> 1573 57.98/58.09 c learnt constraints deletion: 3720 -> 1861 59.88/59.99 c learnt constraints deletion: 3730 -> 1867 61.98/62.04 c learnt constraints deletion: 3727 -> 1866 63.89/63.98 c learnt constraints deletion: 3737 -> 1872 65.78/65.82 c learnt constraints deletion: 3730 -> 1868 67.78/67.88 c learnt constraints deletion: 3728 -> 1867 69.88/69.91 c learnt constraints deletion: 3720 -> 1865 71.78/71.81 c learnt constraints deletion: 3721 -> 1863 74.18/74.29 c learnt constraints deletion: 3723 -> 1864 76.67/76.73 c learnt constraints deletion: 3731 -> 1868 79.38/79.48 c learnt constraints deletion: 3729 -> 1867 82.28/82.35 c learnt constraints deletion: 3703 -> 1853 84.08/84.19 c learnt constraints deletion: 3714 -> 1860 85.88/85.98 c learnt constraints deletion: 3720 -> 1863 87.68/87.77 c learnt constraints deletion: 3716 -> 1860 88.87/88.94 c learnt constraints deletion: 2967 -> 1484 91.08/91.16 c learnt constraints deletion: 3962 -> 1986 93.27/93.31 c learnt constraints deletion: 3957 -> 1987 95.48/95.50 c learnt constraints deletion: 3952 -> 1985 97.88/97.97 c learnt constraints deletion: 3978 -> 1999 100.38/100.43 c learnt constraints deletion: 3928 -> 1974 102.67/102.79 c learnt constraints deletion: 3935 -> 1978 105.37/105.48 c learnt constraints deletion: 3918 -> 1970 107.97/108.10 c learnt constraints deletion: 3922 -> 1972 110.57/110.69 c learnt constraints deletion: 3977 -> 1997 112.87/112.98 c learnt constraints deletion: 3934 -> 1976 115.38/115.44 c learnt constraints deletion: 3946 -> 1982 117.57/117.67 c learnt constraints deletion: 3925 -> 1972 119.87/119.97 c learnt constraints deletion: 3945 -> 1983 122.08/122.11 c learnt constraints deletion: 3930 -> 1974 124.38/124.42 c learnt constraints deletion: 3951 -> 1985 126.87/126.98 c learnt constraints deletion: 3930 -> 1976 129.37/129.43 c learnt constraints deletion: 3945 -> 1983 131.77/131.85 c learnt constraints deletion: 3917 -> 1970 134.07/134.12 c learnt constraints deletion: 3923 -> 1973 136.37/136.50 c learnt constraints deletion: 3930 -> 1975 138.76/138.83 c learnt constraints deletion: 3947 -> 1984 141.16/141.30 c learnt constraints deletion: 4164 -> 2093 143.36/143.47 c learnt constraints deletion: 4163 -> 2089 145.95/146.04 c learnt constraints deletion: 4186 -> 2105 148.56/148.61 c learnt constraints deletion: 4185 -> 2103 150.86/150.96 c learnt constraints deletion: 4182 -> 2101 153.25/153.33 c learnt constraints deletion: 4173 -> 2097 155.64/155.72 c learnt constraints deletion: 4190 -> 2106 157.84/157.94 c learnt constraints deletion: 4170 -> 2099 160.15/160.25 c learnt constraints deletion: 4175 -> 2100 162.45/162.50 c learnt constraints deletion: 4164 -> 2093 164.64/164.79 c learnt constraints deletion: 4175 -> 2103 167.04/167.12 c learnt constraints deletion: 4164 -> 2094 169.35/169.41 c learnt constraints deletion: 4184 -> 2104 171.44/171.54 c learnt constraints deletion: 4187 -> 2105 173.85/173.92 c learnt constraints deletion: 4170 -> 2095 176.84/176.95 c learnt constraints deletion: 4189 -> 2106 180.04/180.12 c learnt constraints deletion: 4159 -> 2092 182.55/182.70 c learnt constraints deletion: 4200 -> 2113 185.64/185.73 c learnt constraints deletion: 4201 -> 2113 188.74/188.80 c learnt constraints deletion: 4207 -> 2115 191.34/191.45 c learnt constraints deletion: 4203 -> 2115 194.13/194.27 c learnt constraints deletion: 4186 -> 2106 197.04/197.15 c learnt constraints deletion: 4191 -> 2108 199.73/199.84 c learnt constraints deletion: 4202 -> 2113 202.44/202.52 c learnt constraints deletion: 4196 -> 2110 204.83/204.94 c learnt constraints deletion: 4189 -> 2107 207.54/207.61 c learnt constraints deletion: 4189 -> 2107 209.94/210.09 c learnt constraints deletion: 4179 -> 2102 213.04/213.10 c learnt constraints deletion: 4208 -> 2116 215.54/215.63 c learnt constraints deletion: 4202 -> 2113 218.33/218.50 c learnt constraints deletion: 4183 -> 2105 221.24/221.37 c learnt constraints deletion: 4145 -> 2085 223.43/223.55 c learnt constraints deletion: 3563 -> 1782 226.03/226.15 c learnt constraints deletion: 4464 -> 2235 228.63/228.74 c learnt constraints deletion: 4431 -> 2221 231.23/231.36 c learnt constraints deletion: 4443 -> 2227 233.83/233.95 c learnt constraints deletion: 4455 -> 2232 236.23/236.33 c learnt constraints deletion: 4464 -> 2237 238.83/238.92 c learnt constraints deletion: 4488 -> 2249 241.63/241.72 c learnt constraints deletion: 4437 -> 2225 244.23/244.31 c learnt constraints deletion: 4432 -> 2221 246.53/246.60 c learnt constraints deletion: 4459 -> 2235 249.03/249.15 c learnt constraints deletion: 4436 -> 2223 252.02/252.14 c learnt constraints deletion: 4469 -> 2242 254.93/255.09 c learnt constraints deletion: 4416 -> 2213 257.63/257.71 c learnt constraints deletion: 4456 -> 2233 260.43/260.58 c learnt constraints deletion: 4458 -> 2237 263.33/263.41 c learnt constraints deletion: 4452 -> 2231 266.32/266.41 c learnt constraints deletion: 4404 -> 2208 268.92/269.08 c learnt constraints deletion: 4451 -> 2233 271.53/271.66 c learnt constraints deletion: 4434 -> 2224 274.32/274.44 c learnt constraints deletion: 4443 -> 2229 276.92/277.05 c learnt constraints deletion: 4449 -> 2232 279.72/279.81 c learnt constraints deletion: 4448 -> 2231 282.22/282.37 c learnt constraints deletion: 4436 -> 2223 284.62/284.77 c learnt constraints deletion: 4458 -> 2235 287.22/287.36 c learnt constraints deletion: 4470 -> 2243 290.13/290.29 c learnt constraints deletion: 4464 -> 2242 292.93/293.09 c learnt constraints deletion: 4468 -> 2243 295.72/295.82 c learnt constraints deletion: 4467 -> 2239 298.03/298.18 c learnt constraints deletion: 4437 -> 2227 300.92/301.01 c learnt constraints deletion: 4450 -> 2232 303.62/303.79 c learnt constraints deletion: 4459 -> 2236 306.52/306.60 c learnt constraints deletion: 4467 -> 2239 309.22/309.39 c learnt constraints deletion: 4465 -> 2243 311.92/312.06 c learnt constraints deletion: 4461 -> 2237 314.53/314.63 c learnt constraints deletion: 4460 -> 2237 317.02/317.12 c learnt constraints deletion: 4468 -> 2241 319.72/319.82 c learnt constraints deletion: 4453 -> 2235 322.12/322.20 c learnt constraints deletion: 4437 -> 2225 325.02/325.14 c learnt constraints deletion: 4444 -> 2229 327.82/327.95 c learnt constraints deletion: 4457 -> 2235 330.41/330.55 c learnt constraints deletion: 4481 -> 2246 333.22/333.33 c learnt constraints deletion: 4455 -> 2235 335.82/335.99 c learnt constraints deletion: 4437 -> 2225 338.31/338.48 c learnt constraints deletion: 4445 -> 2229 341.22/341.33 c learnt constraints deletion: 4754 -> 2383 343.31/343.42 c learnt constraints deletion: 4736 -> 2372 345.71/345.86 c learnt constraints deletion: 4725 -> 2373 348.51/348.69 c learnt constraints deletion: 4740 -> 2380 351.01/351.12 c learnt constraints deletion: 4753 -> 2387 353.51/353.67 c learnt constraints deletion: 4731 -> 2375 356.31/356.47 c learnt constraints deletion: 4684 -> 2353 359.91/360.06 c learnt constraints deletion: 4741 -> 2383 363.11/363.20 c learnt constraints deletion: 4727 -> 2375 366.02/366.17 c learnt constraints deletion: 4715 -> 2369 368.81/368.97 c learnt constraints deletion: 4691 -> 2357 371.81/371.94 c learnt constraints deletion: 4725 -> 2373 374.71/374.83 c learnt constraints deletion: 4751 -> 2387 377.71/377.86 c learnt constraints deletion: 4749 -> 2386 380.81/380.95 c learnt constraints deletion: 4709 -> 2366 383.92/384.08 c learnt constraints deletion: 4734 -> 2379 386.40/386.52 c learnt constraints deletion: 4758 -> 2392 389.10/389.29 c learnt constraints deletion: 4742 -> 2385 391.90/392.04 c learnt constraints deletion: 4710 -> 2364 396.10/396.20 c learnt constraints deletion: 4718 -> 2369 399.61/399.73 c learnt constraints deletion: 4713 -> 2367 402.70/402.81 c learnt constraints deletion: 4715 -> 2368 406.30/406.49 c learnt constraints deletion: 4733 -> 2377 410.00/410.13 c learnt constraints deletion: 4736 -> 2378 413.10/413.23 c learnt constraints deletion: 4730 -> 2376 416.60/416.74 c learnt constraints deletion: 4744 -> 2384 420.00/420.13 c learnt constraints deletion: 4748 -> 2385 423.10/423.24 c learnt constraints deletion: 4730 -> 2376 426.00/426.13 c learnt constraints deletion: 4689 -> 2357 429.30/429.40 c learnt constraints deletion: 4726 -> 2374 432.50/432.68 c learnt constraints deletion: 4748 -> 2386 435.50/435.68 c learnt constraints deletion: 4731 -> 2377 438.59/438.72 c learnt constraints deletion: 4722 -> 2372 441.70/441.82 c learnt constraints deletion: 4710 -> 2366 444.80/444.97 c learnt constraints deletion: 4738 -> 2379 447.60/447.79 c learnt constraints deletion: 4742 -> 2382 450.59/450.79 c learnt constraints deletion: 4711 -> 2367 453.60/453.75 c learnt constraints deletion: 4738 -> 2380 456.40/456.53 c learnt constraints deletion: 4740 -> 2381 459.50/459.63 c learnt constraints deletion: 4734 -> 2378 462.69/462.87 c learnt constraints deletion: 4740 -> 2382 465.99/466.14 c learnt constraints deletion: 4718 -> 2372 469.49/469.62 c learnt constraints deletion: 4739 -> 2382 473.00/473.16 c learnt constraints deletion: 4717 -> 2371 476.39/476.53 c learnt constraints deletion: 4727 -> 2377 479.29/479.44 c learnt constraints deletion: 4710 -> 2367 482.59/482.71 c learnt constraints deletion: 4725 -> 2374 485.79/485.90 c learnt constraints deletion: 4756 -> 2389 489.39/489.55 c learnt constraints deletion: 4742 -> 2383 492.59/492.77 c learnt constraints deletion: 4723 -> 2374 495.99/496.13 c learnt constraints deletion: 4719 -> 2372 498.99/499.18 c learnt constraints deletion: 4707 -> 2365 502.08/502.25 c learnt constraints deletion: 4748 -> 2385 505.38/505.53 c learnt constraints deletion: 4739 -> 2383 508.19/508.36 c learnt constraints deletion: 4724 -> 2374 511.28/511.48 c learnt constraints deletion: 4735 -> 2381 514.79/514.96 c learnt constraints deletion: 4742 -> 2384 518.18/518.32 c learnt constraints deletion: 4737 -> 2380 521.39/521.50 c learnt constraints deletion: 4731 -> 2376 524.18/524.33 c learnt constraints deletion: 4727 -> 2375 527.58/527.79 c learnt constraints deletion: 4711 -> 2369 530.97/531.14 c learnt constraints deletion: 4747 -> 2388 534.78/534.91 c learnt constraints deletion: 5025 -> 2524 537.98/538.11 c learnt constraints deletion: 4981 -> 2491 540.17/540.34 c learnt constraints deletion: 5096 -> 2550 542.97/543.15 c learnt constraints deletion: 5091 -> 2547 545.67/545.88 c learnt constraints deletion: 5088 -> 2545 548.57/548.76 c learnt constraints deletion: 5102 -> 2552 551.27/551.41 c learnt constraints deletion: 5076 -> 2539 553.97/554.17 c learnt constraints deletion: 5083 -> 2544 556.48/556.67 c learnt constraints deletion: 5059 -> 2533 559.38/559.55 c learnt constraints deletion: 5085 -> 2546 562.47/562.60 c learnt constraints deletion: 5068 -> 2538 565.07/565.26 c learnt constraints deletion: 5068 -> 2538 567.97/568.13 c learnt constraints deletion: 5081 -> 2546 570.98/571.11 c learnt constraints deletion: 5073 -> 2539 573.67/573.89 c learnt constraints deletion: 5068 -> 2538 576.57/576.70 c learnt constraints deletion: 5063 -> 2535 579.27/579.49 c learnt constraints deletion: 5076 -> 2542 582.07/582.22 c learnt constraints deletion: 5092 -> 2548 584.77/584.90 c learnt constraints deletion: 5075 -> 2540 587.67/587.82 c learnt constraints deletion: 5098 -> 2551 590.37/590.53 c learnt constraints deletion: 5066 -> 2535 592.97/593.15 c learnt constraints deletion: 5097 -> 2552 595.87/596.03 c learnt constraints deletion: 5070 -> 2539 598.66/598.86 c learnt constraints deletion: 5056 -> 2533 601.27/601.49 c learnt constraints deletion: 5079 -> 2544 604.17/604.32 c learnt constraints deletion: 5073 -> 2542 606.77/606.94 c learnt constraints deletion: 5069 -> 2537 609.47/609.67 c learnt constraints deletion: 5063 -> 2534 612.27/612.47 c learnt constraints deletion: 5059 -> 2531 614.96/615.19 c learnt constraints deletion: 5085 -> 2545 617.87/618.01 c learnt constraints deletion: 5104 -> 2555 620.67/620.83 c learnt constraints deletion: 5077 -> 2541 623.47/623.62 c learnt constraints deletion: 5067 -> 2536 626.17/626.36 c learnt constraints deletion: 5087 -> 2546 629.07/629.24 c learnt constraints deletion: 5079 -> 2542 631.96/632.15 c learnt constraints deletion: 5064 -> 2534 635.26/635.41 c learnt constraints deletion: 5043 -> 2524 638.56/638.76 c learnt constraints deletion: 5058 -> 2531 642.07/642.22 c learnt constraints deletion: 5064 -> 2535 644.66/644.87 c learnt constraints deletion: 5086 -> 2546 647.56/647.77 c learnt constraints deletion: 5065 -> 2535 650.46/650.64 c learnt constraints deletion: 5092 -> 2550 653.56/653.71 c learnt constraints deletion: 5063 -> 2534 656.57/656.75 c learnt constraints deletion: 5071 -> 2539 659.45/659.60 c learnt constraints deletion: 5051 -> 2529 662.26/662.41 c learnt constraints deletion: 5061 -> 2534 665.56/665.76 c learnt constraints deletion: 5062 -> 2534 669.36/669.50 c learnt constraints deletion: 5055 -> 2533 672.26/672.45 c learnt constraints deletion: 5034 -> 2520 675.96/676.16 c learnt constraints deletion: 5045 -> 2526 680.16/680.39 c learnt constraints deletion: 5062 -> 2536 684.85/685.01 c learnt constraints deletion: 5043 -> 2530 687.85/688.05 c learnt constraints deletion: 5062 -> 2534 691.26/691.40 c learnt constraints deletion: 5055 -> 2532 694.66/694.86 c learnt constraints deletion: 5072 -> 2539 698.25/698.47 c learnt constraints deletion: 5062 -> 2533 701.35/701.54 c learnt constraints deletion: 5092 -> 2549 704.45/704.60 c learnt constraints deletion: 5077 -> 2542 707.75/707.95 c learnt constraints deletion: 5091 -> 2549 710.85/711.07 c learnt constraints deletion: 5075 -> 2541 714.15/714.34 c learnt constraints deletion: 5057 -> 2532 717.35/717.51 c learnt constraints deletion: 5083 -> 2544 720.25/720.50 c learnt constraints deletion: 5062 -> 2534 723.66/723.86 c learnt constraints deletion: 5060 -> 2534 726.55/726.73 c learnt constraints deletion: 5041 -> 2525 730.05/730.23 c learnt constraints deletion: 5063 -> 2539 733.55/733.79 c learnt constraints deletion: 5068 -> 2538 736.55/736.78 c learnt constraints deletion: 5069 -> 2537 739.16/739.37 c learnt constraints deletion: 5064 -> 2535 742.15/742.30 c learnt constraints deletion: 5054 -> 2532 744.95/745.12 c learnt constraints deletion: 5064 -> 2535 747.85/748.04 c learnt constraints deletion: 5084 -> 2546 750.65/750.84 c learnt constraints deletion: 5070 -> 2538 753.45/753.63 c learnt constraints deletion: 5090 -> 2548 756.24/756.50 c learnt constraints deletion: 5065 -> 2538 759.25/759.46 c learnt constraints deletion: 5106 -> 2556 762.15/762.36 c learnt constraints deletion: 5100 -> 2555 765.55/765.75 c learnt constraints deletion: 5073 -> 2542 768.54/768.79 c learnt constraints deletion: 5069 -> 2540 771.24/771.46 c learnt constraints deletion: 5051 -> 2531 774.24/774.48 c learnt constraints deletion: 5091 -> 2550 777.55/777.71 c learnt constraints deletion: 5037 -> 2520 780.34/780.57 c learnt constraints deletion: 5060 -> 2532 783.44/783.64 c learnt constraints deletion: 5065 -> 2535 786.45/786.65 c learnt constraints deletion: 5053 -> 2529 789.75/789.91 c learnt constraints deletion: 5100 -> 2552 792.64/792.80 c learnt constraints deletion: 5083 -> 2544 795.84/796.08 c learnt constraints deletion: 5454 -> 2729 798.94/799.13 c learnt constraints deletion: 5404 -> 2705 800.64/800.89 c learnt constraints deletion: 4164 -> 2082 803.54/803.78 c learnt constraints deletion: 5396 -> 2708 806.84/807.08 c learnt constraints deletion: 5417 -> 2723 810.23/810.42 c learnt constraints deletion: 5414 -> 2720 813.24/813.40 c learnt constraints deletion: 5398 -> 2713 816.04/816.23 c learnt constraints deletion: 5421 -> 2725 818.74/818.94 c learnt constraints deletion: 5408 -> 2717 821.64/821.84 c learnt constraints deletion: 5446 -> 2740 824.63/824.88 c learnt constraints deletion: 5401 -> 2716 827.93/828.18 c learnt constraints deletion: 5412 -> 2721 831.13/831.35 c learnt constraints deletion: 5384 -> 2706 834.33/834.54 c learnt constraints deletion: 5388 -> 2710 837.64/837.80 c learnt constraints deletion: 5424 -> 2726 840.43/840.62 c learnt constraints deletion: 5394 -> 2713 843.54/843.73 c learnt constraints deletion: 5387 -> 2711 846.94/847.11 c learnt constraints deletion: 5423 -> 2726 850.14/850.40 c learnt constraints deletion: 5390 -> 2710 853.33/853.56 c learnt constraints deletion: 5407 -> 2718 856.43/856.69 c learnt constraints deletion: 5403 -> 2719 859.43/859.67 c learnt constraints deletion: 5412 -> 2723 862.62/862.85 c learnt constraints deletion: 5432 -> 2734 866.02/866.28 c learnt constraints deletion: 5439 -> 2736 869.83/870.00 c learnt constraints deletion: 5389 -> 2711 873.13/873.38 c learnt constraints deletion: 5444 -> 2737 876.43/876.60 c learnt constraints deletion: 5416 -> 2724 879.93/880.13 c learnt constraints deletion: 5414 -> 2723 883.53/883.72 c learnt constraints deletion: 5430 -> 2730 886.92/887.17 c learnt constraints deletion: 5386 -> 2707 890.73/890.91 c learnt constraints deletion: 5393 -> 2713 894.23/894.49 c learnt constraints deletion: 5407 -> 2719 898.03/898.29 c learnt constraints deletion: 5380 -> 2704 902.02/902.28 c learnt constraints deletion: 5408 -> 2719 906.02/906.29 c learnt constraints deletion: 5394 -> 2712 909.82/910.03 c learnt constraints deletion: 5389 -> 2710 913.82/914.09 c learnt constraints deletion: 5416 -> 2723 917.32/917.56 c learnt constraints deletion: 5409 -> 2720 921.12/921.31 c learnt constraints deletion: 5432 -> 2731 925.12/925.31 c learnt constraints deletion: 5376 -> 2704 929.02/929.25 c learnt constraints deletion: 5406 -> 2718 932.92/933.17 c learnt constraints deletion: 5393 -> 2712 936.72/936.92 c learnt constraints deletion: 5408 -> 2720 940.32/940.54 c learnt constraints deletion: 5403 -> 2717 943.91/944.18 c learnt constraints deletion: 5387 -> 2709 947.72/947.96 c learnt constraints deletion: 5390 -> 2710 951.32/951.52 c learnt constraints deletion: 5398 -> 2715 954.81/955.09 c learnt constraints deletion: 5390 -> 2710 958.41/958.69 c learnt constraints deletion: 5437 -> 2734 961.72/961.96 c learnt constraints deletion: 5380 -> 2705 965.62/965.89 c learnt constraints deletion: 5409 -> 2721 969.02/969.23 c learnt constraints deletion: 5429 -> 2731 972.81/973.03 c learnt constraints deletion: 5386 -> 2707 976.61/976.85 c learnt constraints deletion: 5389 -> 2710 980.61/980.81 c learnt constraints deletion: 5401 -> 2716 984.21/984.41 c learnt constraints deletion: 5406 -> 2719 988.30/988.53 c learnt constraints deletion: 5384 -> 2708 991.60/991.88 c learnt constraints deletion: 5442 -> 2736 995.31/995.56 c learnt constraints deletion: 5440 -> 2736 1000.91/1001.12 c learnt constraints deletion: 5400 -> 2716 1009.81/1010.08 c learnt constraints deletion: 5382 -> 2709 1020.50/1020.75 c learnt constraints deletion: 5433 -> 2732 1026.50/1026.78 c learnt constraints deletion: 5431 -> 2733 1034.00/1034.23 c learnt constraints deletion: 5384 -> 2707 1042.10/1042.32 c learnt constraints deletion: 5449 -> 2739 1046.60/1046.83 c learnt constraints deletion: 5388 -> 2710 1051.10/1051.32 c learnt constraints deletion: 5411 -> 2721 1054.90/1055.14 c learnt constraints deletion: 5380 -> 2705 1058.40/1058.67 c learnt constraints deletion: 5398 -> 2715 1062.30/1062.53 c learnt constraints deletion: 5385 -> 2710 1066.19/1066.46 c learnt constraints deletion: 5408 -> 2718 1070.10/1070.36 c learnt constraints deletion: 5382 -> 2706 1074.00/1074.28 c learnt constraints deletion: 5387 -> 2709 1080.29/1080.59 c learnt constraints deletion: 5408 -> 2719 1085.69/1085.92 c learnt constraints deletion: 5404 -> 2718 1089.59/1089.84 c learnt constraints deletion: 5400 -> 2716 1093.69/1093.92 c learnt constraints deletion: 5405 -> 2719 1098.09/1098.38 c learnt constraints deletion: 5431 -> 2731 1102.10/1102.35 c learnt constraints deletion: 5389 -> 2710 1108.89/1109.14 c learnt constraints deletion: 5396 -> 2714 1118.69/1118.96 c learnt constraints deletion: 5389 -> 2710 1128.09/1128.38 c learnt constraints deletion: 5377 -> 2702 1134.38/1134.65 c learnt constraints deletion: 5378 -> 2704 1141.09/1141.33 c learnt constraints deletion: 5393 -> 2713 1145.59/1145.85 c learnt constraints deletion: 5391 -> 2709 1150.29/1150.54 c learnt constraints deletion: 5370 -> 2701 1157.19/1157.48 c learnt constraints deletion: 5396 -> 2712 1163.48/1163.70 c learnt constraints deletion: 5366 -> 2697 1169.48/1169.70 c learnt constraints deletion: 5371 -> 2703 1174.88/1175.13 c learnt constraints deletion: 5391 -> 2711 1179.78/1180.06 c learnt constraints deletion: 5382 -> 2706 1184.97/1185.20 c learnt constraints deletion: 5378 -> 2704 1189.58/1189.80 c learnt constraints deletion: 5398 -> 2720 1194.07/1194.38 c learnt constraints deletion: 5404 -> 2719 1198.37/1198.62 c learnt constraints deletion: 5394 -> 2713 1203.18/1203.41 c learnt constraints deletion: 5378 -> 2703 1207.78/1208.05 c learnt constraints deletion: 5380 -> 2707 1212.77/1213.04 c learnt constraints deletion: 5389 -> 2709 1217.58/1217.83 c learnt constraints deletion: 5370 -> 2700 1221.98/1222.24 c learnt constraints deletion: 5391 -> 2711 1226.87/1227.17 c learnt constraints deletion: 5370 -> 2701 1232.17/1232.45 c learnt constraints deletion: 5388 -> 2711 1236.27/1236.59 c learnt constraints deletion: 5391 -> 2711 1241.37/1241.62 c learnt constraints deletion: 5339 -> 2685 1245.27/1245.56 c learnt constraints deletion: 5372 -> 2701 1250.27/1250.50 c learnt constraints deletion: 5355 -> 2694 1254.97/1255.28 c learnt constraints deletion: 5377 -> 2703 1259.87/1260.16 c learnt constraints deletion: 5363 -> 2697 1264.97/1265.26 c learnt constraints deletion: 5391 -> 2710 1269.57/1269.83 c learnt constraints deletion: 5388 -> 2709 1274.46/1274.78 c learnt constraints deletion: 5386 -> 2708 1279.07/1279.39 c learnt constraints deletion: 5378 -> 2704 1283.87/1284.13 c learnt constraints deletion: 5371 -> 2702 1288.06/1288.33 c learnt constraints deletion: 5390 -> 2711 1292.46/1292.77 c learnt constraints deletion: 5368 -> 2699 1299.06/1299.37 c learnt constraints deletion: 5381 -> 2707 1304.86/1305.11 c learnt constraints deletion: 5400 -> 2715 1309.76/1310.06 c learnt constraints deletion: 5393 -> 2714 1313.96/1314.28 c learnt constraints deletion: 5377 -> 2707 1318.66/1318.92 c learnt constraints deletion: 5405 -> 2720 1323.17/1323.43 c learnt constraints deletion: 5372 -> 2702 1327.26/1327.50 c learnt constraints deletion: 5403 -> 2718 1331.66/1331.99 c learnt constraints deletion: 5365 -> 2699 1335.66/1335.98 c learnt constraints deletion: 5415 -> 2724 1340.35/1340.69 c learnt constraints deletion: 5781 -> 2907 1345.25/1345.56 c learnt constraints deletion: 5790 -> 2913 1349.35/1349.69 c learnt constraints deletion: 5215 -> 2608 1352.75/1353.07 c learnt constraints deletion: 5797 -> 2906 1356.65/1356.94 c learnt constraints deletion: 5807 -> 2916 1360.56/1360.88 c learnt constraints deletion: 5803 -> 2912 1364.55/1364.89 c learnt constraints deletion: 5790 -> 2906 1368.94/1369.24 c learnt constraints deletion: 5788 -> 2905 1372.95/1373.25 c learnt constraints deletion: 5796 -> 2910 1377.05/1377.32 c learnt constraints deletion: 5788 -> 2906 1381.05/1381.32 c learnt constraints deletion: 5809 -> 2915 1384.85/1385.13 c learnt constraints deletion: 5766 -> 2894 1388.45/1388.79 c learnt constraints deletion: 5779 -> 2900 1392.55/1392.80 c learnt constraints deletion: 5797 -> 2910 1397.04/1397.36 c learnt constraints deletion: 5804 -> 2913 1401.04/1401.38 c learnt constraints deletion: 5798 -> 2911 1405.24/1405.53 c learnt constraints deletion: 5824 -> 2924 1409.44/1409.74 c learnt constraints deletion: 5796 -> 2909 1414.04/1414.31 c learnt constraints deletion: 5782 -> 2903 1418.74/1419.04 c learnt constraints deletion: 5766 -> 2895 1423.54/1423.84 c learnt constraints deletion: 5783 -> 2904 1428.13/1428.45 c learnt constraints deletion: 5801 -> 2914 1432.64/1432.95 c learnt constraints deletion: 5804 -> 2914 1437.44/1437.77 c learnt constraints deletion: 5790 -> 2908 1442.04/1442.31 c learnt constraints deletion: 5786 -> 2905 1446.44/1446.72 c learnt constraints deletion: 5772 -> 2898 1451.03/1451.33 c learnt constraints deletion: 5785 -> 2905 1455.73/1456.01 c learnt constraints deletion: 5772 -> 2900 1460.03/1460.37 c learnt constraints deletion: 5780 -> 2901 1463.73/1464.02 c learnt constraints deletion: 5825 -> 2925 1468.03/1468.33 c learnt constraints deletion: 5806 -> 2915 1471.73/1472.04 c learnt constraints deletion: 5778 -> 2902 1475.93/1476.23 c learnt constraints deletion: 5800 -> 2912 1480.44/1480.73 c learnt constraints deletion: 5797 -> 2911 1484.43/1484.77 c learnt constraints deletion: 5807 -> 2917 1488.62/1488.90 c learnt constraints deletion: 5779 -> 2902 1493.12/1493.43 c learnt constraints deletion: 5789 -> 2906 1499.62/1499.93 c learnt constraints deletion: 5813 -> 2921 1507.62/1507.93 c learnt constraints deletion: 5787 -> 2908 1515.92/1516.24 c learnt constraints deletion: 5805 -> 2916 1526.02/1526.32 c learnt constraints deletion: 5788 -> 2907 1535.02/1535.33 c learnt constraints deletion: 5785 -> 2908 1545.82/1546.18 c learnt constraints deletion: 5746 -> 2887 1554.02/1554.33 c learnt constraints deletion: 5771 -> 2901 1562.22/1562.54 c learnt constraints deletion: 5780 -> 2907 1571.62/1571.95 c learnt constraints deletion: 5787 -> 2910 1578.02/1578.39 c learnt constraints deletion: 5773 -> 2902 1586.02/1586.35 c learnt constraints deletion: 5796 -> 2912 1594.61/1594.98 c learnt constraints deletion: 5799 -> 2915 1602.71/1603.01 c learnt constraints deletion: 5767 -> 2899 1612.71/1613.05 c learnt constraints deletion: 5784 -> 2908 1620.41/1620.77 c learnt constraints deletion: 5811 -> 2921 1628.81/1629.12 c learnt constraints deletion: 5781 -> 2907 1636.51/1636.84 c learnt constraints deletion: 5775 -> 2904 1642.40/1642.75 c learnt constraints deletion: 5807 -> 2919 1650.10/1650.42 c learnt constraints deletion: 5779 -> 2904 1659.41/1659.73 c learnt constraints deletion: 5807 -> 2921 1668.20/1668.54 c learnt constraints deletion: 5788 -> 2910 1676.00/1676.38 c learnt constraints deletion: 5775 -> 2901 1684.30/1684.64 c learnt constraints deletion: 5781 -> 2905 1691.51/1691.87 c learnt constraints deletion: 5813 -> 2919 1698.80/1699.10 c learnt constraints deletion: 5777 -> 2902 1708.00/1708.31 c learnt constraints deletion: 5807 -> 2919 1717.70/1718.06 c learnt constraints deletion: 5768 -> 2899 1727.90/1728.21 c learnt constraints deletion: 5806 -> 2918 1737.79/1738.12 c learnt constraints deletion: 5815 -> 2923 1747.79/1748.19 c learnt constraints deletion: 5837 -> 2932 1756.09/1756.43 c learnt constraints deletion: 5793 -> 2910 1765.19/1765.55 c learnt constraints deletion: 5795 -> 2911 1772.99/1773.36 c learnt constraints deletion: 5797 -> 2916 1780.29/1780.62 c learnt constraints deletion: 5805 -> 2917 1786.58/1786.94 c learnt constraints deletion: 5809 -> 2915 1790.38/1790.77 c learnt constraints deletion: 5813 -> 2918 1794.78/1795.15 c learnt constraints deletion: 5778 -> 2902 1799.39/1799.76 c learnt constraints deletion: 5798 -> 2912
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-3724325-1338635151/watcher-3724325-1338635151 -o /tmp/evaluation-result-3724325-1338635151/solver-3724325-1338635151 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724325-1338635151.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.92 1.98 1.91 3/176 1403 /proc/meminfo: memFree=30958132/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=6224 CPUtime=0 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 789 0 0 0 0 0 0 0 20 0 1 0 329640995 6373376 710 33554432000 4194304 8989770 140735068218848 140733343457704 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 1556 710 428 1171 0 333 0 [startup+0.101989 s] /proc/loadavg: 1.92 1.98 1.91 3/176 1403 /proc/meminfo: memFree=30958132/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=9296 CPUtime=0.09 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 1460 0 0 0 9 0 0 0 20 0 1 0 329640995 9519104 1381 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 2324 1381 456 1171 0 1101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9296 [startup+0.200224 s] /proc/loadavg: 1.92 1.98 1.91 3/176 1403 /proc/meminfo: memFree=30958132/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=10320 CPUtime=0.19 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 1699 0 0 0 19 0 0 0 20 0 1 0 329640995 10567680 1620 33554432000 4194304 8989770 140735068218848 140735068218112 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 2580 1620 456 1171 0 1357 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10320 [startup+0.300219 s] /proc/loadavg: 1.92 1.98 1.91 3/176 1403 /proc/meminfo: memFree=30958132/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=11344 CPUtime=0.29 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 2145 0 0 0 29 0 0 0 20 0 1 0 329640995 11616256 2066 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 2836 2066 456 1171 0 1613 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11344 [startup+0.700211 s] /proc/loadavg: 1.92 1.98 1.91 3/176 1403 /proc/meminfo: memFree=30958132/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=13392 CPUtime=0.69 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 2659 0 0 0 68 1 0 0 20 0 1 0 329640995 13713408 2580 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 3348 2580 458 1171 0 2125 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13392 [startup+1.50106 s] /proc/loadavg: 1.92 1.98 1.91 3/177 1404 /proc/meminfo: memFree=30944840/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=18512 CPUtime=1.49 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 3941 0 0 0 147 2 0 0 20 0 1 0 329640995 18956288 3862 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 4628 3862 460 1171 0 3405 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18512 [startup+3.10023 s] /proc/loadavg: 1.92 1.98 1.91 3/177 1404 /proc/meminfo: memFree=30932804/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=29776 CPUtime=3.09 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 6757 0 0 0 304 5 0 0 20 0 1 0 329640995 30490624 6678 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 7444 6678 460 1171 0 6221 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29776 [startup+6.30109 s] /proc/loadavg: 1.93 1.98 1.91 3/177 1404 /proc/meminfo: memFree=30907788/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=36944 CPUtime=6.28 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 8549 0 0 0 619 9 0 0 20 0 1 0 329640995 37830656 8470 33554432000 4194304 8989770 140735068218848 140735068216832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 9236 8470 460 1171 0 8013 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 36944 [startup+12.7011 s] /proc/loadavg: 1.93 1.98 1.91 3/177 1404 /proc/meminfo: memFree=30872128/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=51280 CPUtime=12.69 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 12133 0 0 0 1251 18 0 0 20 0 1 0 329640995 52510720 12054 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 12820 12054 460 1171 0 11597 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51280 [startup+25.5003 s] /proc/loadavg: 1.95 1.98 1.91 3/177 1404 /proc/meminfo: memFree=30826480/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=56400 CPUtime=25.48 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 13413 0 0 0 2513 35 0 0 20 0 1 0 329640995 57753600 13334 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 14100 13334 460 1171 0 12877 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56400 [startup+51.1003 s] /proc/loadavg: 1.96 1.98 1.91 3/177 1404 /proc/meminfo: memFree=30773748/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=64592 CPUtime=51.09 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 15461 0 0 0 5043 66 0 0 20 0 1 0 329640995 66142208 15382 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 16148 15382 460 1171 0 14925 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 64592 [startup+102.3 s] /proc/loadavg: 1.98 1.98 1.91 3/177 1404 /proc/meminfo: memFree=30733740/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=75856 CPUtime=102.28 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 18277 0 0 0 10101 127 0 0 20 0 1 0 329640995 77676544 18198 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 18964 18198 460 1171 0 17741 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 75856 [startup+162.3 s] /proc/loadavg: 2.03 2.00 1.91 3/177 1405 /proc/meminfo: memFree=30673496/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=86096 CPUtime=162.24 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 21115 0 0 0 16019 205 0 0 20 0 1 0 329640995 88162304 20763 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 21524 20763 460 1171 0 20301 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 86096 [startup+222.308 s] /proc/loadavg: 2.01 2.00 1.91 3/177 1405 /proc/meminfo: memFree=30637668/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=93264 CPUtime=222.24 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 22917 0 0 0 21897 327 0 0 20 0 1 0 329640995 95502336 22555 33554432000 4194304 8989770 140735068218848 140735068218344 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 23316 22555 460 1171 0 22093 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 93264 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 1408 /proc/meminfo: memFree=30590444/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=94288 CPUtime=282.22 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 23173 0 0 0 27785 437 0 0 20 0 1 0 329640995 96550912 22811 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 23572 22811 460 1171 0 22349 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 94288 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.91 3/177 1408 /proc/meminfo: memFree=30547572/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=94288 CPUtime=342.21 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 23173 0 0 0 33675 546 0 0 20 0 1 0 329640995 96550912 22811 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 23572 22811 460 1171 0 22349 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 94288 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 1408 /proc/meminfo: memFree=30504200/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=103504 CPUtime=402.21 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 25477 0 0 0 39542 679 0 0 20 0 1 0 329640995 105988096 25115 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 25876 25115 460 1171 0 24653 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 103504 [startup+462.301 s] /proc/loadavg: 2.11 2.03 1.93 3/177 1410 /proc/meminfo: memFree=30500068/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=107600 CPUtime=462.2 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 26501 0 0 0 45384 836 0 0 20 0 1 0 329640995 110182400 26139 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 26900 26139 460 1171 0 25677 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 107600 [startup+522.3 s] /proc/loadavg: 2.11 2.04 1.93 3/177 1410 /proc/meminfo: memFree=30495336/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=109648 CPUtime=522.18 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 27022 0 0 0 51250 968 0 0 20 0 1 0 329640995 112279552 26651 33554432000 4194304 8989770 140735068218848 140735068218344 4213723 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 27412 26651 460 1171 0 26189 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 109648 [startup+582.301 s] /proc/loadavg: 2.04 2.03 1.93 3/177 1410 /proc/meminfo: memFree=30459880/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=109648 CPUtime=582.17 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 27022 0 0 0 57135 1082 0 0 20 0 1 0 329640995 112279552 26651 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 27412 26651 460 1171 0 26189 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 109648 [startup+642.3 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.00 2.02 1.95 3/178 1414 /proc/meminfo: memFree=30301068/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=113744 CPUtime=882.13 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 29070 0 0 0 86526 1687 0 0 20 0 1 0 329640995 116473856 27675 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 28436 27675 460 1171 0 27213 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 113744 [startup+942.3 s] /proc/loadavg: 2.00 2.02 1.95 3/177 1414 /proc/meminfo: memFree=30280108/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=115792 CPUtime=942.12 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 29584 0 0 0 92361 1851 0 0 20 0 1 0 329640995 118571008 28187 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 28948 28187 460 1171 0 27725 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 115792 [startup+1002.3 s] /proc/loadavg: 2.07 2.03 1.95 3/177 1414 /proc/meminfo: memFree=30280868/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=115792 CPUtime=1002.1 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 29584 0 0 0 98212 1998 0 0 20 0 1 0 329640995 118571008 28187 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 28948 28187 460 1171 0 27725 0 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (KiB) 115792 [startup+1062.3 s] /proc/loadavg: 2.02 2.02 1.95 3/177 1415 /proc/meminfo: memFree=30280744/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=115792 CPUtime=1062.1 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 29584 0 0 0 103978 2232 0 0 20 0 1 0 329640995 118571008 28187 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 28948 28187 460 1171 0 27725 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 115792 [startup+1122.3 s] /proc/loadavg: 2.04 2.03 1.96 3/177 1415 /proc/meminfo: memFree=30280624/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=115792 CPUtime=1122.09 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 29584 0 0 0 109756 2453 0 0 20 0 1 0 329640995 118571008 28187 33554432000 4194304 8989770 140735068218848 140735068218112 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 28948 28187 460 1171 0 27725 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 115792 [startup+1182.3 s] /proc/loadavg: 2.01 2.02 1.96 3/177 1415 /proc/meminfo: memFree=30269588/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=127056 CPUtime=1182.08 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32400 0 0 0 115498 2710 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 31764 31003 460 1171 0 30541 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 127056 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 1.96 3/177 1415 /proc/meminfo: memFree=30269464/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=127056 CPUtime=1242.07 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32400 0 0 0 121250 2957 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 31764 31003 460 1171 0 30541 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 127056 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 1.96 3/178 1416 /proc/meminfo: memFree=30264552/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=127056 CPUtime=1302.06 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32400 0 0 0 126953 3253 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 31764 31003 460 1171 0 30541 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 127056 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 1.96 3/177 1417 /proc/meminfo: memFree=30239176/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=127056 CPUtime=1362.05 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32400 0 0 0 132723 3482 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 31764 31003 460 1171 0 30541 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 127056 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 1417 /proc/meminfo: memFree=30211328/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=127056 CPUtime=1422.05 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32403 0 0 0 138500 3705 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 4213693 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 31764 31003 460 1171 0 30541 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 127056 [startup+1482.3 s] /proc/loadavg: 2.08 2.02 1.96 3/178 1420 /proc/meminfo: memFree=30190200/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=127056 CPUtime=1482.03 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 32403 0 0 0 144262 3941 0 0 20 0 1 0 329640995 130105344 31003 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 31764 31003 460 1171 0 30541 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 127056 [startup+1542.31 s] /proc/loadavg: 2.03 2.01 1.96 3/177 1420 /proc/meminfo: memFree=30158960/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=134224 CPUtime=1542.03 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 34195 0 0 0 149990 4213 0 0 20 0 1 0 329640995 137445376 32795 33554432000 4194304 8989770 140735068218848 140735068218112 4211246 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 33556 32795 460 1171 0 32333 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 134224 [startup+1602.3 s] /proc/loadavg: 2.01 2.00 1.96 3/177 1420 /proc/meminfo: memFree=30150780/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=137296 CPUtime=1602.01 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 34963 0 0 0 155715 4486 0 0 20 0 1 0 329640995 140591104 33563 33554432000 4194304 8989770 140735068218848 140735068218112 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 34324 33563 460 1171 0 33101 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 137296 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 1421 /proc/meminfo: memFree=30151028/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=137296 CPUtime=1662 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 34963 0 0 0 161453 4747 0 0 20 0 1 0 329640995 140591104 33563 33554432000 4194304 8989770 140735068218848 140735068218344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 34324 33563 460 1171 0 33101 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 137296 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 1421 /proc/meminfo: memFree=30147312/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=140368 CPUtime=1722 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 35731 0 0 0 167186 5014 0 0 20 0 1 0 329640995 143736832 34331 33554432000 4194304 8989770 140735068218848 140735068218344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 35092 34331 460 1171 0 33869 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 140368 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 1421 /proc/meminfo: memFree=30147064/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=140368 CPUtime=1781.99 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 35731 0 0 0 172947 5252 0 0 20 0 1 0 329640995 143736832 34331 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 35092 34331 460 1171 0 33869 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 140368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 1.96 3/177 1469 /proc/meminfo: memFree=30775980/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=140368 CPUtime=1800.09 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 35731 0 0 0 174695 5314 0 0 20 0 1 0 329640995 143736832 34331 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 35092 34331 460 1171 0 33869 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 140368 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 1.96 3/177 1469 /proc/meminfo: memFree=30775980/32873648 swapFree=6860/6860 [pid=1403] ppid=1401 vsize=140368 CPUtime=1800.09 cores=1,3,5,7 /proc/1403/stat : 1403 (toysat) R 1401 1403 986 0 -1 4202496 35731 0 0 0 174695 5314 0 0 20 0 1 0 329640995 143736832 34331 33554432000 4194304 8989770 140735068218848 140735068218112 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/1403/statm: 35092 34331 460 1171 0 33869 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 140368 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.1 CPU user time (s): 1746.96 CPU system time (s): 53.1449 CPU usage (%): 99.9828 Max. virtual memory (cumulated for all children) (KiB): 140368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1746.96 system time used= 53.1449 maximum resident set size= 137324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35731 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= 48 involuntary context switches= 1858 runsolver used 3.53246 second user time and 9.26159 second system time The end
Begin job on node124 at 2012-06-02 13:05:51 IDJOB=3724325 IDBENCH=2604 IDSOLVER=2308 FILE ID=node124/3724325-1338635151 RUNJOBID= node124-1338631508-1003 PBS_JOBID= 14636456 Free space on /tmp= 70768 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724325-1338635151/watcher-3724325-1338635151 -o /tmp/evaluation-result-3724325-1338635151/solver-3724325-1338635151 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724325-1338635151.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2ea7e3b5e107f983d069c627d91480a3 RANDOM SEED=1252347267 node124.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.325 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.65 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.325 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 : 5385.03 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.325 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 : 5385.04 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.325 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 : 5357.53 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.325 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 : 5385.03 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.325 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 : 5385.04 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.325 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 : 5385.03 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.325 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 : 5385.03 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 30958512 kB Buffers: 129232 kB Cached: 982544 kB SwapCached: 8192 kB Active: 273836 kB Inactive: 878944 kB Active(anon): 35116 kB Inactive(anon): 8016 kB Active(file): 238720 kB Inactive(file): 870928 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67091440 kB Dirty: 14936 kB Writeback: 0 kB AnonPages: 40112 kB Mapped: 10684 kB Shmem: 0 kB Slab: 625280 kB SReclaimable: 69344 kB SUnreclaim: 555936 kB KernelStack: 1456 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 156128 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 70748 MiB End job on node124 at 2012-06-02 13:35:54