Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | ? (TO) | 1800.03 | 1800.31 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
MD5SUM | 0a5749e09f3f6f40d04f442dc86d22a6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 193 |
Best CPU time to get the best result obtained on this benchmark | 1789.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 188 |
Optimality of the best value was proved | NO |
Number of variables | 479 |
Total number of constraints | 479 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 479 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 479 |
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 | 479 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 479 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.05 c 2012-05-27T12:04:07+0200 0.03/0.05 c arch = x86_64 0.03/0.05 c os = linux 0.03/0.05 c compiler = ghc 7.4 0.03/0.05 c packages: 0.03/0.05 c OptDir-0.0.1 0.03/0.05 c array-0.4.0.0 0.03/0.05 c base-4.5.0.0 0.03/0.05 c bytestring-0.9.2.1 0.03/0.05 c containers-0.4.2.1 0.03/0.05 c deepseq-1.3.0.0 0.03/0.05 c mtl-2.1.1 0.03/0.05 c old_locale-1.0.0.4 0.03/0.05 c parse_dimacs-1.2 0.03/0.05 c parsec-3.1.2 0.03/0.05 c queue-0.1.2 0.03/0.05 c stm-2.3 0.03/0.05 c time-1.4 0.03/0.05 c command line = ["--pb","HOME/instance-3706731-1338113047.opb"] 0.03/0.05 c #vars 479 0.03/0.05 c #constraints 479 0.03/0.05 c Solving starts ... 0.03/0.05 c solving time = 0.003s 0.03/0.05 c #decision = 246 0.03/0.05 c #conflict = 0 0.03/0.05 c #restart = 0 0.03/0.05 o 233 0.03/0.05 c Solving starts ... 0.99/1.00 c learnt constraints deletion: 472 -> 236 1.79/1.80 c learnt constraints deletion: 573 -> 287 2.58/2.66 c solving time = 2.609s 2.58/2.66 c #decision = 3555 2.58/2.66 c #conflict = 1171 2.58/2.66 c #restart = 4 2.58/2.66 o 232 2.58/2.66 c Solving starts ... 2.58/2.66 c learnt constraints deletion: 645 -> 323 2.58/2.66 c learnt constraints deletion: 323 -> 162 3.39/3.40 c learnt constraints deletion: 410 -> 205 3.89/3.98 c learnt constraints deletion: 429 -> 215 4.69/4.75 c learnt constraints deletion: 552 -> 276 5.79/5.85 c learnt constraints deletion: 711 -> 365 6.78/6.82 c learnt constraints deletion: 756 -> 382 7.70/7.77 c learnt constraints deletion: 751 -> 379 8.79/8.82 c learnt constraints deletion: 806 -> 408 9.69/9.73 c learnt constraints deletion: 807 -> 410 10.58/10.67 c learnt constraints deletion: 796 -> 398 11.69/11.78 c learnt constraints deletion: 861 -> 435 12.78/12.83 c learnt constraints deletion: 862 -> 434 13.79/13.88 c learnt constraints deletion: 866 -> 438 14.89/14.90 c learnt constraints deletion: 828 -> 414 16.19/16.23 c learnt constraints deletion: 926 -> 469 17.29/17.32 c learnt constraints deletion: 922 -> 462 18.39/18.42 c learnt constraints deletion: 924 -> 466 19.39/19.41 c learnt constraints deletion: 926 -> 471 20.39/20.49 c learnt constraints deletion: 933 -> 478 21.58/21.63 c learnt constraints deletion: 993 -> 499 22.79/22.84 c learnt constraints deletion: 994 -> 500 24.09/24.12 c learnt constraints deletion: 996 -> 505 25.49/25.57 c learnt constraints deletion: 998 -> 507 26.68/26.78 c learnt constraints deletion: 998 -> 507 28.08/28.11 c learnt constraints deletion: 994 -> 503 29.38/29.45 c learnt constraints deletion: 998 -> 505 30.59/30.67 c learnt constraints deletion: 1004 -> 509 31.98/32.00 c learnt constraints deletion: 1071 -> 542 33.19/33.28 c learnt constraints deletion: 1073 -> 540 34.38/34.46 c learnt constraints deletion: 1070 -> 540 35.69/35.78 c learnt constraints deletion: 1075 -> 547 37.08/37.10 c learnt constraints deletion: 1076 -> 546 38.28/38.39 c learnt constraints deletion: 1072 -> 542 39.59/39.68 c learnt constraints deletion: 1071 -> 543 40.88/40.91 c learnt constraints deletion: 1073 -> 544 41.98/42.00 c learnt constraints deletion: 1075 -> 544 43.18/43.23 c learnt constraints deletion: 1073 -> 544 44.48/44.51 c learnt constraints deletion: 1097 -> 549 45.78/45.87 c learnt constraints deletion: 1156 -> 581 46.98/47.06 c learnt constraints deletion: 1157 -> 584 48.39/48.41 c learnt constraints deletion: 1162 -> 589 49.49/49.58 c learnt constraints deletion: 1157 -> 583 50.89/50.94 c learnt constraints deletion: 1158 -> 586 52.18/52.28 c learnt constraints deletion: 1159 -> 586 53.58/53.64 c learnt constraints deletion: 1152 -> 580 54.89/54.92 c learnt constraints deletion: 1158 -> 583 56.09/56.10 c learnt constraints deletion: 1154 -> 585 57.39/57.47 c learnt constraints deletion: 1155 -> 584 58.78/58.86 c learnt constraints deletion: 1158 -> 586 60.28/60.30 c learnt constraints deletion: 1153 -> 580 61.68/61.71 c learnt constraints deletion: 1157 -> 585 62.78/62.87 c learnt constraints deletion: 1153 -> 581 64.08/64.12 c learnt constraints deletion: 1207 -> 604 65.58/65.61 c learnt constraints deletion: 1251 -> 632 66.99/67.08 c learnt constraints deletion: 1248 -> 630 68.58/68.63 c learnt constraints deletion: 1256 -> 640 69.88/70.00 c learnt constraints deletion: 1251 -> 635 71.39/71.45 c learnt constraints deletion: 1250 -> 633 72.88/72.99 c learnt constraints deletion: 1250 -> 634 74.38/74.43 c learnt constraints deletion: 1251 -> 636 75.79/75.84 c learnt constraints deletion: 1252 -> 635 77.08/77.14 c learnt constraints deletion: 1249 -> 630 78.48/78.50 c learnt constraints deletion: 1254 -> 633 79.98/80.06 c learnt constraints deletion: 1250 -> 629 81.39/81.44 c learnt constraints deletion: 1248 -> 633 82.68/82.79 c learnt constraints deletion: 1251 -> 631 84.18/84.28 c learnt constraints deletion: 1249 -> 632 85.68/85.78 c learnt constraints deletion: 1251 -> 633 87.08/87.10 c learnt constraints deletion: 1248 -> 630 88.27/88.36 c learnt constraints deletion: 1246 -> 630 89.77/89.86 c learnt constraints deletion: 1253 -> 637 91.07/91.20 c learnt constraints deletion: 1251 -> 633 92.39/92.43 c learnt constraints deletion: 1251 -> 635 93.77/93.86 c learnt constraints deletion: 1267 -> 634 95.38/95.43 c learnt constraints deletion: 1349 -> 680 96.78/96.87 c learnt constraints deletion: 1348 -> 680 98.18/98.23 c learnt constraints deletion: 1348 -> 678 99.47/99.58 c learnt constraints deletion: 1352 -> 685 100.87/100.91 c learnt constraints deletion: 1348 -> 679 102.28/102.38 c learnt constraints deletion: 1352 -> 682 103.77/103.83 c learnt constraints deletion: 1349 -> 684 105.27/105.30 c learnt constraints deletion: 1349 -> 683 106.77/106.86 c learnt constraints deletion: 1352 -> 683 108.27/108.37 c learnt constraints deletion: 1349 -> 680 109.98/110.02 c learnt constraints deletion: 1357 -> 685 111.37/111.48 c learnt constraints deletion: 1353 -> 684 112.97/113.06 c learnt constraints deletion: 1350 -> 684 114.37/114.48 c learnt constraints deletion: 1348 -> 681 115.97/116.04 c learnt constraints deletion: 1355 -> 687 117.47/117.57 c learnt constraints deletion: 1350 -> 683 119.06/119.14 c learnt constraints deletion: 1354 -> 686 120.57/120.66 c learnt constraints deletion: 1349 -> 681 121.97/122.07 c learnt constraints deletion: 1350 -> 685 123.57/123.63 c learnt constraints deletion: 1352 -> 682 125.07/125.19 c learnt constraints deletion: 1357 -> 688 126.67/126.73 c learnt constraints deletion: 1350 -> 682 128.16/128.23 c learnt constraints deletion: 1350 -> 685 129.57/129.62 c learnt constraints deletion: 1350 -> 677 130.96/131.00 c learnt constraints deletion: 1344 -> 674 132.27/132.32 c learnt constraints deletion: 1350 -> 679 133.77/133.87 c learnt constraints deletion: 1353 -> 686 135.17/135.23 c learnt constraints deletion: 1352 -> 683 136.67/136.77 c learnt constraints deletion: 1439 -> 720 138.27/138.32 c learnt constraints deletion: 1458 -> 733 139.87/139.96 c learnt constraints deletion: 1459 -> 731 141.56/141.63 c learnt constraints deletion: 1462 -> 734 143.07/143.19 c learnt constraints deletion: 1464 -> 734 144.66/144.76 c learnt constraints deletion: 1460 -> 732 146.36/146.46 c learnt constraints deletion: 1460 -> 733 148.07/148.17 c learnt constraints deletion: 1461 -> 734 149.66/149.79 c learnt constraints deletion: 1462 -> 734 151.17/151.29 c learnt constraints deletion: 1461 -> 734 152.77/152.89 c learnt constraints deletion: 1461 -> 736 154.36/154.45 c learnt constraints deletion: 1457 -> 733 155.97/156.05 c learnt constraints deletion: 1467 -> 741 157.67/157.77 c learnt constraints deletion: 1462 -> 736 159.56/159.63 c learnt constraints deletion: 1468 -> 740 161.46/161.50 c learnt constraints deletion: 1462 -> 733 162.96/163.05 c learnt constraints deletion: 1463 -> 734 164.56/164.65 c learnt constraints deletion: 1468 -> 741 165.96/166.07 c learnt constraints deletion: 1466 -> 738 167.56/167.69 c learnt constraints deletion: 1460 -> 732 169.16/169.30 c learnt constraints deletion: 1463 -> 737 170.86/170.95 c learnt constraints deletion: 1466 -> 741 172.46/172.60 c learnt constraints deletion: 1460 -> 734 174.26/174.31 c learnt constraints deletion: 1464 -> 739 175.87/175.91 c learnt constraints deletion: 1463 -> 739 177.16/177.23 c learnt constraints deletion: 1468 -> 745 178.56/178.69 c learnt constraints deletion: 1462 -> 736 180.27/180.35 c learnt constraints deletion: 1465 -> 740 181.96/182.03 c learnt constraints deletion: 1469 -> 745 183.56/183.68 c learnt constraints deletion: 1464 -> 738 185.26/185.35 c learnt constraints deletion: 1465 -> 741 186.96/187.07 c learnt constraints deletion: 1464 -> 741 188.66/188.74 c learnt constraints deletion: 1471 -> 747 190.27/190.37 c learnt constraints deletion: 1460 -> 732 192.05/192.13 c learnt constraints deletion: 1466 -> 735 193.56/193.66 c learnt constraints deletion: 1463 -> 737 195.16/195.26 c learnt constraints deletion: 1463 -> 734 196.76/196.89 c learnt constraints deletion: 1466 -> 740 198.45/198.55 c learnt constraints deletion: 1460 -> 734 200.26/200.35 c learnt constraints deletion: 1466 -> 737 202.16/202.30 c learnt constraints deletion: 1586 -> 797 204.15/204.24 c learnt constraints deletion: 1586 -> 799 206.05/206.11 c learnt constraints deletion: 1587 -> 800 207.96/208.09 c learnt constraints deletion: 1586 -> 795 209.96/210.01 c learnt constraints deletion: 1584 -> 795 211.75/211.84 c learnt constraints deletion: 1582 -> 792 213.56/213.60 c learnt constraints deletion: 1588 -> 797 215.35/215.46 c learnt constraints deletion: 1584 -> 796 217.15/217.27 c learnt constraints deletion: 1590 -> 797 219.06/219.13 c learnt constraints deletion: 1591 -> 802 220.85/220.92 c learnt constraints deletion: 1581 -> 795 222.65/222.75 c learnt constraints deletion: 1585 -> 796 224.65/224.75 c learnt constraints deletion: 1588 -> 801 226.56/226.62 c learnt constraints deletion: 1594 -> 802 228.35/228.41 c learnt constraints deletion: 1585 -> 796 229.95/230.06 c learnt constraints deletion: 1590 -> 799 231.35/231.47 c learnt constraints deletion: 1587 -> 799 233.15/233.21 c learnt constraints deletion: 1586 -> 798 234.95/235.05 c learnt constraints deletion: 1590 -> 800 236.95/237.01 c learnt constraints deletion: 1588 -> 799 238.75/238.89 c learnt constraints deletion: 1592 -> 802 240.65/240.80 c learnt constraints deletion: 1590 -> 798 242.55/242.69 c learnt constraints deletion: 1584 -> 795 244.25/244.34 c learnt constraints deletion: 1586 -> 797 246.05/246.17 c learnt constraints deletion: 1590 -> 800 247.85/247.98 c learnt constraints deletion: 1592 -> 803 249.55/249.63 c learnt constraints deletion: 1589 -> 801 251.54/251.61 c learnt constraints deletion: 1581 -> 794 253.25/253.38 c learnt constraints deletion: 1583 -> 795 255.06/255.20 c learnt constraints deletion: 1587 -> 797 256.65/256.79 c learnt constraints deletion: 1589 -> 800 258.25/258.35 c learnt constraints deletion: 1589 -> 802 259.94/260.06 c learnt constraints deletion: 1585 -> 797 261.85/261.94 c learnt constraints deletion: 1590 -> 800 263.74/263.86 c learnt constraints deletion: 1586 -> 798 265.34/265.41 c learnt constraints deletion: 1581 -> 794 267.05/267.16 c learnt constraints deletion: 1589 -> 799 268.75/268.87 c learnt constraints deletion: 1585 -> 797 270.65/270.71 c learnt constraints deletion: 1586 -> 799 272.54/272.69 c learnt constraints deletion: 1587 -> 799 274.44/274.57 c learnt constraints deletion: 1591 -> 802 276.24/276.34 c learnt constraints deletion: 1587 -> 797 278.14/278.29 c learnt constraints deletion: 1586 -> 798 280.14/280.20 c learnt constraints deletion: 1587 -> 799 282.04/282.10 c learnt constraints deletion: 1588 -> 800 283.94/284.02 c learnt constraints deletion: 1586 -> 797 285.95/286.05 c learnt constraints deletion: 1587 -> 800 287.94/288.06 c learnt constraints deletion: 1586 -> 799 290.04/290.13 c learnt constraints deletion: 1591 -> 804 291.94/292.07 c learnt constraints deletion: 1584 -> 792 293.74/293.80 c learnt constraints deletion: 1585 -> 796 295.54/295.62 c learnt constraints deletion: 1590 -> 799 297.44/297.51 c learnt constraints deletion: 1582 -> 792 299.15/299.22 c learnt constraints deletion: 1586 -> 798 300.84/300.93 c learnt constraints deletion: 1592 -> 804 302.74/302.89 c learnt constraints deletion: 1724 -> 866 304.74/304.87 c learnt constraints deletion: 1718 -> 859 306.54/306.63 c learnt constraints deletion: 1714 -> 858 308.34/308.49 c learnt constraints deletion: 1722 -> 862 310.34/310.40 c learnt constraints deletion: 1720 -> 862 312.04/312.19 c learnt constraints deletion: 1721 -> 862 313.94/314.07 c learnt constraints deletion: 1725 -> 866 315.94/316.03 c learnt constraints deletion: 1723 -> 868 317.84/317.93 c learnt constraints deletion: 1722 -> 863 319.73/319.81 c learnt constraints deletion: 1716 -> 862 321.73/321.83 c learnt constraints deletion: 1717 -> 862 323.83/323.91 c learnt constraints deletion: 1722 -> 867 325.73/325.89 c learnt constraints deletion: 1717 -> 861 327.74/327.87 c learnt constraints deletion: 1725 -> 867 329.63/329.72 c learnt constraints deletion: 1720 -> 860 331.34/331.44 c learnt constraints deletion: 1719 -> 861 333.14/333.23 c learnt constraints deletion: 1719 -> 863 335.13/335.26 c learnt constraints deletion: 1720 -> 865 337.23/337.32 c learnt constraints deletion: 1719 -> 862 339.33/339.41 c learnt constraints deletion: 1723 -> 866 341.33/341.48 c learnt constraints deletion: 1721 -> 865 343.23/343.34 c learnt constraints deletion: 1716 -> 862 345.13/345.26 c learnt constraints deletion: 1722 -> 865 347.03/347.17 c learnt constraints deletion: 1723 -> 868 348.93/349.04 c learnt constraints deletion: 1719 -> 862 350.84/350.91 c learnt constraints deletion: 1724 -> 867 352.53/352.67 c learnt constraints deletion: 1729 -> 870 354.23/354.34 c learnt constraints deletion: 1717 -> 864 356.03/356.14 c learnt constraints deletion: 1723 -> 866 357.63/357.76 c learnt constraints deletion: 1719 -> 864 359.54/359.63 c learnt constraints deletion: 1728 -> 871 361.33/361.46 c learnt constraints deletion: 1726 -> 870 363.23/363.39 c learnt constraints deletion: 1719 -> 864 365.23/365.38 c learnt constraints deletion: 1723 -> 865 367.24/367.39 c learnt constraints deletion: 1724 -> 868 369.23/369.32 c learnt constraints deletion: 1720 -> 862 371.13/371.27 c learnt constraints deletion: 1722 -> 866 373.12/373.26 c learnt constraints deletion: 1715 -> 861 375.12/375.29 c learnt constraints deletion: 1725 -> 868 377.02/377.18 c learnt constraints deletion: 1718 -> 863 378.93/379.04 c learnt constraints deletion: 1723 -> 867 380.83/380.99 c learnt constraints deletion: 1721 -> 864 382.63/382.75 c learnt constraints deletion: 1725 -> 867 384.53/384.61 c learnt constraints deletion: 1724 -> 869 386.43/386.50 c learnt constraints deletion: 1724 -> 867 388.32/388.45 c learnt constraints deletion: 1731 -> 873 390.22/390.37 c learnt constraints deletion: 1719 -> 862 392.12/392.28 c learnt constraints deletion: 1723 -> 866 394.03/394.10 c learnt constraints deletion: 1721 -> 867 395.83/395.97 c learnt constraints deletion: 1721 -> 865 397.62/397.76 c learnt constraints deletion: 1720 -> 865 399.72/399.86 c learnt constraints deletion: 1726 -> 870 401.83/401.97 c learnt constraints deletion: 1722 -> 866 403.53/403.70 c learnt constraints deletion: 1722 -> 867 405.32/405.47 c learnt constraints deletion: 1722 -> 866 407.42/407.50 c learnt constraints deletion: 1722 -> 865 409.22/409.39 c learnt constraints deletion: 1723 -> 867 411.22/411.32 c learnt constraints deletion: 1716 -> 862 413.12/413.24 c learnt constraints deletion: 1725 -> 869 415.12/415.28 c learnt constraints deletion: 1724 -> 868 417.22/417.34 c learnt constraints deletion: 1719 -> 864 419.22/419.34 c learnt constraints deletion: 1725 -> 870 421.23/421.33 c learnt constraints deletion: 1731 -> 873 422.92/423.04 c learnt constraints deletion: 1725 -> 870 424.82/424.96 c learnt constraints deletion: 1728 -> 871 426.73/426.88 c learnt constraints deletion: 1729 -> 874 428.72/428.81 c learnt constraints deletion: 1725 -> 870 430.51/430.67 c learnt constraints deletion: 1724 -> 870 432.41/432.53 c learnt constraints deletion: 1723 -> 871 434.32/434.50 c learnt constraints deletion: 1728 -> 874 436.32/436.46 c learnt constraints deletion: 1725 -> 872 438.41/438.54 c learnt constraints deletion: 1728 -> 874 440.41/440.55 c learnt constraints deletion: 1728 -> 874 442.42/442.56 c learnt constraints deletion: 1724 -> 872 444.42/444.51 c learnt constraints deletion: 1717 -> 860 446.11/446.20 c learnt constraints deletion: 1719 -> 863 448.11/448.20 c learnt constraints deletion: 1865 -> 936 450.01/450.10 c learnt constraints deletion: 1873 -> 944 451.92/452.03 c learnt constraints deletion: 1875 -> 944 453.82/453.93 c learnt constraints deletion: 1872 -> 938 455.52/455.65 c learnt constraints deletion: 1871 -> 938 457.31/457.46 c learnt constraints deletion: 1876 -> 942 459.11/459.27 c learnt constraints deletion: 1867 -> 938 461.21/461.30 c learnt constraints deletion: 1863 -> 934 463.31/463.41 c learnt constraints deletion: 1869 -> 938 465.31/465.45 c learnt constraints deletion: 1869 -> 940 467.42/467.52 c learnt constraints deletion: 1870 -> 941 469.52/469.63 c learnt constraints deletion: 1869 -> 939 471.62/471.74 c learnt constraints deletion: 1876 -> 941 473.62/473.79 c learnt constraints deletion: 1874 -> 941 475.82/475.91 c learnt constraints deletion: 1874 -> 942 477.91/478.02 c learnt constraints deletion: 1868 -> 936 480.01/480.18 c learnt constraints deletion: 1872 -> 940 482.11/482.24 c learnt constraints deletion: 1873 -> 941 484.21/484.31 c learnt constraints deletion: 1868 -> 937 486.31/486.43 c learnt constraints deletion: 1875 -> 945 488.41/488.58 c learnt constraints deletion: 1873 -> 942 490.71/490.82 c learnt constraints deletion: 1876 -> 945 492.91/493.03 c learnt constraints deletion: 1869 -> 940 495.01/495.14 c learnt constraints deletion: 1874 -> 943 497.11/497.24 c learnt constraints deletion: 1878 -> 947 499.31/499.43 c learnt constraints deletion: 1866 -> 934 501.31/501.44 c learnt constraints deletion: 1870 -> 939 503.31/503.44 c learnt constraints deletion: 1872 -> 940 505.21/505.31 c learnt constraints deletion: 1872 -> 940 507.11/507.26 c learnt constraints deletion: 1868 -> 938 509.01/509.16 c learnt constraints deletion: 1871 -> 938 510.91/511.05 c learnt constraints deletion: 1871 -> 940 512.70/512.87 c learnt constraints deletion: 1868 -> 937 514.61/514.74 c learnt constraints deletion: 1864 -> 933 516.61/516.78 c learnt constraints deletion: 1872 -> 938 518.60/518.72 c learnt constraints deletion: 1875 -> 942 520.40/520.56 c learnt constraints deletion: 1869 -> 937 522.41/522.53 c learnt constraints deletion: 1864 -> 935 524.31/524.49 c learnt constraints deletion: 1877 -> 944 526.40/526.51 c learnt constraints deletion: 1870 -> 936 528.40/528.53 c learnt constraints deletion: 1871 -> 938 530.40/530.56 c learnt constraints deletion: 1866 -> 937 532.50/532.68 c learnt constraints deletion: 1874 -> 942 534.70/534.80 c learnt constraints deletion: 1871 -> 941 536.61/536.72 c learnt constraints deletion: 1871 -> 940 538.60/538.77 c learnt constraints deletion: 1868 -> 939 540.71/540.89 c learnt constraints deletion: 1870 -> 941 542.80/542.92 c learnt constraints deletion: 1870 -> 937 544.70/544.89 c learnt constraints deletion: 1873 -> 940 546.70/546.87 c learnt constraints deletion: 1868 -> 936 548.80/548.95 c learnt constraints deletion: 1869 -> 938 550.90/551.05 c learnt constraints deletion: 1874 -> 942 552.90/553.08 c learnt constraints deletion: 1874 -> 941 554.99/555.10 c learnt constraints deletion: 1874 -> 943 557.09/557.22 c learnt constraints deletion: 1875 -> 945 559.10/559.21 c learnt constraints deletion: 1866 -> 936 561.10/561.26 c learnt constraints deletion: 1868 -> 936 563.10/563.27 c learnt constraints deletion: 1870 -> 941 565.21/565.34 c learnt constraints deletion: 1873 -> 941 567.30/567.43 c learnt constraints deletion: 1876 -> 944 569.30/569.48 c learnt constraints deletion: 1872 -> 940 571.39/571.55 c learnt constraints deletion: 1872 -> 941 573.40/573.58 c learnt constraints deletion: 1874 -> 944 575.50/575.66 c learnt constraints deletion: 1871 -> 939 577.70/577.88 c learnt constraints deletion: 1876 -> 943 579.89/580.04 c learnt constraints deletion: 1872 -> 942 581.99/582.19 c learnt constraints deletion: 1869 -> 941 584.29/584.47 c learnt constraints deletion: 1877 -> 946 586.59/586.71 c learnt constraints deletion: 1871 -> 941 588.79/588.92 c learnt constraints deletion: 1875 -> 944 590.89/591.05 c learnt constraints deletion: 1879 -> 946 592.99/593.18 c learnt constraints deletion: 1873 -> 942 595.09/595.28 c learnt constraints deletion: 1875 -> 944 597.10/597.26 c learnt constraints deletion: 1874 -> 944 599.09/599.22 c learnt constraints deletion: 1876 -> 949 601.20/601.33 c learnt constraints deletion: 1877 -> 947 603.39/603.54 c learnt constraints deletion: 1879 -> 948 605.59/605.75 c learnt constraints deletion: 1875 -> 948 607.69/607.84 c learnt constraints deletion: 1871 -> 940 609.89/610.04 c learnt constraints deletion: 1867 -> 938 611.89/612.09 c learnt constraints deletion: 1875 -> 943 614.09/614.22 c learnt constraints deletion: 1875 -> 944 616.09/616.27 c learnt constraints deletion: 1873 -> 946 618.29/618.47 c learnt constraints deletion: 1874 -> 944 620.49/620.69 c learnt constraints deletion: 1876 -> 942 622.69/622.84 c learnt constraints deletion: 1873 -> 945 624.78/624.93 c learnt constraints deletion: 1876 -> 946 626.89/627.08 c learnt constraints deletion: 1875 -> 946 629.09/629.23 c learnt constraints deletion: 1875 -> 945 631.20/631.37 c learnt constraints deletion: 1873 -> 943 633.40/633.52 c learnt constraints deletion: 1875 -> 945 635.49/635.68 c learnt constraints deletion: 1875 -> 946 637.59/637.78 c learnt constraints deletion: 1876 -> 945 639.89/640.01 c learnt constraints deletion: 1872 -> 943 641.98/642.17 c learnt constraints deletion: 1877 -> 949 644.28/644.41 c learnt constraints deletion: 1882 -> 950 646.48/646.62 c learnt constraints deletion: 1881 -> 952 648.58/648.74 c learnt constraints deletion: 1876 -> 948 650.69/650.86 c learnt constraints deletion: 1870 -> 936 652.78/652.96 c learnt constraints deletion: 1871 -> 940 654.89/655.09 c learnt constraints deletion: 1866 -> 935 657.18/657.35 c learnt constraints deletion: 1870 -> 936 659.29/659.46 c learnt constraints deletion: 1869 -> 937 661.28/661.45 c learnt constraints deletion: 1871 -> 939 663.28/663.46 c learnt constraints deletion: 1870 -> 938 665.39/665.55 c learnt constraints deletion: 1869 -> 937 667.78/667.92 c learnt constraints deletion: 2037 -> 1024 669.98/670.19 c learnt constraints deletion: 2037 -> 1024 672.18/672.37 c learnt constraints deletion: 2037 -> 1020 674.38/674.54 c learnt constraints deletion: 2038 -> 1021 676.68/676.80 c learnt constraints deletion: 2040 -> 1023 678.98/679.19 c learnt constraints deletion: 2038 -> 1021 681.37/681.51 c learnt constraints deletion: 2036 -> 1020 683.58/683.76 c learnt constraints deletion: 2035 -> 1019 685.68/685.81 c learnt constraints deletion: 2021 -> 1012 687.98/688.14 c learnt constraints deletion: 2037 -> 1021 690.07/690.28 c learnt constraints deletion: 2034 -> 1021 692.37/692.59 c learnt constraints deletion: 2035 -> 1022 694.67/694.84 c learnt constraints deletion: 2043 -> 1027 697.08/697.24 c learnt constraints deletion: 2038 -> 1023 699.38/699.52 c learnt constraints deletion: 2038 -> 1023 701.97/702.16 c learnt constraints deletion: 2039 -> 1025 704.48/704.65 c learnt constraints deletion: 2035 -> 1022 706.98/707.16 c learnt constraints deletion: 2037 -> 1024 709.47/709.64 c learnt constraints deletion: 2035 -> 1022 712.17/712.34 c learnt constraints deletion: 2039 -> 1026 714.88/715.01 c learnt constraints deletion: 2039 -> 1025 717.37/717.53 c learnt constraints deletion: 2033 -> 1018 719.87/720.04 c learnt constraints deletion: 2033 -> 1019 722.27/722.44 c learnt constraints deletion: 2029 -> 1017 724.78/724.90 c learnt constraints deletion: 2032 -> 1017 727.18/727.35 c learnt constraints deletion: 2035 -> 1020 729.67/729.81 c learnt constraints deletion: 2037 -> 1024 732.07/732.26 c learnt constraints deletion: 2036 -> 1022 734.47/734.65 c learnt constraints deletion: 2031 -> 1018 736.88/737.02 c learnt constraints deletion: 2032 -> 1021 739.27/739.42 c learnt constraints deletion: 2034 -> 1020 741.47/741.69 c learnt constraints deletion: 2036 -> 1022 743.87/744.09 c learnt constraints deletion: 2039 -> 1024 746.27/746.49 c learnt constraints deletion: 2036 -> 1024 748.47/748.61 c learnt constraints deletion: 2036 -> 1022 750.67/750.82 c learnt constraints deletion: 2030 -> 1019 752.97/753.10 c learnt constraints deletion: 2034 -> 1020 755.16/755.34 c learnt constraints deletion: 2033 -> 1023 757.57/757.75 c learnt constraints deletion: 2034 -> 1022 759.87/760.07 c learnt constraints deletion: 2032 -> 1021 762.18/762.32 c learnt constraints deletion: 2035 -> 1025 764.57/764.71 c learnt constraints deletion: 2037 -> 1024 767.07/767.20 c learnt constraints deletion: 2036 -> 1024 769.46/769.63 c learnt constraints deletion: 2043 -> 1030 771.77/771.91 c learnt constraints deletion: 2022 -> 1012 774.07/774.29 c learnt constraints deletion: 2036 -> 1021 776.26/776.46 c learnt constraints deletion: 2029 -> 1017 778.68/778.88 c learnt constraints deletion: 2038 -> 1023 780.87/781.09 c learnt constraints deletion: 2033 -> 1019 783.07/783.21 c learnt constraints deletion: 2033 -> 1019 785.17/785.31 c learnt constraints deletion: 2033 -> 1021 787.27/787.40 c learnt constraints deletion: 2035 -> 1022 789.46/789.68 c learnt constraints deletion: 2040 -> 1025 791.77/791.94 c learnt constraints deletion: 2040 -> 1025 793.97/794.14 c learnt constraints deletion: 2039 -> 1025 796.36/796.51 c learnt constraints deletion: 2035 -> 1022 798.66/798.85 c learnt constraints deletion: 2039 -> 1025 800.96/801.18 c learnt constraints deletion: 2040 -> 1023 803.36/803.50 c learnt constraints deletion: 2033 -> 1021 805.66/805.87 c learnt constraints deletion: 2039 -> 1024 808.06/808.25 c learnt constraints deletion: 2037 -> 1024 810.46/810.64 c learnt constraints deletion: 2032 -> 1017 812.76/812.93 c learnt constraints deletion: 2033 -> 1021 815.06/815.24 c learnt constraints deletion: 2032 -> 1019 817.36/817.55 c learnt constraints deletion: 2040 -> 1025 819.86/820.01 c learnt constraints deletion: 2034 -> 1021 822.16/822.33 c learnt constraints deletion: 2033 -> 1021 824.45/824.66 c learnt constraints deletion: 2038 -> 1025 826.75/826.94 c learnt constraints deletion: 2033 -> 1023 829.16/829.31 c learnt constraints deletion: 2040 -> 1026 831.75/831.93 c learnt constraints deletion: 2044 -> 1029 834.15/834.36 c learnt constraints deletion: 2038 -> 1023 836.66/836.89 c learnt constraints deletion: 2033 -> 1020 839.16/839.40 c learnt constraints deletion: 2035 -> 1023 841.66/841.81 c learnt constraints deletion: 2040 -> 1025 844.15/844.30 c learnt constraints deletion: 2038 -> 1024 846.65/846.82 c learnt constraints deletion: 2037 -> 1024 849.15/849.38 c learnt constraints deletion: 2040 -> 1026 851.75/851.94 c learnt constraints deletion: 2038 -> 1024 854.46/854.61 c learnt constraints deletion: 2033 -> 1022 856.86/857.02 c learnt constraints deletion: 2038 -> 1026 858.96/859.19 c learnt constraints deletion: 2035 -> 1020 861.16/861.35 c learnt constraints deletion: 2033 -> 1018 863.05/863.27 c learnt constraints deletion: 2030 -> 1017 865.05/865.23 c learnt constraints deletion: 2038 -> 1022 867.05/867.29 c learnt constraints deletion: 2032 -> 1020 869.15/869.33 c learnt constraints deletion: 2035 -> 1020 871.45/871.65 c learnt constraints deletion: 2036 -> 1023 873.85/874.03 c learnt constraints deletion: 2040 -> 1025 876.05/876.25 c learnt constraints deletion: 2032 -> 1020 878.35/878.54 c learnt constraints deletion: 2038 -> 1024 880.65/880.84 c learnt constraints deletion: 2038 -> 1023 883.06/883.22 c learnt constraints deletion: 2039 -> 1025 885.25/885.43 c learnt constraints deletion: 2036 -> 1022 887.55/887.75 c learnt constraints deletion: 2035 -> 1021 889.95/890.11 c learnt constraints deletion: 2031 -> 1020 892.34/892.54 c learnt constraints deletion: 2032 -> 1019 894.84/895.00 c learnt constraints deletion: 2033 -> 1021 897.05/897.20 c learnt constraints deletion: 2038 -> 1022 899.24/899.47 c learnt constraints deletion: 2032 -> 1020 901.64/901.87 c learnt constraints deletion: 2044 -> 1028 904.05/904.21 c learnt constraints deletion: 2039 -> 1027 906.44/906.67 c learnt constraints deletion: 2041 -> 1027 908.74/908.95 c learnt constraints deletion: 2038 -> 1025 911.05/911.29 c learnt constraints deletion: 2041 -> 1028 913.55/913.74 c learnt constraints deletion: 2041 -> 1026 916.05/916.23 c learnt constraints deletion: 2042 -> 1027 918.54/918.72 c learnt constraints deletion: 2039 -> 1026 921.14/921.30 c learnt constraints deletion: 2036 -> 1026 923.64/923.86 c learnt constraints deletion: 2041 -> 1028 926.14/926.38 c learnt constraints deletion: 2044 -> 1031 928.84/929.04 c learnt constraints deletion: 2044 -> 1031 931.24/931.47 c learnt constraints deletion: 2040 -> 1024 933.83/934.09 c learnt constraints deletion: 2037 -> 1024 936.44/936.61 c learnt constraints deletion: 2038 -> 1026 938.94/939.13 c learnt constraints deletion: 2042 -> 1029 941.34/941.55 c learnt constraints deletion: 2040 -> 1026 943.65/943.83 c learnt constraints deletion: 2036 -> 1023 946.04/946.21 c learnt constraints deletion: 2030 -> 1021 948.44/948.68 c learnt constraints deletion: 2040 -> 1027 951.04/951.21 c learnt constraints deletion: 2038 -> 1023 953.24/953.49 c learnt constraints deletion: 2039 -> 1025 955.83/956.05 c learnt constraints deletion: 2033 -> 1022 958.14/958.38 c learnt constraints deletion: 2042 -> 1027 960.33/960.59 c learnt constraints deletion: 2039 -> 1027 962.84/963.08 c learnt constraints deletion: 2041 -> 1027 965.44/965.62 c learnt constraints deletion: 2040 -> 1027 967.94/968.10 c learnt constraints deletion: 2040 -> 1028 970.24/970.44 c learnt constraints deletion: 2039 -> 1028 972.74/972.92 c learnt constraints deletion: 2036 -> 1026 975.14/975.39 c learnt constraints deletion: 2038 -> 1029 977.74/977.93 c learnt constraints deletion: 2039 -> 1030 980.43/980.67 c learnt constraints deletion: 2048 -> 1034 983.03/983.26 c learnt constraints deletion: 2032 -> 1018 985.34/985.58 c learnt constraints deletion: 2032 -> 1021 987.83/988.05 c learnt constraints deletion: 2040 -> 1024 990.23/990.45 c learnt constraints deletion: 2036 -> 1023 992.73/992.94 c learnt constraints deletion: 2032 -> 1020 995.03/995.28 c learnt constraints deletion: 2039 -> 1025 997.44/997.63 c learnt constraints deletion: 2038 -> 1025 999.83/1000.02 c learnt constraints deletion: 2035 -> 1021 1002.32/1002.57 c learnt constraints deletion: 2033 -> 1021 1004.83/1005.06 c learnt constraints deletion: 2037 -> 1025 1007.33/1007.55 c learnt constraints deletion: 2037 -> 1023 1009.83/1010.00 c learnt constraints deletion: 2036 -> 1025 1012.53/1012.77 c learnt constraints deletion: 2217 -> 1116 1015.33/1015.58 c learnt constraints deletion: 2213 -> 1111 1018.02/1018.22 c learnt constraints deletion: 2218 -> 1114 1020.72/1020.90 c learnt constraints deletion: 2211 -> 1107 1023.33/1023.50 c learnt constraints deletion: 2215 -> 1109 1025.73/1025.98 c learnt constraints deletion: 2215 -> 1110 1028.33/1028.55 c learnt constraints deletion: 2212 -> 1110 1030.72/1030.97 c learnt constraints deletion: 2208 -> 1106 1033.23/1033.49 c learnt constraints deletion: 2214 -> 1108 1035.62/1035.82 c learnt constraints deletion: 2216 -> 1110 1038.02/1038.24 c learnt constraints deletion: 2213 -> 1109 1040.52/1040.77 c learnt constraints deletion: 2217 -> 1112 1043.12/1043.31 c learnt constraints deletion: 2216 -> 1114 1045.72/1045.97 c learnt constraints deletion: 2214 -> 1111 1048.33/1048.58 c learnt constraints deletion: 2214 -> 1112 1050.92/1051.11 c learnt constraints deletion: 2216 -> 1112 1053.12/1053.37 c learnt constraints deletion: 2208 -> 1107 1055.42/1055.66 c learnt constraints deletion: 2218 -> 1113 1058.03/1058.24 c learnt constraints deletion: 2214 -> 1112 1060.82/1061.00 c learnt constraints deletion: 2215 -> 1112 1063.43/1063.67 c learnt constraints deletion: 2215 -> 1110 1066.21/1066.41 c learnt constraints deletion: 2218 -> 1113 1068.93/1069.17 c learnt constraints deletion: 2215 -> 1113 1071.62/1071.87 c learnt constraints deletion: 2216 -> 1112 1074.11/1074.33 c learnt constraints deletion: 2219 -> 1115 1076.62/1076.82 c learnt constraints deletion: 2218 -> 1114 1079.31/1079.51 c learnt constraints deletion: 2215 -> 1114 1082.12/1082.32 c learnt constraints deletion: 2218 -> 1115 1085.02/1085.22 c learnt constraints deletion: 2225 -> 1122 1087.82/1088.01 c learnt constraints deletion: 2213 -> 1109 1090.32/1090.56 c learnt constraints deletion: 2216 -> 1112 1093.01/1093.26 c learnt constraints deletion: 2212 -> 1110 1095.71/1096.00 c learnt constraints deletion: 2218 -> 1115 1098.62/1098.87 c learnt constraints deletion: 2218 -> 1112 1101.21/1101.49 c learnt constraints deletion: 2217 -> 1113 1103.81/1104.08 c learnt constraints deletion: 2217 -> 1113 1106.61/1106.88 c learnt constraints deletion: 2218 -> 1113 1109.21/1109.44 c learnt constraints deletion: 2212 -> 1111 1111.82/1112.09 c learnt constraints deletion: 2220 -> 1117 1114.51/1114.73 c learnt constraints deletion: 2218 -> 1115 1117.21/1117.45 c learnt constraints deletion: 2215 -> 1114 1120.01/1120.23 c learnt constraints deletion: 2221 -> 1118 1122.72/1122.96 c learnt constraints deletion: 2210 -> 1106 1125.51/1125.74 c learnt constraints deletion: 2221 -> 1115 1128.21/1128.41 c learnt constraints deletion: 2218 -> 1111 1130.41/1130.68 c learnt constraints deletion: 2214 -> 1109 1132.71/1132.96 c learnt constraints deletion: 2216 -> 1112 1135.02/1135.22 c learnt constraints deletion: 2213 -> 1111 1137.41/1137.66 c learnt constraints deletion: 2212 -> 1109 1140.11/1140.32 c learnt constraints deletion: 2215 -> 1113 1142.61/1142.87 c learnt constraints deletion: 2221 -> 1116 1145.31/1145.56 c learnt constraints deletion: 2216 -> 1114 1147.91/1148.10 c learnt constraints deletion: 2214 -> 1110 1150.31/1150.52 c learnt constraints deletion: 2207 -> 1107 1152.81/1153.00 c learnt constraints deletion: 2212 -> 1108 1155.30/1155.55 c learnt constraints deletion: 2212 -> 1109 1157.60/1157.84 c learnt constraints deletion: 2220 -> 1113 1160.11/1160.31 c learnt constraints deletion: 2219 -> 1114 1162.52/1162.75 c learnt constraints deletion: 2218 -> 1114 1165.00/1165.28 c learnt constraints deletion: 2220 -> 1116 1167.60/1167.85 c learnt constraints deletion: 2210 -> 1108 1170.00/1170.24 c learnt constraints deletion: 2218 -> 1114 1172.31/1172.58 c learnt constraints deletion: 2215 -> 1113 1175.01/1175.20 c learnt constraints deletion: 2217 -> 1114 1177.40/1177.62 c learnt constraints deletion: 2215 -> 1115 1180.01/1180.28 c learnt constraints deletion: 2218 -> 1113 1182.40/1182.64 c learnt constraints deletion: 2219 -> 1115 1185.00/1185.22 c learnt constraints deletion: 2218 -> 1114 1187.50/1187.74 c learnt constraints deletion: 2220 -> 1118 1190.00/1190.26 c learnt constraints deletion: 2216 -> 1112 1192.80/1193.07 c learnt constraints deletion: 2214 -> 1113 1195.50/1195.72 c learnt constraints deletion: 2215 -> 1114 1198.30/1198.50 c learnt constraints deletion: 2219 -> 1114 1200.80/1201.06 c learnt constraints deletion: 2224 -> 1119 1203.60/1203.82 c learnt constraints deletion: 2214 -> 1113 1206.50/1206.71 c learnt constraints deletion: 2216 -> 1113 1209.10/1209.32 c learnt constraints deletion: 2217 -> 1116 1211.79/1212.10 c learnt constraints deletion: 2217 -> 1117 1214.49/1214.70 c learnt constraints deletion: 2217 -> 1114 1217.20/1217.40 c learnt constraints deletion: 2222 -> 1117 1219.60/1219.89 c learnt constraints deletion: 2215 -> 1109 1222.09/1222.35 c learnt constraints deletion: 2217 -> 1110 1224.59/1224.82 c learnt constraints deletion: 2218 -> 1111 1227.09/1227.31 c learnt constraints deletion: 2211 -> 1108 1229.50/1229.79 c learnt constraints deletion: 2213 -> 1111 1232.00/1232.22 c learnt constraints deletion: 2208 -> 1106 1234.09/1234.39 c learnt constraints deletion: 2219 -> 1114 1236.49/1236.77 c learnt constraints deletion: 2216 -> 1110 1239.09/1239.32 c learnt constraints deletion: 2224 -> 1117 1241.70/1241.96 c learnt constraints deletion: 2220 -> 1115 1244.39/1244.67 c learnt constraints deletion: 2206 -> 1104 1246.99/1247.25 c learnt constraints deletion: 2212 -> 1108 1249.60/1249.81 c learnt constraints deletion: 2211 -> 1109 1252.09/1252.32 c learnt constraints deletion: 2220 -> 1113 1254.59/1254.81 c learnt constraints deletion: 2211 -> 1110 1257.00/1257.28 c learnt constraints deletion: 2217 -> 1111 1259.59/1259.83 c learnt constraints deletion: 2214 -> 1111 1262.09/1262.39 c learnt constraints deletion: 2220 -> 1115 1264.59/1264.84 c learnt constraints deletion: 2211 -> 1109 1267.19/1267.49 c learnt constraints deletion: 2217 -> 1114 1269.79/1270.08 c learnt constraints deletion: 2217 -> 1113 1272.39/1272.68 c learnt constraints deletion: 2218 -> 1114 1274.88/1275.13 c learnt constraints deletion: 2218 -> 1112 1277.38/1277.64 c learnt constraints deletion: 2214 -> 1110 1279.79/1280.05 c learnt constraints deletion: 2216 -> 1112 1282.29/1282.60 c learnt constraints deletion: 2210 -> 1107 1284.99/1285.27 c learnt constraints deletion: 2216 -> 1112 1287.58/1287.86 c learnt constraints deletion: 2215 -> 1113 1290.18/1290.42 c learnt constraints deletion: 2213 -> 1111 1292.99/1293.20 c learnt constraints deletion: 2213 -> 1111 1295.79/1296.02 c learnt constraints deletion: 2222 -> 1117 1298.48/1298.79 c learnt constraints deletion: 2215 -> 1114 1301.18/1301.40 c learnt constraints deletion: 2218 -> 1113 1303.59/1303.81 c learnt constraints deletion: 2220 -> 1115 1305.78/1306.07 c learnt constraints deletion: 2215 -> 1112 1308.08/1308.38 c learnt constraints deletion: 2216 -> 1112 1310.58/1310.83 c learnt constraints deletion: 2224 -> 1118 1313.09/1313.30 c learnt constraints deletion: 2212 -> 1112 1315.58/1315.81 c learnt constraints deletion: 2218 -> 1112 1318.08/1318.38 c learnt constraints deletion: 2219 -> 1114 1320.68/1321.00 c learnt constraints deletion: 2215 -> 1114 1323.18/1323.44 c learnt constraints deletion: 2220 -> 1115 1325.78/1326.06 c learnt constraints deletion: 2216 -> 1114 1328.38/1328.60 c learnt constraints deletion: 2219 -> 1115 1331.08/1331.30 c learnt constraints deletion: 2216 -> 1115 1333.58/1333.84 c learnt constraints deletion: 2216 -> 1115 1336.28/1336.53 c learnt constraints deletion: 2225 -> 1121 1338.88/1339.13 c learnt constraints deletion: 2213 -> 1110 1341.17/1341.47 c learnt constraints deletion: 2209 -> 1109 1343.88/1344.14 c learnt constraints deletion: 2209 -> 1110 1346.58/1346.86 c learnt constraints deletion: 2220 -> 1116 1349.28/1349.57 c learnt constraints deletion: 2217 -> 1112 1351.77/1352.08 c learnt constraints deletion: 2215 -> 1113 1354.57/1354.82 c learnt constraints deletion: 2219 -> 1115 1357.18/1357.41 c learnt constraints deletion: 2220 -> 1116 1359.77/1360.08 c learnt constraints deletion: 2211 -> 1110 1362.37/1362.61 c learnt constraints deletion: 2216 -> 1113 1365.08/1365.38 c learnt constraints deletion: 2215 -> 1113 1367.78/1368.05 c learnt constraints deletion: 2220 -> 1116 1370.47/1370.73 c learnt constraints deletion: 2214 -> 1113 1373.17/1373.44 c learnt constraints deletion: 2215 -> 1109 1375.67/1375.97 c learnt constraints deletion: 2217 -> 1112 1378.17/1378.46 c learnt constraints deletion: 2215 -> 1110 1380.97/1381.25 c learnt constraints deletion: 2216 -> 1112 1383.98/1384.28 c learnt constraints deletion: 2215 -> 1110 1386.67/1386.97 c learnt constraints deletion: 2214 -> 1110 1389.47/1389.76 c learnt constraints deletion: 2213 -> 1112 1392.17/1392.49 c learnt constraints deletion: 2214 -> 1112 1395.07/1395.37 c learnt constraints deletion: 2221 -> 1118 1397.67/1397.97 c learnt constraints deletion: 2217 -> 1113 1400.37/1400.62 c learnt constraints deletion: 2213 -> 1112 1402.87/1403.17 c learnt constraints deletion: 2216 -> 1114 1405.47/1405.73 c learnt constraints deletion: 2214 -> 1110 1408.26/1408.51 c learnt constraints deletion: 2213 -> 1112 1410.98/1411.25 c learnt constraints deletion: 2221 -> 1116 1413.37/1413.69 c learnt constraints deletion: 2217 -> 1113 1415.87/1416.18 c learnt constraints deletion: 2216 -> 1112 1418.47/1418.76 c learnt constraints deletion: 2215 -> 1113 1421.07/1421.32 c learnt constraints deletion: 2215 -> 1111 1423.66/1423.93 c learnt constraints deletion: 2215 -> 1112 1426.16/1426.44 c learnt constraints deletion: 2219 -> 1115 1428.67/1428.95 c learnt constraints deletion: 2216 -> 1116 1431.26/1431.50 c learnt constraints deletion: 2215 -> 1113 1433.86/1434.12 c learnt constraints deletion: 2211 -> 1111 1436.46/1436.75 c learnt constraints deletion: 2215 -> 1114 1439.16/1439.40 c learnt constraints deletion: 2219 -> 1115 1441.66/1441.96 c learnt constraints deletion: 2218 -> 1116 1444.16/1444.45 c learnt constraints deletion: 2216 -> 1115 1446.66/1446.97 c learnt constraints deletion: 2220 -> 1116 1449.26/1449.53 c learnt constraints deletion: 2224 -> 1119 1451.86/1452.10 c learnt constraints deletion: 2214 -> 1112 1454.36/1454.69 c learnt constraints deletion: 2219 -> 1116 1456.96/1457.22 c learnt constraints deletion: 2218 -> 1116 1459.86/1460.10 c learnt constraints deletion: 2216 -> 1112 1462.36/1462.61 c learnt constraints deletion: 2217 -> 1115 1464.96/1465.23 c learnt constraints deletion: 2220 -> 1115 1467.56/1467.87 c learnt constraints deletion: 2221 -> 1116 1470.06/1470.32 c learnt constraints deletion: 2220 -> 1117 1472.75/1473.05 c learnt constraints deletion: 2220 -> 1118 1475.46/1475.73 c learnt constraints deletion: 2221 -> 1115 1477.95/1478.22 c learnt constraints deletion: 2222 -> 1116 1480.36/1480.61 c learnt constraints deletion: 2221 -> 1117 1482.76/1483.05 c learnt constraints deletion: 2215 -> 1116 1485.36/1485.63 c learnt constraints deletion: 2220 -> 1116 1488.06/1488.31 c learnt constraints deletion: 2221 -> 1118 1490.55/1490.83 c learnt constraints deletion: 2217 -> 1116 1493.15/1493.40 c learnt constraints deletion: 2224 -> 1120 1495.85/1496.12 c learnt constraints deletion: 2221 -> 1119 1498.55/1498.83 c learnt constraints deletion: 2229 -> 1120 1501.16/1501.41 c learnt constraints deletion: 2216 -> 1113 1503.75/1504.04 c learnt constraints deletion: 2219 -> 1116 1506.35/1506.64 c learnt constraints deletion: 2218 -> 1116 1508.95/1509.26 c learnt constraints deletion: 2221 -> 1120 1511.45/1511.70 c learnt constraints deletion: 2221 -> 1114 1513.95/1514.26 c learnt constraints deletion: 2218 -> 1112 1516.55/1516.89 c learnt constraints deletion: 2214 -> 1110 1519.35/1519.69 c learnt constraints deletion: 2213 -> 1111 1522.05/1522.37 c learnt constraints deletion: 2219 -> 1112 1524.65/1524.97 c learnt constraints deletion: 2214 -> 1112 1527.56/1527.88 c learnt constraints deletion: 2214 -> 1111 1530.86/1531.15 c learnt constraints deletion: 2414 -> 1212 1533.74/1534.03 c learnt constraints deletion: 2409 -> 1208 1536.65/1536.98 c learnt constraints deletion: 2412 -> 1211 1539.65/1539.98 c learnt constraints deletion: 2415 -> 1212 1542.45/1542.73 c learnt constraints deletion: 2420 -> 1216 1545.05/1545.39 c learnt constraints deletion: 2409 -> 1206 1547.84/1548.13 c learnt constraints deletion: 2409 -> 1208 1550.75/1551.02 c learnt constraints deletion: 2414 -> 1210 1553.74/1554.07 c learnt constraints deletion: 2417 -> 1212 1556.65/1556.98 c learnt constraints deletion: 2414 -> 1210 1559.74/1560.05 c learnt constraints deletion: 2411 -> 1207 1562.75/1563.02 c learnt constraints deletion: 2411 -> 1208 1565.64/1565.92 c learnt constraints deletion: 2407 -> 1206 1568.54/1568.80 c learnt constraints deletion: 2408 -> 1208 1571.35/1571.60 c learnt constraints deletion: 2417 -> 1213 1574.15/1574.45 c learnt constraints deletion: 2417 -> 1214 1576.95/1577.28 c learnt constraints deletion: 2414 -> 1207 1579.84/1580.13 c learnt constraints deletion: 2409 -> 1206 1582.55/1582.88 c learnt constraints deletion: 2412 -> 1208 1585.34/1585.62 c learnt constraints deletion: 2406 -> 1204 1587.94/1588.23 c learnt constraints deletion: 2418 -> 1211 1590.64/1590.94 c learnt constraints deletion: 2418 -> 1212 1593.54/1593.87 c learnt constraints deletion: 2414 -> 1208 1596.34/1596.70 c learnt constraints deletion: 2417 -> 1211 1599.33/1599.60 c learnt constraints deletion: 2402 -> 1203 1602.04/1602.36 c learnt constraints deletion: 2417 -> 1213 1604.94/1605.29 c learnt constraints deletion: 2418 -> 1213 1607.74/1608.09 c learnt constraints deletion: 2415 -> 1212 1610.53/1610.86 c learnt constraints deletion: 2413 -> 1211 1613.53/1613.83 c learnt constraints deletion: 2413 -> 1211 1616.43/1616.70 c learnt constraints deletion: 2416 -> 1208 1619.23/1619.53 c learnt constraints deletion: 2413 -> 1209 1622.03/1622.39 c learnt constraints deletion: 2411 -> 1208 1624.93/1625.20 c learnt constraints deletion: 2409 -> 1206 1627.64/1627.98 c learnt constraints deletion: 2412 -> 1209 1630.64/1630.98 c learnt constraints deletion: 2408 -> 1206 1633.54/1633.83 c learnt constraints deletion: 2416 -> 1212 1636.54/1636.86 c learnt constraints deletion: 2415 -> 1209 1639.44/1639.75 c learnt constraints deletion: 2419 -> 1214 1642.24/1642.50 c learnt constraints deletion: 2419 -> 1213 1645.03/1645.32 c learnt constraints deletion: 2421 -> 1215 1647.93/1648.20 c learnt constraints deletion: 2418 -> 1212 1650.83/1651.14 c learnt constraints deletion: 2411 -> 1210 1653.63/1653.94 c learnt constraints deletion: 2413 -> 1210 1656.33/1656.70 c learnt constraints deletion: 2415 -> 1212 1659.23/1659.58 c learnt constraints deletion: 2416 -> 1213 1662.23/1662.57 c learnt constraints deletion: 2420 -> 1214 1665.13/1665.49 c learnt constraints deletion: 2413 -> 1212 1668.13/1668.41 c learnt constraints deletion: 2415 -> 1210 1670.93/1671.26 c learnt constraints deletion: 2418 -> 1213 1673.63/1673.93 c learnt constraints deletion: 2417 -> 1213 1676.33/1676.65 c learnt constraints deletion: 2419 -> 1215 1679.13/1679.45 c learnt constraints deletion: 2416 -> 1213 1681.82/1682.13 c learnt constraints deletion: 2413 -> 1209 1684.42/1684.76 c learnt constraints deletion: 2417 -> 1215 1687.13/1687.48 c learnt constraints deletion: 2415 -> 1212 1689.93/1690.22 c learnt constraints deletion: 2421 -> 1216 1692.72/1693.01 c learnt constraints deletion: 2412 -> 1209 1695.52/1695.89 c learnt constraints deletion: 2416 -> 1212 1698.42/1698.73 c learnt constraints deletion: 2421 -> 1217 1701.22/1701.57 c learnt constraints deletion: 2420 -> 1217 1704.02/1704.32 c learnt constraints deletion: 2414 -> 1211 1706.83/1707.11 c learnt constraints deletion: 2416 -> 1212 1709.62/1709.91 c learnt constraints deletion: 2415 -> 1213 1712.52/1712.83 c learnt constraints deletion: 2416 -> 1214 1715.52/1715.83 c learnt constraints deletion: 2419 -> 1215 1718.22/1718.59 c learnt constraints deletion: 2413 -> 1213 1721.02/1721.34 c learnt constraints deletion: 2416 -> 1214 1723.82/1724.14 c learnt constraints deletion: 2418 -> 1214 1726.63/1726.96 c learnt constraints deletion: 2412 -> 1212 1729.42/1729.76 c learnt constraints deletion: 2415 -> 1215 1732.52/1732.82 c learnt constraints deletion: 2422 -> 1217 1735.42/1735.76 c learnt constraints deletion: 2422 -> 1220 1738.42/1738.72 c learnt constraints deletion: 2419 -> 1219 1741.21/1741.59 c learnt constraints deletion: 2423 -> 1221 1743.91/1744.22 c learnt constraints deletion: 2408 -> 1205 1746.32/1746.70 c learnt constraints deletion: 2413 -> 1208 1748.82/1749.13 c learnt constraints deletion: 2415 -> 1210 1751.21/1751.56 c learnt constraints deletion: 2415 -> 1211 1753.71/1754.03 c learnt constraints deletion: 2416 -> 1209 1756.32/1756.64 c learnt constraints deletion: 2411 -> 1208 1758.71/1759.07 c learnt constraints deletion: 2410 -> 1208 1761.41/1761.74 c learnt constraints deletion: 2411 -> 1209 1764.12/1764.46 c learnt constraints deletion: 2413 -> 1210 1766.71/1767.09 c learnt constraints deletion: 2416 -> 1212 1769.52/1769.82 c learnt constraints deletion: 2414 -> 1212 1772.31/1772.61 c learnt constraints deletion: 2407 -> 1207 1774.91/1775.23 c learnt constraints deletion: 2410 -> 1208 1777.41/1777.75 c learnt constraints deletion: 2416 -> 1212 1780.21/1780.52 c learnt constraints deletion: 2410 -> 1207 1782.91/1783.23 c learnt constraints deletion: 2409 -> 1210 1785.41/1785.74 c learnt constraints deletion: 2408 -> 1207 1787.91/1788.27 c learnt constraints deletion: 2411 -> 1206 1790.30/1790.64 c learnt constraints deletion: 2411 -> 1207 1792.61/1792.98 c learnt constraints deletion: 2411 -> 1209 1795.10/1795.40 c learnt constraints deletion: 2411 -> 1208 1797.61/1797.97 c learnt constraints deletion: 2415 -> 1210
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-3706731-1338113047/watcher-3706731-1338113047 -o /tmp/evaluation-result-3706731-1338113047/solver-3706731-1338113047 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706731-1338113047.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 1.96 3/176 22060 /proc/meminfo: memFree=28005624/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=6208 CPUtime=0 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 277433213 6356992 728 33554432000 4194304 8973514 140735326550704 140733508139576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 1552 728 415 1167 0 333 0 [startup+0.041821 s] /proc/loadavg: 2.00 2.02 1.96 3/176 22060 /proc/meminfo: memFree=28005624/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=8256 CPUtime=0.03 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 1277 0 0 0 3 0 0 0 20 0 1 0 277433213 8454144 1198 33554432000 4194304 8973514 140735326550704 140733508139576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 2064 1198 424 1167 0 845 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8256 [startup+0.100273 s] /proc/loadavg: 2.00 2.02 1.96 3/176 22060 /proc/meminfo: memFree=28005624/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=9280 CPUtime=0.09 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 1461 0 0 0 9 0 0 0 20 0 1 0 277433213 9502720 1382 33554432000 4194304 8973514 140735326550704 140733508139576 4204398 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 2320 1382 456 1167 0 1101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9280 [startup+0.300205 s] /proc/loadavg: 2.00 2.02 1.96 3/176 22060 /proc/meminfo: memFree=28005624/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=10304 CPUtime=0.29 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 1886 0 0 0 29 0 0 0 20 0 1 0 277433213 10551296 1807 33554432000 4194304 8973514 140735326550704 140733508139576 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 2576 1807 456 1167 0 1357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10304 [startup+0.700276 s] /proc/loadavg: 2.00 2.02 1.96 3/176 22060 /proc/meminfo: memFree=28005624/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=11328 CPUtime=0.69 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 2142 0 0 0 69 0 0 0 20 0 1 0 277433213 11599872 2063 33554432000 4194304 8973514 140735326550704 140735326549968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 2832 2063 456 1167 0 1613 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11328 [startup+1.50029 s] /proc/loadavg: 2.00 2.02 1.96 3/177 22061 /proc/meminfo: memFree=27997456/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=12352 CPUtime=1.49 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 2399 0 0 0 148 1 0 0 20 0 1 0 277433213 12648448 2320 33554432000 4194304 8973514 140735326550704 140735326549968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 3088 2320 457 1167 0 1869 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12352 [startup+3.10027 s] /proc/loadavg: 2.00 2.02 1.96 3/177 22061 /proc/meminfo: memFree=27995836/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=14400 CPUtime=3.09 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 2911 0 0 0 307 2 0 0 20 0 1 0 277433213 14745600 2832 33554432000 4194304 8973514 140735326550704 140735326549968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 3600 2832 457 1167 0 2381 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14400 [startup+6.30026 s] /proc/loadavg: 2.00 2.02 1.96 3/177 22061 /proc/meminfo: memFree=27993604/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=14400 CPUtime=6.28 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 2911 0 0 0 626 2 0 0 20 0 1 0 277433213 14745600 2832 33554432000 4194304 8973514 140735326550704 140735326550200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 3600 2832 457 1167 0 2381 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14400 [startup+12.7003 s] /proc/loadavg: 2.00 2.02 1.96 3/177 22061 /proc/meminfo: memFree=27989280/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=18496 CPUtime=12.68 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 3936 0 0 0 1263 5 0 0 20 0 1 0 277433213 18939904 3857 33554432000 4194304 8973514 140735326550704 140735326550200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 4624 3857 457 1167 0 3405 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18496 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 1.96 3/176 22061 /proc/meminfo: memFree=27987800/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=19520 CPUtime=25.49 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 4960 0 0 0 2538 11 0 0 20 0 1 0 277433213 19988480 4113 33554432000 4194304 8973514 140735326550704 140735326550200 4544544 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 4880 4113 457 1167 0 3661 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19520 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 1.96 3/177 22062 /proc/meminfo: memFree=27982240/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=22592 CPUtime=51.08 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 5984 0 0 0 5087 21 0 0 20 0 1 0 277433213 23134208 4881 33554432000 4194304 8973514 140735326550704 140735326550200 7937344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 5648 4881 457 1167 0 4429 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22592 [startup+102.307 s] /proc/loadavg: 2.00 2.01 1.96 3/177 22062 /proc/meminfo: memFree=27975864/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=25664 CPUtime=102.28 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 6755 0 0 0 10186 42 0 0 20 0 1 0 277433213 26279936 5649 33554432000 4194304 8973514 140735326550704 140735326549968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 6416 5649 457 1167 0 5197 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 25664 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 22062 /proc/meminfo: memFree=27973756/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=25664 CPUtime=162.26 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 6755 0 0 0 16161 65 0 0 20 0 1 0 277433213 26279936 5649 33554432000 4194304 8973514 140735326550704 140735326549968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 6416 5649 457 1167 0 5197 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 25664 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 22062 /proc/meminfo: memFree=27968728/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=28736 CPUtime=222.25 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 7780 0 0 0 22134 91 0 0 20 0 1 0 277433213 29425664 6417 33554432000 4194304 8973514 140735326550704 140735326549968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 7184 6417 457 1167 0 5965 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 28736 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 22062 /proc/meminfo: memFree=27966620/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=28736 CPUtime=282.24 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 7780 0 0 0 28111 113 0 0 20 0 1 0 277433213 29425664 6417 33554432000 4194304 8973514 140735326550704 140735326550200 4214368 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 7184 6417 457 1167 0 5965 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 28736 [startup+342.3 s] /proc/loadavg: 2.03 2.01 1.96 3/177 22063 /proc/meminfo: memFree=27961528/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=30784 CPUtime=342.23 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 8293 0 0 0 34083 140 0 0 20 0 1 0 277433213 31522816 6929 33554432000 4194304 8973514 140735326550704 140735326550200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 7696 6929 457 1167 0 6477 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 30784 [startup+402.3 s] /proc/loadavg: 2.07 2.02 1.97 3/178 22066 /proc/meminfo: memFree=27961272/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=30784 CPUtime=402.22 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 8293 0 0 0 40055 167 0 0 20 0 1 0 277433213 31522816 6929 33554432000 4194304 8973514 140735326550704 140735326549968 7707296 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 7696 6929 457 1167 0 6477 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 30784 [startup+462.3 s] /proc/loadavg: 2.06 2.03 1.97 3/177 22066 /proc/meminfo: memFree=27957372/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=33856 CPUtime=462.22 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 9062 0 0 0 46028 194 0 0 20 0 1 0 277433213 34668544 7697 33554432000 4194304 8973514 140735326550704 140735326549968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 8464 7697 457 1167 0 7245 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 33856 [startup+522.3 s] /proc/loadavg: 2.02 2.02 1.97 3/177 22066 /proc/meminfo: memFree=27953212/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=33856 CPUtime=522.21 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 9062 0 0 0 51997 224 0 0 20 0 1 0 277433213 34668544 7697 33554432000 4194304 8973514 140735326550704 140735326549968 4434768 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 8464 7697 457 1167 0 7245 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 33856 [startup+582.3 s] /proc/loadavg: 2.04 2.03 1.98 3/177 22066 /proc/meminfo: memFree=27949612/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=33856 CPUtime=582.19 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 9575 0 0 0 57971 248 0 0 20 0 1 0 277433213 34668544 7697 33554432000 4194304 8973514 140735326550704 140735326549968 4213693 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 8464 7697 457 1167 0 7245 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 33856 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.04 2.04 2.00 3/177 22067 /proc/meminfo: memFree=27933788/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=37952 CPUtime=882.15 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 10856 0 0 0 87841 374 0 0 20 0 1 0 277433213 38862848 8721 33554432000 4194304 8973514 140735326550704 140735326550200 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 9488 8721 457 1167 0 8269 0 Current children cumulated CPU time (s) 882.15 Current children cumulated vsize (KiB) 37952 [startup+942.3 s] /proc/loadavg: 2.06 2.04 2.00 3/176 22067 /proc/meminfo: memFree=27933168/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=37952 CPUtime=942.14 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 11369 0 0 0 93815 399 0 0 20 0 1 0 277433213 38862848 8721 33554432000 4194304 8973514 140735326550704 140735326550200 4213738 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 9488 8721 457 1167 0 8269 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 37952 [startup+1002.3 s] /proc/loadavg: 2.02 2.03 2.00 3/178 22071 /proc/meminfo: memFree=27931912/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=37952 CPUtime=1002.12 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 11369 0 0 0 99793 419 0 0 20 0 1 0 277433213 38862848 8721 33554432000 4194304 8973514 140735326550704 140735326550200 4447417 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 9488 8721 457 1167 0 8269 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 37952 [startup+1062.3 s] /proc/loadavg: 2.04 2.04 2.00 3/177 22071 /proc/meminfo: memFree=27930740/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=37952 CPUtime=1062.12 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 11369 0 0 0 105768 444 0 0 20 0 1 0 277433213 38862848 8721 33554432000 4194304 8973514 140735326550704 140735326550200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 9488 8721 457 1167 0 8269 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 37952 [startup+1122.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 22071 /proc/meminfo: memFree=27919580/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=37952 CPUtime=1122.12 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 11369 0 0 0 111746 466 0 0 20 0 1 0 277433213 38862848 8721 33554432000 4194304 8973514 140735326550704 140735326550200 4436086 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 9488 8721 457 1167 0 8269 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 37952 [startup+1182.3 s] /proc/loadavg: 2.04 2.03 2.00 3/177 22110 /proc/meminfo: memFree=27364640/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=37952 CPUtime=1182.1 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 11881 0 0 0 117722 488 0 0 20 0 1 0 277433213 38862848 8721 33554432000 4194304 8973514 140735326550704 140735326550200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 9488 8721 457 1167 0 8269 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 37952 [startup+1242.3 s] /proc/loadavg: 2.01 2.03 2.00 3/176 22110 /proc/meminfo: memFree=27365236/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=37952 CPUtime=1242.09 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 12905 0 0 0 123697 512 0 0 20 0 1 0 277433213 38862848 8721 33554432000 4194304 8973514 140735326550704 140735326550200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 9488 8721 457 1167 0 8269 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 37952 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 22112 /proc/meminfo: memFree=27363892/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=37952 CPUtime=1302.09 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 13417 0 0 0 129674 535 0 0 20 0 1 0 277433213 38862848 8721 33554432000 4194304 8973514 140735326550704 140735326550200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 9488 8721 457 1167 0 8269 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 37952 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 22112 /proc/meminfo: memFree=27363984/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=37952 CPUtime=1362.08 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 14185 0 0 0 135652 556 0 0 20 0 1 0 277433213 38862848 8721 33554432000 4194304 8973514 140735326550704 140735326550200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 9488 8721 457 1167 0 8269 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 37952 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/177 22112 /proc/meminfo: memFree=27366492/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=35904 CPUtime=1422.07 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 14697 0 0 0 141630 577 0 0 20 0 1 0 277433213 36765696 8209 33554432000 4194304 8973514 140735326550704 140735326550200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 8976 8209 457 1167 0 7757 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 35904 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22112 /proc/meminfo: memFree=27363980/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=40000 CPUtime=1482.05 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 16489 0 0 0 147605 600 0 0 20 0 1 0 277433213 40960000 9233 33554432000 4194304 8973514 140735326550704 140735326549968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 10000 9233 457 1167 0 8781 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 40000 [startup+1542.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 22112 /proc/meminfo: memFree=27363640/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=38976 CPUtime=1542.04 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 17769 0 0 0 153582 622 0 0 20 0 1 0 277433213 39911424 8977 33554432000 4194304 8973514 140735326550704 140735326550200 4434768 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 9744 8977 457 1167 0 8525 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 38976 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.00 3/178 22116 /proc/meminfo: memFree=27358824/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=42048 CPUtime=1602.04 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 18793 0 0 0 159559 645 0 0 20 0 1 0 277433213 43057152 9745 33554432000 4194304 8973514 140735326550704 140735326549968 6576649 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 10512 9745 457 1167 0 9293 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 42048 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 22116 /proc/meminfo: memFree=27357180/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=44096 CPUtime=1662.03 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 19305 0 0 0 165538 665 0 0 20 0 1 0 277433213 45154304 10257 33554432000 4194304 8973514 140735326550704 140735326550200 4447476 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 11024 10257 457 1167 0 9805 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 44096 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22116 /proc/meminfo: memFree=27354824/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=46144 CPUtime=1722.02 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 20073 0 0 0 171514 688 0 0 20 0 1 0 277433213 47251456 10769 33554432000 4194304 8973514 140735326550704 140735326550200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 11536 10769 457 1167 0 10317 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 46144 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22116 /proc/meminfo: memFree=27354888/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=46144 CPUtime=1782.01 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 21097 0 0 0 177490 711 0 0 20 0 1 0 277433213 47251456 10769 33554432000 4194304 8973514 140735326550704 140735326550200 7400241 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 11536 10769 457 1167 0 10317 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 46144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22116 /proc/meminfo: memFree=27355136/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=46144 CPUtime=1800.02 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 21097 0 0 0 179282 720 0 0 20 0 1 0 277433213 47251456 10769 33554432000 4194304 8973514 140735326550704 140735326549968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 11536 10769 457 1167 0 10317 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 46144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22116 /proc/meminfo: memFree=27355136/32873844 swapFree=6856/6856 [pid=22060] ppid=22058 vsize=46144 CPUtime=1800.02 cores=1,3,5,7 /proc/22060/stat : 22060 (toysat) R 22058 22060 18256 0 -1 4202496 21097 0 0 0 179282 720 0 0 20 0 1 0 277433213 47251456 10769 33554432000 4194304 8973514 140735326550704 140735326549968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22060/statm: 11536 10769 457 1167 0 10317 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 46144 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.03 CPU user time (s): 1792.82 CPU system time (s): 7.2039 CPU usage (%): 99.9843 Max. virtual memory (cumulated for all children) (KiB): 47168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.82 system time used= 7.2039 maximum resident set size= 44100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21097 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= 12 involuntary context switches= 1851 runsolver used 4.36933 second user time and 9.26559 second system time The end
Begin job on node106 at 2012-05-27 12:04:07 IDJOB=3706731 IDBENCH=1956 IDSOLVER=2285 FILE ID=node106/3706731-1338113047 RUNJOBID= node106-1338108942-21418 PBS_JOBID= 14624450 Free space on /tmp= 71372 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706731-1338113047/watcher-3706731-1338113047 -o /tmp/evaluation-result-3706731-1338113047/solver-3706731-1338113047 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706731-1338113047.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6 RANDOM SEED=121190379 node106.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.065 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.13 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.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28006152 kB Buffers: 324236 kB Cached: 3586368 kB SwapCached: 0 kB Active: 1313232 kB Inactive: 2745592 kB Active(anon): 150616 kB Inactive(anon): 0 kB Active(file): 1162616 kB Inactive(file): 2745592 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 7412 kB Writeback: 0 kB AnonPages: 155068 kB Mapped: 16208 kB Shmem: 200 kB Slab: 669572 kB SReclaimable: 112092 kB SUnreclaim: 557480 kB KernelStack: 1456 kB PageTables: 4280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 263084 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 63488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71352 MiB End job on node106 at 2012-05-27 12:34:10