Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1800.08 | 1813.01 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo |
MD5SUM | 8ea1de4cad02f20126bf15704ca9ee6a |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 4.15337 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 6480 |
Total number of constraints | 161 |
Number of soft constraints | 109 |
Number of constraints which are clauses | 81 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 80 |
Maximum length of a constraint | 81 |
Top cost | 6056 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6055 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 82 |
Number of bits of the biggest sum of numbers | 7 |
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.67 c run usual solver 6.28/6.33 o 1316 6.28/6.33 c starting approximation 6.28/6.33 c factor = 2 6.28/6.33 c current bound: 658 7.77/7.82 c current bound: 658 9.29/9.31 c current bound: 658 10.78/10.82 c current bound: 658 12.27/12.34 c current bound: 658 13.44/13.84 c current bound: 658 15.32/15.60 c current bound: 658 16.43/17.09 c current bound: 658 17.90/18.58 c current bound: 658 19.70/20.07 c current bound: 658 20.91/21.57 c current bound: 658 22.71/23.06 c current bound: 658 24.26/24.70 c current bound: 658 25.77/26.20 c current bound: 658 27.27/27.71 c current bound: 658 28.78/29.20 c current bound: 658 29.88/30.70 c current bound: 658 31.38/32.19 c current bound: 658 32.88/33.69 c current bound: 658 34.68/35.19 c current bound: 658 35.87/36.75 c current bound: 658 37.36/38.24 c current bound: 658 39.20/39.74 c current bound: 658 40.36/41.23 c current bound: 658 41.85/42.72 c current bound: 658 43.72/44.22 c current bound: 658 45.21/45.72 c current bound: 658 46.70/47.32 c current bound: 658 48.20/48.81 c current bound: 658 49.70/50.31 c current bound: 658 51.20/51.81 c current bound: 658 52.70/53.31 c current bound: 658 54.20/54.80 c current bound: 658 55.62/56.38 c current bound: 658 56.80/57.88 c current bound: 658 58.62/59.37 c current bound: 658 59.78/60.86 c current bound: 658 61.29/62.36 c current bound: 658 63.12/63.85 c current bound: 658 64.28/65.35 c current bound: 658 65.77/66.84 c current bound: 658 67.61/68.44 c current bound: 658 68.76/69.93 c current bound: 658 70.64/71.42 c current bound: 658 72.12/72.90 c current bound: 658 73.62/74.40 c current bound: 658 75.02/75.90 c current bound: 658 76.63/77.40 c current bound: 658 78.13/79.00 c current bound: 658 79.64/80.50 c current bound: 658 81.13/82.00 c current bound: 658 82.64/83.51 c current bound: 658 84.14/85.01 c current bound: 658 85.64/86.51 c current bound: 658 87.02/88.00 c current bound: 658 88.25/89.58 c current bound: 658 89.74/91.07 c current bound: 658 91.53/92.57 c current bound: 658 92.73/94.06 c current bound: 658 94.21/95.55 c current bound: 658 96.05/97.05 c current bound: 658 97.22/98.55 c current bound: 658 99.06/100.13 c current bound: 658 100.20/101.63 c current bound: 658 102.07/103.12 c current bound: 658 103.56/104.62 c current bound: 658 105.05/106.11 c current bound: 658 106.56/107.60 c current bound: 658 108.06/109.10 c current bound: 658 109.57/110.71 c current bound: 658 111.07/112.22 c current bound: 658 112.20/113.73 c current bound: 658 113.72/115.24 c current bound: 658 115.55/116.75 c current bound: 658 116.73/118.25 c current bound: 658 118.23/119.76 c current bound: 658 120.02/121.28 c current bound: 658 121.23/122.77 c current bound: 658 123.04/124.27 c current bound: 658 124.22/125.76 c current bound: 658 125.71/127.26 c current bound: 658 127.54/128.75 c current bound: 658 128.70/130.25 c current bound: 658 130.20/131.83 c current bound: 658 132.07/133.31 c current bound: 658 133.56/134.81 c current bound: 658 135.06/136.31 c current bound: 658 136.55/137.80 c current bound: 658 138.05/139.30 c current bound: 658 139.45/140.78 c current bound: 658 141.04/142.31 c current bound: 658 142.52/143.80 c current bound: 658 143.93/145.29 c current bound: 658 145.13/146.79 c current bound: 658 146.61/148.28 c current bound: 658 148.41/149.77 c current bound: 658 149.60/151.27 c current bound: 658 151.11/152.79 c current bound: 658 152.91/154.29 c current bound: 658 154.09/155.77 c current bound: 658 155.91/157.28 c current bound: 658 157.08/158.76 c current bound: 658 158.59/160.26 c current bound: 658 160.41/161.77 c current bound: 658 161.59/163.36 c current bound: 658 163.43/164.81 c current bound: 658 164.80/166.30 c current bound: 658 166.03/167.79 c current bound: 658 167.52/169.29 c current bound: 658 169.32/170.77 c current bound: 658 170.50/172.27 c current bound: 658 172.31/173.79 c current bound: 658 173.50/175.27 c current bound: 658 175.03/176.79 c current bound: 658 176.91/178.44 c current bound: 658 178.03/179.94 c current bound: 658 179.86/181.44 c current bound: 658 181.00/182.92 c current bound: 658 182.86/184.41 c current bound: 658 184.37/185.90 c current bound: 658 185.48/187.39 c current bound: 658 186.96/188.88 c current bound: 658 188.76/190.38 c current bound: 658 189.96/191.88 c current bound: 658 191.46/193.37 c current bound: 658 193.25/194.87 c current bound: 658 194.45/196.46 c current bound: 658 196.28/197.96 c current bound: 658 197.45/199.45 c current bound: 658 198.94/200.95 c current bound: 658 200.77/202.44 c current bound: 658 201.94/203.94 c current bound: 658 203.44/205.43 c current bound: 658 205.31/207.03 c current bound: 658 206.46/208.53 c current bound: 658 208.32/210.05 c current bound: 658 209.48/211.56 c current bound: 658 210.99/213.06 c current bound: 658 212.81/214.56 c current bound: 658 213.98/216.05 c current bound: 658 215.47/217.64 c current bound: 658 217.32/219.14 c current bound: 658 218.48/220.63 c current bound: 658 220.34/222.14 c current bound: 658 221.48/223.64 c current bound: 658 222.96/225.13 c current bound: 658 224.86/226.62 c current bound: 658 226.34/228.22 c current bound: 658 227.84/229.71 c current bound: 658 229.22/231.20 c current bound: 658 230.45/232.69 c current bound: 658 231.95/234.19 c current bound: 658 233.74/235.69 c current bound: 658 234.93/237.18 c current bound: 658 236.76/238.74 c current bound: 658 237.93/240.24 c current bound: 658 239.41/241.73 c current bound: 658 241.27/243.22 c current bound: 658 242.77/244.70 c current bound: 658 244.29/246.20 c current bound: 658 245.79/247.70 c current bound: 658 247.29/249.20 c current bound: 658 248.39/250.70 c current bound: 658 250.19/252.18 c current bound: 658 251.39/253.68 c current bound: 658 253.16/255.24 c current bound: 658 254.31/256.77 c current bound: 658 255.84/258.26 c current bound: 658 257.66/259.76 c current bound: 658 258.84/261.26 c current bound: 658 260.33/262.76 c current bound: 658 262.16/264.25 c current bound: 658 263.33/265.93 c current bound: 658 265.18/267.42 c current bound: 658 266.69/268.92 c current bound: 658 268.19/270.41 c current bound: 658 269.58/271.89 c current bound: 658 270.79/273.39 c current bound: 658 272.28/274.88 c current bound: 658 274.08/276.39 c current bound: 658 275.29/277.89 c current bound: 658 277.07/279.40 c current bound: 658 278.68/280.90 c current bound: 658 280.19/282.41 c current bound: 658 281.69/283.91 c current bound: 658 283.19/285.42 c current bound: 658 284.31/286.92 c current bound: 658 286.18/288.42 c current bound: 658 287.69/289.92 c current bound: 658 289.20/291.41 c current bound: 658 290.69/293.00 c current bound: 658 292.18/294.50 c current bound: 658 293.68/296.04 c current bound: 658 294.83/297.53 c current bound: 658 296.32/299.03 c current bound: 658 298.17/300.54 c current bound: 658 299.33/302.04 c current bound: 658 301.21/303.62 c current bound: 658 302.33/305.12 c current bound: 658 303.83/306.63 c current bound: 658 305.69/308.15 c current bound: 658 306.85/309.66 c current bound: 658 308.36/311.16 c current bound: 658 310.27/312.84 c current bound: 658 311.37/314.33 c current bound: 658 313.23/315.82 c current bound: 658 314.73/317.32 c current bound: 658 316.24/318.82 c current bound: 658 317.73/320.31 c current bound: 658 319.25/321.80 c current bound: 658 320.35/323.29 c current bound: 658 322.14/324.78 c current bound: 658 323.32/326.27 c current bound: 658 325.13/327.77 c current bound: 658 326.32/329.26 c current bound: 658 327.81/330.84 c current bound: 658 329.63/332.33 c current bound: 658 330.79/333.83 c current bound: 658 332.65/335.31 c current bound: 658 334.15/336.81 c current bound: 658 335.66/338.31 c current bound: 658 337.15/339.80 c current bound: 658 338.28/341.42 c current bound: 658 340.14/342.92 c current bound: 658 341.65/344.41 c current bound: 658 343.16/345.90 c current bound: 658 344.65/347.40 c current bound: 658 346.04/348.89 c current bound: 658 347.25/350.38 c current bound: 658 349.02/352.00 c current bound: 658 350.62/353.50 c current bound: 658 352.11/355.00 c current bound: 658 353.62/356.50 c current bound: 658 354.71/357.98 c current bound: 658 356.20/359.47 c current bound: 658 358.00/360.98 c current bound: 658 359.22/362.57 c current bound: 658 361.03/364.06 c current bound: 658 362.20/365.55 c current bound: 658 363.69/367.07 c current bound: 658 365.54/368.57 c current bound: 658 366.71/370.06 c current bound: 658 368.21/371.55 c current bound: 658 370.04/373.13 c current bound: 658 371.55/374.62 c current bound: 658 373.05/376.11 c current bound: 658 374.56/377.61 c current bound: 658 376.05/379.10 c current bound: 658 377.44/380.59 c current bound: 658 378.65/382.08 c current bound: 658 380.13/383.56 c current bound: 658 381.97/385.01 c current bound: 658 383.47/386.51 c current bound: 658 384.97/388.01 c current bound: 658 386.47/389.50 c current bound: 658 387.98/391.00 c current bound: 658 389.06/392.49 c current bound: 658 390.87/393.98 c current bound: 658 392.46/395.60 c current bound: 658 393.85/397.09 c current bound: 658 395.05/398.59 c current bound: 658 396.56/400.09 c current bound: 658 398.36/401.59 c current bound: 658 399.57/403.09 c current bound: 658 401.06/404.58 c current bound: 658 402.89/406.17 c current bound: 658 404.07/407.67 c current bound: 658 405.87/409.16 c current bound: 658 407.05/410.66 c current bound: 658 408.54/412.16 c current bound: 658 410.37/413.66 c current bound: 658 411.54/415.15 c current bound: 658 413.05/416.73 c current bound: 658 414.90/418.23 c current bound: 658 416.03/419.72 c current bound: 658 417.90/421.23 c current bound: 658 419.04/422.73 c current bound: 658 420.90/424.21 c current bound: 658 422.41/425.71 c current bound: 658 423.90/427.21 c current bound: 658 425.41/428.71 c current bound: 658 426.89/430.20 c current bound: 658 428.38/431.70 c current bound: 658 429.90/433.20 c current bound: 658 431.39/434.71 c current bound: 658 432.88/436.20 c current bound: 658 434.27/437.79 c current bound: 658 435.88/439.30 c current bound: 658 436.99/440.79 c current bound: 658 438.88/442.30 c current bound: 658 440.39/443.80 c current bound: 658 441.88/445.31 c current bound: 658 443.38/446.81 c current bound: 658 444.90/448.40 c current bound: 658 446.28/449.90 c current bound: 658 447.89/451.40 c current bound: 658 449.39/452.91 c current bound: 658 450.87/454.43 c current bound: 658 452.01/455.93 c current bound: 658 453.53/457.44 c current bound: 658 455.36/458.96 c current bound: 658 456.53/460.46 c current bound: 658 458.37/461.95 c current bound: 658 459.52/463.47 c current bound: 658 461.03/464.97 c current bound: 658 462.85/466.46 c current bound: 658 464.02/467.97 c current bound: 658 465.51/469.54 c current bound: 658 467.35/471.03 c current bound: 658 468.50/472.53 c current bound: 658 470.37/474.03 c current bound: 658 471.50/475.53 c current bound: 658 473.00/477.03 c current bound: 658 474.50/478.53 c current bound: 658 475.99/480.13 c current bound: 658 477.48/481.63 c current bound: 658 479.34/483.13 c current bound: 658 480.84/484.62 c current bound: 658 482.35/486.11 c current bound: 658 483.84/487.62 c current bound: 658 485.34/489.12 c current bound: 658 486.84/490.72 c current bound: 658 488.33/492.21 c current bound: 658 489.83/493.71 c current bound: 658 491.22/495.15 c current bound: 658 492.38/496.65 c current bound: 658 493.89/498.15 c current bound: 658 495.71/499.64 c current bound: 658 496.87/501.24 c current bound: 658 498.71/502.74 c current bound: 658 499.87/504.23 c current bound: 658 501.38/505.74 c current bound: 658 503.20/507.25 c current bound: 658 504.37/508.75 c current bound: 658 505.87/510.25 c current bound: 658 507.75/511.82 c current bound: 658 509.24/513.32 c current bound: 658 510.75/514.81 c current bound: 658 511.87/516.35 c current bound: 658 513.36/517.85 c current bound: 658 515.19/519.36 c current bound: 658 516.76/520.98 c current bound: 658 518.17/522.47 c current bound: 658 519.36/523.97 c current bound: 658 520.86/525.48 c current bound: 658 522.66/526.98 c current bound: 658 523.85/528.48 c current bound: 658 525.36/529.97 c current bound: 658 527.16/531.47 c current bound: 658 528.35/533.06 c current bound: 658 530.17/534.56 c current bound: 658 531.34/536.06 c current bound: 658 532.84/537.56 c current bound: 658 534.68/539.05 c current bound: 658 535.84/540.56 c current bound: 658 537.33/542.05 c current bound: 658 539.16/543.64 c current bound: 658 540.33/545.15 c current bound: 658 542.17/546.65 c current bound: 658 543.33/548.15 c current bound: 658 544.83/549.64 c current bound: 658 546.69/551.14 c current bound: 658 547.82/552.64 c current bound: 658 549.33/554.23 c current bound: 658 551.17/555.73 c current bound: 658 552.70/557.22 c current bound: 658 554.19/558.73 c current bound: 658 555.31/560.23 c current bound: 658 556.82/561.73 c current bound: 658 558.67/563.23 c current bound: 658 560.17/564.80 c current bound: 658 561.67/566.30 c current bound: 658 563.18/567.81 c current bound: 658 564.68/569.30 c current bound: 658 566.17/570.81 c current bound: 658 567.67/572.31 c current bound: 658 569.18/573.81 c current bound: 658 570.56/575.37 c current bound: 658 571.75/576.87 c current bound: 658 573.26/578.38 c current bound: 658 575.06/579.88 c current bound: 658 576.26/581.38 c current bound: 658 577.77/582.88 c current bound: 658 579.56/584.39 c current bound: 658 580.78/585.99 c current bound: 658 582.56/587.49 c current bound: 658 583.76/588.99 c current bound: 658 585.26/590.48 c current bound: 658 587.04/591.98 c current bound: 658 588.26/593.48 c current bound: 658 589.76/594.97 c current bound: 658 591.24/596.56 c current bound: 658 592.74/598.06 c current bound: 658 594.58/599.56 c current bound: 658 595.74/601.05 c current bound: 658 597.23/602.55 c current bound: 658 599.07/604.05 c current bound: 658 600.22/605.54 c current bound: 658 602.11/607.12 c current bound: 658 603.58/608.61 c current bound: 658 605.09/610.11 c current bound: 658 606.60/611.61 c current bound: 658 608.09/613.10 c current bound: 658 609.20/614.59 c current bound: 658 610.98/616.09 c current bound: 658 612.57/617.70 c current bound: 658 613.68/619.19 c current bound: 658 615.57/620.70 c current bound: 658 617.07/622.20 c current bound: 658 618.47/623.69 c current bound: 658 619.67/625.19 c current bound: 658 621.17/626.68 c current bound: 658 622.97/628.27 c current bound: 658 624.15/629.76 c current bound: 658 625.66/631.27 c current bound: 658 627.48/632.77 c current bound: 658 628.67/634.26 c current bound: 658 630.48/635.76 c current bound: 658 631.66/637.26 c current bound: 658 633.16/638.83 c current bound: 658 635.00/640.32 c current bound: 658 636.52/641.81 c current bound: 658 638.01/643.31 c current bound: 658 639.51/644.82 c current bound: 658 641.02/646.30 c current bound: 658 642.12/647.79 c current bound: 658 643.91/649.28 c current bound: 658 645.10/650.77 c current bound: 658 646.59/652.27 c current bound: 658 648.41/653.76 c current bound: 658 649.59/655.26 c current bound: 658 651.41/656.76 c current bound: 658 652.59/658.25 c current bound: 658 654.11/659.86 c current bound: 658 655.91/661.38 c current bound: 658 657.13/662.89 c current bound: 658 658.63/664.39 c current bound: 658 660.40/665.88 c current bound: 658 661.60/667.37 c current bound: 658 663.42/668.87 c current bound: 658 664.60/670.36 c current bound: 658 666.10/671.85 c current bound: 658 667.93/673.36 c current bound: 658 669.08/674.84 c current bound: 658 670.58/676.34 c current bound: 658 672.43/677.84 c current bound: 658 673.58/679.33 c current bound: 658 675.07/680.83 c current bound: 658 676.93/682.32 c current bound: 658 678.45/683.82 c current bound: 658 679.95/685.31 c current bound: 658 681.07/686.89 c current bound: 658 682.97/688.40 c current bound: 658 684.47/689.90 c current bound: 658 685.57/691.39 c current bound: 658 687.07/692.89 c current bound: 658 688.98/694.41 c current bound: 658 690.48/695.91 c current bound: 658 691.94/697.44 c current bound: 658 693.07/698.93 c current bound: 658 694.95/700.41 c current bound: 658 696.34/701.90 c current bound: 658 697.55/703.39 c current bound: 658 699.44/704.90 c current bound: 658 700.85/706.39 c current bound: 658 702.05/707.99 c current bound: 658 703.54/709.49 c current bound: 658 705.35/710.98 c current bound: 658 706.54/712.48 c current bound: 658 708.35/713.97 c current bound: 658 709.53/715.47 c current bound: 658 711.04/716.97 c current bound: 658 712.86/718.56 c current bound: 658 714.04/720.06 c current bound: 658 715.54/721.56 c current bound: 658 717.37/723.07 c current bound: 658 718.55/724.57 c current bound: 658 720.36/726.07 c current bound: 658 721.55/727.56 c current bound: 658 723.05/729.15 c current bound: 658 724.87/730.65 c current bound: 658 726.03/732.14 c current bound: 658 727.52/733.63 c current bound: 658 729.38/735.11 c current bound: 658 730.88/736.60 c current bound: 658 732.38/738.10 c current bound: 658 733.47/739.59 c current bound: 658 734.98/741.08 c current bound: 658 736.76/742.58 c current bound: 658 737.97/744.08 c current bound: 658 739.46/745.67 c current bound: 658 741.26/747.18 c current bound: 658 742.49/748.69 c current bound: 658 743.97/750.19 c current bound: 658 745.87/751.70 c current bound: 658 746.99/753.19 c current bound: 658 748.78/754.69 c current bound: 658 750.36/756.32 c current bound: 658 751.85/757.81 c current bound: 658 753.36/759.31 c current bound: 658 754.86/760.80 c current bound: 658 756.36/762.30 c current bound: 658 757.86/763.80 c current bound: 658 758.95/765.28 c current bound: 658 760.75/766.80 c current bound: 658 762.36/768.31 c current bound: 658 763.87/769.82 c current bound: 658 765.39/771.46 c current bound: 658 766.51/772.96 c current bound: 658 768.32/774.47 c current bound: 658 769.52/775.98 c current bound: 658 771.01/777.48 c current bound: 658 772.90/779.02 c current bound: 658 774.05/780.53 c current bound: 658 775.95/782.14 c current bound: 658 777.06/783.63 c current bound: 658 778.91/785.11 c current bound: 658 780.43/786.61 c current bound: 658 781.92/788.10 c current bound: 658 783.42/789.60 c current bound: 658 784.82/791.09 c current bound: 658 786.01/792.59 c current bound: 658 787.53/794.18 c current bound: 658 789.43/795.70 c current bound: 658 790.93/797.20 c current bound: 658 792.45/798.71 c current bound: 658 793.93/800.21 c current bound: 658 795.44/801.72 c current bound: 658 796.92/803.23 c current bound: 658 798.09/804.74 c current bound: 658 799.60/806.25 c current bound: 658 801.43/807.76 c current bound: 658 802.60/809.26 c current bound: 658 804.44/810.76 c current bound: 658 805.60/812.27 c current bound: 658 807.12/813.78 c current bound: 658 808.96/815.33 c current bound: 658 810.10/816.82 c current bound: 658 811.61/818.33 c current bound: 658 813.45/819.83 c current bound: 658 814.98/821.31 c current bound: 658 816.48/822.81 c current bound: 658 817.97/824.30 c current bound: 658 819.48/825.80 c current bound: 658 820.87/827.29 c current bound: 658 822.07/828.79 c current bound: 658 823.57/830.28 c current bound: 658 825.37/831.89 c current bound: 658 826.55/833.37 c current bound: 658 828.05/834.87 c current bound: 658 829.86/836.37 c current bound: 658 831.03/837.87 c current bound: 658 832.84/839.37 c current bound: 658 834.41/841.01 c current bound: 658 835.91/842.50 c current bound: 658 837.41/844.00 c current bound: 658 838.50/845.48 c current bound: 658 840.01/846.97 c current bound: 658 841.81/848.47 c current bound: 658 842.99/849.97 c current bound: 658 844.82/851.46 c current bound: 658 845.98/853.03 c current bound: 658 847.47/854.52 c current bound: 658 849.34/856.01 c current bound: 658 850.84/857.50 c current bound: 658 851.95/858.99 c current bound: 658 853.73/860.49 c current bound: 658 854.94/861.99 c current bound: 658 856.81/863.63 c current bound: 658 857.93/865.13 c current bound: 658 859.81/866.62 c current bound: 658 861.31/868.11 c current bound: 658 862.81/869.60 c current bound: 658 864.32/871.11 c current bound: 658 865.81/872.61 c current bound: 658 866.91/874.19 c current bound: 658 868.71/875.67 c current bound: 658 869.90/877.17 c current bound: 658 871.39/878.66 c current bound: 658 873.22/880.15 c current bound: 658 874.38/881.65 c current bound: 658 875.88/883.14 c current bound: 658 877.66/884.79 c current bound: 658 878.87/886.29 c current bound: 658 880.66/887.79 c current bound: 658 881.86/889.32 c current bound: 658 883.73/890.81 c current bound: 658 885.23/892.31 c current bound: 658 886.73/893.80 c current bound: 658 887.77/895.28 c current bound: 658 889.57/896.77 c current bound: 658 890.76/898.27 c current bound: 658 892.26/899.76 c current bound: 658 894.07/901.27 c current bound: 658 895.26/902.76 c current bound: 658 897.06/904.26 c current bound: 658 898.24/905.83 c current bound: 658 899.74/907.33 c current bound: 658 901.60/908.82 c current bound: 658 903.11/910.31 c current bound: 658 904.62/911.81 c current bound: 658 906.12/913.30 c current bound: 658 907.22/914.78 c current bound: 658 908.69/916.27 c current bound: 658 910.50/917.77 c current bound: 658 911.68/919.27 c current bound: 658 913.51/920.77 c current bound: 658 914.68/922.47 c current bound: 658 916.17/923.96 c current bound: 658 917.99/925.47 c current bound: 658 919.18/926.96 c current bound: 658 920.99/928.46 c current bound: 658 922.18/929.95 c current bound: 658 923.67/931.44 c current bound: 658 925.50/932.93 c current bound: 658 926.65/934.42 c current bound: 658 928.51/935.92 c current bound: 658 930.01/937.42 c current bound: 658 931.51/938.91 c current bound: 658 933.02/940.41 c current bound: 658 934.52/941.90 c current bound: 658 936.00/943.51 c current bound: 658 937.51/945.02 c current bound: 658 938.65/946.53 c current bound: 658 940.16/948.04 c current bound: 658 941.99/949.55 c current bound: 658 943.17/951.06 c current bound: 658 944.68/952.57 c current bound: 658 946.48/954.08 c current bound: 658 947.67/955.57 c current bound: 658 949.49/957.06 c current bound: 658 950.66/958.55 c current bound: 658 952.16/960.05 c current bound: 658 954.01/961.55 c current bound: 658 955.17/963.05 c current bound: 658 956.65/964.62 c current bound: 658 958.52/966.12 c current bound: 658 960.02/967.61 c current bound: 658 961.53/969.10 c current bound: 658 962.63/970.59 c current bound: 658 964.12/972.08 c current bound: 658 965.93/973.57 c current bound: 658 967.06/975.02 c current bound: 658 968.93/976.51 c current bound: 658 970.44/978.01 c current bound: 658 971.93/979.50 c current bound: 658 973.04/980.99 c current bound: 658 974.85/982.49 c current bound: 658 976.01/983.98 c current bound: 658 977.83/985.40 c current bound: 658 979.33/986.90 c current bound: 658 980.45/988.42 c current bound: 658 982.34/989.92 c current bound: 658 983.83/991.41 c current bound: 658 985.34/993.01 c current bound: 658 986.84/994.51 c current bound: 658 988.35/996.01 c current bound: 658 989.83/997.50 c current bound: 658 991.33/999.00 c current bound: 658 992.82/1000.50 c current bound: 658 994.33/1002.00 c current bound: 658 995.43/1003.68 c current bound: 658 996.93/1005.17 c current bound: 658 998.73/1006.68 c current bound: 658 999.92/1008.18 c current bound: 658 1001.42/1009.69 c current bound: 658 1003.21/1011.19 c current bound: 658 1004.42/1012.69 c current bound: 658 1006.31/1014.31 c current bound: 658 1007.81/1015.81 c current bound: 658 1009.31/1017.31 c current bound: 658 1010.80/1018.80 c current bound: 658 1012.30/1020.30 c current bound: 658 1013.80/1021.81 c current bound: 658 1015.30/1023.31 c current bound: 658 1016.80/1024.90 c current bound: 658 1018.19/1026.40 c current bound: 658 1019.39/1027.89 c current bound: 658 1021.29/1029.41 c current bound: 658 1022.80/1030.90 c current bound: 658 1024.29/1032.41 c current bound: 658 1025.79/1033.91 c current bound: 658 1027.18/1035.43 c current bound: 658 1028.32/1036.92 c current bound: 658 1030.20/1038.42 c current bound: 658 1031.32/1039.93 c current bound: 658 1032.82/1041.42 c current bound: 658 1034.70/1042.92 c current bound: 658 1035.81/1044.42 c current bound: 658 1037.69/1046.01 c current bound: 658 1039.20/1047.50 c current bound: 658 1040.69/1049.00 c current bound: 658 1042.19/1050.51 c current bound: 658 1043.69/1052.00 c current bound: 658 1045.19/1053.51 c current bound: 658 1046.57/1054.98 c current bound: 658 1047.78/1056.49 c current bound: 658 1049.27/1057.99 c current bound: 658 1051.18/1059.50 c current bound: 658 1052.68/1061.01 c current bound: 658 1053.79/1062.54 c current bound: 658 1055.64/1064.04 c current bound: 658 1056.70/1065.47 c current bound: 658 1058.19/1066.97 c current bound: 658 1060.00/1068.46 c current bound: 658 1061.19/1069.96 c current bound: 658 1063.00/1071.45 c current bound: 658 1064.17/1073.03 c current bound: 658 1065.68/1074.54 c current bound: 658 1067.51/1076.05 c current bound: 658 1068.69/1077.55 c current bound: 658 1070.19/1079.06 c current bound: 658 1072.01/1080.54 c current bound: 658 1073.18/1082.04 c current bound: 658 1075.02/1083.73 c current bound: 658 1076.55/1085.22 c current bound: 658 1077.68/1086.73 c current bound: 658 1079.53/1088.23 c current bound: 658 1080.67/1089.73 c current bound: 658 1082.53/1091.23 c current bound: 658 1084.03/1092.72 c current bound: 658 1085.15/1094.28 c current bound: 658 1086.95/1095.78 c current bound: 658 1088.15/1097.28 c current bound: 658 1089.65/1098.79 c current bound: 658 1091.45/1100.29 c current bound: 658 1092.64/1101.78 c current bound: 658 1094.14/1103.28 c current bound: 658 1095.64/1104.87 c current bound: 658 1097.15/1106.38 c current bound: 658 1098.95/1107.88 c current bound: 658 1100.16/1109.38 c current bound: 658 1101.65/1110.88 c current bound: 658 1103.43/1112.38 c current bound: 658 1104.64/1113.88 c current bound: 658 1106.46/1115.47 c current bound: 658 1107.64/1116.97 c current bound: 658 1109.14/1118.48 c current bound: 658 1111.02/1120.05 c current bound: 658 1112.20/1121.54 c current bound: 658 1113.71/1123.06 c current bound: 658 1115.56/1124.63 c current bound: 658 1116.73/1126.13 c current bound: 658 1118.57/1127.65 c current bound: 658 1119.73/1129.15 c current bound: 658 1121.23/1130.65 c current bound: 658 1123.06/1132.15 c current bound: 658 1124.24/1133.65 c current bound: 658 1125.74/1135.16 c current bound: 658 1127.25/1136.76 c current bound: 658 1128.74/1138.25 c current bound: 658 1130.58/1139.76 c current bound: 658 1131.74/1141.26 c current bound: 658 1133.24/1142.76 c current bound: 658 1135.06/1144.26 c current bound: 658 1136.24/1145.77 c current bound: 658 1138.06/1147.35 c current bound: 658 1139.23/1148.85 c current bound: 658 1140.74/1150.35 c current bound: 658 1142.57/1151.84 c current bound: 658 1143.73/1153.34 c current bound: 658 1145.21/1154.83 c current bound: 658 1147.07/1156.34 c current bound: 658 1148.23/1157.94 c current bound: 658 1150.06/1159.45 c current bound: 658 1151.22/1160.95 c current bound: 658 1152.73/1162.45 c current bound: 658 1154.55/1163.95 c current bound: 658 1155.67/1165.39 c current bound: 658 1157.18/1166.89 c current bound: 658 1159.05/1168.40 c current bound: 658 1160.56/1169.90 c current bound: 658 1162.05/1171.41 c current bound: 658 1163.55/1172.91 c current bound: 658 1165.06/1174.50 c current bound: 658 1166.57/1176.01 c current bound: 658 1168.07/1177.51 c current bound: 658 1169.56/1179.00 c current bound: 658 1170.94/1180.50 c current bound: 658 1172.54/1182.00 c current bound: 658 1173.65/1183.50 c current bound: 658 1175.55/1185.10 c current bound: 658 1176.66/1186.59 c current bound: 658 1178.55/1188.11 c current bound: 658 1180.05/1189.61 c current bound: 658 1181.53/1191.11 c current bound: 658 1183.03/1192.61 c current bound: 658 1184.54/1194.11 c current bound: 658 1186.04/1195.72 c current bound: 658 1187.53/1197.22 c current bound: 658 1188.66/1198.73 c current bound: 658 1190.51/1200.23 c current bound: 658 1191.66/1201.73 c current bound: 658 1193.15/1203.22 c current bound: 658 1194.99/1204.74 c current bound: 658 1196.15/1206.33 c current bound: 658 1198.00/1207.84 c current bound: 658 1199.15/1209.34 c current bound: 658 1200.66/1210.86 c current bound: 658 1202.49/1212.35 c current bound: 658 1203.64/1213.84 c current bound: 658 1205.13/1215.33 c current bound: 658 1206.99/1216.93 c current bound: 658 1208.14/1218.43 c current bound: 658 1210.00/1219.93 c current bound: 658 1211.14/1221.44 c current bound: 658 1212.62/1222.93 c current bound: 658 1214.48/1224.45 c current bound: 658 1216.05/1226.08 c current bound: 658 1217.15/1227.59 c current bound: 658 1219.04/1229.12 c current bound: 658 1220.54/1230.62 c current bound: 658 1222.03/1232.11 c current bound: 658 1223.52/1233.62 c current bound: 658 1224.62/1235.09 c current bound: 658 1226.42/1236.59 c current bound: 658 1228.00/1238.22 c current bound: 658 1229.50/1239.72 c current bound: 658 1230.63/1241.22 c current bound: 658 1232.12/1242.73 c current bound: 658 1233.98/1244.23 c current bound: 658 1235.13/1245.74 c current bound: 658 1236.63/1247.24 c current bound: 658 1238.44/1248.86 c current bound: 658 1239.61/1250.36 c current bound: 658 1241.44/1251.87 c current bound: 658 1242.61/1253.36 c current bound: 658 1244.11/1254.87 c current bound: 658 1245.93/1256.37 c current bound: 658 1247.12/1257.87 c current bound: 658 1248.61/1259.45 c current bound: 658 1250.43/1260.95 c current bound: 658 1251.61/1262.45 c current bound: 658 1253.43/1263.96 c current bound: 658 1254.61/1265.47 c current bound: 658 1256.12/1266.97 c current bound: 658 1257.93/1268.48 c current bound: 658 1259.50/1270.02 c current bound: 658 1260.64/1271.53 c current bound: 658 1262.50/1273.04 c current bound: 658 1263.67/1274.55 c current bound: 658 1265.50/1276.04 c current bound: 658 1266.65/1277.54 c current bound: 658 1268.15/1279.04 c current bound: 658 1269.98/1280.64 c current bound: 658 1271.15/1282.15 c current bound: 658 1272.64/1283.65 c current bound: 658 1274.48/1285.15 c current bound: 658 1275.64/1286.65 c current bound: 658 1277.49/1288.15 c current bound: 658 1278.62/1289.64 c current bound: 658 1280.14/1291.25 c current bound: 658 1281.98/1292.76 c current bound: 658 1283.17/1294.27 c current bound: 658 1284.66/1295.76 c current bound: 658 1286.46/1297.27 c current bound: 658 1287.66/1298.77 c current bound: 658 1289.48/1300.27 c current bound: 658 1290.65/1301.85 c current bound: 658 1292.15/1303.36 c current bound: 658 1293.99/1304.87 c current bound: 658 1295.18/1306.37 c current bound: 658 1296.69/1307.88 c current bound: 658 1298.47/1309.39 c current bound: 658 1300.09/1311.02 c current bound: 658 1301.56/1312.52 c current bound: 658 1302.71/1314.03 c current bound: 658 1304.22/1315.53 c current bound: 658 1306.06/1317.03 c current bound: 658 1307.21/1318.53 c current bound: 658 1309.08/1320.02 c current bound: 658 1310.20/1321.52 c current bound: 658 1312.07/1323.12 c current bound: 658 1313.58/1324.61 c current bound: 658 1315.08/1326.12 c current bound: 658 1316.57/1327.62 c current bound: 658 1318.07/1329.12 c current bound: 658 1319.59/1330.61 c current bound: 658 1321.08/1332.12 c current bound: 658 1322.20/1333.77 c current bound: 658 1323.70/1335.28 c current bound: 658 1325.50/1336.77 c current bound: 658 1326.70/1338.28 c current bound: 658 1328.20/1339.78 c current bound: 658 1329.99/1341.28 c current bound: 658 1331.20/1342.78 c current bound: 658 1333.00/1344.37 c current bound: 658 1334.19/1345.87 c current bound: 658 1335.69/1347.38 c current bound: 658 1337.49/1348.89 c current bound: 658 1339.10/1350.40 c current bound: 658 1340.21/1351.90 c current bound: 658 1341.70/1353.39 c current bound: 658 1343.20/1354.97 c current bound: 658 1345.01/1356.46 c current bound: 658 1346.18/1357.97 c current bound: 658 1347.67/1359.47 c current bound: 658 1349.49/1360.97 c current bound: 658 1350.68/1362.47 c current bound: 658 1352.19/1363.97 c current bound: 658 1354.00/1365.51 c current bound: 658 1355.50/1367.01 c current bound: 658 1357.01/1368.51 c current bound: 658 1358.51/1370.01 c current bound: 658 1360.00/1371.52 c current bound: 658 1361.48/1373.03 c current bound: 658 1362.63/1374.53 c current bound: 658 1364.48/1376.14 c current bound: 658 1365.62/1377.63 c current bound: 658 1367.13/1379.13 c current bound: 658 1368.97/1380.63 c current bound: 658 1370.12/1382.13 c current bound: 658 1371.62/1383.63 c current bound: 658 1373.47/1385.11 c current bound: 658 1374.98/1386.62 c current bound: 658 1376.10/1388.13 c current bound: 658 1377.96/1389.63 c current bound: 658 1379.11/1391.12 c current bound: 658 1380.97/1392.73 c current bound: 658 1382.13/1394.24 c current bound: 658 1383.61/1395.73 c current bound: 658 1385.46/1397.24 c current bound: 658 1386.63/1398.75 c current bound: 658 1388.12/1400.25 c current bound: 658 1389.95/1401.75 c current bound: 658 1391.14/1403.34 c current bound: 658 1392.98/1404.85 c current bound: 658 1394.14/1406.35 c current bound: 658 1395.65/1407.85 c current bound: 658 1397.48/1409.34 c current bound: 658 1398.63/1410.85 c current bound: 658 1400.13/1412.34 c current bound: 658 1401.62/1413.98 c current bound: 658 1403.12/1415.48 c current bound: 658 1404.92/1416.99 c current bound: 658 1406.12/1418.48 c current bound: 658 1407.62/1419.99 c current bound: 658 1409.51/1421.50 c current bound: 658 1411.00/1423.00 c current bound: 658 1412.41/1424.59 c current bound: 658 1413.61/1426.09 c current bound: 658 1415.10/1427.58 c current bound: 658 1416.89/1429.09 c current bound: 658 1418.10/1430.59 c current bound: 658 1419.59/1432.09 c current bound: 658 1421.38/1433.58 c current bound: 658 1422.59/1435.19 c current bound: 658 1424.38/1436.68 c current bound: 658 1425.58/1438.18 c current bound: 658 1427.07/1439.68 c current bound: 658 1428.88/1441.18 c current bound: 658 1430.07/1442.68 c current bound: 658 1431.56/1444.18 c current bound: 658 1433.38/1445.77 c current bound: 658 1434.57/1447.27 c current bound: 658 1436.37/1448.78 c current bound: 658 1437.57/1450.28 c current bound: 658 1439.07/1451.78 c current bound: 658 1440.87/1453.28 c current bound: 658 1442.06/1454.78 c current bound: 658 1443.56/1456.37 c current bound: 658 1445.36/1457.86 c current bound: 658 1446.56/1459.37 c current bound: 658 1448.37/1460.87 c current bound: 658 1449.57/1462.37 c current bound: 658 1451.05/1463.87 c current bound: 658 1452.86/1465.39 c current bound: 658 1454.07/1466.89 c current bound: 658 1455.55/1468.38 c current bound: 658 1457.35/1469.88 c current bound: 658 1458.54/1471.37 c current bound: 658 1460.03/1472.87 c current bound: 658 1461.84/1474.36 c current bound: 658 1463.03/1475.87 c current bound: 658 1464.87/1477.45 c current bound: 658 1466.03/1478.95 c current bound: 658 1467.54/1480.45 c current bound: 658 1469.37/1481.95 c current bound: 658 1470.52/1483.45 c current bound: 658 1472.02/1484.95 c current bound: 658 1473.86/1486.45 c current bound: 658 1475.02/1488.04 c current bound: 658 1476.87/1489.54 c current bound: 658 1478.01/1491.04 c current bound: 658 1479.52/1492.54 c current bound: 658 1481.35/1494.04 c current bound: 658 1482.87/1495.51 c current bound: 658 1483.96/1496.99 c current bound: 658 1485.86/1498.51 c current bound: 658 1487.35/1500.01 c current bound: 658 1488.86/1501.51 c current bound: 658 1490.36/1503.01 c current bound: 658 1491.84/1504.61 c current bound: 658 1493.35/1506.11 c current bound: 658 1494.86/1507.60 c current bound: 658 1495.97/1509.09 c current bound: 658 1497.85/1510.61 c current bound: 658 1499.34/1512.11 c current bound: 658 1500.46/1513.60 c current bound: 658 1501.97/1515.19 c current bound: 658 1503.46/1516.69 c current bound: 658 1505.24/1518.19 c current bound: 658 1506.86/1519.70 c current bound: 658 1508.35/1521.21 c current bound: 658 1509.74/1522.69 c current bound: 658 1511.35/1524.20 c current bound: 658 1512.75/1525.79 c current bound: 658 1513.96/1527.28 c current bound: 658 1515.46/1528.79 c current bound: 658 1517.26/1530.29 c current bound: 658 1518.46/1531.80 c current bound: 658 1520.36/1533.30 c current bound: 658 1521.74/1534.79 c current bound: 658 1522.96/1536.39 c current bound: 658 1524.75/1537.90 c current bound: 658 1526.34/1539.40 c current bound: 658 1527.83/1540.90 c current bound: 658 1529.34/1542.42 c current bound: 658 1530.47/1543.92 c current bound: 658 1531.96/1545.43 c current bound: 658 1533.80/1546.95 c current bound: 658 1534.99/1548.46 c current bound: 658 1536.81/1549.97 c current bound: 658 1537.99/1551.47 c current bound: 658 1539.48/1552.96 c current bound: 658 1541.29/1554.46 c current bound: 658 1542.48/1555.96 c current bound: 658 1543.99/1557.56 c current bound: 658 1545.79/1559.05 c current bound: 658 1546.97/1560.55 c current bound: 658 1548.80/1562.05 c current bound: 658 1549.97/1563.55 c current bound: 658 1551.44/1565.03 c current bound: 658 1553.31/1566.53 c current bound: 658 1554.44/1568.03 c current bound: 658 1555.94/1569.53 c current bound: 658 1557.78/1571.03 c current bound: 658 1558.93/1572.53 c current bound: 658 1560.81/1574.12 c current bound: 658 1562.19/1575.55 c current bound: 658 1563.37/1577.06 c current bound: 658 1565.20/1578.56 c current bound: 658 1566.36/1580.06 c current bound: 658 1567.86/1581.56 c current bound: 658 1569.68/1583.05 c current bound: 658 1570.85/1584.64 c current bound: 658 1572.34/1586.17 c current bound: 658 1574.19/1587.66 c current bound: 658 1575.37/1589.16 c current bound: 658 1577.19/1590.65 c current bound: 658 1578.36/1592.15 c current bound: 658 1579.86/1593.65 c current bound: 658 1581.71/1595.22 c current bound: 658 1582.85/1596.73 c current bound: 658 1584.35/1598.23 c current bound: 658 1586.20/1599.73 c current bound: 658 1587.35/1601.23 c current bound: 658 1589.22/1602.73 c current bound: 658 1590.72/1604.22 c current bound: 658 1592.24/1605.81 c current bound: 658 1593.74/1607.31 c current bound: 658 1595.23/1608.80 c current bound: 658 1596.73/1610.30 c current bound: 658 1598.24/1611.80 c current bound: 658 1599.74/1613.30 c current bound: 658 1601.24/1614.80 c current bound: 658 1602.74/1616.40 c current bound: 658 1604.25/1617.90 c current bound: 658 1605.74/1619.40 c current bound: 658 1607.24/1620.91 c current bound: 658 1608.74/1622.42 c current bound: 658 1610.25/1623.91 c current bound: 658 1611.74/1625.42 c current bound: 658 1613.25/1627.02 c current bound: 658 1614.38/1628.52 c current bound: 658 1616.24/1630.02 c current bound: 658 1617.73/1631.51 c current bound: 658 1619.24/1633.01 c current bound: 658 1620.35/1634.54 c current bound: 658 1622.23/1636.03 c current bound: 658 1623.38/1637.55 c current bound: 658 1625.21/1639.03 c current bound: 658 1626.36/1640.54 c current bound: 658 1627.85/1642.03 c current bound: 658 1629.70/1643.54 c current bound: 658 1630.84/1645.03 c current bound: 658 1632.35/1646.54 c current bound: 658 1634.22/1648.13 c current bound: 658 1635.35/1649.63 c current bound: 658 1637.23/1651.12 c current bound: 658 1638.35/1652.62 c current bound: 658 1640.22/1654.11 c current bound: 658 1641.61/1655.56 c current bound: 658 1642.77/1657.06 c current bound: 658 1644.29/1658.57 c current bound: 658 1646.10/1660.06 c current bound: 658 1647.28/1661.56 c current bound: 658 1648.78/1663.06 c current bound: 658 1650.27/1664.78 c current bound: 658 1651.76/1666.28 c current bound: 658 1653.55/1667.78 c current bound: 658 1654.75/1669.27 c current bound: 658 1656.25/1670.77 c current bound: 658 1658.05/1672.28 c current bound: 658 1659.25/1673.79 c current bound: 658 1661.04/1675.40 c current bound: 658 1662.65/1676.90 c current bound: 658 1664.15/1678.40 c current bound: 658 1665.65/1679.90 c current bound: 658 1667.15/1681.40 c current bound: 658 1668.64/1682.90 c current bound: 658 1670.14/1684.41 c current bound: 658 1671.26/1686.03 c current bound: 658 1673.14/1687.53 c current bound: 658 1674.28/1689.03 c current bound: 658 1676.15/1690.52 c current bound: 658 1677.63/1692.02 c current bound: 658 1678.78/1693.52 c current bound: 658 1680.28/1695.02 c current bound: 658 1681.81/1696.62 c current bound: 658 1683.68/1698.11 c current bound: 658 1685.19/1699.61 c current bound: 658 1686.67/1701.11 c current bound: 658 1688.18/1702.61 c current bound: 658 1689.64/1704.13 c current bound: 658 1690.79/1705.62 c current bound: 658 1692.66/1707.23 c current bound: 658 1693.80/1708.73 c current bound: 658 1695.29/1710.23 c current bound: 658 1697.15/1711.73 c current bound: 658 1698.29/1713.24 c current bound: 658 1699.79/1714.73 c current bound: 658 1701.71/1716.39 c current bound: 658 1702.81/1717.89 c current bound: 658 1704.62/1719.39 c current bound: 658 1705.81/1720.88 c current bound: 658 1707.30/1722.37 c current bound: 658 1709.11/1723.87 c current bound: 658 1710.29/1725.37 c current bound: 658 1711.78/1726.86 c current bound: 658 1713.60/1728.47 c current bound: 658 1714.79/1729.96 c current bound: 658 1716.61/1731.46 c current bound: 658 1717.79/1732.96 c current bound: 658 1719.30/1734.47 c current bound: 658 1721.12/1735.97 c current bound: 658 1722.29/1737.46 c current bound: 658 1723.80/1739.09 c current bound: 658 1725.70/1740.61 c current bound: 658 1727.19/1742.11 c current bound: 658 1728.70/1743.61 c current bound: 658 1729.82/1745.15 c current bound: 658 1731.33/1746.64 c current bound: 658 1733.22/1748.25 c current bound: 658 1734.32/1749.75 c current bound: 658 1736.16/1751.26 c current bound: 658 1737.33/1752.76 c current bound: 658 1738.83/1754.26 c current bound: 658 1740.64/1755.77 c current bound: 658 1741.83/1757.27 c current bound: 658 1743.33/1758.77 c current bound: 658 1745.14/1760.36 c current bound: 658 1746.32/1761.86 c current bound: 658 1748.13/1763.37 c current bound: 658 1749.33/1764.87 c current bound: 658 1750.83/1766.37 c current bound: 658 1752.63/1767.88 c current bound: 658 1753.83/1769.38 c current bound: 658 1755.34/1770.99 c current bound: 658 1756.83/1772.49 c current bound: 658 1758.33/1773.99 c current bound: 658 1760.12/1775.49 c current bound: 658 1761.32/1776.98 c current bound: 658 1762.81/1778.49 c current bound: 658 1764.62/1779.99 c current bound: 658 1765.82/1781.58 c current bound: 658 1767.32/1783.08 c current bound: 658 1769.12/1784.58 c current bound: 658 1770.31/1786.08 c current bound: 658 1772.11/1787.59 c current bound: 658 1773.70/1789.15 c current bound: 658 1774.82/1790.75 c current bound: 658 1776.64/1792.25 c current bound: 658 1777.80/1793.76 c current bound: 658 1779.62/1795.24 c current bound: 658 1780.78/1796.74 c current bound: 658 1782.29/1798.24 c current bound: 658 1784.11/1799.74 c current bound: 658 1785.28/1801.24 c current bound: 658 1786.77/1802.83 c current bound: 658 1788.62/1804.33 c current bound: 658 1789.72/1805.78 c current bound: 658 1791.21/1807.28 c current bound: 658 1793.04/1808.78 c current bound: 658 1794.23/1810.28 c current bound: 658 1796.06/1811.78 c current bound: 658 1796.96/1813.01 c error: unexpected solver exit code 1796.96/1813.01 s UNKNOWN
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-3715679-1338187354/watcher-3715679-1338187354 -o /tmp/evaluation-result-3715679-1338187354/solver-3715679-1338187354 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715679-1338187354.wbo 731786114 HOME HOME 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.73 1.91 1.87 3/179 23814 /proc/meminfo: memFree=28863196/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [startup+0.0791441 s] /proc/loadavg: 1.73 1.91 1.87 3/179 23814 /proc/meminfo: memFree=28863196/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100307 s] /proc/loadavg: 1.73 1.91 1.87 3/179 23814 /proc/meminfo: memFree=28863196/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300294 s] /proc/loadavg: 1.73 1.91 1.87 3/179 23814 /proc/meminfo: memFree=28863196/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700143 s] /proc/loadavg: 1.73 1.91 1.87 3/179 23814 /proc/meminfo: memFree=28863196/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50048 s] /proc/loadavg: 1.73 1.91 1.87 3/183 23825 /proc/meminfo: memFree=28739472/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=27048 CPUtime=0.67 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 5327 0 0 0 65 2 0 0 20 0 1 0 284860482 27697152 4613 33554432000 4194304 5990268 140735685233744 140735685226896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/23815/statm: 6762 4613 156 439 0 6319 0 [pid=23818] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23818/stat : 23818 (cp2_pre.sh) S 23815 23814 18846 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284860550 9367552 277 33554432000 4194304 5064252 140734498463712 140734498462416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/23818/statm: 2287 277 234 213 0 72 0 [pid=23821] ppid=23818 vsize=130640 CPUtime=0.81 cores=1,3,5,7 /proc/23821/stat : 23821 (coprocessor) R 23818 23814 18846 0 -1 4202496 23532 0 0 0 76 5 0 0 20 0 1 0 284860550 133775360 31401 33554432000 4194304 6586260 140735715696448 140735715692648 4788884 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/23821/statm: 32660 31401 182 584 0 32072 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 175984 [startup+3.10035 s] /proc/loadavg: 1.73 1.91 1.87 3/183 23832 /proc/meminfo: memFree=28687016/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=27048 CPUtime=0.67 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 5327 0 0 0 65 2 0 0 20 0 1 0 284860482 27697152 4613 33554432000 4194304 5990268 140735685233744 140735685226896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/23815/statm: 6762 4613 156 439 0 6319 0 [pid=23818] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23818/stat : 23818 (cp2_pre.sh) S 23815 23814 18846 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284860550 9367552 277 33554432000 4194304 5064252 140734498463712 140734498462416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/23818/statm: 2287 277 234 213 0 72 0 [pid=23821] ppid=23818 vsize=153376 CPUtime=2.4 cores=1,3,5,7 /proc/23821/stat : 23821 (coprocessor) R 23818 23814 18846 0 -1 4202496 26919 0 0 0 235 5 0 0 20 0 1 0 284860550 157057024 37343 33554432000 4194304 6586260 140735715696448 140735715691768 5599216 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/23821/statm: 38344 37343 191 584 0 37756 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 198720 [startup+6.30033 s] /proc/loadavg: 1.75 1.91 1.87 3/183 23853 /proc/meminfo: memFree=28643968/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=33144 CPUtime=6.28 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) R 23814 23814 18846 0 -1 4202496 6736 49342 0 0 69 17 461 81 20 0 1 0 284860482 33939456 5939 33554432000 4194304 5990268 140735685233744 140735685227472 5177872 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/23815/statm: 8286 5939 160 439 0 7843 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 42292 [startup+12.7003 s] /proc/loadavg: 1.85 1.93 1.87 3/184 23939 /proc/meminfo: memFree=28768392/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=12.37 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 22177 140102 0 0 92 23 989 133 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23815/statm: 10420 7802 180 439 0 9977 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 50828 [startup+25.5004 s] /proc/loadavg: 1.96 1.95 1.88 3/183 24006 /proc/meminfo: memFree=28670684/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=24.32 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 49793 319272 0 0 131 29 2044 228 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/23815/statm: 10420 7802 180 439 0 9977 0 [pid=24005] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24005/stat : 24005 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284862957 9367552 267 33554432000 4194304 5064252 140736507218448 140736507217360 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/24005/statm: 2287 267 226 213 0 72 0 [pid=24006] ppid=24005 vsize=70656 CPUtime=0.74 cores=1,3,5,7 /proc/24006/stat : 24006 (glucose) R 24005 23814 18846 0 -1 4202496 12298 0 0 0 72 2 0 0 20 0 1 0 284862957 72351744 13333 33554432000 4194304 5208918 140735565284624 140735565283032 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24006/statm: 17664 13333 103 248 0 17413 0 Current children cumulated CPU time (s) 25.06 Current children cumulated vsize (KiB) 130632 [startup+51.1004 s] /proc/loadavg: 1.91 1.94 1.88 3/183 24125 /proc/meminfo: memFree=28657632/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=49.75 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 108477 705880 0 0 213 42 4292 428 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0 /proc/23815/statm: 10420 7802 180 439 0 9977 0 [pid=24124] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24124/stat : 24124 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284865517 9367552 267 33554432000 4194304 5064252 140733744064016 140733744062928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/24124/statm: 2287 267 226 213 0 72 0 [pid=24125] ppid=24124 vsize=70656 CPUtime=0.74 cores=1,3,5,7 /proc/24125/stat : 24125 (glucose) R 24124 23814 18846 0 -1 4202496 12824 0 0 0 71 3 0 0 20 0 1 0 284865518 72351744 13747 33554432000 4194304 5208918 140737258826336 140737258824184 4212192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/24125/statm: 17664 13747 103 248 0 17413 0 Current children cumulated CPU time (s) 50.49 Current children cumulated vsize (KiB) 130632 [startup+102.307 s] /proc/loadavg: 1.97 1.94 1.88 3/183 24370 /proc/meminfo: memFree=28684172/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=100.64 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 225845 1479691 0 0 376 71 8773 844 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 21 0 0 /proc/23815/statm: 10420 7802 180 439 0 9977 0 [pid=24369] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24369/stat : 24369 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284870649 9367552 267 33554432000 4194304 5064252 140736869927312 140736869926224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/24369/statm: 2287 267 226 213 0 72 0 [pid=24370] ppid=24369 vsize=69992 CPUtime=0.62 cores=1,3,5,7 /proc/24370/stat : 24370 (glucose) R 24369 23814 18846 0 -1 4202496 12590 0 0 0 60 2 0 0 20 0 1 0 284870650 71671808 13520 33554432000 4194304 5208918 140737103155280 140737103153224 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/24370/statm: 17498 13520 103 248 0 17247 0 Current children cumulated CPU time (s) 101.26 Current children cumulated vsize (KiB) 129968 [startup+162.3 s] /proc/loadavg: 2.05 1.98 1.90 3/183 24646 /proc/meminfo: memFree=28650404/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=160.54 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 363925 2388325 0 0 570 101 14057 1326 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0 /proc/23815/statm: 10420 7802 180 439 0 9977 0 Current children cumulated CPU time (s) 160.54 Current children cumulated vsize (KiB) 50828 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.90 3/183 24933 /proc/meminfo: memFree=28640084/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=220.41 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 502005 3296113 0 0 762 132 19338 1809 20 0 1 0 284860482 42680320 7802 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 44 0 0 /proc/23815/statm: 10420 7802 180 439 0 9977 0 Current children cumulated CPU time (s) 220.41 ################ # More data... # ################ /proc/31131/stat : 31131 (glucose) R 31130 23814 18846 0 -1 4202496 13916 0 0 0 94 2 0 0 20 0 1 0 285013215 73678848 13816 33554432000 4194304 5208918 140737017501712 140737017499656 4341484 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/31131/statm: 17988 13816 103 248 0 17737 0 Current children cumulated CPU time (s) 1515.35 Current children cumulated vsize (KiB) 131928 [startup+1528.4 s] /proc/loadavg: 2.00 2.01 1.98 3/183 31131 /proc/meminfo: memFree=28653164/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=1514.39 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) R 23814 23814 18846 0 -1 4202496 3195784 22937147 0 0 4903 792 133510 12234 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 0 0 0 17 5 0 0 479 0 0 /proc/23815/statm: 10420 7928 180 439 0 9977 0 Current children cumulated CPU time (s) 1514.39 Current children cumulated vsize (KiB) 50828 # ############ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 1.98 3/184 31197 /proc/meminfo: memFree=28657280/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=1528.95 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3223394 23155458 0 0 4946 799 134805 12345 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685224640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 483 0 0 /proc/23815/statm: 10420 7928 180 439 0 9977 0 [pid=31195] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31195/stat : 31195 (cp2_post.sh) S 23815 23814 18846 0 -1 4202496 612 225 0 0 0 0 0 0 20 0 1 0 285014684 9367552 266 33554432000 4194304 5064252 140735059732352 140735059730640 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31195/statm: 2287 266 225 213 0 72 0 [pid=31197] ppid=31195 vsize=52872 CPUtime=0.28 cores=1,3,5,7 /proc/31197/stat : 31197 (coprocessor) R 31195 23814 18846 0 -1 4202496 7384 0 0 0 23 5 0 0 20 0 1 0 285014684 54140928 12167 33554432000 4194304 6586260 140737304871872 140735059730664 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0 /proc/31197/statm: 13218 12167 149 584 0 12630 0 Current children cumulated CPU time (s) 1529.23 Current children cumulated vsize (KiB) 112848 [startup+1602.3 s] /proc/loadavg: 1.94 1.99 1.97 3/183 31481 /proc/meminfo: memFree=28650992/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=1587.79 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3346067 24052510 0 0 5137 829 139998 12815 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 497 0 0 /proc/23815/statm: 10420 7928 180 439 0 9977 0 [pid=31480] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31480/stat : 31480 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285020609 9367552 267 33554432000 4194304 5064252 140736712761808 140736712760720 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/31480/statm: 2287 267 226 213 0 72 0 [pid=31481] ppid=31480 vsize=72180 CPUtime=1.01 cores=1,3,5,7 /proc/31481/stat : 31481 (glucose) R 31480 23814 18846 0 -1 4202496 13339 0 0 0 98 3 0 0 20 0 1 0 285020610 73912320 14262 33554432000 4194304 5208918 140734990456608 140734990454552 4607488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/31481/statm: 18045 14262 105 248 0 17794 0 Current children cumulated CPU time (s) 1588.8 Current children cumulated vsize (KiB) 132156 [startup+1662.3 s] /proc/loadavg: 1.98 1.99 1.97 3/184 31771 /proc/meminfo: memFree=28682232/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=1647.71 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3468747 24952040 0 0 5330 859 145286 13296 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 513 0 0 /proc/23815/statm: 10420 7928 180 439 0 9977 0 [pid=31770] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31770/stat : 31770 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 285026642 9367552 266 33554432000 4194304 5064252 140734051646224 140734051645136 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/31770/statm: 2287 266 226 213 0 72 0 [pid=31771] ppid=31770 vsize=70652 CPUtime=0.68 cores=1,3,5,7 /proc/31771/stat : 31771 (glucose) R 31770 23814 18846 0 -1 4202496 12884 0 0 0 66 2 0 0 20 0 1 0 285026643 72347648 13305 33554432000 4194304 5208918 140736613423200 140736613421048 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/31771/statm: 17663 13306 103 248 0 17412 0 Current children cumulated CPU time (s) 1648.39 Current children cumulated vsize (KiB) 130628 [startup+1722.3 s] /proc/loadavg: 2.06 2.01 1.98 3/183 32044 /proc/meminfo: memFree=28641476/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=1707.3 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3588367 25852664 0 0 5517 887 150553 13773 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685224640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 540 0 0 /proc/23815/statm: 10420 7928 180 439 0 9977 0 Current children cumulated CPU time (s) 1707.3 Current children cumulated vsize (KiB) 50828 [startup+1782.3 s] /proc/loadavg: 2.10 2.02 1.98 3/183 32331 /proc/meminfo: memFree=28651436/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=1766.26 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3711040 26746236 0 0 5707 918 155751 14250 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 562 0 0 /proc/23815/statm: 10420 7928 180 439 0 9977 0 [pid=32330] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32330/stat : 32330 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285038644 9367552 267 33554432000 4194304 5064252 140737160033648 140737160032560 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/32330/statm: 2287 267 226 213 0 72 0 [pid=32331] ppid=32330 vsize=69992 CPUtime=0.66 cores=1,3,5,7 /proc/32331/stat : 32331 (glucose) R 32330 23814 18846 0 -1 4202496 12169 0 0 0 64 2 0 0 20 0 1 0 285038645 71671808 13155 33554432000 4194304 5208918 140736768444576 140736768442424 4229757 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/32331/statm: 17498 13155 103 248 0 17247 0 Current children cumulated CPU time (s) 1766.92 Current children cumulated vsize (KiB) 129968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1813 s] /proc/loadavg: 2.06 2.02 1.98 3/183 32705 /proc/meminfo: memFree=28770644/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=1796.18 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3772380 27204851 0 0 5803 933 158390 14492 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 579 0 0 /proc/23815/statm: 10420 7928 180 439 0 9977 0 [pid=32666] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32666/stat : 32666 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285041677 9367552 266 33554432000 4194304 5064252 140734442859520 140734442858432 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/32666/statm: 2287 266 226 213 0 72 0 [pid=32667] ppid=32666 vsize=70656 CPUtime=0.78 cores=1,3,5,7 /proc/32667/stat : 32667 (glucose) R 32666 23814 18846 0 -1 4202496 12307 0 0 0 76 2 0 0 20 0 1 0 285041677 72351744 13350 33554432000 4194304 5208918 140735262999840 140735262997784 4465602 0 0 4096 0 0 0 0 17 1 0 0 25 0 0 /proc/32667/statm: 17664 13350 103 248 0 17413 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 130632 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1813 s] /proc/loadavg: 2.06 2.02 1.98 3/183 32705 /proc/meminfo: memFree=28770644/32873844 swapFree=7116/7116 [pid=23814] ppid=23812 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23814/stat : 23814 (npSolver-wbo-It) S 23812 23814 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284860482 9367552 274 33554432000 4194304 5064252 140736580951632 140736580950544 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23814/statm: 2287 274 233 213 0 72 0 [pid=23815] ppid=23814 vsize=41680 CPUtime=1796.18 cores=1,3,5,7 /proc/23815/stat : 23815 (npSolver-wbo) S 23814 23814 18846 0 -1 4202496 3772380 27204851 0 0 5803 933 158390 14492 20 0 1 0 284860482 42680320 7928 33554432000 4194304 5990268 140735685233744 140735685225152 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 579 0 0 /proc/23815/statm: 10420 7928 180 439 0 9977 0 [pid=32666] ppid=23815 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32666/stat : 32666 (satsolver.sh) S 23815 23814 18846 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285041677 9367552 266 33554432000 4194304 5064252 140734442859520 140734442858432 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/32666/statm: 2287 266 226 213 0 72 0 [pid=32667] ppid=32666 vsize=70656 CPUtime=0.78 cores=1,3,5,7 /proc/32667/stat : 32667 (glucose) R 32666 23814 18846 0 -1 4202496 12307 0 0 0 76 2 0 0 20 0 1 0 285041677 72351744 13350 33554432000 4194304 5208918 140735262999840 140735262997784 4465602 0 0 4096 0 0 0 0 17 1 0 0 25 0 0 /proc/32667/statm: 17664 13350 103 248 0 17413 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 130632 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23814 and gives # childrusage.ru_utime.tv_sec=1641 # childrusage.ru_utime.tv_usec=939387 # childrusage.ru_stime.tv_sec=154 # childrusage.ru_stime.tv_usec=264548 # CPU time returned by wait4() is 1796.2 # while last known CPU time is 1796.96 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.11993 # lost CPU user time (s): 3.02994 # lost CPU system time (s): 0.090004 Real time (s): 1813.01 CPU time (s): 1800.08 CPU user time (s): 1645.72 CPU system time (s): 154.36 CPU usage (%): 99.2866 Max. virtual memory (cumulated for all children) (KiB): 233464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1641.94 system time used= 154.265 maximum resident set size= 183336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30978205 page faults= 0 swaps= 0 block input operations= 0 block output operations= 22194024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 673679 involuntary context switches= 20387 runsolver used 3.2565 second user time and 9.14061 second system time The end
Begin job on node138 at 2012-05-28 08:42:34 IDJOB=3715679 IDBENCH=78741 IDSOLVER=2297 FILE ID=node138/3715679-1338187354 RUNJOBID= node138-1338160170-18863 PBS_JOBID= 14624560 Free space on /tmp= 71480 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715679-1338187354/watcher-3715679-1338187354 -o /tmp/evaluation-result-3715679-1338187354/solver-3715679-1338187354 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715679-1338187354.wbo 731786114 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8ea1de4cad02f20126bf15704ca9ee6a RANDOM SEED=731786114 node138.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.347 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.69 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.347 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.347 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.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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.347 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.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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: 28863196 kB Buffers: 620196 kB Cached: 2446576 kB SwapCached: 208 kB Active: 1170052 kB Inactive: 1947088 kB Active(anon): 35124 kB Inactive(anon): 11368 kB Active(file): 1134928 kB Inactive(file): 1935720 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108648 kB Dirty: 10240 kB Writeback: 4 kB AnonPages: 50888 kB Mapped: 15424 kB Shmem: 200 kB Slab: 753944 kB SReclaimable: 195112 kB SUnreclaim: 558832 kB KernelStack: 1552 kB PageTables: 4112 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 166392 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 71460 MiB End job on node138 at 2012-05-28 09:12:47