Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1800.35 | 1865.51 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo |
MD5SUM | bad48add975eecf801ffda2fc733cf44 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 7.12992 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 8550 |
Total number of constraints | 185 |
Number of soft constraints | 120 |
Number of constraints which are clauses | 95 |
Number of constraints which are cardinality constraints (but not clauses) | 90 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 95 |
Top cost | 6763 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6762 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 96 |
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.78 c run usual solver 6.68/6.71 o 2847 6.68/6.71 c starting approximation 6.68/6.71 c factor = 2 6.68/6.71 c factor still to low - shrinking to 2.04984 6.68/6.71 c approx number of clauses: 1e+06 6.68/6.71 c current bound: 1423 9.07/9.11 c current bound: 1423 11.06/11.54 c current bound: 1423 13.47/13.95 c current bound: 1423 16.33/16.50 c current bound: 1423 18.72/18.90 c current bound: 1423 20.69/21.55 c current bound: 1423 23.10/23.95 c current bound: 1423 25.93/26.56 c current bound: 1423 27.93/28.98 c current bound: 1423 30.33/31.55 c current bound: 1423 32.72/33.95 c current bound: 1423 35.61/36.61 c current bound: 1423 38.01/39.01 c current bound: 1423 39.96/41.46 c current bound: 1423 42.38/43.88 c current bound: 1423 45.17/46.28 c current bound: 1423 47.66/48.90 c current bound: 1423 50.08/51.30 c current bound: 1423 52.46/53.93 c current bound: 1423 54.39/56.33 c current bound: 1423 57.27/58.92 c current bound: 1423 59.68/61.32 c current bound: 1423 62.13/63.91 c current bound: 1423 64.51/66.31 c current bound: 1423 66.47/68.73 c current bound: 1423 68.86/71.13 c current bound: 1423 71.27/73.53 c current bound: 1423 74.09/75.96 c current bound: 1423 76.50/78.35 c current bound: 1423 78.49/80.76 c current bound: 1423 80.84/83.34 c current bound: 1423 83.67/85.74 c current bound: 1423 86.07/88.33 c current bound: 1423 88.05/90.73 c current bound: 1423 90.41/93.39 c current bound: 1423 93.29/95.82 c current bound: 1423 95.69/98.43 c current bound: 1423 97.64/100.84 c current bound: 1423 100.42/103.45 c current bound: 1423 102.82/105.89 c current bound: 1423 104.86/108.57 c current bound: 1423 107.26/110.97 c current bound: 1423 110.05/113.58 c current bound: 1423 112.05/115.97 c current bound: 1423 114.90/118.62 c current bound: 1423 117.30/121.02 c current bound: 1423 119.73/123.66 c current bound: 1423 121.69/126.07 c current bound: 1423 124.57/128.67 c current bound: 1423 126.89/131.09 c current bound: 1423 129.39/133.72 c current bound: 1423 131.32/136.13 c current bound: 1423 134.22/138.80 c current bound: 1423 136.62/141.20 c current bound: 1423 139.02/143.82 c current bound: 1423 141.41/146.24 c current bound: 1423 143.84/148.85 c current bound: 1423 145.82/151.26 c current bound: 1423 148.24/153.90 c current bound: 1423 151.09/156.30 c current bound: 1423 153.47/158.93 c current bound: 1423 155.45/161.33 c current bound: 1423 158.30/163.94 c current bound: 1423 160.68/166.33 c current bound: 1423 163.12/168.99 c current bound: 1423 165.07/171.38 c current bound: 1423 167.92/174.03 c current bound: 1423 169.89/176.46 c current bound: 1423 172.74/179.10 c current bound: 1423 175.04/181.50 c current bound: 1423 177.55/184.15 c current bound: 1423 179.50/186.57 c current bound: 1423 182.39/189.23 c current bound: 1423 184.75/191.64 c current bound: 1423 186.74/194.29 c current bound: 1423 189.14/196.69 c current bound: 1423 192.00/199.36 c current bound: 1423 193.93/201.75 c current bound: 1423 196.81/204.41 c current bound: 1423 199.22/206.81 c current bound: 1423 201.63/209.37 c current bound: 1423 203.59/211.77 c current bound: 1423 206.03/214.34 c current bound: 1423 208.85/216.74 c current bound: 1423 211.25/219.14 c current bound: 1423 213.23/221.64 c current bound: 1423 215.63/224.04 c current bound: 1423 218.05/226.47 c current bound: 1423 220.85/228.89 c current bound: 1423 223.23/231.29 c current bound: 1423 225.28/233.68 c current bound: 1423 228.17/236.11 c current bound: 1423 230.56/238.51 c current bound: 1423 232.96/240.97 c current bound: 1423 235.29/243.36 c current bound: 1423 237.28/245.75 c current bound: 1423 239.71/248.17 c current bound: 1423 242.13/250.59 c current bound: 1423 245.00/253.01 c current bound: 1423 247.37/255.43 c current bound: 1423 249.37/257.84 c current bound: 1423 251.77/260.24 c current bound: 1423 254.15/262.64 c current bound: 1423 256.99/265.06 c current bound: 1423 259.43/267.53 c current bound: 1423 261.37/269.93 c current bound: 1423 264.20/272.31 c current bound: 1423 266.56/274.96 c current bound: 1423 268.95/277.36 c current bound: 1423 270.98/279.94 c current bound: 1423 273.39/282.35 c current bound: 1423 275.80/284.74 c current bound: 1423 278.60/287.16 c current bound: 1423 281.00/289.56 c current bound: 1423 283.49/292.00 c current bound: 1423 285.91/294.42 c current bound: 1423 287.85/296.83 c current bound: 1423 290.70/299.23 c current bound: 1423 293.08/301.65 c current bound: 1423 295.10/304.07 c current bound: 1423 297.52/306.47 c current bound: 1423 299.89/308.87 c current bound: 1423 302.69/311.26 c current bound: 1423 305.08/313.66 c current bound: 1423 307.12/316.08 c current bound: 1423 309.52/318.47 c current bound: 1423 311.94/320.89 c current bound: 1423 314.30/323.27 c current bound: 1423 317.15/325.84 c current bound: 1423 319.15/328.26 c current bound: 1423 321.56/330.87 c current bound: 1423 324.34/333.26 c current bound: 1423 326.72/335.97 c current bound: 1423 328.73/338.37 c current bound: 1423 331.59/340.92 c current bound: 1423 333.86/343.28 c current bound: 1423 336.30/345.99 c current bound: 1423 338.27/348.39 c current bound: 1423 341.12/351.02 c current bound: 1423 343.51/353.42 c current bound: 1423 345.47/355.94 c current bound: 1423 347.92/358.37 c current bound: 1423 350.78/361.12 c current bound: 1423 352.73/363.53 c current bound: 1423 355.13/366.20 c current bound: 1423 357.89/368.59 c current bound: 1423 360.38/371.18 c current bound: 1423 362.33/373.58 c current bound: 1423 365.20/376.21 c current bound: 1423 367.60/378.61 c current bound: 1423 370.04/381.24 c current bound: 1423 371.98/383.65 c current bound: 1423 374.84/386.26 c current bound: 1423 376.81/388.69 c current bound: 1423 379.20/391.17 c current bound: 1423 381.63/393.58 c current bound: 1423 384.39/395.98 c current bound: 1423 386.42/398.57 c current bound: 1423 388.81/400.96 c current bound: 1423 391.62/403.31 c current bound: 1423 394.02/405.71 c current bound: 1423 396.41/408.14 c current bound: 1423 398.79/410.54 c current bound: 1423 401.21/412.90 c current bound: 1423 403.13/415.29 c current bound: 1423 405.99/417.88 c current bound: 1423 408.33/420.28 c current bound: 1423 410.77/422.98 c current bound: 1423 412.70/425.38 c current bound: 1423 415.60/428.01 c current bound: 1423 417.98/430.40 c current bound: 1423 420.38/433.02 c current bound: 1423 422.77/435.42 c current bound: 1423 425.17/438.08 c current bound: 1423 427.17/440.48 c current bound: 1423 429.53/443.07 c current bound: 1423 432.32/445.46 c current bound: 1423 434.77/448.14 c current bound: 1423 436.77/450.56 c current bound: 1423 439.57/453.13 c current bound: 1423 441.95/455.56 c current bound: 1423 444.43/458.16 c current bound: 1423 446.36/460.55 c current bound: 1423 449.22/463.16 c current bound: 1423 451.55/465.55 c current bound: 1423 453.57/468.19 c current bound: 1423 455.96/470.58 c current bound: 1423 458.74/473.16 c current bound: 1423 460.76/475.58 c current bound: 1423 463.17/478.17 c current bound: 1423 465.56/480.57 c current bound: 1423 468.39/483.24 c current bound: 1423 470.35/485.65 c current bound: 1423 473.21/488.25 c current bound: 1423 475.55/490.65 c current bound: 1423 477.94/493.34 c current bound: 1423 479.93/495.77 c current bound: 1423 482.79/498.37 c current bound: 1423 485.15/500.79 c current bound: 1423 487.63/503.40 c current bound: 1423 490.05/505.81 c current bound: 1423 492.45/508.42 c current bound: 1423 494.85/510.82 c current bound: 1423 496.77/513.46 c current bound: 1423 499.56/515.87 c current bound: 1423 502.05/518.52 c current bound: 1423 504.44/520.92 c current bound: 1423 506.83/523.49 c current bound: 1423 509.16/525.89 c current bound: 1423 511.64/528.60 c current bound: 1423 514.05/531.00 c current bound: 1423 516.41/533.62 c current bound: 1423 518.81/536.02 c current bound: 1423 520.81/538.69 c current bound: 1423 523.69/541.12 c current bound: 1423 525.97/543.69 c current bound: 1423 527.99/546.09 c current bound: 1423 530.89/548.72 c current bound: 1423 533.26/551.14 c current bound: 1423 535.63/553.78 c current bound: 1423 537.61/556.19 c current bound: 1423 540.47/558.81 c current bound: 1423 542.84/561.24 c current bound: 1423 545.29/563.81 c current bound: 1423 547.24/566.25 c current bound: 1423 550.09/568.88 c current bound: 1423 552.09/571.28 c current bound: 1423 554.50/573.88 c current bound: 1423 557.38/576.30 c current bound: 1423 559.80/578.91 c current bound: 1423 562.19/581.30 c current bound: 1423 564.13/584.00 c current bound: 1423 566.90/586.39 c current bound: 1423 569.40/589.13 c current bound: 1423 571.40/591.55 c current bound: 1423 574.26/594.11 c current bound: 1423 576.67/596.51 c current bound: 1423 578.62/599.13 c current bound: 1423 581.04/601.53 c current bound: 1423 583.89/604.16 c current bound: 1423 585.88/606.56 c current bound: 1423 588.27/609.17 c current bound: 1423 591.06/611.59 c current bound: 1423 593.54/614.23 c current bound: 1423 595.54/616.65 c current bound: 1423 598.40/619.33 c current bound: 1423 600.76/621.74 c current bound: 1423 602.75/624.35 c current bound: 1423 605.17/626.77 c current bound: 1423 608.02/629.43 c current bound: 1423 610.00/631.84 c current bound: 1423 612.41/634.47 c current bound: 1423 615.20/636.85 c current bound: 1423 617.65/639.48 c current bound: 1423 619.59/641.87 c current bound: 1423 622.48/644.50 c current bound: 1423 624.88/646.90 c current bound: 1423 627.28/649.54 c current bound: 1423 629.24/651.93 c current bound: 1423 632.06/654.55 c current bound: 1423 634.43/656.97 c current bound: 1423 636.47/659.58 c current bound: 1423 638.87/661.98 c current bound: 1423 641.71/664.59 c current bound: 1423 644.17/667.01 c current bound: 1423 646.55/669.70 c current bound: 1423 648.96/672.13 c current bound: 1423 651.35/674.76 c current bound: 1423 653.33/677.15 c current bound: 1423 656.16/679.76 c current bound: 1423 658.53/682.19 c current bound: 1423 660.57/684.84 c current bound: 1423 662.97/687.23 c current bound: 1423 665.83/689.90 c current bound: 1423 668.24/692.32 c current bound: 1423 670.21/694.96 c current bound: 1423 673.00/697.39 c current bound: 1423 675.47/699.96 c current bound: 1423 677.45/702.36 c current bound: 1423 680.34/705.00 c current bound: 1423 682.73/707.42 c current bound: 1423 685.14/710.15 c current bound: 1423 687.08/712.56 c current bound: 1423 689.92/715.17 c current bound: 1423 692.29/717.56 c current bound: 1423 694.32/720.19 c current bound: 1423 696.73/722.60 c current bound: 1423 699.62/725.29 c current bound: 1423 701.57/727.73 c current bound: 1423 704.42/730.37 c current bound: 1423 706.76/732.76 c current bound: 1423 709.17/735.37 c current bound: 1423 711.16/737.77 c current bound: 1423 713.96/740.28 c current bound: 1423 716.35/742.67 c current bound: 1423 718.35/745.07 c current bound: 1423 721.25/747.70 c current bound: 1423 723.66/750.13 c current bound: 1423 726.07/752.70 c current bound: 1423 728.48/755.12 c current bound: 1423 730.88/757.51 c current bound: 1423 732.84/759.93 c current bound: 1423 735.66/762.38 c current bound: 1423 738.04/764.78 c current bound: 1423 740.09/767.19 c current bound: 1423 742.96/769.60 c current bound: 1423 745.35/772.01 c current bound: 1423 747.73/774.44 c current bound: 1423 750.11/776.89 c current bound: 1423 752.60/779.31 c current bound: 1423 754.99/781.71 c current bound: 1423 757.34/784.26 c current bound: 1423 759.74/786.68 c current bound: 1423 761.77/789.09 c current bound: 1423 764.64/791.50 c current bound: 1423 766.57/793.90 c current bound: 1423 768.97/796.29 c current bound: 1423 771.84/798.71 c current bound: 1423 774.22/801.15 c current bound: 1423 776.20/803.53 c current bound: 1423 778.59/805.93 c current bound: 1423 781.01/808.35 c current bound: 1423 783.82/810.75 c current bound: 1423 786.21/813.16 c current bound: 1423 788.20/815.55 c current bound: 1423 790.62/817.97 c current bound: 1423 793.02/820.37 c current bound: 1423 795.79/822.76 c current bound: 1423 798.19/825.19 c current bound: 1423 800.70/827.60 c current bound: 1423 802.66/830.03 c current bound: 1423 805.08/832.47 c current bound: 1423 807.89/834.87 c current bound: 1423 810.28/837.28 c current bound: 1423 812.78/839.70 c current bound: 1423 814.76/842.14 c current bound: 1423 817.19/844.58 c current bound: 1423 819.98/846.98 c current bound: 1423 822.46/849.40 c current bound: 1423 824.85/852.04 c current bound: 1423 826.81/854.47 c current bound: 1423 829.62/857.06 c current bound: 1423 831.64/859.48 c current bound: 1423 834.02/862.08 c current bound: 1423 836.91/864.54 c current bound: 1423 839.34/867.21 c current bound: 1423 841.31/869.63 c current bound: 1423 844.18/872.30 c current bound: 1423 846.56/874.73 c current bound: 1423 848.54/877.35 c current bound: 1423 850.95/879.75 c current bound: 1423 853.78/882.28 c current bound: 1423 856.27/884.70 c current bound: 1423 858.69/887.10 c current bound: 1423 860.61/889.65 c current bound: 1423 863.42/892.05 c current bound: 1423 865.81/894.44 c current bound: 1423 867.83/896.87 c current bound: 1423 870.25/899.28 c current bound: 1423 872.65/901.69 c current bound: 1423 875.06/904.10 c current bound: 1423 877.92/906.50 c current bound: 1423 880.31/908.94 c current bound: 1423 882.33/911.37 c current bound: 1423 885.19/914.02 c current bound: 1423 887.55/916.46 c current bound: 1423 890.00/919.07 c current bound: 1423 891.97/921.49 c current bound: 1423 894.80/924.07 c current bound: 1423 897.16/926.47 c current bound: 1423 899.67/929.21 c current bound: 1423 902.06/931.65 c current bound: 1423 904.48/934.28 c current bound: 1423 906.94/936.70 c current bound: 1423 909.34/939.31 c current bound: 1423 911.73/941.71 c current bound: 1423 914.12/944.34 c current bound: 1423 916.10/946.76 c current bound: 1423 918.91/949.38 c current bound: 1423 921.27/951.79 c current bound: 1423 923.77/954.41 c current bound: 1423 926.16/956.81 c current bound: 1423 928.54/959.45 c current bound: 1423 930.50/961.85 c current bound: 1423 932.91/964.47 c current bound: 1423 935.70/966.89 c current bound: 1423 938.14/969.49 c current bound: 1423 940.12/971.89 c current bound: 1423 942.99/974.52 c current bound: 1423 945.37/976.92 c current bound: 1423 947.78/979.61 c current bound: 1423 950.18/982.01 c current bound: 1423 952.59/984.60 c current bound: 1423 954.98/987.03 c current bound: 1423 957.01/989.69 c current bound: 1423 959.40/992.08 c current bound: 1423 962.18/994.67 c current bound: 1423 964.21/997.07 c current bound: 1423 966.60/999.74 c current bound: 1423 969.40/1002.16 c current bound: 1423 971.84/1004.78 c current bound: 1423 974.29/1007.20 c current bound: 1423 976.70/1009.83 c current bound: 1423 979.07/1012.23 c current bound: 1423 981.06/1014.79 c current bound: 1423 983.45/1017.18 c current bound: 1423 986.31/1019.86 c current bound: 1423 988.27/1022.28 c current bound: 1423 990.68/1024.87 c current bound: 1423 993.06/1027.26 c current bound: 1423 995.91/1029.89 c current bound: 1423 998.36/1032.30 c current bound: 1423 1000.75/1034.90 c current bound: 1423 1003.04/1037.30 c current bound: 1423 1005.46/1039.88 c current bound: 1423 1007.48/1042.30 c current bound: 1423 1010.32/1044.94 c current bound: 1423 1012.72/1047.34 c current bound: 1423 1015.16/1049.96 c current bound: 1423 1017.14/1052.39 c current bound: 1423 1019.97/1055.03 c current bound: 1423 1022.37/1057.43 c current bound: 1423 1024.79/1060.01 c current bound: 1423 1026.75/1062.43 c current bound: 1423 1029.65/1065.16 c current bound: 1423 1031.59/1067.55 c current bound: 1423 1034.43/1070.24 c current bound: 1423 1036.81/1072.65 c current bound: 1423 1038.83/1075.16 c current bound: 1423 1041.23/1077.56 c current bound: 1423 1044.09/1080.20 c current bound: 1423 1046.49/1082.61 c current bound: 1423 1048.90/1085.27 c current bound: 1423 1051.33/1087.70 c current bound: 1423 1053.73/1090.31 c current bound: 1423 1056.12/1092.70 c current bound: 1423 1058.06/1095.28 c current bound: 1423 1060.94/1097.70 c current bound: 1423 1063.33/1100.32 c current bound: 1423 1065.72/1102.71 c current bound: 1423 1068.14/1105.31 c current bound: 1423 1070.54/1107.73 c current bound: 1423 1072.90/1110.33 c current bound: 1423 1074.90/1112.74 c current bound: 1423 1077.73/1115.39 c current bound: 1423 1080.08/1117.78 c current bound: 1423 1082.55/1120.42 c current bound: 1423 1084.95/1122.82 c current bound: 1423 1087.36/1125.41 c current bound: 1423 1089.77/1127.81 c current bound: 1423 1091.70/1130.45 c current bound: 1423 1094.08/1132.83 c current bound: 1423 1096.93/1135.50 c current bound: 1423 1099.33/1137.90 c current bound: 1423 1101.73/1140.62 c current bound: 1423 1104.11/1143.01 c current bound: 1423 1106.48/1145.62 c current bound: 1423 1108.89/1148.02 c current bound: 1423 1111.24/1150.77 c current bound: 1423 1113.64/1153.16 c current bound: 1423 1115.64/1155.78 c current bound: 1423 1118.04/1158.18 c current bound: 1423 1120.88/1160.84 c current bound: 1423 1122.81/1163.23 c current bound: 1423 1125.21/1165.83 c current bound: 1423 1128.04/1168.25 c current bound: 1423 1130.48/1170.91 c current bound: 1423 1132.88/1173.31 c current bound: 1423 1135.30/1175.97 c current bound: 1423 1137.63/1178.39 c current bound: 1423 1140.14/1181.03 c current bound: 1423 1142.52/1183.41 c current bound: 1423 1144.89/1185.83 c current bound: 1423 1147.29/1188.26 c current bound: 1423 1149.30/1190.68 c current bound: 1423 1152.13/1193.22 c current bound: 1423 1154.53/1195.61 c current bound: 1423 1156.94/1198.01 c current bound: 1423 1159.33/1200.41 c current bound: 1423 1161.74/1202.81 c current bound: 1423 1164.13/1205.22 c current bound: 1423 1166.10/1207.63 c current bound: 1423 1168.93/1210.03 c current bound: 1423 1171.32/1212.44 c current bound: 1423 1173.30/1214.86 c current bound: 1423 1175.72/1217.48 c current bound: 1423 1178.51/1219.88 c current bound: 1423 1180.99/1222.30 c current bound: 1423 1183.39/1224.70 c current bound: 1423 1185.32/1227.09 c current bound: 1423 1187.73/1229.48 c current bound: 1423 1190.13/1231.90 c current bound: 1423 1193.00/1234.30 c current bound: 1423 1195.39/1236.73 c current bound: 1423 1197.39/1239.16 c current bound: 1423 1199.82/1241.59 c current bound: 1423 1202.70/1244.02 c current bound: 1423 1205.07/1246.44 c current bound: 1423 1207.48/1248.86 c current bound: 1423 1209.48/1251.26 c current bound: 1423 1211.88/1253.89 c current bound: 1423 1214.64/1256.29 c current bound: 1423 1217.13/1258.95 c current bound: 1423 1219.11/1261.35 c current bound: 1423 1221.99/1263.91 c current bound: 1423 1224.37/1266.33 c current bound: 1423 1226.83/1268.98 c current bound: 1423 1229.26/1271.42 c current bound: 1423 1231.64/1274.04 c current bound: 1423 1233.61/1276.45 c current bound: 1423 1236.48/1279.10 c current bound: 1423 1238.79/1281.50 c current bound: 1423 1241.26/1284.07 c current bound: 1423 1243.21/1286.46 c current bound: 1423 1246.07/1289.13 c current bound: 1423 1248.46/1291.55 c current bound: 1423 1250.89/1294.26 c current bound: 1423 1252.89/1296.68 c current bound: 1423 1255.77/1299.29 c current bound: 1423 1257.73/1301.73 c current bound: 1423 1260.15/1304.36 c current bound: 1423 1262.96/1306.78 c current bound: 1423 1265.36/1309.37 c current bound: 1423 1267.37/1311.77 c current bound: 1423 1270.23/1314.41 c current bound: 1423 1272.61/1316.83 c current bound: 1423 1275.05/1319.54 c current bound: 1423 1277.04/1321.97 c current bound: 1423 1279.92/1324.47 c current bound: 1423 1282.23/1326.88 c current bound: 1423 1284.73/1329.30 c current bound: 1423 1286.70/1331.73 c current bound: 1423 1289.10/1334.14 c current bound: 1423 1291.93/1336.53 c current bound: 1423 1294.32/1338.95 c current bound: 1423 1296.32/1341.36 c current bound: 1423 1299.13/1343.72 c current bound: 1423 1301.10/1346.15 c current bound: 1423 1303.92/1348.57 c current bound: 1423 1306.31/1350.98 c current bound: 1423 1308.70/1353.35 c current bound: 1423 1311.18/1356.01 c current bound: 1423 1313.56/1358.43 c current bound: 1423 1316.00/1360.94 c current bound: 1423 1317.96/1363.33 c current bound: 1423 1320.35/1365.73 c current bound: 1423 1323.14/1368.36 c current bound: 1423 1325.53/1370.75 c current bound: 1423 1327.96/1373.31 c current bound: 1423 1330.37/1375.72 c current bound: 1423 1332.76/1378.12 c current bound: 1423 1335.17/1380.54 c current bound: 1423 1337.55/1382.93 c current bound: 1423 1339.95/1385.32 c current bound: 1423 1341.93/1387.75 c current bound: 1423 1344.36/1390.18 c current bound: 1423 1347.14/1392.58 c current bound: 1423 1349.64/1395.00 c current bound: 1423 1352.02/1397.42 c current bound: 1423 1353.99/1399.84 c current bound: 1423 1356.42/1402.27 c current bound: 1423 1359.23/1404.83 c current bound: 1423 1361.62/1407.23 c current bound: 1423 1363.62/1409.64 c current bound: 1423 1366.03/1412.06 c current bound: 1423 1368.44/1414.46 c current bound: 1423 1371.24/1416.88 c current bound: 1423 1373.63/1419.29 c current bound: 1423 1375.67/1421.69 c current bound: 1423 1378.07/1424.08 c current bound: 1423 1380.93/1426.51 c current bound: 1423 1383.33/1428.94 c current bound: 1423 1385.78/1431.60 c current bound: 1423 1388.20/1434.38 c current bound: 1423 1390.55/1436.77 c current bound: 1423 1392.57/1439.43 c current bound: 1423 1394.98/1441.83 c current bound: 1423 1397.82/1444.44 c current bound: 1423 1400.17/1446.84 c current bound: 1423 1402.17/1449.46 c current bound: 1423 1404.58/1451.86 c current bound: 1423 1407.45/1454.51 c current bound: 1423 1409.42/1456.93 c current bound: 1423 1411.85/1459.54 c current bound: 1423 1414.65/1461.94 c current bound: 1423 1417.10/1464.54 c current bound: 1423 1419.09/1466.97 c current bound: 1423 1421.89/1469.68 c current bound: 1423 1424.26/1472.07 c current bound: 1423 1426.75/1474.70 c current bound: 1423 1429.16/1477.10 c current bound: 1423 1431.57/1479.73 c current bound: 1423 1433.53/1482.13 c current bound: 1423 1435.94/1484.76 c current bound: 1423 1438.75/1487.16 c current bound: 1423 1441.15/1489.76 c current bound: 1423 1443.14/1492.16 c current bound: 1423 1445.55/1494.78 c current bound: 1423 1448.32/1497.18 c current bound: 1423 1450.80/1499.83 c current bound: 1423 1452.80/1502.25 c current bound: 1423 1455.64/1504.87 c current bound: 1423 1458.00/1507.27 c current bound: 1423 1460.04/1509.89 c current bound: 1423 1462.43/1512.29 c current bound: 1423 1465.32/1514.92 c current bound: 1423 1467.72/1517.32 c current bound: 1423 1469.68/1519.98 c current bound: 1423 1472.46/1522.38 c current bound: 1423 1474.91/1524.97 c current bound: 1423 1476.91/1527.37 c current bound: 1423 1479.74/1530.05 c current bound: 1423 1482.11/1532.49 c current bound: 1423 1484.17/1535.15 c current bound: 1423 1486.60/1537.57 c current bound: 1423 1489.44/1540.24 c current bound: 1423 1491.42/1542.64 c current bound: 1423 1494.32/1545.18 c current bound: 1423 1496.26/1547.58 c current bound: 1423 1499.12/1550.20 c current bound: 1423 1501.09/1552.64 c current bound: 1423 1503.50/1555.25 c current bound: 1423 1506.32/1557.67 c current bound: 1423 1508.81/1560.28 c current bound: 1423 1510.75/1562.69 c current bound: 1423 1513.59/1565.34 c current bound: 1423 1515.99/1567.76 c current bound: 1423 1518.44/1570.40 c current bound: 1423 1520.84/1572.82 c current bound: 1423 1523.26/1575.44 c current bound: 1423 1525.21/1577.85 c current bound: 1423 1528.06/1580.42 c current bound: 1423 1530.43/1582.85 c current bound: 1423 1532.90/1585.43 c current bound: 1423 1534.86/1587.84 c current bound: 1423 1537.70/1590.56 c current bound: 1423 1540.07/1592.95 c current bound: 1423 1542.51/1595.50 c current bound: 1423 1544.93/1597.90 c current bound: 1423 1547.31/1600.55 c current bound: 1423 1549.67/1602.95 c current bound: 1423 1551.70/1605.64 c current bound: 1423 1554.11/1608.06 c current bound: 1423 1556.93/1610.65 c current bound: 1423 1558.93/1613.04 c current bound: 1423 1561.33/1615.68 c current bound: 1423 1564.11/1618.07 c current bound: 1423 1566.55/1620.64 c current bound: 1423 1568.52/1623.05 c current bound: 1423 1570.92/1625.70 c current bound: 1423 1573.72/1628.18 c current bound: 1423 1576.23/1630.82 c current bound: 1423 1578.15/1633.19 c current bound: 1423 1581.04/1635.85 c current bound: 1423 1583.00/1638.28 c current bound: 1423 1585.38/1640.89 c current bound: 1423 1587.76/1643.26 c current bound: 1423 1590.60/1645.94 c current bound: 1423 1592.60/1648.36 c current bound: 1423 1595.51/1650.91 c current bound: 1423 1597.89/1653.31 c current bound: 1423 1600.28/1655.92 c current bound: 1423 1602.26/1658.34 c current bound: 1423 1605.11/1660.96 c current bound: 1423 1607.45/1663.36 c current bound: 1423 1609.92/1665.96 c current bound: 1423 1611.89/1668.39 c current bound: 1423 1614.71/1670.99 c current bound: 1423 1617.03/1673.38 c current bound: 1423 1619.54/1676.02 c current bound: 1423 1621.51/1678.45 c current bound: 1423 1624.34/1681.12 c current bound: 1423 1626.74/1683.52 c current bound: 1423 1629.16/1686.14 c current bound: 1423 1631.52/1688.55 c current bound: 1423 1633.99/1691.20 c current bound: 1423 1636.39/1693.60 c current bound: 1423 1638.81/1696.21 c current bound: 1423 1641.21/1698.62 c current bound: 1423 1643.65/1701.24 c current bound: 1423 1646.00/1703.61 c current bound: 1423 1648.42/1706.30 c current bound: 1423 1650.82/1708.70 c current bound: 1423 1653.22/1711.31 c current bound: 1423 1655.13/1713.67 c current bound: 1423 1657.98/1716.43 c current bound: 1423 1659.95/1718.85 c current bound: 1423 1662.79/1721.53 c current bound: 1423 1665.19/1723.91 c current bound: 1423 1667.64/1726.52 c current bound: 1423 1670.04/1728.92 c current bound: 1423 1672.43/1731.58 c current bound: 1423 1674.39/1733.98 c current bound: 1423 1676.80/1736.65 c current bound: 1423 1679.60/1739.07 c current bound: 1423 1682.07/1741.71 c current bound: 1423 1683.99/1744.09 c current bound: 1423 1686.87/1746.68 c current bound: 1423 1689.19/1749.07 c current bound: 1423 1691.63/1751.67 c current bound: 1423 1693.57/1754.03 c current bound: 1423 1696.45/1756.73 c current bound: 1423 1698.82/1759.15 c current bound: 1423 1700.81/1761.77 c current bound: 1423 1703.21/1764.16 c current bound: 1423 1706.06/1766.86 c current bound: 1423 1708.04/1769.25 c current bound: 1423 1710.91/1771.91 c current bound: 1423 1713.31/1774.34 c current bound: 1423 1715.69/1776.89 c current bound: 1423 1717.66/1779.28 c current bound: 1423 1720.50/1781.96 c current bound: 1423 1722.88/1784.38 c current bound: 1423 1724.92/1787.05 c current bound: 1423 1727.31/1789.44 c current bound: 1423 1730.15/1792.03 c current bound: 1423 1732.54/1794.43 c current bound: 1423 1734.96/1797.11 c current bound: 1423 1737.36/1799.54 c current bound: 1423 1739.80/1802.20 c current bound: 1423 1742.21/1804.60 c current bound: 1423 1744.59/1807.21 c current bound: 1423 1746.99/1809.64 c current bound: 1423 1749.46/1812.28 c current bound: 1423 1751.39/1814.68 c current bound: 1423 1754.25/1817.51 c current bound: 1423 1756.66/1819.90 c current bound: 1423 1759.05/1822.60 c current bound: 1423 1761.44/1825.00 c current bound: 1423 1763.83/1827.68 c current bound: 1423 1766.29/1830.10 c current bound: 1423 1768.65/1832.74 c current bound: 1423 1771.03/1835.14 c current bound: 1423 1773.52/1837.80 c current bound: 1423 1775.90/1840.20 c current bound: 1423 1778.28/1842.83 c current bound: 1423 1780.29/1845.26 c current bound: 1423 1783.10/1847.94 c current bound: 1423 1785.50/1850.36 c current bound: 1423 1787.53/1853.03 c current bound: 1423 1790.37/1855.41 c current bound: 1423 1792.80/1858.05 c current bound: 1423 1794.77/1860.47 c current bound: 1423 1797.60/1863.12 c current bound: 1423 1800.01/1865.51 HOME/npSolver-wbo-Itdqb.sh: line 18: 21518 Terminated ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1
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-3715682-1338187334/watcher-3715682-1338187334 -o /tmp/evaluation-result-3715682-1338187334/solver-3715682-1338187334 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715682-1338187334.wbo 137797721 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: 2.00 1.98 1.91 3/177 21516 /proc/meminfo: memFree=28569304/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=11812 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (runsolver) D 21514 21516 25502 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 284858848 12095488 51 33554432000 4194304 5436572 140735465307072 140735465303368 4883175 0 0 4096 24578 18446744072101258628 0 0 17 3 0 0 0 0 0 /proc/21516/statm: 2953 51 31 304 0 2645 0 [startup+0.0630671 s] /proc/loadavg: 2.00 1.98 1.91 3/177 21516 /proc/meminfo: memFree=28569304/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100186 s] /proc/loadavg: 2.00 1.98 1.91 3/177 21516 /proc/meminfo: memFree=28569304/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300149 s] /proc/loadavg: 2.00 1.98 1.91 3/177 21516 /proc/meminfo: memFree=28569304/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700112 s] /proc/loadavg: 2.00 1.98 1.91 3/177 21516 /proc/meminfo: memFree=28569304/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50028 s] /proc/loadavg: 2.00 1.98 1.91 3/181 21527 /proc/meminfo: memFree=28430868/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=27216 CPUtime=0.76 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 5369 0 0 0 74 2 0 0 20 0 1 0 284858848 27869184 4948 33554432000 4194304 5990268 140734773094960 140734773088112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/21518/statm: 6804 4948 156 439 0 6361 0 [pid=21526] ppid=21518 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21526/stat : 21526 (cp2_pre.sh) S 21518 21516 25502 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 284858926 9367552 277 33554432000 4194304 5064252 140735861372464 140735861371168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/21526/statm: 2287 277 234 213 0 72 0 [pid=21527] ppid=21526 vsize=153452 CPUtime=0.71 cores=1,3,5,7 /proc/21527/stat : 21527 (coprocessor) R 21526 21516 25502 0 -1 4202496 26122 0 0 0 66 5 0 0 20 0 1 0 284858926 157134848 36828 33554432000 4194304 6586260 140733956435888 140733956432152 4768378 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0 /proc/21527/statm: 38363 36828 175 584 0 37775 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 198964 [startup+3.10021 s] /proc/loadavg: 2.08 2.00 1.92 3/181 21534 /proc/meminfo: memFree=28362988/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=27216 CPUtime=0.76 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 5369 0 0 0 74 2 0 0 20 0 1 0 284858848 27869184 4948 33554432000 4194304 5990268 140734773094960 140734773088112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/21518/statm: 6804 4948 156 439 0 6361 0 [pid=21526] ppid=21518 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21526/stat : 21526 (cp2_pre.sh) S 21518 21516 25502 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 284858926 9367552 277 33554432000 4194304 5064252 140735861372464 140735861371168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/21526/statm: 2287 277 234 213 0 72 0 [pid=21527] ppid=21526 vsize=181664 CPUtime=2.31 cores=1,3,5,7 /proc/21527/stat : 21527 (coprocessor) R 21526 21516 25502 0 -1 4202496 30884 0 0 0 226 5 0 0 20 0 1 0 284858926 186023936 44145 33554432000 4194304 6586260 140733956435888 140733956431208 5599209 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0 /proc/21527/statm: 45416 44145 191 584 0 44828 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 227176 [startup+6.30018 s] /proc/loadavg: 2.08 2.00 1.92 3/181 21555 /proc/meminfo: memFree=28321136/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=27216 CPUtime=6.08 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 5386 46934 0 0 74 2 466 66 20 0 1 0 284858848 27869184 4950 33554432000 4194304 5990268 140734773094960 140734773088688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/21518/statm: 6804 4950 158 439 0 6361 0 Current children cumulated CPU time (s) 6.08 Current children cumulated vsize (KiB) 36364 [startup+12.7003 s] /proc/loadavg: 2.22 2.03 1.93 3/181 21621 /proc/meminfo: memFree=28424724/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=11.6 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 15969 113788 0 0 105 31 928 96 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773086368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 [pid=21620] ppid=21518 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21620/stat : 21620 (satsolver.sh) S 21518 21516 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284860009 9367552 267 33554432000 4194304 5064252 140735753801136 140735753800048 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/21620/statm: 2287 267 226 213 0 72 0 [pid=21621] ppid=21620 vsize=95084 CPUtime=1.07 cores=1,3,5,7 /proc/21621/stat : 21621 (glucose) R 21620 21516 25502 0 -1 4202496 18934 0 0 0 104 3 0 0 20 0 1 0 284860010 97366016 21007 33554432000 4194304 5208918 140736113029472 140736113027320 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/21621/statm: 23771 21007 103 248 0 23520 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 160560 [startup+25.5003 s] /proc/loadavg: 2.19 2.03 1.93 3/181 21740 /proc/meminfo: memFree=28424440/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=23.64 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 34654 258509 0 0 148 36 2017 163 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773086368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 [pid=21732] ppid=21518 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21732/stat : 21732 (satsolver.sh) S 21518 21516 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284861251 9367552 267 33554432000 4194304 5064252 140733402917488 140733402916400 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21732/statm: 2287 267 226 213 0 72 0 [pid=21733] ppid=21732 vsize=95216 CPUtime=1.46 cores=1,3,5,7 /proc/21733/stat : 21733 (glucose) R 21732 21516 25502 0 -1 4202496 17525 0 0 0 143 3 0 0 20 0 1 0 284861251 97501184 20823 33554432000 4194304 5208918 140734512533808 140734512531656 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/21733/statm: 23804 20823 103 248 0 23553 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 160692 [startup+51.1003 s] /proc/loadavg: 2.05 2.01 1.93 3/181 21978 /proc/meminfo: memFree=28425372/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=49.6 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 72030 563984 0 0 234 46 4381 299 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773085856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 3 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 Current children cumulated CPU time (s) 49.6 Current children cumulated vsize (KiB) 56328 ############ # WARNING: # current cumulated CPU time (54.39 s) is less than in the last sample (54.71 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.32 s) to the 'lost time'. [startup+56.2004 s] /proc/loadavg: 2.05 2.01 1.93 4/182 22030 /proc/meminfo: memFree=28468636/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=54.39 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 79504 620400 0 0 251 48 4813 327 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773085856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 21 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 [pid=22028] ppid=21518 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22028/stat : 22028 (cp2_post.sh) S 21518 21516 25502 0 -1 4202496 608 224 0 0 0 0 0 0 20 0 1 0 284864434 9367552 265 33554432000 4194304 5064252 140734494204048 140734494202336 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22028/statm: 2287 265 225 213 0 72 0 [pid=22030] ppid=22028 vsize=51564 CPUtime=0.32 cores=1,3,5,7 /proc/22030/stat : 22030 (coprocessor) R 22028 21516 25502 0 -1 4202496 6911 0 0 0 28 4 0 0 20 0 1 0 284864434 52801536 11140 33554432000 4194304 6586260 140736304256528 140734494202360 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0 /proc/22030/statm: 12891 11140 149 584 0 12303 0 Current children cumulated CPU time (s) 54.71 Current children cumulated vsize (KiB) 117040 [startup+56.3003 s] /proc/loadavg: 2.05 2.01 1.93 4/182 22030 /proc/meminfo: memFree=28468636/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=54.39 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 79504 620400 0 0 251 48 4813 327 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773085856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 21 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 [pid=22028] ppid=21518 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22028/stat : 22028 (cp2_post.sh) R 21518 21516 25502 0 -1 4202496 608 224 0 0 0 0 0 0 20 0 1 0 284864434 9367552 265 33554432000 4194304 5064252 140734494204048 140734494202336 227512313422 0 65536 4100 65538 0 0 0 17 5 0 0 0 0 0 /proc/22028/statm: 2287 265 225 213 0 72 0 Current children cumulated CPU time (s) 54.39 Current children cumulated vsize (KiB) 65476 # ################ # More data... # ################ /proc/meminfo: memFree=28416452/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=1316.12 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 1388702 15728590 0 0 4786 561 118934 7331 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773086368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 160 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 [pid=1847] ppid=21518 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1847/stat : 1847 (satsolver.sh) S 21518 21516 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284994950 9367552 267 33554432000 4194304 5064252 140737423821184 140737423820096 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/1847/statm: 2287 267 226 213 0 72 0 [pid=1848] ppid=1847 vsize=95216 CPUtime=1.26 cores=1,3,5,7 /proc/1848/stat : 1848 (glucose) R 1847 21516 25502 0 -1 4202496 18486 0 0 0 122 4 0 0 20 0 1 0 284994950 97501184 20578 33554432000 4194304 5208918 140735306659904 140735306657752 4229344 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1848/statm: 23804 20578 103 248 0 23553 0 Current children cumulated CPU time (s) 1317.38 Current children cumulated vsize (KiB) 160692 [startup+1422.31 s] /proc/loadavg: 1.98 1.99 1.94 3/181 2429 /proc/meminfo: memFree=28419560/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=1376.22 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 1441527 16447590 0 0 5002 585 124372 7663 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773086368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 218 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 [pid=2421] ppid=21518 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/2421/stat : 2421 (satsolver.sh) S 21518 21516 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285001025 9367552 267 33554432000 4194304 5064252 140733302577536 140733302576448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/2421/statm: 2287 267 226 213 0 72 0 [pid=2422] ppid=2421 vsize=94952 CPUtime=0.52 cores=1,3,5,7 /proc/2422/stat : 2422 (glucose) R 2421 21516 25502 0 -1 4202496 18838 0 0 0 49 3 0 0 20 0 1 0 285001025 97230848 20907 33554432000 4194304 5208918 140734715558272 140734715556232 4213878 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/2422/statm: 23738 20907 95 248 0 23487 0 Current children cumulated CPU time (s) 1376.74 Current children cumulated vsize (KiB) 160428 [startup+1482.3 s] /proc/loadavg: 1.99 1.99 1.94 3/180 2976 /proc/meminfo: memFree=28414724/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=1434.07 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 1492239 17139945 0 0 5210 607 129609 7981 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773086368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 233 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 Current children cumulated CPU time (s) 1434.07 Current children cumulated vsize (KiB) 56328 [startup+1542.3 s] /proc/loadavg: 1.99 1.99 1.94 3/181 3537 /proc/meminfo: memFree=28411900/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=1491.42 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 1540844 17826416 0 0 5408 629 134804 8301 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773085856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 233 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 Current children cumulated CPU time (s) 1491.42 Current children cumulated vsize (KiB) 56328 [startup+1602.3 s] /proc/loadavg: 1.99 1.99 1.94 3/181 4090 /proc/meminfo: memFree=28416652/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=1547.43 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 1591550 18500630 0 0 5616 652 139856 8619 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773086368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 233 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 [pid=4082] ppid=21518 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4082/stat : 4082 (satsolver.sh) S 21518 21516 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285018911 9367552 267 33554432000 4194304 5064252 140734504944800 140734504943712 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/4082/statm: 2287 267 226 213 0 72 0 [pid=4083] ppid=4082 vsize=96400 CPUtime=1.65 cores=1,3,5,7 /proc/4083/stat : 4083 (glucose) R 4082 21516 25502 0 -1 4202496 18094 0 0 0 163 2 0 0 20 0 1 0 285018912 98713600 20760 33554432000 4194304 5208918 140733931037136 140733931035080 4205165 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/4083/statm: 24100 20760 103 248 0 23849 0 Current children cumulated CPU time (s) 1549.08 Current children cumulated vsize (KiB) 161876 [startup+1662.3 s] /proc/loadavg: 1.99 1.99 1.94 3/181 4650 /proc/meminfo: memFree=28413192/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=1605.21 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 1642262 19198288 0 0 5824 673 145087 8937 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773086368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 239 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 [pid=4642] ppid=21518 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4642/stat : 4642 (satsolver.sh) S 21518 21516 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285024952 9367552 266 33554432000 4194304 5064252 140735925469792 140735925468704 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/4642/statm: 2287 266 226 213 0 72 0 [pid=4643] ppid=4642 vsize=95220 CPUtime=1.23 cores=1,3,5,7 /proc/4643/stat : 4643 (glucose) R 4642 21516 25502 0 -1 4202496 17740 0 0 0 120 3 0 0 20 0 1 0 285024952 97505280 20847 33554432000 4194304 5208918 140734971663632 140734971661480 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4643/statm: 23805 20847 103 248 0 23554 0 Current children cumulated CPU time (s) 1606.44 Current children cumulated vsize (KiB) 160696 [startup+1722.3 s] /proc/loadavg: 2.15 2.02 1.95 2/182 5203 /proc/meminfo: memFree=28489596/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=1662.92 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 1692974 19891161 0 0 6032 695 150305 9260 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773086368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 239 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 Current children cumulated CPU time (s) 1662.92 Current children cumulated vsize (KiB) 56328 [startup+1782.3 s] /proc/loadavg: 2.40 2.13 1.99 2/181 5764 /proc/meminfo: memFree=28489020/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=1720.63 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 1743686 20583522 0 0 6240 718 155524 9581 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773086368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 239 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 Current children cumulated CPU time (s) 1720.63 Current children cumulated vsize (KiB) 56328 [startup+1842.3 s] /proc/loadavg: 2.07 2.08 1.98 3/181 6239 /proc/meminfo: memFree=28427872/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=1777.86 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) S 21516 21516 25502 0 -1 4202496 1792291 21266653 0 0 6438 741 160714 9893 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773085856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 239 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 Current children cumulated CPU time (s) 1777.86 Current children cumulated vsize (KiB) 56328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1865.5 s] /proc/loadavg: 2.04 2.07 1.98 3/181 6362 /proc/meminfo: memFree=28506776/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=1800.01 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) R 21516 21516 25502 0 -1 4202496 1811988 21534432 0 0 6517 749 162716 10019 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773085856 4608890 0 0 4096 0 0 0 0 17 1 0 0 239 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 56328 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1865.5 s] /proc/loadavg: 2.04 2.07 1.98 3/181 6362 /proc/meminfo: memFree=28506776/32873624 swapFree=7104/7104 [pid=21516] ppid=21514 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21516/stat : 21516 (npSolver-wbo-It) S 21514 21516 25502 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284858848 9367552 275 33554432000 4194304 5064252 140734259846896 140734259845808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/21516/statm: 2287 275 233 213 0 72 0 [pid=21518] ppid=21516 vsize=47180 CPUtime=1800.01 cores=1,3,5,7 /proc/21518/stat : 21518 (npSolver-wbo) R 21516 21516 25502 0 -1 4202496 1811988 21534432 0 0 6517 749 162716 10019 20 0 1 0 284858848 48312320 9313 33554432000 4194304 5990268 140734773094960 140734773085856 4608890 0 0 4096 0 0 0 0 17 1 0 0 239 0 0 /proc/21518/statm: 11795 9313 181 439 0 11352 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 56328 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): 0.32 # lost CPU user time (s): 0.279999 # lost CPU system time (s): 0.04 Real time (s): 1865.51 CPU time (s): 1800.35 CPU user time (s): 1692.62 CPU system time (s): 107.732 CPU usage (%): 96.5072 Max. virtual memory (cumulated for all children) (KiB): 261764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1692.34 system time used= 107.692 maximum resident set size= 209400 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23346795 page faults= 0 swaps= 0 block input operations= 0 block output operations= 22776912 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 576871 involuntary context switches= 13896 runsolver used 3.36249 second user time and 7.77282 second system time The end
Begin job on node121 at 2012-05-28 08:42:14 IDJOB=3715682 IDBENCH=78739 IDSOLVER=2297 FILE ID=node121/3715682-1338187334 RUNJOBID= node121-1338174706-27557 PBS_JOBID= 14624535 Free space on /tmp= 71664 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715682-1338187334/watcher-3715682-1338187334 -o /tmp/evaluation-result-3715682-1338187334/solver-3715682-1338187334 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715682-1338187334.wbo 137797721 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bad48add975eecf801ffda2fc733cf44 RANDOM SEED=137797721 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 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 : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 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 : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 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: 32873624 kB MemFree: 28569468 kB Buffers: 532192 kB Cached: 2881900 kB SwapCached: 0 kB Active: 897924 kB Inactive: 2547544 kB Active(anon): 31244 kB Inactive(anon): 0 kB Active(file): 866680 kB Inactive(file): 2547544 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 19576 kB Writeback: 0 kB AnonPages: 74544 kB Mapped: 15284 kB Shmem: 200 kB Slab: 719620 kB SReclaimable: 163400 kB SUnreclaim: 556220 kB KernelStack: 1504 kB PageTables: 3692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 137192 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 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= 71632 MiB End job on node121 at 2012-05-28 09:13:19