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-2693384-1277900288.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.03 c presolving:
0.03/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.03/0.07 c (round 2) 0 del vars, 115 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.03/0.09 c (round 3) 55 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.10 c (round 4) 110 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.14 c (0.1s) probing: 101/1082 (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 110 deleted vars, 170 deleted constraints, 906 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.09/0.14 c 1118 implications, 12 cliques
0.09/0.14 c presolved problem has 1933 variables (1082 bin, 0 int, 0 impl, 851 cont) and 3444 constraints
0.09/0.14 c 851 constraints of type <indicator>
0.09/0.14 c 12 constraints of type <setppc>
0.09/0.14 c 851 constraints of type <linear>
0.09/0.14 c 1730 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.14 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.14 c 0.1s| 1 | 0 | 41 | - |8736k| 0 | 35 |1933 |3444 |1933 |1742 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.1s| 1 | 0 | 80 | - |8835k| 0 | 44 |1933 |3444 |1933 |1759 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 168 | - |9173k| 0 | 48 |1933 |3444 |1933 |1775 | 33 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 701 | - |9231k| 0 | 33 |1933 |3444 |1933 |1787 | 45 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.51 c 0.5s| 1 | 0 | 1096 | - |9472k| 0 | 55 |1933 |3444 |1933 |1808 | 66 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.62 c 0.6s| 1 | 0 | 1204 | - |9477k| 0 | 59 |1933 |3444 |1933 |1817 | 75 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.95 c 0.9s| 1 | 0 | 2405 | - | 11M| 0 | 88 |1933 |3444 |1933 |1823 | 81 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.09 c 1.1s| 1 | 0 | 2597 | - | 11M| 0 | 124 |1933 |3444 |1933 |1844 | 102 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.27 c 1.2s| 1 | 0 | 2752 | - | 11M| 0 | 136 |1933 |3444 |1933 |1852 | 110 | 0 | 0 | 0.000000e+00 | -- | Inf
6.19/6.29 c 6.1s| 1 | 2 | 2752 | - | 11M| 0 | 136 |1933 |3444 |1933 |1852 | 110 | 0 | 33 | 0.000000e+00 | -- | Inf
6.29/6.30 o 41732
6.29/6.30 c y 6.1s| 2 | 1 | 2752 | 0.0 | 11M| 1 | - |1933 |3444 | 0 | 0 | 110 | 0 | 33 | 0.000000e+00 | 4.173200e+04 | Inf
36.39/36.41 o 569
36.39/36.41 c *35.8s| 2633 | 2021 | 62465 | 22.7 | 18M| 55 | - |1933 |3590 |1933 |1841 |1481 | 152 | 480 | 0.000000e+00 | 5.690000e+02 | Inf
36.49/36.51 o 514
36.49/36.51 c *35.9s| 2646 | 1850 | 63068 | 22.8 | 18M| 55 | - |1933 |3596 |1933 |1837 |1492 | 160 | 480 | 0.000000e+00 | 5.140000e+02 | Inf
36.49/36.58 o 310
36.49/36.58 c *35.9s| 2650 | 1105 | 63519 | 22.9 | 17M| 55 | - |1933 |3596 |1933 |1843 |1509 | 160 | 481 | 0.000000e+00 | 3.100000e+02 | Inf
36.59/36.62 o 260
36.59/36.62 c *36.0s| 2658 | 963 | 63664 | 22.9 | 16M| 55 | - |1933 |3608 |1933 |1839 |1512 | 172 | 482 | 0.000000e+00 | 2.600000e+02 | Inf
36.69/36.71 o 247
36.69/36.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.69/36.71 c *36.0s| 2683 | 928 | 64213 | 22.9 | 17M| 55 | - |1933 |3613 |1933 |1843 |1534 | 178 | 482 | 0.000000e+00 | 2.470000e+02 | Inf
36.69/36.76 o 214
36.69/36.76 c *36.1s| 2696 | 864 | 64514 | 22.9 | 16M| 55 | - |1933 |3616 |1933 |1844 |1552 | 181 | 482 | 0.000000e+00 | 2.140000e+02 | Inf
36.69/36.76 o 205
36.69/36.76 c *36.1s| 2697 | 837 | 64515 | 22.9 | 16M| 55 | - |1933 |3616 |1933 |1844 |1552 | 181 | 482 | 0.000000e+00 | 2.050000e+02 | Inf
36.99/37.07 o 197
36.99/37.07 c *36.4s| 2792 | 837 | 66201 | 22.7 | 17M| 55 | - |1933 |3692 |1933 |1834 |1589 | 262 | 483 | 0.000000e+00 | 1.970000e+02 | Inf
37.09/37.10 o 196
37.09/37.10 c *36.4s| 2808 | 834 | 66236 | 22.6 | 17M| 55 | - |1933 |3701 |1933 |1841 |1596 | 271 | 483 | 0.000000e+00 | 1.960000e+02 | Inf
38.09/38.14 o 186
38.09/38.14 c *37.5s| 2977 | 883 | 72794 | 23.5 | 17M| 55 | - |1933 |3827 |1933 |1830 |1754 | 413 | 485 | 0.000000e+00 | 1.860000e+02 | Inf
38.09/38.14 o 185
38.09/38.14 c *37.5s| 2978 | 876 | 72799 | 23.5 | 17M| 55 | - |1933 |3827 |1933 |1830 |1754 | 413 | 485 | 0.000000e+00 | 1.850000e+02 | Inf
38.29/38.37 o 163
38.29/38.37 c *37.7s| 3008 | 817 | 74303 | 23.8 | 17M| 55 | - |1933 |3832 |1933 |1829 |1757 | 423 | 485 | 0.000000e+00 | 1.630000e+02 | Inf
39.20/39.24 o 146
39.20/39.24 c *38.5s| 3198 | 798 | 79527 | 24.0 | 17M| 55 | - |1933 |4006 |1933 |1840 |1888 | 606 | 485 | 0.000000e+00 | 1.460000e+02 | Inf
39.20/39.24 o 142
39.20/39.24 c *38.5s| 3199 | 783 | 79528 | 24.0 | 17M| 55 | - |1933 |4006 |1933 |1840 |1888 | 606 | 485 | 0.000000e+00 | 1.420000e+02 | Inf
40.09/40.15 o 131
40.09/40.15 c *39.4s| 3417 | 859 | 85005 | 24.1 | 17M| 55 | - |1933 |4144 |1933 |1850 |2048 | 763 | 486 | 0.000000e+00 | 1.310000e+02 | Inf
40.19/40.29 o 128
40.19/40.29 c *39.5s| 3476 | 890 | 85642 | 23.9 | 18M| 55 | - |1933 |4157 |1933 |1843 |2089 | 777 | 487 | 0.000000e+00 | 1.280000e+02 | Inf
40.79/40.87 o 123
40.79/40.87 c *40.1s| 3619 | 978 | 89347 | 23.9 | 18M| 55 | - |1933 |4217 |1933 |1838 |2233 | 850 | 487 | 0.000000e+00 | 1.230000e+02 | Inf
40.89/40.90 o 121
40.89/40.90 c *40.1s| 3626 | 970 | 89430 | 23.9 | 18M| 55 | - |1933 |4217 |1933 |1840 |2235 | 850 | 487 | 0.000000e+00 | 1.210000e+02 | Inf
40.89/40.91 o 107
40.89/40.91 c *40.1s| 3630 | 924 | 89437 | 23.9 | 18M| 55 | - |1933 |4217 |1933 |1840 |2235 | 850 | 487 | 0.000000e+00 | 1.070000e+02 | Inf
40.89/40.91 o 88
40.89/40.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.89/40.91 c *40.1s| 3631 | 787 | 89438 | 23.9 | 17M| 55 | - |1933 |4217 |1933 |1840 |2235 | 850 | 487 | 0.000000e+00 | 8.800000e+01 | Inf
40.89/40.95 o 80
40.89/40.95 c *40.2s| 3653 | 722 | 89471 | 23.7 | 17M| 55 | - |1933 |4112 |1933 |1841 |2236 | 850 | 487 | 0.000000e+00 | 8.000000e+01 | Inf
40.89/40.96 o 49
40.89/40.96 c *40.2s| 3660 | 559 | 89477 | 23.7 | 16M| 55 | - |1933 |4031 |1933 |1841 |2236 | 850 | 487 | 0.000000e+00 | 4.900000e+01 | Inf
40.99/41.02 o 39
40.99/41.02 c *40.2s| 3675 | 528 | 89707 | 23.7 | 16M| 57 | - |1933 |3758 |1933 |1840 |2244 | 850 | 487 | 0.000000e+00 | 3.900000e+01 | Inf
40.99/41.04 o 25
40.99/41.04 c *40.3s| 3679 | 507 | 89710 | 23.6 | 16M| 57 | - |1933 |3672 |1933 |1840 |2244 | 850 | 487 | 0.000000e+00 | 2.500000e+01 | Inf
41.09/41.10 o 10
41.09/41.10 c *40.3s| 3692 | 440 | 90210 | 23.7 | 16M| 57 | - |1933 |3542 |1933 |1847 |2265 | 864 | 487 | 0.000000e+00 | 1.000000e+01 | Inf
41.09/41.14 o 6
41.09/41.14 c *40.4s| 3696 | 251 | 90433 | 23.7 | 15M| 57 | - |1933 |3377 |1933 |1838 |2266 | 864 | 487 | 0.000000e+00 | 6.000000e+00 | Inf
57.99/58.09 c 56.7s| 10000 | 305 |193592 | 19.1 | 18M| 57 | - |1933 |7591 |1933 |1826 |3188 |9035 | 793 | 0.000000e+00 | 6.000000e+00 | Inf
82.30/82.37 c 80.1s| 20000 | 308 |340144 | 16.9 | 19M| 57 | - |1933 |9917 |1933 |1826 |4694 | 22k|1167 | 0.000000e+00 | 6.000000e+00 | Inf
106.89/106.99 c 104s| 30000 | 518 |487293 | 16.2 | 22M| 57 | 11 |1933 | 13k|1933 |1836 |6424 | 35k|1474 | 0.000000e+00 | 6.000000e+00 | Inf
130.80/130.85 c 127s| 40000 | 579 |631898 | 15.7 | 24M| 57 | 26 |1933 | 16k|1933 |1826 |8263 | 48k|1478 | 0.000000e+00 | 6.000000e+00 | Inf
154.59/154.68 c 150s| 50000 | 667 |772476 | 15.4 | 26M| 57 | 24 |1933 | 17k|1933 |1832 |9989 | 61k|1478 | 0.000000e+00 | 6.000000e+00 | Inf
179.30/179.36 c 174s| 60000 | 763 |911839 | 15.2 | 27M| 57 | 15 |1933 | 18k|1933 |1826 | 11k| 74k|1638 | 0.000000e+00 | 6.000000e+00 | Inf
205.40/205.48 c 199s| 70000 | 975 | 1063k| 15.2 | 29M| 62 | 7 |1933 | 19k|1933 |1826 | 12k| 88k|1848 | 0.000000e+00 | 6.000000e+00 | Inf
230.39/230.42 c 223s| 80000 | 1019 | 1200k| 15.0 | 30M| 62 | - |1933 | 20k| 0 | 0 | 14k| 102k|2103 | 0.000000e+00 | 6.000000e+00 | Inf
254.10/254.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.10/254.11 c 246s| 90000 | 990 | 1328k| 14.7 | 31M| 62 | 15 |1933 | 20k|1933 |1826 | 15k| 117k|2245 | 0.000000e+00 | 6.000000e+00 | Inf
278.90/278.91 c 270s|100000 | 1127 | 1458k| 14.6 | 31M| 62 | 31 |1933 | 18k|1933 |1826 | 16k| 131k|2417 | 0.000000e+00 | 6.000000e+00 | Inf
302.41/302.46 c 293s|110000 | 1163 | 1582k| 14.4 | 33M| 62 | 26 |1933 | 21k|1933 |1826 | 17k| 145k|2561 | 0.000000e+00 | 6.000000e+00 | Inf
327.00/327.01 c 317s|120000 | 1240 | 1711k| 14.2 | 34M| 64 | - |1933 | 20k|1933 |1826 | 18k| 159k|2780 | 0.000000e+00 | 6.000000e+00 | Inf
349.90/349.98 c 339s|130000 | 1243 | 1831k| 14.1 | 34M| 64 | - |1933 | 20k| 0 | 0 | 19k| 173k|2894 | 0.000000e+00 | 6.000000e+00 | Inf
359.61/359.65 o 4
359.61/359.65 c * 348s|133993 | 1147 | 1884k| 14.0 | 34M| 64 | - |1933 | 21k|1933 |1827 | 20k| 178k|2996 | 0.000000e+00 | 4.000000e+00 | Inf
373.60/373.69 c 362s|140000 | 844 | 1958k| 14.0 | 29M| 64 | - |1933 | 11k|1933 |1826 | 20k| 187k|3038 | 0.000000e+00 | 4.000000e+00 | Inf
397.41/397.42 c 385s|150000 | 743 | 2091k| 13.9 | 28M| 64 | 22 |1933 | 13k|1933 |1826 | 22k| 201k|3226 | 0.000000e+00 | 4.000000e+00 | Inf
422.31/422.40 c 409s|160000 | 543 | 2224k| 13.9 | 25M| 64 | - |1933 | 11k|1933 |1826 | 23k| 215k|3663 | 0.000000e+00 | 4.000000e+00 | Inf
446.51/446.55 c 432s|170000 | 621 | 2362k| 13.9 | 27M| 64 | - |1933 | 14k| 0 | 0 | 23k| 227k|3880 | 0.000000e+00 | 4.000000e+00 | Inf
469.71/469.77 c 455s|180000 | 464 | 2490k| 13.8 | 26M| 64 | 25 |1933 | 13k|1933 |1826 | 24k| 240k|4019 | 0.000000e+00 | 4.000000e+00 | Inf
492.00/492.04 c 477s|190000 | 410 | 2607k| 13.7 | 25M| 64 | 15 |1933 | 13k|1933 |1826 | 25k| 253k|4187 | 0.000000e+00 | 4.000000e+00 | Inf
515.31/515.38 c 499s|200000 | 764 | 2736k| 13.7 | 28M| 64 | - |1933 | 15k|1933 |1826 | 25k| 266k|4331 | 0.000000e+00 | 4.000000e+00 | Inf
540.90/540.98 c 524s|210000 | 1242 | 2888k| 13.7 | 31M| 64 | 28 |1933 | 15k|1933 |1826 | 26k| 279k|4426 | 0.000000e+00 | 4.000000e+00 | Inf
565.21/565.24 c 547s|220000 | 1501 | 3023k| 13.7 | 34M| 64 | - |1933 | 18k| 0 | 0 | 26k| 291k|4559 | 0.000000e+00 | 4.000000e+00 | Inf
592.11/592.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.11/592.17 c 574s|230000 | 1699 | 3178k| 13.8 | 36M| 64 | 22 |1933 | 19k|1933 |1826 | 27k| 305k|4689 | 0.000000e+00 | 4.000000e+00 | Inf
618.61/618.65 c 599s|240000 | 1882 | 3328k| 13.9 | 38M| 64 | 27 |1933 | 19k|1933 |1826 | 28k| 318k|4851 | 0.000000e+00 | 4.000000e+00 | Inf
642.91/642.91 c 623s|250000 | 2195 | 3466k| 13.9 | 41M| 64 | 48 |1933 | 20k|1933 |1826 | 28k| 331k|4983 | 0.000000e+00 | 4.000000e+00 | Inf
667.21/667.24 c 646s|260000 | 2403 | 3603k| 13.9 | 43M| 68 | - |1933 | 22k| 0 | 0 | 29k| 344k|5113 | 0.000000e+00 | 4.000000e+00 | Inf
693.02/693.04 c 671s|270000 | 2514 | 3744k| 13.9 | 44M| 68 | 31 |1933 | 19k|1933 |1826 | 30k| 358k|5232 | 0.000000e+00 | 4.000000e+00 | Inf
718.51/718.52 c 696s|280000 | 2560 | 3883k| 13.9 | 44M| 68 | 25 |1933 | 19k|1933 |1826 | 30k| 372k|5357 | 0.000000e+00 | 4.000000e+00 | Inf
743.22/743.22 c 720s|290000 | 2880 | 4018k| 13.8 | 48M| 68 | 25 |1933 | 24k|1933 |1832 | 31k| 385k|5487 | 0.000000e+00 | 4.000000e+00 | Inf
769.01/769.03 c 745s|300000 | 2708 | 4152k| 13.8 | 46M| 68 | 15 |1933 | 19k|1933 |1826 | 31k| 399k|5585 | 0.000000e+00 | 4.000000e+00 | Inf
792.61/792.64 c 768s|310000 | 2546 | 4279k| 13.8 | 46M| 68 | 25 |1933 | 18k|1933 |1831 | 32k| 413k|5666 | 0.000000e+00 | 4.000000e+00 | Inf
816.52/816.58 c 791s|320000 | 2430 | 4405k| 13.8 | 46M| 68 | 9 |1933 | 19k|1933 |1826 | 32k| 427k|5757 | 0.000000e+00 | 4.000000e+00 | Inf
841.61/841.68 c 815s|330000 | 2367 | 4543k| 13.8 | 46M| 68 | - |1933 | 20k|1933 |1833 | 33k| 440k|5889 | 0.000000e+00 | 4.000000e+00 | Inf
865.82/865.88 c 839s|340000 | 1557 | 4664k| 13.7 | 39M| 68 | - |1933 | 16k|1933 |1832 | 33k| 455k|6017 | 0.000000e+00 | 4.000000e+00 | Inf
890.22/890.26 c 862s|350000 | 1337 | 4801k| 13.7 | 37M| 68 | 24 |1933 | 16k|1933 |1826 | 34k| 468k|6133 | 0.000000e+00 | 4.000000e+00 | Inf
912.72/912.79 c 884s|360000 | 1002 | 4918k| 13.7 | 34M| 68 | 26 |1933 | 16k|1933 |1826 | 35k| 482k|6263 | 0.000000e+00 | 4.000000e+00 | Inf
936.72/936.74 c 907s|370000 | 781 | 5053k| 13.6 | 32M| 68 | 22 |1933 | 15k|1933 |1835 | 35k| 496k|6341 | 0.000000e+00 | 4.000000e+00 | Inf
961.82/961.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.82/961.89 c 932s|380000 | 672 | 5193k| 13.7 | 31M| 68 | 18 |1933 | 15k|1933 |1826 | 36k| 509k|6432 | 0.000000e+00 | 4.000000e+00 | Inf
984.32/984.36 c 953s|390000 | 578 | 5311k| 13.6 | 31M| 68 | 22 |1933 | 18k|1933 |1826 | 37k| 522k|6549 | 0.000000e+00 | 4.000000e+00 | Inf
1007.32/1007.34 c 976s|400000 | 773 | 5434k| 13.6 | 32M| 68 | - |1933 | 19k|1933 |1826 | 38k| 535k|6640 | 0.000000e+00 | 4.000000e+00 | Inf
1029.82/1029.86 c 997s|410000 | 1043 | 5551k| 13.5 | 35M| 68 | - |1933 | 22k|1933 |1831 | 39k| 548k|6735 | 0.000000e+00 | 4.000000e+00 | Inf
1052.42/1052.49 c 1019s|420000 | 1141 | 5660k| 13.5 | 37M| 68 | 38 |1933 | 23k|1933 |1826 | 41k| 561k|6766 | 0.000000e+00 | 4.000000e+00 | Inf
1077.22/1077.21 c 1043s|430000 | 1317 | 5789k| 13.5 | 39M| 68 | - |1933 | 26k|1933 |1832 | 42k| 575k|6847 | 0.000000e+00 | 4.000000e+00 | Inf
1100.93/1100.99 c 1066s|440000 | 1308 | 5908k| 13.4 | 39M| 68 | - |1933 | 24k| 0 | 0 | 43k| 588k|6930 | 0.000000e+00 | 4.000000e+00 | Inf
1125.23/1125.20 c 1090s|450000 | 1370 | 6026k| 13.4 | 40M| 68 | 20 |1933 | 26k|1933 |1826 | 44k| 602k|7016 | 0.000000e+00 | 4.000000e+00 | Inf
1149.33/1149.39 c 1113s|460000 | 1268 | 6143k| 13.3 | 39M| 68 | 29 |1933 | 25k|1933 |1826 | 45k| 616k|7101 | 0.000000e+00 | 4.000000e+00 | Inf
1173.53/1173.50 c 1136s|470000 | 1309 | 6267k| 13.3 | 41M| 68 | - |1933 | 27k| 0 | 0 | 46k| 629k|7153 | 0.000000e+00 | 4.000000e+00 | Inf
1198.03/1198.04 c 1160s|480000 | 1331 | 6388k| 13.3 | 41M| 68 | 50 |1933 | 27k|1933 |1826 | 47k| 643k|7196 | 0.000000e+00 | 4.000000e+00 | Inf
1223.93/1223.91 c 1185s|490000 | 1576 | 6522k| 13.3 | 44M| 68 | 22 |1933 | 30k|1933 |1826 | 48k| 656k|7283 | 0.000000e+00 | 4.000000e+00 | Inf
1250.43/1250.45 c 1211s|500000 | 1713 | 6657k| 13.3 | 45M| 68 | 13 |1933 | 31k|1933 |1826 | 49k| 669k|7376 | 0.000000e+00 | 4.000000e+00 | Inf
1276.53/1276.57 c 1236s|510000 | 1849 | 6790k| 13.3 | 48M| 68 | - |1933 | 34k|1933 |1826 | 51k| 683k|7460 | 0.000000e+00 | 4.000000e+00 | Inf
1303.63/1303.67 c 1263s|520000 | 1946 | 6927k| 13.3 | 48M| 68 | 22 |1933 | 33k|1933 |1826 | 52k| 696k|7526 | 0.000000e+00 | 4.000000e+00 | Inf
1329.64/1329.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.64/1329.62 c 1288s|530000 | 1766 | 7059k| 13.3 | 47M| 68 | - |1933 | 30k|1933 |1826 | 54k| 710k|7600 | 0.000000e+00 | 4.000000e+00 | Inf
1355.03/1355.04 c 1312s|540000 | 1662 | 7188k| 13.3 | 47M| 68 | 18 |1933 | 30k|1933 |1826 | 55k| 724k|7642 | 0.000000e+00 | 4.000000e+00 | Inf
1381.43/1381.47 c 1338s|550000 | 1788 | 7319k| 13.3 | 50M| 68 | 1 |1933 | 36k|1933 |1826 | 56k| 737k|7694 | 0.000000e+00 | 4.000000e+00 | Inf
1408.43/1408.49 c 1364s|560000 | 1792 | 7446k| 13.3 | 49M| 68 | - |1933 | 30k|1933 |1826 | 57k| 751k|7784 | 0.000000e+00 | 4.000000e+00 | Inf
1434.44/1434.46 c 1389s|570000 | 1823 | 7576k| 13.3 | 49M| 68 | 15 |1933 | 31k|1933 |1831 | 58k| 764k|7873 | 0.000000e+00 | 4.000000e+00 | Inf
1461.14/1461.10 c 1415s|580000 | 1864 | 7708k| 13.3 | 49M| 68 | - |1933 | 31k|1933 |1826 | 60k| 778k|7959 | 0.000000e+00 | 4.000000e+00 | Inf
1485.34/1485.36 c 1439s|590000 | 1391 | 7819k| 13.2 | 44M| 68 | 20 |1933 | 24k|1933 |1826 | 61k| 792k|7968 | 0.000000e+00 | 4.000000e+00 | Inf
1511.53/1511.57 c 1464s|600000 | 460 | 7941k| 13.2 | 32M| 68 | 16 |1933 | 20k|1933 |1826 | 62k| 806k|8057 | 0.000000e+00 | 4.000000e+00 | Inf
1537.84/1537.90 c 1490s|610000 | 722 | 8085k| 13.3 | 35M| 68 | - |1933 | 24k|1933 |1826 | 63k| 819k|8184 | 0.000000e+00 | 4.000000e+00 | Inf
1565.74/1565.73 c 1517s|620000 | 997 | 8247k| 13.3 | 37M| 68 | - |1933 | 25k| 0 | 0 | 64k| 832k|8264 | 0.000000e+00 | 4.000000e+00 | Inf
1591.84/1591.84 c 1542s|630000 | 1429 | 8386k| 13.3 | 40M| 68 | - |1933 | 30k|1933 |1826 | 65k| 845k|8303 | 0.000000e+00 | 4.000000e+00 | Inf
1616.64/1616.65 c 1566s|640000 | 1596 | 8506k| 13.3 | 42M| 68 | - |1933 | 32k| 0 | 0 | 66k| 858k|8390 | 0.000000e+00 | 4.000000e+00 | Inf
1642.25/1642.27 c 1591s|650000 | 1717 | 8633k| 13.3 | 44M| 68 | - |1933 | 33k| 0 | 0 | 67k| 871k|8478 | 0.000000e+00 | 4.000000e+00 | Inf
1653.64/1653.62 o 2
1653.64/1653.62 c *1602s|654401 | 1611 | 8689k| 13.3 | 43M| 68 | - |1933 | 32k|1933 |1827 | 68k| 877k|8482 | 0.000000e+00 | 2.000000e+00 | Inf
1669.05/1669.03 c 1617s|660000 | 1669 | 8766k| 13.3 | 43M| 68 | 11 |1933 | 32k|1933 |1826 | 68k| 884k|8539 | 0.000000e+00 | 2.000000e+00 | Inf
1694.84/1694.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.84/1694.81 c 1642s|670000 | 1837 | 8900k| 13.3 | 46M| 68 | - |1933 | 34k| 0 | 0 | 69k| 898k|8564 | 0.000000e+00 | 2.000000e+00 | Inf
1721.45/1721.45 c 1668s|680000 | 1915 | 9034k| 13.3 | 45M| 68 | - |1933 | 31k| 0 | 0 | 70k| 911k|8651 | 0.000000e+00 | 2.000000e+00 | Inf
1747.85/1747.86 c 1693s|690000 | 1998 | 9167k| 13.3 | 47M| 68 | 20 |1933 | 35k|1933 |1826 | 71k| 924k|8762 | 0.000000e+00 | 2.000000e+00 | Inf
1774.45/1774.44 c 1719s|700000 | 2009 | 9294k| 13.3 | 48M| 68 | - |1933 | 36k|1933 |1833 | 72k| 937k|8815 | 0.000000e+00 | 2.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time (sec) : 1743.84
1800.05/1800.01 c Solving Nodes : 708830
1800.05/1800.01 c Primal Bound : +2.00000000000000e+00 (130 solutions)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.02 s SATISFIABLE
1800.05/1800.02 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.02 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.02 v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.02 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147
1800.05/1800.02 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.05/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.05/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.05/1800.02 v -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54
1800.05/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.05/1800.02 v -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.05/1800.02 v -x1
1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.02 c Solving Time : 1743.84
1800.05/1800.02 c Original Problem :
1800.05/1800.02 c Problem name : HOME/instance-2693384-1277900288.wbo
1800.05/1800.02 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.05/1800.02 c Constraints : 3614 initial, 3614 maximal
1800.05/1800.02 c Presolved Problem :
1800.05/1800.02 c Problem name : t_HOME/instance-2693384-1277900288.wbo
1800.05/1800.02 c Variables : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.05/1800.02 c Constraints : 3444 initial, 38731 maximal
1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.02 c trivial : 0.00 55 0 0 0 0 0 0 0
1800.05/1800.02 c dualfix : 0.00 55 0 0 0 0 0 0 0
1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 0.00 0 0 0 0 0 55 0 0
1800.05/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c linear : 0.03 0 0 0 906 0 115 55 0
1800.05/1800.02 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c root node : - 843 - - 1686 - - - -
1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c integral : 0 0 0 398392 0 296 2908 0 0 759550
1800.05/1800.02 c indicator : 851 0 3058050 15899 0 38 202695 0 0 0
1800.05/1800.02 c setppc : 12 8 3088528 14576 0 64162 2388712 0 0 0
1800.05/1800.02 c linear : 851 8 3027504 16079 0 79272 10023272 73284 0 0
1800.05/1800.02 c logicor : 1730+ 8 1625267 2257 0 98823 6133966 0 0 0
1800.05/1800.02 c bounddisjunction : 0+ 0 56348 0 0 0 3 0 0 0
1800.05/1800.02 c countsols : 0 0 0 2257 0 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.02 c integral : 55.42 0.00 0.00 55.42 0.00
1800.05/1800.02 c indicator : 2.88 0.02 2.66 0.20 0.00
1800.05/1800.02 c setppc : 15.69 0.00 15.68 0.01 0.00
1800.05/1800.02 c linear : 59.59 0.00 59.18 0.41 0.00
1800.05/1800.02 c logicor : 191.95 0.00 191.90 0.05 0.00
1800.05/1800.02 c bounddisjunction : 0.07 0.00 0.07 0.00 0.00
1800.05/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.02 c vbounds : 0.70 2 0 0
1800.05/1800.02 c rootredcost : 0.55 29 0 843
1800.05/1800.02 c pseudoobj : 50.31 3091853 337 162634
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 10.66 242594 241778 1431276 28.2 5912 26.1 -
1800.05/1800.02 c infeasible LP : 23.80 130535 130535 964956 44.6 799 18.7 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.00 7 7 50 19.8 3 3.0 -
1800.05/1800.02 c applied globally : - - - 949305 29.8 - - -
1800.05/1800.02 c applied locally : - - - 0 0.0 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 7 - - 58 - (maximal pool size: 896)
1800.05/1800.02 c redcost : 10.32 399324 0 27895 0 0
1800.05/1800.02 c impliedbounds : 0.00 8 0 0 0 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 0.26 8 0 0 2046 0
1800.05/1800.02 c strongcg : 0.23 8 0 0 1265 0
1800.05/1800.02 c cmir : 0.04 8 0 0 2 0
1800.05/1800.02 c flowcover : 0.07 8 0 0 2 0
1800.05/1800.02 c clique : 0.00 8 0 0 0 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.00 1 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 55.09 382309 296 2908 0 0 759550
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 0.14 2229 0 0 0 0 4458
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.03 - 28
1800.05/1800.02 c pseudo solutions : 0.00 - 0
1800.05/1800.02 c feaspump : 0.03 1 0
1800.05/1800.02 c oneopt : 0.42 25 0
1800.05/1800.02 c crossover : 0.40 9 0
1800.05/1800.02 c coefdiving : 0.31 185 0
1800.05/1800.02 c guideddiving : 0.38 185 0
1800.05/1800.02 c pscostdiving : 0.32 185 0
1800.05/1800.02 c fracdiving : 0.45 185 0
1800.05/1800.02 c veclendiving : 0.32 185 0
1800.05/1800.02 c linesearchdiving : 0.36 185 0
1800.05/1800.02 c objpscostdiving : 0.21 116 0
1800.05/1800.02 c rootsoldiving : 0.31 116 0
1800.05/1800.02 c trivial : 0.00 2 0
1800.05/1800.02 c simplerounding : 0.60 382347 0
1800.05/1800.02 c zirounding : 0.18 1000 0
1800.05/1800.02 c rounding : 0.74 8754 0
1800.05/1800.02 c shifting : 0.69 2719 0
1800.05/1800.02 c intshifting : 0.01 13 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.11 1 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c nlp : 0.15 0 0
1800.05/1800.02 c trysol : 0.38 1756 102
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.02 c dual LP : 1016.74 524418 9405243 17.93 9250.39
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 1.60 1112 9627 8.66 6016.88
1800.05/1800.02 c strong branching : 51.79 8864 428921 48.39 8281.93
1800.05/1800.02 c (at root node) : - 33 31071 941.55 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 708830
1800.05/1800.02 c nodes (total) : 708830
1800.05/1800.02 c nodes left : 2041
1800.05/1800.02 c max depth : 68
1800.05/1800.02 c max depth (total): 68
1800.05/1800.02 c backtracks : 106733 (15.1%)
1800.05/1800.02 c delayed cutoffs : 50036
1800.05/1800.02 c repropagations : 1096114 (3663308 domain reductions, 45707 cutoffs)
1800.05/1800.02 c avg switch length: 4.94
1800.05/1800.02 c switching time : 167.40
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 130 (29 improvements)
1800.05/1800.02 c First Solution : +4.17320000000000e+04 (in run 1, after 1 nodes, 1.32 seconds, depth 0, found by <trysol>)
1800.05/1800.02 c Primal Bound : +2.00000000000000e+00 (in run 1, after 654401 nodes, 1601.79 seconds, depth 32, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 2752
1800.05/1800.09 c Time complete: 1800.14.
Begin job on node142 at 2010-06-30 14:18:09
IDJOB=2693384
IDBENCH=78880
IDSOLVER=1205
FILE ID=node142/2693384-1277900288
PBS_JOBID= 11197199
Free space on /tmp= 74180 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.1900670675--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-2693384-1277900288/watcher-2693384-1277900288 -o /tmp/evaluation-result-2693384-1277900288/solver-2693384-1277900288 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693384-1277900288.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 763c02f50955b910cbe48f7840773e4a
RANDOM SEED=1201331582
node142.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.827
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.65
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.827
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.16
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.827
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.827
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.827
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.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
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.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31284588 kB
Buffers: 182084 kB
Cached: 1072180 kB
SwapCached: 0 kB
Active: 694716 kB
Inactive: 828860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31284588 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6260 kB
Writeback: 0 kB
AnonPages: 269220 kB
Mapped: 20240 kB
Slab: 79364 kB
PageTables: 5152 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1657376 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= 74168 MiB
End job on node142 at 2010-06-30 14:48:11