| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.21 | 1802.82 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo |
| MD5SUM | 3c416dfc7b9a20db215e1b491e013711 |
| Bench Category | SOFT-SMALLINT-LIN (only soft 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.281957 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 5250 |
| Total number of constraints | 145 |
| Number of soft constraints | 145 |
| Number of constraints which are clauses | 75 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 70 |
| Maximum length of a constraint | 75 |
| Top cost | 7458 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 7457 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 76 |
| 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.04 c run usual solver 0.00/0.25 o 1219 0.00/0.25 c starting approximation 0.00/0.25 c factor = 2 0.00/0.25 c current bound: 609 1.81/1.95 c current bound: 609 3.47/3.65 c current bound: 609 5.13/5.31 c current bound: 609 6.85/7.04 c current bound: 609 8.64/8.77 c current bound: 609 10.22/10.40 c current bound: 609 11.93/12.07 c current bound: 609 13.61/13.80 c current bound: 609 15.33/15.52 c current bound: 609 16.96/17.15 c current bound: 609 18.70/18.90 c current bound: 609 20.35/20.55 c current bound: 609 22.04/22.23 c current bound: 609 23.68/23.88 c current bound: 609 25.31/25.52 c current bound: 609 26.99/27.18 c current bound: 609 28.65/28.88 c current bound: 609 30.44/30.67 c current bound: 609 32.17/32.39 c current bound: 609 33.92/34.14 c current bound: 609 35.66/35.90 c current bound: 609 37.31/37.54 c current bound: 609 38.95/39.19 c current bound: 609 40.61/40.84 c current bound: 609 42.34/42.57 c current bound: 609 44.09/44.33 c current bound: 609 45.80/46.04 c current bound: 609 47.54/47.78 c current bound: 609 49.29/49.42 c current bound: 609 50.82/51.06 c current bound: 609 52.58/52.78 c current bound: 609 54.31/54.55 c current bound: 609 56.07/56.30 c current bound: 609 57.81/58.06 c current bound: 609 59.54/59.79 c current bound: 609 61.36/61.54 c current bound: 609 63.08/63.20 c current bound: 609 64.71/64.97 c current bound: 609 66.36/66.62 c current bound: 609 68.00/68.26 c current bound: 609 69.76/70.01 c current bound: 609 71.41/71.67 c current bound: 609 73.06/73.32 c current bound: 609 74.70/74.99 c current bound: 609 76.40/76.69 c current bound: 609 78.11/78.39 c current bound: 609 79.90/80.10 c current bound: 609 81.50/81.82 c current bound: 609 83.28/83.56 c current bound: 609 84.99/85.32 c current bound: 609 86.76/87.10 c current bound: 609 88.39/88.73 c current bound: 609 90.05/90.39 c current bound: 609 91.82/92.15 c current bound: 609 93.45/93.79 c current bound: 609 95.09/95.43 c current bound: 609 96.83/97.17 c current bound: 609 98.50/98.85 c current bound: 609 100.15/100.48 c current bound: 609 101.80/102.14 c current bound: 609 103.58/103.92 c current bound: 609 105.28/105.57 c current bound: 609 106.99/107.20 c current bound: 609 108.62/108.95 c current bound: 609 110.31/110.64 c current bound: 609 112.00/112.35 c current bound: 609 113.77/114.12 c current bound: 609 115.47/115.82 c current bound: 609 117.13/117.47 c current bound: 609 118.88/119.10 c current bound: 609 120.39/120.77 c current bound: 609 122.06/122.44 c current bound: 609 123.75/124.12 c current bound: 609 125.50/125.89 c current bound: 609 127.23/127.56 c current bound: 609 128.92/129.31 c current bound: 609 130.58/130.96 c current bound: 609 132.21/132.60 c current bound: 609 133.88/134.26 c current bound: 609 135.59/135.98 c current bound: 609 137.36/137.74 c current bound: 609 139.13/139.51 c current bound: 609 140.87/141.24 c current bound: 609 142.52/142.89 c current bound: 609 144.14/144.52 c current bound: 609 145.93/146.30 c current bound: 609 147.64/148.02 c current bound: 609 149.30/149.68 c current bound: 609 151.04/151.43 c current bound: 609 152.81/153.20 c current bound: 609 154.49/154.88 c current bound: 609 156.18/156.56 c current bound: 609 157.94/158.20 c current bound: 609 159.57/159.97 c current bound: 609 161.44/161.73 c current bound: 609 163.08/163.47 c current bound: 609 164.84/165.23 c current bound: 609 166.48/166.87 c current bound: 609 168.11/168.50 c current bound: 609 169.82/170.22 c current bound: 609 171.55/171.95 c current bound: 609 173.28/173.69 c current bound: 609 174.93/175.33 c current bound: 609 176.70/177.09 c current bound: 609 178.42/178.82 c current bound: 609 180.06/180.47 c current bound: 609 181.69/182.10 c current bound: 609 183.34/183.75 c current bound: 609 185.12/185.52 c current bound: 609 186.87/187.27 c current bound: 609 188.63/189.03 c current bound: 609 190.26/190.67 c current bound: 609 191.92/192.32 c current bound: 609 193.57/193.98 c current bound: 609 195.22/195.62 c current bound: 609 196.84/197.29 c current bound: 609 198.66/199.02 c current bound: 609 200.22/200.68 c current bound: 609 201.96/202.40 c current bound: 609 203.68/204.12 c current bound: 609 205.31/205.77 c current bound: 609 206.98/207.43 c current bound: 609 208.64/209.09 c current bound: 609 210.29/210.75 c current bound: 609 211.97/212.43 c current bound: 609 213.64/214.11 c current bound: 609 215.31/215.78 c current bound: 609 216.96/217.43 c current bound: 609 218.72/219.18 c current bound: 609 220.41/220.88 c current bound: 609 222.15/222.61 c current bound: 609 223.96/224.39 c current bound: 609 225.68/226.15 c current bound: 609 227.40/227.86 c current bound: 609 229.04/229.50 c current bound: 609 230.72/231.17 c current bound: 609 232.42/232.88 c current bound: 609 234.23/234.70 c current bound: 609 235.87/236.34 c current bound: 609 237.61/238.07 c current bound: 609 239.37/239.76 c current bound: 609 241.06/241.40 c current bound: 609 242.65/243.09 c current bound: 609 244.24/244.75 c current bound: 609 245.93/246.43 c current bound: 609 247.71/248.22 c current bound: 609 249.35/249.87 c current bound: 609 250.98/251.49 c current bound: 609 252.72/253.24 c current bound: 609 254.38/254.89 c current bound: 609 256.13/256.66 c current bound: 609 257.85/258.37 c current bound: 609 259.51/260.02 c current bound: 609 261.29/261.73 c current bound: 609 263.02/263.40 c current bound: 609 264.60/265.03 c current bound: 609 266.25/266.77 c current bound: 609 268.00/268.42 c current bound: 609 269.56/270.09 c current bound: 609 271.32/271.84 c current bound: 609 272.95/273.48 c current bound: 609 274.71/275.23 c current bound: 609 276.34/276.86 c current bound: 609 278.14/278.66 c current bound: 609 279.85/280.38 c current bound: 609 281.50/282.02 c current bound: 609 283.28/283.78 c current bound: 609 285.02/285.55 c current bound: 609 286.71/287.24 c current bound: 609 288.47/289.00 c current bound: 609 290.17/290.71 c current bound: 609 291.94/292.47 c current bound: 609 293.59/294.12 c current bound: 609 295.23/295.77 c current bound: 609 296.89/297.42 c current bound: 609 298.78/299.21 c current bound: 609 300.32/300.86 c current bound: 609 302.06/302.61 c current bound: 609 303.70/304.27 c current bound: 609 305.40/305.97 c current bound: 609 307.09/307.63 c current bound: 609 308.79/309.34 c current bound: 609 310.56/311.11 c current bound: 609 312.29/312.86 c current bound: 609 314.08/314.51 c current bound: 609 315.72/316.28 c current bound: 609 317.49/318.06 c current bound: 609 319.16/319.72 c current bound: 609 320.81/321.37 c current bound: 609 322.56/323.13 c current bound: 609 324.22/324.79 c current bound: 609 325.86/326.42 c current bound: 609 327.61/328.18 c current bound: 609 329.46/329.91 c current bound: 609 331.10/331.66 c current bound: 609 332.78/333.34 c current bound: 609 334.43/334.99 c current bound: 609 336.17/336.75 c current bound: 609 337.84/338.40 c current bound: 609 339.48/340.05 c current bound: 609 341.12/341.69 c current bound: 609 342.88/343.45 c current bound: 609 344.59/345.16 c current bound: 609 346.24/346.82 c current bound: 609 347.88/348.46 c current bound: 609 349.61/350.18 c current bound: 609 351.31/351.88 c current bound: 609 353.16/353.60 c current bound: 609 354.75/355.26 c current bound: 609 356.32/356.90 c current bound: 609 358.15/358.61 c current bound: 609 359.68/360.27 c current bound: 609 361.41/361.98 c current bound: 609 363.10/363.68 c current bound: 609 364.76/365.35 c current bound: 609 366.53/367.13 c current bound: 609 368.17/368.75 c current bound: 609 369.87/370.46 c current bound: 609 371.57/372.16 c current bound: 609 373.29/373.88 c current bound: 609 375.03/375.50 c current bound: 609 376.72/377.26 c current bound: 609 378.33/378.94 c current bound: 609 380.11/380.71 c current bound: 609 381.82/382.41 c current bound: 609 383.58/384.18 c current bound: 609 385.34/385.95 c current bound: 609 387.08/387.68 c current bound: 609 388.82/389.33 c current bound: 609 390.51/391.00 c current bound: 609 392.12/392.63 c current bound: 609 393.80/394.41 c current bound: 609 395.46/396.08 c current bound: 609 397.21/397.82 c current bound: 609 398.87/399.48 c current bound: 609 400.59/401.20 c current bound: 609 402.33/402.95 c current bound: 609 404.22/404.73 c current bound: 609 405.74/406.36 c current bound: 609 407.51/408.14 c current bound: 609 409.24/409.87 c current bound: 609 410.87/411.49 c current bound: 609 412.53/413.15 c current bound: 609 414.22/414.83 c current bound: 609 415.86/416.48 c current bound: 609 417.51/418.13 c current bound: 609 419.16/419.78 c current bound: 609 420.91/421.54 c current bound: 609 422.66/423.28 c current bound: 609 424.46/425.07 c current bound: 609 426.19/426.71 c current bound: 609 427.85/428.48 c current bound: 609 429.58/430.20 c current bound: 609 431.20/431.83 c current bound: 609 432.86/433.48 c current bound: 609 434.52/435.14 c current bound: 609 436.24/436.86 c current bound: 609 437.94/438.57 c current bound: 609 439.69/440.32 c current bound: 609 441.34/441.98 c current bound: 609 443.10/443.73 c current bound: 609 444.89/445.46 c current bound: 609 446.59/447.23 c current bound: 609 448.23/448.88 c current bound: 609 449.93/450.57 c current bound: 609 451.58/452.23 c current bound: 609 453.35/453.98 c current bound: 609 455.08/455.72 c current bound: 609 456.72/457.36 c current bound: 609 458.50/459.14 c current bound: 609 460.37/461.01 c current bound: 609 462.18/462.70 c current bound: 609 463.74/464.39 c current bound: 609 465.38/466.02 c current bound: 609 467.09/467.74 c current bound: 609 468.72/469.38 c current bound: 609 470.48/471.13 c current bound: 609 472.14/472.80 c current bound: 609 473.94/474.58 c current bound: 609 475.66/476.22 c current bound: 609 477.26/477.92 c current bound: 609 479.04/479.69 c current bound: 609 480.81/481.47 c current bound: 609 482.52/483.18 c current bound: 609 484.16/484.83 c current bound: 609 485.82/486.49 c current bound: 609 487.59/488.25 c current bound: 609 489.20/489.88 c current bound: 609 491.05/491.64 c current bound: 609 492.70/493.39 c current bound: 609 494.44/495.03 c current bound: 609 496.00/496.68 c current bound: 609 497.66/498.38 c current bound: 609 499.38/500.11 c current bound: 609 501.11/501.84 c current bound: 609 502.84/503.56 c current bound: 609 504.46/505.19 c current bound: 609 506.20/506.92 c current bound: 609 507.85/508.58 c current bound: 609 509.51/510.23 c current bound: 609 511.22/511.94 c current bound: 609 512.98/513.61 c current bound: 609 514.55/515.28 c current bound: 609 516.39/517.02 c current bound: 609 517.95/518.69 c current bound: 609 519.68/520.32 c current bound: 609 521.33/522.07 c current bound: 609 523.19/523.80 c current bound: 609 524.71/525.46 c current bound: 609 526.39/527.14 c current bound: 609 528.29/528.90 c current bound: 609 529.86/530.61 c current bound: 609 531.52/532.26 c current bound: 609 533.26/534.01 c current bound: 609 534.97/535.67 c current bound: 609 536.55/537.30 c current bound: 609 538.36/539.03 c current bound: 609 539.93/540.68 c current bound: 609 541.61/542.38 c current bound: 609 543.33/544.09 c current bound: 609 545.02/545.79 c current bound: 609 546.65/547.43 c current bound: 609 548.33/549.09 c current bound: 609 550.02/550.79 c current bound: 609 551.74/552.51 c current bound: 609 553.38/554.15 c current bound: 609 555.04/555.82 c current bound: 609 556.70/557.48 c current bound: 609 558.47/559.24 c current bound: 609 560.09/560.87 c current bound: 609 561.75/562.54 c current bound: 609 563.39/564.20 c current bound: 609 565.14/565.96 c current bound: 609 566.80/567.60 c current bound: 609 568.47/569.29 c current bound: 609 570.19/570.93 c current bound: 609 571.76/572.58 c current bound: 609 573.57/574.30 c current bound: 609 575.19/576.03 c current bound: 609 576.82/577.69 c current bound: 609 578.47/579.36 c current bound: 609 580.11/581.02 c current bound: 609 581.89/582.79 c current bound: 609 583.59/584.49 c current bound: 609 585.26/586.16 c current bound: 609 587.03/587.93 c current bound: 609 588.76/589.65 c current bound: 609 590.44/591.34 c current bound: 609 592.19/593.08 c current bound: 609 593.93/594.84 c current bound: 609 595.57/596.47 c current bound: 609 597.22/598.12 c current bound: 609 598.85/599.78 c current bound: 609 600.57/601.50 c current bound: 609 602.34/603.27 c current bound: 609 604.08/605.00 c current bound: 609 605.74/606.69 c current bound: 609 607.40/608.34 c current bound: 609 609.06/610.00 c current bound: 609 610.81/611.74 c current bound: 609 612.56/613.49 c current bound: 609 614.29/615.23 c current bound: 609 616.04/616.97 c current bound: 609 617.67/618.62 c current bound: 609 619.47/620.32 c current bound: 609 621.02/621.96 c current bound: 609 622.87/623.71 c current bound: 609 624.42/625.36 c current bound: 609 626.17/627.11 c current bound: 609 627.83/628.79 c current bound: 609 629.54/630.50 c current bound: 609 631.24/632.19 c current bound: 609 633.01/633.96 c current bound: 609 634.86/635.71 c current bound: 609 636.51/637.46 c current bound: 609 638.22/639.17 c current bound: 609 639.91/640.86 c current bound: 609 641.67/642.63 c current bound: 609 643.44/644.39 c current bound: 609 645.16/646.13 c current bound: 609 647.06/647.93 c current bound: 609 648.63/649.59 c current bound: 609 650.28/651.26 c current bound: 609 651.97/652.95 c current bound: 609 653.67/654.65 c current bound: 609 655.39/656.37 c current bound: 609 657.04/658.03 c current bound: 609 658.77/659.76 c current bound: 609 660.49/661.49 c current bound: 609 662.15/663.15 c current bound: 609 663.82/664.81 c current bound: 609 665.61/666.54 c current bound: 609 667.17/668.17 c current bound: 609 668.91/669.82 c current bound: 609 670.56/671.59 c current bound: 609 672.27/673.30 c current bound: 609 673.92/674.96 c current bound: 609 675.79/676.70 c current bound: 609 677.41/678.44 c current bound: 609 679.14/680.18 c current bound: 609 680.85/681.90 c current bound: 609 682.58/683.64 c current bound: 609 684.27/685.30 c current bound: 609 685.98/687.04 c current bound: 609 687.62/688.69 c current bound: 609 689.27/690.34 c current bound: 609 691.04/692.12 c current bound: 609 692.79/693.88 c current bound: 609 694.46/695.54 c current bound: 609 696.11/697.20 c current bound: 609 697.77/698.87 c current bound: 609 699.53/700.50 c current bound: 609 701.06/702.19 c current bound: 609 702.69/703.83 c current bound: 609 704.47/705.61 c current bound: 609 706.23/707.35 c current bound: 609 707.83/709.08 c current bound: 609 709.58/710.84 c current bound: 609 711.35/712.61 c current bound: 609 712.99/714.26 c current bound: 609 714.70/715.96 c current bound: 609 716.44/717.71 c current bound: 609 718.15/719.39 c current bound: 609 719.83/721.11 c current bound: 609 721.47/722.75 c current bound: 609 723.18/724.46 c current bound: 609 724.83/726.12 c current bound: 609 726.57/727.86 c current bound: 609 728.22/729.52 c current bound: 609 729.88/731.19 c current bound: 609 731.55/732.87 c current bound: 609 733.22/734.53 c current bound: 609 734.88/736.21 c current bound: 609 736.65/737.98 c current bound: 609 738.33/739.65 c current bound: 609 739.96/741.30 c current bound: 609 741.74/743.06 c current bound: 609 743.37/744.70 c current bound: 609 745.04/746.39 c current bound: 609 746.69/748.04 c current bound: 609 748.35/749.71 c current bound: 609 750.12/751.47 c current bound: 609 751.84/753.22 c current bound: 609 753.54/754.92 c current bound: 609 755.21/756.59 c current bound: 609 757.02/758.39 c current bound: 609 758.75/760.04 c current bound: 609 760.30/761.69 c current bound: 609 762.04/763.37 c current bound: 609 763.63/765.01 c current bound: 609 765.38/766.77 c current bound: 609 767.09/768.47 c current bound: 609 768.85/770.24 c current bound: 609 770.58/772.00 c current bound: 609 772.36/773.77 c current bound: 609 774.12/775.54 c current bound: 609 775.90/777.33 c current bound: 609 777.55/778.98 c current bound: 609 779.22/780.65 c current bound: 609 780.98/782.42 c current bound: 609 782.63/784.06 c current bound: 609 784.27/785.71 c current bound: 609 785.90/787.36 c current bound: 609 787.60/789.06 c current bound: 609 789.26/790.72 c current bound: 609 791.04/792.51 c current bound: 609 792.75/794.15 c current bound: 609 794.39/795.86 c current bound: 609 796.08/797.56 c current bound: 609 797.71/799.19 c current bound: 609 799.47/800.95 c current bound: 609 801.14/802.62 c current bound: 609 802.82/804.32 c current bound: 609 804.47/805.97 c current bound: 609 806.11/807.61 c current bound: 609 807.88/809.39 c current bound: 609 809.54/811.06 c current bound: 609 811.20/812.70 c current bound: 609 812.90/814.41 c current bound: 609 814.69/816.16 c current bound: 609 816.39/817.91 c current bound: 609 818.09/819.63 c current bound: 609 819.84/821.37 c current bound: 609 821.49/823.03 c current bound: 609 823.15/824.69 c current bound: 609 824.82/826.36 c current bound: 609 826.52/828.05 c current bound: 609 828.14/829.69 c current bound: 609 829.86/831.41 c current bound: 609 831.52/833.07 c current bound: 609 833.18/834.73 c current bound: 609 834.82/836.37 c current bound: 609 836.67/838.12 c current bound: 609 838.25/839.79 c current bound: 609 839.98/841.44 c current bound: 609 841.55/843.10 c current bound: 609 843.32/844.85 c current bound: 609 845.10/846.60 c current bound: 609 846.65/848.29 c current bound: 609 848.32/849.95 c current bound: 609 850.09/851.60 c current bound: 609 851.67/853.31 c current bound: 609 853.32/854.96 c current bound: 609 854.99/856.64 c current bound: 609 856.75/858.38 c current bound: 609 858.44/860.08 c current bound: 609 860.07/861.72 c current bound: 609 861.72/863.37 c current bound: 609 863.38/865.15 c current bound: 609 865.17/866.80 c current bound: 609 866.68/868.45 c current bound: 609 868.45/870.21 c current bound: 609 870.11/871.88 c current bound: 609 871.77/873.53 c current bound: 609 873.49/875.25 c current bound: 609 875.24/877.01 c current bound: 609 876.96/878.73 c current bound: 609 878.71/880.45 c current bound: 609 880.32/882.09 c current bound: 609 882.00/883.76 c current bound: 609 883.76/885.52 c current bound: 609 885.29/887.16 c current bound: 609 886.97/888.83 c current bound: 609 888.68/890.55 c current bound: 609 890.37/892.25 c current bound: 609 892.09/893.97 c current bound: 609 893.86/895.74 c current bound: 609 895.67/897.40 c current bound: 609 897.19/899.07 c current bound: 609 898.88/900.75 c current bound: 609 900.50/902.38 c current bound: 609 902.17/904.06 c current bound: 609 903.85/905.82 c current bound: 609 905.54/907.48 c current bound: 609 907.19/909.17 c current bound: 609 908.94/910.91 c current bound: 609 910.48/912.57 c current bound: 609 912.20/914.29 c current bound: 609 913.84/915.94 c current bound: 609 915.49/917.58 c current bound: 609 917.13/919.21 c current bound: 609 918.79/920.96 c current bound: 609 920.56/922.60 c current bound: 609 922.06/924.24 c current bound: 609 923.77/926.06 c current bound: 609 925.55/927.84 c current bound: 609 927.35/929.51 c current bound: 609 928.98/931.34 c current bound: 609 930.64/932.99 c current bound: 609 932.40/934.77 c current bound: 609 934.08/936.44 c current bound: 609 935.71/938.07 c current bound: 609 937.46/939.82 c current bound: 609 939.32/941.68 c current bound: 609 941.00/943.36 c current bound: 609 942.77/945.00 c current bound: 609 944.38/946.74 c current bound: 609 946.02/948.38 c current bound: 609 947.78/950.14 c current bound: 609 949.58/951.80 c current bound: 609 951.17/953.54 c current bound: 609 952.83/955.18 c current bound: 609 954.49/956.83 c current bound: 609 956.12/958.47 c current bound: 609 957.78/960.14 c current bound: 609 959.42/961.87 c current bound: 609 961.22/963.65 c current bound: 609 962.91/965.36 c current bound: 609 964.57/967.01 c current bound: 609 966.21/968.66 c current bound: 609 967.99/970.43 c current bound: 609 969.79/972.23 c current bound: 609 971.52/973.96 c current bound: 609 973.40/975.71 c current bound: 609 974.91/977.33 c current bound: 609 976.62/979.07 c current bound: 609 978.30/980.74 c current bound: 609 980.05/982.48 c current bound: 609 981.74/984.17 c current bound: 609 983.49/985.94 c current bound: 609 985.25/987.68 c current bound: 609 986.98/989.42 c current bound: 609 988.72/991.16 c current bound: 609 990.49/992.93 c current bound: 609 992.16/994.60 c current bound: 609 993.93/996.37 c current bound: 609 995.69/998.12 c current bound: 609 997.37/999.80 c current bound: 609 999.09/1001.53 c current bound: 609 1000.90/1003.20 c current bound: 609 1002.46/1004.89 c current bound: 609 1004.19/1006.52 c current bound: 609 1005.85/1008.28 c current bound: 609 1007.48/1009.92 c current bound: 609 1009.10/1011.54 c current bound: 609 1010.77/1013.25 c current bound: 609 1012.56/1015.04 c current bound: 609 1014.29/1016.79 c current bound: 609 1015.98/1018.46 c current bound: 609 1017.64/1020.13 c current bound: 609 1019.44/1021.81 c current bound: 609 1020.98/1023.48 c current bound: 609 1022.74/1025.16 c current bound: 609 1024.32/1026.81 c current bound: 609 1026.08/1028.58 c current bound: 609 1027.73/1030.22 c current bound: 609 1029.39/1031.88 c current bound: 609 1031.04/1033.63 c current bound: 609 1032.72/1035.30 c current bound: 609 1034.36/1036.96 c current bound: 609 1036.15/1038.73 c current bound: 609 1037.84/1040.43 c current bound: 609 1039.58/1042.16 c current bound: 609 1041.35/1043.93 c current bound: 609 1042.99/1045.58 c current bound: 609 1044.69/1047.27 c current bound: 609 1046.37/1048.94 c current bound: 609 1047.99/1050.58 c current bound: 609 1049.64/1052.23 c current bound: 609 1051.31/1053.93 c current bound: 609 1052.97/1055.58 c current bound: 609 1054.61/1057.24 c current bound: 609 1056.28/1058.89 c current bound: 609 1057.95/1060.64 c current bound: 609 1059.60/1062.28 c current bound: 609 1061.24/1063.99 c current bound: 609 1063.01/1065.75 c current bound: 609 1064.65/1067.39 c current bound: 609 1066.30/1069.09 c current bound: 609 1067.99/1070.79 c current bound: 609 1069.73/1072.44 c current bound: 609 1071.40/1074.19 c current bound: 609 1073.07/1075.86 c current bound: 609 1074.83/1077.62 c current bound: 609 1076.48/1079.28 c current bound: 609 1078.23/1081.02 c current bound: 609 1079.86/1082.64 c current bound: 609 1081.53/1084.32 c current bound: 609 1083.30/1086.08 c current bound: 609 1084.94/1087.72 c current bound: 609 1086.68/1089.48 c current bound: 609 1088.44/1091.24 c current bound: 609 1090.14/1092.93 c current bound: 609 1091.80/1094.60 c current bound: 609 1093.47/1096.28 c current bound: 609 1095.11/1097.92 c current bound: 609 1096.79/1099.59 c current bound: 609 1098.44/1101.25 c current bound: 609 1100.08/1102.89 c current bound: 609 1101.76/1104.61 c current bound: 609 1103.53/1106.37 c current bound: 609 1105.19/1108.04 c current bound: 609 1106.82/1109.71 c current bound: 609 1108.47/1111.35 c current bound: 609 1110.34/1113.14 c current bound: 609 1112.03/1114.92 c current bound: 609 1113.67/1116.55 c current bound: 609 1115.43/1118.32 c current bound: 609 1117.11/1119.99 c current bound: 609 1118.76/1121.65 c current bound: 609 1120.40/1123.29 c current bound: 609 1122.03/1124.97 c current bound: 609 1123.79/1126.71 c current bound: 609 1125.41/1128.34 c current bound: 609 1127.16/1130.09 c current bound: 609 1128.80/1131.74 c current bound: 609 1130.47/1133.41 c current bound: 609 1132.27/1135.16 c current bound: 609 1133.91/1136.86 c current bound: 609 1135.68/1138.51 c current bound: 609 1137.30/1140.25 c current bound: 609 1138.97/1141.92 c current bound: 609 1140.66/1143.61 c current bound: 609 1142.32/1145.26 c current bound: 609 1144.04/1146.98 c current bound: 609 1145.68/1148.63 c current bound: 609 1147.30/1150.26 c current bound: 609 1148.95/1151.92 c current bound: 609 1150.63/1153.60 c current bound: 609 1152.29/1155.26 c current bound: 609 1154.04/1157.01 c current bound: 609 1155.68/1158.66 c current bound: 609 1157.55/1160.43 c current bound: 609 1159.25/1162.10 c current bound: 609 1160.87/1163.84 c current bound: 609 1162.53/1165.51 c current bound: 609 1164.17/1167.15 c current bound: 609 1165.81/1168.79 c current bound: 609 1167.62/1170.50 c current bound: 609 1169.19/1172.21 c current bound: 609 1170.82/1173.83 c current bound: 609 1172.47/1175.53 c current bound: 609 1174.14/1177.19 c current bound: 609 1175.80/1178.85 c current bound: 609 1177.58/1180.63 c current bound: 609 1179.25/1182.30 c current bound: 609 1180.87/1183.93 c current bound: 609 1182.60/1185.66 c current bound: 609 1184.25/1187.31 c current bound: 609 1185.93/1188.98 c current bound: 609 1187.58/1190.64 c current bound: 609 1189.37/1192.40 c current bound: 609 1191.07/1194.13 c current bound: 609 1192.98/1195.90 c current bound: 609 1194.46/1197.52 c current bound: 609 1196.26/1199.30 c current bound: 609 1197.98/1201.04 c current bound: 609 1199.74/1202.82 c current bound: 609 1201.45/1204.50 c current bound: 609 1203.11/1206.17 c current bound: 609 1204.87/1207.82 c current bound: 609 1206.40/1209.48 c current bound: 609 1208.15/1211.22 c current bound: 609 1209.91/1212.97 c current bound: 609 1211.58/1214.64 c current bound: 609 1213.29/1216.36 c current bound: 609 1214.91/1217.99 c current bound: 609 1216.61/1219.68 c current bound: 609 1218.27/1221.34 c current bound: 609 1220.02/1223.10 c current bound: 609 1221.76/1224.84 c current bound: 609 1223.64/1226.71 c current bound: 609 1225.32/1228.40 c current bound: 609 1226.96/1230.04 c current bound: 609 1228.68/1231.76 c current bound: 609 1230.37/1233.43 c current bound: 609 1232.00/1235.07 c current bound: 609 1233.67/1236.73 c current bound: 609 1235.43/1238.50 c current bound: 609 1237.09/1240.16 c current bound: 609 1238.87/1241.80 c current bound: 609 1240.37/1243.44 c current bound: 609 1242.17/1245.11 c current bound: 609 1243.74/1246.80 c current bound: 609 1245.46/1248.46 c current bound: 609 1247.04/1250.12 c current bound: 609 1248.80/1251.86 c current bound: 609 1250.49/1253.56 c current bound: 609 1252.28/1255.34 c current bound: 609 1254.05/1257.12 c current bound: 609 1255.71/1258.78 c current bound: 609 1257.56/1260.54 c current bound: 609 1259.11/1262.18 c current bound: 609 1260.85/1263.83 c current bound: 609 1262.51/1265.59 c current bound: 609 1264.23/1267.30 c current bound: 609 1265.87/1268.95 c current bound: 609 1267.61/1270.69 c current bound: 609 1269.36/1272.42 c current bound: 609 1271.15/1274.10 c current bound: 609 1272.78/1275.86 c current bound: 609 1274.45/1277.53 c current bound: 609 1276.36/1279.31 c current bound: 609 1277.90/1280.96 c current bound: 609 1279.65/1282.73 c current bound: 609 1281.32/1284.40 c current bound: 609 1283.09/1286.16 c current bound: 609 1284.77/1287.82 c current bound: 609 1286.38/1289.46 c current bound: 609 1288.15/1291.22 c current bound: 609 1289.78/1292.85 c current bound: 609 1291.41/1294.49 c current bound: 609 1293.13/1296.21 c current bound: 609 1294.79/1297.86 c current bound: 609 1296.45/1299.53 c current bound: 609 1298.12/1301.19 c current bound: 609 1299.76/1302.93 c current bound: 609 1301.51/1304.67 c current bound: 609 1303.16/1306.34 c current bound: 609 1304.83/1307.98 c current bound: 609 1306.47/1309.64 c current bound: 609 1308.25/1311.41 c current bound: 609 1310.00/1313.15 c current bound: 609 1311.62/1314.79 c current bound: 609 1313.36/1316.53 c current bound: 609 1315.02/1318.18 c current bound: 609 1316.88/1319.93 c current bound: 609 1318.55/1321.70 c current bound: 609 1320.20/1323.35 c current bound: 609 1321.89/1325.04 c current bound: 609 1323.60/1326.75 c current bound: 609 1325.29/1328.43 c current bound: 609 1327.01/1330.16 c current bound: 609 1328.66/1331.81 c current bound: 609 1330.43/1333.59 c current bound: 609 1332.28/1335.34 c current bound: 609 1333.86/1337.01 c current bound: 609 1335.57/1338.66 c current bound: 609 1337.29/1340.45 c current bound: 609 1338.97/1342.11 c current bound: 609 1340.69/1343.84 c current bound: 609 1342.35/1345.50 c current bound: 609 1344.13/1347.29 c current bound: 609 1345.77/1348.93 c current bound: 609 1347.41/1350.55 c current bound: 609 1349.05/1352.20 c current bound: 609 1350.74/1353.98 c current bound: 609 1352.49/1355.75 c current bound: 609 1354.26/1357.41 c current bound: 609 1355.83/1359.08 c current bound: 609 1357.59/1360.84 c current bound: 609 1359.23/1362.48 c current bound: 609 1360.98/1364.23 c current bound: 609 1362.71/1365.97 c current bound: 609 1364.37/1367.64 c current bound: 609 1366.27/1369.42 c current bound: 609 1367.87/1371.12 c current bound: 609 1369.62/1372.88 c current bound: 609 1371.26/1374.52 c current bound: 609 1372.96/1376.22 c current bound: 609 1374.72/1377.98 c current bound: 609 1376.37/1379.63 c current bound: 609 1378.02/1381.29 c current bound: 609 1379.68/1382.94 c current bound: 609 1381.35/1384.61 c current bound: 609 1383.07/1386.33 c current bound: 609 1384.72/1387.98 c current bound: 609 1386.46/1389.71 c current bound: 609 1388.11/1391.36 c current bound: 609 1389.82/1393.06 c current bound: 609 1391.67/1394.81 c current bound: 609 1393.23/1396.50 c current bound: 609 1394.89/1398.15 c current bound: 609 1396.67/1399.80 c current bound: 609 1398.19/1401.45 c current bound: 609 1399.85/1403.12 c current bound: 609 1401.50/1404.86 c current bound: 609 1403.14/1406.51 c current bound: 609 1404.86/1408.22 c current bound: 609 1406.55/1409.91 c current bound: 609 1408.30/1411.66 c current bound: 609 1410.15/1413.43 c current bound: 609 1411.73/1415.09 c current bound: 609 1413.46/1416.72 c current bound: 609 1415.02/1418.39 c current bound: 609 1416.83/1420.11 c current bound: 609 1418.36/1421.80 c current bound: 609 1420.12/1423.54 c current bound: 609 1421.77/1425.19 c current bound: 609 1423.50/1426.92 c current bound: 609 1425.29/1428.71 c current bound: 609 1426.98/1430.39 c current bound: 609 1428.63/1432.06 c current bound: 609 1430.32/1433.73 c current bound: 609 1432.11/1435.48 c current bound: 609 1433.79/1437.20 c current bound: 609 1435.53/1438.95 c current bound: 609 1437.23/1440.64 c current bound: 609 1438.93/1442.34 c current bound: 609 1440.65/1444.08 c current bound: 609 1442.35/1445.77 c current bound: 609 1444.02/1447.43 c current bound: 609 1445.66/1449.09 c current bound: 609 1447.31/1450.77 c current bound: 609 1448.98/1452.44 c current bound: 609 1450.63/1454.09 c current bound: 609 1452.29/1455.79 c current bound: 609 1454.12/1457.53 c current bound: 609 1455.68/1459.19 c current bound: 609 1457.33/1460.88 c current bound: 609 1458.98/1462.52 c current bound: 609 1460.66/1464.21 c current bound: 609 1462.32/1465.95 c current bound: 609 1463.97/1467.60 c current bound: 609 1465.73/1469.35 c current bound: 609 1467.35/1471.09 c current bound: 609 1468.99/1472.73 c current bound: 609 1470.64/1474.38 c current bound: 609 1472.48/1476.12 c current bound: 609 1474.02/1477.76 c current bound: 609 1475.77/1479.43 c current bound: 609 1477.45/1481.11 c current bound: 609 1479.10/1482.88 c current bound: 609 1480.77/1484.55 c current bound: 609 1482.41/1486.28 c current bound: 609 1484.09/1487.98 c current bound: 609 1485.90/1489.77 c current bound: 609 1487.77/1491.50 c current bound: 609 1489.28/1493.16 c current bound: 609 1491.06/1494.82 c current bound: 609 1492.69/1496.55 c current bound: 609 1494.36/1498.20 c current bound: 609 1496.07/1499.94 c current bound: 609 1497.72/1501.58 c current bound: 609 1499.40/1503.27 c current bound: 609 1501.06/1504.93 c current bound: 609 1502.71/1506.57 c current bound: 609 1504.57/1508.30 c current bound: 609 1506.09/1509.96 c current bound: 609 1507.74/1511.61 c current bound: 609 1509.38/1513.25 c current bound: 609 1511.12/1514.99 c current bound: 609 1512.90/1516.77 c current bound: 609 1514.62/1518.49 c current bound: 609 1516.36/1520.14 c current bound: 609 1517.94/1521.81 c current bound: 609 1519.75/1523.52 c current bound: 609 1521.31/1525.19 c current bound: 609 1523.05/1526.93 c current bound: 609 1524.79/1528.66 c current bound: 609 1526.44/1530.33 c current bound: 609 1528.09/1531.97 c current bound: 609 1529.73/1533.62 c current bound: 609 1531.53/1535.40 c current bound: 609 1533.18/1537.05 c current bound: 609 1534.82/1538.71 c current bound: 609 1536.48/1540.37 c current bound: 609 1538.21/1542.08 c current bound: 609 1539.93/1543.83 c current bound: 609 1541.75/1545.50 c current bound: 609 1543.27/1547.15 c current bound: 609 1545.04/1548.93 c current bound: 609 1546.77/1550.65 c current bound: 609 1548.43/1552.31 c current bound: 609 1550.09/1553.97 c current bound: 609 1551.85/1555.73 c current bound: 609 1553.57/1557.45 c current bound: 609 1555.30/1559.18 c current bound: 609 1557.14/1560.91 c current bound: 609 1558.67/1562.55 c current bound: 609 1560.34/1564.18 c current bound: 609 1562.05/1565.93 c current bound: 609 1563.79/1567.66 c current bound: 609 1565.44/1569.32 c current bound: 609 1567.11/1571.00 c current bound: 609 1568.75/1572.67 c current bound: 609 1570.41/1574.34 c current bound: 609 1572.11/1576.03 c current bound: 609 1573.74/1577.81 c current bound: 609 1575.39/1579.46 c current bound: 609 1577.11/1581.18 c current bound: 609 1578.87/1582.83 c current bound: 609 1580.48/1584.55 c current bound: 609 1582.27/1586.21 c current bound: 609 1583.79/1587.85 c current bound: 609 1585.51/1589.57 c current bound: 609 1587.24/1591.30 c current bound: 609 1588.88/1592.95 c current bound: 609 1590.67/1594.60 c current bound: 609 1592.21/1596.28 c current bound: 609 1593.96/1598.02 c current bound: 609 1595.71/1599.79 c current bound: 609 1597.38/1601.44 c current bound: 609 1599.05/1603.12 c current bound: 609 1600.86/1604.84 c current bound: 609 1602.39/1606.46 c current bound: 609 1604.27/1608.22 c current bound: 609 1605.80/1609.87 c current bound: 609 1607.54/1611.61 c current bound: 609 1609.26/1613.33 c current bound: 609 1610.92/1614.99 c current bound: 609 1612.66/1616.74 c current bound: 609 1614.34/1618.40 c current bound: 609 1616.06/1620.13 c current bound: 609 1617.68/1621.76 c current bound: 609 1619.43/1623.50 c current bound: 609 1621.20/1625.28 c current bound: 609 1622.86/1626.93 c current bound: 609 1624.50/1628.58 c current bound: 609 1626.25/1630.32 c current bound: 609 1628.07/1632.00 c current bound: 609 1629.68/1633.74 c current bound: 609 1631.33/1635.39 c current bound: 609 1633.02/1637.08 c current bound: 609 1634.81/1638.86 c current bound: 609 1636.47/1640.53 c current bound: 609 1638.27/1642.24 c current bound: 609 1639.86/1643.91 c current bound: 609 1641.67/1645.62 c current bound: 609 1643.20/1647.24 c current bound: 609 1644.98/1648.90 c current bound: 609 1646.50/1650.56 c current bound: 609 1648.27/1652.23 c current bound: 609 1649.88/1653.92 c current bound: 609 1651.53/1655.59 c current bound: 609 1653.22/1657.28 c current bound: 609 1654.98/1659.02 c current bound: 609 1656.73/1660.78 c current bound: 609 1658.44/1662.49 c current bound: 609 1660.08/1664.12 c current bound: 609 1661.71/1665.76 c current bound: 609 1663.34/1667.39 c current bound: 609 1665.16/1669.15 c current bound: 609 1666.81/1670.82 c current bound: 609 1668.38/1672.51 c current bound: 609 1670.21/1674.21 c current bound: 609 1671.72/1675.86 c current bound: 609 1673.45/1677.57 c current bound: 609 1675.23/1679.34 c current bound: 609 1676.86/1680.98 c current bound: 609 1678.63/1682.75 c current bound: 609 1680.30/1684.42 c current bound: 609 1681.96/1686.07 c current bound: 609 1683.69/1687.80 c current bound: 609 1685.51/1689.59 c current bound: 609 1687.24/1691.35 c current bound: 609 1688.96/1693.08 c current bound: 609 1690.70/1694.81 c current bound: 609 1692.35/1696.47 c current bound: 609 1694.12/1698.24 c current bound: 609 1695.88/1700.00 c current bound: 609 1697.61/1701.66 c current bound: 609 1699.21/1703.33 c current bound: 609 1700.90/1704.99 c current bound: 609 1702.65/1706.76 c current bound: 609 1704.39/1708.51 c current bound: 609 1706.05/1710.16 c current bound: 609 1707.85/1711.97 c current bound: 609 1709.50/1713.61 c current bound: 609 1711.22/1715.34 c current bound: 609 1712.85/1716.97 c current bound: 609 1714.54/1718.65 c current bound: 609 1716.31/1720.32 c current bound: 609 1717.83/1721.94 c current bound: 609 1719.61/1723.70 c current bound: 609 1721.28/1725.39 c current bound: 609 1723.01/1727.12 c current bound: 609 1724.69/1728.80 c current bound: 609 1726.34/1730.45 c current bound: 609 1727.99/1732.10 c current bound: 609 1729.74/1733.85 c current bound: 609 1731.62/1735.60 c current bound: 609 1733.23/1737.34 c current bound: 609 1734.89/1738.99 c current bound: 609 1736.52/1740.63 c current bound: 609 1738.31/1742.38 c current bound: 609 1740.03/1744.15 c current bound: 609 1741.72/1745.83 c current bound: 609 1743.49/1747.60 c current bound: 609 1745.13/1749.25 c current bound: 609 1746.91/1751.03 c current bound: 609 1748.54/1752.67 c current bound: 609 1750.24/1754.36 c current bound: 609 1751.92/1756.03 c current bound: 609 1753.72/1757.80 c current bound: 609 1755.33/1759.45 c current bound: 609 1757.11/1761.11 c current bound: 609 1758.73/1762.86 c current bound: 609 1760.48/1764.61 c current bound: 609 1762.22/1766.34 c current bound: 609 1763.88/1768.01 c current bound: 609 1765.61/1769.73 c current bound: 609 1767.30/1771.43 c current bound: 609 1769.11/1773.12 c current bound: 609 1770.65/1774.77 c current bound: 609 1772.40/1776.44 c current bound: 609 1773.97/1778.09 c current bound: 609 1775.71/1779.77 c current bound: 609 1777.37/1781.48 c current bound: 609 1779.10/1783.23 c current bound: 609 1780.79/1784.92 c current bound: 609 1782.44/1786.57 c current bound: 609 1784.07/1788.20 c current bound: 609 1785.71/1789.84 c current bound: 609 1787.37/1791.51 c current bound: 609 1789.01/1793.15 c current bound: 609 1790.74/1794.88 c current bound: 609 1792.54/1796.67 c current bound: 609 1794.20/1798.33 c current bound: 609 1795.89/1800.03 c current bound: 609 1797.56/1801.69 c current bound: 609 1798.81/1802.81 ./satsolver.sh: line 5: 21235 Terminated ./glucose $1 > $2 2> /dev/null 1798.81/1802.81 c error: unexpected solver exit code 1798.81/1802.81 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-3752591-1339208086/watcher-3752591-1339208086 -o /tmp/evaluation-result-3752591-1339208086/solver-3752591-1339208086 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752591-1339208086.wbo 140170349 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: 1.87 1.98 1.99 3/179 7924 /proc/meminfo: memFree=26991340/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [startup+0.0550849 s] /proc/loadavg: 1.87 1.98 1.99 3/179 7924 /proc/meminfo: memFree=26991340/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.10028 s] /proc/loadavg: 1.87 1.98 1.99 3/179 7924 /proc/meminfo: memFree=26991340/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300209 s] /proc/loadavg: 1.87 1.98 1.99 3/179 7924 /proc/meminfo: memFree=26991340/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700223 s] /proc/loadavg: 1.87 1.98 1.99 3/179 7924 /proc/meminfo: memFree=26991340/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50033 s] /proc/loadavg: 1.87 1.98 1.99 3/183 7941 /proc/meminfo: memFree=26953824/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=0.28 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 3974 7395 0 0 8 3 16 1 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=7940] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7940/stat : 7940 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386934095 9367552 267 33554432000 4194304 5064252 140737389011504 140737389010416 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/7940/statm: 2287 267 226 213 0 72 0 [pid=7941] ppid=7940 vsize=26568 CPUtime=1.19 cores=0,2,4,6 /proc/7941/stat : 7941 (glucose) R 7940 7924 7736 0 -1 4202496 5640 0 0 0 118 1 0 0 20 0 1 0 386934095 27205632 5949 33554432000 4194304 5208918 140735751205744 140735751204152 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/7941/statm: 6642 5949 95 248 0 6391 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 56800 [startup+3.10024 s] /proc/loadavg: 1.87 1.98 1.99 3/183 7948 /proc/meminfo: memFree=26952124/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=1.98 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 5678 16906 0 0 12 3 174 9 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=7947] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7947/stat : 7947 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386934266 9367552 267 33554432000 4194304 5064252 140735605978176 140735605977088 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/7947/statm: 2287 267 226 213 0 72 0 [pid=7948] ppid=7947 vsize=26572 CPUtime=1.08 cores=0,2,4,6 /proc/7948/stat : 7948 (glucose) R 7947 7924 7736 0 -1 4202496 5621 0 0 0 108 0 0 0 20 0 1 0 386934266 27209728 5928 33554432000 4194304 5208918 140737015137680 140737015136088 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/7948/statm: 6643 5928 95 248 0 6392 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 56804 [startup+6.30029 s] /proc/loadavg: 1.96 2.00 2.00 3/182 7969 /proc/meminfo: memFree=26954964/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=5.31 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 9086 36433 0 0 20 4 485 22 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=7968] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7968/stat : 7968 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386934602 9367552 267 33554432000 4194304 5064252 140733999334944 140733999333856 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/7968/statm: 2287 267 226 213 0 72 0 [pid=7969] ppid=7968 vsize=26568 CPUtime=0.92 cores=0,2,4,6 /proc/7969/stat : 7969 (glucose) R 7968 7924 7736 0 -1 4202496 5566 0 0 0 92 0 0 0 20 0 1 0 386934602 27205632 5874 33554432000 4194304 5208918 140734997521424 140734997519832 4211792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/7969/statm: 6642 5874 95 248 0 6391 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 56800 [startup+12.7002 s] /proc/loadavg: 1.97 2.00 2.00 3/183 8015 /proc/meminfo: memFree=26969224/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=12.05 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 15902 74923 0 0 36 6 1110 53 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 Current children cumulated CPU time (s) 12.05 Current children cumulated vsize (KiB) 21084 [startup+25.5002 s] /proc/loadavg: 1.97 2.00 2.00 3/183 8117 /proc/meminfo: memFree=26955824/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=25.31 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 27837 150561 0 0 62 10 2352 107 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286592624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 Current children cumulated CPU time (s) 25.31 Current children cumulated vsize (KiB) 21084 [startup+51.1003 s] /proc/loadavg: 1.98 2.00 2.00 3/183 8299 /proc/meminfo: memFree=26950880/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=50.99 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) R 7924 7924 7736 0 -1 4202496 55092 298172 0 0 125 18 4740 216 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593712 4537479 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 21084 [startup+102.307 s] /proc/loadavg: 1.99 2.00 2.00 3/183 8684 /proc/meminfo: memFree=26970980/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=101.98 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 106214 585150 0 0 243 34 9496 425 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=8683] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8683/stat : 8683 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386944284 9367552 266 33554432000 4194304 5064252 140735961005840 140735961004752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/8683/statm: 2287 266 226 213 0 72 0 [pid=8684] ppid=8683 vsize=26568 CPUtime=0.11 cores=0,2,4,6 /proc/8684/stat : 8684 (glucose) R 8683 7924 7736 0 -1 4202496 5597 0 0 0 10 1 0 0 20 0 1 0 386944284 27205632 5890 33554432000 4194304 5208918 140734245594352 140734244544040 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/8684/statm: 6642 5890 95 248 0 6391 0 Current children cumulated CPU time (s) 102.09 Current children cumulated vsize (KiB) 56800 [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.00 3/184 9114 /proc/meminfo: memFree=26969172/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=161.51 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 165854 921168 0 0 381 51 15039 680 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 Current children cumulated CPU time (s) 161.51 Current children cumulated vsize (KiB) 21084 [startup+222.3 s] /proc/loadavg: 2.04 2.01 2.00 3/183 9561 /proc/meminfo: memFree=26950120/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=220.59 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 225494 1261495 0 0 519 69 20537 934 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=9560] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9560/stat : 9560 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386956158 9367552 267 33554432000 4194304 5064252 140735079623152 140735079622064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9560/statm: 2287 267 226 213 0 72 0 [pid=9561] ppid=9560 vsize=29284 CPUtime=1.36 cores=0,2,4,6 /proc/9561/stat : 9561 (glucose) R 9560 7924 7736 0 -1 4202496 5676 0 0 0 136 0 0 0 20 0 1 0 386956158 29986816 5985 33554432000 4194304 5208918 140735297981760 140735297980168 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9561/statm: 7321 5985 95 248 0 7070 0 Current children cumulated CPU time (s) 221.95 ################ # More data... # ################ /proc/17504/statm: 6642 5928 95 248 0 6391 0 Current children cumulated CPU time (s) 1299.34 Current children cumulated vsize (KiB) 56800 [startup+1362.3 s] /proc/loadavg: 1.94 1.95 1.97 3/183 17945 /proc/meminfo: memFree=26945024/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=1357.77 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 1368878 7748596 0 0 3100 406 126537 5734 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=17944] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17944/stat : 17944 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387070154 9367552 266 33554432000 4194304 5064252 140733467859968 140733467858880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/17944/statm: 2287 266 226 213 0 72 0 [pid=17945] ppid=17944 vsize=29416 CPUtime=1.41 cores=0,2,4,6 /proc/17945/stat : 17945 (glucose) R 17944 7924 7736 0 -1 4202496 5839 0 0 0 140 1 0 0 20 0 1 0 387070154 30121984 6120 33554432000 4194304 5208918 140736776051344 140736776049752 4229028 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/17945/statm: 7354 6120 103 248 0 7103 0 Current children cumulated CPU time (s) 1359.18 Current children cumulated vsize (KiB) 59648 [startup+1422.31 s] /proc/loadavg: 1.98 1.96 1.97 3/183 18393 /proc/meminfo: memFree=26947680/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=1418.56 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 1430222 8098503 0 0 3236 423 132198 5999 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=18392] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18392/stat : 18392 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387076250 9367552 267 33554432000 4194304 5064252 140736456803280 140736456802192 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18392/statm: 2287 267 226 213 0 72 0 [pid=18393] ppid=18392 vsize=26568 CPUtime=0.44 cores=0,2,4,6 /proc/18393/stat : 18393 (glucose) R 18392 7924 7736 0 -1 4202496 5527 0 0 0 44 0 0 0 20 0 1 0 387076250 27205632 5831 33554432000 4194304 5208918 140735454164208 140735454162616 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/18393/statm: 6642 5831 95 248 0 6391 0 Current children cumulated CPU time (s) 1419 Current children cumulated vsize (KiB) 56800 [startup+1482.3 s] /proc/loadavg: 1.99 1.96 1.97 3/183 18827 /proc/meminfo: memFree=26946812/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=1477.51 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 1489862 8438367 0 0 3368 441 137695 6247 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=18826] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18826/stat : 18826 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387082181 9367552 267 33554432000 4194304 5064252 140735338510880 140735338509792 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18826/statm: 2287 267 226 213 0 72 0 [pid=18827] ppid=18826 vsize=26572 CPUtime=1.13 cores=0,2,4,6 /proc/18827/stat : 18827 (glucose) R 18826 7924 7736 0 -1 4202496 5614 0 0 0 113 0 0 0 20 0 1 0 387082181 27209728 5923 33554432000 4194304 5208918 140735733572704 140735733571112 4211670 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/18827/statm: 6643 5923 95 248 0 6392 0 Current children cumulated CPU time (s) 1478.64 Current children cumulated vsize (KiB) 56804 [startup+1542.3 s] /proc/loadavg: 1.94 1.95 1.96 3/182 19277 /proc/meminfo: memFree=26972220/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=1538.37 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 1551206 8788040 0 0 3503 458 143369 6507 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 Current children cumulated CPU time (s) 1538.37 Current children cumulated vsize (KiB) 21084 [startup+1602.3 s] /proc/loadavg: 1.97 1.96 1.96 3/183 19713 /proc/meminfo: memFree=26963740/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=1597.56 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 1610846 9126403 0 0 3637 475 148881 6763 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=19712] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19712/stat : 19712 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387094214 9367552 266 33554432000 4194304 5064252 140736440312656 140736440311568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/19712/statm: 2287 266 226 213 0 72 0 [pid=19713] ppid=19712 vsize=26568 CPUtime=0.8 cores=0,2,4,6 /proc/19713/stat : 19713 (glucose) R 19712 7924 7736 0 -1 4202496 5546 0 0 0 79 1 0 0 20 0 1 0 387094214 27205632 5849 33554432000 4194304 5208918 140735182865952 140735182864360 4211871 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/19713/statm: 6642 5849 95 248 0 6391 0 Current children cumulated CPU time (s) 1598.36 Current children cumulated vsize (KiB) 56800 [startup+1662.3 s] /proc/loadavg: 2.07 1.99 1.97 3/183 20154 /proc/meminfo: memFree=26944396/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=1656.91 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 1670486 9468882 0 0 3770 491 154410 7020 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=20153] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20153/stat : 20153 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387100148 9367552 267 33554432000 4194304 5064252 140736719939472 140736719938384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20153/statm: 2287 267 226 213 0 72 0 [pid=20154] ppid=20153 vsize=29420 CPUtime=1.46 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose) R 20153 7924 7736 0 -1 4202496 5798 0 0 0 146 0 0 0 20 0 1 0 387100148 30126080 6107 33554432000 4194304 5208918 140737188932400 140737188930808 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/20154/statm: 7355 6107 103 248 0 7104 0 Current children cumulated CPU time (s) 1658.37 Current children cumulated vsize (KiB) 59652 [startup+1722.3 s] /proc/loadavg: 2.07 2.01 1.98 3/183 20595 /proc/meminfo: memFree=26950368/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=1718.01 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 1731830 9817993 0 0 3905 510 160108 7278 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 Current children cumulated CPU time (s) 1718.01 Current children cumulated vsize (KiB) 21084 [startup+1782.3 s] /proc/loadavg: 2.02 2.00 1.98 3/183 21036 /proc/meminfo: memFree=26946384/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=1777.54 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 1791470 10156647 0 0 4036 527 165660 7531 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=21035] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/21035/stat : 21035 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387112218 9367552 267 33554432000 4194304 5064252 140735170866864 140735170865776 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/21035/statm: 2287 267 226 213 0 72 0 [pid=21036] ppid=21035 vsize=26568 CPUtime=0.75 cores=0,2,4,6 /proc/21036/stat : 21036 (glucose) R 21035 7924 7736 0 -1 4202496 5517 0 0 0 75 0 0 0 20 0 1 0 387112218 27205632 5826 33554432000 4194304 5208918 140734291578000 140734291576408 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/21036/statm: 6642 5826 95 248 0 6391 0 Current children cumulated CPU time (s) 1778.29 Current children cumulated vsize (KiB) 56800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1802.8 s] /proc/loadavg: 2.02 2.00 1.98 3/183 21235 /proc/meminfo: memFree=26882460/32873648 swapFree=7376/7376 [pid=7924] ppid=7922 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7924/stat : 7924 (npSolver-wbo-It) S 7922 7924 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386934065 9367552 275 33554432000 4194304 5064252 140733939841264 140733939840176 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7924/statm: 2287 275 233 213 0 72 0 [pid=7926] ppid=7924 vsize=11936 CPUtime=1797.75 cores=0,2,4,6 /proc/7926/stat : 7926 (npSolver-wbo) S 7924 7924 7736 0 -1 4202496 1811918 10271134 0 0 4082 533 167540 7620 20 0 1 0 386934065 12222464 2569 33554432000 4194304 6006132 140734286601776 140734286593136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/7926/statm: 2984 2569 176 443 0 2537 0 [pid=21234] ppid=7926 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/21234/stat : 21234 (satsolver.sh) S 7926 7924 7736 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387114239 9367552 267 33554432000 4194304 5064252 140734150424352 140734150423264 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/21234/statm: 2287 267 226 213 0 72 0 [pid=21235] ppid=21234 vsize=26564 CPUtime=1.06 cores=0,2,4,6 /proc/21235/stat : 21235 (glucose) R 21234 7924 7736 0 -1 4202496 5604 0 0 0 106 0 0 0 20 0 1 0 387114239 27201536 5906 33554432000 4194304 5208918 140735359447648 140735359446056 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/21235/statm: 6641 5906 95 248 0 6390 0 Current children cumulated CPU time (s) 1798.81 Current children cumulated vsize (KiB) 56796 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples 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.37 # lost CPU user time (s): 1.37 # lost CPU system time (s): 0 Real time (s): 1802.82 CPU time (s): 1800.21 CPU user time (s): 1718.67 CPU system time (s): 81.5486 CPU usage (%): 99.8557 Max. virtual memory (cumulated for all children) (KiB): 59932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1717.3 system time used= 81.5486 maximum resident set size= 30172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12089645 page faults= 0 swaps= 0 block input operations= 0 block output operations= 7579224 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 148041 involuntary context switches= 15028 runsolver used 6.66099 second user time and 15.6196 second system time The end
Begin job on node125 at 2012-06-09 04:14:46 IDJOB=3752591 IDBENCH=79179 IDSOLVER=2336 FILE ID=node125/3752591-1339208086 RUNJOBID= node125-1339206283-7752 PBS_JOBID= 14643891 Free space on /tmp= 68708 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752591-1339208086/watcher-3752591-1339208086 -o /tmp/evaluation-result-3752591-1339208086/solver-3752591-1339208086 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752591-1339208086.wbo 140170349 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3c416dfc7b9a20db215e1b491e013711 RANDOM SEED=140170349 node125.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.373 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.74 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.373 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.373 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.373 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.90 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.373 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.373 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 : 5438.54 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.373 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.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26995316 kB Buffers: 774856 kB Cached: 4131872 kB SwapCached: 1248 kB Active: 4429612 kB Inactive: 491960 kB Active(anon): 4428 kB Inactive(anon): 7424 kB Active(file): 4425184 kB Inactive(file): 484536 kB Unevictable: 7376 kB Mlocked: 7376 kB SwapTotal: 67108856 kB SwapFree: 67102600 kB Dirty: 16744 kB Writeback: 0 kB AnonPages: 18620 kB Mapped: 12476 kB Shmem: 96 kB Slab: 817572 kB SReclaimable: 261320 kB SUnreclaim: 556252 kB KernelStack: 1440 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 131860 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 68688 MiB End job on node125 at 2012-06-09 04:44:49