Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1800.24 | 1803.92 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo |
MD5SUM | c9611a719411a0f5e82fa4122f33d8f1 |
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 | 0.264959 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 2550 |
Total number of constraints | 101 |
Number of soft constraints | 30 |
Number of constraints which are clauses | 51 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 50 |
Maximum length of a constraint | 51 |
Top cost | 1659 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 1658 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 52 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.15 c run usual solver 2.06/2.19 o 967 2.06/2.19 c starting approximation 2.06/2.19 c factor = 2 2.06/2.19 c current bound: 483 3.58/3.68 c current bound: 483 5.06/5.17 c current bound: 483 6.57/6.68 c current bound: 483 8.06/8.17 c current bound: 483 9.55/9.65 c current bound: 483 11.04/11.14 c current bound: 483 12.51/12.62 c current bound: 483 13.94/14.09 c current bound: 483 15.47/15.58 c current bound: 483 16.95/17.07 c current bound: 483 18.46/18.56 c current bound: 483 19.94/20.05 c current bound: 483 21.43/21.54 c current bound: 483 22.96/23.02 c current bound: 483 24.36/24.48 c current bound: 483 25.87/25.97 c current bound: 483 27.38/27.46 c current bound: 483 28.84/28.94 c current bound: 483 30.32/30.42 c current bound: 483 31.89/31.91 c current bound: 483 33.26/33.38 c current bound: 483 34.77/34.88 c current bound: 483 36.27/36.37 c current bound: 483 37.74/37.84 c current bound: 483 39.22/39.32 c current bound: 483 40.71/40.81 c current bound: 483 42.27/42.30 c current bound: 483 43.67/43.77 c current bound: 483 45.14/45.25 c current bound: 483 46.63/46.73 c current bound: 483 48.12/48.22 c current bound: 483 49.60/49.72 c current bound: 483 51.09/51.21 c current bound: 483 52.56/52.69 c current bound: 483 54.14/54.24 c current bound: 483 55.63/55.73 c current bound: 483 57.12/57.22 c current bound: 483 58.62/58.72 c current bound: 483 60.10/60.21 c current bound: 483 61.59/61.71 c current bound: 483 63.05/63.19 c current bound: 483 64.56/64.69 c current bound: 483 66.07/66.17 c current bound: 483 67.56/67.67 c current bound: 483 69.04/69.15 c current bound: 483 70.53/70.63 c current bound: 483 72.02/72.12 c current bound: 483 73.57/73.62 c current bound: 483 74.99/75.10 c current bound: 483 76.56/76.60 c current bound: 483 77.96/78.09 c current bound: 483 79.46/79.58 c current bound: 483 80.95/81.07 c current bound: 483 82.44/82.55 c current bound: 483 83.90/84.03 c current bound: 483 85.40/85.52 c current bound: 483 86.89/87.01 c current bound: 483 88.46/88.57 c current bound: 483 89.87/90.07 c current bound: 483 91.35/91.55 c current bound: 483 92.85/93.04 c current bound: 483 94.38/94.53 c current bound: 483 95.89/96.00 c current bound: 483 97.26/97.49 c current bound: 483 98.77/98.97 c current bound: 483 100.24/100.45 c current bound: 483 101.73/101.95 c current bound: 483 103.23/103.43 c current bound: 483 104.71/104.91 c current bound: 483 106.20/106.41 c current bound: 483 107.67/107.90 c current bound: 483 109.27/109.40 c current bound: 483 110.68/110.88 c current bound: 483 112.14/112.36 c current bound: 483 113.63/113.84 c current bound: 483 115.13/115.33 c current bound: 483 116.61/116.82 c current bound: 483 118.10/118.31 c current bound: 483 119.55/119.80 c current bound: 483 121.06/121.29 c current bound: 483 122.56/122.77 c current bound: 483 124.08/124.26 c current bound: 483 125.55/125.75 c current bound: 483 127.03/127.24 c current bound: 483 128.51/128.72 c current bound: 483 130.00/130.21 c current bound: 483 131.50/131.71 c current bound: 483 132.97/133.19 c current bound: 483 134.46/134.68 c current bound: 483 135.97/136.18 c current bound: 483 137.45/137.65 c current bound: 483 138.94/139.15 c current bound: 483 140.42/140.63 c current bound: 483 141.98/142.10 c current bound: 483 143.38/143.71 c current bound: 483 144.94/145.21 c current bound: 483 146.33/146.68 c current bound: 483 147.83/148.17 c current bound: 483 149.32/149.66 c current bound: 483 150.81/151.15 c current bound: 483 152.30/152.63 c current bound: 483 153.73/154.09 c current bound: 483 155.23/155.58 c current bound: 483 156.71/157.07 c current bound: 483 158.21/158.56 c current bound: 483 159.70/160.05 c current bound: 483 161.20/161.55 c current bound: 483 162.69/163.03 c current bound: 483 164.17/164.52 c current bound: 483 165.72/166.01 c current bound: 483 167.16/167.50 c current bound: 483 168.62/168.99 c current bound: 483 170.13/170.48 c current bound: 483 171.62/171.97 c current bound: 483 173.10/173.46 c current bound: 483 174.60/174.95 c current bound: 483 176.10/176.44 c current bound: 483 177.58/177.92 c current bound: 483 179.06/179.42 c current bound: 483 180.56/180.91 c current bound: 483 182.03/182.38 c current bound: 483 183.52/183.87 c current bound: 483 185.00/185.35 c current bound: 483 186.49/186.84 c current bound: 483 187.99/188.33 c current bound: 483 189.45/189.81 c current bound: 483 190.93/191.28 c current bound: 483 192.42/192.77 c current bound: 483 193.92/194.26 c current bound: 483 195.42/195.74 c current bound: 483 196.88/197.24 c current bound: 483 198.37/198.72 c current bound: 483 199.94/200.21 c current bound: 483 201.33/201.69 c current bound: 483 202.83/203.18 c current bound: 483 204.32/204.67 c current bound: 483 205.82/206.17 c current bound: 483 207.32/207.66 c current bound: 483 208.79/209.14 c current bound: 483 210.29/210.66 c current bound: 483 211.77/212.15 c current bound: 483 213.25/213.63 c current bound: 483 214.75/215.13 c current bound: 483 216.31/216.62 c current bound: 483 217.74/218.11 c current bound: 483 219.18/219.59 c current bound: 483 220.78/221.20 c current bound: 483 222.17/222.68 c current bound: 483 223.65/224.15 c current bound: 483 225.14/225.63 c current bound: 483 226.62/227.11 c current bound: 483 228.10/228.61 c current bound: 483 229.69/230.10 c current bound: 483 231.07/231.59 c current bound: 483 232.58/233.08 c current bound: 483 234.08/234.57 c current bound: 483 235.54/236.05 c current bound: 483 237.08/237.53 c current bound: 483 238.53/239.03 c current bound: 483 240.03/240.52 c current bound: 483 241.48/242.00 c current bound: 483 242.97/243.49 c current bound: 483 244.49/245.10 c current bound: 483 246.07/246.60 c current bound: 483 247.46/248.08 c current bound: 483 248.95/249.56 c current bound: 483 250.42/251.05 c current bound: 483 251.90/252.52 c current bound: 483 253.44/254.01 c current bound: 483 254.84/255.49 c current bound: 483 256.34/256.96 c current bound: 483 257.85/258.45 c current bound: 483 259.32/259.95 c current bound: 483 260.79/261.43 c current bound: 483 262.35/262.90 c current bound: 483 263.75/264.39 c current bound: 483 265.32/266.00 c current bound: 483 266.70/267.48 c current bound: 483 268.21/268.98 c current bound: 483 269.69/270.46 c current bound: 483 271.16/271.92 c current bound: 483 272.64/273.41 c current bound: 483 274.11/274.90 c current bound: 483 275.60/276.39 c current bound: 483 277.11/277.87 c current bound: 483 278.61/279.36 c current bound: 483 280.08/280.84 c current bound: 483 281.56/282.32 c current bound: 483 283.00/283.79 c current bound: 483 284.49/285.28 c current bound: 483 286.00/286.77 c current bound: 483 287.50/288.41 c current bound: 483 288.95/289.89 c current bound: 483 290.46/291.38 c current bound: 483 291.94/292.86 c current bound: 483 293.43/294.34 c current bound: 483 294.96/295.83 c current bound: 483 296.41/297.32 c current bound: 483 297.86/298.80 c current bound: 483 299.37/300.27 c current bound: 483 300.83/301.75 c current bound: 483 302.33/303.24 c current bound: 483 303.82/304.73 c current bound: 483 305.31/306.22 c current bound: 483 306.80/307.70 c current bound: 483 308.37/309.20 c current bound: 483 309.85/310.70 c current bound: 483 311.24/312.19 c current bound: 483 312.74/313.67 c current bound: 483 314.23/315.15 c current bound: 483 315.71/316.64 c current bound: 483 317.20/318.13 c current bound: 483 318.70/319.62 c current bound: 483 320.26/321.11 c current bound: 483 321.76/322.60 c current bound: 483 323.16/324.09 c current bound: 483 324.66/325.58 c current bound: 483 326.14/327.06 c current bound: 483 327.63/328.56 c current bound: 483 329.12/330.04 c current bound: 483 330.60/331.52 c current bound: 483 332.09/333.01 c current bound: 483 333.65/334.50 c current bound: 483 335.06/335.98 c current bound: 483 336.54/337.46 c current bound: 483 338.02/338.94 c current bound: 483 339.52/340.44 c current bound: 483 341.00/341.92 c current bound: 483 342.56/343.40 c current bound: 483 343.96/344.88 c current bound: 483 345.44/346.36 c current bound: 483 346.92/347.84 c current bound: 483 348.42/349.33 c current bound: 483 349.95/350.83 c current bound: 483 351.40/352.32 c current bound: 483 352.97/353.80 c current bound: 483 354.44/355.31 c current bound: 483 355.83/356.79 c current bound: 483 357.33/358.27 c current bound: 483 358.83/359.77 c current bound: 483 360.32/361.25 c current bound: 483 361.80/362.74 c current bound: 483 363.28/364.22 c current bound: 483 364.78/365.71 c current bound: 483 366.26/367.21 c current bound: 483 367.84/368.70 c current bound: 483 369.23/370.18 c current bound: 483 370.72/371.66 c current bound: 483 372.20/373.14 c current bound: 483 373.70/374.63 c current bound: 483 375.25/376.12 c current bound: 483 376.68/377.64 c current bound: 483 378.18/379.13 c current bound: 483 379.72/380.69 c current bound: 483 381.25/382.21 c current bound: 483 382.79/383.76 c current bound: 483 384.35/385.31 c current bound: 483 385.87/386.84 c current bound: 483 387.40/388.39 c current bound: 483 388.89/389.89 c current bound: 483 390.47/391.45 c current bound: 483 392.09/393.00 c current bound: 483 393.53/394.52 c current bound: 483 395.08/396.07 c current bound: 483 396.57/397.58 c current bound: 483 398.12/399.12 c current bound: 483 399.65/400.67 c current bound: 483 401.26/402.20 c current bound: 483 402.74/403.75 c current bound: 483 404.24/405.26 c current bound: 483 405.79/406.80 c current bound: 483 407.34/408.37 c current bound: 483 408.95/409.90 c current bound: 483 410.41/411.45 c current bound: 483 411.93/412.96 c current bound: 483 413.44/414.47 c current bound: 483 414.99/416.03 c current bound: 483 416.50/417.55 c current bound: 483 418.02/419.10 c current bound: 483 419.57/420.62 c current bound: 483 421.09/422.15 c current bound: 483 422.66/423.71 c current bound: 483 424.14/425.21 c current bound: 483 425.70/426.74 c current bound: 483 427.18/428.25 c current bound: 483 428.68/429.77 c current bound: 483 430.18/431.28 c current bound: 483 431.67/432.79 c current bound: 483 433.24/434.33 c current bound: 483 434.82/435.91 c current bound: 483 436.36/437.45 c current bound: 483 437.90/439.01 c current bound: 483 439.42/440.53 c current bound: 483 440.90/442.01 c current bound: 483 442.46/443.57 c current bound: 483 444.06/445.10 c current bound: 483 445.54/446.66 c current bound: 483 447.04/448.16 c current bound: 483 448.64/449.70 c current bound: 483 450.14/451.27 c current bound: 483 451.64/452.79 c current bound: 483 453.19/454.32 c current bound: 483 454.68/455.82 c current bound: 483 456.20/457.35 c current bound: 483 457.76/458.91 c current bound: 483 459.27/460.43 c current bound: 483 460.81/461.98 c current bound: 483 462.30/463.48 c current bound: 483 463.83/465.01 c current bound: 483 465.33/466.51 c current bound: 483 466.85/468.03 c current bound: 483 468.40/469.57 c current bound: 483 469.93/471.13 c current bound: 483 471.47/472.66 c current bound: 483 473.08/474.20 c current bound: 483 474.52/475.71 c current bound: 483 476.11/477.44 c current bound: 483 477.55/478.94 c current bound: 483 479.02/480.42 c current bound: 483 480.57/481.98 c current bound: 483 482.12/483.51 c current bound: 483 483.56/484.98 c current bound: 483 485.13/486.54 c current bound: 483 486.64/488.07 c current bound: 483 488.22/489.64 c current bound: 483 489.73/491.15 c current bound: 483 491.22/492.68 c current bound: 483 492.81/494.25 c current bound: 483 494.31/495.74 c current bound: 483 495.94/497.30 c current bound: 483 497.39/498.83 c current bound: 483 498.90/500.35 c current bound: 483 500.47/501.92 c current bound: 483 501.98/503.44 c current bound: 483 503.51/504.99 c current bound: 483 505.11/506.50 c current bound: 483 506.57/508.03 c current bound: 483 508.04/509.51 c current bound: 483 509.56/511.04 c current bound: 483 511.09/512.58 c current bound: 483 512.63/514.11 c current bound: 483 514.14/515.63 c current bound: 483 515.67/517.18 c current bound: 483 517.17/518.69 c current bound: 483 518.77/520.22 c current bound: 483 520.21/521.71 c current bound: 483 521.71/523.22 c current bound: 483 523.26/524.78 c current bound: 483 524.73/526.29 c current bound: 483 526.31/527.83 c current bound: 483 527.85/529.39 c current bound: 483 529.39/530.91 c current bound: 483 530.95/532.47 c current bound: 483 532.44/533.97 c current bound: 483 533.92/535.46 c current bound: 483 535.54/537.07 c current bound: 483 537.02/538.56 c current bound: 483 538.61/540.14 c current bound: 483 540.13/541.68 c current bound: 483 541.71/543.26 c current bound: 483 543.32/544.87 c current bound: 483 544.88/546.44 c current bound: 483 546.48/548.04 c current bound: 483 548.02/549.57 c current bound: 483 549.60/551.17 c current bound: 483 551.09/552.69 c current bound: 483 552.69/554.27 c current bound: 483 554.29/555.88 c current bound: 483 555.88/557.46 c current bound: 483 557.49/559.07 c current bound: 483 559.03/560.63 c current bound: 483 560.62/562.22 c current bound: 483 562.18/563.77 c current bound: 483 563.78/565.35 c current bound: 483 565.27/566.86 c current bound: 483 566.85/568.45 c current bound: 483 568.46/570.06 c current bound: 483 570.00/571.61 c current bound: 483 571.61/573.23 c current bound: 483 573.11/574.72 c current bound: 483 574.58/576.21 c current bound: 483 576.20/577.83 c current bound: 483 577.77/579.40 c current bound: 483 579.38/581.01 c current bound: 483 580.93/582.57 c current bound: 483 582.53/584.18 c current bound: 483 584.05/585.71 c current bound: 483 585.61/587.30 c current bound: 483 587.29/588.93 c current bound: 483 588.77/590.42 c current bound: 483 590.38/592.04 c current bound: 483 592.02/593.60 c current bound: 483 593.48/595.13 c current bound: 483 594.96/596.62 c current bound: 483 596.50/598.18 c current bound: 483 598.14/599.81 c current bound: 483 599.69/601.37 c current bound: 483 601.29/602.98 c current bound: 483 602.83/604.50 c current bound: 483 604.38/606.09 c current bound: 483 605.93/607.60 c current bound: 483 607.49/609.17 c current bound: 483 609.05/610.75 c current bound: 483 610.69/612.30 c current bound: 483 612.17/613.89 c current bound: 483 613.74/615.43 c current bound: 483 615.36/617.02 c current bound: 483 616.85/618.54 c current bound: 483 618.31/620.01 c current bound: 483 619.91/621.62 c current bound: 483 621.45/623.16 c current bound: 483 623.06/624.74 c current bound: 483 624.56/626.27 c current bound: 483 626.13/627.83 c current bound: 483 627.74/629.46 c current bound: 483 629.35/631.00 c current bound: 483 630.94/632.60 c current bound: 483 632.40/634.13 c current bound: 483 634.03/635.77 c current bound: 483 635.52/637.29 c current bound: 483 637.11/638.85 c current bound: 483 638.72/640.47 c current bound: 483 640.20/641.96 c current bound: 483 641.80/643.56 c current bound: 483 643.30/645.06 c current bound: 483 644.87/646.64 c current bound: 483 646.50/648.27 c current bound: 483 648.06/649.84 c current bound: 483 649.67/651.45 c current bound: 483 651.22/653.01 c current bound: 483 652.88/654.60 c current bound: 483 654.33/656.13 c current bound: 483 655.98/657.71 c current bound: 483 657.43/659.22 c current bound: 483 658.96/660.79 c current bound: 483 660.61/662.41 c current bound: 483 662.06/663.88 c current bound: 483 663.66/665.41 c current bound: 483 665.11/666.92 c current bound: 483 666.66/668.47 c current bound: 483 668.24/670.08 c current bound: 483 669.80/671.62 c current bound: 483 671.28/673.11 c current bound: 483 672.79/674.61 c current bound: 483 674.34/676.17 c current bound: 483 675.92/677.78 c current bound: 483 677.47/679.31 c current bound: 483 679.02/680.90 c current bound: 483 680.58/682.42 c current bound: 483 682.21/684.00 c current bound: 483 683.78/685.64 c current bound: 483 685.35/687.21 c current bound: 483 686.96/688.82 c current bound: 483 688.50/690.37 c current bound: 483 690.10/691.97 c current bound: 483 691.64/693.50 c current bound: 483 693.19/695.08 c current bound: 483 694.86/696.73 c current bound: 483 696.44/698.32 c current bound: 483 698.05/699.92 c current bound: 483 699.59/701.40 c current bound: 483 701.19/703.00 c current bound: 483 702.62/704.53 c current bound: 483 704.23/706.13 c current bound: 483 705.71/707.65 c current bound: 483 707.26/709.20 c current bound: 483 708.89/710.81 c current bound: 483 710.44/712.37 c current bound: 483 712.03/713.97 c current bound: 483 713.51/715.46 c current bound: 483 715.08/717.04 c current bound: 483 716.59/718.56 c current bound: 483 718.08/720.04 c current bound: 483 719.67/721.65 c current bound: 483 721.14/723.12 c current bound: 483 722.68/724.67 c current bound: 483 724.28/726.29 c current bound: 483 725.85/727.84 c current bound: 483 727.46/729.46 c current bound: 483 728.96/730.99 c current bound: 483 730.57/732.58 c current bound: 483 732.18/734.10 c current bound: 483 733.66/735.67 c current bound: 483 735.26/737.27 c current bound: 483 736.80/738.82 c current bound: 483 738.41/740.43 c current bound: 483 739.94/741.95 c current bound: 483 741.55/743.55 c current bound: 483 743.01/745.04 c current bound: 483 744.57/746.61 c current bound: 483 746.02/748.09 c current bound: 483 747.58/749.62 c current bound: 483 749.11/751.20 c current bound: 483 750.77/752.83 c current bound: 483 752.42/754.40 c current bound: 483 753.82/755.87 c current bound: 483 755.38/757.43 c current bound: 483 756.96/759.02 c current bound: 483 758.46/760.53 c current bound: 483 760.04/762.11 c current bound: 483 761.54/763.62 c current bound: 483 763.05/765.13 c current bound: 483 764.58/766.62 c current bound: 483 766.06/768.14 c current bound: 483 767.62/769.71 c current bound: 483 769.12/771.21 c current bound: 483 770.65/772.75 c current bound: 483 772.26/774.34 c current bound: 483 773.74/775.85 c current bound: 483 775.30/777.42 c current bound: 483 776.91/779.03 c current bound: 483 778.45/780.57 c current bound: 483 780.04/782.18 c current bound: 483 781.60/783.73 c current bound: 483 783.13/785.27 c current bound: 483 784.76/786.91 c current bound: 483 786.33/788.48 c current bound: 483 787.96/790.11 c current bound: 483 789.53/791.68 c current bound: 483 791.22/793.30 c current bound: 483 792.69/794.85 c current bound: 483 794.29/796.45 c current bound: 483 795.91/798.00 c current bound: 483 797.38/799.59 c current bound: 483 799.06/801.23 c current bound: 483 800.65/802.82 c current bound: 483 802.26/804.43 c current bound: 483 803.74/805.92 c current bound: 483 805.34/807.53 c current bound: 483 806.87/809.06 c current bound: 483 808.47/810.64 c current bound: 483 809.97/812.16 c current bound: 483 811.55/813.73 c current bound: 483 813.06/815.27 c current bound: 483 814.61/816.82 c current bound: 483 816.27/818.41 c current bound: 483 817.70/819.90 c current bound: 483 819.24/821.46 c current bound: 483 820.86/823.07 c current bound: 483 822.30/824.53 c current bound: 483 823.86/826.06 c current bound: 483 825.34/827.59 c current bound: 483 826.93/829.18 c current bound: 483 828.65/830.80 c current bound: 483 830.15/832.37 c current bound: 483 831.74/833.99 c current bound: 483 833.21/835.45 c current bound: 483 834.84/837.02 c current bound: 483 836.28/838.52 c current bound: 483 837.82/840.10 c current bound: 483 839.44/841.71 c current bound: 483 840.98/843.25 c current bound: 483 842.61/844.81 c current bound: 483 844.06/846.33 c current bound: 483 845.62/847.91 c current bound: 483 847.25/849.54 c current bound: 483 848.87/851.10 c current bound: 483 850.26/852.59 c current bound: 483 851.84/854.14 c current bound: 483 853.45/855.73 c current bound: 483 854.93/857.25 c current bound: 483 856.50/858.82 c current bound: 483 858.12/860.44 c current bound: 483 859.70/862.01 c current bound: 483 861.30/863.62 c current bound: 483 862.79/865.12 c current bound: 483 864.39/866.71 c current bound: 483 865.90/868.22 c current bound: 483 867.44/869.79 c current bound: 483 869.06/871.41 c current bound: 483 870.61/872.96 c current bound: 483 872.18/874.54 c current bound: 483 873.71/876.07 c current bound: 483 875.29/877.63 c current bound: 483 876.92/879.27 c current bound: 483 878.49/880.84 c current bound: 483 880.10/882.47 c current bound: 483 881.68/884.04 c current bound: 483 883.29/885.65 c current bound: 483 884.77/887.14 c current bound: 483 886.39/888.72 c current bound: 483 887.84/890.23 c current bound: 483 889.47/891.80 c current bound: 483 890.97/893.39 c current bound: 483 892.50/894.91 c current bound: 483 894.18/896.51 c current bound: 483 895.64/898.05 c current bound: 483 897.22/899.62 c current bound: 483 898.86/901.27 c current bound: 483 900.44/902.85 c current bound: 483 902.03/904.46 c current bound: 483 903.60/906.03 c current bound: 483 905.20/907.63 c current bound: 483 906.73/909.19 c current bound: 483 908.34/910.79 c current bound: 483 909.87/912.31 c current bound: 483 911.53/913.90 c current bound: 483 913.01/915.47 c current bound: 483 914.57/917.02 c current bound: 483 916.19/918.64 c current bound: 483 917.70/920.18 c current bound: 483 919.31/921.76 c current bound: 483 920.80/923.29 c current bound: 483 922.34/924.82 c current bound: 483 923.95/926.42 c current bound: 483 925.48/927.99 c current bound: 483 927.20/929.60 c current bound: 483 928.58/931.08 c current bound: 483 930.19/932.67 c current bound: 483 931.81/934.30 c current bound: 483 933.36/935.88 c current bound: 483 934.96/937.49 c current bound: 483 936.55/939.06 c current bound: 483 938.15/940.68 c current bound: 483 939.71/942.23 c current bound: 483 941.34/943.84 c current bound: 483 942.83/945.34 c current bound: 483 944.40/946.92 c current bound: 483 946.03/948.55 c current bound: 483 947.58/950.12 c current bound: 483 949.20/951.74 c current bound: 483 950.73/953.29 c current bound: 483 952.31/954.85 c current bound: 483 953.81/956.39 c current bound: 483 955.31/957.88 c current bound: 483 956.91/959.49 c current bound: 483 958.52/961.07 c current bound: 483 960.11/962.67 c current bound: 483 961.64/964.21 c current bound: 483 963.32/965.81 c current bound: 483 964.78/967.35 c current bound: 483 966.36/968.93 c current bound: 483 967.97/970.55 c current bound: 483 969.55/972.18 c current bound: 483 971.12/973.79 c current bound: 483 972.68/975.31 c current bound: 483 974.28/976.92 c current bound: 483 975.80/978.44 c current bound: 483 977.43/980.02 c current bound: 483 978.91/981.55 c current bound: 483 980.47/983.11 c current bound: 483 982.13/984.70 c current bound: 483 983.58/986.25 c current bound: 483 985.20/987.85 c current bound: 483 986.70/989.39 c current bound: 483 988.30/990.96 c current bound: 483 990.01/992.60 c current bound: 483 991.49/994.18 c current bound: 483 993.14/995.82 c current bound: 483 994.68/997.39 c current bound: 483 996.32/999.01 c current bound: 483 997.88/1000.57 c current bound: 483 999.47/1002.17 c current bound: 483 1001.01/1003.72 c current bound: 483 1002.54/1005.29 c current bound: 483 1004.21/1006.92 c current bound: 483 1005.74/1008.49 c current bound: 483 1007.38/1010.11 c current bound: 483 1008.94/1011.67 c current bound: 483 1010.54/1013.27 c current bound: 483 1012.08/1014.82 c current bound: 483 1013.69/1016.42 c current bound: 483 1015.20/1017.94 c current bound: 483 1016.76/1019.51 c current bound: 483 1018.39/1021.13 c current bound: 483 1019.96/1022.71 c current bound: 483 1021.45/1024.21 c current bound: 483 1023.06/1025.84 c current bound: 483 1024.59/1027.43 c current bound: 483 1026.11/1028.97 c current bound: 483 1027.69/1030.55 c current bound: 483 1029.31/1032.19 c current bound: 483 1030.89/1033.76 c current bound: 483 1032.48/1035.39 c current bound: 483 1034.07/1036.95 c current bound: 483 1035.68/1038.58 c current bound: 483 1037.25/1040.13 c current bound: 483 1038.85/1041.73 c current bound: 483 1040.37/1043.27 c current bound: 483 1041.91/1044.80 c current bound: 483 1043.53/1046.43 c current bound: 483 1045.16/1048.00 c current bound: 483 1046.71/1049.62 c current bound: 483 1048.20/1051.11 c current bound: 483 1049.75/1052.69 c current bound: 483 1051.30/1054.22 c current bound: 483 1052.95/1055.80 c current bound: 483 1054.38/1057.35 c current bound: 483 1055.89/1058.89 c current bound: 483 1057.53/1060.51 c current bound: 483 1059.07/1062.05 c current bound: 483 1060.69/1063.64 c current bound: 483 1062.14/1065.13 c current bound: 483 1063.62/1066.61 c current bound: 483 1065.19/1068.10 c current bound: 483 1066.64/1069.64 c current bound: 483 1068.20/1071.21 c current bound: 483 1069.81/1072.82 c current bound: 483 1071.36/1074.37 c current bound: 483 1072.94/1075.98 c current bound: 483 1074.50/1077.52 c current bound: 483 1076.09/1079.11 c current bound: 483 1077.63/1080.65 c current bound: 483 1079.22/1082.23 c current bound: 483 1080.84/1083.86 c current bound: 483 1082.38/1085.41 c current bound: 483 1084.01/1087.03 c current bound: 483 1085.53/1088.59 c current bound: 483 1087.13/1090.19 c current bound: 483 1088.71/1091.74 c current bound: 483 1090.31/1093.33 c current bound: 483 1091.80/1094.85 c current bound: 483 1093.30/1096.35 c current bound: 483 1094.90/1097.96 c current bound: 483 1096.44/1099.51 c current bound: 483 1098.01/1101.10 c current bound: 483 1099.56/1102.62 c current bound: 483 1101.13/1104.21 c current bound: 483 1102.77/1105.84 c current bound: 483 1104.28/1107.39 c current bound: 483 1106.00/1109.00 c current bound: 483 1107.47/1110.55 c current bound: 483 1109.07/1112.15 c current bound: 483 1110.56/1113.65 c current bound: 483 1112.08/1115.19 c current bound: 483 1113.73/1116.82 c current bound: 483 1115.21/1118.31 c current bound: 483 1116.81/1119.91 c current bound: 483 1118.34/1121.45 c current bound: 483 1119.96/1123.04 c current bound: 483 1121.46/1124.58 c current bound: 483 1123.03/1126.19 c current bound: 483 1124.65/1127.81 c current bound: 483 1126.17/1129.35 c current bound: 483 1127.67/1130.86 c current bound: 483 1129.29/1132.40 c current bound: 483 1130.77/1133.99 c current bound: 483 1132.48/1135.60 c current bound: 483 1133.96/1137.18 c current bound: 483 1135.46/1138.67 c current bound: 483 1137.00/1140.21 c current bound: 483 1138.56/1141.79 c current bound: 483 1140.09/1143.31 c current bound: 483 1141.61/1144.83 c current bound: 483 1143.23/1146.45 c current bound: 483 1144.80/1148.01 c current bound: 483 1146.40/1149.62 c current bound: 483 1147.94/1151.17 c current bound: 483 1149.53/1152.76 c current bound: 483 1151.03/1154.28 c current bound: 483 1152.60/1155.84 c current bound: 483 1154.22/1157.46 c current bound: 483 1155.76/1159.01 c current bound: 483 1157.38/1160.63 c current bound: 483 1158.93/1162.17 c current bound: 483 1160.51/1163.77 c current bound: 483 1162.00/1165.26 c current bound: 483 1163.56/1166.81 c current bound: 483 1165.04/1168.32 c current bound: 483 1166.58/1169.86 c current bound: 483 1168.18/1171.45 c current bound: 483 1169.67/1172.97 c current bound: 483 1171.22/1174.52 c current bound: 483 1172.83/1176.14 c current bound: 483 1174.37/1177.69 c current bound: 483 1175.96/1179.28 c current bound: 483 1177.50/1180.82 c current bound: 483 1179.15/1182.40 c current bound: 483 1180.57/1183.90 c current bound: 483 1182.14/1185.46 c current bound: 483 1183.74/1187.06 c current bound: 483 1185.28/1188.61 c current bound: 483 1186.95/1190.20 c current bound: 483 1188.40/1191.75 c current bound: 483 1189.99/1193.33 c current bound: 483 1191.52/1194.89 c current bound: 483 1193.09/1196.47 c current bound: 483 1194.69/1198.08 c current bound: 483 1196.24/1199.62 c current bound: 483 1197.89/1201.21 c current bound: 483 1199.36/1202.74 c current bound: 483 1200.91/1204.32 c current bound: 483 1202.51/1205.92 c current bound: 483 1204.07/1207.47 c current bound: 483 1205.66/1209.06 c current bound: 483 1207.21/1210.62 c current bound: 483 1208.75/1212.20 c current bound: 483 1210.31/1213.73 c current bound: 483 1211.84/1215.30 c current bound: 483 1213.51/1216.92 c current bound: 483 1215.15/1218.50 c current bound: 483 1216.68/1220.11 c current bound: 483 1218.23/1221.66 c current bound: 483 1219.80/1223.25 c current bound: 483 1221.31/1224.78 c current bound: 483 1222.81/1226.25 c current bound: 483 1224.30/1227.76 c current bound: 483 1225.85/1229.30 c current bound: 483 1227.41/1230.90 c current bound: 483 1228.96/1232.43 c current bound: 483 1230.50/1233.99 c current bound: 483 1231.96/1235.43 c current bound: 483 1233.48/1236.97 c current bound: 483 1235.08/1238.55 c current bound: 483 1236.57/1240.06 c current bound: 483 1238.13/1241.63 c current bound: 483 1239.74/1243.25 c current bound: 483 1241.36/1244.80 c current bound: 483 1242.90/1246.41 c current bound: 483 1244.43/1247.95 c current bound: 483 1245.95/1249.50 c current bound: 483 1247.51/1251.02 c current bound: 483 1249.04/1252.59 c current bound: 483 1250.69/1254.20 c current bound: 483 1252.24/1255.76 c current bound: 483 1253.85/1257.36 c current bound: 483 1255.45/1258.90 c current bound: 483 1256.83/1260.38 c current bound: 483 1258.53/1262.00 c current bound: 483 1260.04/1263.57 c current bound: 483 1261.58/1265.12 c current bound: 483 1263.10/1266.66 c current bound: 483 1264.57/1268.13 c current bound: 483 1266.20/1269.76 c current bound: 483 1267.76/1271.32 c current bound: 483 1269.37/1272.94 c current bound: 483 1270.90/1274.49 c current bound: 483 1272.51/1276.08 c current bound: 483 1274.03/1277.61 c current bound: 483 1275.58/1279.20 c current bound: 483 1277.13/1280.71 c current bound: 483 1278.68/1282.28 c current bound: 483 1280.31/1283.90 c current bound: 483 1281.84/1285.43 c current bound: 483 1283.43/1287.02 c current bound: 483 1284.96/1288.55 c current bound: 483 1286.50/1290.10 c current bound: 483 1288.12/1291.73 c current bound: 483 1289.76/1293.30 c current bound: 483 1291.25/1294.85 c current bound: 483 1292.79/1296.41 c current bound: 483 1294.45/1298.00 c current bound: 483 1295.90/1299.53 c current bound: 483 1297.47/1301.11 c current bound: 483 1299.09/1302.74 c current bound: 483 1300.72/1304.30 c current bound: 483 1302.26/1305.91 c current bound: 483 1303.79/1307.45 c current bound: 483 1305.37/1309.02 c current bound: 483 1306.87/1310.54 c current bound: 483 1308.44/1312.12 c current bound: 483 1310.07/1313.75 c current bound: 483 1311.64/1315.33 c current bound: 483 1313.12/1316.89 c current bound: 483 1314.66/1318.43 c current bound: 483 1316.26/1320.03 c current bound: 483 1317.75/1321.52 c current bound: 483 1319.32/1323.10 c current bound: 483 1320.88/1324.69 c current bound: 483 1322.46/1326.25 c current bound: 483 1324.06/1327.85 c current bound: 483 1325.62/1329.40 c current bound: 483 1327.18/1330.98 c current bound: 483 1328.71/1332.51 c current bound: 483 1330.27/1334.08 c current bound: 483 1331.90/1335.71 c current bound: 483 1333.45/1337.25 c current bound: 483 1335.05/1338.86 c current bound: 483 1336.60/1340.41 c current bound: 483 1338.14/1341.99 c current bound: 483 1339.69/1343.51 c current bound: 483 1341.23/1345.05 c current bound: 483 1342.85/1346.68 c current bound: 483 1344.33/1348.16 c current bound: 483 1345.93/1349.76 c current bound: 483 1347.47/1351.30 c current bound: 483 1349.03/1352.88 c current bound: 483 1350.60/1354.49 c current bound: 483 1352.23/1356.07 c current bound: 483 1353.86/1357.71 c current bound: 483 1355.41/1359.28 c current bound: 483 1357.01/1360.88 c current bound: 483 1358.57/1362.42 c current bound: 483 1360.23/1364.01 c current bound: 483 1361.69/1365.54 c current bound: 483 1363.26/1367.12 c current bound: 483 1364.88/1368.75 c current bound: 483 1366.44/1370.31 c current bound: 483 1367.92/1371.81 c current bound: 483 1369.47/1373.36 c current bound: 483 1371.09/1374.92 c current bound: 483 1372.55/1376.44 c current bound: 483 1374.12/1378.01 c current bound: 483 1375.60/1379.50 c current bound: 483 1377.05/1380.98 c current bound: 483 1378.65/1382.56 c current bound: 483 1380.28/1384.21 c current bound: 483 1381.83/1385.78 c current bound: 483 1383.44/1387.39 c current bound: 483 1385.03/1388.95 c current bound: 483 1386.63/1390.57 c current bound: 483 1388.17/1392.11 c current bound: 483 1389.76/1393.71 c current bound: 483 1391.28/1395.23 c current bound: 483 1392.86/1396.81 c current bound: 483 1394.34/1398.32 c current bound: 483 1395.89/1399.87 c current bound: 483 1397.48/1401.46 c current bound: 483 1398.97/1402.95 c current bound: 483 1400.54/1404.52 c current bound: 483 1402.15/1406.15 c current bound: 483 1403.71/1407.71 c current bound: 483 1405.32/1409.32 c current bound: 483 1406.85/1410.88 c current bound: 483 1408.45/1412.47 c current bound: 483 1410.00/1414.00 c current bound: 483 1411.55/1415.58 c current bound: 483 1413.21/1417.22 c current bound: 483 1414.73/1418.79 c current bound: 483 1416.34/1420.39 c current bound: 483 1417.94/1421.97 c current bound: 483 1419.54/1423.57 c current bound: 483 1421.08/1425.11 c current bound: 483 1422.65/1426.70 c current bound: 483 1424.20/1428.23 c current bound: 483 1425.77/1429.81 c current bound: 483 1427.41/1431.44 c current bound: 483 1428.97/1433.01 c current bound: 483 1430.56/1434.61 c current bound: 483 1432.01/1436.07 c current bound: 483 1433.61/1437.66 c current bound: 483 1435.09/1439.18 c current bound: 483 1436.69/1440.76 c current bound: 483 1438.31/1442.37 c current bound: 483 1439.77/1443.84 c current bound: 483 1441.38/1445.45 c current bound: 483 1442.90/1446.98 c current bound: 483 1444.48/1448.55 c current bound: 483 1446.08/1450.19 c current bound: 483 1447.72/1451.81 c current bound: 483 1449.35/1453.44 c current bound: 483 1450.87/1454.97 c current bound: 483 1452.36/1456.46 c current bound: 483 1453.90/1458.01 c current bound: 483 1455.44/1459.59 c current bound: 483 1457.10/1461.21 c current bound: 483 1458.64/1462.78 c current bound: 483 1460.24/1464.38 c current bound: 483 1461.75/1465.87 c current bound: 483 1463.34/1467.47 c current bound: 483 1464.95/1469.00 c current bound: 483 1466.44/1470.57 c current bound: 483 1468.03/1472.19 c current bound: 483 1469.61/1473.76 c current bound: 483 1471.16/1475.31 c current bound: 483 1472.72/1476.80 c current bound: 483 1474.21/1478.38 c current bound: 483 1475.78/1479.92 c current bound: 483 1477.31/1481.48 c current bound: 483 1479.02/1483.10 c current bound: 483 1480.51/1484.66 c current bound: 483 1482.00/1486.15 c current bound: 483 1483.50/1487.69 c current bound: 483 1485.10/1489.27 c current bound: 483 1486.75/1490.92 c current bound: 483 1488.33/1492.50 c current bound: 483 1489.94/1494.12 c current bound: 483 1491.48/1495.67 c current bound: 483 1493.07/1497.29 c current bound: 483 1494.65/1498.84 c current bound: 483 1496.26/1500.45 c current bound: 483 1497.77/1501.98 c current bound: 483 1499.36/1503.56 c current bound: 483 1500.83/1505.05 c current bound: 483 1502.40/1506.61 c current bound: 483 1504.00/1508.22 c current bound: 483 1505.55/1509.77 c current bound: 483 1507.15/1511.37 c current bound: 483 1508.65/1512.89 c current bound: 483 1510.21/1514.44 c current bound: 483 1511.84/1516.07 c current bound: 483 1513.38/1517.62 c current bound: 483 1515.01/1519.24 c current bound: 483 1516.52/1520.79 c current bound: 483 1518.13/1522.39 c current bound: 483 1519.61/1523.88 c current bound: 483 1521.11/1525.36 c current bound: 483 1522.71/1526.96 c current bound: 483 1524.31/1528.50 c current bound: 483 1525.92/1530.10 c current bound: 483 1527.37/1531.64 c current bound: 483 1529.01/1533.20 c current bound: 483 1530.54/1534.82 c current bound: 483 1531.98/1536.29 c current bound: 483 1533.59/1537.89 c current bound: 483 1535.12/1539.41 c current bound: 483 1536.66/1540.99 c current bound: 483 1538.18/1542.47 c current bound: 483 1539.73/1544.02 c current bound: 483 1541.17/1545.43 c current bound: 483 1542.66/1546.96 c current bound: 483 1544.23/1548.53 c current bound: 483 1545.82/1550.13 c current bound: 483 1547.36/1551.69 c current bound: 483 1548.96/1553.27 c current bound: 483 1550.43/1554.78 c current bound: 483 1552.03/1556.36 c current bound: 483 1553.69/1558.00 c current bound: 483 1555.24/1559.58 c current bound: 483 1556.88/1561.21 c current bound: 483 1558.43/1562.77 c current bound: 483 1560.02/1564.38 c current bound: 483 1561.54/1565.87 c current bound: 483 1563.13/1567.46 c current bound: 483 1564.62/1568.98 c current bound: 483 1566.21/1570.55 c current bound: 483 1567.82/1572.17 c current bound: 483 1569.39/1573.75 c current bound: 483 1570.90/1575.29 c current bound: 483 1572.47/1576.84 c current bound: 483 1574.10/1578.44 c current bound: 483 1575.58/1579.95 c current bound: 483 1577.14/1581.53 c current bound: 483 1578.65/1583.04 c current bound: 483 1580.17/1584.56 c current bound: 483 1581.65/1586.06 c current bound: 483 1583.36/1587.75 c current bound: 483 1584.85/1589.32 c current bound: 483 1586.49/1590.90 c current bound: 483 1587.98/1592.45 c current bound: 483 1589.57/1594.06 c current bound: 483 1591.13/1595.62 c current bound: 483 1592.74/1597.22 c current bound: 483 1594.25/1598.74 c current bound: 483 1595.83/1600.32 c current bound: 483 1597.46/1601.96 c current bound: 483 1599.04/1603.53 c current bound: 483 1600.64/1605.14 c current bound: 483 1602.17/1606.68 c current bound: 483 1603.78/1608.27 c current bound: 483 1605.31/1609.82 c current bound: 483 1606.84/1611.39 c current bound: 483 1608.37/1612.87 c current bound: 483 1609.91/1614.41 c current bound: 483 1611.50/1616.01 c current bound: 483 1613.03/1617.56 c current bound: 483 1614.64/1619.15 c current bound: 483 1616.13/1620.68 c current bound: 483 1617.73/1622.26 c current bound: 483 1619.22/1623.77 c current bound: 483 1620.83/1625.30 c current bound: 483 1622.43/1626.90 c current bound: 483 1623.88/1628.43 c current bound: 483 1625.45/1630.02 c current bound: 483 1626.95/1631.53 c current bound: 483 1628.49/1633.09 c current bound: 483 1630.13/1634.70 c current bound: 483 1631.67/1636.25 c current bound: 483 1633.28/1637.85 c current bound: 483 1634.74/1639.39 c current bound: 483 1636.33/1640.95 c current bound: 483 1637.93/1642.56 c current bound: 483 1639.50/1644.12 c current bound: 483 1641.10/1645.73 c current bound: 483 1642.62/1647.26 c current bound: 483 1644.22/1648.86 c current bound: 483 1645.71/1650.39 c current bound: 483 1647.33/1651.97 c current bound: 483 1648.92/1653.59 c current bound: 483 1650.51/1655.16 c current bound: 483 1652.11/1656.78 c current bound: 483 1653.67/1658.32 c current bound: 483 1655.26/1659.92 c current bound: 483 1656.79/1661.45 c current bound: 483 1658.36/1663.03 c current bound: 483 1659.87/1664.55 c current bound: 483 1661.38/1666.09 c current bound: 483 1662.98/1667.69 c current bound: 483 1664.70/1669.30 c current bound: 483 1666.19/1670.88 c current bound: 483 1667.73/1672.42 c current bound: 483 1669.26/1673.99 c current bound: 483 1670.86/1675.56 c current bound: 483 1672.42/1677.12 c current bound: 483 1674.02/1678.73 c current bound: 483 1675.56/1680.27 c current bound: 483 1677.16/1681.86 c current bound: 483 1678.64/1683.35 c current bound: 483 1680.19/1684.92 c current bound: 483 1681.82/1686.53 c current bound: 483 1683.34/1688.09 c current bound: 483 1684.96/1689.68 c current bound: 483 1686.55/1691.20 c current bound: 483 1688.04/1692.77 c current bound: 483 1689.63/1694.38 c current bound: 483 1691.22/1695.95 c current bound: 483 1692.82/1697.56 c current bound: 483 1694.31/1699.09 c current bound: 483 1695.91/1700.69 c current bound: 483 1697.41/1702.18 c current bound: 483 1699.01/1703.76 c current bound: 483 1700.47/1705.22 c current bound: 483 1702.00/1706.77 c current bound: 483 1703.60/1708.37 c current bound: 483 1705.14/1709.91 c current bound: 483 1706.59/1711.39 c current bound: 483 1708.25/1713.04 c current bound: 483 1709.87/1714.60 c current bound: 483 1711.41/1716.21 c current bound: 483 1712.96/1717.76 c current bound: 483 1714.53/1719.34 c current bound: 483 1716.04/1720.86 c current bound: 483 1717.62/1722.44 c current bound: 483 1719.23/1724.06 c current bound: 483 1720.64/1725.47 c current bound: 483 1722.25/1727.07 c current bound: 483 1723.77/1728.61 c current bound: 483 1725.32/1730.20 c current bound: 483 1726.87/1731.71 c current bound: 483 1728.42/1733.28 c current bound: 483 1730.00/1734.85 c current bound: 483 1731.57/1736.42 c current bound: 483 1733.21/1738.01 c current bound: 483 1734.65/1739.52 c current bound: 483 1736.19/1741.09 c current bound: 483 1737.85/1742.72 c current bound: 483 1739.38/1744.28 c current bound: 483 1740.97/1745.89 c current bound: 483 1742.56/1747.44 c current bound: 483 1744.16/1749.04 c current bound: 483 1745.67/1750.59 c current bound: 483 1747.26/1752.16 c current bound: 483 1748.85/1753.77 c current bound: 483 1750.47/1755.30 c current bound: 483 1751.89/1756.81 c current bound: 483 1753.43/1758.35 c current bound: 483 1755.04/1759.95 c current bound: 483 1756.54/1761.48 c current bound: 483 1758.02/1762.96 c current bound: 483 1759.59/1764.54 c current bound: 483 1761.22/1766.10 c current bound: 483 1762.72/1767.69 c current bound: 483 1764.28/1769.22 c current bound: 483 1765.80/1770.79 c current bound: 483 1767.33/1772.31 c current bound: 483 1768.79/1773.79 c current bound: 483 1770.38/1775.36 c current bound: 483 1771.88/1776.89 c current bound: 483 1773.48/1778.46 c current bound: 483 1775.08/1780.08 c current bound: 483 1776.65/1781.64 c current bound: 483 1778.24/1783.27 c current bound: 483 1779.79/1784.81 c current bound: 483 1781.38/1786.41 c current bound: 483 1782.91/1787.93 c current bound: 483 1784.49/1789.51 c current bound: 483 1786.10/1791.14 c current bound: 483 1787.67/1792.71 c current bound: 483 1789.29/1794.33 c current bound: 483 1790.84/1795.87 c current bound: 483 1792.44/1797.48 c current bound: 483 1793.99/1799.02 c current bound: 483 1795.63/1800.62 c current bound: 483 1797.01/1802.08 c current bound: 483 1798.57/1803.63 c current bound: 483 1798.90/1803.91 ./satsolver.sh: line 5: 342 Terminated ./glucose $1 > $2 2> /dev/null 1798.90/1803.91 c error: unexpected solver exit code 1798.90/1803.91 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-3715668-1338188428/watcher-3715668-1338188428 -o /tmp/evaluation-result-3715668-1338188428/solver-3715668-1338188428 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715668-1338188428.wbo 1883276758 HOME HOME running on 4 cores: 0,2,4,6 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.02 2.04 2.00 3/180 997 /proc/meminfo: memFree=30851892/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [startup+0.00955702 s] /proc/loadavg: 2.02 2.04 2.00 3/180 997 /proc/meminfo: memFree=30851892/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100255 s] /proc/loadavg: 2.02 2.04 2.00 3/180 997 /proc/meminfo: memFree=30851892/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300274 s] /proc/loadavg: 2.02 2.04 2.00 3/180 997 /proc/meminfo: memFree=30851892/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700245 s] /proc/loadavg: 2.02 2.04 2.00 3/180 997 /proc/meminfo: memFree=30851892/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50031 s] /proc/loadavg: 2.02 2.04 2.00 3/184 1001 /proc/meminfo: memFree=30808084/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=6356 CPUtime=1.28 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 2794 10411 0 0 14 0 100 14 20 0 1 0 284971410 6508544 1025 33554432000 4194304 5990268 140735595075936 140735595070176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/998/statm: 1589 1025 157 439 0 1146 0 Current children cumulated CPU time (s) 1.28 Current children cumulated vsize (KiB) 15504 [startup+3.10029 s] /proc/loadavg: 2.02 2.04 2.00 3/185 1014 /proc/meminfo: memFree=30832928/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=2.19 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 3411 18963 0 0 17 6 180 16 20 0 1 0 284971410 8290304 1414 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/998/statm: 2024 1414 179 439 0 1581 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 17244 heavy processes: [startup+6.30043 s] /proc/loadavg: 2.02 2.04 2.00 3/184 1039 /proc/meminfo: memFree=30831508/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=5.15 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 4590 40182 0 0 18 6 469 22 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=1034] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1034/stat : 1034 (satsolver.sh) S 998 997 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284971928 9367552 267 33554432000 4194304 5064252 140733567253888 140733567252800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/1034/statm: 2287 267 226 213 0 72 0 [pid=1035] ppid=1034 vsize=17928 CPUtime=1.1 cores=0,2,4,6 /proc/1035/stat : 1035 (glucose) R 1034 997 15230 0 -1 4202496 5111 0 0 0 110 0 0 0 20 0 1 0 284971929 18358272 3791 33554432000 4194304 5208918 140733911804304 140733911802264 4228982 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/1035/statm: 4482 3791 104 248 0 4231 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 44320 [startup+12.7003 s] /proc/loadavg: 2.17 2.07 2.01 3/184 1076 /proc/meminfo: memFree=30825812/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=12.59 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 7536 94078 0 0 22 6 1190 41 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 17244 [startup+25.5004 s] /proc/loadavg: 2.22 2.09 2.01 3/184 1168 /proc/meminfo: memFree=30826020/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=24.47 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 12248 179876 0 0 29 8 2341 69 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=1167] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1167/stat : 1167 (satsolver.sh) S 998 997 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284973859 9367552 266 33554432000 4194304 5064252 140736684882960 140736684881872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/1167/statm: 2287 266 226 213 0 72 0 [pid=1168] ppid=1167 vsize=17924 CPUtime=0.99 cores=0,2,4,6 /proc/1168/stat : 1168 (glucose) R 1167 997 15230 0 -1 4202496 5163 0 0 0 99 0 0 0 20 0 1 0 284973859 18354176 3755 33554432000 4194304 5208918 140737233842928 140737233840872 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/1168/statm: 4481 3755 104 248 0 4230 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 44316 [startup+51.1004 s] /proc/loadavg: 2.14 2.08 2.01 3/184 1362 /proc/meminfo: memFree=30824972/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=49.7 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 22260 355112 0 0 43 10 4791 126 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=1356] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1356/stat : 1356 (satsolver.sh) S 998 997 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284976383 9367552 266 33554432000 4194304 5064252 140734825750016 140734825748928 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/1356/statm: 2287 266 226 213 0 72 0 [pid=1357] ppid=1356 vsize=20656 CPUtime=1.36 cores=0,2,4,6 /proc/1357/stat : 1357 (glucose) R 1356 997 15230 0 -1 4202496 5337 0 0 0 136 0 0 0 20 0 1 0 284976383 21151744 4294 33554432000 4194304 5208918 140735781557136 140735781555080 4340626 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/1357/statm: 5164 4294 104 248 0 4913 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 47048 [startup+102.306 s] /proc/loadavg: 2.06 2.06 2.01 3/182 1740 /proc/meminfo: memFree=30827120/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=101.83 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 42876 730785 0 0 71 16 9846 250 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=1739] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1739/stat : 1739 (satsolver.sh) S 998 997 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284981605 9367552 266 33554432000 4194304 5064252 140735005068176 140735005067088 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/1739/statm: 2287 266 226 213 0 72 0 [pid=1740] ppid=1739 vsize=19900 CPUtime=0.34 cores=0,2,4,6 /proc/1740/stat : 1740 (glucose) R 1739 997 15230 0 -1 4202496 3601 0 0 0 34 0 0 0 20 0 1 0 284981606 20377600 3887 33554432000 4194304 5208918 140733696588080 140735005067112 4229853 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/1740/statm: 4975 3887 103 248 0 4724 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 46292 [startup+162.3 s] /proc/loadavg: 2.01 2.05 2.00 3/183 2147 /proc/meminfo: memFree=30825364/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=161.29 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 66436 1156628 0 0 103 23 15616 387 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=2146] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/2146/stat : 2146 (satsolver.sh) S 998 997 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284987565 9367552 265 33554432000 4194304 5064252 140735742944160 140735742943072 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/2146/statm: 2287 265 226 213 0 72 0 [pid=2147] ppid=2146 vsize=18664 CPUtime=0.73 cores=0,2,4,6 /proc/2147/stat : 2147 (glucose) R 2146 997 15230 0 -1 4202496 4604 0 0 0 73 0 0 0 20 0 1 0 284987566 19111936 3776 33554432000 4194304 5208918 140736885922112 140736885920056 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/2147/statm: 4666 3776 104 248 0 4415 0 Current children cumulated CPU time (s) 162.02 Current children cumulated vsize (KiB) 45056 ############ # WARNING: # current cumulated CPU time (219.3 s) is less than in the last sample (220.59 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1.28999 s) to the 'lost time'. [startup+220.9 s] /proc/loadavg: 2.19 2.08 2.01 3/183 2525 ################ # More data... # ################ /proc/meminfo: memFree=30914652/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=1418.03 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 545882 9753396 0 0 761 145 137763 3134 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=14576] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/14576/stat : 14576 (satsolver.sh) S 998 997 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285113607 9367552 266 33554432000 4194304 5064252 140734454432336 140734454431248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/14576/statm: 2287 266 226 213 0 72 0 [pid=14578] ppid=14576 vsize=19768 CPUtime=0.31 cores=0,2,4,6 /proc/14578/stat : 14578 (glucose) R 14576 997 15230 0 -1 4202496 3947 0 0 0 31 0 0 0 20 0 1 0 285113608 20242432 4171 33554432000 4194304 5208918 140736747992720 140736747990568 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/14578/statm: 4942 4171 95 248 0 4691 0 Current children cumulated CPU time (s) 1418.34 Current children cumulated vsize (KiB) 46160 [startup+1482.3 s] /proc/loadavg: 1.83 1.84 1.88 3/183 17427 /proc/meminfo: memFree=30915860/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=1477.41 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 568264 10155998 0 0 791 151 143533 3266 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=17419] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17419/stat : 17419 (satsolver.sh) S 998 997 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285119559 9367552 267 33554432000 4194304 5064252 140737449404464 140737449403376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/17419/statm: 2287 267 226 213 0 72 0 [pid=17420] ppid=17419 vsize=18668 CPUtime=0.8 cores=0,2,4,6 /proc/17420/stat : 17420 (glucose) R 17419 997 15230 0 -1 4202496 4104 0 0 0 79 1 0 0 20 0 1 0 285119559 19116032 3795 33554432000 4194304 5208918 140735383928848 140735383926696 4229244 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/17420/statm: 4667 3795 104 248 0 4416 0 Current children cumulated CPU time (s) 1478.21 Current children cumulated vsize (KiB) 45060 [startup+1542.3 s] /proc/loadavg: 1.95 1.88 1.89 3/182 20311 /proc/meminfo: memFree=30916284/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=1536.79 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 590646 10561203 0 0 822 157 149304 3396 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=20261] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20261/stat : 20261 (satsolver.sh) S 998 997 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285125510 9367552 266 33554432000 4194304 5064252 140736520396096 140736520395008 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/20261/statm: 2287 266 226 213 0 72 0 [pid=20262] ppid=20261 vsize=20656 CPUtime=1.28 cores=0,2,4,6 /proc/20262/stat : 20262 (glucose) R 20261 997 15230 0 -1 4202496 4843 0 0 0 128 0 0 0 20 0 1 0 285125510 21151744 4439 33554432000 4194304 5208918 140734758709648 140734758707496 4211615 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20262/statm: 5164 4439 104 248 0 4913 0 Current children cumulated CPU time (s) 1538.07 Current children cumulated vsize (KiB) 47048 [startup+1602.3 s] /proc/loadavg: 1.86 1.87 1.88 3/183 23147 /proc/meminfo: memFree=30914196/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=1597.56 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 613616 10972409 0 0 854 163 155216 3523 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 Current children cumulated CPU time (s) 1597.56 Current children cumulated vsize (KiB) 17244 [startup+1662.3 s] /proc/loadavg: 1.83 1.86 1.88 3/183 26038 /proc/meminfo: memFree=30915668/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=1656.87 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 635998 11374921 0 0 884 169 160982 3652 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=26016] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26016/stat : 26016 (satsolver.sh) S 998 997 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285137556 9367552 267 33554432000 4194304 5064252 140733383141568 140733383140480 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/26016/statm: 2287 267 226 213 0 72 0 [pid=26017] ppid=26016 vsize=18800 CPUtime=0.82 cores=0,2,4,6 /proc/26017/stat : 26017 (glucose) R 26016 997 15230 0 -1 4202496 4517 0 0 0 82 0 0 0 20 0 1 0 285137556 19251200 3847 33554432000 4194304 5208918 140734452941936 140734452940024 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/26017/statm: 4700 3847 104 248 0 4449 0 Current children cumulated CPU time (s) 1657.69 Current children cumulated vsize (KiB) 45192 [startup+1722.3 s] /proc/loadavg: 1.81 1.85 1.87 3/183 28873 /proc/meminfo: memFree=30915888/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=1716.12 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 658380 11771614 0 0 916 174 166744 3778 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=28851] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28851/stat : 28851 (satsolver.sh) S 998 997 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285143497 9367552 267 33554432000 4194304 5064252 140735704686800 140735704685712 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/28851/statm: 2287 267 226 213 0 72 0 [pid=28852] ppid=28851 vsize=20652 CPUtime=1.42 cores=0,2,4,6 /proc/28852/stat : 28852 (glucose) R 28851 997 15230 0 -1 4202496 5571 0 0 0 141 1 0 0 20 0 1 0 285143497 21147648 4258 33554432000 4194304 5208918 140736336748784 140736336746632 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/28852/statm: 5163 4258 104 248 0 4912 0 Current children cumulated CPU time (s) 1717.54 Current children cumulated vsize (KiB) 47044 [startup+1782.3 s] /proc/loadavg: 1.71 1.81 1.86 3/184 31767 /proc/meminfo: memFree=30912860/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=1776.73 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 681352 12182830 0 0 946 180 172637 3910 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=31759] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31759/stat : 31759 (satsolver.sh) S 998 997 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285149575 9367552 267 33554432000 4194304 5064252 140736215560240 140736215559152 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/31759/statm: 2287 267 226 213 0 72 0 [pid=31760] ppid=31759 vsize=18360 CPUtime=0.63 cores=0,2,4,6 /proc/31760/stat : 31760 (glucose) R 31759 997 15230 0 -1 4202496 3997 0 0 0 63 0 0 0 20 0 1 0 285149576 18800640 3672 33554432000 4194304 5208918 140736816254080 140736816251928 4229776 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/31760/statm: 4590 3672 104 248 0 4339 0 Current children cumulated CPU time (s) 1777.36 Current children cumulated vsize (KiB) 44752 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1803.9 s] /proc/loadavg: 1.79 1.82 1.86 3/184 353 /proc/meminfo: memFree=30918248/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=1798.65 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 689598 12328415 0 0 958 182 174769 3956 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=341] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/341/stat : 341 (satsolver.sh) S 998 997 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285151774 9367552 267 33554432000 4194304 5064252 140734904104080 140734904102992 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/341/statm: 2287 267 226 213 0 72 0 [pid=342] ppid=341 vsize=19760 CPUtime=0.25 cores=0,2,4,6 /proc/342/stat : 342 (glucose) R 341 997 15230 0 -1 4202496 3929 0 0 0 25 0 0 0 20 0 1 0 285151774 20234240 4152 33554432000 4194304 5208918 140737121274400 140737121272248 4229528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/342/statm: 4940 4152 95 248 0 4689 0 Current children cumulated CPU time (s) 1798.9 Current children cumulated vsize (KiB) 46152 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1803.9 s] /proc/loadavg: 1.79 1.82 1.86 3/184 353 /proc/meminfo: memFree=30918248/32873844 swapFree=7108/7108 [pid=997] ppid=995 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/997/stat : 997 (npSolver-wbo-It) S 995 997 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284971410 9367552 275 33554432000 4194304 5064252 140736811475408 140736811474320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/997/statm: 2287 275 233 213 0 72 0 [pid=998] ppid=997 vsize=8096 CPUtime=1798.65 cores=0,2,4,6 /proc/998/stat : 998 (npSolver-wbo) S 997 997 15230 0 -1 4202496 689598 12328415 0 0 958 182 174769 3956 20 0 1 0 284971410 8290304 1415 33554432000 4194304 5990268 140735595075936 140735595067344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0 /proc/998/statm: 2024 1415 180 439 0 1581 0 [pid=341] ppid=998 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/341/stat : 341 (satsolver.sh) S 998 997 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285151774 9367552 267 33554432000 4194304 5064252 140734904104080 140734904102992 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/341/statm: 2287 267 226 213 0 72 0 [pid=342] ppid=341 vsize=19760 CPUtime=0.25 cores=0,2,4,6 /proc/342/stat : 342 (glucose) R 341 997 15230 0 -1 4202496 3929 0 0 0 25 0 0 0 20 0 1 0 285151774 20234240 4152 33554432000 4194304 5208918 140737121274400 140737121272248 4229528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/342/statm: 4940 4152 95 248 0 4689 0 Current children cumulated CPU time (s) 1798.9 Current children cumulated vsize (KiB) 46152 Child status: 0 # 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): 1.28999 # lost CPU user time (s): 1.28 # lost CPU system time (s): 0.0100002 Real time (s): 1803.92 CPU time (s): 1800.24 CPU user time (s): 1758.82 CPU system time (s): 41.4187 CPU usage (%): 99.796 Max. virtual memory (cumulated for all children) (KiB): 72676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1757.54 system time used= 41.4087 maximum resident set size= 45224 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13022933 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4626224 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 126948 involuntary context switches= 20068 runsolver used 6.07907 second user time and 14.6308 second system time The end
Begin job on node103 at 2012-05-28 09:00:28 IDJOB=3715668 IDBENCH=78743 IDSOLVER=2297 FILE ID=node103/3715668-1338188428 RUNJOBID= node103-1338166500-15762 PBS_JOBID= 14624530 Free space on /tmp= 71548 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715668-1338188428/watcher-3715668-1338188428 -o /tmp/evaluation-result-3715668-1338188428/solver-3715668-1338188428 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715668-1338188428.wbo 1883276758 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c9611a719411a0f5e82fa4122f33d8f1 RANDOM SEED=1883276758 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.37 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5411.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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: 30851784 kB Buffers: 442892 kB Cached: 634436 kB SwapCached: 4496 kB Active: 818972 kB Inactive: 360376 kB Active(anon): 95984 kB Inactive(anon): 6216 kB Active(file): 722988 kB Inactive(file): 354160 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67099576 kB Dirty: 14388 kB Writeback: 0 kB AnonPages: 119852 kB Mapped: 12792 kB Shmem: 8 kB Slab: 703508 kB SReclaimable: 144996 kB SUnreclaim: 558512 kB KernelStack: 1528 kB PageTables: 4212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 241740 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 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= 71552 MiB End job on node103 at 2012-05-28 09:30:32