0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692750-1277900917.wbo>
0.01/0.02 c original problem has 2153 variables (1192 bin, 0 int, 0 impl, 961 cont) and 3669 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/0.04 c presolving:
0.01/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.01/0.07 c (round 2) 0 del vars, 107 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.01/0.08 c (round 3) 50 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.01/0.10 c (round 4) 100 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.09/0.14 c (0.1s) probing: 101/1142 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 100 deleted vars, 157 deleted constraints, 961 tightened bounds, 0 added holes, 50 changed sides, 0 changed coefficients
0.09/0.14 c 1161 implications, 15 cliques
0.09/0.14 c presolved problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3512 constraints
0.09/0.14 c 911 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 15 constraints of type <setppc>
0.09/0.14 c 911 constraints of type <linear>
0.09/0.14 c 1674 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.08
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 0 | 24 | - |9064k| 0 | 16 |2053 |3512 |2053 |1690 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 o 43928
0.09/0.16 c y 0.1s| 1 | 0 | 151 | - |9099k| 0 | 16 |2053 |3512 |2053 |1690 | 0 | 0 | 0 | 0.000000e+00 | 4.392800e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 184 | - |9155k| 0 | 31 |2053 |3512 |2053 |1708 | 18 | 0 | 0 | 0.000000e+00 | 4.392800e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 232 | - |9397k| 0 | 38 |2053 |3512 |2053 |1718 | 28 | 0 | 0 | 0.000000e+00 | 4.392800e+04 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 275 | - |9601k| 0 | 43 |2053 |3512 |2053 |1727 | 37 | 0 | 0 | 0.000000e+00 | 4.392800e+04 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 311 | - |9709k| 0 | 44 |2053 |3512 |2053 |1730 | 40 | 0 | 0 | 0.000000e+00 | 4.392800e+04 | Inf
0.49/0.53 c 0.5s| 1 | 0 | 349 | - |9766k| 0 | 43 |2053 |3512 |2053 |1738 | 48 | 0 | 0 | 0.000000e+00 | 4.392800e+04 | Inf
0.59/0.63 c 0.6s| 1 | 0 | 415 | - |9777k| 0 | 48 |2053 |3512 |2053 |1746 | 56 | 0 | 0 | 0.000000e+00 | 4.392800e+04 | Inf
1.29/1.39 c 1.3s| 1 | 2 | 415 | - |9811k| 0 | 48 |2053 |3512 |2053 |1746 | 56 | 0 | 33 | 0.000000e+00 | 4.392800e+04 | Inf
4.39/4.47 o 353
4.39/4.47 c * 4.2s| 60 | 23 | 1230 | 13.8 | 10M| 21 | - |2053 |3512 |2053 |1737 | 75 | 0 | 380 | 0.000000e+00 | 3.530000e+02 | Inf
4.79/4.80 o 341
4.79/4.80 c * 4.5s| 89 | 23 | 1488 | 12.2 | 10M| 21 | - |2053 |3562 |2053 |1740 | 100 | 50 | 482 | 0.000000e+00 | 3.410000e+02 | Inf
6.80/6.87 o 289
6.80/6.87 c * 6.5s| 212 | 90 | 2809 | 11.3 | 11M| 43 | - |2053 |3626 |2053 |1737 | 118 | 114 | 827 | 0.000000e+00 | 2.890000e+02 | Inf
7.49/7.52 o 263
7.49/7.52 c * 7.2s| 322 | 99 | 3536 | 9.7 | 11M| 43 | - |2053 |3775 |2053 |1737 | 120 | 263 | 956 | 0.000000e+00 | 2.630000e+02 | Inf
7.49/7.56 o 211
7.49/7.56 c * 7.2s| 333 | 84 | 3566 | 9.5 | 11M| 43 | - |2053 |3790 |2053 |1737 | 120 | 278 | 966 | 0.000000e+00 | 2.110000e+02 | Inf
7.70/7.75 o 183
7.70/7.75 c * 7.4s| 363 | 82 | 3719 | 9.1 | 11M| 43 | - |2053 |3838 |2053 |1737 | 121 | 326 |1009 | 0.000000e+00 | 1.830000e+02 | Inf
14.19/14.22 o 157
14.19/14.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.19/14.22 c *13.5s| 2065 | 349 | 16436 | 7.8 | 15M| 46 | - |2053 |5044 |2053 |1736 | 208 |2053 |1841 | 0.000000e+00 | 1.570000e+02 | Inf
17.50/17.52 o 146
17.50/17.52 c *16.6s| 3702 | 548 | 25279 | 6.7 | 17M| 46 | - |2053 |5501 |2053 |1737 | 348 |3835 |1970 | 0.000000e+00 | 1.460000e+02 | Inf
18.89/18.96 o 117
18.89/18.96 c *18.0s| 4521 | 618 | 29981 | 6.5 | 18M| 46 | - |2053 |5824 |2053 |1737 | 385 |4789 |1980 | 0.000000e+00 | 1.170000e+02 | Inf
30.09/30.17 c 28.6s| 10000 | 1268 | 64092 | 6.4 | 25M| 53 | 0 |2053 |6197 |2053 |1741 | 795 | 10k|2053 | 0.000000e+00 | 1.170000e+02 | Inf
46.20/46.22 o 107
46.20/46.22 c *43.7s| 18654 | 1980 |108100 | 5.8 | 33M| 59 | - |2053 |7416 |2053 |1736 |1649 | 20k|2061 | 0.000000e+00 | 1.070000e+02 | Inf
48.69/48.77 o 103
48.69/48.77 c *46.1s| 19869 | 2059 |114423 | 5.7 | 34M| 59 | - |2053 |7512 |2053 |1736 |1792 | 21k|2068 | 0.000000e+00 | 1.030000e+02 | Inf
48.69/48.77 o 98
48.69/48.77 c *46.1s| 19870 | 2035 |114426 | 5.7 | 34M| 59 | - |2053 |7512 |2053 |1736 |1792 | 21k|2068 | 0.000000e+00 | 9.800000e+01 | Inf
49.00/49.02 c 46.3s| 20000 | 2054 |115172 | 5.7 | 34M| 59 | 1 |2053 |7441 |2053 |1736 |1800 | 22k|2069 | 0.000000e+00 | 9.800000e+01 | Inf
50.99/51.00 o 83
50.99/51.00 c f48.2s| 21221 | 2067 |119204 | 5.6 | 34M| 59 | - |2053 |8280 |2053 |1739 |1868 | 23k|2069 | 0.000000e+00 | 8.300000e+01 | Inf
51.09/51.11 o 71
51.09/51.11 c *48.3s| 21274 | 1858 |119396 | 5.6 | 30M| 59 | - |2053 |8052 |2053 |1740 |1872 | 23k|2069 | 0.000000e+00 | 7.100000e+01 | Inf
53.80/53.81 o 61
53.80/53.81 c c50.9s| 22623 | 1961 |126763 | 5.6 | 31M| 59 | - |2053 |8283 |2053 |1736 |1995 | 25k|2069 | 0.000000e+00 | 6.100000e+01 | Inf
57.80/57.84 o 55
57.80/57.84 c *54.7s| 24685 | 1971 |137312 | 5.5 | 31M| 59 | - |2053 |7073 |2053 |1736 |2189 | 28k|2069 | 0.000000e+00 | 5.500000e+01 | Inf
59.09/59.13 o 54
59.09/59.13 c *55.9s| 25316 | 1957 |140953 | 5.6 | 31M| 59 | - |2053 |6261 |2053 |1736 |2233 | 28k|2069 | 0.000000e+00 | 5.400000e+01 | Inf
64.09/64.14 o 48
64.09/64.14 c *60.6s| 27718 | 1962 |155876 | 5.6 | 32M| 59 | - |2053 |6671 |2053 |1736 |2478 | 32k|2069 | 0.000000e+00 | 4.800000e+01 | Inf
69.09/69.20 c 65.4s| 30000 | 1963 |174115 | 5.8 | 33M| 59 | 1 |2053 |6604 |2053 |1736 |2661 | 35k|2070 | 0.000000e+00 | 4.800000e+01 | Inf
72.39/72.41 o 42
72.39/72.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.39/72.41 c *68.4s| 31645 | 1926 |184911 | 5.8 | 33M| 67 | - |2053 |7444 |2053 |1736 |2786 | 37k|2070 | 0.000000e+00 | 4.200000e+01 | Inf
90.09/90.11 c 85.2s| 40000 | 1947 |248188 | 6.2 | 36M| 67 | 16 |2053 |9962 |2053 |1737 |3579 | 48k|2070 | 0.000000e+00 | 4.200000e+01 | Inf
113.99/114.06 c 108s| 50000 | 2169 |335519 | 6.7 | 40M| 67 | - |2053 | 11k| 0 | 0 |4404 | 60k|2301 | 0.000000e+00 | 4.200000e+01 | Inf
136.00/136.08 c 129s| 60000 | 2349 |405395 | 6.7 | 43M| 67 | 20 |2053 | 12k|2053 |1736 |5231 | 74k|2531 | 0.000000e+00 | 4.200000e+01 | Inf
159.90/159.92 c 152s| 70000 | 2402 |482044 | 6.9 | 45M| 67 | - |2053 | 12k|2053 |1740 |5950 | 87k|2838 | 0.000000e+00 | 4.200000e+01 | Inf
185.90/185.95 c 177s| 80000 | 2485 |573098 | 7.2 | 48M| 67 | 28 |2053 | 13k|2053 |1736 |6617 | 100k|3101 | 0.000000e+00 | 4.200000e+01 | Inf
208.50/208.51 c 198s| 90000 | 2740 |643450 | 7.1 | 53M| 67 | - |2053 | 16k| 0 | 0 |7549 | 113k|3274 | 0.000000e+00 | 4.200000e+01 | Inf
231.40/231.46 c 220s|100000 | 2970 |710357 | 7.1 | 56M| 67 | 28 |2053 | 17k|2053 |1736 |8129 | 125k|3491 | 0.000000e+00 | 4.200000e+01 | Inf
254.01/254.10 c 242s|110000 | 3206 |776946 | 7.1 | 59M| 67 | - |2053 | 14k| 0 | 0 |9072 | 138k|3678 | 0.000000e+00 | 4.200000e+01 | Inf
274.70/274.77 c 261s|120000 | 3380 |833995 | 6.9 | 63M| 69 | 5 |2053 | 16k|2053 |1736 | 10k| 151k|3803 | 0.000000e+00 | 4.200000e+01 | Inf
295.50/295.57 c 281s|130000 | 3560 |892687 | 6.9 | 66M| 74 | - |2053 | 17k| 0 | 0 | 10k| 164k|3908 | 0.000000e+00 | 4.200000e+01 | Inf
313.10/313.10 o 41
313.10/313.10 c * 298s|137962 | 3734 |942722 | 6.8 | 67M| 74 | - |2053 | 15k|2053 |1744 | 11k| 175k|4010 | 0.000000e+00 | 4.100000e+01 | Inf
317.30/317.38 c 302s|140000 | 3783 |953482 | 6.8 | 68M| 74 | 25 |2053 | 14k|2053 |1736 | 11k| 177k|4042 | 0.000000e+00 | 4.100000e+01 | Inf
338.60/338.63 c 322s|150000 | 3923 | 1016k| 6.8 | 70M| 74 | - |2053 | 10k| 0 | 0 | 12k| 190k|4209 | 0.000000e+00 | 4.100000e+01 | Inf
361.60/361.66 c 344s|160000 | 4009 | 1095k| 6.8 | 72M| 74 | - |2053 | 12k| 0 | 0 | 13k| 203k|4383 | 0.000000e+00 | 4.100000e+01 | Inf
383.50/383.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.50/383.59 c 365s|170000 | 4186 | 1164k| 6.8 | 75M| 74 | - |2053 | 11k| 0 | 0 | 13k| 216k|4488 | 0.000000e+00 | 4.100000e+01 | Inf
405.01/405.09 c 385s|180000 | 4320 | 1231k| 6.8 | 78M| 74 | 18 |2053 | 13k|2053 |1736 | 14k| 229k|4608 | 0.000000e+00 | 4.100000e+01 | Inf
426.40/426.44 c 406s|190000 | 4457 | 1292k| 6.8 | 81M| 74 | - |2053 | 15k| 0 | 0 | 15k| 242k|4726 | 0.000000e+00 | 4.100000e+01 | Inf
447.71/447.75 c 426s|200000 | 4595 | 1351k| 6.8 | 83M| 74 | - |2053 | 16k| 0 | 0 | 15k| 255k|4852 | 0.000000e+00 | 4.100000e+01 | Inf
468.51/468.53 c 446s|210000 | 4685 | 1407k| 6.7 | 85M| 74 | 5 |2053 | 16k|2053 |1736 | 16k| 269k|4941 | 0.000000e+00 | 4.100000e+01 | Inf
489.90/489.97 c 466s|220000 | 4784 | 1467k| 6.7 | 87M| 78 | 24 |2053 | 16k|2053 |1736 | 17k| 283k|5021 | 0.000000e+00 | 4.100000e+01 | Inf
512.11/512.17 c 487s|230000 | 4768 | 1530k| 6.7 | 88M| 86 | 20 |2053 | 16k|2053 |1736 | 17k| 297k|5145 | 0.000000e+00 | 4.100000e+01 | Inf
536.91/536.98 c 511s|240000 | 4919 | 1605k| 6.7 | 89M| 86 | - |2053 | 15k| 0 | 0 | 18k| 310k|5243 | 0.000000e+00 | 4.100000e+01 | Inf
561.10/561.11 c 534s|250000 | 5161 | 1678k| 6.7 | 94M| 86 | 9 |2053 | 17k|2053 |1736 | 19k| 324k|5337 | 0.000000e+00 | 4.100000e+01 | Inf
584.01/584.08 c 556s|260000 | 5362 | 1744k| 6.7 | 97M| 86 | - |2053 | 17k| 0 | 0 | 20k| 337k|5453 | 0.000000e+00 | 4.100000e+01 | Inf
606.91/606.90 c 578s|270000 | 5464 | 1810k| 6.7 | 99M| 86 | - |2053 | 18k| 0 | 0 | 20k| 351k|5562 | 0.000000e+00 | 4.100000e+01 | Inf
630.41/630.47 o 38
630.41/630.47 c * 600s|279461 | 5412 | 1883k| 6.7 | 99M| 86 | - |2053 | 18k|2053 |1736 | 21k| 364k|5710 | 0.000000e+00 | 3.800000e+01 | Inf
631.71/631.77 c 602s|280000 | 5443 | 1886k| 6.7 | 99M| 86 | - |2053 | 17k| 0 | 0 | 21k| 365k|5718 | 0.000000e+00 | 3.800000e+01 | Inf
655.01/655.03 c 624s|290000 | 5637 | 1953k| 6.7 | 104M| 86 | 16 |2053 | 19k|2053 |1736 | 22k| 378k|5798 | 0.000000e+00 | 3.800000e+01 | Inf
677.71/677.75 c 645s|300000 | 5758 | 2020k| 6.7 | 105M| 86 | - |2053 | 15k| 0 | 0 | 23k| 391k|5919 | 0.000000e+00 | 3.800000e+01 | Inf
701.82/701.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.82/701.87 c 668s|310000 | 5784 | 2094k| 6.8 | 105M| 86 | - |2053 | 13k| 0 | 0 | 24k| 405k|6110 | 0.000000e+00 | 3.800000e+01 | Inf
723.82/723.89 c 689s|320000 | 5915 | 2163k| 6.8 | 107M| 86 | - |2053 | 12k| 0 | 0 | 25k| 417k|6181 | 0.000000e+00 | 3.800000e+01 | Inf
746.02/746.03 c 710s|330000 | 6192 | 2231k| 6.8 | 111M| 86 | - |2053 | 13k| 0 | 0 | 25k| 429k|6276 | 0.000000e+00 | 3.800000e+01 | Inf
768.92/768.97 c 732s|340000 | 6418 | 2302k| 6.8 | 115M| 86 | - |2053 | 16k|2053 |1736 | 26k| 442k|6362 | 0.000000e+00 | 3.800000e+01 | Inf
792.92/792.97 c 755s|350000 | 6623 | 2378k| 6.8 | 118M| 86 | 18 |2053 | 16k|2053 |1736 | 27k| 456k|6456 | 0.000000e+00 | 3.800000e+01 | Inf
817.01/817.08 c 778s|360000 | 6827 | 2455k| 6.8 | 121M| 86 | - |2053 | 15k| 0 | 0 | 28k| 468k|6578 | 0.000000e+00 | 3.800000e+01 | Inf
840.12/840.14 c 800s|370000 | 6977 | 2524k| 6.8 | 124M| 86 | - |2053 | 15k| 0 | 0 | 29k| 482k|6654 | 0.000000e+00 | 3.800000e+01 | Inf
862.71/862.76 c 822s|380000 | 7179 | 2591k| 6.8 | 127M| 86 | - |2053 | 16k| 0 | 0 | 30k| 495k|6750 | 0.000000e+00 | 3.800000e+01 | Inf
885.22/885.26 c 843s|390000 | 7265 | 2660k| 6.8 | 128M| 86 | 21 |2053 | 14k|2053 |1736 | 31k| 509k|6839 | 0.000000e+00 | 3.800000e+01 | Inf
908.42/908.40 c 865s|400000 | 7363 | 2732k| 6.8 | 130M| 86 | 23 |2053 | 14k|2053 |1736 | 31k| 523k|6960 | 0.000000e+00 | 3.800000e+01 | Inf
931.22/931.23 c 887s|410000 | 7489 | 2804k| 6.8 | 132M| 86 | 27 |2053 | 14k|2053 |1736 | 32k| 537k|7031 | 0.000000e+00 | 3.800000e+01 | Inf
953.12/953.17 c 908s|420000 | 7714 | 2869k| 6.8 | 135M| 86 | - |2053 | 12k|2053 |1736 | 33k| 551k|7103 | 0.000000e+00 | 3.800000e+01 | Inf
977.12/977.12 c 931s|430000 | 7906 | 2952k| 6.9 | 138M| 86 | - |2053 | 11k| 0 | 0 | 34k| 564k|7193 | 0.000000e+00 | 3.800000e+01 | Inf
1000.82/1000.88 c 954s|440000 | 8011 | 3031k| 6.9 | 141M| 86 | - |2053 | 12k| 0 | 0 | 35k| 578k|7303 | 0.000000e+00 | 3.800000e+01 | Inf
1023.62/1023.65 c 975s|450000 | 8086 | 3101k| 6.9 | 143M| 86 | - |2053 | 14k| 0 | 0 | 35k| 591k|7404 | 0.000000e+00 | 3.800000e+01 | Inf
1048.33/1048.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1048.33/1048.33 c 999s|460000 | 8201 | 3183k| 6.9 | 145M| 86 | 9 |2053 | 14k|2053 |1736 | 36k| 605k|7498 | 0.000000e+00 | 3.800000e+01 | Inf
1071.93/1071.93 c 1021s|470000 | 8406 | 3259k| 6.9 | 148M| 86 | 17 |2053 | 15k|2053 |1736 | 37k| 619k|7580 | 0.000000e+00 | 3.800000e+01 | Inf
1094.83/1094.85 c 1043s|480000 | 8491 | 3332k| 6.9 | 150M| 86 | - |2053 | 14k| 0 | 0 | 38k| 632k|7635 | 0.000000e+00 | 3.800000e+01 | Inf
1117.83/1117.80 c 1065s|490000 | 8551 | 3402k| 6.9 | 153M| 86 | - |2053 | 16k| 0 | 0 | 39k| 646k|7743 | 0.000000e+00 | 3.800000e+01 | Inf
1141.73/1141.75 c 1088s|500000 | 8650 | 3478k| 7.0 | 154M| 86 | - |2053 | 14k| 0 | 0 | 40k| 660k|7823 | 0.000000e+00 | 3.800000e+01 | Inf
1164.13/1164.11 c 1109s|510000 | 8746 | 3545k| 7.0 | 157M| 86 | - |2053 | 17k| 0 | 0 | 41k| 674k|7906 | 0.000000e+00 | 3.800000e+01 | Inf
1188.23/1188.23 c 1132s|520000 | 8926 | 3621k| 7.0 | 160M| 86 | 21 |2053 | 17k|2053 |1736 | 42k| 687k|7967 | 0.000000e+00 | 3.800000e+01 | Inf
1211.23/1211.24 c 1155s|530000 | 9084 | 3684k| 7.0 | 164M| 86 | 24 |2053 | 20k|2053 |1736 | 42k| 700k|8070 | 0.000000e+00 | 3.800000e+01 | Inf
1236.73/1236.77 c 1179s|540000 | 9060 | 3758k| 7.0 | 164M| 86 | 21 |2053 | 16k|2053 |1736 | 43k| 714k|8156 | 0.000000e+00 | 3.800000e+01 | Inf
1261.13/1261.14 c 1203s|550000 | 9102 | 3830k| 7.0 | 165M| 86 | 15 |2053 | 18k|2053 |1736 | 44k| 728k|8211 | 0.000000e+00 | 3.800000e+01 | Inf
1286.03/1286.04 c 1226s|560000 | 9269 | 3905k| 7.0 | 169M| 86 | - |2053 | 22k| 0 | 0 | 45k| 743k|8275 | 0.000000e+00 | 3.800000e+01 | Inf
1301.03/1301.09 o 34
1301.03/1301.09 c *1241s|566173 | 8981 | 3947k| 7.0 | 158M| 86 | - |2053 | 15k|2053 |1744 | 45k| 752k|8330 | 0.000000e+00 | 3.400000e+01 | Inf
1309.83/1309.82 c 1249s|570000 | 9063 | 3973k| 7.0 | 160M| 86 | 18 |2053 | 17k|2053 |1736 | 45k| 757k|8366 | 0.000000e+00 | 3.400000e+01 | Inf
1335.23/1335.26 c 1274s|580000 | 9238 | 4056k| 7.0 | 164M| 86 | 35 |2053 | 18k|2053 |1736 | 46k| 770k|8450 | 0.000000e+00 | 3.400000e+01 | Inf
1358.23/1358.28 c 1296s|590000 | 9371 | 4130k| 7.0 | 167M| 96 | - |2053 | 18k| 0 | 0 | 47k| 784k|8497 | 0.000000e+00 | 3.400000e+01 | Inf
1382.33/1382.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.33/1382.35 c 1319s|600000 | 9474 | 4210k| 7.0 | 168M| 96 | - |2053 | 14k| 0 | 0 | 48k| 797k|8564 | 0.000000e+00 | 3.400000e+01 | Inf
1407.74/1407.79 c 1344s|610000 | 9660 | 4296k| 7.0 | 170M| 96 | - |2053 | 11k| 0 | 0 | 49k| 811k|8773 | 0.000000e+00 | 3.400000e+01 | Inf
1435.04/1435.07 c 1370s|620000 | 9893 | 4402k| 7.1 | 174M| 96 | 26 |2053 | 15k|2053 |1736 | 49k| 824k|8817 | 0.000000e+00 | 3.400000e+01 | Inf
1462.73/1462.73 c 1396s|630000 | 10048 | 4504k| 7.1 | 177M| 96 | - |2053 | 16k| 0 | 0 | 50k| 837k|8903 | 0.000000e+00 | 3.400000e+01 | Inf
1489.73/1489.77 c 1422s|640000 | 10230 | 4603k| 7.2 | 181M| 96 | - |2053 | 18k|2053 |1736 | 51k| 851k|8977 | 0.000000e+00 | 3.400000e+01 | Inf
1516.95/1516.97 c 1448s|650000 | 10382 | 4698k| 7.2 | 184M| 96 | - |2053 | 20k|2053 |1736 | 51k| 864k|9068 | 0.000000e+00 | 3.400000e+01 | Inf
1542.74/1542.74 c 1472s|660000 | 10521 | 4779k| 7.2 | 187M| 96 | 24 |2053 | 19k|2053 |1736 | 52k| 878k|9176 | 0.000000e+00 | 3.400000e+01 | Inf
1571.44/1571.43 c 1500s|670000 | 10569 | 4881k| 7.3 | 189M| 96 | - |2053 | 16k| 0 | 0 | 53k| 892k|9287 | 0.000000e+00 | 3.400000e+01 | Inf
1596.64/1596.68 c 1524s|680000 | 10444 | 4965k| 7.3 | 188M| 96 | - |2053 | 13k| 0 | 0 | 53k| 906k|9371 | 0.000000e+00 | 3.400000e+01 | Inf
1621.64/1621.63 c 1548s|690000 | 10717 | 5048k| 7.3 | 192M| 96 | 10 |2053 | 15k|2053 |1736 | 54k| 919k|9467 | 0.000000e+00 | 3.400000e+01 | Inf
1646.14/1646.10 c 1571s|700000 | 11050 | 5128k| 7.3 | 196M| 96 | 1 |2053 | 17k|2053 |1736 | 55k| 932k|9500 | 0.000000e+00 | 3.400000e+01 | Inf
1671.24/1671.26 c 1595s|710000 | 11196 | 5210k| 7.3 | 199M| 96 | 21 |2053 | 16k|2053 |1736 | 55k| 945k|9573 | 0.000000e+00 | 3.400000e+01 | Inf
1696.25/1696.27 c 1619s|720000 | 11362 | 5289k| 7.3 | 202M| 96 | 20 |2053 | 17k|2053 |1736 | 56k| 959k|9673 | 0.000000e+00 | 3.400000e+01 | Inf
1722.25/1722.22 c 1644s|730000 | 11509 | 5379k| 7.4 | 205M| 96 | - |2053 | 18k| 0 | 0 | 56k| 972k|9716 | 0.000000e+00 | 3.400000e+01 | Inf
1746.85/1746.85 c 1668s|740000 | 11685 | 5456k| 7.4 | 207M| 96 | 20 |2053 | 18k|2053 |1736 | 57k| 986k|9796 | 0.000000e+00 | 3.400000e+01 | Inf
1771.75/1771.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.75/1771.70 c 1692s|750000 | 11853 | 5536k| 7.4 | 209M| 96 | 23 |2053 | 17k|2053 |1736 | 58k|1000k|9854 | 0.000000e+00 | 3.400000e+01 | Inf
1798.04/1798.09 c 1717s|760000 | 11980 | 5626k| 7.4 | 212M| 96 | - |2053 | 18k| 0 | 0 | 58k|1014k|9892 | 0.000000e+00 | 3.400000e+01 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1719.32
1800.05/1800.00 c Solving Nodes : 760753
1800.05/1800.00 c Primal Bound : +3.40000000000000e+01 (271 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.02 s SATISFIABLE
1800.05/1800.02 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 x168
1800.05/1800.02 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 x150 -x149 -x148 -x147
1800.05/1800.02 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126
1800.05/1800.02 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105
1800.05/1800.02 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80
1800.05/1800.02 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.05/1800.02 v -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 x31 -x30 -x29
1800.05/1800.02 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2
1800.05/1800.02 v -x1
1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.02 c Solving Time : 1719.32
1800.05/1800.02 c Original Problem :
1800.05/1800.02 c Problem name : HOME/instance-2692750-1277900917.wbo
1800.05/1800.02 c Variables : 2153 (1192 binary, 0 integer, 0 implicit integer, 961 continuous)
1800.05/1800.02 c Constraints : 3669 initial, 3669 maximal
1800.05/1800.02 c Presolved Problem :
1800.05/1800.02 c Problem name : t_HOME/instance-2692750-1277900917.wbo
1800.05/1800.02 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.05/1800.02 c Constraints : 3512 initial, 23170 maximal
1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.02 c trivial : 0.00 50 0 0 0 0 0 0 0
1800.05/1800.02 c dualfix : 0.00 50 0 0 0 0 0 0 0
1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 0.00 0 0 0 0 0 50 0 0
1800.05/1800.02 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c linear : 0.04 0 0 0 961 0 107 50 0
1800.05/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c root node : - 565 - - 1130 - - - -
1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c integral : 0 0 0 427383 0 73 1523 0 0 828494
1800.05/1800.02 c indicator : 911 0 4051189 11919 0 3862 15517750 0 0 0
1800.05/1800.02 c knapsack : 1 6 4031166 11820 0 52901 10623699 0 0 0
1800.05/1800.02 c setppc : 15 6 3988432 11811 0 81381 2118215 0 0 0
1800.05/1800.02 c linear : 911 6 3913914 11887 0 47775 3393556 58624 0 0
1800.05/1800.02 c logicor : 1674+ 6 1875634 1680 0 104729 6557386 0 0 0
1800.05/1800.02 c bounddisjunction : 0+ 0 105177 0 0 4 486 0 0 0
1800.05/1800.02 c countsols : 0 0 0 1680 0 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.02 c integral : 40.65 0.00 0.00 40.65 0.00
1800.05/1800.02 c indicator : 31.09 0.00 30.69 0.40 0.00
1800.05/1800.02 c knapsack : 39.49 0.00 39.49 0.00 0.00
1800.05/1800.02 c setppc : 12.52 0.00 12.52 0.00 0.00
1800.05/1800.02 c linear : 38.86 0.00 38.68 0.18 0.00
1800.05/1800.02 c logicor : 163.17 0.00 163.15 0.02 0.00
1800.05/1800.02 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.05/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.02 c vbounds : 0.00 2 0 0
1800.05/1800.02 c rootredcost : 0.00 23 0 565
1800.05/1800.02 c pseudoobj : 103.78 4093185 41040 14279481
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 14.16 327830 327627 2064610 28.9 20352 21.0 -
1800.05/1800.02 c infeasible LP : 13.62 67713 67709 588758 41.7 899 18.0 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.01 90 90 541 21.2 12 16.1 -
1800.05/1800.02 c applied globally : - - - 1015222 25.1 - - -
1800.05/1800.02 c applied locally : - - - 0 0.0 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 5 - - 95 - (maximal pool size: 257)
1800.05/1800.02 c redcost : 16.56 447576 0 1048830 0 0
1800.05/1800.02 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 0.17 6 0 0 2155 0
1800.05/1800.02 c strongcg : 0.13 6 0 0 681 0
1800.05/1800.02 c cmir : 0.05 6 0 0 2 0
1800.05/1800.02 c flowcover : 0.04 6 0 0 3 0
1800.05/1800.02 c clique : 0.00 6 0 0 0 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.00 1 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 40.62 415458 73 1523 0 0 828494
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 0.12 1660 0 0 0 0 3320
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.00 - 20
1800.05/1800.02 c pseudo solutions : 0.00 - 0
1800.05/1800.02 c feaspump : 0.01 1 0
1800.05/1800.02 c oneopt : 0.06 22 0
1800.05/1800.02 c intshifting : 0.00 21 0
1800.05/1800.02 c crossover : 0.60 35 0
1800.05/1800.02 c fracdiving : 0.42 151 1
1800.05/1800.02 c veclendiving : 0.48 151 0
1800.05/1800.02 c objpscostdiving : 1.04 76 0
1800.05/1800.02 c rootsoldiving : 4.54 76 0
1800.05/1800.02 c linesearchdiving : 0.37 152 0
1800.05/1800.02 c guideddiving : 0.38 152 0
1800.05/1800.02 c coefdiving : 0.52 152 1
1800.05/1800.02 c pscostdiving : 0.48 152 0
1800.05/1800.02 c trivial : 0.00 2 0
1800.05/1800.02 c simplerounding : 0.29 420011 0
1800.05/1800.02 c zirounding : 0.20 1000 0
1800.05/1800.02 c rounding : 1.18 9143 0
1800.05/1800.02 c shifting : 1.17 2871 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.02 1 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c nlp : 0.00 0 0
1800.05/1800.02 c trysol : 0.84 3016 249
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.01 0 0 0.00 0.00
1800.05/1800.02 c dual LP : 872.91 496986 5603629 11.28 6419.48
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 5.18 3517 28063 7.98 5417.57
1800.05/1800.02 c strong branching : 36.95 9903 236349 23.87 6396.45
1800.05/1800.02 c (at root node) : - 33 5140 155.76 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 760753
1800.05/1800.02 c nodes (total) : 760753
1800.05/1800.02 c nodes left : 11997
1800.05/1800.02 c max depth : 96
1800.05/1800.02 c max depth (total): 96
1800.05/1800.02 c backtracks : 86758 (11.4%)
1800.05/1800.02 c delayed cutoffs : 58073
1800.05/1800.02 c repropagations : 1504481 (11405876 domain reductions, 52457 cutoffs)
1800.05/1800.02 c avg switch length: 5.65
1800.05/1800.02 c switching time : 186.41
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 271 (23 improvements)
1800.05/1800.02 c First Solution : +4.39280000000000e+04 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>)
1800.05/1800.02 c Primal Bound : +3.40000000000000e+01 (in run 1, after 566173 nodes, 1240.94 seconds, depth 43, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 415
1800.15/1800.19 c Time complete: 1800.24.
Begin job on node139 at 2010-06-30 14:28:38
IDJOB=2692750
IDBENCH=78886
IDSOLVER=1204
FILE ID=node139/2692750-1277900917
PBS_JOBID= 11197246
Free space on /tmp= 74124 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692750-1277900917/watcher-2692750-1277900917 -o /tmp/evaluation-result-2692750-1277900917/solver-2692750-1277900917 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692750-1277900917.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= af1f4aa986dfaf7d995a788abb35be25
RANDOM SEED=42650117
node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/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.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.78
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31065624 kB
Buffers: 189048 kB
Cached: 1473028 kB
SwapCached: 0 kB
Active: 750112 kB
Inactive: 989128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31065624 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4736 kB
Writeback: 0 kB
AnonPages: 77368 kB
Mapped: 15456 kB
Slab: 82724 kB
PageTables: 3896 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 218532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74120 MiB
End job on node139 at 2010-06-30 14:58:40