Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.13 | 1801.31 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo |
MD5SUM | c177cc73697745a978507901f2a8beaa |
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 | 62.5065 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 911 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 45526 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45525 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 665 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.04 c run usual solver 0.00/0.13 o 519 0.00/0.13 c starting approximation 0.00/0.13 c factor = 2 0.00/0.13 c factor still to low - shrinking to 2.83685 0.00/0.13 c approx number of clauses: 1e+06 0.00/0.13 c current bound: 259 2.16/2.26 c current bound: 259 4.26/4.38 c current bound: 259 6.19/6.49 c current bound: 259 8.33/8.63 c current bound: 259 10.46/10.76 c current bound: 259 12.57/12.87 c current bound: 259 14.98/15.00 c current bound: 259 16.82/17.10 c current bound: 259 18.92/19.21 c current bound: 259 21.08/21.36 c current bound: 259 23.23/23.52 c current bound: 259 25.37/25.67 c current bound: 259 27.53/27.83 c current bound: 259 29.65/29.94 c current bound: 259 31.96/32.08 c current bound: 259 34.15/34.22 c current bound: 259 36.26/36.39 c current bound: 259 38.45/38.55 c current bound: 259 40.55/40.69 c current bound: 259 42.76/42.81 c current bound: 259 44.67/44.98 c current bound: 259 47.06/47.10 c current bound: 259 48.93/49.24 c current bound: 259 51.11/51.41 c current bound: 259 53.27/53.57 c current bound: 259 55.39/55.69 c current bound: 259 57.53/57.82 c current bound: 259 59.65/59.95 c current bound: 259 61.82/62.12 c current bound: 259 63.95/64.25 c current bound: 259 66.05/66.34 c current bound: 259 68.17/68.46 c current bound: 259 70.28/70.58 c current bound: 259 72.65/72.71 c current bound: 259 74.77/74.85 c current bound: 259 76.85/76.93 c current bound: 259 78.80/79.10 c current bound: 259 80.95/81.24 c current bound: 259 83.10/83.40 c current bound: 259 85.26/85.56 c current bound: 259 87.40/87.70 c current bound: 259 89.58/89.87 c current bound: 259 91.74/92.05 c current bound: 259 93.89/94.19 c current bound: 259 96.03/96.33 c current bound: 259 98.17/98.47 c current bound: 259 100.32/100.61 c current bound: 259 102.76/102.80 c current bound: 259 104.67/104.97 c current bound: 259 106.80/107.11 c current bound: 259 108.94/109.25 c current bound: 259 111.13/111.44 c current bound: 259 113.35/113.65 c current bound: 259 115.47/115.79 c current bound: 259 117.64/117.94 c current bound: 259 119.78/120.09 c current bound: 259 122.15/122.25 c current bound: 259 124.25/124.39 c current bound: 259 126.44/126.53 c current bound: 259 128.54/128.67 c current bound: 259 130.73/130.87 c current bound: 259 132.95/133.06 c current bound: 259 135.15/135.22 c current bound: 259 137.05/137.37 c current bound: 259 139.25/139.56 c current bound: 259 141.39/141.71 c current bound: 259 143.55/143.87 c current bound: 259 145.71/146.02 c current bound: 259 147.84/148.16 c current bound: 259 150.00/150.32 c current bound: 259 152.15/152.47 c current bound: 259 154.32/154.63 c current bound: 259 156.74/156.80 c current bound: 259 158.60/158.93 c current bound: 259 160.78/161.11 c current bound: 259 162.93/163.25 c current bound: 259 165.07/165.40 c current bound: 259 167.04/167.49 c current bound: 259 169.18/169.62 c current bound: 259 171.36/171.81 c current bound: 259 173.83/174.00 c current bound: 259 175.91/176.15 c current bound: 259 178.11/178.31 c current bound: 259 180.32/180.50 c current bound: 259 182.42/182.65 c current bound: 259 184.62/184.82 c current bound: 259 186.45/186.90 c current bound: 259 188.57/189.03 c current bound: 259 190.72/191.18 c current bound: 259 192.88/193.34 c current bound: 259 195.01/195.47 c current bound: 259 197.02/197.48 c current bound: 259 199.21/199.68 c current bound: 259 201.33/201.82 c current bound: 259 203.51/203.97 c current bound: 259 205.65/206.13 c current bound: 259 207.78/208.26 c current bound: 259 210.00/210.47 c current bound: 259 212.14/212.62 c current bound: 259 214.29/214.77 c current bound: 259 216.38/216.87 c current bound: 259 218.78/219.01 c current bound: 259 220.87/221.16 c current bound: 259 222.97/223.29 c current bound: 259 225.18/225.44 c current bound: 259 226.95/227.44 c current bound: 259 229.10/229.59 c current bound: 259 231.24/231.73 c current bound: 259 233.39/233.87 c current bound: 259 235.53/236.01 c current bound: 259 237.71/238.19 c current bound: 259 239.85/240.33 c current bound: 259 242.01/242.49 c current bound: 259 244.20/244.69 c current bound: 259 246.33/246.82 c current bound: 259 248.48/248.97 c current bound: 259 250.62/251.10 c current bound: 259 252.74/253.25 c current bound: 259 254.89/255.38 c current bound: 259 257.26/257.55 c current bound: 259 259.46/259.74 c current bound: 259 261.56/261.88 c current bound: 259 263.76/264.02 c current bound: 259 265.86/266.15 c current bound: 259 268.06/268.33 c current bound: 259 269.95/270.46 c current bound: 259 272.11/272.63 c current bound: 259 274.35/274.87 c current bound: 259 276.48/277.00 c current bound: 259 278.65/279.17 c current bound: 259 280.85/281.34 c current bound: 259 283.00/283.51 c current bound: 259 285.13/285.64 c current bound: 259 287.27/287.77 c current bound: 259 289.45/289.97 c current bound: 259 291.59/292.10 c current bound: 259 293.73/294.24 c current bound: 259 295.88/296.39 c current bound: 259 298.02/298.53 c current bound: 259 300.18/300.69 c current bound: 259 302.38/302.88 c current bound: 259 304.52/305.02 c current bound: 259 306.66/307.16 c current bound: 259 308.82/309.34 c current bound: 259 310.97/311.48 c current bound: 259 313.33/313.66 c current bound: 259 315.45/315.79 c current bound: 259 317.65/317.93 c current bound: 259 319.74/320.07 c current bound: 259 321.94/322.26 c current bound: 259 323.88/324.39 c current bound: 259 326.05/326.56 c current bound: 259 328.17/328.69 c current bound: 259 330.39/330.90 c current bound: 259 332.58/333.10 c current bound: 259 334.70/335.21 c current bound: 259 336.86/337.37 c current bound: 259 339.05/339.55 c current bound: 259 341.23/341.73 c current bound: 259 343.40/343.91 c current bound: 259 345.85/346.10 c current bound: 259 347.76/348.27 c current bound: 259 349.90/350.41 c current bound: 259 352.05/352.55 c current bound: 259 354.18/354.69 c current bound: 259 356.33/356.83 c current bound: 259 358.46/358.97 c current bound: 259 360.62/361.13 c current bound: 259 362.79/363.31 c current bound: 259 364.93/365.45 c current bound: 259 367.13/367.64 c current bound: 259 369.30/369.82 c current bound: 259 371.47/371.99 c current bound: 259 373.83/374.13 c current bound: 259 376.04/376.34 c current bound: 259 378.14/378.48 c current bound: 259 380.32/380.67 c current bound: 259 382.52/382.81 c current bound: 259 384.63/384.96 c current bound: 259 386.56/387.09 c current bound: 259 388.75/389.28 c current bound: 259 390.89/391.42 c current bound: 259 393.02/393.55 c current bound: 259 395.21/395.75 c current bound: 259 397.34/397.88 c current bound: 259 399.50/400.04 c current bound: 259 401.65/402.19 c current bound: 259 403.81/404.35 c current bound: 259 405.95/406.50 c current bound: 259 408.42/408.70 c current bound: 259 410.34/410.89 c current bound: 259 412.51/413.06 c current bound: 259 414.66/415.20 c current bound: 259 416.85/417.39 c current bound: 259 418.96/419.51 c current bound: 259 421.07/421.62 c current bound: 259 423.19/423.73 c current bound: 259 425.50/425.85 c current bound: 259 427.71/428.04 c current bound: 259 429.81/430.16 c current bound: 259 431.90/432.28 c current bound: 259 434.11/434.45 c current bound: 259 436.30/436.62 c current bound: 259 438.19/438.75 c current bound: 259 440.30/440.85 c current bound: 259 442.43/442.98 c current bound: 259 444.54/445.09 c current bound: 259 446.67/447.21 c current bound: 259 448.81/449.34 c current bound: 259 450.92/451.46 c current bound: 259 453.06/453.60 c current bound: 259 455.21/455.75 c current bound: 259 457.33/457.87 c current bound: 259 459.44/459.98 c current bound: 259 461.81/462.14 c current bound: 259 464.02/464.30 c current bound: 259 466.10/466.45 c current bound: 259 468.21/468.57 c current bound: 259 470.12/470.67 c current bound: 259 472.23/472.78 c current bound: 259 474.37/474.91 c current bound: 259 476.52/477.07 c current bound: 259 478.66/479.20 c current bound: 259 480.77/481.32 c current bound: 259 482.93/483.48 c current bound: 259 485.32/485.60 c current bound: 259 487.18/487.74 c current bound: 259 489.30/489.86 c current bound: 259 491.42/491.97 c current bound: 259 493.54/494.09 c current bound: 259 495.89/496.20 c current bound: 259 498.00/498.36 c current bound: 259 500.20/500.51 c current bound: 259 502.30/502.65 c current bound: 259 504.21/504.76 c current bound: 259 506.37/506.93 c current bound: 259 508.51/509.05 c current bound: 259 510.61/511.16 c current bound: 259 512.72/513.27 c current bound: 259 514.84/515.39 c current bound: 259 516.82/517.38 c current bound: 259 518.96/519.51 c current bound: 259 521.06/521.62 c current bound: 259 523.39/523.76 c current bound: 259 525.60/525.91 c current bound: 259 527.70/528.07 c current bound: 259 529.90/530.24 c current bound: 259 532.00/532.37 c current bound: 259 533.94/534.49 c current bound: 259 536.11/536.66 c current bound: 259 538.23/538.79 c current bound: 259 540.36/540.92 c current bound: 259 542.50/543.05 c current bound: 259 544.68/545.24 c current bound: 259 546.81/547.38 c current bound: 259 549.00/549.55 c current bound: 259 551.18/551.73 c current bound: 259 553.31/553.87 c current bound: 259 555.48/556.03 c current bound: 259 557.72/558.27 c current bound: 259 559.89/560.45 c current bound: 259 562.06/562.61 c current bound: 259 564.22/564.78 c current bound: 259 566.38/566.95 c current bound: 259 568.81/569.10 c current bound: 259 570.68/571.24 c current bound: 259 572.83/573.39 c current bound: 259 574.97/575.54 c current bound: 259 577.11/577.67 c current bound: 259 579.51/579.80 c current bound: 259 581.60/581.94 c current bound: 259 583.70/584.09 c current bound: 259 585.90/586.23 c current bound: 259 587.82/588.39 c current bound: 259 589.97/590.53 c current bound: 259 592.10/592.76 c current bound: 259 594.23/594.89 c current bound: 259 596.42/597.08 c current bound: 259 598.56/599.22 c current bound: 259 600.71/601.36 c current bound: 259 602.91/603.57 c current bound: 259 605.06/605.72 c current bound: 259 607.19/607.85 c current bound: 259 609.35/610.01 c current bound: 259 611.54/612.20 c current bound: 259 613.73/614.39 c current bound: 259 615.86/616.53 c current bound: 259 618.02/618.69 c current bound: 259 620.19/620.86 c current bound: 259 622.58/623.00 c current bound: 259 624.49/625.16 c current bound: 259 626.52/627.19 c current bound: 259 628.88/629.34 c current bound: 259 630.98/631.48 c current bound: 259 633.20/633.63 c current bound: 259 635.37/635.87 c current bound: 259 637.58/638.02 c current bound: 259 639.68/640.16 c current bound: 259 641.87/642.35 c current bound: 259 643.81/644.50 c current bound: 259 645.97/646.66 c current bound: 259 648.13/648.82 c current bound: 259 650.30/650.98 c current bound: 259 652.42/653.11 c current bound: 259 654.56/655.25 c current bound: 259 656.73/657.42 c current bound: 259 658.89/659.59 c current bound: 259 661.05/661.74 c current bound: 259 663.24/663.93 c current bound: 259 665.38/666.06 c current bound: 259 667.59/668.28 c current bound: 259 669.77/670.46 c current bound: 259 671.97/672.67 c current bound: 259 674.14/674.84 c current bound: 259 676.28/676.97 c current bound: 259 678.41/679.11 c current bound: 259 680.58/681.28 c current bound: 259 682.72/683.42 c current bound: 259 684.87/685.58 c current bound: 259 687.04/687.73 c current bound: 259 689.36/689.86 c current bound: 259 691.55/692.01 c current bound: 259 693.66/694.15 c current bound: 259 695.76/696.28 c current bound: 259 697.94/698.45 c current bound: 259 700.14/700.62 c current bound: 259 702.04/702.75 c current bound: 259 704.22/704.93 c current bound: 259 706.38/707.08 c current bound: 259 708.50/709.21 c current bound: 259 710.70/711.40 c current bound: 259 712.84/713.56 c current bound: 259 715.00/715.71 c current bound: 259 717.15/717.86 c current bound: 259 719.55/720.00 c current bound: 259 721.45/722.16 c current bound: 259 723.58/724.29 c current bound: 259 725.73/726.44 c current bound: 259 727.94/728.66 c current bound: 259 730.10/730.81 c current bound: 259 732.24/732.95 c current bound: 259 734.37/735.08 c current bound: 259 736.62/737.11 c current bound: 259 738.72/739.28 c current bound: 259 740.92/741.43 c current bound: 259 743.02/743.54 c current bound: 259 744.95/745.69 c current bound: 259 747.12/747.85 c current bound: 259 749.29/750.01 c current bound: 259 751.42/752.15 c current bound: 259 753.53/754.26 c current bound: 259 755.63/756.37 c current bound: 259 757.75/758.49 c current bound: 259 759.90/760.63 c current bound: 259 762.01/762.73 c current bound: 259 764.16/764.89 c current bound: 259 766.53/767.00 c current bound: 259 768.38/769.11 c current bound: 259 770.53/771.26 c current bound: 259 772.93/773.40 c current bound: 259 775.02/775.55 c current bound: 259 777.14/777.69 c current bound: 259 779.33/779.88 c current bound: 259 781.51/782.05 c current bound: 259 783.72/784.25 c current bound: 259 785.64/786.38 c current bound: 259 787.77/788.51 c current bound: 259 789.91/790.65 c current bound: 259 792.05/792.80 c current bound: 259 794.23/794.96 c current bound: 259 796.39/797.12 c current bound: 259 798.52/799.26 c current bound: 259 800.71/801.47 c current bound: 259 802.86/803.62 c current bound: 259 805.02/805.76 c current bound: 259 807.41/807.90 c current bound: 259 809.29/810.04 c current bound: 259 811.46/812.21 c current bound: 259 813.60/814.36 c current bound: 259 816.01/816.50 c current bound: 259 817.91/818.65 c current bound: 259 820.05/820.79 c current bound: 259 822.40/822.93 c current bound: 259 824.51/825.08 c current bound: 259 826.71/827.22 c current bound: 259 828.80/829.38 c current bound: 259 831.00/831.56 c current bound: 259 833.21/833.76 c current bound: 259 835.39/835.96 c current bound: 259 837.33/838.09 c current bound: 259 839.47/840.24 c current bound: 259 841.90/842.40 c current bound: 259 843.81/844.58 c current bound: 259 845.96/846.73 c current bound: 259 848.14/848.90 c current bound: 259 850.27/851.05 c current bound: 259 852.69/853.20 c current bound: 259 854.55/855.33 c current bound: 259 856.74/857.50 c current bound: 259 858.94/859.70 c current bound: 259 861.09/861.85 c current bound: 259 863.22/863.98 c current bound: 259 865.40/866.16 c current bound: 259 867.79/868.30 c current bound: 259 869.67/870.43 c current bound: 259 871.85/872.62 c current bound: 259 874.00/874.77 c current bound: 259 876.18/876.95 c current bound: 259 878.34/879.12 c current bound: 259 880.52/881.31 c current bound: 259 882.70/883.48 c current bound: 259 885.06/885.62 c current bound: 259 887.17/887.79 c current bound: 259 889.38/889.95 c current bound: 259 891.50/892.10 c current bound: 259 893.69/894.24 c current bound: 259 895.63/896.40 c current bound: 259 897.77/898.54 c current bound: 259 899.93/900.70 c current bound: 259 902.05/902.83 c current bound: 259 904.19/904.97 c current bound: 259 906.34/907.12 c current bound: 259 908.50/909.28 c current bound: 259 910.64/911.41 c current bound: 259 912.78/913.55 c current bound: 259 914.89/915.66 c current bound: 259 917.05/917.82 c current bound: 259 919.16/919.92 c current bound: 259 921.30/922.07 c current bound: 259 923.44/924.21 c current bound: 259 925.77/926.32 c current bound: 259 927.89/928.46 c current bound: 259 930.09/930.66 c current bound: 259 932.19/932.80 c current bound: 259 934.38/934.93 c current bound: 259 936.23/937.00 c current bound: 259 938.37/939.14 c current bound: 259 940.54/941.32 c current bound: 259 942.68/943.46 c current bound: 259 944.85/945.63 c current bound: 259 946.84/947.63 c current bound: 259 948.98/949.77 c current bound: 259 951.37/951.90 c current bound: 259 953.27/954.06 c current bound: 259 955.43/956.23 c current bound: 259 957.57/958.36 c current bound: 259 959.70/960.49 c current bound: 259 962.06/962.63 c current bound: 259 964.25/964.82 c current bound: 259 966.25/966.87 c current bound: 259 968.45/969.04 c current bound: 259 970.38/971.18 c current bound: 259 972.57/973.38 c current bound: 259 974.70/975.51 c current bound: 259 976.64/977.46 c current bound: 259 978.82/979.62 c current bound: 259 980.95/981.74 c current bound: 259 983.07/983.88 c current bound: 259 985.25/986.05 c current bound: 259 987.42/988.21 c current bound: 259 989.59/990.38 c current bound: 259 991.72/992.51 c current bound: 259 993.86/994.64 c current bound: 259 995.98/996.77 c current bound: 259 998.35/998.92 c current bound: 259 1000.45/1001.04 c current bound: 259 1002.55/1003.19 c current bound: 259 1004.75/1005.35 c current bound: 259 1006.91/1007.60 c current bound: 259 1009.03/1009.71 c current bound: 259 1010.91/1011.85 c current bound: 259 1013.08/1014.02 c current bound: 259 1015.24/1016.16 c current bound: 259 1017.35/1018.28 c current bound: 259 1019.46/1020.39 c current bound: 259 1021.83/1022.50 c current bound: 259 1023.73/1024.68 c current bound: 259 1025.92/1026.85 c current bound: 259 1028.06/1028.99 c current bound: 259 1030.43/1031.10 c current bound: 259 1032.29/1033.21 c current bound: 259 1034.38/1035.31 c current bound: 259 1036.72/1037.46 c current bound: 259 1038.82/1039.58 c current bound: 259 1041.03/1041.76 c current bound: 259 1043.23/1043.93 c current bound: 259 1045.32/1046.07 c current bound: 259 1047.25/1048.19 c current bound: 259 1049.37/1050.31 c current bound: 259 1051.50/1052.42 c current bound: 259 1053.65/1054.57 c current bound: 259 1056.03/1056.70 c current bound: 259 1057.89/1058.82 c current bound: 259 1060.09/1061.03 c current bound: 259 1062.20/1063.14 c current bound: 259 1064.36/1065.29 c current bound: 259 1066.49/1067.42 c current bound: 259 1068.63/1069.55 c current bound: 259 1070.74/1071.66 c current bound: 259 1072.85/1073.77 c current bound: 259 1075.05/1075.97 c current bound: 259 1077.33/1078.08 c current bound: 259 1079.44/1080.19 c current bound: 259 1081.63/1082.32 c current bound: 259 1083.55/1084.48 c current bound: 259 1085.68/1086.61 c current bound: 259 1087.82/1088.74 c current bound: 259 1089.93/1090.85 c current bound: 259 1092.08/1093.00 c current bound: 259 1094.25/1095.18 c current bound: 259 1096.37/1097.30 c current bound: 259 1098.48/1099.41 c current bound: 259 1100.61/1101.54 c current bound: 259 1102.75/1103.68 c current bound: 259 1104.90/1105.81 c current bound: 259 1107.00/1107.92 c current bound: 259 1109.34/1110.04 c current bound: 259 1111.44/1112.18 c current bound: 259 1113.63/1114.32 c current bound: 259 1115.72/1116.45 c current bound: 259 1117.61/1118.56 c current bound: 259 1119.78/1120.71 c current bound: 259 1121.91/1122.84 c current bound: 259 1124.08/1125.02 c current bound: 259 1126.63/1127.44 c current bound: 259 1128.52/1129.59 c current bound: 259 1130.68/1131.73 c current bound: 259 1132.83/1133.90 c current bound: 259 1134.97/1136.04 c current bound: 259 1137.08/1138.15 c current bound: 259 1139.23/1140.29 c current bound: 259 1141.38/1142.44 c current bound: 259 1143.49/1144.55 c current bound: 259 1145.61/1146.67 c current bound: 259 1147.74/1148.81 c current bound: 259 1149.86/1150.93 c current bound: 259 1151.98/1153.04 c current bound: 259 1154.30/1155.16 c current bound: 259 1156.49/1157.30 c current bound: 259 1158.59/1159.50 c current bound: 259 1160.79/1161.63 c current bound: 259 1162.88/1163.79 c current bound: 259 1164.82/1165.89 c current bound: 259 1166.92/1168.00 c current bound: 259 1169.08/1170.15 c current bound: 259 1171.22/1172.29 c current bound: 259 1173.34/1174.41 c current bound: 259 1175.45/1176.53 c current bound: 259 1177.60/1178.66 c current bound: 259 1179.73/1180.81 c current bound: 259 1181.87/1182.95 c current bound: 259 1184.04/1185.11 c current bound: 259 1186.20/1187.27 c current bound: 259 1188.32/1189.38 c current bound: 259 1190.43/1191.49 c current bound: 259 1192.80/1193.64 c current bound: 259 1195.00/1195.80 c current bound: 259 1197.09/1197.92 c current bound: 259 1199.19/1200.04 c current bound: 259 1201.07/1202.14 c current bound: 259 1203.21/1204.28 c current bound: 259 1205.41/1206.48 c current bound: 259 1207.56/1208.63 c current bound: 259 1209.72/1210.80 c current bound: 259 1211.83/1212.91 c current bound: 259 1213.95/1215.03 c current bound: 259 1216.06/1217.14 c current bound: 259 1218.19/1219.27 c current bound: 259 1220.31/1221.39 c current bound: 259 1222.43/1223.50 c current bound: 259 1224.59/1225.65 c current bound: 259 1226.74/1227.81 c current bound: 259 1229.08/1229.94 c current bound: 259 1231.17/1232.04 c current bound: 259 1233.29/1234.19 c current bound: 259 1235.48/1236.37 c current bound: 259 1237.66/1238.54 c current bound: 259 1239.86/1240.74 c current bound: 259 1242.06/1242.92 c current bound: 259 1243.98/1245.07 c current bound: 259 1246.13/1247.22 c current bound: 259 1248.27/1249.42 c current bound: 259 1250.43/1251.59 c current bound: 259 1252.57/1253.73 c current bound: 259 1254.72/1255.88 c current bound: 259 1256.89/1258.06 c current bound: 259 1259.03/1260.19 c current bound: 259 1261.17/1262.33 c current bound: 259 1263.31/1264.47 c current bound: 259 1265.48/1266.64 c current bound: 259 1267.61/1268.78 c current bound: 259 1269.76/1270.92 c current bound: 259 1271.89/1273.05 c current bound: 259 1274.05/1275.21 c current bound: 259 1276.18/1277.35 c current bound: 259 1278.33/1279.49 c current bound: 259 1280.56/1281.73 c current bound: 259 1282.72/1283.88 c current bound: 259 1285.08/1286.02 c current bound: 259 1287.20/1288.18 c current bound: 259 1289.39/1290.31 c current bound: 259 1291.49/1292.46 c current bound: 259 1293.43/1294.59 c current bound: 259 1295.57/1296.72 c current bound: 259 1297.68/1298.85 c current bound: 259 1299.91/1301.07 c current bound: 259 1302.03/1303.18 c current bound: 259 1304.15/1305.31 c current bound: 259 1306.29/1307.45 c current bound: 259 1308.43/1309.58 c current bound: 259 1310.54/1311.69 c current bound: 259 1312.67/1313.82 c current bound: 259 1314.77/1315.93 c current bound: 259 1316.90/1318.06 c current bound: 259 1319.08/1320.23 c current bound: 259 1321.25/1322.39 c current bound: 259 1323.59/1324.56 c current bound: 259 1325.81/1326.70 c current bound: 259 1327.90/1328.87 c current bound: 259 1330.10/1331.01 c current bound: 259 1332.21/1333.13 c current bound: 259 1334.09/1335.24 c current bound: 259 1336.22/1337.38 c current bound: 259 1338.34/1339.48 c current bound: 259 1340.49/1341.63 c current bound: 259 1342.60/1343.74 c current bound: 259 1344.74/1345.89 c current bound: 259 1346.87/1348.03 c current bound: 259 1349.03/1350.17 c current bound: 259 1351.13/1352.29 c current bound: 259 1353.30/1354.45 c current bound: 259 1355.47/1356.62 c current bound: 259 1357.68/1358.84 c current bound: 259 1359.80/1360.95 c current bound: 259 1362.10/1363.06 c current bound: 259 1364.22/1365.18 c current bound: 259 1366.42/1367.45 c current bound: 259 1368.56/1369.61 c current bound: 259 1370.67/1371.72 c current bound: 259 1372.76/1373.84 c current bound: 259 1374.69/1375.97 c current bound: 259 1376.79/1378.09 c current bound: 259 1378.91/1380.20 c current bound: 259 1381.02/1382.31 c current bound: 259 1383.17/1384.46 c current bound: 259 1385.28/1386.57 c current bound: 259 1387.40/1388.68 c current bound: 259 1389.52/1390.80 c current bound: 259 1391.64/1392.92 c current bound: 259 1393.75/1395.04 c current bound: 259 1395.98/1397.04 c current bound: 259 1398.17/1399.23 c current bound: 259 1400.26/1401.38 c current bound: 259 1402.20/1403.49 c current bound: 259 1404.35/1405.64 c current bound: 259 1406.36/1407.65 c current bound: 259 1408.54/1409.83 c current bound: 259 1410.67/1411.95 c current bound: 259 1413.09/1414.10 c current bound: 259 1414.94/1416.22 c current bound: 259 1417.06/1418.34 c current bound: 259 1419.23/1420.52 c current bound: 259 1421.36/1422.65 c current bound: 259 1423.47/1424.76 c current bound: 259 1425.76/1426.81 c current bound: 259 1427.86/1428.95 c current bound: 259 1429.98/1431.07 c current bound: 259 1431.91/1433.19 c current bound: 259 1434.27/1435.30 c current bound: 259 1436.02/1437.30 c current bound: 259 1438.13/1439.42 c current bound: 259 1440.25/1441.53 c current bound: 259 1442.67/1443.70 c current bound: 259 1444.55/1445.83 c current bound: 259 1446.71/1448.00 c current bound: 259 1448.82/1450.11 c current bound: 259 1450.97/1452.25 c current bound: 259 1453.26/1454.36 c current bound: 259 1455.38/1456.49 c current bound: 259 1457.57/1458.63 c current bound: 259 1459.68/1460.75 c current bound: 259 1461.59/1462.86 c current bound: 259 1463.81/1465.08 c current bound: 259 1465.95/1467.22 c current bound: 259 1468.07/1469.37 c current bound: 259 1470.21/1471.48 c current bound: 259 1472.31/1473.59 c current bound: 259 1474.47/1475.75 c current bound: 259 1476.61/1477.88 c current bound: 259 1478.74/1480.01 c current bound: 259 1480.86/1482.12 c current bound: 259 1482.97/1484.23 c current bound: 259 1485.13/1486.39 c current bound: 259 1487.27/1488.53 c current bound: 259 1489.59/1490.64 c current bound: 259 1491.70/1492.77 c current bound: 259 1493.80/1494.89 c current bound: 259 1495.99/1497.03 c current bound: 259 1497.90/1499.16 c current bound: 259 1500.08/1501.34 c current bound: 259 1502.23/1503.49 c current bound: 259 1504.36/1505.61 c current bound: 259 1506.45/1507.72 c current bound: 259 1508.59/1509.84 c current bound: 259 1510.72/1511.97 c current bound: 259 1512.85/1514.10 c current bound: 259 1515.00/1516.24 c current bound: 259 1517.13/1518.39 c current bound: 259 1519.31/1520.56 c current bound: 259 1521.42/1522.68 c current bound: 259 1523.57/1524.83 c current bound: 259 1526.00/1527.00 c current bound: 259 1528.10/1529.14 c current bound: 259 1530.20/1531.26 c current bound: 259 1532.43/1533.40 c current bound: 259 1534.50/1535.55 c current bound: 259 1536.31/1537.57 c current bound: 259 1538.46/1539.73 c current bound: 259 1540.61/1541.88 c current bound: 259 1542.75/1544.01 c current bound: 259 1544.87/1546.13 c current bound: 259 1546.97/1548.24 c current bound: 259 1549.09/1550.35 c current bound: 259 1551.21/1552.48 c current bound: 259 1553.37/1554.63 c current bound: 259 1555.48/1556.74 c current bound: 259 1557.79/1558.85 c current bound: 259 1559.82/1561.07 c current bound: 259 1562.10/1563.19 c current bound: 259 1564.30/1565.32 c current bound: 259 1566.41/1567.46 c current bound: 259 1568.32/1569.56 c current bound: 259 1570.44/1571.69 c current bound: 259 1572.55/1573.81 c current bound: 259 1574.69/1575.95 c current bound: 259 1576.84/1578.09 c current bound: 259 1578.97/1580.21 c current bound: 259 1581.07/1582.31 c current bound: 259 1583.19/1584.44 c current bound: 259 1585.36/1586.61 c current bound: 259 1587.49/1588.72 c current bound: 259 1589.66/1590.89 c current bound: 259 1591.78/1593.02 c current bound: 259 1594.11/1595.15 c current bound: 259 1596.21/1597.29 c current bound: 259 1598.42/1599.42 c current bound: 259 1600.52/1601.53 c current bound: 259 1602.40/1603.65 c current bound: 259 1604.51/1605.76 c current bound: 259 1606.68/1607.93 c current bound: 259 1608.83/1610.08 c current bound: 259 1611.22/1612.20 c current bound: 259 1613.06/1614.31 c current bound: 259 1615.21/1616.46 c current bound: 259 1617.33/1618.56 c current bound: 259 1619.48/1620.71 c current bound: 259 1621.65/1622.88 c current bound: 259 1623.74/1624.98 c current bound: 259 1625.88/1627.12 c current bound: 259 1628.03/1629.26 c current bound: 259 1630.43/1631.41 c current bound: 259 1632.53/1633.54 c current bound: 259 1634.74/1635.71 c current bound: 259 1636.95/1638.28 c current bound: 259 1638.84/1640.42 c current bound: 259 1640.97/1642.56 c current bound: 259 1643.11/1644.68 c current bound: 259 1645.38/1646.78 c current bound: 259 1647.48/1648.90 c current bound: 259 1649.78/1651.11 c current bound: 259 1651.89/1653.22 c current bound: 259 1653.78/1655.34 c current bound: 259 1655.78/1657.34 c current bound: 259 1657.92/1659.48 c current bound: 259 1660.02/1661.60 c current bound: 259 1662.17/1663.75 c current bound: 259 1664.27/1665.85 c current bound: 259 1666.44/1668.01 c current bound: 259 1668.58/1670.14 c current bound: 259 1671.00/1672.30 c current bound: 259 1672.87/1674.43 c current bound: 259 1675.19/1676.55 c current bound: 259 1677.29/1678.65 c current bound: 259 1679.40/1680.77 c current bound: 259 1681.30/1682.87 c current bound: 259 1683.50/1685.05 c current bound: 259 1685.64/1687.19 c current bound: 259 1687.76/1689.31 c current bound: 259 1689.89/1691.43 c current bound: 259 1692.04/1693.58 c current bound: 259 1694.16/1695.72 c current bound: 259 1696.31/1697.86 c current bound: 259 1698.45/1699.98 c current bound: 259 1700.61/1702.15 c current bound: 259 1702.74/1704.28 c current bound: 259 1704.89/1706.44 c current bound: 259 1707.02/1708.55 c current bound: 259 1709.21/1710.74 c current bound: 259 1711.35/1712.88 c current bound: 259 1713.74/1715.04 c current bound: 259 1715.84/1717.15 c current bound: 259 1718.03/1719.32 c current bound: 259 1720.13/1721.46 c current bound: 259 1722.04/1723.58 c current bound: 259 1724.17/1725.70 c current bound: 259 1726.30/1727.82 c current bound: 259 1728.45/1729.96 c current bound: 259 1730.59/1732.12 c current bound: 259 1732.71/1734.23 c current bound: 259 1734.91/1736.42 c current bound: 259 1737.04/1738.55 c current bound: 259 1739.18/1740.69 c current bound: 259 1741.34/1742.83 c current bound: 259 1743.51/1745.01 c current bound: 259 1745.62/1747.13 c current bound: 259 1747.74/1749.25 c current bound: 259 1749.92/1751.42 c current bound: 259 1752.08/1753.56 c current bound: 259 1754.47/1755.71 c current bound: 259 1756.57/1757.83 c current bound: 259 1758.67/1759.95 c current bound: 259 1760.59/1762.07 c current bound: 259 1762.71/1764.19 c current bound: 259 1764.83/1766.32 c current bound: 259 1766.97/1768.46 c current bound: 259 1769.08/1770.57 c current bound: 259 1771.28/1772.76 c current bound: 259 1773.42/1774.90 c current bound: 259 1775.54/1777.04 c current bound: 259 1777.70/1779.18 c current bound: 259 1779.85/1781.34 c current bound: 259 1781.96/1783.45 c current bound: 259 1784.10/1785.59 c current bound: 259 1786.28/1787.57 c current bound: 259 1788.38/1789.69 c current bound: 259 1790.57/1791.84 c current bound: 259 1792.79/1794.00 c current bound: 259 1794.69/1796.17 c current bound: 259 1796.82/1798.30 c current bound: 259 1798.95/1800.43 c current bound: 259 1800.09/1801.31 c error: unexpected solver exit code 1800.09/1801.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-3752898-1339202689/watcher-3752898-1339202689 -o /tmp/evaluation-result-3752898-1339202689/solver-3752898-1339202689 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752898-1339202689.wbo 544126577 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 2.00 2.00 3/179 11381 /proc/meminfo: memFree=30973028/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [startup+0.090662 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11381 /proc/meminfo: memFree=30973028/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100302 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11381 /proc/meminfo: memFree=30973028/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.30032 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11381 /proc/meminfo: memFree=30973028/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700231 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11381 /proc/meminfo: memFree=30973028/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50034 s] /proc/loadavg: 2.00 2.00 2.00 3/183 11395 /proc/meminfo: memFree=30907220/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=0.2 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 4117 5906 0 0 11 2 6 1 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=11394] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11394/stat : 11394 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386335894 9367552 267 33554432000 4194304 5064252 140736358896960 140736358895872 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/11394/statm: 2287 267 226 213 0 72 0 [pid=11395] ppid=11394 vsize=48088 CPUtime=1.25 cores=1,3,5,7 /proc/11395/stat : 11395 (glucose) R 11394 11381 2649 0 -1 4202496 10602 0 0 0 124 1 0 0 20 0 1 0 386335894 49242112 10941 33554432000 4194304 5208918 140734184020768 140734184019176 4215432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11395/statm: 12022 10941 95 248 0 11771 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 87040 [startup+3.10027 s] /proc/loadavg: 2.00 2.00 2.00 3/183 11398 /proc/meminfo: memFree=30937824/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=2.33 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 6395 21604 0 0 20 3 195 15 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 Current children cumulated CPU time (s) 2.33 Current children cumulated vsize (KiB) 29804 heavy processes: [startup+6.30031 s] /proc/loadavg: 2.00 2.00 2.00 3/181 11459 /proc/meminfo: memFree=30912624/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=6.19 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 8680 49656 0 0 28 4 555 32 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 29804 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/183 11482 /proc/meminfo: memFree=30852960/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=12.57 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 15514 98088 0 0 52 7 1125 73 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 29804 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/183 11524 /proc/meminfo: memFree=30850748/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=25.37 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 29182 193880 0 0 101 14 2262 160 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 29804 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 11608 /proc/meminfo: memFree=30849952/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=49.31 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 56511 371145 0 0 199 27 4375 330 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=11607] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11607/stat : 11607 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386340804 9367552 267 33554432000 4194304 5064252 140734731831936 140734731830848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/11607/statm: 2287 267 226 213 0 72 0 [pid=11608] ppid=11607 vsize=50744 CPUtime=1.74 cores=1,3,5,7 /proc/11608/stat : 11608 (glucose) R 11607 11381 2649 0 -1 4202496 11194 0 0 0 172 2 0 0 20 0 1 0 386340804 51961856 11421 33554432000 4194304 5208918 140733872919616 140733872918024 4607488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11608/statm: 12686 11421 105 248 0 12435 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 89696 [startup+102.307 s] /proc/loadavg: 1.94 1.98 1.99 3/183 11776 /proc/meminfo: memFree=30839832/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=100.68 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 111183 752606 0 0 393 53 8929 693 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=11775] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11775/stat : 11775 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386345941 9367552 266 33554432000 4194304 5064252 140734652399152 140734652398064 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/11775/statm: 2287 266 226 213 0 72 0 [pid=11776] ppid=11775 vsize=48088 CPUtime=1.58 cores=1,3,5,7 /proc/11776/stat : 11776 (glucose) R 11775 11381 2649 0 -1 4202496 10925 0 0 0 156 2 0 0 20 0 1 0 386345941 49242112 10638 33554432000 4194304 5208918 140735475644096 140735475642504 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11776/statm: 12022 10638 95 248 0 11771 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 87040 [startup+162.3 s] /proc/loadavg: 1.98 1.98 1.99 3/183 11972 /proc/meminfo: memFree=30839160/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=161.13 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 174967 1195690 0 0 618 83 14309 1103 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=11971] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11971/stat : 11971 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386351990 9367552 267 33554432000 4194304 5064252 140736405972528 140736405971440 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/11971/statm: 2287 267 226 213 0 72 0 [pid=11972] ppid=11971 vsize=48088 CPUtime=1.08 cores=1,3,5,7 /proc/11972/stat : 11972 (glucose) R 11971 11381 2649 0 -1 4202496 10786 0 0 0 107 1 0 0 20 0 1 0 386351991 49242112 10614 33554432000 4194304 5208918 140735102080320 140735102078728 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11972/statm: 12022 10614 95 248 0 11771 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 87040 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.99 3/183 12169 /proc/meminfo: memFree=30821892/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=221.04 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 238751 1645552 0 0 844 112 19635 1513 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=12167] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/12167/stat : 12167 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386357996 9367552 267 33554432000 4194304 5064252 140736814577872 140736814576784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/12167/statm: 2287 267 226 213 0 72 0 [pid=12168] ppid=12167 vsize=48084 CPUtime=1.03 cores=1,3,5,7 /proc/12168/stat : 12168 (glucose) R 12167 11381 2649 0 -1 4202496 9661 0 0 0 101 2 0 0 20 0 1 0 386357996 49238016 10845 33554432000 4194304 5208918 140735954181376 140735954179784 4212856 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/12168/statm: 12021 10845 95 248 0 11770 0 ################ # More data... # ################ [startup+1362.3 s] /proc/loadavg: 2.14 2.10 2.03 3/184 15927 /proc/meminfo: memFree=30847132/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=1360.17 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 1448369 10089609 0 0 5149 680 120902 9286 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 5 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=15926] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15926/stat : 15926 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386471974 9367552 266 33554432000 4194304 5064252 140733515862400 140733515861312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/15926/statm: 2287 266 226 213 0 72 0 [pid=15927] ppid=15926 vsize=48088 CPUtime=1.24 cores=1,3,5,7 /proc/15927/stat : 15927 (glucose) R 15926 11381 2649 0 -1 4202496 10853 0 0 0 122 2 0 0 20 0 1 0 386471975 49242112 10625 33554432000 4194304 5208918 140733743387408 140733743385816 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15927/statm: 12022 10625 95 248 0 11771 0 Current children cumulated CPU time (s) 1361.41 Current children cumulated vsize (KiB) 87040 [startup+1422.31 s] /proc/loadavg: 2.11 2.10 2.03 3/184 16123 /proc/meminfo: memFree=30820180/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=1419.59 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 1512153 10533918 0 0 5378 709 126171 9701 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 5 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=16122] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16122/stat : 16122 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386477931 9367552 267 33554432000 4194304 5064252 140733293077664 140733293076576 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/16122/statm: 2287 267 226 213 0 72 0 [pid=16123] ppid=16122 vsize=50328 CPUtime=1.68 cores=1,3,5,7 /proc/16123/stat : 16123 (glucose) R 16122 11381 2649 0 -1 4202496 11357 0 0 0 166 2 0 0 20 0 1 0 386477932 51535872 11184 33554432000 4194304 5208918 140733682666592 140733682665000 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/16123/statm: 12582 11184 103 248 0 12331 0 Current children cumulated CPU time (s) 1421.27 Current children cumulated vsize (KiB) 89280 [startup+1482.3 s] /proc/loadavg: 2.17 2.13 2.04 3/184 16320 /proc/meminfo: memFree=30828996/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=1481.21 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 1578215 10997081 0 0 5615 739 131633 10134 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 5 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 Current children cumulated CPU time (s) 1481.21 Current children cumulated vsize (KiB) 29804 [startup+1542.3 s] /proc/loadavg: 2.17 2.13 2.05 3/185 16526 /proc/meminfo: memFree=30816444/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=1540.98 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 1641999 11444864 0 0 5843 770 136942 10543 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 5 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=16525] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16525/stat : 16525 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386490068 9367552 267 33554432000 4194304 5064252 140736785011952 140736785010864 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/16525/statm: 2287 267 226 213 0 72 0 [pid=16526] ppid=16525 vsize=48084 CPUtime=0.31 cores=1,3,5,7 /proc/16526/stat : 16526 (glucose) R 16525 11381 2649 0 -1 4202496 10741 0 0 0 30 1 0 0 20 0 1 0 386490068 49238016 10571 33554432000 4194304 5208918 140733762085888 140733761035384 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/16526/statm: 12021 10571 95 248 0 11770 0 Current children cumulated CPU time (s) 1541.29 Current children cumulated vsize (KiB) 87036 [startup+1602.3 s] /proc/loadavg: 2.17 2.14 2.05 3/184 16718 /proc/meminfo: memFree=30850408/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=1600.65 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 1705783 11888194 0 0 6072 800 142245 10948 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 5 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 Current children cumulated CPU time (s) 1600.65 Current children cumulated vsize (KiB) 29804 [startup+1662.3 s] /proc/loadavg: 2.30 2.17 2.07 3/184 17120 /proc/meminfo: memFree=30784704/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=1660.39 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 1769567 12332244 0 0 6298 829 147546 11366 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=17119] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17119/stat : 17119 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386502039 9367552 267 33554432000 4194304 5064252 140737219403200 140737219402112 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17119/statm: 2287 267 226 213 0 72 0 [pid=17120] ppid=17119 vsize=48092 CPUtime=0.59 cores=1,3,5,7 /proc/17120/stat : 17120 (glucose) R 17119 11381 2649 0 -1 4202496 9629 0 0 0 58 1 0 0 20 0 1 0 386502040 49246208 10829 33554432000 4194304 5208918 140733833311680 140733833310088 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/17120/statm: 12023 10829 95 248 0 11772 0 Current children cumulated CPU time (s) 1660.98 Current children cumulated vsize (KiB) 87044 [startup+1722.3 s] /proc/loadavg: 2.16 2.15 2.07 3/183 17312 /proc/meminfo: memFree=30820432/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=1720.29 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 1833351 12776840 0 0 6525 859 152853 11792 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 Current children cumulated CPU time (s) 1720.29 Current children cumulated vsize (KiB) 29804 [startup+1782.3 s] /proc/loadavg: 2.17 2.15 2.07 3/183 17513 /proc/meminfo: memFree=30784592/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=1780.21 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 1897135 13219616 0 0 6750 889 158165 12217 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=17512] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17512/stat : 17512 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386514013 9367552 265 33554432000 4194304 5064252 140736684618544 140736684617456 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/17512/statm: 2287 265 226 213 0 72 0 [pid=17513] ppid=17512 vsize=48088 CPUtime=0.86 cores=1,3,5,7 /proc/17513/stat : 17513 (glucose) R 17512 11381 2649 0 -1 4202496 9635 0 0 0 84 2 0 0 20 0 1 0 386514014 49242112 10832 33554432000 4194304 5208918 140736792134320 140736792132728 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17513/statm: 12022 10832 95 248 0 11771 0 Current children cumulated CPU time (s) 1781.07 Current children cumulated vsize (KiB) 87040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.3 s] /proc/loadavg: 2.20 2.16 2.07 3/183 17576 /proc/meminfo: memFree=30786236/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=1799.32 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 1917637 13359509 0 0 6823 899 159858 12352 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=17575] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17575/stat : 17575 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386515922 9367552 267 33554432000 4194304 5064252 140733567018976 140733567017888 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/17575/statm: 2287 267 226 213 0 72 0 [pid=17576] ppid=17575 vsize=48084 CPUtime=0.77 cores=1,3,5,7 /proc/17576/stat : 17576 (glucose) R 17575 11381 2649 0 -1 4202496 10767 0 0 0 75 2 0 0 20 0 1 0 386515922 49238016 10596 33554432000 4194304 5208918 140735159795456 140735159793864 4211518 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17576/statm: 12021 10596 95 248 0 11770 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 87036 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.3 s] /proc/loadavg: 2.20 2.16 2.07 3/183 17576 /proc/meminfo: memFree=30786236/32873844 swapFree=7128/7128 [pid=11381] ppid=11379 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11381/stat : 11381 (npSolver-wbo-It) S 11379 11381 2649 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386335870 9367552 275 33554432000 4194304 5064252 140734287979488 140734287978400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11381/statm: 2287 275 233 213 0 72 0 [pid=11382] ppid=11381 vsize=20656 CPUtime=1799.32 cores=1,3,5,7 /proc/11382/stat : 11382 (npSolver-wbo) S 11381 11381 2649 0 -1 4202496 1917637 13359509 0 0 6823 899 159858 12352 20 0 1 0 386335870 21151744 4233 33554432000 4194304 6006132 140733947613424 140733947604784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0 /proc/11382/statm: 5164 4233 176 443 0 4717 0 [pid=17575] ppid=11382 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17575/stat : 17575 (satsolver.sh) S 11382 11381 2649 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386515922 9367552 267 33554432000 4194304 5064252 140733567018976 140733567017888 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/17575/statm: 2287 267 226 213 0 72 0 [pid=17576] ppid=17575 vsize=48084 CPUtime=0.77 cores=1,3,5,7 /proc/17576/stat : 17576 (glucose) R 17575 11381 2649 0 -1 4202496 10767 0 0 0 75 2 0 0 20 0 1 0 386515922 49238016 10596 33554432000 4194304 5208918 140735159795456 140735159793864 4211518 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17576/statm: 12021 10596 95 248 0 11770 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 87036 Child status: 0 Real time (s): 1801.31 CPU time (s): 1800.13 CPU user time (s): 1667.58 CPU system time (s): 132.545 CPU usage (%): 99.9342 Max. virtual memory (cumulated for all children) (KiB): 89696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1667.58 system time used= 132.545 maximum resident set size= 46448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15288889 page faults= 0 swaps= 0 block input operations= 0 block output operations= 11651528 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 225815 involuntary context switches= 13370 runsolver used 3.01154 second user time and 8.47971 second system time The end
Begin job on node105 at 2012-06-09 02:44:49 IDJOB=3752898 IDBENCH=78907 IDSOLVER=2336 FILE ID=node105/3752898-1339202689 RUNJOBID= node105-1339184676-13538 PBS_JOBID= 14643847 Free space on /tmp= 66792 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752898-1339202689/watcher-3752898-1339202689 -o /tmp/evaluation-result-3752898-1339202689/solver-3752898-1339202689 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752898-1339202689.wbo 544126577 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c177cc73697745a978507901f2a8beaa RANDOM SEED=544126577 node105.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.882 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 : 5333.76 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.882 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.882 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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.882 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 : 5438.54 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.882 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.882 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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 : 5447.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30973060 kB Buffers: 531888 kB Cached: 404904 kB SwapCached: 2768 kB Active: 896980 kB Inactive: 62752 kB Active(anon): 21132 kB Inactive(anon): 2928 kB Active(file): 875848 kB Inactive(file): 59824 kB Unevictable: 7128 kB Mlocked: 7128 kB SwapTotal: 67108856 kB SwapFree: 67098868 kB Dirty: 8944 kB Writeback: 0 kB AnonPages: 30912 kB Mapped: 9896 kB Shmem: 0 kB Slab: 800916 kB SReclaimable: 242416 kB SUnreclaim: 558500 kB KernelStack: 1496 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 144776 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 66840 MiB End job on node105 at 2012-06-09 03:14:50