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-2692785-1277903523.wbo>
0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.04 c presolving:
0.00/0.04 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.00/0.07 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.00/0.08 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.09 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.09/0.14 c (0.1s) probing: 101/1085 (9.3%) - 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 104 deleted vars, 165 deleted constraints, 906 tightened bounds, 0 added holes, 52 changed sides, 0 changed coefficients
0.09/0.14 c 1116 implications, 14 cliques
0.09/0.14 c presolved problem has 1939 variables (1085 bin, 0 int, 0 impl, 854 cont) and 3449 constraints
0.09/0.14 c 854 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 854 constraints of type <linear>
0.09/0.14 c 1726 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.10
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 | 45 | - |8748k| 0 | 23 |1939 |3449 |1939 |1741 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 369 | - |8879k| 0 | 45 |1939 |3449 |1939 |1755 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 432 | - |8952k| 0 | 45 |1939 |3449 |1939 |1762 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.46 c 0.4s| 1 | 0 | 447 | - |8959k| 0 | 44 |1939 |3449 |1939 |1767 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.57 c 0.5s| 1 | 0 | 455 | - |8960k| 0 | 50 |1939 |3449 |1939 |1768 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.69 c 0.6s| 1 | 0 | 456 | - |8962k| 0 | 50 |1939 |3449 |1939 |1769 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.26 c 1.2s| 1 | 2 | 456 | - |8965k| 0 | 50 |1939 |3449 |1939 |1769 | 28 | 0 | 33 | 0.000000e+00 | -- | Inf
2.49/2.50 o 42102
2.49/2.50 c y 2.4s| 23 | 22 | 736 | 12.7 |9113k| 21 | - |1939 |3449 | 0 | 0 | 33 | 0 | 225 | 0.000000e+00 | 4.210200e+04 | Inf
4.89/4.91 o 1091
4.89/4.91 c * 4.7s| 307 | 292 | 2082 | 5.3 | 10M| 33 | - |1939 |3462 |1939 |1771 | 168 | 13 | 777 | 0.000000e+00 | 1.091000e+03 | Inf
4.89/4.96 o 570
4.89/4.96 c * 4.7s| 316 | 248 | 2192 | 5.5 | 10M| 33 | - |1939 |3467 |1939 |1769 | 173 | 18 | 785 | 0.000000e+00 | 5.700000e+02 | Inf
5.89/5.91 o 499
5.89/5.91 c * 5.7s| 351 | 260 | 2781 | 6.6 | 10M| 33 | - |1939 |3471 |1939 |1765 | 179 | 22 |1000 | 0.000000e+00 | 4.990000e+02 | Inf
6.09/6.17 o 477
6.09/6.17 c * 5.9s| 399 | 268 | 3026 | 6.5 | 11M| 33 | - |1939 |3515 |1939 |1767 | 201 | 66 |1052 | 0.000000e+00 | 4.770000e+02 | Inf
6.09/6.18 o 441
6.09/6.18 c * 5.9s| 400 | 256 | 3033 | 6.5 | 11M| 33 | - |1939 |3515 |1939 |1767 | 201 | 66 |1052 | 0.000000e+00 | 4.410000e+02 | Inf
6.60/6.68 o 384
6.60/6.68 c * 6.4s| 412 | 237 | 3497 | 7.4 | 11M| 33 | - |1939 |3515 |1939 |1769 | 206 | 66 |1153 | 0.000000e+00 | 3.840000e+02 | Inf
6.60/6.69 o 342
6.60/6.69 c * 6.4s| 413 | 180 | 3504 | 7.4 | 11M| 33 | - |1939 |3515 |1939 |1769 | 206 | 66 |1153 | 0.000000e+00 | 3.420000e+02 | Inf
7.29/7.37 o 336
7.29/7.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.29/7.37 c * 7.0s| 537 | 200 | 4342 | 7.2 | 11M| 33 | - |1939 |3651 |1939 |1770 | 232 | 202 |1280 | 0.000000e+00 | 3.360000e+02 | Inf
7.29/7.38 o 300
7.29/7.38 c * 7.1s| 541 | 161 | 4351 | 7.2 | 11M| 33 | - |1939 |3656 |1939 |1770 | 232 | 207 |1282 | 0.000000e+00 | 3.000000e+02 | Inf
9.09/9.19 o 280
9.09/9.19 c * 8.8s| 821 | 199 | 6293 | 7.1 | 12M| 39 | - |1939 |3926 |1939 |1767 | 268 | 483 |1643 | 0.000000e+00 | 2.800000e+02 | Inf
9.30/9.37 o 257
9.30/9.37 c * 8.9s| 910 | 193 | 6519 | 6.7 | 12M| 42 | - |1939 |4014 |1939 |1770 | 277 | 576 |1657 | 0.000000e+00 | 2.570000e+02 | Inf
10.59/10.62 o 231
10.59/10.62 c *10.2s| 1332 | 279 | 9006 | 6.4 | 13M| 42 | - |1939 |4324 |1939 |1764 | 347 | 968 |1816 | 0.000000e+00 | 2.310000e+02 | Inf
11.19/11.24 o 215
11.19/11.24 c *10.7s| 1621 | 310 | 10263 | 6.1 | 14M| 46 | - |1939 |4534 |1939 |1772 | 394 |1256 |1871 | 0.000000e+00 | 2.150000e+02 | Inf
11.29/11.35 o 203
11.29/11.35 c *10.8s| 1666 | 311 | 10515 | 6.0 | 14M| 46 | - |1939 |4544 |1939 |1772 | 402 |1295 |1876 | 0.000000e+00 | 2.030000e+02 | Inf
12.29/12.34 o 193
12.29/12.34 c *11.8s| 2206 | 360 | 13044 | 5.7 | 14M| 46 | - |1939 |4939 |1939 |1764 | 462 |1897 |1925 | 0.000000e+00 | 1.930000e+02 | Inf
12.39/12.40 o 164
12.39/12.40 c *11.8s| 2244 | 339 | 13104 | 5.6 | 14M| 50 | - |1939 |4975 |1939 |1771 | 469 |1936 |1930 | 0.000000e+00 | 1.640000e+02 | Inf
21.10/21.15 o 141
21.10/21.15 c *20.1s| 6795 | 1260 | 43757 | 6.4 | 19M| 50 | - |1939 |5888 |1939 |1764 | 992 |6605 |1984 | 0.000000e+00 | 1.410000e+02 | Inf
24.59/24.64 o 108
24.59/24.64 c *23.4s| 8936 | 1552 | 53853 | 6.0 | 20M| 50 | - |1939 |6560 |1939 |1773 |1177 |8831 |1985 | 0.000000e+00 | 1.080000e+02 | Inf
26.59/26.63 c 25.3s| 10000 | 1698 | 59859 | 5.9 | 22M| 50 | 35 |1939 |6230 |1939 |1764 |1270 |9912 |1985 | 0.000000e+00 | 1.080000e+02 | Inf
44.59/44.62 c 42.4s| 20000 | 2594 |111853 | 5.6 | 32M| 52 | - |1939 |7587 | 0 | 0 |2103 | 20k|1985 | 0.000000e+00 | 1.080000e+02 | Inf
45.69/45.75 o 107
45.69/45.75 c *43.5s| 20684 | 2624 |114911 | 5.5 | 33M| 52 | - |1939 |7733 |1939 |1764 |2179 | 21k|1985 | 0.000000e+00 | 1.070000e+02 | Inf
51.60/51.67 o 94
51.60/51.67 c *49.1s| 23802 | 2812 |131960 | 5.5 | 34M| 55 | - |1939 |7297 |1939 |1769 |2569 | 25k|1985 | 0.000000e+00 | 9.400000e+01 | Inf
51.60/51.70 o 92
51.60/51.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.60/51.70 c *49.1s| 23810 | 2813 |131990 | 5.5 | 34M| 55 | - |1939 |7153 |1939 |1771 |2571 | 25k|1985 | 0.000000e+00 | 9.200000e+01 | Inf
51.70/51.72 o 89
51.70/51.72 c *49.1s| 23818 | 2807 |132002 | 5.5 | 34M| 59 | - |1939 |7065 |1939 |1771 |2571 | 25k|1985 | 0.000000e+00 | 8.900000e+01 | Inf
51.70/51.74 o 60
51.70/51.74 c *49.2s| 23823 | 2539 |132017 | 5.5 | 32M| 61 | - |1939 |6971 |1939 |1771 |2571 | 25k|1985 | 0.000000e+00 | 6.000000e+01 | Inf
55.89/55.95 o 55
55.89/55.95 c *53.2s| 25760 | 2411 |146578 | 5.7 | 31M| 61 | - |1939 |5391 |1939 |1764 |2743 | 27k|1985 | 0.000000e+00 | 5.500000e+01 | Inf
55.89/55.97 o 41
55.89/55.97 c *53.2s| 25763 | 2146 |146587 | 5.7 | 28M| 61 | - |1939 |5286 |1939 |1765 |2744 | 27k|1985 | 0.000000e+00 | 4.100000e+01 | Inf
55.89/55.97 o 25
55.89/55.97 c *53.2s| 25764 | 1582 |146588 | 5.7 | 24M| 61 | - |1939 |5286 |1939 |1765 |2744 | 27k|1985 | 0.000000e+00 | 2.500000e+01 | Inf
64.69/64.74 c 61.5s| 30000 | 1434 |182464 | 6.1 | 25M| 61 | 19 |1939 |7383 |1939 |1764 |2983 | 33k|1985 | 0.000000e+00 | 2.500000e+01 | Inf
86.59/86.61 c 82.5s| 40000 | 1479 |268709 | 6.7 | 27M| 63 | 28 |1939 | 10k|1939 |1764 |3502 | 45k|2195 | 0.000000e+00 | 2.500000e+01 | Inf
104.59/104.63 o 14
104.59/104.63 c *99.7s| 47672 | 1138 |335709 | 7.0 | 26M| 63 | - |1939 | 12k|1939 |1764 |3861 | 55k|2464 | 0.000000e+00 | 1.400000e+01 | Inf
109.60/109.65 c 105s| 50000 | 1095 |354865 | 7.1 | 24M| 63 | 16 |1939 |9432 |1939 |1764 |3967 | 58k|2493 | 0.000000e+00 | 1.400000e+01 | Inf
132.29/132.37 c 126s| 60000 | 1088 |445711 | 7.4 | 26M| 63 | 24 |1939 | 12k|1939 |1764 |4332 | 71k|2837 | 0.000000e+00 | 1.400000e+01 | Inf
156.39/156.44 c 149s| 70000 | 1063 |542876 | 7.7 | 27M| 63 | 28 |1939 | 13k|1939 |1764 |4785 | 84k|3105 | 0.000000e+00 | 1.400000e+01 | Inf
166.99/167.00 o 4
166.99/167.00 c * 159s| 74635 | 772 |582570 | 7.8 | 24M| 64 | - |1939 | 13k|1939 |1764 |4928 | 90k|3248 | 0.000000e+00 | 4.000000e+00 | Inf
169.09/169.10 o 1
169.09/169.10 c * 161s| 75728 | 762 |590558 | 7.8 | 24M| 64 | - |1939 | 13k|1939 |1764 |4960 | 91k|3250 | 0.000000e+00 | 1.000000e+00 | Inf
177.50/177.50 c 169s| 80000 | 777 |620605 | 7.8 | 25M| 64 | 25 |1939 | 15k|1939 |1764 |5026 | 97k|3351 | 0.000000e+00 | 1.000000e+00 | Inf
199.50/199.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.50/199.54 c 190s| 90000 | 825 |702389 | 7.8 | 26M| 64 | 17 |1939 | 17k|1939 |1764 |5421 | 110k|3573 | 0.000000e+00 | 1.000000e+00 | Inf
221.00/221.06 c 211s|100000 | 879 |781633 | 7.8 | 28M| 75 | - |1939 | 20k|1939 |1764 |5637 | 124k|3719 | 0.000000e+00 | 1.000000e+00 | Inf
243.49/243.51 c 233s|110000 | 852 |861360 | 7.8 | 29M| 75 | - |1939 | 21k| 0 | 0 |5951 | 137k|3929 | 0.000000e+00 | 1.000000e+00 | Inf
266.20/266.22 c 254s|120000 | 820 |938799 | 7.8 | 30M| 75 | 22 |1939 | 25k|1939 |1764 |6223 | 151k|4072 | 0.000000e+00 | 1.000000e+00 | Inf
290.40/290.41 c 277s|130000 | 807 | 1018k| 7.8 | 31M| 75 | - |1939 | 27k| 0 | 0 |6488 | 164k|4276 | 0.000000e+00 | 1.000000e+00 | Inf
315.49/315.59 c 302s|140000 | 786 | 1101k| 7.9 | 30M| 75 | 32 |1939 | 25k|1939 |1764 |6796 | 177k|4491 | 0.000000e+00 | 1.000000e+00 | Inf
340.40/340.49 c 326s|150000 | 833 | 1187k| 7.9 | 32M| 75 | - |1939 | 27k| 0 | 0 |7057 | 190k|4669 | 0.000000e+00 | 1.000000e+00 | Inf
364.11/364.10 c 348s|160000 | 859 | 1261k| 7.9 | 34M| 75 | 30 |1939 | 31k|1939 |1770 |7257 | 204k|4781 | 0.000000e+00 | 1.000000e+00 | Inf
390.00/390.05 c 373s|170000 | 860 | 1341k| 7.9 | 34M| 75 | 1 |1939 | 32k|1939 |1764 |7550 | 217k|4927 | 0.000000e+00 | 1.000000e+00 | Inf
416.10/416.17 c 398s|180000 | 863 | 1412k| 7.8 | 35M| 75 | 30 |1939 | 34k|1939 |1764 |7775 | 230k|5062 | 0.000000e+00 | 1.000000e+00 | Inf
444.20/444.29 c 425s|190000 | 924 | 1492k| 7.9 | 37M| 75 | 28 |1939 | 37k|1939 |1764 |7939 | 244k|5217 | 0.000000e+00 | 1.000000e+00 | Inf
472.00/472.07 c 452s|200000 | 1013 | 1569k| 7.8 | 38M| 75 | 19 |1939 | 40k|1939 |1764 |8116 | 258k|5349 | 0.000000e+00 | 1.000000e+00 | Inf
499.10/499.13 c 478s|210000 | 1022 | 1644k| 7.8 | 39M| 78 | - |1939 | 41k| 0 | 0 |8259 | 272k|5464 | 0.000000e+00 | 1.000000e+00 | Inf
526.81/526.89 c 505s|220000 | 1004 | 1721k| 7.8 | 39M| 78 | 28 |1939 | 40k|1939 |1764 |8489 | 286k|5581 | 0.000000e+00 | 1.000000e+00 | Inf
554.40/554.48 c 532s|230000 | 982 | 1797k| 7.8 | 39M| 82 | - |1939 | 41k| 0 | 0 |8659 | 300k|5683 | 0.000000e+00 | 1.000000e+00 | Inf
581.90/581.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.90/581.93 c 558s|240000 | 905 | 1874k| 7.8 | 38M| 82 | 15 |1939 | 40k|1939 |1764 |8829 | 314k|5794 | 0.000000e+00 | 1.000000e+00 | Inf
609.80/609.88 c 585s|250000 | 881 | 1948k| 7.8 | 39M| 82 | - |1939 | 41k| 0 | 0 |9101 | 328k|5896 | 0.000000e+00 | 1.000000e+00 | Inf
638.29/638.35 c 613s|260000 | 862 | 2031k| 7.8 | 39M| 82 | 22 |1939 | 43k|1939 |1764 |9476 | 341k|6068 | 0.000000e+00 | 1.000000e+00 | Inf
671.60/671.63 c 645s|270000 | 884 | 2113k| 7.8 | 41M| 82 | 22 |1939 | 45k|1939 |1764 |9676 | 355k|6197 | 0.000000e+00 | 1.000000e+00 | Inf
703.80/703.88 c 676s|280000 | 869 | 2191k| 7.8 | 42M| 82 | 22 |1939 | 49k|1939 |1764 |9847 | 368k|6307 | 0.000000e+00 | 1.000000e+00 | Inf
736.20/736.25 c 708s|290000 | 877 | 2267k| 7.8 | 43M| 82 | 26 |1939 | 50k|1939 |1764 | 10k| 382k|6418 | 0.000000e+00 | 1.000000e+00 | Inf
770.40/770.45 c 741s|300000 | 882 | 2357k| 7.9 | 45M| 82 | 30 |1939 | 55k|1939 |1764 | 10k| 395k|6537 | 0.000000e+00 | 1.000000e+00 | Inf
805.40/805.48 c 775s|310000 | 879 | 2434k| 7.9 | 46M| 82 | - |1939 | 59k| 0 | 0 | 10k| 409k|6617 | 0.000000e+00 | 1.000000e+00 | Inf
841.40/841.49 c 810s|320000 | 919 | 2517k| 7.9 | 49M| 82 | 22 |1939 | 64k|1939 |1764 | 11k| 422k|6717 | 0.000000e+00 | 1.000000e+00 | Inf
879.60/879.66 c 847s|330000 | 923 | 2601k| 7.9 | 51M| 82 | 14 |1939 | 67k|1939 |1764 | 11k| 436k|6826 | 0.000000e+00 | 1.000000e+00 | Inf
918.41/918.42 c 885s|340000 | 926 | 2676k| 7.9 | 52M| 82 | 32 |1939 | 69k|1939 |1764 | 11k| 450k|6946 | 0.000000e+00 | 1.000000e+00 | Inf
956.41/956.46 c 922s|350000 | 878 | 2759k| 7.9 | 47M| 82 | - |1939 | 57k| 0 | 0 | 11k| 463k|7066 | 0.000000e+00 | 1.000000e+00 | Inf
990.90/990.96 c 955s|360000 | 874 | 2834k| 7.9 | 48M| 82 | - |1939 | 61k|1939 |1768 | 12k| 477k|7169 | 0.000000e+00 | 1.000000e+00 | Inf
1028.01/1028.00 c 991s|370000 | 865 | 2906k| 7.9 | 48M| 82 | 35 |1939 | 61k|1939 |1764 | 12k| 491k|7266 | 0.000000e+00 | 1.000000e+00 | Inf
1067.91/1067.93 c 1030s|380000 | 858 | 2985k| 7.9 | 49M| 82 | 25 |1939 | 63k|1939 |1764 | 12k| 504k|7409 | 0.000000e+00 | 1.000000e+00 | Inf
1106.11/1106.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.11/1106.11 c 1067s|390000 | 853 | 3054k| 7.8 | 50M| 82 | - |1939 | 63k|1939 |1764 | 12k| 518k|7463 | 0.000000e+00 | 1.000000e+00 | Inf
1142.50/1142.54 c 1103s|400000 | 863 | 3124k| 7.8 | 52M| 82 | 22 |1939 | 68k|1939 |1764 | 13k| 532k|7559 | 0.000000e+00 | 1.000000e+00 | Inf
1184.21/1184.29 c 1144s|410000 | 873 | 3200k| 7.8 | 54M| 82 | 22 |1939 | 72k|1939 |1764 | 13k| 546k|7671 | 0.000000e+00 | 1.000000e+00 | Inf
1225.51/1225.54 c 1184s|420000 | 929 | 3277k| 7.8 | 55M| 82 | - |1939 | 76k| 0 | 0 | 13k| 559k|7763 | 0.000000e+00 | 1.000000e+00 | Inf
1264.01/1264.07 c 1222s|430000 | 941 | 3351k| 7.8 | 56M| 84 | 16 |1939 | 77k|1939 |1764 | 13k| 574k|7815 | 0.000000e+00 | 1.000000e+00 | Inf
1304.91/1304.97 c 1261s|440000 | 913 | 3430k| 7.8 | 57M| 84 | 23 |1939 | 78k|1939 |1764 | 13k| 589k|7896 | 0.000000e+00 | 1.000000e+00 | Inf
1345.41/1345.43 c 1301s|450000 | 895 | 3502k| 7.8 | 57M| 84 | - |1939 | 80k|1939 |1764 | 14k| 603k|8003 | 0.000000e+00 | 1.000000e+00 | Inf
1387.71/1387.71 c 1342s|460000 | 892 | 3574k| 7.8 | 57M| 84 | - |1939 | 79k|1939 |1764 | 14k| 617k|8105 | 0.000000e+00 | 1.000000e+00 | Inf
1433.32/1433.31 c 1387s|470000 | 879 | 3650k| 7.8 | 56M| 84 | 30 |1939 | 77k|1939 |1764 | 14k| 630k|8153 | 0.000000e+00 | 1.000000e+00 | Inf
1479.32/1479.40 c 1432s|480000 | 864 | 3729k| 7.8 | 57M| 84 | 33 |1939 | 79k|1939 |1764 | 15k| 644k|8254 | 0.000000e+00 | 1.000000e+00 | Inf
1529.51/1529.55 c 1481s|490000 | 885 | 3816k| 7.8 | 57M| 84 | 21 |1939 | 79k|1939 |1764 | 15k| 657k|8373 | 0.000000e+00 | 1.000000e+00 | Inf
1574.72/1574.70 c 1525s|500000 | 917 | 3905k| 7.8 | 59M| 84 | - |1939 | 81k|1939 |1764 | 15k| 671k|8447 | 0.000000e+00 | 1.000000e+00 | Inf
1618.82/1618.80 c 1568s|510000 | 998 | 3987k| 7.8 | 60M| 84 | - |1939 | 84k| 0 | 0 | 15k| 684k|8512 | 0.000000e+00 | 1.000000e+00 | Inf
1662.12/1662.14 c 1610s|520000 | 946 | 4063k| 7.8 | 60M| 84 | 28 |1939 | 84k|1939 |1764 | 16k| 698k|8592 | 0.000000e+00 | 1.000000e+00 | Inf
1706.22/1706.29 c 1653s|530000 | 901 | 4152k| 7.8 | 60M| 84 | 19 |1939 | 84k|1939 |1764 | 16k| 712k|8697 | 0.000000e+00 | 1.000000e+00 | Inf
1752.62/1752.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.62/1752.63 c 1699s|540000 | 869 | 4236k| 7.8 | 58M| 84 | - |1939 | 80k| 0 | 0 | 16k| 726k|8780 | 0.000000e+00 | 1.000000e+00 | Inf
1796.62/1796.64 c 1742s|550000 | 874 | 4310k| 7.8 | 59M| 84 | 17 |1939 | 82k|1939 |1764 | 16k| 740k|8873 | 0.000000e+00 | 1.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1745.02
1800.03/1800.00 c Solving Nodes : 550770
1800.03/1800.00 c Primal Bound : +1.00000000000000e+00 (123 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.01 s SATISFIABLE
1800.03/1800.01 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.01 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.01 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.01 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 -x149 -x148 -x147 -x146
1800.03/1800.01 v -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.03/1800.01 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.01 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.01 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.01 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.01 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.01 v -x1
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time : 1745.02
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-2692785-1277903523.wbo
1800.03/1800.01 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.03/1800.01 c Constraints : 3614 initial, 3614 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-2692785-1277903523.wbo
1800.03/1800.01 c Variables : 1939 (1085 binary, 0 integer, 0 implicit integer, 854 continuous)
1800.03/1800.01 c Constraints : 3449 initial, 86520 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 52 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 52 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.01 c indicator : 0.00 0 0 0 0 0 52 0 0
1800.03/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.03 0 0 0 906 0 113 52 0
1800.03/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c root node : - 854 - - 1708 - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 301413 0 143 1400 0 0 592652
1800.03/1800.01 c indicator : 854 0 364944 1705 0 428 1303482 0 0 0
1800.03/1800.01 c knapsack : 1 6 2643147 3666 0 40442 7065746 2 0 0
1800.03/1800.01 c setppc : 14 6 2607212 3777 0 44078 1777388 0 0 0
1800.03/1800.01 c linear : 854 6 2565335 3893 0 52317 3032626 16817 0 0
1800.03/1800.01 c logicor : 1726+ 6 1211174 839 0 90548 4695328 0 0 0
1800.03/1800.01 c bounddisjunction : 0+ 0 8123 0 0 0 5 0 0 0
1800.03/1800.01 c countsols : 0 0 0 839 0 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.01 c integral : 35.16 0.00 0.00 35.16 0.00
1800.03/1800.01 c indicator : 2.44 0.00 2.35 0.09 0.00
1800.03/1800.01 c knapsack : 32.72 0.00 32.72 0.00 0.00
1800.03/1800.01 c setppc : 13.96 0.00 13.96 0.00 0.00
1800.03/1800.01 c linear : 38.01 0.01 37.87 0.13 0.00
1800.03/1800.01 c logicor : 453.99 0.00 453.99 0.00 0.00
1800.03/1800.01 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.03/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.01 c vbounds : 0.00 2 0 0
1800.03/1800.01 c rootredcost : 0.00 30 0 854
1800.03/1800.01 c pseudoobj : 42.86 2655306 5088 1115190
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 11.18 232473 232098 1390061 32.9 8980 26.8 -
1800.03/1800.01 c infeasible LP : 12.85 60456 60454 475705 48.5 427 22.5 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.00 59 59 319 14.3 7 13.3 -
1800.03/1800.01 c applied globally : - - - 741172 29.3 - - -
1800.03/1800.01 c applied locally : - - - 0 0.0 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 5 - - 5 - (maximal pool size: 84)
1800.03/1800.01 c redcost : 8.32 302708 0 181324 0 0
1800.03/1800.01 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 0.27 6 0 0 667 0
1800.03/1800.01 c strongcg : 0.20 6 0 0 567 0
1800.03/1800.01 c cmir : 0.05 6 0 0 3 0
1800.03/1800.01 c flowcover : 0.05 6 0 0 2 0
1800.03/1800.01 c clique : 0.00 6 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.00 1 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 35.01 297497 143 1400 0 0 592652
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 0.10 810 0 0 0 0 1620
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.00 - 29
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c feaspump : 0.03 1 0
1800.03/1800.01 c oneopt : 0.09 27 0
1800.03/1800.01 c intshifting : 0.01 19 0
1800.03/1800.01 c crossover : 0.37 18 0
1800.03/1800.01 c coefdiving : 0.40 93 0
1800.03/1800.01 c pscostdiving : 0.38 93 0
1800.03/1800.01 c fracdiving : 0.41 93 0
1800.03/1800.01 c veclendiving : 0.39 93 0
1800.03/1800.01 c linesearchdiving : 0.34 93 0
1800.03/1800.01 c rootsoldiving : 0.92 47 0
1800.03/1800.01 c guideddiving : 0.47 94 0
1800.03/1800.01 c objpscostdiving : 0.34 48 0
1800.03/1800.01 c trivial : 0.01 2 0
1800.03/1800.01 c simplerounding : 0.41 298090 0
1800.03/1800.01 c zirounding : 0.27 1000 0
1800.03/1800.01 c rounding : 1.01 7675 0
1800.03/1800.01 c shifting : 0.86 2371 0
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.01 1 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c nlp : 0.00 0 0
1800.03/1800.01 c trysol : 0.11 1277 94
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 610.76 360793 4302746 11.93 7044.90
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 2.18 1747 12807 7.33 5874.77
1800.03/1800.01 c strong branching : 31.07 8873 213282 24.04 6864.56
1800.03/1800.01 c (at root node) : - 33 3116 94.42 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 550770
1800.03/1800.01 c nodes (total) : 550770
1800.03/1800.01 c nodes left : 881
1800.03/1800.01 c max depth : 84
1800.03/1800.01 c max depth (total): 84
1800.03/1800.01 c backtracks : 66144 (12.0%)
1800.03/1800.01 c delayed cutoffs : 40439
1800.03/1800.01 c repropagations : 1142989 (3320284 domain reductions, 38885 cutoffs)
1800.03/1800.01 c avg switch length: 5.46
1800.03/1800.01 c switching time : 280.06
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 123 (30 improvements)
1800.03/1800.01 c First Solution : +4.21020000000000e+04 (in run 1, after 22 nodes, 2.36 seconds, depth 22, found by <trysol>)
1800.03/1800.01 c Primal Bound : +1.00000000000000e+00 (in run 1, after 75728 nodes, 161.29 seconds, depth 25, found by <relaxation>)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Root Iterations : 456
1800.13/1800.12 c Time complete: 1800.15.
Begin job on node120 at 2010-06-30 15:12:03
IDJOB=2692785
IDBENCH=78911
IDSOLVER=1204
FILE ID=node120/2692785-1277903523
PBS_JOBID= 11197208
Free space on /tmp= 74208 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.1900562192--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-2692785-1277903523/watcher-2692785-1277903523 -o /tmp/evaluation-result-2692785-1277903523/solver-2692785-1277903523 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692785-1277903523.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a8e86a019ae76f67696e97fb47d8da09
RANDOM SEED=969634111
node120.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.820
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.64
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.820
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.07
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.820
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.80
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.820
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.74
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.820
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.820
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.68
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.820
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.820
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31538392 kB
Buffers: 189336 kB
Cached: 937804 kB
SwapCached: 0 kB
Active: 684776 kB
Inactive: 586064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31538392 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4696 kB
Writeback: 0 kB
AnonPages: 144052 kB
Mapped: 17120 kB
Slab: 77676 kB
PageTables: 4964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 295252 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= 74208 MiB
End job on node120 at 2010-06-30 15:42:05