Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1800.46 | 1801.72 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo |
MD5SUM | e56482878ee36dcbb361a64b1d161fc3 |
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 | 2.09368 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3660 |
Total number of constraints | 121 |
Number of soft constraints | 81 |
Number of constraints which are clauses | 61 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 61 |
Top cost | 3401 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 3400 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 62 |
Number of bits of the biggest sum of numbers | 6 |
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.19 c run usual solver 2.08/2.10 o 2133 2.08/2.10 c starting approximation 2.08/2.10 c factor = 2 2.08/2.10 c current bound: 1066 4.58/4.78 c current bound: 1066 7.24/7.42 c current bound: 1066 9.90/10.09 c current bound: 1066 12.58/12.76 c current bound: 1066 15.36/15.43 c current bound: 1066 17.79/17.98 c current bound: 1066 20.46/20.65 c current bound: 1066 23.15/23.34 c current bound: 1066 25.83/26.02 c current bound: 1066 28.50/28.69 c current bound: 1066 31.16/31.36 c current bound: 1066 33.99/34.03 c current bound: 1066 36.48/36.66 c current bound: 1066 39.13/39.32 c current bound: 1066 41.99/42.00 c current bound: 1066 44.49/44.81 c current bound: 1066 47.09/47.41 c current bound: 1066 49.75/50.07 c current bound: 1066 52.53/52.74 c current bound: 1066 55.11/55.43 c current bound: 1066 57.77/58.08 c current bound: 1066 60.42/60.75 c current bound: 1066 63.11/63.42 c current bound: 1066 65.79/66.09 c current bound: 1066 68.45/68.75 c current bound: 1066 71.25/71.42 c current bound: 1066 73.75/74.07 c current bound: 1066 76.55/76.70 c current bound: 1066 79.05/79.36 c current bound: 1066 81.74/82.06 c current bound: 1066 84.53/84.73 c current bound: 1066 87.14/87.30 c current bound: 1066 89.66/89.98 c current bound: 1066 92.32/92.65 c current bound: 1066 95.13/95.34 c current bound: 1066 97.68/97.94 c current bound: 1066 100.25/100.62 c current bound: 1066 102.91/103.29 c current bound: 1066 105.59/105.96 c current bound: 1066 108.26/108.64 c current bound: 1066 110.95/111.32 c current bound: 1066 113.63/114.02 c current bound: 1066 116.29/116.67 c current bound: 1066 118.97/119.35 c current bound: 1066 121.77/122.04 c current bound: 1066 124.36/124.74 c current bound: 1066 126.96/127.33 c current bound: 1066 129.63/130.01 c current bound: 1066 132.31/132.69 c current bound: 1066 135.00/135.37 c current bound: 1066 137.56/137.94 c current bound: 1066 140.39/140.60 c current bound: 1066 142.89/143.27 c current bound: 1066 145.58/145.96 c current bound: 1066 148.27/148.64 c current bound: 1066 150.93/151.41 c current bound: 1066 153.64/154.11 c current bound: 1066 156.30/156.78 c current bound: 1066 159.07/159.43 c current bound: 1066 161.61/162.09 c current bound: 1066 164.26/164.74 c current bound: 1066 166.89/167.37 c current bound: 1066 169.57/170.06 c current bound: 1066 172.37/172.73 c current bound: 1066 175.08/175.40 c current bound: 1066 177.49/177.98 c current bound: 1066 180.17/180.66 c current bound: 1066 182.86/183.34 c current bound: 1066 185.51/186.01 c current bound: 1066 188.18/188.66 c current bound: 1066 190.97/191.33 c current bound: 1066 193.53/194.01 c current bound: 1066 196.19/196.67 c current bound: 1066 198.87/199.35 c current bound: 1066 201.53/202.01 c current bound: 1066 204.20/204.67 c current bound: 1066 206.84/207.31 c current bound: 1066 209.51/209.99 c current bound: 1066 212.20/212.67 c current bound: 1066 214.88/215.35 c current bound: 1066 217.45/217.92 c current bound: 1066 220.28/220.60 c current bound: 1066 222.88/223.28 c current bound: 1066 225.47/225.96 c current bound: 1066 228.17/228.64 c current bound: 1066 230.85/231.33 c current bound: 1066 233.54/234.01 c current bound: 1066 236.20/236.68 c current bound: 1066 238.86/239.33 c current bound: 1066 241.68/242.00 c current bound: 1066 244.20/244.68 c current bound: 1066 246.99/247.30 c current bound: 1066 249.50/249.98 c current bound: 1066 252.17/252.68 c current bound: 1066 254.86/255.37 c current bound: 1066 257.42/257.94 c current bound: 1066 260.23/260.68 c current bound: 1066 262.83/263.35 c current bound: 1066 265.50/266.02 c current bound: 1066 268.34/268.70 c current bound: 1066 270.85/271.37 c current bound: 1066 273.54/274.05 c current bound: 1066 276.19/276.70 c current bound: 1066 278.95/279.37 c current bound: 1066 281.54/282.05 c current bound: 1066 284.21/284.72 c current bound: 1066 286.84/287.35 c current bound: 1066 289.50/290.02 c current bound: 1066 292.24/292.65 c current bound: 1066 294.83/295.34 c current bound: 1066 297.35/297.87 c current bound: 1066 300.03/300.55 c current bound: 1066 302.70/303.21 c current bound: 1066 305.36/305.88 c current bound: 1066 307.93/308.46 c current bound: 1066 310.58/311.12 c current bound: 1066 313.28/313.81 c current bound: 1066 315.94/316.48 c current bound: 1066 318.58/319.12 c current bound: 1066 321.26/321.79 c current bound: 1066 324.03/324.46 c current bound: 1066 326.58/327.11 c current bound: 1066 329.23/329.76 c current bound: 1066 331.92/332.45 c current bound: 1066 334.58/335.12 c current bound: 1066 337.31/337.72 c current bound: 1066 339.87/340.41 c current bound: 1066 342.54/343.08 c current bound: 1066 345.25/345.78 c current bound: 1066 347.92/348.45 c current bound: 1066 350.62/351.15 c current bound: 1066 353.28/353.82 c current bound: 1066 355.97/356.51 c current bound: 1066 358.67/359.21 c current bound: 1066 361.43/361.88 c current bound: 1066 364.00/364.54 c current bound: 1066 366.59/367.14 c current bound: 1066 369.27/369.82 c current bound: 1066 371.96/372.49 c current bound: 1066 374.65/375.18 c current bound: 1066 377.27/377.81 c current bound: 1066 379.92/380.46 c current bound: 1066 382.59/383.13 c current bound: 1066 385.42/385.80 c current bound: 1066 387.86/388.40 c current bound: 1066 390.52/391.07 c current bound: 1066 393.31/393.75 c current bound: 1066 395.86/396.41 c current bound: 1066 398.70/399.10 c current bound: 1066 401.25/401.80 c current bound: 1066 403.93/404.48 c current bound: 1066 406.52/407.07 c current bound: 1066 409.18/409.74 c current bound: 1066 412.00/412.42 c current bound: 1066 414.53/415.09 c current bound: 1066 417.30/417.70 c current bound: 1066 420.00/420.40 c current bound: 1066 422.50/423.07 c current bound: 1066 425.29/425.74 c current bound: 1066 427.79/428.35 c current bound: 1066 430.47/431.03 c current bound: 1066 433.30/433.70 c current bound: 1066 435.79/436.35 c current bound: 1066 438.44/438.99 c current bound: 1066 441.07/441.63 c current bound: 1066 443.92/444.31 c current bound: 1066 446.38/446.94 c current bound: 1066 449.05/449.61 c current bound: 1066 451.71/452.26 c current bound: 1066 454.39/454.95 c current bound: 1066 457.07/457.55 c current bound: 1066 459.66/460.23 c current bound: 1066 462.49/462.90 c current bound: 1066 465.00/465.57 c current bound: 1066 467.56/468.13 c current bound: 1066 470.28/470.80 c current bound: 1066 472.90/473.47 c current bound: 1066 475.56/476.13 c current bound: 1066 478.24/478.81 c current bound: 1066 480.91/481.48 c current bound: 1066 483.56/484.14 c current bound: 1066 486.23/486.81 c current bound: 1066 489.09/489.50 c current bound: 1066 491.58/492.16 c current bound: 1066 494.26/494.83 c current bound: 1066 496.85/497.43 c current bound: 1066 499.69/500.10 c current bound: 1066 502.21/502.78 c current bound: 1066 504.90/505.47 c current bound: 1066 507.47/508.04 c current bound: 1066 510.15/510.72 c current bound: 1066 512.82/513.39 c current bound: 1066 515.48/516.15 c current bound: 1066 518.14/518.82 c current bound: 1066 520.82/521.49 c current bound: 1066 523.49/524.16 c current bound: 1066 526.29/526.86 c current bound: 1066 528.86/529.54 c current bound: 1066 531.57/532.24 c current bound: 1066 534.20/534.87 c current bound: 1066 536.87/537.53 c current bound: 1066 539.53/540.19 c current bound: 1066 542.17/542.83 c current bound: 1066 544.83/545.49 c current bound: 1066 547.40/548.07 c current bound: 1066 550.10/550.75 c current bound: 1066 552.76/553.43 c current bound: 1066 555.44/556.11 c current bound: 1066 558.19/558.78 c current bound: 1066 560.79/561.45 c current bound: 1066 563.49/564.16 c current bound: 1066 566.21/566.85 c current bound: 1066 568.89/569.54 c current bound: 1066 571.54/572.19 c current bound: 1066 574.23/574.88 c current bound: 1066 577.02/577.53 c current bound: 1066 579.53/580.18 c current bound: 1066 582.21/582.85 c current bound: 1066 584.87/585.52 c current bound: 1066 587.56/588.19 c current bound: 1066 590.23/590.87 c current bound: 1066 592.91/593.54 c current bound: 1066 595.72/596.23 c current bound: 1066 598.30/598.94 c current bound: 1066 601.11/601.61 c current bound: 1066 603.65/604.28 c current bound: 1066 606.26/606.91 c current bound: 1066 609.11/609.60 c current bound: 1066 611.64/612.28 c current bound: 1066 614.31/614.96 c current bound: 1066 617.08/617.65 c current bound: 1066 619.73/620.38 c current bound: 1066 622.36/623.08 c current bound: 1066 625.03/625.75 c current bound: 1066 627.61/628.34 c current bound: 1066 630.44/631.00 c current bound: 1066 632.97/633.69 c current bound: 1066 635.66/636.39 c current bound: 1066 638.43/639.07 c current bound: 1066 641.01/641.74 c current bound: 1066 643.85/644.40 c current bound: 1066 646.28/647.02 c current bound: 1066 648.95/649.68 c current bound: 1066 651.65/652.38 c current bound: 1066 654.31/655.04 c current bound: 1066 656.88/657.61 c current bound: 1066 659.72/660.30 c current bound: 1066 662.21/662.96 c current bound: 1066 664.90/665.63 c current bound: 1066 667.51/668.24 c current bound: 1066 670.34/670.91 c current bound: 1066 672.85/673.68 c current bound: 1066 675.51/676.36 c current bound: 1066 678.19/679.02 c current bound: 1066 681.03/681.70 c current bound: 1066 683.53/684.37 c current bound: 1066 686.32/687.00 c current bound: 1066 688.92/689.69 c current bound: 1066 691.52/692.36 c current bound: 1066 694.19/695.03 c current bound: 1066 696.80/697.64 c current bound: 1066 699.63/700.30 c current bound: 1066 702.15/702.98 c current bound: 1066 704.83/705.66 c current bound: 1066 707.62/708.34 c current bound: 1066 710.18/711.02 c current bound: 1066 712.85/713.69 c current bound: 1066 715.52/716.36 c current bound: 1066 718.19/719.03 c current bound: 1066 720.87/721.69 c current bound: 1066 723.55/724.38 c current bound: 1066 726.34/727.01 c current bound: 1066 728.86/729.68 c current bound: 1066 731.52/732.36 c current bound: 1066 734.21/735.08 c current bound: 1066 736.83/737.71 c current bound: 1066 739.52/740.39 c current bound: 1066 742.21/743.07 c current bound: 1066 744.97/745.74 c current bound: 1066 747.54/748.42 c current bound: 1066 750.22/751.09 c current bound: 1066 752.91/753.78 c current bound: 1066 755.58/756.46 c current bound: 1066 758.24/759.13 c current bound: 1066 761.08/761.80 c current bound: 1066 763.68/764.47 c current bound: 1066 766.39/767.10 c current bound: 1066 768.89/769.77 c current bound: 1066 771.57/772.44 c current bound: 1066 774.24/775.13 c current bound: 1066 776.97/777.73 c current bound: 1066 779.53/780.41 c current bound: 1066 782.20/783.08 c current bound: 1066 784.87/785.76 c current bound: 1066 787.45/788.33 c current bound: 1066 790.11/790.99 c current bound: 1066 792.97/793.70 c current bound: 1066 795.65/796.42 c current bound: 1066 798.19/799.11 c current bound: 1066 800.87/801.79 c current bound: 1066 803.56/804.47 c current bound: 1066 806.23/807.15 c current bound: 1066 808.89/809.81 c current bound: 1066 811.56/812.46 c current bound: 1066 814.33/815.16 c current bound: 1066 816.83/817.74 c current bound: 1066 819.64/820.40 c current bound: 1066 822.19/823.11 c current bound: 1066 824.86/825.77 c current bound: 1066 827.54/828.32 c current bound: 1066 830.11/831.03 c current bound: 1066 832.95/833.72 c current bound: 1066 835.49/836.41 c current bound: 1066 838.35/839.10 c current bound: 1066 840.85/841.77 c current bound: 1066 843.55/844.46 c current bound: 1066 846.22/847.05 c current bound: 1066 848.80/849.73 c current bound: 1066 851.64/852.41 c current bound: 1066 854.34/855.10 c current bound: 1066 856.80/857.73 c current bound: 1066 859.49/860.41 c current bound: 1066 862.34/863.10 c current bound: 1066 864.85/865.78 c current bound: 1066 867.45/868.38 c current bound: 1066 870.13/871.07 c current bound: 1066 872.83/873.76 c current bound: 1066 875.49/876.42 c current bound: 1066 878.34/879.10 c current bound: 1066 880.83/881.76 c current bound: 1066 883.64/884.41 c current bound: 1066 886.13/887.07 c current bound: 1066 888.82/889.75 c current bound: 1066 891.49/892.42 c current bound: 1066 894.16/895.09 c current bound: 1066 896.81/897.73 c current bound: 1066 899.48/900.42 c current bound: 1066 902.35/903.11 c current bound: 1066 904.85/905.78 c current bound: 1066 907.48/908.39 c current bound: 1066 910.15/911.08 c current bound: 1066 912.79/913.72 c current bound: 1066 915.64/916.40 c current bound: 1066 918.12/919.05 c current bound: 1066 920.77/921.69 c current bound: 1066 923.43/924.36 c current bound: 1066 926.09/927.04 c current bound: 1066 928.79/929.72 c current bound: 1066 931.48/932.41 c current bound: 1066 934.16/935.09 c current bound: 1066 936.75/937.68 c current bound: 1066 939.43/940.36 c current bound: 1066 942.10/943.04 c current bound: 1066 944.80/945.73 c current bound: 1066 947.33/948.28 c current bound: 1066 950.04/950.98 c current bound: 1066 952.86/953.76 c current bound: 1066 955.38/956.42 c current bound: 1066 958.06/959.09 c current bound: 1066 960.93/961.80 c current bound: 1066 963.44/964.47 c current bound: 1066 966.11/967.14 c current bound: 1066 968.78/969.81 c current bound: 1066 971.49/972.52 c current bound: 1066 974.16/975.19 c current bound: 1066 976.75/977.79 c current bound: 1066 979.40/980.43 c current bound: 1066 982.05/983.09 c current bound: 1066 984.74/985.78 c current bound: 1066 987.29/988.33 c current bound: 1066 990.13/991.00 c current bound: 1066 992.64/993.68 c current bound: 1066 995.31/996.35 c current bound: 1066 997.98/999.02 c current bound: 1066 1000.68/1001.71 c current bound: 1066 1003.36/1004.46 c current bound: 1066 1006.05/1007.13 c current bound: 1066 1008.76/1009.80 c current bound: 1066 1011.39/1012.47 c current bound: 1066 1014.06/1015.14 c current bound: 1066 1016.66/1017.75 c current bound: 1066 1019.34/1020.42 c current bound: 1066 1022.02/1023.11 c current bound: 1066 1024.69/1025.77 c current bound: 1066 1027.23/1028.32 c current bound: 1066 1030.07/1031.00 c current bound: 1066 1032.59/1033.68 c current bound: 1066 1035.46/1036.40 c current bound: 1066 1037.97/1039.08 c current bound: 1066 1040.68/1041.76 c current bound: 1066 1043.34/1044.44 c current bound: 1066 1046.17/1047.13 c current bound: 1066 1048.87/1049.80 c current bound: 1066 1051.38/1052.48 c current bound: 1066 1054.09/1055.17 c current bound: 1066 1056.71/1057.81 c current bound: 1066 1059.36/1060.46 c current bound: 1066 1062.02/1063.12 c current bound: 1066 1064.70/1065.79 c current bound: 1066 1067.29/1068.38 c current bound: 1066 1069.97/1071.07 c current bound: 1066 1072.66/1073.76 c current bound: 1066 1075.34/1076.43 c current bound: 1066 1078.06/1079.09 c current bound: 1066 1080.69/1081.79 c current bound: 1066 1083.38/1084.47 c current bound: 1066 1086.08/1087.18 c current bound: 1066 1088.77/1089.86 c current bound: 1066 1091.44/1092.54 c current bound: 1066 1094.14/1095.24 c current bound: 1066 1096.85/1097.84 c current bound: 1066 1099.42/1100.52 c current bound: 1066 1102.09/1103.18 c current bound: 1066 1104.76/1105.88 c current bound: 1066 1107.31/1108.44 c current bound: 1066 1110.15/1111.10 c current bound: 1066 1112.66/1113.78 c current bound: 1066 1115.44/1116.49 c current bound: 1066 1118.05/1119.17 c current bound: 1066 1120.70/1121.81 c current bound: 1066 1123.54/1124.50 c current bound: 1066 1126.05/1127.17 c current bound: 1066 1128.75/1129.85 c current bound: 1066 1131.42/1132.54 c current bound: 1066 1134.25/1135.21 c current bound: 1066 1136.74/1137.87 c current bound: 1066 1139.43/1140.55 c current bound: 1066 1142.11/1143.22 c current bound: 1066 1144.75/1145.88 c current bound: 1066 1147.34/1148.47 c current bound: 1066 1150.01/1151.14 c current bound: 1066 1152.81/1153.82 c current bound: 1066 1155.40/1156.53 c current bound: 1066 1158.05/1159.18 c current bound: 1066 1160.70/1161.83 c current bound: 1066 1163.34/1164.47 c current bound: 1066 1166.12/1167.12 c current bound: 1066 1168.83/1169.80 c current bound: 1066 1171.33/1172.47 c current bound: 1066 1174.02/1175.15 c current bound: 1066 1176.61/1177.75 c current bound: 1066 1179.30/1180.44 c current bound: 1066 1181.98/1183.11 c current bound: 1066 1184.81/1185.81 c current bound: 1066 1187.42/1188.40 c current bound: 1066 1189.96/1191.12 c current bound: 1066 1192.64/1193.79 c current bound: 1066 1195.34/1196.46 c current bound: 1066 1197.99/1199.13 c current bound: 1066 1200.67/1201.81 c current bound: 1066 1203.42/1204.48 c current bound: 1066 1206.03/1207.17 c current bound: 1066 1208.69/1209.84 c current bound: 1066 1211.34/1212.49 c current bound: 1066 1214.03/1215.18 c current bound: 1066 1216.69/1217.84 c current bound: 1066 1219.36/1220.51 c current bound: 1066 1222.21/1223.23 c current bound: 1066 1224.75/1225.94 c current bound: 1066 1227.33/1228.52 c current bound: 1066 1229.99/1231.17 c current bound: 1066 1232.67/1233.86 c current bound: 1066 1235.48/1236.50 c current bound: 1066 1237.98/1239.16 c current bound: 1066 1240.78/1241.84 c current bound: 1066 1243.35/1244.53 c current bound: 1066 1246.17/1247.20 c current bound: 1066 1248.73/1249.91 c current bound: 1066 1251.40/1252.59 c current bound: 1066 1254.07/1255.25 c current bound: 1066 1256.76/1257.94 c current bound: 1066 1259.57/1260.62 c current bound: 1066 1262.11/1263.29 c current bound: 1066 1264.78/1265.97 c current bound: 1066 1267.46/1268.65 c current bound: 1066 1270.14/1271.32 c current bound: 1066 1272.77/1273.95 c current bound: 1066 1275.43/1276.62 c current bound: 1066 1278.28/1279.30 c current bound: 1066 1280.80/1281.98 c current bound: 1066 1283.44/1284.63 c current bound: 1066 1286.10/1287.29 c current bound: 1066 1288.76/1289.95 c current bound: 1066 1291.43/1292.63 c current bound: 1066 1294.28/1295.30 c current bound: 1066 1296.87/1297.98 c current bound: 1066 1299.46/1300.66 c current bound: 1066 1302.15/1303.37 c current bound: 1066 1304.83/1306.05 c current bound: 1066 1307.49/1308.71 c current bound: 1066 1310.16/1311.39 c current bound: 1066 1312.83/1314.05 c current bound: 1066 1315.62/1316.75 c current bound: 1066 1318.19/1319.49 c current bound: 1066 1320.95/1322.16 c current bound: 1066 1323.54/1324.84 c current bound: 1066 1326.11/1327.42 c current bound: 1066 1328.77/1330.08 c current bound: 1066 1331.43/1332.76 c current bound: 1066 1334.25/1335.45 c current bound: 1066 1336.82/1338.13 c current bound: 1066 1339.63/1340.82 c current bound: 1066 1342.16/1343.49 c current bound: 1066 1344.80/1346.12 c current bound: 1066 1347.48/1348.79 c current bound: 1066 1350.17/1351.49 c current bound: 1066 1352.94/1354.14 c current bound: 1066 1355.53/1356.84 c current bound: 1066 1358.34/1359.53 c current bound: 1066 1361.03/1362.20 c current bound: 1066 1363.55/1364.87 c current bound: 1066 1366.23/1367.56 c current bound: 1066 1368.92/1370.24 c current bound: 1066 1371.58/1372.91 c current bound: 1066 1374.22/1375.54 c current bound: 1066 1377.04/1378.23 c current bound: 1066 1379.54/1380.87 c current bound: 1066 1382.22/1383.54 c current bound: 1066 1384.91/1386.24 c current bound: 1066 1387.59/1388.91 c current bound: 1066 1390.26/1391.59 c current bound: 1066 1392.95/1394.28 c current bound: 1066 1395.72/1396.96 c current bound: 1066 1398.29/1399.63 c current bound: 1066 1400.98/1402.31 c current bound: 1066 1403.64/1404.97 c current bound: 1066 1406.41/1407.60 c current bound: 1066 1408.93/1410.28 c current bound: 1066 1411.58/1412.91 c current bound: 1066 1414.41/1415.61 c current bound: 1066 1416.93/1418.27 c current bound: 1066 1419.60/1420.96 c current bound: 1066 1422.27/1423.62 c current bound: 1066 1424.96/1426.31 c current bound: 1066 1427.80/1429.00 c current bound: 1066 1430.31/1431.68 c current bound: 1066 1433.10/1434.35 c current bound: 1066 1435.66/1437.02 c current bound: 1066 1438.30/1439.66 c current bound: 1066 1440.95/1442.32 c current bound: 1066 1443.63/1444.99 c current bound: 1066 1446.41/1447.66 c current bound: 1066 1448.98/1450.35 c current bound: 1066 1451.79/1453.03 c current bound: 1066 1454.34/1455.71 c current bound: 1066 1456.98/1458.35 c current bound: 1066 1459.65/1461.01 c current bound: 1066 1462.32/1463.69 c current bound: 1066 1465.01/1466.38 c current bound: 1066 1467.69/1469.06 c current bound: 1066 1470.48/1471.73 c current bound: 1066 1473.19/1474.40 c current bound: 1066 1475.71/1477.08 c current bound: 1066 1478.40/1479.77 c current bound: 1066 1481.08/1482.46 c current bound: 1066 1483.77/1485.15 c current bound: 1066 1486.45/1487.84 c current bound: 1066 1489.30/1490.51 c current bound: 1066 1491.82/1493.19 c current bound: 1066 1494.49/1495.86 c current bound: 1066 1497.13/1498.51 c current bound: 1066 1499.99/1501.20 c current bound: 1066 1502.51/1503.88 c current bound: 1066 1505.37/1506.60 c current bound: 1066 1507.90/1509.28 c current bound: 1066 1510.53/1511.91 c current bound: 1066 1513.22/1514.59 c current bound: 1066 1515.87/1517.25 c current bound: 1066 1518.52/1519.92 c current bound: 1066 1521.20/1522.58 c current bound: 1066 1523.83/1525.22 c current bound: 1066 1526.58/1527.88 c current bound: 1066 1529.18/1530.56 c current bound: 1066 1531.87/1533.24 c current bound: 1066 1534.54/1535.92 c current bound: 1066 1537.24/1538.62 c current bound: 1066 1540.09/1541.30 c current bound: 1066 1542.77/1544.00 c current bound: 1066 1545.29/1546.67 c current bound: 1066 1547.95/1549.33 c current bound: 1066 1550.59/1551.98 c current bound: 1066 1553.26/1554.64 c current bound: 1066 1555.94/1557.34 c current bound: 1066 1558.63/1560.02 c current bound: 1066 1561.32/1562.69 c current bound: 1066 1564.00/1565.38 c current bound: 1066 1566.69/1568.07 c current bound: 1066 1569.47/1570.74 c current bound: 1066 1572.01/1573.41 c current bound: 1066 1574.70/1576.08 c current bound: 1066 1577.28/1578.65 c current bound: 1066 1579.94/1581.32 c current bound: 1066 1582.78/1584.01 c current bound: 1066 1585.30/1586.69 c current bound: 1066 1587.99/1589.38 c current bound: 1066 1590.68/1592.06 c current bound: 1066 1593.37/1594.75 c current bound: 1066 1596.03/1597.41 c current bound: 1066 1598.71/1600.09 c current bound: 1066 1601.40/1602.77 c current bound: 1066 1604.06/1605.45 c current bound: 1066 1606.72/1608.11 c current bound: 1066 1609.41/1610.80 c current bound: 1066 1612.07/1613.47 c current bound: 1066 1614.77/1616.16 c current bound: 1066 1617.46/1618.85 c current bound: 1066 1620.12/1621.51 c current bound: 1066 1622.76/1624.15 c current bound: 1066 1625.56/1626.84 c current bound: 1066 1628.12/1629.51 c current bound: 1066 1630.98/1632.20 c current bound: 1066 1633.53/1634.91 c current bound: 1066 1636.18/1637.57 c current bound: 1066 1638.85/1640.24 c current bound: 1066 1641.56/1642.94 c current bound: 1066 1644.36/1645.64 c current bound: 1066 1647.07/1648.30 c current bound: 1066 1649.59/1650.99 c current bound: 1066 1652.24/1653.63 c current bound: 1066 1654.93/1656.31 c current bound: 1066 1657.58/1658.97 c current bound: 1066 1660.26/1661.65 c current bound: 1066 1663.07/1664.32 c current bound: 1066 1665.56/1666.95 c current bound: 1066 1668.24/1669.65 c current bound: 1066 1670.91/1672.32 c current bound: 1066 1673.61/1675.01 c current bound: 1066 1676.23/1677.64 c current bound: 1066 1678.90/1680.32 c current bound: 1066 1681.74/1683.01 c current bound: 1066 1684.44/1685.70 c current bound: 1066 1686.93/1688.35 c current bound: 1066 1689.59/1691.01 c current bound: 1066 1692.25/1693.68 c current bound: 1066 1694.91/1696.34 c current bound: 1066 1697.73/1699.00 c current bound: 1066 1700.33/1701.67 c current bound: 1066 1702.94/1704.36 c current bound: 1066 1705.62/1707.04 c current bound: 1066 1708.29/1709.72 c current bound: 1066 1711.00/1712.42 c current bound: 1066 1713.83/1715.10 c current bound: 1066 1716.35/1717.77 c current bound: 1066 1719.05/1720.47 c current bound: 1066 1721.72/1723.15 c current bound: 1066 1724.54/1725.81 c current bound: 1066 1727.07/1728.49 c current bound: 1066 1729.74/1731.17 c current bound: 1066 1732.40/1733.83 c current bound: 1066 1735.23/1736.50 c current bound: 1066 1737.73/1739.16 c current bound: 1066 1740.43/1741.86 c current bound: 1066 1743.21/1744.52 c current bound: 1066 1745.76/1747.19 c current bound: 1066 1748.42/1749.86 c current bound: 1066 1751.23/1752.50 c current bound: 1066 1753.72/1755.16 c current bound: 1066 1756.41/1757.78 c current bound: 1066 1759.05/1760.48 c current bound: 1066 1761.71/1763.15 c current bound: 1066 1764.35/1765.79 c current bound: 1066 1767.03/1768.47 c current bound: 1066 1769.69/1771.13 c current bound: 1066 1772.52/1773.80 c current bound: 1066 1775.11/1776.48 c current bound: 1066 1777.71/1779.15 c current bound: 1066 1780.41/1781.84 c current bound: 1066 1783.14/1784.58 c current bound: 1066 1785.78/1787.22 c current bound: 1066 1788.47/1789.91 c current bound: 1066 1791.33/1792.60 c current bound: 1066 1793.83/1795.27 c current bound: 1066 1796.52/1797.96 c current bound: 1066 1799.30/1800.65 c current bound: 1066 1800.41/1801.71 ./satsolver.sh: line 5: 26293 Terminated ./glucose $1 > $2 2> /dev/null 1800.41/1801.71 c error: unexpected solver exit code 1800.41/1801.71 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-3715671-1338183564/watcher-3715671-1338183564 -o /tmp/evaluation-result-3715671-1338183564/solver-3715671-1338183564 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715671-1338183564.wbo 1894843508 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.94 1.92 3/178 22223 /proc/meminfo: memFree=30955388/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [startup+0.0684291 s] /proc/loadavg: 2.00 1.94 1.92 3/178 22223 /proc/meminfo: memFree=30955388/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100301 s] /proc/loadavg: 2.00 1.94 1.92 3/178 22223 /proc/meminfo: memFree=30955388/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300146 s] /proc/loadavg: 2.00 1.94 1.92 3/178 22223 /proc/meminfo: memFree=30955388/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700118 s] /proc/loadavg: 2.00 1.94 1.92 3/178 22223 /proc/meminfo: memFree=30955388/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50022 s] /proc/loadavg: 2.00 1.94 1.92 3/182 22255 /proc/meminfo: memFree=30911788/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=8460 CPUtime=1.36 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 3266 13142 0 0 18 1 102 15 20 0 1 0 284484956 8663040 1272 33554432000 4194304 5990268 140737187974704 140737187968944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22224/statm: 2115 1272 157 439 0 1672 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 17608 [startup+3.10033 s] /proc/loadavg: 2.00 1.94 1.92 3/180 22286 /proc/meminfo: memFree=30946480/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=2.11 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 4920 22592 0 0 23 9 162 17 20 0 1 0 284484956 17850368 3136 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/22224/statm: 4358 3136 179 439 0 3915 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 26580 heavy processes: [startup+6.30034 s] /proc/loadavg: 2.08 1.96 1.92 3/183 22371 /proc/meminfo: memFree=30904628/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=4.8 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 6724 37238 0 0 27 10 418 25 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=22356] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22356/stat : 22356 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284485437 9367552 266 33554432000 4194304 5064252 140735442312976 140735442311888 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22356/statm: 2287 266 226 213 0 72 0 [pid=22357] ppid=22356 vsize=35696 CPUtime=1.47 cores=1,3,5,7 /proc/22357/stat : 22357 (glucose) R 22356 22223 15230 0 -1 4202496 8189 0 0 0 146 1 0 0 20 0 1 0 284485438 36552704 7541 33554432000 4194304 5208918 140736692592880 140736692590728 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/22357/statm: 8924 7541 96 248 0 8673 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 71424 [startup+12.7004 s] /proc/loadavg: 2.07 1.96 1.92 3/183 22553 /proc/meminfo: memFree=30903400/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=12.58 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 10335 76708 0 0 33 11 1170 44 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187965600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 26580 [startup+25.5003 s] /proc/loadavg: 2.05 1.96 1.92 3/183 22917 /proc/meminfo: memFree=30902464/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=23.34 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 19338 142405 0 0 50 13 2185 86 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=22870] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22870/stat : 22870 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284487293 9367552 266 33554432000 4194304 5064252 140736217189312 140736217188224 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22870/statm: 2287 266 226 213 0 72 0 [pid=22871] ppid=22870 vsize=35832 CPUtime=2.11 cores=1,3,5,7 /proc/22871/stat : 22871 (glucose) R 22870 22223 15230 0 -1 4202496 8018 0 0 0 210 1 0 0 20 0 1 0 284487294 36691968 8009 33554432000 4194304 5208918 140734707675632 140734707673480 4334567 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/22871/statm: 8958 8009 104 248 0 8707 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 71560 [startup+51.1004 s] /proc/loadavg: 2.03 1.96 1.92 3/184 23620 /proc/meminfo: memFree=30906884/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=49.95 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 37358 288684 0 0 84 19 4722 170 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=23612] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23612/stat : 23612 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284489966 9367552 267 33554432000 4194304 5064252 140735054808064 140735054806976 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23612/statm: 2287 267 226 213 0 72 0 [pid=23613] ppid=23612 vsize=32840 CPUtime=0.98 cores=1,3,5,7 /proc/23613/stat : 23613 (glucose) R 23612 22223 15230 0 -1 4202496 7869 0 0 0 97 1 0 0 20 0 1 0 284489967 33628160 7228 33554432000 4194304 5208918 140735564801840 140735563751336 4212197 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/23613/statm: 8210 7228 96 248 0 7959 0 Current children cumulated CPU time (s) 50.93 Current children cumulated vsize (KiB) 68568 [startup+102.307 s] /proc/loadavg: 1.83 1.92 1.91 3/183 25041 /proc/meminfo: memFree=30903216/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=100.44 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 71596 565333 0 0 149 29 9538 328 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=24998] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24998/stat : 24998 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284495022 9367552 267 33554432000 4194304 5064252 140736946488384 140736946487296 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/24998/statm: 2287 267 226 213 0 72 0 [pid=24999] ppid=24998 vsize=35696 CPUtime=1.63 cores=1,3,5,7 /proc/24999/stat : 24999 (glucose) R 24998 22223 15230 0 -1 4202496 8232 0 0 0 162 1 0 0 20 0 1 0 284495022 36552704 7650 33554432000 4194304 5208918 140737396976608 140737396974456 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24999/statm: 8924 7650 96 248 0 8673 0 Current children cumulated CPU time (s) 102.07 Current children cumulated vsize (KiB) 71424 [startup+162.3 s] /proc/loadavg: 1.90 1.92 1.91 3/183 26665 /proc/meminfo: memFree=30902148/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=161.81 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 113042 904456 0 0 226 42 15398 515 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 Current children cumulated CPU time (s) 161.81 Current children cumulated vsize (KiB) 26580 [startup+222.3 s] /proc/loadavg: 1.96 1.93 1.91 3/183 28317 /proc/meminfo: memFree=30902272/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=220.32 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 152686 1227817 0 0 301 54 20979 698 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=28281] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28281/stat : 28281 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284507019 9367552 267 33554432000 4194304 5064252 140736217966736 140736217965648 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/28281/statm: 2287 267 226 213 0 72 0 [pid=28282] ppid=28281 vsize=35700 CPUtime=1.65 cores=1,3,5,7 /proc/28282/stat : 28282 (glucose) R 28281 22223 15230 0 -1 4202496 8309 0 0 0 163 2 0 0 20 0 1 0 284507020 36556800 7655 33554432000 4194304 5208918 140736300980128 140736300977976 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/28282/statm: 8925 7655 96 248 0 8674 0 ################ # More data... # ################ /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=1361.09 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 923942 7519457 0 0 1748 284 129865 4212 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 Current children cumulated CPU time (s) 1361.09 Current children cumulated vsize (KiB) 26580 [startup+1422.31 s] /proc/loadavg: 2.00 1.95 1.91 3/183 24997 /proc/meminfo: memFree=30860268/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=1419.81 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 963586 7846471 0 0 1823 295 135474 4389 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=24996] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24996/stat : 24996 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284627055 9367552 267 33554432000 4194304 5064252 140737185675360 140737185674272 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/24996/statm: 2287 267 226 213 0 72 0 [pid=24997] ppid=24996 vsize=35700 CPUtime=1.3 cores=1,3,5,7 /proc/24997/stat : 24997 (glucose) R 24996 22223 15230 0 -1 4202496 8072 0 0 0 128 2 0 0 20 0 1 0 284627055 36556800 7433 33554432000 4194304 5208918 140733269914336 140733269912424 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/24997/statm: 8925 7433 96 248 0 8674 0 Current children cumulated CPU time (s) 1421.11 Current children cumulated vsize (KiB) 71428 [startup+1482.3 s] /proc/loadavg: 2.08 1.98 1.91 3/183 25200 /proc/meminfo: memFree=30859176/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=1481.08 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 1003237 8180106 0 0 1896 307 141332 4573 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187965600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 Current children cumulated CPU time (s) 1481.08 Current children cumulated vsize (KiB) 26580 [startup+1542.3 s] /proc/loadavg: 1.98 1.96 1.91 3/183 25411 /proc/meminfo: memFree=30870356/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=1540.13 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 1044676 8506517 0 0 1974 319 146962 4758 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=25410] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/25410/stat : 25410 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284639090 9367552 267 33554432000 4194304 5064252 140736204888384 140736204887296 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/25410/statm: 2287 267 226 213 0 72 0 [pid=25411] ppid=25410 vsize=32844 CPUtime=0.94 cores=1,3,5,7 /proc/25411/stat : 25411 (glucose) R 25410 22223 15230 0 -1 4202496 7834 0 0 0 93 1 0 0 20 0 1 0 284639090 33632256 7204 33554432000 4194304 5208918 140736096479072 140736096476920 4229780 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/25411/statm: 8211 7204 96 248 0 7960 0 Current children cumulated CPU time (s) 1541.07 Current children cumulated vsize (KiB) 68572 [startup+1602.3 s] /proc/loadavg: 1.99 1.97 1.91 3/183 25607 /proc/meminfo: memFree=30859388/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=1598.92 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 1084320 8831252 0 0 2049 330 152581 4932 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=25606] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/25606/stat : 25606 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284644969 9367552 267 33554432000 4194304 5064252 140735701880400 140735701879312 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/25606/statm: 2287 267 226 213 0 72 0 [pid=25607] ppid=25606 vsize=36100 CPUtime=2.16 cores=1,3,5,7 /proc/25607/stat : 25607 (glucose) R 25606 22223 15230 0 -1 4202496 8612 0 0 0 214 2 0 0 20 0 1 0 284644969 36966400 8030 33554432000 4194304 5208918 140735759038352 140735759036200 4205220 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/25607/statm: 9025 8030 104 248 0 8774 0 Current children cumulated CPU time (s) 1601.08 Current children cumulated vsize (KiB) 71828 [startup+1662.3 s] /proc/loadavg: 1.99 1.97 1.91 3/183 25817 /proc/meminfo: memFree=30861768/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=1660.45 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 1125766 9169670 0 0 2126 342 158454 5123 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=25816] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/25816/stat : 25816 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284651124 9367552 266 33554432000 4194304 5064252 140736604324032 140736604322944 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/25816/statm: 2287 266 226 213 0 72 0 [pid=25817] ppid=25816 vsize=35564 CPUtime=0.6 cores=1,3,5,7 /proc/25817/stat : 25817 (glucose) R 25816 22223 15230 0 -1 4202496 7172 0 0 0 59 1 0 0 20 0 1 0 284651124 36417536 7367 33554432000 4194304 5208918 140734866323424 140734866321272 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/25817/statm: 8891 7367 95 248 0 8640 0 Current children cumulated CPU time (s) 1661.05 Current children cumulated vsize (KiB) 71292 [startup+1722.3 s] /proc/loadavg: 2.06 1.99 1.91 3/183 26020 /proc/meminfo: memFree=30869396/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=1719.24 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 1165410 9493649 0 0 2200 354 164063 5307 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=26019] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26019/stat : 26019 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284657006 9367552 267 33554432000 4194304 5064252 140737211417600 140737211416512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26019/statm: 2287 267 226 213 0 72 0 [pid=26020] ppid=26019 vsize=35704 CPUtime=1.78 cores=1,3,5,7 /proc/26020/stat : 26020 (glucose) R 26019 22223 15230 0 -1 4202496 8403 0 0 0 176 2 0 0 20 0 1 0 284657006 36560896 7747 33554432000 4194304 5208918 140733356828112 140733356825960 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26020/statm: 8926 7747 96 248 0 8675 0 Current children cumulated CPU time (s) 1721.02 Current children cumulated vsize (KiB) 71432 [startup+1782.3 s] /proc/loadavg: 2.02 1.99 1.91 3/183 26223 /proc/meminfo: memFree=30878888/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=1780.61 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 1206856 9828604 0 0 2278 366 169923 5494 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=26222] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26222/stat : 26222 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284663144 9367552 266 33554432000 4194304 5064252 140735559050176 140735559049088 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26222/statm: 2287 266 226 213 0 72 0 [pid=26223] ppid=26222 vsize=32708 CPUtime=0.4 cores=1,3,5,7 /proc/26223/stat : 26223 (glucose) R 26222 22223 15230 0 -1 4202496 7027 0 0 0 40 0 0 0 20 0 1 0 284663144 33492992 7218 33554432000 4194304 5208918 140733242019424 140733242017272 4211807 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26223/statm: 8177 7218 95 248 0 7926 0 Current children cumulated CPU time (s) 1781.01 Current children cumulated vsize (KiB) 68436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.7 s] /proc/loadavg: 2.01 1.99 1.91 3/183 26293 /proc/meminfo: memFree=30871084/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=1799.4 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 1219470 9930559 0 0 2302 370 171721 5547 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=26292] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26292/stat : 26292 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284665025 9367552 267 33554432000 4194304 5064252 140733678979440 140733678978352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26292/statm: 2287 267 226 213 0 72 0 [pid=26293] ppid=26292 vsize=32836 CPUtime=1.01 cores=1,3,5,7 /proc/26293/stat : 26293 (glucose) R 26292 22223 15230 0 -1 4202496 7824 0 0 0 100 1 0 0 20 0 1 0 284665025 33624064 7246 33554432000 4194304 5208918 140736996957456 140736996955304 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26293/statm: 8209 7246 96 248 0 7958 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 68564 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.7 s] /proc/loadavg: 2.01 1.99 1.91 3/183 26293 /proc/meminfo: memFree=30871084/32873844 swapFree=7108/7108 [pid=22223] ppid=22221 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22223/stat : 22223 (npSolver-wbo-It) S 22221 22223 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284484956 9367552 275 33554432000 4194304 5064252 140733590582560 140733590581472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22223/statm: 2287 275 233 213 0 72 0 [pid=22224] ppid=22223 vsize=17432 CPUtime=1799.4 cores=1,3,5,7 /proc/22224/stat : 22224 (npSolver-wbo) S 22223 22223 15230 0 -1 4202496 1219470 9930559 0 0 2302 370 171721 5547 20 0 1 0 284484956 17850368 3240 33554432000 4194304 5990268 140737187974704 140737187966112 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22224/statm: 4358 3240 180 439 0 3915 0 [pid=26292] ppid=22224 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26292/stat : 26292 (satsolver.sh) S 22224 22223 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284665025 9367552 267 33554432000 4194304 5064252 140733678979440 140733678978352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26292/statm: 2287 267 226 213 0 72 0 [pid=26293] ppid=26292 vsize=32836 CPUtime=1.01 cores=1,3,5,7 /proc/26293/stat : 26293 (glucose) R 26292 22223 15230 0 -1 4202496 7824 0 0 0 100 1 0 0 20 0 1 0 284665025 33624064 7246 33554432000 4194304 5208918 140736996957456 140736996955304 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26293/statm: 8209 7246 96 248 0 7958 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 68564 Child status: 0 Real time (s): 1801.72 CPU time (s): 1800.46 CPU user time (s): 1741.25 CPU system time (s): 59.209 CPU usage (%): 99.9301 Max. virtual memory (cumulated for all children) (KiB): 81960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1741.25 system time used= 59.209 maximum resident set size= 52724 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11158841 page faults= 0 swaps= 0 block input operations= 0 block output operations= 6405184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 145001 involuntary context switches= 9762 runsolver used 3.19051 second user time and 8.76467 second system time The end
Begin job on node103 at 2012-05-28 07:39:24 IDJOB=3715671 IDBENCH=78714 IDSOLVER=2297 FILE ID=node103/3715671-1338183564 RUNJOBID= node103-1338166500-15763 PBS_JOBID= 14624530 Free space on /tmp= 71564 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60--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-3715671-1338183564/watcher-3715671-1338183564 -o /tmp/evaluation-result-3715671-1338183564/solver-3715671-1338183564 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715671-1338183564.wbo 1894843508 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e56482878ee36dcbb361a64b1d161fc3 RANDOM SEED=1894843508 node103.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.189 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.37 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.189 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.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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.189 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.189 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 : 5411.36 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.189 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.189 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: 32873844 kB MemFree: 30956024 kB Buffers: 435112 kB Cached: 617792 kB SwapCached: 4496 kB Active: 716140 kB Inactive: 358900 kB Active(anon): 16296 kB Inactive(anon): 6216 kB Active(file): 699844 kB Inactive(file): 352684 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67099576 kB Dirty: 9140 kB Writeback: 0 kB AnonPages: 38948 kB Mapped: 12708 kB Shmem: 8 kB Slab: 703492 kB SReclaimable: 144884 kB SUnreclaim: 558608 kB KernelStack: 1520 kB PageTables: 3616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 143920 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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= 71548 MiB End job on node103 at 2012-05-28 08:09:26