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-2693027-1277914621.wbo>
0.00/0.03 c original problem has 5756 variables (3542 bin, 0 int, 0 impl, 2214 cont) and 5564 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.04/0.06 c presolving:
0.04/0.07 c (round 1) 12 del vars, 8 del conss, 0 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 5124 impls, 0 clqs
0.04/0.07 c (round 2) 15 del vars, 28 del conss, 0 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 5124 impls, 0 clqs
0.04/0.08 c (round 3) 18 del vars, 29 del conss, 2211 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 5124 impls, 0 clqs
0.09/0.10 c (round 4) 19 del vars, 29 del conss, 2211 chg bounds, 92 chg sides, 184 chg coeffs, 1114 upgd conss, 5124 impls, 0 clqs
0.19/0.24 c (0.2s) probing: 350/3526 (9.9%) - 0 fixings, 0 aggregations, 9 implications, 0 bound changes
0.19/0.24 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.24 c presolving (5 rounds):
0.19/0.24 c 19 deleted vars, 29 deleted constraints, 2211 tightened bounds, 0 added holes, 92 changed sides, 184 changed coefficients
0.19/0.24 c 5142 implications, 0 cliques
0.19/0.24 c presolved problem has 5737 variables (3526 bin, 0 int, 0 impl, 2211 cont) and 5535 constraints
0.19/0.24 c 2211 constraints of type <indicator>
0.19/0.24 c 1 constraints of type <varbound>
0.19/0.24 c 64 constraints of type <knapsack>
0.19/0.24 c 2210 constraints of type <linear>
0.19/0.24 c 1049 constraints of type <logicor>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.15
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c # SCIP version 1.2.1.2
0.19/0.24 c
0.19/0.24 c # frequency for displaying node information lines
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.24 c display/freq = 10000
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/time = 1799.97
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/memory = 3420
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify inequalities
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/linear/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify knapsacks
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24 c separating/rapidlearning/freq = 0
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving
0.19/0.24 c
0.19/0.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.25 c 0.2s| 1 | 0 | 85 | - | 19M| 0 | 28 |5737 |5535 |5737 |1113 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 o 110773
0.19/0.27 c y 0.2s| 1 | 0 | 85 | - | 19M| 0 | 28 |5737 |5535 |5737 |1113 | 0 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 352 | - | 20M| 0 | 199 |5737 |5535 |5737 |1298 | 185 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
0.39/0.47 c 0.4s| 1 | 0 | 828 | - | 20M| 0 | 273 |5737 |5535 |5737 |1540 | 427 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
0.49/0.59 c 0.5s| 1 | 0 | 1025 | - | 20M| 0 | 240 |5737 |5535 |5737 |1705 | 592 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
0.69/0.71 c 0.6s| 1 | 0 | 1182 | - | 21M| 0 | 275 |5737 |5535 |5737 |1805 | 692 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
0.79/0.84 c 0.8s| 1 | 0 | 1318 | - | 21M| 0 | 301 |5737 |5535 |5737 |1893 | 780 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
0.99/1.01 c 0.9s| 1 | 0 | 1509 | - | 21M| 0 | 384 |5737 |5535 |5737 |1960 | 847 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
1.39/1.44 c 1.3s| 1 | 2 | 1509 | - | 21M| 0 | 384 |5737 |5535 |5737 |1960 | 847 | 0 | 21 | 0.000000e+00 | 1.107730e+05 | Inf
50.29/50.37 c 49.0s| 10000 | 9987 | 48425 | 4.7 | 53M| 195 | 0 |5737 |5547 |5737 |1868 | 10k| 12 |3915 | 0.000000e+00 | 1.107730e+05 | Inf
83.19/83.20 c 80.9s| 20000 | 19987 | 88529 | 4.4 | 77M| 213 | 0 |5737 |5547 |5737 |1875 | 20k| 12 |4368 | 0.000000e+00 | 1.107730e+05 | Inf
115.59/115.68 c 113s| 30000 | 29987 |124165 | 4.1 | 102M| 221 | 20 |5737 |5547 |5737 |1851 | 29k| 12 |4611 | 0.000000e+00 | 1.107730e+05 | Inf
148.29/148.30 c 144s| 40000 | 39983 |160471 | 4.0 | 126M| 221 | 1 |5737 |5549 |5737 |1834 | 38k| 14 |5001 | 0.000000e+00 | 1.107730e+05 | Inf
180.70/180.71 c 176s| 50000 | 49983 |193977 | 3.8 | 150M| 225 | 0 |5737 |5549 |5737 |1868 | 47k| 14 |5438 | 0.000000e+00 | 1.107730e+05 | Inf
211.10/211.20 c 205s| 60000 | 59983 |218448 | 3.6 | 175M| 225 | 0 |5737 |5548 |5737 |1861 | 53k| 14 |5460 | 0.000000e+00 | 1.107730e+05 | Inf
240.49/240.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.49/240.51 c 234s| 70000 | 69983 |228206 | 3.2 | 199M| 227 | 0 |5737 |5548 |5737 |1863 | 55k| 14 |5460 | 0.000000e+00 | 1.107730e+05 | Inf
270.39/270.49 c 263s| 80000 | 79981 |244775 | 3.0 | 223M| 241 | 0 |5737 |5549 |5737 |1867 | 59k| 15 |5563 | 0.000000e+00 | 1.107730e+05 | Inf
300.50/300.60 c 293s| 90000 | 89981 |261870 | 2.9 | 247M| 245 | 0 |5737 |5549 |5737 |1888 | 63k| 15 |5777 | 0.000000e+00 | 1.107730e+05 | Inf
330.80/330.85 c 322s|100000 | 99981 |286948 | 2.9 | 271M| 245 | 0 |5737 |5549 |5737 |1884 | 69k| 15 |5796 | 0.000000e+00 | 1.107730e+05 | Inf
360.00/360.08 c 351s|110000 |109981 |300239 | 2.7 | 295M| 245 | 0 |5737 |5549 |5737 |1865 | 73k| 15 |5811 | 0.000000e+00 | 1.107730e+05 | Inf
388.40/388.48 c 378s|120000 |119981 |308306 | 2.6 | 320M| 245 | 0 |5737 |5549 |5737 |1871 | 75k| 15 |5811 | 0.000000e+00 | 1.107730e+05 | Inf
418.61/418.62 c 408s|130000 |129981 |338072 | 2.6 | 344M| 245 | 0 |5737 |5548 |5737 |1897 | 83k| 15 |5866 | 0.000000e+00 | 1.107730e+05 | Inf
448.90/448.90 c 437s|140000 |139981 |371447 | 2.6 | 368M| 245 | 0 |5737 |5548 |5737 |1893 | 91k| 15 |5879 | 0.000000e+00 | 1.107730e+05 | Inf
479.30/479.33 c 467s|150000 |149981 |402355 | 2.7 | 393M| 245 | 0 |5737 |5548 |5737 |1873 | 99k| 15 |5891 | 0.000000e+00 | 1.107730e+05 | Inf
509.21/509.20 c 496s|160000 |159981 |414172 | 2.6 | 417M| 245 | 0 |5737 |5548 |5737 |1860 | 101k| 15 |5899 | 0.000000e+00 | 1.107730e+05 | Inf
540.20/540.29 c 526s|170000 |169979 |444164 | 2.6 | 441M| 245 | 0 |5737 |5549 |5737 |1896 | 109k| 16 |6121 | 0.000000e+00 | 1.107730e+05 | Inf
571.21/571.28 c 556s|180000 |179979 |473425 | 2.6 | 465M| 245 | 0 |5737 |5549 |5737 |1874 | 116k| 16 |6233 | 0.000000e+00 | 1.107730e+05 | Inf
602.81/602.81 c 587s|190000 |189979 |502868 | 2.6 | 490M| 245 | 0 |5737 |5549 |5737 |1884 | 124k| 16 |6598 | 0.000000e+00 | 1.107730e+05 | Inf
633.51/633.50 c 617s|200000 |199979 |530454 | 2.6 | 514M| 245 | 0 |5737 |5549 |5737 |1888 | 131k| 16 |6682 | 0.000000e+00 | 1.107730e+05 | Inf
665.31/665.35 c 648s|210000 |209979 |562629 | 2.7 | 538M| 245 | 0 |5737 |5549 |5737 |1881 | 140k| 16 |7064 | 0.000000e+00 | 1.107730e+05 | Inf
695.61/695.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.61/695.62 c 677s|220000 |219979 |589037 | 2.7 | 562M| 245 | 0 |5737 |5549 |5737 |1884 | 147k| 16 |7158 | 0.000000e+00 | 1.107730e+05 | Inf
727.81/727.82 c 709s|230000 |229979 |620763 | 2.7 | 587M| 245 | 0 |5737 |5549 |5737 |1894 | 155k| 16 |7719 | 0.000000e+00 | 1.107730e+05 | Inf
758.51/758.53 c 738s|240000 |239977 |652268 | 2.7 | 611M| 245 | 0 |5737 |5550 |5737 |1862 | 163k| 17 |7905 | 0.000000e+00 | 1.107730e+05 | Inf
787.81/787.84 c 767s|250000 |249977 |664946 | 2.7 | 635M| 245 | 0 |5737 |5550 |5737 |1886 | 166k| 17 |8074 | 0.000000e+00 | 1.107730e+05 | Inf
816.02/816.03 c 794s|260000 |259977 |672454 | 2.6 | 659M| 245 | 0 |5737 |5550 |5737 |1891 | 168k| 17 |8113 | 0.000000e+00 | 1.107730e+05 | Inf
845.41/845.41 c 823s|270000 |269975 |686552 | 2.5 | 684M| 245 | 0 |5737 |5550 |5737 |1859 | 171k| 18 |8362 | 0.000000e+00 | 1.107730e+05 | Inf
875.52/875.55 c 852s|280000 |279975 |713580 | 2.5 | 708M| 245 | 1 |5737 |5550 |5737 |1772 | 178k| 18 |8512 | 0.000000e+00 | 1.107730e+05 | Inf
905.01/905.08 c 881s|290000 |289975 |733494 | 2.5 | 732M| 245 | 0 |5737 |5550 |5737 |1861 | 183k| 18 |8595 | 0.000000e+00 | 1.107730e+05 | Inf
934.92/934.99 c 910s|300000 |299975 |746259 | 2.5 | 756M| 245 | 0 |5737 |5550 |5737 |1867 | 186k| 18 |8761 | 0.000000e+00 | 1.107730e+05 | Inf
964.41/964.44 c 939s|310000 |309975 |757528 | 2.4 | 781M| 245 | 0 |5737 |5550 |5737 |1854 | 189k| 18 |8889 | 0.000000e+00 | 1.107730e+05 | Inf
993.22/993.24 c 967s|320000 |319975 |765996 | 2.4 | 805M| 245 | 0 |5737 |5550 |5737 |1885 | 191k| 18 |9064 | 0.000000e+00 | 1.107730e+05 | Inf
1022.02/1022.02 c 995s|330000 |329975 |779067 | 2.4 | 829M| 245 | 0 |5737 |5550 |5737 |1881 | 193k| 18 |9121 | 0.000000e+00 | 1.107730e+05 | Inf
1052.72/1052.72 c 1025s|340000 |339975 |803723 | 2.4 | 853M| 245 | 0 |5737 |5550 |5737 |1856 | 199k| 18 |9285 | 0.000000e+00 | 1.107730e+05 | Inf
1081.41/1081.46 c 1053s|350000 |349975 |813503 | 2.3 | 878M| 245 | 0 |5737 |5550 |5737 |1881 | 201k| 18 |9471 | 0.000000e+00 | 1.107730e+05 | Inf
1110.93/1110.99 c 1082s|360000 |359973 |832588 | 2.3 | 902M| 245 | 92 |5737 |5551 |5737 |1813 | 205k| 19 |9633 | 0.000000e+00 | 1.107730e+05 | Inf
1141.91/1141.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1141.91/1141.91 c 1112s|370000 |369973 |867245 | 2.3 | 926M| 245 | 0 |5737 |5551 |5737 |1871 | 213k| 19 |9761 | 0.000000e+00 | 1.107730e+05 | Inf
1171.62/1171.68 c 1141s|380000 |379973 |881479 | 2.3 | 950M| 247 | 1 |5737 |5551 |5737 |1893 | 217k| 19 |9989 | 0.000000e+00 | 1.107730e+05 | Inf
1199.72/1199.74 c 1168s|390000 |389973 |884483 | 2.3 | 974M| 247 | 0 |5737 |5551 |5737 |1869 | 217k| 19 | 10k| 0.000000e+00 | 1.107730e+05 | Inf
1227.73/1227.75 c 1196s|400000 |399973 |887044 | 2.2 | 998M| 247 | 0 |5737 |5551 |5737 |1872 | 218k| 19 | 10k| 0.000000e+00 | 1.107730e+05 | Inf
1255.82/1255.89 c 1223s|410000 |409973 |891526 | 2.2 |1023M| 247 | 0 |5737 |5551 |5737 |1860 | 219k| 19 | 10k| 0.000000e+00 | 1.107730e+05 | Inf
1283.92/1283.96 c 1251s|420000 |419973 |896799 | 2.1 |1047M| 247 | 0 |5737 |5551 |5737 |1886 | 220k| 19 | 10k| 0.000000e+00 | 1.107730e+05 | Inf
1312.62/1312.67 c 1279s|430000 |429973 |910398 | 2.1 |1071M| 247 | 0 |5737 |5551 |5737 |1892 | 223k| 19 | 10k| 0.000000e+00 | 1.107730e+05 | Inf
1341.93/1341.93 c 1307s|440000 |439973 |926827 | 2.1 |1095M| 247 | 0 |5737 |5551 |5737 |1864 | 226k| 19 | 10k| 0.000000e+00 | 1.107730e+05 | Inf
1370.42/1370.49 c 1335s|450000 |449973 |936049 | 2.1 |1119M| 247 | 0 |5737 |5551 |5737 |1862 | 228k| 19 | 10k| 0.000000e+00 | 1.107730e+05 | Inf
1399.83/1399.83 c 1364s|460000 |459973 |947314 | 2.1 |1143M| 247 | 0 |5737 |5551 |5737 |1869 | 231k| 19 | 10k| 0.000000e+00 | 1.107730e+05 | Inf
1428.03/1428.08 c 1391s|470000 |469973 |953280 | 2.0 |1168M| 247 | 0 |5737 |5551 |5737 |1860 | 232k| 19 | 10k| 0.000000e+00 | 1.107730e+05 | Inf
1457.54/1457.54 c 1420s|480000 |479973 |969854 | 2.0 |1192M| 247 | 0 |5737 |5551 |5737 |1868 | 236k| 19 | 10k| 0.000000e+00 | 1.107730e+05 | Inf
1485.73/1485.73 c 1448s|490000 |489973 |975148 | 2.0 |1216M| 247 | 0 |5737 |5551 |5737 |1868 | 237k| 19 | 10k| 0.000000e+00 | 1.107730e+05 | Inf
1515.83/1515.88 c 1477s|500000 |499973 |994845 | 2.0 |1240M| 247 | 3 |5737 |5551 |5737 |1886 | 242k| 19 | 11k| 0.000000e+00 | 1.107730e+05 | Inf
1546.43/1546.43 c 1507s|510000 |509973 | 1026k| 2.0 |1265M| 247 | 0 |5737 |5551 |5737 |1885 | 249k| 19 | 11k| 0.000000e+00 | 1.107730e+05 | Inf
1578.23/1578.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1578.23/1578.27 c 1538s|520000 |519973 | 1061k| 2.0 |1289M| 247 | 0 |5737 |5551 |5737 |1911 | 258k| 19 | 11k| 0.000000e+00 | 1.107730e+05 | Inf
1609.03/1609.03 c 1568s|530000 |529973 | 1097k| 2.1 |1313M| 247 | 0 |5737 |5551 |5737 |1887 | 266k| 19 | 11k| 0.000000e+00 | 1.107730e+05 | Inf
1641.03/1641.06 c 1599s|540000 |539973 | 1133k| 2.1 |1338M| 247 | 0 |5737 |5551 |5737 |1883 | 275k| 19 | 11k| 0.000000e+00 | 1.107730e+05 | Inf
1672.14/1672.10 c 1629s|550000 |549973 | 1165k| 2.1 |1362M| 247 | 0 |5737 |5551 |5737 |1871 | 282k| 19 | 11k| 0.000000e+00 | 1.107730e+05 | Inf
1702.53/1702.56 c 1659s|560000 |559971 | 1187k| 2.1 |1386M| 247 | 0 |5737 |5552 |5737 |1875 | 288k| 20 | 12k| 0.000000e+00 | 1.107730e+05 | Inf
1733.33/1733.39 c 1689s|570000 |569971 | 1216k| 2.1 |1411M| 247 | 0 |5737 |5552 |5737 |1897 | 295k| 20 | 12k| 0.000000e+00 | 1.107730e+05 | Inf
1763.94/1763.98 c 1719s|580000 |579971 | 1238k| 2.1 |1435M| 247 | 0 |5737 |5552 |5737 |1866 | 300k| 20 | 12k| 0.000000e+00 | 1.107730e+05 | Inf
1792.24/1792.29 c 1746s|590000 |589969 | 1247k| 2.1 |1459M| 247 | 0 |5737 |5553 |5737 |1867 | 301k| 21 | 12k| 0.000000e+00 | 1.107730e+05 | 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) : 1753.87
1800.04/1800.00 c Solving Nodes : 592789
1800.04/1800.00 c Primal Bound : +1.10773000000000e+05 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.08 s SATISFIABLE
1800.04/1800.08 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310
1800.04/1800.08 v -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293
1800.04/1800.08 v -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
1800.04/1800.08 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
1800.04/1800.08 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
1800.04/1800.08 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221
1800.04/1800.08 v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203
1800.04/1800.08 v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185
1800.04/1800.08 v -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167
1800.04/1800.08 v -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150
1800.04/1800.08 v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132
1800.04/1800.08 v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113
1800.04/1800.08 v -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095
1800.04/1800.08 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077
1800.04/1800.08 v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060
1800.04/1800.08 v -x1059 x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
1800.04/1800.08 v -x1041 -x1040 x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023
1800.04/1800.08 v x1022 x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005
1800.04/1800.08 v x1004 x1003 -x1002 -x1001 -x1000 -x999 x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 -x990 -x989 -x988 x987 x986 x985 -x984
1800.04/1800.08 v -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963
1800.04/1800.08 v -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942
1800.04/1800.08 v -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921
1800.04/1800.08 v -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901
1800.04/1800.08 v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 -x881 -x880
1800.04/1800.08 v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859
1800.04/1800.08 v -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838
1800.04/1800.08 v -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817
1800.04/1800.08 v -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796
1800.04/1800.08 v -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775
1800.04/1800.08 v -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 x755 -x754
1800.04/1800.08 v -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733
1800.04/1800.08 v -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712
1800.04/1800.08 v -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692
1800.04/1800.08 v -x691 -x690 -x689 x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670
1800.04/1800.08 v -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649
1800.04/1800.08 v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628
1800.04/1800.08 v -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608
1800.04/1800.08 v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587
1800.04/1800.08 v -x586 x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566
1800.04/1800.08 v -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 x554 -x553 -x552 x551 -x550 x549 x548 x547 -x546 -x545 -x544
1800.04/1800.08 v x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523
1800.04/1800.08 v -x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 x508 x507 -x506 -x505 -x504 -x503 -x502 -x501
1800.04/1800.08 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480
1800.04/1800.08 v -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459
1800.04/1800.08 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438
1800.04/1800.08 v -x437 -x436 -x435 -x434 x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 x417
1800.04/1800.08 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396
1800.04/1800.08 v -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
1800.04/1800.08 v -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
1800.04/1800.08 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333
1800.04/1800.08 v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312
1800.04/1800.08 v x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290
1800.04/1800.08 v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269
1800.04/1800.08 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248
1800.04/1800.08 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227
1800.04/1800.08 v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206
1800.04/1800.08 v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 x186 -x185
1800.04/1800.08 v x184 -x183 -x182 -x181 x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1800.04/1800.08 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1800.04/1800.08 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122
1800.04/1800.08 v -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
1800.04/1800.08 v -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76
1800.04/1800.08 v -x75 -x74 -x73 -x72 -x71 -x70 x69 x68 -x67 -x66 -x65 -x64 x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.04/1800.08 v x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 x26 -x25 x24 -x23
1800.04/1800.08 v -x22 x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 x6 -x5 -x4 x3 -x2 -x1
1800.04/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.08 c Solving Time : 1753.87
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2693027-1277914621.wbo
1800.04/1800.08 c Variables : 5756 (3542 binary, 0 integer, 0 implicit integer, 2214 continuous)
1800.04/1800.08 c Constraints : 5564 initial, 5564 maximal
1800.04/1800.08 c Presolved Problem :
1800.04/1800.08 c Problem name : t_HOME/instance-2693027-1277914621.wbo
1800.04/1800.08 c Variables : 5737 (3526 binary, 0 integer, 0 implicit integer, 2211 continuous)
1800.04/1800.08 c Constraints : 5535 initial, 5553 maximal
1800.04/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c dualfix : 0.00 7 0 0 0 0 0 0 0
1800.04/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c implics : 0.00 0 8 0 0 0 0 0 0
1800.04/1800.08 c probing : 0.12 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 0.00 0 0 0 0 0 3 0 0
1800.04/1800.08 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c linear : 0.02 0 4 0 2211 0 26 92 184
1800.04/1800.08 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.08 c root node : - 0 - - 0 - - - -
1800.04/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c integral : 0 0 0 632085 0 0 5 0 0 111656
1800.04/1800.08 c indicator : 2211 0 1274086 576252 0 0 416971 0 0 0
1800.04/1800.08 c varbound : 1 6 1274086 576252 0 0 0 0 0 0
1800.04/1800.08 c knapsack : 64 6 1274086 576252 0 14 28180 269 0 0
1800.04/1800.08 c linear : 2210 6 1274072 576252 0 0 349788 301839 0 0
1800.04/1800.08 c logicor : 1049+ 6 570835 536945 0 2 671547 0 0 0
1800.04/1800.08 c countsols : 0 0 0 536945 0 0 0 0 0 0
1800.04/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.08 c integral : 43.49 0.00 0.00 43.49 0.00
1800.04/1800.08 c indicator : 126.99 0.00 26.80 100.19 0.00
1800.04/1800.08 c varbound : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c knapsack : 1.52 0.00 0.97 0.55 0.00
1800.04/1800.08 c linear : 188.33 0.00 24.50 163.83 0.00
1800.04/1800.08 c logicor : 17.53 0.00 2.24 15.29 0.00
1800.04/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 0.00 3828 0 0
1800.04/1800.08 c rootredcost : 0.00 1 0 0
1800.04/1800.08 c pseudoobj : 60.55 1273380 0 0
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 0.00 16 16 17 7.2 0 0.0 -
1800.04/1800.08 c infeasible LP : 0.00 4 4 4 2.5 0 0.0 0
1800.04/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.08 c applied globally : - - - 21 6.3 - - -
1800.04/1800.08 c applied locally : - - - 0 0.0 - - -
1800.04/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.08 c cut pool : 0.00 5 - - 401 - (maximal pool size: 1243)
1800.04/1800.08 c redcost : 73.70 630975 0 0 0 0
1800.04/1800.08 c impliedbounds : 0.00 6 0 0 6 0
1800.04/1800.08 c intobj : 0.00 0 0 0 0 0
1800.04/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.08 c gomory : 0.09 6 0 0 1438 0
1800.04/1800.08 c strongcg : 0.05 6 0 0 197 0
1800.04/1800.08 c cmir : 0.10 6 0 0 106 0
1800.04/1800.08 c flowcover : 0.34 6 0 0 666 0
1800.04/1800.08 c clique : 0.00 6 0 0 0 0
1800.04/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.08 c mcf : 0.00 1 0 0 0 0
1800.04/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.08 c Pricers : Time Calls Vars
1800.04/1800.08 c problem variables: 0.00 0 0
1800.04/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c relpscost : 43.47 55833 0 5 0 0 111656
1800.04/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c inference : 194.79 536945 0 0 0 0 1073890
1800.04/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c random : 0.00 0 0 0 0 0 0
1800.04/1800.08 c Primal Heuristics : Time Calls Found
1800.04/1800.08 c LP solutions : 0.00 - 0
1800.04/1800.08 c pseudo solutions : 0.00 - 0
1800.04/1800.08 c oneopt : 0.13 1 0
1800.04/1800.08 c feaspump : 0.02 1 0
1800.04/1800.08 c intshifting : 0.01 10 0
1800.04/1800.08 c crossover : 0.38 11 0
1800.04/1800.08 c pscostdiving : 6.96 4756 0
1800.04/1800.08 c fracdiving : 7.10 4756 0
1800.04/1800.08 c veclendiving : 7.91 4756 0
1800.04/1800.08 c linesearchdiving : 6.88 4756 0
1800.04/1800.08 c guideddiving : 7.07 4756 0
1800.04/1800.08 c coefdiving : 7.46 4757 0
1800.04/1800.08 c objpscostdiving : 7.54 4744 0
1800.04/1800.08 c rootsoldiving : 7.62 4744 0
1800.04/1800.08 c trivial : 0.00 2 0
1800.04/1800.08 c simplerounding : 0.01 53619 0
1800.04/1800.08 c zirounding : 0.19 1000 0
1800.04/1800.08 c rounding : 0.40 3235 0
1800.04/1800.08 c shifting : 1.60 971 0
1800.04/1800.08 c twoopt : 0.00 0 0
1800.04/1800.08 c fixandinfer : 0.00 0 0
1800.04/1800.08 c intdiving : 0.00 0 0
1800.04/1800.08 c actconsdiving : 0.00 0 0
1800.04/1800.08 c octane : 0.00 0 0
1800.04/1800.08 c rens : 0.04 1 0
1800.04/1800.08 c rins : 0.00 0 0
1800.04/1800.08 c localbranching : 0.00 0 0
1800.04/1800.08 c mutation : 0.00 0 0
1800.04/1800.08 c dins : 0.00 0 0
1800.04/1800.08 c undercover : 0.00 0 0
1800.04/1800.08 c nlp : 0.00 0 0
1800.04/1800.08 c trysol : 0.27 6033 100
1800.04/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.08 c dual LP : 713.64 135563 1247369 9.20 1747.90
1800.04/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.08 c diving/probing LP: 0.81 380 1369 3.60 1690.12
1800.04/1800.08 c strong branching : 42.62 12882 174216 13.52 4087.66
1800.04/1800.08 c (at root node) : - 21 1994 94.95 -
1800.04/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.08 c B&B Tree :
1800.04/1800.08 c number of runs : 1
1800.04/1800.08 c nodes : 592789
1800.04/1800.08 c nodes (total) : 592789
1800.04/1800.08 c nodes left : 592758
1800.04/1800.08 c max depth : 247
1800.04/1800.08 c max depth (total): 247
1800.04/1800.08 c backtracks : 4808 (0.8%)
1800.04/1800.08 c delayed cutoffs : 0
1800.04/1800.08 c repropagations : 1888 (19 domain reductions, 0 cutoffs)
1800.04/1800.08 c avg switch length: 2.12
1800.04/1800.08 c switching time : 36.92
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 100 (1 improvements)
1800.04/1800.08 c First Solution : +1.10773000000000e+05 (in run 1, after 1 nodes, 0.18 seconds, depth 0, found by <trysol>)
1800.04/1800.08 c Primal Bound : +1.10773000000000e+05 (in run 1, after 1 nodes, 0.18 seconds, depth 0, found by <trysol>)
1800.04/1800.08 c Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Gap : infinite
1800.04/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Root Iterations : 1509
1800.94/1800.94 c Time complete: 1800.97.
Begin job on node101 at 2010-06-30 18:17:01
IDJOB=2693027
IDBENCH=79035
IDSOLVER=1205
FILE ID=node101/2693027-1277914621
PBS_JOBID= 11197302
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/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl--soft-33-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-2693027-1277914621/watcher-2693027-1277914621 -o /tmp/evaluation-result-2693027-1277914621/solver-2693027-1277914621 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693027-1277914621.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9b25a7ec387133dd9cde8835cb297bb5
RANDOM SEED=269451341
node101.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.837
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.67
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.837
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.15
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.837
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.837
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.83
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.837
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.74
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.837
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.82
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.837
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.837
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: 32951124 kB
MemFree: 31680236 kB
Buffers: 202880 kB
Cached: 744860 kB
SwapCached: 0 kB
Active: 595788 kB
Inactive: 530652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31680236 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6292 kB
Writeback: 0 kB
AnonPages: 178856 kB
Mapped: 17024 kB
Slab: 78752 kB
PageTables: 4964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 326980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74200 MiB
End job on node101 at 2010-06-30 18:47:03