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-2692861-1277907422.wbo>
0.00/0.03 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.02/0.04 c presolving:
0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.02/0.08 c (round 2) 0 del vars, 113 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.08/0.10 c (round 3) 52 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.08/0.11 c (round 4) 104 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.08/0.16 c (0.1s) probing: 101/1085 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.16 c presolving (5 rounds):
0.08/0.16 c 104 deleted vars, 165 deleted constraints, 906 tightened bounds, 0 added holes, 52 changed sides, 0 changed coefficients
0.08/0.16 c 1116 implications, 14 cliques
0.08/0.16 c presolved problem has 1939 variables (1085 bin, 0 int, 0 impl, 854 cont) and 3449 constraints
0.08/0.16 c 854 constraints of type <indicator>
0.08/0.16 c 1 constraints of type <knapsack>
0.08/0.16 c 14 constraints of type <setppc>
0.08/0.16 c 854 constraints of type <linear>
0.08/0.16 c 1726 constraints of type <logicor>
0.08/0.16 c transformed objective value is always integral (scale: 1)
0.08/0.16 c Presolving Time: 0.11
0.08/0.16 c - non default parameters ----------------------------------------------------------------------
0.08/0.16 c # SCIP version 1.2.1.2
0.08/0.16 c
0.08/0.16 c # frequency for displaying node information lines
0.08/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.16 c display/freq = 10000
0.08/0.16 c
0.08/0.16 c # maximal time in seconds to run
0.08/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.16 c limits/time = 1799.98
0.08/0.16 c
0.08/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.16 c limits/memory = 3420
0.08/0.16 c
0.08/0.16 c # should presolving try to simplify inequalities
0.08/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.16 c constraints/linear/simplifyinequalities = TRUE
0.08/0.16 c
0.08/0.16 c # should presolving try to simplify knapsacks
0.08/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.16 c
0.08/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.16 c separating/rapidlearning/freq = 0
0.08/0.16 c
0.08/0.16 c -----------------------------------------------------------------------------------------------
0.08/0.16 c start solving
0.08/0.16 c
0.08/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.17 c 0.1s| 1 | 0 | 45 | - |8748k| 0 | 23 |1939 |3449 |1939 |1741 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 435 | - |8877k| 0 | 45 |1939 |3449 |1939 |1755 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 c 0.3s| 1 | 0 | 479 | - |9199k| 0 | 48 |1939 |3449 |1939 |1764 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.47 c 0.4s| 1 | 0 | 500 | - |9208k| 0 | 48 |1939 |3449 |1939 |1768 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
0.48/0.58 c 0.5s| 1 | 0 | 502 | - |9210k| 0 | 50 |1939 |3449 |1939 |1770 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.09 c 1.0s| 1 | 2 | 502 | - |9243k| 0 | 50 |1939 |3449 |1939 |1770 | 29 | 0 | 33 | 0.000000e+00 | -- | Inf
0.99/1.09 o 42102
0.99/1.09 c y 1.0s| 2 | 1 | 502 | 0.0 |9274k| 1 | - |1939 |3449 | 0 | 0 | 29 | 0 | 33 | 0.000000e+00 | 4.210200e+04 | Inf
4.58/4.69 o 700
4.58/4.69 c * 4.6s| 103 | 82 | 1637 | 11.1 |9958k| 27 | - |1939 |3472 |1939 |1762 | 73 | 23 | 465 | 0.000000e+00 | 7.000000e+02 | Inf
4.69/4.71 o 684
4.69/4.71 c * 4.6s| 109 | 86 | 1653 | 10.7 | 10M| 27 | - |1939 |3472 |1939 |1763 | 74 | 23 | 467 | 0.000000e+00 | 6.840000e+02 | Inf
4.69/4.71 o 654
4.69/4.71 c * 4.6s| 110 | 85 | 1657 | 10.6 | 10M| 27 | - |1939 |3472 |1939 |1763 | 74 | 23 | 467 | 0.000000e+00 | 6.540000e+02 | Inf
7.79/7.81 o 541
7.79/7.81 c * 7.7s| 205 | 127 | 3818 | 16.3 | 11M| 27 | - |1939 |3495 |1939 |1767 | 123 | 46 | 907 | 0.000000e+00 | 5.410000e+02 | Inf
7.79/7.82 o 480
7.79/7.82 c * 7.7s| 207 | 118 | 3821 | 16.1 | 11M| 27 | - |1939 |3495 |1939 |1767 | 123 | 46 | 907 | 0.000000e+00 | 4.800000e+02 | Inf
7.79/7.84 o 434
7.79/7.84 c * 7.7s| 211 | 115 | 3827 | 15.8 | 11M| 27 | - |1939 |3500 |1939 |1767 | 123 | 51 | 909 | 0.000000e+00 | 4.340000e+02 | Inf
8.29/8.31 o 399
8.29/8.31 c * 8.2s| 260 | 118 | 4184 | 14.2 | 11M| 27 | - |1939 |3548 |1939 |1765 | 151 | 99 |1000 | 0.000000e+00 | 3.990000e+02 | Inf
8.48/8.57 o 361
8.48/8.57 c * 8.4s| 306 | 117 | 4437 | 12.9 | 11M| 27 | - |1939 |3593 |1939 |1769 | 173 | 144 |1053 | 0.000000e+00 | 3.610000e+02 | Inf
9.79/9.82 o 349
9.79/9.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.79/9.82 c * 9.7s| 401 | 156 | 5480 | 12.4 | 12M| 36 | - |1939 |3689 |1939 |1762 | 213 | 240 |1269 | 0.000000e+00 | 3.490000e+02 | Inf
9.79/9.84 o 344
9.79/9.84 c * 9.7s| 404 | 156 | 5507 | 12.4 | 12M| 36 | - |1939 |3689 |1939 |1771 | 222 | 240 |1269 | 0.000000e+00 | 3.440000e+02 | Inf
9.89/9.91 o 285
9.89/9.91 c * 9.7s| 430 | 135 | 5575 | 11.8 | 12M| 36 | - |1939 |3741 |1939 |1762 | 222 | 292 |1274 | 0.000000e+00 | 2.850000e+02 | Inf
10.18/10.28 o 251
10.18/10.28 c *10.1s| 491 | 134 | 5973 | 11.2 | 12M| 36 | - |1939 |3819 |1939 |1763 | 223 | 374 |1324 | 0.000000e+00 | 2.510000e+02 | Inf
14.69/14.72 o 223
14.69/14.72 c *14.5s| 1646 | 403 | 14272 | 8.4 | 14M| 36 | - |1939 |4597 |1939 |1767 | 413 |1606 |1817 | 0.000000e+00 | 2.230000e+02 | Inf
15.29/15.33 o 194
15.29/15.33 c *15.1s| 1955 | 452 | 15758 | 7.8 | 15M| 44 | - |1939 |4841 |1939 |1764 | 483 |1934 |1834 | 0.000000e+00 | 1.940000e+02 | Inf
17.59/17.61 o 191
17.59/17.61 c *17.3s| 2768 | 584 | 21685 | 7.7 | 15M| 44 | - |1939 |4798 |1939 |1762 | 599 |2729 |1968 | 0.000000e+00 | 1.910000e+02 | Inf
19.49/19.58 o 160
19.49/19.58 c *19.2s| 3464 | 670 | 28928 | 8.2 | 16M| 44 | - |1939 |5032 |1939 |1766 | 729 |3521 |2000 | 0.000000e+00 | 1.600000e+02 | Inf
19.49/19.60 o 116
19.49/19.60 c *19.2s| 3467 | 606 | 28933 | 8.2 | 15M| 44 | - |1939 |5039 |1939 |1766 | 729 |3528 |2000 | 0.000000e+00 | 1.160000e+02 | Inf
21.59/21.63 o 108
21.59/21.63 c *21.2s| 4321 | 711 | 34499 | 7.9 | 17M| 44 | - |1939 |5784 |1939 |1762 | 821 |4716 |2033 | 0.000000e+00 | 1.080000e+02 | Inf
22.49/22.52 o 107
22.49/22.52 c f22.1s| 4715 | 743 | 36764 | 7.7 | 18M| 49 | - |1939 |5894 |1939 |1762 | 865 |5207 |2033 | 0.000000e+00 | 1.070000e+02 | Inf
26.19/26.25 o 97
26.19/26.25 c *25.8s| 6304 | 847 | 47897 | 7.5 | 19M| 49 | - |1939 |5900 |1939 |1762 |1113 |7043 |2047 | 0.000000e+00 | 9.700000e+01 | Inf
26.69/26.70 o 81
26.69/26.70 c *26.2s| 6493 | 790 | 49073 | 7.5 | 19M| 49 | - |1939 |5754 |1939 |1763 |1126 |7278 |2048 | 0.000000e+00 | 8.100000e+01 | Inf
33.69/33.79 o 75
33.69/33.79 c *33.2s| 9597 | 973 | 69644 | 7.2 | 23M| 49 | - |1939 |6743 |1939 |1762 |1490 | 11k|2049 | 0.000000e+00 | 7.500000e+01 | Inf
34.59/34.61 o 59
34.59/34.61 c *34.0s| 9946 | 865 | 71919 | 7.2 | 21M| 49 | - |1939 |6826 |1939 |1769 |1576 | 11k|2049 | 0.000000e+00 | 5.900000e+01 | Inf
34.69/34.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.69/34.75 c 34.1s| 10000 | 863 | 72332 | 7.2 | 21M| 49 | 12 |1939 |6601 |1939 |1762 |1581 | 11k|2049 | 0.000000e+00 | 5.900000e+01 | Inf
35.69/35.70 o 55
35.69/35.70 c *35.0s| 10356 | 832 | 75217 | 7.2 | 21M| 49 | - |1939 |5950 |1939 |1762 |1614 | 12k|2049 | 0.000000e+00 | 5.500000e+01 | Inf
45.69/45.72 o 54
45.69/45.72 c *44.9s| 14610 | 993 |108110 | 7.4 | 25M| 49 | - |1939 |7413 |1939 |1767 |2218 | 17k|2051 | 0.000000e+00 | 5.400000e+01 | Inf
58.08/58.11 c 57.0s| 20000 | 1170 |146220 | 7.3 | 29M| 49 | 28 |1939 |9710 |1939 |1762 |2835 | 24k|2053 | 0.000000e+00 | 5.400000e+01 | Inf
64.79/64.85 o 45
64.79/64.85 c *63.7s| 22782 | 1090 |168045 | 7.4 | 26M| 49 | - |1939 | 11k|1939 |1762 |3103 | 28k|2053 | 0.000000e+00 | 4.500000e+01 | Inf
75.90/75.92 o 43
75.90/75.92 c *74.5s| 27130 | 1024 |205028 | 7.5 | 26M| 49 | - |1939 | 10k|1939 |1762 |3485 | 34k|2053 | 0.000000e+00 | 4.300000e+01 | Inf
82.99/83.03 c 81.5s| 30000 | 1056 |229012 | 7.6 | 26M| 49 | 23 |1939 |7727 |1939 |1762 |3794 | 37k|2053 | 0.000000e+00 | 4.300000e+01 | Inf
85.49/85.54 o 22
85.49/85.54 c *84.0s| 30999 | 761 |237864 | 7.7 | 22M| 49 | - |1939 |8401 |1939 |1766 |3848 | 38k|2053 | 0.000000e+00 | 2.200000e+01 | Inf
99.39/99.44 o 21
99.39/99.44 c *97.7s| 36673 | 749 |285831 | 7.8 | 23M| 49 | - |1939 |9164 |1939 |1762 |4299 | 46k|2154 | 0.000000e+00 | 2.100000e+01 | Inf
108.09/108.15 c 106s| 40000 | 776 |316484 | 7.9 | 24M| 49 | - |1939 | 10k| 0 | 0 |4457 | 50k|2232 | 0.000000e+00 | 2.100000e+01 | Inf
108.09/108.20 o 19
108.09/108.20 c * 106s| 40010 | 742 |316642 | 7.9 | 23M| 49 | - |1939 | 10k|1939 |1765 |4460 | 50k|2233 | 0.000000e+00 | 1.900000e+01 | Inf
108.29/108.35 o 14
108.29/108.35 c * 106s| 40060 | 689 |317194 | 7.9 | 22M| 49 | - |1939 | 10k|1939 |1762 |4465 | 50k|2234 | 0.000000e+00 | 1.400000e+01 | Inf
134.49/134.51 c 132s| 50000 | 730 |413859 | 8.3 | 25M| 49 | 16 |1939 | 14k|1939 |1762 |5217 | 63k|2547 | 0.000000e+00 | 1.400000e+01 | Inf
162.39/162.47 c 160s| 60000 | 653 |514500 | 8.6 | 24M| 56 | 19 |1939 | 11k|1939 |1762 |5954 | 76k|2905 | 0.000000e+00 | 1.400000e+01 | Inf
187.49/187.57 c 184s| 70000 | 663 |599956 | 8.6 | 26M| 56 | - |1939 | 15k| 0 | 0 |6632 | 89k|3145 | 0.000000e+00 | 1.400000e+01 | Inf
215.30/215.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.30/215.39 c 212s| 80000 | 654 |693157 | 8.7 | 27M| 56 | 14 |1939 | 19k|1939 |1762 |7503 | 102k|3437 | 0.000000e+00 | 1.400000e+01 | Inf
244.39/244.45 c 240s| 90000 | 682 |790983 | 8.8 | 29M| 61 | - |1939 | 21k| 0 | 0 |8345 | 115k|3702 | 0.000000e+00 | 1.400000e+01 | Inf
260.00/260.00 o 12
260.00/260.00 c * 256s| 95527 | 614 |840587 | 8.8 | 27M| 61 | - |1939 | 18k|1939 |1762 |8944 | 122k|3854 | 0.000000e+00 | 1.200000e+01 | Inf
271.49/271.52 c 267s|100000 | 721 |878749 | 8.8 | 28M| 61 | 14 |1939 | 20k|1939 |1762 |9348 | 128k|3913 | 0.000000e+00 | 1.200000e+01 | Inf
298.60/298.67 c 294s|110000 | 658 |962675 | 8.7 | 29M| 61 | - |1939 | 21k| 0 | 0 | 10k| 141k|4112 | 0.000000e+00 | 1.200000e+01 | Inf
326.71/326.79 c 321s|120000 | 654 | 1049k| 8.7 | 30M| 61 | 18 |1939 | 25k|1939 |1762 | 11k| 155k|4310 | 0.000000e+00 | 1.200000e+01 | Inf
354.90/354.96 c 349s|130000 | 702 | 1128k| 8.7 | 33M| 61 | - |1939 | 32k| 0 | 0 | 12k| 168k|4472 | 0.000000e+00 | 1.200000e+01 | Inf
386.00/386.02 c 380s|140000 | 756 | 1215k| 8.7 | 34M| 62 | 20 |1939 | 31k|1939 |1762 | 12k| 182k|4653 | 0.000000e+00 | 1.200000e+01 | Inf
416.20/416.26 c 410s|150000 | 774 | 1300k| 8.7 | 35M| 62 | - |1939 | 34k|1939 |1762 | 13k| 195k|4815 | 0.000000e+00 | 1.200000e+01 | Inf
446.90/446.94 c 440s|160000 | 731 | 1388k| 8.7 | 33M| 62 | 26 |1939 | 27k|1939 |1762 | 14k| 209k|5014 | 0.000000e+00 | 1.200000e+01 | Inf
452.41/452.48 o 7
452.41/452.48 c * 445s|162099 | 578 | 1404k| 8.7 | 32M| 62 | - |1939 | 29k|1939 |1763 | 14k| 212k|5067 | 0.000000e+00 | 7.000000e+00 | Inf
474.51/474.57 c 467s|170000 | 607 | 1470k| 8.6 | 32M| 62 | - |1939 | 28k| 0 | 0 | 15k| 222k|5180 | 0.000000e+00 | 7.000000e+00 | Inf
477.11/477.17 o 5
477.11/477.17 c * 469s|170901 | 554 | 1479k| 8.7 | 31M| 62 | - |1939 | 28k|1939 |1762 | 15k| 224k|5182 | 0.000000e+00 | 5.000000e+00 | Inf
502.61/502.67 c 494s|180000 | 582 | 1554k| 8.6 | 32M| 62 | 23 |1939 | 29k|1939 |1762 | 16k| 236k|5302 | 0.000000e+00 | 5.000000e+00 | Inf
523.11/523.19 o 3
523.11/523.19 c * 515s|187267 | 567 | 1611k| 8.6 | 32M| 62 | - |1939 | 30k|1939 |1762 | 17k| 246k|5413 | 0.000000e+00 | 3.000000e+00 | Inf
530.50/530.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.50/530.53 c 522s|190000 | 559 | 1632k| 8.6 | 31M| 62 | 10 |1939 | 29k|1939 |1762 | 17k| 249k|5416 | 0.000000e+00 | 3.000000e+00 | Inf
559.51/559.50 c 550s|200000 | 554 | 1720k| 8.6 | 32M| 62 | - |1939 | 32k|1939 |1762 | 18k| 262k|5556 | 0.000000e+00 | 3.000000e+00 | Inf
589.61/589.67 c 580s|210000 | 590 | 1806k| 8.6 | 34M| 62 | 32 |1939 | 36k|1939 |1762 | 19k| 276k|5707 | 0.000000e+00 | 3.000000e+00 | Inf
618.31/618.32 c 608s|220000 | 609 | 1882k| 8.6 | 33M| 62 | 24 |1939 | 33k|1939 |1762 | 19k| 290k|5837 | 0.000000e+00 | 3.000000e+00 | Inf
647.31/647.33 c 637s|230000 | 594 | 1957k| 8.5 | 33M| 62 | 31 |1939 | 33k|1939 |1762 | 20k| 303k|5956 | 0.000000e+00 | 3.000000e+00 | Inf
679.61/679.67 c 669s|240000 | 606 | 2048k| 8.5 | 35M| 62 | - |1939 | 36k| 0 | 0 | 21k| 317k|6118 | 0.000000e+00 | 3.000000e+00 | Inf
713.92/713.96 c 702s|250000 | 662 | 2147k| 8.6 | 36M| 72 | 20 |1939 | 39k|1939 |1762 | 22k| 331k|6253 | 0.000000e+00 | 3.000000e+00 | Inf
745.52/745.57 c 733s|260000 | 631 | 2236k| 8.6 | 37M| 72 | - |1939 | 41k| 0 | 0 | 22k| 345k|6380 | 0.000000e+00 | 3.000000e+00 | Inf
780.21/780.21 c 766s|270000 | 584 | 2337k| 8.7 | 37M| 72 | - |1939 | 39k| 0 | 0 | 23k| 360k|6500 | 0.000000e+00 | 3.000000e+00 | Inf
811.42/811.48 c 796s|280000 | 598 | 2422k| 8.6 | 38M| 72 | - |1939 | 44k|1939 |1762 | 24k| 373k|6624 | 0.000000e+00 | 3.000000e+00 | Inf
842.92/842.97 c 826s|290000 | 433 | 2509k| 8.7 | 30M| 72 | 17 |1939 | 24k|1939 |1762 | 25k| 386k|6752 | 0.000000e+00 | 3.000000e+00 | Inf
870.42/870.46 c 853s|300000 | 412 | 2599k| 8.7 | 28M| 72 | 18 |1939 | 20k|1939 |1762 | 25k| 400k|6978 | 0.000000e+00 | 3.000000e+00 | Inf
894.91/894.94 c 876s|310000 | 416 | 2666k| 8.6 | 30M| 72 | 30 |1939 | 23k|1939 |1762 | 26k| 413k|7054 | 0.000000e+00 | 3.000000e+00 | Inf
922.01/922.01 c 902s|320000 | 509 | 2749k| 8.6 | 31M| 72 | 11 |1939 | 25k|1939 |1762 | 26k| 426k|7155 | 0.000000e+00 | 3.000000e+00 | Inf
951.00/951.07 c 930s|330000 | 398 | 2835k| 8.6 | 30M| 72 | - |1939 | 25k|1939 |1762 | 27k| 439k|7303 | 0.000000e+00 | 3.000000e+00 | Inf
979.60/979.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.60/979.61 c 957s|340000 | 402 | 2918k| 8.6 | 31M| 72 | - |1939 | 27k| 0 | 0 | 27k| 452k|7529 | 0.000000e+00 | 3.000000e+00 | Inf
1009.31/1009.36 c 986s|350000 | 452 | 3003k| 8.6 | 33M| 72 | 22 |1939 | 31k|1939 |1762 | 27k| 465k|7604 | 0.000000e+00 | 3.000000e+00 | Inf
1040.31/1040.39 c 1016s|360000 | 439 | 3086k| 8.6 | 35M| 72 | 13 |1939 | 35k|1939 |1762 | 28k| 478k|7700 | 0.000000e+00 | 3.000000e+00 | Inf
1074.41/1074.41 c 1048s|370000 | 508 | 3173k| 8.6 | 36M| 72 | - |1939 | 38k| 0 | 0 | 28k| 491k|7822 | 0.000000e+00 | 3.000000e+00 | Inf
1108.30/1108.35 c 1081s|380000 | 480 | 3257k| 8.6 | 37M| 72 | - |1939 | 40k| 0 | 0 | 28k| 505k|7962 | 0.000000e+00 | 3.000000e+00 | Inf
1142.20/1142.27 c 1114s|390000 | 492 | 3333k| 8.5 | 38M| 72 | 27 |1939 | 43k|1939 |1762 | 29k| 518k|8024 | 0.000000e+00 | 3.000000e+00 | Inf
1177.41/1177.46 c 1148s|400000 | 486 | 3414k| 8.5 | 39M| 72 | - |1939 | 43k| 0 | 0 | 30k| 531k|8128 | 0.000000e+00 | 3.000000e+00 | Inf
1213.91/1213.99 c 1183s|410000 | 519 | 3499k| 8.5 | 40M| 72 | - |1939 | 47k| 0 | 0 | 30k| 545k|8273 | 0.000000e+00 | 3.000000e+00 | Inf
1252.11/1252.10 c 1220s|420000 | 535 | 3585k| 8.5 | 42M| 72 | 20 |1939 | 49k|1939 |1762 | 30k| 560k|8362 | 0.000000e+00 | 3.000000e+00 | Inf
1289.61/1289.65 c 1257s|430000 | 510 | 3669k| 8.5 | 42M| 77 | 12 |1939 | 49k|1939 |1762 | 30k| 574k|8425 | 0.000000e+00 | 3.000000e+00 | Inf
1328.83/1328.84 c 1295s|440000 | 474 | 3753k| 8.5 | 42M| 77 | 23 |1939 | 50k|1939 |1762 | 31k| 588k|8555 | 0.000000e+00 | 3.000000e+00 | Inf
1369.52/1369.57 c 1334s|450000 | 504 | 3842k| 8.5 | 40M| 77 | - |1939 | 46k| 0 | 0 | 31k| 601k|8677 | 0.000000e+00 | 3.000000e+00 | Inf
1405.73/1405.77 c 1369s|460000 | 474 | 3925k| 8.5 | 40M| 77 | - |1939 | 46k| 0 | 0 | 31k| 614k|8731 | 0.000000e+00 | 3.000000e+00 | Inf
1443.13/1443.15 c 1405s|470000 | 444 | 4006k| 8.5 | 41M| 77 | - |1939 | 48k| 0 | 0 | 32k| 628k|8843 | 0.000000e+00 | 3.000000e+00 | Inf
1472.02/1472.04 o 2
1472.02/1472.04 c *1433s|477505 | 424 | 4068k| 8.5 | 41M| 77 | - |1939 | 48k|1939 |1762 | 32k| 638k|8912 | 0.000000e+00 | 2.000000e+00 | Inf
1481.92/1481.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.92/1481.99 c 1443s|480000 | 405 | 4089k| 8.5 | 39M| 77 | 20 |1939 | 43k|1939 |1762 | 32k| 641k|8962 | 0.000000e+00 | 2.000000e+00 | Inf
1513.72/1513.78 c 1474s|490000 | 393 | 4169k| 8.5 | 34M| 77 | 1 |1939 | 31k|1939 |1762 | 33k| 654k|9066 | 0.000000e+00 | 2.000000e+00 | Inf
1545.22/1545.21 c 1504s|500000 | 342 | 4256k| 8.5 | 33M| 77 | 1 |1939 | 29k|1939 |1762 | 34k| 666k|9208 | 0.000000e+00 | 2.000000e+00 | Inf
1576.23/1576.29 c 1534s|510000 | 354 | 4354k| 8.5 | 33M| 77 | 17 |1939 | 30k|1939 |1762 | 34k| 679k|9283 | 0.000000e+00 | 2.000000e+00 | Inf
1605.62/1605.60 c 1563s|520000 | 260 | 4446k| 8.6 | 32M| 77 | 24 |1939 | 28k|1939 |1762 | 35k| 692k|9382 | 0.000000e+00 | 2.000000e+00 | Inf
1636.12/1636.13 c 1592s|530000 | 260 | 4534k| 8.6 | 34M| 77 | - |1939 | 32k| 0 | 0 | 35k| 706k|9504 | 0.000000e+00 | 2.000000e+00 | Inf
1670.03/1670.07 c 1625s|540000 | 302 | 4631k| 8.6 | 35M| 77 | 36 |1939 | 34k|1939 |1762 | 35k| 719k|9592 | 0.000000e+00 | 2.000000e+00 | Inf
1703.83/1703.88 c 1658s|550000 | 251 | 4734k| 8.6 | 33M| 77 | 29 |1939 | 30k|1939 |1762 | 36k| 731k|9714 | 0.000000e+00 | 2.000000e+00 | Inf
1734.43/1734.48 c 1687s|560000 | 279 | 4835k| 8.6 | 35M| 77 | - |1939 | 35k| 0 | 0 | 37k| 744k|9825 | 0.000000e+00 | 2.000000e+00 | Inf
1766.54/1766.52 c 1718s|570000 | 288 | 4942k| 8.7 | 35M| 77 | - |1939 | 34k| 0 | 0 | 38k| 757k|9952 | 0.000000e+00 | 2.000000e+00 | Inf
1799.24/1799.28 c 1750s|580000 | 370 | 5044k| 8.7 | 37M| 77 | 25 |1939 | 39k|1939 |1762 | 39k| 770k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1750.72
1800.03/1800.01 c Solving Nodes : 580202
1800.03/1800.01 c Primal Bound : +2.00000000000000e+00 (222 solutions)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.02 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/1800.02 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.03/1800.02 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.03/1800.02 v -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.03/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 -x54
1800.03/1800.02 v -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.03/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.03/1800.02 v -x1
1800.03/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.02 c Solving Time : 1750.72
1800.03/1800.02 c Original Problem :
1800.03/1800.02 c Problem name : HOME/instance-2692861-1277907422.wbo
1800.03/1800.02 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.03/1800.02 c Constraints : 3614 initial, 3614 maximal
1800.03/1800.02 c Presolved Problem :
1800.03/1800.02 c Problem name : t_HOME/instance-2692861-1277907422.wbo
1800.03/1800.02 c Variables : 1939 (1085 binary, 0 integer, 0 implicit integer, 854 continuous)
1800.03/1800.02 c Constraints : 3449 initial, 52332 maximal
1800.03/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.02 c trivial : 0.00 52 0 0 0 0 0 0 0
1800.03/1800.02 c dualfix : 0.00 52 0 0 0 0 0 0 0
1800.03/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.02 c indicator : 0.00 0 0 0 0 0 52 0 0
1800.03/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c linear : 0.07 0 0 0 906 0 113 52 0
1800.03/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c root node : - 842 - - 1684 - - - -
1800.03/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.02 c integral : 0 0 0 322178 0 139 1796 0 0 626920
1800.03/1800.02 c indicator : 854 0 2720178 7221 0 273 997342 0 0 0
1800.03/1800.02 c knapsack : 1 5 2720228 7131 0 47469 6330036 0 0 0
1800.03/1800.02 c setppc : 14 5 2676860 7156 0 40665 1984661 0 0 0
1800.03/1800.02 c linear : 854 5 2637830 7213 0 49199 3254078 39128 0 0
1800.03/1800.02 c logicor : 1726+ 5 1347091 469 0 94084 5377049 0 0 0
1800.03/1800.02 c countsols : 0 0 0 469 0 0 0 0 0 0
1800.03/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.02 c integral : 44.49 0.00 0.00 44.49 0.00
1800.03/1800.02 c indicator : 3.61 0.00 3.50 0.11 0.00
1800.03/1800.02 c knapsack : 34.59 0.00 34.59 0.00 0.00
1800.03/1800.02 c setppc : 14.64 0.00 14.64 0.00 0.00
1800.03/1800.02 c linear : 44.18 0.01 43.96 0.21 0.00
1800.03/1800.02 c logicor : 342.69 0.00 342.69 0.00 0.00
1800.03/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.02 c vbounds : 0.32 2 0 0
1800.03/1800.02 c rootredcost : 0.27 37 0 842
1800.03/1800.02 c pseudoobj : 48.83 2728474 2243 828387
1800.03/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.02 c propagation : 10.85 233660 233073 1466804 29.0 7187 23.8 -
1800.03/1800.02 c infeasible LP : 16.90 76586 76585 613458 44.1 411 17.0 0
1800.03/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.02 c pseudo solution : 0.01 38 38 270 20.4 4 4.0 -
1800.03/1800.02 c applied globally : - - - 770804 27.5 - - -
1800.03/1800.02 c applied locally : - - - 0 0.0 - - -
1800.03/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.02 c cut pool : 0.00 4 - - 30 - (maximal pool size: 169)
1800.03/1800.02 c redcost : 9.07 323456 0 153660 0 0
1800.03/1800.02 c impliedbounds : 0.00 5 0 0 0 0
1800.03/1800.02 c intobj : 0.00 0 0 0 0 0
1800.03/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.02 c gomory : 0.22 5 0 0 1000 0
1800.03/1800.02 c strongcg : 0.16 5 0 0 568 0
1800.03/1800.02 c cmir : 0.01 5 0 0 4 0
1800.03/1800.02 c flowcover : 0.04 5 0 0 7 0
1800.03/1800.02 c clique : 0.00 5 0 0 0 0
1800.03/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.02 c mcf : 0.01 1 0 0 0 0
1800.03/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.02 c Pricers : Time Calls Vars
1800.03/1800.02 c problem variables: 0.00 0 0
1800.03/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.02 c relpscost : 44.34 314933 139 1796 0 0 626920
1800.03/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.02 c inference : 0.03 434 0 0 0 0 868
1800.03/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.02 c random : 0.00 0 0 0 0 0 0
1800.03/1800.02 c Primal Heuristics : Time Calls Found
1800.03/1800.02 c LP solutions : 0.04 - 35
1800.03/1800.02 c pseudo solutions : 0.00 - 0
1800.03/1800.02 c feaspump : 0.06 1 0
1800.03/1800.02 c oneopt : 0.28 36 0
1800.03/1800.02 c intshifting : 0.02 15 0
1800.03/1800.02 c fracdiving : 0.30 58 1
1800.03/1800.02 c veclendiving : 0.17 58 0
1800.03/1800.02 c linesearchdiving : 0.15 58 0
1800.03/1800.02 c guideddiving : 0.28 58 0
1800.03/1800.02 c coefdiving : 0.24 59 0
1800.03/1800.02 c pscostdiving : 0.27 59 0
1800.03/1800.02 c objpscostdiving : 0.29 30 0
1800.03/1800.02 c rootsoldiving : 1.00 30 0
1800.03/1800.02 c crossover : 0.85 34 0
1800.03/1800.02 c trivial : 0.00 2 0
1800.03/1800.02 c simplerounding : 0.50 315278 0
1800.03/1800.02 c zirounding : 0.36 1000 0
1800.03/1800.02 c rounding : 1.05 7950 0
1800.03/1800.02 c shifting : 0.93 2444 0
1800.03/1800.02 c twoopt : 0.00 0 0
1800.03/1800.02 c fixandinfer : 0.00 0 0
1800.03/1800.02 c intdiving : 0.00 0 0
1800.03/1800.02 c actconsdiving : 0.00 0 0
1800.03/1800.02 c octane : 0.00 0 0
1800.03/1800.02 c rens : 0.04 1 0
1800.03/1800.02 c rins : 0.00 0 0
1800.03/1800.02 c localbranching : 0.00 0 0
1800.03/1800.02 c mutation : 0.00 0 0
1800.03/1800.02 c dins : 0.00 0 0
1800.03/1800.02 c undercover : 0.00 0 0
1800.03/1800.02 c nlp : 0.07 0 0
1800.03/1800.02 c trysol : 0.47 1779 186
1800.03/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.02 c dual LP : 756.94 397433 5036408 12.67 6653.64
1800.03/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.02 c diving/probing LP: 1.79 1134 9835 8.67 5494.41
1800.03/1800.02 c strong branching : 40.60 10034 248330 24.75 6116.50
1800.03/1800.02 c (at root node) : - 33 2151 65.18 -
1800.03/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.02 c B&B Tree :
1800.03/1800.02 c number of runs : 1
1800.03/1800.02 c nodes : 580202
1800.03/1800.02 c nodes (total) : 580202
1800.03/1800.02 c nodes left : 374
1800.03/1800.02 c max depth : 77
1800.03/1800.02 c max depth (total): 77
1800.03/1800.02 c backtracks : 78610 (13.5%)
1800.03/1800.02 c delayed cutoffs : 45774
1800.03/1800.02 c repropagations : 1073743 (3659876 domain reductions, 43732 cutoffs)
1800.03/1800.02 c avg switch length: 5.01
1800.03/1800.02 c switching time : 245.04
1800.03/1800.02 c Solution :
1800.03/1800.02 c Solutions found : 222 (37 improvements)
1800.03/1800.02 c First Solution : +4.21020000000000e+04 (in run 1, after 1 nodes, 0.69 seconds, depth 0, found by <trysol>)
1800.03/1800.02 c Primal Bound : +2.00000000000000e+00 (in run 1, after 477505 nodes, 1433.49 seconds, depth 49, found by <relaxation>)
1800.03/1800.02 c Dual Bound : +0.00000000000000e+00
1800.03/1800.02 c Gap : infinite
1800.03/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.02 c Root Iterations : 502
1800.03/1800.10 c Time complete: 1800.13.
Begin job on node115 at 2010-06-30 16:17:02
IDJOB=2692861
IDBENCH=78949
IDSOLVER=1204
FILE ID=node115/2692861-1277907422
PBS_JOBID= 11197177
Free space on /tmp= 74212 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.1900554420--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-2692861-1277907422/watcher-2692861-1277907422 -o /tmp/evaluation-result-2692861-1277907422/solver-2692861-1277907422 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692861-1277907422.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b79c8ce52bbf55b2415ca4df8d18f0c8
RANDOM SEED=2005433630
node115.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.796
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.59
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.796
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 : 5226.08
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.796
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.75
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.796
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.76
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.796
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.82
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.796
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.796
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.75
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.796
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: 32950928 kB
MemFree: 31166548 kB
Buffers: 192884 kB
Cached: 933292 kB
SwapCached: 0 kB
Active: 977404 kB
Inactive: 664132 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31166548 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4708 kB
Writeback: 0 kB
AnonPages: 515764 kB
Mapped: 20308 kB
Slab: 77840 kB
PageTables: 5748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1658812 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= 74200 MiB
End job on node115 at 2010-06-30 16:47:04