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-2692746-1277900447.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.00/0.10 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.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 | 45 | - |8748k| 0 | 23 |1939 |3449 |1939 |1741 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 602 | - |8874k| 0 | 45 |1939 |3449 |1939 |1755 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 655 | - |9195k| 0 | 50 |1939 |3449 |1939 |1764 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.46 c 0.4s| 1 | 0 | 678 | - |9207k| 0 | 58 |1939 |3449 |1939 |1769 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.46 o 42102
0.39/0.46 c y 0.4s| 1 | 0 | 678 | - |9237k| 0 | 58 |1939 |3449 |1939 |1769 | 28 | 0 | 0 | 0.000000e+00 | 4.210200e+04 | Inf
0.49/0.59 c 0.5s| 1 | 0 | 689 | - |9238k| 0 | 58 |1939 |3449 |1939 |1771 | 30 | 0 | 0 | 0.000000e+00 | 4.210200e+04 | Inf
1.39/1.47 c 1.4s| 1 | 2 | 784 | - |9242k| 0 | 58 |1939 |3449 |1939 |1771 | 30 | 0 | 33 | 0.000000e+00 | 4.210200e+04 | Inf
9.29/9.32 o 708
9.29/9.32 c * 9.1s| 143 | 92 | 3358 | 18.1 |9901k| 25 | - |1939 |3473 |1939 |1770 | 65 | 24 | 965 | 0.000000e+00 | 7.080000e+02 | Inf
10.49/10.51 o 699
10.49/10.51 c *10.2s| 182 | 111 | 4442 | 20.2 | 10M| 25 | - |1939 |3495 |1939 |1763 | 70 | 46 |1135 | 0.000000e+00 | 6.990000e+02 | Inf
10.49/10.53 o 625
10.49/10.53 c z10.2s| 185 | 93 | 4467 | 20.0 | 10M| 25 | - |1939 |3502 |1939 |1767 | 74 | 53 |1136 | 0.000000e+00 | 6.250000e+02 | Inf
10.99/11.05 o 593
10.99/11.05 c *10.7s| 221 | 110 | 5095 | 19.6 | 10M| 25 | - |1939 |3524 |1939 |1772 | 92 | 75 |1197 | 0.000000e+00 | 5.930000e+02 | Inf
12.59/12.61 o 592
12.59/12.61 c *12.2s| 399 | 195 | 7981 | 18.1 | 11M| 31 | - |1939 |3675 |1939 |1771 | 152 | 226 |1408 | 0.000000e+00 | 5.920000e+02 | Inf
13.39/13.46 o 310
13.39/13.46 c *13.1s| 535 | 167 | 9922 | 17.1 | 11M| 31 | - |1939 |3745 |1939 |1764 | 183 | 312 |1509 | 0.000000e+00 | 3.100000e+02 | Inf
13.49/13.51 o 296
13.49/13.51 c *13.1s| 561 | 166 | 9994 | 16.4 | 11M| 31 | - |1939 |3772 |1939 |1763 | 183 | 339 |1513 | 0.000000e+00 | 2.960000e+02 | Inf
13.49/13.53 o 270
13.49/13.53 c *13.1s| 567 | 163 | 10023 | 16.3 | 11M| 31 | - |1939 |3773 |1939 |1763 | 183 | 340 |1513 | 0.000000e+00 | 2.700000e+02 | Inf
13.49/13.58 o 251
13.49/13.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.49/13.58 c *13.2s| 599 | 154 | 10072 | 15.5 | 12M| 36 | - |1939 |3813 |1939 |1763 | 183 | 384 |1514 | 0.000000e+00 | 2.510000e+02 | Inf
13.59/13.62 o 226
13.59/13.62 c *13.2s| 609 | 154 | 10161 | 15.4 | 12M| 36 | - |1939 |3822 |1939 |1770 | 190 | 396 |1518 | 0.000000e+00 | 2.260000e+02 | Inf
14.69/14.78 o 197
14.69/14.78 c *14.3s| 1095 | 213 | 12324 | 10.5 | 13M| 36 | - |1939 |4217 |1939 |1769 | 237 | 860 |1608 | 0.000000e+00 | 1.970000e+02 | Inf
14.69/14.78 o 182
14.69/14.78 c *14.3s| 1096 | 209 | 12324 | 10.5 | 13M| 36 | - |1939 |4217 |1939 |1769 | 237 | 860 |1608 | 0.000000e+00 | 1.820000e+02 | Inf
15.50/15.55 o 174
15.50/15.55 c *15.1s| 1408 | 252 | 14464 | 9.7 | 14M| 36 | - |1939 |4345 |1939 |1771 | 280 |1135 |1646 | 0.000000e+00 | 1.740000e+02 | Inf
16.90/16.95 o 150
16.90/16.95 c *16.4s| 1998 | 335 | 19491 | 9.4 | 14M| 36 | - |1939 |4672 |1939 |1763 | 349 |1748 |1673 | 0.000000e+00 | 1.500000e+02 | Inf
16.99/17.00 o 144
16.99/17.00 c *16.5s| 2026 | 346 | 19585 | 9.3 | 14M| 36 | - |1939 |4679 |1939 |1776 | 362 |1757 |1673 | 0.000000e+00 | 1.440000e+02 | Inf
16.99/17.00 o 133
16.99/17.00 c *16.5s| 2027 | 343 | 19585 | 9.3 | 14M| 36 | - |1939 |4679 |1939 |1776 | 362 |1757 |1673 | 0.000000e+00 | 1.330000e+02 | Inf
17.89/17.93 o 120
17.89/17.93 c *17.4s| 2431 | 373 | 23043 | 9.2 | 15M| 36 | - |1939 |4766 |1939 |1763 | 424 |2163 |1683 | 0.000000e+00 | 1.200000e+02 | Inf
19.69/19.78 o 96
19.69/19.78 c *19.1s| 3194 | 421 | 30496 | 9.3 | 15M| 36 | - |1939 |4926 |1939 |1763 | 509 |2983 |1693 | 0.000000e+00 | 9.600000e+01 | Inf
19.80/19.85 o 88
19.80/19.85 c *19.2s| 3238 | 400 | 30643 | 9.2 | 15M| 36 | - |1939 |4897 |1939 |1763 | 509 |3030 |1693 | 0.000000e+00 | 8.800000e+01 | Inf
36.20/36.24 c 35.0s| 10000 | 648 | 90948 | 9.0 | 19M| 49 | - |1939 |5912 | 0 | 0 |1216 | 11k|1860 | 0.000000e+00 | 8.800000e+01 | Inf
60.79/60.82 c 58.6s| 20000 | 1057 |186478 | 9.3 | 28M| 58 | 1 |1939 |6022 |1939 |1763 |2221 | 22k|1971 | 0.000000e+00 | 8.800000e+01 | Inf
79.00/79.02 o 83
79.00/79.02 c *76.1s| 28577 | 1328 |248574 | 8.7 | 34M| 58 | - |1939 |8765 |1939 |1763 |3042 | 33k|1971 | 0.000000e+00 | 8.300000e+01 | Inf
81.69/81.71 c 78.7s| 30000 | 1362 |256153 | 8.5 | 35M| 58 | - |1939 |9677 |1939 |1771 |3183 | 35k|1971 | 0.000000e+00 | 8.300000e+01 | Inf
82.19/82.29 o 81
82.19/82.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.19/82.29 c *79.2s| 30281 | 1362 |257858 | 8.5 | 35M| 58 | - |1939 |9605 |1939 |1763 |3198 | 35k|1971 | 0.000000e+00 | 8.100000e+01 | Inf
86.00/86.08 o 80
86.00/86.08 c *82.8s| 32299 | 1404 |268344 | 8.3 | 36M| 58 | - |1939 |9871 |1939 |1763 |3397 | 38k|1971 | 0.000000e+00 | 8.000000e+01 | Inf
94.09/94.15 o 79
94.09/94.15 c *90.5s| 36493 | 1489 |292614 | 8.0 | 38M| 58 | - |1939 | 10k|1939 |1763 |3938 | 43k|1971 | 0.000000e+00 | 7.900000e+01 | Inf
101.29/101.31 c 97.4s| 40000 | 1650 |313799 | 7.8 | 40M| 58 | 14 |1939 |9718 |1939 |1763 |4305 | 48k|1971 | 0.000000e+00 | 7.900000e+01 | Inf
111.20/111.27 o 64
111.20/111.27 c * 107s| 44812 | 1730 |343618 | 7.7 | 41M| 58 | - |1939 | 10k|1939 |1763 |4809 | 54k|1993 | 0.000000e+00 | 6.400000e+01 | Inf
123.10/123.16 c 118s| 50000 | 1803 |381166 | 7.6 | 43M| 58 | 13 |1939 | 10k|1939 |1763 |5406 | 62k|2141 | 0.000000e+00 | 6.400000e+01 | Inf
145.70/145.71 c 140s| 60000 | 1903 |457123 | 7.6 | 45M| 69 | - |1939 |8915 | 0 | 0 |6242 | 76k|2382 | 0.000000e+00 | 6.400000e+01 | Inf
146.59/146.65 o 62
146.59/146.65 c * 141s| 60334 | 1880 |460043 | 7.6 | 45M| 69 | - |1939 |8140 |1939 |1763 |6257 | 76k|2410 | 0.000000e+00 | 6.200000e+01 | Inf
167.50/167.56 c 161s| 70000 | 1955 |529921 | 7.6 | 48M| 69 | 19 |1939 | 11k|1939 |1763 |7120 | 90k|2567 | 0.000000e+00 | 6.200000e+01 | Inf
185.60/185.60 o 53
185.60/185.60 c * 178s| 77906 | 1917 |588446 | 7.5 | 47M| 69 | - |1939 |9480 |1939 |1763 |7805 | 101k|2776 | 0.000000e+00 | 5.300000e+01 | Inf
185.60/185.63 o 23
185.60/185.63 c * 178s| 77908 | 949 |588504 | 7.5 | 28M| 69 | - |1939 |9165 |1939 |1763 |7805 | 101k|2776 | 0.000000e+00 | 2.300000e+01 | Inf
185.70/185.74 o 16
185.70/185.74 c * 179s| 77957 | 885 |588921 | 7.5 | 26M| 69 | - |1939 |8774 |1939 |1763 |7811 | 101k|2776 | 0.000000e+00 | 1.600000e+01 | Inf
190.10/190.12 c 183s| 80000 | 819 |607576 | 7.6 | 25M| 69 | - |1939 |6630 | 0 | 0 |7982 | 104k|2786 | 0.000000e+00 | 1.600000e+01 | Inf
190.79/190.80 o 11
190.79/190.80 c * 183s| 80305 | 775 |610411 | 7.6 | 25M| 69 | - |1939 |6571 |1939 |1764 |8008 | 105k|2789 | 0.000000e+00 | 1.100000e+01 | Inf
212.80/212.85 c 205s| 90000 | 712 |703995 | 7.8 | 26M| 69 | - |1939 | 10k|1939 |1763 |8439 | 117k|3018 | 0.000000e+00 | 1.100000e+01 | Inf
237.30/237.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.30/237.33 c 228s|100000 | 569 |804223 | 8.0 | 25M| 69 | - |1939 | 10k|1939 |1763 |9025 | 130k|3278 | 0.000000e+00 | 1.100000e+01 | Inf
259.80/259.87 c 250s|110000 | 564 |893090 | 8.1 | 27M| 69 | - |1939 | 15k| 0 | 0 |9520 | 143k|3510 | 0.000000e+00 | 1.100000e+01 | Inf
284.20/284.21 c 273s|120000 | 524 |996666 | 8.3 | 28M| 69 | 20 |1939 | 18k|1939 |1763 | 10k| 156k|3740 | 0.000000e+00 | 1.100000e+01 | Inf
306.60/306.68 c 295s|130000 | 568 | 1082k| 8.3 | 29M| 69 | 19 |1939 | 19k|1939 |1763 | 10k| 169k|3964 | 0.000000e+00 | 1.100000e+01 | Inf
311.10/311.13 o 2
311.10/311.13 c * 299s|132080 | 420 | 1100k| 8.3 | 27M| 69 | - |1939 | 21k|1939 |1772 | 11k| 172k|3966 | 0.000000e+00 | 2.000000e+00 | Inf
329.80/329.86 c 317s|140000 | 385 | 1178k| 8.4 | 27M| 69 | - |1939 | 21k| 0 | 0 | 11k| 182k|4127 | 0.000000e+00 | 2.000000e+00 | Inf
354.21/354.29 c 341s|150000 | 290 | 1276k| 8.5 | 25M| 69 | 36 |1939 | 18k|1939 |1763 | 12k| 196k|4376 | 0.000000e+00 | 2.000000e+00 | Inf
381.40/381.41 c 367s|160000 | 311 | 1380k| 8.6 | 28M| 69 | 29 |1939 | 24k|1939 |1763 | 12k| 209k|4530 | 0.000000e+00 | 2.000000e+00 | Inf
410.00/410.08 c 395s|170000 | 286 | 1479k| 8.7 | 29M| 69 | 32 |1939 | 26k|1939 |1763 | 13k| 222k|4713 | 0.000000e+00 | 2.000000e+00 | Inf
440.00/440.04 c 424s|180000 | 301 | 1606k| 8.9 | 30M| 69 | - |1939 | 28k|1939 |1763 | 13k| 235k|4873 | 0.000000e+00 | 2.000000e+00 | Inf
470.21/470.21 c 452s|190000 | 285 | 1735k| 9.1 | 31M| 69 | 27 |1939 | 31k|1939 |1763 | 14k| 249k|5087 | 0.000000e+00 | 2.000000e+00 | Inf
497.70/497.74 c 479s|200000 | 319 | 1837k| 9.2 | 32M| 69 | 14 |1939 | 32k|1939 |1763 | 15k| 262k|5279 | 0.000000e+00 | 2.000000e+00 | Inf
525.30/525.36 c 505s|210000 | 332 | 1940k| 9.2 | 31M| 69 | 14 |1939 | 30k|1939 |1763 | 16k| 276k|5425 | 0.000000e+00 | 2.000000e+00 | Inf
553.10/553.19 c 532s|220000 | 353 | 2047k| 9.3 | 34M| 69 | 18 |1939 | 35k|1939 |1763 | 16k| 289k|5587 | 0.000000e+00 | 2.000000e+00 | Inf
585.00/585.08 c 563s|230000 | 382 | 2170k| 9.4 | 34M| 69 | 21 |1939 | 37k|1939 |1763 | 17k| 302k|5789 | 0.000000e+00 | 2.000000e+00 | Inf
615.21/615.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.21/615.26 c 592s|240000 | 442 | 2282k| 9.5 | 37M| 69 | - |1939 | 41k| 0 | 0 | 18k| 315k|5918 | 0.000000e+00 | 2.000000e+00 | Inf
646.51/646.51 c 622s|250000 | 500 | 2397k| 9.6 | 39M| 69 | - |1939 | 45k|1939 |1763 | 19k| 329k|6054 | 0.000000e+00 | 2.000000e+00 | Inf
679.01/679.01 c 653s|260000 | 434 | 2513k| 9.7 | 38M| 69 | 17 |1939 | 43k|1939 |1763 | 19k| 342k|6223 | 0.000000e+00 | 2.000000e+00 | Inf
713.51/713.52 c 686s|270000 | 447 | 2639k| 9.8 | 38M| 69 | 19 |1939 | 44k|1939 |1763 | 20k| 355k|6415 | 0.000000e+00 | 2.000000e+00 | Inf
748.21/748.21 c 719s|280000 | 398 | 2766k| 9.9 | 39M| 69 | 24 |1939 | 45k|1939 |1763 | 21k| 369k|6567 | 0.000000e+00 | 2.000000e+00 | Inf
780.42/780.42 c 750s|290000 | 348 | 2874k| 9.9 | 37M| 69 | 24 |1939 | 42k|1939 |1763 | 22k| 381k|6684 | 0.000000e+00 | 2.000000e+00 | Inf
812.61/812.61 c 781s|300000 | 307 | 2988k| 10.0 | 35M| 69 | 29 |1939 | 37k|1939 |1763 | 23k| 395k|6877 | 0.000000e+00 | 2.000000e+00 | Inf
841.71/841.76 c 809s|310000 | 295 | 3096k| 10.0 | 36M| 69 | - |1939 | 37k|1939 |1763 | 24k| 408k|6999 | 0.000000e+00 | 2.000000e+00 | Inf
871.72/871.72 c 838s|320000 | 268 | 3198k| 10.0 | 34M| 69 | 19 |1939 | 35k|1939 |1763 | 25k| 421k|7116 | 0.000000e+00 | 2.000000e+00 | Inf
900.21/900.25 c 865s|330000 | 269 | 3300k| 10.0 | 36M| 69 | - |1939 | 39k| 0 | 0 | 25k| 434k|7324 | 0.000000e+00 | 2.000000e+00 | Inf
929.53/929.52 c 893s|340000 | 259 | 3400k| 10.0 | 35M| 69 | 25 |1939 | 37k|1939 |1763 | 26k| 448k|7477 | 0.000000e+00 | 2.000000e+00 | Inf
957.52/957.50 c 920s|350000 | 290 | 3493k| 10.0 | 38M| 69 | - |1939 | 43k| 0 | 0 | 27k| 461k|7556 | 0.000000e+00 | 2.000000e+00 | Inf
986.72/986.73 c 948s|360000 | 287 | 3586k| 10.0 | 36M| 69 | 18 |1939 | 37k|1939 |1763 | 28k| 474k|7642 | 0.000000e+00 | 2.000000e+00 | Inf
1015.82/1015.88 c 976s|370000 | 283 | 3679k| 9.9 | 36M| 69 | 23 |1939 | 38k|1939 |1763 | 28k| 487k|7774 | 0.000000e+00 | 2.000000e+00 | Inf
1044.72/1044.79 c 1004s|380000 | 280 | 3766k| 9.9 | 39M| 69 | - |1939 | 44k|1939 |1763 | 29k| 501k|7909 | 0.000000e+00 | 2.000000e+00 | Inf
1075.62/1075.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.62/1075.62 c 1034s|390000 | 305 | 3856k| 9.9 | 41M| 69 | 30 |1939 | 50k|1939 |1763 | 30k| 515k|8014 | 0.000000e+00 | 2.000000e+00 | Inf
1107.82/1107.82 c 1065s|400000 | 290 | 3952k| 9.9 | 40M| 69 | 30 |1939 | 47k|1939 |1763 | 31k| 528k|8095 | 0.000000e+00 | 2.000000e+00 | Inf
1138.72/1138.74 c 1095s|410000 | 316 | 4043k| 9.9 | 43M| 69 | 19 |1939 | 54k|1939 |1763 | 31k| 542k|8177 | 0.000000e+00 | 2.000000e+00 | Inf
1170.63/1170.69 c 1125s|420000 | 277 | 4134k| 9.8 | 42M| 69 | - |1939 | 51k|1939 |1763 | 32k| 556k|8316 | 0.000000e+00 | 2.000000e+00 | Inf
1204.82/1204.84 c 1158s|430000 | 303 | 4230k| 9.8 | 44M| 69 | 11 |1939 | 55k|1939 |1763 | 33k| 570k|8434 | 0.000000e+00 | 2.000000e+00 | Inf
1236.02/1236.08 c 1188s|440000 | 277 | 4313k| 9.8 | 44M| 69 | - |1939 | 56k|1939 |1771 | 33k| 585k|8477 | 0.000000e+00 | 2.000000e+00 | Inf
1269.72/1269.78 c 1221s|450000 | 340 | 4398k| 9.8 | 46M| 69 | 20 |1939 | 61k|1939 |1763 | 34k| 599k|8594 | 0.000000e+00 | 2.000000e+00 | Inf
1303.32/1303.34 c 1253s|460000 | 336 | 4486k| 9.8 | 48M| 69 | 24 |1939 | 66k|1939 |1763 | 35k| 613k|8704 | 0.000000e+00 | 2.000000e+00 | Inf
1337.54/1337.53 c 1286s|470000 | 371 | 4580k| 9.7 | 49M| 69 | 19 |1939 | 67k|1939 |1763 | 35k| 627k|8772 | 0.000000e+00 | 2.000000e+00 | Inf
1374.83/1374.87 c 1323s|480000 | 298 | 4679k| 9.7 | 47M| 69 | - |1939 | 62k| 0 | 0 | 36k| 641k|8852 | 0.000000e+00 | 2.000000e+00 | Inf
1413.73/1413.76 c 1360s|490000 | 345 | 4778k| 9.8 | 50M| 69 | - |1939 | 68k|1939 |1763 | 36k| 655k|8986 | 0.000000e+00 | 2.000000e+00 | Inf
1451.33/1451.35 c 1397s|500000 | 326 | 4875k| 9.7 | 50M| 69 | 23 |1939 | 67k|1939 |1763 | 37k| 670k|9112 | 0.000000e+00 | 2.000000e+00 | Inf
1487.33/1487.33 c 1431s|510000 | 320 | 4968k| 9.7 | 49M| 69 | - |1939 | 65k| 0 | 0 | 38k| 683k|9161 | 0.000000e+00 | 2.000000e+00 | Inf
1522.63/1522.61 c 1466s|520000 | 323 | 5056k| 9.7 | 47M| 69 | - |1939 | 60k| 0 | 0 | 39k| 697k|9288 | 0.000000e+00 | 2.000000e+00 | Inf
1556.24/1556.21 c 1498s|530000 | 213 | 5147k| 9.7 | 36M| 69 | 41 |1939 | 34k|1939 |1763 | 40k| 711k|9445 | 0.000000e+00 | 2.000000e+00 | Inf
1584.83/1584.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.83/1584.87 c 1526s|540000 | 226 | 5247k| 9.7 | 35M| 69 | - |1939 | 29k| 0 | 0 | 40k| 724k|9571 | 0.000000e+00 | 2.000000e+00 | Inf
1611.73/1611.79 c 1551s|550000 | 222 | 5341k| 9.7 | 36M| 69 | 24 |1939 | 32k|1939 |1763 | 41k| 737k|9629 | 0.000000e+00 | 2.000000e+00 | Inf
1640.73/1640.71 c 1579s|560000 | 213 | 5432k| 9.7 | 37M| 69 | 8 |1939 | 35k|1939 |1763 | 41k| 750k|9708 | 0.000000e+00 | 2.000000e+00 | Inf
1671.13/1671.13 c 1608s|570000 | 216 | 5529k| 9.7 | 39M| 69 | - |1939 | 41k| 0 | 0 | 42k| 764k|9838 | 0.000000e+00 | 2.000000e+00 | Inf
1703.74/1703.79 c 1640s|580000 | 238 | 5621k| 9.7 | 42M| 69 | 14 |1939 | 48k|1939 |1763 | 42k| 778k|9875 | 0.000000e+00 | 2.000000e+00 | Inf
1739.34/1739.39 c 1674s|590000 | 250 | 5720k| 9.7 | 43M| 69 | - |1939 | 51k| 0 | 0 | 43k| 792k|9982 | 0.000000e+00 | 2.000000e+00 | Inf
1773.84/1773.82 c 1708s|600000 | 213 | 5815k| 9.7 | 40M| 69 | 33 |1939 | 45k|1939 |1763 | 43k| 805k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1732.91
1800.04/1800.00 c Solving Nodes : 608702
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (308 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.02 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1800.02 v -x1
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1732.91
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2692746-1277900447.wbo
1800.04/1800.02 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.04/1800.02 c Constraints : 3614 initial, 3614 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2692746-1277900447.wbo
1800.04/1800.02 c Variables : 1939 (1085 binary, 0 integer, 0 implicit integer, 854 continuous)
1800.04/1800.02 c Constraints : 3449 initial, 71120 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 52 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 52 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 52 0 0
1800.04/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.02 0 0 0 906 0 113 52 0
1800.04/1800.02 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 842 - - 1684 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 335225 0 139 2353 0 0 648482
1800.04/1800.02 c indicator : 854 0 2834498 9087 0 952 3233883 0 0 0
1800.04/1800.02 c knapsack : 1 5 2831400 8993 0 43800 6407610 0 0 0
1800.04/1800.02 c setppc : 14 5 2790813 9003 0 35708 1859212 0 0 0
1800.04/1800.02 c linear : 854 5 2758322 9081 0 50553 3426532 43929 0 0
1800.04/1800.02 c logicor : 1726+ 5 1384435 1265 0 86123 5235394 0 0 0
1800.04/1800.02 c bounddisjunction : 0+ 0 104372 0 0 620 4355 0 0 0
1800.04/1800.02 c countsols : 0 0 0 1265 0 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 45.83 0.00 0.00 45.83 0.00
1800.04/1800.02 c indicator : 5.83 0.00 5.61 0.22 0.00
1800.04/1800.02 c knapsack : 29.22 0.00 29.22 0.00 0.00
1800.04/1800.02 c setppc : 12.04 0.00 12.04 0.00 0.00
1800.04/1800.02 c linear : 40.16 0.00 39.85 0.31 0.00
1800.04/1800.02 c logicor : 304.03 0.00 304.03 0.00 0.00
1800.04/1800.02 c bounddisjunction : 0.23 0.00 0.23 0.00 0.00
1800.04/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 0.01 2 0 0
1800.04/1800.02 c rootredcost : 0.01 31 0 842
1800.04/1800.02 c pseudoobj : 48.84 2845909 7170 2932557
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 10.30 223974 223652 1465015 28.0 8141 22.1 -
1800.04/1800.02 c infeasible LP : 18.95 97670 97667 838378 41.7 656 19.6 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.01 48 48 311 17.7 8 6.9 -
1800.04/1800.02 c applied globally : - - - 817184 27.3 - - -
1800.04/1800.02 c applied locally : - - - 0 0.0 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 4 - - 14 - (maximal pool size: 168)
1800.04/1800.02 c redcost : 8.86 337731 0 274378 0 0
1800.04/1800.02 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.26 5 0 0 1000 0
1800.04/1800.02 c strongcg : 0.16 5 0 0 568 0
1800.04/1800.02 c cmir : 0.04 5 0 0 5 0
1800.04/1800.02 c flowcover : 0.03 5 0 0 7 0
1800.04/1800.02 c clique : 0.00 5 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.01 1 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 45.69 326112 139 2353 0 0 648482
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 0.08 1236 0 0 0 0 2472
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.01 - 29
1800.04/1800.02 c pseudo solutions : 0.00 - 0
1800.04/1800.02 c feaspump : 0.06 1 0
1800.04/1800.02 c oneopt : 0.19 29 0
1800.04/1800.02 c crossover : 0.46 24 0
1800.04/1800.02 c coefdiving : 0.44 81 0
1800.04/1800.02 c pscostdiving : 0.33 81 0
1800.04/1800.02 c fracdiving : 0.37 81 0
1800.04/1800.02 c guideddiving : 0.48 81 0
1800.04/1800.02 c veclendiving : 0.47 81 0
1800.04/1800.02 c linesearchdiving : 0.42 81 0
1800.04/1800.02 c objpscostdiving : 0.52 41 0
1800.04/1800.02 c rootsoldiving : 1.18 41 0
1800.04/1800.02 c trivial : 0.01 2 0
1800.04/1800.02 c simplerounding : 0.37 326912 0
1800.04/1800.02 c zirounding : 0.12 1000 1
1800.04/1800.02 c rounding : 0.84 8064 0
1800.04/1800.02 c shifting : 0.93 2496 0
1800.04/1800.02 c intshifting : 0.00 15 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.04 1 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.02 0 0
1800.04/1800.02 c trysol : 0.49 1595 278
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 811.90 431127 5875595 13.63 7236.85
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 3.06 1937 18349 9.47 5996.41
1800.04/1800.02 c strong branching : 42.01 10206 283806 27.81 6755.68
1800.04/1800.02 c (at root node) : - 33 4289 129.97 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 608702
1800.04/1800.02 c nodes (total) : 608702
1800.04/1800.02 c nodes left : 201
1800.04/1800.02 c max depth : 69
1800.04/1800.02 c max depth (total): 69
1800.04/1800.02 c backtracks : 80981 (13.3%)
1800.04/1800.02 c delayed cutoffs : 40269
1800.04/1800.02 c repropagations : 1114121 (4368085 domain reductions, 38600 cutoffs)
1800.04/1800.02 c avg switch length: 4.98
1800.04/1800.02 c switching time : 222.90
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 308 (31 improvements)
1800.04/1800.02 c First Solution : +4.21020000000000e+04 (in run 1, after 1 nodes, 0.40 seconds, depth 0, found by <trysol>)
1800.04/1800.02 c Primal Bound : +2.00000000000000e+00 (in run 1, after 132080 nodes, 299.07 seconds, depth 27, found by <relaxation>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 784
1800.04/1800.08 c Time complete: 1800.13.
Begin job on node145 at 2010-06-30 14:20:47
IDJOB=2692746
IDBENCH=78882
IDSOLVER=1204
FILE ID=node145/2692746-1277900447
PBS_JOBID= 11197204
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.1900545610--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-2692746-1277900447/watcher-2692746-1277900447 -o /tmp/evaluation-result-2692746-1277900447/solver-2692746-1277900447 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692746-1277900447.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 75e2f830e9a185ffa43de126e90d54da
RANDOM SEED=2000487610
node145.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.851
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.70
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.851
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.851
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.851
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.851
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.851
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.67
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.851
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.851
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28939288 kB
Buffers: 185436 kB
Cached: 1266276 kB
SwapCached: 0 kB
Active: 2897452 kB
Inactive: 968000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28939288 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4724 kB
Writeback: 0 kB
AnonPages: 2413952 kB
Mapped: 15088 kB
Slab: 79572 kB
PageTables: 8964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2558296 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= 74204 MiB
End job on node145 at 2010-06-30 14:50:49