0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692387-1277914577.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.00/0.06 c presolving:
0.05/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.05/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.05/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.16
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.26 o 110773
0.19/0.26 c y 0.2s| 1 | 0 | 165 | - | 19M| 0 | 28 |5737 |5535 |5737 |1113 | 0 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
0.29/0.33 c 0.2s| 1 | 0 | 448 | - | 20M| 0 | 140 |5737 |5535 |5737 |1300 | 187 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
0.39/0.48 c 0.4s| 1 | 0 | 1055 | - | 20M| 0 | 253 |5737 |5535 |5737 |1551 | 438 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
0.59/0.63 c 0.5s| 1 | 0 | 1503 | - | 20M| 0 | 312 |5737 |5535 |5737 |1774 | 661 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
0.79/0.83 c 0.7s| 1 | 0 | 1942 | - | 20M| 0 | 224 |5737 |5535 |5737 |1878 | 765 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
0.99/1.02 c 0.9s| 1 | 0 | 2445 | - | 21M| 0 | 334 |5737 |5535 |5737 |1979 | 866 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
1.19/1.22 c 1.1s| 1 | 0 | 2899 | - | 21M| 0 | 373 |5737 |5535 |5737 |2070 | 957 | 0 | 0 | 0.000000e+00 | 1.107730e+05 | Inf
2.09/2.18 c 2.0s| 1 | 2 | 2899 | - | 21M| 0 | 373 |5737 |5535 |5737 |2070 | 957 | 0 | 18 | 0.000000e+00 | 1.107730e+05 | Inf
64.59/64.63 c 62.8s| 10000 | 9999 | 82030 | 7.9 | 53M| 167 | 0 |5737 |5541 |5737 |1982 | 11k| 6 |3229 | 0.000000e+00 | 1.107730e+05 | Inf
101.80/101.80 c 99.0s| 20000 | 19999 |132129 | 6.5 | 77M| 193 | 0 |5737 |5543 |5737 |1985 | 20k| 8 |3617 | 0.000000e+00 | 1.107730e+05 | Inf
139.80/139.85 c 136s| 30000 | 29997 |182791 | 6.0 | 102M| 193 | 0 |5737 |5544 |5737 |1982 | 29k| 9 |3999 | 0.000000e+00 | 1.107730e+05 | Inf
177.89/177.97 c 173s| 40000 | 39995 |234285 | 5.8 | 126M| 193 | 0 |5737 |5545 |5737 |1997 | 38k| 10 |4481 | 0.000000e+00 | 1.107730e+05 | Inf
212.20/212.25 c 207s| 50000 | 49993 |261167 | 5.2 | 151M| 207 | 0 |5737 |5546 |5737 |1977 | 45k| 11 |4619 | 0.000000e+00 | 1.107730e+05 | Inf
246.00/246.04 c 240s| 60000 | 59993 |277427 | 4.6 | 175M| 261 | 4 |5737 |5546 |5737 |1968 | 49k| 11 |4798 | 0.000000e+00 | 1.107730e+05 | Inf
279.69/279.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.69/279.75 c 273s| 70000 | 69993 |292260 | 4.1 | 199M| 265 | 0 |5737 |5546 |5737 |1990 | 53k| 11 |4809 | 0.000000e+00 | 1.107730e+05 | Inf
313.00/313.09 c 306s| 80000 | 79993 |304904 | 3.8 | 224M| 265 | 0 |5737 |5546 |5737 |1999 | 57k| 11 |4824 | 0.000000e+00 | 1.107730e+05 | Inf
346.41/346.44 c 338s| 90000 | 89993 |317317 | 3.5 | 248M| 265 | 1 |5737 |5546 |5737 |1939 | 61k| 11 |4834 | 0.000000e+00 | 1.107730e+05 | Inf
380.10/380.18 c 371s|100000 | 99993 |332137 | 3.3 | 272M| 265 | 0 |5737 |5546 |5737 |1985 | 65k| 11 |4858 | 0.000000e+00 | 1.107730e+05 | Inf
413.61/413.60 c 404s|110000 |109993 |345467 | 3.1 | 297M| 265 | 0 |5737 |5546 |5737 |1990 | 69k| 11 |4858 | 0.000000e+00 | 1.107730e+05 | Inf
447.10/447.14 c 437s|120000 |119993 |359471 | 3.0 | 321M| 265 | 0 |5737 |5547 |5737 |1974 | 74k| 12 |4864 | 0.000000e+00 | 1.107730e+05 | Inf
480.62/480.61 c 470s|130000 |129993 |372049 | 2.8 | 345M| 265 | 0 |5737 |5547 |5737 |1991 | 78k| 12 |4902 | 0.000000e+00 | 1.107730e+05 | Inf
513.91/513.91 c 502s|140000 |139993 |383829 | 2.7 | 370M| 265 | 0 |5737 |5547 |5737 |1997 | 82k| 12 |4917 | 0.000000e+00 | 1.107730e+05 | Inf
547.11/547.12 c 535s|150000 |149993 |394819 | 2.6 | 394M| 271 | 0 |5737 |5547 |5737 |1997 | 86k| 12 |4917 | 0.000000e+00 | 1.107730e+05 | Inf
580.31/580.33 c 567s|160000 |159993 |405808 | 2.5 | 419M| 271 | 0 |5737 |5547 |5737 |1993 | 90k| 12 |4917 | 0.000000e+00 | 1.107730e+05 | Inf
613.61/613.69 c 600s|170000 |169993 |418367 | 2.4 | 443M| 271 | 0 |5737 |5547 |5737 |1995 | 95k| 12 |4944 | 0.000000e+00 | 1.107730e+05 | Inf
648.22/648.21 c 634s|180000 |179993 |439760 | 2.4 | 467M| 271 | 0 |5737 |5550 |5737 |2019 | 99k| 15 |4945 | 0.000000e+00 | 1.107730e+05 | Inf
682.41/682.42 c 667s|190000 |189993 |464900 | 2.4 | 492M| 271 | 0 |5737 |5548 |5737 |2008 | 104k| 15 |4945 | 0.000000e+00 | 1.107730e+05 | Inf
715.71/715.76 c 700s|200000 |199993 |477954 | 2.4 | 516M| 271 | 1 |5737 |5546 |5737 |1940 | 108k| 15 |4945 | 0.000000e+00 | 1.107730e+05 | Inf
749.12/749.11 c 733s|210000 |209993 |490803 | 2.3 | 540M| 271 | 0 |5737 |5546 |5737 |1995 | 112k| 15 |4945 | 0.000000e+00 | 1.107730e+05 | Inf
782.52/782.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.52/782.55 c 765s|220000 |219993 |502230 | 2.3 | 565M| 271 | 0 |5737 |5546 |5737 |1995 | 116k| 15 |5001 | 0.000000e+00 | 1.107730e+05 | Inf
815.72/815.73 c 798s|230000 |229993 |513090 | 2.2 | 589M| 271 | 0 |5737 |5546 |5737 |1986 | 120k| 15 |5001 | 0.000000e+00 | 1.107730e+05 | Inf
849.42/849.43 c 831s|240000 |239993 |528066 | 2.2 | 614M| 271 | 0 |5737 |5545 |5737 |2003 | 125k| 15 |5039 | 0.000000e+00 | 1.107730e+05 | Inf
883.92/883.98 c 864s|250000 |249993 |550300 | 2.2 | 638M| 271 | 0 |5737 |5545 |5737 |1978 | 129k| 15 |5168 | 0.000000e+00 | 1.107730e+05 | Inf
917.32/917.35 c 897s|260000 |259993 |561287 | 2.1 | 662M| 271 | 0 |5737 |5545 |5737 |1995 | 133k| 15 |5195 | 0.000000e+00 | 1.107730e+05 | Inf
950.62/950.61 c 930s|270000 |269993 |570802 | 2.1 | 687M| 271 | 0 |5737 |5545 |5737 |1994 | 136k| 15 |5195 | 0.000000e+00 | 1.107730e+05 | Inf
983.93/983.95 c 962s|280000 |279993 |581284 | 2.1 | 711M| 271 | 0 |5737 |5545 |5737 |1990 | 139k| 15 |5231 | 0.000000e+00 | 1.107730e+05 | Inf
1017.22/1017.27 c 995s|290000 |289993 |592078 | 2.0 | 735M| 271 | 0 |5737 |5545 |5737 |1980 | 143k| 15 |5232 | 0.000000e+00 | 1.107730e+05 | Inf
1051.72/1051.79 c 1029s|300000 |299993 |612808 | 2.0 | 760M| 271 | 1 |5737 |5545 |5737 |2003 | 147k| 15 |5330 | 0.000000e+00 | 1.107730e+05 | Inf
1085.42/1085.41 c 1062s|310000 |309993 |625110 | 2.0 | 784M| 271 | 0 |5737 |5545 |5737 |1996 | 151k| 15 |5384 | 0.000000e+00 | 1.107730e+05 | Inf
1118.93/1118.98 c 1094s|320000 |319993 |638499 | 2.0 | 809M| 271 | 0 |5737 |5545 |5737 |2007 | 155k| 15 |5384 | 0.000000e+00 | 1.107730e+05 | Inf
1152.43/1152.45 c 1127s|330000 |329993 |650289 | 2.0 | 833M| 271 | 0 |5737 |5545 |5737 |1981 | 159k| 15 |5414 | 0.000000e+00 | 1.107730e+05 | Inf
1185.74/1185.77 c 1160s|340000 |339993 |661127 | 1.9 | 857M| 271 | 1 |5737 |5545 |5737 |1961 | 163k| 15 |5443 | 0.000000e+00 | 1.107730e+05 | Inf
1219.43/1219.40 c 1193s|350000 |349993 |672249 | 1.9 | 882M| 271 | 0 |5737 |5545 |5737 |1995 | 167k| 15 |5563 | 0.000000e+00 | 1.107730e+05 | Inf
1253.94/1253.95 c 1226s|360000 |359993 |695701 | 1.9 | 906M| 271 | 0 |5737 |5545 |5737 |2004 | 171k| 15 |5708 | 0.000000e+00 | 1.107730e+05 | Inf
1289.64/1289.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.64/1289.63 c 1261s|370000 |369993 |725780 | 2.0 | 931M| 271 | 38 |5737 |5545 |5737 |1982 | 176k| 15 |5997 | 0.000000e+00 | 1.107730e+05 | Inf
1324.13/1324.17 c 1295s|380000 |379993 |753378 | 2.0 | 955M| 271 | 0 |5737 |5544 |5737 |2006 | 181k| 15 |6079 | 0.000000e+00 | 1.107730e+05 | Inf
1359.23/1359.20 c 1329s|390000 |389993 |781933 | 2.0 | 979M| 271 | 0 |5737 |5544 |5737 |2004 | 186k| 15 |6257 | 0.000000e+00 | 1.107730e+05 | Inf
1393.94/1393.92 c 1363s|400000 |399993 |809321 | 2.0 |1004M| 271 | 20 |5737 |5544 |5737 |1968 | 191k| 15 |6396 | 0.000000e+00 | 1.107730e+05 | Inf
1428.74/1428.73 c 1397s|410000 |409993 |839354 | 2.0 |1028M| 271 | 0 |5737 |5544 |5737 |2006 | 196k| 15 |6466 | 0.000000e+00 | 1.107730e+05 | Inf
1463.64/1463.62 c 1431s|420000 |419993 |866971 | 2.1 |1053M| 271 | 1 |5737 |5544 |5737 |2003 | 200k| 15 |6604 | 0.000000e+00 | 1.107730e+05 | Inf
1497.94/1497.96 c 1465s|430000 |429993 |889197 | 2.1 |1077M| 271 | 0 |5737 |5544 |5737 |1990 | 205k| 15 |6686 | 0.000000e+00 | 1.107730e+05 | Inf
1533.44/1533.41 c 1500s|440000 |439993 |911630 | 2.1 |1101M| 271 | 0 |5737 |5544 |5737 |2007 | 209k| 15 |7143 | 0.000000e+00 | 1.107730e+05 | Inf
1567.84/1567.86 c 1533s|450000 |449993 |937592 | 2.1 |1126M| 271 | 0 |5737 |5544 |5737 |1997 | 214k| 15 |7273 | 0.000000e+00 | 1.107730e+05 | Inf
1601.94/1601.97 c 1567s|460000 |459993 |961963 | 2.1 |1150M| 271 | 0 |5737 |5544 |5737 |1997 | 218k| 15 |7356 | 0.000000e+00 | 1.107730e+05 | Inf
1635.54/1635.56 c 1599s|470000 |469993 |980741 | 2.1 |1175M| 271 | 0 |5737 |5544 |5737 |1980 | 223k| 15 |7402 | 0.000000e+00 | 1.107730e+05 | Inf
1668.75/1668.75 c 1632s|480000 |479993 |991637 | 2.1 |1199M| 271 | 0 |5737 |5544 |5737 |1993 | 226k| 15 |7422 | 0.000000e+00 | 1.107730e+05 | Inf
1701.95/1701.97 c 1664s|490000 |489993 | 1002k| 2.0 |1223M| 271 | 0 |5737 |5544 |5737 |1995 | 230k| 15 |7433 | 0.000000e+00 | 1.107730e+05 | Inf
1735.15/1735.14 c 1697s|500000 |499993 | 1013k| 2.0 |1248M| 271 | 0 |5737 |5544 |5737 |1990 | 234k| 15 |7435 | 0.000000e+00 | 1.107730e+05 | Inf
1768.35/1768.31 c 1729s|510000 |509993 | 1024k| 2.0 |1272M| 271 | 0 |5737 |5544 |5737 |1981 | 238k| 15 |7437 | 0.000000e+00 | 1.107730e+05 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1760.33
1800.06/1800.00 c Solving Nodes : 519521
1800.06/1800.00 c Primal Bound : +1.10773000000000e+05 (100 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.08 s SATISFIABLE
1800.06/1800.08 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310
1800.06/1800.08 v -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293
1800.06/1800.08 v -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
1800.06/1800.08 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
1800.06/1800.08 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
1800.06/1800.08 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221
1800.06/1800.08 v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203
1800.06/1800.08 v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185
1800.06/1800.08 v -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167
1800.06/1800.08 v -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150
1800.06/1800.08 v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132
1800.06/1800.08 v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113
1800.06/1800.08 v -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095
1800.06/1800.08 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077
1800.06/1800.08 v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060
1800.06/1800.08 v -x1059 x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
1800.06/1800.08 v -x1041 -x1040 x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023
1800.06/1800.08 v x1022 x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005
1800.06/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.06/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.06/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.06/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.06/1800.08 v -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901
1800.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/1800.08 v -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713
1800.06/1800.08 v -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692
1800.06/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.06/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.06/1800.08 v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629
1800.06/1800.08 v -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608
1800.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/1800.08 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439
1800.06/1800.08 v -x438 -x437 -x436 -x435 -x434 x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 x417
1800.06/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.06/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.06/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.06/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.06/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.06/1800.08 v -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291
1800.06/1800.08 v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270
1800.06/1800.08 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249
1800.06/1800.08 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227
1800.06/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.06/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.06/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.06/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.06/1800.08 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122
1800.06/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.06/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.06/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.06/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.06/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.06/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.08 c Solving Time : 1760.33
1800.06/1800.08 c Original Problem :
1800.06/1800.08 c Problem name : HOME/instance-2692387-1277914577.wbo
1800.06/1800.08 c Variables : 5756 (3542 binary, 0 integer, 0 implicit integer, 2214 continuous)
1800.06/1800.08 c Constraints : 5564 initial, 5564 maximal
1800.06/1800.08 c Presolved Problem :
1800.06/1800.08 c Problem name : t_HOME/instance-2692387-1277914577.wbo
1800.06/1800.08 c Variables : 5737 (3526 binary, 0 integer, 0 implicit integer, 2211 continuous)
1800.06/1800.08 c Constraints : 5535 initial, 5550 maximal
1800.06/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.08 c dualfix : 0.00 7 0 0 0 0 0 0 0
1800.06/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.08 c implics : 0.01 0 8 0 0 0 0 0 0
1800.06/1800.08 c probing : 0.11 0 0 0 0 0 0 0 0
1800.06/1800.08 c indicator : 0.00 0 0 0 0 0 3 0 0
1800.06/1800.08 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.08 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.08 c linear : 0.03 0 4 0 2211 0 26 92 184
1800.06/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.08 c root node : - 0 - - 0 - - - -
1800.06/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.08 c integral : 0 0 0 574085 0 0 268 0 0 95810
1800.06/1800.08 c indicator : 2211 0 1167554 525923 0 0 302193 0 0 0
1800.06/1800.08 c varbound : 1 6 1167554 525923 0 0 0 0 0 0
1800.06/1800.08 c knapsack : 64 6 1167554 525923 0 2 13517 203 0 0
1800.06/1800.08 c linear : 2210 6 1167552 525923 0 1 276401 241713 0 0
1800.06/1800.08 c logicor : 1049+ 6 536761 471612 0 0 579385 0 0 0
1800.06/1800.08 c countsols : 0 0 0 471612 0 0 0 0 0 0
1800.06/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.08 c integral : 39.19 0.00 0.00 39.19 0.00
1800.06/1800.08 c indicator : 124.53 0.00 26.34 98.19 0.00
1800.06/1800.08 c varbound : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.08 c knapsack : 1.74 0.00 0.83 0.91 0.00
1800.06/1800.08 c linear : 168.23 0.01 22.56 145.66 0.00
1800.06/1800.08 c logicor : 15.57 0.00 2.02 13.55 0.00
1800.06/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.08 c vbounds : 0.00 13 0 0
1800.06/1800.08 c rootredcost : 0.00 1 0 0
1800.06/1800.08 c pseudoobj : 55.32 1166848 0 0
1800.06/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.08 c propagation : 0.00 3 3 8 7.6 1 3.0 -
1800.06/1800.08 c infeasible LP : 0.01 9 9 9 2.6 1 3.0 0
1800.06/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.08 c applied globally : - - - 15 3.8 - - -
1800.06/1800.08 c applied locally : - - - 0 0.0 - - -
1800.06/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.08 c cut pool : 0.00 5 - - 354 - (maximal pool size: 1118)
1800.06/1800.08 c redcost : 66.13 569084 0 0 0 0
1800.06/1800.08 c impliedbounds : 0.00 6 0 0 6 0
1800.06/1800.08 c intobj : 0.00 0 0 0 0 0
1800.06/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.08 c gomory : 0.10 6 0 0 1180 0
1800.06/1800.08 c strongcg : 0.07 6 0 0 160 0
1800.06/1800.08 c cmir : 0.08 6 0 0 107 0
1800.06/1800.08 c flowcover : 0.34 6 0 0 591 0
1800.06/1800.08 c clique : 0.00 6 0 0 0 0
1800.06/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.08 c mcf : 0.00 1 0 0 0 0
1800.06/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.08 c Pricers : Time Calls Vars
1800.06/1800.08 c problem variables: 0.00 0 0
1800.06/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.08 c relpscost : 39.16 48162 0 268 0 0 95810
1800.06/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.08 c inference : 176.35 471612 0 0 0 0 943224
1800.06/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.08 c random : 0.00 0 0 0 0 0 0
1800.06/1800.08 c Primal Heuristics : Time Calls Found
1800.06/1800.08 c LP solutions : 0.00 - 0
1800.06/1800.08 c pseudo solutions : 0.00 - 0
1800.06/1800.08 c oneopt : 0.10 1 0
1800.06/1800.08 c feaspump : 0.02 1 0
1800.06/1800.08 c intshifting : 0.01 15 0
1800.06/1800.08 c crossover : 0.38 11 0
1800.06/1800.08 c pscostdiving : 6.80 3864 0
1800.06/1800.08 c fracdiving : 6.50 3864 0
1800.06/1800.08 c veclendiving : 7.26 3864 0
1800.06/1800.08 c linesearchdiving : 7.05 3864 0
1800.06/1800.08 c guideddiving : 6.81 3864 0
1800.06/1800.08 c coefdiving : 6.88 3865 0
1800.06/1800.08 c objpscostdiving : 6.36 3839 0
1800.06/1800.08 c rootsoldiving : 6.98 3839 0
1800.06/1800.08 c trivial : 0.01 2 0
1800.06/1800.08 c simplerounding : 0.04 47699 0
1800.06/1800.08 c zirounding : 0.22 1000 0
1800.06/1800.08 c rounding : 0.93 3062 0
1800.06/1800.08 c shifting : 1.49 927 0
1800.06/1800.08 c twoopt : 0.00 0 0
1800.06/1800.08 c fixandinfer : 0.00 0 0
1800.06/1800.08 c intdiving : 0.00 0 0
1800.06/1800.08 c actconsdiving : 0.00 0 0
1800.06/1800.08 c octane : 0.00 0 0
1800.06/1800.08 c rens : 0.04 1 0
1800.06/1800.08 c rins : 0.00 0 0
1800.06/1800.08 c localbranching : 0.00 0 0
1800.06/1800.08 c mutation : 0.00 0 0
1800.06/1800.08 c dins : 0.00 0 0
1800.06/1800.08 c undercover : 0.00 0 0
1800.06/1800.08 c nlp : 0.00 0 0
1800.06/1800.08 c trysol : 0.19 5408 100
1800.06/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.08 c dual LP : 703.61 121278 1028590 8.48 1461.88
1800.06/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.08 c diving/probing LP: 1.90 1222 5692 4.66 2995.79
1800.06/1800.08 c strong branching : 38.58 7466 143965 19.28 3731.60
1800.06/1800.08 c (at root node) : - 18 4492 249.56 -
1800.06/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.08 c B&B Tree :
1800.06/1800.08 c number of runs : 1
1800.06/1800.08 c nodes : 519521
1800.06/1800.08 c nodes (total) : 519521
1800.06/1800.08 c nodes left : 519514
1800.06/1800.08 c max depth : 271
1800.06/1800.08 c max depth (total): 271
1800.06/1800.08 c backtracks : 3976 (0.8%)
1800.06/1800.08 c delayed cutoffs : 0
1800.06/1800.08 c repropagations : 65 (4 domain reductions, 0 cutoffs)
1800.06/1800.08 c avg switch length: 2.09
1800.06/1800.08 c switching time : 52.59
1800.06/1800.08 c Solution :
1800.06/1800.08 c Solutions found : 100 (1 improvements)
1800.06/1800.08 c First Solution : +1.10773000000000e+05 (in run 1, after 1 nodes, 0.19 seconds, depth 0, found by <trysol>)
1800.06/1800.08 c Primal Bound : +1.10773000000000e+05 (in run 1, after 1 nodes, 0.19 seconds, depth 0, found by <trysol>)
1800.06/1800.08 c Dual Bound : +0.00000000000000e+00
1800.06/1800.08 c Gap : infinite
1800.06/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.08 c Root Iterations : 2899
1800.76/1800.76 c Time complete: 1800.81.
Begin job on node135 at 2010-06-30 18:16:17
IDJOB=2692387
IDBENCH=79035
IDSOLVER=1204
FILE ID=node135/2692387-1277914577
PBS_JOBID= 11197333
Free space on /tmp= 74132 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692387-1277914577/watcher-2692387-1277914577 -o /tmp/evaluation-result-2692387-1277914577/solver-2692387-1277914577 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692387-1277914577.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9b25a7ec387133dd9cde8835cb297bb5
RANDOM SEED=1061086939
node135.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.857
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.71
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.857
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.857
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.857
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 : 7186.14
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.857
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.857
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.857
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.857
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: 30350564 kB
Buffers: 195576 kB
Cached: 1110040 kB
SwapCached: 0 kB
Active: 1626052 kB
Inactive: 825436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30350564 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5292 kB
Writeback: 0 kB
AnonPages: 1145688 kB
Mapped: 17672 kB
Slab: 82288 kB
PageTables: 7196 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1291932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74128 MiB
End job on node135 at 2010-06-30 18:46:19