| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topdown-quickBound | ? (TO) | 1800.07 | 1803.51 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo |
| MD5SUM | 97e6423088cc7ef1f08dcccdf9e01ef4 |
| 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 | 14.1728 |
| 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 | 1857 |
| 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 | 93863 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 93862 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 741 |
| 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.02 c run usual solver 0.00/0.16 o 628 0.00/0.16 c starting approximation 0.00/0.16 c factor = 2 0.00/0.16 c factor still to low - shrinking to 3.55322 0.00/0.16 c approx number of clauses: 1e+06 0.00/0.16 c current bound: 314 2.43/2.75 c current bound: 314 5.00/5.32 c current bound: 314 7.87/7.90 c current bound: 314 10.18/10.48 c current bound: 314 12.74/13.06 c current bound: 314 15.55/15.65 c current bound: 314 17.90/18.23 c current bound: 314 20.49/20.81 c current bound: 314 23.23/23.55 c current bound: 314 25.73/26.06 c current bound: 314 28.55/28.63 c current bound: 314 30.88/31.21 c current bound: 314 33.47/33.78 c current bound: 314 36.27/36.30 c current bound: 314 38.56/38.89 c current bound: 314 41.15/41.47 c current bound: 314 43.96/44.04 c current bound: 314 46.19/46.51 c current bound: 314 48.77/49.09 c current bound: 314 51.35/51.68 c current bound: 314 53.93/54.26 c current bound: 314 56.43/56.74 c current bound: 314 59.01/59.33 c current bound: 314 61.59/61.92 c current bound: 314 64.17/64.49 c current bound: 314 66.69/67.01 c current bound: 314 69.43/69.85 c current bound: 314 72.01/72.44 c current bound: 314 74.85/75.07 c current bound: 314 77.17/77.65 c current bound: 314 79.76/80.24 c current bound: 314 82.34/82.81 c current bound: 314 84.92/85.39 c current bound: 314 87.49/87.96 c current bound: 314 90.07/90.54 c current bound: 314 92.66/93.14 c current bound: 314 95.51/95.71 c current bound: 314 97.89/98.37 c current bound: 314 100.48/100.96 c current bound: 314 103.31/103.55 c current bound: 314 105.66/106.16 c current bound: 314 108.24/108.75 c current bound: 314 111.05/111.33 c current bound: 314 113.40/113.91 c current bound: 314 116.23/116.85 c current bound: 314 118.54/119.44 c current bound: 314 121.11/122.01 c current bound: 314 123.69/124.57 c current bound: 314 126.25/127.19 c current bound: 314 128.83/129.77 c current bound: 314 131.39/132.33 c current bound: 314 133.99/134.92 c current bound: 314 136.56/137.49 c current bound: 314 139.13/140.08 c current bound: 314 141.76/142.70 c current bound: 314 144.55/145.28 c current bound: 314 146.93/147.85 c current bound: 314 149.48/150.41 c current bound: 314 152.25/152.99 c current bound: 314 154.62/155.56 c current bound: 314 157.20/158.13 c current bound: 314 160.04/160.71 c current bound: 314 162.65/163.30 c current bound: 314 164.95/165.88 c current bound: 314 167.75/168.49 c current bound: 314 170.11/171.07 c current bound: 314 172.68/173.65 c current bound: 314 175.50/176.23 c current bound: 314 177.83/178.81 c current bound: 314 180.39/181.38 c current bound: 314 183.17/183.94 c current bound: 314 185.44/186.45 c current bound: 314 188.03/189.03 c current bound: 314 190.87/191.61 c current bound: 314 193.18/194.17 c current bound: 314 195.75/196.75 c current bound: 314 198.58/199.33 c current bound: 314 200.92/201.91 c current bound: 314 203.48/204.47 c current bound: 314 206.08/206.88 c current bound: 314 208.49/209.48 c current bound: 314 211.06/212.08 c current bound: 314 213.89/214.66 c current bound: 314 216.24/217.27 c current bound: 314 219.14/219.90 c current bound: 314 221.43/222.47 c current bound: 314 224.00/225.05 c current bound: 314 226.57/227.63 c current bound: 314 229.16/230.19 c current bound: 314 231.73/232.77 c current bound: 314 234.31/235.34 c current bound: 314 236.88/237.92 c current bound: 314 239.46/240.49 c current bound: 314 242.01/243.06 c current bound: 314 244.60/245.62 c current bound: 314 247.44/248.20 c current bound: 314 249.72/250.76 c current bound: 314 252.30/253.36 c current bound: 314 254.85/255.89 c current bound: 314 257.42/258.47 c current bound: 314 260.00/261.04 c current bound: 314 262.56/263.61 c current bound: 314 265.10/266.15 c current bound: 314 267.69/268.74 c current bound: 314 270.29/271.37 c current bound: 314 273.10/273.96 c current bound: 314 275.36/276.44 c current bound: 314 277.92/279.01 c current bound: 314 280.50/281.57 c current bound: 314 283.09/284.16 c current bound: 314 285.57/286.65 c current bound: 314 288.14/289.23 c current bound: 314 290.70/291.81 c current bound: 314 293.27/294.39 c current bound: 314 295.85/296.96 c current bound: 314 298.44/299.54 c current bound: 314 301.00/302.11 c current bound: 314 303.59/304.70 c current bound: 314 306.16/307.25 c current bound: 314 308.73/309.84 c current bound: 314 311.57/312.43 c current bound: 314 313.91/315.02 c current bound: 314 316.50/317.59 c current bound: 314 319.27/320.17 c current bound: 314 321.63/322.72 c current bound: 314 324.20/325.31 c current bound: 314 326.98/327.87 c current bound: 314 329.34/330.45 c current bound: 314 331.92/333.01 c current bound: 314 334.69/335.57 c current bound: 314 337.06/338.16 c current bound: 314 339.63/340.74 c current bound: 314 342.48/343.32 c current bound: 314 344.76/345.87 c current bound: 314 347.34/348.43 c current bound: 314 350.19/351.00 c current bound: 314 352.48/353.57 c current bound: 314 354.99/356.09 c current bound: 314 357.79/358.66 c current bound: 314 360.15/361.25 c current bound: 314 362.73/363.83 c current bound: 314 365.47/366.33 c current bound: 314 367.78/368.90 c current bound: 314 370.36/371.49 c current bound: 314 373.15/374.06 c current bound: 314 375.44/376.57 c current bound: 314 378.03/379.14 c current bound: 314 380.85/381.72 c current bound: 314 383.17/384.29 c current bound: 314 385.74/386.87 c current bound: 314 388.55/389.44 c current bound: 314 390.89/392.03 c current bound: 314 393.48/394.61 c current bound: 314 396.25/397.19 c current bound: 314 398.64/399.77 c current bound: 314 401.22/402.34 c current bound: 314 404.05/404.92 c current bound: 314 406.36/407.49 c current bound: 314 408.96/410.09 c current bound: 314 411.77/412.68 c current bound: 314 414.43/415.31 c current bound: 314 416.70/417.88 c current bound: 314 419.48/420.48 c current bound: 314 421.87/423.06 c current bound: 314 424.44/425.63 c current bound: 314 427.04/428.23 c current bound: 314 429.61/430.78 c current bound: 314 432.17/433.36 c current bound: 314 434.74/435.92 c current bound: 314 437.60/438.50 c current bound: 314 439.89/441.07 c current bound: 314 442.48/443.66 c current bound: 314 445.05/446.23 c current bound: 314 447.63/448.81 c current bound: 314 450.22/451.38 c current bound: 314 452.77/453.96 c current bound: 314 455.54/456.59 c current bound: 314 457.94/459.18 c current bound: 314 460.51/461.75 c current bound: 314 463.34/464.33 c current bound: 314 465.68/466.91 c current bound: 314 468.54/469.50 c current bound: 314 471.11/472.12 c current bound: 314 473.68/474.70 c current bound: 314 475.98/477.27 c current bound: 314 478.77/479.85 c current bound: 314 481.13/482.41 c current bound: 314 483.71/484.99 c current bound: 314 486.48/487.57 c current bound: 314 488.86/490.15 c current bound: 314 491.42/492.71 c current bound: 314 494.17/495.28 c current bound: 314 496.56/497.86 c current bound: 314 499.14/500.43 c current bound: 314 501.70/502.99 c current bound: 314 504.26/505.55 c current bound: 314 506.85/508.13 c current bound: 314 509.70/510.70 c current bound: 314 511.98/513.27 c current bound: 314 514.54/515.84 c current bound: 314 517.12/518.40 c current bound: 314 519.67/520.97 c current bound: 314 522.25/523.54 c current bound: 314 524.83/526.12 c current bound: 314 527.48/528.76 c current bound: 314 530.28/531.33 c current bound: 314 532.89/533.90 c current bound: 314 535.14/536.43 c current bound: 314 537.96/539.01 c current bound: 314 540.28/541.59 c current bound: 314 542.88/544.18 c current bound: 314 545.67/546.75 c current bound: 314 548.02/549.33 c current bound: 314 550.60/551.91 c current bound: 314 553.37/554.47 c current bound: 314 555.66/556.98 c current bound: 314 558.25/559.55 c current bound: 314 561.07/562.13 c current bound: 314 563.39/564.70 c current bound: 314 565.96/567.28 c current bound: 314 568.78/569.86 c current bound: 314 571.11/572.42 c current bound: 314 573.69/575.00 c current bound: 314 576.47/577.56 c current bound: 314 578.83/580.14 c current bound: 314 581.39/582.71 c current bound: 314 584.16/585.27 c current bound: 314 586.51/587.84 c current bound: 314 589.11/590.42 c current bound: 314 591.98/593.00 c current bound: 314 594.25/595.56 c current bound: 314 596.82/598.13 c current bound: 314 599.68/600.73 c current bound: 314 602.27/603.30 c current bound: 314 604.54/605.85 c current bound: 314 607.36/608.42 c current bound: 314 609.68/610.99 c current bound: 314 612.27/613.58 c current bound: 314 614.96/616.10 c current bound: 314 617.49/618.79 c current bound: 314 620.13/621.42 c current bound: 314 622.68/623.98 c current bound: 314 625.17/626.48 c current bound: 314 627.75/629.05 c current bound: 314 630.56/631.62 c current bound: 314 632.89/634.19 c current bound: 314 635.41/636.71 c current bound: 314 638.16/639.28 c current bound: 314 640.55/641.85 c current bound: 314 643.12/644.42 c current bound: 314 645.93/647.00 c current bound: 314 648.25/649.57 c current bound: 314 650.82/652.14 c current bound: 314 653.63/654.73 c current bound: 314 655.84/657.17 c current bound: 314 658.41/659.73 c current bound: 314 661.24/662.31 c current bound: 314 663.54/664.88 c current bound: 314 666.11/667.45 c current bound: 314 668.92/670.04 c current bound: 314 671.28/672.62 c current bound: 314 673.85/675.19 c current bound: 314 676.63/677.75 c current bound: 314 678.97/680.31 c current bound: 314 681.53/682.88 c current bound: 314 684.32/685.45 c current bound: 314 686.68/688.02 c current bound: 314 689.25/690.59 c current bound: 314 692.02/693.16 c current bound: 314 694.38/695.73 c current bound: 314 697.22/698.30 c current bound: 314 699.70/700.87 c current bound: 314 702.07/703.43 c current bound: 314 704.62/705.98 c current bound: 314 707.40/708.55 c current bound: 314 709.77/711.12 c current bound: 314 712.61/713.76 c current bound: 314 715.11/716.35 c current bound: 314 717.50/718.93 c current bound: 314 720.05/721.49 c current bound: 314 722.63/724.07 c current bound: 314 725.08/726.53 c current bound: 314 727.93/729.10 c current bound: 314 730.42/731.67 c current bound: 314 732.78/734.24 c current bound: 314 735.28/736.73 c current bound: 314 738.01/739.28 c current bound: 314 740.39/741.84 c current bound: 314 742.95/744.41 c current bound: 314 745.40/746.84 c current bound: 314 747.96/749.41 c current bound: 314 750.53/751.99 c current bound: 314 753.10/754.55 c current bound: 314 755.67/757.12 c current bound: 314 758.49/759.74 c current bound: 314 760.77/762.29 c current bound: 314 763.39/764.92 c current bound: 314 766.05/767.30 c current bound: 314 768.35/769.87 c current bound: 314 771.13/772.45 c current bound: 314 773.50/775.02 c current bound: 314 776.07/777.59 c current bound: 314 778.82/780.17 c current bound: 314 781.22/782.75 c current bound: 314 783.79/785.31 c current bound: 314 786.34/787.87 c current bound: 314 788.98/790.51 c current bound: 314 791.53/793.07 c current bound: 314 794.10/795.64 c current bound: 314 796.67/798.21 c current bound: 314 799.23/800.77 c current bound: 314 801.81/803.35 c current bound: 314 804.35/805.90 c current bound: 314 806.91/808.46 c current bound: 314 809.56/811.14 c current bound: 314 812.50/813.80 c current bound: 314 815.09/816.43 c current bound: 314 817.51/819.09 c current bound: 314 820.38/821.76 c current bound: 314 822.82/824.40 c current bound: 314 825.36/826.95 c current bound: 314 828.26/829.64 c current bound: 314 830.70/832.29 c current bound: 314 833.57/834.96 c current bound: 314 835.99/837.60 c current bound: 314 838.67/840.27 c current bound: 314 841.36/842.96 c current bound: 314 843.99/845.62 c current bound: 314 846.94/848.30 c current bound: 314 849.31/850.95 c current bound: 314 852.23/853.64 c current bound: 314 854.61/856.26 c current bound: 314 857.29/858.92 c current bound: 314 860.04/861.68 c current bound: 314 862.75/864.39 c current bound: 314 865.50/866.97 c current bound: 314 868.22/869.60 c current bound: 314 870.54/872.21 c current bound: 314 873.17/874.86 c current bound: 314 875.83/877.51 c current bound: 314 878.69/880.18 c current bound: 314 881.08/882.75 c current bound: 314 883.74/885.41 c current bound: 314 886.36/888.03 c current bound: 314 888.99/890.68 c current bound: 314 891.88/893.34 c current bound: 314 894.28/895.97 c current bound: 314 896.92/898.63 c current bound: 314 899.56/901.26 c current bound: 314 902.20/903.91 c current bound: 314 905.05/906.53 c current bound: 314 907.46/909.18 c current bound: 314 910.12/911.84 c current bound: 314 912.73/914.46 c current bound: 314 915.25/916.98 c current bound: 314 918.12/919.66 c current bound: 314 920.58/922.32 c current bound: 314 923.23/924.98 c current bound: 314 926.02/927.56 c current bound: 314 928.72/930.20 c current bound: 314 931.30/932.88 c current bound: 314 933.78/935.53 c current bound: 314 936.42/938.18 c current bound: 314 939.12/940.88 c current bound: 314 941.77/943.54 c current bound: 314 944.59/946.18 c current bound: 314 947.05/948.82 c current bound: 314 949.72/951.50 c current bound: 314 952.35/954.13 c current bound: 314 954.97/956.75 c current bound: 314 957.86/959.46 c current bound: 314 960.28/962.10 c current bound: 314 963.14/964.77 c current bound: 314 965.44/967.27 c current bound: 314 968.10/969.93 c current bound: 314 971.03/972.62 c current bound: 314 973.41/975.25 c current bound: 314 976.32/977.94 c current bound: 314 978.72/980.57 c current bound: 314 981.38/983.24 c current bound: 314 984.06/985.92 c current bound: 314 986.72/988.57 c current bound: 314 989.50/991.13 c current bound: 314 991.89/993.76 c current bound: 314 994.45/996.33 c current bound: 314 997.36/999.01 c current bound: 314 999.69/1001.58 c current bound: 314 1002.36/1004.26 c current bound: 314 1005.00/1006.89 c current bound: 314 1007.64/1009.53 c current bound: 314 1010.35/1012.10 c current bound: 314 1012.82/1014.73 c current bound: 314 1015.29/1017.21 c current bound: 314 1018.26/1019.90 c current bound: 314 1020.62/1022.53 c current bound: 314 1023.55/1025.20 c current bound: 314 1025.92/1027.85 c current bound: 314 1028.59/1030.51 c current bound: 314 1031.27/1033.19 c current bound: 314 1033.92/1035.86 c current bound: 314 1036.83/1038.52 c current bound: 314 1039.21/1041.15 c current bound: 314 1042.32/1044.02 c current bound: 314 1044.58/1046.52 c current bound: 314 1047.22/1049.17 c current bound: 314 1050.10/1051.86 c current bound: 314 1052.55/1054.51 c current bound: 314 1055.12/1057.07 c current bound: 314 1057.76/1059.71 c current bound: 314 1060.31/1062.28 c current bound: 314 1063.20/1064.96 c current bound: 314 1065.64/1067.60 c current bound: 314 1068.19/1070.16 c current bound: 314 1070.88/1072.87 c current bound: 314 1073.55/1075.54 c current bound: 314 1076.46/1078.26 c current bound: 314 1079.18/1080.90 c current bound: 314 1081.76/1083.57 c current bound: 314 1084.18/1086.18 c current bound: 314 1086.73/1088.74 c current bound: 314 1089.61/1091.47 c current bound: 314 1092.08/1094.12 c current bound: 314 1094.91/1096.71 c current bound: 314 1097.29/1099.34 c current bound: 314 1099.94/1101.99 c current bound: 314 1102.61/1104.69 c current bound: 314 1105.20/1107.26 c current bound: 314 1108.29/1110.13 c current bound: 314 1110.71/1112.78 c current bound: 314 1113.59/1115.47 c current bound: 314 1116.02/1118.13 c current bound: 314 1118.68/1120.79 c current bound: 314 1121.39/1123.48 c current bound: 314 1124.03/1126.13 c current bound: 314 1126.75/1128.68 c current bound: 314 1129.20/1131.32 c current bound: 314 1131.87/1133.98 c current bound: 314 1134.54/1136.47 c current bound: 314 1136.99/1139.13 c current bound: 314 1139.94/1141.80 c current bound: 314 1142.31/1144.44 c current bound: 314 1144.82/1146.96 c current bound: 314 1147.72/1149.63 c current bound: 314 1150.13/1152.27 c current bound: 314 1152.79/1154.99 c current bound: 314 1155.43/1157.63 c current bound: 314 1158.32/1160.33 c current bound: 314 1160.74/1163.01 c current bound: 314 1163.39/1165.67 c current bound: 314 1166.29/1168.35 c current bound: 314 1168.63/1170.91 c current bound: 314 1171.28/1173.57 c current bound: 314 1173.96/1176.24 c current bound: 314 1176.88/1178.90 c current bound: 314 1179.48/1181.57 c current bound: 314 1181.92/1184.21 c current bound: 314 1184.57/1186.87 c current bound: 314 1187.46/1189.50 c current bound: 314 1189.85/1192.16 c current bound: 314 1192.57/1194.87 c current bound: 314 1195.10/1197.44 c current bound: 314 1198.04/1200.11 c current bound: 314 1200.36/1202.68 c current bound: 314 1203.00/1205.33 c current bound: 314 1205.92/1208.03 c current bound: 314 1208.33/1210.66 c current bound: 314 1210.89/1213.22 c current bound: 314 1213.52/1215.86 c current bound: 314 1216.18/1218.52 c current bound: 314 1219.12/1221.20 c current bound: 314 1221.51/1223.85 c current bound: 314 1224.13/1226.48 c current bound: 314 1226.75/1229.11 c current bound: 314 1229.35/1231.71 c current bound: 314 1232.51/1234.60 c current bound: 314 1234.90/1237.25 c current bound: 314 1237.71/1239.82 c current bound: 314 1240.10/1242.46 c current bound: 314 1242.75/1245.12 c current bound: 314 1245.40/1247.76 c current bound: 314 1248.04/1250.41 c current bound: 314 1250.97/1253.10 c current bound: 314 1253.38/1255.75 c current bound: 314 1256.28/1258.42 c current bound: 314 1258.68/1261.06 c current bound: 314 1261.32/1263.74 c current bound: 314 1264.00/1266.38 c current bound: 314 1266.65/1269.04 c current bound: 314 1269.43/1271.65 c current bound: 314 1271.86/1274.28 c current bound: 314 1274.40/1276.84 c current bound: 314 1277.32/1279.50 c current bound: 314 1279.71/1282.15 c current bound: 314 1282.61/1284.83 c current bound: 314 1285.01/1287.47 c current bound: 314 1287.58/1290.04 c current bound: 314 1290.29/1292.59 c current bound: 314 1292.76/1295.23 c current bound: 314 1295.16/1297.63 c current bound: 314 1298.07/1300.31 c current bound: 314 1300.45/1302.94 c current bound: 314 1303.13/1305.62 c current bound: 314 1305.77/1308.26 c current bound: 314 1308.41/1310.90 c current bound: 314 1311.25/1313.58 c current bound: 314 1313.70/1316.21 c current bound: 314 1316.39/1318.89 c current bound: 314 1319.01/1321.52 c current bound: 314 1321.67/1324.19 c current bound: 314 1324.53/1326.81 c current bound: 314 1326.85/1329.38 c current bound: 314 1329.51/1332.03 c current bound: 314 1332.11/1334.67 c current bound: 314 1334.77/1337.34 c current bound: 314 1337.49/1339.89 c current bound: 314 1339.96/1342.53 c current bound: 314 1342.79/1345.10 c current bound: 314 1345.28/1347.68 c current bound: 314 1347.75/1350.34 c current bound: 314 1350.69/1353.00 c current bound: 314 1353.05/1355.65 c current bound: 314 1355.76/1358.36 c current bound: 314 1358.45/1361.05 c current bound: 314 1361.10/1363.70 c current bound: 314 1363.95/1366.39 c current bound: 314 1366.42/1369.03 c current bound: 314 1369.08/1371.70 c current bound: 314 1371.73/1374.35 c current bound: 314 1374.30/1376.96 c current bound: 314 1377.20/1379.65 c current bound: 314 1379.88/1382.35 c current bound: 314 1382.52/1385.08 c current bound: 314 1384.98/1387.72 c current bound: 314 1387.65/1390.40 c current bound: 314 1390.28/1393.03 c current bound: 314 1392.93/1395.69 c current bound: 314 1395.62/1398.36 c current bound: 314 1398.25/1401.01 c current bound: 314 1401.10/1403.69 c current bound: 314 1403.55/1406.32 c current bound: 314 1406.22/1408.99 c current bound: 314 1408.98/1411.56 c current bound: 314 1411.42/1414.23 c current bound: 314 1413.93/1416.73 c current bound: 314 1416.56/1419.37 c current bound: 314 1419.21/1422.02 c current bound: 314 1422.04/1424.63 c current bound: 314 1424.32/1427.16 c current bound: 314 1426.97/1429.81 c current bound: 314 1429.67/1432.51 c current bound: 314 1432.31/1435.16 c current bound: 314 1435.21/1437.83 c current bound: 314 1437.60/1440.46 c current bound: 314 1440.18/1443.07 c current bound: 314 1442.88/1445.76 c current bound: 314 1445.54/1448.43 c current bound: 314 1448.47/1451.10 c current bound: 314 1450.86/1453.74 c current bound: 314 1453.50/1456.39 c current bound: 314 1456.12/1459.01 c current bound: 314 1458.76/1461.66 c current bound: 314 1461.66/1464.33 c current bound: 314 1464.00/1466.90 c current bound: 314 1466.66/1469.56 c current bound: 314 1469.27/1472.18 c current bound: 314 1471.91/1474.82 c current bound: 314 1474.65/1477.32 c current bound: 314 1477.02/1479.94 c current bound: 314 1479.96/1482.60 c current bound: 314 1482.36/1485.28 c current bound: 314 1485.00/1487.92 c current bound: 314 1487.93/1490.61 c current bound: 314 1490.59/1493.30 c current bound: 314 1492.87/1495.86 c current bound: 314 1495.55/1498.54 c current bound: 314 1498.20/1501.21 c current bound: 314 1501.03/1503.89 c current bound: 314 1503.47/1506.49 c current bound: 314 1506.12/1509.15 c current bound: 314 1508.75/1511.79 c current bound: 314 1511.40/1514.44 c current bound: 314 1514.22/1517.03 c current bound: 314 1516.63/1519.67 c current bound: 314 1519.30/1522.33 c current bound: 314 1521.94/1525.02 c current bound: 314 1524.41/1527.51 c current bound: 314 1527.26/1530.11 c current bound: 314 1529.58/1532.69 c current bound: 314 1532.25/1535.36 c current bound: 314 1535.15/1538.04 c current bound: 314 1537.56/1540.68 c current bound: 314 1540.44/1543.36 c current bound: 314 1542.89/1546.01 c current bound: 314 1545.56/1548.68 c current bound: 314 1548.33/1551.23 c current bound: 314 1550.67/1553.80 c current bound: 314 1553.32/1556.46 c current bound: 314 1555.94/1559.09 c current bound: 314 1558.61/1561.74 c current bound: 314 1561.49/1564.43 c current bound: 314 1563.80/1566.97 c current bound: 314 1566.48/1569.64 c current bound: 314 1569.10/1572.28 c current bound: 314 1571.76/1574.93 c current bound: 314 1574.47/1577.48 c current bound: 314 1576.94/1580.13 c current bound: 314 1579.61/1582.79 c current bound: 314 1582.31/1585.49 c current bound: 314 1584.96/1588.21 c current bound: 314 1587.68/1590.90 c current bound: 314 1590.33/1593.56 c current bound: 314 1593.24/1596.23 c current bound: 314 1595.82/1598.89 c current bound: 314 1598.23/1601.57 c current bound: 314 1600.87/1604.20 c current bound: 314 1603.38/1606.72 c current bound: 314 1605.93/1609.29 c current bound: 314 1608.57/1611.92 c current bound: 314 1611.22/1614.58 c current bound: 314 1614.00/1617.18 c current bound: 314 1616.44/1619.81 c current bound: 314 1619.11/1622.49 c current bound: 314 1621.74/1625.12 c current bound: 314 1624.38/1627.76 c current bound: 314 1627.16/1630.32 c current bound: 314 1629.57/1632.97 c current bound: 314 1632.23/1635.63 c current bound: 314 1634.86/1638.25 c current bound: 314 1637.52/1640.92 c current bound: 314 1640.43/1643.62 c current bound: 314 1642.83/1646.25 c current bound: 314 1645.47/1648.90 c current bound: 314 1648.15/1651.63 c current bound: 314 1651.12/1654.30 c current bound: 314 1653.50/1656.94 c current bound: 314 1656.15/1659.59 c current bound: 314 1658.91/1662.15 c current bound: 314 1661.32/1664.78 c current bound: 314 1663.86/1667.32 c current bound: 314 1666.79/1670.01 c current bound: 314 1669.27/1672.73 c current bound: 314 1672.19/1675.43 c current bound: 314 1674.31/1677.82 c current bound: 314 1676.97/1680.47 c current bound: 314 1679.76/1683.02 c current bound: 314 1682.15/1685.65 c current bound: 314 1684.82/1688.33 c current bound: 314 1687.51/1691.02 c current bound: 314 1690.15/1693.67 c current bound: 314 1693.04/1696.33 c current bound: 314 1695.45/1698.97 c current bound: 314 1698.11/1701.64 c current bound: 314 1700.73/1704.26 c current bound: 314 1703.32/1706.86 c current bound: 314 1706.23/1709.55 c current bound: 314 1708.94/1712.20 c current bound: 314 1711.32/1714.86 c current bound: 314 1713.83/1717.38 c current bound: 314 1716.49/1720.04 c current bound: 314 1719.42/1722.71 c current bound: 314 1721.84/1725.38 c current bound: 314 1724.51/1728.06 c current bound: 314 1727.07/1730.63 c current bound: 314 1729.89/1733.20 c current bound: 314 1732.49/1735.87 c current bound: 314 1734.95/1738.51 c current bound: 314 1737.52/1741.09 c current bound: 314 1740.39/1743.76 c current bound: 314 1742.82/1746.39 c current bound: 314 1745.69/1749.06 c current bound: 314 1748.12/1751.70 c current bound: 314 1750.77/1754.36 c current bound: 314 1753.39/1756.99 c current bound: 314 1756.02/1759.62 c current bound: 314 1758.97/1762.31 c current bound: 314 1761.34/1764.94 c current bound: 314 1763.88/1767.48 c current bound: 314 1766.66/1770.09 c current bound: 314 1769.14/1772.73 c current bound: 314 1772.07/1775.40 c current bound: 314 1774.44/1778.05 c current bound: 314 1777.09/1780.71 c current bound: 314 1779.79/1783.41 c current bound: 314 1782.44/1786.06 c current bound: 314 1785.31/1788.77 c current bound: 314 1787.75/1791.40 c current bound: 314 1790.42/1794.08 c current bound: 314 1792.99/1796.64 c current bound: 314 1795.90/1799.35 c current bound: 314 1798.53/1802.03 c current bound: 314 1800.03/1803.51 ./satsolver.sh: line 5: 27783 Terminated ./glucose $1 > $2 2> /dev/null 1800.03/1803.51 c error: unexpected solver exit code 1800.03/1803.51 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-3715594-1338200227/watcher-3715594-1338200227 -o /tmp/evaluation-result-3715594-1338200227/solver-3715594-1338200227 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715594-1338200227.wbo 80059302 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 2.00 1.96 3/177 17468 /proc/meminfo: memFree=29291316/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [startup+0.101873 s] /proc/loadavg: 1.98 2.00 1.96 3/177 17468 /proc/meminfo: memFree=29291316/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.200322 s] /proc/loadavg: 1.98 2.00 1.96 3/177 17468 /proc/meminfo: memFree=29291316/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300357 s] /proc/loadavg: 1.98 2.00 1.96 3/177 17468 /proc/meminfo: memFree=29291316/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700227 s] /proc/loadavg: 1.98 2.00 1.96 3/177 17468 /proc/meminfo: memFree=29291316/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50033 s] /proc/loadavg: 1.98 2.00 1.96 3/183 17491 /proc/meminfo: memFree=29183416/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=11836 CPUtime=0.23 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 2939 6423 0 0 10 2 10 1 20 0 1 0 286150059 12120064 2345 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/17469/statm: 2959 2345 176 439 0 2516 0 [pid=17483] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17483/stat : 17483 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 286150085 9367552 267 33554432000 4194304 5064252 140735428494384 140735428493296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/17483/statm: 2287 267 226 213 0 72 0 [pid=17484] ppid=17483 vsize=48208 CPUtime=1.23 cores=0,2,4,6 /proc/17484/stat : 17484 (glucose) R 17483 17468 1843 0 -1 4202496 10089 0 0 0 122 1 0 0 20 0 1 0 286150085 49364992 10794 33554432000 4194304 5208918 140735808978464 140735808976872 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/17484/statm: 12052 10794 95 248 0 11801 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 78340 [startup+3.10033 s] /proc/loadavg: 1.98 2.00 1.96 3/183 17505 /proc/meminfo: memFree=29197028/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=2.82 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 5187 22141 0 0 18 3 246 15 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 Current children cumulated CPU time (s) 2.82 Current children cumulated vsize (KiB) 29048 [startup+6.30029 s] /proc/loadavg: 1.98 2.00 1.96 3/183 17547 /proc/meminfo: memFree=29180472/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=5.38 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 7435 38366 0 0 26 4 481 27 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=17544] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17544/stat : 17544 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286150600 9367552 267 33554432000 4194304 5064252 140733443463472 140733443462384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/17544/statm: 2287 267 226 213 0 72 0 [pid=17545] ppid=17544 vsize=48204 CPUtime=0.88 cores=0,2,4,6 /proc/17545/stat : 17545 (glucose) R 17544 17468 1843 0 -1 4202496 10534 0 0 0 86 2 0 0 20 0 1 0 286150601 49360896 10666 33554432000 4194304 5208918 140736322213872 140736322212280 4211641 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/17545/statm: 12051 10666 95 248 0 11800 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 86400 [startup+12.7003 s] /proc/loadavg: 2.06 2.01 1.96 3/183 17624 /proc/meminfo: memFree=29169844/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=10.54 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 11931 69241 0 0 42 6 951 55 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=17609] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17609/stat : 17609 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286151117 9367552 267 33554432000 4194304 5064252 140736516958560 140736516957472 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/17609/statm: 2287 267 226 213 0 72 0 [pid=17610] ppid=17609 vsize=48468 CPUtime=2.11 cores=0,2,4,6 /proc/17610/stat : 17610 (glucose) R 17609 17468 1843 0 -1 4202496 10106 0 0 0 210 1 0 0 20 0 1 0 286151117 49631232 10794 33554432000 4194304 5208918 140735072139824 140735072138232 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/17610/statm: 12117 10795 103 248 0 11866 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 86664 [startup+25.5003 s] /proc/loadavg: 2.05 2.01 1.96 3/183 17788 /proc/meminfo: memFree=29204596/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=23.61 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 23171 146876 0 0 82 12 2135 132 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=17770] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17770/stat : 17770 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286152424 9367552 267 33554432000 4194304 5064252 140734226684496 140734226683408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/17770/statm: 2287 267 226 213 0 72 0 [pid=17771] ppid=17770 vsize=48204 CPUtime=1.84 cores=0,2,4,6 /proc/17771/stat : 17771 (glucose) R 17770 17468 1843 0 -1 4202496 10224 0 0 0 183 1 0 0 20 0 1 0 286152424 49360896 10907 33554432000 4194304 5208918 140734214609216 140734214607624 4211668 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/17771/statm: 12051 10907 95 248 0 11800 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 86400 [startup+51.1003 s] /proc/loadavg: 1.87 1.98 1.95 3/183 18100 /proc/meminfo: memFree=29172596/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=49.15 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 45651 305449 0 0 160 25 4453 277 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=18088] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18088/stat : 18088 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286154977 9367552 266 33554432000 4194304 5064252 140733228289952 140733228288864 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18088/statm: 2287 266 226 213 0 72 0 [pid=18089] ppid=18088 vsize=48204 CPUtime=1.9 cores=0,2,4,6 /proc/18089/stat : 18089 (glucose) R 18088 17468 1843 0 -1 4202496 10031 0 0 0 189 1 0 0 20 0 1 0 286154978 49360896 10718 33554432000 4194304 5208918 140733446811296 140733446809704 4211558 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/18089/statm: 12051 10718 95 248 0 11800 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 86400 [startup+102.3 s] /proc/loadavg: 1.95 1.98 1.95 3/183 18737 /proc/meminfo: memFree=29174152/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=100.86 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 90611 619214 0 0 318 50 9145 573 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=18722] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18722/stat : 18722 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286160164 9367552 267 33554432000 4194304 5064252 140735115519552 140735115518464 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18722/statm: 2287 267 226 213 0 72 0 [pid=18723] ppid=18722 vsize=48208 CPUtime=1.24 cores=0,2,4,6 /proc/18723/stat : 18723 (glucose) R 18722 17468 1843 0 -1 4202496 9998 0 0 0 123 1 0 0 20 0 1 0 286160164 49364992 10684 33554432000 4194304 5208918 140736885357712 140736885356120 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/18723/statm: 12052 10684 95 248 0 11801 0 Current children cumulated CPU time (s) 102.1 Current children cumulated vsize (KiB) 86404 [startup+162.3 s] /proc/loadavg: 2.14 2.04 1.98 3/184 19131 /proc/meminfo: memFree=29058044/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=160.15 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 142315 977606 0 0 498 81 14525 911 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=19127] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19127/stat : 19127 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286166139 9367552 267 33554432000 4194304 5064252 140734546675856 140734546674768 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/19127/statm: 2287 267 226 213 0 72 0 [pid=19128] ppid=19127 vsize=48208 CPUtime=1.48 cores=0,2,4,6 /proc/19128/stat : 19128 (glucose) R 19127 17468 1843 0 -1 4202496 10529 0 0 0 147 1 0 0 20 0 1 0 286166139 49364992 10697 33554432000 4194304 5208918 140733207066160 140733207064568 4211620 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/19128/statm: 12052 10697 95 248 0 11801 0 Current children cumulated CPU time (s) 161.63 ################ # More data... # ################ /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=1298.19 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 1126939 7860202 0 0 3976 655 118012 7176 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=25148] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25148/stat : 25148 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 286280099 9367552 267 33554432000 4194304 5064252 140733394617024 140733394615936 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25148/statm: 2287 267 226 213 0 72 0 [pid=25149] ppid=25148 vsize=48208 CPUtime=1.88 cores=0,2,4,6 /proc/25149/stat : 25149 (glucose) R 25148 17468 1843 0 -1 4202496 10230 0 0 0 187 1 0 0 20 0 1 0 286280100 49364992 10915 33554432000 4194304 5208918 140733637557664 140733637556072 4211792 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/25149/statm: 12052 10915 95 248 0 11801 0 Current children cumulated CPU time (s) 1300.07 Current children cumulated vsize (KiB) 86404 [startup+1362.3 s] /proc/loadavg: 2.03 2.04 2.00 3/183 25468 /proc/meminfo: memFree=28948792/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=1358.81 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 1178643 8222482 0 0 4157 684 123541 7499 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=25467] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25467/stat : 25467 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286286173 9367552 266 33554432000 4194304 5064252 140734876606192 140734876605104 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25467/statm: 2287 266 226 213 0 72 0 [pid=25468] ppid=25467 vsize=48212 CPUtime=1.14 cores=0,2,4,6 /proc/25468/stat : 25468 (glucose) R 25467 17468 1843 0 -1 4202496 10250 0 0 0 112 2 0 0 20 0 1 0 286286173 49369088 10935 33554432000 4194304 5208918 140736591529920 140736591528328 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/25468/statm: 12053 10935 95 248 0 11802 0 Current children cumulated CPU time (s) 1359.95 Current children cumulated vsize (KiB) 86408 [startup+1422.3 s] /proc/loadavg: 2.04 2.05 2.00 3/184 25790 /proc/meminfo: memFree=28886540/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=1419.57 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 1230347 8585235 0 0 4339 712 129083 7823 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=25789] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25789/stat : 25789 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286292271 9367552 266 33554432000 4194304 5064252 140736829574032 140736829572944 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25789/statm: 2287 266 226 213 0 72 0 [pid=25790] ppid=25789 vsize=48208 CPUtime=0.17 cores=0,2,4,6 /proc/25790/stat : 25790 (glucose) R 25789 17468 1843 0 -1 4202496 10109 0 0 0 16 1 0 0 20 0 1 0 286292271 49364992 10811 33554432000 4194304 5208918 140736576160048 140736576158456 4211553 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 /proc/25790/statm: 12052 10811 95 248 0 11801 0 Current children cumulated CPU time (s) 1419.74 Current children cumulated vsize (KiB) 86404 [startup+1482.3 s] /proc/loadavg: 2.09 2.05 2.00 3/183 26098 /proc/meminfo: memFree=28884480/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=1477.4 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 1279803 8931924 0 0 4511 742 134350 8137 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=26094] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26094/stat : 26094 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286298063 9367552 267 33554432000 4194304 5064252 140734447364096 140734447363008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/26094/statm: 2287 267 226 213 0 72 0 [pid=26095] ppid=26094 vsize=50444 CPUtime=2.25 cores=0,2,4,6 /proc/26095/stat : 26095 (glucose) R 26094 17468 1843 0 -1 4202496 10782 0 0 0 224 1 0 0 20 0 1 0 286298063 51654656 11467 33554432000 4194304 5208918 140733413241136 140733413239544 4607488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/26095/statm: 12611 11467 105 248 0 12360 0 Current children cumulated CPU time (s) 1479.65 Current children cumulated vsize (KiB) 88640 [startup+1542.31 s] /proc/loadavg: 2.08 2.06 2.00 3/183 26417 /proc/meminfo: memFree=28964604/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=1537.92 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 1331507 9291641 0 0 4691 771 139867 8463 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=26412] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26412/stat : 26412 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286304136 9367552 266 33554432000 4194304 5064252 140733435342848 140733435341760 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/26412/statm: 2287 266 226 213 0 72 0 [pid=26413] ppid=26412 vsize=48208 CPUtime=1.51 cores=0,2,4,6 /proc/26413/stat : 26413 (glucose) R 26412 17468 1843 0 -1 4202496 10575 0 0 0 150 1 0 0 20 0 1 0 286304137 49364992 10695 33554432000 4194304 5208918 140736818526848 140736818525256 4211561 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/26413/statm: 12052 10695 95 248 0 11801 0 Current children cumulated CPU time (s) 1539.43 Current children cumulated vsize (KiB) 86404 [startup+1602.3 s] /proc/loadavg: 2.08 2.06 2.00 3/179 26728 /proc/meminfo: memFree=29150176/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=1598.6 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 1383211 9653482 0 0 4872 800 145407 8781 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 Current children cumulated CPU time (s) 1598.6 Current children cumulated vsize (KiB) 29048 [startup+1662.3 s] /proc/loadavg: 2.07 2.05 2.00 3/183 27043 /proc/meminfo: memFree=28988624/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=1659.05 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 1434915 10015974 0 0 5053 830 150909 9113 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 Current children cumulated CPU time (s) 1659.05 Current children cumulated vsize (KiB) 29048 [startup+1722.3 s] /proc/loadavg: 1.95 2.02 1.99 3/183 27356 /proc/meminfo: memFree=28958392/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=1716.85 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 1484371 10359902 0 0 5226 858 156172 9429 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=27350] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27350/stat : 27350 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 286322072 9367552 267 33554432000 4194304 5064252 140734074148144 140734074147056 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/27350/statm: 2287 267 226 213 0 72 0 [pid=27351] ppid=27350 vsize=48212 CPUtime=2.16 cores=0,2,4,6 /proc/27351/stat : 27351 (glucose) R 27350 17468 1843 0 -1 4202496 10256 0 0 0 214 2 0 0 20 0 1 0 286322072 49369088 10940 33554432000 4194304 5208918 140735418934928 140735418933336 4211712 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/27351/statm: 12053 10940 95 248 0 11802 0 Current children cumulated CPU time (s) 1719.01 Current children cumulated vsize (KiB) 86408 [startup+1782.3 s] /proc/loadavg: 2.03 2.03 2.00 3/184 27674 /proc/meminfo: memFree=28901260/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=1777.45 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 1536075 10721116 0 0 5407 887 161701 9750 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=27670] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27670/stat : 27670 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286328139 9367552 266 33554432000 4194304 5064252 140735080973136 140735080972048 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/27670/statm: 2287 266 226 213 0 72 0 [pid=27671] ppid=27670 vsize=48204 CPUtime=1.48 cores=0,2,4,6 /proc/27671/stat : 27671 (glucose) R 27670 17468 1843 0 -1 4202496 10574 0 0 0 147 1 0 0 20 0 1 0 286328139 49360896 10693 33554432000 4194304 5208918 140734697376160 140734697374568 4211744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/27671/statm: 12051 10693 95 248 0 11800 0 Current children cumulated CPU time (s) 1778.93 Current children cumulated vsize (KiB) 86400 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1803.5 s] /proc/loadavg: 2.02 2.03 2.00 3/184 27786 /proc/meminfo: memFree=29012480/32873648 swapFree=7116/7116 [pid=17468] ppid=17466 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17468/stat : 17468 (npSolver-wbo-It) S 17466 17468 1843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286150059 9367552 274 33554432000 4194304 5064252 140734299217600 140734299216512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17468/statm: 2287 274 233 213 0 72 0 [pid=17469] ppid=17468 vsize=19900 CPUtime=1798.67 cores=0,2,4,6 /proc/17469/stat : 17469 (npSolver-wbo) S 17468 17468 1843 0 -1 4202496 1554059 10845486 0 0 5470 897 163647 9853 20 0 1 0 286150059 20377600 4015 33554432000 4194304 5990268 140736754454016 140736754445424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/17469/statm: 4975 4015 177 439 0 4532 0 [pid=27782] ppid=17469 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27782/stat : 27782 (satsolver.sh) S 17469 17468 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286330271 9367552 267 33554432000 4194304 5064252 140733559187200 140733559186112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/27782/statm: 2287 267 226 213 0 72 0 [pid=27783] ppid=27782 vsize=48204 CPUtime=1.36 cores=0,2,4,6 /proc/27783/stat : 27783 (glucose) R 27782 17468 1843 0 -1 4202496 10105 0 0 0 135 1 0 0 20 0 1 0 286330272 49360896 10807 33554432000 4194304 5208918 140736705209120 140736705207528 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/27783/statm: 12051 10807 95 248 0 11800 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 86400 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1803.51 CPU time (s): 1800.07 CPU user time (s): 1692.54 CPU system time (s): 107.537 CPU usage (%): 99.8094 Max. virtual memory (cumulated for all children) (KiB): 88644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1692.54 system time used= 107.537 maximum resident set size= 46352 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12410638 page faults= 0 swaps= 0 block input operations= 0 block output operations= 9722504 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 194222 involuntary context switches= 12187 runsolver used 6.34004 second user time and 16.5995 second system time The end
Begin job on node114 at 2012-05-28 12:17:07 IDJOB=3715594 IDBENCH=78998 IDSOLVER=2297 FILE ID=node114/3715594-1338200227 RUNJOBID= node114-1338194810-1859 PBS_JOBID= 14624601 Free space on /tmp= 71448 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544484--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-3715594-1338200227/watcher-3715594-1338200227 -o /tmp/evaluation-result-3715594-1338200227/solver-3715594-1338200227 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715594-1338200227.wbo 80059302 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 97e6423088cc7ef1f08dcccdf9e01ef4 RANDOM SEED=80059302 node114.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.242 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.48 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.242 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.242 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 : 5451.90 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.242 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.242 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 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.242 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29292696 kB Buffers: 605580 kB Cached: 2073312 kB SwapCached: 2108 kB Active: 1354980 kB Inactive: 1347552 kB Active(anon): 15724 kB Inactive(anon): 7892 kB Active(file): 1339256 kB Inactive(file): 1339660 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67103912 kB Dirty: 8792 kB Writeback: 0 kB AnonPages: 40648 kB Mapped: 15152 kB Shmem: 116 kB Slab: 740948 kB SReclaimable: 182928 kB SUnreclaim: 558020 kB KernelStack: 1520 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 140040 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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= 71388 MiB End job on node114 at 2012-05-28 12:47:11