Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topDown | OPTIMUM | 819.886 | 820.021 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo |
MD5SUM | 540e5098c207f1245411172896d943a2 |
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 | 172 |
Best CPU time to get the best result obtained on this benchmark | 0.046992 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 c run usual solver 0.00/0.05 o 3399 0.00/0.05 c fallback to adder encoding 2.08/2.17 o 3397 2.08/2.17 c fallback to adder encoding 4.56/4.67 o 3370 4.56/4.67 c fallback to adder encoding 7.16/7.23 o 3369 7.16/7.23 c fallback to adder encoding 9.85/9.93 o 3366 9.85/9.93 c fallback to adder encoding 15.38/15.43 o 3363 15.38/15.43 c fallback to adder encoding 17.75/17.84 o 3362 17.75/17.84 c fallback to adder encoding 24.24/24.39 o 3361 24.24/24.39 c fallback to adder encoding 29.01/29.10 o 3355 29.01/29.10 c fallback to adder encoding 33.04/33.16 o 3353 33.04/33.16 c fallback to adder encoding 35.63/35.75 o 3340 35.63/35.75 c fallback to adder encoding 40.92/41.09 o 3334 40.92/41.09 c fallback to adder encoding 43.22/43.37 o 3330 43.22/43.37 c fallback to adder encoding 48.34/48.47 o 3328 48.34/48.47 c fallback to adder encoding 51.54/51.64 o 3323 51.54/51.64 c fallback to adder encoding 55.33/55.47 o 3312 55.33/55.47 c fallback to adder encoding 58.02/58.20 o 3300 58.02/58.20 c fallback to adder encoding 60.61/60.76 o 3297 60.61/60.76 c fallback to adder encoding 63.31/63.49 o 3295 63.31/63.49 c fallback to adder encoding 67.01/67.18 o 3289 67.01/67.18 c fallback to adder encoding 69.20/69.33 o 3288 69.20/69.33 c fallback to adder encoding 71.99/72.17 o 3275 71.99/72.17 c fallback to adder encoding 75.78/75.92 o 3268 75.78/75.92 c fallback to adder encoding 78.80/78.99 o 3267 78.80/78.99 c fallback to adder encoding 81.48/81.62 o 3266 81.48/81.62 c fallback to adder encoding 84.30/84.48 o 3265 84.30/84.48 c fallback to adder encoding 90.81/90.94 o 3262 90.81/90.94 c fallback to adder encoding 92.59/92.78 o 3254 92.59/92.78 c fallback to adder encoding 95.60/95.76 o 3253 95.60/95.76 c fallback to adder encoding 98.39/98.52 o 3252 98.39/98.52 c fallback to adder encoding 101.68/101.80 o 3248 101.68/101.80 c fallback to adder encoding 104.17/104.31 o 3242 104.17/104.31 c fallback to adder encoding 107.70/107.87 o 3209 107.70/107.87 c fallback to adder encoding 111.40/111.57 o 3145 111.40/111.57 c fallback to adder encoding 115.20/115.38 o 3142 115.20/115.38 c fallback to adder encoding 117.28/117.47 o 3138 117.28/117.47 c fallback to adder encoding 119.57/119.76 o 3114 119.57/119.76 c fallback to adder encoding 122.65/122.81 o 3113 122.65/122.81 c fallback to adder encoding 125.17/125.32 o 3111 125.17/125.32 c fallback to adder encoding 129.14/129.32 o 3110 129.14/129.32 c fallback to adder encoding 131.77/131.99 o 3109 131.77/131.99 c fallback to adder encoding 134.16/134.38 o 3108 134.16/134.38 c fallback to adder encoding 136.56/136.75 o 3103 136.56/136.75 c fallback to adder encoding 138.94/139.11 o 3099 138.94/139.11 c fallback to adder encoding 142.15/142.31 o 3095 142.15/142.31 c fallback to adder encoding 144.15/144.39 o 3092 144.15/144.39 c fallback to adder encoding 147.16/147.33 o 3088 147.16/147.33 c fallback to adder encoding 150.05/150.27 o 3086 150.05/150.27 c fallback to adder encoding 152.33/152.53 o 3084 152.33/152.53 c fallback to adder encoding 156.60/156.80 o 3080 156.60/156.80 c fallback to adder encoding 159.52/159.73 o 3077 159.52/159.73 c fallback to adder encoding 161.74/161.94 o 3075 161.74/161.94 c fallback to adder encoding 164.63/164.87 o 3073 164.63/164.87 c fallback to adder encoding 168.03/168.27 o 3072 168.03/168.27 c fallback to adder encoding 170.64/170.84 o 3071 170.64/170.84 c fallback to adder encoding 174.41/174.61 o 3062 174.41/174.61 c fallback to adder encoding 177.43/177.63 o 3037 177.43/177.63 c fallback to adder encoding 179.33/179.50 o 3036 179.33/179.50 c fallback to adder encoding 182.13/182.34 o 3026 182.13/182.34 c fallback to adder encoding 186.43/186.65 o 3025 186.43/186.65 c fallback to adder encoding 188.61/188.81 o 3021 188.61/188.81 c fallback to adder encoding 197.82/198.06 o 3009 197.82/198.06 c fallback to adder encoding 201.81/202.03 o 3008 201.81/202.03 c fallback to adder encoding 204.80/205.02 o 3007 204.80/205.02 c fallback to adder encoding 206.84/207.14 o 3006 206.84/207.14 c fallback to adder encoding 210.84/211.16 o 3004 210.84/211.16 c fallback to adder encoding 213.15/213.47 o 2994 213.15/213.47 c fallback to adder encoding 214.84/215.19 o 2993 214.84/215.19 c fallback to adder encoding 216.73/217.02 o 2992 216.73/217.02 c fallback to adder encoding 218.41/218.71 o 2965 218.41/218.71 c fallback to adder encoding 221.25/221.54 o 2960 221.25/221.54 c fallback to adder encoding 222.94/223.28 o 2958 222.94/223.28 c fallback to adder encoding 224.83/225.13 o 2945 224.83/225.13 c fallback to adder encoding 231.52/231.88 o 2909 231.52/231.88 c fallback to adder encoding 235.53/235.85 o 2903 235.53/235.85 c fallback to adder encoding 237.81/238.11 o 2852 237.81/238.11 c fallback to adder encoding 241.73/242.03 o 2841 241.73/242.03 c fallback to adder encoding 244.23/244.58 o 2836 244.23/244.58 c fallback to adder encoding 245.74/246.05 o 2822 245.74/246.05 c fallback to adder encoding 249.84/250.13 o 2820 249.84/250.13 c fallback to adder encoding 252.94/253.24 o 2817 252.94/253.24 c fallback to adder encoding 254.74/255.04 o 2816 254.74/255.04 c fallback to adder encoding 257.33/257.62 o 2814 257.33/257.62 c fallback to adder encoding 260.17/260.50 o 2813 260.17/260.50 c fallback to adder encoding 262.41/262.77 o 2799 262.41/262.77 c fallback to adder encoding 266.82/267.26 o 2768 266.82/267.26 c fallback to adder encoding 269.30/269.76 o 2766 269.30/269.76 c fallback to adder encoding 271.31/271.74 o 2733 271.31/271.74 c fallback to adder encoding 275.09/275.53 o 2685 275.09/275.53 c fallback to adder encoding 277.88/278.33 o 2684 277.88/278.33 c fallback to adder encoding 281.67/282.19 o 2665 281.67/282.19 c fallback to adder encoding 284.17/284.67 o 2659 284.17/284.67 c fallback to adder encoding 287.87/288.36 o 2657 287.87/288.36 c fallback to adder encoding 290.47/290.99 o 2654 290.47/290.99 c fallback to adder encoding 294.07/294.54 o 2653 294.07/294.54 c fallback to adder encoding 299.87/300.37 o 2646 299.87/300.37 c fallback to adder encoding 301.96/302.41 o 2643 301.96/302.41 c fallback to adder encoding 305.65/306.19 o 2629 305.65/306.19 c fallback to adder encoding 310.43/310.95 o 2628 310.43/310.95 c fallback to adder encoding 313.42/313.92 o 2627 313.42/313.92 c fallback to adder encoding 319.01/319.57 o 2228 319.01/319.57 c fallback to adder encoding 322.81/323.34 o 2226 322.81/323.34 c fallback to adder encoding 325.58/326.19 o 2198 325.58/326.19 c fallback to adder encoding 328.57/329.12 o 2185 328.57/329.12 c fallback to adder encoding 334.67/335.27 o 2184 334.67/335.27 c fallback to adder encoding 337.28/337.84 o 2179 337.28/337.84 c fallback to adder encoding 341.55/342.11 o 2178 341.55/342.11 c fallback to adder encoding 345.53/346.10 o 2177 345.53/346.10 c fallback to adder encoding 348.17/348.78 o 2175 348.17/348.78 c fallback to adder encoding 351.66/352.29 o 2174 351.66/352.29 c fallback to adder encoding 354.66/355.26 o 2173 354.66/355.26 c fallback to adder encoding 356.74/357.39 o 2167 356.74/357.39 c fallback to adder encoding 359.42/360.09 o 2166 359.42/360.09 c fallback to adder encoding 362.70/363.31 o 2157 362.70/363.31 c fallback to adder encoding 364.71/365.33 o 2153 364.71/365.33 c fallback to adder encoding 369.12/369.79 o 2150 369.12/369.79 c fallback to adder encoding 371.01/371.69 o 2149 371.01/371.69 c fallback to adder encoding 374.80/375.46 o 2133 374.80/375.46 c fallback to adder encoding 377.09/377.75 o 2128 377.09/377.75 c fallback to adder encoding 380.88/381.54 o 2127 380.88/381.54 c fallback to adder encoding 383.78/384.48 o 2105 383.78/384.48 c fallback to adder encoding 387.85/388.50 o 2104 387.85/388.50 c fallback to adder encoding 389.97/390.67 o 2100 389.97/390.67 c fallback to adder encoding 391.96/392.68 o 2096 391.96/392.68 c fallback to adder encoding 394.38/395.04 o 2095 394.38/395.04 c fallback to adder encoding 395.58/396.24 o 2094 395.58/396.24 c fallback to adder encoding 398.37/399.00 o 2092 398.37/399.00 c fallback to adder encoding 399.55/400.25 o 2084 399.55/400.25 c fallback to adder encoding 402.56/403.23 o 2083 402.56/403.23 c fallback to adder encoding 409.41/410.15 o 2082 409.41/410.15 c fallback to adder encoding 412.39/413.16 o 2081 412.39/413.16 c fallback to adder encoding 418.77/419.58 o 2080 418.77/419.58 c fallback to adder encoding 421.98/422.78 o 2056 421.98/422.78 c fallback to adder encoding 426.47/427.22 o 2055 426.47/427.22 c fallback to adder encoding 428.67/429.46 o 2048 428.67/429.46 c fallback to adder encoding 431.85/432.69 o 2046 431.85/432.69 c fallback to adder encoding 433.54/434.37 o 2040 433.54/434.37 c fallback to adder encoding 435.81/436.69 o 2039 435.81/436.69 c fallback to adder encoding 435.89/437.59 o 2037 435.89/437.59 c fallback to adder encoding 439.61/440.53 o 2032 439.61/440.53 c fallback to adder encoding 441.62/442.55 o 2029 441.62/442.55 c fallback to adder encoding 444.01/444.95 o 2023 444.01/444.95 c fallback to adder encoding 446.75/447.73 o 2021 446.75/447.73 c fallback to adder encoding 449.31/450.36 o 2015 449.31/450.36 c fallback to adder encoding 452.99/454.01 o 2014 452.99/454.01 c fallback to adder encoding 456.11/457.10 o 2006 456.11/457.10 c fallback to adder encoding 458.19/459.25 o 1984 458.19/459.25 c fallback to adder encoding 459.97/461.00 o 1967 459.97/461.00 c fallback to adder encoding 464.20/465.27 o 1964 464.20/465.27 c fallback to adder encoding 467.57/468.62 o 1455 467.57/468.62 c fallback to adder encoding 470.78/471.85 o 1454 470.78/471.85 c fallback to adder encoding 473.67/474.74 o 1441 473.67/474.74 c fallback to adder encoding 477.06/478.14 o 1436 477.06/478.14 c fallback to adder encoding 479.29/480.30 o 1432 479.29/480.30 c fallback to adder encoding 482.27/483.37 o 1430 482.27/483.37 c fallback to adder encoding 484.63/485.78 o 1417 484.63/485.78 c fallback to adder encoding 488.54/489.71 o 1416 488.54/489.71 c fallback to adder encoding 490.54/491.77 o 1415 490.54/491.77 c fallback to adder encoding 493.14/494.34 o 1409 493.14/494.34 c fallback to adder encoding 495.50/496.71 o 1408 495.50/496.71 c fallback to adder encoding 498.37/499.61 o 1402 498.37/499.61 c fallback to adder encoding 500.87/502.11 o 1396 500.87/502.11 c fallback to adder encoding 504.61/505.80 o 1394 504.61/505.80 c fallback to adder encoding 507.36/508.61 o 1378 507.36/508.61 c fallback to adder encoding 508.88/510.12 o 1377 508.88/510.12 c fallback to adder encoding 511.58/512.82 o 1352 511.58/512.82 c fallback to adder encoding 513.48/514.74 o 1348 513.48/514.74 c fallback to adder encoding 516.97/518.23 o 1344 516.97/518.23 c fallback to adder encoding 520.75/522.09 o 1343 520.75/522.09 c fallback to adder encoding 523.66/524.96 o 1341 523.66/524.96 c fallback to adder encoding 526.14/527.42 o 1318 526.14/527.42 c fallback to adder encoding 529.56/530.87 o 1316 529.56/530.87 c fallback to adder encoding 532.72/534.00 o 1315 532.72/534.00 c fallback to adder encoding 534.54/535.86 o 1312 534.54/535.86 c fallback to adder encoding 537.04/538.33 o 1311 537.04/538.33 c fallback to adder encoding 539.70/541.07 o 1308 539.70/541.07 c fallback to adder encoding 543.18/544.52 o 1306 543.18/544.52 c fallback to adder encoding 545.49/546.89 o 1297 545.49/546.89 c fallback to adder encoding 550.26/551.61 o 1296 550.26/551.61 c fallback to adder encoding 552.07/553.43 o 1295 552.07/553.43 c fallback to adder encoding 553.67/555.09 o 1289 553.67/555.09 c fallback to adder encoding 555.97/557.46 o 1286 555.97/557.46 c fallback to adder encoding 559.25/560.71 o 1285 559.25/560.71 c fallback to adder encoding 561.33/562.81 o 1284 561.33/562.81 c fallback to adder encoding 563.97/565.49 o 1282 563.97/565.49 c fallback to adder encoding 567.95/569.46 o 1280 567.95/569.46 c fallback to adder encoding 569.94/571.45 o 1261 569.94/571.45 c fallback to adder encoding 572.64/574.19 o 1250 572.64/574.19 c fallback to adder encoding 575.25/576.74 o 1249 575.25/576.74 c fallback to adder encoding 578.15/579.63 o 1233 578.15/579.63 c fallback to adder encoding 581.01/582.52 o 1227 581.01/582.52 c fallback to adder encoding 585.02/586.52 o 1225 585.02/586.52 c fallback to adder encoding 588.31/589.89 o 1219 588.31/589.89 c fallback to adder encoding 590.51/592.02 o 1216 590.51/592.02 c fallback to adder encoding 594.11/595.66 o 1215 594.11/595.66 c fallback to adder encoding 595.90/597.46 o 1203 595.90/597.46 c fallback to adder encoding 598.89/600.42 o 1202 598.89/600.42 c fallback to adder encoding 601.10/602.65 o 1199 601.10/602.65 c fallback to adder encoding 603.77/605.35 o 1186 603.77/605.35 c fallback to adder encoding 605.28/606.89 o 1184 605.28/606.89 c fallback to adder encoding 607.78/609.32 o 1182 607.78/609.32 c fallback to adder encoding 609.65/611.21 o 1180 609.65/611.21 c fallback to adder encoding 612.47/614.07 o 1172 612.47/614.07 c fallback to adder encoding 614.97/616.53 o 1162 614.97/616.53 c fallback to adder encoding 617.66/619.27 o 1161 617.66/619.27 c fallback to adder encoding 621.21/622.82 o 1158 621.21/622.82 c fallback to adder encoding 623.91/625.52 o 1157 623.91/625.52 c fallback to adder encoding 628.01/629.68 o 1156 628.01/629.68 c fallback to adder encoding 630.71/632.38 o 1145 630.71/632.38 c fallback to adder encoding 632.47/634.11 o 1140 632.47/634.11 c fallback to adder encoding 634.71/636.39 o 1139 634.71/636.39 c fallback to adder encoding 636.91/638.58 o 1136 636.91/638.58 c fallback to adder encoding 639.01/640.66 o 1115 639.01/640.66 c fallback to adder encoding 641.48/643.18 o 1113 641.48/643.18 c fallback to adder encoding 643.75/645.41 o 1107 643.75/645.41 c fallback to adder encoding 645.36/647.01 o 1104 645.36/647.01 c fallback to adder encoding 648.06/649.75 o 1103 648.06/649.75 c fallback to adder encoding 651.78/653.46 o 1102 651.78/653.46 c fallback to adder encoding 655.76/657.45 o 1101 655.76/657.45 c fallback to adder encoding 658.15/659.88 o 1099 658.15/659.88 c fallback to adder encoding 661.42/663.10 o 1098 661.42/663.10 c fallback to adder encoding 664.04/665.75 o 1091 664.04/665.75 c fallback to adder encoding 669.54/671.25 o 1088 669.54/671.25 c fallback to adder encoding 671.71/673.40 o 1085 671.71/673.40 c fallback to adder encoding 674.03/675.74 o 1082 674.03/675.74 c fallback to adder encoding 678.40/680.11 o 1081 678.40/680.11 c fallback to adder encoding 680.21/681.93 o 1075 680.21/681.93 c fallback to adder encoding 685.08/686.82 o 1066 685.08/686.82 c fallback to adder encoding 687.77/689.51 o 1065 687.77/689.51 c fallback to adder encoding 689.29/691.04 o 1064 689.29/691.04 c fallback to adder encoding 689.40/693.14 o 1058 689.40/693.14 c fallback to adder encoding 693.96/695.77 o 1052 693.96/695.77 c fallback to adder encoding 696.37/698.14 o 1048 696.37/698.14 c fallback to adder encoding 697.66/699.46 o 1047 697.66/699.46 c fallback to adder encoding 699.02/700.81 o 1046 699.02/700.81 c fallback to adder encoding 701.30/703.20 o 1041 701.30/703.20 c fallback to adder encoding 703.40/705.29 o 1036 703.40/705.29 c fallback to adder encoding 705.89/707.72 o 1032 705.89/707.72 c fallback to adder encoding 707.78/709.61 o 1025 707.78/709.61 c fallback to adder encoding 711.29/713.15 o 1006 711.29/713.15 c fallback to adder encoding 712.99/714.85 o 1000 712.99/714.85 c fallback to adder encoding 716.40/718.26 o 998 716.40/718.26 c fallback to adder encoding 718.61/720.41 o 992 718.61/720.41 c fallback to adder encoding 721.90/723.76 o 991 721.90/723.76 c fallback to adder encoding 724.21/726.04 o 990 724.21/726.04 c fallback to adder encoding 726.78/728.63 o 989 726.78/728.63 c fallback to adder encoding 728.76/730.62 o 985 728.76/730.62 c fallback to adder encoding 732.07/733.93 o 980 732.07/733.93 c fallback to adder encoding 733.06/734.92 o 978 733.06/734.92 c fallback to adder encoding 734.87/736.77 o 958 734.87/736.77 c fallback to adder encoding 736.46/738.32 o 951 736.46/738.32 c fallback to adder encoding 738.07/739.99 o 943 738.07/739.99 c fallback to adder encoding 739.87/741.73 o 940 739.87/741.73 c fallback to adder encoding 741.78/743.64 o 938 741.78/743.64 c fallback to adder encoding 743.36/745.28 o 937 743.36/745.28 c fallback to adder encoding 746.76/748.67 o 930 746.76/748.67 c fallback to adder encoding 748.75/750.64 o 907 748.75/750.64 c fallback to adder encoding 750.35/752.23 o 897 750.35/752.23 c fallback to adder encoding 751.56/753.49 o 892 751.56/753.49 c fallback to adder encoding 754.06/755.96 o 879 754.06/755.96 c fallback to adder encoding 755.26/757.13 o 874 755.26/757.13 c fallback to adder encoding 757.95/759.84 o 871 757.95/759.84 c fallback to adder encoding 759.94/761.88 o 865 759.94/761.88 c fallback to adder encoding 761.05/762.91 o 862 761.05/762.91 c fallback to adder encoding 762.54/764.47 o 860 762.54/764.47 c fallback to adder encoding 764.24/766.17 o 859 764.24/766.17 c fallback to adder encoding 767.33/769.30 o 847 767.33/769.30 c fallback to adder encoding 768.55/770.44 o 845 768.55/770.44 c fallback to adder encoding 769.65/771.54 o 838 769.65/771.54 c fallback to adder encoding 771.94/773.87 o 837 771.94/773.87 c fallback to adder encoding 772.83/774.71 o 829 772.83/774.71 c fallback to adder encoding 773.26/775.12 o 824 773.26/775.12 c fallback to adder encoding 775.45/777.37 o 823 775.45/777.37 c fallback to adder encoding 776.63/778.56 o 818 776.63/778.56 c fallback to adder encoding 777.72/779.66 o 798 777.72/779.66 c fallback to adder encoding 779.31/781.21 o 797 779.31/781.21 c fallback to adder encoding 780.61/782.53 o 792 780.61/782.53 c fallback to adder encoding 781.60/783.55 o 789 781.60/783.55 c fallback to adder encoding 784.11/786.00 o 786 784.11/786.00 c fallback to adder encoding 785.98/787.92 o 785 785.98/787.92 c fallback to adder encoding 786.98/788.94 o 781 786.98/788.94 c fallback to adder encoding 788.77/790.78 o 776 788.77/790.78 c fallback to adder encoding 790.27/792.25 o 773 790.27/792.25 c fallback to adder encoding 791.98/793.90 o 772 791.98/793.90 c fallback to adder encoding 793.38/795.39 o 769 793.38/795.39 c fallback to adder encoding 794.58/796.53 o 768 794.58/796.53 c fallback to adder encoding 795.96/797.91 o 763 795.96/797.91 c fallback to adder encoding 796.88/798.87 o 754 796.88/798.87 c fallback to adder encoding 797.77/799.79 o 749 797.77/799.79 c fallback to adder encoding 799.36/801.37 o 734 799.36/801.37 c fallback to adder encoding 800.67/802.65 o 712 800.67/802.65 c fallback to adder encoding 801.93/803.90 o 698 801.93/803.90 c fallback to adder encoding 803.03/805.09 o 694 803.03/805.09 c fallback to adder encoding 804.63/806.66 o 692 804.63/806.66 c fallback to adder encoding 805.52/807.56 o 688 805.52/807.56 c fallback to adder encoding 806.83/808.83 o 686 806.83/808.83 c fallback to adder encoding 808.28/810.30 o 685 808.28/810.30 c fallback to adder encoding 809.10/811.12 o 684 809.10/811.12 c fallback to adder encoding 809.60/811.62 o 509 809.60/811.62 c fallback to adder encoding 809.91/811.98 o 505 809.91/811.98 c fallback to adder encoding 810.02/812.56 o 504 810.02/812.56 c fallback to adder encoding 810.61/812.75 o 501 810.61/812.75 c fallback to adder encoding 811.11/813.12 o 396 811.11/813.12 c fallback to adder encoding 811.98/814.00 o 394 811.98/814.00 c fallback to adder encoding 812.00/814.35 o 389 812.00/814.35 c fallback to adder encoding 812.35/814.66 o 385 812.35/814.66 c fallback to adder encoding 812.65/814.93 o 384 812.65/814.93 c fallback to adder encoding 813.05/815.18 o 345 813.05/815.18 c fallback to adder encoding 813.18/815.37 o 335 813.18/815.37 c fallback to adder encoding 813.37/815.64 o 326 813.37/815.64 c fallback to adder encoding 813.63/815.77 o 325 813.63/815.77 c fallback to adder encoding 813.76/815.98 o 294 815.77/817.93 o 272 816.66/818.82 o 225 817.02/819.14 o 224 817.35/819.43 o 189 817.41/819.56 o 188 817.67/819.70 o 178 817.73/819.82 o 177 817.86/819.95 o 172 817.93/820.01 c display solution 817.93/820.01 s OPTIMUM FOUND 817.93/820.01 v x1 -x2 x3 -x4 -x5 x6 x7 -x8 -x9 x10 -x11 x12 -x13 x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 -x23 x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 -x33 x34 x35 -x36 -x37 x38 -x39 x40 x41 -x42 -x43 x44 x45 -x46 -x47 x48 x49 -x50 -x51 x52 -x53 x54 -x55 x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 -x67 x68 -x69 x70 -x71 x72 x73 -x74 -x75 x76 -x77 x78 x79 -x80 -x81 x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 -x93 x94 -x95 x96 x97 -x98 x99 -x100 -x101 x102 -x103 x104 -x105 x106 -x107 x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 -x117 x118 -x119 x120 x121 -x122 x123 -x124 -x125 x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 -x135 x136 -x137 x138 -x139 x140 -x141 x142 x143 -x144 -x145 x146 -x147 x148 x149 -x150 x151 -x152 x153 -x154 -x155 x156 x157 -x158 -x159 x160 x161 -x162 -x163 x164 x165 -x166 x167 -x168 -x169 x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 -x179 x180 x181 -x182 -x183 x184 -x185 x186 -x187 x188 -x189 x190 x191 -x192 -x193 x194 -x195 x196 x197 -x198 -x199 x200
OK 172
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-3715117-1338225587/watcher-3715117-1338225587 -o /tmp/evaluation-result-3715117-1338225587/solver-3715117-1338225587 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715117-1338225587.wbo 63021410 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.03 2.01 2.00 3/179 17658 /proc/meminfo: memFree=31228284/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [startup+0.00922795 s] /proc/loadavg: 2.03 2.01 2.00 3/179 17658 /proc/meminfo: memFree=31228284/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100212 s] /proc/loadavg: 2.03 2.01 2.00 3/179 17658 /proc/meminfo: memFree=31228284/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300233 s] /proc/loadavg: 2.03 2.01 2.00 3/179 17658 /proc/meminfo: memFree=31228284/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.70021 s] /proc/loadavg: 2.03 2.01 2.00 3/179 17658 /proc/meminfo: memFree=31228284/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50039 s] /proc/loadavg: 2.03 2.01 2.00 3/183 17672 /proc/meminfo: memFree=31202360/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=7212 CPUtime=0.11 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 2999 5612 0 0 7 1 2 1 20 0 1 0 288685488 7385088 1418 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17659/statm: 1803 1418 165 439 0 1360 0 [pid=17671] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17671/stat : 17671 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288685500 9367552 267 33554432000 4194304 5064252 140736154321168 140736154320080 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/17671/statm: 2287 267 226 213 0 72 0 [pid=17672] ppid=17671 vsize=16764 CPUtime=1.36 cores=1,3,5,7 /proc/17672/stat : 17672 (glucose) R 17671 17658 29981 0 -1 4202496 3576 0 0 0 136 0 0 0 20 0 1 0 288685500 17166336 3559 33554432000 4194304 5208918 140733417811872 140733417809720 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17672/statm: 4191 3559 105 248 0 3940 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 42272 [startup+3.10029 s] /proc/loadavg: 2.03 2.01 2.00 3/183 17679 /proc/meminfo: memFree=31205276/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11304 CPUtime=2.22 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 4686 12408 0 0 13 2 204 3 20 0 1 0 288685488 11575296 2378 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17659/statm: 2826 2378 165 439 0 2383 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 20452 heavy processes: [startup+6.3004 s] /proc/loadavg: 2.03 2.01 2.00 3/183 17693 /proc/meminfo: memFree=31200984/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11304 CPUtime=4.71 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 6374 20418 0 0 19 3 443 6 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17659/statm: 2826 2379 166 439 0 2383 0 [pid=17692] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17692/stat : 17692 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288685962 9367552 267 33554432000 4194304 5064252 140735233880240 140735233879152 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/17692/statm: 2287 267 226 213 0 72 0 [pid=17693] ppid=17692 vsize=16700 CPUtime=1.54 cores=1,3,5,7 /proc/17693/stat : 17693 (glucose) R 17692 17658 29981 0 -1 4202496 3584 0 0 0 154 0 0 0 20 0 1 0 288685962 17100800 3562 33554432000 4194304 5208918 140735823648784 140735823646744 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17693/statm: 4175 3562 105 248 0 3924 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 46300 [startup+12.7004 s] /proc/loadavg: 2.03 2.01 2.00 3/183 17714 /proc/meminfo: memFree=31192732/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11304 CPUtime=9.97 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 9748 36024 0 0 31 4 949 13 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17659/statm: 2826 2379 166 439 0 2383 0 [pid=17713] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17713/stat : 17713 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288686487 9367552 266 33554432000 4194304 5064252 140736572406592 140736572405504 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/17713/statm: 2287 266 226 213 0 72 0 [pid=17714] ppid=17713 vsize=16928 CPUtime=2.68 cores=1,3,5,7 /proc/17714/stat : 17714 (glucose) R 17713 17658 29981 0 -1 4202496 4891 0 0 0 267 1 0 0 20 0 1 0 288686488 17334272 3674 33554432000 4194304 5208918 140735067353824 140735067351784 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17714/statm: 4232 3674 105 248 0 3981 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 46528 [startup+25.5004 s] /proc/loadavg: 2.02 2.01 2.00 3/184 17752 /proc/meminfo: memFree=31201644/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11304 CPUtime=24.41 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 14809 59098 0 0 49 7 2359 26 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17659/statm: 2826 2379 166 439 0 2383 0 [pid=17751] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17751/stat : 17751 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288687933 9367552 267 33554432000 4194304 5064252 140737246370496 140737246369408 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/17751/statm: 2287 267 226 213 0 72 0 [pid=17752] ppid=17751 vsize=16540 CPUtime=1.03 cores=1,3,5,7 /proc/17752/stat : 17752 (glucose) R 17751 17658 29981 0 -1 4202496 4242 0 0 0 102 1 0 0 20 0 1 0 288687934 16936960 3479 33554432000 4194304 5208918 140734612773616 140734612771288 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17752/statm: 4135 3479 104 248 0 3884 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 46140 [startup+51.1004 s] /proc/loadavg: 2.01 2.01 2.00 3/184 17808 /proc/meminfo: memFree=31193164/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11304 CPUtime=48.49 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 24931 106508 0 0 85 12 4705 47 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17659/statm: 2826 2379 166 439 0 2383 0 [pid=17807] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17807/stat : 17807 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288690342 9367552 267 33554432000 4194304 5064252 140735020602400 140735020601312 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/17807/statm: 2287 267 226 213 0 72 0 [pid=17808] ppid=17807 vsize=16828 CPUtime=2.54 cores=1,3,5,7 /proc/17808/stat : 17808 (glucose) R 17807 17658 29981 0 -1 4202496 3746 0 0 0 254 0 0 0 20 0 1 0 288690342 17231872 3728 33554432000 4194304 5208918 140733668508384 140733668506056 4229354 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17808/statm: 4207 3728 105 248 0 3956 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 46428 [startup+102.307 s] /proc/loadavg: 2.07 2.02 2.00 3/183 17997 /proc/meminfo: memFree=31201372/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11304 CPUtime=101.79 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 53610 236440 0 0 187 26 9859 107 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17659/statm: 2826 2379 166 439 0 2383 0 [pid=17996] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17996/stat : 17996 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288695675 9367552 267 33554432000 4194304 5064252 140736247214032 140736247212944 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/17996/statm: 2287 267 226 213 0 72 0 [pid=17997] ppid=17996 vsize=14428 CPUtime=0.41 cores=1,3,5,7 /proc/17997/stat : 17997 (glucose) R 17996 17658 29981 0 -1 4202496 3879 0 0 0 41 0 0 0 20 0 1 0 288695675 14774272 3255 33554432000 4194304 5208918 140737161542288 140736247212968 4211162 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17997/statm: 3607 3255 104 248 0 3356 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 44028 [startup+162.3 s] /proc/loadavg: 2.02 2.01 2.00 3/183 18194 /proc/meminfo: memFree=31189548/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11304 CPUtime=161.85 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 89037 397036 0 0 312 45 15648 180 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17659/statm: 2826 2379 166 439 0 2383 0 Current children cumulated CPU time (s) 161.85 Current children cumulated vsize (KiB) 20452 [startup+222.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 18418 /proc/meminfo: memFree=31187636/32873648 swapFree=6852/6852 ################ # More data... # ################ /proc/meminfo: memFree=31228780/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11176 CPUtime=760.09 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 430244 1945833 0 0 1482 214 73443 870 20 0 1 0 288685488 11444224 2192 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0 /proc/17659/statm: 2794 2192 166 439 0 2351 0 [pid=20858] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20858/stat : 20858 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288761681 9367552 267 33554432000 4194304 5064252 140735563081904 140735563080816 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/20858/statm: 2287 267 226 213 0 72 0 [pid=20859] ppid=20858 vsize=12432 CPUtime=0.36 cores=1,3,5,7 /proc/20859/stat : 20859 (glucose) R 20858 17658 29981 0 -1 4202496 3048 0 0 0 36 0 0 0 20 0 1 0 288761681 12730368 2574 33554432000 4194304 5208918 140736526004128 140735563080840 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/20859/statm: 3108 2574 104 248 0 2857 0 Current children cumulated CPU time (s) 760.45 Current children cumulated vsize (KiB) 41904 Solver just ended. Dumping a history of the last processes samples [startup+767.9 s] /proc/loadavg: 1.99 2.00 2.00 3/183 20908 /proc/meminfo: memFree=31214632/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11176 CPUtime=764.37 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 434747 1965293 0 0 1495 216 73849 877 20 0 1 0 288685488 11444224 2192 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0 /proc/17659/statm: 2794 2192 166 439 0 2351 0 [pid=20900] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20900/stat : 20900 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288762110 9367552 265 33554432000 4194304 5064252 140736808969120 140736808968032 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/20900/statm: 2287 265 226 213 0 72 0 [pid=20901] ppid=20900 vsize=14392 CPUtime=1.66 cores=1,3,5,7 /proc/20901/stat : 20901 (glucose) R 20900 17658 29981 0 -1 4202496 2469 0 0 0 166 0 0 0 20 0 1 0 288762110 14737408 2860 33554432000 4194304 5208918 140735822223840 140735822221800 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/20901/statm: 3598 2860 104 248 0 3347 0 Current children cumulated CPU time (s) 766.03 Current children cumulated vsize (KiB) 43864 [startup+793.5 s] /proc/loadavg: 2.00 2.00 2.00 3/184 21168 /proc/meminfo: memFree=31219208/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11128 CPUtime=790.39 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 460264 2070944 0 0 1564 227 76326 922 20 0 1 0 288685488 11395072 2192 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0 /proc/17659/statm: 2782 2192 166 439 0 2339 0 [pid=21167] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21167/stat : 21167 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288764717 9367552 267 33554432000 4194304 5064252 140734224828992 140734224827904 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/21167/statm: 2287 267 226 213 0 72 0 [pid=21168] ppid=21167 vsize=11632 CPUtime=1.19 cores=1,3,5,7 /proc/21168/stat : 21168 (glucose) R 21167 17658 29981 0 -1 4202496 2876 0 0 0 119 0 0 0 20 0 1 0 288764718 11911168 2602 33554432000 4194304 5208918 140737040623216 140737040621176 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/21168/statm: 2908 2602 104 248 0 2657 0 Current children cumulated CPU time (s) 791.58 Current children cumulated vsize (KiB) 41056 [startup+806.307 s] /proc/loadavg: 2.00 2.00 2.00 3/184 21315 /proc/meminfo: memFree=31225724/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11092 CPUtime=803.18 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 475274 2130385 0 0 1602 233 77536 947 20 0 1 0 288685488 11358208 2192 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0 /proc/17659/statm: 2773 2192 166 439 0 2330 0 [pid=21307] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21307/stat : 21307 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288766001 9367552 267 33554432000 4194304 5064252 140735294834320 140735294833232 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/21307/statm: 2287 267 226 213 0 72 0 [pid=21308] ppid=21307 vsize=11120 CPUtime=1.15 cores=1,3,5,7 /proc/21308/stat : 21308 (glucose) R 21307 17658 29981 0 -1 4202496 2944 0 0 0 115 0 0 0 20 0 1 0 288766001 11386880 2427 33554432000 4194304 5208918 140735870571392 140735870569544 4205227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/21308/statm: 2780 2427 104 248 0 2529 0 Current children cumulated CPU time (s) 804.33 Current children cumulated vsize (KiB) 40508 [startup+812.7 s] /proc/loadavg: 2.00 2.00 2.00 3/184 21388 /proc/meminfo: memFree=31231868/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=6864 CPUtime=810.61 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 485754 2176267 0 0 1626 237 78234 964 20 0 1 0 288685488 7028736 1176 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0 /proc/17659/statm: 1716 1176 166 439 0 1273 0 Current children cumulated CPU time (s) 810.61 Current children cumulated vsize (KiB) 16012 [startup+815.9 s] /proc/loadavg: 1.92 1.98 1.99 3/184 21490 /proc/meminfo: memFree=31231384/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=6864 CPUtime=813.76 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 493065 2224978 0 0 1642 239 78516 979 20 0 1 0 288685488 7028736 1179 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0 /proc/17659/statm: 1716 1179 166 439 0 1273 0 Current children cumulated CPU time (s) 813.76 Current children cumulated vsize (KiB) 16012 [startup+817.5 s] /proc/loadavg: 1.92 1.98 1.99 3/184 21560 /proc/meminfo: memFree=31211044/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=11076 CPUtime=814 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 494565 2229960 0 0 1646 240 78534 980 20 0 1 0 288685488 11341824 2192 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0 /proc/17659/statm: 2769 2192 166 439 0 2326 0 [pid=21545] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21545/stat : 21545 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288767090 9367552 267 33554432000 4194304 5064252 140736935188016 140736935186928 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/21545/statm: 2287 267 226 213 0 72 0 [pid=21546] ppid=21545 vsize=27236 CPUtime=1.46 cores=1,3,5,7 /proc/21546/stat : 21546 (glucose) R 21545 17658 29981 0 -1 4202496 5854 0 0 0 145 1 0 0 20 0 1 0 288767091 27889664 6194 33554432000 4194304 5208918 140735455242368 140735455240216 4228947 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/21546/statm: 6809 6194 95 248 0 6558 0 Current children cumulated CPU time (s) 815.46 Current children cumulated vsize (KiB) 56608 [startup+819.1 s] /proc/loadavg: 1.93 1.98 1.99 3/184 21581 /proc/meminfo: memFree=31211112/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=6816 CPUtime=817.02 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 497088 2252130 0 0 1651 241 78813 997 20 0 1 0 288685488 6979584 1194 33554432000 4194304 5990268 140734527505376 140734527496288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0 /proc/17659/statm: 1704 1194 166 439 0 1261 0 Current children cumulated CPU time (s) 817.02 Current children cumulated vsize (KiB) 15964 [startup+819.507 s] /proc/loadavg: 1.93 1.98 1.99 3/184 21612 /proc/meminfo: memFree=31230812/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=6816 CPUtime=817.41 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 498708 2261848 0 0 1654 242 78840 1005 20 0 1 0 288685488 6979584 1194 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0 /proc/17659/statm: 1704 1194 166 439 0 1261 0 Current children cumulated CPU time (s) 817.41 Current children cumulated vsize (KiB) 15964 [startup+819.9 s] /proc/loadavg: 1.93 1.98 1.99 3/184 21612 /proc/meminfo: memFree=31230812/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=6816 CPUtime=817.86 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 500517 2282284 0 0 1658 242 78870 1016 20 0 1 0 288685488 6979584 1194 33554432000 4194304 5990268 140734527505376 140734527496288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0 /proc/17659/statm: 1704 1194 166 439 0 1261 0 Current children cumulated CPU time (s) 817.86 Current children cumulated vsize (KiB) 15964 [startup+820 s] /proc/loadavg: 1.93 1.98 1.99 3/184 21612 /proc/meminfo: memFree=31230812/32873648 swapFree=6852/6852 [pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/17658/statm: 2287 275 233 213 0 72 0 [pid=17659] ppid=17658 vsize=6816 CPUtime=817.93 cores=1,3,5,7 /proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 501087 2285281 0 0 1660 242 78873 1018 20 0 1 0 288685488 6979584 1194 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0 /proc/17659/statm: 1704 1194 166 439 0 1261 0 Current children cumulated CPU time (s) 817.93 Current children cumulated vsize (KiB) 15964 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.88 # lost CPU user time (s): 1.88 # lost CPU system time (s): 0 Real time (s): 820.021 CPU time (s): 819.886 CPU user time (s): 807.259 CPU system time (s): 12.6271 CPU usage (%): 99.9834 Max. virtual memory (cumulated for all children) (KiB): 57228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 805.379 system time used= 12.6271 maximum resident set size= 25200 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2792752 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2239992 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12229 involuntary context switches= 5991 runsolver used 1.85172 second user time and 4.5753 second system time The end
Begin job on node115 at 2012-05-28 19:19:47 IDJOB=3715117 IDBENCH=79406 IDSOLVER=2296 FILE ID=node115/3715117-1338225587 RUNJOBID= node115-1338195070-29998 PBS_JOBID= 14624604 Free space on /tmp= 71632 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh11_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715117-1338225587/watcher-3715117-1338225587 -o /tmp/evaluation-result-3715117-1338225587/solver-3715117-1338225587 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715117-1338225587.wbo 63021410 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 540e5098c207f1245411172896d943a2 RANDOM SEED=63021410 node115.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.462 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.92 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.462 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.462 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.462 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.462 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.92 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.462 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.462 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.462 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: 31228184 kB Buffers: 435208 kB Cached: 314580 kB SwapCached: 972 kB Active: 654436 kB Inactive: 131808 kB Active(anon): 29320 kB Inactive(anon): 9244 kB Active(file): 625116 kB Inactive(file): 122564 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67106424 kB Dirty: 12516 kB Writeback: 0 kB AnonPages: 41612 kB Mapped: 12740 kB Shmem: 96 kB Slab: 721756 kB SReclaimable: 165324 kB SUnreclaim: 556432 kB KernelStack: 1488 kB PageTables: 4232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 153676 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 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= 71628 MiB End job on node115 at 2012-05-28 19:33:27