Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.14 | 1802.31 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo |
MD5SUM | 8b86218007c145a9ce1787d0bbf0d30b |
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 | 395 |
Best CPU time to get the best result obtained on this benchmark | 0.051992 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 1000 |
Number of soft constraints | 900 |
Number of constraints which are clauses | 900 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Top cost | 444855 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 444854 |
Biggest number in a constraint | 9 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 19 |
Number of bits of the biggest sum of numbers | 5 |
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.02 c run usual solver 0.00/0.05 o 12656 0.00/0.05 c starting approximation 0.00/0.05 c factor = 2 0.00/0.05 c factor still to low - shrinking to 68.3424 0.00/0.05 c approx number of clauses: 1e+06 0.00/0.05 c current bound: 6328 2.07/2.13 c current bound: 6328 3.88/4.19 c current bound: 6328 5.94/6.24 c current bound: 6328 8.27/8.30 c current bound: 6328 10.06/10.36 c current bound: 6328 12.13/12.42 c current bound: 6328 14.19/14.49 c current bound: 6328 16.46/16.55 c current bound: 6328 18.57/18.61 c current bound: 6328 20.38/20.67 c current bound: 6328 22.45/22.74 c current bound: 6328 24.52/24.80 c current bound: 6328 26.58/26.87 c current bound: 6328 28.65/28.92 c current bound: 6328 30.70/30.98 c current bound: 6328 32.98/33.06 c current bound: 6328 35.07/35.12 c current bound: 6328 36.89/37.18 c current bound: 6328 38.95/39.24 c current bound: 6328 41.02/41.32 c current bound: 6328 43.38/43.40 c current bound: 6328 45.20/45.48 c current bound: 6328 47.27/47.56 c current bound: 6328 49.57/49.65 c current bound: 6328 51.69/51.73 c current bound: 6328 53.78/53.80 c current bound: 6328 55.59/55.88 c current bound: 6328 57.67/57.95 c current bound: 6328 59.73/60.01 c current bound: 6328 61.79/62.07 c current bound: 6328 63.88/64.16 c current bound: 6328 65.93/66.21 c current bound: 6328 68.17/68.29 c current bound: 6328 70.27/70.40 c current bound: 6328 72.17/72.47 c current bound: 6328 74.25/74.56 c current bound: 6328 76.32/76.63 c current bound: 6328 78.42/78.73 c current bound: 6328 80.50/80.81 c current bound: 6328 82.57/82.88 c current bound: 6328 84.63/84.93 c current bound: 6328 86.86/86.99 c current bound: 6328 88.96/89.07 c current bound: 6328 90.85/91.15 c current bound: 6328 92.90/93.21 c current bound: 6328 94.98/95.28 c current bound: 6328 97.04/97.36 c current bound: 6328 99.13/99.44 c current bound: 6328 101.22/101.53 c current bound: 6328 103.27/103.59 c current bound: 6328 105.54/105.66 c current bound: 6328 107.63/107.76 c current bound: 6328 109.51/109.83 c current bound: 6328 111.57/111.90 c current bound: 6328 113.65/113.98 c current bound: 6328 115.74/116.07 c current bound: 6328 117.79/118.13 c current bound: 6328 119.86/120.20 c current bound: 6328 121.94/122.28 c current bound: 6328 124.22/124.37 c current bound: 6328 126.33/126.43 c current bound: 6328 128.13/128.48 c current bound: 6328 130.19/130.54 c current bound: 6328 132.25/132.58 c current bound: 6328 134.34/134.68 c current bound: 6328 136.41/136.75 c current bound: 6328 138.48/138.82 c current bound: 6328 140.72/140.88 c current bound: 6328 142.82/142.96 c current bound: 6328 144.69/145.03 c current bound: 6328 146.78/147.12 c current bound: 6328 148.87/149.21 c current bound: 6328 150.94/151.27 c current bound: 6328 153.00/153.33 c current bound: 6328 155.16/155.51 c current bound: 6328 157.23/157.57 c current bound: 6328 159.51/159.66 c current bound: 6328 161.63/161.72 c current bound: 6328 163.46/163.79 c current bound: 6328 165.53/165.88 c current bound: 6328 167.64/167.97 c current bound: 6328 169.72/170.05 c current bound: 6328 171.80/172.13 c current bound: 6328 173.86/174.19 c current bound: 6328 175.94/176.26 c current bound: 6328 178.22/178.36 c current bound: 6328 180.33/180.43 c current bound: 6328 182.43/182.52 c current bound: 6328 184.25/184.59 c current bound: 6328 186.32/186.64 c current bound: 6328 188.40/188.73 c current bound: 6328 190.74/190.80 c current bound: 6328 192.58/192.91 c current bound: 6328 194.93/195.00 c current bound: 6328 196.74/197.08 c current bound: 6328 199.03/199.17 c current bound: 6328 201.13/201.25 c current bound: 6328 203.00/203.32 c current bound: 6328 205.05/205.38 c current bound: 6328 207.14/207.48 c current bound: 6328 209.21/209.53 c current bound: 6328 211.29/211.61 c current bound: 6328 213.36/213.68 c current bound: 6328 215.63/215.76 c current bound: 6328 217.73/217.85 c current bound: 6328 219.85/219.91 c current bound: 6328 221.65/221.97 c current bound: 6328 223.73/224.05 c current bound: 6328 225.79/226.11 c current bound: 6328 227.88/228.21 c current bound: 6328 230.23/230.30 c current bound: 6328 232.03/232.36 c current bound: 6328 234.32/234.43 c current bound: 6328 236.43/236.51 c current bound: 6328 238.27/238.60 c current bound: 6328 240.33/240.66 c current bound: 6328 242.42/242.76 c current bound: 6328 244.52/244.85 c current bound: 6328 246.59/246.92 c current bound: 6328 248.68/249.00 c current bound: 6328 250.76/251.09 c current bound: 6328 253.04/253.14 c current bound: 6328 255.14/255.21 c current bound: 6328 256.97/257.29 c current bound: 6328 259.05/259.37 c current bound: 6328 261.14/261.46 c current bound: 6328 263.21/263.53 c current bound: 6328 265.30/265.63 c current bound: 6328 267.39/267.71 c current bound: 6328 269.47/269.79 c current bound: 6328 271.56/271.88 c current bound: 6328 273.83/273.94 c current bound: 6328 275.94/276.03 c current bound: 6328 277.77/278.10 c current bound: 6328 279.85/280.18 c current bound: 6328 281.91/282.24 c current bound: 6328 283.98/284.31 c current bound: 6328 286.06/286.37 c current bound: 6328 288.10/288.43 c current bound: 6328 290.43/290.51 c current bound: 6328 292.55/292.60 c current bound: 6328 294.36/294.69 c current bound: 6328 296.43/296.76 c current bound: 6328 298.48/298.82 c current bound: 6328 300.60/300.92 c current bound: 6328 302.70/303.01 c current bound: 6328 304.77/305.09 c current bound: 6328 306.84/307.16 c current bound: 6328 309.13/309.21 c current bound: 6328 311.14/311.27 c current bound: 6328 313.03/313.36 c current bound: 6328 315.11/315.45 c current bound: 6328 317.18/317.51 c current bound: 6328 319.26/319.59 c current bound: 6328 321.31/321.64 c current bound: 6328 323.39/323.73 c current bound: 6328 325.46/325.80 c current bound: 6328 327.72/327.88 c current bound: 6328 329.83/329.95 c current bound: 6328 331.70/332.04 c current bound: 6328 333.80/334.12 c current bound: 6328 335.86/336.18 c current bound: 6328 337.95/338.28 c current bound: 6328 340.04/340.36 c current bound: 6328 342.12/342.45 c current bound: 6328 344.21/344.54 c current bound: 6328 346.52/346.61 c current bound: 6328 348.53/348.69 c current bound: 6328 350.44/350.77 c current bound: 6328 352.50/352.83 c current bound: 6328 354.58/354.91 c current bound: 6328 356.64/356.98 c current bound: 6328 358.74/359.07 c current bound: 6328 360.81/361.14 c current bound: 6328 363.15/363.20 c current bound: 6328 365.15/365.28 c current bound: 6328 367.24/367.35 c current bound: 6328 369.11/369.43 c current bound: 6328 371.18/371.51 c current bound: 6328 373.24/373.56 c current bound: 6328 375.30/375.62 c current bound: 6328 377.36/377.69 c current bound: 6328 379.44/379.77 c current bound: 6328 381.72/381.86 c current bound: 6328 383.83/383.93 c current bound: 6328 385.94/386.01 c current bound: 6328 387.74/388.08 c current bound: 6328 389.83/390.16 c current bound: 6328 391.87/392.21 c current bound: 6328 393.95/394.28 c current bound: 6328 396.05/396.37 c current bound: 6328 398.10/398.43 c current bound: 6328 400.42/400.52 c current bound: 6328 402.42/402.59 c current bound: 6328 404.32/404.66 c current bound: 6328 406.40/406.74 c current bound: 6328 408.44/408.80 c current bound: 6328 410.52/410.88 c current bound: 6328 412.58/412.95 c current bound: 6328 414.66/415.01 c current bound: 6328 416.73/417.09 c current bound: 6328 419.02/419.17 c current bound: 6328 421.11/421.25 c current bound: 6328 422.98/423.33 c current bound: 6328 425.06/425.42 c current bound: 6328 427.16/427.52 c current bound: 6328 429.23/429.59 c current bound: 6328 431.32/431.68 c current bound: 6328 433.39/433.74 c current bound: 6328 435.47/435.81 c current bound: 6328 437.82/437.90 c current bound: 6328 439.81/439.95 c current bound: 6328 442.02/442.12 c current bound: 6328 443.85/444.20 c current bound: 6328 445.93/446.27 c current bound: 6328 447.99/448.35 c current bound: 6328 450.07/450.42 c current bound: 6328 452.42/452.50 c current bound: 6328 454.22/454.57 c current bound: 6328 456.50/456.65 c current bound: 6328 458.62/458.73 c current bound: 6328 460.45/460.79 c current bound: 6328 462.51/462.87 c current bound: 6328 464.63/464.96 c current bound: 6328 466.70/467.04 c current bound: 6328 468.77/469.12 c current bound: 6328 470.85/471.19 c current bound: 6328 472.95/473.29 c current bound: 6328 475.04/475.38 c current bound: 6328 477.32/477.46 c current bound: 6328 479.42/479.55 c current bound: 6328 481.30/481.62 c current bound: 6328 483.37/483.69 c current bound: 6328 485.43/485.75 c current bound: 6328 487.51/487.83 c current bound: 6328 489.59/489.91 c current bound: 6328 491.66/491.98 c current bound: 6328 493.93/494.05 c current bound: 6328 496.04/496.14 c current bound: 6328 498.17/498.20 c current bound: 6328 499.96/500.27 c current bound: 6328 502.03/502.35 c current bound: 6328 504.12/504.44 c current bound: 6328 506.19/506.52 c current bound: 6328 508.28/508.62 c current bound: 6328 510.64/510.70 c current bound: 6328 512.45/512.77 c current bound: 6328 514.72/514.84 c current bound: 6328 516.85/516.91 c current bound: 6328 518.67/518.99 c current bound: 6328 520.73/521.06 c current bound: 6328 522.81/523.14 c current bound: 6328 524.89/525.21 c current bound: 6328 527.23/527.46 c current bound: 6328 529.05/529.54 c current bound: 6328 531.12/531.61 c current bound: 6328 533.19/533.67 c current bound: 6328 535.47/535.73 c current bound: 6328 537.31/537.81 c current bound: 6328 539.38/539.87 c current bound: 6328 541.46/541.96 c current bound: 6328 543.54/544.03 c current bound: 6328 545.61/546.10 c current bound: 6328 547.68/548.17 c current bound: 6328 549.74/550.26 c current bound: 6328 552.03/552.31 c current bound: 6328 554.03/554.36 c current bound: 6328 555.90/556.43 c current bound: 6328 557.96/558.50 c current bound: 6328 560.02/560.55 c current bound: 6328 562.09/562.62 c current bound: 6328 564.15/564.69 c current bound: 6328 566.22/566.76 c current bound: 6328 568.50/568.82 c current bound: 6328 570.52/570.87 c current bound: 6328 572.40/572.93 c current bound: 6328 574.72/575.00 c current bound: 6328 576.51/577.05 c current bound: 6328 578.57/579.12 c current bound: 6328 580.63/581.18 c current bound: 6328 582.71/583.26 c current bound: 6328 585.01/585.32 c current bound: 6328 587.01/587.39 c current bound: 6328 588.89/589.45 c current bound: 6328 590.98/591.65 c current bound: 6328 593.03/593.72 c current bound: 6328 595.09/595.77 c current bound: 6328 597.17/597.84 c current bound: 6328 599.23/599.90 c current bound: 6328 601.29/602.15 c current bound: 6328 603.35/604.21 c current bound: 6328 605.41/606.28 c current bound: 6328 607.69/608.34 c current bound: 6328 609.79/610.41 c current bound: 6328 611.62/612.49 c current bound: 6328 613.71/614.69 c current bound: 6328 616.08/616.80 c current bound: 6328 617.88/618.87 c current bound: 6328 619.95/620.94 c current bound: 6328 622.03/623.02 c current bound: 6328 624.10/625.08 c current bound: 6328 626.37/627.15 c current bound: 6328 628.47/629.21 c current bound: 6328 630.28/631.28 c current bound: 6328 632.34/633.33 c current bound: 6328 634.41/635.41 c current bound: 6328 636.46/637.45 c current bound: 6328 638.53/639.52 c current bound: 6328 640.60/641.59 c current bound: 6328 642.85/643.64 c current bound: 6328 644.97/645.71 c current bound: 6328 646.78/647.78 c current bound: 6328 648.84/649.84 c current bound: 6328 650.90/651.90 c current bound: 6328 652.98/653.99 c current bound: 6328 655.07/656.06 c current bound: 6328 657.14/658.14 c current bound: 6328 659.22/660.22 c current bound: 6328 661.47/662.28 c current bound: 6328 663.56/664.34 c current bound: 6328 665.42/666.43 c current bound: 6328 667.49/668.49 c current bound: 6328 669.57/670.56 c current bound: 6328 671.63/672.63 c current bound: 6328 673.97/674.70 c current bound: 6328 675.76/676.77 c current bound: 6328 678.04/678.84 c current bound: 6328 680.16/680.91 c current bound: 6328 681.97/682.97 c current bound: 6328 684.03/685.02 c current bound: 6328 686.09/687.08 c current bound: 6328 688.15/689.15 c current bound: 6328 690.22/691.34 c current bound: 6328 692.28/693.40 c current bound: 6328 694.40/695.53 c current bound: 6328 696.47/697.59 c current bound: 6328 698.73/699.66 c current bound: 6328 700.85/701.87 c current bound: 6328 702.90/703.94 c current bound: 6328 705.00/706.00 c current bound: 6328 706.80/708.06 c current bound: 6328 708.87/710.12 c current bound: 6328 710.93/712.32 c current bound: 6328 713.00/714.38 c current bound: 6328 715.05/716.44 c current bound: 6328 717.38/718.50 c current bound: 6328 719.37/720.56 c current bound: 6328 721.47/722.61 c current bound: 6328 723.29/724.68 c current bound: 6328 725.36/726.74 c current bound: 6328 727.43/728.81 c current bound: 6328 729.51/730.90 c current bound: 6328 731.59/732.98 c current bound: 6328 733.67/735.05 c current bound: 6328 735.98/737.11 c current bound: 6328 737.97/739.18 c current bound: 6328 739.87/741.26 c current bound: 6328 741.94/743.33 c current bound: 6328 744.01/745.41 c current bound: 6328 746.08/747.47 c current bound: 6328 748.15/749.54 c current bound: 6328 750.23/751.62 c current bound: 6328 752.29/753.68 c current bound: 6328 754.56/755.73 c current bound: 6328 756.40/757.80 c current bound: 6328 758.46/759.87 c current bound: 6328 760.54/761.93 c current bound: 6328 762.60/763.99 c current bound: 6328 764.64/766.05 c current bound: 6328 766.71/768.12 c current bound: 6328 768.78/770.17 c current bound: 6328 771.05/772.24 c current bound: 6328 772.90/774.31 c current bound: 6328 774.96/776.38 c current bound: 6328 777.04/778.46 c current bound: 6328 779.10/780.53 c current bound: 6328 781.16/782.59 c current bound: 6328 783.24/784.65 c current bound: 6328 785.32/786.73 c current bound: 6328 787.54/788.79 c current bound: 6328 789.63/790.87 c current bound: 6328 791.51/792.95 c current bound: 6328 793.58/795.00 c current bound: 6328 795.64/797.06 c current bound: 6328 797.73/799.16 c current bound: 6328 799.81/801.24 c current bound: 6328 801.88/803.32 c current bound: 6328 803.96/805.40 c current bound: 6328 806.23/807.47 c current bound: 6328 808.32/809.54 c current bound: 6328 810.17/811.60 c current bound: 6328 812.22/813.66 c current bound: 6328 814.28/815.72 c current bound: 6328 816.34/817.77 c current bound: 6328 818.36/819.81 c current bound: 6328 820.42/821.87 c current bound: 6328 822.71/823.93 c current bound: 6328 824.53/825.98 c current bound: 6328 826.59/828.04 c current bound: 6328 828.64/830.24 c current bound: 6328 830.72/832.31 c current bound: 6328 832.80/834.39 c current bound: 6328 834.89/836.46 c current bound: 6328 836.93/838.52 c current bound: 6328 839.00/840.70 c current bound: 6328 841.25/842.75 c current bound: 6328 843.36/844.83 c current bound: 6328 845.46/846.90 c current bound: 6328 847.26/848.97 c current bound: 6328 849.31/851.02 c current bound: 6328 851.38/853.09 c current bound: 6328 853.45/855.16 c current bound: 6328 855.52/857.23 c current bound: 6328 857.75/859.26 c current bound: 6328 859.85/861.31 c current bound: 6328 861.66/863.39 c current bound: 6328 863.75/865.46 c current bound: 6328 865.80/867.52 c current bound: 6328 867.83/869.55 c current bound: 6328 869.90/871.61 c current bound: 6328 871.98/873.68 c current bound: 6328 874.25/875.73 c current bound: 6328 876.35/877.81 c current bound: 6328 878.15/879.86 c current bound: 6328 880.21/881.92 c current bound: 6328 882.27/883.98 c current bound: 6328 884.34/886.05 c current bound: 6328 886.41/888.13 c current bound: 6328 888.49/890.20 c current bound: 6328 890.55/892.27 c current bound: 6328 892.84/894.33 c current bound: 6328 894.67/896.40 c current bound: 6328 896.73/898.47 c current bound: 6328 898.82/900.54 c current bound: 6328 900.89/902.61 c current bound: 6328 902.95/904.66 c current bound: 6328 905.01/906.72 c current bound: 6328 907.09/908.92 c current bound: 6328 909.14/910.98 c current bound: 6328 911.43/913.03 c current bound: 6328 913.26/915.09 c current bound: 6328 915.33/917.16 c current bound: 6328 917.41/919.24 c current bound: 6328 919.47/921.31 c current bound: 6328 921.54/923.38 c current bound: 6328 923.62/925.45 c current bound: 6328 925.69/927.51 c current bound: 6328 927.93/929.58 c current bound: 6328 930.02/931.63 c current bound: 6328 931.87/933.70 c current bound: 6328 933.94/935.76 c current bound: 6328 936.01/937.83 c current bound: 6328 938.07/939.90 c current bound: 6328 940.14/941.98 c current bound: 6328 942.21/944.04 c current bound: 6328 944.53/946.11 c current bound: 6328 946.61/948.36 c current bound: 6328 948.65/950.42 c current bound: 6328 950.46/952.47 c current bound: 6328 952.53/954.54 c current bound: 6328 954.59/956.61 c current bound: 6328 956.66/958.79 c current bound: 6328 958.71/960.86 c current bound: 6328 960.80/962.95 c current bound: 6328 962.89/965.02 c current bound: 6328 964.94/967.09 c current bound: 6328 967.23/969.26 c current bound: 6328 969.27/971.32 c current bound: 6328 971.38/973.40 c current bound: 6328 973.20/975.49 c current bound: 6328 975.53/977.64 c current bound: 6328 977.34/979.71 c current bound: 6328 979.39/981.77 c current bound: 6328 981.46/983.83 c current bound: 6328 983.53/985.90 c current bound: 6328 985.60/987.97 c current bound: 6328 987.89/990.04 c current bound: 6328 989.71/992.09 c current bound: 6328 991.79/994.17 c current bound: 6328 993.86/996.24 c current bound: 6328 995.91/998.29 c current bound: 6328 997.97/1000.35 c current bound: 6328 1000.07/1002.45 c current bound: 6328 1002.13/1004.52 c current bound: 6328 1004.49/1006.60 c current bound: 6328 1006.53/1008.92 c current bound: 6328 1008.50/1010.98 c current bound: 6328 1010.60/1013.04 c current bound: 6328 1012.46/1015.11 c current bound: 6328 1014.52/1017.19 c current bound: 6328 1016.56/1019.22 c current bound: 6328 1018.60/1021.30 c current bound: 6328 1020.68/1023.38 c current bound: 6328 1022.74/1025.44 c current bound: 6328 1025.04/1027.50 c current bound: 6328 1027.05/1029.57 c current bound: 6328 1028.93/1031.62 c current bound: 6328 1031.01/1033.71 c current bound: 6328 1033.09/1035.80 c current bound: 6328 1035.16/1037.87 c current bound: 6328 1037.21/1039.93 c current bound: 6328 1039.28/1042.00 c current bound: 6328 1041.55/1044.06 c current bound: 6328 1043.65/1046.12 c current bound: 6328 1045.48/1048.19 c current bound: 6328 1047.55/1050.26 c current bound: 6328 1049.65/1052.35 c current bound: 6328 1051.71/1054.42 c current bound: 6328 1053.78/1056.49 c current bound: 6328 1055.86/1058.56 c current bound: 6328 1057.90/1060.61 c current bound: 6328 1060.24/1062.72 c current bound: 6328 1062.25/1064.78 c current bound: 6328 1064.14/1066.84 c current bound: 6328 1066.20/1069.02 c current bound: 6328 1068.27/1071.09 c current bound: 6328 1070.33/1073.16 c current bound: 6328 1072.40/1075.23 c current bound: 6328 1074.44/1077.29 c current bound: 6328 1076.48/1079.34 c current bound: 6328 1078.77/1081.43 c current bound: 6328 1080.89/1083.51 c current bound: 6328 1082.69/1085.57 c current bound: 6328 1084.74/1087.63 c current bound: 6328 1086.82/1089.71 c current bound: 6328 1088.90/1091.79 c current bound: 6328 1090.99/1093.86 c current bound: 6328 1093.05/1095.93 c current bound: 6328 1095.40/1098.00 c current bound: 6328 1097.38/1100.07 c current bound: 6328 1099.48/1102.15 c current bound: 6328 1101.35/1104.22 c current bound: 6328 1103.43/1106.30 c current bound: 6328 1105.51/1108.38 c current bound: 6328 1107.58/1110.46 c current bound: 6328 1109.67/1112.54 c current bound: 6328 1111.72/1114.59 c current bound: 6328 1113.98/1116.66 c current bound: 6328 1116.08/1118.85 c current bound: 6328 1118.16/1120.92 c current bound: 6328 1120.00/1122.99 c current bound: 6328 1122.07/1125.07 c current bound: 6328 1124.14/1127.15 c current bound: 6328 1126.17/1129.19 c current bound: 6328 1128.23/1131.25 c current bound: 6328 1130.31/1133.32 c current bound: 6328 1132.42/1135.43 c current bound: 6328 1134.64/1137.48 c current bound: 6328 1136.74/1139.55 c current bound: 6328 1138.58/1141.61 c current bound: 6328 1140.66/1143.68 c current bound: 6328 1142.72/1145.74 c current bound: 6328 1144.78/1147.80 c current bound: 6328 1146.85/1149.86 c current bound: 6328 1148.93/1151.95 c current bound: 6328 1151.23/1154.02 c current bound: 6328 1153.35/1156.10 c current bound: 6328 1155.41/1158.31 c current bound: 6328 1157.24/1160.39 c current bound: 6328 1159.30/1162.44 c current bound: 6328 1161.37/1164.51 c current bound: 6328 1163.43/1166.57 c current bound: 6328 1165.49/1168.65 c current bound: 6328 1167.64/1170.82 c current bound: 6328 1169.70/1172.88 c current bound: 6328 1171.97/1174.96 c current bound: 6328 1174.09/1177.01 c current bound: 6328 1175.88/1179.06 c current bound: 6328 1177.93/1181.12 c current bound: 6328 1180.28/1183.20 c current bound: 6328 1182.08/1185.27 c current bound: 6328 1184.14/1187.32 c current bound: 6328 1186.21/1189.39 c current bound: 6328 1188.28/1191.47 c current bound: 6328 1190.58/1193.52 c current bound: 6328 1192.40/1195.58 c current bound: 6328 1194.46/1197.64 c current bound: 6328 1196.53/1199.72 c current bound: 6328 1198.60/1201.79 c current bound: 6328 1200.64/1203.84 c current bound: 6328 1202.70/1205.90 c current bound: 6328 1204.76/1207.97 c current bound: 6328 1207.06/1210.04 c current bound: 6328 1209.16/1212.12 c current bound: 6328 1210.99/1214.19 c current bound: 6328 1213.07/1216.28 c current bound: 6328 1215.16/1218.37 c current bound: 6328 1217.24/1220.45 c current bound: 6328 1219.32/1222.59 c current bound: 6328 1221.39/1224.66 c current bound: 6328 1223.47/1226.73 c current bound: 6328 1225.78/1228.80 c current bound: 6328 1227.78/1230.88 c current bound: 6328 1229.68/1232.95 c current bound: 6328 1231.74/1235.02 c current bound: 6328 1233.81/1237.09 c current bound: 6328 1235.91/1239.18 c current bound: 6328 1237.98/1241.26 c current bound: 6328 1240.06/1243.34 c current bound: 6328 1242.15/1245.44 c current bound: 6328 1244.48/1247.52 c current bound: 6328 1246.58/1249.63 c current bound: 6328 1248.69/1251.71 c current bound: 6328 1250.50/1253.78 c current bound: 6328 1252.59/1255.87 c current bound: 6328 1254.65/1257.93 c current bound: 6328 1256.73/1260.03 c current bound: 6328 1259.06/1262.10 c current bound: 6328 1260.88/1264.17 c current bound: 6328 1263.15/1266.25 c current bound: 6328 1265.27/1268.33 c current bound: 6328 1267.11/1270.40 c current bound: 6328 1269.18/1272.46 c current bound: 6328 1271.23/1274.52 c current bound: 6328 1273.31/1276.61 c current bound: 6328 1275.39/1278.69 c current bound: 6328 1277.45/1280.76 c current bound: 6328 1279.53/1282.84 c current bound: 6328 1281.85/1284.90 c current bound: 6328 1283.86/1286.99 c current bound: 6328 1285.73/1289.04 c current bound: 6328 1287.80/1291.12 c current bound: 6328 1290.15/1293.20 c current bound: 6328 1291.98/1295.28 c current bound: 6328 1294.04/1297.35 c current bound: 6328 1296.09/1299.40 c current bound: 6328 1298.16/1301.48 c current bound: 6328 1300.45/1303.57 c current bound: 6328 1302.54/1305.64 c current bound: 6328 1304.39/1307.70 c current bound: 6328 1306.47/1309.78 c current bound: 6328 1308.55/1311.86 c current bound: 6328 1310.63/1313.93 c current bound: 6328 1312.72/1316.02 c current bound: 6328 1314.81/1318.12 c current bound: 6328 1317.17/1320.20 c current bound: 6328 1319.14/1322.26 c current bound: 6328 1321.25/1324.34 c current bound: 6328 1323.11/1326.42 c current bound: 6328 1325.18/1328.49 c current bound: 6328 1327.27/1330.56 c current bound: 6328 1329.33/1332.63 c current bound: 6328 1331.40/1334.70 c current bound: 6328 1333.47/1336.78 c current bound: 6328 1335.57/1338.88 c current bound: 6328 1337.85/1340.95 c current bound: 6328 1339.95/1343.03 c current bound: 6328 1341.80/1345.11 c current bound: 6328 1343.85/1347.16 c current bound: 6328 1345.92/1349.23 c current bound: 6328 1348.01/1351.31 c current bound: 6328 1350.10/1353.40 c current bound: 6328 1352.20/1355.49 c current bound: 6328 1354.28/1357.58 c current bound: 6328 1356.55/1359.67 c current bound: 6328 1358.66/1361.73 c current bound: 6328 1360.53/1363.82 c current bound: 6328 1362.88/1365.90 c current bound: 6328 1364.70/1367.98 c current bound: 6328 1366.78/1370.07 c current bound: 6328 1368.86/1372.14 c current bound: 6328 1370.94/1374.23 c current bound: 6328 1373.03/1376.31 c current bound: 6328 1375.29/1378.39 c current bound: 6328 1377.38/1380.47 c current bound: 6328 1379.27/1382.55 c current bound: 6328 1381.35/1384.63 c current bound: 6328 1383.42/1386.70 c current bound: 6328 1385.50/1388.79 c current bound: 6328 1387.57/1390.85 c current bound: 6328 1389.63/1392.91 c current bound: 6328 1391.70/1394.99 c current bound: 6328 1393.96/1397.06 c current bound: 6328 1396.07/1399.14 c current bound: 6328 1397.94/1401.23 c current bound: 6328 1400.02/1403.31 c current bound: 6328 1402.09/1405.38 c current bound: 6328 1404.15/1407.44 c current bound: 6328 1406.23/1409.52 c current bound: 6328 1408.31/1411.59 c current bound: 6328 1410.58/1413.67 c current bound: 6328 1412.68/1415.74 c current bound: 6328 1414.78/1417.81 c current bound: 6328 1416.59/1419.87 c current bound: 6328 1418.67/1421.95 c current bound: 6328 1420.73/1424.02 c current bound: 6328 1422.79/1426.08 c current bound: 6328 1424.86/1428.14 c current bound: 6328 1426.92/1430.20 c current bound: 6328 1429.19/1432.26 c current bound: 6328 1431.28/1434.33 c current bound: 6328 1433.12/1436.40 c current bound: 6328 1435.18/1438.46 c current bound: 6328 1437.26/1440.53 c current bound: 6328 1439.33/1442.60 c current bound: 6328 1441.38/1444.66 c current bound: 6328 1443.44/1446.72 c current bound: 6328 1445.67/1448.79 c current bound: 6328 1447.77/1450.88 c current bound: 6328 1449.66/1452.94 c current bound: 6328 1451.75/1455.01 c current bound: 6328 1453.78/1457.07 c current bound: 6328 1455.85/1459.13 c current bound: 6328 1457.89/1461.17 c current bound: 6328 1459.94/1463.23 c current bound: 6328 1462.18/1465.30 c current bound: 6328 1464.28/1467.37 c current bound: 6328 1466.13/1469.41 c current bound: 6328 1468.19/1471.48 c current bound: 6328 1470.25/1473.55 c current bound: 6328 1472.34/1475.63 c current bound: 6328 1474.41/1477.69 c current bound: 6328 1476.44/1479.85 c current bound: 6328 1478.49/1481.89 c current bound: 6328 1480.76/1483.95 c current bound: 6328 1482.87/1486.02 c current bound: 6328 1484.69/1488.08 c current bound: 6328 1486.71/1490.24 c current bound: 6328 1488.77/1492.29 c current bound: 6328 1490.84/1494.37 c current bound: 6328 1492.91/1496.43 c current bound: 6328 1495.26/1498.50 c current bound: 6328 1497.05/1500.68 c current bound: 6328 1499.31/1502.74 c current bound: 6328 1501.43/1504.80 c current bound: 6328 1503.22/1506.86 c current bound: 6328 1505.31/1508.94 c current bound: 6328 1507.38/1511.01 c current bound: 6328 1509.46/1513.09 c current bound: 6328 1511.52/1515.15 c current bound: 6328 1513.58/1517.22 c current bound: 6328 1515.64/1519.27 c current bound: 6328 1517.93/1521.33 c current bound: 6328 1519.77/1523.39 c current bound: 6328 1521.83/1525.46 c current bound: 6328 1523.90/1527.53 c current bound: 6328 1525.92/1529.57 c current bound: 6328 1528.00/1531.63 c current bound: 6328 1530.07/1533.69 c current bound: 6328 1532.33/1535.76 c current bound: 6328 1534.43/1537.84 c current bound: 6328 1536.23/1539.87 c current bound: 6328 1538.29/1541.92 c current bound: 6328 1540.34/1543.98 c current bound: 6328 1542.40/1546.04 c current bound: 6328 1544.46/1548.10 c current bound: 6328 1546.56/1550.19 c current bound: 6328 1548.61/1552.27 c current bound: 6328 1550.89/1554.33 c current bound: 6328 1552.70/1556.37 c current bound: 6328 1554.77/1558.44 c current bound: 6328 1556.84/1560.50 c current bound: 6328 1558.92/1562.58 c current bound: 6328 1560.99/1564.66 c current bound: 6328 1563.06/1566.72 c current bound: 6328 1565.12/1568.78 c current bound: 6328 1567.40/1570.84 c current bound: 6328 1569.51/1572.92 c current bound: 6328 1571.32/1574.98 c current bound: 6328 1573.38/1577.04 c current bound: 6328 1575.44/1579.09 c current bound: 6328 1577.49/1581.14 c current bound: 6328 1579.56/1583.22 c current bound: 6328 1581.64/1585.29 c current bound: 6328 1583.91/1587.37 c current bound: 6328 1586.00/1589.42 c current bound: 6328 1587.84/1591.49 c current bound: 6328 1589.91/1593.56 c current bound: 6328 1591.98/1595.63 c current bound: 6328 1594.05/1597.70 c current bound: 6328 1596.12/1599.77 c current bound: 6328 1598.20/1601.85 c current bound: 6328 1600.41/1603.89 c current bound: 6328 1602.51/1605.96 c current bound: 6328 1604.38/1608.03 c current bound: 6328 1606.46/1610.11 c current bound: 6328 1608.51/1612.17 c current bound: 6328 1610.59/1614.24 c current bound: 6328 1612.93/1616.30 c current bound: 6328 1614.72/1618.37 c current bound: 6328 1617.02/1620.44 c current bound: 6328 1619.12/1622.50 c current bound: 6328 1620.92/1624.56 c current bound: 6328 1623.00/1626.65 c current bound: 6328 1625.07/1628.71 c current bound: 6328 1627.17/1630.80 c current bound: 6328 1629.24/1632.88 c current bound: 6328 1631.30/1634.94 c current bound: 6328 1633.35/1636.99 c current bound: 6328 1635.63/1639.07 c current bound: 6328 1637.74/1641.13 c current bound: 6328 1639.84/1643.20 c current bound: 6328 1641.63/1645.27 c current bound: 6328 1643.73/1647.33 c current bound: 6328 1645.80/1649.42 c current bound: 6328 1647.86/1651.48 c current bound: 6328 1649.94/1653.55 c current bound: 6328 1652.25/1655.60 c current bound: 6328 1654.26/1657.66 c current bound: 6328 1656.13/1659.73 c current bound: 6328 1658.20/1661.80 c current bound: 6328 1660.26/1663.86 c current bound: 6328 1662.33/1665.94 c current bound: 6328 1664.41/1668.01 c current bound: 6328 1666.48/1670.08 c current bound: 6328 1668.76/1672.14 c current bound: 6328 1670.87/1674.21 c current bound: 6328 1672.67/1676.27 c current bound: 6328 1674.74/1678.34 c current bound: 6328 1676.81/1680.40 c current bound: 6328 1678.87/1682.47 c current bound: 6328 1680.95/1684.54 c current bound: 6328 1683.02/1686.60 c current bound: 6328 1685.09/1688.67 c current bound: 6328 1687.39/1690.74 c current bound: 6328 1689.49/1692.81 c current bound: 6328 1691.29/1694.87 c current bound: 6328 1693.37/1696.94 c current bound: 6328 1695.42/1698.99 c current bound: 6328 1697.49/1701.07 c current bound: 6328 1699.57/1703.13 c current bound: 6328 1701.63/1705.19 c current bound: 6328 1703.91/1707.26 c current bound: 6328 1706.01/1709.33 c current bound: 6328 1708.11/1711.40 c current bound: 6328 1709.91/1713.47 c current bound: 6328 1712.00/1715.55 c current bound: 6328 1714.08/1717.63 c current bound: 6328 1716.43/1719.70 c current bound: 6328 1718.31/1721.87 c current bound: 6328 1720.38/1723.93 c current bound: 6328 1722.72/1726.00 c current bound: 6328 1724.72/1728.06 c current bound: 6328 1726.59/1730.14 c current bound: 6328 1728.66/1732.20 c current bound: 6328 1730.73/1734.28 c current bound: 6328 1732.82/1736.36 c current bound: 6328 1734.89/1738.43 c current bound: 6328 1737.22/1740.50 c current bound: 6328 1739.21/1742.57 c current bound: 6328 1741.30/1744.64 c current bound: 6328 1743.14/1746.70 c current bound: 6328 1745.21/1748.76 c current bound: 6328 1747.27/1750.82 c current bound: 6328 1749.37/1752.91 c current bound: 6328 1751.44/1754.98 c current bound: 6328 1753.50/1757.04 c current bound: 6328 1755.56/1759.23 c current bound: 6328 1757.63/1761.30 c current bound: 6328 1759.89/1763.38 c current bound: 6328 1761.98/1765.44 c current bound: 6328 1764.10/1767.50 c current bound: 6328 1765.87/1769.67 c current bound: 6328 1767.92/1771.73 c current bound: 6328 1770.00/1773.78 c current bound: 6328 1772.06/1775.85 c current bound: 6328 1774.12/1777.91 c current bound: 6328 1776.42/1780.06 c current bound: 6328 1778.45/1782.13 c current bound: 6328 1780.47/1784.19 c current bound: 6328 1782.36/1786.26 c current bound: 6328 1784.43/1788.33 c current bound: 6328 1786.46/1790.39 c current bound: 6328 1788.51/1792.44 c current bound: 6328 1790.57/1794.50 c current bound: 6328 1792.65/1796.57 c current bound: 6328 1794.95/1798.63 c current bound: 6328 1797.03/1800.81 c current bound: 6328 1798.52/1802.31 c error: unexpected solver exit code 1798.52/1802.31 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-3753130-1339210013/watcher-3753130-1339210013 -o /tmp/evaluation-result-3753130-1339210013/solver-3753130-1339210013 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753130-1339210013.wbo 1865653759 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 1.27 3/179 15959 /proc/meminfo: memFree=31268624/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [startup+0.079379 s] /proc/loadavg: 0.92 0.98 1.27 3/179 15959 /proc/meminfo: memFree=31268624/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100266 s] /proc/loadavg: 0.92 0.98 1.27 3/179 15959 /proc/meminfo: memFree=31268624/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300321 s] /proc/loadavg: 0.92 0.98 1.27 3/179 15959 /proc/meminfo: memFree=31268624/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700248 s] /proc/loadavg: 0.92 0.98 1.27 3/179 15959 /proc/meminfo: memFree=31268624/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.5004 s] /proc/loadavg: 1.01 1.00 1.28 3/183 15980 /proc/meminfo: memFree=31204836/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=0.13 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 4078 5428 0 0 9 2 1 1 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 [pid=15972] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15972/stat : 15972 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387128360 9367552 266 33554432000 4194304 5064252 140734943007008 140734943005920 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/15972/statm: 2287 266 226 213 0 72 0 [pid=15973] ppid=15972 vsize=48752 CPUtime=1.33 cores=1,3,5,7 /proc/15973/stat : 15973 (glucose) R 15972 15959 14023 0 -1 4202496 9983 0 0 0 132 1 0 0 20 0 1 0 387128360 49922048 10697 33554432000 4194304 5208918 140733705419392 140733705417240 4229507 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15973/statm: 12188 10697 95 248 0 11937 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 86924 [startup+3.10032 s] /proc/loadavg: 1.01 1.00 1.28 3/183 15997 /proc/meminfo: memFree=31213880/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=2.2 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 6197 20460 0 0 17 3 185 15 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 29024 heavy processes: [startup+6.30026 s] /proc/loadavg: 1.01 1.00 1.28 3/183 16079 /proc/meminfo: memFree=31147036/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=6.27 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) R 15959 15959 14023 0 -1 4202496 10107 50607 0 0 31 4 549 43 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408332088 5056689 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 29024 [startup+12.7004 s] /proc/loadavg: 1.23 1.05 1.29 3/183 16114 /proc/meminfo: memFree=31149728/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=12.49 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 16792 95477 0 0 58 8 1095 88 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 Current children cumulated CPU time (s) 12.49 Current children cumulated vsize (KiB) 29024 [startup+25.5004 s] /proc/loadavg: 1.35 1.08 1.30 3/183 16191 /proc/meminfo: memFree=31152280/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=24.88 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 29506 183992 0 0 108 14 2191 175 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 [pid=16190] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16190/stat : 16190 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387130835 9367552 267 33554432000 4194304 5064252 140736998509248 140736998508160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/16190/statm: 2287 267 226 213 0 72 0 [pid=16191] ppid=16190 vsize=48620 CPUtime=0.58 cores=1,3,5,7 /proc/16191/stat : 16191 (glucose) R 16190 15959 14023 0 -1 4202496 10483 0 0 0 57 1 0 0 20 0 1 0 387130835 49786880 10610 33554432000 4194304 5208918 140734026701872 140734026700280 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/16191/statm: 12155 10610 95 248 0 11904 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 86792 [startup+51.1004 s] /proc/loadavg: 1.57 1.15 1.31 3/183 16325 /proc/meminfo: memFree=31151416/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=49.73 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 54934 365864 0 0 206 28 4391 348 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 [pid=16324] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16324/stat : 16324 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387133320 9367552 266 33554432000 4194304 5064252 140735911005504 140735911004416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/16324/statm: 2287 266 226 213 0 72 0 [pid=16325] ppid=16324 vsize=48624 CPUtime=1.33 cores=1,3,5,7 /proc/16325/stat : 16325 (glucose) R 16324 15959 14023 0 -1 4202496 10517 0 0 0 132 1 0 0 20 0 1 0 387133320 49790976 10697 33554432000 4194304 5208918 140736825447712 140736825445560 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/16325/statm: 12156 10697 95 248 0 11905 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 86796 [startup+102.307 s] /proc/loadavg: 1.94 1.32 1.36 3/183 16605 /proc/meminfo: memFree=31150808/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=101.58 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 107909 744333 0 0 409 56 8981 712 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 [pid=16604] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16604/stat : 16604 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387138507 9367552 267 33554432000 4194304 5064252 140733197033600 140733197032512 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/16604/statm: 2287 267 226 213 0 72 0 [pid=16605] ppid=16604 vsize=48624 CPUtime=0.67 cores=1,3,5,7 /proc/16605/stat : 16605 (glucose) R 16604 15959 14023 0 -1 4202496 10494 0 0 0 66 1 0 0 20 0 1 0 387138507 49790976 10621 33554432000 4194304 5208918 140734324176112 140734324173960 4229397 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/16605/statm: 12156 10621 95 248 0 11905 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 86796 [startup+162.3 s] /proc/loadavg: 1.97 1.44 1.40 3/183 16923 /proc/meminfo: memFree=31182600/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=161.75 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 169360 1183616 0 0 645 87 14307 1136 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 Current children cumulated CPU time (s) 161.75 Current children cumulated vsize (KiB) 29024 [startup+222.3 s] /proc/loadavg: 2.14 1.58 1.44 3/184 17259 /proc/meminfo: memFree=31173872/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=222.02 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 230811 1620847 0 0 882 117 19641 1562 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 [pid=17258] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17258/stat : 17258 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387150552 9367552 267 33554432000 4194304 5064252 140735455240496 140735455239408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/17258/statm: 2287 267 226 213 0 72 0 [pid=17259] ppid=17258 vsize=48488 CPUtime=0.21 cores=1,3,5,7 /proc/17259/stat : 17259 (glucose) R 17258 15959 14023 0 -1 4202496 10114 0 0 0 19 2 0 0 20 0 1 0 387150552 49651712 10824 33554432000 4194304 5208918 140734142400560 140734142398968 4211620 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17259/statm: 12122 10824 95 248 0 11871 0 ################ # More data... # ################ [pid=15960] ppid=15959 vsize=19876 CPUtime=1478.85 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1517044 10792185 0 0 5825 767 130768 10525 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 Current children cumulated CPU time (s) 1478.85 Current children cumulated vsize (KiB) 29024 ############ # WARNING: # current cumulated CPU time (1513.95 s) is less than in the last sample (1515.52 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1.57007 s) to the 'lost time'. [startup+1518.9 s] /proc/loadavg: 2.06 2.01 1.84 3/183 24237 /proc/meminfo: memFree=31145616/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=1513.95 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1553067 11050376 0 0 5964 784 133870 10777 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 [pid=24236] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24236/stat : 24236 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387280076 9367552 267 33554432000 4194304 5064252 140737270165296 140737270164208 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/24236/statm: 2287 267 226 213 0 72 0 [pid=24237] ppid=24236 vsize=48752 CPUtime=1.57 cores=1,3,5,7 /proc/24237/stat : 24237 (glucose) R 24236 15959 14023 0 -1 4202496 10182 0 0 0 155 2 0 0 20 0 1 0 387280077 49922048 10891 33554432000 4194304 5208918 140736047571024 140736047568872 4211834 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24237/statm: 12188 10891 95 248 0 11937 0 Current children cumulated CPU time (s) 1515.52 Current children cumulated vsize (KiB) 86924 [startup+1519 s] /proc/loadavg: 2.06 2.01 1.84 3/183 24237 /proc/meminfo: memFree=31143724/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=1513.95 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1553067 11050376 0 0 5964 784 133870 10777 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 Current children cumulated CPU time (s) 1513.95 Current children cumulated vsize (KiB) 29024 # ############ [startup+1542.3 s] /proc/loadavg: 2.04 2.01 1.84 3/183 24370 /proc/meminfo: memFree=31162204/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=1538.66 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1578495 11229824 0 0 6062 797 136051 10956 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 [pid=24367] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24367/stat : 24367 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387282547 9367552 267 33554432000 4194304 5064252 140736580810608 140736580809520 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/24367/statm: 2287 267 226 213 0 72 0 [pid=24368] ppid=24367 vsize=48492 CPUtime=0.27 cores=1,3,5,7 /proc/24368/stat : 24368 (glucose) R 24367 15959 14023 0 -1 4202496 10172 0 0 0 25 2 0 0 20 0 1 0 387282547 49655808 10881 33554432000 4194304 5208918 140734259350064 140734259348472 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24368/statm: 12123 10881 95 248 0 11872 0 Current children cumulated CPU time (s) 1538.93 Current children cumulated vsize (KiB) 86664 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 1.85 3/183 24679 /proc/meminfo: memFree=31143044/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=1598.57 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1639946 11670104 0 0 6298 828 141337 11394 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 Current children cumulated CPU time (s) 1598.57 Current children cumulated vsize (KiB) 29024 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.85 3/183 25015 /proc/meminfo: memFree=31146736/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=1658.57 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1701397 12109079 0 0 6533 859 146653 11812 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 [pid=25014] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/25014/stat : 25014 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387294535 9367552 267 33554432000 4194304 5064252 140733735220544 140733735219456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/25014/statm: 2287 267 226 213 0 72 0 [pid=25015] ppid=25014 vsize=48492 CPUtime=0.39 cores=1,3,5,7 /proc/25015/stat : 25015 (glucose) R 25014 15959 14023 0 -1 4202496 9879 0 0 0 37 2 0 0 20 0 1 0 387294535 49655808 10586 33554432000 4194304 5208918 140734335937200 140734335935608 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/25015/statm: 12123 10586 95 248 0 11872 0 Current children cumulated CPU time (s) 1658.96 Current children cumulated vsize (KiB) 86664 [startup+1722.3 s] /proc/loadavg: 2.07 2.03 1.87 3/183 25330 /proc/meminfo: memFree=31146004/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=1718.69 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1762848 12549184 0 0 6769 890 151971 12239 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 Current children cumulated CPU time (s) 1718.69 Current children cumulated vsize (KiB) 29024 [startup+1782.3 s] /proc/loadavg: 2.04 2.02 1.87 4/184 25658 /proc/meminfo: memFree=31215812/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=1778.59 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1824299 12984416 0 0 7007 920 157269 12663 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 Current children cumulated CPU time (s) 1778.59 Current children cumulated vsize (KiB) 29024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1802.3 s] /proc/loadavg: 2.03 2.02 1.88 3/183 25764 /proc/meminfo: memFree=31140768/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=1797.14 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1843370 13118271 0 0 7080 929 158908 12797 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 [pid=25763] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/25763/stat : 25763 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387308436 9367552 266 33554432000 4194304 5064252 140736505289664 140736505288576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/25763/statm: 2287 266 226 213 0 72 0 [pid=25764] ppid=25763 vsize=48756 CPUtime=1.38 cores=1,3,5,7 /proc/25764/stat : 25764 (glucose) R 25763 15959 14023 0 -1 4202496 10576 0 0 0 136 2 0 0 20 0 1 0 387308436 49926144 10709 33554432000 4194304 5208918 140736139740544 140736139738392 4229142 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/25764/statm: 12189 10709 95 248 0 11938 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (KiB) 86928 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1802.3 s] /proc/loadavg: 2.03 2.02 1.88 3/183 25764 /proc/meminfo: memFree=31140768/32873844 swapFree=7116/7116 [pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15959/statm: 2287 275 233 213 0 72 0 [pid=15960] ppid=15959 vsize=19876 CPUtime=1797.14 cores=1,3,5,7 /proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1843370 13118271 0 0 7080 929 158908 12797 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0 /proc/15960/statm: 4969 4428 176 443 0 4522 0 [pid=25763] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/25763/stat : 25763 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387308436 9367552 266 33554432000 4194304 5064252 140736505289664 140736505288576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/25763/statm: 2287 266 226 213 0 72 0 [pid=25764] ppid=25763 vsize=48756 CPUtime=1.38 cores=1,3,5,7 /proc/25764/stat : 25764 (glucose) R 25763 15959 14023 0 -1 4202496 10576 0 0 0 136 2 0 0 20 0 1 0 387308436 49926144 10709 33554432000 4194304 5208918 140736139740544 140736139738392 4229142 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/25764/statm: 12189 10709 95 248 0 11938 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (KiB) 86928 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.57007 # lost CPU user time (s): 1.55005 # lost CPU system time (s): 0.0199966 Real time (s): 1802.31 CPU time (s): 1800.14 CPU user time (s): 1662.81 CPU system time (s): 137.333 CPU usage (%): 99.8795 Max. virtual memory (cumulated for all children) (KiB): 87148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1661.26 system time used= 137.313 maximum resident set size= 44520 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14973195 page faults= 0 swaps= 0 block input operations= 0 block output operations= 12024872 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 248941 involuntary context switches= 16684 runsolver used 3.05854 second user time and 8.5207 second system time The end
Begin job on node111 at 2012-06-09 04:46:54 IDJOB=3753130 IDBENCH=79387 IDSOLVER=2336 FILE ID=node111/3753130-1339210013 RUNJOBID= node111-1339210010-14645 PBS_JOBID= 14643878 Free space on /tmp= 71268 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh302_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753130-1339210013/watcher-3753130-1339210013 -o /tmp/evaluation-result-3753130-1339210013/solver-3753130-1339210013 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753130-1339210013.wbo 1865653759 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8b86218007c145a9ce1787d0bbf0d30b RANDOM SEED=1865653759 node111.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.152 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.30 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.152 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.152 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.152 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.152 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 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.152 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31269624 kB Buffers: 383528 kB Cached: 312316 kB SwapCached: 1308 kB Active: 533008 kB Inactive: 182792 kB Active(anon): 16128 kB Inactive(anon): 4004 kB Active(file): 516880 kB Inactive(file): 178788 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100188 kB Dirty: 17760 kB Writeback: 0 kB AnonPages: 23752 kB Mapped: 9988 kB Shmem: 0 kB Slab: 750660 kB SReclaimable: 190200 kB SUnreclaim: 560460 kB KernelStack: 1456 kB PageTables: 3684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 143596 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 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= 71248 MiB End job on node111 at 2012-06-09 05:16:56