Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topDown | OPTIMUM | 1642.97 | 1645.18 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh211_wcsp.wbo |
MD5SUM | b50e414b5ae2abd5c7b876bc50645ba2 |
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 | 259 |
Best CPU time to get the best result obtained on this benchmark | 0.016996 |
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 | 900 |
Number of soft constraints | 800 |
Number of constraints which are clauses | 800 |
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 | 394239 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 394238 |
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 6533 0.00/0.05 c fallback to adder encoding 3.06/3.17 o 6528 3.06/3.17 c fallback to adder encoding 6.01/6.16 o 6527 6.01/6.16 c fallback to adder encoding 10.22/10.42 o 6526 10.22/10.42 c fallback to adder encoding 14.01/14.23 o 6519 14.01/14.23 c fallback to adder encoding 18.80/19.00 o 6511 18.80/19.00 c fallback to adder encoding 22.92/23.11 o 6509 22.92/23.11 c fallback to adder encoding 25.12/25.37 o 6503 25.12/25.37 c fallback to adder encoding 30.42/30.69 o 6502 30.42/30.69 c fallback to adder encoding 34.61/34.84 o 6497 34.61/34.84 c fallback to adder encoding 39.22/39.42 o 6485 39.22/39.42 c fallback to adder encoding 45.55/45.80 o 6483 45.55/45.80 c fallback to adder encoding 49.28/49.52 o 6479 49.28/49.52 c fallback to adder encoding 56.27/56.57 o 6475 56.27/56.57 c fallback to adder encoding 60.28/60.54 o 6474 60.28/60.54 c fallback to adder encoding 63.87/64.18 o 6468 63.87/64.18 c fallback to adder encoding 67.87/68.13 o 6467 67.87/68.13 c fallback to adder encoding 73.59/73.85 o 6248 73.59/73.85 c fallback to adder encoding 78.55/78.98 o 6213 78.55/78.98 c fallback to adder encoding 83.49/83.94 o 6208 83.49/83.94 c fallback to adder encoding 88.56/89.07 o 6202 88.56/89.07 c fallback to adder encoding 92.53/93.09 o 6199 92.53/93.09 c fallback to adder encoding 97.63/98.19 o 6190 97.63/98.19 c fallback to adder encoding 101.71/102.22 o 6188 101.71/102.22 c fallback to adder encoding 103.72/104.26 o 6180 103.72/104.26 c fallback to adder encoding 109.34/109.86 o 6176 109.34/109.86 c fallback to adder encoding 114.20/114.70 o 6167 114.20/114.70 c fallback to adder encoding 117.27/117.84 o 6166 117.27/117.84 c fallback to adder encoding 122.52/123.14 o 6165 122.52/123.14 c fallback to adder encoding 124.71/125.34 o 6154 124.71/125.34 c fallback to adder encoding 128.98/129.61 o 4094 128.98/129.61 c fallback to adder encoding 132.55/133.21 o 4092 132.55/133.21 c fallback to adder encoding 135.01/135.72 o 4091 135.01/135.72 c fallback to adder encoding 136.70/137.42 o 4084 136.70/137.42 c fallback to adder encoding 139.49/140.26 o 4070 139.49/140.26 c fallback to adder encoding 143.32/144.07 o 4066 143.32/144.07 c fallback to adder encoding 145.87/146.68 o 4064 145.87/146.68 c fallback to adder encoding 148.37/149.11 o 4063 148.37/149.11 c fallback to adder encoding 151.25/152.06 o 4054 151.25/152.06 c fallback to adder encoding 154.25/155.04 o 4037 154.25/155.04 c fallback to adder encoding 159.83/160.70 o 4034 159.83/160.70 c fallback to adder encoding 163.73/164.56 o 4028 163.73/164.56 c fallback to adder encoding 169.31/170.11 o 4027 169.31/170.11 c fallback to adder encoding 172.53/173.33 o 4025 172.53/173.33 c fallback to adder encoding 174.41/175.21 o 4023 174.41/175.21 c fallback to adder encoding 178.54/179.31 o 4018 178.54/179.31 c fallback to adder encoding 182.05/182.93 o 4017 182.05/182.93 c fallback to adder encoding 186.33/187.24 o 3996 186.33/187.24 c fallback to adder encoding 190.39/191.30 o 3988 190.39/191.30 c fallback to adder encoding 192.63/193.58 o 3986 192.63/193.58 c fallback to adder encoding 196.79/197.87 o 3984 196.79/197.87 c fallback to adder encoding 199.58/200.62 o 3983 199.58/200.62 c fallback to adder encoding 204.08/205.19 o 3978 204.08/205.19 c fallback to adder encoding 207.69/208.77 o 3976 207.69/208.77 c fallback to adder encoding 212.39/213.44 o 3972 212.39/213.44 c fallback to adder encoding 217.37/218.45 o 3971 217.37/218.45 c fallback to adder encoding 221.58/222.63 o 3960 221.58/222.63 c fallback to adder encoding 225.58/226.61 o 3956 225.58/226.61 c fallback to adder encoding 228.48/229.53 o 3955 228.48/229.53 c fallback to adder encoding 231.19/232.24 o 3949 231.19/232.24 c fallback to adder encoding 234.87/235.99 o 3941 234.87/235.99 c fallback to adder encoding 239.36/240.41 o 3935 239.36/240.41 c fallback to adder encoding 240.67/241.74 o 3930 240.67/241.74 c fallback to adder encoding 244.47/245.53 o 3925 244.47/245.53 c fallback to adder encoding 247.16/248.26 o 3909 247.16/248.26 c fallback to adder encoding 249.37/250.46 o 3899 249.37/250.46 c fallback to adder encoding 255.36/256.46 o 3897 255.36/256.46 c fallback to adder encoding 257.75/258.87 o 3896 257.75/258.87 c fallback to adder encoding 261.96/263.08 o 3894 261.96/263.08 c fallback to adder encoding 266.83/267.91 o 3892 266.83/267.91 c fallback to adder encoding 269.94/271.06 o 3880 269.94/271.06 c fallback to adder encoding 274.05/275.14 o 3878 274.05/275.14 c fallback to adder encoding 280.13/281.27 o 3877 280.13/281.27 c fallback to adder encoding 285.22/286.39 o 3873 285.22/286.39 c fallback to adder encoding 290.33/291.45 o 3863 290.33/291.45 c fallback to adder encoding 296.94/298.04 o 3862 296.94/298.04 c fallback to adder encoding 301.31/302.41 o 3853 301.31/302.41 c fallback to adder encoding 306.21/307.48 o 3848 306.21/307.48 c fallback to adder encoding 311.67/312.99 o 3840 311.67/312.99 c fallback to adder encoding 314.34/315.60 o 3838 314.34/315.60 c fallback to adder encoding 317.67/318.97 o 3835 317.67/318.97 c fallback to adder encoding 319.36/320.68 o 3830 319.36/320.68 c fallback to adder encoding 324.13/325.40 o 3821 324.13/325.40 c fallback to adder encoding 328.76/330.07 o 3810 328.76/330.07 c fallback to adder encoding 330.86/332.13 o 3809 330.86/332.13 c fallback to adder encoding 334.86/336.19 o 3808 334.86/336.19 c fallback to adder encoding 337.98/339.24 o 3787 337.98/339.24 c fallback to adder encoding 342.75/344.09 o 3786 342.75/344.09 c fallback to adder encoding 346.36/347.64 o 3785 346.36/347.64 c fallback to adder encoding 350.76/352.06 o 3782 350.76/352.06 c fallback to adder encoding 354.95/356.27 o 3755 354.95/356.27 c fallback to adder encoding 358.73/360.01 o 3739 358.73/360.01 c fallback to adder encoding 364.95/366.27 o 3730 364.95/366.27 c fallback to adder encoding 368.05/369.38 o 3718 368.05/369.38 c fallback to adder encoding 370.84/372.19 o 3480 370.84/372.19 c fallback to adder encoding 373.58/374.90 o 3477 373.58/374.90 c fallback to adder encoding 377.98/379.38 o 3468 377.98/379.38 c fallback to adder encoding 382.47/383.88 o 3460 382.47/383.88 c fallback to adder encoding 387.66/389.02 o 3459 387.66/389.02 c fallback to adder encoding 391.77/393.13 o 3458 391.77/393.13 c fallback to adder encoding 394.47/395.87 o 3456 394.47/395.87 c fallback to adder encoding 396.68/398.06 o 3438 396.68/398.06 c fallback to adder encoding 401.95/403.30 o 3390 401.95/403.30 c fallback to adder encoding 405.66/407.02 o 3378 405.66/407.02 c fallback to adder encoding 407.55/408.98 o 3376 407.55/408.98 c fallback to adder encoding 411.07/412.47 o 3363 411.07/412.47 c fallback to adder encoding 419.37/420.79 o 3362 419.37/420.79 c fallback to adder encoding 425.35/426.72 o 3361 425.35/426.72 c fallback to adder encoding 430.46/431.88 o 3355 430.46/431.88 c fallback to adder encoding 435.06/436.49 o 3347 435.06/436.49 c fallback to adder encoding 441.35/442.73 o 3343 441.35/442.73 c fallback to adder encoding 446.76/448.13 o 3332 446.76/448.13 c fallback to adder encoding 450.35/451.77 o 3328 450.35/451.77 c fallback to adder encoding 454.55/455.92 o 3296 454.55/455.92 c fallback to adder encoding 456.87/458.23 o 3288 456.87/458.23 c fallback to adder encoding 459.94/461.32 o 3284 459.94/461.32 c fallback to adder encoding 463.75/465.19 o 3278 463.75/465.19 c fallback to adder encoding 467.05/468.45 o 3273 467.05/468.45 c fallback to adder encoding 471.03/472.43 o 3272 471.03/472.43 c fallback to adder encoding 476.50/477.90 o 3075 476.50/477.90 c fallback to adder encoding 482.43/483.89 o 3069 482.43/483.89 c fallback to adder encoding 485.50/486.91 o 3063 485.50/486.91 c fallback to adder encoding 488.83/490.25 o 3058 488.83/490.25 c fallback to adder encoding 492.72/494.16 o 3048 492.72/494.16 c fallback to adder encoding 496.52/497.96 o 3047 496.52/497.96 c fallback to adder encoding 498.92/500.38 o 3010 498.92/500.38 c fallback to adder encoding 503.80/505.20 o 3009 503.80/505.20 c fallback to adder encoding 506.72/508.13 o 3001 506.72/508.13 c fallback to adder encoding 509.22/510.65 o 3000 509.22/510.65 c fallback to adder encoding 512.63/514.05 o 2999 512.63/514.05 c fallback to adder encoding 515.61/517.01 o 2994 515.61/517.01 c fallback to adder encoding 519.21/520.67 o 2992 519.21/520.67 c fallback to adder encoding 523.61/525.06 o 2985 523.61/525.06 c fallback to adder encoding 528.41/529.87 o 2983 528.41/529.87 c fallback to adder encoding 530.30/531.76 o 2967 530.30/531.76 c fallback to adder encoding 532.81/534.29 o 2956 532.81/534.29 c fallback to adder encoding 536.82/538.20 o 2954 536.82/538.20 c fallback to adder encoding 540.12/541.57 o 2951 540.12/541.57 c fallback to adder encoding 542.61/544.09 o 2950 542.61/544.09 c fallback to adder encoding 544.91/546.32 o 2947 544.91/546.32 c fallback to adder encoding 546.20/547.61 o 2946 546.20/547.61 c fallback to adder encoding 551.81/553.29 o 2944 551.81/553.29 c fallback to adder encoding 554.60/556.09 o 2929 554.60/556.09 c fallback to adder encoding 557.08/558.52 o 2916 557.08/558.52 c fallback to adder encoding 559.85/561.34 o 2911 559.85/561.34 c fallback to adder encoding 562.66/564.17 o 2889 562.66/564.17 c fallback to adder encoding 565.64/567.12 o 2888 565.64/567.12 c fallback to adder encoding 570.26/571.73 o 2885 570.26/571.73 c fallback to adder encoding 572.86/574.34 o 2884 572.86/574.34 c fallback to adder encoding 577.35/578.85 o 2882 577.35/578.85 c fallback to adder encoding 580.56/582.04 o 2874 580.56/582.04 c fallback to adder encoding 583.08/584.60 o 2860 583.08/584.60 c fallback to adder encoding 585.81/587.40 o 2854 585.81/587.40 c fallback to adder encoding 588.78/590.30 o 2853 588.78/590.30 c fallback to adder encoding 592.90/594.50 o 2850 592.90/594.50 c fallback to adder encoding 598.70/600.28 o 2848 598.70/600.28 c fallback to adder encoding 602.90/604.42 o 2836 602.90/604.42 c fallback to adder encoding 606.40/607.99 o 2834 606.40/607.99 c fallback to adder encoding 608.68/610.21 o 2824 608.68/610.21 c fallback to adder encoding 611.99/613.51 o 2817 611.99/613.51 c fallback to adder encoding 615.89/617.47 o 2816 615.89/617.47 c fallback to adder encoding 618.07/619.61 o 2811 618.07/619.61 c fallback to adder encoding 622.20/623.74 o 2809 622.20/623.74 c fallback to adder encoding 626.89/628.48 o 2805 626.89/628.48 c fallback to adder encoding 630.48/632.02 o 2800 630.48/632.02 c fallback to adder encoding 632.09/633.69 o 2788 632.09/633.69 c fallback to adder encoding 634.46/636.01 o 2787 634.46/636.01 c fallback to adder encoding 637.87/639.41 o 2786 637.87/639.41 c fallback to adder encoding 643.38/644.97 o 2785 643.38/644.97 c fallback to adder encoding 648.16/649.72 o 2730 648.16/649.72 c fallback to adder encoding 652.46/654.09 o 2710 652.46/654.09 c fallback to adder encoding 656.55/658.16 o 2708 656.55/658.16 c fallback to adder encoding 658.87/660.44 o 2707 658.87/660.44 c fallback to adder encoding 662.27/663.86 o 2706 662.27/663.86 c fallback to adder encoding 666.75/668.36 o 2703 666.75/668.36 c fallback to adder encoding 669.54/671.11 o 2692 669.54/671.11 c fallback to adder encoding 674.65/676.25 o 2691 674.65/676.25 c fallback to adder encoding 677.15/678.72 o 2683 677.15/678.72 c fallback to adder encoding 681.35/682.96 o 2679 681.35/682.96 c fallback to adder encoding 685.25/686.83 o 2678 685.25/686.83 c fallback to adder encoding 689.39/691.01 o 2657 689.39/691.01 c fallback to adder encoding 693.80/695.49 o 2646 693.80/695.49 c fallback to adder encoding 696.68/698.32 o 2644 696.68/698.32 c fallback to adder encoding 700.39/702.07 o 2635 700.39/702.07 c fallback to adder encoding 704.11/705.70 o 2628 704.11/705.70 c fallback to adder encoding 708.30/709.90 o 2604 708.30/709.90 c fallback to adder encoding 711.68/713.36 o 2599 711.68/713.36 c fallback to adder encoding 717.00/718.65 o 2597 717.00/718.65 c fallback to adder encoding 724.66/726.30 o 2594 724.66/726.30 c fallback to adder encoding 730.69/732.33 o 2592 730.69/732.33 c fallback to adder encoding 735.21/736.80 o 2578 735.21/736.80 c fallback to adder encoding 740.20/741.87 o 2573 740.20/741.87 c fallback to adder encoding 743.68/745.36 o 2569 743.68/745.36 c fallback to adder encoding 747.60/749.26 o 2563 747.60/749.26 c fallback to adder encoding 751.80/753.45 o 2560 751.80/753.45 c fallback to adder encoding 754.69/756.34 o 2552 754.69/756.34 c fallback to adder encoding 758.88/760.56 o 2546 758.88/760.56 c fallback to adder encoding 763.08/764.74 o 2533 763.08/764.74 c fallback to adder encoding 765.59/767.24 o 2525 765.59/767.24 c fallback to adder encoding 767.76/769.42 o 2523 767.76/769.42 c fallback to adder encoding 771.07/772.75 o 2506 771.07/772.75 c fallback to adder encoding 774.47/776.19 o 2503 774.47/776.19 c fallback to adder encoding 777.73/779.40 o 2496 777.73/779.40 c fallback to adder encoding 780.98/782.60 o 2486 780.98/782.60 c fallback to adder encoding 782.35/784.07 o 2455 782.35/784.07 c fallback to adder encoding 786.24/787.93 o 2453 786.24/787.93 c fallback to adder encoding 789.55/791.26 o 2450 789.55/791.26 c fallback to adder encoding 792.43/794.20 o 2436 792.43/794.20 c fallback to adder encoding 797.73/799.48 o 2432 797.73/799.48 c fallback to adder encoding 801.44/803.17 o 2431 801.44/803.17 c fallback to adder encoding 803.95/805.64 o 2429 803.95/805.64 c fallback to adder encoding 807.03/808.76 o 2427 807.03/808.76 c fallback to adder encoding 810.84/812.56 o 2425 810.84/812.56 c fallback to adder encoding 816.54/818.29 o 2420 816.54/818.29 c fallback to adder encoding 819.43/821.15 o 2419 819.43/821.15 c fallback to adder encoding 819.54/824.39 o 2417 819.54/824.39 c fallback to adder encoding 822.79/828.25 o 2409 822.79/828.25 c fallback to adder encoding 826.66/831.07 o 2407 826.66/831.07 c fallback to adder encoding 829.50/833.45 o 2406 829.50/833.45 c fallback to adder encoding 836.67/838.37 o 2405 836.67/838.37 c fallback to adder encoding 836.82/841.65 o 2394 836.82/841.65 c fallback to adder encoding 840.11/847.59 o 2393 840.11/847.59 c fallback to adder encoding 848.08/849.75 o 2388 848.08/849.75 c fallback to adder encoding 848.20/852.79 o 2377 848.20/852.79 c fallback to adder encoding 856.36/858.02 o 2375 856.36/858.02 c fallback to adder encoding 859.38/861.03 o 2350 859.38/861.03 c fallback to adder encoding 859.50/864.14 o 2344 859.50/864.14 c fallback to adder encoding 862.63/868.39 o 2343 862.63/868.39 c fallback to adder encoding 869.96/871.52 o 2341 869.96/871.52 c fallback to adder encoding 875.58/877.29 o 2340 875.58/877.29 c fallback to adder encoding 881.75/883.48 o 2335 881.75/883.48 c fallback to adder encoding 887.41/889.19 o 2329 887.41/889.19 c fallback to adder encoding 891.29/893.09 o 2323 891.29/893.09 c fallback to adder encoding 896.88/898.69 o 2322 896.88/898.69 c fallback to adder encoding 900.23/902.04 o 2314 900.23/902.04 c fallback to adder encoding 903.41/905.24 o 2313 903.41/905.24 c fallback to adder encoding 910.17/912.00 o 2304 910.17/912.00 c fallback to adder encoding 912.60/914.47 o 2298 912.60/914.47 c fallback to adder encoding 916.41/918.21 o 2283 916.41/918.21 c fallback to adder encoding 919.33/921.16 o 2281 919.33/921.16 c fallback to adder encoding 922.34/924.11 o 2278 922.34/924.11 c fallback to adder encoding 924.27/926.07 o 2273 924.27/926.07 c fallback to adder encoding 928.28/930.07 o 2272 928.28/930.07 c fallback to adder encoding 932.10/933.87 o 2269 932.10/933.87 c fallback to adder encoding 936.91/938.62 o 2268 936.91/938.62 c fallback to adder encoding 940.90/942.65 o 2258 940.90/942.65 c fallback to adder encoding 943.92/945.66 o 2252 943.92/945.66 c fallback to adder encoding 950.84/952.56 o 2242 950.84/952.56 c fallback to adder encoding 953.62/955.33 o 2229 953.62/955.33 c fallback to adder encoding 958.34/960.03 o 2214 958.34/960.03 c fallback to adder encoding 962.81/964.50 o 2212 962.81/964.50 c fallback to adder encoding 966.58/968.28 o 2211 966.58/968.28 c fallback to adder encoding 971.75/973.44 o 2210 971.75/973.44 c fallback to adder encoding 975.17/976.86 o 2200 975.17/976.86 c fallback to adder encoding 980.03/981.69 o 2193 980.03/981.69 c fallback to adder encoding 985.02/986.66 o 2188 985.02/986.66 c fallback to adder encoding 989.02/990.61 o 2184 989.02/990.61 c fallback to adder encoding 992.22/993.84 o 2183 992.22/993.84 c fallback to adder encoding 995.96/997.64 o 2178 995.96/997.64 c fallback to adder encoding 1000.80/1002.55 o 2177 1000.80/1002.55 c fallback to adder encoding 1005.54/1007.29 o 2176 1005.54/1007.29 c fallback to adder encoding 1005.66/1009.27 o 2171 1005.66/1009.27 c fallback to adder encoding 1010.94/1012.66 o 2168 1010.94/1012.66 c fallback to adder encoding 1013.02/1014.73 o 2161 1013.02/1014.73 c fallback to adder encoding 1014.84/1016.54 o 2158 1014.84/1016.54 c fallback to adder encoding 1018.96/1020.66 o 2154 1018.96/1020.66 c fallback to adder encoding 1022.94/1024.62 o 2140 1022.94/1024.62 c fallback to adder encoding 1024.79/1026.45 o 2139 1024.79/1026.45 c fallback to adder encoding 1028.24/1029.89 o 2130 1028.24/1029.89 c fallback to adder encoding 1031.66/1033.29 o 2129 1031.66/1033.29 c fallback to adder encoding 1035.38/1037.01 o 2128 1035.38/1037.01 c fallback to adder encoding 1035.49/1041.89 o 2125 1035.49/1041.89 c fallback to adder encoding 1040.38/1045.79 o 2124 1040.38/1045.79 c fallback to adder encoding 1048.08/1049.69 o 2123 1048.08/1049.69 c fallback to adder encoding 1048.21/1052.68 o 2119 1048.21/1052.68 c fallback to adder encoding 1054.04/1055.61 o 2116 1054.04/1055.61 c fallback to adder encoding 1054.16/1062.20 o 2115 1054.16/1062.20 c fallback to adder encoding 1066.59/1068.15 o 2082 1066.59/1068.15 c fallback to adder encoding 1071.40/1072.95 o 2063 1071.40/1072.95 c fallback to adder encoding 1075.00/1076.53 o 2062 1075.00/1076.53 c fallback to adder encoding 1079.26/1080.77 o 2056 1079.26/1080.77 c fallback to adder encoding 1083.38/1084.88 o 2051 1083.38/1084.88 c fallback to adder encoding 1088.78/1090.26 o 2049 1088.78/1090.26 c fallback to adder encoding 1091.14/1092.61 o 2048 1091.14/1092.61 c fallback to adder encoding 1091.26/1096.66 o 2045 1091.26/1096.66 c fallback to adder encoding 1097.49/1098.92 o 2044 1097.49/1098.92 c fallback to adder encoding 1097.61/1101.29 o 2041 1097.61/1101.29 c fallback to adder encoding 1104.53/1105.94 o 2035 1104.53/1105.94 c fallback to adder encoding 1104.65/1108.76 o 2031 1104.65/1108.76 c fallback to adder encoding 1108.97/1110.36 o 2027 1108.97/1110.36 c fallback to adder encoding 1109.10/1114.77 o 2021 1109.10/1114.77 c fallback to adder encoding 1116.09/1117.43 o 2020 1116.09/1117.43 c fallback to adder encoding 1119.40/1120.79 o 2019 1119.40/1120.79 c fallback to adder encoding 1123.81/1125.13 o 2002 1123.81/1125.13 c fallback to adder encoding 1125.90/1127.27 o 1999 1125.90/1127.27 c fallback to adder encoding 1128.41/1129.76 o 1995 1128.41/1129.76 c fallback to adder encoding 1131.29/1132.65 o 1990 1131.29/1132.65 c fallback to adder encoding 1134.30/1135.62 o 1985 1134.30/1135.62 c fallback to adder encoding 1139.39/1140.76 o 1983 1139.39/1140.76 c fallback to adder encoding 1141.39/1142.77 o 1968 1141.39/1142.77 c fallback to adder encoding 1145.70/1147.07 o 1966 1145.70/1147.07 c fallback to adder encoding 1149.08/1150.41 o 1961 1149.08/1150.41 c fallback to adder encoding 1153.39/1154.76 o 1931 1153.39/1154.76 c fallback to adder encoding 1156.08/1157.42 o 1930 1156.08/1157.42 c fallback to adder encoding 1158.38/1159.78 o 1929 1158.38/1159.78 c fallback to adder encoding 1161.65/1163.00 o 1924 1161.65/1163.00 c fallback to adder encoding 1166.58/1167.94 o 1921 1166.58/1167.94 c fallback to adder encoding 1169.58/1170.96 o 1903 1169.58/1170.96 c fallback to adder encoding 1172.93/1174.31 o 1895 1172.93/1174.31 c fallback to adder encoding 1176.65/1178.05 o 1894 1176.65/1178.05 c fallback to adder encoding 1179.95/1181.38 o 1893 1179.95/1181.38 c fallback to adder encoding 1183.84/1185.27 o 1862 1183.84/1185.27 c fallback to adder encoding 1186.74/1188.15 o 1857 1186.74/1188.15 c fallback to adder encoding 1190.26/1191.64 o 1844 1190.26/1191.64 c fallback to adder encoding 1193.14/1194.53 o 1841 1193.14/1194.53 c fallback to adder encoding 1197.71/1199.19 o 1826 1197.71/1199.19 c fallback to adder encoding 1199.93/1201.48 o 1817 1199.93/1201.48 c fallback to adder encoding 1203.83/1205.32 o 1814 1203.83/1205.32 c fallback to adder encoding 1205.92/1207.42 o 1813 1205.92/1207.42 c fallback to adder encoding 1208.81/1210.31 o 1808 1208.81/1210.31 c fallback to adder encoding 1212.84/1214.39 o 1804 1212.84/1214.39 c fallback to adder encoding 1216.62/1218.18 o 1803 1216.62/1218.18 c fallback to adder encoding 1219.53/1221.09 o 1798 1219.53/1221.09 c fallback to adder encoding 1222.33/1223.83 o 1797 1222.33/1223.83 c fallback to adder encoding 1225.12/1226.67 o 1786 1225.12/1226.67 c fallback to adder encoding 1227.74/1229.25 o 1535 1227.74/1229.25 c fallback to adder encoding 1231.37/1232.94 o 1510 1231.37/1232.94 c fallback to adder encoding 1234.35/1235.91 o 1508 1234.35/1235.91 c fallback to adder encoding 1235.87/1237.41 o 1504 1235.87/1237.41 c fallback to adder encoding 1238.65/1240.26 o 1500 1238.65/1240.26 c fallback to adder encoding 1241.83/1243.45 o 1495 1241.83/1243.45 c fallback to adder encoding 1245.39/1247.00 o 1492 1245.39/1247.00 c fallback to adder encoding 1247.82/1249.48 o 1491 1247.82/1249.48 c fallback to adder encoding 1250.31/1251.96 o 1489 1250.31/1251.96 c fallback to adder encoding 1252.12/1253.73 o 1488 1252.12/1253.73 c fallback to adder encoding 1255.11/1256.79 o 1482 1255.11/1256.79 c fallback to adder encoding 1257.70/1259.39 o 1480 1257.70/1259.39 c fallback to adder encoding 1260.30/1261.92 o 1478 1260.30/1261.92 c fallback to adder encoding 1261.80/1263.45 o 1477 1261.80/1263.45 c fallback to adder encoding 1266.12/1267.77 o 1473 1266.12/1267.77 c fallback to adder encoding 1270.01/1271.67 o 1472 1270.01/1271.67 c fallback to adder encoding 1274.21/1275.89 o 1470 1274.21/1275.89 c fallback to adder encoding 1276.70/1278.36 o 1459 1276.70/1278.36 c fallback to adder encoding 1278.60/1280.27 o 1454 1278.60/1280.27 c fallback to adder encoding 1281.60/1283.29 o 1450 1281.60/1283.29 c fallback to adder encoding 1285.16/1286.87 o 1449 1285.16/1286.87 c fallback to adder encoding 1288.45/1290.12 o 1448 1288.45/1290.12 c fallback to adder encoding 1290.96/1292.63 o 1446 1290.96/1292.63 c fallback to adder encoding 1294.53/1296.20 o 1445 1294.53/1296.20 c fallback to adder encoding 1296.97/1298.66 o 1421 1296.97/1298.66 c fallback to adder encoding 1300.06/1301.73 o 1420 1300.06/1301.73 c fallback to adder encoding 1304.57/1306.24 o 1415 1304.57/1306.24 c fallback to adder encoding 1307.75/1309.42 o 1409 1307.75/1309.42 c fallback to adder encoding 1310.66/1312.34 o 1408 1310.66/1312.34 c fallback to adder encoding 1312.52/1314.22 o 1398 1312.52/1314.22 c fallback to adder encoding 1315.04/1316.72 o 1397 1315.04/1316.72 c fallback to adder encoding 1317.62/1319.31 o 1393 1317.62/1319.31 c fallback to adder encoding 1319.84/1321.57 o 1371 1319.84/1321.57 c fallback to adder encoding 1322.33/1324.05 o 1364 1322.33/1324.05 c fallback to adder encoding 1324.44/1326.13 o 1361 1324.44/1326.13 c fallback to adder encoding 1327.12/1328.82 o 1329 1327.12/1328.82 c fallback to adder encoding 1329.65/1331.30 o 1315 1329.65/1331.30 c fallback to adder encoding 1332.15/1333.86 o 1314 1332.15/1333.86 c fallback to adder encoding 1335.02/1336.72 o 1309 1335.02/1336.72 c fallback to adder encoding 1339.84/1341.53 o 1295 1339.84/1341.53 c fallback to adder encoding 1342.33/1344.03 o 1289 1342.33/1344.03 c fallback to adder encoding 1346.84/1348.53 o 1284 1346.84/1348.53 c fallback to adder encoding 1348.60/1350.31 o 1283 1348.60/1350.31 c fallback to adder encoding 1352.63/1354.36 o 1280 1352.63/1354.36 c fallback to adder encoding 1354.23/1355.93 o 1271 1354.23/1355.93 c fallback to adder encoding 1356.52/1358.25 o 1268 1356.52/1358.25 c fallback to adder encoding 1361.82/1363.56 o 1266 1361.82/1363.56 c fallback to adder encoding 1365.61/1367.32 o 1243 1365.61/1367.32 c fallback to adder encoding 1369.24/1370.94 o 1237 1369.24/1370.94 c fallback to adder encoding 1371.99/1373.71 o 1236 1371.99/1373.71 c fallback to adder encoding 1373.62/1375.34 o 1231 1373.62/1375.34 c fallback to adder encoding 1378.19/1379.91 o 1217 1378.19/1379.91 c fallback to adder encoding 1381.39/1383.10 o 1216 1381.39/1383.10 c fallback to adder encoding 1383.39/1385.10 o 1214 1383.39/1385.10 c fallback to adder encoding 1385.30/1387.00 o 1210 1385.30/1387.00 c fallback to adder encoding 1389.59/1391.39 o 1200 1389.59/1391.39 c fallback to adder encoding 1395.07/1396.90 o 1190 1395.07/1396.90 c fallback to adder encoding 1397.96/1399.72 o 1177 1397.96/1399.72 c fallback to adder encoding 1401.37/1403.11 o 1164 1401.37/1403.11 c fallback to adder encoding 1405.18/1406.97 o 1159 1405.18/1406.97 c fallback to adder encoding 1408.78/1410.57 o 1156 1408.78/1410.57 c fallback to adder encoding 1411.87/1413.69 o 1155 1411.87/1413.69 c fallback to adder encoding 1415.97/1417.76 o 1153 1415.97/1417.76 c fallback to adder encoding 1418.65/1420.40 o 1152 1418.65/1420.40 c fallback to adder encoding 1420.13/1421.90 o 1150 1420.13/1421.90 c fallback to adder encoding 1422.11/1423.92 o 1148 1422.11/1423.92 c fallback to adder encoding 1425.41/1427.25 o 1147 1425.41/1427.25 c fallback to adder encoding 1427.50/1429.32 o 1140 1427.50/1429.32 c fallback to adder encoding 1430.02/1431.84 o 1138 1430.02/1431.84 c fallback to adder encoding 1432.31/1434.16 o 1129 1432.31/1434.16 c fallback to adder encoding 1434.60/1436.49 o 1124 1434.60/1436.49 c fallback to adder encoding 1437.20/1439.08 o 1122 1437.20/1439.08 c fallback to adder encoding 1441.07/1442.99 o 1121 1441.07/1442.99 c fallback to adder encoding 1443.17/1445.03 o 1118 1443.17/1445.03 c fallback to adder encoding 1446.80/1448.69 o 1115 1446.80/1448.69 c fallback to adder encoding 1448.87/1450.71 o 1111 1448.87/1450.71 c fallback to adder encoding 1450.26/1452.10 o 1096 1450.26/1452.10 c fallback to adder encoding 1452.58/1454.48 o 1086 1452.58/1454.48 c fallback to adder encoding 1455.28/1457.16 o 1079 1455.28/1457.16 c fallback to adder encoding 1458.19/1460.04 o 1076 1458.19/1460.04 c fallback to adder encoding 1462.68/1464.53 o 1070 1462.68/1464.53 c fallback to adder encoding 1467.59/1469.44 o 1055 1467.59/1469.44 c fallback to adder encoding 1472.09/1474.00 o 1048 1472.09/1474.00 c fallback to adder encoding 1475.89/1477.75 o 1032 1475.89/1477.75 c fallback to adder encoding 1477.37/1479.22 o 1027 1477.37/1479.22 c fallback to adder encoding 1481.17/1483.00 o 1026 1481.17/1483.00 c fallback to adder encoding 1484.30/1486.17 o 1024 1484.30/1486.17 c fallback to adder encoding 1485.97/1487.82 o 1007 1485.97/1487.82 c fallback to adder encoding 1488.27/1490.17 o 993 1488.27/1490.17 c fallback to adder encoding 1490.48/1492.37 o 992 1490.48/1492.37 c fallback to adder encoding 1492.49/1494.30 o 988 1492.49/1494.30 c fallback to adder encoding 1493.76/1495.61 o 987 1493.76/1495.61 c fallback to adder encoding 1496.29/1498.20 o 975 1496.29/1498.20 c fallback to adder encoding 1497.98/1499.87 o 966 1497.98/1499.87 c fallback to adder encoding 1500.05/1501.92 o 965 1500.05/1501.92 c fallback to adder encoding 1502.17/1504.03 o 964 1502.17/1504.03 c fallback to adder encoding 1504.26/1506.15 o 961 1504.26/1506.15 c fallback to adder encoding 1505.95/1507.84 o 960 1505.95/1507.84 c fallback to adder encoding 1507.27/1509.11 o 955 1507.27/1509.11 c fallback to adder encoding 1509.24/1511.10 o 954 1509.24/1511.10 c fallback to adder encoding 1511.40/1513.39 o 947 1511.40/1513.39 c fallback to adder encoding 1513.83/1515.73 o 945 1513.83/1515.73 c fallback to adder encoding 1515.23/1517.10 o 942 1515.23/1517.10 c fallback to adder encoding 1516.53/1518.40 o 940 1516.53/1518.40 c fallback to adder encoding 1518.40/1520.30 o 911 1518.40/1520.30 c fallback to adder encoding 1519.42/1521.32 o 908 1519.42/1521.32 c fallback to adder encoding 1521.79/1523.70 o 905 1521.79/1523.70 c fallback to adder encoding 1523.72/1525.62 o 904 1523.72/1525.62 c fallback to adder encoding 1525.01/1526.91 o 896 1525.01/1526.91 c fallback to adder encoding 1526.90/1528.82 o 895 1526.90/1528.82 c fallback to adder encoding 1528.51/1530.47 o 894 1528.51/1530.47 c fallback to adder encoding 1529.62/1531.59 o 869 1529.62/1531.59 c fallback to adder encoding 1531.53/1533.46 o 868 1531.53/1533.46 c fallback to adder encoding 1533.11/1535.05 o 866 1533.11/1535.05 c fallback to adder encoding 1534.92/1536.87 o 853 1534.92/1536.87 c fallback to adder encoding 1536.33/1538.23 o 851 1536.33/1538.23 c fallback to adder encoding 1537.91/1539.84 o 847 1537.91/1539.84 c fallback to adder encoding 1539.63/1541.53 o 839 1539.63/1541.53 c fallback to adder encoding 1541.34/1543.23 o 836 1541.34/1543.23 c fallback to adder encoding 1543.12/1545.08 o 835 1543.12/1545.08 c fallback to adder encoding 1544.84/1546.74 o 834 1544.84/1546.74 c fallback to adder encoding 1546.66/1548.61 o 833 1546.66/1548.61 c fallback to adder encoding 1547.76/1549.72 o 818 1547.76/1549.72 c fallback to adder encoding 1549.28/1551.25 o 809 1549.28/1551.25 c fallback to adder encoding 1550.97/1552.99 o 802 1550.97/1552.99 c fallback to adder encoding 1552.16/1554.10 o 800 1552.16/1554.10 c fallback to adder encoding 1553.48/1555.46 o 790 1553.48/1555.46 c fallback to adder encoding 1555.17/1557.17 o 789 1555.17/1557.17 c fallback to adder encoding 1556.67/1558.66 o 786 1556.67/1558.66 c fallback to adder encoding 1557.96/1559.96 o 781 1557.96/1559.96 c fallback to adder encoding 1559.35/1561.30 o 780 1559.35/1561.30 c fallback to adder encoding 1560.98/1562.98 o 779 1560.98/1562.98 c fallback to adder encoding 1563.06/1565.08 o 777 1563.06/1565.08 c fallback to adder encoding 1564.76/1566.76 o 775 1564.76/1566.76 c fallback to adder encoding 1566.57/1568.53 o 774 1566.57/1568.53 c fallback to adder encoding 1568.26/1570.29 o 768 1568.26/1570.29 c fallback to adder encoding 1569.08/1571.08 o 766 1569.08/1571.08 c fallback to adder encoding 1569.21/1571.67 o 762 1569.21/1571.67 c fallback to adder encoding 1570.67/1572.64 o 756 1570.67/1572.64 c fallback to adder encoding 1572.35/1574.31 o 752 1572.35/1574.31 c fallback to adder encoding 1573.27/1575.22 o 719 1573.27/1575.22 c fallback to adder encoding 1575.20/1577.21 o 714 1575.20/1577.21 c fallback to adder encoding 1576.52/1578.55 o 712 1576.52/1578.55 c fallback to adder encoding 1576.64/1579.15 o 699 1576.64/1579.15 c fallback to adder encoding 1577.91/1579.93 o 696 1577.91/1579.93 c fallback to adder encoding 1578.83/1580.83 o 690 1578.83/1580.83 c fallback to adder encoding 1580.28/1582.33 o 689 1580.28/1582.33 c fallback to adder encoding 1581.18/1583.21 o 658 1581.18/1583.21 c fallback to adder encoding 1582.39/1584.44 o 654 1582.39/1584.44 c fallback to adder encoding 1583.78/1585.85 o 653 1583.78/1585.85 c fallback to adder encoding 1585.06/1587.14 o 649 1585.06/1587.14 c fallback to adder encoding 1586.06/1588.16 o 645 1586.06/1588.16 c fallback to adder encoding 1587.57/1589.69 o 644 1587.57/1589.69 c fallback to adder encoding 1589.14/1591.29 o 641 1589.14/1591.29 c fallback to adder encoding 1590.12/1592.20 o 640 1590.12/1592.20 c fallback to adder encoding 1591.03/1593.13 o 639 1591.03/1593.13 c fallback to adder encoding 1592.04/1594.12 o 631 1592.04/1594.12 c fallback to adder encoding 1593.02/1595.10 o 630 1593.02/1595.10 c fallback to adder encoding 1593.10/1595.83 o 629 1593.10/1595.83 c fallback to adder encoding 1594.64/1596.74 o 619 1594.64/1596.74 c fallback to adder encoding 1595.64/1597.73 o 607 1595.64/1597.73 c fallback to adder encoding 1596.34/1598.46 o 606 1596.34/1598.46 c fallback to adder encoding 1596.94/1599.00 o 600 1596.94/1599.00 c fallback to adder encoding 1597.54/1599.65 o 599 1597.54/1599.65 c fallback to adder encoding 1598.45/1600.58 o 598 1598.45/1600.58 c fallback to adder encoding 1599.54/1601.64 o 596 1599.54/1601.64 c fallback to adder encoding 1599.63/1602.47 o 593 1599.63/1602.47 c fallback to adder encoding 1601.33/1603.43 o 592 1601.33/1603.43 c fallback to adder encoding 1602.52/1604.68 o 591 1602.52/1604.68 c fallback to adder encoding 1603.34/1605.42 o 586 1603.34/1605.42 c fallback to adder encoding 1604.93/1607.10 o 583 1604.93/1607.10 c fallback to adder encoding 1606.13/1608.22 o 582 1606.13/1608.22 c fallback to adder encoding 1606.16/1608.98 o 581 1606.16/1608.98 c fallback to adder encoding 1607.58/1609.70 o 579 1607.58/1609.70 c fallback to adder encoding 1608.20/1610.30 o 575 1608.20/1610.30 c fallback to adder encoding 1608.24/1611.03 o 559 1608.24/1611.03 c fallback to adder encoding 1609.68/1611.80 o 555 1609.68/1611.80 c fallback to adder encoding 1610.58/1612.74 o 549 1610.58/1612.74 c fallback to adder encoding 1611.68/1613.84 o 545 1611.68/1613.84 c fallback to adder encoding 1612.69/1614.84 o 544 1612.69/1614.84 c fallback to adder encoding 1612.77/1615.54 o 543 1612.77/1615.54 c fallback to adder encoding 1614.58/1616.74 o 541 1614.58/1616.74 c fallback to adder encoding 1615.39/1617.59 o 540 1615.39/1617.59 c fallback to adder encoding 1616.18/1618.36 o 535 1616.18/1618.36 c fallback to adder encoding 1616.98/1619.16 o 532 1616.98/1619.16 c fallback to adder encoding 1617.05/1619.97 o 529 1617.05/1619.97 c fallback to adder encoding 1618.95/1621.13 o 528 1618.95/1621.13 c fallback to adder encoding 1619.65/1621.88 o 527 1619.65/1621.88 c fallback to adder encoding 1620.56/1622.71 o 523 1620.56/1622.71 c fallback to adder encoding 1621.45/1623.62 o 521 1621.45/1623.62 c fallback to adder encoding 1622.56/1624.76 o 520 1622.56/1624.76 c fallback to adder encoding 1623.85/1626.06 o 518 1623.85/1626.06 c fallback to adder encoding 1624.44/1626.61 o 514 1624.44/1626.61 c fallback to adder encoding 1625.44/1627.64 o 512 1625.44/1627.64 c fallback to adder encoding 1625.74/1627.92 o 508 1625.74/1627.92 c fallback to adder encoding 1625.79/1628.23 o 506 1625.79/1628.23 c fallback to adder encoding 1626.10/1628.67 o 505 1626.10/1628.67 c fallback to adder encoding 1626.94/1629.17 o 504 1626.94/1629.17 c fallback to adder encoding 1627.43/1629.61 o 499 1627.43/1629.61 c fallback to adder encoding 1627.49/1629.97 o 497 1627.49/1629.97 c fallback to adder encoding 1628.11/1630.36 o 496 1628.11/1630.36 c fallback to adder encoding 1628.60/1630.80 o 485 1628.60/1630.80 c fallback to adder encoding 1629.01/1631.26 o 481 1629.01/1631.26 c fallback to adder encoding 1629.52/1631.71 o 480 1629.52/1631.71 c fallback to adder encoding 1630.11/1632.32 o 474 1630.11/1632.32 c fallback to adder encoding 1630.15/1632.83 o 473 1630.15/1632.83 c fallback to adder encoding 1630.67/1633.17 o 472 1630.67/1633.17 c fallback to adder encoding 1631.31/1633.57 o 467 1631.31/1633.57 c fallback to adder encoding 1631.41/1633.95 o 461 1631.41/1633.95 c fallback to adder encoding 1631.79/1634.35 o 460 1631.79/1634.35 c fallback to adder encoding 1632.61/1634.87 o 456 1632.61/1634.87 c fallback to adder encoding 1633.00/1635.25 o 453 1633.00/1635.25 c fallback to adder encoding 1633.36/1635.63 o 452 1633.36/1635.63 c fallback to adder encoding 1633.43/1635.95 o 445 1633.43/1635.95 c fallback to adder encoding 1633.74/1636.23 o 443 1633.74/1636.23 c fallback to adder encoding 1634.02/1636.64 o 437 1634.02/1636.64 c fallback to adder encoding 1634.66/1636.99 o 433 1634.66/1636.99 c fallback to adder encoding 1634.78/1637.44 o 430 1634.78/1637.44 c fallback to adder encoding 1635.24/1637.72 o 423 1635.24/1637.72 c fallback to adder encoding 1635.74/1638.09 o 422 1635.74/1638.09 c fallback to adder encoding 1635.88/1638.45 o 420 1635.88/1638.45 c fallback to adder encoding 1636.66/1638.92 o 414 1636.66/1638.92 c fallback to adder encoding 1636.72/1639.35 o 413 1636.72/1639.35 c fallback to adder encoding 1637.15/1639.72 o 404 1637.15/1639.72 c fallback to adder encoding 1637.77/1640.06 o 401 1637.77/1640.06 c fallback to adder encoding 1637.86/1640.29 o 388 1637.86/1640.29 c fallback to adder encoding 1638.08/1640.73 o 387 1638.08/1640.73 c fallback to adder encoding 1638.87/1641.16 o 385 1638.87/1641.16 c fallback to adder encoding 1638.96/1641.59 o 384 1638.96/1641.59 c fallback to adder encoding 1639.38/1641.86 o 378 1639.38/1641.86 c fallback to adder encoding 1639.65/1642.09 o 377 1639.65/1642.09 c fallback to adder encoding 1640.06/1642.33 o 375 1640.06/1642.33 c fallback to adder encoding 1640.13/1642.65 o 373 1640.13/1642.65 c fallback to adder encoding 1640.45/1642.87 o 371 1640.45/1642.87 c fallback to adder encoding 1640.67/1643.07 o 343 1641.28/1643.71 o 342 1641.92/1644.35 o 299 1642.33/1644.71 o 284 1642.67/1645.04 o 259 1642.84/1645.18 c display solution 1642.84/1645.18 s OPTIMUM FOUND 1642.84/1645.18 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 259
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-3715128-1338226421/watcher-3715128-1338226421 -o /tmp/evaluation-result-3715128-1338226421/solver-3715128-1338226421 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715128-1338226421.wbo 370768288 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 1.98 1.99 3/180 22073 /proc/meminfo: memFree=31226008/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [startup+0.103369 s] /proc/loadavg: 1.94 1.98 1.99 3/180 22073 /proc/meminfo: memFree=31226008/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.200352 s] /proc/loadavg: 1.94 1.98 1.99 3/180 22073 /proc/meminfo: memFree=31226008/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300351 s] /proc/loadavg: 1.94 1.98 1.99 3/180 22073 /proc/meminfo: memFree=31226008/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700309 s] /proc/loadavg: 1.94 1.98 1.99 3/180 22073 /proc/meminfo: memFree=31226008/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50038 s] /proc/loadavg: 1.94 1.98 1.99 3/182 22092 /proc/meminfo: memFree=31220800/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=7004 CPUtime=0.11 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 2469 5081 0 0 8 1 1 1 20 0 1 0 288768847 7172096 1387 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22074/statm: 1751 1387 165 439 0 1308 0 [pid=22086] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22086/stat : 22086 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288768860 9367552 267 33554432000 4194304 5064252 140733937550768 140733937549680 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22086/statm: 2287 267 226 213 0 72 0 [pid=22087] ppid=22086 vsize=16684 CPUtime=1.35 cores=0,2,4,6 /proc/22087/stat : 22087 (glucose) R 22086 22073 29981 0 -1 4202496 4288 0 0 0 135 0 0 0 20 0 1 0 288768860 17084416 3504 33554432000 4194304 5208918 140734956457296 140734956455256 4205165 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22087/statm: 4171 3504 105 248 0 3920 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 41984 [startup+3.10036 s] /proc/loadavg: 1.94 1.98 1.99 3/184 22094 /proc/meminfo: memFree=31202020/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=7004 CPUtime=0.11 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 2469 5081 0 0 8 1 1 1 20 0 1 0 288768847 7172096 1387 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22074/statm: 1751 1387 165 439 0 1308 0 [pid=22086] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22086/stat : 22086 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288768860 9367552 267 33554432000 4194304 5064252 140733937550768 140733937549680 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22086/statm: 2287 267 226 213 0 72 0 [pid=22087] ppid=22086 vsize=17088 CPUtime=2.95 cores=0,2,4,6 /proc/22087/stat : 22087 (glucose) R 22086 22073 29981 0 -1 4202496 4646 0 0 0 295 0 0 0 20 0 1 0 288768860 17498112 3856 33554432000 4194304 5208918 140734956457296 140734956455256 4211632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22087/statm: 4272 3856 105 248 0 4021 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 42388 [startup+6.30031 s] /proc/loadavg: 1.95 1.98 1.99 3/184 22115 /proc/meminfo: memFree=31203860/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=11096 CPUtime=6.08 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 5866 21774 0 0 21 3 576 8 20 0 1 0 288768847 11362304 2380 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22074/statm: 2774 2380 166 439 0 2331 0 Current children cumulated CPU time (s) 6.08 Current children cumulated vsize (KiB) 20244 [startup+12.7004 s] /proc/loadavg: 1.95 1.98 1.99 3/184 22150 /proc/meminfo: memFree=31199016/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=11096 CPUtime=10.32 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 7564 30544 0 0 28 3 990 11 20 0 1 0 288768847 11362304 2380 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22074/statm: 2774 2380 166 439 0 2331 0 [pid=22142] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22142/stat : 22142 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288769896 9367552 267 33554432000 4194304 5064252 140735103837776 140735103836688 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22142/statm: 2287 267 226 213 0 72 0 [pid=22143] ppid=22142 vsize=16984 CPUtime=2.19 cores=0,2,4,6 /proc/22143/stat : 22143 (glucose) R 22142 22073 29981 0 -1 4202496 3790 0 0 0 219 0 0 0 20 0 1 0 288769897 17391616 3670 33554432000 4194304 5208918 140734339607280 140734339605032 4211176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22143/statm: 4246 3670 105 248 0 3995 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 46376 [startup+25.5004 s] /proc/loadavg: 1.89 1.97 1.99 3/183 22227 /proc/meminfo: memFree=31201916/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=11096 CPUtime=25.28 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 14356 60977 0 0 55 7 2440 26 20 0 1 0 288768847 11362304 2380 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22074/statm: 2774 2380 166 439 0 2331 0 Current children cumulated CPU time (s) 25.28 Current children cumulated vsize (KiB) 20244 [startup+51.1005 s] /proc/loadavg: 1.92 1.97 1.99 3/183 22353 /proc/meminfo: memFree=31200192/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=11096 CPUtime=49.39 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 22846 100760 0 0 88 12 4797 42 20 0 1 0 288768847 11362304 2380 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22074/statm: 2774 2380 166 439 0 2331 0 [pid=22352] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22352/stat : 22352 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288773807 9367552 266 33554432000 4194304 5064252 140734685434224 140734685433136 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22352/statm: 2287 266 226 213 0 72 0 [pid=22353] ppid=22352 vsize=16804 CPUtime=1.49 cores=0,2,4,6 /proc/22353/stat : 22353 (glucose) R 22352 22073 29981 0 -1 4202496 3849 0 0 0 149 0 0 0 20 0 1 0 288773807 17207296 3590 33554432000 4194304 5208918 140734436133792 140734436131544 4211019 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22353/statm: 4201 3590 105 248 0 3950 0 Current children cumulated CPU time (s) 50.88 Current children cumulated vsize (KiB) 46196 [startup+102.3 s] /proc/loadavg: 2.08 2.00 2.00 3/181 22624 /proc/meminfo: memFree=31213772/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=11096 CPUtime=101.83 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 41524 191315 0 0 159 22 9923 79 20 0 1 0 288768847 11362304 2380 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22074/statm: 2774 2380 166 439 0 2331 0 Current children cumulated CPU time (s) 101.83 Current children cumulated vsize (KiB) 20244 [startup+162.3 s] /proc/loadavg: 2.09 2.02 2.00 3/183 22962 /proc/meminfo: memFree=31199352/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=11096 CPUtime=160.02 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 70368 321734 0 0 265 38 15559 140 20 0 1 0 288768847 11362304 2378 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22074/statm: 2774 2378 166 439 0 2331 0 [pid=22961] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22961/stat : 22961 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288784924 9367552 267 33554432000 4194304 5064252 140736385118176 140736385117088 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22961/statm: 2287 267 226 213 0 72 0 [pid=22962] ppid=22961 vsize=16528 CPUtime=1.51 cores=0,2,4,6 /proc/22962/stat : 22962 (glucose) R 22961 22073 29981 0 -1 4202496 3741 0 0 0 151 0 0 0 20 0 1 0 288784925 16924672 3485 33554432000 4194304 5208918 140737361350880 140737361348632 4211625 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22962/statm: 4132 3485 105 248 0 3881 0 Current children cumulated CPU time (s) 161.53 Current children cumulated vsize (KiB) 45920 [startup+222.307 s] /proc/loadavg: 2.03 2.01 2.00 3/183 23257 /proc/meminfo: memFree=31196256/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=11096 CPUtime=217.52 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 95808 438396 0 0 357 51 21152 192 20 0 1 0 288768847 11362304 2378 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0 /proc/22074/statm: 2774 2378 166 439 0 2331 0 [pid=23249] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.07 2.04 2.00 3/183 27428 /proc/meminfo: memFree=30917064/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=11048 CPUtime=1477.48 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 696192 3091752 0 0 2387 363 143539 1459 20 0 1 0 288768847 11313152 2378 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 20 0 0 /proc/22074/statm: 2762 2378 166 439 0 2319 0 [pid=27427] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27427/stat : 27427 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288916775 9367552 267 33554432000 4194304 5064252 140733591738944 140733591737856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27427/statm: 2287 267 226 213 0 72 0 [pid=27428] ppid=27427 vsize=15448 CPUtime=3 cores=0,2,4,6 /proc/27428/stat : 27428 (glucose) R 27427 22073 29981 0 -1 4202496 3957 0 0 0 300 0 0 0 20 0 1 0 288916775 15818752 3446 33554432000 4194304 5208918 140735614948416 140735614944792 4229326 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/27428/statm: 3862 3446 104 248 0 3611 0 Current children cumulated CPU time (s) 1480.48 Current children cumulated vsize (KiB) 44792 [startup+1542.3 s] /proc/loadavg: 2.10 2.05 2.00 3/183 27659 /proc/meminfo: memFree=30901504/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=10972 CPUtime=1539.72 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 752160 3301930 0 0 2533 389 149495 1555 20 0 1 0 288768847 11235328 2378 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0 /proc/22074/statm: 2743 2378 166 439 0 2300 0 [pid=27658] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27658/stat : 27658 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288923005 9367552 266 33554432000 4194304 5064252 140737197825456 140737197824368 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27658/statm: 2287 266 226 213 0 72 0 [pid=27659] ppid=27658 vsize=11592 CPUtime=0.71 cores=0,2,4,6 /proc/27659/stat : 27659 (glucose) R 27658 22073 29981 0 -1 4202496 2525 0 0 0 71 0 0 0 20 0 1 0 288923005 11870208 2575 33554432000 4194304 5208918 140735854204208 140735854201880 4211580 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/27659/statm: 2898 2575 104 248 0 2647 0 Current children cumulated CPU time (s) 1540.43 Current children cumulated vsize (KiB) 40860 [startup+1602.3 s] /proc/loadavg: 2.03 2.04 2.00 3/184 27991 /proc/meminfo: memFree=30913708/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=6816 CPUtime=1599.63 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 821797 3588325 0 0 2703 416 155171 1673 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0 /proc/22074/statm: 1704 1364 166 439 0 1261 0 Current children cumulated CPU time (s) 1599.63 Current children cumulated vsize (KiB) 15964 Solver just ended. Dumping a history of the last processes samples [startup+1617.4 s] /proc/loadavg: 2.03 2.03 2.00 3/184 28110 /proc/meminfo: memFree=30908012/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=6816 CPUtime=1614.67 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 838846 3677863 0 0 2751 421 156591 1704 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0 /proc/22074/statm: 1704 1364 166 439 0 1261 0 [pid=28109] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28109/stat : 28109 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288930524 9367552 267 33554432000 4194304 5064252 140734552549392 140734552548304 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/28109/statm: 2287 267 226 213 0 72 0 [pid=28110] ppid=28109 vsize=8768 CPUtime=0.62 cores=0,2,4,6 /proc/28110/stat : 28110 (glucose) R 28109 22073 29981 0 -1 4202496 2158 0 0 0 62 0 0 0 20 0 1 0 288930524 8978432 1830 33554432000 4194304 5208918 140735931991264 140735931989224 4213916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28110/statm: 2192 1830 105 248 0 1941 0 Current children cumulated CPU time (s) 1615.29 Current children cumulated vsize (KiB) 33880 [startup+1630.21 s] /proc/loadavg: 2.09 2.05 2.00 3/184 28236 /proc/meminfo: memFree=30906328/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=6816 CPUtime=1627.82 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 857038 3774413 0 0 2798 426 157822 1736 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0 /proc/22074/statm: 1704 1364 166 439 0 1261 0 [pid=28235] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28235/stat : 28235 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288931847 9367552 267 33554432000 4194304 5064252 140734913280704 140734913279616 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/28235/statm: 2287 267 226 213 0 72 0 [pid=28236] ppid=28235 vsize=7768 CPUtime=0.2 cores=0,2,4,6 /proc/28236/stat : 28236 (glucose) R 28235 22073 29981 0 -1 4202496 2072 0 0 0 20 0 0 0 20 0 1 0 288931847 7954432 1539 33554432000 4194304 5208918 140735456666736 140734913279640 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28236/statm: 1942 1539 103 248 0 1691 0 Current children cumulated CPU time (s) 1628.02 Current children cumulated vsize (KiB) 32880 [startup+1636.6 s] /proc/loadavg: 2.08 2.05 2.00 3/184 28320 /proc/meminfo: memFree=30904528/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=6816 CPUtime=1634.02 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 871169 3851533 0 0 2833 430 158381 1758 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0 /proc/22074/statm: 1704 1364 166 439 0 1261 0 Current children cumulated CPU time (s) 1634.02 Current children cumulated vsize (KiB) 15964 [startup+1639.8 s] /proc/loadavg: 2.08 2.05 2.00 3/184 28383 /proc/meminfo: memFree=30902356/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=6816 CPUtime=1637.52 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 879403 3895922 0 0 2851 433 158696 1772 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0 /proc/22074/statm: 1704 1364 166 439 0 1261 0 Current children cumulated CPU time (s) 1637.52 Current children cumulated vsize (KiB) 15964 [startup+1643 s] /proc/loadavg: 2.08 2.04 2.00 3/184 28476 /proc/meminfo: memFree=30900688/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=6816 CPUtime=1640.67 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 885929 3944349 0 0 2871 435 158974 1787 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0 /proc/22074/statm: 1704 1364 166 439 0 1261 0 Current children cumulated CPU time (s) 1640.67 Current children cumulated vsize (KiB) 15964 [startup+1643.8 s] /proc/loadavg: 2.08 2.04 2.00 3/184 28504 /proc/meminfo: memFree=30868320/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=11040 CPUtime=1641.55 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 889320 3961098 0 0 2883 436 159036 1800 20 0 1 0 288768847 11304960 2378 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0 /proc/22074/statm: 2760 2378 166 439 0 2317 0 Current children cumulated CPU time (s) 1641.55 Current children cumulated vsize (KiB) 20188 [startup+1644.6 s] /proc/loadavg: 2.07 2.04 2.00 3/182 28516 /proc/meminfo: memFree=30900008/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=10932 CPUtime=1642.33 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 891024 3980467 0 0 2887 437 159097 1812 20 0 1 0 288768847 11194368 2378 33554432000 4194304 5990268 140735000576864 140735000567776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0 /proc/22074/statm: 2733 2378 166 439 0 2290 0 Current children cumulated CPU time (s) 1642.33 Current children cumulated vsize (KiB) 20080 [startup+1645 s] /proc/loadavg: 2.07 2.04 2.00 3/182 28516 /proc/meminfo: memFree=30900008/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=10876 CPUtime=1642.67 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 892720 3989908 0 0 2891 437 159119 1820 20 0 1 0 288768847 11137024 2378 33554432000 4194304 5990268 140735000576864 140735000567776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0 /proc/22074/statm: 2719 2378 166 439 0 2276 0 Current children cumulated CPU time (s) 1642.67 Current children cumulated vsize (KiB) 20024 [startup+1645.1 s] /proc/loadavg: 2.07 2.04 2.00 3/182 28516 /proc/meminfo: memFree=30900008/32873648 swapFree=6852/6852 [pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22073/statm: 2287 274 233 213 0 72 0 [pid=22074] ppid=22073 vsize=6724 CPUtime=1642.84 cores=0,2,4,6 /proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 893383 3993338 0 0 2894 438 159126 1826 20 0 1 0 288768847 6885376 1353 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0 /proc/22074/statm: 1681 1353 166 439 0 1238 0 Current children cumulated CPU time (s) 1642.84 Current children cumulated vsize (KiB) 15872 Child status: 0 Real time (s): 1645.18 CPU time (s): 1642.97 CPU user time (s): 1620.31 CPU system time (s): 22.6626 CPU usage (%): 99.8654 Max. virtual memory (cumulated for all children) (KiB): 63780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1620.31 system time used= 22.6626 maximum resident set size= 31820 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4894764 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3667176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20125 involuntary context switches= 8293 runsolver used 2.91156 second user time and 8.09377 second system time The end
Begin job on node115 at 2012-05-28 19:33:41 IDJOB=3715128 IDBENCH=79422 IDSOLVER=2296 FILE ID=node115/3715128-1338226421 RUNJOBID= node115-1338195070-29997 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-jnh211_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715128-1338226421/watcher-3715128-1338226421 -o /tmp/evaluation-result-3715128-1338226421/solver-3715128-1338226421 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715128-1338226421.wbo 370768288 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b50e414b5ae2abd5c7b876bc50645ba2 RANDOM SEED=370768288 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: 31226272 kB Buffers: 437420 kB Cached: 314772 kB SwapCached: 972 kB Active: 654264 kB Inactive: 132548 kB Active(anon): 27548 kB Inactive(anon): 9244 kB Active(file): 626716 kB Inactive(file): 123304 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67106424 kB Dirty: 21268 kB Writeback: 0 kB AnonPages: 40748 kB Mapped: 12524 kB Shmem: 96 kB Slab: 722200 kB SReclaimable: 165372 kB SUnreclaim: 556828 kB KernelStack: 1528 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 152320 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 71580 MiB End job on node115 at 2012-05-28 20:01:06