0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2693551-1277910120.wbo>
0.02/0.02 c original problem has 2105 variables (1168 bin, 0 int, 0 impl, 937 cont) and 3645 constraints
0.02/0.02 c problem read
0.02/0.02 c presolving settings loaded
0.02/0.03 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.02/0.07 c (round 2) 0 del vars, 113 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.02/0.09 c (round 3) 49 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.10 c (round 4) 98 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.14 c (0.1s) probing: 101/1119 (9.0%) - 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 98 deleted vars, 162 deleted constraints, 937 tightened bounds, 0 added holes, 49 changed sides, 0 changed coefficients
0.09/0.14 c 1151 implications, 14 cliques
0.09/0.14 c presolved problem has 2007 variables (1119 bin, 0 int, 0 impl, 888 cont) and 3483 constraints
0.09/0.14 c 888 constraints of type <indicator>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 888 constraints of type <linear>
0.09/0.14 c 1693 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 | 27 | - |8919k| 0 | 22 |2007 |3483 |2007 |1707 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.1s| 1 | 0 | 81 | - |9043k| 0 | 44 |2007 |3483 |2007 |1725 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 156 | - |9324k| 0 | 58 |2007 |3483 |2007 |1737 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.38 c 0.3s| 1 | 0 | 196 | - |9337k| 0 | 71 |2007 |3483 |2007 |1743 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.97 c 1.9s| 1 | 2 | 196 | - |9371k| 0 | 71 |2007 |3483 |2007 |1743 | 36 | 0 | 33 | 0.000000e+00 | -- | Inf
1.89/1.97 o 44536
1.89/1.97 c y 1.9s| 2 | 1 | 196 | 0.0 |9402k| 1 | - |2007 |3483 | 0 | 0 | 36 | 0 | 33 | 0.000000e+00 | 4.453600e+04 | Inf
19.49/19.52 o 490
19.49/19.52 c *19.0s| 668 | 528 | 23206 | 34.5 | 12M| 53 | - |2007 |3544 |2007 |1775 | 643 | 61 | 577 | 0.000000e+00 | 4.900000e+02 | Inf
19.49/19.53 o 454
19.49/19.53 c *19.0s| 669 | 495 | 23206 | 34.4 | 12M| 53 | - |2007 |3544 |2007 |1775 | 643 | 61 | 577 | 0.000000e+00 | 4.540000e+02 | Inf
19.80/19.84 o 449
19.80/19.84 c *19.3s| 729 | 543 | 25134 | 34.3 | 13M| 53 | - |2007 |3543 |2007 |1763 | 730 | 62 | 580 | 0.000000e+00 | 4.490000e+02 | Inf
20.60/20.60 o 446
20.60/20.60 c *20.1s| 880 | 674 | 29493 | 33.3 | 14M| 53 | - |2007 |3620 |2007 |1746 | 871 | 139 | 587 | 0.000000e+00 | 4.460000e+02 | Inf
20.60/20.61 o 431
20.60/20.61 c *20.1s| 881 | 660 | 29549 | 33.4 | 14M| 53 | - |2007 |3620 |2007 |1746 | 871 | 139 | 587 | 0.000000e+00 | 4.310000e+02 | Inf
21.10/21.10 o 422
21.10/21.10 c *20.5s| 1203 | 964 | 31063 | 25.7 | 15M| 65 | - |2007 |3624 |2007 |1759 | 989 | 144 | 587 | 0.000000e+00 | 4.220000e+02 | Inf
21.10/21.18 o 404
21.10/21.18 c *20.6s| 1218 | 937 | 31605 | 25.8 | 15M| 65 | - |2007 |3640 |2007 |1769 |1012 | 161 | 587 | 0.000000e+00 | 4.040000e+02 | Inf
21.29/21.36 o 348
21.29/21.36 c *20.8s| 1269 | 921 | 32764 | 25.7 | 15M| 65 | - |2007 |3660 |2007 |1749 |1052 | 181 | 587 | 0.000000e+00 | 3.480000e+02 | Inf
21.39/21.42 o 308
21.39/21.42 c *20.9s| 1294 | 880 | 33061 | 25.4 | 14M| 65 | - |2007 |3673 |2007 |1758 |1075 | 194 | 587 | 0.000000e+00 | 3.080000e+02 | Inf
21.59/21.60 o 301
21.59/21.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.59/21.60 c *21.0s| 1325 | 891 | 34153 | 25.6 | 15M| 65 | - |2007 |3673 |2007 |1752 |1109 | 194 | 588 | 0.000000e+00 | 3.010000e+02 | Inf
21.59/21.68 o 290
21.59/21.68 c *21.1s| 1339 | 876 | 34654 | 25.8 | 15M| 65 | - |2007 |3673 |2007 |1757 |1120 | 194 | 588 | 0.000000e+00 | 2.900000e+02 | Inf
21.59/21.68 o 275
21.59/21.68 c *21.1s| 1340 | 846 | 34654 | 25.7 | 14M| 65 | - |2007 |3673 |2007 |1757 |1120 | 194 | 588 | 0.000000e+00 | 2.750000e+02 | Inf
22.49/22.52 o 272
22.49/22.52 c *21.9s| 1442 | 908 | 40457 | 27.9 | 15M| 65 | - |2007 |3735 |2007 |1746 |1201 | 260 | 588 | 0.000000e+00 | 2.720000e+02 | Inf
22.69/22.75 o 236
22.69/22.75 c *22.1s| 1478 | 839 | 41988 | 28.3 | 15M| 65 | - |2007 |3738 |2007 |1755 |1224 | 267 | 588 | 0.000000e+00 | 2.360000e+02 | Inf
23.80/23.85 o 234
23.80/23.85 c *23.2s| 1683 | 991 | 49161 | 29.1 | 15M| 65 | - |2007 |3808 |2007 |1762 |1419 | 346 | 588 | 0.000000e+00 | 2.340000e+02 | Inf
23.80/23.88 o 231
23.80/23.88 c *23.2s| 1692 | 993 | 49189 | 29.0 | 15M| 65 | - |2007 |3808 |2007 |1768 |1425 | 346 | 588 | 0.000000e+00 | 2.310000e+02 | Inf
23.80/23.88 o 208
23.80/23.88 c *23.2s| 1693 | 917 | 49189 | 29.0 | 15M| 65 | - |2007 |3808 |2007 |1768 |1425 | 346 | 588 | 0.000000e+00 | 2.080000e+02 | Inf
23.89/23.93 o 201
23.89/23.93 c *23.3s| 1704 | 901 | 49426 | 28.9 | 15M| 65 | - |2007 |3813 |2007 |1757 |1453 | 351 | 588 | 0.000000e+00 | 2.010000e+02 | Inf
24.59/24.60 o 198
24.59/24.60 c *23.9s| 1876 | 979 | 53094 | 28.2 | 15M| 65 | - |2007 |3905 |2007 |1755 |1568 | 457 | 589 | 0.000000e+00 | 1.980000e+02 | Inf
24.79/24.84 o 179
24.79/24.84 c *24.1s| 1948 | 954 | 54373 | 27.8 | 15M| 65 | - |2007 |3945 |2007 |1749 |1643 | 506 | 589 | 0.000000e+00 | 1.790000e+02 | Inf
24.99/25.04 o 177
24.99/25.04 c *24.3s| 2038 | 1023 | 55368 | 27.1 | 16M| 65 | - |2007 |3957 |2007 |1760 |1703 | 522 | 589 | 0.000000e+00 | 1.770000e+02 | Inf
25.09/25.20 o 136
25.09/25.20 c *24.5s| 2067 | 820 | 56328 | 27.2 | 15M| 65 | - |2007 |3980 |2007 |1749 |1738 | 547 | 589 | 0.000000e+00 | 1.360000e+02 | Inf
25.20/25.22 o 80
25.20/25.22 c *24.5s| 2070 | 492 | 56382 | 27.2 | 14M| 65 | - |2007 |3980 |2007 |1754 |1746 | 547 | 589 | 0.000000e+00 | 8.000000e+01 | Inf
25.30/25.36 o 70
25.30/25.36 c *24.6s| 2087 | 447 | 57458 | 27.5 | 14M| 65 | - |2007 |3807 |2007 |1761 |1769 | 556 | 589 | 0.000000e+00 | 7.000000e+01 | Inf
25.39/25.40 o 69
25.39/25.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.39/25.40 c *24.7s| 2101 | 446 | 57564 | 27.3 | 14M| 65 | - |2007 |3704 |2007 |1761 |1769 | 570 | 589 | 0.000000e+00 | 6.900000e+01 | Inf
26.00/26.04 o 67
26.00/26.04 c *25.3s| 2191 | 451 | 60603 | 27.6 | 14M| 65 | - |2007 |3749 |2007 |1756 |1789 | 665 | 598 | 0.000000e+00 | 6.700000e+01 | Inf
26.00/26.05 o 31
26.00/26.05 c *25.3s| 2192 | 260 | 60603 | 27.6 | 14M| 65 | - |2007 |3749 |2007 |1756 |1789 | 665 | 598 | 0.000000e+00 | 3.100000e+01 | Inf
26.09/26.11 o 30
26.09/26.11 c *25.4s| 2199 | 167 | 61047 | 27.7 | 13M| 65 | - |2007 |3367 |2007 |1753 |1796 | 667 | 598 | 0.000000e+00 | 3.000000e+01 | Inf
47.89/47.91 c 46.1s| 10000 | 349 |185655 | 18.5 | 18M| 65 | - |2007 |7203 | 0 | 0 |2915 | 10k| 999 | 0.000000e+00 | 3.000000e+01 | Inf
71.69/71.72 c 68.7s| 20000 | 549 |317496 | 15.9 | 21M| 65 | - |2007 |8787 |2007 |1737 |4592 | 24k|1285 | 0.000000e+00 | 3.000000e+01 | Inf
95.60/95.68 c 91.4s| 30000 | 648 |447158 | 14.9 | 23M| 65 | 12 |2007 |9092 |2007 |1746 |6418 | 37k|1436 | 0.000000e+00 | 3.000000e+01 | Inf
119.30/119.34 c 114s| 40000 | 751 |583333 | 14.6 | 25M| 65 | - |2007 |7649 | 0 | 0 |7677 | 50k|1438 | 0.000000e+00 | 3.000000e+01 | Inf
142.99/143.03 c 136s| 50000 | 906 |711310 | 14.2 | 28M| 65 | 1 |2007 |8000 |2007 |1737 |9115 | 63k|1669 | 0.000000e+00 | 3.000000e+01 | Inf
165.79/165.82 c 158s| 60000 | 961 |830256 | 13.8 | 30M| 65 | - |2007 |9843 |2007 |1747 | 10k| 76k|1880 | 0.000000e+00 | 3.000000e+01 | Inf
188.29/188.31 c 179s| 70000 | 1100 |946490 | 13.5 | 33M| 65 | 25 |2007 | 11k|2007 |1737 | 11k| 90k|2048 | 0.000000e+00 | 3.000000e+01 | Inf
191.89/191.93 o 24
191.89/191.93 c * 183s| 71372 | 819 |965109 | 13.5 | 28M| 65 | - |2007 | 12k|2007 |1744 | 12k| 92k|2106 | 0.000000e+00 | 2.400000e+01 | Inf
198.80/198.88 o 23
198.80/198.88 c * 189s| 74048 | 846 | 1005k| 13.6 | 28M| 65 | - |2007 | 12k|2007 |1748 | 12k| 95k|2163 | 0.000000e+00 | 2.300000e+01 | Inf
213.20/213.30 c 203s| 80000 | 878 | 1087k| 13.6 | 28M| 65 | 14 |2007 | 12k|2007 |1737 | 13k| 103k|2315 | 0.000000e+00 | 2.300000e+01 | Inf
238.00/238.07 c 226s| 90000 | 952 | 1225k| 13.6 | 30M| 65 | 17 |2007 | 14k|2007 |1737 | 14k| 116k|2595 | 0.000000e+00 | 2.300000e+01 | Inf
262.49/262.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.49/262.59 c 250s|100000 | 986 | 1363k| 13.6 | 32M| 65 | - |2007 | 17k|2007 |1742 | 16k| 129k|2747 | 0.000000e+00 | 2.300000e+01 | Inf
288.10/288.17 c 274s|110000 | 1064 | 1504k| 13.7 | 33M| 65 | - |2007 | 16k| 0 | 0 | 17k| 143k|2958 | 0.000000e+00 | 2.300000e+01 | Inf
314.39/314.47 c 299s|120000 | 1240 | 1651k| 13.8 | 35M| 65 | 26 |2007 | 18k|2007 |1737 | 18k| 156k|3178 | 0.000000e+00 | 2.300000e+01 | Inf
341.50/341.50 c 324s|130000 | 1202 | 1801k| 13.9 | 36M| 65 | - |2007 | 18k| 0 | 0 | 20k| 170k|3343 | 0.000000e+00 | 2.300000e+01 | Inf
345.49/345.58 o 9
345.49/345.58 c * 328s|131515 | 482 | 1822k| 13.9 | 25M| 65 | - |2007 | 18k|2007 |1737 | 20k| 172k|3406 | 0.000000e+00 | 9.000000e+00 | Inf
366.60/366.62 c 348s|140000 | 492 | 1937k| 13.8 | 27M| 65 | 13 |2007 | 21k|2007 |1737 | 21k| 183k|3599 | 0.000000e+00 | 9.000000e+00 | Inf
392.50/392.51 c 373s|150000 | 515 | 2079k| 13.9 | 26M| 65 | - |2007 | 19k|2007 |1744 | 22k| 196k|3763 | 0.000000e+00 | 9.000000e+00 | Inf
417.19/417.29 c 396s|160000 | 673 | 2216k| 13.9 | 29M| 65 | 27 |2007 | 25k|2007 |1744 | 24k| 209k|3884 | 0.000000e+00 | 9.000000e+00 | Inf
443.80/443.89 c 422s|170000 | 569 | 2360k| 13.9 | 29M| 65 | 9 |2007 | 25k|2007 |1737 | 25k| 223k|4086 | 0.000000e+00 | 9.000000e+00 | Inf
468.61/468.63 c 445s|180000 | 562 | 2478k| 13.8 | 31M| 65 | - |2007 | 29k|2007 |1737 | 27k| 237k|4204 | 0.000000e+00 | 9.000000e+00 | Inf
496.60/496.63 c 472s|190000 | 648 | 2630k| 13.8 | 31M| 65 | - |2007 | 28k| 0 | 0 | 28k| 250k|4325 | 0.000000e+00 | 9.000000e+00 | Inf
525.40/525.46 c 499s|200000 | 744 | 2789k| 13.9 | 33M| 65 | 8 |2007 | 30k|2007 |1751 | 30k| 263k|4539 | 0.000000e+00 | 9.000000e+00 | Inf
556.70/556.70 c 529s|210000 | 866 | 2971k| 14.1 | 35M| 65 | - |2007 | 33k|2007 |1737 | 31k| 277k|4651 | 0.000000e+00 | 9.000000e+00 | Inf
584.01/584.06 c 555s|220000 | 937 | 3107k| 14.1 | 37M| 65 | - |2007 | 36k| 0 | 0 | 32k| 290k|4779 | 0.000000e+00 | 9.000000e+00 | Inf
613.81/613.83 c 584s|230000 | 1080 | 3254k| 14.1 | 38M| 69 | - |2007 | 38k| 0 | 0 | 34k| 304k|4947 | 0.000000e+00 | 9.000000e+00 | Inf
638.60/638.67 o 4
638.60/638.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.60/638.67 c * 608s|238809 | 942 | 3373k| 14.1 | 37M| 69 | - |2007 | 39k|2007 |1744 | 35k| 316k|5061 | 0.000000e+00 | 4.000000e+00 | Inf
642.20/642.22 c 611s|240000 | 940 | 3390k| 14.1 | 36M| 69 | - |2007 | 36k| 0 | 0 | 35k| 317k|5090 | 0.000000e+00 | 4.000000e+00 | Inf
671.50/671.51 c 639s|250000 | 951 | 3542k| 14.2 | 36M| 69 | 28 |2007 | 34k|2007 |1737 | 36k| 331k|5189 | 0.000000e+00 | 4.000000e+00 | Inf
699.70/699.76 c 666s|260000 | 900 | 3689k| 14.2 | 35M| 69 | 21 |2007 | 33k|2007 |1737 | 38k| 344k|5287 | 0.000000e+00 | 4.000000e+00 | Inf
728.71/728.78 c 694s|270000 | 906 | 3845k| 14.2 | 36M| 69 | 23 |2007 | 34k|2007 |1745 | 39k| 358k|5404 | 0.000000e+00 | 4.000000e+00 | Inf
757.11/757.15 c 721s|280000 | 797 | 3996k| 14.3 | 35M| 69 | - |2007 | 33k| 0 | 0 | 40k| 372k|5546 | 0.000000e+00 | 4.000000e+00 | Inf
784.41/784.43 c 747s|290000 | 666 | 4136k| 14.3 | 35M| 69 | - |2007 | 33k| 0 | 0 | 41k| 385k|5658 | 0.000000e+00 | 4.000000e+00 | Inf
813.81/813.87 c 775s|300000 | 595 | 4290k| 14.3 | 33M| 69 | - |2007 | 30k| 0 | 0 | 43k| 399k|5795 | 0.000000e+00 | 4.000000e+00 | Inf
840.41/840.49 c 800s|310000 | 610 | 4417k| 14.2 | 34M| 69 | 11 |2007 | 34k|2007 |1737 | 44k| 412k|5872 | 0.000000e+00 | 4.000000e+00 | Inf
869.31/869.36 c 828s|320000 | 601 | 4553k| 14.2 | 36M| 69 | - |2007 | 39k| 0 | 0 | 45k| 425k|5979 | 0.000000e+00 | 4.000000e+00 | Inf
898.31/898.38 c 856s|330000 | 648 | 4684k| 14.2 | 38M| 69 | - |2007 | 43k| 0 | 0 | 47k| 438k|6114 | 0.000000e+00 | 4.000000e+00 | Inf
931.01/931.08 c 887s|340000 | 629 | 4840k| 14.2 | 39M| 69 | - |2007 | 45k| 0 | 0 | 48k| 452k|6190 | 0.000000e+00 | 4.000000e+00 | Inf
963.91/963.95 c 919s|350000 | 693 | 4992k| 14.3 | 40M| 69 | 33 |2007 | 45k|2007 |1737 | 49k| 465k|6320 | 0.000000e+00 | 4.000000e+00 | Inf
997.72/997.77 c 951s|360000 | 803 | 5153k| 14.3 | 40M| 69 | - |2007 | 44k| 0 | 0 | 50k| 478k|6431 | 0.000000e+00 | 4.000000e+00 | Inf
1029.21/1029.27 c 981s|370000 | 879 | 5297k| 14.3 | 42M| 69 | 16 |2007 | 48k|2007 |1737 | 52k| 491k|6518 | 0.000000e+00 | 4.000000e+00 | Inf
1060.22/1060.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.22/1060.25 c 1011s|380000 | 779 | 5439k| 14.3 | 41M| 69 | 26 |2007 | 45k|2007 |1737 | 53k| 505k|6618 | 0.000000e+00 | 4.000000e+00 | Inf
1093.52/1093.50 c 1043s|390000 | 696 | 5594k| 14.3 | 40M| 69 | - |2007 | 43k|2007 |1737 | 54k| 519k|6734 | 0.000000e+00 | 4.000000e+00 | Inf
1123.92/1123.95 c 1072s|400000 | 635 | 5732k| 14.3 | 39M| 69 | - |2007 | 43k| 0 | 0 | 56k| 532k|6813 | 0.000000e+00 | 4.000000e+00 | Inf
1157.22/1157.22 c 1104s|410000 | 531 | 5887k| 14.4 | 35M| 69 | - |2007 | 32k| 0 | 0 | 57k| 546k|6915 | 0.000000e+00 | 4.000000e+00 | Inf
1183.42/1183.46 c 1129s|420000 | 469 | 6028k| 14.4 | 32M| 69 | 21 |2007 | 27k|2007 |1737 | 58k| 559k|7048 | 0.000000e+00 | 4.000000e+00 | Inf
1209.72/1209.74 c 1154s|430000 | 514 | 6153k| 14.3 | 34M| 69 | - |2007 | 30k|2007 |1737 | 60k| 572k|7187 | 0.000000e+00 | 4.000000e+00 | Inf
1237.62/1237.64 c 1181s|440000 | 503 | 6282k| 14.3 | 35M| 69 | - |2007 | 33k|2007 |1753 | 62k| 586k|7251 | 0.000000e+00 | 4.000000e+00 | Inf
1266.42/1266.49 c 1209s|450000 | 582 | 6408k| 14.2 | 36M| 69 | - |2007 | 36k| 0 | 0 | 63k| 599k|7313 | 0.000000e+00 | 4.000000e+00 | Inf
1295.93/1295.96 c 1237s|460000 | 588 | 6539k| 14.2 | 38M| 69 | - |2007 | 40k| 0 | 0 | 64k| 613k|7432 | 0.000000e+00 | 4.000000e+00 | Inf
1322.92/1322.93 c 1262s|470000 | 648 | 6654k| 14.2 | 40M| 69 | - |2007 | 43k| 0 | 0 | 66k| 626k|7522 | 0.000000e+00 | 4.000000e+00 | Inf
1351.83/1351.89 c 1290s|480000 | 791 | 6780k| 14.1 | 41M| 69 | 14 |2007 | 44k|2007 |1737 | 67k| 640k|7591 | 0.000000e+00 | 4.000000e+00 | Inf
1382.63/1382.68 c 1320s|490000 | 743 | 6917k| 14.1 | 41M| 69 | 16 |2007 | 44k|2007 |1737 | 68k| 653k|7646 | 0.000000e+00 | 4.000000e+00 | Inf
1413.23/1413.21 c 1349s|500000 | 676 | 7052k| 14.1 | 40M| 69 | - |2007 | 43k| 0 | 0 | 70k| 667k|7725 | 0.000000e+00 | 4.000000e+00 | Inf
1444.13/1444.17 c 1379s|510000 | 506 | 7192k| 14.1 | 38M| 69 | - |2007 | 39k| 0 | 0 | 71k| 680k|7889 | 0.000000e+00 | 4.000000e+00 | Inf
1475.03/1475.05 c 1408s|520000 | 493 | 7343k| 14.1 | 40M| 69 | - |2007 | 45k| 0 | 0 | 73k| 694k|7976 | 0.000000e+00 | 4.000000e+00 | Inf
1506.43/1506.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.43/1506.43 c 1438s|530000 | 519 | 7473k| 14.1 | 41M| 69 | - |2007 | 49k|2007 |1740 | 74k| 707k|8016 | 0.000000e+00 | 4.000000e+00 | Inf
1537.43/1537.47 c 1468s|540000 | 501 | 7599k| 14.1 | 40M| 69 | - |2007 | 45k|2007 |1742 | 75k| 720k|8100 | 0.000000e+00 | 4.000000e+00 | Inf
1567.63/1567.61 c 1497s|550000 | 587 | 7718k| 14.0 | 40M| 69 | 25 |2007 | 45k|2007 |1737 | 76k| 732k|8232 | 0.000000e+00 | 4.000000e+00 | Inf
1601.33/1601.30 c 1529s|560000 | 662 | 7850k| 14.0 | 41M| 69 | 18 |2007 | 45k|2007 |1737 | 78k| 745k|8271 | 0.000000e+00 | 4.000000e+00 | Inf
1637.73/1637.77 c 1565s|570000 | 724 | 8008k| 14.0 | 43M| 69 | - |2007 | 48k| 0 | 0 | 79k| 758k|8334 | 0.000000e+00 | 4.000000e+00 | Inf
1672.33/1672.33 c 1598s|580000 | 699 | 8141k| 14.0 | 44M| 69 | 19 |2007 | 52k|2007 |1737 | 80k| 771k|8437 | 0.000000e+00 | 4.000000e+00 | Inf
1708.93/1708.95 c 1633s|590000 | 688 | 8272k| 14.0 | 45M| 69 | - |2007 | 53k| 0 | 0 | 82k| 784k|8521 | 0.000000e+00 | 4.000000e+00 | Inf
1739.14/1739.11 c 1662s|600000 | 684 | 8393k| 14.0 | 45M| 69 | 21 |2007 | 53k|2007 |1746 | 83k| 798k|8571 | 0.000000e+00 | 4.000000e+00 | Inf
1770.23/1770.20 c 1692s|610000 | 691 | 8527k| 14.0 | 43M| 69 | 11 |2007 | 47k|2007 |1737 | 85k| 811k|8629 | 0.000000e+00 | 4.000000e+00 | Inf
1799.73/1799.71 c 1720s|620000 | 729 | 8662k| 14.0 | 44M| 69 | 11 |2007 | 49k|2007 |1737 | 86k| 825k|8731 | 0.000000e+00 | 4.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) : 1720.45
1800.03/1800.00 c Solving Nodes : 620104
1800.03/1800.00 c Primal Bound : +4.00000000000000e+00 (144 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 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
1800.03/1800.02 v -x125 -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
1800.03/1800.02 v -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.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 : 1720.45
1800.03/1800.02 c Original Problem :
1800.03/1800.02 c Problem name : HOME/instance-2693551-1277910120.wbo
1800.03/1800.02 c Variables : 2105 (1168 binary, 0 integer, 0 implicit integer, 937 continuous)
1800.03/1800.02 c Constraints : 3645 initial, 3645 maximal
1800.03/1800.02 c Presolved Problem :
1800.03/1800.02 c Problem name : t_HOME/instance-2693551-1277910120.wbo
1800.03/1800.02 c Variables : 2007 (1119 binary, 0 integer, 0 implicit integer, 888 continuous)
1800.03/1800.02 c Constraints : 3483 initial, 55082 maximal
1800.03/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.02 c trivial : 0.00 49 0 0 0 0 0 0 0
1800.03/1800.02 c dualfix : 0.00 49 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.03 0 0 0 0 0 0 0 0
1800.03/1800.02 c indicator : 0.00 0 0 0 0 0 49 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.03 0 0 0 937 0 113 49 0
1800.03/1800.02 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c root node : - 860 - - 1720 - - - -
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 344985 0 176 2829 0 0 652976
1800.03/1800.02 c indicator : 888 0 2757783 16096 0 261 1175529 0 0 0
1800.03/1800.02 c setppc : 14 4 2768477 15750 0 63469 2114150 0 0 0
1800.03/1800.02 c linear : 888 4 2706208 16153 0 73716 9228496 86560 0 0
1800.03/1800.02 c logicor : 1693+ 4 1328747 1114 0 68849 4896824 0 0 0
1800.03/1800.02 c bounddisjunction : 0+ 0 17859 0 0 0 425 0 0 0
1800.03/1800.02 c countsols : 0 0 0 1114 0 0 0 0 0 0
1800.03/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.02 c integral : 46.29 0.00 0.00 46.29 0.00
1800.03/1800.02 c indicator : 3.47 0.00 3.24 0.23 0.00
1800.03/1800.02 c setppc : 14.35 0.00 14.35 0.00 0.00
1800.03/1800.02 c linear : 56.33 0.00 55.90 0.43 0.00
1800.03/1800.02 c logicor : 261.24 0.00 261.23 0.01 0.00
1800.03/1800.02 c bounddisjunction : 0.00 0.00 0.00 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.01 2 0 0
1800.03/1800.02 c rootredcost : 0.02 33 0 860
1800.03/1800.02 c pseudoobj : 47.88 2771647 1876 1038488
1800.03/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.02 c propagation : 9.18 207910 207418 1260960 25.5 5415 23.7 -
1800.03/1800.02 c infeasible LP : 22.96 114991 114983 911278 45.6 948 14.5 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.00 24 24 150 17.2 5 3.8 -
1800.03/1800.02 c applied globally : - - - 825460 28.7 - - -
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 3 - - 9 - (maximal pool size: 157)
1800.03/1800.02 c redcost : 9.35 346536 0 108949 0 0
1800.03/1800.02 c impliedbounds : 0.00 4 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.16 4 0 0 1000 0
1800.03/1800.02 c strongcg : 0.10 4 0 0 528 0
1800.03/1800.02 c cmir : 0.02 4 0 0 1 0
1800.03/1800.02 c flowcover : 0.04 4 0 0 1 0
1800.03/1800.02 c clique : 0.00 4 0 0 0 0
1800.03/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.02 c mcf : 0.00 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 : 46.20 328821 176 2829 0 0 652976
1800.03/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.02 c inference : 0.11 1082 0 0 0 0 2164
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.01 - 32
1800.03/1800.02 c pseudo solutions : 0.00 - 0
1800.03/1800.02 c feaspump : 0.02 1 0
1800.03/1800.02 c oneopt : 0.20 28 0
1800.03/1800.02 c crossover : 0.36 16 0
1800.03/1800.02 c fracdiving : 0.25 116 0
1800.03/1800.02 c veclendiving : 0.30 117 0
1800.03/1800.02 c linesearchdiving : 0.23 117 0
1800.03/1800.02 c guideddiving : 0.24 117 0
1800.03/1800.02 c coefdiving : 0.26 117 0
1800.03/1800.02 c pscostdiving : 0.23 117 0
1800.03/1800.02 c objpscostdiving : 0.15 69 0
1800.03/1800.02 c rootsoldiving : 0.17 70 0
1800.03/1800.02 c trivial : 0.01 2 0
1800.03/1800.02 c simplerounding : 0.42 329269 0
1800.03/1800.02 c zirounding : 0.02 1000 0
1800.03/1800.02 c rounding : 0.78 8051 0
1800.03/1800.02 c shifting : 0.70 2488 0
1800.03/1800.02 c intshifting : 0.00 11 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.03 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.00 0 0
1800.03/1800.02 c trysol : 0.52 1964 112
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 : 920.09 457404 8656857 18.93 9408.71
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.13 708 7269 10.27 6432.74
1800.03/1800.02 c strong branching : 43.14 8731 396968 45.47 9201.85
1800.03/1800.02 c (at root node) : - 33 10872 329.45 -
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 : 620104
1800.03/1800.02 c nodes (total) : 620104
1800.03/1800.02 c nodes left : 717
1800.03/1800.02 c max depth : 69
1800.03/1800.02 c max depth (total): 69
1800.03/1800.02 c backtracks : 83698 (13.5%)
1800.03/1800.02 c delayed cutoffs : 31535
1800.03/1800.02 c repropagations : 1064805 (3007447 domain reductions, 30189 cutoffs)
1800.03/1800.02 c avg switch length: 5.00
1800.03/1800.02 c switching time : 192.25
1800.03/1800.02 c Solution :
1800.03/1800.02 c Solutions found : 144 (33 improvements)
1800.03/1800.02 c First Solution : +4.45360000000000e+04 (in run 1, after 1 nodes, 0.49 seconds, depth 0, found by <trysol>)
1800.03/1800.02 c Primal Bound : +4.00000000000000e+00 (in run 1, after 238809 nodes, 607.72 seconds, depth 45, 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 : 196
1800.03/1800.09 c Time complete: 1800.13.
Begin job on node123 at 2010-06-30 17:02:00
IDJOB=2693551
IDBENCH=78974
IDSOLVER=1205
FILE ID=node123/2693551-1277910120
PBS_JOBID= 11197206
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693551-1277910120/watcher-2693551-1277910120 -o /tmp/evaluation-result-2693551-1277910120/solver-2693551-1277910120 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693551-1277910120.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5d7330038698be4d7397c9bceea53fdc
RANDOM SEED=1415484132
node123.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.804
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.60
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.804
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 : 5294.59
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.804
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.804
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.804
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.75
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.804
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.71
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.804
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.74
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.804
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: 30849464 kB
Buffers: 197460 kB
Cached: 1112284 kB
SwapCached: 0 kB
Active: 1163324 kB
Inactive: 793004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30849464 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6224 kB
Writeback: 0 kB
AnonPages: 646496 kB
Mapped: 16136 kB
Slab: 79292 kB
PageTables: 5892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 822388 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 node123 at 2010-06-30 17:32:02